自在学

我们与你共同进步

  • 分类课程
  • 文章
  • 工作台
  • 订阅

  • 关于我们
  • 隐私政策
  • 使用条款

探索

  • 分类课程
  • 文章
  • 工作台
  • 订阅

网站信息

  • 关于我们
  • 隐私政策
  • 使用条款

加入社区

自在学学习社区微信二维码

微信扫码,交流学习

株洲市自在学教育科技有限公司© 2025 - 2026 版权所有

© 2025 - 2026 株洲市自在学教育科技有限公司 版权所有

湘公网安备43020302000292号|湘ICP备2025148919号-1
分类课程工作台文章订阅
分类课程工作台文章价格

多变量微积分 I

  1. 01多变量微积分研究什么
  2. 02三维坐标、向量与空间几何
  3. 03曲面、二次曲面与坐标变换初识
  4. 04向量值函数与空间曲线
  5. 05多变量函数、定义域、图像与等值线
  6. 06多变量极限与连续
  7. 07偏导数:沿坐标方向看变化
  8. 08切平面、线性近似与全微分
  9. 09多变量链式法则与隐函数求导
  10. 10方向导数与梯度
  11. 11多变量极值与优化
  12. 12约束优化与拉格朗日乘子
  13. 13二重积分:从小矩形累加到曲面下体积
  14. 14一般区域上的二重积分与积分次序
  15. 15极坐标中的二重积分
  16. 16三重积分:空间区域中的累积
  17. 17柱坐标、球坐标与空间坐标变换
  18. 18变量替换与 Jacobian
  19. 19向量场:空间中每一点都有方向
  20. 20线积分:沿路径累加标量和向量
  21. 21保守场、势函数与路径无关
  22. 22Green 定理:平面区域的边界与内部
  23. 23曲面参数化与曲面积分
  24. 24散度、旋度与三维向量场
  25. 25Stokes 定理与 Divergence Theorem
正在加载课程章节内容
课程数学多变量微积分 I曲面参数化与曲面积分

曲面参数化与曲面积分

上一章的 Green 定理把平面区域内部的变化和边界上的线积分连了起来。不过那里的区域一直平躺在 xyxyxy 平面中,小矩形的面积就是 Δx Δy\Delta x\,\Delta yΔxΔy。现在我们要把这块区域抬起来:它可能弯成碗、卷成圆柱,也可能闭合成球面。

麻烦就在这里出现了。平面小方格不能原封不动地铺到弯曲面上。同样大小的方格,贴到平缓处和陡峭处,得到的真实面积并不一样;如果要计算向量场穿过曲面的通量,我们还得知道每个小曲面片朝哪一边。

这两个问题——“小片有多大”和“小片朝哪里”——最后会由同一个向量回答:两条参数切向量的叉积。本章会从这个几何事实出发,把曲面面积、薄膜质量和通量统一成参数平面上的二重积分。等这一步搭好,下一章才能把平面里的 Green 定理推向空间中的散度与旋度。


从参数曲线走到参数曲面

先回想参数曲线。一个参数 ttt 每取一个值,位置向量

c(t)=⟨x(t),y(t),z(t)⟩\mathbf c(t)=\langle x(t),y(t),z(t)\ranglec(t)=⟨x(t),y(t),z(t)⟩

就在空间中给出一个点。让 ttt 连续变化,点便描出一条曲线;导数 c′(t)\mathbf c'(t)c′(t) 告诉我们曲线在这一点的切向。

曲面比曲线多一个自由方向,所以一个参数不够。我们让两个参数 u,vu,vu,v 一起工作:

r(u,v)=⟨x(u,v),y(u,v),z(u,v)⟩,(u,v)∈D\mathbf r(u,v)=\langle x(u,v),y(u,v),z(u,v)\rangle,\qquad (u,v)\in Dr(u,v)=⟨x(u,v),y(u,v),z(u,v)⟩,(u,v)∈D

DDD 是 uvuvuv 平面中的参数域。每一对 (u,v)(u,v)(u,v) 都是一张“地址”,r\mathbf rr 把这张地址送到空间中的一点。参数域中的横线、竖线也会一起被送上去,变成曲面上的两族参数曲线。

参数域 D 中的小矩形经过参数化 r 映到三维曲面 S 上,形成对应的小曲面片。

参数域负责给地址,参数化负责把地址贴到曲面上。小矩形到了曲面上,通常会被拉伸和倾斜。

一个参数固定,另一个参数移动

固定 v=v0v=v_0v=v0​,只让 uuu 变化,我们得到曲面上的一条曲线

r(u,v0)\mathbf r(u,v_0)r(u,v0​)

它在 (u0,v0)(u_0,v_0)(u0​,v0​) 处的切向量是

ru(u0,v0)\mathbf r_u(u_0,v_0)ru​(u0​,v0​)

反过来,固定 u=u0u=u_0u=u0​,只让 vvv 变化,另一条参数曲线的切向量是

rv(u0,v0)\mathbf r_v(u_0,v_0)rv​(u0​,v0​)

所以 ru\mathbf r_uru​ 和 rv\mathbf r_vrv​ 不是凭空冒出来的符号。它们分别回答:“只沿参数网格的 uuu 方向走,空间位置怎样变化?”以及“只沿 vvv 方向走,空间位置怎样变化?”

下面的交互会把参数域中的点和小矩形同步送到空间曲面上。先在平面上移动点,再切换到抛物面和鞍面;留意左侧小矩形大小没变时,右侧小片的形状为什么会变。

参数范围和“覆盖一次”

只写 r(u,v)\mathbf r(u,v)r(u,v) 还不算完整参数化,参数范围同样是曲面的一部分。例如半径为 RRR、高度从 000 到 hhh 的圆柱侧面可以写成

r(θ,z)=⟨Rcos⁡θ,Rsin⁡θ,z⟩,0≤θ≤2π,0≤z≤h\mathbf r(\theta,z)=\langle R\cos\theta,R\sin\theta,z\rangle,\qquad 0\le \theta\le 2\pi,\quad 0\le z\le hr(θ,z)=⟨Rcosθ,Rsinθ,z⟩,0≤θ≤2π,0≤z≤h

角度从 000 转到 2π2\pi2π,圆柱刚好绕一周。若误写成 0≤θ≤4π0\le\theta\le4\pi0≤θ≤4π,同一块侧面会被扫两遍,积分也会被算两遍。

