グリーンの定理

下記テーマに関する記事の一部
解析学
基本定理 関数の極限 連続性 平均値の定理
微分法 定義 導関数 (一般化（英語版）) 微分 無限小 関数の 全 概念 微分の記法 二階導関数 三階導関数（英語版） 変数変換（英語版） 陰関数の微分 Related rates（英語版） テイラーの定理 法則と恒等式（英語版） 和（英語版） 積 合成 冪（英語版） 商 一般ライプニッツ ファー・ディ・ブルーノの公式（英語版）
積分法 積分一覧 定義 不定積分 積分 (広義) リーマン積分 ルベーグ積分 線積分 複素線積分 道具 部分 Discs（英語版） 円殻（バウムクーヘン） 置換 三角置換（英語版） 部分分数（英語版） 順序（英語版） 漸化式
級数 幾何 (算術幾何) 調和 交代 冪 二項 テイラー 収束判定法（英語版） 項の極限（項判定法）（英語版） 比 冪根 積分 比較 極限比較（英語版） 交代級数（英語版） 凝集 ディリクレ アーベル（英語版）
ベクトル 勾配 発散 回転 ラプラシアン 方向微分 公式（英語版） 定理 発散 勾配（英語版） グリーン ケルビン・ストークス
多変数 形式と枠組み 行列（英語版） テンソル 外 幾何学的（英語版） 定義 偏微分 多重積分 線積分 面積分 体積分 ヤコビアン ヘッセ行列
特殊化 分数階微積分 解析接続 マリアヴァン（英語版） 確率（英語版） 変分
その他 解析学記号
表 話 編 歴

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

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

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

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

領域と境界の条件

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

関数の連続微分可能性

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

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

${\displaystyle \int _{\partial D}\omega =\int _{D}\mathrm {d} \omega }$

実際、1形式

${\displaystyle \omega =P\mathrm {d} x+Q\mathrm {d} y,\,}$

に対して、その外微分は

${\displaystyle \mathrm {d} \omega ={\biggl (}{\frac {\partial Q}{\partial x}}-{\frac {\partial P}{\partial y}}{\biggr )}\mathrm {d} x\wedge \mathrm {d} y}$

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

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

${\displaystyle A=\iint _{D}1\mathrm {d} x\mathrm {d} y}$

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

${\displaystyle {\frac {\partial Q}{\partial x}}-{\frac {\partial P}{\partial y}}=1}$

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

${\displaystyle A={\frac {1}{2}}\oint _{C}(-y\mathrm {d} x+x\mathrm {d} y)}$

で求まる。

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

${\displaystyle A=\oint _{C}x\mathrm {d} y=\oint _{C}-y\mathrm {d} x}$

も成り立つ。

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

${\displaystyle f(z)=f(x+iy)=u(x,y)+iv(x,y)\quad u,v\in \mathbb {R} }$

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

${\displaystyle \oint _{C}f(z)\,\mathrm {d} z=\oint _{C}(u\,\mathrm {d} x-v\,\mathrm {d} y)+i\oint _{C}(u\,\mathrm {d} y+v\,\mathrm {d} x)}$

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

${\displaystyle \oint _{C}(u\,\mathrm {d} x-v\,\mathrm {d} y)=\iint _{D}{\biggl (}-{\frac {\partial v}{\partial x}}-{\frac {\partial u}{\partial y}}{\biggr )}\,\mathrm {d} x\mathrm {d} y,\quad \oint _{C}(u\,\mathrm {d} y+v\,\mathrm {d} x)=\iint _{D}{\biggl (}{\frac {\partial u}{\partial x}}-{\frac {\partial v}{\partial y}}{\biggr )}\,\mathrm {d} x\mathrm {d} y}$

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

${\displaystyle \oint _{C}f(z)\,\mathrm {d} z=0}$

を得る。

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

３次元空間内の領域 D、２階微分可能な任意スカラー場 φ, ψ について、

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

• George B. Arfken and Hans J. Weber, Mathematical Methods for Physicists, Elsevier Academic Press (2005), ISBN 978-0120598762
• 宮島静雄『微分積分学としてのベクトル解析』共立出版（2007年）ISBN 978-4320018389

ウィキメディア・コモンズには、グリーンの定理に関連するカテゴリがあります。

• ストークスの定理
• コーシーの積分定理

• ケルビン・ストークスの定理
• ガウスの発散定理