Analytic Continuation — Mathematics Knowledge System

Overview

Analytic continuation is the process of extending the domain of a holomorphic function beyond its original region of definition. The key insight is that a holomorphic function is completely determined by its values on any open set, so there is at most one way to continue it. This principle underlies the global theory of functions like the Riemann zeta function and the gamma function.

Intuition

Think of analytic continuation as listening to a piece of music through a keyhole: you hear only part of it, but if you know the composer's style perfectly (i.e., the function is holomorphic), you can reconstruct the entire symphony. The rigid structure of holomorphic functions means knowing them locally determines them globally.

Formal Definition

Definition

Let $f$ be holomorphic on a domain $D \subset \mathbb{C}$. A holomorphic function $F$ on a larger domain $G \supset D$ is an analytic continuation of $f$ if $F|_D = f$. By the identity theorem, such $F$ is unique when $G$ is connected.

F: G \to \mathbb{C} \text{ holomorphic}, \quad G \supset D, \quad F\big|_D = f

Analytic continuation definition

\zeta(s) = \sum_{n=1}^{\infty} n^{-s}, \quad \text{Re}(s) > 1 \quad \xrightarrow{\text{continuation}} \quad \zeta: \mathbb{C}\setminus\{1\} \to \mathbb{C}

Riemann zeta continuation

\Gamma(s+1) = s\,\Gamma(s), \quad \Gamma(n+1) = n!

Gamma function functional equation

Worked Examples

The power series converges on $|z| < 1$, where it equals $1/(1-z)$.
$f(z) = \sum_{n=0}^{\infty} z^n = \frac{1}{1-z}, \quad |z| < 1$
The function $F(z) = 1/(1-z)$ is holomorphic on $\mathbb{C}\setminus\{1\}$, a much larger domain than the disk.
$F(z) = \frac{1}{1-z}, \quad z \neq 1$
Since $F$ agrees with $f$ on the open disk $|z|<1$, it is the unique analytic continuation of $f$.
$F\big|_{|z|<1} = f$

Answer: The analytic continuation is $F(z) = 1/(1-z)$ on $\mathbb{C}\setminus\{1\}$.

Practice Problems

Difficulty 6/10

State the identity theorem and use it to argue that an analytic continuation (if it exists) is unique.

Difficulty 8/10

Explain what a natural boundary is and give an example of a power series that cannot be continued beyond its disk of convergence.

Difficulty 8/10

Describe monodromy and explain when analytic continuation along different paths gives the same result.

Common Mistakes

Common Mistake

Analytic continuation always gives a single-valued function.

Continuation around a loop can return a different branch — this is monodromy. Functions like $\log z$ and $\sqrt{z}$ are genuinely multi-valued; their Riemann surfaces make them single-valued.

Common Mistake

Every holomorphic function can be analytically continued to all of $\mathbb{C}$.

Functions with natural boundaries (like $\sum z^{2^n}$) cannot be continued at all beyond their disk. Others (like $1/z$) have essential isolated singularities or poles that prevent global extension.

Quiz

Summary

Analytic continuation extends a holomorphic function beyond its original domain of definition.
By the identity theorem, any analytic continuation to a connected domain is unique.
Monodromy measures the change in value when continuing along a loop.
Simply connected domains guarantee single-valued continuations (monodromy theorem).
Some functions have natural boundaries across which no continuation is possible.

References

WebsiteWikipedia — Analytic continuation