メインメニューを開く

発散定理(はっさんていり、英語: divergence theorem)は、ベクトル場発散を、その場によって定義される流れの面積分に結び付けるものである。ガウスの定理英語: Gauss' theorem)とも呼ばれる。1762年ラグランジュによって発見され、その後ガウス(1813年)、グリーン(1825年)、オストログラツキー(1831年)によってそれぞれ独立に再発見された[1][2]。オストログラツキーはまたこの定理に最初の証明を与えた人物でもある。

定理の内容編集

数式を用いて述べると次のようになる。まず、R3 で定義された滑らかなベクトル場   に対して F発散 div F

 

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

 

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

VR3 において滑らか(ここでは C1 級でよい)な境界 ∂V をもつ有界な領域(= 連結開集合)とし、FV閉包で定義されている滑らかなベクトル場とすると、

 

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

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

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

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

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

 

ここでωは

 

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

 

応用編集

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

 
 

脚注編集

  1. ^ C. F. Gauss, Allgemeine Lehrsätze in Beziehung auf die im verkehrten Verhältnisse des Quadrats der Entfernung wirkenden Anziehungs- und Abstossungs-kräfte, Res. Beob. magn. Vereins 4, 1, 1840
  2. ^ オストログラツキーは発散定理を1828年にパリで口頭報告しているものの、その内容は公刊されず、1831年のサンクトペテルブルクでの学会報告のみが残されている。  M. Ostorgradsky, Note sur la théorie de la chaleur, Mém. Acad Sci. St.-Pétersb. 1, 129, 1831; Deuxième note sur la théorie de la chaleur, ibid. 1, 123,1831

参考文献編集

関連項目編集