Schwarz lemma

Short description: Statement in complex analysis

Mathematical analysis → Complex analysis

Complex analysis
Complex numbers

* Real number
* Imaginary number
* Complex plane
* Complex conjugate
* Unit complex number

Complex functions

* Complex-valued function
* Analytic function
* Holomorphic function
* Cauchy–Riemann equations
* Formal power series

Basic Theory

* Zeros and poles
* Cauchy's integral theorem
* Local primitive
* Cauchy's integral formula
* Winding number
* Laurent series
* Isolated singularity
* Residue theorem
* Conformal map
* Schwarz lemma
* Harmonic function
* Laplace's equation

Geometric function theory
People

* Augustin-Louis Cauchy
* Leonhard Euler
* Carl Friedrich Gauss
* Jacques Hadamard
* Kiyoshi Oka
* Bernhard Riemann
* Karl Weierstrass

* v
* t
* e

In mathematics, the Schwarz lemma, named after Hermann Amandus Schwarz, is a result in complex differential geometry that estimates the (squared) pointwise norm |∂f|2 of a holomorphic map f:(X,gX)->(Y,gY) between Hermitian manifolds under curvature assumptions on gX and gY.

The classical Schwarz lemma is a result in complex analysis typically viewed to be about holomorphic functions from the open unit disk 𝔻:={z∈ℂ:|z|<1} to itself.

The Schwarz lemma has opened several branches of complex geometry, and become an essential tool in the use of geometric PDE methods in complex geometry.

## Contents

* 1 Statement of the classical Schwarz Lemma
* 2 Proof of the classical Schwarz Lemma
* 3 Schwarz–Pick theorem
* 4 Proof of Schwarz–Pick theorem
* 5 Further generalizations and related results
* 6 See also
* 7 References
* 8 General References

## Statement of the classical Schwarz Lemma

Let 𝐃={z:|z|<1} be the open unit disk in the complex plane ℂ centered at the origin, and let f:𝐃->ℂ be a holomorphic map such that f(0)=0 and |f(z)|≤1 on 𝐃.

Then |f(z)|≤|z| for all z∈𝐃, and |f′(0)|≤1.

Moreover, if |f(z)|=|z| for some non-zero z or |f′(0)|=1, then f(z)=az for some a∈ℂ with |a|=1.[1]

## Proof of the classical Schwarz Lemma

The proof, which first appears in a paper by Carathéodory,[2] where it is attributed to Erhard Schmidt, is a straightforward application of the maximum modulus principle on the function

g(z)={f(z)zif z≠0f′(0)if z=0,

which is holomorphic on the whole of 𝔻, including at the origin (because f is differentiable at the origin and fixes zero). Now if 𝔻r={z:|z|≤r} denotes the closed disk of radius r centered at the origin, then the maximum modulus principle implies that, for r<1, given any z∈𝔻r, there exists zr on the boundary of 𝔻r such that

|g(z)|≤|g(zr)|=|f(zr)||zr|≤1r.

As r->1 we get |g(z)|≤1.

Moreover, suppose that |f(z)|=|z| for some non-zero z∈𝔻, or |f′(0)|=1. Then, |g(z)|=1 at some point of 𝔻. So by the maximum modulus principle, g(z) is equal to a constant a such that |a|=1. Therefore, f(z)=az, as desired.

## Schwarz-Pick theorem

A variant of the Schwarz lemma, known as the Schwarz-Pick theorem (after Georg Pick), characterizes the analytic automorphisms of the unit disc, i.e. bijective holomorphic mappings of the unit disc to itself:

Let f:𝐃->𝐃 be holomorphic. Then, for all z1,z2∈𝐃,

|f(z1)−f(z2)1−f(z1)‾f(z2)|≤|z1−z21−z1‾z2|

and, for all z∈𝐃,

|f′(z)|1−|f(z)|2≤11−|z|2.

The expression

d(z1,z2)=tanh−1|z1−z21−z1‾z2|

is the distance of the points z1, z2 in the Poincaré metric, i.e. the metric in the Poincaré disk 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 f 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 𝐇 can be made as follows:

> Let

> f:𝐇->𝐇

> be holomorphic. Then, for all

> z1,z2∈𝐇

> ,

>     |f(z1)−f(z2)f(z1)‾−f(z2)|≤|z1−z2||z1‾−z2|.

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 𝐇 conformally onto the unit disc 𝐃. Then, the map W∘f∘W−1 is a holomorphic map from 𝐃 onto 𝐃. 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∈𝐇,

|f′(z)|Im(f(z))≤1Im(z).

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

f(z)=az+bcz+d

with a,b,c,d∈ℝ 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

z−z0z0‾z−1,|z0|<1,

maps the unit circle to itself. Fix z1 and define the Möbius transformations

M(z)=z1−z1−z1‾z,φ(z)=f(z1)−z1−f(z1)‾z.

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

|φ(f(M−1(z)))|=|f(z1)−f(M−1(z))1−f(z1)‾f(M−1(z))|≤|z|.

Now calling z2=M−1(z) (which will still be in the unit disk) yields the desired conclusion

|f(z1)−f(z2)1−f(z1)‾f(z2)|≤|z1−z21−z1‾z2|.

To prove the second part of the theorem, we rearrange the left-hand side into the difference quotient and let z2 tend to z1.

## 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 f at 0 in case f is injective; that is, univalent.

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

## See also

* Nevanlinna–Pick interpolation
* Kobayashi hyperbolicity
* Bloch's principle

## References

1. ↑ Theorem 5.34 in Rodriguez, Jane P. Gilman, Irwin Kra, Rubi E. (2007). Complex analysis : in the spirit of Lipman Bers ([Online] ed.). New York: Springer. p. 95. ISBN 978-0-387-74714-9.
2. ↑ Carathéodory, Constantin. "Sur quelques applications du théorème de Landau–Picard". C. R. Acad. Sci. Paris 144: 1203–1206..

## General References

* K. Broder (2022), The Schwarz Lemma: An Odyssey, Rocky Mountain Journal of Mathematics, 52, 4, pp. 1141--1155.
* S. Dineen (1989). The Schwarz Lemma. Oxford. ISBN 0-19-853571-6. https://archive.org/details/schwarzlemma0000dine.
* J. Jost, Compact Riemann Surfaces (2002), Springer-Verlag, New York. ISBN 3-540-43299-X (See Section 2.3)
* S.-T. Yau (1978), A general Schwarz lemma for Kähler manifolds, American Journal of Mathematics, 100:1,197--203.

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

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Schwarz lemma. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Schwarz_lemma&oldid=3977701"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template