発散定理

発散定理（はっさんていり、英語: divergence theorem）は、ベクトル場の発散を、その場によって定義される流れの面積分に結び付けるものである。

ガウスの定理（ガウスのていり、英語: Gauss' theorem）とも呼ばれる。

発見

1762年にジョゼフ＝ルイ・ラグランジュによって発見され、その後カール・フリードリヒ・ガウス（1813年）、ジョージ・グリーン（1825年）、ミハイル・オストログラツキー（1831年）によって、それぞれ独立に再発見された。オストログラツキーは、またこの定理に最初の証明を与えた人物でもある。

定理の内容

数式を用いて述べると次のようになる。まず、R³ で定義された滑らかなベクトル場 ${\boldsymbol {F}}=(F_{1},F_{2},F_{3})$ に対して F の発散 div F を

$\operatorname {div} {\boldsymbol {F}}:={\frac {\partial F_{1}}{\partial x}}+{\frac {\partial F_{2}}{\partial y}}+{\frac {\partial F_{3}}{\partial z}}$

と定義する。発散は∇(ナブラ;nabla)を用いると,

$\operatorname {div} {\boldsymbol {F}}={\boldsymbol {\nabla }}\cdot {\boldsymbol {F}}$

と表され,ベクトルの内積(ドット積)となる.

V を R³ において滑らか（ここでは C¹ 級でよい）な境界 ∂V をもつ有界な領域（= 連結開集合）とし、F を V の閉包で定義されている滑らかなベクトル場とすると、

$\iiint _{V}\operatorname {div} {\boldsymbol {F}}\,\mathrm {d} x\,\mathrm {d} y\,\mathrm {d} z=\iint _{\partial V}{\boldsymbol {F}}\!\cdot \!{\boldsymbol {n}}\,\mathrm {d} S$

が成り立つ。ここで、n は V の外向き単位法ベクトルとする。なお、定理が成り立つためには ∂V が区分的に C¹ 級であれば十分である。

この定理は div という演算が発散（あるいは湧出量）と呼ばれる所以でもある。右辺は領域 V から流れ出す量であり、それが全ての発散を合わせたものに等しくなっている。

この定理は、一般的なストークスの定理から導くことができる。

一般化されたストークスの定理との対応

発散定理は、以下のように一般化されたストークスの定理において、2次微分形式のωを考えた場合に相当する。

$\int _{\partial V}\omega =\int _{V}\mathrm {d} \omega$

ここでωは

$\omega :=F_{1}\mathrm {d} y\wedge \mathrm {d} z+F_{2}\mathrm {d} z\wedge \mathrm {d} x+F_{3}\mathrm {d} x\wedge \mathrm {d} y$

であり、その外微分は次式で与えられる。

$\mathrm {d} \omega :={\biggl (}{\frac {\partial F_{1}}{\partial x}}+{\frac {\partial F_{2}}{\partial y}}+{\frac {\partial F_{3}}{\partial z}}{\biggr )}\mathrm {d} x\wedge \mathrm {d} y\wedge \mathrm {d} z$

応用

発散定理を電磁気学に応用して、電荷から湧き出す電場についてのガウスの法則を数学的に記述できる（⇒マクスウェルの方程式）。

$\oint _{S}\mathrm {d} {\boldsymbol {S}}\cdot {\boldsymbol {E}}={\frac {Q}{\varepsilon _{0}}}={\frac {1}{\varepsilon _{0}}}\int _{V}\mathrm {d} V\rho$

$\operatorname {div} {\boldsymbol {E}}={\frac {\rho }{\varepsilon _{0}}}$

参考文献

• 太田浩一 『マクスウエル理論の基礎　相対論と電磁気学』東京大学出版会（2002年）ISBN 978-4130626040

関連項目

• グリーンの定理
• ケルビン・ストークスの定理
• ストークスの定理
• ベクトル解析の公式の一覧