複素解析

複素解析は、複素数に対する微積分です。複素変数 $z = x + iy$ の関数を扱い、微分、べき級数、積分といった考え方がどのようなときに成り立つかを調べます。

重要なのは、複素微分可能であるという条件は、通常の実微分可能よりはるかに厳しいことです。ある関数が開集合上で複素微分可能なら、その関数は 正則 と呼ばれ、この1つの条件から強い結論が得られます。つまり、その関数は滑らかで、局所的にはべき級数展開をもちます。

複素解析が扱うもの

複素解析で扱う関数は、複素数を入力として受け取り、複素数を出力します。

$$f(z)$$

典型例としては、$f(z) = z^2 + 1$ のような多項式、指数関数 $e^z$、そして複素数入力へ拡張された三角関数があります。

主な問いは次のとおりです。

• $f(z)$ はいつ複素微分をもつのか。
• その微分は関数について何を教えてくれるのか。
• 複素関数の積分は、平面内の曲線に沿ってどのように振る舞うのか。
• 関数が正則になると、どのような追加の定理が使えるようになるのか。

なぜ複素微分可能性は違うのか

点 $z_0$ における複素微分は、次で定義されます。

$$f'(z_0) = \lim_{h \to 0} \frac{f(z_0 + h) - f(z_0)}{h}$$

見た目は普通の微分と同じですが、決定的な違いが1つあります。$h$ は複素平面のどの方向からでも $0$ に近づけるのであって、実数直線上で左や右から近づく場合だけではありません。

ここがこの分野を特別にしています。関数が $x$ と $y$ について偏微分をもっていても、複素微分可能とは限りません。なぜなら、上の差商が近づく方向に依存してしまうことがあるからです。

ある関数が開集合上で複素微分可能なら、その集合上で 正則 であるといいます。標準的な複素解析では、正則関数が主な研究対象です。

なぜ正則関数はそれほど強力なのか

実変数の微積分では、1回微分可能だからといって、関数に自動的に強い構造が入るわけではありません。複素解析では、正則であることはそれよりはるかに強い条件です。

$f$ がある開領域で正則なら、局所的にはべき級数として書けます。

$$f(z) = a_0 + a_1(z-z_0) + a_2(z-z_0)^2 + \cdots$$

これは任意の実微分可能関数について成り立つ性質ではありません。だからこそ複素解析は非常に剛性的に感じられます。1つの強い条件から、多くの結論が一度に導かれるのです。

例題：なぜ $f(z) = \overline{z}$ は正則でないのか

次の関数を考えます。

$$f(z) = \overline{z}$$

見た目は単純ですが、これは 正則ではない 関数の標準的な例です。定義から、

$$\frac{f(z+h)-f(z)}{h} = \frac{\overline{z+h} - \overline{z}}{h} = \frac{\overline{h}}{h}$$

ここで、2つの方向を調べます。

$$\text{if } h \in \mathbb{R}, \quad \frac{\overline{h}}{h} = 1$$

しかし、$h = it$ で実数 $t \neq 0$ とすると、

$$\frac{\overline{h}}{h} = \frac{-it}{it} = -1$$

極限が方向に依存してしまうので、複素微分は存在しません。まさにこれが、複素解析が重視する点です。

これに対して、$f(z) = z^2$ のような多項式は至る所で正則です。違いは代数的な複雑さではありません。微分が複素平面のあらゆる方向から同じになるかどうかが本質です。

実用的な判定法：コーシー・リーマン方程式

次のように書くとします。

$$f(z) = u(x,y) + iv(x,y)$$

ここで $z = x + iy$ です。このとき、正則性を調べる標準的な方法がコーシー・リーマン方程式です。

$$u_x = v_y, \qquad u_y = -v_x$$

これらの方程式は便利ですが、条件まで含めて考えることが大切です。よく使われる十分条件は次のとおりです。$u$ と $v$ の1階偏導関数がある近傍で連続であり、そこでコーシー・リーマン方程式が成り立つなら、$f$ はそこで正則です。

つまり、この方程式は実用的な道具であって、仮定を確かめずに機械的に使うための決まり文句ではありません。

複素解析でよくある間違い

• 複素微分可能性を、2変数の通常の微分可能性と同じように扱ってしまうこと。複素微分では、極限があらゆる方向から一致しなければなりません。
• 偏微分があれば十分だと思ってしまうこと。それだけでは不十分です。
• 定義域の重要性を忘れること。穴あき円板で正則であることと、円板全体で正則であることは同じではありません。
• $f(z) = \overline{z}$ のような複素共役が、$z$ の多項式のように振る舞うと期待してしまうこと。実際にはそうではありません。

複素解析はどこで使われるか

複素解析は、純粋数学と応用数学の両方に現れます。

• 幾何学や解析学では、複素積分や留数の方法によって、難しい実積分を扱いやすい計算に変えられることがあります。
• 物理や工学では、正則関数は2次元のポテンシャル流れや静電気学の一部を記述し、そこでは調和関数が中心的な役割を果たします。
• 純粋数学では、この分野は数論、微分方程式、フーリエ解析とつながっています。

ここでも設定は重要です。たとえば留数計算が使えるのは、被積分関数と積分路が適切な解析的条件を満たしている場合です。

覚えておきたいこと

複素解析は、複素変数の複素数値関数を扱う分野であり、その中心的な考え方は、複素微分可能性が非常に強い制約だということです。

この1つの考え方が、なぜこの分野が通常の微積分と違って感じられるのかを説明しています。関数が正則になると、多くの強力な道具が使えるようになります。

自分でも試してみよう

似た問題を解いてみましょう。$f(z) = z^3$ の微分を極限の定義から計算し、その結果を $f(z) = \overline{z}$ と比べてみてください。片方はうまくいき、もう片方は失敗する理由を自分で確かめることが、概念をしっかり身につける実践的な方法です。