最大絶対値の原理

最大絶対値の原理（英語：Maximum modulus principle）は、複素解析における正則関数の性質に関する基本的な定理である。複素関数が正則であるために満たすべき、強い制約条件の１つを示している。

定理

複素関数 f (z) が領域 D で正則で、しかも定数でないなら、 D の内部で |f (z) | が最大値を取ることはない。

証明

背理法による。 D 内のある点 z₀ で |f (z) | が最大値を取るものと仮定する。 r を正の実数とし、 D_r = {z : | z - z₀ | < r } 、 C_r = {z : | z - z₀ | = r } とする。つまり C_r は z₀ を中心とする半径 r の円、D_r はその内側の領域である。r の値を適当に小さく選べば、 D_r + C_r ⊂ D とできる。

コーシーの積分公式により D_r 内の任意の点 z で、

$f(z)={\frac {1}{2{\pi }i}}\oint _{C_{r}}{\frac {f(\zeta )}{\zeta -z}}d\zeta$

が成立つ。 C_r 上での |f (z) | の最大値を M とすれば、

$\left|f(z_{0})\right|=\left|{\frac {1}{2{\pi }i}}\oint _{C_{r}}{\frac {f(\zeta )}{(\zeta -z_{0})}}d\zeta \right|$

$\leq {\frac {1}{2\pi }}\int _{0}^{2\pi }{\frac {\left|f(\zeta )\right|}{r}}\,rd\theta ={\frac {1}{2\pi }}\int _{0}^{2\pi }\left|f(\zeta )\right|d\theta \leq {\frac {1}{2\pi }}\int _{0}^{2\pi }Md\theta =M$

仮定により M ≤ |f (z₀) | であるから、結局

$\left|f(z_{0})\right|={\frac {1}{2\pi }}\int _{0}^{2\pi }\left|f(\zeta )\right|d\theta =M$

が成立つ。すなわち、 C_r 上の任意の点 ζ で |f (z₀) | = |f (ζ) | が成立つことになる。 r を任意に小さくして考えても、同じ論法が成立つので、 D_r + C_r の任意の点 z で |f (z₀) | = |f (z) | が成立つことになる。 |f (z₀) | = 0 であれば、 f (z) は D_r で恒等的に 0 である。 |f (z₀) | が 0 でなければ D_r 内の任意の点で |f (z) | も 0 でないから

$h(z)=log\ f(z)=log\ |f(z)|+i\ arg\ f(z)$

を考えることができる。 D_r に含まれるある領域 V を適当に選ぶと、V 内で h (z) を一価正則にできる。

V 内で |f (z) | は定数であるから h (z) の実部 log |f (z) | も定数である。 このためコーシー・リーマンの関係式から V 内で

${\frac {dh(z)}{dz}}=0$

となり、h (z) の虚部 i arg f (z) も V 内で定数となる。従って V 内で f (z) は定数である。一致の定理によって、結局 D 全体で f (z) は定数となり、定理の仮定に反する。

関連項目

• 複素解析
• 正則関数
• 一致の定理

参考文献

• 遠木幸成・阪井章『関数論』学術図書出版社、1966年