Conformal Mapping

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).

A conformal map is a function $f : U \to C$ (with $U \subseteq C$ open) that preserves the angle and orientation between any two smooth curves meeting at a point. Equivalently, near each point it behaves like a rotation combined with a uniform scaling — a complex multiplication. This matters because Laplace's equation $\nabla^{2} ϕ = 0$ is invariant under conformal change of coordinates, so hard physical problems on complicated domains transform into easy problems on disks or half-planes. The surprising fact: by the Riemann Mapping Theorem, any simply connected open subset of the plane that isn't all of $C$ can be conformally mapped onto the unit disk — no matter how jagged its boundary.

The Core Insight

Holomorphicity is a geometric condition disguised as an analytic one. The complex derivative $f^{'} (z_{0}) = r e^{i θ}$ encodes a local rotation by $θ$ 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.

Formal Statement

Conformal Map

Let $U \subseteq C$ be open. A map $f : U \to 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:

f conformal at z_{0} ⟺ f holomorphic at z_{0} and f^{'} (z_{0}) \neq = 0.

⟳write

f

near

z_{0}

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 + i y$ , $f = u + i v$ , and holomorphicity means $f$ satisfies the Cauchy–Riemann equations:

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

⟳require the limit

f^{'} (z_{0}) = lim_{h \to 0} \frac{f ( z _{0} + h ) - f ( z _{0} )}{h}

to be independent of the direction of

h \in C

The complex derivative is

f^{'} (z_{0}) = \frac{\partial u}{\partial x} + i \frac{\partial v}{\partial x} = h \to 0 lim \frac{f ( z _{0} + h ) - f ( z _{0} )}{h},

⟳take

h

real in the difference quotient and use

f = u + i v

and the local scaling/rotation it produces is described by its modulus and argument:

f (z) - f (z_{0}) \approx ∣ f^{'} (z_{0}) ∣ e^{i a r g f^{'} (z_{0})} (z - z_{0}) .

⟳Taylor expand to first order and write

f^{'} (z_{0})

in polar form

r e^{i θ}

Riemann Mapping Theorem

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

f : U ≅ D, D = {z \in C : ∣ z ∣ < 1} .

⟳among all injective holomorphic

g : U \to 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$ .

The Riemann Mapping Theorem requires the domain to be proper ( $U \neq = C$ ). The whole plane $C$ is not conformally equivalent to the disk: any holomorphic $f : C \to 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.

Why It Holds

Conformality ⟺ Holomorphic with nonzero derivative

Step 1 — Tangent vectors transform by multiplication. Let

γ_{1}, γ_{2}

be smooth curves with

γ_{k} (0) = z_{0}

and velocities

γ_{k}^{'} (0) = v_{k} \in C ∖ {0}

. The angle between them is

ar g (v_{2} / v_{1})

. Step 2 — Apply the chain rule. If

f

is holomorphic at

z_{0}

, then

(f \circ γ_{k})^{'} (0) = f^{'} (z_{0}) γ_{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

ar g (\frac{f ^{'} ( z _{0} ) v _{2}}{f ^{'} ( z _{0} ) v _{1}}) = ar g (\frac{v _{2}}{v _{1}}) .

⟳the common factor

f^{'} (z_{0})

cancels in the ratio;

ar g

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

f (z) - f (z_{0}) \approx a_{m} (z - z_{0})^{m},

⟳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 : R^{2} \to 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].

■

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.

Building 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.

A conformal map sends an orthogonal grid to an orthogonal curvilinear grid; right angles are preserved. Shown: $w=z^2$ on the first quadrant.

Worked Examples

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

Given: Map the upper half-plane

H = {z : Im z > 0}

conformally onto the unit disk

D

, sending

z = i

w = 0

. Step 1. Use the standard Cayley transform:

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

⟳a Möbius map

\frac{z - a}{z - a ˉ}

sends the real axis to a circle and the point

a

H

0

Step 2 — Check the base point.

f (i) = \frac{i - i}{i + i} = \frac{0}{2 i} = 0.

✓ Step 3 — Check the boundary. For real

x

∣ f (x) ∣ = \frac{∣ x - i ∣}{∣ x + i ∣} = \frac{x ^{2} + 1}{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

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

⟳quotient rule on

\frac{z - i}{z + i}

so it is conformal everywhere except the pole $z = - i$ (which lies outside $H$ ).

Answer:

w = \frac{z - i}{z + i} maps H \to D, i \mapsto 0 (dimensionless).

Electrostatic 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

ϕ

inside, with

ϕ = 0

on both plates. Step 1 — Map to a half-plane. The map

w = z^{2}

takes the first quadrant (

0 < ar g z < π /2

) onto the upper half-plane (

0 < ar g w < π

). Write

w = U + iV

. Step 2 — Solve the easy problem. In the half-plane, the potential vanishing on the real axis

V = 0

Φ (U, V) = c V, c = const,

⟳

Φ = c V

is harmonic and equals

0

V = 0

; the simplest such solution.

Step 3 — Pull back. Since

w = z^{2} = (x + i y)^{2} = (x^{2} - y^{2}) + i (2 x y)

, we have

V = Im (z^{2}) = 2 x y

. Therefore

ϕ (x, y) = c \cdot 2 x y = 2 c x y .

⟳conformal invariance of Laplace's equation means

ϕ (z) = Φ (f (z))

stays harmonic.

Step 4 — Verify.

\nabla^{2} (2 c x y) = 0

✓, and

ϕ = 0

x = 0

and on

y = 0

✓. Answer (with units): If the far-field strength fixes

c

in volts per square metre,

ϕ (x, y) = 2 c x y [V], [c] = V/m^{2} .

The field lines are the orthogonal family

x^{2} - y^{2} = const

Common Misconceptions

"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. "Any angle-preserving map is holomorphic." Maps that preserve angle magnitude but reverse orientation (like complex conjugation

z \mapsto \overset{z}{ˉ}

) are anti-conformal, not conformal, and are anti-holomorphic. True conformality requires orientation preservation.

The map $f (z) = \overset{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 $\overset{z}{ˉ}$ is not conformal — confirming that orientation, not just angle magnitude, is part of the definition.

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

Connections

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.

Real-World Applications

Electrostatics / Potential theory. Mapping electrode geometries (corners, edges, capacitor fringes) onto half-planes to solve for potential and field, as in Example 2.
2D fluid dynamics. The Joukowski transform $w = z + 1/ z$ maps a circle to an airfoil shape, letting aerodynamicists compute lift around wing cross-sections from the simple flow past a cylinder.
Heat conduction. Steady temperature distributions (harmonic) on irregular plates are found by conformally mapping to a disk or strip.
Cartography. The Mercator projection is conformal: it preserves angles so compass bearings appear as straight lines, crucial for marine navigation (at the cost of badly distorting polar areas).
Electrical impedance / waveguides. Schwarz–Christoffel mappings transform polygonal microwave and transmission-line cross-sections to half-planes for capacitance and impedance computation.
Medical and brain imaging. Conformal mapping of cortical surfaces to spheres or disks enables flat visualization and registration of MRI data.
Computer graphics / texture mapping. Conformal parameterizations flatten 3D meshes to the plane with minimal angular distortion for applying textures.

Historical Development

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.

Subtleties & Limits

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 $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.