📂複素解析

モレラの定理の証明

定理 ¹

複素関数 $f : \mathbb{C} \to \mathbb{C}$ が 単連結領域 $\mathscr{R}$ 内で 連続であり、$\mathscr{R}$ に含まれる全ての 閉路 $\mathscr{C} \subset \mathscr{R}$ に対して $\displaystyle \int_{\mathscr{C}} f(z) dz = 0$ を満たす場合、$f$ は $\mathscr{R}$ 内で 解析的である。

説明

コーシーの定理の逆と考えることができるだろう。興味深いことに、通常「微分可能なら連続、連続なら積分可能」と解析学の常識ではあるが、モレラの定理はかえって積分を通じて関数の微分可能性を判断しており、非常に驚くべき定理である。

証明 ²

$$ F(z) := \int_{z_{0}}^{z} f(w) dw $$ 固定された点 $z_{0} \in \mathscr{R}$ から任意の点 $z \in \mathscr{R}$ までの $f$ の 複素路線積分を上記のように $z \in \mathscr{R}$ に対する関数として定義しよう。まず、これがきちんと定義されるか^well-definedを見てみよう。全ての 閉路 $\mathscr{C}$ で $\displaystyle \int_{\mathscr{C}} f(z) dz = 0$ と仮定した前提により、どんなパス $w_{0} : z \to z_{0}$ を固定しても $$ \int_{z_{0}}^{z} f(w) dw + \int_{w_{0}} f(u) du = 0 $$ $F(z)$ が $z_{0}$ から $z$ までどんなパスで積分しても常に同じ値を持つことがわかる。これにより、$F$ は唯一 $z$ の選択によって値が一つに決まる関数であることを確認した。

複素路線積分の基本性質に従えば ${{F(z+h) - F(z)}\over{h}} = {{1} \over {h}} \int_{z}^{z+h} f(w) dw$ であるから $$ \begin{align*} & \left| {{F(z+h) - F(z)}\over{h}} - f(z) \right| \\ =& \left| {{1} \over {h}} \int_{z}^{z+h} f(w) dw - {{ 1 } \over { h }} h f(z) \right| \\ =& \left| {{1} \over {h}} \int_{z}^{z+h} f(w) dw - {{ 1 } \over { h }} \int_{z}^{z+h} f(z) dw \right| \\ =& \left| {{1} \over {h}} \int_{z}^{z+h} (f(w) - f(z)) dw \right| \end{align*} $$ である。ここで、$f$ が連続であるとしたので、与えられた $\varepsilon >0$ に対して $$ |h|< \delta \implies |f(z+h) - f(z)| < \varepsilon $$ を満たす $\delta$ が存在する。

ML補題: $|f(z)| \le M$ を満たす正数 $M$ と $\mathscr{C}$ の長さ &VariableDoubleVerticalBar;$\mathscr{C}$&VariableDoubleVerticalBar; に対して $$ \left| \int_{\mathscr{C}} f(z) dz \right| \le ML $$

ML補題により $$ \left| {{F(z+h) - F(z)}\over{h}} - f(z) \right| = \left| {{1} \over {|h|}} \int_{z}^{z+h} (f(w) - f(z)) dw \right| < {{1} \over {|h|}} \varepsilon |h| = \varepsilon $$ 従って $$ f(z) = \lim_{h \to 0} {{F(z+h) - F(z)} \over {h}} = F ' (z) $$ である。すなわち、$f$ はある関数 $F$ の導関数である。複素解析では、一度微分可能なら無限回微分可能であるので、$F$ が微分可能であれば、$f$ も微分可能である。

■