曲面参数化与曲面积分
上一章的 Green 定理把平面区域内部的变化和边界上的线积分连了起来。不过那里的区域一直平躺在 xy 平面中,小矩形的面积就是 ΔxΔy。现在我们要把这块区域抬起来:它可能弯成碗、卷成圆柱,也可能闭合成球面。
麻烦就在这里出现了。平面小方格不能原封不动地铺到弯曲面上。同样大小的方格,贴到平缓处和陡峭处,得到的真实面积并不一样;如果要计算向量场穿过曲面的通量,我们还得知道每个小曲面片朝哪一边。
这两个问题——“小片有多大”和“小片朝哪里”——最后会由同一个向量回答:两条参数切向量的叉积。本章会从这个几何事实出发,把曲面面积、薄膜质量和通量统一成参数平面上的二重积分。等这一步搭好,下一章才能把平面里的 Green 定理推向空间中的散度与旋度。
从参数曲线走到参数曲面
先回想参数曲线。一个参数 t 每取一个值,位置向量
c(t)=⟨x(t),y(t),z(t)⟩
就在空间中给出一个点。让 t 连续变化,点便描出一条曲线;导数 c′(t) 告诉我们曲线在这一点的切向。
曲面比曲线多一个自由方向,所以一个参数不够。我们让两个参数 u,v 一起工作:
r(u,v)=⟨x(u,v),y(u,v),z(u,v)⟩,(u,v)∈D
D 是 uv 平面中的参数域。每一对 (u,v) 都是一张“地址”,r 把这张地址送到空间中的一点。参数域中的横线、竖线也会一起被送上去,变成曲面上的两族参数曲线。

参数域负责给地址,参数化负责把地址贴到曲面上。小矩形到了曲面上,通常会被拉伸和倾斜。
一个参数固定,另一个参数移动
固定 v=v0,只让 u 变化,我们得到曲面上的一条曲线
r(u,v0)
它在 (u0,v0) 处的切向量是
ru(u0,v0)
反过来,固定 u=u0,只让 v 变化,另一条参数曲线的切向量是
rv(u0,v0)
所以 ru 和 rv 不是凭空冒出来的符号。它们分别回答:“只沿参数网格的 u 方向走,空间位置怎样变化?”以及“只沿 v 方向走,空间位置怎样变化?”
下面的交互会把参数域中的点和小矩形同步送到空间曲面上。先在平面上移动点,再切换到抛物面和鞍面;留意左侧小矩形大小没变时,右侧小片的形状为什么会变。
参数范围和“覆盖一次”
只写 r(u,v) 还不算完整参数化,参数范围同样是曲面的一部分。例如半径为 R、高度从 0 到 h 的圆柱侧面可以写成
r(θ,z)=⟨Rcosθ,Rsinθ,z⟩,0≤θ≤2π,0≤z≤h
角度从 0 转到 2π,圆柱刚好绕一周。若误写成 0≤θ≤4π,同一块侧面会被扫两遍,积分也会被算两遍。
像 θ=0 和 θ=2π 这样只在接缝上重复,通常不影响积分,因为一条接缝在曲面中没有面积。球面参数化的南北极也会出现多组角度指向同一点,这类孤立或边界上的退化同样可以通过极限处理。真正要警惕的是一整片参数域重复覆盖同一片曲面。
参数化不要求唯一,但要把“公式、参数范围、覆盖哪一片曲面”三件事一起说清楚。换一套不重复覆盖的参数,标量曲面积分不会改变;通量积分还要保证两套参数选出的法向方向一致。
为什么面积微元一定会出现叉积
参数域里有一个边长为 Δu 和 Δv 的小矩形。若我们粗暴地把它的面积 ΔuΔv 当成曲面小片面积,就等于假设参数化从不拉伸、从不倾斜。这几乎只在最简单的平面上成立。
正确做法是先看小矩形的两条边被送到了哪里。由线性近似,沿 u 方向的小位移满足
r(u+Δu,v)−r(u,v)≈ru(u,v)Δu
沿 v 方向的小位移满足
r(u,v+Δv)−r(u,v)≈rv(u,v)Δv
曲面虽然弯,但把镜头拉到足够近,它会像自己的切平面。因此这块小曲面片可以近似成由
ruΔu,rvΔv
张成的小平行四边形。
叉积的长度正好是平行四边形面积。于是
ΔS≈∥ru×rv∥ΔuΔv
让参数小矩形不断缩小,就得到曲面面积微元
dS=∥ru×rv∥dudv

