向量场的曲面积分

一般形式

三维空间中，沿给定曲面对向量场进行积分，评估向量场的法向分量穿过曲面的流量。解决流量分布不均匀的流体在有向曲面上流过的体积. 这是最一般的表达形式，适用于任何形状的曲面和任意向量场
${\oint }_S\mathbf{F}\cdot d\mathbf{S}$

• $\mathbf{F}$ 是向量场
• $d\mathbf{S}$ 是微元的法向量，一般会规定微元的正方向。

通过向量场$\mathbf{F}(u,v)$ 在微元$\mathbf{dS}$ 处的法向量点乘结果进行积分. 为此需要先计算微元$\mathbf{dS}$ 处的法向量.

$$d\mathbf{S}=\left(\frac{\partial \mathbf{r}}{\partial u}\times \frac{\partial \mathbf{r}}{\partial v}\right)dudv$$

$\mathbf{r}$, $\frac{\partial \mathbf{r}}{\partial \theta }$ 和 $\frac{\partial \mathbf{r}}{\partial z}$ 是向量。先对向量计算偏导数，再通过叉积得到法向量。

根据不同坐标系, 微元有不同形式, 下面总结三维直角坐标系、柱面坐标系和球面坐标系下，曲面积分微元 $d\mathbf{S}$ 的不同形式

1. 三维直角坐标系

在三维直角坐标系下，曲面微元 $d\mathbf{S}$ 的计算基于曲面的参数化形式 $\mathbf{r}(x,y)$，其中 $x,y$ 是曲面的参数。

• 微元 $d\mathbf{S}$: $$d\mathbf{S}=\left(\frac{\partial \mathbf{r}}{\partial x}\times \frac{\partial \mathbf{r}}{\partial y}\right)dxdy$$ 这里，$\frac{\partial \mathbf{r}}{\partial x}$ 和 $\frac{\partial \mathbf{r}}{\partial y}$ 是曲面在 $x$ 和 $y$ 方向的切向量，它们的叉积给出法向量的方向和大小。

2. 柱面坐标系

在柱面坐标系中，位置由 $r,\theta ,z$ 描述。如果考虑一个侧面，其参数化形式可以是 $\mathbf{r}(\theta ,z)=(r\cos \theta ,r\sin \theta ,z)$。

• 微元 $d\mathbf{S}$: $$d\mathbf{S}=\left(\frac{\partial \mathbf{r}}{\partial \theta }\times \frac{\partial \mathbf{r}}{\partial z}\right)d\theta dz=(r\cos \theta ,r\sin \theta ,0)rd\theta dz$$ 这里 $r$ 是常数（对于一个特定的圆柱侧面），$d\theta dz$ 表示参数空间的面积元。

3. 球面坐标系

球面坐标系下，位置由 $r,\theta ,\varphi$ 描述。曲面 $\mathbf{r}(\theta ,\varphi )=(r\sin \varphi \cos \theta ,r\sin \varphi \sin \theta ,r\cos \varphi )$ 通常用来描述球面。

• 微元 $d\mathbf{S}$: $$d\mathbf{S}=\left(\frac{\partial \mathbf{r}}{\partial \theta }\times \frac{\partial \mathbf{r}}{\partial \varphi }\right)d\theta d\varphi =(r\sin \varphi \cos \theta ,r\sin \varphi \sin \theta ,r\cos \varphi )r^2\sin \varphi d\theta d\varphi$$ 这里 $r$ 是球体的半径，$\sin \varphi d\theta d\varphi$ 表示参数空间的面积元。

---

同济版

三维空间中, 向量场$F=(P,Q,R)$ (PQR分别是x,y,z三个直角坐标系方向的分量) 穿过有向曲面的流量$\Phi$ 表示为以下形式:
$\Phi (x,y,z)=\iint P(x,y,z)dydz+Q(x,y,z)dxdz+R(x,y,z)dxdy$
分量形式是特别为直角坐标系定制的，为了简化特定情况下的积分计算, 不具有一般性.

这是同济教材给出的形式，我认为只给出直角坐标形式十分具有误导性和混淆性，计算方法的顺序也很乱，不建议看。

这里所说的“对坐标”的含义主要在于向量场$\mathbf{F}=(P,Q,R)$中的分量$P,Q,R$，这些分量是与坐标轴$x,y,z$相关的。第二类曲面积分计算的是向量场$\mathbf{F}$与曲面$S$的法向量$d\mathbf{S}$的点积，即考虑了空间中各点坐标的向量场分量与曲面方向的关系。这个点积结果$\mathbf{F}\cdot d\mathbf{S}$实际上是向量场各分量与对应坐标轴的面积分元素（如$dxdy,dydz,dzdx$）相乘的总和，这也就是“对坐标”的意义所在。

