発散定理

{{#invoke:sidebar|collapsible

| class = plainlist | titlestyle = padding-bottom:0.25em; | pretitle = Part of a series of articles about | title = 解析学 | listtitlestyle = text-align:center; | liststyle = border-top:1px solid #aaa;padding-top:0.15em;border-bottom:1px solid #aaa; | expanded =

| abovestyle = padding:0.15em 0.25em 0.3em;font-weight:normal; | above =

• 基本定理

• 関数の極限
• 連続性

• 平均値の定理
• ロルの定理

| list2name = differential | list2titlestyle = display:block;margin-top:0.65em; | list2title = テンプレート:Bigger | list2 =

| list3name = integral | list3title = テンプレート:Bigger | list3 =

積分一覧
定義
不定積分 積分 (広義) リーマン積分 ルベーグ積分 線積分 複素線積分
Integration by
部分積分 Discs Cylindrical shells Substitution (trigonometric) 部分分数 順序 Reduction formulae

| list4name = series | list4title = テンプレート:Bigger | list4 =

幾何 (算術幾何) 調和 交代 冪 二項 テイラー
収束判定法
項の極限（項判定法） 比 冪根 積分 比較 極限比較 交代級数 Cauchy condensation ディリクレ アーベル

| list5name = vector | list5title = テンプレート:Bigger | list5 =

勾配 発散 回転 ラプラシアン 方向微分 公式
定理
発散 勾配 グリーン ケルビン・ストークス

| list6name = multivariable | list6title = テンプレート:Bigger | list6 =

Formalisms
行列 テンソル 外 幾何学的
定義
偏微分 多重積分 線積分 面積分 体積積分 ヤコビアン ヘッセ行列

| list7name = specialized | list7title = テンプレート:Bigger | list7 = テンプレート:Startflatlist

• 分数階
• マリアヴァン
• 確率
• 変分

}}

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

定理の内容

数式を用いて述べると次のようになる。まず、R³ で定義された滑らかなベクトル場 [math]\boldsymbol{\mathit{F}}=(F_1,F_2,F_3)[/math] に対して F の発散 div F を

[math]\bold{div}\boldsymbol{\mathit{F}}= \frac{\partial\mathit{F}_1}{\partial x}+ \frac{\partial\mathit{F}_2}{\partial y}+ \frac{\partial\mathit{F}_3}{\partial z}[/math]

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

[math]\bold{div}\boldsymbol{\mathit{F}}=\boldsymbol{\mathit{\nabla}}\cdot\boldsymbol{\mathit{F}}[/math]

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

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

[math] \iiint_V \bold{div} \boldsymbol{\mathit{F}}\,dxdydz= \iint_{\partial V} \boldsymbol{\mathit{F}}\!\cdot\!\boldsymbol{\mathit{n}}\,dS[/math]

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

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

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

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

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

[math] \int_{\partial V} \omega = \int_V d\omega [/math]

ここでωは

[math] \omega= F_1dy \wedge dz + F_2 dz \wedge dx +F_3 dx \wedge dy [/math]

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

[math] d \omega = \biggl ( \frac{\partial F_1}{\partial x} + \frac{\partial F_2}{\partial y} + \frac{\partial F_3}{\partial z} \biggr ) dx \wedge dy \wedge dz [/math]

応用

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

[math] \oint_S \mathrm{d} \boldsymbol{S} \cdot \boldsymbol{E} = \frac{Q}{\varepsilon _0} = \frac{1}{\varepsilon _0} \int_V \mathrm{d} V \rho [/math]

[math] \mathrm{\bold{div}} \boldsymbol{E} = \frac{\rho}{\varepsilon _0}[/math]

参考文献

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

関連項目

• グリーンの定理
• ケルビン・ストークスの定理
• ストークスの定理