グリーンの定理の証明（境界が複数の区分的な閉曲線の場合）と参考文献まとめ

グリーンの定理は多変数解析学の重要な定理の一つであり、境界が単純閉曲線の場合の証明は教科書にもよく登場します。しかし「境界が有限個の区分的に滑らかな単純閉曲線の場合」にどのように拡張して証明するのかは、初学者にとって難しいポイントです。本記事ではその考え方と典型的な証明の流れを整理します。

結論：領域分割と単純閉曲線への帰着で証明する

一般の場合のグリーンの定理は、まず単純な領域（1つの単純閉曲線で囲まれる領域）に分割して考えます。

その上で、各部分領域に対してグリーンの定理を適用し、境界積分の符号が打ち消し合うことを利用して全体を示します。

この「分割と加法性」が核心になります。

基本形のグリーンの定理は、境界が1つの単純閉曲線である場合に成立します。

このとき、領域Dは「単連結で穴のない領域」として扱われます。

このケースの証明を出発点として一般化を行います。

境界が複数の単純閉曲線になる場合、領域は「外側の境界＋内側の穴（反時計回り）」で構成されます。

外周は正の向き、内周は負の向きで扱うことで符号が整います。

この向きの設定が証明の重要なポイントです。

複雑な領域Dを有限個の単純領域に分割します。

各部分にグリーンの定理を適用すると、内部の境界は互いに逆向きとなり積分が相殺されます。

結果として外側の境界積分のみが残り、全体の等式が成立します。

境界が区分的に滑らかであることは、線積分が定義可能であるための条件です。

また有限個であることにより、分割や極限操作が安全に行えます。

この条件が満たされることで証明が厳密になります。

グリーンの定理の一般形の証明は以下の定番書籍に詳しく掲載されています。

・杉浦光夫『解析入門I・II』（東京大学出版会）

・Spivak『Calculus on Manifolds』

・Apostol『Mathematical Analysis』

これらは特に理論的に厳密な証明が丁寧です。

境界が複数ある場合のグリーンの定理は、単純領域への分割と境界の符号相殺によって証明されます。

基本形（単純閉曲線）の証明を土台にして拡張するのが標準的な方法です。

厳密な理解には解析学の教科書を参照するのが最も確実です。