Conformal Mapping

⚡ Key Takeaways

Conformal mapping is a transformation of the plane that locally preserves angles (and orientation). The central fact: a function $f$ of a complex variable is conformal at a point exactly when it is holomorphic there with nonzero derivative. Used to solve boundary-value problems in physics, fluid dynamics, electrostatics, and heat flow by mapping awkward regions to simple ones. Studied since Gauss (1820s) and crowned by the Riemann Mapping Theorem (1851).

💡 The Core Insight

Holomorphicity is a geometric condition disguised as an analytic one. The complex derivative $f'(z_0)=re^{i\theta}$ encodes a local rotation by $\theta$ and a stretch by $r$ , applied identically in every direction. Because the same rotation acts on all tangent vectors at $z_0$ , angles between curves are preserved. The failure of conformality occurs precisely where $f'(z_0)=0$ , since there the linear part collapses and the map multiplies angles instead.

DefinitionConformal Map

Let $U\subseteq\mathbb{C}$ be open. A map $f:U\to\mathbb{C}$ is conformal at $z_0\in U$ if it is differentiable there (in the complex sense) and preserves both the magnitude and sign (orientation) of angles between any pair of smooth curves through $z_0$ . The map is conformal on $U$ if it is conformal at every point of $U$ . The decisive characterization is:

1

\quad f \text{ conformal at } z_0 \iff f \text{ holomorphic at } z_0 \text{ and } f'(z_0)\neq 0.

Derivation hint: write $f$ near $z_0$ as $f(z)=f(z_0)+f'(z_0)(z-z_0)+o(|z-z_0|)$ ; the leading linear term is multiplication by $f'(z_0)$ . Here $z=x+iy$ , $f=u+iv$ , and holomorphicity means $f$ satisfies the Cauchy–Riemann equations:

2

\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 limit $f'(z_0)=\lim_{h\to0}\frac{f(z_0+h)-f(z_0)}{h}$ to be independent of the direction of $h\in\mathbb{C}$ . The complex derivative is

3

\quad f'(z_0)=\frac{\partial u}{\partial x}+i\frac{\partial v}{\partial x}=\lim_{h\to 0}\frac{f(z_0+h)-f(z_0)}{h},

Derivation hint: take $h$ real in the difference quotient and use $f=u+iv$ . and the local scaling/rotation it produces is described by its modulus and argument:

4

\quad f(z)-f(z_0)\approx |f'(z_0)|\,e^{i\arg f'(z_0)}\,(z-z_0).

Derivation hint: Taylor expand to first order and write $f'(z_0)$ in polar form $r e^{i\theta}$ .

TheoremRiemann Mapping Theorem

Let $U\subsetneq\mathbb{C}$ be a nonempty, open, simply connected subset of the plane (proper, i.e. $U\neq\mathbb{C}$ ). Then there exists a bijective conformal map (a biholomorphism)

5

\quad f:U\xrightarrow{\ \cong\ }\mathbb{D},\qquad \mathbb{D}=\{z\in\mathbb{C}:|z|<1\}.

Derivation hint: among all injective holomorphic $g:U\to\mathbb{D}$ with $g(z_0)=0$ , maximize $|g'(z_0)|$ (a normal-families / Montel argument); the maximizer is onto. Moreover the map becomes unique once we impose normalization $f(z_0)=0$ and $f'(z_0)>0$ for a chosen base point $z_0\in U$ .

⚠️ Common mistake

The Riemann Mapping Theorem requires the domain to be proper ( $U\neq\mathbb{C}$ ). The whole plane $\mathbb{C}$ is not conformally equivalent to the disk: any holomorphic $f:\mathbb{C}\to\mathbb{D}$ is bounded and entire, hence constant by Liouville's theorem. Simple connectivity is also essential — an annulus cannot be conformally mapped to the disk.

ProofConformality ⟺ Holomorphic with nonzero derivative

Step 1 — Tangent vectors transform by multiplication. Let $\gamma_1,\gamma_2$ be smooth curves with $\gamma_k(0)=z_0$ and velocities $\gamma_k'(0)=v_k\in\mathbb{C}\setminus\{0\}$ . The angle between them is $\arg(v_2/v_1)$ .

Step 2 — Apply the chain rule. If $f$ is holomorphic at $z_0$ , then $(f\circ\gamma_k)'(0)=f'(z_0)\,\gamma_k'(0)=f'(z_0)\,v_k$ . The images have velocities $f'(z_0)v_1$ and $f'(z_0)v_2$ .

Step 3 — Compute the new angle. Provided $f'(z_0)\neq 0$ ,

6

\quad \arg\!\Big(\frac{f'(z_0)v_2}{f'(z_0)v_1}\Big)=\arg\!\Big(\frac{v_2}{v_1}\Big).

