Conformal Mappings

⚡ Key Takeaways

A conformal mapping is a function between regions of the complex plane that preserves angles (in magnitude and orientation) at every point. Key fact: a complex function is conformal precisely where it is holomorphic with non-vanishing derivative. They appear throughout complex analysis, fluid dynamics, electrostatics, and cartography. Foundations laid by Gauss, Riemann, and Schwarz in the 19th century.

💡 The Core Insight

Holomorphy is a very strong condition. A function that is complex-differentiable with $f'(z_0)\neq 0$ behaves near $z_0$ like multiplication by the complex number $f'(z_0)$ . Since multiplying by a complex number $re^{i\theta}$ scales lengths by $r$ and rotates by $\theta$ uniformly in all directions, the local geometry is preserved up to similarity. Angles survive; only shapes at infinitesimal scale are spared distortion, while sizes change by the factor $|f'(z_0)|$ .

DefinitionConformal Mapping

Let $\Omega\subseteq\mathbb{C}$ be open and $f:\Omega\to\mathbb{C}$ . Two smooth curves $\gamma_1,\gamma_2$ meeting at $z_0$ at an angle $\alpha$ (measured from $\gamma_1$ to $\gamma_2$ ) are mapped to curves meeting at $f(z_0)$ . The map $f$ is conformal at $z_0$ if for every such pair this angle is preserved in magnitude and orientation. $f$ is conformal on $\Omega$ if it is conformal at every point and injective. The local linearization is governed by the derivative:

1

\quad f(z_0+h) = f(z_0) + f'(z_0)\,h + o(|h|), \qquad h\to 0.

Derivation hint: This is the definition of complex differentiability; the error term $o(|h|)$ means the linear part dominates near $z_0$ . Writing $f'(z_0)=re^{i\theta}$ with $r=|f'(z_0)|>0$ , the increment $h$ is transformed by

2

\quad f'(z_0)\,h = r\,e^{i\theta}\,h,

Derivation hint: Multiplication by $re^{i\theta}$ in $\mathbb{C}$ corresponds to scaling by $r$ and rotating by $\theta$ ; apply this to the infinitesimal displacement vector $h$ . so each infinitesimal vector $h$ is rotated by $\theta$ and scaled by $r$ regardless of its direction — hence angles between any two such vectors are unchanged.

TheoremConformality Criterion

Let $f:\Omega\to\mathbb{C}$ be continuously (real-)differentiable. Then $f$ is conformal at $z_0$ if and only if $f$ is complex-differentiable (holomorphic) at $z_0$ with $f'(z_0)\neq 0$ . Equivalently, writing $f=u+iv$ with $z=x+iy$ , the Cauchy–Riemann equations hold:

3

\quad \frac{\partial u}{\partial x}=\frac{\partial v}{\partial y}, \qquad \frac{\partial u}{\partial y}=-\frac{\partial v}{\partial x},

Derivation hint: Require the real Jacobian to act as a scaled rotation matrix $r\begin{pmatrix}\cos\theta & -\sin\theta\\ \sin\theta & \cos\theta\end{pmatrix}$ ; matching entries gives exactly these two equations. together with the non-degeneracy condition

4

\quad |f'(z_0)|^2 = \left(\frac{\partial u}{\partial x}\right)^2+\left(\frac{\partial v}{\partial x}\right)^2 = \det J_f(z_0) \neq 0,

Derivation hint: The Jacobian determinant of a holomorphic map equals $|f'|^2$ after substituting the Cauchy–Riemann relations; non-vanishing rules out local collapse.

ProofHolomorphy with

f'\neq 0

implies angle preservation

Step 1. Let $\gamma(t)$ be a smooth curve with $\gamma(0)=z_0$ and tangent $\gamma'(0)=v\neq 0$ . The image curve is $f(\gamma(t))$ , with tangent obtained by the chain rule:

5

\quad \frac{d}{dt}\,f(\gamma(t))\Big|_{t=0} = f'(z_0)\,\gamma'(0) = f'(z_0)\,v.

Derivation hint: Holomorphy gives the ordinary chain rule; differentiate the composite at $t=0$ .

Step 2. Take two curves $\gamma_1,\gamma_2$ through $z_0$ with tangents $v_1,v_2$ . The angle between the original tangents is $\arg(v_2)-\arg(v_1)$ . After mapping, the tangents are $f'(z_0)v_1$ and $f'(z_0)v_2$ , so the new angle is

