一般形式
三维空间中,沿给定曲面对向量场进行积分,评估向量场的法向分量穿过曲面的流量。解决流量分布不均匀的流体在有向曲面上流过的体积. 这是最一般的表达形式,适用于任何形状的曲面和任意向量场
∮SF⋅dS
- F 是向量场
- dS 是微元的法向量,一般会规定微元的正方向。
通过向量场F(u,v) 在微元dS 处的法向量点乘结果进行积分. 为此需要先计算微元dS 处的法向量.
dS=(∂u∂r×∂v∂r)dudv
根据不同坐标系, 微元有不同形式, 下面总结三维直角坐标系、柱面坐标系和球面坐标系下,曲面积分微元 dS 的不同形式
1. 三维直角坐标系
在三维直角坐标系下,曲面微元 dS 的计算基于曲面的参数化形式 r(x,y),其中 x,y 是曲面的参数。
2. 柱面坐标系
在柱面坐标系中,位置由 r,θ,z 描述。如果考虑一个侧面,其参数化形式可以是 r(θ,z)=(rcosθ,rsinθ,z)。
- 微元 dS:
dS=(∂θ∂r×∂z∂r)dθdz=(rcosθ,rsinθ,0)rdθdz
这里 r 是常数(对于一个特定的圆柱侧面),dθdz 表示参数空间的面积元。
3. 球面坐标系
球面坐标系下,位置由 r,θ,ϕ 描述。曲面 r(θ,ϕ)=(rsinϕcosθ,rsinϕsinθ,rcosϕ) 通常用来描述球面。
- 微元 dS:
dS=(∂θ∂r×∂ϕ∂r)dθdϕ=(rsinϕcosθ,rsinϕsinθ,rcosϕ)r2sinϕdθdϕ
这里 r 是球体的半径,sinϕdθdϕ 表示参数空间的面积元。
计算
参数化形式
- 选择合适的参数 u,v 表示曲面 S: r(u,v)。
- 计算偏导数 ∂u∂r 和 ∂v∂r,求得 dS:
dS=(∂u∂r×∂v∂r)dudv
上式中叉积结果的方向为曲面的法向方向,大小等于曲面面积元素。 - 计算面积分:
∬SF⋅dS=∬TF(r(u,v))⋅(∂u∂r×∂v∂r)dudv
其中 T 为曲面参数 (u,v) 的区域。
直角坐标分量形式
三维空间中, 向量场F=(P,Q,R) (PQR分别是x,y,z三个直角坐标系方向的分量) 穿过有向曲面的流量Φ 表示为以下形式:
Φ(x,y,z)=∬P(x,y,z)dydz+Q(x,y,z)dxdz+R(x,y,z)dxdy
分量形式是特别为直角坐标系定制的,为了简化特定情况下的积分计算, 不具有一般性. 这是同济教材给出的形式,仅适用于直角坐标系。此形式对应分量形式的曲面积分,计算时需注意每个分量的积分元素不同。
计算步骤
设曲面 S 由参数方程 r(u,v) 给出,向量场为 F。
- 求切向量 ∂u∂r 和 ∂v∂r。
- 计算法向量 n=∂u∂r×∂v∂r(注意方向)。
- 代入向量场表达式,计算 F(r(u,v))。
- 计算面积分,转化为二重积分:
∬SF⋅dS=∬TF⋅(ru×rv)dudv
示例
令 S 为圆柱 x2+z2=1 的侧面,0≤y≤4。向量场 F=xi+2yj+10zk。求
∬SF⋅dS,
其中法向量规定为"向外",即横向指向圆柱外侧。
参数化
用 θ 表示绕圆柱的角度、y 表示高度:
r(θ,y)=(cosθ,y,sinθ),0≤θ≤2π,0≤y≤4.
求叉积
∂θ∂r=(−sinθ,0,cosθ),∂y∂r=(0,1,0).
∂θ∂r×∂y∂r=i−sinθ0j01kcosθ0=(−cosθ)i−sinθk.
这就是 dS 的方向部分(未乘 dθdy)。若此方向正好是圆柱外侧,可直接用;若相反,则需取负号。
在圆柱上,向外的法向量往往是 (cosθ,0,sinθ)。
这里我们得到 (−cosθ,0,−sinθ),它与外侧方向相差负号。
因此若要求指向外侧,可以令
dS=(cosθi+sinθk)dθdy
(即把上面结果乘以 −1)。
或者你也可以保持现有结果,再在积分里多加个负号。关键是方向必须和外侧吻合。
向量场在参数下的表达
F(r(θ,y))=(cosθ)i+2yj+10(sinθ)k.
点乘并积分
F⋅dS=(cosθi+2yj+10sinθk)⋅(cosθi+sinθk)dθdy.
=(cos2θ+10sin2θ)dθdy(此处 2y⋅0=0).
积分域:θ∈[0,2π],y∈[0,4]。
因此
∬SF⋅dS=∫04∫02π(cos2θ+10sin2θ)dθdy.
- ∫02πcos2θdθ=π.
- ∫02πsin2θdθ=π.
所以
∫02π(cos2θ+10sin2θ)dθ=π+10π=11π.
再乘以 ∫04dy=4,
∬SF⋅dS=4⋅11π=44π.
应用
散度定理(Gauss / Ostrogradsky)
将封闭曲面上的通量(面积分)转化为该曲面所包围体积上的体积分
∬SF⋅dS=∭V∇⋅FdV.
在求封闭曲面的通量时非常实用。
曲线-曲面对偶(Stokes定理等)
在更高阶讨论时,也会出现类似的线积分与面积分之间的对偶关系,但那主要用于旋度/环流等,超出本笔记范围。
各向量微分方程(流体力学、电磁学)
在数学物理中,很多方程包含∇⋅F 或 F⋅n 等项,曲面积分公式是深入理解这些方程的重要工具。