因此，尽管直接的表达式中不显式出现“坐标”这个词，但这种积分方式实际上是在通过曲面积分来考察向量场中每个坐标分量的贡献。这也是为什么它被称为“对坐标的曲面积分”。在更详细的分解中，我们可以将$\mathbf{F}\cdot d\mathbf{S}$展开为：

$$\mathbf{F}\cdot d\mathbf{S}=Pdydz+Qdxdz+Rdxdy$$

在这里，$P,Q,R$是向量场$\mathbf{F}$的坐标分量，$dydz,dxdz,dxdy$是与坐标平面相对应的面积元，这就是对坐标分量的积分表示。这种表示方式使得积分的计算与坐标轴密切相关，从而体现出“对坐标”的命名来源。

---

Wikipedia

考虑曲面 $S$ 上的向量场 $\mathbf{v}$，对于曲面 $S$ 上的每个点 x，向量 $\mathbf{v}(x)$ 是一个向量。想象一个穿过 $S$ 的液体流，使得 $\mathbf{v}(x)$ 决定液体在 $x$ 的速度。则流量定义为单位时间穿过 $S$ 的液体量。

这个解释意味着，如果向量场和 $S$ 在每点相切，则流量为 0，因为液体平行于 $S$ 流动，从而不进不出。这也意味着如果 $\mathbf{v}$ 不仅仅沿着 $S$ 流动，即如果 $\mathbf{v}$ 既有切向分量也有法向分量，则只有法向分量对流量作出贡献。基于这个推理，要找出流量，我们必须取 $\mathbf{v}$ 和 $S$ 上每点的单位法向量的点积，这就给出了一个标量场，然后就可以用上述方式积分。公式如下：

$${\int }_S\mathbf{v}\cdot \mathrm{d}\mathbf{S}={\int }_S(\mathbf{v}\cdot \mathbf{n})\mathrm{d}S={\iint }_T\mathbf{v}(\mathbf{x}(s,t))\cdot \left(\frac{\partial \mathbf{x}}{\partial s}\times \frac{\partial \mathbf{x}}{\partial t}\right)\mathrm{d}s\mathrm{d}t.$$

右手边的叉积是由参数化所决定的法向量。

该公式定义为向量场 $\mathbf{v}$ 在 $S$ 上的面积分。

---

o1

定义

令 $\mathbf{F}(x,y,z)$ 是三维空间中的一个向量场，$S$ 是一个有方向（带单位法向量$\mathbf{n}$）的光滑曲面。向量场 $\mathbf{F}$ 在曲面 $S$ 上的曲面积分（或通量）定义为

$${\iint }_S\mathbf{F}\cdot d\mathbf{S}={\iint }_S\mathbf{F}\cdot \mathbf{n}dS,$$

其中

• $\mathbf{n}$ 为曲面的单位法向量（方向由题目或场景指定），
• $dS$ 为曲面的面积微元。

直观解释：这是计算 $\mathbf{F}$ 在法向方向（即“穿透”曲面的方向）的分量在整条曲面上累积的结果，可以理解为流体流过曲面的“流量”。

---

计算

曲面积分的核心是计算曲面的法向量与面积微元 $d\mathbf{S}$。最普适的计算方式是基于曲面参数化的偏导数叉积：

$$d\mathbf{S}=\left(\frac{\partial \mathbf{r}}{\partial u}\times \frac{\partial \mathbf{r}}{\partial v}\right)dudv,$$

其中：

• $\mathbf{r}(u,v)$ 是曲面的参数化表示；
• $(u,v)$ 是参数变量，$\frac{\partial \mathbf{r}}{\partial u}$ 和 $\frac{\partial \mathbf{r}}{\partial v}$ 是切向量。

以下展示直角坐标系、柱坐标系和球坐标系中该公式的应用，解释如何从参数化计算微元 $d\mathbf{S}$ 及其中因子的来源。

1. 参数化形式

最常用的通用公式是通过曲面的参数化表示：

1. 曲面参数化
   将曲面 $S$ 用参数映射 $(u,v)\mapsto \mathbf{r}(u,v)$ 表示为：

   $$\mathbf{r}(u,v)=(x(u,v),y(u,v),z(u,v)),$$

   其中 $u,v$ 是参数，曲面上的点 $(x,y,z)$ 都由 $(u,v)$ 确定。

