对坐标曲面积分

高等数学·下册对坐标的曲面积分第五讲第十一章·曲线积分与曲面积分§11.5CONTENTS本节内容概览从有向曲面到散度，六个章节构建完整的对坐标曲面积分知识体系01有向曲面曲面的侧与定向概念基础02曲面积分的定义对坐标的曲面积分概念建立03计算方法化为二重积分的求解技巧04两类积分的联系对面积与对坐标积分的转化05高斯公式曲面积分与三重积分的桥梁06散度向量场的通量源密度刻画CHAPTER01有向曲面与投影基础理解曲面的方向性与坐标面投影的符号约定，为第二类曲面积分的定义建立几何基础。SURFACETHEORY有向曲面与双侧曲面有向曲面是规定了正侧的双侧曲面，正向法向量指向正侧。正侧的人为规定（上/下、前/后、左/右、内/外）决定了后续曲面积分的符号，是第二类曲面积分区别于第一类的根本特征。双侧曲面：可以明确区分两侧的曲面，如球面、柱面、平面等，每一侧都可以被独立指定为正向。有向曲面：在双侧曲面上人为规定了正侧的曲面，指向正侧的单位法向量称为正向法向量。常见正侧规定：上侧与下侧（z轴方向）、前侧与后侧（x轴方向）、右侧与左侧（y轴方向）。封闭曲面约定：通常规定外侧为正侧、内侧为负侧，这一约定在高斯公式中至关重要。单侧曲面：莫比乌斯带沿曲面移动一周后法向量反向，无法一致地定义正侧，不属于本节讨论对象。图：有向曲面及正向法向量的几何直观CALCULUSPROJECTIONSIGNCONVENTION有向曲面在坐标面上的投影有向曲面在坐标面上的投影带有符号：法向量与对应坐标轴正向夹角为锐角时投影为正，钝角时为负。这一符号约定是"一投二代三定号"中"定号"步骤的几何依据。xOy投影面判定角γ—法向量与z轴夹角cosγ>0（锐角）法向量指向上方，投影取正值cosγ<0（钝角）法向量指向下方，投影取负值yOz投影面判定角α—法向量与x轴夹角cosα>0（锐角）法向量指向前侧，投影取正值cosα<0（钝角）法向量指向后侧，投影取负值zOx投影面判定角β—法向量与y轴夹角cosβ>0（锐角）法向量指向右侧，投影取正值cosβ<0（钝角）法向量指向左侧，投影取负值投影符号约定是纯粹的人为规定，一旦确立必须全程一致遵守，否则积分结果符号错误。CALCULUS投影的近似计算与面积元关系有向曲面小片ΔS在三个坐标面上的有向投影分别为ΔS·cosα、ΔS·cosβ、ΔS·cosγ，其中α、β、γ是正向法向量的方向角。这一关系统一了投影符号，也是两类曲面积分转换的核心公式。取上侧为正时，法向量与z轴夹角γ为锐角，有向投影ΔSxy≈ΔS·cosγ>0。取下侧为正时，γ为钝角，cosγ<0，有向投影ΔSxy≈ΔS·cosγ<0，符号自动体现。统一表达：ΔS在xOy、yOz、zOx面上的有向投影分别为ΔS·cosγ、ΔS·cosα、ΔS·cosβ。方向余弦约束：cos²α+cos²β+cos²γ=1，它们是单位法向量的三个分量。极限精确化：该近似关系在取极限后变为精确等式，是推导计算公式和两类积分联系的数学基础。COREFORMULAxOy:ΔSxy≈ΔS·cosγyOz:ΔSyz≈ΔS·cosαzOx:ΔSzx≈ΔS·cosβCHAPTER02对坐标曲面积分的定义从有向曲面与投影出发，建立第二类曲面积分的严格数学定义02DefinitionDERIVATION物理背景：流体通过曲面的流量对坐标曲面积分的物理本质是向量场通过有向曲面的通量（净流量）。当流速场v=(P,Q,R)穿过曲面Σ时，单位时间流量Φ=∬ΣPdydz+Qdzdx+Rdxdy，正负取决于流速方向与曲面取向的关系。1建立流速场设稳定不可压缩流体速度场为v=(P(x,y,z),Q(x,y,z),R(x,y,z))，密度恒为1。2平面常速度（简单情形）曲面Σ为平面且v为常向量时，流量Φ=v·n·S=(Pcosα+Qcosβ+Rcosγ)S。3分割曲面与近似Σ为一般曲面、v为变向量时，将Σ分割为n个小片ΔSi，在每个小片上近似取常速度。4求和与取极限流量近似和式为Σ(Picosαi+Qicosβi+Ricosγi)·ΔSi，取极限得精确流量。5定义积分该极限即为对坐标的曲面积分∬Σ

