[論文レビュー] On a theorem of Landau and Toeplitz

Robert B. Burckel, Donald E. Marshall+1 more|ArXiv.org|Mar 24, 2006

Analytic and geometric function theory参考文献 4被引用数 3

ひとこと要約

この論文は、単位円板上の正則関数の導関数の原点における値を、その像の直径によって上から抑えるランダウ＝トープリッツ定理の簡潔な証明を提供し、最大モジュラスの成長に関する定量的推定値を含む拡張も行う。主な結果は、導関数の上界における等号が成立するのは、導関数が単位円上の複素数である線形関数である場合に限ることを示している。

ABSTRACT

The now canonical proof of Schwarz's Lemma appeared in a 1907 paper of Carathéodory, who attributed it to Erhard Schmidt. Since then, Schwarz's Lemma has acquired considerable fame, with multiple extensions and generalizations. Much less known is that, in the same year 1907, Landau and Toeplitz obtained a similar result where the diameter of the image set takes over the role of the maximum modulus of the function. We give a streamlined proof of this result and also extend it to include bounds on the growth of the maximum modulus.

研究の動機と目的

• 正則関数の最大モジュラスを像集合の直径に置き換えたシュバルツの補題の一般化であるランダウ＝トープリッツ定理の、簡潔で理解しやすい証明を提供すること。
• 像の直径制約下での正則関数の最大モジュラスの成長に関する定量的境界を含む、定理の拡張を行うこと。
• 導関数の上界における等号成立条件を検討し、等号が成立すれば関数が線形であることを示すこと。
• 等号条件の定量的バージョンを検討し、線形からのずれの明示的推定値を得ることを目的とする。
• 双曲的中心および凸領域の双曲的半径を含む、関連する幾何的極値問題を提示し、それらの初期的検討を開始すること。

提案手法

• 正則関数 $ f $ をその奇関数部と偶関数部に分解する：$ f(z) = f_o(z) + f_e(z) $、ここで $ f_o(z) = (f(z) - f(-z))/2 $ である。
• 奇関数部 $ f_o $ にシュバルツの補題を適用する。$ f_o $ は $ |f_o(z)| \leq 1 $ かつ $ f_o(0) = 0 $ を満たすため、$ |f^\flat(0)| \leq 1 $ を得る。
• 直径条件 $ \operatorname{Diam}f(\mathbb{D}) \leq 2 $ を用いて、$ f(r\mathbb{D}) $ の直径が $ 0 < r < 1 $ に対して $ D_r = 2r $ のように線形に増加することを示す。
• 補助関数 $ h_u(z) = (f(z) - f(-uz))/z $（$ u \in \mathbb{T} $）を定義し、$ D_r / r $ が定数で 2 に等しいことを示し、$ D_r = 2r $ を得る。
• 関数 $ g_w(z) = (f(z) - f(-w))/(2f^\prime(0)) $ を用い、$ w $ を固定し、$ |z| \leq r $ の円板を保つことから、$ \operatorname{Im} g_w^\prime(w) = 0 $ を得る。これにより $ f^\prime(z)/(2f^\prime(0)) $ が定数であることが示される。
• 結論として $ f(z) = f(0) + f^\prime(0)z $ が成り立ち、等号成立の場合の証明が完了する。

実験結果

リサーチクエスチョン

• RQ1 ランダウ＝トープリッツ定理の導関数上界における等号が成立するのはどのような条件下か。また、これは正則関数の構造にどのような意味を持つのか。
• RQ2 ランダウ＝トープリッツ定理は、$ |f^\prime(0)| $ を用いて $ f(z) - f(0) - f^\prime(0)z $ のゼロからのずれの定量的推定値を提供するように拡張可能か。
• RQ3 直径が 2 で、双曲的中心密度 $ \Lambda(\Omega) \leq m $（$ m > 1 $）を満たす凸領域 $ \Omega $ の最大双曲的半径 $ R_h(\Omega) $ は何か。
• RQ4 関数 $ f $ が $ \operatorname{Diam}f(\mathbb{D}) \leq 2 $ を満たすとき、制約 $ |f^\prime(w_f)|(1 - |w_f|^2) \geq a $（$ a < 1 $）の下で $ M(f) = \min_w \sup_z |f(z) - f(w)| $ の上限は何か。

主な発見

• 正則関数の奇関数部を用いた簡潔な議論により、ランダウ＝トープリッツ定理が証明され、$ \operatorname{Diam}f(\mathbb{D}) \leq 2 $ のとき常に $ |f^\prime(0)| \leq 1 $ が成り立つことが示された。
• 等号 $ |f^\prime(0)| = 1 $ が成立するのは、$ f(z) = a + cz $（$ a, c \in \mathbb{C} $、$ |c| = 1 $）の形に限る。これは極値ケースの剛性を示している。
• 等号成立条件下では、像 $ f(r\mathbb{D}) $ の直径は線形に増加する：すべての $ 0 < r < 1 $ に対して $ \operatorname{Diam}f(r\mathbb{D}) = 2r $ が成り立つ。
• 明示的な定量的境界が導出された：$ \max_{|z| < r} |f(z) - f(0) - f^\prime(0)z| \leq (1 - |f^\prime(0)|) \phi(r) $、ここで $ \phi(r) $ は明示的な関数であり、問題 6.1 を扱っている。
• 関数 $ f $ が $ \operatorname{Diam}f(\mathbb{D}) \leq 2 $ を満たすとき、$ f(r\mathbb{D}) $ の像の直径は、開写像定理により境界 $ r\mathbb{T} $ 上で実現される。
• 第 $ n $ 個の係数に関する直径に基づく上界で等号が成立する場合、$ f(z) = g(z^n) $ かつ $ g $ が線形関数であることが示され、定数を除いて $ f(z) = c_n z^n $ となる。これは補題 3.2 で示されている。