2. 面积微元法向量
   曲面的面积微元 $d\mathbf{S}$ 由参数化的两个偏导的外积给出：

   $$d\mathbf{S}=\left(\frac{\partial \mathbf{r}}{\partial u}\times \frac{\partial \mathbf{r}}{\partial v}\right)dudv,$$

   其中 $\frac{\partial \mathbf{r}}{\partial u}$ 和 $\frac{\partial \mathbf{r}}{\partial v}$ 是曲面参数化的切向量。

3. 面积分公式
   代入向量场 $\mathbf{F}$，曲面积分变为：

   $${\iint }_S\mathbf{F}\cdot d\mathbf{S}={\iint }_D\mathbf{F}(\mathbf{r}(u,v))\cdot (\frac{\partial \mathbf{r}}{\partial u}\times \frac{\partial \mathbf{r}}{\partial v})dudv,$$

   其中 $D$ 是参数域 $(u,v)$-平面上对应的投影区域。

优点：此形式适用于任意光滑曲面，只需能合理参数化曲面即可。

---

2. 直角坐标分量形式

当曲面 $S$ 平行于某个坐标面时（例如，平面或其分块部分），可以直接利用分量形式简化计算：

$${\iint }_S\mathbf{F}\cdot d\mathbf{S}={\iint }_S(Pdydz+Qdzdx+Rdxdy),$$

其中 $\mathbf{F}=(P,Q,R)$ 是向量场的分量。

注意事项：

• 若曲面法向量朝向的方向不同（例如“外侧”或“内侧”），需根据几何调整分量的正负号。
• 此形式仅适用于曲面是平面（或由平面分块组成）的情形；对于复杂曲面（如球面、柱面），通常需回到参数化形式。

Tip

同济版教材中的
$\iint Pdydz+Qdzdx+Rdxdy$
指的正是这种在直角坐标系下、根据各分量对不同坐标面贡献来表达流量的做法。本质上与参数化公式完全一致，只是写法不同。

---

步骤

无论使用参数化形式还是直角坐标形式，常见的计算步骤如下：

1. 确定曲面和方向

   • 明确曲面的方程或参数化方式（如 $z=f(x,y)$、$x^2+z^2=1$ 等）。
   • 确定曲面法向量的方向（“外侧”或“上侧”），确保方向的一致性。

2. 参数化曲面

   • 根据几何特点选取参数变量 $(u,v)$，将曲面用参数化表示为 $\mathbf{r}(u,v)$。
   • 例如：圆柱面可用 $(\theta ,y)$，球面用 $(\theta ,\varphi )$，平面直接用 $(x,y)$。

3. 计算法向量和面积微元

   • 求 $\frac{\partial \mathbf{r}}{\partial u}$ 和 $\frac{\partial \mathbf{r}}{\partial v}$。
   • 通过叉积得到法向量（含面积因子）： $$d\mathbf{S}=\left(\frac{\partial \mathbf{r}}{\partial u}\times \frac{\partial \mathbf{r}}{\partial v}\right)dudv.$$

4. 代入积分公式并计算

   • 将向量场 $\mathbf{F}(\mathbf{r}(u,v))$ 带入，计算点积： $$\mathbf{F}\cdot d\mathbf{S}.$$
   • 在给定的参数域 $D$ 上做双重积分。

提示：

• 若法向方向有要求（如“外侧”），需确保叉积的方向与要求一致（必要时取反）。
• 若无法直接参数化曲面，分块处理使用分量形式可能更便捷。

---

---

1. 直角坐标系

情形

直角坐标系中的曲面通常可以表达为显式函数，如 $z=f(x,y)$。参数化可选用 $(u,v)=(x,y)$，则有：

$$\mathbf{r}(x,y)=(x,y,f(x,y)).$$

计算

1. 求偏导数：

   $$\frac{\partial \mathbf{r}}{\partial x}=(1,0,f_x),\frac{\partial \mathbf{r}}{\partial y}=(0,1,f_y),$$

   其中 $f_x=\frac{\partial f}{\partial x}$, $f_y=\frac{\partial f}{\partial y}$。

2. 叉积计算：

   $$\frac{\partial \mathbf{r}}{\partial x}\times \frac{\partial \mathbf{r}}{\partial y}=\left|\begin{array}{ccc}\mathbf{i}& \mathbf{j}& \mathbf{k}\\ 1& 0& f_x\\ 0& 1& f_y\end{array}\right|=(-f_x,-f_y,1).$$

