コーシーの積分定理は、複素解析における最も基本的な定理の一つです。特に「単連結領域D上で複素微分可能な関数は、任意の閉曲線に沿った積分が0になる」という主張は重要ですが、その証明には通常、多角形近似やグリーンの定理を利用する方法が紹介されます。この記事では、多角形近似以外の考え方も含め、D上の複素微分可能性からコーシーの積分定理を導くための厳密な流れを解説します。
コーシーの積分定理が主張していること
コーシーの積分定理とは、領域D内で正則な関数f(z)について、D内の任意の閉曲線Cに対して次が成立するという定理です。
∮C f(z) dz = 0
ここで正則とは、その領域内のすべての点で複素微分可能であることを意味します。また、単連結領域とは、領域内の任意の閉曲線を領域から出ることなく一点に縮められるような領域です。
例えば、円板の内部は単連結ですが、穴の開いたドーナツ状の領域は単連結ではありません。この違いがコーシーの積分定理の成立条件に関係します。
複素微分可能性だけではそのまま証明できない理由
複素微分可能性は非常に強い条件ですが、証明にそのまま利用するには注意が必要です。複素微分可能性から得られる情報は、局所的な性質だからです。
例えば、f(z)=u(x,y)+iv(x,y)と表した場合、複素微分可能性からコーシー・リーマン方程式が得られます。
∂u/∂x=∂v/∂y、∂u/∂y=-∂v/∂x
しかし、閉曲線全体に対する積分が0になることを示すには、局所的な微分可能性を領域全体の性質へ拡張する仕組みが必要になります。
グリーンの定理を使う方法
多角形近似以外の代表的な証明方法として、グリーンの定理を使う方法があります。
f(z)=u+ivとすると、線積分は次のように実部と虚部に分けられます。
∮C f(z)dz=∮C(u+iv)(dx+idy)
これを整理すると、uやvの偏微分を含む形になります。ここでコーシー・リーマン方程式を用いると、グリーンの定理によって面積分の被積分関数が0になることが分かります。
つまり、複素微分可能性によって生じる微分関係が、閉曲線積分を消滅させる原因になります。
原始関数の存在を利用する証明方法
別の考え方として、正則関数が単連結領域上で原始関数を持つことを利用する方法があります。
もしF'(z)=f(z)となる正則関数Fが存在すれば、閉曲線Cに沿った積分は
∮C f(z)dz=∮C F'(z)dz=0
となります。これは実解析でいう「完全微分の線積分は経路によらない」という考え方に対応しています。
この方法では、多角形近似を使わず、領域の単連結性と正則関数の性質から直接結果を導けます。
ホモトピーを利用した位相的な証明
さらに高度な方法として、ホモトピー（連続変形）の考え方を使う証明があります。
単連結領域では、任意の閉曲線Cは一点まで連続的に縮めることができます。この変形の途中で積分値が変化しないことを示せば、最終的に一点上の積分、つまり0になることが分かります。
この方法は、多角形分割やグリーンの定理に依存せず、複素解析と位相幾何の関係を利用した証明です。
ただし、厳密に扱う場合にはホモトピー不変性を証明する必要があり、一般的な教科書ではグリーンの定理や原始関数による証明の方が多く使われています。
区分的C1級ジョルダン閉曲線の場合の注意点
区分的C1級ジョルダン閉曲線とは、有限個の滑らかな部分に分割できる単純閉曲線です。この条件は線積分やグリーンの定理を適用するために重要になります。
多角形近似を避けたい場合でも、曲線の正則性や領域の性質を利用する必要があります。完全に複素微分可能性だけから自動的に閉曲線積分が0になるわけではなく、単連結性や曲線の条件が組み合わさって定理が成立します。
つまり、証明の本質は「局所的な複素微分可能性」と「領域全体の位相的性質」を結びつけることにあります。
まとめ｜多角形近似以外にもコーシーの積分定理を証明する方法はある
単連結領域D上で複素微分可能な関数についてコーシーの積分定理を示す方法は、多角形近似だけではありません。
代表的な方法として、グリーンの定理を利用する方法、原始関数の存在を利用する方法、ホモトピーによる位相的な方法があります。
特に原始関数の存在やホモトピーを使う方法は、単連結性という条件の意味をより深く理解できる証明です。コーシーの積分定理は、複素微分可能性だけでなく、解析的性質と位相的性質が結びついた結果として成り立っています。
コメント