曲面积分的面积元素

重积分换元时使用雅可比行列式 $|\det J|$ 变换体积元素，曲面积分中则用切向量叉积计算面积元素 $dS$。两者都是对"微元"的变换，但方法不同，适用场景也不同。

曲面上的面积元素

在三维空间中，光滑曲面 $S$ 局部可用两个参数描述；全曲面可能需要分片。取参数区域 $T$ 上的 $C^1$ 参数化：

$$\mathbf{x}(s, t) = \langle x(s, t), y(s, t), z(s, t) \rangle$$

假设切向量线性无关（正则性），并且参数化除零面积的边界或接缝外仅覆盖一次。$\mathbf{x}(s,t)$ 是曲面上点的位置向量。例如球面用极角 $\phi$ 与方位角 $\theta$ 参数化，柱面用高度与角度参数化。

参数 $s$ 和 $t$ 方向的切向量分别为 $\partial \mathbf{x} / \partial s$ 和 $\partial \mathbf{x} / \partial t$。叉积 $\partial \mathbf{x} / \partial s \times \partial \mathbf{x} / \partial t$ 给出曲面上该点处的法向量，其模长是参数面积到曲面面积的缩放因子：

$$dS = \left| \frac{\partial \mathbf{x}}{\partial s} \times \frac{\partial \mathbf{x}}{\partial t} \right| ds \, dt$$

第一类曲面积分累积标量：$\iint_S f\,dS=\iint_T f(\mathbf x(s,t))\|\mathbf x_s\times\mathbf x_t\|\,ds\,dt$，不依赖定向。

第二类曲面积分是向量场的通量。选择与 $\mathbf x_s\times\mathbf x_t$ 同向的单位法向量后，$\iint_S\mathbf v\cdot\mathbf n\,dS$ 等于：

$$\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{r}(\theta, \phi) = (r \sin \phi \cos \theta, r \sin \phi \sin \theta, r \cos \phi)$ 中，$r>0$ 为固定半径，自由参数为 $0\le\theta<2\pi$ 和 $0\le\phi\le\pi$。极点与接缝按零面积集合处理。

• 对 $\theta$ 的偏导数：

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

• 对 $\phi$ 的偏导数：

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

叉积求模：

$$\left| \frac{\partial \mathbf{r}}{\partial \theta} \times \frac{\partial \mathbf{r}}{\partial \phi} \right| = r^2 \sin \phi$$

因此球面上的面积元素为：

$$dS = r^2 \sin \phi \, d\theta \, d\phi$$

球面上面积分时，这个公式是标准结果，可直接使用，无需每次重新推导。

雅可比行列式与叉积法的区别

两种公式处理不同维数的映射，但可由同一个局部面积缩放公式统一：

方法	适用场景	微元变换
雅可比行列式	体积分中的坐标变换	$dV = \lvert\det J\rvert \, du\,dv\,dw$
切向量叉积	曲面上的面积分	$dS = \left\lvert\frac{\partial \mathbf{r}}{\partial u} \times \frac{\partial \mathbf{r}}{\partial v}\right\rvert du\,dv$

方阵雅可比行列式适用于相同维数的坐标换元（二维面积、三维体积等），例如从直角坐标转换到球坐标时使用 $|\det J| = r^2 \sin\phi$ 调整体积元素。叉积法适用于曲面参数化后直接计算面积微元——通过参数化后的切向量叉积得到法向量的方向和大小，其模长即为面积元素。

令 $J=[\mathbf r_u\ \mathbf r_v]$ 为 $3\times2$ 导数矩阵。它不是方阵，没有 $\det J$；但 格拉姆矩阵 给出

$$dS=\sqrt{\det(J^TJ)}\,du\,dv=\|\mathbf r_u\times\mathbf r_v\|\,du\,dv.$$

因为 $\det(J^TJ)=\|\mathbf r_u\|^2\|\mathbf r_v\|^2-(\mathbf r_u\cdot\mathbf r_v)^2$，恰为叉积模长的平方。同维方阵情形则 $\sqrt{\det(J^TJ)}=|\det J|$，与 二重积分换元法 一致。直接使用已知面积元素时，仍应核对参数范围、覆盖次数和通量方向。

球面的面积与通量方向

上述参数顺序给出 $\mathbf r_\theta\times\mathbf r_\phi=-r\sin\phi\,\mathbf r$，指向内侧。求外向通量应交换叉积顺序或添负号；取模计算面积时不受影响。积分核对为

$$\int_0^{2\pi}\int_0^\pi r^2\sin\phi\,d\phi\,d\theta=4\pi r^2.$$

例如 $\mathbf v(\mathbf x)=\mathbf x$ 在该球面上的外向通量为 $r\cdot4\pi r^2=4\pi r^3$，也等于 高斯公式 中 $\nabla\cdot\mathbf v=3$ 乘球体积。