Are you an EPFL student looking for a semester project?
Work with us on data science and visualisation projects, and deploy your project as an app on top of GraphSearch.
Concept
Schwarz lemma
Summary
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 deeper 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.
Let be the open unit disk in the complex plane centered at the origin, and let be a holomorphic map such that and on .
Then for all , and .
Moreover, if for some non-zero or , then for some with .
The proof is a straightforward application of the maximum modulus principle on the function
which is holomorphic on the whole of , including at the origin (because is differentiable at the origin and fixes zero). Now if denotes the closed disk of radius centered at the origin, then the maximum modulus principle implies that, for , given any , there exists on the boundary of such that
As we get .
Moreover, suppose that for some non-zero , or . Then, at some point of . So by the maximum modulus principle, is equal to a constant such that . Therefore, , as desired.
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 be holomorphic. Then, for all ,
and, for all ,
The expression
is the distance of the points , 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.
Official source
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.