グリーンの定理(グリーンのていり、: Green's theorem)は、ベクトル解析定理である[1][2]イギリスの物理学者ジョージ・グリーンが導出した。2つの異なる定理がそれぞれグリーンの定理と呼ばれる。詳細は以下に記す。

グリーンの定理(2次元)編集

2重積分線積分との関係を表す数学公式である。これを3次元に拡張したものがストークスの定理であり、また一般化されたストークスの定理の特殊な場合(2次元空間内の1次微分形式と2次微分形式の関係式)とも考えられる。

公式編集

閉曲線 C で囲まれた領域 D を考える場合、C1 級関数 P(x, y), Q(x, y) について、以下が成り立つ。

 

すなわち、P(x, y), Q(x, y)のC上の線積分が、その外微分の領域D上の重積分に一致する。

定理の成立条件編集

領域と境界の条件

領域D としては、境界が区分的に滑らかな単一閉曲線Cとする単連結領域のほかに、多重連結領域を考えることができる。多重連結領域の場合には、その境界が区分的に滑らかな閉曲線C1C2、…、Cn で与えられるとし、C2、…、CnC1 の内部に含まれるとしたときに、C2、…、Cn の向き付けは、正の方向に進んだときに、領域D の内部が左側に位置するようにとるものとする。すなわち、外部の境界C1 の向き付けが反時計回りであるのに対し、内部の境界 C2、…、Cn の向き付けは時計回りとする。

関数の連続微分可能性

定理の成立条件として、PQ がそれぞれyx について1回連続微分可能(C1級)が仮定されることが多いが、実際は∂Q/∂x、∂P/∂yが存在し、その差のみが連続であれば十分であることが、1900年、エドゥアール・グルサ英語版によって示され[3]、その後、サロモン・ボホナーによっても、1930年代に同様な指摘がなされている[4]

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

グリーンの定理は、以下のように一般化されたストークスの定理において、R2の有界閉領域D 上で1次の微分形式ωを考えた場合に相当する。

 

実際、1形式

 

に対して、その外微分

 

であり、グリーンの定理に対応している。

応用編集

面積の求積編集

グリーンの公式の応用の一つとして、平面内の領域Dに対し、その周囲における線積分による面積の求積がある[2]プラニメータにも応用されている。閉曲線Cで囲まれる領域Dに対し、その面積は

 

で与えられる。P(x, y)=-y/2Q(x, y)=x/2とすると、

 

であるから、グリーンの定理より、面積Aは線積分

 

で求まる。

P(x, y)=-yQ(x, y)=0、もしくはP(x, y)=0Q(x, y)=xの組からも同様の結果を得ることができ、面積Aを求める線積分の公式として、

 

も成り立つ。

コーシーの積分定理編集

複素数z=x +iy正則関数

 

にグリーンの定理を適用すれば、「正則関数の閉曲線上の積分がゼロになる」というコーシーの積分定理を導くことができる。 実際、

 

に対して、グリーンの定理より、

 

であるが、被積分関数はコーシー・リーマンの関係式より、0に等しく、

 

を得る。

グリーンの定理(3次元)編集

ラプラシアンを含む体積分を境界上の面積分に置き換える数学公式である。

公式編集

3次元空間内の領域 D、2階微分可能な任意ベクトル場 φ, ψ について、

 

が成立する。これは右辺に発散定理を適用して体積分に書き換えることで容易に得られる。

脚注編集

  1. ^ George B. Arfken and Hans J. Weber (2005), chapter.1
  2. ^ a b 宮島 (2007), 第2章
  3. ^ 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. http://www.ams.org/journals/tran/1900-001-01/S0002-9947-1900-1500519-7/S0002-9947-1900-1500519-7.pdf. 
  4. ^ 一松, 信『ベクトル解析入門』森北出版、1997年。ISBN 9784627036901

参考文献編集

関連項目編集

グリーンの定理(2 次元)編集

グリーンの定理(3 次元)編集