Schwarz reflection principle

Intuition [Beginner]

Imagine drawing a graph on a sheet of paper, then folding the paper along a horizontal line. If the part of the graph above the line is the mirror image of the part below, the graph has mirror symmetry. The Schwarz reflection principle says something analogous for complex functions: if a function is analytic (smooth in the complex sense) and maps the real axis to the real axis, then the function values below the real axis are determined by the values above it, by complex conjugation.

Concretely, if you know $f(z)$ for all points above the real axis and you know $f$ takes real values on the real axis itself, then $f$ at the reflected point $\bar{z}$ (the mirror image of $z$ across the real axis) is the complex conjugate $\overline{f(z)}$. The function below the axis is the "complex mirror" of the function above.

This is a rigidity result: the analytic condition is so strong that knowing the function on one side of a line and on the line itself completely determines it on the other side. There is no freedom to choose different values below the axis.

Why does this concept exist? The Schwarz reflection principle extends functions across boundaries in a canonical way, providing a tool for constructing analytic functions with prescribed symmetry and for solving boundary value problems where the boundary data determines the interior values.

Visual [Beginner]

A diagram showing the upper half-plane (shaded blue) and lower half-plane (shaded light red) separated by the real axis. A point $z$ in the upper half-plane is connected to its reflection $\bar{z}$ in the lower half-plane by a dashed vertical line. The function values $f(z)$ and $f(\bar{z})=\overline{f(z)}$ are shown as points in the range, also related by conjugation.

The picture shows that the real axis acts as a mirror: the function below is the complex conjugate of the function above.

Worked example [Beginner]

Consider $f(z)=z^2$. Check the Schwarz reflection property: $f(\bar{z})=\overline{f(z)}$.

Step 1. Compute $f(\bar{z})=(\bar{z}{)}^2$.

Step 2. Compute $\overline{f(z)}=\overline{z^2}$. Since conjugation distributes over multiplication: $\overline{z\cdot z}=\bar{z}\cdot \bar{z}=(\bar{z}{)}^2$.

Step 3. The two agree: $(\bar{z}{)}^2=(\bar{z}{)}^2$. Also, for real $x$: $f(x)=x^2$ is real. So $f(z)=z^2$ satisfies both conditions (analytic everywhere, real on the real axis) and has the reflection property.

What this tells us: even a simple polynomial like $z^2$ obeys the Schwarz reflection principle. Any polynomial with real coefficients has this property, because conjugation distributes over addition and multiplication of real numbers.

Check your understanding [Beginner]

Formal definition [Intermediate+]

Let $\Omega$ be an open set in $\mathbb{C}$ that is symmetric with respect to the real axis (i.e., $z\in \Omega \iff \bar{z}\in \Omega$). A function $f:\Omega \to \mathbb{C}$ satisfies the Schwarz reflection condition if $f(\bar{z})=\overline{f(z)}$ for all $z\in \Omega$.

Definition (Schwarz reflection of a function). Let $f$ be holomorphic on ${\Omega }^{+}=\{z\in \Omega :\mathrm{Im}(z)>0\}$ and continuous on ${\Omega }^{+}\cup (\Omega \cap \mathbb{R})$, with $f(x)\in \mathbb{R}$ for all $x\in \Omega \cap \mathbb{R}$. The Schwarz reflection of $f$ is the function defined on all of $\Omega$ by:

