コーシーの積分公式
正則関数f:D→Cとa∈Dに対し、Crを中心aで半径rの円周に反時計回りに向きをつけたものとする。
Crおよびその内部がDに含まれるならば、
f(a)=2πi1∫Crz−af(z)dzが成り立つ。
つまり、正則関数f(z)のz=aでの値は、その点を中心とする円周上のfの値の平均であると理解できる。
まず証明の方針を説明しよう。
被積分関数z−af(z)はD∖{a}で正則なので、rを小さくしても積分値は変化しない。
(ここは連続変形と考えることもできるし、星形領域において経路を取り替えると考えてもよい。二つの同心円を半分に区切って、それぞれは星形領域内で取り替えられる。)
r→0の極限を考えると、Crは一点に近づくが、z−af(z)は無限大に発散するのである種の不定形の極限のようになっている。
ここを処理するために、z−af(z)−f(a)+z−af(a)と変形する。
1つ目の項はaでの微分可能性から、r→0で有限の値に収束し、線積分は0に収束する。
2つ目の項は極限を取らずとも直接計算できる。
この議論を整理したのが以下の証明である。
z−af(z)=z−af(z)−f(a)+z−af(a)であるので、
∫Crz−af(z)dz=∫Crz−af(z)−f(a)dz+∫Crz−af(a)dzである。
∫Crz−af(a)dz=2πif(a)であるので、残った積分が0であることを証明する。
fがaで正則であることから、
z→alimz−af(z)−f(a)=f′(a)であり、あるMを用いて任意の十分小さなrに対しz∈Crならば、
z−af(z)−f(a)<Mとできる。
そのような十分小さなrに対し、
∣∫Crz−af(z)−f(a)dz∣≤∫Cr∣z−af(z)−f(a)∣∣dz∣=∫CrM∣dz∣≤2πrMである。
ここで、コーシーの積分定理により左辺の積分はrに依存しない。
一方で2πrMはr→0で0に収束するため、
∣∫Crz−af(z)−f(a)dz∣=0である。
コーシーの積分定理を用いた経路の連続変形により、閉曲線の形を取り替えることもできる。
正則関数f:D→Cとa∈Dとする。
閉曲線CがD∖{a}において、a中心の十分小さな半径rの円周反時計回りに連続変形できるとする。
このとき、
f(a)=2πi1∫Cz−af(z)dzが成り立つ。
例題。
C=B2(0)とする。
∫Cz−1ezdz=2πie∫Cz2−1ezdz=∫C2ez(z−11−z+11)dz