複素解析

Complex Analysis

複素解析とは

複素解析（複素関数論）は、複素数を変数とする関数を研究する数学の分野である。実解析とは全く異なる美しい性質が現れ、「数学で最も美しい定理」と呼ばれるものも多い。

図1：複素平面と複素関数

複素平面（z平面） Re Im z = x + iy f(z) 像平面（w平面） Re Im w = f(z)

実解析との違い

複素関数が「微分可能」（正則）であるという条件は、実関数の場合よりもはるかに強い。正則関数は自動的に無限回微分可能であり、テイラー展開可能である。この性質から、複素解析特有の美しい定理が導かれる。

  • コーシーの積分定理：正則関数の閉曲線上の積分は0
  • コーシーの積分公式：関数値が境界上の積分で決まる
  • リウヴィルの定理：有界な整関数は定数
  • 留数定理：複雑な積分を簡単に計算できる

図2：コーシーの積分定理

D（正則領域） C $\displaystyle\oint_C f(z)\,dz = 0$

どこで使われるか

  • 物理学：流体力学、電磁気学、量子力学
  • 工学：信号処理、制御理論、電気回路
  • 数学：数論（ゼータ関数）、代数幾何、微分方程式
  • 応用：等角写像による境界値問題の解法

本シリーズでは、複素数の基礎から始めて、正則関数、コーシーの定理、留数計算、等角写像まで4段階で体系的に学ぶ。

レベル別コンテンツ

入門

複素数と複素関数

  • 複素数の定義と演算
  • 複素平面と極形式
  • オイラーの公式
  • 複素関数の基礎
  • 複素指数関数と三角関数
  • 複素対数関数
高校〜大学1年

初級

正則関数とコーシーの定理

  • 複素微分と正則関数
  • コーシー・リーマンの方程式
  • 複素積分
  • コーシーの積分定理
  • コーシーの積分公式
  • べき級数と解析関数
大学1-2年

中級

特異点と留数

  • ローラン展開
  • 特異点の分類
  • 留数の計算
  • 留数定理
  • 実積分への応用
  • 偏角の原理
大学2-3年

上級

等角写像と発展的話題

  • 等角写像の理論
  • リーマンの写像定理
  • シュワルツ・クリストッフェル変換
  • 解析接続
  • ガンマ関数とゼータ関数
  • 楕円関数入門
大学3年〜大学院

主要な概念・公式

オイラーの公式

$$e^{i\theta} = \cos\theta + i\sin\theta$$

コーシー・リーマンの方程式

$$\frac{\partial u}{\partial x} = \frac{\partial v}{\partial y}, \quad \frac{\partial u}{\partial y} = -\frac{\partial v}{\partial x}$$

コーシーの積分公式

$$f(a) = \frac{1}{2\pi i}\oint_C \frac{f(z)}{z-a}\,dz$$

留数定理

$$\oint_C f(z)\,dz = 2\pi i \sum_{k} \mathrm{Res}(f, z_k)$$

ローラン展開

$$f(z) = \sum_{n=-\infty}^{\infty} a_n (z-a)^n$$

偏角の原理

$$\frac{1}{2\pi i}\oint_C \frac{f'(z)}{f(z)}\,dz = N - P$$

（$N$: 零点、$P$: 極の個数）

前提知識

  • 入門：高校数学（三角関数、指数対数）
  • 初級：入門の内容、微分積分（多変数の偏微分、線積分）
  • 中級：初級の内容、級数の収束
  • 上級：中級の内容、位相空間の基礎