[논문 리뷰] On a theorem of Landau and Toeplitz

Robert B. Burckel, Donald E. Marshall외 1명|ArXiv.org|2006. 03. 24.

Analytic and geometric function theory참고 문헌 4인용 수 3

한 줄 요약

이 논문은 단위 원판 위의 분석 함수의 도함수를 그 상의 지름으로 제한하는 Landau-Toeplitz 정리를 간결하게 증명하고, 최대 모듈러스의 성장에 대한 정량적 추정을 포함하여 이를 확장한다. 주요 결과는 도함수의 경계에서 등호가 성립하는 경우가 정확히 도함수가 단위 모듈러스를 가진 선형 함수일 때뿐임을 밝힌다.

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.

연구 동기 및 목표

• 최대 모듈러스 대신 상 집합의 지름으로 대체함으로써 Schwarz의 보조정리를 일반화하는 Landau-Toeplitz 정리에 대한 간결하고 접근하기 쉬운 증명을 제공하는 것.
• 분석 함수의 최대 모듈러스 성장에 대한 정량적 경계를 지름 제약 조건 하에 포함시켜 정리를 확장하는 것.
• 도함수 경계에서 등호가 성립하는 경우를 조사하여, 등호가 성립하면 함수가 선형인 것을 보이는 것.
• 등호 조건의 정량적 형태를 탐색하여 선형성에서의 이탈에 대한 명시적 추정을 도출하는 것.
• 지름이 유계인 볼록 도메인의 하이퍼볼릭 중심과 반경을 포함하는 관련 기하 최적화 문제를 제기하고 초기 연구를 시작하는 것.

제안 방법

• 해석 함수 $ f $ 를 그 홀수부와 짝수부로 분해한다: $ f(z) = f_o(z) + f_e(z) $, 여기서 $ f_o(z) = (f(z) - f(-z))/2 $.
• 홀수부 $ f_o $ 에 대해 Schwarz의 보조정리를 적용한다. $ 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 Landau-Toeplitz 도함수 경계에서 등호가 성립하는 조건은 무엇이며, 이는 분석 함수의 구조에 어떤 의미를 갖는가?
• RQ2 Landau-Toeplitz 정리는 $ f(z) - f(0) - f^\prime(0)z $ 가 0에서의 이격도에 대해 $ |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)| $ 의 상한은 얼마인가?

주요 결과

• 분석 함수의 홀수부를 이용한 간결한 추론을 통해 Landau-Toeplitz 정리를 증명하였고, $ \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 $) 일 때뿐이며, 이는 극한 경우의 강성(rigidity)을 증명한다.
• 등호 조건 하에서 상의 지름 $ f(r\mathbb{D}) $ 는 선형적으로 증가한다: $ \operatorname{Diam}f(r\mathbb{D}) = 2r $ (모든 $ 0 < r < 1 $ 에 대해).
• 명시적인 정량적 경계를 도출하였다: $ \max_{|z| < r} |f(z) - f(0) - f^\prime(0)z| \leq (1 - |f^\prime(0)|) \phi(r) $, 여기서 $ \phi(r) $ 는 명시적인 함수이며, 이는 문제 6.1을 해결한다.
• 지름이 유계인 함수 $ f $ 에 대해, $ f(r\mathbb{D}) $ 의 상 지름은 열린 사상 정리에 의해 경계 $ r\mathbb{T} $ 에서 실현된다.
• n번째 계수에 대한 지름 기반 경계에서 등호가 성립하면, $ f(z) = g(z^n) $ 이고 $ g $ 는 선형이므로, 상수항을 제외하면 $ f(z) = c_n z^n $ 이다. 이는 추론 3.2에서 보여진 linе.