Das Verfahren, eine holomorphe Funktion von ihrem ursprünglichen Definitionsgebiet auf eine größere zusammenhängende Region zu erweitern, indem man die eindeutige Fortsetzbarkeit analytischer Funktionen nutzt, typischerweise durch Fortsetzung von Potenzreihen oder Werten entlang von Wegen.

Prinzip

Organisierendes Prinzip ist der Identitätssatz und Monodromie: Holomorphe Funktionen, die auf einer Menge mit einem Häufungspunkt gegeben sind, lassen sich eindeutig entlang von Wegen fortsetzen, bis Singularitäten oder Hindernisse auftreten; die Fortsetzung erfolgt durch überlappende Scheiben oder durch Behandlung von Verzweigungen.

Demonstration

Beginne mit einer Potenzreihe um z0, die in einer Scheibe konvergiert. Hat ein Randpunkt z1 eine lokale Potenzreihe, die auf dem Überlappungsbereich mit der ursprünglichen übereinstimmt, so erweitert man auf die Scheibe um z1 und wiederholt. Konkretes Beispiel: die Reihe für log(1+z) um 0 lässt sich entlang von Wegen erweitern, die die Verzweigungsstelle z = −1 umgehen, und erzeugt die Zweige des Logarithmus.

Fehlanwendung

Davon auszugehen, dass Fortsetzung stets über jeden Randpunkt möglich sei; der Versuch, über eine natürliche Grenze oder eine essentielle Singularität hinweg fortzusetzen, ohne Verzweigungen oder Divergenz zu berücksichtigen, führt zu falschen Schlüssen.

Konsequenz

Gelingt die Fortsetzung, erhält man auf jedem einfach zusammenhängenden erreichbaren Gebiet eine eindeutige holomorphe Erweiterung; Singularitäten und Verzweigungsstruktur werden sichtbar, sodass globale analytische Informationen aus lokalen Daten gewonnen werden können.

Umkehrung

Die Umkehrperspektive ist die Einschränkung: Durch Einschränkung einer maximalen analytischen Funktion auf ein kleineres Gebiet gehen Informationen über Monodromie und Singularitäten verloren und möglicherweise erscheint keine Mehrdeutigkeit, die erst beim Fortsetzen sichtbar würde.

Abgrenzung

Gilt für holomorphe (komplex-analytische) Funktionen auf zusammenhängenden offenen Mengen; nicht anwendbar für beliebige stetige, differenzierbare oder distributionale Funktionen ohne komplexe Analytizität. Schließt formale Fortsetzungen ohne Konvergenz aus.

Semantische Spannung

Spannung zwischen analytischer Fortsetzung und formaler oder algebraischer Fortsetzung: eine formale Potenzreihe muss nicht konvergieren; distributionale Fortsetzungen unterscheiden sich, da sie die komplexe Differenzierbarkeit nicht erhalten.

Synthese

Analytische Fortsetzung ist das schrittweise Fortführen lokaler holomorpher Darstellungen mittels Identitätssatz und überlappender Entwicklungen, um die maximale holomorphe Erweiterung auf erreichbaren Gebieten zu erhalten und dabei Singularitäten und Monodromie zu respektieren.