発散定理

提供: miniwiki
移動先:案内検索
{{#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 =

テンプレート:Startflatlist

テンプレート:Endflatlistテンプレート:Startflatlist

テンプレート:Endflatlist

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

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

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

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

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

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

テンプレート:Endflatlist

}}

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

定理の内容

数式を用いて述べると次のようになる。まず、R3 で定義された滑らかなベクトル場 [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]

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

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

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

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

この定理は 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]

脚注

  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

参考文献

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

関連項目