Schwarz lemma

In mathematics, the Schwarz lemma, named after Hermann Amandus Schwarz, is a result in complex analysis about holomorphic functions from the open unit disk to itself. The lemma is less celebrated than stronger theorems, such as the Riemann mapping theorem, which it helps to prove. It is however one of the simplest results capturing the rigidity of holomorphic functions.

Contents 1 Statement 2 Proof 3 Schwarz–Pick theorem 4 Proof of Schwarz–Pick theorem 5 Further generalizations and related results 6 References

Statement

Let

be the open unit disk in the complex plane C centered at the origin and let

be a holomorphic map that fixes the origin, that is,

The Schwarz lemma states that

for all

and that

Moreover, if

for some

or if

then f is a rotation, that is,

for some with

Proof

The proof is a straightforward application of the maximum modulus principle on the function

which is holomorphic on the whole of D, including at the origin (because f fixes the origin). Now if

denotes the closed disk of radius r centered at the origin, then the maximum modulus principle implies that, for r < 1,

for all z in D_r and all z_r on the boundary of D_r.

As r approaches 1 we get

Moreover, if there exists a z₀ in D such that g(z₀) = 1, then applying the maximum modulus principle to g, we obtain that g is constant. Therefore

where a is constant and |a| = 1. This is also the case if |f'(0)| = 1.

Schwarz–Pick theorem

A variant of the Schwarz lemma can be stated that is invariant under analytic automorphisms on the unit disk, i.e. bijective holomorphic mappings of the unit disc to itself. This variant is known as the Schwarz–Pick theorem (after Georg Pick):

Let ƒ : D → D be holomorphic. Then, for all z₁, z₂ ∈ D,

and, for all z ∈ D,

The expression

is the distance of the points z₁, z₂ in the Poincaré metric, i.e. the metric in the Poincaré disc model for hyperbolic geometry in dimension two. The Schwarz–Pick theorem then essentially states that a holomorphic map of the unit disk into itself decreases the distance of points in the Poincaré metric. If equality holds throughout in one of the two inequalities above (which is equivalent to saying that the holomorphic map preserves the distance in the Poincaré metric) , then ƒ must be an analytic automorphism of the unit disc, given by a Möbius transformation mapping the unit disc to itself.

An analogous statement on the upper half-plane H can be made as follows:

Let be holomorphic. Then, for all

This is an easy consequence of the Schwarz–Pick theorem mentioned above: One just needs to remember that the Cayley transform W(z) = (z − i)/(z + i) maps the upper half-plane H conformally onto the unit disc D. Then, the map W o ƒ o W⁻¹ is a holomorphic map from D onto D. Using the Schwarz–Pick theorem on this map, and finally simplifying the results by using the formula for W, we get the desired result. Also, for all z ∈ H,

If equality holds for either the one or the other expressions, then ƒ must be a Möbius transformation with real coefficients. That is, if equality holds, then

with a, b, c, d being real numbers, and ad − bc > 0.

Proof of Schwarz–Pick theorem

The proof of the Schwarz–Pick theorem follows from Schwarz's lemma and the fact that a Möbius transformation of the form where |z₀| < 1 maps the unit circle to itself. Fix z₁ and define the Möbius transformations

Since M(z₁) = 0 and the Möbius transformation is invertible, the composition φ(ƒ(M ⁻¹(z))) maps 0 to 0 and the unit disk is mapped into itself. Thus we can apply Schwarz's lemma, which is to say

Now calling z₂ = M ⁻¹(z) (which will still be in the unit disk) yields the desired conclusion

To prove the second part of the theorem, we just let z₂ tend to z₁.

Further generalizations and related results

The Schwarz–Ahlfors–Pick theorem provides an analogous theorem for hyperbolic manifolds.

De Branges' theorem, formerly known as the Bieberbach Conjecture, is an important extension of the lemma, giving restrictions on the higher derivatives of ƒ at 0 in case ƒ is injective; that is, conformal.

The Koebe 1/4 theorem provides a related estimate in the case that ƒ is conformal.

References

• Jurgen Jost, Compact Riemann Surfaces (2002), Springer-Verlag, New York. ISBN 3-540-43299-X (See Section 2.3)
• S. Dineen (1989). The Schwarz Lemma. Oxford. ISBN 0-19-853571-6. 

This article incorporates material from Schwarz lemma on PlanetMath, which is licensed under the Creative Commons Attribution/Share-Alike License.