Conformal map

A map of the Riemann sphere onto itself is conformal if and only if it is a Möbius transformation.

The complex conjugate of a Möbius transformation preserves angles, but reverses the orientation. For example, circle inversions.

In Riemannian geometry, two Riemannian metrics ${\displaystyle g}$ and ${\displaystyle h}$ on a smooth manifold ${\displaystyle M}$ are called conformally equivalent if ${\displaystyle g=uh}$ for some positive function ${\displaystyle u}$ on ${\displaystyle M}$. The function ${\displaystyle u}$ is called the conformal factor.

A diffeomorphism between two Riemannian manifolds is called a conformal map if the pulled back metric is conformally equivalent to the original one. For example, stereographic projection of a sphere onto the plane augmented with a point at infinity is a conformal map.

One can also define a conformal structure on a smooth manifold, as a class of conformally equivalent Riemannian metrics.

A classical theorem of Joseph Liouville shows that there are much fewer conformal maps in higher dimensions than in two dimensions. Any conformal map on a portion of Euclidean space of dimension three or greater can be composed from three types of transformations: a homothety, an isometry, and a special conformal transformation.

In cartography, several named map projections, including the Mercator projection and the stereographic projection are conformal. These enjoy the property that the distortion of shapes can be made as small as desired by making the diameter of the mapped region small enough.

Conformal mappings are invaluable for solving problems in engineering and physics that can be expressed in terms of functions of a complex variable yet exhibit inconvenient geometries. By choosing an appropriate mapping, the analyst can transform the inconvenient geometry into a much more convenient one. For example, one may wish to calculate the electric field, ${\displaystyle E(z)}$, arising from a point charge located near the corner of two conducting planes separated by a certain angle (where ${\displaystyle z}$ is the complex coordinate of a point in 2-space). This problem per se is quite clumsy to solve in closed form. However, by employing a very simple conformal mapping, the inconvenient angle is mapped to one of precisely ${\displaystyle \pi }$ radians, meaning that the corner of two planes is transformed to a straight line. In this new domain, the problem (that of calculating the electric field impressed by a point charge located near a conducting wall) is quite easy to solve. The solution is obtained in this domain, ${\displaystyle E(w)}$, and then mapped back to the original domain by noting that ${\displaystyle w}$ was obtained as a function (viz., the composition of ${\displaystyle E}$ and ${\displaystyle w}$) of ${\displaystyle z}$, whence ${\displaystyle E(w)}$ can be viewed as ${\displaystyle E(w(z))}$, which is a function of ${\displaystyle z}$, the original coordinate basis. Note that this application is not a contradiction to the fact that conformal mappings preserve angles, they do so only for points in the interior of their domain, and not at the boundary. Another example is the application of conformal mapping technique for solving the boundary value problem of liquid sloshing in tanks.[3]

If a function is harmonic (that is, it satisfies Laplace's equation ${\displaystyle \nabla ^{2}f=0}$) over a plane domain (which is two-dimensional), and is transformed via a conformal map to another plane domain, the transformation is also harmonic. For this reason, any function which is defined by a potential can be transformed by a conformal map and still remain governed by a potential. Examples in physics of equations defined by a potential include the electromagnetic field, the gravitational field, and, in fluid dynamics, potential flow, which is an approximation to fluid flow assuming constant density, zero viscosity, and irrotational flow. One example of a fluid dynamic application of a conformal map is the Joukowsky transform.

A large group of conformal maps for relating solutions of Maxwell's equations was identified by Ebenezer Cunningham (1908) and Harry Bateman (1910). Their training at Cambridge University had given them facility with the method of image charges and associated methods of images for spheres and inversion. As recounted by Andrew Warwick (2003) Masters of Theory: [4]

Each four-dimensional solution could be inverted in a four-dimensional hyper-sphere of pseudo-radius ${\displaystyle K}$ in order to produce a new solution.

Warwick highlights this "new theorem of relativity" as a Cambridge response to Einstein, and as founded on exercises using the method of inversion, such as found in James Hopwood Jeans textbook Mathematical Theory of Electricity and Magnetism.

In general relativity, conformal maps are the simplest and thus most common type of causal transformations. Physically, these describe different universes in which all the same events and interactions are still (causally) possible, but a new additional force is necessary to effect this (that is, replication of all the same trajectories would necessitate departures from geodesic motion because the metric tensor is different). It is often used to try to make models amenable to extension beyond curvature singularities, for example to permit description of the universe even before the Big Bang.