叉积长度给面积,叉积方向给法向。曲面积分后面的两条主线都从这里出发。
面积放大因子
把
JS(u,v)=∥ru×rv∥
单独拿出来看,它就是参数化的局部面积放大因子。参数域里面积为 dudv 的小块,到了曲面上约变成 JSdudv。
如果 JS=2,曲面小片的面积约是参数小矩形的两倍;如果 JS 随位置变化,同样大小的参数小矩形在不同位置会铺出不同面积。若
ru×rv=0
两条参数方向局部挤成了同一条线,参数网格失去了二维面积。除允许的接缝或极点外,我们通常要求参数化是正则的,也就是叉积不为零。
dudv 是参数域里的面积,dS 才是空间曲面上的真实面积。不能因为曲面积分最后写成二重积分,就把这两个面积微元当成同一个东西。
例题:抛物面片的面积
求抛物面
z=x2+y2
在圆盘 x2+y2≤1 上方那一片的面积。
边界是圆,用半径和角度做参数最自然。令
r(s,θ)=⟨scosθ,ssinθ,s2⟩,0≤s≤1,0≤θ≤2π这里用 s 表示半径参数,避免和参数化符号 r 混淆。
两条参数切向量是
rs=⟨cosθ,sinθ,2s⟩rθ=⟨−ssinθ,scosθ,0⟩叉积为
rs×rθ=⟨−2s2cosθ,−2s2sinθ,s⟩因而
∥rs×rθ∥=s1+4s2参数域中心 s=0 会让叉积为零,但它只对应曲面上的一个点,不影响面积积分。
曲面面积是
A=∫02π∫01s1+4s2dsdθ内层令 w=1+4s2,得到
A=6π(53/2−1)
最后可以做一个量级检查。抛物面片在 xy 平面上的投影面积是 π,而曲面是倾斜的,所以真实面积应该大于 π;上面的结果确实满足这一点。
常见曲面怎样选参数
参数化最考验的往往不是求导,而是选参数。一个好选择会让边界、面积因子和法向方向都变得清楚。先看曲面本身怎样生成,再决定用哪两个量当地址。

