# Runge-Theorie

In der Funktionentheorie beschäftigt sich die Runge-Theorie mit der Frage, wann auf einem Teilgebiet holomorphe Funktionen durch auf einem größeren Gebiet holomorphe Funktionen approximiert werden können. Sie wurde wesentlich von Carl Runge entwickelt, der 1885 seinen Approximationssatz veröffentlichte.

## Runge-Theorie für Kompakta

Für eine Menge $P\subset \mathbb {C}$ sei $\mathbb {C} _{P}[z]$ die $\mathbb {C}$-Algebra der rationalen Funktionen, die nur in $P$ Polstellen aufweisen.
Der Runge’sche Approximationssatz für Kompakta besagt nun: Sei $K\subset \mathbb {C}$ ein Kompaktum. Trifft $P\subset \mathbb {C} \setminus K$ jede beschränkte Komponente von $\mathbb {C} \setminus K$, dann ist jede auf $K$ holomorphe Funktion gleichmäßig durch Funktionen aus $\mathbb {C} _{P}[z]$ approximierbar.
Als wichtigen Spezialfall erhält man den Kleinen Satz von Runge: Wenn für ein Kompaktum $K\subset \mathbb {C}$ das Komplement zusammenhängend ist, dann ist jede auf $K$ holomorphe Funktion gleichmäßig durch Polynome approximierbar. (Denn in diesem Fall kann man $P=\emptyset$ wählen und rationale Funktionen ohne Polstellen sind Polynome.)

## Runge-Theorie für Bereiche

Der Satz von Runge über rationale Approximation lautet: Sei $\Omega \subseteq \mathbb {C}$ ein Bereich und $P\subset \mathbb {C} \setminus \Omega$ eine Menge, deren Abschluss ${\overline {P}}$ in $\mathbb {C}$ jedes Loch von $\Omega$ trifft. Dann liegt die Algebra $\mathbb {C} _{P}[z]$ bzgl. der Topologie der kompakten Konvergenz dicht in der Algebra der holomorphen Funktionen ${\mathcal {O}}(\Omega )$. Als Loch wird hierbei eine kompakte Komponente von $\mathbb {C} \setminus \Omega$ bezeichnet.
Zwei Bereiche $\Omega \subseteq \Omega '\subseteq \mathbb {C}$ heißen Runge’sches Paar, wenn jede auf $\Omega$ holomorphe Funktion sich auf Kompakta gleichmäßig durch auf $\Omega '$ holomorphe Funktionen approximieren lässt. Aus obigem Approximationssatz folgt mit Hilfe des Satzes von Behnke-Stein schließlich die Charakterisierung:
    $\Omega \subseteq \Omega '$ bilden genau dann ein Runge’sches Paar, wenn $\Omega '\setminus \Omega$ keine kompakten Komponenten hat, also $\Omega$ relativ zu $\Omega '$ keine Löcher aufweist.

## Anwendungen

* Der Satz von Mittag-Leffler lässt sich aus den Runge’schen Sätzen herleiten.
* Es existieren punktweise konvergente Polynomfolgen, die nicht auf allen Kompakta lokal gleichmäßig konvergieren.
* Die Einheitskreisscheibe lässt sich holomorph und eigentlich in $\mathbb {C} ^{3}$ einbetten. (Tatsächlich sogar in $\mathbb {C} ^{2}$, was aber nicht direkt aus den Runge’schen Sätzen folgt.)
* Jedes Gebiet von $\mathbb {C}$ ist ein Holomorphiegebiet, d. h. zu jedem Gebiet gibt es eine darauf definierte holomorphe Funktion, die sich nicht holomorph über dieses Gebiet hinaus ausdehnen lässt.

## Runge-Approximation auf riemannschen Flächen

Der Approximationssatz wurde 1948 durch Behnke und Stein auf riemannsche Flächen verallgemeinert. Man kann auf riemannschen Flächen zwar nicht von Polynomen sprechen, aber die Approximierbarkeit einer Funktion durch Polynome auf kompakten Mengen $K\subset \mathbb {C}$ ist äquivalent zur Approximierbarkeit durch ganze Funktionen, wie man durch Abbrechen der Taylor-Reihen leicht sieht, und in dieser Form gelingt folgende Verallgemeinerung:
* Sei $X$ eine riemannsche Fläche und $Y\subset X$ eine offene Teilmenge, so dass deren Komplement $X\setminus Y$ keine kompakten Zusammenhangskomponenten hat. Dann kann jede auf $Y$ holomorphe Funktion bzgl. der Topologie der kompakten Konvergenz durch holomorphe Funktionen auf $X$ approximiert werden.
Beachte, dass die Aussage für kompakte riemannsche Flächen trivial wird, denn dann ist notwendig $Y=X$. Für nicht-kompakte riemannsche Flächen erhält man als nicht-triviale Folgerung, dass $H^{1}(X,{\mathcal {O}})=0$, d. h. heißt die 1-te Garbenkohomologie mit Werten in der Garbe ${\mathcal {O}}$ der holomorphen Funktionen verschwindet. Daraus erhält man leicht die Lösbarkeit von Mittag-Leffler-Problemen (siehe Satz von Mittag-Leffler) auf nicht-kompakten riemannschen Flächen.

## Verallgemeinerung

* Der Satz von Mergelyan (durch Mergelyan 1951) behandelt zusätzlich u. a. das Problem mit stetiger Fortsetzung auf den Rand.