Derivation hint: the common factor $f'(z_0)$ cancels in the ratio; $\arg$ of a ratio is the difference of args. The angle is unchanged in both magnitude and sign. Conformality follows.

Step 4 — Necessity of $f'(z_0)\neq 0$ . If $f'(z_0)=0$ but $f$ is nonconstant, the lowest-order nonzero term is $a_m(z-z_0)^m$ with $m\geq 2$ , so

7

\quad f(z)-f(z_0)\approx a_m (z-z_0)^m,

Derivation hint: take the Taylor series and isolate the first nonvanishing coefficient $a_m$ . which multiplies arguments by $m$ : angles are scaled up by the factor $m$ , destroying conformality.

Step 5 — Necessity of holomorphicity. A general real-differentiable map has Jacobian acting as a linear map $L:\mathbb{R}^2\to\mathbb{R}^2$ . Such an $L$ preserves angles and orientation iff it is a positive scalar times a rotation — i.e. complex multiplication — which is exactly the Cauchy–Riemann condition [2]. $\blacksquare$

∎

BR

Bernhard Riemann

1826–1866

Riemann's 1851 doctoral dissertation introduced the geometric viewpoint that holomorphic functions are conformal maps and stated the mapping theorem now bearing his name. His original "proof" relied on the Dirichlet principle — minimizing an energy integral — which Weierstrass later showed was not rigorously justified. The gap stood until Hilbert (1900s) repaired the Dirichlet principle and Koebe/Carathéodory gave modern proofs. Riemann's deeper legacy, Riemann surfaces, recasts multivalued functions as conformal geometry on curved sheets.

🧠 Intuition

Picture a tiny circle of dust around $z_0$ . A conformal map sends it to another tiny circle (not an ellipse), possibly rotated and resized — because $f'(z_0)$ acts as the same multiplier in every direction. This is why "infinitesimally similar" is the right slogan: small shapes keep their proportions, even though large shapes warp dramatically. Contrast a generic smooth (non-holomorphic) map, whose Jacobian stretches differently along different axes, turning small circles into ellipses and skewing angles. The signature of conformality is that the local picture has no shear and no reflection — only spin and zoom.

Figure

A conformal map sends an orthogonal grid to an orthogonal curvilinear grid; right angles are preserved. Shown:

w=z^2

on the first quadrant.

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

Given: Map the upper half-plane $\mathbb{H}=\{z:\operatorname{Im}z>0\}$ conformally onto the unit disk $\mathbb{D}$ , sending $z=i$ to $w=0$ .

Step 1. Use the standard Cayley transform:

8

\quad w=f(z)=\frac{z-i}{z+i}.

Derivation hint: a Möbius map $\frac{z-a}{z-\bar a}$ sends the real axis to a circle and the point $a$ in $\mathbb{H}$ to $0$ .

Step 2 — Check the base point. $f(i)=\dfrac{i-i}{i+i}=\dfrac{0}{2i}=0.$ ✓

Step 3 — Check the boundary. For real $x$ , $|f(x)|=\dfrac{|x-i|}{|x+i|}=\dfrac{\sqrt{x^2+1}}{\sqrt{x^2+1}}=1$ , so the real axis maps to $|w|=1$ . ✓

Step 4 — Check it's conformal. $f$ is a Möbius transformation, holomorphic with

9

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

Derivation hint: quotient rule on $\frac{z-i}{z+i}$ . so it is conformal everywhere except the pole $z=-i$ (which lies outside $\mathbb{H}$ ).

Answer:

\boxed{\,w=\dfrac{z-i}{z+i}\,}\quad\text{maps }\mathbb{H}\to\mathbb{D},\ i\mapsto 0\ \text{(dimensionless).}

ExampleElectrostatic potential between corner plates via

w=z^2

Given: Two grounded conducting plates meet at a right angle along the positive $x$ - and $y$ -axes (first quadrant). We want the potential $\phi$ inside, with $\phi=0$ on both plates.

Step 1 — Map to a half-plane. The map $w=z^2$ takes the first quadrant ( $0<\arg z<\pi/2$ ) onto the upper half-plane ( $0<\arg w<\pi$ ). Write $w=U+iV$ .

Step 2 — Solve the easy problem. In the half-plane, the potential vanishing on the real axis $V=0$ is

10

\quad \Phi(U,V)=cV,\qquad c=\text{const},

Derivation hint: $\Phi=cV$ is harmonic and equals $0$ on $V=0$ ; the simplest such solution.

Step 3 — Pull back. Since $w=z^2=(x+iy)^2=(x^2-y^2)+i(2xy)$ , we have $V=\operatorname{Im}(z^2)=2xy$ . Therefore

11

\quad \phi(x,y)=c\cdot 2xy = 2c\,xy.

Derivation hint: conformal invariance of Laplace's equation means $\phi(z)=\Phi(f(z))$ stays harmonic.