平面片适合用两个方向参数,圆柱面适合用角度与高度,球面适合用两个角度。
图形曲面
如果曲面已经写成
z=g(x,y)
最省事的参数化就是直接把 x,y 当参数:
r(x,y)=⟨x,y,g(x,y)⟩,(x,y)∈R
这时
rx=⟨1,0,gx⟩,ry=⟨0,1,gy⟩
按这个顺序做叉积,得到向上的法向量
rx×ry=⟨−gx,−gy,1⟩
所以图形曲面的面积微元是
dS=1+gx2+gy2dxdy
这个平方根很好理解。若 gx=gy=0,曲面局部水平,dS=dxdy;斜率越大,同一块投影对应的真实曲面面积越大。
有时曲面更适合写成 x=h(y,z) 或 y=h(x,z)。不要硬把所有曲面都解成 z=g(x,y)。只要改用另一个坐标平面做投影,同样的推导仍然成立。
平面片
已知平面上一点 p 和平面内两个不平行方向 a,b,可以写成
r(u,v)=p+ua+vb
因为
ru=a,rv=b
所以面积微元是常数
dS=∥a×b∥dudv
参数域若是矩形,就得到平行四边形平面片;参数域若是三角形,就得到三角形平面片。
圆柱面与圆锥面
半径为 R 的圆柱侧面用角度和高度参数化:
r(θ,z)=⟨Rcosθ,Rsinθ,z⟩
如果先取 rθ×rz,会得到
rθ×rz=⟨Rcosθ,Rsinθ,0⟩
它恰好指向圆柱外侧,长度为 R,因此
dS=Rdθdz
上半圆锥 z=cs 可以写成
r(s,θ)=⟨scosθ,ssinθ,cs⟩
其中 s 是到 z 轴的水平距离。直接计算可得
dS=s1+c2dsdθ
这里的 s 和极坐标面积微元中的半径因子来自同一个事实:绕轴方向的一小段弧长会随半径增大。
球面
半径为 R 的球面适合用极角 ϕ 和方位角 θ:
r(ϕ,θ)=⟨Rsinϕcosθ,Rsinϕsinθ,Rcosϕ⟩
其中 ϕ 从正 z 轴向下量,θ 绕 z 轴旋转。整球的范围是
0≤ϕ≤π,0≤θ≤2π
按 rϕ×rθ 的顺序,叉积指向球面外侧,并且
∥rϕ×rθ∥=R2sinϕ
所以
dS=R2sinϕdϕdθ
sinϕ 不是多余的装饰。靠近极点时,经线挤在一起,同样的角度小矩形只对应很窄的球面片;到赤道时,经线分得最开,面积因子最大。
旋转曲面
把平面曲线 y=q(x) 绕 x 轴旋转,参数化可以写成
r(x,θ)=⟨x,q(x)cosθ,q(x)sinθ⟩
若 q(x)≥0,计算叉积长度得到
dS=q(x)1+[q′(x)]2dxdθ
再把 θ 从 0 积到 2π,就出现熟悉的“周长乘斜长”结构:
dS一圈=2πq(x)1+[q′(x)]2dx
选参数时先看边界怎样写最简单。圆形边界优先考虑角度,柱面优先考虑角度和高度,图形曲面优先考虑投影坐标。参数化不是越特别越好,能让参数域一眼看清通常就是好选择。
例题:第一卦限内的平面片
平面 x+2y+z=4 在第一卦限内截出一个三角形。写出参数化、参数域和面积微元。
先把平面写成图形:
z=4−x−2y用 x,y 当参数,得到
r(x,y)=⟨x,y,4−x−2y⟩第一卦限要求 x≥0、y≥0、z≥0,所以参数域是
D={(x,y):x≥0, y≥0, x+2y≤4}写成累次积分范围可以取
0≤x≤4,0≤y≤24−x计算切向量与叉积:
rx=⟨1,0,−1⟩,ry=⟨0,1,−2⟩rx×ry=⟨1,2,1⟩因而
dS=6dxdy叉积的 z 分量为正,所以这个顺序给出向上的方向。
定向:面积大小之外还要选一面
标量面积只问“小片有多大”,但通量还要问“哪一边算正”。对普通光滑曲面,每一点都有两个相反的单位法向量。选择其中一边,并且让这个选择在曲面上连续变化,就叫给曲面定向。
若参数化已经给出,两个候选法向量来自
ru×rv
和
rv×ru=−(ru×rv)
交换叉积顺序不会改变面积,却会把方向翻转。单位法向量是
n=∥ru×rv∥ru×rv
前提是这个叉积确实朝题目要求的方向。
怎样判断方向
题目常用“向上”“向下”“向外”“向内”指定方向。
对于图形曲面 z=g(x,y),向上的法向量应有正的 z 分量,所以
⟨−gx,−gy,1⟩
天然是向上的;向下就取相反数。
对于圆柱、球面这类包围某个区域的曲面,“向外”可以用一个测试点检查。球面外法向应当和从球心指向曲面点的位置向量同向;圆柱外法向的水平部分应当远离轴线。只看叉积公式的正负而不做几何检查,很容易把整个通量算成相反数。
闭曲面没有边界,并且完整包围一个三维区域。球面、立方体表面、带顶和底的封闭圆柱都是闭曲面。闭曲面的默认正方向通常取向外。只有侧面的圆柱不是闭曲面,因为顶部和底部还敞着。
并非每张曲面都能全局定向。若沿曲面连续移动法向量,绕一圈回来却变成相反方向,就不存在一致的“这一面”。这种曲面仍可以做标量曲面积分,但不能在整个曲面上定义一个连续法向并计算通常意义下的全局通量。
标量曲面积分:把密度铺在弯曲薄膜上
先别急着讨论向量场。假设 f(x,y,z) 是曲面上的一个标量,比如薄膜的面密度。我们把曲面分成许多小片,在第 i 片选一点 Pi,形成近似和
i∑f(Pi)ΔSi
小片越切越细,这个和的极限就是标量曲面积分
∬SfdS
它和一元积分、二重积分仍是同一个套路:局部数值乘局部大小,再把所有小块加起来。变化只在于局部大小现在是曲面面积 dS。
用参数化计算时,把曲面上的点和面积微元都换成 u,v:
∬SfdS=∬Df(r(u,v))∥ru×rv∥dudv

