Iris
Function:
Conformal: except at z = 0
Hover to trace a point · Select a function below
Function
Grid Density Medium
Morph 100%

About this lab

A function f(z) of a complex variable is conformal at a point if it preserves angles there — two curves crossing at a given angle will, after being mapped by f, still cross at that same angle. Analytically, this means f must be holomorphic (complex-differentiable) with a nonzero derivative. At points where f'(z) = 0, the map is not conformal: angles get multiplied, and the local geometry collapses or folds. The squaring map z², for instance, doubles all angles at the origin, which is why a right-angle grid there becomes a half-angle fan. Everywhere else, it is perfectly conformal.

The Joukowski transform z + 1/z is perhaps the most famous conformal map in applied mathematics. Applied to circles passing near the point z = -1, it produces smooth airfoil shapes with a sharp trailing edge — precisely the cross-sections used in early aerodynamic theory. Because Laplace’s equation is invariant under conformal maps, the potential flow around a circle (which is easy to compute) transforms into the potential flow around an airfoil (which is what engineers need). This trick, discovered by Nikolai Joukowski in 1910, was foundational for the theory of lift and remains a cornerstone of fluid dynamics pedagogy.

The exponential map ez transforms vertical strips into angular sectors and horizontal lines into circles centered at the origin, revealing the deep connection between the additive structure of the complex plane and the multiplicative structure of the punctured plane. The logarithm inverts this: it unwraps circles into lines, which is why it has a branch cut — you cannot continuously unwrap a full circle without tearing somewhere. These branch cuts are not defects but features, encoding the topological nontriviality of the domain.

The Riemann mapping theorem guarantees that any simply connected region of the complex plane (other than the entire plane itself) can be conformally mapped to the unit disk. This is one of the most remarkable theorems in mathematics: no matter how wild the boundary, there exists a conformal map that transforms it into a perfect circle. The theorem is existential — it tells you the map exists but does not construct it — and finding explicit conformal maps for specific regions remains a rich area of both pure mathematics and computational practice. Conformal maps continue to find applications in computer graphics, string theory (where the worldsheet of a string is a Riemann surface), and even cartography, where every flat map of the globe requires choosing which conformal distortions to accept.