Flächensatz von Bieberbach
# Flächensatz von Bieberbach

Zu den zahlreichen Resultaten, die der Mathematiker Ludwig Bieberbach (1886–1982) auf dem mathematischen Gebiet der Funktionentheorie beigetragen hat, gehört ein Lehrsatz, der von manchen Autoren als Flächensatz von Bieberbach bezeichnet wird. Dieser Lehrsatz liefert eine mathematische Formel für den Flächeninhalt der Bildmenge einer Kreisscheibe in der komplexen Zahlenebene unter einer schlichten holomorphen Funktion.

## Formulierung des Satzes

Der bieberbachsche Flächensatz lässt sich wie folgt formulieren:

    Gegeben seien in der komplexen Ebene eine den Nullpunkt $0\in \mathbb {C}$ enthaltende offene Teilmenge $U\subseteq \mathbb {C}$ und darin enthalten für eine reelle Zahl $r>0$ die um den Nullpunkt gelegene abgeschlossene Kreisscheibe ${\bar {S}}(0,r)=\{\,z\in \mathbb {C} \colon |z|\leq r\,\}$ vom Radius $r$.
    Weiter gegeben sei eine schlichte holomorphe Funktion $w\colon U\to \mathbb {C}$ , welche für $z\in {\bar {S}}(0,r)$ stets die Taylorreihenentwicklung $\textstyle w(z)=\sum _{n=0}^{\infty }{c_{n}z^{n}}\;(c_{n}\in \mathbb {C} \;,\;n=0,1,2,\dotsc )$ haben soll.
    Dann lässt sich der Flächeninhalt $A$ der Bildmenge $w\left({\bar {S}}(0,r)\right)$ nach der Formel
       $A=\pi \cdot \sum _{n=1}^{\infty }{n\cdot |c_{n}|^{2}\cdot r^{2n}}$
    berechnen.

## Verwandter Flächensatz

Mit dem obigen Flächensatz von Bieberbach eng verwandt ist ein weiterer als Flächensatz (englisch area theorem) bekannter Lehrsatz, welcher Einar Hille zufolge von Thomas Hakon Grönwall im Jahre 1914 gefunden wurde. Dieser Flächensatz lässt sich folgendermaßen angeben:

    Gegeben sei in der komplexen Ebene das Gebiet $G:=\mathbb {C} \setminus {\bar {S}}(0,1)$, also das Äußere des abgeschlossenen Einheitskreises.
    Weiter gegeben sei eine schlichte holomorphe Funktion $w\colon G\to \mathbb {C}$ , welche für $z\in G$ stets die Darstellung $\textstyle w(z)=z+b_{0}+\sum _{n=1}^{\infty }{\frac {b_{n}}{z^{n}}}\;(b_{n}\in \mathbb {C} \;,\;n=0,1,2,\dotsc )$ haben und deren Bildmenge $w(G)\,$ eine offene Umgebung von $\infty$ sein soll.
    Dann gilt die Ungleichung
       $\sum _{n=1}^{\infty }{n\cdot |b_{n}|^{2}}\leq 1$.