Pdydz+Qdzdx+Rdxdy，也称第二类曲面积分。核心公式Φ=∬Σ

Pdydz+Qdzdx+Rdxdy速度分量投影面积元CALCULUSSURFACEINTEGRALS对坐标曲面积分的严格定义对坐标曲面积分定义为"函数值×有向投影"的和式极限，记作∬ΣPdydz、∬ΣQdzdx、∬ΣRdxdy。三者合写为∬ΣPdydz+Qdzdx+Rdxdy，其值依赖于曲面的侧，改变侧则积分变号。1分划曲面——设Σ为光滑有向曲面，P(x,y,z)在Σ上有界，将Σ分成n块有向小曲面ΔSi。2有向投影——ΔSi在yOz面上的有向投影记为(ΔSi)yz，任取点(ξi,ηi,ζi)∈ΔSi。3和式极限——作和式ΣP(ξi,ηi,ζi)·(ΔSi)yz，令λ=max{diam(ΔSi)}→0取极限。4积分定义——极限存在且与分法、取点无关时，称为P在Σ上对坐标y,z的曲面积分，记作∬ΣPdydz。5组合形式——三类积分合写为∬ΣPdydz+Qdzdx+Rdxdy，改变曲面侧则积分值反号。PROPERTIES对坐标曲面积分的基本性质对坐标曲面积分具有线性性、曲面可加性、代入性和反向变号四条基本性质。其中反向变号（改变侧则积分反号）是第二类积分区别于第一类的标志性特征，也是检验计算正确性的重要手段。线性性：∬Σ(k1P+k2Q)dydz=k1∬Σ

Pdydz+k2∬Σ

Qdydz，常数可提、和差可拆。曲面可加性：若Σ=Σ1∪Σ2且Σ1、Σ2无重叠内部，则∬Σ=∬Σ1+∬Σ2。代入性：若Σ上z=z(x,y)，则R(x,y,z)中的z可直接替换为z(x,y)后再积分。反向变号：∬Σ⁻

Pdydz+Qdzdx+Rdxdy=−∬Σ

