跳至主要內容

标量场的曲面积分

数学

简介

用于计算标量场在曲面上的积分，即曲面上函数值乘以曲面微元面积的总和，用于求不均匀曲面的质量等问题。

∬Sf(x,y,z) dS\iint_S f(x,y,z)\,dS

其中：

  • SS：积分区域，表示三维空间中的二维曲面（曲面薄壳）。
  • f(x,y,z)f(x,y,z)：定义在曲面上的标量场函数，表示各点处的局部物理量或分布强度（如面密度、电荷密度、温度等）。
  • dSdS：曲面面积微元（标量），表示曲面上极小一块区域的实际几何面积，始终非负（不涉及法向量方向或曲面侧向）。
  • ∬S… dS\iint_S \dots\,dS：对曲面上所有微元的函数值与微元面积乘积进行的连续累加（黎曼和的极限）。

计算

显式曲面

当曲面由 z=z(x,y)z=z(x,y) 显式给出时，面积微元可自然地选择为

dS=(∂z∂x)2+(∂z∂y)2+1 dx dydS = \sqrt{\left(\frac{\partial z}{\partial x}\right)^2+\left(\frac{\partial z}{\partial y}\right)^2+1}\,dx\,dy

因此

∬Sf dS=∬Df(x,y,z(x,y))(∂z∂x)2+(∂z∂y)2+1 dx dy\iint_S f\,dS = \iint_D f(x,y,z(x,y))\sqrt{\left(\frac{\partial z}{\partial x}\right)^2+\left(\frac{\partial z}{\partial y}\right)^2+1}\,dx\,dy

一般的参数化形式

三维空间中的曲面本质上是一个二维流形, 具有 2 个局部自由度。只要确定了曲面上的两个独立坐标参数 (s,t)(s, t)，空间中的位置即可被唯一确定。
因此，当曲面难以写成显式形式，或采用特定坐标系可以通过连续可微的向量映射 x:T⊂R2→R3\mathbf{x}: T \subset \mathbb{R}^2 \to \mathbb{R}^3 将平面平直区域 TT 弯曲铺展为空间曲面 SS： $$\mathbf{x}(s,t) = \big(x(s,t),, y(s,t),, z(s,t)\big), \quad (s,t) \in T$$ 曲面的面积微元 dSdS 由两个切向量 ∂x∂s\frac{\partial\mathbf{x}}{\partial s}、∂x∂t\frac{\partial\mathbf{x}}{\partial t} 的外积长度给出： $$dS = \left|\frac{\partial\mathbf{x}}{\partial s}\times\frac{\partial\mathbf{x}}{\partial t}\right|,ds,dt$$
因此, 曲面积分式的计算展开为:

∬Sf dS=∬Tf(x(s,t))∣∂x∂s×∂x∂t∣ ds dt\iint_S f\,dS = \iint_T f(\mathbf{x}(s,t))\left|\frac{\partial\mathbf{x}}{\partial s}\times\frac{\partial\mathbf{x}}{\partial t}\right|\,ds\,dt

显式曲面 z=z(x,y)z=z(x,y) 本质上就是取参数 (s,t)=(x,y)(s,t)=(x,y) 且 x(x,y)=(x,y,z(x,y))\mathbf{x}(x,y)=(x,y,z(x,y)) 时的特例，其切向量外积模长直接化简为 zx2+zy2+1\sqrt{z_x^2 + z_y^2 + 1}。

示例

求曲面 z=f(x,y)z=f(x,y) 的面积，取被积函数为 11：

A=∬SdS=∬D(∂f∂x)2+(∂f∂y)2+1 dx dyA = \iint_S dS = \iint_D \sqrt{\left(\frac{\partial f}{\partial x}\right)^2+\left(\frac{\partial f}{\partial y}\right)^2+1}\,dx\,dy

这是与向量场的曲面积分（第二类曲面积分）不同的第一类曲面积分：它不涉及曲面取向，只对标量（如密度）求和。

补充

与雅可比行列式的关系

本质上，外积模长项 ∣∂x∂s×∂x∂t∣\left\vert{}\frac{\partial\mathbf{x}}{\partial s}\times\frac{\partial\mathbf{x}}{\partial t}\right\vert{} 就是低维流形嵌入高维空间时的广义雅可比行列式。

  • 常规雅可比行列式（同维映射，如 R2→R2\mathbb{R}^2 \to \mathbb{R}^2）：
    若映射为 (u,v)→(x,y)(u,v) \to (x,y)，雅可比矩阵 JJ 是方阵（2×22 \times 2），面积缩放系数直接为行列式的绝对值 ∣det⁡(J)∣\vert{}\det(J)\vert{}。
  • 曲面的参数化（非同维映射，R2→R3\mathbb{R}^2 \to \mathbb{R}^3）：
    映射 x(s,t)=(x(s,t),y(s,t),z(s,t))\mathbf{x}(s,t) = (x(s,t), y(s,t), z(s,t)) 的雅可比矩阵为 3×23 \times 2 的非方阵：

J=(∂x∂s∂x∂t∂y∂s∂y∂t∂z∂s∂z∂t)=(xsxt)J = \begin{pmatrix} \frac{\partial x}{\partial s} & \frac{\partial x}{\partial t} \\ \frac{\partial y}{\partial s} & \frac{\partial y}{\partial t} \\ \frac{\partial z}{\partial s} & \frac{\partial z}{\partial t} \end{pmatrix} = \begin{pmatrix} \mathbf{x}_s & \mathbf{x}_t \end{pmatrix}

非方阵无法直接求行列式，此时的面积放大系数有两种等价的数学表达：

  1. 向量外积模长（三维特有）：

∣xs×xt∣=(∂(y,z)∂(s,t))2+(∂(z,x)∂(s,t))2+(∂(x,y)∂(s,t))2\left\vert{}\mathbf{x}_s \times \mathbf{x}_t\right\vert{} = \sqrt{\left(\frac{\partial(y,z)}{\partial(s,t)}\right)^2 + \left(\frac{\partial(z,x)}{\partial(s,t)}\right)^2 + \left(\frac{\partial(x,y)}{\partial(s,t)}\right)^2}

右边每一项都是一个 2×22 \times 2 子雅可比行列式，几何上对应三维微元在三个坐标平面投影面积的高维勾股定理。
2. 格拉姆行列式（Gram Matrix，通用形式）：
由柯西-比内公式（Cauchy-Binet formula），该模长等价于：

∣xs×xt∣=det⁡(JTJ)=EG−F2\left\vert{}\mathbf{x}_s \times \mathbf{x}_t\right\vert{} = \sqrt{\det(J^T J)} = \sqrt{EG - F^2}

其中 E=xs⋅xsE = \mathbf{x}_s \cdot \mathbf{x}_s，F=xs⋅xtF = \mathbf{x}_s \cdot \mathbf{x}_t，G=xt⋅xtG = \mathbf{x}_t \cdot \mathbf{x}_t（第一基本形式的度量系数）。

det⁡(JTJ)\sqrt{\det(J^T J)} 是将常规雅可比绝对值 ∣det⁡(J)∣\vert{}\det(J)\vert{} 推广到非方阵形式的标准方式。显式曲面 z=z(x,y)z=z(x,y) 只是取 s=x,t=ys=x, t=y 时的特例，三项子行列式分别退化为 −∂z∂x,−∂z∂y,1-\frac{\partial z}{\partial x}, -\frac{\partial z}{\partial y}, 1，其模长就是根号项 zx2+zy2+1\sqrt{z_x^2 + z_y^2 + 1}。

链接到当前文件 1