[论文解读] 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

一句话总结

本文提供了Landau-Toeplitz定理的简化证明，该定理通过函数像的直径来界定单位圆盘上解析函数在原点处的导数，并将其扩展以包含最大模量增长的定量估计。关键结果表明，导数界中等式成立当且仅当函数是模为1的导数的线性函数。

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.

研究动机与目标

• 提供Landau-Toeplitz定理的简洁且易懂的证明，该定理通过将最大模量替换为像集的直径，推广了Schwarz引理。
• 通过在直径约束下提供最大模量增长的定量边界，扩展该定理。
• 研究导数界中等式成立的情况，表明等式蕴含函数的线性性。
• 探讨等式条件的定量版本，旨在获得偏离线性的显式估计。
• 提出并初步研究涉及双曲中心和具有有界直径的凸区域双曲半径的几何极值问题。

提出的方法

• 将解析函数 $ f $ 分解为其奇部与偶部：$ f(z) = f_o(z) + f_e(z) $，其中 $ f_o(z) = (f(z) - f(-z))/2 $。
• 对满足 $ |f_o(z)| \leq 1 $ 且 $ f_o(0) = 0 $ 的奇部 $ f_o $ 应用Schwarz引理，推导出 $ |f^\flat}(0)| \leq 1 $。
• 利用直径条件 $ \operatorname{Diam}f(\mathbb{D}) \leq 2 $，证明 $ f(r\mathbb{D}) $ 的直径随 $ D_r = 2r $ 线性增长，其中 $ 0 < r < 1 $。
• 定义辅助函数 $ 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 在Landau-Toeplitz导数界中，等式在什么条件下成立？这对其解析函数的结构有何含义？
• RQ2 Landau-Toeplitz定理能否被扩展，以提供 $ f(z) - f(0) - f^\prime(0)z $ 偏离零的定量估计，以 $ |f^\prime(0)| $ 表示？
• 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)| $ 的上确界是多少？

主要发现

• 通过使用 $ f $ 的奇部，本文以简化论证证明了Landau-Toeplitz定理：当 $ \operatorname{Diam}f(\mathbb{D}) \leq 2 $ 时，有 $ |f^\prime(0)| \leq 1 $。
• 当且仅当 $ f(z) = a + cz $（$ a, c \in \mathbb{C} $ 且 $ |c| = 1 $）时，$ |f^\prime(0)| = 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。
• 对于满足 $ \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所示。