Foundations of Conformal Maps

Conformal Maps: Theory and Applications Introduction Conformal maps are functions that preserve angles at every point in their domain. They form one of the most elegant and useful classes of functions in complex analysis, with applications ranging from fluid dynamics to cartography. The key insight is that while conformal maps distort distances and sizes, they maintain the geometric shapes of infinitesimally small figures—a property with profound implications for both pure and applied mathematics. What is a Conformal Map? Definition: A conformal map is a function that locally preserves angles between curves. To understand this precisely, imagine two smooth curves intersecting at a point. The angle between them (measured at the intersection) is well-defined. When a function is conformal at that point, any two curves passing through it will have the same angle between them after being mapped by the function as they did before. The image above illustrates this beautifully. A regular square grid (top) is mapped to a transformed grid (bottom). Notice that while the squares are stretched and distorted, the angles at which grid lines intersect remain right angles. This is the essence of conformality. What conformal maps preserve and don't preserve: ✓ Angles between curves are preserved ✓ Shapes of infinitesimally small figures are preserved (they remain recognizable, just scaled) ✗ Distances are not necessarily preserved ✗ Sizes are not necessarily preserved ✗ Curvature is not necessarily preserved This distinction is crucial: conformal maps are not isometries (distance-preserving maps). Instead, they allow for scaling that can vary from point to point, as long as this scaling is the same in all directions at each individual point. The Jacobian Characterization To make the definition precise in multidimensional settings, we use the Jacobian matrix. For a differentiable function $f: \mathbb{R}^2 \to \mathbb{R}^2$ at a point $p$, the Jacobian $Jf(p)$ is a $2 \times 2$ matrix whose entries are the partial derivatives of $f$. Conformal Condition (Jacobian Form): A function $f$ is conformal at a point $p$ if its Jacobian matrix can be written as: $$Jf(p) = \lambda R$$ where $\lambda > 0$ is a positive scalar and $R$ is a rotation matrix with determinant 1. A rotation matrix has the form: $$R = \begin{pmatrix} \cos\theta & -\sin\theta \\ \sin\theta & \cos\theta \end{pmatrix}$$ Why this works: The scalar $\lambda$ represents uniform scaling (stretching or shrinking equally in all directions), while the rotation matrix $R$ rotates the infinitesimal neighborhood without changing angles. Together, these operations preserve angles—any angle gets scaled by the same factor $\lambda$ in both the horizontal and vertical directions, so relative angles are unchanged. Important caveat about orientation: Some authors include maps whose Jacobians are negative scalars times orthogonal matrices. These maps reverse orientation (they flip the figure, like a mirror image) while still preserving angles. Whether such maps are called "conformal" depends on the definition used in your course. Conformal Maps in the Complex Plane The theory of conformal maps becomes remarkably clean when we work with complex functions. This is because complex multiplication geometrically represents rotation and scaling simultaneously. Holomorphic Functions and Conformality Theorem: A function $f: U \to \mathbb{C}$ defined on an open subset $U$ of the complex plane is conformal if and only if $f$ is holomorphic and $f'(z) \neq 0$ everywhere on $U$. This is one of the most important theorems in complex analysis. It tells us that being conformal in the complex plane is essentially equivalent to being a "nice" analytic function with a non-zero derivative. Why does this work? When you write a complex function $f(x+iy) = u(x,y) + iv(x,y)$ in terms of its real and imaginary parts, the holomorphic condition (Cauchy-Riemann equations) automatically ensures that the Jacobian has the form we need: a positive scalar times a rotation matrix. The non-zero derivative condition: The requirement that $f'(z) \neq 0$ ensures that the scaling factor $\lambda$ is strictly positive. At points where $f'(z) = 0$, angles are not preserved—these are called critical points. Biholomorphic Maps Definition: A function $f$ is conformal in the stricter sense—called biholomorphic—when it is: One-to-one (injective) Holomorphic on an open set $U$ The term "biholomorphic" emphasizes both the conformality and the invertibility. This is important because it guarantees that we have a reversible map. The Inverse Function Theorem for Holomorphic Maps: If $f$ is holomorphic and $f'(z) \neq 0$ at a point $z0$, then in a neighborhood of $z0$, an inverse function $f^{-1}$ exists and is also holomorphic. This means conformal maps between complex domains are "structurally invertible"—you can always go backwards, and the backwards map is equally nice. The Riemann Mapping Theorem One of the crown jewels of complex analysis is the following result: Riemann Mapping Theorem: Let $D$ be a non-empty open, simply connected, proper subset of the complex plane. Then there exists a biholomorphic (conformal and bijective) map from $D$ onto the open unit disk $\{z \in \mathbb{C} : |z| < 1\}$. What does this mean? In informal terms: Simply connected means the domain has no "holes"—you can continuously shrink any closed loop to a point within the domain Proper subset means $D \neq \mathbb{C}$ (the domain is not the entire complex plane) The theorem says such regions can always be conformally mapped to a disk This theorem is remarkable because it's extremely general—it applies to almost any reasonably nice region you can draw. The region could have a complicated, wiggly boundary, but there still exists a conformal map to a disk. Practical importance: This theorem underlies many applications. For example, in fluid dynamics, you can map a complicated domain (like around an airplane wing) to a simpler one (like a circle), solve the problem there, and then map the solution back. The conformality ensures that angles are preserved, so the physics remains valid. Global Conformal Maps on the Riemann Sphere When we expand our view from the complex plane to the Riemann sphere (the complex plane plus a point at infinity), the situation becomes more rigid. Möbius Transformations Theorem: A map of the Riemann sphere onto itself is conformal and globally defined if and only if it is a Möbius transformation. A Möbius transformation has the form: $$f(z) = \frac{az + b}{cz + d}$$ where $a, b, c, d$ are complex numbers with $ad - bc \neq 0$. Key properties: These are the only conformal maps that work on the entire Riemann sphere They are compositions of simpler transformations (translations, rotations, and inversions) They map circles (including lines, which are circles through infinity) to circles This is a powerful rigidity result: there are far fewer globally conformal maps than locally conformal maps. While locally conformal maps are abundant (any holomorphic function with non-zero derivative), globally on the sphere only Möbius transformations work. <extrainfo> Circle Inversions and Orientation A specific example of a global conformal map on the sphere is a circle inversion: the map $f(z) = 1/\bar{z}$ or similar forms. These are orientation-reversing conformal maps (they flip orientation like a mirror) but still preserve angles. Such maps are antiholomorphic—they are complex conjugates of holomorphic functions—and demonstrate that the definition of "conformal" can include orientation-reversing maps, depending on context. </extrainfo> Why Möbius Transformations? The Riemann sphere is fundamentally different from the complex plane because it has no "special points" or boundary—it's compact and homogeneous. This rigidity forces global conformal maps to have a very specific form. The Möbius transformations are the unique conformal automorphisms of the Riemann sphere.