はじめに
複素関数論を一度学んだあとで時間が経つと、いちばん混乱しやすいのは「Cauchy の名前が付いたものが多すぎる」という点かもしれない。Cauchy--Riemann 方程式、Cauchy の積分定理、Cauchy の積分公式、Cauchy の主値積分、さらに Sokhotski--Plemelj 公式や Kramers--Kronig 関係まで出てくると、どれが何を言っているのか分からなくなってくる。
しかし、複素関数論の骨格はそれほど複雑ではない。中心にある考えは、「複素平面上で十分になめらかに振る舞う関数は、実関数よりもはるかに強い制約を受ける」ということである。実数の関数なら、微分可能であることは局所的な性質にすぎない。しかし複素関数では、複素微分可能であるというだけで、関数の値が周囲全体の値によって強く拘束される。その結果として、積分路を変形しても積分値が変わらない、閉曲線上の値だけで内部の値が決まる、特異点の周りの情報だけで積分が決まる、という非常に強力な事実が現れる。
物理で複素関数論が重要なのは、この「局所的な微分可能性が大域的な情報を支配する」という性質が、線形応答、波動、電磁気、量子力学、統計力学、信号処理に直接つながるからである。特に、因果律、共鳴、スペクトル、散乱振幅、Green 関数、応答関数を扱うとき、複素関数論は単なる数学の道具ではなく、物理法則の構造そのものを表す言語になる。
この記事では、複素関数論の基礎を、物理学科で一度学んだ人が一気に思い出せるように整理する。できるだけ箇条書きではなく、話の流れがつながるように説明する。
一枚でまとめてみるとこんな感じ
1. 複素数とは何を増やしたのか
複素数は
z = x + iy
と書かれる。ここで $x$ と $y$ は実数であり、$i$ は
i^2 = -1
を満たす数である。
複素数を単なる「虚数を含む数」と考えると、物理での意味が見えにくい。むしろ、複素数は「大きさ」と「位相」を一つの数で扱うための表現だと考えるとよい。複素数 $z$ は複素平面上の点であり、原点からの距離
|z| = \sqrt{x^2 + y^2}
と、正の実軸から測った角度 $\theta$ を用いて
z = r e^{i\theta}
と書ける。ここで
e^{i\theta} = \cos\theta + i\sin\theta
である。これは Euler の公式であり、複素関数論だけでなく物理全体で最も重要な公式の一つである。
物理で振動を扱うとき、実際に観測される量はしばしば
\cos \omega t
のような実数の波である。しかし計算では
e^{i\omega t}
を使う方が圧倒的に便利である。なぜなら、微分すると
\frac{d}{dt} e^{i\omega t} = i\omega e^{i\omega t}
となり、微分方程式が代数方程式に近い形へ変わるからである。複素数は、振動や波動を扱うための自然な言語なのである。
2. 複素関数とは何か
複素関数とは、複素数を入力し、複素数を出力する関数である。
w = f(z)
ここで $z = x + iy$ と書けば、出力 $w$ も一般に複素数なので、
f(z) = u(x,y) + i v(x,y)
と書ける。つまり、複素関数とは実際には、二つの実変数 $x,y$ から二つの実関数 $u,v$ を作る写像である。
この時点では、複素関数は単に二次元から二次元への写像に見える。しかし、複素関数論で重要なのは、この写像に「複素微分可能性」を要求することである。これが非常に強い条件になる。
実関数 $g(x)$ の微分は
g'(x) = \lim_{h\to 0} \frac{g(x+h)-g(x)}{h}
で定義される。複素関数でも同じように
f'(z) = \lim_{\Delta z \to 0} \frac{f(z+\Delta z)-f(z)}{\Delta z}
と定義する。ところが、ここで大きな違いがある。実数では $h$ は右から近づくか左から近づくかしかないが、複素数では $\Delta z$ は複素平面上のあらゆる方向から $0$ に近づくことができる。したがって、複素微分が存在するためには、どの方向から近づいても同じ極限値にならなければならない。
この条件が、Cauchy--Riemann 方程式を生む。
3. Cauchy--Riemann 方程式：複素微分可能性の正体
複素関数を
f(z) = u(x,y) + i v(x,y)
と書く。まず、実軸方向に少しだけ動かす。つまり $\Delta z = \Delta x$ とする。このとき
\frac{f(z+\Delta x)-f(z)}{\Delta x}
=
\frac{u(x+\Delta x,y)-u(x,y)}{\Delta x}
+
i\frac{v(x+\Delta x,y)-v(x,y)}{\Delta x}
なので、極限を取ると
f'(z) = \frac{\partial u}{\partial x} + i \frac{\partial v}{\partial x}
となる。
次に、虚軸方向に少しだけ動かす。つまり $\Delta z = i\Delta y$ とする。このとき
\frac{f(z+i\Delta y)-f(z)}{i\Delta y}
=
\frac{u(x,y+\Delta y)-u(x,y)}{i\Delta y}
+
i\frac{v(x,y+\Delta y)-v(x,y)}{i\Delta y}
である。$1/i = -i$ を使うと、極限は
f'(z)
=
- i \frac{\partial u}{\partial y}
+
\frac{\partial v}{\partial y}
となる。
複素微分が存在するなら、実軸方向から近づけても虚軸方向から近づけても同じ値にならなければならない。したがって
\frac{\partial u}{\partial x} + i \frac{\partial v}{\partial x}
=
\frac{\partial v}{\partial y}
-
i \frac{\partial u}{\partial y}
である。実部と虚部を比較すると
\frac{\partial u}{\partial x}
=
\frac{\partial v}{\partial y},
\qquad
\frac{\partial u}{\partial y}
=
-
\frac{\partial v}{\partial x}
を得る。これが Cauchy--Riemann 方程式である。
重要なのは、この式を単なる暗記項目にしないことである。Cauchy--Riemann 方程式は、「複素微分がどの方向から見ても同じ値を持つ」という条件を、実部 $u$ と虚部 $v$ の偏微分で書き直したものである。つまり、この方程式は複素微分可能性の中身そのものである。
4. 正則関数とは何か
複素関数 $f(z)$ がある領域で複素微分可能であるとき、その関数はその領域で正則であるという。英語では holomorphic あるいは analytic と呼ばれる。
厳密には holomorphic と analytic は定義が異なる。holomorphic は複素微分可能であることを意味し、analytic は Taylor 展開できることを意味する。しかし複素関数論では、この二つは深く結びついており、正則関数は Taylor 展開可能である。これは実関数とは大きく異なる。
実関数では、何回微分可能であっても Taylor 展開が元の関数を再現するとは限らない。しかし複素関数では、ある領域で正則であるというだけで、その関数は非常に滑らかで、しかも局所的にはべき級数で表せる。
この事実が、複素関数論の異常なほどの強さの源である。
5. 複素積分とは何か
複素関数の積分は、複素平面上の曲線に沿って定義される。曲線を
z(t) = x(t) + i y(t)
とパラメータ表示し、$t$ が $a$ から $b$ まで動くとする。この曲線 $C$ に沿った積分は
\int_C f(z)\,dz
=
\int_a^b f(z(t)) \frac{dz}{dt}\,dt
で定義される。
この式を見ると、複素積分は線積分であることが分かる。つまり、複素平面上の経路を指定しなければ積分は決まらない。実関数の定積分では、通常は区間の端点が決まれば積分が決まる。しかし複素積分では、同じ始点と終点を結ぶ経路でも、経路が異なれば積分値が変わる可能性がある。
ところが、関数が正則である場合には、驚くべきことが起こる。多くの場合、積分値が経路に依らなくなるのである。この事実を最も基本的な形で述べるのが Cauchy の積分定理である。
6. Cauchy の積分定理：正則なら閉じた積分は消える
Cauchy の積分定理は、ざっくり言えば次のことを主張している。
\oint_C f(z)\,dz = 0
ただし、$f(z)$ は閉曲線 $C$ とその内部で正則であるとする。
この定理の意味は深い。閉曲線に沿って一周積分しても、内部に特異点がなければ何も残らない、ということである。電磁気学や流体力学の言葉で言えば、「渦」や「源」がなければ、閉じた経路に沿った循環はゼロになる、という直感に近い。
Cauchy の積分定理を理解するときは、Cauchy--Riemann 方程式との関係を意識するとよい。複素積分を実部と虚部に分けると、二次元平面上の線積分になる。そして Green の定理を使うと、閉曲線積分は面積分に変換される。そのとき、Cauchy--Riemann 方程式が成り立っているために、面積分の中身が打ち消し合う。したがって、閉曲線積分がゼロになる。
つまり、Cauchy の積分定理は、Cauchy--Riemann 方程式の積分版だと考えることができる。局所的な微分条件である Cauchy--Riemann 方程式が、大域的な積分の性質として現れたものが Cauchy の積分定理である。
7. Cauchy の積分公式：境界が内部を決める
Cauchy の積分定理の次に現れるのが、Cauchy の積分公式である。これは複素関数論の中心的な公式であり、次のように書かれる。
f(a)
=
\frac{1}{2\pi i}
\oint_C
\frac{f(z)}{z-a}\,dz
ここで、$f(z)$ は閉曲線 $C$ とその内部で正則であり、点 $a$ は $C$ の内部にあるとする。
この式は、非常に不思議なことを言っている。関数 $f$ の内部の一点 $a$ における値が、境界 $C$ 上の値だけで完全に決まるのである。これは実関数の感覚から見るとかなり強い性質である。
なぜこのようなことが起こるのか。積分の中に
\frac{1}{z-a}
があることが重要である。この関数は $z=a$ に特異点を持つ。つまり、$f(z)$ 自体は正則でも、積分する関数
\frac{f(z)}{z-a}
は $z=a$ で正則ではない。そのため、Cauchy の積分定理をそのまま使ってゼロにすることはできない。むしろ、この小さな特異点の寄与が、ちょうど $2\pi i f(a)$ として残るのである。
Cauchy の積分公式は、「正則関数は境界値によって内部が決まる」という事実を表している。この性質は、Laplace 方程式の境界値問題、電磁場、流体、ポテンシャル論、量子力学の Green 関数などに深く関係する。
8. Cauchy の名前が付いたものを整理する
ここで一度、Cauchy 関連の用語を整理しておきたい。
Cauchy--Riemann 方程式は、複素微分可能性を実部と虚部の偏微分で表した条件である。
Cauchy の積分定理は、正則関数を閉曲線に沿って積分するとゼロになるという定理である。
Cauchy の積分公式は、正則関数の内部の値が境界上の積分で表せるという公式である。
Cauchy の主値積分は、特異点を含む実積分を、左右対称に極限を取ることで意味づける方法である。
これらは名前こそ似ているが、役割は違う。ただし、根はつながっている。複素微分可能性という強い条件があり、それが Cauchy--Riemann 方程式として表される。その結果として閉曲線積分がゼロになる。さらに、特異点を一つ含めると、その特異点の寄与として Cauchy の積分公式が現れる。そして、積分路上に特異点があるような状況では、Cauchy の主値積分という考え方が必要になる。
このように、「微分可能性」「閉曲線積分」「境界から内部を決める公式」「特異点をまたぐ積分の扱い」という順番で理解すると、Cauchy の名前に振り回されにくくなる。
9. Taylor 展開と Laurent 展開
正則関数は、点 $a$ のまわりで Taylor 展開できる。
f(z)
=
\sum_{n=0}^{\infty}
c_n (z-a)^n
ここで係数は
c_n
=
\frac{f^{(n)}(a)}{n!}
である。
Taylor 展開は、関数がその点の周りで正則な場合に使える。しかし物理では、特異点を持つ関数が頻繁に現れる。たとえば
\frac{1}{z-a}
は $z=a$ で発散する。このような関数を扱うためには、負のべきも含めた展開が必要になる。それが Laurent 展開である。
f(z)
=
\sum_{n=-\infty}^{\infty}
c_n (z-a)^n
Laurent 展開のうち、負のべきの部分
\cdots
+
\frac{c_{-3}}{(z-a)^3}
+
\frac{c_{-2}}{(z-a)^2}
+
\frac{c_{-1}}{z-a}
を主要部と呼ぶ。特に重要なのは
\frac{c_{-1}}{z-a}
の係数 $c_{-1}$ である。この係数が留数である。
10. 留数定理：複素積分を特異点の情報に変える
留数定理は、複素関数論が物理で強力な理由を最もよく表す定理である。閉曲線 $C$ の内部に孤立特異点 $a_1,a_2,\ldots,a_N$ があるとき、
\oint_C f(z)\,dz
=
2\pi i
\sum_{k=1}^{N}
\operatorname{Res}(f,a_k)
が成り立つ。ここで $\operatorname{Res}(f,a_k)$ は、点 $a_k$ における留数である。
この定理の意味は非常に明快である。複素平面上の大きな積分が、内部にある特異点の局所的な情報だけで決まる。つまり、積分路全体を細かく計算しなくても、特異点の性質を調べれば積分が分かる。
物理でこれが重要なのは、共鳴、固有モード、束縛状態、散乱状態、減衰振動などが、複素平面上の極として現れるからである。たとえば応答関数が
\frac{1}{\omega-\omega_0+i\gamma}
のような形を持つとき、分母がゼロになる点は複素平面上の極である。この極の位置は、共鳴周波数と減衰率を同時に表している。実部が振動の周波数を、虚部が時間発展における減衰や成長を表す。
複素関数論では、物理的な現象が「複素平面上の特異点の配置」として見える。これは、単なる計算技法ではなく、現象を理解する視点そのものである。
11. Cauchy の主値積分とは何か
実積分の中に特異点がある場合、普通の意味では積分が発散することがある。たとえば
\int_{-1}^{1} \frac{dx}{x}
は $x=0$ に特異点を持つので、通常の広義積分としては収束しない。
しかし、左右対称に特異点を避けて極限を取ると、
\operatorname{P.V.}
\int_{-1}^{1} \frac{dx}{x}
=
\lim_{\epsilon\to 0}
\left(
\int_{-1}^{-\epsilon} \frac{dx}{x}
+
\int_{\epsilon}^{1} \frac{dx}{x}
\right)
となる。この場合、左側の発散と右側の発散が打ち消し合い、主値としては $0$ になる。
ここで重要なのは、主値積分は「発散しているものを無理やり有限にする魔法」ではないということである。主値積分は、特異点を左右対称に避けるという明確な処方を与えている。物理では、観測量が対称性や因果律によって自然にこのような極限を要求することがある。そのとき、Cauchy の主値積分が現れる。
12. Sokhotski--Plemelj 公式と物理での意味
複素関数論と物理をつなぐ重要な公式に、Sokhotski--Plemelj 公式がある。代表的には
\frac{1}{x \pm i0}
=
\operatorname{P.V.}\frac{1}{x}
\mp i\pi \delta(x)
と書かれる。
この式は初見ではかなり奇妙に見える。左辺は複素関数であり、右辺には主値積分とデルタ関数が出てくる。しかし、物理ではこの公式が非常に自然に現れる。
たとえば応答関数や Green 関数では、分母に
\omega - \omega_0 \pm i0
のような項が出る。この微小な虚部 $\pm i0$ は、単なる数学的な飾りではない。どちら側から極を避けるかを指定しており、物理的には因果律や境界条件を表している。
Sokhotski--Plemelj 公式は、極を実軸のどちら側から避けるかによって、実部には主値積分が、虚部にはデルタ関数的な寄与が現れることを示している。これは、分散関係やスペクトル関数、線形応答理論で非常に重要である。
13. Kramers--Kronig 関係：因果律が実部と虚部を結ぶ
物理で複素関数論が最も美しく現れる例の一つが、Kramers--Kronig 関係である。線形応答関数を
\chi(\omega)
=
\chi'(\omega)
+
i\chi''(\omega)
と書く。ここで $\chi'(\omega)$ は実部、$\chi''(\omega)$ は虚部である。
因果律を満たす応答、つまり入力より前に出力が出ない応答では、応答関数 $\chi(\omega)$ は複素 $\omega$ 平面の上半平面で正則になる。この正則性と Cauchy の積分公式を組み合わせると、実部と虚部は独立ではなく、互いに Hilbert 変換で結ばれる。
典型的には
\chi'(\omega)
=
\frac{1}{\pi}
\operatorname{P.V.}
\int_{-\infty}^{\infty}
\frac{\chi''(\omega')}{\omega' - \omega}
\,d\omega'
および
\chi''(\omega)
=
-
\frac{1}{\pi}
\operatorname{P.V.}
\int_{-\infty}^{\infty}
\frac{\chi'(\omega')}{\omega' - \omega}
\,d\omega'
のような関係が得られる。
この式の物理的意味は非常に大きい。応答関数の実部は分散、つまり位相や屈折率のような「蓄える応答」を表すことが多い。一方、虚部は吸収や散逸を表すことが多い。Kramers--Kronig 関係は、因果律を満たす系では、分散と吸収が独立には決められないことを示している。
これは、光学、物性物理、プラズマ物理、電気回路、TES のインピーダンス測定、X線分光など、非常に広い分野で現れる。測定された吸収スペクトルから屈折率の変化を推定できるのは、この関係があるからである。
14. なぜ物理学で複素関数が重要なのか
物理で複素関数が重要な理由は、単に計算が楽になるからではない。もちろん、振動や波動を $e^{i\omega t}$ で表すと微分方程式が扱いやすくなる。しかし、それだけなら複素数は便利な記法にすぎない。
より本質的には、複素関数の正則性が物理的な制約を表すからである。
たとえば、因果律は「原因より前に結果が出ない」という時間方向の制約である。この一見すると時間領域の条件が、Fourier 変換によって周波数領域に移ると、応答関数の複素平面での正則性として現れる。つまり、物理的な時間の向きが、複素平面上で「どの半平面に特異点がないか」という数学的条件に変換される。
また、共鳴現象では、実軸上のピークだけを見ると単に「ある周波数で応答が大きい」と見える。しかし複素平面で見ると、そのピークは極の存在として理解できる。極の実部は共鳴周波数を表し、虚部は減衰時間を表す。したがって、複素平面上の特異点を調べることで、系の物理的なモードを理解できる。
量子力学でも、散乱振幅や Green 関数の解析性は非常に重要である。束縛状態、共鳴状態、連続スペクトルは、複素エネルギー平面上の極や分岐切断として現れる。統計力学では、分配関数の零点や特異点が相転移と関係する。電磁気学では、誘電率や屈折率の周波数依存性が因果律と解析性によって制約される。
このように、複素関数論は、物理の中で「見えている実軸上の現象」を「見えない複素平面上の構造」から理解するための道具である。
15. 覚えるべき流れ
複素関数論を復習するときは、公式をばらばらに覚えるよりも、次の流れを意識するとよい。
まず、複素微分可能性は、あらゆる方向から同じ微分係数が得られるという非常に強い条件である。この条件を実部と虚部に分解したものが Cauchy--Riemann 方程式である。
次に、その局所的な条件が成り立つと、正則関数の閉曲線積分はゼロになる。これが Cauchy の積分定理である。
さらに、積分する関数に一つだけ特異点を入れると、その特異点の寄与として内部の関数値が取り出される。これが Cauchy の積分公式である。
そして、関数が特異点を持つ場合には Laurent 展開を行い、$(z-a)^{-1}$ の係数である留数を調べる。閉曲線積分は内部の留数の和で決まる。これが留数定理である。
最後に、積分路上に特異点がある場合や、極を実軸の上下から避ける場合には、Cauchy の主値積分や Sokhotski--Plemelj 公式が必要になる。その応用として、因果律を満たす応答関数の実部と虚部が Kramers--Kronig 関係で結ばれる。
この流れをつかむと、Cauchy の名前が付いた多数の公式は、ばらばらの暗記事項ではなく、一つの物語として理解できる。
おわりに
複素関数論は、最初に学ぶときには抽象的に見える。しかし、物理の立場から見ると、その中心にある考えは非常に具体的である。複素平面に拡張することで、実軸上では見えなかった構造が見えるようになる。正則性は物理的な制約を表し、特異点は共鳴や固有モードを表し、積分路の変形は物理的に同じ量を異なる方法で評価する自由度を与える。
Cauchy--Riemann 方程式、Cauchy の積分定理、Cauchy の積分公式、留数定理、主値積分、Sokhotski--Plemelj 公式、Kramers--Kronig 関係は、それぞれ別々の公式ではある。しかし、それらはすべて「複素平面上で関数がどこで正則で、どこに特異点を持つか」という一つの視点につながっている。
物理学で複素関数論を使うとは、単に複素数で計算することではない。実軸上の観測量の背後にある解析性、因果律、特異点構造を読み取ることである。その感覚を持つと、複素関数論は暗記すべき数学ではなく、物理を深く見るための顕微鏡のようなものになる。
関連記事