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; denotes the group of conformal self-maps. Where — everywhere, for injective (Corollary 17.10’s proof) — the differential is multiplication by : a similarity, so conformal maps preserve angles between curves, including orientation.
Examples
Example 18.2 (Möbius transformations)
For , the Möbius transformation is conformal from onto (inverse of the same type, from the inverse matrix; composition corresponds to matrix product). The Cayley map
maps conformally onto : indeed exactly when is closer to than to , i.e. ; the inverse is . 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
On the exterior of the unit disc, is injective: gives and . Its derivative vanishes only at , on the boundary: is a conformal equivalence from onto its image, which is — the unit circle itself is folded two-to-one onto the segment (). 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 but off-center are airfoil-shaped curves, and composing 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: conjugates to the Chebyshev polynomial (Problem 13.1, Part V), since when .