de Branges's theorem

In complex analysis, de Branges's theorem, or the Bieberbach conjecture, is a theorem that gives a necessary condition on a holomorphic function in order for it to map the open unit disk of the complex plane injectively to the complex plane. It was posed by Ludwig Bieberbach (1916) and finally proven by Louis de Branges (1985).

The statement concerns the Taylor coefficients an of a univalent function, i.e. a one-to-one holomorphic function that maps the unit disk into the complex plane, normalized as is always possible so that a0 = 0 and a1 = 1. That is, we consider a function defined on the open unit disk which is holomorphic and injective (univalent) with Taylor series of the form

Such functions are called schlicht. The theorem then states that

The Koebe function (see below) is a function in which an = n for all n, and it is schlicht, so we cannot find a stricter limit on the absolute value of the nth coefficient.

The normalizations

mean that

This page was last edited on 8 January 2018, at 00:31.
Reference: under CC BY-SA license.

Related Topics

Recently Viewed