Imagine you are handed the Riemann zeta function $\zeta(s) = \sum_{n=1}^\infty n^{-s}$, defined for $\operatorname{Re}(s) > 1$. Everyone knows the provocative formula $\zeta(-1) = -1/12$, beloved by physicists and bewildering to students. The series diverges catastrophically at $s = -1$ — you cannot plug in that value and sum. And yet the formula is not a fraud. It arises from a precise mathematical process: *analytic continuation*, which extends a holomorphic function beyond its original domain of definition in the only way that is consistent with the laws of complex analysis. The result is no longer the series, but it is the unique holomorphic function that agrees with the series where the series is valid. This is one of the most powerful ideas in all of mathematics: the rigidity of holomorphic functions forces uniqueness, and that uniqueness allows us to define functions far outside their original domains.

The central phenomenon at work is this. A holomorphic function is extraordinarily rigid: if two holomorphic functions agree on any set with a limit point inside a connected domain, they agree everywhere on that domain. This is the [Identity Theorem](/page/Holomorphic%20Function), and it has a remarkable consequence. Whenever you can extend a holomorphic function to a larger domain — whether by summing a new series, by an explicit formula, by integral representations, or by any other means — the extension is forced. There is no choice. This is what makes analytic continuation a *continuation*, not merely an approximation or extrapolation.

[example: Power Series Failing at the Boundary] Consider $f(z) = \sum_{n=0}^\infty z^n$, a geometric series with radius of convergence $1$. Inside the unit disk $|z| < 1$, this converges absolutely to $f(z) = \frac{1}{1-z}$. The series diverges for $|z| \geq 1$, so the power series definition breaks down on and outside the unit circle. But the formula $g(z) = \frac{1}{1-z}$ is defined and holomorphic on all of $\mathbb{C} \setminus \{1\}$. In particular, $g(2) = -1$, $g(-1) = 1/2$, and $g(3+4i) = \frac{1}{-2-4i} = \frac{-1+2i}{10}$ are all perfectly well-defined complex numbers. Is $g$ the "correct" analytic continuation of $f$? By the Identity Theorem: yes, unambiguously. Any holomorphic function defined on a connected domain containing the unit disk that agrees with $f$ on the unit disk must agree with $g$ wherever both are defined. The function $g(z) = \frac{1}{1-z}$ is the unique analytic continuation of $f$ to $\mathbb{C} \setminus \{1\}$. Note carefully what happens at $z = 1$: the original series diverges, the sum formula has a pole, and no continuation is possible there. The singularity is genuine. [/example]

The rigidity of holomorphic functions — their determination by local data — is what makes the entire theory possible. Before stating the main definitions, we pause to state this foundational result precisely, since it is the backbone of everything that follows.

[quotetheorem:3357]

In particular, if $f$ and $g$ agree on any open subset of $\Omega$, or on any convergent sequence of distinct points in $\Omega$, they are identical. This is the uniqueness guarantee that makes analytic continuation meaningful.

## Definition

The basic setup is simple: we have a holomorphic function on some domain, and we want to extend it to a larger domain without introducing any discontinuity or inconsistency in the overlap.

The simplest case arises when two domains overlap and a holomorphic function on the first happens to match another holomorphic function on the second wherever they share points. The Identity Theorem then forces them to be "the same function" on the overlap, and together they define a holomorphic function on the union.

[definition: Direct Analytic Continuation] Let $\Omega_1, \Omega_2 \subset \mathbb{C}$ be connected open sets with $\Omega_1 \cap \Omega_2 \neq \varnothing$, and let $f_j: \Omega_j \to \mathbb{C}$ be holomorphic for $j = 1, 2$. We say that $f_2$ is a **direct analytic continuation** of $f_1$ to $\Omega_2$ if \begin{align*} f_1(z) &= f_2(z) \quad \text{for all } z \in \Omega_1 \cap \Omega_2. \end{align*} [/definition]

When a direct analytic continuation exists, the two functions define a single holomorphic function on $\Omega_1 \cup \Omega_2$: set $F(z) = f_1(z)$ for $z \in \Omega_1$ and $F(z) = f_2(z)$ for $z \in \Omega_2$. The Identity Theorem guarantees that if a direct analytic continuation exists, it is unique: no two distinct holomorphic functions on $\Omega_2$ can both equal $f_1$ on $\Omega_1 \cap \Omega_2$.

This raises an immediate question: what if we cannot extend $f_1$ from $\Omega_1$ directly to a single larger domain, but instead must proceed in steps, moving through a chain of overlapping disks? This is the idea of *analytic continuation along a path*.

[illustration:overlapping-disks]

[definition: Analytic Continuation Along a Path] Let $\gamma: [0, 1] \to \mathbb{C}$ be a path, and let $f$ be holomorphic in an open neighborhood of $\gamma(0)$. An **analytic continuation of $f$ along $\gamma$** is a family of holomorphic functions $\{f_t\}_{t \in [0,1]}$, where each $f_t$ is defined in an open disk $D_t$ centered at $\gamma(t)$, such that: 1. $f_0 = f$ near $\gamma(0)$, 2. for each $t \in [0, 1]$, there exists $\varepsilon > 0$ such that for all $s$ with $|s - t| < \varepsilon$, we have $\gamma(s) \in D_t$ and $f_s \equiv f_t$ on $D_s \cap D_t$. [/definition]

The key point is that the disks $D_t$ are allowed to move and change as $t$ varies; what matters is that adjacent disks overlap and the local functions agree on their overlap. The result at the endpoint $\gamma(1)$ — the germ $f_1$ near $\gamma(1)$ — is called the analytic continuation of $f$ to the endpoint along $\gamma$.

[remark: Dependence on the Path] Unlike in real analysis, analytic continuation along two different paths from the same start to the same end need not give the same result. This is not a flaw in the definition — it is the fundamental phenomenon that connects analytic continuation to topology and, eventually, to the theory of Riemann surfaces. We will see a dramatic example when we continue the complex logarithm around the origin. [/remark]

The question of when a continuation along every path in a domain gives the same result is answered by the monodromy theorem. But first we should understand what can go wrong, and why.

## The Schwarz Reflection Principle

One of the most elegant methods for constructing analytic continuations is the Schwarz Reflection Principle. It applies in a very specific geometric situation — when the domain of a holomorphic function has a straight-line boundary segment on which the function is real-valued — but this situation arises constantly in practice.

Why should real values on the real axis help? The key observation is that for a holomorphic function $f$, the function $g(z) := \overline{f(\bar{z})}$ is also holomorphic (where defined). If $f$ is real on the real axis, then $f(x) = \overline{f(x)}$ for $x \in \mathbb{R}$, which means $f(\bar{z}) = \overline{f(z)}$ for $z$ near the real axis, so $g(z) = f(z)$. This tells us that $f$ and the reflected function $g$ must agree on the real boundary, giving us the matching condition needed for a direct analytic continuation.