1 基本概念
複素解析は、複素数を変数にもつ関数を扱う分野である。実数上の微分積分と共通する語彙を用いながらも、複素微分可能性を課すことで関数の形は著しく制限され、その反面、強力な定理が成立する。こうした性質により、局所的な振る舞いと大域的な構造の両方を深く調べられる。
1.1 複素数と複素平面
複素数は、実部と虚部をもつ数として表され、通常は $z = x + iy$ の形で書かれる。ここで $i$ は $i^2=-1$ を満たす虚数単位である。複素平面では、横軸に実部、縦軸に虚部をとり、複素数を平面上の点として可視化する。この表示法は、加法や乗法の幾何学的意味を理解するうえで有用である。
1.2 複素関数
複素関数とは、複素数を入力として複素数を返す写像である。たとえば $f(z)=z^2$ や $f(z)=1/z$ は基本的な例である。複素変数の関数は、実変数の関数よりも振る舞いが整っていることが多く、特に微分可能な場合には非常に強い性質を示す。値の変化は平面上の変換としても解釈でき、局所的な拡大縮小や回転を含むことがある。
1.3 極限と連続性
複素関数の極限は、入力が複素平面内である点に近づくときの関数値のふるまいで定義される。極限が一意に定まるためには、近づき方がどの方向でも同じ結果になる必要がある。連続性は、ある点での極限値がその点での関数値と一致することとして定義される。これらの概念は実解析と形式上は似ているが、複素平面では方向が無数にあるため、条件はより厳密になる。
1.4 複素微分可能性
複素微分可能性は、複素解析の中心的概念である。ある点での微分係数が存在するとは、増分を複素数として見たときに、差商が方向に依らず同じ極限を持つことを意味する。実変数の場合より条件が厳しいため、微分可能な関数は少ないが、その代わりに高度な規則性を獲得する。
1.4.1 コーシー・リーマンの条件
複素関数を実部 $u(x,y)$ と虚部 $v(x,y)$ に分けると、微分可能であるためには両者が一定の偏微分条件を満たす必要がある。これがコーシー・リーマンの条件である。これは、実部と虚部の変化が互いに調和的に結びついていることを表す。十分条件として使うには追加の仮定が必要だが、判定の基本式として広く利用される。
1.4.2 正則関数
正則関数とは、ある領域の各点で複素微分可能な関数を指す。通常は、開集合上で微分可能であることを意味する。正則性をもつ関数は、解析的であり、局所的には冪級数で表せる。このため、値の挙動が非常に滑らかで、零点や特異点の構造も精密に記述できる。
1.5 複素解析の初歩的な例
初歩的な例として、多項式関数、指数関数、三角関数、分数関数などが挙げられる。多項式は全平面で正則であり、指数関数は複素平面上でも自然に拡張される。三角関数は指数関数と結びついて表現でき、複素解析の枠組みで統一的に扱える。これらの例は、複素関数論の基本的な性質を直観的に示している。
2 複素積分
複素積分は、複素平面上の曲線に沿って関数を積分する考え方である。実積分と異なり、経路の形が結果に影響する場合があるため、曲線の向きや連結性が重要になる。複素積分は、関数の局所的性質と大域的性質を結びつける主要な道具である。
2.1 曲線と経路
曲線とは、複素平面内の連続的な道筋であり、経路は積分のために向きをもった曲線として扱われる。始点と終点を持つ場合が多く、閉曲線は出発点と終点が一致する。複素積分では、曲線の滑らかさや分割可能性が計算のしやすさに関わる。向きの反転は積分値の符号に影響する。
2.2 複素線積分
複素線積分は、曲線に沿って関数を足し合わせる操作である。通常、曲線をパラメータ表示し、その媒介変数に関する積分として定義される。実数の線積分と同様に扱えるが、複素数の回転や位相変化を反映できる点が特色である。関数と経路の組合せによっては、積分値が経路に依存しないこともある。
2.3 コーシーの積分定理
コーシーの積分定理は、正則関数の積分に関する基本結果である。適切な条件のもとでは、閉曲線に沿う積分は 0 になる。これは、正則性が強い制約をもたらすことを示す代表的な定理であり、後続の多くの結果の基盤となる。領域の単連結性などの条件が重要な役割を果たす。
2.4 コーシーの積分公式
コーシーの積分公式は、正則関数の値を境界上の積分から復元できることを示す。内部の点での関数値が、周囲の値によって決まるという点で、非常に強力である。この公式から、正則関数が無限回微分可能であることや、局所展開が可能であることも導かれる。複素解析の多くの定理は、この公式に根を持つ。
2.5 積分の評価法
複素積分の評価では、積分路の長さや被積分関数の大きさを用いて上界を与える方法が使われる。代表的には、ML不等式のような見積もりがある。これらは、極限操作や大域的議論で積分項を制御する際に役立つ。適切な評価は、留数計算や漸近解析にもつながる。
3 級数展開
複素解析では、関数を級数で表すことが重要である。特に、冪級数やローラン級数は、関数の局所構造を明らかにし、特異点の分類にも直結する。級数表示は計算手段であるだけでなく、理論的な理解を深める役割も持つ。
3.1 冪級数
冪級数は、ある点のまわりで項ごとのべき乗の和として表される級数である。複素解析では、収束円内でよく振る舞い、和関数は正則になる。係数によって関数の性質が決まるため、局所解析の標準的表現として用いられる。収束半径は、どこまで展開が有効かを示す。
3.2 テイラー級数
テイラー級数は、関数をある点での導関数の値を用いて展開した冪級数である。正則関数は、その領域内でテイラー展開を持つ。これは、複素微分可能性が単なる一階の性質にとどまらず、無限階の情報を与えることを意味する。解析関数の近似や計算において重要な手段となる。
3.3 ローラン級数
ローラン級数は、正のべきだけでなく負のべきも含む展開である。特異点の近傍では、冪級数よりも柔軟に関数を表現できる。特に、主部と正則部分に分けて考えることで、発散の仕方や残差の抽出が可能になる。複素積分との関係も深い。
3.4 孤立特異点
孤立特異点は、ある点の近傍では正則だが、その点自身では正則でない場所を指す。ローラン級数によって詳しく分類できるため、複素解析では非常に重要な概念である。特異点の種類によって、関数の局所挙動や積分への影響が大きく異なる。
3.4.1 除去可能特異点
除去可能特異点は、定義を適切に補えば正則関数として延長できる特異点である。たとえば、点での値が未定義でも、極限が存在すればその値を補って滑らかにできる。見かけ上の欠損にすぎないため、解析的な障害は本質的ではない。
3.4.2 極
極は、関数がその点の近くで有限次数の発散を示す特異点である。ローラン級数では、負の冪が有限個だけ現れる。積分計算では、極の次数や留数が重要な役割を果たす。局所的な爆発の強さを定量的に記述できる点が特徴である。
3.4.3 本質的特異点
本質的特異点は、除去可能でも極でもない特異点である。近傍での振る舞いは極めて複雑で、ローラン級数の主部に無限個の負の冪が現れる。こうした点の近くでは、関数値が多様な値をとるため、局所構造は乱雑に見える。複素解析の中でも特に際立った現象を示す。
4 応用と発展
複素解析の成果は、理論的な美しさにとどまらず、計算や応用にも広く使われる。積分の評価、関数の延長、平面の変換などは、純粋数学だけでなく物理学や工学の問題にも現れる。さらに、近代数学の他分野とも密接に結びついている。
4.1 留数定理
留数定理は、閉曲線積分を特異点の情報から求める定理である。各特異点に付随する留数を足し合わせることで、積分値を簡潔に計算できる。これにより、実数上の積分問題を複素平面へ持ち上げて処理する方法が確立した。解析学における代表的な応用の一つである。
4.2 解析接続
解析接続は、ある領域で定義された解析関数を、より広い領域へ一貫して拡張する手法である。もとの表示が届かない場所へも、局所的な一致を手がかりに関数を延ばせる場合がある。拡張の一意性がしばしば成り立つため、関数の本来の姿をより大きな範囲で把握できる。
4.3 等角写像
等角写像は、角度を保存する写像である。正則関数で、導関数が0でないものは局所的に等角写像として働く。平面図形の形を保ちながら変形するため、複雑な領域を扱いやすい形に移し替える際に使われる。流体の流れや電磁場のモデル化にも関係する。
4.4 複素解析の応用分野
複素解析は、物理学、工学、確率論、数論など多方面で利用される。波動現象や振動系の記述、信号処理、電気回路の解析などに現れることがある。数学内部でも、幾何学や関数論、微分方程式の研究に深く浸透している。抽象的な理論でありながら、具体的計算に高い効率を与える点が重要である。