像 θ=0\theta=0θ=0 和 θ=2π\theta=2\piθ=2π 这样只在接缝上重复,通常不影响积分,因为一条接缝在曲面中没有面积。球面参数化的南北极也会出现多组角度指向同一点,这类孤立或边界上的退化同样可以通过极限处理。真正要警惕的是一整片参数域重复覆盖同一片曲面。

参数化不要求唯一,但要把“公式、参数范围、覆盖哪一片曲面”三件事一起说清楚。换一套不重复覆盖的参数,标量曲面积分不会改变;通量积分还要保证两套参数选出的法向方向一致。


为什么面积微元一定会出现叉积

参数域里有一个边长为 Δu\Delta uΔu 和 Δv\Delta vΔv 的小矩形。若我们粗暴地把它的面积 Δu Δv\Delta u\,\Delta vΔuΔv 当成曲面小片面积,就等于假设参数化从不拉伸、从不倾斜。这几乎只在最简单的平面上成立。

正确做法是先看小矩形的两条边被送到了哪里。由线性近似,沿 uuu 方向的小位移满足

r(u+Δu,v)−r(u,v)≈ru(u,v)Δu\mathbf r(u+\Delta u,v)-\mathbf r(u,v) \approx \mathbf r_u(u,v)\Delta ur(u+Δu,v)−r(u,v)≈ru​(u,v)Δu

沿 vvv 方向的小位移满足

r(u,v+Δv)−r(u,v)≈rv(u,v)Δv\mathbf r(u,v+\Delta v)-\mathbf r(u,v) \approx \mathbf r_v(u,v)\Delta vr(u,v+Δv)−r(u,v)≈rv​(u,v)Δv

曲面虽然弯,但把镜头拉到足够近,它会像自己的切平面。因此这块小曲面片可以近似成由

ruΔu,rvΔv\mathbf r_u\Delta u,\qquad \mathbf r_v\Delta vru​Δu,rv​Δv

张成的小平行四边形。

叉积的长度正好是平行四边形面积。于是

ΔS≈∥ru×rv∥ Δu Δv\Delta S \approx \|\mathbf r_u\times\mathbf r_v\|\,\Delta u\,\Delta vΔS≈∥ru​×rv​∥ΔuΔv

让参数小矩形不断缩小,就得到曲面面积微元

dS=∥ru×rv∥ du dvdS=\|\mathbf r_u\times\mathbf r_v\|\,du\,dvdS=∥ru​×rv​∥dudv

三维曲面上一点 P 的两条切向量 r_u Δu 和 r_v Δv 张成小平行四边形,并用法向量 r_u × r_v 说明面积微元 dS 的几何来源。

叉积长度给面积,叉积方向给法向。曲面积分后面的两条主线都从这里出发。

面积放大因子

把

JS(u,v)=∥ru×rv∥J_S(u,v)=\|\mathbf r_u\times\mathbf r_v\|JS​(u,v)=∥ru​×rv​∥

单独拿出来看,它就是参数化的局部面积放大因子。参数域里面积为 du dvdu\,dvdudv 的小块,到了曲面上约变成 JS du dvJ_S\,du\,dvJS​dudv。

如果 JS=2J_S=2JS​=2,曲面小片的面积约是参数小矩形的两倍;如果 JSJ_SJS​ 随位置变化,同样大小的参数小矩形在不同位置会铺出不同面积。若

ru×rv=0\mathbf r_u\times\mathbf r_v=\mathbf 0ru​×rv​=0

两条参数方向局部挤成了同一条线,参数网格失去了二维面积。除允许的接缝或极点外,我们通常要求参数化是正则的,也就是叉积不为零。

du dvdu\,dvdudv 是参数域里的面积,dSdSdS 才是空间曲面上的真实面积。不能因为曲面积分最后写成二重积分,就把这两个面积微元当成同一个东西。

例题:抛物面片的面积

求抛物面

z=x2+y2z=x^2+y^2z=x2+y2

在圆盘 x2+y2≤1x^2+y^2\le1x2+y2≤1 上方那一片的面积。

边界是圆,用半径和角度做参数最自然。令

r(s,θ)=⟨scos⁡θ,ssin⁡θ,s2⟩,0≤s≤1,0≤θ≤2π\mathbf r(s,\theta)=\langle s\cos\theta,s\sin\theta,s^2\rangle,\qquad 0\le s\le1,\quad 0\le\theta\le2\pir(s,θ)=⟨scosθ,ssinθ,s2⟩,0≤s≤1,0≤θ≤2π

这里用 sss 表示半径参数,避免和参数化符号 r\mathbf rr 混淆。

两条参数切向量是

rs=⟨cos⁡θ,sin⁡θ,2s⟩\mathbf r_s=\langle\cos\theta,\sin\theta,2s\ranglers​=⟨cosθ,sinθ,2s⟩rθ=⟨−ssin⁡θ,scos⁡θ,0⟩\mathbf r_\theta=\langle-s\sin\theta,s\cos\theta,0\ranglerθ​=⟨−ssinθ,scosθ,0⟩

叉积为

rs×rθ=⟨−2s2cos⁡θ,−2s2sin⁡θ,s⟩\mathbf r_s\times\mathbf r_\theta =\langle-2s^2\cos\theta,-2s^2\sin\theta,s\ranglers​×rθ​=⟨−2s2cosθ,−2s2sinθ,s⟩

因而

∥rs×rθ∥=s1+4s2\|\mathbf r_s\times\mathbf r_\theta\| =s\sqrt{1+4s^2}∥rs​×rθ​∥=s1+4s2​

参数域中心 s=0s=0s=0 会让叉积为零,但它只对应曲面上的一个点,不影响面积积分。

曲面面积是

A=∫02π∫01s1+4s2 ds dθA=\int_0^{2\pi}\int_0^1 s\sqrt{1+4s^2}\,ds\,d\thetaA=∫02π​∫01​s1+4s2​dsdθ

内层令 w=1+4s2w=1+4s^2w=1+4s2,得到

A=π6(53/2−1)A=\frac{\pi}{6}\left(5^{3/2}-1\right)A=6π​(53/2−1)

最后可以做一个量级检查。抛物面片在 xyxyxy 平面上的投影面积是 π\piπ,而曲面是倾斜的,所以真实面积应该大于 π\piπ;上面的结果确实满足这一点。


常见曲面怎样选参数

参数化最考验的往往不是求导,而是选参数。一个好选择会让边界、面积因子和法向方向都变得清楚。先看曲面本身怎样生成,再决定用哪两个量当地址。

并列展示平面片、圆柱面和球面的参数化示意图,包含各自的参数方程。