Pdydz+Qdzdx+Rdxdy。对称性警示：与第一类曲面积分不同，第二类积分不具有关于坐标面的对称简化性质，需谨慎使用对称性。DISCUSSION课堂思考：为什么需要"有向"？标量局限：第一类曲面积分只累积标量大小，无法区分向量场穿过曲面的方向，不适合描述流量、通量等有方向的物理量。有向投影：对坐标曲面积分通过有向投影引入方向信息，使积分结果能反映向量场与曲面取向的相对关系。符号含义：流量为正表示净流向正侧，为负表示净流向负侧，为零表示进出平衡——这些信息只有第二类积分能提供。典型场景：电场通量、磁场通量、质量输运等物理量都需要区分方向，都是第二类曲面积分的典型应用场景。GROUPDISCUSSION请举例说明：除了流体流量，还有哪些物理量的计算需要区分穿过曲面的方向？xzyH高等数学SECTIONCHAPTER03计算方法：一投二代三定号核心思路——将曲面积分化为二重积分∫高等数学DERIVATION投影法计算公式的推导将∬ΣR(x,y,z)dxdy化为二重积分的核心步骤是"一投二代三定号"：投影得积分域Dxy，代入曲面方程消去z，根据曲面侧别确定正负号。上侧取正、下侧取负。前提设定：曲面Σ:z=z(x,y)，(x,y)∈Dxy，z(x,y)在Dxy上有一阶连续偏导数。01投将曲面Σ向xOy面作正交投影，得到平面闭区域Dxy，作为二重积分的积分域。02代在被积函数R(x,y,z)中，将z替换为曲面方程z(x,y)，得到R(x,y,z(x,y))。03定号Σ取上侧时法向量与z轴夹角为锐角，取正号；取下侧时为钝角，取负号。最终公式∬ΣR(x,y,z)dxdy=±∬DxyR(x,y,z(x,y))dxdy上侧→+下侧→−∫高等数学FORMULASSurfaceIntegral·ProjectionFormulas三个坐标方向的计算公式汇总三个方向的投影法公式结构完全对称：∬ΣRdxdy=±∬DxyR(x,y,z(x,y))dxdy（上正下负），∬ΣPdydz=±∬DyzP(x(y,z),y,z)dydz（前正后负），∬ΣQdzdx=±∬DzxQ(x,y(z,x),z)dzdx（右正左负）。01对x,y积分∬ΣR(x,y,z)dxdy=±∬DxyR(x,y,z(x,y))dxdy符号规则：Σ取上侧为正、下侧为负02对y,z积分∬ΣP(x,y,z)dydz=±∬DyzP(x(y,z),y,z)dydz符号规则：Σ取前侧为正、后侧为负03对z,x积分∬ΣQ(x,y,z)dzdx=±∬DzxQ(x,y(z,x),z)dzdx符号规则：Σ取右侧为正、左侧为负适用条件曲面能表示为对应变量的显函数，且投影区域内无重叠（一对一映射）分片处理若曲面不满足单值投影条件（如球面），需分割为若干子曲面分别计算再求和TECHNIQUE合面投影法：统一到一个投影面合面投影法将三项对坐标曲面积分统一到同一个投影面上计算：∬ΣPdydz+Qdzdx+Rdxdy=±∬Dxy[P(−∂z/∂x)+Q(−∂z/∂y)+R]dxdy。一次二重积分完成全部计算，适合被积函数间有关联的情形。01转化思路—当三项积分分别投影困难时，可将Pdydz和Qdzdx也转化为xOy面上的二重积分。02变量替换—利用dydz=(−zx)dxdy、dzdx=(−zy)dxdy的关系进行变量替换。03统一公式—将三项合并为一个二重积分表达式：∬ΣPdydz+Qdzdx+Rdxdy=±∬Dxy[P(−zx)+Q(−zy)+R]dxdy04符号规则—符号仍由曲面侧别决定：上侧取正、下侧取负，与分面投影法一致。05适用条件—该方法要求曲面Σ能整体表示为z=z(x,y)且投影无重叠，否则仍需分片处理。EXAMPLE例题1：平面上的对坐标曲面积分平面x+y+z=1在第一卦限上侧的对坐标曲面积分，通过分面投影法逐项计算：每项分别向对应坐标面投影、代入曲面方程、确定正负号后化为二重积分。三项结果之和即为所求。1确定投影域Σ:x+y+z=1在第一卦限部分取上侧，向xOy面投影域Dxy:x≥0,y≥0,x+y≤1。2计算∬Σz²dxdy=+∬Dxy(1−x−y)²dxdy，上侧取正号，代入z=1−x−y。3计算∬Σx²dydz=+∬Dyz(1−y−z)²dydz，前侧取正号，Dyz:y≥0,z≥0,y+z≤1。4计算∬Σy²dzdx=+∬Dzx(1−z−x)²dzdx，右侧取正号，Dzx:z≥0,x≥0,z+x≤1。5汇总结果三个二重积分由对称性相等，各为1/12，总和为3×(1/12)=1/4。EXAMPLE例题2：球面上的对坐标曲面积分球面x²+y²+z²=R²外侧的∬Σzdxdy需分上下半球面处理：上半球面上侧取正、下半球面下侧取负，两者贡献同号相加。利用极坐标计算二重积分，结果为4πR³/3，体现了分片投影法的必要性。1分片必要性：球面不能整体向xOy面单值投影，需分为上半球面Σ₁和下半球面Σ₂分别计算。2曲面方程与侧向：Σ₁:z=√(R²−x²−y²)，外侧对应上侧，取正号；Σ₂:z=−√(R²−x²−y²)，外侧对应下侧，取负号。3分项积分：∬Σ₁zdxdy=+∬Dxy√(R²−x²−y²)dxdy；∬Σ₂zdxdy=−∬Dxy[−√(R²−x²−y²)]dxdy。4合并化简：两项合并为2∬Dxy√(R²−x²−y²)dxdy，其中Dxy:x²+y²≤R²。5极坐标计算：积分=2∫02πdθ∫0Rr√(R²−r²)dr=4πR³/3。PRACTICE随堂练习：计算对坐标曲面积分关键在于识别对称性简化计算，以及正确处理下侧的负号。题目计算∬Σ(x+y)dxdy，其中Σ为抛物面z=x²+y²（0≤z≤1）部分的下侧。1定号与投影：Σ取下侧，向xOy面投影，投影域Dxy:x²+y²≤1，因取下侧故定号为负。2代入化简：被积函数(x+y)不含z，无需代入曲面方程，直接得−∬Dxy(x+y)dxdy。3对称性分析：Dxy关于x轴和y轴均对称，x和y分别为奇函数，故积分值为0。0ANSWER本题关键在于识别对称性简化计算，以及正确处理下侧的负号。Chapter04两类曲面积分的联系第一类与第二类曲面积分之间的转换桥梁∬ΣPdydz+Qdzdx+Rdxdy⇌∬Σ(Pcosα+Qcosβ+Rcosγ)dSCALCULUSSURFACEINTEGRALS两类曲面积分的转换公式两类曲面积分通过法向量方向余弦联系：∬ΣPdydz+Qdzdx+Rdxdy=∬Σ(Pcosα+Qcosβ+Rcosγ)dS。本质是有向投影与面积元的关系dxdy=cosγ·dS，实现了"有向累积"与"标量累积"的互转。核心公式∬ΣPdydz+Qdzdx+Rdxdy=∬Σ(Pcosα+Qcosβ+Rcosγ)dS第二类（有向投影）⟷第一类（面积元）几何本质有向投影与面积元的关系：dxdy=cosγ·dSdydz=cosα·dSdzdx=cosβ·dS第二类→第一类当第二类积分难以直接计算时，利用方向余弦转为第一类曲面积分，可借助被积函数与曲面的对称性大幅简化运算。第一类→第二类当需要应用高斯公式（散度定理）时，须将第一类曲面积分转换为第二类形式，方可使用封闭曲面上的通量计算。其中cosα、cosβ、cosγ为曲面Σ上正向单位法向量n的三个方向余弦，dS为曲面的面积元素。CALCULUS方向余弦的计算方法方向余弦由曲面法向量单位化得到：对隐式曲面F(x,y,z)=0，n=∇F/|∇F|；对显式曲面z=z(x,y)，上侧法向量为(−zx,−zy,1)/√(1+zx²+zy²)。方向余弦的正确计算是应用两类积分转换公式的前提。01隐式曲面F(x,y,z)=0法向量为∇F=(Fx,Fy,Fz)，单位法向量n=∇F/|∇F|cosα=Fx/|∇F|，cosβ=Fy/|∇F|，cosγ=Fz/|∇F|02显式曲面z=z(x,y)上侧法向量取(−∂z/∂x,−∂z/∂y,1)，需除以模长单位化方向余弦的正负自动反映曲面侧别，代入转换公式无需额外定号03典型示例：球面球面x²+y²+z²=R²外侧方向余弦：cosα=x/R，cosβ=y/R，cosγ=z/R∇F=(2x,2y,2z)，|∇F|=2R，单位化即得计算要点方向余弦由梯度向量单位化获得，其正负号自动编码了曲面的侧别信息。在应用对坐标曲面积分转换公式时，只需正确求出方向余弦并直接代入，无需另行判断符号。EXAMPLECALCULUS例题3：利用转换公式简化计算当第二类曲面积分直接投影计算复杂时，转为第一类后可能利用对称性或几何性质大幅简化。本例中球面上的积分转为第一类后，被积函数的奇偶性与曲面对称性配合，使多项积分直接为零。解题过程1原积分直接分面投影需处理复杂的投影域和被积函数，计算量极大。2转为第一类：∬Σ[(y-z)x/R+(z-x)y/R+(x-y)z/R]dS。3展开后被积函数为(xy−xz+yz−xy+xz−yz)/R=0，积分值为零。深度解析补充视角这个结果也可以通过观察被积向量的旋度为零来预判，但转换法更直接、更具操作性。方法启示遇到球面、柱面等对称曲面上的第二类积分，优先考虑转换为第一类，利用方向余弦的显式表达与曲面对称性化简。CHAPTER05高斯公式与散度Gauss'sFormulaandDivergenceCALCULUS高斯公式的标准形式高斯公式将封闭曲面上的第二类曲面积分转化为所围立体的三重积分：∬ΣPdydz+Qdzdx+Rdxdy=∭Ω(∂P/∂x+∂Q/∂y+∂R/∂z)dV。要求Σ为Ω的整个边界取外侧，且P、Q、R在Ω上一阶偏导连续。标准形式∬ΣPdydz+Qdzdx+Rdxdy=∭Ω(∂P/∂x+∂Q/∂y+∂R/∂z)dV向量形式∬Σ