面密度乘真实曲面面积,再对整张薄膜累加,就得到总质量。
面积、质量与平均值
令 f=1,标量曲面积分就是曲面面积:
Area(S)=∬S1dS
若 σ(x,y,z)≥0 是面密度,总质量是
M=∬SσdS
函数 f 在曲面上的平均值是
favg=Area(S)1∬SfdS
还可以用同样的加权思想求质心。例如
xˉ=M1∬SxσdS
yˉ,zˉ 的公式完全类似。
标量曲面积分不需要方向,因为公式中使用的是叉积长度。翻转法向量不会改变 dS。不过若 f 本身允许取负值,积分当然也可能是负数;只有面积以及非负密度对应的质量必定非负。
例题:上半球薄膜的质量
半径为 2 的上半球
x2+y2+z2=4,z≥0
上有面密度 σ(x,y,z)=z。求薄膜质量。
用球面参数化:
r(ϕ,θ)=⟨2sinϕcosθ,2sinϕsinθ,2cosϕ⟩上半球对应
0≤ϕ≤2π,0≤θ≤2π半径为 2 的球面面积微元是
dS=4sinϕdϕdθ密度要在参数化后代入:
σ=z=2cosϕ写出质量积分:
M=∫02π∫0π/22cosϕ⋅4sinϕdϕdθ计算得到
M=8π
这个结果也符合直觉:密度在赤道降到 0,在北极达到 2,所以质量小于“整张半球都取最大密度”时的 2⋅8π=16π。
通量曲面积分:只累计穿过去的部分
现在把标量 f 换成向量场 F。如果 F 表示流体速度,整支向量并不都会穿过曲面:沿曲面滑过去的切向分量没有穿透效果,只有法向分量需要累计。
选定单位法向量 n 后,局部法向分量是
F⋅n
因此穿过定向曲面 S 的通量是
∬SF⋅ndS

向量场与所选法向同向时贡献为正,反向时为负,相切时贡献为零。
若 θ 是 F 与 n 的夹角,局部通量密度也可以写成
F⋅n=∥F∥cosθ
所以通量不是简单的“场强乘面积”。角度决定真正穿过曲面的比例,方向决定符号。
把单位法向量和面积合在一起
如果先求单位法向 n,再乘 dS,会先除以叉积长度、随后又乘回来。计算时更直接的写法是把两者合成有方向的面积向量:
dS=ndS
在参数化下,如果 ru×rv 已朝正方向,那么
dS=(ru×rv)dudv
通量公式于是变成
∬SF⋅ndS=∬DF(r(u,v))⋅(ru×rv)dudv
这个公式里不需要把叉积单位化。叉积的长度已经负责面积,方向已经负责定向,再除一次长度反而会把面积因子弄丢。
标量曲面积分用 ∥ru×rv∥,通量积分用有方向的 ru×rv。一个取长度,一个保留向量。把这两种写法混用,是曲面积分里最常见的结构性错误。
图形曲面的通量公式
对于 z=g(x,y),向上的面积向量是
dS=⟨−gx,−gy,1⟩dxdy
若
F=⟨P,Q,R⟩
那么向上通量可以直接写成
∬SF⋅ndS=∬D(−Pgx−Qgy+R)dxdy
这里的 P,Q,R 都要在 z=g(x,y) 上取值。若题目要求向下方向,整个积分前面乘 −1。
你也可以从单位法向和面积微元看出为什么平方根消失:
n=1+gx2+gy2⟨−gx,−gy,1⟩
而
dS=1+gx2+gy2dxdy
两者相乘,平方根正好约掉。
投影公式与隐式曲面
若 dA 是曲面小片在 xy 平面上的投影面积,k 是向上的单位向量,那么
dA=∣n⋅k∣dS
也就是
dS=∣n⋅k∣dA
曲面越接近竖直,投影越被压扁,分母越接近 0。这时不该勉强投影到 xy 平面,而应改投影到 yz 或 xz 平面。
如果曲面以隐式方程
G(x,y,z)=c
给出,且 ∇G=0,那么梯度 ∇G 与曲面垂直。单位法向可以取
n=±∥∇G∥∇G
正负号仍要根据“向外、向内、向上、向下”判断。这个公式适合快速找方向;真正积分时,还要配合合适的参数化或投影面积微元。
例题:圆柱侧面的外向通量
设 S 是圆柱侧面
x2+y2=a2,0≤z≤h
取外向方向。求向量场
F=⟨x,y,0⟩
穿过 S 的通量。
参数化圆柱侧面:
r(θ,z)=⟨acosθ,asinθ,z⟩,0≤θ≤2π,0≤z≤h计算切向量:
rθ=⟨−asinθ,acosθ,0⟩rz=⟨0,0,1⟩按这个顺序做叉积:
rθ×rz=⟨acosθ,asinθ,0⟩它的水平部分远离 z 轴,所以方向确实向外。
把向量场代入曲面:
F(r(θ,z))=⟨acosθ,asinθ,0⟩点积为
F(r)⋅(rθ×rz)=a2积分得到
∬SF⋅ndS=∫0h∫02πa2dθdz=2πa2h结果为正,符合这个向量场从轴线向外散开的直觉。
一个很有用的“雨水检查”
考虑平面 z=x+2y 上方的一片曲面,取向上方向,向量场是竖直向上的
F=k
向上面积向量为
dS=⟨−1,−2,1⟩dxdy
所以
F⋅dS=dxdy
虽然斜屋顶的真实面积比地面投影大,但同一场竖直雨水穿过屋顶和穿过它的水平投影,通量相同。屋顶变斜时,面积变大,法向投影却按相同比例变小,两种效应正好抵消。这是检查图形曲面通量公式的好直觉。
分片曲面与完整计算流程
很多题目的曲面并不是一张光滑参数片,而是几片曲面拼起来的。封闭圆柱包括侧面、顶面和底面;圆锥体边界包括锥面和底圆盘。积分对分片相加:
∬S(⋯)=j∑∬Sj(⋯)
但每一片都要使用自己的参数范围和正确方向。对于闭曲面的外向定向,顶面向上、底面向下、侧面向外,不能给三片都机械地使用“向上”。
一套不容易漏项的步骤
先确认曲面究竟是哪一片。把边界、卦限、截平面写出来,并检查题目说的是“侧面”还是“整个封闭表面”。
选择参数化和参数域。检查参数是否覆盖完整、是否重复覆盖;球面、圆柱面和圆锥面尤其要写清角度范围。
计算 ru,rv 和叉积。若只做标量曲面积分,取叉积长度;若做通量,先用几何测试确认叉积方向。
把曲面上的 x,y,z 全部换成参数。最后的二重积分中,不应无缘无故同时残留 x,y,z,u,v 五套变量。
代入正确的面积因子并积分。分片曲面要逐片计算,再把结果相加。
做结果检查。面积以及非负密度的质量应非负;通量可以为正、负或零,但翻转法向后必须整体变号。单位也应匹配:面密度乘面积得到质量,速度乘面积得到体积流率。
容易出错的地方
曲面积分的大多数错误都不是最后一步积分算错,而是在“面积、方向、参数范围”之间选错了对象。下面这张图把三项检查放在一起:标量积分取叉积长度,通量积分保留法向方向,参数域则必须把目标曲面完整覆盖一次。