平面片适合用两个方向参数,圆柱面适合用角度与高度,球面适合用两个角度。

图形曲面

如果曲面已经写成

z=g(x,y)z=g(x,y)z=g(x,y)

最省事的参数化就是直接把 x,yx,yx,y 当参数:

r(x,y)=⟨x,y,g(x,y)⟩,(x,y)∈R\mathbf r(x,y)=\langle x,y,g(x,y)\rangle,\qquad (x,y)\in Rr(x,y)=⟨x,y,g(x,y)⟩,(x,y)∈R

这时

rx=⟨1,0,gx⟩,ry=⟨0,1,gy⟩\mathbf r_x=\langle1,0,g_x\rangle,\qquad \mathbf r_y=\langle0,1,g_y\ranglerx​=⟨1,0,gx​⟩,ry​=⟨0,1,gy​⟩

按这个顺序做叉积,得到向上的法向量

rx×ry=⟨−gx,−gy,1⟩\mathbf r_x\times\mathbf r_y =\langle-g_x,-g_y,1\ranglerx​×ry​=⟨−gx​,−gy​,1⟩

所以图形曲面的面积微元是

dS=1+gx2+gy2 dx dydS=\sqrt{1+g_x^2+g_y^2}\,dx\,dydS=1+gx2​+gy2​​dxdy

这个平方根很好理解。若 gx=gy=0g_x=g_y=0gx​=gy​=0,曲面局部水平,dS=dx dydS=dx\,dydS=dxdy;斜率越大,同一块投影对应的真实曲面面积越大。

有时曲面更适合写成 x=h(y,z)x=h(y,z)x=h(y,z) 或 y=h(x,z)y=h(x,z)y=h(x,z)。不要硬把所有曲面都解成 z=g(x,y)z=g(x,y)z=g(x,y)。只要改用另一个坐标平面做投影,同样的推导仍然成立。

平面片

已知平面上一点 p\mathbf pp 和平面内两个不平行方向 a,b\mathbf a,\mathbf ba,b,可以写成

r(u,v)=p+ua+vb\mathbf r(u,v)=\mathbf p+u\mathbf a+v\mathbf br(u,v)=p+ua+vb

因为

ru=a,rv=b\mathbf r_u=\mathbf a,\qquad \mathbf r_v=\mathbf bru​=a,rv​=b

所以面积微元是常数

dS=∥a×b∥ du dvdS=\|\mathbf a\times\mathbf b\|\,du\,dvdS=∥a×b∥dudv

参数域若是矩形,就得到平行四边形平面片;参数域若是三角形,就得到三角形平面片。

圆柱面与圆锥面

半径为 RRR 的圆柱侧面用角度和高度参数化:

r(θ,z)=⟨Rcos⁡θ,Rsin⁡θ,z⟩\mathbf r(\theta,z)=\langle R\cos\theta,R\sin\theta,z\rangler(θ,z)=⟨Rcosθ,Rsinθ,z⟩

如果先取 rθ×rz\mathbf r_\theta\times\mathbf r_zrθ​×rz​,会得到

rθ×rz=⟨Rcos⁡θ,Rsin⁡θ,0⟩\mathbf r_\theta\times\mathbf r_z =\langle R\cos\theta,R\sin\theta,0\ranglerθ​×rz​=⟨Rcosθ,Rsinθ,0⟩

它恰好指向圆柱外侧,长度为 RRR,因此

dS=R dθ dzdS=R\,d\theta\,dzdS=Rdθdz

上半圆锥 z=csz=csz=cs 可以写成

r(s,θ)=⟨scos⁡θ,ssin⁡θ,cs⟩\mathbf r(s,\theta)=\langle s\cos\theta,s\sin\theta,cs\rangler(s,θ)=⟨scosθ,ssinθ,cs⟩

其中 sss 是到 zzz 轴的水平距离。直接计算可得

dS=s1+c2 ds dθdS=s\sqrt{1+c^2}\,ds\,d\thetadS=s1+c2​dsdθ

这里的 sss 和极坐标面积微元中的半径因子来自同一个事实:绕轴方向的一小段弧长会随半径增大。

球面

半径为 RRR 的球面适合用极角 ϕ\phiϕ 和方位角 θ\thetaθ:

r(ϕ,θ)=⟨Rsin⁡ϕcos⁡θ,Rsin⁡ϕsin⁡θ,Rcos⁡ϕ⟩\mathbf r(\phi,\theta) =\langle R\sin\phi\cos\theta, R\sin\phi\sin\theta, R\cos\phi\rangler(ϕ,θ)=⟨Rsinϕcosθ,Rsinϕsinθ,Rcosϕ⟩

其中 ϕ\phiϕ 从正 zzz 轴向下量,θ\thetaθ 绕 zzz 轴旋转。整球的范围是

0≤ϕ≤π,0≤θ≤2π0\le\phi\le\pi,\qquad 0\le\theta\le2\pi0≤ϕ≤π,0≤θ≤2π

按 rϕ×rθ\mathbf r_\phi\times\mathbf r_\thetarϕ​×rθ​ 的顺序,叉积指向球面外侧,并且

∥rϕ×rθ∥=R2sin⁡ϕ\|\mathbf r_\phi\times\mathbf r_\theta\| =R^2\sin\phi∥rϕ​×rθ​∥=R2sinϕ

所以

dS=R2sin⁡ϕ dϕ dθdS=R^2\sin\phi\,d\phi\,d\thetadS=R2sinϕdϕdθ

sin⁡ϕ\sin\phisinϕ 不是多余的装饰。靠近极点时,经线挤在一起,同样的角度小矩形只对应很窄的球面片;到赤道时,经线分得最开,面积因子最大。

旋转曲面

把平面曲线 y=q(x)y=q(x)y=q(x) 绕 xxx 轴旋转,参数化可以写成

r(x,θ)=⟨x,q(x)cos⁡θ,q(x)sin⁡θ⟩\mathbf r(x,\theta) =\langle x,q(x)\cos\theta,q(x)\sin\theta\rangler(x,θ)=⟨x,q(x)cosθ,q(x)sinθ⟩

若 q(x)≥0q(x)\ge0q(x)≥0,计算叉积长度得到

