We now approach conformal maps from yet another perspective. Given an open subset {U} of the complex numbers {{\bf C}}, define a univalent function on {U} to be a holomorphic function {f: U \rightarrow {\bf C}} that is also injective. We will primarily be studying this concept in the case when {U} is the unit disk {D(0,1) := \{ z \in {\bf C}: |z| < 1 \}}.

Clearly, a univalent function {f: D(0,1) \rightarrow {\bf C}} on the unit disk is a conformal map from {D(0,1)} to the image {f(D(0,1))}; in particular, {f(D(0,1))} is simply connected, and not all of {{\bf C}} (since otherwise the inverse map {f^{-1}: {\bf C} \rightarrow D(0,1)} would violate Liouville’s theorem). In the converse direction, the Riemann mapping theorem tells us that every open simply connected proper subset {V \subsetneq {\bf C}} of the complex numbers is the image of a univalent function on {D(0,1)}. Furthermore, if {V} contains the origin, then the univalent function {f: D(0,1) \rightarrow {\bf C}} with this image becomes unique once we normalise {f(0) = 0} and {f'(0) > 0}. Thus the Riemann mapping theorem provides a one-to-one correspondence between open simply connected proper subsets of the complex plane containing the origin, and univalent functions {f: D(0,1) \rightarrow {\bf C}} with {f(0)=0} and {f'(0)>0}. We will focus particular attention on the univalent functions {f: D(0,1) \rightarrow {\bf C}} with the normalisation {f(0)=0} and {f'(0)=1}; such functions will be called schlicht functions.

One basic example of a univalent function on {D(0,1)} is the Cayley transform {z \mapsto \frac{1+z}{1-z}}, which is a Möbius transformation from {D(0,1)} to the right half-plane {\{ \mathrm{Re}(z) > 0 \}}. (The slight variant {z \mapsto \frac{1-z}{1+z}} is also referred to as the Cayley transform, as is the closely related map {z \mapsto \frac{z-i}{z+i}}, which maps {D(0,1)} to the upper half-plane.) One can square this map to obtain a further univalent function {z \mapsto \left( \frac{1+z}{1-z} \right)^2}, which now maps {D(0,1)} to the complex numbers with the negative real axis {(-\infty,0]} removed. One can normalise this function to be schlicht to obtain the Koebe function

\displaystyle  f(z) := \frac{1}{4}\left( \left( \frac{1+z}{1-z} \right)^2 - 1\right) = \frac{z}{(1-z)^2}, \ \ \ \ \ (1)

which now maps {D(0,1)} to the complex numbers with the half-line {(-\infty,-1/4]} removed. A little more generally, for any {\theta \in {\bf R}} we have the rotated Koebe function

\displaystyle  f(z) := \frac{z}{(1 - e^{i\theta} z)^2} \ \ \ \ \ (2)

that is a schlicht function that maps {D(0,1)} to the complex numbers with the half-line {\{ -re^{-i\theta}: r \geq 1/4\}} removed.

Every schlicht function {f: D(0,1) \rightarrow {\bf C}} has a convergent Taylor expansion

\displaystyle  f(z) = a_1 z + a_2 z^2 + a_3 z^3 + \dots

for some complex coefficients {a_1,a_2,\dots} with {a_1=1}. For instance, the Koebe function has the expansion

\displaystyle  f(z) = z + 2 z^2 + 3 z^3 + \dots = \sum_{n=1}^\infty n z^n

and similarly the rotated Koebe function has the expansion

\displaystyle  f(z) = z + 2 e^{i\theta} z^2 + 3 e^{2i\theta} z^3 + \dots = \sum_{n=1}^\infty n e^{(n-1)\theta} z^n.

Intuitively, the Koebe function and its rotations should be the “largest” schlicht functions available. This is formalised by the famous Bieberbach conjecture, which asserts that for any schlicht function, the coefficients {a_n} should obey the bound {|a_n| \leq n} for all {n}. After a large number of partial results, this conjecture was eventually solved by de Branges; see for instance this survey of Korevaar or this survey of Koepf for a history.

It turns out that to resolve these sorts of questions, it is convenient to restrict attention to schlicht functions {g: D(0,1) \rightarrow {\bf C}} that are odd, thus {g(-z)=-g(z)} for all {z}, and the Taylor expansion now reads

\displaystyle  g(z) = b_1 z + b_3 z^3 + b_5 z^5 + \dots

for some complex coefficients {b_1,b_3,\dots} with {b_1=1}. One can transform a general schlicht function {f: D(0,1) \rightarrow {\bf C}} to an odd schlicht function {g: D(0,1) \rightarrow {\bf C}} by observing that the function {f(z^2)/z^2: D(0,1) \rightarrow {\bf C}}, after removing the singularity at zero, is a non-zero function that equals {1} at the origin, and thus (as {D(0,1)} is simply connected) has a unique holomorphic square root {(f(z^2)/z^2)^{1/2}} that also equals {1} at the origin. If one then sets

\displaystyle  g(z) := z (f(z^2)/z^2)^{1/2} \ \ \ \ \ (3)

it is not difficult to verify that {g} is an odd schlicht function which additionally obeys the equation

\displaystyle  f(z^2) = g(z)^2. \ \ \ \ \ (4)

Conversely, given an odd schlicht function {g}, the formula (4) uniquely determines a schlicht function {f}.

For instance, if {f} is the Koebe function (1), {g} becomes

\displaystyle  g(z) = \frac{z}{1-z^2} = z + z^3 + z^5 + \dots, \ \ \ \ \ (5)

which maps {D(0,1)} to the complex numbers with two slits {\{ \pm iy: y > 1/2 \}} removed, and if {f} is the rotated Koebe function (2), {g} becomes

\displaystyle  g(z) = \frac{z}{1- e^{i\theta} z^2} = z + e^{i\theta} z^3 + e^{2i\theta} z^5 + \dots. \ \ \ \ \ (6)

De Branges established the Bieberbach conjecture by first proving an analogous conjecture for odd schlicht functions known as Robertson’s conjecture. More precisely, we have

Theorem 1 (de Branges’ theorem) Let {n \geq 1} be a natural number.

  • (i) (Robertson conjecture) If {g(z) = b_1 z + b_3 z^3 + b_5 z^5 + \dots} is an odd schlicht function, then

    \displaystyle  \sum_{k=1}^n |b_{2k-1}|^2 \leq n.

  • (ii) (Bieberbach conjecture) If {f(z) = a_1 z + a_2 z^2 + a_3 z^3 + \dots} is a schlicht function, then

    \displaystyle  |a_n| \leq n.

It is easy to see that the Robertson conjecture for a given value of {n} implies the Bieberbach conjecture for the same value of {n}. Indeed, if {f(z) = a_1 z + a_2 z^2 + a_3 z^3 + \dots} is schlicht, and {g(z) = b_1 z + b_3 z^3 + b_5 z^5 + \dots} is the odd schlicht function given by (3), then from extracting the {z^{2n}} coefficient of (4) we obtain a formula

\displaystyle  a_n = \sum_{j=1}^n b_{2j-1} b_{2(n+1-j)-1}

for the coefficients of {f} in terms of the coefficients of {g}. Applying the Cauchy-Schwarz inequality, we derive the Bieberbach conjecture for this value of {n} from the Robertson conjecture for the same value of {n}. We remark that Littlewood and Paley had conjectured a stronger form {|b_{2k-1}| \leq 1} of Robertson’s conjecture, but this was disproved for {k=3} by Fekete and Szegö.

To prove the Robertson and Bieberbach conjectures, one first takes a logarithm and deduces both conjectures from a similar conjecture about the Taylor coefficients of {\log \frac{f(z)}{z}}, known as the Milin conjecture. Next, one continuously enlarges the image {f(D(0,1))} of the schlicht function to cover all of {{\bf C}}; done properly, this places the schlicht function {f} as the initial function {f = f_0} in a sequence {(f_t)_{t \geq 0}} of univalent maps {f_t: D(0,1) \rightarrow {\bf C}} known as a Loewner chain. The functions {f_t} obey a useful differential equation known as the Loewner equation, that involves an unspecified forcing term {\mu_t} (or {\theta(t)}, in the case that the image is a slit domain) coming from the boundary; this in turn gives useful differential equations for the Taylor coefficients of {f(z)}, {g(z)}, or {\log \frac{f(z)}{z}}. After some elementary calculus manipulations to “integrate” this equations, the Bieberbach, Robertson, and Milin conjectures are then reduced to establishing the non-negativity of a certain explicit hypergeometric function, which is non-trivial to prove (and will not be done here, except for small values of {n}) but for which several proofs exist in the literature.

The theory of Loewner chains subsequently became fundamental to a more recent topic in complex analysis, that of the Schramm-Loewner equation (SLE), which is the focus of the next and final set of notes.

— 1. The area theorem and its consequences —

We begin with the area theorem of Grönwall.

Theorem 2 (Grönwall area theorem) Let {F: \{ z: |z| > 1 \} \rightarrow {\bf C}} be a univalent function with a convergent Laurent expansion

\displaystyle  f(z) = z + d_0 + \frac{d_1}{z} + \frac{d_2}{z^2} + \dots.

Then

\displaystyle  \sum_{n=0}^\infty n |d_n|^2 \leq 1.

Proof: By shifting {f} we may normalise {d_0=0}. By hypothesis we have {d_n = O_\varepsilon((1+\varepsilon)^n)} for any {\varepsilon>0}; by replacing {F} with {(1+\varepsilon)^{-1} F((1+\varepsilon) z)} and using a limiting argument, we may assume without loss of generality that the {d_n} have some exponential decay as {n \rightarrow \infty} (in order to justify some of the manipulations below).

Let {R>1} be a large parameter. If {z = R e^{i\theta}}, then {F(Re^{i\theta}) = R e^{i\theta} + d_1 R^{-1} e^{-i\theta} + O(R^{-2})} and {\frac{d}{d\theta} F(Re^{i\theta}) = i R e^{i\theta} - i d_1 R^{-1} e^{-i\theta} + O(R^{-2})}. The area enclosed by the simple curve {\{ F(Re^{i\theta}):0 \leq \theta \leq 2\pi \}} is equal to

\displaystyle  \int_0^{2\pi} \frac{1}{2} \mathrm{Im}( \overline{F(Re^{i\theta})} \frac{d}{d\theta} F(Re^{i\theta}) )\ d\theta

\displaystyle  = \frac{1}{2} \int_0^{2\pi} \mathrm{Im}( i R^2 + i \overline{d_1} e^{2i\theta} - i d_1 e^{-2i\theta} + O( R^{-1} )\ d\theta

\displaystyle  = \pi R^2 + O(1/R);

crucially, the error term here goes to zero as {R \rightarrow \infty}. Meanwhile, by the change of variables formula (using monotone convergence if desired to work in compact subsets of the annulus {\{z: 1 < |z| < R \}} initially) and Plancherel's theorem, the area of the region {\{ F(z): 1 < |z| < R \}} is

\displaystyle  \int_{1 < |z| < R} |F'(z)|^2\ dz d\overline{z}

\displaystyle  = \int_1^R \int_0^{2\pi} |1 + \frac{d_1}{r^2} e^{-2i\theta} + \frac{2d_2}{r^3} e^{-3i\theta} + \dots|^2\ d\theta\ r dr

\displaystyle  = 2\pi \int_1^R (1 + \frac{|d_1|^2}{r^4} + \frac{|2d_2|^2}{r^6} + \dots)\ r dr

\displaystyle  = \pi R^2 - \pi + \pi |d_1|^2 + 2 \pi |d_2|^2 + \dots - O(R^{-1}).

Comparing these bounds we conclude that

\displaystyle  \sum_{n=0}^\infty n |d_n|^2 \leq 1 + O(R^{-1});

sending {R} to infinity, we obtain the claim. \Box

Exercise 3 Let {f: D(0,1) \rightarrow {\bf C}} be a univalent function with Taylor expansion

\displaystyle  f(z) = a_0 + a_1 z + a_2 z^2 + \dots

Show that the area of {f(D(0,1))} is equal to {\pi \sum_n n |a_n|^2}. (In particular, {f(D(0,1))} has finite area if and only if {\sum_n n |a_n|^2 < \infty}.)

Corollary 4 (Bieberbach inequality)

  • (i) If {g(z) = z + b_3 z^3 + b_5 z^5 + \dots} is an odd schlicht function, then {|b_3| \leq 1}.
  • (ii) If {f(z) = z + a_2 z^2 + a_3 z^3 + \dots} is a schlicht function, then {|a_2| \leq 2}.

Proof: For (i), we apply Theorem 2 to the univalent function {F: \{ |z| > 1 \} \rightarrow {\bf C}} defined by {F(z) := 1/g(\frac{1}{z})}, which has a Laurent expansion {F(z) = z - \frac{b_3}{z} + \dots}, to give the claim. For (ii), apply part (i) to the square root of {z \mapsto f(z^2)} with first term {z}. \Box

Exercise 5 Show that equality occurs in Corollary 4(i) if and only if {g} takes the form {g(z) = \frac{z}{1-e^{i\theta} z^2}} for some {\theta \in {\bf R}}, and in Corollary 4(ii) if and only if {f} takes the form of a rotated Koebe function {f(z) = \frac{z}{(1-e^{i\theta} z)^2}} for some {\theta \in {\bf R}}.

The Bieberbach inequality can be rescaled to bound the second coefficient of univalent functions:

Exercise 6 (Rescaled Bieberbach inequality) If {f: D(0,1) \rightarrow {\bf C}} is a univalent function, show that

\displaystyle  |f''(0)| \leq 4|f'(0)|.

When does equality hold?

The Bieberbach inequality gives a useful lower bound for the image of a univalent function, known as the Koebe quarter theorem:

Corollary 7 (Koebe quarter theorem) Let {f: D(0,1) \rightarrow {\bf C}} be a univalent function. Then {f(D(0,1))} contains the disk {D(f(0), |f'(0)|/4)}.

Proof: By applying a translation and rescaling, we may assume without loss of generality that {f} is a schlicht function, with Taylor expansion

\displaystyle  f(z) = z + a_2 z^2 + a_3 z^3 + \dots

Our task is now to show that for every {w \in D(0,1/4)}, the equation {f(z)=w} has a solution in {D(0,1)}. If this were not the case, then the function {w-f(z)} is invertible on {D(0,1)}, with inverse being univalent and having the Taylor expansion

\displaystyle  \frac{1}{w-f(z)} = \frac{1}{w} + \frac{f(z)}{w^2} + \frac{f(z)^2}{w^3} + \dots = \frac{1}{w} + \frac{z}{w^2} + (\frac{a_2}{w^2} + \frac{1}{w^3}) z^2 + \dots.

Applying Exercise 6 we then have

\displaystyle  2|\frac{a_2}{w^2} + \frac{1}{w^3}| \leq \frac{4}{|w|^2}

while from the Bieberbach inequality one also has {|a_2| \leq 2}. Hence by the triangle inequality {|1/w| \leq 4}, which is incompatible with the hypothesis {w \in D(0,1/4)}. \Box

Exercise 8 Show that the radius {|f'(0)|/4} is best possible in Corollary 7 (thus, {f(D(0,1))} does not contain any disk {D(f(0), |f'(0)|/4+\varepsilon)} with {\varepsilon>0}) if and only if {f} takes the form {f(z) = a + \frac{bz}{(1-e^{i\theta}z)^2}} for some complex numbers {a,b \in {\bf C}} and real {\theta}.

Remark 9 The univalence hypothesis is crucial in the Koebe quarter theorem. Consider for instance the functions {f_n: D(0,1) \rightarrow {\bf C}} defined by {f_n(z) := \frac{e^{nz}-1}{n}}. These are locally univalent functions (since {f_n} is holomorphic with non-zero derivative) and {f_n(0)=0}, {f'_n(z)=1}, but {f_n(D(0,1))} avoids the point {-\frac{1}{n}}.

Exercise 10 (Koebe distortion theorem) Let {f: D(0,1) \rightarrow {\bf C}} be a schlicht function, and let {z \in D(0,1)} have magnitude {|z|=r}.

  • (i) Show that

    \displaystyle  \left| \frac{z f''(z)}{f'(z)} - \frac{2r^2}{1-r^2}\right| \leq \frac{4r}{1-r^2}.

    (Hint: compose {f} on the right with a Möbius automorphism of {D(0,1)} that sends {0} to {z} and then apply the rescaled Bieberbach inequality.)

  • (ii) Show that

    \displaystyle  \frac{1-r}{(1+r)^3} \leq |f'(z)| \leq \frac{1+r}{(1-r)^3}.

    (Hint: use (i) to control the radial derivative of {\log |f'(z)|}.)

  • (iii) Show that

    \displaystyle  \frac{r}{(1+r)^2} \leq |f(z)| \leq \frac{r}{(1-r)^2}.

  • (iv) Show that

    \displaystyle  \frac{1-r}{1+r} \leq |\frac{z f'(z)}{f(z)}| \leq \frac{1+r}{1-r)}.

    (This cannot be directly derived from (ii) and (iii). Instead, compose {f} on the right with a Mobius automorphism that sends {0} to {z} and {-z} to {0}, rescale it to be schlicht, and apply (iii) to this function at {-z}.)

  • (v) Show that the space of schlicht functions is a normal family. In other words, if {f_n: D(0,1) \rightarrow {\bf C}} is any sequence of schlicht functions, then there is a subsequence {f_{n_j}} that converges locally uniformly on compact sets.
  • (vi) (Qualitative Bieberbach conjecture) Show that for each natural number {n} there is a constant {C_n} such that {|a_n| \leq C_n} whenever {f: D(0,1) \rightarrow {\bf C}} is a schlicht function with Taylor expansion

    \displaystyle  f(z) = a_1 z + a_2 z^2 + a_3 z^3 + \dots.

Exercise 11 (Conformal radius) If {U} is a non-empty simply connected open subset of {{\bf C}} that is not all of {{\bf C}}, and {z_0} is a point in {U}, define the conformal radius of {U} at {z_0} to be the quantity {|\phi'(0)|}, where {\phi} is any conformal map from {D(0,1)} to {U} that maps {0} to {z_0} (the existence and uniqueness of this radius follows from the Riemann mapping theorem). Thus for instance the disk {D(z_0,r)} has conformal radius {r} around {z_0}.

  • (i) Show that the conformal radius is strictly monotone in {U}: if {U_1 \subsetneq U_2 \subsetneq {\bf C}} are non-empty simply connected open subsets of {{\bf C}}, and {z_0 \in U_1}, then the conformal radius of {U_2} around {z_0} is strictly greater than that of {U_1}.
  • (ii) Show that the conformal radius of a disk {D(z_0,r)} around an element {z_1} of the disk is given by the formula {r - \frac{|z_1-z_0|^2}{r}}.
  • (iii) Show that the conformal radius of {U} around {z_0} lies between {r} and {4r}, where {r} is the radius of the maximal disk {D(z_0,r)} that is contained in {U}.
  • (iv) If the conformal radius of {U} around {z_0} is equal to {R}, show that for all sufficiently small {\varepsilon>0}, the ring domain {U \backslash D(z_0,\varepsilon)} has modulus {\log \frac{R}{\varepsilon} + o(1)}, where {o(1)} denotes a quantity that goes to zero as {\varepsilon \rightarrow 0}, and the modulus of a ring domain was defined in Notes 2.

We can use the distortion theorem to obtain a nice criterion for when univalent maps converge to a given limit, known as the Carathéodory kernel theorem.

Theorem 12 (Carathéodory kernel theorem) Let {U_1,U_2,\dots} be a sequence of simply connected open proper subsets of {{\bf C}} containing the origin, and let {U} be a further simply connected open proper subset of {{\bf C}} containing {0}. Let {f_n: D(0,1) \rightarrow U_n} and {f: D(0,1) \rightarrow U} be the conformal maps with {f_n(0)=0} and {f'_n(0) > 0} (the existence and uniqueness of these maps are given by the Riemann mapping theorem). Then the following are equivalent:

  • (i) {f_n} converges locally uniformly on compact sets to {f}.
  • (ii) For every subsequence {U_{n_j}} of the {U_n}, {U} is the set of all {w \in {\bf C}} such that there is an open connected set containing {0} and {w} that is contained in {U_{n_j}} for all sufficiently large {j}.

If conclusion (ii) holds, {U} is known as the kernel of the domains {U_n}.

Proof: Suppose first that {f_n} converges locally uniformly on compact sets to {f}. If {w \in U}, then {w \in f(B(0,r')) \subset f(B(0,r))} for some {0 < r' < r < 1}. If {w' \in f(B(0,r))}, then the holomorphic functions {f_n-w'} converge uniformly on {\overline{B(0,r)}} to the function {f-w'}, which is not identically zero but has a zero in {B(0,r)}. By Hurwitz’s theorem we conclude that {f_n-w'} also has a zero in {B(0,r)} for all sufficiently large {n}; indeed the same argument shows that one can replace {w'} by any element of a small neighbourhood of {w'} to obtain the same conclusion, uniformly in {n}. From compactness we conclude that for sufficiently large {n}, {f_n-w'} has a zero in {B(0,r)} for all {w' \in \overline{f(B(0,r'))}}, thus {f(B(0,r')) \subset U_n} for sufficiently large {n}. Since {f(B(0,r'))} is open connected and contains {0} and {w}, we see that {U} is contained in the set described in (ii).

Conversely, suppose that {U_{n_j}} is a subsequence of the {U_n} and {w \in {\bf C}} is such that there is an open connected set {V} containing {0} and {w} that is contained in {U_{n_j}} for sufficiently large {j}. The inverse maps {f_{n_j}^{-1}: V \rightarrow D(0,1)} are holomorphic and bounded, hence form a normal family by Montel’s theorem. By refining the subsequence we may thus assume that the {f_{n_j}^{-1}} converge locally uniformly to a holomorphic limit {g}. The function {g} takes values in {\overline{D(0,1)}}, but by the open mapping theorem it must in fact map to {D(0,1)}. In particular, {g(w) \in D(0,1)}. Since {f_{n_j}^{-1}(w)} converges to {g(w)}, and {f_{n_j}} converges locally uniformly to {f}, we conclude that {f_{n_j}( f_{n_j}^{-1}(w) )} converges to {f(g(w))}, thus {f(g(w)) = w} and hence {w \in U}. This establishes the derivation of (ii) from (i).

Now suppose that (ii) holds. It suffices to show that every subsequence of {f_n} has a further subsequence that converges locally uniformly on compact sets to {f} (this is an instance of the Urysohn subsequence principle). Then (as {U} contains {0}) in particular there is a disk {D(0,\varepsilon)} that is contained in the {U_n} for all sufficiently large {n}; on the other hand, as {U} is not all of {{\bf C}}, there is also a disk {D(0,R)} which is not contained in the {U_n} for all sufficiently large {n}. By Exercise 11, this implies that the conformal radii of the {U_n} around zero is bounded above and below, thus {f'_n(0)} is bounded above and below.

By Exercise 10(v), and rescaling, the functions {f_{n_j}} then form a normal family, thus there is a subsequence {f_{n'_j}} of the {f_{n_j}} that converges locally uniformly on compact sets to some limit {g}. Since {f'_{n'_j}(0)} is positive and bounded away from zero, {g'(0)} is also positive, so {g} is non-constant. By Hurwitz’s theorem, {g} is therefore also univalent, and thus maps {D(0,1)} to some region {V}. By the implication of (ii) from (i) (with {f,U} replaced by {g,V}) we conclude that {V} is the set of all {w \in {\bf C}} such that there is an open connected set containing {0} and {w} that is contained in {U_{n'_j}} for all sufficiently large {j}; but by hypothesis, this set is also {U}. Thus {U=V}, and then by the uniqueness part of the Riemann mapping theorem, {f=g} as desired. \Box

The condition in Theorem 12(ii) indicates that {U_n} “converges” to {U} in a rather complicated sense, in which large parts of {U_n} are allowed to be “pinched off” from {0} and disappear in the limit. This is illustrated in the following explicit example:

Exercise 13 (Explicit example of kernel convergence) Let {g} be the function from (5), thus {g} is a univalent function from {D(0,1)} to {{\bf C}} with the two vertical rays from {i/2} to {+i\infty}, and from {-i/2} to {-i\infty}, removed. For any natural number {n}, let {z_n := 1-\frac{1}{n}} and let {w_n := g(z_n) = \frac{n(n-1)}{2n-1}}, and define the transformed functions {f_n(z) := \frac{1}{w_n} g(\frac{z+z_n}{1+\overline{z_n} z}) - 1}.

  • (i) Show that {f_n} is a univalent function from {D(0,1)} to {{\bf C}} with the two vertical rays from {-1 + \frac{i}{2w_n}} to {-1+i\infty}, and from {-1 - \frac{i}{2w_n}} to {-1 -i\infty}, removed, and that {f_n(0)=0} and {f'_n(0)>0}.
  • (ii) Show that {f_n} converges locally uniformly to the function {f(z) := \frac{2z}{1-z}}, and that this latter map is a univalent map from {D(0,1)} to the half-plane {\{ x+iy: x > -1\}}. (Hint: one does not need to compute everything exactly; for instance, any terms of the form {O( \frac{1}{n^2})} can be written using the {O()} notation instead of expanded explicitly.)
  • (iii) Explain why these facts are consistent with the Carathéodory kernel theorem.

As another illustration of the theorem, let {U,V} be two distinct convex open proper subsets of {{\bf C}} containing the origin, and let {f_U, f_V} be the associated conformal maps from {D(0,1)} to {U,V} respectively with {f_U(0)=f_V(0)=0} and {f'_U(0), f'_V(0)>0}. Then the alternating sequence {f_U, f_V, f_U, f_V, \dots} does not converge locally uniformly to any limit. The set {U \cap V} is the set of all points that lie in a connected open set containing the origin that eventually is contained in the sequence {U,V,U,V,\dots}; but if one passes to the subsequence {U,U,U,\dots}, this set of points enlarges to {U}, and so the sequence {U,V,U,V,\dots} does not in fact have a kernel.

However, the kernel theorem simplifies significantly when the {U_n} are monotone increasing, which is already an important special case:

Corollary 14 (Monotone increasing case of kernel theorem) Let the notation and assumptions be as in Theorem 12. Assume furthermore that

\displaystyle  U_1 \subset U_2 \subset U_3 \subset \dots

and that {U = \bigcup_{n=1}^\infty U_n}. Then {f_n} converges locally uniformly on compact sets to {f}.

Loewner observed that the kernel theorem can be used to approximate univalent functions by functions mapping into slit domains. More precisely, define a slit domain to be an open simply connected subset of {{\bf C}} formed by deleting a half-infinite Jordan curve {\{ \gamma(t): t \geq 0 \}} connecting some finite point {\gamma(0)} to infinity; for instance, the image {{\bf C} \backslash (-\infty,-1/4]} of the Koebe function is a slit domain.

Theorem 15 (Loewner approximation theorem) Let {f: D(0,1) \rightarrow {\bf C}} be a univalent function. Then there exists a sequence {f_n: D(0,1) \rightarrow {\bf C}} of univalent functions whose images {f_n(D(0,1))} are slit domains, and which converge locally uniformly on compact subsets to {f}.

Proof: First suppose that {f} extends to a univalent function on a slightly larger disk {D(0,1+\varepsilon)} for some {\varepsilon>0}. Then the image {f( \partial D(0,1)) = \{ f(e^{i\theta}): 0 \leq \theta \leq 2\pi \}} of the unit circle is a Jordan curve enclosing the region {f(D(0,1))} in the interior. Applying the Jordan curve theorem (and the Möbius inversion {z \mapsto 1/z}), one can find a half-infinite Jordan curve {\gamma} from {f(1)} to infinity that stays outside of {f(\overline{D(0,1)})}. For any {n}, one can concatenate this curve with the arc {\{f(e^{i\theta}): 0 \leq \theta \leq 2\pi - \frac{1}{n} \}} to obtain another half-infinite Jordan curve {\gamma_n}, whose complement {U_n := {\bf C} \backslash \gamma_n} is a slit domain which has {f(D(0,1))} as kernel (why?). If we let {f_n} be the conformal maps from {D(0,1)} to {U_n} with {f_n(0)=0} and {f'_n(0)>0}, we conclude from the Carathéodory kernel theorem that {f_n} converges locally uniformly on compact sets to {f}.

If {f} is just univalent on {D(0,1)}, then it is the locally uniform limit of the dilations {f_n(z) := f( \frac{n-1}{n} z )}, which are univalent on the slightly larger disks {D(0,\frac{n}{n-1})}. By the previous arguments, each {f_n} is in turn the locally uniform limit of univalent functions whose images are slit domains, and the claim now follows from a diagonalisation argument. \Box

— 2. Loewner chains —

The material in this section is based on these lecture notes of Contreras.

An important tool in analysing univalent functions is to study one-parameter families {f_t: D(0,1) \rightarrow {\bf C}} of univalent functions, parameterised by a time parameter {t \geq 0}, in which the images {f_t(D(0,1))} are increasing in {t}; roughly speaking, these families allow one to study an arbitrary univalent function {f_1} by “integrating” along such a family from {t=\infty} back to {t=1}. Traditionally, we normalise these families into (radial) Loewner chains, which we now define:

Definition 16 (Loewner chain) A (radial) Loewner chain is a family {(f_t)_{t \geq 0}} of univalent maps {f_t: D(0,1) \rightarrow {\bf C}} with {f(0)=0} and {f'_t(0) = e^t} (so in particular {f_0} is schlicht), such that {f_s(D(0,1)) \subsetneq f_t(D(0,1))} for all {0 \leq s < t < \infty}. (In these notes we use the prime notation exclusively for differentiation in the {z} variable; we will use {\partial_t} later for differentiation in the {t} variable.)

A key example of a Loewner chain is the family

\displaystyle  f_t(z) := e^t \frac{z}{(1-z)^2} \ \ \ \ \ (7)

of dilated Koebe functions; note that the image {f_t(D(0,1))} of each {f_t} is the slit domain {{\bf C} \backslash (-\infty, -e^t/4]}, which is clearly monotone increasing in {t}. More generally, we have the rotated Koebe chains

\displaystyle  f_t(z) := e^t \frac{z}{(1- e^{i\theta} z)^2} \ \ \ \ \ (8)

for any real {\theta}.

Whenever one has a family {(U_t)_{t>0}} of simply connected proper open subsets of {{\bf C}} containing {0} with {U_s \subsetneq U_t} for {0 \leq s<t0}, and {f_t(D(0,1)) = U_t}. By definition, {f'_t(0)} is then the conformal radius of {U_t} around {0}, which is a strictly increasing function of {t} by Exercise 11. If this conformal radius {f'_t(0)} is equal to {1} at {t=0} and increases continuously to infinity as {t \rightarrow \infty}, then one can reparameterise the {t} variable so that {f'_t(0)=e^t}, at which point one obtains a Loewner chain.

From the Koebe quarter theorem we see that each image {U_t = f_t(D(0,1))} in a Loewner chain contains the disk {D(0,e^t/4)}. In particular the {U_t} increase to fill out all of {{\bf C}}: {{\bf C} = \bigcup_{t>0} U_t}.

Let {(f_t)_{t \geq 0}} be a Loewner chain, Let {0 \leq s \leq t < \infty}. The relation {f_s(D(0,1)) \subsetneq f_t(D(0,1))} is sometimes expressed as the assertion that {f_s} is subordinate to {f_t}. It has the consequence that one has a composition law of the form

\displaystyle  f_s = f_t \circ \phi_{t \leftarrow s} \ \ \ \ \ (9)

for a univalent function {\phi_{s \leftarrow t}: D(0,1) \rightarrow D(0,1)}, uniquely defined as {\phi_{t \leftarrow s} = f_t^{-1} \circ f_s}, noting taht {f_t^{-1}: U_t \rightarrow D(0,1)} is well-defined on {U_s \subset U_t}. By construction, we have {\phi_{t \leftarrow s}(0)=0} and

\displaystyle  \phi_{s \leftarrow t}'(0) = e^{s-t}, \ \ \ \ \ (10)

as well as the composition laws

\displaystyle  \phi_{t \leftarrow t} = \mathrm{id}; \quad \phi_{t \leftarrow r} = \phi_{t \leftarrow s} \circ \phi_{s \leftarrow r} \ \ \ \ \ (11)

for {0 \leq r \leq s \leq t < \infty}. We will refer to the {\phi_{t \leftarrow s}} as transition functions.

From the Schwarz lemma, we have

\displaystyle  |\phi_{t \leftarrow s}(z)| \leq |z|

for {0 \leq s \leq t < \infty}, with strict inequality when {s<t}. In particular, if we introduce the function

\displaystyle  p_{t \leftarrow s}(z) := \frac{1 + e^{s-t}}{1-e^{s-t}} \frac{z - \phi_{t \leftarrow s}(z)}{z + \phi_{t \leftarrow s}(z)} \ \ \ \ \ (12)

for {0 \leq s<t< \infty} and {z \in D(0,1)}, then (after removing the singularity at infinity and using (10)) we see that {p_{t \leftarrow s}: D(0,1) \rightarrow \mathbf{H}} is a holomorphic map to the right half-plane {\mathbf{H} := \{ x+iy: x>0 \}}, normalised so that

\displaystyle  p_{t \leftarrow s}(0) = 1.

Define a Herglotz function to be a holomorphic function {p: D(0,1) \rightarrow \mathbf{H}}, thus {p_{t \leftarrow s}} is a Herglotz function for all {0 \leq s < t < \infty}. A key family of examples of a Herglotz function are the Möbius transforms {z \mapsto \frac{e^{i\theta}+z}{e^{i\theta}-z}} for {\theta \in {\bf R}}. In fact, all other Herglotz functions are basically just averages of this one:

Exercise 17 (Herglotz representation theorem) Let {p: D(0,1) \rightarrow \mathbf{H}} be a Herglotz function, normalised so that {p(0)=1}.

  • (i) For any {0 < r < 1}, show that

    \displaystyle  p(z) = \frac{1}{2\pi} \int_0^{2\pi} \frac{re^{i\theta}+z}{re^{i\theta}-z} \mathrm{Re} p(re^{i\theta})\ d\theta.

    for {z \in D(0,r)}. (Hint: The real part of {p} is harmonic, and so has a Poisson kernel representation. Alternatively, one can use a Taylor expansion of {p}.)

  • (ii) Show that there exists a (Radon) probability measure {\mu} on {[0,2\pi)} such that

    \displaystyle  p(z) = \int_0^{2\pi} \frac{e^{i\theta}+z}{e^{i\theta}-z}\ d\mu(\theta)

    for all {z \in D(0,1)}. (One will need a measure-theoretic tool such as Prokhorov’s theorem, the Riesz representation theorem, or the Helly selection principle.) Conversely, show that every probability measure {\mu} on {[0,2\pi]} generates a Herglotz function {p} with {p(0)=1} by the above formula.

  • (iii) Show that the measure {\mu} constructed on (ii) is unique.

This has a useful corollary, namely a version of the Harnack inequality:

Exercise 18 (Harnack inequality) Let {p: D(0,1) \rightarrow \mathbf{H}} be a Herglotz function, normalised so that {p(0)=1}. Show that

\displaystyle  \frac{1-|z|}{1+|z|} \leq \mathrm{Re} p(z) \leq |p(z)| \leq \frac{1+|z|}{1-|z|}

for all {z \in D(0,1)}.

This gives some useful Lipschitz regularity properties of the transition functions {p_{t \leftarrow s}} and univalent functions {f_t} in the {t} variable:

Lemma 19 (Lipschitz regularity) Let {K} be a compact subset of {D(0,1)}, and let {0 < T < \infty}. Use {O_{K,T}(X)} to denote a quantity bounded in magnitude by {C_{K,T} X}, where {C_{K,T}} depends only on {K,T}.

  • (i) For any {0 \leq s \leq t \leq u \leq T} and {z \in K}, one has

    \displaystyle  \phi_{u \leftarrow t}(z) - \phi_{u \leftarrow s}(z) = O_{K,T}(|s-t|).

  • (ii) For any {0 \leq s \leq t \leq T} and {z \in K}, one has

    \displaystyle  f_t(z) - f_s(z) = O_{K,T}(|s-t|).

One can make the bounds {O_{K,T}(|s-t|)} much more explicit if desired (see e.g. Lemma 2.3 of these notes of Contreras), but for our purposes any Lipschitz bound will suffice.

Proof: To prove (i), it suffices from (11) and the Schwarz-Pick lemma (Exercise 13 from Notes 2) to establish this claim when {u=t}. We can also assume that {s<t} since the claim is trivial when {s=t}. From the Harnack inequality one has

\displaystyle  p_{t \leftarrow s}(z) = O_{K,T}(1)

for {z \in K}, which by (12) and some computation gives

\displaystyle  \phi_{t \leftarrow s}(z) = z + O_{K,T}(|s-t|), \ \ \ \ \ (13)

giving the claim.

Now we prove (ii). We may assume without loss of generality that {K} is convex. From Exercise 10 (normalising {f_t} to be schlicht) we see that {f'_t(z) = O_{K,T}(1)} for {z \in K}, and hence {f_t} has a Lipschitz constant of {O_{K,T}(1)} on {K}. Since {f_t(z) - f_s(z) = f_t(z) - f_t( \phi_{t \leftarrow s}(z) )}, the claim now follows from (13). \Box

As a first application of this we show that every schlicht function starts a Loewner chain.

Lemma 20 Let {f: D(0,1) \rightarrow {\bf C}} be schlicht. Then there exists a Loewner chain {(f_t)_{t \geq 0}} with {f_0 = 0}.

Proof: This will be similar to the proof of Theorem 15. First suppose that {f} extends to be univalent on {D(0,1+\varepsilon)} for some {\varepsilon>0}, then {f(\partial D(0,1))} is a Jordan curve. Then by Carathéodory’s theorem (Theorem 20 of Notes 2) (and the Möbius inversion {z \mapsto \frac{1}{z}}) one can find a conformal map {\phi} from the exterior of {f(\partial D(0,1))} to the exterior of {D(0,1)} that sends infinity to infinity. If we define {U_t} for {t>0} to be the region enclosed by the Jordan curve {\phi^{-1}( \partial D( 0, e^t) ))}, then the {U_t} are increasing in {t} with conformal radius going to infinity as {t \rightarrow \infty}. If one sets {f_t: D(0,1) \rightarrow U_t} to be the conformal maps with {f_t(0)=0} and {f'_t(0)>0}, then {f_0 = f} (by the uniqueness of Riemann mapping) and by the Carathéodory kernel theorem, {f_s} converges locally uniformly to {f_t} as {s \rightarrow t}. In particular, the conformal radii {f'_t(0)} are continuous in {t}. Reparameterising in {t} one can then obtain the required Loewner chain.

Now suppose {f} is only univalent of {D(0,1)}. As in the proof of Theorem 15, one can express {f} as the locally uniform limit of schlicht functions {f_n}, each of which extends univalently to some larger disk {D(0,1+\varepsilon_n)}. By the preceding discussion, each of the {f_n} extends to a Loewner chain {(f_{n,t})_{t>0}}. From the Lipschitz bounds (and the Koebe distortion theorem) one sees that these chains are locally uniformly equicontinuous in {t} and {z}, uniformly in {n}, and hence by Arzela-Ascoli we can pass to a subsequence that converges locally uniformly in {t,z} to a limit {(f_t)_{t>0}}; one can also assume that the transition functions {\phi_{n,t \leftarrow s}} converge locally uniformly to limits {\phi_{t \leftarrow s}}. It is then not difficult by Hurwitz theorem to verify the limiting relations (9), (11), and that {(f_t)_{t>0}} is a Loewner chain with {f_0=f} as desired. \Box

Suppose that {0 \leq s < t < \infty} are close to each other: {s \approx t}. Then one heuristically has the approximations

\displaystyle \frac{1 + e^{s-t}}{1-e^{s-t}} \approx \frac{2}{t-s}; \quad \frac{z - \phi_{t \leftarrow s}(z)}{z + \phi_{t \leftarrow s}(z)} \approx \frac{1}{2z} (z - \phi_{t \leftarrow s}(z))

and hence by (12) and some rearranging

\displaystyle  \phi_{t \leftarrow s}(z) \approx z + (s-t) z p_{t \leftarrow s}(z)

and hence on applying {f_t}, (9), and the Newton approximation

\displaystyle  f_s(z) \approx f_t(z) + (s-t) z f'_t(z) p_{t \leftarrow s}(z).

This suggests that the {f_t} should obey the Loewner equation

\displaystyle  \partial_t f_t(z) = z f'_t(z) p_t(z) \ \ \ \ \ (14)

for some Herglotz function {p_t}. This is essentially the case:

Theorem 21 (Loewner equation) Let {(f_t)_{t \geq 0}} be a Loewner chain. Then, for {t} outside of an exceptional set {E \subset [0,+\infty)} of Lebesgue measure zero, the functions {f_t(z)} are differentiable in time for each {z \in D(0,1)}, and obey the equation (14) for all {t \in [0,+\infty) \backslash E} and {z \in D(0,1)}, and some Herglotz function {p_t} for each {t \in E} with {p_t(0)=1}. Furthermore, the maps {t \mapsto p_t(z)} are measurable for every {z \in D(0,1)}.

Proof: Let {Q} be a countable dense subset of {D(0,1)}. From Lemma 19, the function {t \mapsto f_t(z)} is Lipschitz continuous, and thus differentiable almost everywhere, for each {z \in Q}. Thus there exists a Lebesgue measure zero set {E \subset [0,+\infty)} such that {t \mapsto f_t(z)} is differentiable in {t} outside of {E} for each {z \in Q}. From the Koebe distortion theorem {f_t(z)} is also locally Lipschitz (hence locally uniformly equicontinuous) in the {z} variable, so in fact {t \mapsto f_t(z)} is differentiable in {t} outside of {E} for all {z \in D(0,1)}. Without loss of generality we may assume {E} contains zero.

Let {t \in [0,+\infty) \backslash E}, and let {z \in D(0,1)}. Then as {s} approaches {t} from below, we have

\displaystyle  f_s(z) = f_t(z) + (s-t) \partial_t f_t(z) + o(|s-t|)

uniformly; from (9) and Newton approximation we thus have

\displaystyle  \phi_{t \leftarrow s}(t) = z + (s-t) \partial_t f_t(z) / f'_t(z) + o(|s-t|)

which implies that

\displaystyle  \frac{z - \phi_{t \leftarrow s}(z)}{z + \phi_{t \leftarrow s}(z)} = (1+o(1)) \frac{t-s}{2z} \frac{\partial_t f_t(z)}{f'_t(z)}.

Also we have

\displaystyle \frac{1 + e^{s-t}}{1-e^{s-t}} = (1 + o(1)) \frac{2}{t-s}

and hence by (12)

\displaystyle  p_{t \leftarrow s}(z) = (1+o(1)) \frac{\partial_t f_t(z)}{z f'_t(z)}.

Taking limits, we see that the function {p_t(z) := \frac{\partial_t f_t(z)}{z f'_t(z)}} is Herglotz with {p_t(0)=1}, giving the claim. It is also easy to verify the measurability (because derivatives of Lipschitz functions are measurable) \Box

Example 22 The Loewner chain (7) solves the Loewner equation with the Herglotz function {p_t(z) = \frac{1-z}{1+z}}. With the rotated Koebe chains (8), we instead have {p_t(z) = \frac{1-e^{i\theta} z}{1+e^{i\theta} z}}.

Although we will not need it in this set of notes, there is also a converse implication that for every family {p_t} of Herglotz functions depending measurably on {t}, one can associate a Loewner chain.

Let us now Taylor expand a Loewner chain {f_t(z)} at each time {t} as

\displaystyle  f_t(z) = a_1(t) z + a_2(t) z^2 + a_3(t) z^3 + \dots;

as {f'_t(0)=e^t}, we have {a_1(t) = e^t}. As {f_t(z)} is differentiable in almost every {t} for each {z}, and is locally uniformly continuous in {z}, we see from the Cauchy integral formulae that the {a_n(t)} are also differentiable almost everywhere in {t}. If we similarly write

\displaystyle  p_t(z) = c_0(t) + c_1(t) z + c_2(t) z^2 + \dots

for all {t} outside of {E}, then {c_0(t)=1}, and we obtain the equations

\displaystyle  \partial_t a_n(t) = \sum_{j=1}^n j a_j(t) c_{n-j}(t)

for every {n}, thus

\displaystyle  \partial_t a_2(t) = 2 a_2(t) + c_1(t) e^t \ \ \ \ \ (15)

\displaystyle  \partial_t a_3(t) = 3 a_3(t) + 2 c_1(t) a_2(t) + e^t c_2(t) \ \ \ \ \ (16)

and so forth. For instance, for the Loewner chain (7) one can verify that {a_n(t) = ne^t} and {c_n(t) = 2 (-1)^n} for {n \geq 1} solve these equations. For (8) one instead has {a_n(t) = e^{i(n-1) \theta} n e^t} and {c_n(t) = 2 (-1)^n e^{in\theta}}.

We have the following bounds on the first few coefficients of {p}:

Exercise 23 Let {p(z) = 1 + c_1 z + c_2 z^2 + \dots} be a Herglotz function with {p(0)=1}. Let {\mu} be the measure coming from the Herglotz representation theorem.

  • (i) Show that {c_n = 2 \int_0^{2\pi} e^{-int}\ d\mu(t)} for all {n \geq 1}. In particular, {|c_n| \leq 2} for all {n \geq 1}. Use this to give an alternate proof of the upper bound in the Harnack inequality.
  • (ii) Show that {(\mathrm{Re}(c_1))^2 \leq 2 + \mathrm{Re} c_2}.

We can use this to establish the first two cases of the Bieberbach conjecture:

Theorem 24 ({n=2,3} cases of Bieberbach) If {f(z) = z + a_2 z^2 + a_3 z^3 + \dots} is schlicht, then {|a_2| \leq 2} and {|a_3| \leq 3}.

The bound {|a_2| \leq 2} is not new, and indeed was implicitly used many times in the above arguments, but we include it to illustrate the use of the equations (15), (16).

Proof: By Lemma 20, we can write {f = f_0} (and {a_n = a_n(0)}) for some Loewner chain {(f_t)_{t \geq 0}}.

We can write (15) as {\partial_t (e^{-2t} a_2(t)) = c_1(t) e^{-t}}. On the other hand, from the Koebe distortion theorem applied to the schlicht functions {e^{-t} f_t}, we have {a_2(t) = O( e^{t})}, so in particular {e^{-2t} a_2(t)} goes to zero at infinity. We can integrate from {0} to infinity to obtain

\displaystyle  a_2 = - \int_0^\infty c_1(t) e^{-t}\ dt. \ \ \ \ \ (17)

From Harnack’s inequality we have {|c_1(t)| \leq 2}, giving the required bound {|a_2| \leq 2}.

In a similar vein, writing (16) as

\displaystyle  \partial_t (e^{-3t} a_3(t)) = 2 e^{-3t} c_1(t) a_2(t) + e^{-2t} c_2(t)

\displaystyle  = 2 (e^{-2t} a_2(t)) \partial_t (e^{-2t} a_2(t)) + e^{-2t} c_2(t)

we obtain

\displaystyle  \partial_t (e^{-3t} a_3(t) - e^{-4t} a_2(t)^2) = e^{-2t} c_2(t).

As {a_2(t), a_3(t) = O(e^t)}, we may integrate from {0} to infinity to obtain the identity

\displaystyle  a_3 - a_2^2 = - \int_0^\infty e^{-2t} c_2(t)\ dt.

Taking real parts using Exercise 23(ii) and (17), we have

\displaystyle  \mathrm{Re} a_3 - \mathrm{Re}((\int_0^\infty c_1(t) e^{-t}\ dt)^2) \leq 1 - \int_0^\infty e^{-2t} (\mathrm{Re}(c_1(t)))^2\ dt.

Since {\mathrm{Re}(z^2) \leq (\mathrm{Re}(z))^2}, we thus have

\displaystyle  \mathrm{Re} a_3 \leq 1 + (\int_0^\infty f(t) e^{-t}\ dt)^2 - \int_0^\infty e^{-2t} f(t)^2\ dt

where {f(t) := \mathrm{Re} c_1(t)}. By Cauchy-Schwarz, we have {(\int_0^\infty f(t) e^{-t}\ dt)^2 \leq \int_0^\infty f(t)^2 e^{-t}\ dt}, and from the bound {f(t)^2 \leq |c_1(t)|^2 \leq 4}, we thus have

\displaystyle \mathrm{Re} a_3 \leq 1 + 4 \int_0^\infty (e^{-t} - e^{-2t})\ dt = 3.

Replacing {f(z)} by the schlicht function {z \mapsto e^{-i\theta} f(e^{i\theta} z)} (which rotates {a_3} by {e^{2i\theta}}) and optimising in {\theta}, we obtain the claim {|a_3| \leq 3}. \Box

Exercise 25 Show that equality in the above bound {|a_3| \leq 3} is only attained when {f} is a rotated Koebe function.

The Loewner equation (14) takes a special form in the case of slit domains. Indeed, let {U = {\bf C} \backslash \{ \gamma(t): t \geq 0 \}} be a slit domain not containing the origin, with conformal radius {1} around {0}, and let {(f_t)_{t \geq 0}} be the Loewner chain with {f_0(D(0,1)) = U}. We can parameterise {\gamma} so that the sets {U_{t_0} := {\bf C} \backslash \{ \gamma(t): t \geq t_0\}} have conformal radius {e^{t_0}} around {0} for every {t_0 \geq 0}, in which case we see that {f_{t_0}} must be the unique conformal map from {D(0,1)} to {U_{t_0}} with {f_{t_0}(0)=0} and {f'_{t_0}>0}. For instance, for the chain (7) we would have {\gamma(t) = -e^t/4}.

Theorem 26 (Loewner equation for slit domains) In the above situation, we have the Loewner equation holding with

\displaystyle  p_t(z) = \frac{1+e^{i\theta(t)} z}{1-e^{i\theta(t)} z} \ \ \ \ \ (18)

for almost all {t} and some measurable {\theta: [0,+\infty) \rightarrow {\bf R}}.

Proof: Let {t>0} be a time where the Loewner equation holds. For {0 < s < t}, the function {f_t: D(0,1) \rightarrow {\bf C} \backslash \gamma([t,+\infty))} extends continuously to the boundary, and is two-to-one on the split {\gamma([t,+\infty))}, except at the tip {\gamma(t)} where there is a single preimage {e^{i\theta(t)}} on the unit circle; this can be seen by taking a holomorphic square root of {f(t) - \gamma(t)}, using a Möbius transformation to map the resulting image to a set bounded by a Jordan curve, and applying Carathéodory's theorem (Theorem 20 from Notes 2) to the resulting conformal map. The image {\phi_{t \leftarrow s}(D(0,1)) = f_t^{-1}( f_s(D(0,1)))} is then {D(0,1)} with a Jordan arc {\{ \eta_t(t'): s \leq t \leq t' \}} removed, where {\eta_t(t) =: e^{i\theta(t)}} is a point on the boundary of the sphere. Applying Carathéodory’s theorem to a holomorphic square root of {\phi_{t \leftarrow s} - \eta_t(s)}, we see that {\phi_{t \leftarrow s}} extends continuously to be a map from {\overline{D(0,1)}} to {\overline{D(0,1)}}, with an arc {\{ e^{i\theta}: \theta \in I_{t,s} \}} on the boundary mapping (in two-to-one fashion) to the arc {\{ \eta_t(t'): s \leq t \leq t' \}}, and the endpoints of this arc mapping to {e^{i\theta(t)}}. From this and (12), we see that {\lim_{r \rightarrow 1^-} \mathrm{Re}(p_{t \leftarrow s})(re^{i\theta})} converges to zero outside of the arc {I_{t,s}}, which by the Herglotz representation theorem implies that the measure {\mu_{t \leftarrow s}} associated to {p_{t \leftarrow s}} is supported on the arc {I_{t,s}}. An inspection of the proof of Carathéodory’s theorem also reveals that the {\phi_{t \leftarrow s}} are equicontinuous on {\overline{D(0,1)}} as {s \rightarrow t^-}, and thus converge uniformly to {\phi_{t \leftarrow t}} (which is the identity function) as {s \rightarrow t^-}. This implies that {I_{t,s}} must converge to the point {\theta(t)} as {s} approaches {t}, and so {\mu_{t \leftarrow s}} converges vaguely to the Dirac mass at {\theta(t)}. Since {p_{t \leftarrow s}} converges locally uniformly to {p_t}, we conclude the formula (18). As {p_t} depends measurably in {t}, we conclude that {\theta} does also. \Box

In fact one can show that {\theta} extends to a continuous function {\theta: [0,+\infty) \rightarrow {\bf R}}, and that the Loewner equation holds for all {t}, but this is a bit trickier to show (it requires some further distortion estimates on conformal maps, related to the arguments used to prove Carathéodory’s theorem in the previous notes) and will not be done here. One can think of the function {\theta} as “driving force” that incrementally enlarges the slit via the Loewner equation; this perspective is often used when studying the Schramm-Loewner evolution, which is the topic of the next (and final) set of notes.

— 3. The Bieberbach conjecture —

We now turn to the resolution of the Bieberbach (and Robertson) conjectures. We follow the simplified treatment of de Branges’ original proof, due to FitzGerald and Pommerenke, though we omit the proof of one key ingredient, namely the non-negativity of a certain hypergeometric function.

The first step is to work not with the Taylor coefficients of a schlicht function {f(z)} or with an odd schlicht function {g(z)}, but rather with the (normalised) logarithm {\log \frac{f(z)}{z}} of a schlicht function {f}, as the coefficients end up obeying more tractable equations. To transfer to this setting we need the following elementary inequalities relating the coefficients of a power series with the coefficients of its exponential.

Lemma 27 (Second Lebedev-Milin inequality) Let {\sum_{n=1}^\infty c_n z^n} be a formal power series with complex coefficients and no constant term, and let {\sum_{n=0}^\infty b_n z^n} be its formal exponential, thus

\displaystyle  \sum_{n=0}^\infty b_n z^n = \exp( \sum_{n=1}^\infty c_n z^n ) \ \ \ \ \ (19)

where {\exp(w)} is the formal series {1 + w + \frac{w^2}{2!} + \frac{w^3}{3!} + \dots}. Then for any {n \geq 0}, one has

\displaystyle  \frac{1}{n+1} \sum_{k=0}^n |b_k|^2 \leq \exp( \frac{1}{n+1} \sum_{k=1}^n (n+1-k) (k |c_k|^2 - \frac{1}{k}) ). \ \ \ \ \ (20)

Proof: If we formally differentiate (19) in {z}, we obtain the identity

\displaystyle  \sum_{n=1}^\infty b_n n z^{n-1} = (\sum_{n=1}^\infty c_n n z^{n-1}) (\sum_{n=0}^\infty b_n z^n);

extracting the {z^m} coefficient for any {m \geq 1}, we obtain the formula

\displaystyle  b_{m} = \frac{1}{m} \sum_{k=1}^{m} k c_k b_{m-k}.

By Cauchy-Schwarz, we thus have

\displaystyle  |b_{m}|^2 \leq \frac{1}{m^2} (\sum_{k=1}^{m} k^2 |c_k|^2) (\sum_{k=0}^{m-1} |b_n|^2) \ \ \ \ \ (21)

which we can rearrange as

\displaystyle  \frac{1}{m+1} \sum_{k=0}^{m} |b_{k}|^2 \leq \frac{1}{m} \sum_{k=0}^{m-1} |b_{k}|^2 ( 1 - \frac{1}{m+1} + \frac{1}{m(m+1)} (\sum_{k=1}^{m} k^2 |c_k|^2)).

Using {1+x \leq \exp(x)} and telescoping series, it thus suffices to prove the identity

\displaystyle  \sum_{m=1}^n (-\frac{1}{m+1} + \frac{1}{m(m+1)} \sum_{k=1}^m k^2 |c_k|^2) = \frac{1}{n+1} \sum_{k=1}^n (n+1-k) (k |c_k|^2 - \frac{1}{k}).

But this follows from observing that

\displaystyle  \frac{1}{n+1} \sum_{k=1}^n (n+1-k) \frac{1}{k} = \sum_{k=1}^n \frac{1}{k} - \frac{n}{n+1} = \sum_{m=1}^n \frac{1}{m+1}

and that

\displaystyle  k^2 \sum_{m=k}^n \frac{1}{m(m+1)} = k^2 (\frac{1}{k} - \frac{1}{n+1}) = \frac{1}{n+1} (n+1-k) k

for all {1 \leq k \leq n}. \Box

Exercise 28 Show that equality holds in (20) for a given {n} if and only if there is {\theta \in {\bf R}} such that {c_k = e^{ik\theta}/k} for all {k=1,\dots,n}.

Exercise 29 (First Lebedev-Milin inequality) With the notation as in the above lemma, and under the additional assumption {\sum_{k=1}^\infty k |c_k|^2 < \infty}, prove that

\displaystyle  \sum_{k=0}^\infty |b_k|^2 \leq \exp( \sum_{k=1}^\infty k |c_k|^2 ).

(Hint: using the Cauchy-Schwarz inequality as above, first show that the power series {\sum_{k=0}^\infty |b_k|^2 z^k} is bounded term-by-term by the power series of {\exp( \sum_{k=1}^\infty k |c_k|^2 z^k)}.) When does equality occur?

Exercise 30 (Third Lebedev-Milin inequality) With the notation as in the above lemma, show that

\displaystyle  |b_n|^2 \leq \exp( \sum_{k=1}^n (k |c_k|^2 - \frac{1}{k}) ).

(Hint: use the second Lebedev-Milin inequality and (21), together with the calculus inequality {x e^{-x} \leq e} for all {x}.) When does equality occur?

Using these inequalities, one can reduce the Robertson and Bieberbach conjectures to the following conjecture of Milin, also proven by de Branges:

Theorem 31 (Milin conjecture) Let {f: D(0,1) \rightarrow {\bf C}} be a schlicht function. Let {\log \frac{f(z)}{z}} be the branch of the logarithm of {f(z)/z} that equals {0} at the origin, thus one has

\displaystyle  \log \frac{f(z)}{z} = d_1 z + d_2 z^2 + \dots

for some complex coefficients {d_1,d_2,\dots}. Then one has

\displaystyle  \sum_{k=1}^n (n+1-k) (k |d_k|^2 - \frac{4}{k}) \leq 0

for all {n \geq 1}.

Indeed, if

\displaystyle g(z) = b_1 z + b_3 z^3 + b_5 z^5 + \dots

is an odd schlicht function, let {f} be the schlicht function given by (4), then

\displaystyle \exp( \frac{1}{2} \log \frac{f(z)}{z} ) = \frac{g(z^{1/2})}{z^{1/2}} = b_1 + b_3 z + b_5 z^2 + \dots.

Applying Lemma 27 with {c_n := d_n/2}, we obtain the Robertson conjecture, and the Bieberbach conjecture follows.

Example 32 If {f} is the Koebe function (1), then

\displaystyle  \log \frac{f(z)}{z} = - 2\log (1-z) = 2z + \frac{2}{2} z^2 + \frac{2}{3} z^3 + \dots

so in this case {d_k = \frac{2}{k}} and {k |d_k|^2 - \frac{4}{k} = 0}. Similarly, for the rotated Koebe function (2) one has {d_k = \frac{2}{k} e^{ik\theta}} and again {k |d_k|^2 - \frac{4}{k} = 0}. If one works instead with the dilated Koebe function {e^t f}, we have {\log \frac{f(z)}{z} = t + d_1 z + d_2 z^2 + \dots}, thus the time parameter only affects the constant term in {\log \frac{f(z)}{z}}. This is already a hint that the coefficients of {\log \frac{f(z)}{z}} could be worth studying further in this problem.

To prove the Milin conjecture, we use the Loewner chain method. It suffices by Theorem 15 and a limiting argument to do so in the case that {f(D(0,1))} is a slit domain. Then, by Theorem 26, {f} is the initial function {f_0} of a Loewner chain {(f_t)_{t \geq 0}} that solves the Loewner equation

\displaystyle  \partial_t f_t(z) = z f'_t(z) \frac{1-e^{i\theta(t)} z}{1+e^{i\theta(t)} z}

for all {z} and almost every {t}, and some function {\theta: [0,+\infty) \rightarrow {\bf R}}.

We can transform this into an equation for {\log \frac{f(z)}{z}}. Indeed, for non-zero {z} we may divide by {f} to obtain

\displaystyle  \partial_t \log f_t(z) = z (\frac{d}{dz} \log f_t(z)) \frac{1-e^{i\theta(t)} z}{1+e^{i\theta(t)} z}

(for any local branch of the logarithm) and hence

\displaystyle  \partial_t \log \frac{f_t(z)}{z} = (z \frac{d}{dz} \log \frac{f_t(z)}{z} + 1) \frac{1-e^{i\theta(t)} z}{1+e^{i\theta(t)} z}.

Since {f'_t(0)=e^t}, {\log \frac{f_t(z)}{z}} is equal to {t} at the origin (for an appropriate branch of the logarithm). Thus we can write

\displaystyle  \log \frac{f_t(z)}{z} = t + d_1(t) z + d_2(t) z^2 + \dots.

The {d_n(t)} are locally Lipschitz in {t} (basically thanks to Lemma 19) and for almost every {t} we have the Taylor expansions

\displaystyle  \partial_t \log \frac{f_t(z)}{z} = 1 +\partial_t d_1(t) z + \partial_t d_2(t) z^2 + \dots

\displaystyle  z \frac{d}{dz} \log \frac{f_t(z)}{z} + 1 = 1 + d_1(t) z + 2 d_2(t) z^2 + \dots

and

\displaystyle  \frac{1-e^{i\theta(t)} z}{1+e^{i\theta(t)} z} = 1 - 2e^{i\theta(t)} z + 2 e^{2i\theta(t)} z^2 - \dots.

Comparing coefficients, we arrive at the system of ordinary differential equations

\displaystyle  \partial_t d_k(t) = k d_k(t) + 2 \sum_{j=1}^{k-1} j d_j(t) (-e^{i\theta(t)})^{k-j} + 2(-e^{i\theta(t)})^{k} \ \ \ \ \ (22)

for every {k \geq 1}.

Fix {n \geq 1} (we will not need to use any induction on {n} here). We would like to use the system (22) to show that

\displaystyle  \sum_{k=1}^n (n+1-k) (k |d_k(0)|^2 - \frac{4}{k}) \leq 0.

The most naive attempt to do this would be to show that one has a monotonicity formula

\displaystyle  \partial_t \sum_{k=1}^n (n+1-k) (k |d_k(t)|^2 - \frac{4}{k}) \geq 0

for all {t \geq 0}, and that the expression {\sum_{k=1}^n (n+1-k) (k |d_k(0)|^2 - \frac{4}{k})} goes to zero as { \rightarrow\infty}, as the claim would then follow from the fundamental theorem of calculus. This turns out to not quite work; however it turns out that a slight modification of this idea does work. Namely, we introduce the quantities

\displaystyle  \Omega(t) := \sum_{k=1}^n \sigma_{k,n}(t) (k |d_k(t)|^2 - \frac{4}{k})

where for each {k=1,\dots,n}, {\sigma_{k}: [0,+\infty) \rightarrow {\bf R}} is a continuously differentiable function to be chosen later. If we have the initial condition

\displaystyle  \sigma_{k}(0) = n+1-k \ \ \ \ \ (23)

for all {k=1,\dots,n}, then the Milin conjecture is equivalent to asking that {\Omega(0) \leq 0}. On the other hand, if we impose a boundary condition

\displaystyle  \lim_{t \rightarrow \infty} \sigma_{k}(t) = 0 \ \ \ \ \ (24)

for {k=1,\dots,n}, then we also have {\Omega(t) \rightarrow 0} as {t \rightarrow \infty}, since {e^{-t} f_t} is schlicht and hence {\log \frac{e^{-t} f(z)}{z} = \log \frac{f(z)}{z} - t} is a normal family, implying that the {d_k(t)} are bounded in {t} for each {k}. Thus, to solve the Milin, Robertson, and Bieberbach conjectures, it suffices to find a choice of weights {\sigma_k(t)} obeying the initial and boundary conditions (23), (24), and such that

\displaystyle  \partial_t \Omega(t) \geq 0 \ \ \ \ \ (25)

for almost every {t} (note that {\Omega} will be Lipschitz, so the fundamental theorem of calculus applies).

Let us now try to establish (25) using (22). We first write {\kappa(t) := -e^{i\theta(t)}}, and drop the explicit dependence on {t}, thus

\displaystyle  \partial_t d_k = k d_k + 2 \sum_{j=1}^{k-1} j d_j \kappa^{k-j} + 2 \kappa^k

for {k \geq 1}. To simplify this equation, we make a further transformation, introducing the functions

\displaystyle  f_k := \sum_{j=1}^k j d_j \kappa^{-j}

(with the convention {f_0=0}); then we can write the above equation as

\displaystyle  \partial_t d_k = \kappa^n ( f_k + f_{k-1} + 2 ).

We can recover the {d_k} from the {f_k} by the formula

\displaystyle  d_k = \frac{1}{k} \kappa^k (f_k - f_{k-1}).

It may be worth recalling at this point that in the example of the rotated Koebe Loewner chain (2) one has {d_k = \frac{2}{k} e^{ik\theta}}, {\kappa = -e^{i\theta}}, and {f_k = -1 + (-1)^k}, for some real constant {\theta}. Observe that {f_k} has a simpler form than {d_k} in this example, suggesting again that the decision to transform the problem to one about the {f_k} rather than the {d_k} is on the right track.

We now calculate

\displaystyle  \partial_t \Omega(t) = \sum_{k=1}^n 2 k \sigma_k \mathrm{Re} \overline{d_k} \partial_t d_k + (\partial_t \sigma_k) (k |d_k|^2 - \frac{4}{k})

\displaystyle  = \sum_{k=1}^n 2 k \sigma_k \mathrm{Re} \overline{d_k} \kappa^k (f_k + f_{k-1}+2) + \frac{\partial_t \sigma_k}{k} (|f_k - f_{k-1}|^2 - 4)

\displaystyle  = \sum_{k=1}^n 2 \sigma_k \mathrm{Re} ((\overline{f_k} - \overline{f_{k-1}}) (f_k + f_{k-1}+2)) + \frac{\partial_t \sigma_k}{k} (|f_k - f_{k-1}|^2 - 4).

Conveniently, the unknown function {\kappa} no longer appears explicitly! Some simple algebra shows that

\displaystyle  \mathrm{Re} (\overline{f_k} - \overline{f_{k-1}}) (f_k + f_{k-1}+2) = (|f_k|^2 + 2 \mathrm{Re} f_k) - (|f_{k-1}|^2 + 2 \mathrm{Re} f_{k-1})

and hence by summation by parts

\displaystyle  \partial_t \Omega(t) = \sum_{k=1}^n 2 (\sigma_k - \sigma_{k+1}) (|f_k|^2 + 2 \mathrm{Re} f_k) + \frac{\partial_t \sigma_k}{k} (|f_k - f_{k-1}|^2 - 4)

with the convention {\sigma_{n+1}=0}.

In the example of the rotated Koebe function, with {f_k = -1 + (-1)^k}, the factors {|f_k|^2 + 2 \mathrm{Re} f_k} and {|f_k - f_{k-1}|^2 - 4} both vanish, which is consistent with the fact that {\Omega} vanishes in this case regardless of the choice of weights {\sigma_k}. So these two factors look to be related to each other. On the other hand, for more general choices of {f_k}, these two expressions do not have any definite sign. For comparison, the quantity {|f_k + f_{k-1} + 2|^2} also vanishes when {f_k = -1 + (-1)^k}, and has a definite sign. So it is natural to see of these three factors are related to each other. After a little bit of experimentation, one eventually discovers the following elementary identity giving such a connection:

\displaystyle  |f_k - f_{k-1}|^2 - 4 = 2 (|f_k|^2 + 2 \mathrm{Re} f_k) + 2 (|f_{k-1}|^2 + 2 \mathrm{Re} f_{k-1})

\displaystyle  - |f_k + f_{k_1} + 2|^2.

Inserting this identity into the above equation, we obtain

\displaystyle  \partial_t \Omega(t) = \sum_{k=1}^n 2 (\sigma_k - \sigma_{k+1}) (|f_k|^2 + 2 \mathrm{Re} f_k) + 2 \frac{\partial_t \sigma_k}{k} (|f_k|^2 + 2 \mathrm{Re} f_k)

\displaystyle  + 2 \frac{\partial_t \sigma_k}{k} (|f_{k-1}|^2 + 2 \mathrm{Re} f_{k-1}) - \frac{\partial_t \sigma_k}{k} |f_k + f_{k_1} + 2|^2

which can be rearranged as

\displaystyle  \partial_t \Omega(t) = 2 \sum_{k=1}^n (\sigma_k - \sigma_{k+1} + \frac{\partial_t \sigma_k}{k} + \frac{\partial_t \sigma_{k+1}}{k+1}) (|f_k|^2 + 2 \mathrm{Re} f_k)

\displaystyle  - \sum_{k=1}^n \frac{\partial_t \sigma_k}{k} |f_k + f_{k_1} + 2|^2.

We can kill the first summation by fiat, by imposing the requirement that the {\sigma_k} obey the system of differential equations

\displaystyle  \sigma_k - \sigma_{k+1} = - \frac{\partial_t \sigma_k}{k} - \frac{\partial_t \sigma_{k+1}}{k+1}, \ \ \ \ \ (26)

for {k=1,\dots,n}; then we just have

\displaystyle  \partial_t \Omega(t) = - \sum_{k=1}^n \frac{\partial_t \sigma_k}{k} |f_k + f_{k_1} + 2|^2.

Hence if we also have the non-negativity condition

\displaystyle  -\partial_t \sigma_k(t) \geq 0 \ \ \ \ \ (27)

for all {k=1,\dots,n} and {t \geq 0}, we will have obtained the desired monotonicity (25).

To summarise, in order to prove the Milin conjecture for a fixed value of {n}, we need to find functions {\sigma_1,\dots,\sigma_n} obeying the initial condition (23), the boundary condition (24), the differential equation (26), and the nonnegativity condition (27), with the convention {\sigma_{n+1}=0}. This is a significant reduction to the problem, as one just has to write down an explicit formula for such functions and verify all the properties.

Let us work out some simple cases. First consider the case {n=1}. Now our task is to solve the system

\displaystyle  \sigma_1(0) = 1

\displaystyle  \lim_{t \rightarrow \infty} \sigma_1(t) = 0

\displaystyle  \sigma_1(t) = - \partial_t \sigma_1(t)

\displaystyle  -\partial_t \sigma_1(t) \geq 0

for all {0 \leq t \leq \infty}. This is easy: we just take {\sigma_1(t) = e^{-t}} (indeed this is the unique choice). This gives the {n=1} case of the Milin conjecture (which corresponds to the {n=2} case of Bieberbach).

Next consider the case {n=2}. The system is now

\displaystyle  \sigma_1(0) = 2; \quad \sigma_2(0) = 1

\displaystyle  \lim_{t \rightarrow \infty} \sigma_1(t) = \lim_{t \rightarrow \infty} \sigma_2(t) = 0

\displaystyle  \sigma_1(t) - \sigma_2(t) = - \partial_t \sigma_1(t) - \frac{1}{2} \partial_t \sigma_2(t)

\displaystyle  \sigma_2(t) = - \frac{1}{2} \partial_t \sigma_2(t)

\displaystyle  - \partial_t \sigma_1(t), - \partial_t \sigma_2(t) \geq 0.

Again, a routine computation shows that there is a unique solution here, namely {\sigma_1(t) = 4e^{-t} - 2e^{-2t}} and {\sigma_2(t) = e^{-2t}}. This gives the {n=2} case of the Milin conjecture (which corresponds to the {n=3} case of Bieberbach). One should compare this argument to that in Theorem 24, in particular one should see very similar weight functions emerging.

Let us now move on to {n=3}. The system is now

\displaystyle  \sigma_1(0) = 3; \quad \sigma_2(0) = 2; \quad \sigma_1(0) = 1

\displaystyle  \lim_{t \rightarrow \infty} \sigma_1(t) = \lim_{t \rightarrow \infty} \sigma_2(t) = \lim_{t \rightarrow \infty} \sigma_3(t) = 0

\displaystyle  \sigma_1(t) - \sigma_2(t) = - \partial_t \sigma_1(t) - \frac{1}{2} \partial_t \sigma_2(t)

\displaystyle  \sigma_2(t) - \sigma_3(t) = - \frac{1}{2} \partial_t \sigma_2(t) - \frac{1}{3} \partial_t \sigma_3(t)

\displaystyle  \sigma_3(t) = - \frac{1}{3} \partial_t \sigma_3(t)

\displaystyle  - \partial_t \sigma_1(t), - \partial_t \sigma_2(t), - \partial_t \sigma_3(t) \geq 0.

A slightly lengthier calculation gives the unique explicit solution

\displaystyle  \sigma_1(t) = 10 e^{-t} - 12 e^{-2t} + 5 e^{-3t}

\displaystyle  \sigma_2(t) = 6 e^{-2t} - 4 e^{-3t}

\displaystyle  \sigma_3(t) = e^{-3t}

to the above conditions.

These simple cases already indicate that there is basically only one candidate for the weights {\sigma_k} that will work. A calculation can give the explicit formula:

Exercise 33 Let {n \geq 1}.

  • (i) Show there is a unique choice of continuously differentiable functions {\sigma_1,\dots,\sigma_n: [0,+\infty) \rightarrow {\bf R}} that solve the differential equations (26) with initial condition (23), with the convention {\sigma_{n+1}=0}. (Use the Picard existence theorem.)
  • (ii) For any {0 \leq k \leq n}, show that the expression

    \displaystyle  \sum_{j=0}^{n-k} (-1)^j \binom{2k+2j}{j} \binom{n+j+k+1}{n-k-j}

    is equal to {1} when {n-k} is even and {0} when {n-k} is odd.

  • (iii) Show that the functions

    \displaystyle  \sigma_k(t) = k \sum_{j=0}^{n-k} (-1)^j \binom{2k+2j}{j} \binom{n+k+j+1}{n-k-j} \frac{1}{k+j} e^{-(k+j)t}

    for {k=1,\dots,n} obey the properties (23), (26), (24). (Hint: for (23), first use (ii) to show that {\partial_t \sigma_k(t)} is equal to {-k} when {n-k} is even and {0} when {n-k} is odd, then use (26).)

The Bieberbach conjecture is then reduced to the claim that

\displaystyle  k \sum_{j=0}^{n-k} (-1)^j \binom{2k+2j}{j} \binom{n+k+j+1}{n-k-j} e^{-(k+j)t} \geq 0 \ \ \ \ \ (28)

for any {1 \leq k \leq n} and {t \geq 0}. This inequality can be directly verified for any fixed {n}; for general {n} it follows from general inequalities on Jacobi polynomials by Askey and Gasper, with an alternate proof given subsequently by Gasper. A further proof of (28), based on a variant of the above argument due to Weinstein that avoids explicit use of (28), appears in this article of Koepf. We will not detail these arguments here.