文献あり

複素関数の復習その4

この著者は初心者として投稿しています。間違いや考慮が足りていない点が含まれている可能性が高いです。見つけたらコメント欄で優しく指摘してあげましょう。

今回は、Jordanの補題とCauchyの主値積分を扱い、いよいよ留数定理を使った問題が色々解けるようになっていきたいと思います。

まず解けるようになりたい問題はこちらです。

$I = \int_{0}^{\infty} d x \frac{\sin x}{x}$
を求めよ

これを複素積分を使って解くために、実軸上を $- R$ から $R$ まで動き、複素平面の上半平面上を半径Rの半円に沿って $0$ から $π$ まで回って $- R$ に戻ってくるような閉曲線の経路 $C$ を考え、実軸上の部分を $C_{1}$ ,半円の弧の部分を $C_{2}$ にします。
三角関数は積分する際は指数関数に直した方が扱いやすいので、一旦 $f (z) = \frac{e^{i z}}{z}$ と置きましょう。すると、
$\oint_{C} d z \frac{e^{i z}}{z} = \int_{- R}^{R} d z \frac{e^{i z}}{z} + \int_{C_{2}} d z \frac{e^{i z}}{z}$
です。第一項目は、
$\int_{- R}^{R} d z \frac{e^{i z}}{z} = 2 i \int_{0}^{R} \frac{\sin z}{z}$
となり、 $R \to \infty$ で $I$ を求めるのに使えそうです。ということは、 $C_{2}$ の積分が邪魔ですね。

Jordanの補題

こんな時に使えるのがJordanの補題です。

Jordanの補題

$C_{2}$ を中心0,半径Rの半円( $0 \leq θ \leq π$ )とする。 $f (R e^{i θ})$ が $R \to \infty$ で一様に $0$ に収束し、かつ $a > 0$ なら
$lim_{R \to \infty} \int_{C_{2}} d z e^{i a z} f (z) = 0$

0に収束するやつがさらに指数関数で抑えられてたら、線積分しても0だよっていう話です。

$\int_{C_{2}} d z e^{i a z} f (z) = \int_{0}^{π} d θ i R e^{i θ} e^{i a R e^{i θ}} f (R e^{i θ})$
$| i R e^{i θ} e^{i a R e^{i θ}} f (R e^{i θ}) | = R e^{- a R \sin θ} | f (R e^{i θ}) |$
なので、
$\int_{C_{2}} d z e^{i a z} f (z) \leq \int_{0}^{π} d θ R e^{- a R \sin θ} | f (R e^{i θ}) |$
ここで、一様収束性より、任意の $ε > 0$ について $R_{0}$ が存在し、 $R > R_{0}$ なら $| f (R e^{i θ}) | < ε$ なので、
$\int_{C_{2}} d z e^{i a z} f (z) \leq \int_{0}^{π} d θ R e^{- a R \sin θ} ε = 2 \int_{0}^{\frac{π}{2}} d θ R e^{- a R \sin θ} ε$
$0 \leq θ \leq \frac{π}{2}$ で $\sin θ > \frac{2}{π} θ$ なので、
$\int_{C_{2}} d z e^{i a z} f (z) \leq 2 \int_{0}^{\frac{π}{2}} d θ R e^{- \frac{2 a R}{π} θ} ε \leq \frac{π ε}{a}$
よって、 $R \to \infty$ で $\int_{C_{2}} d z e^{i a z} f (z) \to 0$ が示せた。

問題1で登場した式にもこの補題が適用できます。
$\frac{1}{z}$ は $R \to \infty$ で0に一様収束するので、 $R \to \infty$ で $\int_{C_{2}} d z \frac{e^{i z}}{z} \to 0$ です。
つまり、
$lim_{R \to \infty} \oint_{C} d z \frac{e^{i z}}{z} = 2 i I$
となります。
それでは、この式の左辺はどう計算すれば良いでしょうか？

Cauchyの主値積分

留数定理を使いたいところですが、 $\frac{e^{i z}}{z}$ の特異点は $z = 0$ ですが、これは経路上にバッチリ乗ってしまっています。こんな時に便利なのが、Cauchyの主値積分です。
前回紹介した留数定理によれば、特異点が全て閉曲線内にある時は
$\oint_{C} d z f (z) = 2 π i \sum_{j : C 内の特異点} R e s (f, z_{j})$
でした。経路上の点まで考えたい時は、