Schwarz lemma

Schwarz lemma
Name	Schwarz lemma
Field	Complex analysis
Statement	A holomorphic map of the unit disk fixing the origin with bounded modulus is a rotation or contraction.
First proved	1869
Author	Hermann Amandus Schwarz

Schwarz lemma Schwarz lemma concerns holomorphic self-maps of the unit disk in the complex plane and gives a tight bound on values and derivatives at the origin for maps fixing 0. The result plays a central role in the theory of Riemann surfaces, the Klein model of hyperbolic geometry, and the study of automorphism groups such as Möbius groups and Fuchsian groups. Its influence extends to function-theoretic inequalities studied by S. Bergman, Paul Koebe, and Åke Pleijel and to extremal problems connected with the Bieberbach conjecture.

Statement and basic consequences

Let f be a holomorphic map from the unit disk D = {z ∈ C : |z|<1} to itself with f(0)=0. Then |f(z)| ≤ |z| for all z ∈ D and |f'(0)| ≤ 1; moreover, if equality holds for some nonzero z or if |f'(0)|=1, then f is a rotation z ↦ e^{iθ} z. The lemma yields immediate corollaries about Schwarz–Pick type distance-decreasing properties relating the Poincaré metric on D and automorphisms given by Möbius maps; it gives a rigidity statement for holomorphic maps between disks and informs uniqueness theorems like those used in proofs of the Littlewood conjecture special cases. The lemma implies that automorphisms of D fixing 0 form a subgroup isomorphic to the circle group U(1), and combined with results of Felix Klein and Henri Poincaré it underpins identification of isometry groups of the hyperbolic plane with PSL(2,R). It also connects with distortion theorems used by Lars Ahlfors and Oswald Teichmüller in geometric function theory.

Proofs

Standard proofs use power series expansions around 0 and the classical maximum modulus principle often attributed to Augustin-Louis Cauchy and developed in work influenced by Karl Weierstrass. One approach composes f with rotations from Évariste Galois-style symmetry to reduce to a real nonnegative coefficient case and applies the maximum modulus principle. Another proof uses the Schwarz–Pick lemma derived by conformal automorphisms related to Émile Picard and exploits the invariant form of the Poincaré metric introduced by Henri Poincaré and used by Felix Klein in uniformization ideas. A third modern method employs the Herglotz representation associated with positive harmonic functions from Rolf Nevanlinna theory and interpolation techniques from Carathéodory's theory, linking to work of Otto Blumenthal and Wojciech Rudin in function spaces. Each proof highlights interplay between Cauchy-type estimates, maximum modulus, and automorphism construction via Möbius maps.

Sharpness and extremal functions

Extremal cases occur precisely for rotations z ↦ e^{iθ} z, showing sharpness of the bounds. For fixed derivative value at 0, extremal functions can be obtained via pre- and post-composition with disk automorphisms studied by Paul Koebe and Charles Loewner, yielding extremals in coefficient problems related to the Bieberbach conjecture and Loewner theory. The lemma's extremal characterization is essential in constructing extremal maps in the Schwarz–Pick metric framework developed by Gaston Julia and Carathéodory, and in mapping problems considered by Lars Ahlfors and Georg Pick.

Generalizations and variants

Generalizations include the Schwarz–Pick lemma, which replaces the origin condition by an inequality invariant under Möbius automorphisms of D and strengthens to a statement about hyperbolic distance monotonicity tied to Henri Poincaré metrics. The Schwarz lemma extends to higher dimensions via the Schwarz lemma of Shoshichi Kobayashi in complex manifolds, and to bounded symmetric domains studied by Elie Cartan and Hua Loo Keng, where invariant metrics like the Kobayashi and Carathéodory distances govern contraction properties. Variants include versions for harmonic maps by J. Eells and Luc Lemaire, for pluriharmonic maps in several complex variables influenced by Henri Cartan and Kiyoshi Oka, and boundary versions proved by Walter Rudin and Earle Hamilton that handle boundary regularity and angular limits used in the theory of univalent functions by Ludwig Bieberbach and Donald Sarason.

Applications in complex analysis and geometry

Schwarz lemma underlies many rigidity and uniqueness theorems in complex analysis, serving in proofs of the Riemann mapping theorem refinements associated with Bernhard Riemann and the uniformization theorem advanced by Poincaré and Koebe. It yields distortion bounds crucial in geometric function theory problems studied by Lars Ahlfors and Paul Montel, informs the theory of conformal metrics and curvature comparisons in work of Shing-Tung Yau and Shoshichi Kobayashi, and appears in iteration theory of holomorphic maps developed by Gaston Julia and Pierre Fatou. In several complex variables, the lemma's higher-dimensional forms constrain holomorphic maps between complex manifolds relevant to André Weil's moduli problems, Teichmüller theory, and complex dynamics studied by John Milnor.

Historical development and attribution

The lemma was first proved by Hermann Amandus Schwarz in 1869 in the context of conformal mapping problems and function theory related to work of Karl Weierstrass and Bernhard Riemann. Subsequent formulations and generalizations were developed by Georg Pick who proved the invariant form now known as the Schwarz–Pick lemma, and by Kurt Herglotz and G. D. Birkhoff whose methods influenced operator-theoretic perspectives. The extension to several complex variables and invariant metrics grew from investigations by Élie Cartan and Shoshichi Kobayashi, while connections to extremal problems trace through Paul Koebe, Ludwig Bieberbach, and Charles Loewner.

Category:Complex analysis