複素解析
Complex Analysis
複素解析とは
複素解析(複素関数論)は、複素数を変数とする関数を研究する数学の分野である。実解析では見られないほど強い性質が現れ、「数学で最も美しい定理」と呼ばれるものも多い。
図1:複素平面と複素関数
実解析との違い
複素関数が領域内のすべての点で複素微分可能であること、すなわち正則であるという条件は、実関数の微分可能性よりもはるかに強い。正則関数は自動的に無限回微分可能であり、テイラー展開可能である。この性質から、複素解析特有の美しい定理が導かれる。
- コーシーの積分定理:単連結領域で正則な関数の、その領域内の閉曲線に沿う積分は0
- コーシーの積分公式:関数値が境界上の積分で決まる
- リウヴィルの定理:有界な整関数は定数
- 留数定理:複雑な積分を簡単に計算できる
図2:コーシーの積分定理
どこで使われるか
- 物理学:流体力学、電磁気学、量子力学
- 工学:信号処理、制御理論、電気回路
- 数学:数論(ゼータ関数)、代数幾何、微分方程式
- 応用:等角写像による境界値問題の解法
本シリーズでは、複素数の基礎から始めて、正則関数、コーシーの定理、留数計算、等角写像まで4段階で体系的に学ぶ。
レベル別コンテンツ
入門
複素数と複素関数
- 複素数の定義と演算
- 複素平面と極形式
- オイラーの公式
- 複素関数の基礎
- 複素指数関数と三角関数
- 複素対数関数
初級
正則関数とコーシーの定理
- 複素微分と正則関数
- コーシー・リーマンの方程式
- 複素積分
- コーシーの積分定理
- コーシーの積分公式
- べき級数と解析関数
- 最大値原理とリウヴィルの定理
中級
特異点と留数
- ローラン展開
- 特異点の分類
- 留数の計算
- 留数定理
- 実積分への応用
- 偏角の原理
上級
等角写像と発展的話題
- 等角写像の理論
- リーマンの写像定理
- シュワルツ・クリストッフェル変換
- 解析接続
- ガンマ関数とゼータ関数
- 楕円関数入門
主要な概念・公式
オイラーの公式
$$e^{i\theta} = \cos\theta + i\sin\theta$$
コーシー・リーマンの方程式
$$\dfrac{\partial u}{\partial x} = \dfrac{\partial v}{\partial y}, \quad \dfrac{\partial u}{\partial y} = -\dfrac{\partial v}{\partial x}$$
コーシーの積分公式
$$f(a) = \dfrac{1}{2\pi i}\oint_C \dfrac{f(z)}{z-a}\,dz$$
($f$ は $C$ とその内部で正則、$a$ は $C$ の内部の点)
留数定理
$$\oint_C f(z)\,dz = 2\pi i \sum_{k} \mathrm{Res}(f, z_k)$$
($z_k$ は $C$ の内部にある $f$ の孤立特異点)
ローラン展開
$$f(z) = \sum_{n=-\infty}^{\infty} a_n (z-a)^n$$
偏角の原理
$$\dfrac{1}{2\pi i}\oint_C \dfrac{f'(z)}{f(z)}\,dz = N - P$$
($N$, $P$ は $C$ の内部の零点・極の個数で、いずれも重複度を込めて数える。$f$ は $C$ 上に零点も極も持たない)
前提知識
- 入門:高校数学(三角関数、指数対数)
- 初級:入門の内容、微分積分(多変数の偏微分、線積分)
- 中級:初級の内容、級数の収束
- 上級:中級の内容、位相空間の基礎
参考資料
よくある質問
複素解析とは何ですか?
複素解析(複素関数論)は、複素数を変数とする関数を研究する数学の分野です。実解析では見られない美しい性質が現れ、正則関数は自動的に無限回微分可能でテイラー展開可能になるなど、強力な結果が得られます。
複素解析はどのような分野で使われますか?
物理学(流体力学・電磁気学・量子力学)、工学(信号処理・制御理論・電気回路)、数学(数論・代数幾何・微分方程式)、応用数学(等角写像による境界値問題)など、幅広い分野で活用されています。
複素解析を学ぶために必要な前提知識は何ですか?
入門レベルでは高校数学(三角関数・指数対数)、初級では多変数の偏微分と線積分、中級では級数の収束、上級では位相空間の基礎が前提知識となります。