Mathematics · Glossary

What is conformal map?

Definition 18.1 University Mathematics — Year 3 · Chapter 18 — Conformal Maps and the Riemann Mapping Theorem

A conformal map (or biholomorphism) between open sets is a holomorphic bijection; its inverse is automatically holomorphic (Corollary 17.10). Two domains are conformally equivalent if such a map exists; Aut(Ω)\operatorname{Aut}(\Omega) denotes the group of conformal self-maps. Where f0f' \neq 0 — everywhere, for injective ff (Corollary 17.10’s proof) — the differential is multiplication by f(z)0f'(z) \neq 0: a similarity, so conformal maps preserve angles between curves, including orientation.

Examples

Example 18.2 (Möbius transformations)

For (abcd)GL2(C)\bigl(\begin{smallmatrix}a & b\\ c & d\end{smallmatrix}\bigr) \in GL_2(\C), the Möbius transformation zaz+bcz+dz \mapsto \frac{az + b}{cz + d} is conformal from C{d/c}\C\setminus\{-d/c\} onto C{a/c}\C\setminus\{a/c\} (inverse of the same type, from the inverse matrix; composition corresponds to matrix product). The Cayley map

φ(z)=ziz+i\varphi(z) = \frac{z - \iu}{z + \iu}

maps H\mathbb H conformally onto D\mathbb D: indeed zi<z+i\abs{z - \iu} < \abs{z + \iu} exactly when zz is closer to i\iu than to i-\iu, i.e. Imz>0\operatorname{Im}z > 0; the inverse is wi1+w1ww \mapsto \iu\frac{1 + w}{1 - w}. Möbius maps send the family circles-and-lines to itself (Exercise 18.1).

Example 18.3 (The Joukowski map)

Beyond Möbius, the most useful conformal map of classical applied mathematics is

J(z)=12(z+1z).J(z) = \frac12\Bigl(z + \frac1z\Bigr) .

On the exterior Ω={z>1}\Omega = \{\abs z > 1\} of the unit disc, JJ is injective: J(z)=J(w)J(z) = J(w) gives (zw)(11zw)=0(z - w)(1 - \frac1{zw}) = 0 and zw>1\abs{zw} > 1. Its derivative J(z)=12(1z2)J'(z) = \frac12(1 - z^{-2}) vanishes only at z=±1z = \pm1, on the boundary: JJ is a conformal equivalence from Ω\Omega onto its image, which is C[1,1]\C\setminus\intcc{-1}1 — the unit circle itself is folded two-to-one onto the segment (J(eiθ)=cosθJ(\eu^{\iu\theta}) = \cos\theta). Thus the exterior of a segment, a slit plane with no smooth boundary, is conformally the exterior of a disc: corners are no obstacle to conformal equivalence, only to boundary smoothness. Images of circles through ±1\pm1 but off-center are airfoil-shaped curves, and composing JJ with Möbius maps transported the flow past a cylinder — computable by hand — to the flow past a wing: for the first half of the twentieth century, this example was aerodynamics. It is also the door to Chebyshev: JJ conjugates zznz \mapsto z^n to the Chebyshev polynomial TnT_n (Problem 13.1, Part V), since J(zn)=cos(nθ)J(z^n) = \cos(n\theta) when z=eiθz = \eu^{\iu\theta}.

Read in context →