MathLabs
定理証明済み

発散定理(ガウス・オストログラツキーの定理)

内容

V⊂R3V \subset \mathbb{R}^3 を、滑らかな境界 ∂V\partial V が外向き法線 n\mathbf{n} で向き付けられた有界領域とし、F\mathbf{F} を V‾\overline{V} の近傍で連続微分可能なベクトル場とする。このとき ∭V(∇⋅F) dV=∬∂VF⋅n dS\iiint_V (\nabla \cdot \mathbf{F})\, dV = \iint_{\partial V} \mathbf{F} \cdot \mathbf{n}\, dS が成り立つ。

なぜ正しいのか?

発散 ∇⋅F\nabla \cdot \mathbf{F} は、各点でベクトル場がどれだけ広がっているか、いわばそこで流体が生成・消滅する正味の割合を測る。領域内部でのそうした局所的な生成をすべて足し合わせたものは、境界を通って外へ抜け出る正味の流れと等しくなければならない——途中で何も失われることはなく、ただ表面を通って出て行くしかないのである。

証明の概略

まず直方体について、各座標方向に微積分学の基本定理を適用することで定理を証明する。これにより向かい合う各面の対が ∂Fi/∂xi\partial F_i/\partial x_i に対応する流束の差を与える。同じ一変数の議論を成分ごとに用いて、一般の基本領域(各軸方向にグラフで上下から挟まれた領域)へ拡張し、次に一般の領域をそのような基本片の和で覆って足し合わせる。内部で共有される面を通る流束は互いに打ち消し合い、外側の境界を通る流束だけが残ることに注意する。

提示者

この定理を使うトピック

関連する定理

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. Jerrold E. Marsden, Anthony J. Tromba (2003). Vector Calculus