Koebe quarter theorem
Koebe Quarter Theorem. The image of an injective analytic function f : D → C from the unit disk D onto a subset of the complex plane contains the disk whose center is f(0) and whose radius is |f′(0)|/4.
The theorem is named after Paul Koebe, who conjectured the result in 1907. The theorem was proven by Ludwig Bieberbach in 1916. The example of the Koebe function shows that the constant 1/4 in the theorem cannot be improved (increased).
Grönwall's area theorem
is univalent in |z| > 1. Then
In fact, if r > 1, the complement of the image of the disk |z| > r is a bounded domain X(r). Its area is given by
Since the area is positive, the result follows by letting r decrease to 1. The above proof shows equality holds if and only if the complement of the image of g has zero area, i.e. Lebesgue measure zero.
This result was proved in 1914 by the Swedish mathematician Thomas Hakon Grönwall.
The Koebe function is defined by
Application of the theorem to this function shows that the constant 1/4 in the theorem cannot be improved, as the image domain f(D) does not contain the point z = −1/4 and so cannot contain any disk centred at 0 with radius larger than 1/4.
The rotated Koebe function is
Bieberbach's coefficient inequality for univalent functions
be univalent in |z| < 1. Then
This follows by applying Gronwall's area theorem to the odd univalent function
Equality holds if and only if g is a rotated Koebe function.
Proof of quarter theorem
Applying an affine map, it can be assumed that
If w is not in f(D), then
is univalent in |z| < 1.
Applying the coefficient inequality to f and h gives
Koebe distortion theorem
The Koebe distortion theorem gives a series of bounds for a univalent function and its derivative. It is a direct consequence of Bieberbach's inequality for the second coefficient and the Koebe quarter theorem.
Let f(z) be a univalent function on |z| < 1 normalized so that f(0) = 0 and f'(0) = 1 and let r = |z|. Then
with equality if and only if f is a Koebe function
- Pommerenke 1975, pp. 21–22
- Bieberbach, Ludwig (1916), "Über die Koeffizienten derjenigen Polenzreihen, welche eine schlichte Abbildung des Einheitskreises vermitteln", S.-B. Preuss. Akad. Wiss.: 940–955
- Carleson, L.; Gamelin, T. D. W. (1993), Complex dynamics, Universitext: Tracts in Mathematics, Springer-Verlag, pp. 1–2, ISBN 0-387-97942-5
- Conway, John B. (1995), Functions of One Complex Variable II, Berlin, New York: Springer-Verlag, ISBN 978-0-387-94460-9
- Duren, P. L. (1983), Univalent functions, Grundlehren der Mathematischen Wissenschaften, 259, Springer-Verlag, ISBN 0-387-90795-5
- Gronwall, T.H. (1914), "Some remarks on conformal representation", Annals of Mathematics, 16: 72–76, doi:10.2307/1968044
- Nehari, Zeev (1952), Conformal mapping, Dover, pp. 248–249, ISBN 0-486-61137-X
- Pommerenke, C. (1975), Univalent functions, with a chapter on quadratic differentials by Gerd Jensen, Studia Mathematica/Mathematische Lehrbücher, 15, Vandenhoeck & Ruprecht
- Rudin, Walter (1987). Real and Complex Analysis. Series in Higher Mathematics (3 ed.). McGraw-Hill. ISBN 0-07-054234-1. MR 924157.
- Koebe 1/4 theorem at PlanetMath