📂複素解析

留数定理の証明

定理 ¹

解析的関数 $f: A \subset \mathbb{C} \to \mathbb{C}$ が単純閉曲線 $\mathscr{C}$ 内部に有限個の特異点 $z_{1} , z_{2} , \cdots , z_{m}$ を持つとする。すると、 $$ \int_{\mathscr{C}} f(z) dz = 2 \pi i \sum_{k=1}^{m} \text{Res}_{z_{k}} f(z) $$

説明

初めて読むと、この定理はとても不思議に感じるかもしれない。積分値を求めなければならないが、微積分的な計算はなく、特異点や留数の話が出てくるので、困惑することもあるだろう。定理を見る限り、留数を足すだけで積分値を見つけることができるようだが、本当にそうなのか？意外なことに、答えは「はい」で、それが留数定理の役割である。

このアプローチは、積分計算を他の計算に置き換えるだけで、解けなかった多くの積分が可能になる。実数では扱えなかったいくつかの積分も留数定理を使えば比較的簡単に解決される。複素解析には重要な定理がたくさんあるが、留数定理は特に有用な結果をたくさん与えるため、必ず理解しておくべきだ。

証明

まず、$\mathscr{C}$ を $m$ 個に分割して考えよう。

分割に対する一般化された収縮補助定理: 単純閉曲線 $\mathscr{C}$ を含む単純連結領域内で、$\mathscr{C}$ 内部の有限個の点 $z_{1} , z_{2}, \cdots z_{m}$ を除く全ての点で解析的であるとする $f: A \subseteq \mathbb{C} \to \mathbb{C}$。その場合、$\mathscr{C}$ 内部で$z_{k}$ を中心とする円 $\mathscr{C_k}$ に対して、 $$ \int_{\mathscr{C}} f(z) dz = \sum_{k=1}^{m} \int_{\mathscr{C}_{k}} f(z) dz $$

各 $\mathscr{C}_{k}$ をローラン展開すると、 $$ \int_{\mathscr{C}_{k}} f(z) dz = \int_{\mathscr{C}_{k}} \sum_{n = 0 }^{\infty} a_{nk} (z-z_{k}) ^{n} dz + \int_{\mathscr{C}_{k}} \sum_{n = 1 }^{\infty} { {b_{nk} } \over{ (z-z_{k}) ^{n} } } dz $$ コーシーの定理により、 $$ \int_{\mathscr{C}_{k}} f(z) dz = \int_{\mathscr{C}_{k}} \sum_{n = 1 }^{\infty} { {b_{nk} } \over{ (z-z_{k}) ^{n} } } dz $$ 一方で、$\int_{\mathscr{C}_{k}} {{1} \over {(z - z_{k})^n}} dz = \begin{cases} 2 \pi i & n = 1 \\ 0 & n \ge 2 \end{cases}$ なのでコーシーの積分公式によると、 $$ \int_{\mathscr{C}_{k}} f(z) dz = 2 \pi i b_{1k} = 2 \pi i \text{Res}_{z_{k}} f(z) $$ だから、 $$ \int_{\mathscr{C}} f(z) dz = 2 \pi i \sum_{k=1}^{m} \text{Res}_{z_{k}} f(z) $$

■

注意点

証明で特に留意すべき点は、$n=1$ のとき、$\displaystyle {{1} \over {z - z_{k}}}$ 係数、つまり留数 $b_1k$ を除き、その他すべてが $0$ になって消えるということである。留数定理があまりにも有用であるため、その応用しか勉強していないと、なぜそのような結果が出るのかさえも忘れがちになる。コーシーの積分公式とローラン展開の形を思い出せるなら、十分に密度の高い勉強をしたと言えるだろう。