高斯公式

已知

  • 曲面 $S$
    • 封闭
    • 无奇点
  • 空间 $\Omega$ 的边界是 $S$

结论

朴素形式

$$ {\subset!\supset} \mathllap{\iint}{S} P,dy,dz+Q,dz,dx+R,dx,dy = \iiint{\Omega}\left( \frac{\partial P}{\partial x} + \frac{\partial Q}{\partial y} + \frac{\partial R}{\partial z} \right) ,dV $$

散度形式

$$ {\subset!\supset} \mathllap{\iint}{S}\vec{F},d\vec{S}=\iiint{\Omega} \mathrm{div},\vec{F},dV $$

证明

任选一维,以 $z$/$R$ 方向为例

对于该维,将闭合曲面分割成形如下图的形式,由此定义出 $S$,$S_{1}$,$S_{2}$,$S_{3}$,$D$

高等数学 北大版 第三版 下册 (李忠 周建莹) (Z-Library), p.147

于是 $$ \begin{align} {\subset!\supset} \mathllap{\iint}{S}R,dx,dy & =\iint{S_{1}+S_{2}+S_{3}}R,dx,dy \ & =\iint_{S_{1}}R,dx,dy+\iint_{S_{2}}R,dx,dy+\iint_{S_{3}}R,dx,dy \ & =\iint_{D}\left( R_{S_{1}}-R_{S_{2}} \right),dx,dy + 0\ & =\iint_{D}dR,dx,dy \ & = \int dx,dy, \int_{S_{2}}^{S_{1}} \frac{\partial R}{\partial z} , dz \ & =\iint_{D} \frac{\partial R}{\partial z},dV \end{align} $$ 其他两维同理,三维相加即为高斯公式