$$F(z)=\{\begin{array}{ll}f(z)& \text{if }\mathrm{Im}(z)\ge 0\\ \overline{f(\bar{z})}& \text{if }\mathrm{Im}(z)<0.\end{array}$$

The Schwarz reflection principle asserts that $F$ is holomorphic on all of $\Omega$. ^{[Ahlfors Ch. 4]}

Counterexamples to common slips

• Real-valued on the real axis does not mean real-valued everywhere. The hypothesis is that $f$ takes real values on the boundary $\Omega \cap \mathbb{R}$, not that $f$ is real-valued on all of $\Omega$. In the upper half-plane, $f$ can take arbitrary complex values.
• Continuity on the boundary is essential. The reflection formula $F(z)=\overline{f(\bar{z})}$ below the axis only produces a holomorphic function if $f$ is continuous up to the real axis. Without continuity, the extension may have discontinuities.
• The domain must be symmetric. The reflection principle requires the domain $\Omega$ to be symmetric under conjugation $z\mapsto \bar{z}$. An asymmetric domain cannot support the reflection.

Key theorem with proof [Intermediate+]

Theorem (Schwarz reflection principle). Let $\Omega$ be an open set in $\mathbb{C}$ that is symmetric with respect to the real axis. Let $f$ be continuous on ${\Omega }^{+}\cup (\Omega \cap \mathbb{R})$ and holomorphic on ${\Omega }^{+}=\{z\in \Omega :\mathrm{Im}(z)>0\}$, with $f(x)\in \mathbb{R}$ for all $x\in \Omega \cap \mathbb{R}$. Then the function

$$F(z)=\{\begin{array}{ll}f(z)& \mathrm{Im}(z)\ge 0,z\in \Omega \\ \overline{f(\bar{z})}& \mathrm{Im}(z)<0,z\in \Omega \end{array}$$

is holomorphic on all of $\Omega$.

Proof. The function $F$ is holomorphic on ${\Omega }^{+}$ (where $F=f$) by hypothesis. On ${\Omega }^{-}=\{z\in \Omega :\mathrm{Im}(z)<0\}$, write $F(z)=\overline{f(\bar{z})}$. The map $z\mapsto \bar{z}$ is antiholomorphic, and composition with $f$ (holomorphic) followed by conjugation gives a holomorphic function: if $g(z)=f(\bar{z})$, then $\partial g/\partial z=f^{\prime }(\bar{z})\cdot \partial \bar{z}/\partial z=0$ (since $\bar{z}$ is antiholomorphic), so $\overline{g(z)}=\overline{f(\bar{z})}$ is holomorphic by the Cauchy-Riemann equations applied to the conjugated function. Hence $F$ is holomorphic on ${\Omega }^{-}$.

It remains to show $F$ is holomorphic on a neighbourhood of each point $x_0\in \Omega \cap \mathbb{R}$. Use Morera's theorem. Let $\Delta$ be a small triangle in $\Omega$ containing $x_0$. If $\Delta$ does not intersect the real axis, the integral of $F$ around $\Delta$ vanishes by Cauchy's theorem (since $F$ is holomorphic on ${\Omega }^{+}$ and ${\Omega }^{-}$ separately). If $\Delta$ intersects the real axis, split it along the axis into two smaller triangles ${\Delta }^{+}$ and ${\Delta }^{-}$ (plus a thin strip that vanishes in the limit). Then:

$${\oint }_{\partial \Delta }F(z)dz={\oint }_{\partial {\Delta }^{+}}F(z)dz+{\oint }_{\partial {\Delta }^{-}}F(z)dz=0+0=0.$$

The integrals vanish because $F$ is holomorphic on each half and continuous on the closure (the real-axis boundary contributions cancel by the continuity of $F$ at real points, using $f(x)\in \mathbb{R}$). By Morera's theorem, $F$ is holomorphic in a neighbourhood of $x_0$. $\square$

Bridge. The Schwarz reflection principle builds toward 06.01.04 analytic continuation, where it appears again as a tool for extending functions across boundaries by exploiting symmetry. The foundational reason reflection works is that the Cauchy-Riemann equations couple the real and imaginary parts of a holomorphic function so tightly that real-valued boundary data determines the function on both sides. The central insight is that analyticity plus boundary values on a curve determine the function in a full neighbourhood, and this is exactly the bridge from boundary data to interior values that underpins the Dirichlet problem for harmonic functions. The pattern generalises through reflection across general analytic arcs (not just the real axis) and the Schwarz symmetry principle for Riemann surfaces, and putting these together identifies reflection as the primary tool for extending conformal maps and harmonic functions across boundaries.

Exercises [Intermediate+]

Advanced results [Master]

Reflection across the unit circle. If $f$ is holomorphic on $|z|<1$, continuous on $|z|\le 1$, and $|f(z)|=1$ on $|z|=1$, then $f$ extends to a meromorphic function on all of $\mathbb{C}$ via $F(z)=f(z)$ for $|z|\le 1$ and $F(z)=1/\overline{f(1/\bar{z})}$ for $|z|>1$. The reflection $z\mapsto 1/\bar{z}$ is the inversion in the unit circle. This extension is the Schwarz reflection adapted to the circular boundary and is the foundation of the theory of finite Blaschke products. ^{[Conway Ch. IV]}

Reflection across general analytic arcs. The Schwarz principle extends from the real axis to any analytic arc $\gamma$: if $f$ is holomorphic on one side of $\gamma$, continuous up to $\gamma$, and maps $\gamma$ into another analytic arc $\sigma$, then $f$ extends holomorphically across $\gamma$ by reflection in $\sigma$. The proof proceeds by mapping $\gamma$ conformally to the real axis and $\sigma$ to the real axis (or the unit circle), then applying the standard Schwarz principle. This is the Schwarz symmetry principle for analytic arcs. ^{[Remmert Ch. 1]}

Schwarz symmetry principle for Riemann surfaces. On a Riemann surface $X$ with an anti-holomorphic involution $\sigma :X\to X$ (such as complex conjugation on the Riemann sphere), a function holomorphic on one component of $X\setminus \mathrm{Fix}(\sigma )$ and real-valued on $\mathrm{Fix}(\sigma )$ extends holomorphically to all of $X$ by reflection through $\sigma$. This is the coordinate-free version of the Schwarz reflection principle and appears in the theory of real Riemann surfaces and the study of Klein surfaces. ^{[Ahlfors Ch. 4]}

Application to boundary value problems. The Schwarz reflection principle solves the Dirichlet problem for the upper half-plane with real boundary data: if $u$ is harmonic on the upper half-plane, continuous on the closed upper half-plane, and $u=0$ on the real axis, then the odd reflection $U(z)=u(z)$ for $\mathrm{Im}(z)>0$, $U(z)=-u(\bar{z})$ for $\mathrm{Im}(z)<0$, gives a harmonic function on all of $\mathbb{C}$. This is the standard technique for converting half-plane boundary value problems into whole-plane problems. ^{[Stein-Shakarchi Ch. 2]}

Schwarz lemma and its reflection proof. The Schwarz lemma ($|f(z)|\le |z|$ for $f:D\to D$ with $f(0)=0$) can be proved using the reflection principle: extend $f(z)/z$ (initially defined on $D\setminus \{0\}$ with a removable singularity at $0$) by reflecting across the boundary. The maximum modulus principle applied to the extended function yields the bound. This proof technique appears in 06.01.12 maximum modulus and the Schwarz lemma.

Synthesis. The Schwarz reflection principle is the foundational reason that symmetry across boundaries produces analytic extensions, and the central insight is that holomorphic functions are rigid enough that their boundary values determine their values on both sides of a curve. This is exactly the structure that generalises from the real axis to arbitrary analytic arcs and to anti-holomorphic involutions on Riemann surfaces. Putting these together with the maximum modulus principle identifies reflection as the primary tool for constructing functions with prescribed boundary behaviour, and the bridge is between boundary data (a real condition) and interior analyticity (a complex condition). The pattern recurs in the Poisson integral formula (solving the Dirichlet problem), the reflection argument for the Schwarz lemma, and the theory of automorphic functions (where reflection across the boundary of a fundamental domain extends the function to the whole upper half-plane).

Full proof set [Master]

Proposition (Real coefficients from reflection). If $f$ is holomorphic on a symmetric domain $\Omega$ and satisfies $f(\bar{z})=\overline{f(z)}$, then for any $x_0\in \Omega \cap \mathbb{R}$, the Taylor expansion $f(z)=\sum a_n(z-x_0{)}^n$ has all $a_n\in \mathbb{R}$.

Proof. The Taylor coefficients are $a_n=f^{(n)}(x_0)/n!$. Since $f$ is holomorphic and $f(\bar{z})=\overline{f(z)}$, differentiating both sides at the real point $x_0$ gives $\overline{f^{(n)}(x_0)}=f^{(n)}(x_0)$ for all $n$. Hence each $f^{(n)}(x_0)\in \mathbb{R}$, so $a_n=f^{(n)}(x_0)/n!\in \mathbb{R}$. $\square$

Proposition (Odd reflection for harmonic functions). If $u$ is harmonic on the upper half-plane, continuous on the closed upper half-plane, and $u=0$ on the real axis, then $U(z)=u(z)$ for $\mathrm{Im}(z)\ge 0$ and $U(z)=-u(\bar{z})$ for $\mathrm{Im}(z)<0$ is harmonic on all of $\mathbb{C}$.

Proof. On the upper half-plane, $U=u$ is harmonic by hypothesis. On the lower half-plane, $U(z)=-u(\bar{z})$, and the map $z\mapsto -u(\bar{z})$ is harmonic because conjugation is antiholomorphic and negation preserves harmonicity: $\Delta (-u(\bar{z}))=-\Delta (u(\bar{z}))=0$ since $u$ is harmonic.

Near a real point $x_0$: $U$ is continuous because $U(x_0)=u(x_0)=0$ (from above) and ${\lim }_{z\to x_0,\mathrm{Im}(z)<0}U(z)=-u(x_0)=0$ (from below). By the mean-value property for harmonic functions (verified on small circles centred at $x_0$ by splitting into upper and lower semicircles and using $U=0$ on the diameter), $U$ satisfies the mean-value property at $x_0$. Hence $U$ is harmonic in a neighbourhood of every real point. $\square$

Connections [Master]

• Analytic continuation 06.01.04. The Schwarz reflection principle is a special case of analytic continuation where the continuation is achieved not by overlapping discs but by symmetry across a boundary. The function on one side of the boundary determines the function on the other side, and this continuation is unique. The reflection principle provides the most concrete instance of analytic continuation in practice.

• Holomorphic function 06.01.01. The Schwarz reflection principle is a rigidity theorem for holomorphic functions: the condition of being holomorphic on one side of a curve and real-valued on the curve is so restrictive that the function is completely determined on the other side. This is a manifestation of the general principle that holomorphic functions are rigid — they cannot be modified locally without affecting their global behaviour.

• Maximum modulus and Schwarz lemma 06.01.12. The Schwarz lemma (a consequence of the maximum modulus principle) can be proved using the reflection principle across the unit circle. The reflection technique extends $f(z)/z$ from the unit disc to the entire plane, and Liouville's theorem then provides the sharp bound. The reflection principle and the maximum modulus principle are complementary tools for controlling boundary behaviour.

Historical & philosophical context [Master]

Schwarz 1869 ^{[Schwarz 1869]}, in his memoir Ueber einige Abbildungsaufgaben in the Journal fur die reine und angewandte Mathematik, established the reflection principle as a tool for constructing conformal maps. Schwarz was studying the problem of mapping a polygon to the upper half-plane (the Schwarz-Christoffel formula) and needed a method for extending the mapping function across the boundary segments. The reflection principle provided the answer: the map extends across each straight edge by reflection, and the angles at the vertices determine the local behaviour.

The generalisation from the real axis to arbitrary analytic arcs and to Riemann surfaces was developed by Klein and Poincare in the 1880s in the context of automorphic functions, where reflection across the sides of a fundamental domain extends the automorphic function to the full upper half-plane. The application to boundary value problems (the Dirichlet problem) was systematised in the early 20th century and appears in the canonical treatments of Ahlfors Complex Analysis Ch. 4 and Conway Functions of One Complex Variable Ch. IV ^{[Conway Ch. IV]}.

Bibliography [Master]

@article{Schwarz1869,
  author = {Schwarz, Hermann Amandus},
  title = {Ueber einige Abbildungsaufgaben},
  journal = {Journal f\"ur die reine und angewandte Mathematik},
  volume = {70},
  year = {1869},
  pages = {105--120},
  note = {Schwarz reflection principle for conformal mapping}
}

@book{Ahlfors1979,
  author = {Ahlfors, Lars V.},
  title = {Complex Analysis},
  publisher = {McGraw-Hill},
  year = {1979},
  edition = {3rd},
  note = {Chapter 4: reflection principle, Schwarz lemma}
}

@book{Conway1978,
  author = {Conway, John B.},
  title = {Functions of One Complex Variable I},
  publisher = {Springer},
  year = {1978},
  series = {Graduate Texts in Mathematics 11},
  note = {Chapter IV: Schwarz reflection principle}
}

@book{Burckel1979,
  author = {Burckel, Robert B.},
  title = {An Introduction to Classical Complex Analysis},
  publisher = {Birkh\"auser},
  year = {1979},
  volume = {1},
  note = {Chapter 5: reflection principles and boundary behaviour}
}

@book{Remmert1998,
  author = {Remmert, Reinhold},
  title = {Classical Topics in Complex Function Theory},
  publisher = {Springer},
  year = {1998},
  note = {Chapter 1: Schwarz reflection and generalisations}
}

@book{SteinShakarchi2003,
  author = {Stein, Elias M. and Shakarchi, Rami},
  title = {Complex Analysis},
  publisher = {Princeton University Press},
  year = {2003},
  volume = {II},
  note = {Princeton Lectures in Analysis, Chapter 2}
}