[論文レビュー] Some Simplifications in Basic Complex Analysis

Oswaldo Rio Branco de Oliveira|arXiv (Cornell University)|Jul 16, 2012

History and Theory of Mathematics参考文献 13被引用数 4

ひとこと要約

本稿では、ワイエルシュトラスのべき級数アプローチを用いて、積分を用いない、基本的な証明を提示する。最大・最小モジュラス原理、リウヴィルの定理、開写像定理、シュバルツの補題といった、複素解析の基本的結果について、平均化技術と基本的な位相幾何学を用いて簡略化された証明を与える。積分計算や高度な関数論に依存せず、自明な導出が可能である。

ABSTRACT

This paper presents very simple and easy integration-free proofs in the context of Weierstrass's theory of functions, of the Maximum and Minimum Modulus Principles and Gutzmer-Parseval Inequalities for polynomials and for functions developable in complex power series at every point in their domains, as well as a trivial proof of the Open Mapping Theorem, an intuitive version of Liouville's Theorem, an easy proof of Weierstrass's Theorem on Double Series, a modest extension of Schwarz's Lemma, and some other related results. It also presents easy proofs of the Pólya-Szegö and P. Erdös' Anti-Calculus Proposition, a theorem on saddle points by Bak-Ding-Newman, and the well-known Clunie-Jack Lemma.

研究の動機と目的

• べき級数と基本的な位相幾何学のみを用いて、積分を用いない古典的複素解析の定理の初等的証明を提供すること。
• ワイエルシュトラスの関数論を用いて、多項式の結果を正則関数へと拡張すること。
• 最大モジュラス原理、リウヴィルの定理、開写像定理といった結果の証明を簡略化・統一すること。
• コーシーの積分公式や逆関数定理に依存する標準的証明の代わりに、自己完結的でアクセス可能な代替証明を提供すること。
• 連続性と正則性が、積分を仮定せず、収束性と平均化の議論のみで確立可能であることを示すこと。

提案手法

• 代数の基本定理のデ・オリヴィエーラの証明にインspiredされた平均化技術を用いる。
• 多項式におけるガッツマー＝パーシバルの不等式を、係数とモジュラスの上限を導出する中心的道具として用いる。
• 基本的な平面位相とコンパクトな被覆を用いて、正則関数族の正則性とモンテルの定理を証明する。
• カントールの対角線法を用いて、コンパクト部分集合上で局所一様収束を示す部分列を構成する。
• べき級数およびローラン級数の収束性を用いて、係数の一意性と係数の推定を導出する。
• 連続性を仮定せず、積分を用いないで、一意性定理や係数の推定を証明する。

実験結果

リサーチクエスチョン

• RQ1 積分や補角原理を用いずに、最大モジュラス原理を証明することは可能か？
• RQ2 べき級数と初等的な位相幾何学のみを用いて、リウヴィルの定理と開写像定理を導出することは可能か？
• RQ3 ガッツマー＝パーシバルの不等式を用いて、積分を用いずに係数の推定と一意性を確立することは可能か？
• RQ4 局所逆関数の存在に依存しない形で、逆関数定理と局所表現定理をべき級数を用いて証明することは可能か？
• RQ5 平均化とコンパクトな被覆は、複素解析における収束性と正則関数族の議論を簡略化するために果たす役割は何か？

主な発見

• 多項式におけるガッツマー＝パーシバルの不等式を用いて、積分を用いずに係数の上限を導出し、最大モジュラス原理を証明した。
• べき級数の収束性と点での導関数の非ゼロ性のみを用いて、開写像定理の自明な証明を確立した。
• 積分推定を避ける直感的な平均化の議論を用いて、リウヴィルの定理を証明した。
• 連続性を仮定せず、収束性とガッツマー＝パーシバルの不等式のみに依存して、べき級数係数の一意性定理を確立した。
• 同じ不等式を用いて、シュバルツの補題のわずかな拡張を導出し、係数の成長に対する定量的評価を提供した。
• ガッツマー＝パーシバルの不等式とコンパクトな被覆を用いて、モンテルの定理を積分に基づく正則関数族の基準を必要とせずに証明した。