Conformal mapping
A continuous mapping preserving the form of infinitesimal figures.
Fundamental concepts.
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
![]() |
where
![]() |
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
![]() |
References
[1] | M.A. Lavrent'ev, B.V. Shabat, "Methoden der komplexen Funktionentheorie" , Deutsch. Verlag Wissenschaft. (1967) (Translated from Russian) |
[2] | G.M. Goluzin, "Geometric theory of functions of a complex variable" , Transl. Math. Monogr. , 26 , Amer. Math. Soc. (1969) (Translated from Russian) |
[3] | M.V. Keldysh, "Conformal mappings of multiply-connected domains onto canonical domains" Uspekhi Mat. Nauk , 6 (1939) pp. 90–119 (In Russian) |
[4] | I.I. [I.I. Privalov] Priwalow, "Randeigenschaften analytischer Funktionen" , Deutsch. Verlag Wissenschaft. (1956) (Translated from Russian) |
[5] | M.A. Lavrent'ev, "Conformal mapping with applications to certain questions of mechanics" , Moscow-Leningrad (1946) (In Russian) |
[6] | V. Koppenfels, "Praxis der konformen Abbildung" , Springer (1959) |
[7] | V.I. Lavrik, V.N. Savenkov, "Handbook on conformal mapping" , Kiev (1970) (In Russian) |
[8] | V.P. Fil'chakova, "Conformal mapping of domains of special type" , Kiev (1972) (In Russian) |
[9] | C. Carathéodory, "Conformal representation" , Cambridge Univ. Press (1932) |
[10] | A.V. Bitsadze, "Fundamentals of the theory of analytic functions of a complex variable" , Moscow (1972) (In Russian) |
[11] | M.A. Lavrent'ev, B.V. Shabat, "Problems in hydrodynamics and their mathematical models" , Moscow (1973) (In Russian) |
Comments
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.
References
[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. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Conformal_mapping&oldid=46455