3. 得到面积微元：

   $$d\mathbf{S}=\frac{\partial \mathbf{r}}{\partial x}\times \frac{\partial \mathbf{r}}{\partial y}dxdy=(-f_x\mathbf{i}-f_y\mathbf{j}+\mathbf{k})dxdy.$$

4. 法向量为 $(-f_x,-f_y,1)$，面积因子为 $dxdy$。

结论

对于 $z=f(x,y)$ 的曲面：

$$d\mathbf{S}=(-f_x\mathbf{i}-f_y\mathbf{j}+\mathbf{k})dxdy.$$

---

2. 柱坐标系

情形

柱坐标系下，位置用 $(r,\theta ,z)$ 表示，曲面的参数化可以选为：

$$\mathbf{r}(\theta ,z)=(r\cos \theta ,r\sin \theta ,z),$$

其中 $(u,v)=(\theta ,z)$。

计算

1. 求偏导数：

   $$\frac{\partial \mathbf{r}}{\partial \theta }=(-r\sin \theta ,r\cos \theta ,0),\frac{\partial \mathbf{r}}{\partial z}=(0,0,1).$$

2. 叉积计算：

   $$\frac{\partial \mathbf{r}}{\partial \theta }\times \frac{\partial \mathbf{r}}{\partial z}=\left|\begin{array}{ccc}\mathbf{i}& \mathbf{j}& \mathbf{k}\\ -r\sin \theta & r\cos \theta & 0\\ 0& 0& 1\end{array}\right|=(r\cos \theta ,r\sin \theta ,0).$$

3. 得到面积微元：

   $$d\mathbf{S}=(r\cos \theta \mathbf{i}+r\sin \theta \mathbf{j})rd\theta dz.$$

4. 法向量为 $(r\cos \theta ,r\sin \theta ,0)$，面积因子为 $rd\theta dz$。

结论

柱坐标系中，圆柱侧面的微元为：

$$d\mathbf{S}=(r\cos \theta \mathbf{i}+r\sin \theta \mathbf{j})rd\theta dz.$$

---

3. 球坐标系

情形

球坐标系下，位置用 $(r,\theta ,\varphi )$ 表示，球面参数化可选为：

$$\mathbf{r}(\theta ,\varphi )=(r\sin \varphi \cos \theta ,r\sin \varphi \sin \theta ,r\cos \varphi ),$$

其中 $(u,v)=(\theta ,\varphi )$。

计算

1. 求偏导数：

   $$\frac{\partial \mathbf{r}}{\partial \theta }=(-r\sin \varphi \sin \theta ,r\sin \varphi \cos \theta ,0),$$ $$\frac{\partial \mathbf{r}}{\partial \varphi }=(r\cos \varphi \cos \theta ,r\cos \varphi \sin \theta ,-r\sin \varphi ).$$

2. 叉积计算：

   $$\frac{\partial \mathbf{r}}{\partial \theta }\times \frac{\partial \mathbf{r}}{\partial \varphi }=\left|\begin{array}{ccc}\mathbf{i}& \mathbf{j}& \mathbf{k}\\ -r\sin \varphi \sin \theta & r\sin \varphi \cos \theta & 0\\ r\cos \varphi \cos \theta & r\cos \varphi \sin \theta & -r\sin \varphi \end{array}\right|.$$

   展开行列式：

   $$\frac{\partial \mathbf{r}}{\partial \theta }\times \frac{\partial \mathbf{r}}{\partial \varphi }=(r^2{\sin }^2\varphi \cos \theta ,r^2{\sin }^2\varphi \sin \theta ,r^2\sin \varphi \cos \varphi ).$$

3. 得到面积微元：

   $$d\mathbf{S}=\frac{\partial \mathbf{r}}{\partial \theta }\times \frac{\partial \mathbf{r}}{\partial \varphi }d\theta d\varphi =(r^2{\sin }^2\varphi \cos \theta \mathbf{i}+r^2{\sin }^2\varphi \sin \theta \mathbf{j}+r^2\sin \varphi \cos \varphi \mathbf{k})d\theta d\varphi .$$

4. 面积因子为：

   $$r^2\sin \varphi d\theta d\varphi .$$

结论

球坐标系中，球面的微元为：

$$d\mathbf{S}=r^2\sin \varphi \mathbf{n}d\theta d\varphi ,$$

