Gauss公式Stokes公式微分形式的积分Gauss定理和Stokes定理$11.5Gauss 定理11.5.1Green公式给出了平面中的向量场F=（P,Q)沿环路L的环量bPda+QdyJL与函数-在L内部D的二重积分之间的关系，即rauapQQPda + Qdy =1dcdy.aay这个公式描述了函数的局部性质与整体性质之间的联系，说明了在一定的条件下局部形态可以决定整体形态那么有向封闭曲面上的第二型曲面积分与曲面所围成的三维闭区域上的三重积分有没有联系呢？返回全屏关闭退出1141/30
Gauss úª Stokes úª ©/ªÈ© §11.5 Gauss ½nÚ Stokes ½n 11.5.1 Gauss ½n Green úªÑ ²¡¥þ| F~ = (P, Q) ÷´ L þ I L P dx + Qdy ¼ê ∂Q ∂x − ∂P ∂y 3 L SÜ D È©m'X, = I L P dx + Qdy = ZZ D ∂Q ∂x − ∂P ∂y dxdy. ùúª£ã ¼êÛÜ5N5méX, `² 3½^ eÛÜ/±û½N/. @okµ4¡þ1.¡È©¡¤¤n4«þ nÈ©kvkéXQ? 1/30 kJ Ik J I £ ¶ '4 òÑ
Gauss公式Stokes公式微分形式的积分nsZnA为便于观察先从简单的封闭曲面考察. 设 V = [0,a] × [0,b] × [0,c] 是R3中的长方体,S=aV是一个封闭nn曲面，它有六个侧面S1，···，S6，法向分别为 πi,·.·,n6.设 F=(P,Q,R)on是V上的光滑向量场.则F.ds:F.nidsP(a, y, z)dydz.S1JSi0<y≤b0≤z≤cF.ds:F.nzdS :P(0, y, z)dydz.S2S20<y<b0≤z≤c将上面两个式子相加，可得返回全屏关闭退出I4-I2/30
Gauss úª Stokes úª ©/ªÈ© Bu* kl{üµ4¡ . V = [0, a] × [0, b] × [0, c] ´ R3 ¥N, S = ∂V ´µ4 ¡, §k8ý¡ S1, · · · , S6, { ©O ~n1, · · · , ~n6. F~ = (P, Q, R) ´ V þ1wþ|, K x y z O n n n n n n 1 2 3 4 5 6 a b c ZZ S1 F~ · dS~ = ZZ S1 F~ · ~n1dS = ZZ 06y6b 06z6c P (a, y, z)dydz. ZZ S2 F~ · dS~ = ZZ S2 F~ · ~n2dS = − ZZ 06y6b 06z6c P (0, y, z)dydz. òþ¡üªf\, 2/30 kJ Ik J I £ ¶ '4 òÑ
Gauss公式Stokes公式微分形式的积分F.ds(P(a, y, z) - P(0, y, z)dydzJSi+S20<y<b0≤zcaPPdydzdadydz.daaaa0<y≤b0≤z≤c同理有aQF.ds小dcdydzayJS3+S4aRF.ds1dadydz.0zJS5+S6于是aRaPaQ1F.ds =(11.1)drdydz.aaay0zJav返回全屏关闭退出II-3/30
Gauss úª Stokes úª ©/ªÈ© ZZ S1+S2 F~ · dS~ = ZZ 06y6b 06z6c P (a, y, z) − P (0, y, z) dydz = ZZ 06y6b 06z6c Z a 0 ∂P ∂x dx dydz = ZZZ V ∂P ∂x dxdydz. Ónk ZZ S3+S4 F~ · dS~ = ZZZ V ∂Q ∂y dxdydz ZZ S5+S6 F~ · dS~ = ZZZ V ∂R ∂z dxdydz. u´ ZZ ∂V F~ · dS~ = ZZZ V ∂P ∂x + ∂Q ∂y + ∂R ∂z dxdydz. (11.1) 3/30 kJ Ik J I £ ¶ '4 òÑ
Gauss公式Stokes公式微分形式的积分以下我们将上面得到的公式推广到较为一般的区域上，为此考虑三种类型的区域A 型区域 : V =((c, y,z) / αi(y,z) ≤ α ≤ a2(y, z), (y, z) E D)B 型区域 : V =[(α,y, z) / yi(z,α) ≤ y <y2(z,α), (z,α) ED)C 型区域 : V =(c, y,z) / zi(c,y) ≤ z≤ z2(α,y), (α, y) E D)ZZZz = z2(α,y)z = zi(c, y)A型区域B型区域C 型区域返回全屏关闭退出?4/30
Gauss úª Stokes úª ©/ªÈ© ±e·òþ¡úªí2«þ. dÄn«a .«: A .« : V = {(x, y, z)| x1(y, z) 6 x 6 x2(y, z), (y, z) ∈ D} B .« : V = {(x, y, z)| y1(z, x) 6 y 6 y2(z, x), (z, x) ∈ D} C .« : V = {(x, y, z)| z1(x, y) 6 z 6 z2(x, y), (x, y) ∈ D} x y z A .« x y z B .« x y z D z = z1(x, y) z = z2(x, y) C .« 4/30 kJ Ik J I £ ¶ '4 òÑ
Gauss公式Stokes公式微分形式的积分设 V 是一个C型区域, R(c,,z) E Ci(V). 设 Si 是下底面 z = zi(α,y),S2是上底面z=zi(α,y).因为V侧面的法向π与z轴垂直，所以Rk.ndS =Rda Λ dy =Rda ΛdyRdc ^ dy +JavJavJJSiJS2R(c, y, zi(a, y)dadyR(c, y, z2(c, y))dady -DJD/(R(a, y, z2(a, y) - R(a, y, zi(c, y))dadyTr2(r,) aR,OR-dz) dedy =dadydzJz(a,9) 0za2JJvaz当V是由有限个C型区域拼接而成的区域时，在相邻区域的公共面上两个区域边界的法向正好相反，因此，在衔接面上的积分抵消，于是也有TTOR(Rda ^ dy =ordadydz.vzJav关闭退出返回全屏二A-5/30
Gauss úª Stokes úª ©/ªÈ© V ´ C .«, R(x, y, z) ∈ C1 (V ). S1 ´e.¡ z = z1(x, y), S2 ´þ.¡ z = z1(x, y). Ï V ý¡{ ~n z ¶R, ¤± ZZ ∂V Rdx ∧ dy = ZZ ∂V R~k · ~ndS = ZZ S2 Rdx ∧ dy + ZZ S1 Rdx ∧ dy = ZZ D R(x, y, z2(x, y))dxdy − ZZ D R(x, y, z1(x, y))dxdy = ZZ D R(x, y, z2(x, y)) − R(x, y, z1(x, y)) dxdy = ZZ D Z z2(x,y) z1(x,y) ∂R ∂z dz! dxdy = ZZZ V ∂R ∂z dxdydz. V ´dk C .«© ¤«, 3«ú¡þ, ü«>.{Ð, Ïd, 3q¡þÈ©-. u´k ZZ ∂V Rdx ∧ dy = ZZZ V ∂R ∂z dxdydz. 5/30 kJ Ik J I £ ¶ '4 òÑ