最大絶対値の原理とは? わかりやすく解説

Weblio 辞書 > 同じ種類の言葉 > 人文 > 概念 > 原理 > 最大絶対値の原理の意味・解説 

最大絶対値の原理

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/09/01 18:02 UTC 版)

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

定理

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

証明

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

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

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

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

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

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

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

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

関連項目

参考文献

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




最大絶対値の原理と同じ種類の言葉


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「最大絶対値の原理」の関連用語

最大絶対値の原理のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



最大絶対値の原理のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの最大絶対値の原理 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。

©2025 GRAS Group, Inc.RSS