其中 $\mathbf{n}$ 是法向量，方向由球面的曲率决定。

---

示例

令 $S$ 为圆柱 $x^2+z^2=1$ 的侧面，$0\le y\le 4$。向量场 $\mathbf{F}=x\mathbf{i}+2y\mathbf{j}+10z\mathbf{k}$。求

$${\iint }_S\mathbf{F}\cdot d\mathbf{S},$$

其中法向量规定为“向外”，即横向指向圆柱外侧。

1. 参数化
   用 $\theta$ 表示绕圆柱的角度、$y$ 表示高度：

   $$\mathbf{r}(\theta ,y)=(\cos \theta ,y,\sin \theta ),0\le \theta \le 2\pi ,0\le y\le 4.$$

2. 求叉积

   $$\frac{\partial \mathbf{r}}{\partial \theta }=(-\sin \theta ,0,\cos \theta ),\frac{\partial \mathbf{r}}{\partial y}=(0,1,0).$$ $$\frac{\partial \mathbf{r}}{\partial \theta }\times \frac{\partial \mathbf{r}}{\partial y}=\left|\begin{array}{ccc}\mathbf{i}& \mathbf{j}& \mathbf{k}\\ -\sin \theta & 0& \cos \theta \\ 0& 1& 0\end{array}\right|=(-\cos \theta )\mathbf{i}-\sin \theta \mathbf{k}.$$

   这就是 $d\mathbf{S}$ 的方向部分（未乘 $d\theta dy$）。若此方向正好是圆柱外侧，可直接用；若相反，则需取负号。

   在圆柱上，向外的法向量往往是 $(\cos \theta ,0,\sin \theta )$。
   这里我们得到 $(-\cos \theta ,0,-\sin \theta )$，它与外侧方向相差负号。
   因此若要求指向外侧，可以令

   $$d\mathbf{S}=(\cos \theta \mathbf{i}+\sin \theta \mathbf{k})d\theta dy$$

   （即把上面结果乘以 $-1$）。
   或者你也可以保持现有结果，再在积分里多加个负号。关键是方向必须和外侧吻合。

3. 向量场在参数下的表达

   $$\mathbf{F}(\mathbf{r}(\theta ,y))=(\cos \theta )\mathbf{i}+2y\mathbf{j}+10(\sin \theta )\mathbf{k}.$$

4. 点乘并积分

   $$\mathbf{F}\cdot d\mathbf{S}=(\cos \theta \mathbf{i}+2y\mathbf{j}+10\sin \theta \mathbf{k})\cdot (\cos \theta \mathbf{i}+\sin \theta \mathbf{k})d\theta dy.$$ $$=({\cos }^2\theta +10{\sin }^2\theta )d\theta dy(\text{此处 }2y\cdot 0=0).$$

   积分域：$\theta \in [0,2\pi ],y\in [0,4]$。
   因此

   $${\iint }_S\mathbf{F}\cdot d\mathbf{S}={\int }_0^4{\int }_0^{2\pi }({\cos }^2\theta +10{\sin }^2\theta )d\theta dy.$$
   • ${\int }_0^{2\pi }{\cos }^2\theta d\theta =\pi$.
   • ${\int }_0^{2\pi }{\sin }^2\theta d\theta =\pi$.
     所以
   $${\int }_0^{2\pi }({\cos }^2\theta +10{\sin }^2\theta )d\theta =\pi +10\pi =11\pi .$$

   再乘以 ${\int }_0^{4}dy=4$，

   $${\iint }_S\mathbf{F}\cdot d\mathbf{S}=4\cdot 11\pi =44\pi .$$

---

应用

• 散度定理（Gauss / Ostrogradsky）
  将封闭曲面上的通量（面积分）转化为该曲面所包围体积上的体积分

  $${\iint }_S\mathbf{F}\cdot d\mathbf{S}={\iiint }_V\nabla \cdot \mathbf{F}dV.$$

  在求封闭曲面的通量时非常实用。

• 曲线-曲面对偶（Stokes定理等）
  在更高阶讨论时，也会出现类似的线积分与面积分之间的对偶关系，但那主要用于旋度/环流等，超出本笔记范围。

• 各向量微分方程（流体力学、电磁学）
  在数学物理中，很多方程包含$\nabla \cdot \mathbf{F}$ 或 $\mathbf{F}\cdot \mathbf{n}$ 等项，曲面积分公式是深入理解这些方程的重要工具。