1 Statement of Schwarz’ Lemma
1.1 Classical formulation on the unit disk
Schwarz’ lemma is a result in one-variable complex analysis about holomorphic functions that act as self-maps of the open unit disk. Let
| - \(\mathbb{D}=\{z\in\mathbb{C}: | z | <1\}\), |
|---|
- \(f:\mathbb{D}\to\mathbb{D}\) be holomorphic, and
- \(f(0)=0\).
Under these hypotheses, Schwarz’ lemma provides sharp estimates for the size of \(f(z)\) and its first derivative at the origin.
1.2 Inequality for function values
For every \(z\in\mathbb{D}\), Schwarz’ lemma states \[
| f(z) | \le | z | . |
|---|
\] Thus, among all holomorphic self-maps of \(\mathbb{D}\) fixing the origin, the identity-type behavior at the level of modulus is extremal: the map cannot increase the distance from the origin beyond the distance already present in the argument.
1.3 Inequality for the derivative at the origin
Schwarz’ lemma also yields a bound on the derivative at the origin: \[
| f'(0) | \le 1. |
|---|
\] Moreover, the bound aligns with the value inequality in a precise way: if \(f\) grows no faster than the identity at the first order around \(0\), then its global modulus along the disk is controlled by the same extremal principle.
1.4 Equality (rigidity) cases and extremal maps
| The estimates are not only sharp but also rigid. If there exists a nonzero point \(z_0\in\mathbb{D}\) such that \( | f(z_0) | = | z_0 | \), then \(f\) must be a rotation of the disk: |
|---|
\[ f(z)=e^{i\theta}z \quad \text{for some real } \theta. \]
| Similarly, if \( | f'(0) | =1\), then the same rigidity conclusion holds. In both cases, equality forces the map to coincide with an extremal automorphism of \(\mathbb{D}\) fixing the origin. |
|---|
2 Consequences and Corollaries
2.1 Immediate bounds and growth restrictions
| The inequality \( | f(z) | \le | z | \) implies a simple growth control: for each radius \(r\in(0,1)\), |
|---|
\[
| \max_{ | z | =r} | f(z) | \le r. |
|---|
\] In particular, the maximum modulus of \(f\) on any centered circle is bounded by the circle’s radius. This restriction is a quantitative manifestation of the contraction principle inherent in holomorphic self-maps of \(\mathbb{D}\).
2.2 Boundary behavior implications
| While \(f\) is only assumed holomorphic on \(\mathbb{D}\), the lemma constrains how \(f\) approaches the unit circle. Because \( | f(z) | \le | z | \), any sequence \(z_n\to \zeta\) with \( | \zeta | =1\) can only satisfy \( | f(z_n) | \le | z_n | \to 1\), so the image can reach the boundary only at the same limiting modulus. Moreover, the rigidity statements mean that approaching the boundary “without loss” at an interior equality point forces \(f\) to be a rotation. |
|---|
2.3 Uniqueness-type results from equality cases
Schwarz’ lemma carries uniqueness information: attaining the extremal size at any point (other than the origin) or having maximal derivative at the origin characterizes the function completely. In effect, extremal behavior cannot occur in a partial way; equality at a single internal location forces a global structural form (a rotation).
2.4 Applications to holomorphic self-maps
The lemma serves as a baseline tool for studying families of holomorphic self-maps of \(\mathbb{D}\). By normalization via pre- and post-composition with automorphisms, one frequently reduces a more general self-map problem to the special case \(f(0)=0\). The resulting estimates become building blocks in geometric function theory, where one analyzes how holomorphic maps distort sizes, angles, and hyperbolic quantities.
3 Generalized Versions
3.1 Schwarz–Pick lemma (metric/automorphism form)
A central extension of Schwarz’ lemma is the Schwarz–Pick lemma, which reframes the result in terms of the hyperbolic geometry of the disk. It asserts that holomorphic self-maps of \(\mathbb{D}\) do not increase the hyperbolic distance, and it provides explicit inequalities involving the disk’s automorphisms. When specialized to the case \(f(0)=0\), it reproduces Schwarz’ lemma as a particular instance of this metric contraction principle.
3.2 Schwarz lemma for functions with nonzero center value
| Another common generalization removes the condition \(f(0)=0\). If \(f:\mathbb{D}\to\mathbb{D}\) is holomorphic and \(f(0)=a\) with \( | a | <1\), then one can bound \( | f(z) | \) and \( | f'(0) | \) relative to \(a\) and \( | z | \). The resulting inequalities are consistent with the original lemma after shifting the function by an automorphism that sends \(a\) to \(0\). |
|---|
3.3 Reformulation via disk automorphisms
Disk automorphisms play a systematic role in generalizations. The standard automorphisms have the form \[
| \phi_\alpha(z)=\frac{\alpha-z}{1-\overline{\alpha}z}, \quad | \alpha | <1, |
|---|
\] and they map \(\mathbb{D}\) biholomorphically onto itself while exchanging prescribed points. By considering the composition \[ g=\phi_{f(0)}\circ f, \] one obtains a holomorphic self-map \(g:\mathbb{D}\to\mathbb{D}\) with \(g(0)=0\). Schwarz’ lemma then applies to \(g\), and transforming back yields bounds for \(f\) in the nonzero-center setting.
3.4 Higher-point (two-point) interpolation bounds
Schwarz–Pick theory also supports interpolation statements with more than one point. In two-point versions, one prescribes both \(f(z_1)\) and \(f(z_2)\) (with \(z_1\neq z_2\)) and obtains necessary constraints relating these data via automorphism-invariant quantities. Such results can be expressed using cross-ratio-like expressions built from disk automorphisms, yielding sharp restrictions consistent with extremal maps that behave like automorphisms of \(\mathbb{D}\) in the span of the interpolation points.
4 Proof Techniques
4.1 Proof using the maximum modulus principle
| A standard approach uses the maximum modulus principle. One constructs an auxiliary holomorphic function tailored to the hypotheses. With \(f(0)=0\), the quotient \(f(z)/z\) is holomorphic on \(\mathbb{D}\setminus\{0\}\) and extends holomorphically to \(z=0\) using \(f'(0)\). The boundedness \( | f(z) | <1\) forces \( | f(z)/z | \) to be bounded on the disk, and the maximum modulus principle then yields |
|---|
\[
| \left | \frac{f(z)}{z}\right | \le 1, |
|---|
\]
| which is equivalent to \( | f(z) | \le | z | \). The derivative bound follows from evaluating the extended auxiliary function at \(0\). |
|---|
4.2 Proof via subharmonicity and harmonic majorants
| Another method employs subharmonic functions. The modulus of a holomorphic function, or logarithms of moduli, often produce subharmonic quantities. By considering \(\log | f(z) | \) or related harmonic majorants constructed from the boundary constraints imposed by \(f(\mathbb{D})\subseteq\mathbb{D}\), one derives inequalities that translate into the same contraction estimate. This style of proof highlights that the result is, at heart, governed by potential-theoretic properties rather than algebraic manipulation alone. |
|---|
4.3 Proof using conformal automorphisms of the disk
Conformal automorphisms supply a geometric proof strategy. For general statements, one conjugates the map using disk automorphisms to reduce the problem to a normalized situation where the origin is fixed. Because automorphisms preserve the disk and have explicit formulas, the estimates become transparent once the map is transformed into a form where Schwarz’ lemma applies directly. This approach also clarifies why equality cases correspond to automorphisms: extremality survives conjugation.
4.4 Extremal function method and rigidity arguments
| The rigidity aspect is often emphasized through an extremal function perspective. One considers the family of holomorphic self-maps satisfying the normalization and tries to maximize a quantity such as \( | f'(0) | \) or \( | f(z) | / | z | \). Compactness principles for holomorphic families (e.g., via normal family arguments) can lead to the existence of an extremizer. Then one shows that any extremizer must be an automorphism, by ruling out the possibility of strict inequality under the maximality condition. This yields the characteristic “only rotations achieve equality” classification in Schwarz’ lemma. |
|---|