F·ndS=∭ΩdivFdV其中F=(P,Q,R)，divF=∂P/∂x+∂Q/∂y+∂R/∂z01边界与方向Σ必须是Ω的整个边界曲面，且取外侧方向；若取内侧，则等式右边需加负号。02光滑性条件P、Q、R在Ω上（含内部与边界）具有一阶连续偏导数，区域内不能存在奇点。复连通区域的推广对于有空洞的复连通区域，高斯公式仍然成立。关键在于将所有内边界曲面也纳入Σ，并为每个边界取适当的外法线方向——外边界取外侧，内边界取指向空洞内部的方向。本质：高斯公式不要求区域单连通，只要求边界完整、方向一致、场函数光滑。PROOFSTRATEGY高斯公式的证明思路高斯公式的证明基于"先特殊后一般"的策略：对曲顶柱体利用牛顿-莱布尼茨公式验证单项成立，再通过辅助曲面分割将一般区域化为若干曲顶柱体之和。三项分别证明后相加即得完整公式。1先证单项：∬ΣRdxdy=∭Ω∂R/∂zdV，其余两项同理可证。2对曲顶柱体：上底面z=z₂(x,y)取正、下底面z=z₁(x,y)取负，差为∫∫[R(x,y,z₂)−R(x,y,z₁)]dxdy。3由牛顿-莱布尼茨公式：R(x,y,z₂)−R(x,y,z₁)=∫z₁z₂∂R/∂zdz，代入即得三重积分。4侧面消零：侧面法向量垂直于z轴，cosγ=0，故Rdxdy在侧面上的积分为零，不影响结果。5推广至一般区域：用辅助曲面将区域分割为有限个曲顶柱体，内部辅助面上的积分相互抵消，只剩外边界上的积分，三式相加即得高斯公式。H高等数学EXAMPLEGAUSSFORMULA例题4：直接应用高斯公式当积分曲面为封闭曲面且取外侧、被积函数偏导连续时，可直接应用高斯公式将曲面积分化为三重积分。本例中球面上的三次幂积分化为球坐标下的三重积分，计算量大幅降低。PROBLEM求∬Σx³dydz+y³dzdx+z³dxdy其中Σ为球面x²+y²+z²=a²的外侧CONDITIONS1偏导数连续：P=x³,Q=y³,R=z³，各偏导3x²,3y²,3z²在Ω上处处连续2封闭曲面：Σ为球面x²+y²+z²=a²，取外侧方向3散度计算：∂P/∂x+∂Q/∂y+∂R/∂z=3(x²+y²+z²)TRANSFORMATION由高斯公式，原曲面积分化为三重积分：∬Σ=∭Ω3(x²+y²+z²)dV其中Ω为球体x²+y²+z²≤a²SPHERICALCOORDINATES=3∫02πdθ·∫0πsinφdφ·∫0ar⁴dr=3·2π·2·a⁵/5RESULT12πa⁵/5比直接分面投影计算球面积分简便得多CALCULUSGAUSSTHEOREM补面法：非封闭曲面的处理策略非封闭曲面Σ可通过补面Σ₁构造封闭曲面后用高斯公式：∬Σ=∭ΩdivFdV−∬Σ₁。补面方向须与Σ共同构成外侧，所围立体内不能有奇点，补面应尽量简单以便直接计算。1构造封闭曲面当Σ不封闭时，补一个简单曲面Σ₁使Σ+Σ₁成为封闭曲面并取外侧。2应用高斯公式由高斯公式：∬Σ+Σ₁=∭ΩdivFdV，故∬Σ=∭ΩdivFdV−∬Σ₁。3方向协调补面Σ₁的方向必须与Σ协调，使Σ+Σ₁整体构成外侧（或统一内侧）。4奇点检验所围立体Ω内P、Q、R的偏导数必须连续，若有奇点则高斯公式不成立。5简化计算补面优先选择坐标面或简单平面，使∬Σ₁的计算尽可能简单。补面构造高斯公式减去补面积分∬Σ结果EXAMPLECALCULUS例题5：补面法计算半球面积分上半球面上侧的∬Σxdydz+ydzdx+zdxdy通过补底面z=0（下侧）构成封闭曲面。高斯公式给出三重积分2πR³，补面积分为零，故原式=2πR³。补面方向的正确选取是关键。1分析曲面封闭性：Σ为上半球面z=√(R²−x²−y²)上侧，不封闭，需补底面Σ₁。2补面：Σ₁:z=0,x²+y²≤R²，取下侧，使Σ+Σ₁构成半球体Ω的外侧。3高斯公式：divF=∂x/∂x+∂y/∂y+∂z/∂z=3，∭Ω3dV=3·(2πR³/3)=2πR³。4计算补面积分：在Σ₁上z=0，故zdxdy=0；dydz和dzdx在z=0平面上投影为零，∬Σ₁=0。5得出结论：原式=2πR³−0=2πR³。若补面取上侧则符号错误，结果为−2πR³。最终结果∬Σxdydz+ydzdx+zdxdy=2πR³补面方向决定符号正负DIVERGENCE散度的定义与物理意义散度divF=∂P/∂x+∂Q/∂y+∂R/∂z描述了向量场在某点的通量源密度。divF