dS=q(x)1+[q′(x)]2 dx dθdS=q(x)\sqrt{1+[q'(x)]^2}\,dx\,d\thetadS=q(x)1+[q′(x)]2​dxdθ

再把 θ\thetaθ 从 000 积到 2π2\pi2π,就出现熟悉的“周长乘斜长”结构:

dS一圈=2πq(x)1+[q′(x)]2 dxdS_{\text{一圈}} =2\pi q(x)\sqrt{1+[q'(x)]^2}\,dxdS一圈​=2πq(x)1+[q′(x)]2​dx

选参数时先看边界怎样写最简单。圆形边界优先考虑角度,柱面优先考虑角度和高度,图形曲面优先考虑投影坐标。参数化不是越特别越好,能让参数域一眼看清通常就是好选择。

例题:第一卦限内的平面片

平面 x+2y+z=4x+2y+z=4x+2y+z=4 在第一卦限内截出一个三角形。写出参数化、参数域和面积微元。

先把平面写成图形:

z=4−x−2yz=4-x-2yz=4−x−2y

用 x,yx,yx,y 当参数,得到

r(x,y)=⟨x,y,4−x−2y⟩\mathbf r(x,y)=\langle x,y,4-x-2y\rangler(x,y)=⟨x,y,4−x−2y⟩

第一卦限要求 x≥0x\ge0x≥0、y≥0y\ge0y≥0、z≥0z\ge0z≥0,所以参数域是

D={(x,y):x≥0, y≥0, x+2y≤4}D=\{(x,y):x\ge0,\ y\ge0,\ x+2y\le4\}D={(x,y):x≥0, y≥0, x+2y≤4}

写成累次积分范围可以取

0≤x≤4,0≤y≤4−x20\le x\le4,\qquad 0\le y\le\frac{4-x}{2}0≤x≤4,0≤y≤24−x​

计算切向量与叉积:

rx=⟨1,0,−1⟩,ry=⟨0,1,−2⟩\mathbf r_x=\langle1,0,-1\rangle,\qquad \mathbf r_y=\langle0,1,-2\ranglerx​=⟨1,0,−1⟩,ry​=⟨0,1,−2⟩rx×ry=⟨1,2,1⟩\mathbf r_x\times\mathbf r_y =\langle1,2,1\ranglerx​×ry​=⟨1,2,1⟩

因而

dS=6 dx dydS=\sqrt6\,dx\,dydS=6​dxdy

叉积的 zzz 分量为正,所以这个顺序给出向上的方向。


定向:面积大小之外还要选一面

标量面积只问“小片有多大”,但通量还要问“哪一边算正”。对普通光滑曲面,每一点都有两个相反的单位法向量。选择其中一边,并且让这个选择在曲面上连续变化,就叫给曲面定向。

若参数化已经给出,两个候选法向量来自

ru×rv\mathbf r_u\times\mathbf r_vru​×rv​

和

rv×ru=−(ru×rv)\mathbf r_v\times\mathbf r_u =-(\mathbf r_u\times\mathbf r_v)rv​×ru​=−(ru​×rv​)

交换叉积顺序不会改变面积,却会把方向翻转。单位法向量是

n=ru×rv∥ru×rv∥\mathbf n =\frac{\mathbf r_u\times\mathbf r_v} {\|\mathbf r_u\times\mathbf r_v\|}n=∥ru​×rv​∥ru​×rv​​

前提是这个叉积确实朝题目要求的方向。

怎样判断方向

题目常用“向上”“向下”“向外”“向内”指定方向。

对于图形曲面 z=g(x,y)z=g(x,y)z=g(x,y),向上的法向量应有正的 zzz 分量,所以

⟨−gx,−gy,1⟩\langle-g_x,-g_y,1\rangle⟨−gx​,−gy​,1⟩

天然是向上的;向下就取相反数。

对于圆柱、球面这类包围某个区域的曲面,“向外”可以用一个测试点检查。球面外法向应当和从球心指向曲面点的位置向量同向;圆柱外法向的水平部分应当远离轴线。只看叉积公式的正负而不做几何检查,很容易把整个通量算成相反数。

闭曲面没有边界,并且完整包围一个三维区域。球面、立方体表面、带顶和底的封闭圆柱都是闭曲面。闭曲面的默认正方向通常取向外。只有侧面的圆柱不是闭曲面,因为顶部和底部还敞着。

并非每张曲面都能全局定向。若沿曲面连续移动法向量,绕一圈回来却变成相反方向,就不存在一致的“这一面”。这种曲面仍可以做标量曲面积分,但不能在整个曲面上定义一个连续法向并计算通常意义下的全局通量。


标量曲面积分:把密度铺在弯曲薄膜上

先别急着讨论向量场。假设 f(x,y,z)f(x,y,z)f(x,y,z) 是曲面上的一个标量,比如薄膜的面密度。我们把曲面分成许多小片,在第 iii 片选一点 PiP_iPi​,形成近似和

∑if(Pi) ΔSi\sum_i f(P_i)\,\Delta S_ii∑​f(Pi​)ΔSi​

小片越切越细,这个和的极限就是标量曲面积分

∬Sf dS\iint_S f\,dS∬S​fdS

它和一元积分、二重积分仍是同一个套路:局部数值乘局部大小,再把所有小块加起来。变化只在于局部大小现在是曲面面积 dSdSdS。

用参数化计算时,把曲面上的点和面积微元都换成 u,vu,vu,v:

∬Sf dS=∬Df(r(u,v))∥ru×rv∥ du dv\iint_S f\,dS =\iint_D f(\mathbf r(u,v)) \|\mathbf r_u\times\mathbf r_v\|\,du\,dv∬S​fdS=∬D​f(r(u,v))∥ru​×rv​∥dudv

曲面薄膜上用颜色深浅表示密度 f,标出面积微元 dS,并用积分公式表示薄膜总质量。

面密度乘真实曲面面积,再对整张薄膜累加,就得到总质量。

面积、质量与平均值

令 f=1f=1f=1,标量曲面积分就是曲面面积:

Area⁡(S)=∬S1 dS\operatorname{Area}(S)=\iint_S 1\,dSArea(S)=∬S​1dS

若 σ(x,y,z)≥0\sigma(x,y,z)\ge0σ(x,y,z)≥0 是面密度,总质量是

M=∬Sσ dSM=\iint_S\sigma\,dSM=∬S​σdS

函数 fff 在曲面上的平均值是

favg=1Area⁡(S)∬Sf dSf_{\text{avg}} =\frac{1}{\operatorname{Area}(S)} \iint_S f\,dSfavg​=Area(S)1​∬S​fdS

还可以用同样的加权思想求质心。例如

xˉ=1M∬Sxσ dS\bar x=\frac{1}{M}\iint_S x\sigma\,dSxˉ=M1​∬S​xσdS

yˉ,zˉ\bar y,\bar zyˉ​,zˉ 的公式完全类似。

标量曲面积分不需要方向,因为公式中使用的是叉积长度。翻转法向量不会改变 dSdSdS。不过若 fff 本身允许取负值,积分当然也可能是负数;只有面积以及非负密度对应的质量必定非负。

例题:上半球薄膜的质量

半径为 222 的上半球

x2+y2+z2=4,z≥0x^2+y^2+z^2=4,\qquad z\ge0x2+y2+z2=4,z≥0

上有面密度 σ(x,y,z)=z\sigma(x,y,z)=zσ(x,y,z)=z。求薄膜质量。

用球面参数化:

r(ϕ,θ)=⟨2sin⁡ϕcos⁡θ,2sin⁡ϕsin⁡θ,2cos⁡ϕ⟩\mathbf r(\phi,\theta) =\langle2\sin\phi\cos\theta, 2\sin\phi\sin\theta, 2\cos\phi\rangler(ϕ,θ)=⟨2sinϕcosθ,2sinϕsinθ,2cosϕ⟩

上半球对应

0≤ϕ≤π2,0≤θ≤2π0\le\phi\le\frac{\pi}{2},\qquad 0\le\theta\le2\pi0≤ϕ≤2π​,0≤θ≤2π

半径为 222 的球面面积微元是

dS=4sin⁡ϕ dϕ dθdS=4\sin\phi\,d\phi\,d\thetadS=4sinϕdϕdθ

密度要在参数化后代入:

σ=z=2cos⁡ϕ\sigma=z=2\cos\phiσ=z=2cosϕ

写出质量积分:

M=∫02π∫0π/22cos⁡ϕ⋅4sin⁡ϕ dϕ dθM=\int_0^{2\pi}\int_0^{\pi/2} 2\cos\phi\cdot4\sin\phi\,d\phi\,d\thetaM=∫02π​∫0π/2​2cosϕ⋅4sinϕdϕdθ

计算得到

M=8πM=8\piM=8π

这个结果也符合直觉:密度在赤道降到 000,在北极达到 222,所以质量小于“整张半球都取最大密度”时的 2⋅8π=16π2\cdot8\pi=16\pi2⋅8π=16π。


通量曲面积分:只累计穿过去的部分

现在把标量 fff 换成向量场 F\mathbf FF。如果 F\mathbf FF 表示流体速度,整支向量并不都会穿过曲面:沿曲面滑过去的切向分量没有穿透效果,只有法向分量需要累计。

选定单位法向量 n\mathbf nn 后,局部法向分量是

F⋅n\mathbf F\cdot\mathbf nF⋅n

因此穿过定向曲面 SSS 的通量是

∬SF⋅n dS\iint_S\mathbf F\cdot\mathbf n\,dS∬S​F⋅ndS

通量曲面积分示意图,向量场 F 穿过带有选定法向量 n 的定向曲面,同向贡献为正,反向贡献为负。

向量场与所选法向同向时贡献为正,反向时为负,相切时贡献为零。

若 θ\thetaθ 是 F\mathbf FF 与 n\mathbf nn 的夹角,局部通量密度也可以写成

F⋅n=∥F∥cos⁡θ\mathbf F\cdot\mathbf n =\|\mathbf F\|\cos\thetaF⋅n=∥F∥cosθ

所以通量不是简单的“场强乘面积”。角度决定真正穿过曲面的比例,方向决定符号。

把单位法向量和面积合在一起

如果先求单位法向 n\mathbf nn,再乘 dSdSdS,会先除以叉积长度、随后又乘回来。计算时更直接的写法是把两者合成有方向的面积向量:

dS=n dSd\mathbf S=\mathbf n\,dSdS=ndS

在参数化下,如果 ru×rv\mathbf r_u\times\mathbf r_vru​×rv​ 已朝正方向,那么

dS=(ru×rv) du dvd\mathbf S =(\mathbf r_u\times\mathbf r_v)\,du\,dvdS=(ru​×rv​)dudv

通量公式于是变成

∬SF⋅n dS=∬DF(r(u,v))⋅(ru×rv) du dv\iint_S\mathbf F\cdot\mathbf n\,dS =\iint_D \mathbf F(\mathbf r(u,v)) \cdot(\mathbf r_u\times\mathbf r_v)\,du\,dv∬S​F⋅ndS=∬D​F(r(u,v))⋅(ru​×rv​)dudv

这个公式里不需要把叉积单位化。叉积的长度已经负责面积,方向已经负责定向,再除一次长度反而会把面积因子弄丢。

标量曲面积分用 ∥ru×rv∥\|\mathbf r_u\times\mathbf r_v\|∥ru​×rv​∥,通量积分用有方向的 ru×rv\mathbf r_u\times\mathbf r_vru​×rv​。一个取长度,一个保留向量。把这两种写法混用,是曲面积分里最常见的结构性错误。

图形曲面的通量公式

对于 z=g(x,y)z=g(x,y)z=g(x,y),向上的面积向量是

dS=⟨−gx,−gy,1⟩ dx dyd\mathbf S =\langle-g_x,-g_y,1\rangle\,dx\,dydS=⟨−gx​,−gy​,1⟩dxdy

若

F=⟨P,Q,R⟩\mathbf F=\langle P,Q,R\rangleF=⟨P,Q,R⟩

那么向上通量可以直接写成

∬SF⋅n dS=∬D(−Pgx−Qgy+R) dx dy\iint_S\mathbf F\cdot\mathbf n\,dS =\iint_D \left(-Pg_x-Qg_y+R\right)\,dx\,dy∬S​F⋅ndS=∬D​(−Pgx​−Qgy​+R)dxdy

这里的 P,Q,RP,Q,RP,Q,R 都要在 z=g(x,y)z=g(x,y)z=g(x,y) 上取值。若题目要求向下方向,整个积分前面乘 −1-1−1。

你也可以从单位法向和面积微元看出为什么平方根消失:

n=⟨−gx,−gy,1⟩1+gx2+gy2\mathbf n =\frac{\langle-g_x,-g_y,1\rangle} {\sqrt{1+g_x^2+g_y^2}}n=1+gx2​+gy2​​⟨−gx​,−gy​,1⟩​

而

dS=1+gx2+gy2 dx dydS=\sqrt{1+g_x^2+g_y^2}\,dx\,dydS=1+gx2​+gy2​​dxdy

两者相乘,平方根正好约掉。

投影公式与隐式曲面

若 dAdAdA 是曲面小片在 xyxyxy 平面上的投影面积,k\mathbf kk 是向上的单位向量,那么

dA=∣n⋅k∣ dSdA=|\mathbf n\cdot\mathbf k|\,dSdA=∣n⋅k∣dS

也就是

dS=dA∣n⋅k∣dS=\frac{dA}{|\mathbf n\cdot\mathbf k|}dS=∣n⋅k∣dA​

曲面越接近竖直,投影越被压扁,分母越接近 000。这时不该勉强投影到 xyxyxy 平面,而应改投影到 yzyzyz 或 xzxzxz 平面。

如果曲面以隐式方程

G(x,y,z)=cG(x,y,z)=cG(x,y,z)=c

给出,且 ∇G≠0\nabla G\ne\mathbf 0∇G=0,那么梯度 ∇G\nabla G∇G 与曲面垂直。单位法向可以取

n=±∇G∥∇G∥\mathbf n=\pm\frac{\nabla G}{\|\nabla G\|}n=±∥∇G∥∇G​

正负号仍要根据“向外、向内、向上、向下”判断。这个公式适合快速找方向;真正积分时,还要配合合适的参数化或投影面积微元。

例题:圆柱侧面的外向通量

设 SSS 是圆柱侧面

x2+y2=a2,0≤z≤hx^2+y^2=a^2,\qquad 0\le z\le hx2+y2=a2,0≤z≤h

取外向方向。求向量场

F=⟨x,y,0⟩\mathbf F=\langle x,y,0\rangleF=⟨x,y,0⟩

穿过 SSS 的通量。

参数化圆柱侧面:

r(θ,z)=⟨acos⁡θ,asin⁡θ,z⟩,0≤θ≤2π,0≤z≤h\mathbf r(\theta,z) =\langle a\cos\theta,a\sin\theta,z\rangle,\qquad 0\le\theta\le2\pi,\quad0\le z\le hr(θ,z)=⟨acosθ,asinθ,z⟩,0≤θ≤2π,0≤z≤h

计算切向量:

rθ=⟨−asin⁡θ,acos⁡θ,0⟩\mathbf r_\theta =\langle-a\sin\theta,a\cos\theta,0\ranglerθ​=⟨−asinθ,acosθ,0⟩rz=⟨0,0,1⟩\mathbf r_z=\langle0,0,1\ranglerz​=⟨0,0,1⟩

按这个顺序做叉积:

rθ×rz=⟨acos⁡θ,asin⁡θ,0⟩\mathbf r_\theta\times\mathbf r_z =\langle a\cos\theta,a\sin\theta,0\ranglerθ​×rz​=⟨acosθ,asinθ,0⟩

它的水平部分远离 zzz 轴,所以方向确实向外。

把向量场代入曲面:

F(r(θ,z))=⟨acos⁡θ,asin⁡θ,0⟩\mathbf F(\mathbf r(\theta,z)) =\langle a\cos\theta,a\sin\theta,0\rangleF(r(θ,z))=⟨acosθ,asinθ,0⟩

点积为

F(r)⋅(rθ×rz)=a2\mathbf F(\mathbf r) \cdot(\mathbf r_\theta\times\mathbf r_z) =a^2F(r)⋅(rθ​×rz​)=a2

积分得到

∬SF⋅n dS=∫0h∫02πa2 dθ dz=2πa2h\iint_S\mathbf F\cdot\mathbf n\,dS =\int_0^h\int_0^{2\pi}a^2\,d\theta\,dz =2\pi a^2h∬S​F⋅ndS=∫0h​∫02π​a2dθdz=2πa2h

结果为正,符合这个向量场从轴线向外散开的直觉。

一个很有用的“雨水检查”

考虑平面 z=x+2yz=x+2yz=x+2y 上方的一片曲面,取向上方向,向量场是竖直向上的

F=k\mathbf F=\mathbf kF=k

向上面积向量为

dS=⟨−1,−2,1⟩ dx dyd\mathbf S=\langle-1,-2,1\rangle\,dx\,dydS=⟨−1,−2,1⟩dxdy

所以

F⋅dS=dx dy\mathbf F\cdot d\mathbf S=dx\,dyF⋅dS=dxdy

虽然斜屋顶的真实面积比地面投影大,但同一场竖直雨水穿过屋顶和穿过它的水平投影,通量相同。屋顶变斜时,面积变大,法向投影却按相同比例变小,两种效应正好抵消。这是检查图形曲面通量公式的好直觉。


分片曲面与完整计算流程

很多题目的曲面并不是一张光滑参数片,而是几片曲面拼起来的。封闭圆柱包括侧面、顶面和底面;圆锥体边界包括锥面和底圆盘。积分对分片相加:

∬S(⋯ )=∑j∬Sj(⋯ )\iint_S(\cdots) =\sum_j\iint_{S_j}(\cdots)∬S​(⋯)=j∑​∬Sj​​(⋯)

但每一片都要使用自己的参数范围和正确方向。对于闭曲面的外向定向,顶面向上、底面向下、侧面向外,不能给三片都机械地使用“向上”。

一套不容易漏项的步骤

先确认曲面究竟是哪一片。把边界、卦限、截平面写出来,并检查题目说的是“侧面”还是“整个封闭表面”。

选择参数化和参数域。检查参数是否覆盖完整、是否重复覆盖;球面、圆柱面和圆锥面尤其要写清角度范围。

计算 ru,rv\mathbf r_u,\mathbf r_vru​,rv​ 和叉积。若只做标量曲面积分,取叉积长度;若做通量,先用几何测试确认叉积方向。

把曲面上的 x,y,zx,y,zx,y,z 全部换成参数。最后的二重积分中,不应无缘无故同时残留 x,y,z,u,vx,y,z,u,vx,y,z,u,v 五套变量。

代入正确的面积因子并积分。分片曲面要逐片计算,再把结果相加。

做结果检查。面积以及非负密度的质量应非负;通量可以为正、负或零,但翻转法向后必须整体变号。单位也应匹配:面密度乘面积得到质量,速度乘面积得到体积流率。


容易出错的地方

曲面积分的大多数错误都不是最后一步积分算错,而是在“面积、方向、参数范围”之间选错了对象。下面这张图把三项检查放在一起:标量积分取叉积长度,通量积分保留法向方向,参数域则必须把目标曲面完整覆盖一次。

曲面积分三项检查:标量曲面积分使用叉积的长度而不看朝向;通量积分保留法向方向,法向翻转后结果变号;参数范围必须完整且只覆盖曲面一次。

先分清积分类型,再核对法向和参数范围,能挡住大多数结构性错误。

把投影面积当成曲面面积

看到 dx dydx\,dydxdy 就直接积分,会漏掉倾斜带来的面积放大。图形曲面要乘

1+gx2+gy2\sqrt{1+g_x^2+g_y^2}1+gx2​+gy2​​

一般参数曲面要乘

∥ru×rv∥\|\mathbf r_u\times\mathbf r_v\|∥ru​×rv​∥

通量公式里重复单位化

若使用

F⋅(ru×rv) du dv\mathbf F\cdot(\mathbf r_u\times\mathbf r_v)\,du\,dvF⋅(ru​×rv​)dudv

就已经同时包含方向和面积,不能再把叉积除以自己的长度。若使用 F⋅n dS\mathbf F\cdot\mathbf n\,dSF⋅ndS,则 n\mathbf nn 必须是单位法向,dSdSdS 也不能省略。这两条路线任选一条,别拼成第三条。

只算出叉积,不检查朝向

叉积顺序一换,通量就变号。计算后至少做一次方向测试:向上看 zzz 分量,向外看是否远离轴线或内部测试点。

参数域写得漂亮,却不是题目的边界

参数范围来自曲面片的真实边界,不是来自参数公式看起来方便的范围。遇到“在某平面下方”“第一卦限内”“被某圆柱截住”,要把边界条件代入参数化,再解出 u,vu,vu,v 的范围。

用图形公式包办整张球面

球面不能整体写成单值函数 z=g(x,y)z=g(x,y)z=g(x,y)。正平方根只给上半球,负平方根只给下半球。若要整球,可以上下分片,也可以直接使用球面参数化。

忘记参数化重复覆盖

同一片曲面被扫两遍,积分通常就会翻倍。角度范围写成 000 到 4π4\pi4π 是最常见的例子。接缝上的重复没有面积,但整片重复有。

把“侧面”误当“封闭表面”

圆柱侧面不含两个圆盘,锥面也不自动包含底面。画一个简单剖面,通常能立刻发现少算或多算了哪一片。


练习

练习一:平面片面积

设平面片由

r(u,v)=⟨u,v,2u−v⟩,0≤u≤1,0≤v≤2\mathbf r(u,v)=\langle u,v,2u-v\rangle,\qquad 0\le u\le1,\quad0\le v\le2r(u,v)=⟨u,v,2u−v⟩,0≤u≤1,0≤v≤2

给出。求它的面积。

两条切向量是

ru=⟨1,0,2⟩,rv=⟨0,1,−1⟩\mathbf r_u=\langle1,0,2\rangle,\qquad \mathbf r_v=\langle0,1,-1\rangleru​=⟨1,0,2⟩,rv​=⟨0,1,−1⟩

叉积为

ru×rv=⟨−2,1,1⟩\mathbf r_u\times\mathbf r_v =\langle-2,1,1\rangleru​×rv​=⟨−2,1,1⟩

所以面积因子是

∥ru×rv∥=6\|\mathbf r_u\times\mathbf r_v\|=\sqrt6∥ru​×rv​∥=6​

参数域是面积为 222 的矩形,因此

A=∫01∫026 dv du=26A=\int_0^1\int_0^2\sqrt6\,dv\,du =2\sqrt6A=∫01​∫02​6​dvdu=26​

练习二:圆柱薄膜质量

圆柱侧面

x2+y2=9,0≤z≤4x^2+y^2=9,\qquad0\le z\le4x2+y2=9,0≤z≤4

上的面密度为 σ(x,y,z)=z\sigma(x,y,z)=zσ(x,y,z)=z。求薄膜质量。

取参数化

r(θ,z)=⟨3cos⁡θ,3sin⁡θ,z⟩,0≤θ≤2π,0≤z≤4\mathbf r(\theta,z) =\langle3\cos\theta,3\sin\theta,z\rangle,\qquad 0\le\theta\le2\pi,\quad0\le z\le4r(θ,z)=⟨3cosθ,3sinθ,z⟩,0≤θ≤2π,0≤z≤4

圆柱侧面的面积因子是 333,所以

dS=3 dθ dzdS=3\,d\theta\,dzdS=3dθdz

密度在参数化后仍为 zzz。质量为

M=∫02π∫043z dz dθM=\int_0^{2\pi}\int_0^4 3z\,dz\,d\thetaM=∫02π​∫04​3zdzdθ

先对 zzz 积分:

∫043z dz=24\int_0^4 3z\,dz=24∫04​3zdz=24

再绕一周,得到

M=48πM=48\piM=48π

练习三:图形曲面的向上通量

设 SSS 是抛物面

z=4−x2−y2z=4-x^2-y^2z=4−x2−y2

在 z≥0z\ge0z≥0 的部分,取向上方向。求常向量场

F=⟨0,0,1⟩\mathbf F=\langle0,0,1\rangleF=⟨0,0,1⟩

穿过 SSS 的通量。

令 g(x,y)=4−x2−y2g(x,y)=4-x^2-y^2g(x,y)=4−x2−y2。向上的面积向量是

dS=⟨−gx,−gy,1⟩ dx dy=⟨2x,2y,1⟩ dx dyd\mathbf S =\langle-g_x,-g_y,1\rangle\,dx\,dy =\langle2x,2y,1\rangle\,dx\,dydS=⟨−gx​,−gy​,1⟩dxdy=⟨2x,2y,1⟩dxdy

与 F\mathbf FF 点积后只剩

F⋅dS=1 dx dy\mathbf F\cdot d\mathbf S=1\,dx\,dyF⋅dS=1dxdy

边界 z=0z=0z=0 给出 x2+y2=4x^2+y^2=4x2+y2=4,所以投影是半径为 222 的圆盘。通量为

∬x2+y2≤41 dx dy=4π\iint_{x^2+y^2\le4}1\,dx\,dy=4\pi∬x2+y2≤4​1dxdy=4π

若改取向下方向,答案就是 −4π-4\pi−4π。

练习四:球面的外向通量

求向量场

F=⟨x,y,z⟩\mathbf F=\langle x,y,z\rangleF=⟨x,y,z⟩

穿过半径为 aaa、中心在原点的球面的外向通量。

球面外向单位法向量就是径向单位向量:

n=1a⟨x,y,z⟩\mathbf n=\frac1a\langle x,y,z\ranglen=a1​⟨x,y,z⟩

在球面上 x2+y2+z2=a2x^2+y^2+z^2=a^2x2+y2+z2=a2,所以

F⋅n=x2+y2+z2a=a\mathbf F\cdot\mathbf n =\frac{x^2+y^2+z^2}{a}=aF⋅n=ax2+y2+z2​=a

这个法向分量在整张球面上是常数。球面面积为 4πa24\pi a^24πa2,因此

∬SF⋅n dS=a⋅4πa2=4πa3\iint_S\mathbf F\cdot\mathbf n\,dS =a\cdot4\pi a^2 =4\pi a^3∬S​F⋅ndS=a⋅4πa2=4πa3

练习五:直接推出球面面积

用球面参数化证明半径为 RRR 的球面面积是 4πR24\pi R^24πR2。

使用

r(ϕ,θ)=⟨Rsin⁡ϕcos⁡θ,Rsin⁡ϕsin⁡θ,Rcos⁡ϕ⟩\mathbf r(\phi,\theta) =\langle R\sin\phi\cos\theta, R\sin\phi\sin\theta, R\cos\phi\rangler(ϕ,θ)=⟨Rsinϕcosθ,Rsinϕsinθ,Rcosϕ⟩

参数范围是

0≤ϕ≤π,0≤θ≤2π0\le\phi\le\pi,\qquad0\le\theta\le2\pi0≤ϕ≤π,0≤θ≤2π

面积因子为

∥rϕ×rθ∥=R2sin⁡ϕ\|\mathbf r_\phi\times\mathbf r_\theta\| =R^2\sin\phi∥rϕ​×rθ​∥=R2sinϕ

所以

Area⁡(S)=∫02π∫0πR2sin⁡ϕ dϕ dθ\operatorname{Area}(S) =\int_0^{2\pi}\int_0^\pi R^2\sin\phi\,d\phi\,d\thetaArea(S)=∫02π​∫0π​R2sinϕdϕdθ

内层积分为 2R22R^22R2,外层再乘 2π2\pi2π,得到

Area⁡(S)=4πR2\operatorname{Area}(S)=4\pi R^2Area(S)=4πR2

练习六:识别重复覆盖

有人用

r(θ,z)=⟨2cos⁡θ,2sin⁡θ,z⟩,0≤θ≤4π,0≤z≤3\mathbf r(\theta,z) =\langle2\cos\theta,2\sin\theta,z\rangle,\qquad 0\le\theta\le4\pi,\quad0\le z\le3r(θ,z)=⟨2cosθ,2sinθ,z⟩,0≤θ≤4π,0≤z≤3

计算半径为 222、高为 333 的圆柱侧面积,得到 24π24\pi24π。错在哪里?正确答案是多少?

这个参数化的公式本身没错,问题出在角度范围。0≤θ≤2π0\le\theta\le2\pi0≤θ≤2π 已经绕圆柱一周;继续到 4π4\pi4π 会把同一片侧面完整扫第二遍,所以积分结果翻倍。

正确取值范围应为

0≤θ≤2π,0≤z≤30\le\theta\le2\pi,\qquad0\le z\le30≤θ≤2π,0≤z≤3

圆柱侧面的面积微元是

dS=2 dθ dzdS=2\,d\theta\,dzdS=2dθdz

因此

A=∫03∫02π2 dθ dz=12πA=\int_0^3\int_0^{2\pi}2\,d\theta\,dz =12\piA=∫03​∫02π​2dθdz=12π

练习七:封闭圆柱要分三片

设 SSS 是半径为 aaa、高度为 hhh 的封闭圆柱表面,包括侧面、顶面和底面,取外向方向。求

F=⟨x,y,z⟩\mathbf F=\langle x,y,z\rangleF=⟨x,y,z⟩

穿过 SSS 的总通量。

先算侧面。沿用圆柱参数化,外向面积向量为

dS=⟨acos⁡θ,asin⁡θ,0⟩ dθ dzd\mathbf S =\langle a\cos\theta,a\sin\theta,0\rangle\,d\theta\,dzdS=⟨acosθ,asinθ,0⟩dθdz

曲面上的向量场是

F=⟨acos⁡θ,asin⁡θ,z⟩\mathbf F =\langle a\cos\theta,a\sin\theta,z\rangleF=⟨acosθ,asinθ,z⟩

点积为 a2a^2a2,所以侧面通量是

Φ侧=2πa2h\Phi_{\text{侧}}=2\pi a^2hΦ侧​=2πa2h

顶面位于 z=hz=hz=h,外向法向量是 k\mathbf kk。这里

F⋅k=h\mathbf F\cdot\mathbf k=hF⋅k=h

顶面面积为 πa2\pi a^2πa2,所以

Φ顶=πa2h\Phi_{\text{顶}}=\pi a^2hΦ顶​=πa2h

底面位于 z=0z=0z=0,外向法向量是 −k-\mathbf k−k。因为向量场的 zzz 分量在底面为 000,所以

Φ底=0\Phi_{\text{底}}=0Φ底​=0

三片相加:

ΦS=2πa2h+πa2h=3πa2h\Phi_S =2\pi a^2h+\pi a^2h =3\pi a^2hΦS​=2πa2h+πa2h=3πa2h

从一张曲面走向空间中的源与旋转

走到这里,我们已经把平面上的“切小块再求和”搬到了弯曲面上。参数化给每个曲面点一张地址,ru\mathbf r_uru​ 和 rv\mathbf r_vrv​ 给出两条局部切向,叉积则一次解决面积与方向:

dS=∥ru×rv∥ du dvdS=\|\mathbf r_u\times\mathbf r_v\|\,du\,dvdS=∥ru​×rv​∥dudv dS=(ru×rv) du dvd\mathbf S=(\mathbf r_u\times\mathbf r_v)\,du\,dvdS=(ru​×rv​)dudv

第一条支持面积、质量和平均值,第二条支持有方向的通量。

Green 定理在平面里把边界上的信息压缩到区域内部。到了三维,这条路会分成两个方向:封闭曲面上的总通量将和内部的散度相连,边界曲线上的环流将和曲面上的旋度相连。曲面积分正是这两座空间定理共同需要的语言。

下一步我们会问一个更强的问题:既然逐片计算闭曲面通量这么麻烦,能不能只看内部每一点“产生或吸收流量”的强弱,就直接得到整个边界的净流出?散度给出局部答案,散度定理把这些局部答案一次加完。

上一章Green 定理:平面区域的边界与内部下一章散度、旋度与三维向量场