1 Statement of the Schwarz–Pick lemma

1.1 Setup: holomorphic maps of the unit disk

Let \( \mathbb{D}=\{z\in\mathbb{C}:z<1\}\). Consider a holomorphic function

\[ f:\mathbb{D}\to \mathbb{D}. \] The Schwarz–Pick lemma asserts that such a map cannot increase the natural notion of distance in the disk when distance is measured using the disk’s hyperbolic (Poincaré) geometry.

1.2 Hyperbolic metric / pseudo-distance viewpoint

A standard way to express the lemma uses the hyperbolic distance on \(\mathbb{D}\), or equivalently a closely related pseudo-distance that depends only on cross-ratios.

1.2.1 Contractivity formulation

For any \(z,w\in\mathbb{D}\), \[ \rho_{\mathbb{D}}(f(z),f(w))\le \rho_{\mathbb{D}}(z,w), \] where \(\rho_{\mathbb{D}}\) denotes the hyperbolic distance in \(\mathbb{D}\). Equivalently, using the explicit invariant expression \[

\left\frac{f(z)-f(w)}{1-\overline{f(w)}\,f(z)}\right

\le

\left\frac{z-w}{1-\overline{w}\,z}\right,

\] the lemma states that the Möbius-invariant “distortion factor” of \(f\) does not exceed 1.

1.2.2 Derivative (infinitesimal) inequality

At the infinitesimal level the lemma yields a sharp bound for the derivative. For each \(z\in\mathbb{D}\), \[

f'(z)\le \frac{1-f(z)^2}{1-z^2}.

\] This inequality is often viewed as the differential form of hyperbolic contractivity: locally, holomorphic self-maps decrease the hyperbolic metric by at least as much as the right-hand side prescribes.

1.3 Consequences for pointwise bounds

Two immediate corollaries follow from specializations of the distance form:

1 Statement of the Schwarz–Pick lemma

\[

f(z)\le \left\frac{z-0}{1-\overline{0}\,z}\right=z

\] when \(f(0)=0\), while for general \(w\) one obtains explicit bounds on \(f(z)\) relative to both \(z\) and the basepoint \(w\) through the same Möbius-invariant expression.

2.1 Proof via automorphisms of the disk

The unit disk’s automorphisms are the Möbius transformations of the form \[ \phi_a(z)=\frac{z-a}{1-\overline{a}\,z}\qquad (a\in\mathbb{D}), \] which map \(\mathbb{D}\) bijectively to itself and satisfy \(\phi_a(a)=0\). Given \(f:\mathbb{D}\to\mathbb{D}\), compose with such automorphisms to reduce to the case where one point maps to the origin. Concretely, choose automorphisms \(\phi_w\) and \(\phi_{f(w)}\) so that \(f\) is conjugated into a map sending \(w\) to \(0\). The classical Schwarz lemma then yields the desired inequality in the transformed coordinates. Finally, converting back through the invariance of the cross-ratio expression gives the Schwarz–Pick bounds.

2.2 Proof using the maximum principle

Another common route constructs an auxiliary holomorphic function whose size can be controlled using the maximum principle.

2.2.1 Construction of an auxiliary function

Fix \(w\in\mathbb{D}\) and define \[ g(z)=\phi_{f(w)}(f(z))=\frac{f(z)-f(w)}{1-\overline{f(w)}\,f(z)}. \] This function maps \(\mathbb{D}\) holomorphically into \(\mathbb{D}\) and satisfies \(g(w)=0\). Consider also \[ h(z)=\phi_w(z)=\frac{z-w}{1-\overline{w}\,z}. \] The ratio \(g(z)/h(z)\) is arranged to be bounded and, after careful handling of removable singularities at \(z=w\), becomes holomorphic on \(\mathbb{D}\). The aim is to show it has modulus at most 1.

2.2.2 Application of a boundedness argument

By the Schwarz lemma applied to the map \(g\circ h^{-1}\) (or equivalently by a direct boundedness argument for the constructed ratio), one obtains \[

g(z)\leh(z)\quad \text{for all } z\in\mathbb{D}.

\] Translating back yields \[

\left\frac{f(z)-f(w)}{1-\overline{f(w)}\,f(z)}\right

\le

\left\frac{z-w}{1-\overline{w}\,z}\right,

\] and differentiating at \(z=w\) provides the derivative inequality.

2.3 Proof using Möbius transformations and invariance

The disk’s Möbius-invariant structure makes the lemma largely an expression of invariance plus the basic Schwarz lemma. The key observation is that the quantity \[

\left\frac{z-w}{1-\overline{w}\,z}\right

\] is invariant under automorphisms of \(\mathbb{D}\) in the sense relevant to cross-ratios. Since any disk self-map can be compared to such automorphisms through conjugation, the contractivity inequality follows from the fact that automorphisms themselves preserve hyperbolic distance exactly, while general holomorphic maps cannot exceed this “isometry” behavior.

3 Equality and extremal cases

3.1 Characterization of equality

