wichtiger Begriff in der Funktionentheorie bei der Untersuchung mehrdeutiger Funktionen.

Die analytische Fortsetzung eines analytischen Funktionselements (f ₀, G ₀) ist ein analytisches Funktionselement (f ₁, G ₁) derart, daß G ₀ ∩ G ₁ ≠ ∅ und f ₀(𝓏) = f ₁(𝓏) für alle 𝓏 ∈ G ₀ ∩ G ₁.

Falls eine analytische Fortsetzung (f ₁, G ₁) von (f ₀, G ₀) existiert, so ist sie eindeutig bestimmt. Diese Aussage beruht wesentlich auf dem Identitätssatz. Im allgemeinen muß aber keine analytische Fortsetzung von (f ₀, G ₀) existieren.

Von besonderem Interesse ist der Fall, daß G ₀ ⊂ G ₁.

Es sei γ : [0, 1] → ℂ ein Weg und zu jedem t ∈ [0, 1] existiere ein analytisches Funktionselement (f_t, D_t) mit folgenden Eigenschaften:

1. γ (t) ∈ D_t für alle t ∈ [0, 1],
2. zu jedem t ∈ [0, 1] gibt es ein δ > 0 derart, daß für alle s ∈ [0, 1] mit |s − t| < δ gilt γ (s) ∈ D_t und f_s(𝓏) = f_t(𝓏) für alle 𝓏 ∈ D_s ∩ D_t.

Dann heißt (f ₁, D ₁) eine analytische Fortsetzung von (f ₀, D ₀) entlang des Weges γ . Man sagt auch, f ₁ entstehe durch analytische Fortsetzung von f ₀ längs γ, und nennt f ₀ längs γ analytisch fortsetzbar.

Die praktische Durchführung analytischer Fortsetzungen entlang eines Weges erfolgt häufig mit Hilfe des Kreiskettenverfahrens.

Mit Hilfe des Begriffes der analytischen Fortsetzung werden Untersuchungen zum Mehrdeutigkeitsverhalten von Funktionen wie z. B. dem Logarithmus oder der k-ten Wurzel übersichtlicher. Wir betrachten dazu das folgende Beispiel:

Jeder Zweig des Logarithmus entsteht aus dem im Kreis D ₁(1) durch \begin{eqnarray}f(z)=\displaystyle \sum _{v=1}^{\infty }\frac{{(-1)}^{v-1}}{v}{(z-1)}^{v}\end{eqnarray}

gegebenen Hauptzweig durch analytische Fortsetzung längs eines geeigneten Weges. So erhält man z. B. den Zweig, der in 𝓏₁ = −2 den Wert \begin{eqnarray}\mathrm{log}2+(2k+1)\pi i\end{eqnarray}

hat (k ≥ 0), mit Hilfe eines Weges, der in 𝓏₀ = 1 beginnt, den Nullpunkt k-mal im positiven Sinne umläuft und dann in der oberen Halbebene nach 𝓏₁ geht.

Ähnliches gilt für Wurzelfunktionen \begin{eqnarray}f(z)={z}^{\frac{1}{k}}\end{eqnarray}.