Conformal map

In mathematics, a conformal map is a function that locally preserves angles, but not necessarily lengths.

A rectangular grid (top) and its image under a conformal map (bottom). It is seen that maps pairs of lines intersecting at 90° to pairs of curves still intersecting at 90°.

More formally, let and be open subsets of . A function is called conformal (or angle-preserving) at a point if it preserves angles between directed curves through , as well as preserving orientation. Conformal maps preserve both angles and the shapes of infinitesimally small figures, but not necessarily their size or curvature.

The conformal property may be described in terms of the Jacobian derivative matrix of a coordinate transformation. The transformation is conformal whenever the Jacobian at each point is a positive scalar times a rotation matrix (orthogonal with determinant one). Some authors define conformality to include orientation-reversing mappings whose Jacobians can be written as any scalar times any orthogonal matrix.[1]

For mappings in two dimensions, the (orientation-preserving) conformal mappings are precisely the locally invertible complex analytic functions. In three and higher dimensions, Liouville's theorem sharply limits the conformal mappings to a few types.

The notion of conformality generalizes in a natural way to maps between Riemannian or semi-Riemannian manifolds.

Conformal maps in two dimensions

If is an open subset of the complex plane , then a function is conformal if and only if it is holomorphic and its derivative is everywhere non-zero on . If is antiholomorphic (conjugate to a holomorphic function), it preserves angles but reverses their orientation.

In the literature, there is another definition of conformal: a mapping which is one-to-one and holomorphic on an open set in the plane. The open mapping theorem forces the inverse function (defined on the image of ) to be holomorphic. Thus, under this definition, a map is conformal if and only if it is biholomorphic. The two definitions for conformal maps are not equivalent. Being one-to-one and holomorphic implies having a non-zero derivative. However, the exponential function is a holomorphic function with a nonzero derivative, but is not one-to-one since it is periodic.[2]

The Riemann mapping theorem, one of the profound results of complex analysis, states that any non-empty open simply connected proper subset of admits a bijective conformal map to the open unit disk in .

Global conformal maps on the Riemann sphere

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.

Conformal maps in three or more dimensions

Riemannian geometry

In Riemannian geometry, two Riemannian metrics and on a smooth manifold are called conformally equivalent if for some positive function on . The function 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.

Euclidean space

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.

Applications

Cartography

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.

Physics and engineering

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, , arising from a point charge located near the corner of two conducting planes separated by a certain angle (where 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 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, , and then mapped back to the original domain by noting that was obtained as a function (viz., the composition of and ) of , whence can be viewed as , which is a function of , 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 ) 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.

Conformal maps are also valuable in solving nonlinear partial differential equations in some specific geometries. Such analytic solutions provide a useful check on the accuracy of numerical simulations of the governing equation. For example, in the case of very viscous free-surface flow around a semi-infinite wall, the domain can be mapped to a half-plane in which the solution is one-dimensional and straightforward to calculate. [4]

For discrete systems, Noury and Yang presented a way to convert discrete systems root locus into continuous root locus through a well-know conformal mapping in geometry (aka inversion mapping).[5]

Maxwell's equations

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: [6]

Each four-dimensional solution could be inverted in a four-dimensional hyper-sphere of pseudo-radius 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.

General relativity

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.

Pseudo-Riemannian geometry

In differential geometry a mapping is conformal when angles are preserved. When the angle is related to the metric, it is sufficient for the mapping to result in a metric that is proportional to the original, as expressed above for Riemannian geometry or in the case of a conformal manifold with the type of metric tensor used in general relativity. An elementary consideration of surface mapping and linear algebra reveals potentially three types of angles: circular angle, hyperbolic angle, and slope:

Suppose is a mapping of surfaces parameterized by and . The Jacobian matrix of is formed by the four partial derivatives of and with respect to and .

If the Jacobian has a non-zero determinant, then is conformal with respect to one of the three angle types, depending on the real matrix expressed by the Jacobian .

Indeed, any such lies in a particular planar commutative subring, and has a polar decomposition determined by parameters of radial and angular nature. The radial parameter corresponds to a similarity mapping and can be taken as 1 for purposes of conformal examination. The angular parameter of is one of the three types, slope, hyperbolic, or circular:

  • When the subring is isomorphic to the dual number plane, then acts as a shear mapping and preserves the dual angle.
  • When the subring is isomorphic to the split-complex number plane, then acts as a squeeze mapping and preserves the hyperbolic angle.
  • When the subring is isomorphic to the ordinary complex number plane, then acts as a rotation and preserves the circular angle.

While describing analytic functions of a bireal variable, U. Bencivenga and G. Fox have written about conformal maps that preserve the hyperbolic angle. In general, a linear fractional transformation on any one of the types of complex plane listed provides a conformal map.

See also

References

  1. Blair, David (2000-08-17). Inversion Theory and Conformal Mapping. The Student Mathematical Library. 9. Providence, Rhode Island: American Mathematical Society. doi:10.1090/stml/009. ISBN 978-0-8218-2636-2. S2CID 118752074.
  2. Richard M. Timoney (2004), Riemann mapping theorem from Trinity College, Dublin
  3. Kolaei, Amir; Rakheja, Subhash; Richard, Marc J. (2014-01-06). "Range of applicability of the linear fluid slosh theory for predicting transient lateral slosh and roll stability of tank vehicles". Journal of Sound and Vibration. 333 (1): 263–282. Bibcode:2014JSV...333..263K. doi:10.1016/j.jsv.2013.09.002.
  4. Hinton, Edward; Hogg, Andrew; Huppert, Herbert (2020). "Shallow free-surface Stokes flow around a corner". Philosophical Transactions of the Royal Society A. 378 (2174). doi:10.1098/rsta.2019.0515. PMC 7287310. PMID 32507085.
  5. Noury, Keyvan; Yang, Bingen (2020). "A Psuedo S-plane Mapping of Z-plane Root Locus". ASME 2020 International Mechanical Engineering Congress and Exposition. American Society of Mechanical Engineers. doi:10.1115/IMECE2020-23096 (inactive 2021-01-19).CS1 maint: DOI inactive as of January 2021 (link)
  6. Warwick, Andrew (2003). Masters of theory : Cambridge and the rise of mathematical physics. University of Chicago Press. pp. 404–424. ISBN 978-0226873756.

Further reading

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.