6

\quad \arg\!\big(f'(z_0)v_2\big)-\arg\!\big(f'(z_0)v_1\big) = \big(\arg f'(z_0)+\arg v_2\big)-\big(\arg f'(z_0)+\arg v_1\big).

Derivation hint: Use $\arg(ab)=\arg a+\arg b$ ; the common term $\arg f'(z_0)$ cancels.

Step 3. The $\arg f'(z_0)$ terms cancel, leaving $\arg v_2-\arg v_1$ — the same angle, with the same sign. The condition $f'(z_0)\neq 0$ ensures the image tangents are nonzero, so the angle is well defined.

Step 4 (converse). If $f$ is real-differentiable and angle-preserving (with orientation), its Jacobian matrix must be a positive scalar times a rotation. Such matrices are exactly those satisfying the Cauchy–Riemann equations [3], which is the statement that $f$ is complex-differentiable. $\blacksquare$

∎

⚠️ Orientation matters

The complex conjugate map $f(z)=\bar z$ preserves the magnitude of angles but reverses their orientation (it is a reflection). Such maps are called anticonformal or indirectly conformal, and they are not holomorphic — they satisfy the anti-Cauchy–Riemann equations. "Conformal" in the strict complex-analytic sense always means orientation-preserving.

mathematician · Bernhard Riemann | 1826–1866

Riemann transformed the subject in his 1851 doctoral dissertation by stating what is now the Riemann Mapping Theorem and grounding complex function theory in geometry and the Cauchy–Riemann equations. His insight that holomorphic functions are conformal maps unified analysis with geometry. Though his original proof relied on the (then unrigorous) Dirichlet principle — later repaired by Hilbert — his vision of Riemann surfaces and conformal structure shaped the entire 20th-century development of complex analysis, topology, and even general relativity.

🧠 Intuition

Picture an infinitesimally small grid of perpendicular lines stamped near $z_0$ . A conformal map may rotate this little grid, enlarge or shrink it, and move it — but it can never shear it. The squares stay squares (just smaller, larger, or turned). What is sacrificed is rigidity at finite scale: large squares may bend into curved quadrilaterals, but every right angle remains a right angle. The "magnifying factor" $|f'(z)|$ varies from point to point, so the map stretches the plane unevenly while keeping local shapes faithful — like a perfect-but-zoom-varying lens.

Figure

A conformal map rotates and scales an infinitesimal cross without shearing it

ExampleMöbius map of upper half-plane to unit disk

Given: The Cayley transform $f(z)=\dfrac{z-i}{z+i}$ . Show it maps the upper half-plane $\{\operatorname{Im} z>0\}$ conformally onto the unit disk, and find where $z=2i$ goes.

Step 1 — Conformality. $f$ is holomorphic except at $z=-i$ (in the lower half-plane). Its derivative is

7

\quad f'(z)=\frac{(z+i)-(z-i)}{(z+i)^2}=\frac{2i}{(z+i)^2}\neq 0,

Derivation hint: Quotient rule on $(z-i)/(z+i)$ ; numerator simplifies to the constant $2i$ . so $f$ is conformal on the whole upper half-plane.

Step 2 — Boundary check. For real $z=x$ , $|x-i|=|x+i|=\sqrt{x^2+1}$ , so $|f(x)|=1$ : the real axis maps to the unit circle.

Step 3 — Interior check. At $z=i$ (inside), $f(i)=\frac{i-i}{i+i}=0$ , the disk's center. So the upper half-plane goes to the disk's interior.

Step 4 — Evaluate at $z=2i$ .

8

\quad f(2i)=\frac{2i-i}{2i+i}=\frac{i}{3i}=\frac{1}{3}.

Derivation hint: Substitute $z=2i$ directly; the $i$ 's cancel.

Answer: $f$ is a conformal bijection of the half-plane onto the disk, and $\boxed{f(2i)=\tfrac{1}{3}}$ (a point on the positive real radius, distance $\tfrac13$ from the center, dimensionless).

ExampleLocal scaling and rotation of the squaring map

Given: $f(z)=z^2$ . Find the local rotation angle and magnification at $z_0=1+i$ , and the image angle of two curves crossing there at $60°$ .

Step 1 — Derivative. $f'(z)=2z$ , so

9

\quad f'(1+i)=2(1+i)=2+2i.

