コーシーの積分公式

テンプレート:出典の明記 コーシーの積分公式（コーシーのせきぶんこうしき）は、コーシーの第2定理、コーシーの積分表示 (テンプレート:Lang-en-short) ともいわれ、オーギュスタン＝ルイ・コーシーによって示された、ガウス平面上のある領域において正則な関数の周回積分についての定理である。

公式

D を単連結領域、C を D 内にある長さを持つ単純閉曲線、f(z) を D 上の正則関数とする。C によって囲まれる領域の任意の 1 点 a において、以下の式が成立する。

f (a) = \frac{1}{2 π i} \oint_{C} \frac{f (z)}{z - a} d z .

また、この式を用いて f(z) の n 階複素導関数を与えることができる。a を z に置き換えて、積分変数を ζ で置き換えると

f (z) = \frac{1}{2 π i} \oint_{C} \frac{f (ζ)}{ζ - z} d ζ .

この式の両辺について、差分商 $\frac{f (z + h) - f (z)}{h}$ の極限をとることを繰り返すことで以下の式が示され、また正則な関数が複素変数の意味で無限回微分可能であることも示される。

f^{(n)} (z) = \frac{n!}{2 π i} \oint_{C} \frac{f (ζ)}{(ζ - z)^{n + 1}} d ζ

具体的な例として関数は

g (z) = \frac{z^{2}}{z^{2} + 2 z + 2}

と経路Cは|z| = 2(つまり半径2の円)とする。関数g(z)について経路Cの積分を求めるため、g(z)の特異点を知る必要がある。次のようにg(z)を書き換えることができることに注意して

g (z) = \frac{z^{2}}{(z - z_{1}) (z - z_{2})}

ここで $z_{1} = - 1 + i,$ $z_{2} = - 1 - i .$ である。

よって, g(z)は $z_{1}$ と $z_{2}$ に極を持つ。この極の絶対値は2よりも小さいため、経路Cより内側にある。この積分はコーシーの積分定理により2つの積分に分割できる。

経路Cの積分はz₁ と z₂の各極周囲の小さな円の経路積分の和で表される。それぞれz₁周囲の経路C₁とz₂周囲の経路C₂と呼ぶ。これらのそれぞれ積分は、コーシー積分公式により解くことができるが、それらを公式が適用できるよう書き直す必要がある。

C₁周囲の積分は、f₁(z) = (z − z₁)g(z)により与えられる。これは正則関数である（経路内に他の特異点が含まれていないため）。単純化するため f₁ を

f_{1} (z) = \frac{z^{2}}{z - z_{2}}

とすると、

g (z) = \frac{f_{1} (z)}{z - z_{1}} .

コーシーの積分定理より

\oint_{C} \frac{f_{1} (z)}{z - a} d z = 2 π i \cdot f_{1} (a),

積分を次のように評価できる。

\oint_{C_{1}} g (z) d z = \oint_{C_{1}} \frac{f_{1} (z)}{z - z_{1}} d z = 2 π i \frac{z_{1}^{2}}{z_{1} - z_{2}} .

もう一方の経路に対しても同様に行う。

f_{2} (z) = \frac{z^{2}}{z - z_{1}},

\oint_{C_{2}} g (z) d z = \oint_{C_{2}} \frac{f_{2} (z)}{z - z_{2}} d z = 2 π i \frac{z_{2}^{2}}{z_{2} - z_{1}} .

元の経路Cの積分は、これらの2つの積分の合計である。

\begin{matrix} \oint_{C} g (z) d z & = \oint_{C_{1}} g (z) d z + \oint_{C_{2}} g (z) d z \\ = 2 π i (\frac{z_{1}^{2}}{z_{1} - z_{2}} + \frac{z_{2}^{2}}{z_{2} - z_{1}}) \\ = 2 π i (- 2) \\ = - 4 π i . \end{matrix}

他の解法では部分分数分解を使った初歩的な技法により積分が求められる。

\oint_{C} g (z) d z = \oint_{C} (1 - \frac{1}{z - z_{1}} - \frac{1}{z - z_{2}}) d z = 0 - 2 π i - 2 π i = - 4 π i

テンプレート:Citation.
[1] [2] D. Pompeiu, Sur la continuité des fonctions de variables complexes, Annales de la Faculté des Sciences de Toulouse Sér. 2, 7 no. 3 (1905), pp. 265–315
テンプレート:Citation
テンプレート:Citation
テンプレート:Citation
テンプレート:Citation