Equality in the Schwarz–Pick inequality is rigid. In the derivative form, if for some point \(z_0\in\mathbb{D}\) one has \[

f'(z_0)= \frac{1-f(z_0)^2}{1-z_0^2},

\] then \(f\) must be a disk automorphism. In the distance form, if equality holds for some pair of distinct points \(z,w\in\mathbb{D}\), the same conclusion follows.

3.2 Disk automorphisms and their role

Disk automorphisms are precisely the holomorphic bijections \(\mathbb{D}\to\mathbb{D}\) and are given by the Möbius maps \[ \phi_a(z)=e^{i\theta}\frac{z-a}{1-\overline{a}\,z}. \] They preserve the hyperbolic metric exactly, so they satisfy the Schwarz–Pick inequality with equality everywhere. The lemma’s sharpness is therefore reflected in a strong geometric characterization: only isometries (the automorphisms) attain the maximal possible distortion control.

3.3 Rigid behavior under equality

If equality occurs at a single point (in the infinitesimal statement) or for a single pair (in the two-point statement), the map’s behavior becomes fully determined. This rigidity stems from the maximum principle applied to the auxiliary functions used in the proofs: reaching the extremal bound forces those functions to be constant in the transformed setting, implying that \(f\) coincides with an automorphism.

4 Corollaries and applications

4.1 Distance-decreasing property in the disk

The contractivity formulation implies that holomorphic self-maps of the unit disk act as non-expanding maps for hyperbolic distance. As a consequence, trajectories under iteration cannot increase their hyperbolic separation, which provides a geometric mechanism for convergence and dynamical restrictions—subject to further assumptions about fixed points and boundary behavior.

4.2 Classical Schwarz lemma as a special case

If \(f(0)=0\), then the derivative inequality at \(0\) becomes \(f'(0)\le 1\). Integrating the corresponding estimates (or applying the two-point form with \(w=0\)) recovers the classical Schwarz lemma:

\[

f(z)\lez,\qquad z\in\mathbb{D},

\] with equality only for rotations \(f(z)=e^{i\theta}z\), which are exactly the automorphisms that fix the origin.

4.3 Conformal invariance consequences

Because the hyperbolic metric on \(\mathbb{D}\) is preserved by automorphisms, the Schwarz–Pick lemma can be transferred to related settings through conformal maps. In particular, holomorphic maps between hyperbolic Riemann surfaces inherit distance-decreasing behavior with respect to their intrinsic hyperbolic metrics, yielding a general principle: holomorphic maps do not increase hyperbolic geometry.

4.4 Boundary behavior and angular limits (overview)

Although the lemma is formulated inside \(\mathbb{D}\), it plays a role in understanding how \(f\) behaves as points approach the boundary. The derivative inequality constrains growth near boundary points, and in many classical treatments it supports the existence and control of non-tangential limits (often described in terms of angular approaches) and boundary regularity, depending on additional hypotheses. In this way, the Schwarz–Pick estimate supplies quantitative leverage for boundary phenomena.

4.5 Iteration and dynamical implications (overview)

For iterates \(f^{\circ n}\), the distance-decreasing property implies that sequences of images cannot expand hyperbolic distances between two starting points. This leads to common dynamical conclusions: certain kinds of behavior are excluded, and accumulation patterns become constrained. While full classification depends on further dynamical structure (e.g., fixed points inside the disk or on its boundary), Schwarz–Pick provides the foundational metric inequality used to establish such results.

5 Generalizations and extensions

5.1 Versions for holomorphic maps into other domains

The unit disk is not the only setting where similar inequalities hold. If a domain carries a hyperbolic metric (in an appropriate sense), holomorphic maps between such domains behave as contractions for the associated metric. For simply connected proper subdomains of \(\mathbb{C}\), conformal equivalence to the disk allows one to transport the Schwarz–Pick estimate to obtain analogous bounds.

5.2 Higher-dimensional analogues (brief overview)

In several complex variables, the role of the unit disk is played by domains such as the unit ball, where there exist invariant metrics (e.g., the Bergman metric and other closely related geometries). Analogues of Schwarz–Pick-type inequalities assert that holomorphic maps between such domains are distance-decreasing with respect to the appropriate invariant metric, though the exact statements and sharpness conditions depend on the domain and metric choice.

5.3 Connections to the Kobayashi metric

A major extension is the Kobayashi metric, which is defined as the largest pseudometric that makes all holomorphic maps from the disk distance-decreasing. Since the Schwarz–Pick lemma already establishes disk-to-disk contractivity, it becomes a building block for proving that holomorphic maps between general complex manifolds are non-expanding with respect to the Kobayashi metric. Thus, the lemma can be viewed as the “local model” underlying a broad metric theory in complex geometry.

5.4 Relation to Nevanlinna-type estimates (high level)

In addition to metric contraction results, Schwarz–Pick connects to value distribution and growth controls through general principles: holomorphic self-maps constrained by the geometry of the disk often yield inequalities governing derivatives and magnitude. At a high level, such derivative and distortion bounds can be related to Nevanlinna-type estimates that quantify how often holomorphic functions can omit values or how their characteristics grow, though the precise correspondences depend on the particular formulation and domain.