先分清积分类型,再核对法向和参数范围,能挡住大多数结构性错误。
把投影面积当成曲面面积
看到 dxdy 就直接积分,会漏掉倾斜带来的面积放大。图形曲面要乘
1+gx2+gy2
一般参数曲面要乘
∥ru×rv∥
通量公式里重复单位化
若使用
F⋅(ru×rv)dudv
就已经同时包含方向和面积,不能再把叉积除以自己的长度。若使用 F⋅ndS,则 n 必须是单位法向,dS 也不能省略。这两条路线任选一条,别拼成第三条。
只算出叉积,不检查朝向
叉积顺序一换,通量就变号。计算后至少做一次方向测试:向上看 z 分量,向外看是否远离轴线或内部测试点。
参数域写得漂亮,却不是题目的边界
参数范围来自曲面片的真实边界,不是来自参数公式看起来方便的范围。遇到“在某平面下方”“第一卦限内”“被某圆柱截住”,要把边界条件代入参数化,再解出 u,v 的范围。
用图形公式包办整张球面
球面不能整体写成单值函数 z=g(x,y)。正平方根只给上半球,负平方根只给下半球。若要整球,可以上下分片,也可以直接使用球面参数化。
忘记参数化重复覆盖
同一片曲面被扫两遍,积分通常就会翻倍。角度范围写成 0 到 4π 是最常见的例子。接缝上的重复没有面积,但整片重复有。
把“侧面”误当“封闭表面”
圆柱侧面不含两个圆盘,锥面也不自动包含底面。画一个简单剖面,通常能立刻发现少算或多算了哪一片。
练习
练习一:平面片面积
设平面片由
r(u,v)=⟨u,v,2u−v⟩,0≤u≤1,0≤v≤2
给出。求它的面积。
两条切向量是
ru=⟨1,0,2⟩,rv=⟨0,1,−1⟩叉积为
ru×rv=⟨−2,1,1⟩所以面积因子是
∥ru×rv∥=6参数域是面积为 2 的矩形,因此
A=∫01∫026dvdu=26
练习二:圆柱薄膜质量
圆柱侧面
x2+y2=9,0≤z≤4
上的面密度为 σ(x,y,z)=z。求薄膜质量。
取参数化
r(θ,z)=⟨3cosθ,3sinθ,z⟩,0≤θ≤2π,0≤z≤4圆柱侧面的面积因子是 3,所以
dS=3dθdz密度在参数化后仍为 z。质量为
M=∫02π∫043zdzdθ先对 z 积分:
∫043zdz=24再绕一周,得到
M=48π
练习三:图形曲面的向上通量
设 S 是抛物面
z=4−x2−y2
在 z≥0 的部分,取向上方向。求常向量场
F=⟨0,0,1⟩
穿过 S 的通量。
令 g(x,y)=4−x2−y2。向上的面积向量是
dS=⟨−gx,−gy,1⟩dxdy=⟨2x,2y,1⟩dxdy与 F 点积后只剩
F⋅dS=1dxdy边界 z=0 给出 x2+y2=4,所以投影是半径为 2 的圆盘。通量为
∬x2+y2≤41dxdy=4π若改取向下方向,答案就是 −4π。
练习四:球面的外向通量
求向量场
F=⟨x,y,z⟩
穿过半径为 a、中心在原点的球面的外向通量。
球面外向单位法向量就是径向单位向量:
n=a1⟨x,y,z⟩在球面上 x2+y2+z2=a2,所以
F⋅n=ax2+y2+z2=a这个法向分量在整张球面上是常数。球面面积为 4πa2,因此
∬SF⋅ndS=a⋅4πa2=4πa3
练习五:直接推出球面面积
用球面参数化证明半径为 R 的球面面积是 4πR2。
使用
r(ϕ,θ)=⟨Rsinϕcosθ,Rsinϕsinθ,Rcosϕ⟩参数范围是
0≤ϕ≤π,0≤θ≤2π面积因子为
∥rϕ×rθ∥=R2sinϕ所以
Area(S)=∫02π∫0πR2sinϕdϕdθ内层积分为 2R2,外层再乘 2π,得到
Area(S)=4πR2
练习六:识别重复覆盖
有人用
r(θ,z)=⟨2cosθ,2sinθ,z⟩,0≤θ≤4π,0≤z≤3
计算半径为 2、高为 3 的圆柱侧面积,得到 24π。错在哪里?正确答案是多少?
这个参数化的公式本身没错,问题出在角度范围。0≤θ≤2π 已经绕圆柱一周;继续到 4π 会把同一片侧面完整扫第二遍,所以积分结果翻倍。
正确取值范围应为
0≤θ≤2π,0≤z≤3圆柱侧面的面积微元是
dS=2dθdz因此
A=∫03∫02π2dθdz=12π
练习七:封闭圆柱要分三片
设 S 是半径为 a、高度为 h 的封闭圆柱表面,包括侧面、顶面和底面,取外向方向。求
F=⟨x,y,z⟩
穿过 S 的总通量。
先算侧面。沿用圆柱参数化,外向面积向量为
dS=⟨acosθ,asinθ,0⟩dθdz曲面上的向量场是
F=⟨acosθ,asinθ,z⟩点积为 a2,所以侧面通量是
Φ侧=2πa2h顶面位于 z=h,外向法向量是 k。这里
F⋅k=h顶面面积为 πa2,所以
Φ顶=πa2h底面位于 z=0,外向法向量是 −k。因为向量场的 z 分量在底面为 0,所以
Φ底=0三片相加:
ΦS=2πa2h+πa2h=3πa2h
从一张曲面走向空间中的源与旋转
走到这里,我们已经把平面上的“切小块再求和”搬到了弯曲面上。参数化给每个曲面点一张地址,ru 和 rv 给出两条局部切向,叉积则一次解决面积与方向:
dS=∥ru×rv∥dudv
dS=(ru×rv)dudv
第一条支持面积、质量和平均值,第二条支持有方向的通量。
Green 定理在平面里把边界上的信息压缩到区域内部。到了三维,这条路会分成两个方向:封闭曲面上的总通量将和内部的散度相连,边界曲线上的环流将和曲面上的旋度相连。曲面积分正是这两座空间定理共同需要的语言。
下一步我们会问一个更强的问题:既然逐片计算闭曲面通量这么麻烦,能不能只看内部每一点“产生或吸收流量”的强弱,就直接得到整个边界的净流出?散度给出局部答案,散度定理把这些局部答案一次加完。