A continuous mapping preserving the form of infinitesimal figures.
A continuous mapping of a domain in an -dimensional Euclidean space into the -dimensional Euclidean space is called conformal at a point if it has the properties of constancy of dilation and preservation of angles at this point. The property of constancy of dilation at means that the ratio of the distance between the images and of the points and to the distance between and tends to a definite limit as tends to in an arbitrary way. The number is called the coefficient of dilation at for the given mapping. The property of preservation (conservation) of angles at by means that any pair of continuous curves in intersecting at at an angle (that is, their tangents at form an angle ) is taken under the given mapping to a pair of continuous curves intersecting at the same angle at . A continuous mapping of a domain is called conformal if it is conformal at each point of this domain. By definition, a conformal mapping of a domain is required to be continuous and conformal only at the interior points of ; if one speaks about a conformal mapping of a closed domain, then, as a rule, one has in mind a continuous mapping of the closed domain that is conformal at interior points.
In the most important case , the domain and its image under the mapping lie in a plane, which is conveniently regarded as the complex -plane ; accordingly, is a complex-valued function of the complex variable . Furthermore, if preserves angles at a point , then the curvilinear angles with vertex either retain both their size and sign under this mapping or retain their size and change their sign. In the first case one says that the mapping is conformal of the first kind at , and in the second case — conformal of the second kind. If a function defines a conformal mapping of the second kind at a point , then the complex-conjugate mapping is conformal of the first kind at , and conversely. Therefore, only conformal mappings of the first kind are studied, and these are meant when one speaks of conformal mappings without specifying their kind.
If a mapping is conformal at , then as , the ratio tends to a finite limit, that is, the derivative exists. Under the additional assumption that , the converse is also true.
Thus, if exists and is non-zero, then under each infinitesimal vector with origin at is dilated times, is rotated through an angle and is shifted by the vector ; infinitesimal discs centred at are taken to infinitesimal discs.
A mapping is conformal in a domain of the complex plane if and only if the function , , is analytic and in . In order that a mapping be conformal (or that be analytic) in a domain , it suffices that be continuous and that at each point it has the property of preservation of angles (the property of preservation of signs as well as sizes of angles). If, instead, one requires that a continuous mapping , , be univalent (that is, one-to-one) and possess constancy of dilation at every point, then this mapping is conformal of the first or second kind, so that either or is an analytic function with non-zero derivative throughout . For the case when is analytic in some neighbourhood of a point , the following three properties are equivalent: a) is a conformal mapping (of the first kind) at ; b) is (locally) a univalent function at ; or c) . Every univalent analytic function in a domain conformally maps onto a domain of the same connectivity; furthermore, the inverse function is a univalent analytic function in and has a non-zero derivative. There also exist non-univalent conformal mappings (for example, is a non-univalent conformal mapping in the half-plane ; and is a non-univalent analytic mapping in the whole of ).
In the theory and application of conformal mappings in the plane the principal question is that of the possibility of mapping a given domain onto another by a univalent conformal mapping, and in practical applications, the question of the possibility of achieving this using relatively simple functions. The first problem is solved affirmatively for the case of simply-connected domains with non-empty boundaries that do not degenerate into points by the Riemann mapping theorem (cf. Riemann theorem). The second problem is solved for some domains of special type by applying elementary functions of a complex variable (see below), the Christoffel–Schwarz formula for mapping a half-plane or a disc onto a polygon, and applications of the reflection principle and approximation methods for conformal mappings. According to the Riemann mapping theorem, all simply-connected domains in the extended complex plane with non-empty boundaries that do not degenerate into points are conformally equivalent. For conformal mappings of multiply-connected domains the situation is different. Since a univalent conformal mapping of some domain onto another is one-to-one, continuous and has a continuous inverse, in order that such a mapping exists it is necessary that and have the same order of connectivity, that is, they must both be either simply connected, or doubly connected, etc., or infinitely connected. However, this necessary condition is not sufficient, as already becomes apparent in the case of simply-connected domains. Thus, the disc cannot be univalently and conformally mapped onto the finite plane , while the extended complex plane cannot be conformally and univalently mapped onto the disc or the plane (in fact, not even a topological mapping can be found in the last two cases). The situation is even more stringent in the case of multiply-connected domains. For example, an annulus can be univalently and conformally mapped onto another annulus , , , if and only if these annuli are similar, that is, if ; in this case every conformal mapping of onto is an entire linear function of the form , where is a real number. However, every finitely-connected domain with a non-empty boundary in the extended complex plane can be univalently and conformally mapped onto one of the so-called canonical domains of the same connectivity containing the point , namely: onto the extended complex plane with finitely many horizontal slits; onto the extended complex plane with the exception of finitely many non-intersecting closed discs; or onto the extended complex plane with the exception of closed arcs of logarithmic spirals of given slope . Here the individual slits, discs and arcs of spirals may degenerate into points. If it is required that a given point is taken under such a mapping to and that, as , the relation holds, for , or the relation holds, for , then in the case of the first two canonical domains, the mapping function exists, is defined uniquely and is called the canonical conformal mapping. Similar theorems also hold for infinitely-connected domains.
Every univalent mapping of a domain bounded by a finite number of non-intersecting circles (and here a straight line is considered to be a circle of infinite radius) onto a domain of the same type is a fractional-linear mapping. In the theory of analytic functions, non-univalent mappings by analytic functions between domains of different connectivities are also considered. These include: a conformal mapping of a disc onto a multiply-connected domain; a mapping of an -connected domain onto an -sheeted disc; and, more generally, a mapping from one Riemann surface onto another.
In the theory and application of conformal mappings an important role is played by so-called normalization conditions, or uniqueness conditions, for conformal mappings. These enable one to select a unique function from the infinite class of conformal mappings under consideration of one given domain onto another (in the case of simply-connected domains) or of a given domain onto a canonical domain of specified type (in the case of arbitrarily-connected domains). The most commonly used normalization conditions for conformal mappings in the case of simply-connected domains , with non-empty boundaries , that do not degenerate into points, respectively, are: 1) a given finite point is taken to a given finite point , where , being a pre-assigned real number, (see Riemann theorem on conformal mapping); 2) a given point is taken to a given point and a given accessible boundary point (prime end, boundary element or limit element; cf. Limit elements; Attainable boundary point) of is taken to a given accessible boundary point (prime end) of (see Conformal mapping, boundary properties of a); or 3) three given distinct accessible boundary points (prime ends) of a domain are taken, respectively, to given accessible boundary points (prime ends) of the domain , where, if on going along from to via the domain is on the left (or right), then on going along from to via , the domain must also be on the left (on the right). The last two types of normalization are most often applied in the case of domains bounded by closed Jordan curves, since in this case the notions of accessible boundary points and prime ends of the domain are equivalent at boundary points of the domain. Normalization conditions in the case of a mapping of an arbitrarily-connected domain onto a canonical domain have already been discussed above.
The conformal mappings of domains in an -dimensional Euclidean space for form the very narrow class of so-called Möbius mappings, each of which is either a linear similarity mapping or a composite of such a linear similarity mapping and an inversion (that is, a symmetry with respect to some sphere in the space, or a mapping of inverse radii) (Liouville's theorem). A significantly larger class of mappings for is formed by the so-called quasi-conformal mappings (cf. Quasi-conformal mapping). Under these mappings the forms of infinitesimal figures are distorted, but within bounded limits, in particular, the sizes of angles are changed within bounded limits, while infinitesimal balls are taken into infinitesimal ellipsoids with bounded ratio of the major to the minor axis.
A large part is played by conformal mappings of two-dimensional domains not only on planar surfaces but also for domains lying on smooth surfaces. Examples of such conformal mappings are given by stereographic projection and Mercator projection of a sphere onto the plane. They were discovered and applied in cartography (see Cartography, mathematical problems in; Cartographic projection). It should be noted that at that time posing the problem of conformally mapping surfaces led, in its general form, to the origin and development of the general theory of surfaces. Conformal mappings find wide application in the theory of functions, potential theory, in the solution of boundary value problems for the equations of mathematical physics, and above all in the solution of the first boundary value problem for the Laplace and Poisson equations.
Conformal mappings of certain simply-connected domains.
Dilations, rotations and parallel translations of domains in the complex plane are realized by entire linear functions of the form . Univalent conformal mappings of half-planes, discs and exteriors of discs onto one another are realized by fractional-linear transformations. Here, given any three different points on the boundary of one of the domains (the enumeration is such that on going around the boundary of from to via , is on the left) and three different points on the boundary of another such domain (with a similar enumeration), there exists a unique fractional-linear transformation univalently and conformally mapping onto with normalization conditions of the third type: , . This function can be found from the equation
in which each numerator or denominator must be replaced by the number 1 if the point or the point enters in its description. In particular, the general form of mappings of the unit disc onto itself is
while the general form of a mapping from the upper half-plane onto this disc is:
Here and are, respectively, the pre-images of 0 under these mappings, and , . The numbers , , , , and , , can be arbitrarily prescribed. Thus, the above general form of univalent conformal mappings of the unit disc and upper half-plane onto the unit disc enables one to take into account the normalization conditions of the first type in a simple way. Normalizations of the second type with are also easily fulfilled if one uses the above general form with the given (or ), after which it only remains to choose the factor from the correspondence condition of the given boundary points and .
The simplicity of fulfilling the normalization conditions under a mapping of the unit disc onto itself or of the upper half-plane onto itself lies at the basis of the following widely used device, by means of which normalization conditions are taken into account for univalent conformal mappings between arbitrary domains , with non-empty non-degenerate boundaries. Namely, both domains and are, somehow, conformally and univalently mapped onto (or onto ) by means of certain functions and , respectively, after which the problem of mapping onto with certain normalization conditions reduces to that of finding a fractional-linear transformation of (or of ) onto itself with the corresponding normalization conditions being fulfilled. If the function has been found, then solves the original problem. In view of this, only univalent conformal mappings of various domains onto the unit disc , or onto the upper half-plane , without any normalization conditions will be mentioned below.
1) The horizontal strip is mapped onto the upper half-plane by the function . This function takes a horizontal line to the ray , and a vertical segment onto the circular arc .
2) The vertical strip is mapped by the function onto the disc . Here a vertical line , , is taken to the "meridian" arc of the circle with end points and , passing through the point , while a horizontal segment , , is taken to the "latitudinal" arc of the circle orthogonal to the "meridian" joining the left half of the unit circle to the right half and passing through the point .
3) The half-strip is mapped onto by the function . Here, horizontal segments are taken into arcs of ellipses with foci , while vertical segments are taken into arcs of hyperbolas with the same foci.
4) The sector , , is mapped onto the sector , (), by the function
i.e. by a single-valued analytic branch of the function . Here a ray is taken to the ray , and an arc of the circle to an arc of the circle .
5) The interior or exterior of the digon with vertices and () formed by two arcs of circles, or an arc of a circle and a straight line segment, having the same end points as these points can be mapped onto in the following way. First the given domain is mapped onto the sector with vertex at by the fractional-linear mapping , then is taken onto some sector (see 4) above) by the rotation over some angle , after which one obtains the transformation in 4) with .
6) The exterior of the ellipse with foci at distance is mapped by a single-valued branch of the analytic function (see Zhukovskii function)
chosen subject to the condition , onto the disc , and by the other branch, chosen subject to the condition , onto the domain . These same branches map the extended plane with slit at , respectively, onto the interior and exterior of the unit circle . The interior of an ellipse cannot be mapped onto or by a composite of elementary functions; this mapping can be realized by the composite of elementary functions and the elliptic sine .
7) The part of between the branches of the hyperbola with foci at a distance is mapped onto by the function
where the single-valued analytic branch of the function in is selected by the condition , ,
The interior of the right sheet of this hyperbola is mapped onto the upper half-plane by a single-valued branch of the analytic function
where denotes the (unique) solution of the equation belonging to the strip with the positive real semi-axis adjoined.
8) The exterior of the parabola is mapped onto by a single-valued analytic branch of the function
chosen subject to the condition , that is, by the function
where the value of the square root is taken to be positive. The interior of this parabola is mapped onto by the single-valued analytic function
9) The rectangle is mapped onto by the elliptic sine, and is mapped onto by a single-valued analytic branch of the function
where depends on the ratio , and on the quantity , where
|||M.A. Lavrent'ev, B.V. Shabat, "Methoden der komplexen Funktionentheorie" , Deutsch. Verlag Wissenschaft. (1967) (Translated from Russian)|
|||G.M. Goluzin, "Geometric theory of functions of a complex variable" , Transl. Math. Monogr. , 26 , Amer. Math. Soc. (1969) (Translated from Russian)|
|||M.V. Keldysh, "Conformal mappings of multiply-connected domains onto canonical domains" Uspekhi Mat. Nauk , 6 (1939) pp. 90–119 (In Russian)|
|||I.I. [I.I. Privalov] Priwalow, "Randeigenschaften analytischer Funktionen" , Deutsch. Verlag Wissenschaft. (1956) (Translated from Russian)|
|||M.A. Lavrent'ev, "Conformal mapping with applications to certain questions of mechanics" , Moscow-Leningrad (1946) (In Russian)|
|||V. Koppenfels, "Praxis der konformen Abbildung" , Springer (1959)|
|||V.I. Lavrik, V.N. Savenkov, "Handbook on conformal mapping" , Kiev (1970) (In Russian)|
|||V.P. Fil'chakova, "Conformal mapping of domains of special type" , Kiev (1972) (In Russian)|
|||C. Carathéodory, "Conformal representation" , Cambridge Univ. Press (1932)|
|||A.V. Bitsadze, "Fundamentals of the theory of analytic functions of a complex variable" , Moscow (1972) (In Russian)|
|||M.A. Lavrent'ev, B.V. Shabat, "Problems in hydrodynamics and their mathematical models" , Moscow (1973) (In Russian)|
For the construction of conformal mappings see also [a1]. A good account of the theory of conformal mapping in the plane is given in the classics [a2], [a3], [a7], in which also a number of special mappings are given.
|[a1]||D. Gaier, "Konstruktive Methoden der konformen Abbildung" , Springer (1964)|
|[a2]||Z. Nehari, "Conformal mapping" , Dover, reprint (1952)|
|[a3]||M. Tsuji, "Potential theory in modern function theory" , Chelsea, reprint (1975)|
|[a4]||H. Cohn, "Conformal mapping on Riemann surfaces" , Dover, reprint (1980)|
|[a5]||H. Kober, "Dictionary of conformal representation" , Dover, reprint (1952)|
|[a6]||R. Courant, "Dirichlet's principle, conformal mapping and minimal surfaces" , Wiley (Interscience) (1950) (With appendix by M. Schiffer: Some recent developments in the theory of conformal mapping)|
|[a7]||L. Bieberbach, "Conformal mapping" , Chelsea, reprint (1964) (Translated from German)|
Conformal mapping. E.P. Dolzhenko (originator), Encyclopedia of Mathematics. URL: http://www.encyclopediaofmath.org/index.php?title=Conformal_mapping&oldid=18584