Derivation hint: Differentiate $z^2$ and substitute $z_0=1+i$ .

Step 2 — Magnification. $|f'(z_0)|=|2+2i|=\sqrt{4+4}=2\sqrt2\approx 2.828$ .

Step 3 — Rotation. $\arg(2+2i)=\arctan(1)=45°=\pi/4$ .

Step 4 — Angle between curves. Conformality means the $60°$ crossing angle is preserved exactly: the image curves still meet at $60°$ .

Answer: Near $z_0=1+i$ the map locally rotates by $\boxed{45^\circ}$ and magnifies lengths by $\boxed{2\sqrt2}$ ; the crossing angle remains $\boxed{60^\circ}$ . (Note: at $z=0$ , $f'(0)=0$ , the map is not conformal — it doubles angles there.)

CounterexampleWhere conformality fails

The map $f(z)=z^2$ at the origin has $f'(0)=0$ . A ray at angle $\theta$ from the origin maps to a ray at angle $2\theta$ , so two rays separated by angle $\alpha$ become separated by $2\alpha$ — angles are doubled, not preserved. Points where $f'=0$ are called critical points, and conformality always breaks down there.

⚠️ Holomorphic ≠ globally injective

A function can be holomorphic with non-vanishing derivative everywhere yet fail to be injective globally. Example: $f(z)=e^z$ has $f'(z)=e^z\neq 0$ for all $z$ , so it is locally conformal everywhere, but $e^{z}=e^{z+2\pi i}$ means it is not one-to-one on all of $\mathbb{C}$ . "Conformal mapping" in the global sense requires injectivity on the domain in question.

connection

Conformal maps are the geometric face of Holomorphic Functions: holomorphy with $f'\neq 0$ is conformality. They rely on the Cauchy–Riemann Equations as their analytic certificate. The fact that real and imaginary parts of holomorphic functions are harmonic ties them to Harmonic Functions and Laplace's Equation, explaining their power in physics. The most important explicit family, the Möbius Transformations, are exactly the conformal automorphisms of the Riemann Sphere. At the deepest level, conformal structures define Riemann Surfaces, and the existence theory culminates in the Riemann Mapping Theorem.

🔬 Where this appears

⏳ History

- 1569 — Gerardus Mercator publishes his angle-preserving world map, the first widely used conformal projection, centuries before the theory existed.

- 1777 — Leonhard Euler studies area- and angle-preserving map projections, formulating early conditions equivalent to conformality.

- 1822 — Carl Friedrich Gauss solves (in a prize essay) the general problem of conformally mapping one surface onto another, introducing the notion of conformal equivalence of surfaces.

- 1825 — Cauchy develops the integral theory of complex functions, providing the analytic backbone (Cauchy–Riemann conditions) for conformality.

- 1851 — Bernhard Riemann states the Riemann Mapping Theorem in his dissertation, asserting that every simply connected proper plane domain maps conformally to the disk.

- 1869–1870 — Hermann Schwarz and Carl Neumann supply rigorous existence proofs, and Schwarz introduces the Schwarz–Christoffel formula for mapping onto polygons.

- 1907 — Paul Koebe and Henri Poincaré independently prove the Uniformization Theorem, the grand generalization of Riemann mapping to surfaces.

- 1912 — Constantin Carathéodory clarifies boundary behavior of conformal maps (the Carathéodory extension theorem).

- 1928 — Herbert Grötzsch initiates the theory of quasiconformal maps, controlled relaxations of conformality central to modern geometric function theory.

open-problem

While the Riemann Mapping Theorem guarantees a conformal map exists between any two simply connected proper plane domains, computing it explicitly is hard: closed forms exist only for special domains (disks, half-planes, polygons via Schwarz–Christoffel). Numerical conformal mapping of general domains, especially those with corners, slits, or near-degenerate "crowding" geometry, remains an active computational challenge. In higher dimensions the situation is starkly different: Liouville's theorem shows that in $\mathbb{R}^n$ for $n\geq 3$ the only conformal maps are Möbius transformations (compositions of inversions, similarities, and reflections) — the rich flexibility of the plane evaporates. Generalizing useful map-like flexibility to 3D motivated the entire theory of quasiconformal and quasiregular mappings, where bounded distortion replaces exact angle preservation.

Formal Statement

Why It Holds / Derivation

Building Intuition

Worked Examples

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also