Step 4 — Verify. $\nabla^2(2cxy)=0$ ✓, and $\phi=0$ on $x=0$ and on $y=0$ ✓.

Answer (with units): If the far-field strength fixes $c$ in volts per square metre,

\boxed{\,\phi(x,y)=2c\,xy\ \text{[V]},\quad [c]=\text{V/m}^2\,}.

The field lines are the orthogonal family $x^2-y^2=\text{const}$ .

⚠️ Common mistake

"Conformal means it preserves shapes and sizes." No — only angles (and orientation) are preserved, and only infinitesimally. Areas, lengths, and global shapes are distorted; the local scaling factor $|f'(z)|^2$ for areas typically varies from point to point. A conformal map is a local similarity, not a global isometry.

⚠️ Common mistake

"Any angle-preserving map is holomorphic." Maps that preserve angle magnitude but reverse orientation (like complex conjugation $z\mapsto\bar z$ ) are anti-conformal, not conformal, and are anti-holomorphic. True conformality requires orientation preservation.

Counterexample

The map $f(z)=\bar z$ (reflection across the real axis) preserves the size of every angle but flips its sign: a positively-oriented angle becomes negatively-oriented. It satisfies $\partial u/\partial x = 1 \neq -1 = \partial v/\partial y$ , violating Cauchy–Riemann [2]. Hence $\bar z$ is not conformal — confirming that orientation, not just angle magnitude, is part of the definition.

Counterexample

The map $f(z)=z^2$ is conformal on $\mathbb{C}\setminus\{0\}$ but fails at the origin, where $f'(0)=0$ . Two rays leaving $0$ at angle $\alpha$ get mapped to rays at angle $2\alpha$ : the right angle between the positive axes opens to a straight angle $\pi$ . This is exactly the angle-doubling predicted by equation [7] with $m=2$ .

connection

Conformal maps sit at the meeting point of several theories. They are the bijective, orientation-preserving members of Holomorphic Functions, and their angle-preserving property is a direct consequence of the Cauchy-Riemann Equations. Because the real and imaginary parts of holomorphic functions are harmonic, conformal maps are the natural symmetries of Harmonic Functions and hence of Laplace's Equation. The simplest nontrivial conformal maps form the group of Möbius Transformations, which act on the Riemann Sphere. Globally, the classification of which domains can be mapped to which is governed by the Riemann Mapping Theorem and the theory of Riemann Surfaces. The local scaling factor links conformal geometry to the Jacobian Determinant.

🔬 Where this appears

⏳ History

- 1569 — Gerardus Mercator publishes his conformal map projection, the first widely used angle-preserving chart, though the term "conformal" was not yet coined.

- 1779 — Lagrange studies angle-preserving projections of surfaces of revolution, an early systematic treatment.

- 1822 — Carl Friedrich Gauss, in a prize essay, gives a general theory of conformal maps between surfaces and coins the modern framework; introduces conformality as a differential-geometric notion.

- 1851 — Bernhard Riemann's dissertation links holomorphic functions to conformal maps and states the Riemann Mapping Theorem, using the Dirichlet principle.

- 1870 — Karl Weierstrass exhibits a flaw in the Dirichlet principle, casting doubt on Riemann's proof.

- 1869–1890 — Hermann Schwarz and Elwin Christoffel develop the Schwarz–Christoffel formula for mapping polygons.

- 1900s — David Hilbert rehabilitates the Dirichlet principle, restoring rigor to Riemann's approach.

- 1907–1912 — Paul Koebe and Constantin Carathéodory give rigorous, constructive proofs of the Riemann Mapping Theorem; Carathéodory's boundary-correspondence theorem follows.

- 1928 — The Uniformization Theorem (Koebe, Poincaré) generalizes the mapping theorem to all simply connected Riemann surfaces, classifying them as disk, plane, or sphere.

open-problem

The Riemann Mapping Theorem is non-constructive: it guarantees the map exists but does not give a formula, and explicit conformal maps for general domains are notoriously hard to compute. The Schwarz–Christoffel approach handles polygons but the "accessory parameters" (the pre-vertices) must be found numerically by solving transcendental systems. Boundary behavior is delicate: Carathéodory's theorem guarantees a continuous extension to the boundary only when the boundary is a Jordan curve; for fractal or non-locally-connected boundaries the extension can fail badly. In higher dimensions the situation collapses entirely — Liouville's theorem on conformal maps states that for $n\geq 3$ , every conformal map of a domain in $\mathbb{R}^n$ is a Möbius transformation (composition of inversions, translations, rotations, dilations), so the rich flexibility of the planar case has no analogue. Modern numerical conformal mapping (e.g. the Zipper algorithm, Wegmann's method) remains an active applied research area.

Formal Statement

Why It Holds

Building Intuition

Worked Examples

Common Misconceptions

Connections

Real-World Applications

Historical Development

Subtleties & Limits

See Also