【高等数学】第十一章 曲线积分与曲面积分——第六节 高斯公式 通量与散度
上一节:【高等数学】第十一章 曲线积分与曲面积分——第五节 对坐标的曲面积分
总目录:【高等数学】 目录
文章目录
- 1. 高斯公式
- 2. 沿任意闭曲面的曲面积分为零的条件
- 3. 通量与散度
1. 高斯公式
设空间区域ΩΩΩ是由分片光滑的闭曲面ΣΣΣ所围成,若函数P(x,y,z),Q(x,y,z)P(x,y,z), Q(x,y,z)P(x,y,z),Q(x,y,z)与R(x,y,z)R(x,y,z)R(x,y,z)在ΩΩΩ上具有一阶连续偏导数,则有高斯公式∭Ω(∂P∂x+∂Q∂y+∂R∂z)dv=∯ΣPdydz+Qdzdx+Rdxdy,\iiint\limits_{\Omega}\left(\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}+\frac{\partial R}{\partial z}\right)\mathrm{d}v=\oiint\limits_{\Sigma}P\mathrm{d}y\mathrm{d}z+Q\mathrm{d}z\mathrm{d}x+R\mathrm{d}x\mathrm{d}y,Ω∭(∂x∂P+∂y∂Q+∂z∂R)dv=Σ∬Pdydz+Qdzdx+Rdxdy,或∭Ω(∂P∂x+∂Q∂y+∂R∂z)dv=∯Σ(Pcosα+Qcosβ+Rcosγ)dS,\iiint\limits_{\Omega}\left(\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}+\frac{\partial R}{\partial z}\right)\mathrm{d}v=\oiint\limits_{\Sigma}\left(P\cos\alpha+Q\cos\beta+R\cos\gamma\right)\mathrm{d}S,Ω∭(∂x∂P+∂y∂Q+∂z∂R)dv=Σ∬(Pcosα+Qcosβ+Rcosγ)dS,这里ΣΣΣ是ΩΩΩ的整个边界曲面的外侧,cosα,cosβ\cosα, \cosβcosα,cosβ与cosγ\cosγcosγ是ΣΣΣ在点(x,y,z)(x,y,z)(x,y,z)处的法向量的方向余弦。
设闭区域ΩΩΩ在xOyxOyxOy面上的投影区域为DxyD_{xy}Dxy,假定穿过ΩΩΩ内部且平行于zzz轴的直线与ΩΩΩ的边界曲面ΣΣΣ的交点恰好是两个。
设 Σ\SigmaΣ 由Σ1\Sigma_1Σ1、Σ2\Sigma_2Σ2 和 Σ3\Sigma_3Σ3 三部分组成,其中Σ1\Sigma_1Σ1 和Σ2\Sigma_2Σ2分别由方程 z=z1(x,y)z= z_1(x, y)z=z1(x,y) 和 z=z2(x,y)z = z_2(x, y)z=z2(x,y) 给定,这里 z1(x,y)⩽z2(x,y)z_1(x, y) \leqslant z_2(x, y)z1(x,y)⩽z2(x,y),Σ1\Sigma_1Σ1 取下侧,Σ2\Sigma_2Σ2 取上侧,Σ3\Sigma_3Σ3 是以 DxyD_{xy}Dxy 的边界曲线为准线而母线平行于 zzz 轴的柱面上的一部分,取外侧。
∭Ω∂R∂zdv=∬Dxy{∫z1(x,y)z2(x,y)∂R∂zdz}dxdy=∬Dxy{R[x,y,z2(x,y)]−R[x,y,z1(x,y)]}dxdy\displaystyle\iiint\limits_{\Omega}\frac{\partial R}{\partial z}\mathrm{d}v=\iint\limits_{D_{xy}} \left\{ \int_{z_{1}(x,y)}^{z_{2}(x,y)} \frac{\partial R}{\partial z} \mathrm{d}z \right\} \mathrm{d}x \mathrm{d}y\\=\iint\limits_{D_{xy}}\left\{R\left[x,y,z_{2}\left(x,y\right)\right]-R\left[x,y,z_{1}\left(x,y\right)\right]\right\}\mathrm{d}x\mathrm{d}yΩ∭∂z∂Rdv=Dxy∬{∫z1(x,y)z2(x,y)∂z∂Rdz}dxdy=Dxy∬{R[x,y,z2(x,y)]−R[x,y,z1(x,y)]}dxdy
∯ΣR(x,y,z)dxdy=∬Σ1R(x,y,z)dxdy+∬Σ2R(x,y,z)dxdy+∬Σ3R(x,y,z)dxdy=−∬DxyR(x,y,z1(x,y))dxdy+∬DxyR(x,y,z2(x,y))dxdy\displaystyle\oiint\limits_{\Sigma}R(x,y,z)\mathrm{d}x\mathrm{d}y=\iint\limits_{\Sigma_1}R(x,y,z)\mathrm{d}x\mathrm{d}y+\iint\limits_{\Sigma_2}R(x,y,z)\mathrm{d}x\mathrm{d}y+\iint\limits_{\Sigma_3}R(x,y,z)\mathrm{d}x\mathrm{d}y\\=-\iint\limits_{D_{xy}}R(x,y,z_1(x,y))\mathrm{d}x\mathrm{d}y+\iint\limits_{D_{xy}}R(x,y,z_2(x,y))\mathrm{d}x\mathrm{d}yΣ∬R(x,y,z)dxdy=Σ1∬R(x,y,z)dxdy+Σ2∬R(x,y,z)dxdy+Σ3∬R(x,y,z)dxdy=−Dxy∬R(x,y,z1(x,y))dxdy+Dxy∬R(x,y,z2(x,y))dxdy
上述两个积分显然相等
同理可得∭Ω∂P∂xdv=∯ΣP(x,y,z)dydz,∭Ω∂Q∂ydv=∯ΣQ(x,y,z)dzdx\displaystyle\iiint\limits_{\Omega} \frac{\partial P}{\partial x} \mathrm{d}v = \oiint\limits_{\Sigma} P(x, y, z) \mathrm{d}y \mathrm{d}z,\\\iiint\limits_{\Omega} \frac{\partial Q}{\partial y} \mathrm{d}v = \oiint\limits_{\Sigma} Q(x, y, z) \mathrm{d}z \mathrm{d}x Ω∭∂x∂Pdv=Σ∬P(x,y,z)dydz,Ω∭∂y∂Qdv=Σ∬Q(x,y,z)dzdx
如果不满足穿过ΩΩΩ内部且平行于zzz轴的直线与ΩΩΩ的边界曲面ΣΣΣ的交点恰好是两个,可以引进几张辅助曲面把 Ω\OmegaΩ 分为有限个闭区域,使得每个闭区域满足这样的条件,并注意到沿辅助曲面相反两侧的两个曲面积分的绝对值相等而符号相反,相加时正好抵消,因此高斯公式对于这样的闭区域仍然是正确的。
2. 沿任意闭曲面的曲面积分为零的条件
- 空间单连通
对空间区域 GGG,如果 GGG 内任一闭曲面所围成的区域全属于 GGG,则称 GGG 为空间二维单连通区域;
如果 GGG 内任一闭曲线总可以张成一片完全属于 GGG 的曲面,则称 GGG 为空间一维单连通区域。如果任何闭合曲线(或闭合曲面)能在空间区域缩于一点,则该空间区域是一维(或二维)单连通的
- 沿任意闭曲面的曲面积分为零的条件
设GGG是空间二维单连通区域。
若P(x,y,z)P(x,y,z)P(x,y,z),Q(x,y,z)Q(x,y,z)Q(x,y,z)与R(x,y,z)R(x,y,z)R(x,y,z)在GGG内具有一阶连续偏导数,则曲面积分∬ΣPdydz+Qdzdx+Rdxdy\iint\limits_{\Sigma}P\mathrm{d}y\mathrm{d}z+Q\mathrm{d}z\mathrm{d}x+R\mathrm{d}x\mathrm{d}yΣ∬Pdydz+Qdzdx+Rdxdy在GGG内与所取曲面Σ\SigmaΣ无关而只取决于Σ\SigmaΣ的边界曲线(或沿GGG内任一闭合曲面的曲面积分为零)的充分必要条件是∂P∂x+∂Q∂y+∂R∂z=0\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}+\frac{\partial R}{\partial z}=0∂x∂P+∂y∂Q+∂z∂R=0在GGG内恒成立。沿GGG内任一闭合曲面的曲面积分为零,这意味着对于具有相同边界曲线的两个曲面 Σ1\Sigma_{1}Σ1 和 Σ2\Sigma_{2}Σ2,它们组合成一个闭合曲面(如 Σ1−Σ2\Sigma_{1}-\Sigma_{2}Σ1−Σ2),积分差为零,故积分值相等。因此,积分只取决于边界曲线。
3. 通量与散度
- 通量
设有向量场A(x,y,z)=P(x,y,z)i+Q(x,y,z)j+R(x,y,z)kA(x,y,z)=P(x,y,z)\boldsymbol{i}+Q(x,y,z)\boldsymbol{j}+R(x,y,z)\boldsymbol{k}A(x,y,z)=P(x,y,z)i+Q(x,y,z)j+R(x,y,z)k,其中函数PPP、QQQ与RRR均具有一阶连续偏导数,Σ\SigmaΣ是场内的一片有向曲面,n\boldsymbol{n}n是Σ\SigmaΣ在点(x,y,z)(x,y,z)(x,y,z)处的单位法向量,则积分∬ΣA⋅ndS\displaystyle\iint\limits_{\Sigma}\boldsymbol{A}\cdot \boldsymbol{n}\mathrm{d}SΣ∬A⋅ndS称为向量场AAA通过曲面Σ\SigmaΣ向着指定侧的通量(或流量)。 - 散度
∭Ω(∂P∂x+∂Q∂y+∂R∂z)dv=∯ΣvndS.\iiint\limits_{\Omega}\left(\frac{\partial P}{\partial x}+\frac{\partial Q}{\partial y}+\frac{\partial R}{\partial z}\right)\mathrm{d}v=\oiint\limits_{\Sigma}v_{n}\mathrm{d}S.Ω∭(∂x∂P+∂y∂Q+∂z∂R)dv=Σ∬vndS.以闭区域 Ω\OmegaΩ 的体积 VVV 除上式两端,得1V∭Ω(∂P∂x+∂Q∂y+∂R∂z)dv=1V∯ΣvndS.\frac{1}{V} \iiint\limits_{\Omega} \left( \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z} \right) \mathrm{d}v = \frac{1}{V} \oiint\limits_{\Sigma} v_n \mathrm{d}S. V1Ω∭(∂x∂P+∂y∂Q+∂z∂R)dv=V1Σ∬vndS.应用积分中值定理于上式左端,得(∂P∂x+∂Q∂y+∂R∂z)∣(ξ,η,ζ)=1V∯ΣvndS,\left. \left( \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z} \right) \right|_{(\xi,\eta,\zeta)} = \frac{1}{V} \oiint\limits_{\Sigma} v_n\mathrm{d}S, (∂x∂P+∂y∂Q+∂z∂R)(ξ,η,ζ)=V1Σ∬vndS,这里 (ξ,η,ζ)(\xi,\eta,\zeta)(ξ,η,ζ) 是 Ω\OmegaΩ 内的某点。
令 Ω\OmegaΩ 缩向一点 M(x,y,z)M(x,y,z)M(x,y,z),取上式的极限,得∂P∂x+∂Q∂y+∂R∂z=limΩ→M1V∯ΣvndS\frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z} = \lim_{\Omega \to M} \frac{1}{V}\oiint\limits_{\Sigma} v_n\mathrm{d}S ∂x∂P+∂y∂Q+∂z∂R=Ω→MlimV1Σ∬vndS上式左端称为向量场 v\boldsymbol{v}v 在点 MMM 的通量密度或散度,记作 divv(M)\operatorname{div}\boldsymbol{v}(M)divv(M),即divv(M)=∂P∂x+∂Q∂y+∂R∂z.\operatorname{div}\boldsymbol{v}(M)= \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z}. divv(M)=∂x∂P+∂y∂Q+∂z∂R. divv(M)\operatorname{div}\boldsymbol{v}(M)divv(M) 可看做稳定流动的不可压缩流体在点 MMM 的源头强度。
在divv(M)>0\operatorname{div}\boldsymbol{v}(M) > 0divv(M)>0 的点处,流体从该点向外发散,表示流体在该点处有正源;
在 divv(M)<0\operatorname{div}\boldsymbol{v}(M) < 0divv(M)<0 的点处,流体向该点汇聚,表示流体在该点处有吸收流体的负源(又称为汇或洞);
在 divv(M)=0\operatorname{div}\boldsymbol{v}(M) = 0divv(M)=0 的点处,表示流体在该点处无源。 - 向量场的散度
对于向量场A(x,y,z)=P(x,y,z)i+Q(x,y,z)j+R(x,y,z)kA(x,y,z) = P(x,y,z)\boldsymbol{i} + Q(x,y,z)\boldsymbol{j} + R(x,y,z)\boldsymbol{k}A(x,y,z)=P(x,y,z)i+Q(x,y,z)j+R(x,y,z)k∂P∂x+∂Q∂y+∂R∂z\displaystyle\frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z}∂x∂P+∂y∂Q+∂z∂R 叫做向量场A\boldsymbol{A}A的散度,记作 divA\operatorname{div}\boldsymbol{A}divA,即divA=∂P∂x+∂Q∂y+∂R∂z.\operatorname{div } \boldsymbol{A} = \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z}. divA=∂x∂P+∂y∂Q+∂z∂R.利用向量微分算子∇\nabla∇,向量场A\boldsymbol{A}A的散度divA\operatorname{div}\boldsymbol{A}divA也可表示为∇⋅A\nabla\cdot\boldsymbol{A}∇⋅A,即divA=∇⋅A.\operatorname{div } \boldsymbol{A} = \nabla \cdot \boldsymbol{A}. divA=∇⋅A.如果向量场A\boldsymbol{A}A的散度divA\operatorname{div}\boldsymbol{A}divA 处处为零,那么称向量场A\boldsymbol{A}A为无源场。 - 高斯公式的向量形式
∭ΩdivAdv=∭Ω∇⋅Adv=∯ΣAndS\iiint\limits_\Omega \operatorname{div}\boldsymbol{A}\mathrm{d}v=\iiint\limits_\Omega \nabla\cdot\boldsymbol{A}\mathrm{d}v=\oiint\limits_\Sigma A_n\mathrm{d}SΩ∭divAdv=Ω∭∇⋅Adv=Σ∬AndS向量场A\boldsymbol{A}A通过闭合面Σ\SigmaΣ流向外侧的通量等于向量场A\boldsymbol{A}A的散度在闭合面Σ\SigmaΣ所围闭区域Ω\OmegaΩ上的积分。
下一节:
总目录:【高等数学】 目录