Bieberbach conjecture

Bieberbach conjecture
Name	Bieberbach conjecture
Caption	Paul Bieberbach
Field	Complex analysis
Proposed	1916
Solved	1985
Solver	Louis de Branges
Related	Koebe quarter theorem; univalent functions; Schwarz lemma

Bieberbach conjecture The Bieberbach conjecture was a central problem in complex analysis concerning coefficient bounds for normalized univalent holomorphic functions on the unit disk formulated by Paul Bieberbach in 1916. It motivated developments across function theory, geometric function theory, and connections with work of Ludwig Bieberbach, Grunsky, and Löwner leading to a complete proof by Louis de Branges in 1985. The statement tied together classical results such as the Koebe quarter theorem and the Schwarz lemma, prompting a succession of partial results by prominent figures including Charles Loewner, Paul Garabedian, Kurt Löwner, John Hervé, and Carl Pommerenke.

History

The conjecture originated in a paper by Paul Bieberbach associated with the study of schlicht functions and coefficient problems in 1916; it immediately connected to work by Ludwig Bieberbach and contemporaries in Germany and France. Early advances used the parametric method of Charles Loewner, who proved the conjecture for the third coefficient in 1923 and introduced what became the Loewner differential equation. During the mid-20th century, partial results accrued through contributions of Grunsky, Littlewood, Hardy, Littlewood (John Littlewood), J. E. Littlewood, G. Valiron, Paul Garabedian, L. Ahlfors and Lars Ahlfors linking to extremal problems solved using quadratic differentials by Teichmüller and methods from Riemann mapping theorem studies. The problem remained prominent in the programs of institutes such as Institute for Advanced Study, University of Göttingen, and Princeton University until the full proof by Louis de Branges attracting attention from the American Mathematical Society and journals like Annals of Mathematics and Proceedings of the National Academy of Sciences.

Statement

The conjecture concerns functions f(z)=z+a_2 z^2+a_3 z^3+... holomorphic and injective on the unit disk Δ, normalized so that f(0)=0 and f'(0)=1, often called schlicht or univalent functions in classical texts by Dmitri Shmuelovich, G. D. Birkhoff, and H. S. Shapiro. Bieberbach asserted that for each n≥2 the coefficient satisfies |a_n| ≤ n, with equality attained by the rotated Koebe function related to the Koebe 1/4 theorem and the extremal mapping onto the complement of a slit along a ray, a construction tied to the work of Paul Koebe and studied by Heinrich Kühnau.

Partial results and related theorems

Progressive confirmations for specific coefficients came from a network of results: Charles Loewner proved the n=3 case via the Loewner chain; subsequent bounds were obtained by H. S. Shapiro, Ludwig Bieberbach's circle, Fekete, Szegő, and Milin. Important auxiliary inequalities included the Area theorem (also known as the Gronwall area theorem) and the Grunsky inequalities developed by Helmut Grunsky relating Hankel determinants to univalence. Milin conjecture and Lebedev–Milin inequalities provided a route linking logarithmic coefficients to the desired bounds; work by A. A. Goluzin and Duren connected with extremal length and quadratic differentials studied by Strebel. Related theorems like the Schwarz–Pick theorem, Bieberbach–de Branges theorem precursors, and results of Pommerenke on coefficient growth further constrained possibilities. Computational and variational methods used ideas from Fredholm theory, Hilbert space techniques of Karl Löwner and spectral perspectives echoing Weyl and Courant.

Proof by de Branges

In 1985 Louis de Branges announced a proof that confirmed the conjecture for all n, employing inequalities related to the Milin conjecture and an approach using Hilbert space of entire functions previously appearing in his proof of the Bieberbach–de Branges theorem for special cases. De Branges built on work by R. Nevanlinna, N. I. Akhiezer, Pólya, and used techniques associated with Hermite–Biehler functions, operators studied in contexts by John von Neumann and Marshall Stone, and the theory of reproducing kernel Hilbert spaces linked to S. Bergman and Paul Koosis. The proof verified the Lebedev–Milin inequalities, thereby proving the Milin conjecture which implied the coefficient bounds. The mathematics community debated and then accepted the proof after scrutiny by researchers including J. H. Silverman, Louis de Branges's contemporaries, and committees at journals such as Acta Mathematica and Annals of Mathematics.

Consequences and applications

Resolution of the conjecture settled numerous extremal problems in geometric function theory influencing research by Oded Schramm in conformal mappings, Stefan Banach-related function space studies, and applications in the theory of univalent function families studied by Teichmüller and Ahlfors. It provided tight coefficient estimates used in distortion theorems, growth theorems, and covering theorems employed in investigations of the Riemann mapping theorem and mapping problems studied at institutions like Princeton University and Cambridge University. The methods inspired related advances in operator theory explored at Harvard University and Yale University and influenced subsequent work in conformal welding, dynamics of holomorphic maps in research programs associated with Fields Medal winners and major conferences of the International Congress of Mathematicians.

Generalizations and open problems

Generalizations include coefficient problems for classes such as the class S of schlicht functions, close-to-convex functions studied by Charles Loewner and M. N. N. N., and multivalent function analogues investigated by S. Ruscheweyh and I. Graham. Extensions to higher dimensions prompted questions in several complex variables connected with the Cauchy–Riemann equations and mapping problems studied at Universität Bonn and Institut des Hautes Études Scientifiques; these remain largely open. Related open problems include sharp bounds for subclasses defined by geometric constraints studied by J. A. Jenkins, coefficient estimates in harmonic and quasiconformal settings worked on by Tadeusz Iwaniec and Gaven Martin, and effective bounds tied to computational conformal mapping pursued at Max Planck Institute for Mathematics and Courant Institute.

Category:Complex analysis