De Branges's theorem

History

A survey of the history is given by Koepf (2007).

Bieberbach (1916) proved ${\displaystyle |a_2|\le 2}$, and stated the conjecture that ${\displaystyle |a_n|\le n}$. Löwner (1917) and Nevanlinna (1921) independently proved the conjecture for starlike functions. Then Charles Loewner (Löwner (1923)) proved ${\displaystyle |a_3|\le 3}$, using the Löwner differential equation. His work was utilized in most later attempts and is also applied in the theory of Schramm–Loewner evolution.

Littlewood (1925, theorem 20) proved that ${\displaystyle |a_n|\le en}$ for all ${\displaystyle n}$, showing that the Bieberbach conjecture is true up to a factor of ${\displaystyle e=2.718\dots }$ Several authors later reduced the constant in the inequality below ${\displaystyle e}$.

If ${\displaystyle f(z)=z+\cdots }$ is a schlicht function then ${\displaystyle \phi (z)=z(f(z^2)/z^2{)}^{1/2}}$ is an odd schlicht function. Littlewood and Paley (1932) showed that its Taylor coefficients satisfy ${\displaystyle b_k\le 14}$ for all ${\displaystyle k}$. They conjectured that ${\displaystyle 14}$ can be replaced by ${\displaystyle 1}$ as a natural generalization of the Bieberbach conjecture. The Littlewood–Paley conjecture easily implies the Bieberbach conjecture using the Cauchy inequality (also known as Cauchy's estimate) but it was soon disproved by Fekete & Szegő (1933), who showed there is an odd schlicht function with ${\displaystyle b_5=1/2+\exp (-2/3)=1.013\dots }$, and that this is the maximum possible value of ${\displaystyle b_5}$. Isaak Milin later showed that ${\displaystyle 14}$ can be replaced by ${\displaystyle 1.14}$, and Hayman showed that the numbers ${\displaystyle b_k}$ have a limit less than ${\displaystyle 1}$ if ${\displaystyle f}$ is not a Koebe function (for which the ${\displaystyle b_{2k+1}}$ are all ${\displaystyle 1}$). So the limit is always less than or equal to ${\displaystyle 1}$, meaning that Littlewood and Paley's conjecture is true for all but a finite number of coefficients. A weaker form of Littlewood and Paley's conjecture was discovered by Robertson (1936).

The Robertson conjecture states that if

${\displaystyle \varphi (z)=b_{1}z+b_3{z}^3+b_5{z}^5+\cdots }$

is an odd schlicht function in the unit disk with ${\displaystyle b_1=1}$ then for all positive integers ${\displaystyle n}$,

${\displaystyle \sum _{k=1}^n|b_{2k+1}{|}^2\le n.}$

Robertson observed that his conjecture is still strong enough to imply the Bieberbach conjecture and proved it for ${\displaystyle n=3}$. This conjecture introduced the important idea of limiting different quadratic functions of the coefficients instead of just the coefficients themselves, which is the same as setting limits on the sizes of certain elements in specific Hilbert spaces of schlicht functions.

There were several proofs of the Bieberbach conjecture for certain higher values of ${\displaystyle n}$, in particular, Garabedian & Schiffer (1955) proved ${\displaystyle |a_4|\le 4}$, Ozawa (1969) and Pederson (1968) proved ${\displaystyle |a_6|\le 6}$, and Pederson & Schiffer (1972) proved ${\displaystyle |a_5|\le 5}$.

Hayman (1955) proved that the limit of ${\displaystyle a_n/n}$ exists, and has an absolute value less than ${\displaystyle 1}$ unless ${\displaystyle f}$ is a Koebe function. In particular, this showed that for any ${\displaystyle f}$ there can be at most a finite number of exceptions to the Bieberbach conjecture.

The Milin conjecture states that for each schlicht function on the unit disk, and for all positive integers ${\displaystyle n}$,

${\displaystyle \sum _{k=1}^n(n-k+1)(k|{\gamma }_k{|}^2-1/k)\le 0}$

where the logarithmic coefficients ${\displaystyle {\gamma }_n}$ of ${\displaystyle f}$ are given by

${\displaystyle \log (f(z)/z)=2\sum _{n=1}^{\mathrm{\infty }}{\gamma }_n{z}^n.}$

Milin (1977) showed using the Lebedev–Milin inequality that the Milin conjecture (later proved by de Branges) implies the Robertson conjecture and therefore the Bieberbach conjecture.

Finally de Branges (1987) proved ${\displaystyle |a_n|\le n}$ for all ${\displaystyle n}$.

De Branges's proof

The proof uses a type of Hilbert space of entire functions. The study of these spaces grew into a sub-field of complex analysis, and the spaces have come to be called de Branges spaces. De Branges proved the stronger Milin conjecture (Milin 1977) on logarithmic coefficients. This was already known to imply the Robertson conjecture (Robertson 1936) about odd univalent functions, which in turn was known to imply the Bieberbach conjecture about schlicht functions (Bieberbach 1916). His proof uses the Loewner equation, the Askey–Gasper inequality about Jacobi polynomials, and the Lebedev–Milin inequality on exponentiated power series.

In 1983-84, De Branges was writing a book, one chapter of which was on the Bieberbach conjecture. He was surprised by the calculations, which were close to proving the conjecture. Let$${\displaystyle \begin{array}{cc}{F}_{n,k}(x)& :={\int }_0^1{t}^{n-k-1/2}{P}_k^{(2n-2k,1)}(1-2tx)dt>0\\ & \text{for }k=0,1,2,\dots ,n-1\end{array}}$$where ${\displaystyle P_k^{(\alpha ,\beta )}}$ is the Jacobi polynomial of degree ${\displaystyle k}$ with parameters ${\displaystyle \alpha ,\beta }$. ${\displaystyle F_{n,k}}$ is a polynomial of degree k, and it is a hypergeometric series with rational coefficients (the precise coefficients can be derived using the hypergeometric series for Jacobi polynomials).

He showed that if ${\displaystyle F_{n,k}(x)>0}$ for ${\displaystyle 0<x<1}$ and ${\displaystyle k=0,1,\dots ,n-1}$, then ${\displaystyle |a_{n+1}|\le n+1}$. He verified this for ${\displaystyle n=2,3,4,5,6}$ by hand, finding it too laborious to continue. He asked Walter Gautschi for help, who verified more of these inequalities by Gauss–Jacobi quadrature on a CDC 6500, reaching up to ${\displaystyle n=30}$. and then asked Richard Askey whether he knew of any similar inequalities. Askey pointed out that Askey & Gasper (1976) had proved the necessary inequalities eight years before, which allowed de Branges to complete his proof. The first version was very long and had some minor mistakes, which caused some skepticism about it, but these were corrected with the help of members of the Leningrad seminar on Geometric Function Theory (Leningrad Department of Steklov Mathematical Institute) when de Branges visited in 1984.

De Branges proved the following result, which for ${\displaystyle \nu =0}$ implies the Milin conjecture (and therefore the Bieberbach conjecture). Suppose that ${\displaystyle \nu >-3/2}$ and ${\displaystyle {\sigma }_n}$ are real numbers for positive integers ${\displaystyle n}$ with limit ${\displaystyle 0}$ and such that

${\displaystyle {\rho }_n=\frac{\mathrm{\Gamma }(2\nu +n+1)}{\mathrm{\Gamma }(n+1)}({\sigma }_n-{\sigma }_{n+1})}$

is non-negative, non-increasing, and has limit ${\displaystyle 0}$. Then for all Riemann mapping functions ${\displaystyle F(z)=z+\cdots }$ univalent in the unit disk with

${\displaystyle \frac{F(z{)}^{\nu }-z^{\nu }}{\nu }=\sum _{n=1}^{\mathrm{\infty }}{a}_n{z}^{\nu +n}}$

the maximum value of

${\displaystyle \sum _{n=1}^{\mathrm{\infty }}(\nu +n){\sigma }_n|a_n{|}^2}$

is achieved by the Koebe function ${\displaystyle z/(1-z{)}^2}$.

A simplified version of the proof was published in 1985 by Carl FitzGerald and Christian Pommerenke (FitzGerald & Pommerenke (1985)), and an even shorter description by Jacob Korevaar (Korevaar (1986)). A very short proof avoiding use of the inequalities of Askey and Gasper was later found by Lenard Weinstein (Weinstein (1991)).