発散定理（はっさんていり、divergence theorem）は、ベクトル場の発散を、その場によって定義される流れの面積分に結び付けるものである。ガウスの定理とも呼ばれる。1762年にラグランジュによって発見され、その後ガウス（1813年）、グリーン（1825年）、オストログラツキー（1831年）によってそれぞれ独立に再発見された 。オストログラツキーはまたこの定理に最初の証明を与えた人物でもある。数式を用いて述べると次のようになる。まず、R で定義された滑らかなベクトル場 formula_1 に対して "F" の発散 div "F" をと定義する。発散は∇(ナブラ;nabla)を用いると,と表され,ベクトルの内積(ドット積)となる."V" を R において滑らか（ここでは "C" 級でよい）な境界 ∂"V" をもつ有界な領域（= 連結開集合）とし、"F" を "V" の閉包で定義されている滑らかなベクトル場とすると、が成り立つ。ここで、"n" は "V" の外向き単位法ベクトルとする。なお、定理が成り立つためには ∂"V" が区分的に "C" 級であれば十分である。この定理は div という演算が発散（あるいは"湧出量"）と呼ばれる所以でもある。右辺は領域 "V" から流れ出す量であり、それが全ての発散を合わせたものに等しくなっている。この定理は、一般的なストークスの定理から導くことができる。発散定理は、以下のように一般化されたストークスの定理において、2次微分形式のωを考えた場合に相当する。ここでωはであり、その外微分は次式で与えられる。発散定理を電磁気学に応用して、電荷から湧き出す電場についてのガウスの法則を数学的に記述できる（⇒マクスウェルの方程式）。

出典:wikipedia