グリーンの定理
| 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 =
テンプレート:Endflatlistテンプレート:Startflatlist
| list2name = differential | list2titlestyle = display:block;margin-top:0.65em; | list2title = テンプレート:Bigger | list2 =
| 定義 |
|---|
| テンプレート:Endflatlist |
| 概念 |
| テンプレート:Endflatlist |
| 法則と恒等式 |
| テンプレート:Endflatlist |
| list3name = integral | list3title = テンプレート:Bigger | list3 =
| 定義 |
|---|
| Integration by |
| list4name = series | list4title = テンプレート:Bigger | list4 =
| 収束判定法 |
|---|
| list5name = vector | list5title = テンプレート:Bigger | list5 =
| 定理 |
|---|
| list6name = multivariable | list6title = テンプレート:Bigger | list6 =
| Formalisms |
|---|
| 定義 |
| list7name = specialized | list7title = テンプレート:Bigger | list7 = テンプレート:Startflatlist
}}グリーンの定理（グリーンのていり、英: Green's theorem）は、ベクトル解析の定理である[1][2] 。イギリスの物理学者ジョージ・グリーンが導出した。2 つの異なる定理がそれぞれグリーンの定理と呼ばれる。詳細は以下に記す。
Contents
グリーンの定理（2 次元）
2 重積分と線積分との関係を表す数学公式である。これを 3 次元に拡張したものがストークスの定理であり、また一般化されたストークスの定理の特殊な場合（2 次元空間内の 1 次微分形式と 2 次微分形式の関係式）とも考えられる。
公式
閉曲線 C で囲まれた領域 D を考える場合、C1 級関数 P(x, y), Q(x, y) について、以下が成り立つ。
[math]\oint_{C} (P dx + Q dy) = \iint_{D} \left( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \right) dx dy[/math]
すなわち、P(x, y), Q(x, y)のC上の線積分が、その外微分の領域D上の重積分に一致する。
定理の成立条件
- 領域と境界の条件
領域D としては、境界が区分的に滑らかな単一閉曲線Cとする単連結領域のほかに、多重連結領域を考えることができる。多重連結領域の場合には、その境界が区分的に滑らかな閉曲線C1、C2、…、Cn で与えられるとし、C2、…、Cn がC1 の内部に含まれるとしたときに、C2、…、Cn の向き付けは、正の方向に進んだときに、領域D の内部が左側に位置するようにとるものとする。すなわち、外部の境界C1 の向き付けが反時計回りであるのに対し、内部の境界 C2、…、Cn の向き付けは時計回りとする。
- 関数の連続微分可能性
定理の成立条件として、P、Q がそれぞれy、x について1回連続微分可能（C1級）が仮定されることが多いが、実際は∂Q/∂x、∂P/∂yが存在し、その差のみが連続であれば十分であることが、1900年、エドゥアール・グルサによって示され[3]、その後、サロモン・ボホナーによっても、1930年代に同様な指摘がなされている[4]。
一般化されたストークスの定理との対応
グリーンの定理は、以下のように一般化されたストークスの定理において、R2の有界閉領域D 上で1次の微分形式ωを考えた場合に相当する。
- [math] \int_{\partial D} \omega = \int_D d\omega [/math]
実際、1形式
- [math] \omega= Pdx+Qdy, \, [/math]
に対して、その外微分は
- [math] d \omega = \biggl ( \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} \biggr ) dx \wedge dy [/math]
であり、グリーンの定理に対応している。
応用
面積の求積
グリーンの公式の応用の一つとして、平面内の領域Dに対し、その周囲における線積分による面積の求積がある[2]。閉曲線Cで囲まれる領域Dに対し、その面積は
- [math] A = \iint_{D} 1 dxdy [/math]
で与えられる。P(x, y)=-y/2、Q(x, y)=x/2とすると、
- [math] \frac{\partial Q}{\partial x} - \frac{\partial P}{\partial y} =1 [/math]
であるから、グリーンの定理より、面積Aは線積分
- [math] A = \frac{1}{2} \oint_{C} -y dx +xdy [/math]
で求まる。
P(x, y)=y、Q(x, y)=0、もしくはP(x, y)=0、Q(x, y)=xの組からも同様の結果を得ることができ、面積Aを求める線積分の公式として、
- [math] A = \oint_{C} xdy = \oint_{C} -y dx [/math]
も成り立つ。
コーシーの積分定理
複素数z=x +iy の正則関数
- [math] f(z)=f(x+iy)=u(x,y)+iv(x,y) \quad u,v \in \mathbb{R} [/math]
にグリーンの定理を適用すれば、「正則関数の閉曲線上の積分がゼロになる」というコーシーの積分定理を導くことができる。 実際、
- [math] \oint_C f(z)\, dz =\oint_C (u\,dx-v\,dy)+i \oint_C (u\,dy+v \,dx) [/math]
に対して、グリーンの定理より、
- [math] \oint_C (u\,dx-v\,dy) = \iint_D\biggl ( -\frac{\partial v}{\partial x} - \frac{\partial u}{\partial y} \biggr ) \, dxdy , \quad \oint_C (u\,dy+v\,dx)= \iint_D \biggl (\frac{\partial u}{\partial x} - \frac{\partial v}{\partial y} \biggr ) \, dxdy [/math]
であるが、被積分関数はコーシー・リーマンの関係式より、0に等しく、
- [math] \oint_C f(z)\, dz =0 [/math]
を得る。
グリーンの定理（3 次元）
ラプラシアンを含む体積分を境界上の面積分に置き換える数学公式である。
公式
3 次元空間内の領域 D、2 階微分可能な任意ベクトル場 φ, ψ について、
[math] \int_D dV(\phi\nabla^2\psi-\psi\nabla^2\phi) = \oint_{\partial D}d\boldsymbol{S}\cdot(\phi\boldsymbol{\nabla}\psi-\psi\boldsymbol{\nabla}\phi)[/math]
が成立する。これは右辺に発散定理を適用して体積分に書き換えることで容易に得られる。
脚注
- ↑ George B. Arfken and Hans J. Weber (2005), chapter.1
- ↑ 2.0 2.1 宮島 (2007), 第2章
- ↑ Goursat, Édouard. “Sur la définition générale des fonctions analytiques, d'après Cauchy”. Transactions of the American Mathematical Society 1 (1): 14–16. doi:10.1090/S0002-9947-1900-1500519-7.
- ↑ 一松, 信 『ベクトル解析入門』 森北出版、1997。ISBN 9784627036901。
参考文献
- George B. Arfken and Hans J. Weber, Mathematical Methods for Physicists, Elsevier Academic Press (2005), ISBN 978-0120598762
- 宮島静雄『微分積分学としてのベクトル解析』共立出版（2007年）ISBN 978-4320018389
関連項目
- グリーンの定理（2 次元）
- グリーンの定理（3 次元）