複素解析中級

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}$$

これらの公式は、留数定理を用いれば系統的に導出できる。

また、偏角の原理は、関数の零点と極の個数を積分で数える強力な道具であり、ルーシェの定理を通じて多項式や解析関数の零点の存在証明に応用される。

読み物

留数の魔法読み物

実数のままでは手が出ない積分が、いったん複素平面へ飛び出すと一瞬で片づく。たった一つの数「留数」が積分の値を握る不思議な迂回路を、肩の力を抜いて語る。

道によらない不思議読み物

どんな道を通っても積分の答えが同じになる――コーシーの積分定理が生む「経路によらない」奇跡を、実数の世界との違いや穴の効き目を交えて気軽に語る。

角を保つ魔法読み物

大きさを引き伸ばしてもねじっても、小さな角度だけはそっくり残る。正則関数が「角を保つ地図」になる仕組みと、難しい領域をやさしい形へ写しかえる発想を、メルカトル図法の話を交えて気軽に語る。

よくある質問

複素解析の中級では何を学ぶか

ローラン展開、特異点の分類（除去可能特異点・極・真性特異点）、留数の計算と留数定理、留数定理の実積分への応用、偏角の原理とルーシェの定理、リーマン球面などを体系的に学ぶ。

留数定理はなぜ実積分の計算に使えるのか

実数上の積分を複素平面の閉曲線に沿う積分へ拡張すると、その値は曲線内部の留数の総和だけで決まる（留数定理）。半円や長方形の経路をとって不要な部分の寄与を消すことで、初等的には難しい実積分も系統的に評価できる。

ローラン展開はテイラー展開とどう違うのか

テイラー展開は正則な点のまわりでしか使えないが、ローラン展開は負のべき乗の項（主要部）を許すことで、特異点を含む環状領域でも関数を展開できる。主要部の $1/(z-a)$ の係数が留数である。