散度定理

形式陈述 ​

设 $\mathrm{\Omega }\subset {\mathbb{R}}^n$ 是有界开集，其边界 $\partial \mathrm{\Omega }$ 至少分片 $C^1$，$\nu$ 表示几乎处处定义的向外单位法向量。若向量场 $F=(F_1,\dots ,F_n)$ 在 $\bar{\mathrm{\Omega }}$ 的某邻域上属于 $C^1$，则

$${\int }_{\mathrm{\Omega }}\mathrm{div}Fdx={\int }_{\partial \mathrm{\Omega }}F\cdot \nu dS,$$

其中

$$\mathrm{div}F=\sum _{j=1}^n\frac{\partial F_j}{\partial x_j}.$$

左侧按 $n$ 维体积积分，右侧按边界的 $(n-1)$ 维面积积分。边界定向固定为向外；若改用向内法向量，右侧必须整体变号。

该结论是广义 Stokes 定理公理库流形上的 Stokes 定理Stokes' theorem on manifolds紧支撑微分形式的外微分在流形上的积分等于该形式在边界上的积分。的 Euclidean 特例。令标准体积形式为

$$\omega =d{x}_1\wedge \cdots \wedge d{x}_n,$$

并以 ${\iota }_F\omega$ 表示向量场 $F$ 与体积形式的内乘，则

$$d({\iota }_F\omega )=(\mathrm{div}F)\omega .$$

应用 ${\int }_{\mathrm{\Omega }}d\alpha ={\int }_{\partial \mathrm{\Omega }}\alpha$，边界上的拉回恰为 $(F\cdot \nu )dS$。

更弱的版本允许 Lipschitz 边界与 Sobolev 向量场，并用迹算子或测度论法向迹解释边界通量；正则性条件随版本改变，不能在不说明积分与边界意义时直接删去。

直觉 ​

$\mathrm{div}F(x)$ 测量点 $x$ 附近每单位体积的净产生率。把区域切成许多小控制体后，相邻小块共享面的流出与流入符号相反，内部通量两两抵消，最后只剩整个区域外边界上的净流出。这是定理的几何图像，但把极限做严谨需要边界与向量场正则性。

定理不是说每一点的流量由散度单独决定，而是把局部源汇累积成全局边界账本。无散场可以在区域内部高速循环，只要进入与流出总体抵消，其边界净通量仍为零。

例子与计算 ​

取 $\mathrm{\Omega }=B_R(0)\subset {\mathbb{R}}^3$，$F(x)=x=(x_1,x_2,x_3)$。此时 $\mathrm{div}F=3$，故

$${\int }_{\mathrm{\Omega }}\mathrm{div}Fdx=3\cdot \frac{4\pi R^3}{3}=4\pi R^3.$$

在球面上 $\nu =x/R$，所以 $F\cdot \nu =R$，右侧为

$${\int }_{\partial B_R}RdS=R\cdot 4\pi R^2=4\pi R^3.$$

两侧相等；半径增加时，虽然边界面积只按 $R^2$ 增长，边界处法向速度还多出一个 $R$ 因子。

若 $F(x,y)=(-y,x)$ 且 $\mathrm{\Omega }$ 是平面上的单位圆盘，则 $\mathrm{div}F=0$。圆周上 $F$ 与切向平行、与外法向垂直，故边界通量也为零；这说明零散度允许旋转，并不要求 $F=0$。

边界与失败情形 ​

奇点不能被悄悄放进区域。三维场

$$F(x)=\frac{x}{\Vert x{\Vert }^3}$$

在 $x\ne 0$ 处散度为零，但任意以原点为中心的球面通量等于 $4\pi$。它不满足在 $\bar{\mathrm{\Omega }}$ 邻域内 $C^1$ 的条件；分布意义下散度为 $4\pi {\delta }_0$。若只把经典散度零代入体积分，就会得到错误结论。

有孔区域的边界含多个分支。对环形区域，外边界取向外，内孔边界的“向外”却指向孔内；所有分支都沿区域的外法向定向，不能把每条曲线都按视觉上的逆时针统一处理。

无界区域需要截断后控制无穷远边界项。即使 $\mathrm{div}F$ 可积，若 $F$ 的衰减不足，通量极限也未必存在。分片光滑或 Lipschitz 边界可以处理棱角，但高度不规则边界要转向有限周长集合等更一般理论。

有限体积法在网格控制体上写出的离散通量平衡受散度定理启发，却不是连续定理本身。数值通量、重构与时间离散会引入一致性和稳定性问题，不能用一句“由散度定理”替代离散误差分析。

推论与应用 ​

对任意常数 $c$，取 $F=c{e}_j$ 可恢复边界法向分量的整体平衡；取 $F=u{e}_j$ 则得到分部积分公式

$${\int }_{\mathrm{\Omega }}{\partial }_{j}udx={\int }_{\partial \mathrm{\Omega }}u{\nu }_{j}dS.$$

更一般地对标量函数 $u$ 和向量场 $F$ 应用 $\mathrm{div}(uF)=\mathrm{\nabla }u\cdot F+u\mathrm{div}F$，可推导 Green 恒等式及偏微分方程的弱形式。

流体质量守恒、电磁学中的 Gauss 定律、连续介质平衡律与有限体积离散都使用“体内源项等于边界净通量”这一接口。每个应用仍需说明向量场、区域边界与通量的具体正则性。

参考资料

• Michael Spivak, Calculus on Manifolds, Westview Press, 1965，Ch. 4–5。
• John M. Lee, Introduction to Smooth Manifolds, 2nd ed., Springer, 2013，Ch. 16。
• Lawrence C. Evans, Partial Differential Equations, 2nd ed., AMS, 2010，Appendix C 与 Ch. 5。