複素解析 中級
Complex Analysis - Intermediate
大学2-3年レベルこの章の目標
- ローラン展開の理論と計算方法を習得する
- 特異点の分類（除去可能、極、真性特異点）を理解する
- 留数の計算技法を身につける
- 留数定理を用いて複素積分を計算できるようになる
- 実積分への応用（有理関数、三角関数、フーリエ型）を学ぶ
- 偏角の原理とルーシェの定理を理解する
前提知識
- 初級の内容（正則関数、コーシーの積分定理・積分公式）
- 級数の収束（一様収束、絶対収束）
- テイラー展開の基礎
章の構成
第1章: ローラン展開
環状領域での関数展開。ローラン級数の主要部と正則部について学ぶ。
第2章: 特異点の分類
孤立特異点の分類：除去可能特異点、極、真性特異点。ピカールの定理。
第3章: 留数の計算
留数の定義と計算方法。1位の極、n位の極、真性特異点の留数。
第4章: 留数定理
留数定理の証明と応用。閉曲線積分の計算。
第5章: 実積分への応用
有理関数、三角関数、フーリエ変換型の積分。ジョルダンの補題。
第6章: 偏角の原理
偏角の原理、ルーシェの定理、開写像定理。零点と極の個数。
第7章: リーマン球面
拡大複素平面、立体射影、無限遠点での正則性を学ぶ。
第8章: ルーシェの定理
ルーシェの定理と応用、開写像定理、フルヴィッツの定理を学ぶ。
第9章: 練習問題
中級レベルの理解を確認するための演習問題集。
カゾラーティ＝ワイエルシュトラスの定理（Casorati-Weierstrass Theorem）
真性特異点のまわりで正則関数の像が稠密になる定理。背理法による証明とピカールの大定理との比較。
調和共役関数（Harmonic Conjugate）
コーシー・リーマン方程式による共役調和関数の構成・一意性・等位線の直交性と複素ポテンシャル。
アダマールの三円定理（Hadamard Three-Circles Theorem）
log M(r) が log r の凸関数であること。最大絶対値の原理と補間理論への応用。
フラグメン＝リンデレーフの定理（Phragmén-Lindelöf Principle）
非有界領域における最大絶対値の原理の拡張。増大度条件と補助関数による帰着。
概要
中級では、複素解析の最も実用的で強力な道具である留数定理を中心に学ぶ。初級で学んだコーシーの積分定理は「正則関数の閉曲線積分は0」という結果であったが、中級では関数が正則でない点（特異点）がある場合を扱う。
ローラン展開は、テイラー展開を一般化したもので、特異点の周りで関数を負のべき乗を含む級数に展開する。この展開における $(z-a)^{-1}$ の係数が留数であり、閉曲線積分の値を決定する。
留数定理の驚くべき応用の一つは、実積分の計算である。実数上の積分を複素平面に拡張し、留数を計算することで、初等的な方法では困難な積分を評価できる。例えば：
$$\displaystyle\int_0^\infty \dfrac{1}{1+x^2}\,dx = \dfrac{\pi}{2}, \quad \displaystyle\int_0^\infty \dfrac{\sin x}{x}\,dx = \dfrac{\pi}{2}$$これらの公式は、留数定理を用いれば系統的に導出できる。
また、偏角の原理は、関数の零点と極の個数を積分で数える強力な道具であり、ルーシェの定理を通じて多項式や解析関数の零点の存在証明に応用される。