Quasi-regular mapping
mapping with bounded distortion
Let be an open connected subset of the Euclidean space
,
, and let
be a continuous mapping of Sobolev class
(cf. also Sobolev space). Then
is said to be quasi-regular if there is a number
such that the inequality
![]() |
is satisfied almost everywhere (a.e.) in Here,
denotes the formal derivative of
at
, i.e. the
-matrix of partial derivatives of the coordinate functions
of
. Further,
![]() |
and is the Jacobian determinant (cf. also Jacobian) of
at
. The smallest
in the above inequality is called the outer dilatation of
and is denoted by
. If
is quasi-regular, then the inner dilatation
is the smallest constant
in the inequality
![]() |
![]() |
The maximal dilatation is the number , and one says that
is
-quasi-regular if
.
Particular cases.
For the dimension and
, the class of
-quasi-regular mappings agrees with that of the complex-analytic functions (cf. also Analytic function). Injective quasi-regular mappings in dimensions
are called quasi-conformal (see Quasi-conformal mapping; [a4], [a8], [a10]). For
and
, a
-quasi-regular mapping
can be represented in the form
, where
is a
-quasi-conformal homeomorphism and
is an analytic function (Stoilow's theorem). There is no such representation in dimensions
. Note that for all dimensions
and
the set of those points where a
-quasi-conformal mapping is not differentiable may be non-empty and the behaviour of the mapping may be very curious at the points of this set, which has also Lebesgue measure zero. Thus, there is a substantial difference between the two cases
and
.
For higher dimensions the theory of quasi-regular mappings is essentially different from the plane case
. There are several reasons for this:
a) there are neither general existence theorems nor counterparts of power series expansions in higher dimensions;
b) the usual methods of function theory are not applicable in the higher-dimensional setup;
c) in the plane case the class of conformal mappings is very rich (cf. also Conformal mapping), while in higher dimensions it is very small (J. Liouville proved that for and
, sufficiently smooth
-quasi-conformal mappings are restrictions of Möbius transformations, see Quasi-conformal mapping);
d) for dimensions the branch set (i.e. the set of those points at which the mapping fails to be a local homeomorphism) is more complicated than in the two-dimensional case; for instance, it does not contain isolated points (see also Zorich theorem).
In spite of these difficulties, many basic properties of analytic functions have their counterparts for quasi-regular mappings. In a pioneering series of papers, Yu.G. Reshetnyak proved in 1966–1969 that these mappings share the fundamental topological properties of complex-analytic functions: non-constant quasi-regular mappings are discrete, open and sense-preserving. He also proved important convergence theorems for these mappings and several analytic properties: they preserve sets of zero Lebesgue -measure, are differentiable almost everywhere and are Hölder continuous (cf. also Hölder condition). The Reshetnyak theory (which uses the phrase mapping with bounded distortion for "quasi-regular mapping" ) makes use of Sobolev spaces, potential theory, partial differential equations, calculus of variations, and differential geometry. These results led to the discovery of the connection between partial differential equations and quasi-regular mappings. One of the main results says that if
is quasi-regular and non-zero, then
is a solution of a certain non-linear elliptic partial differential equation. For
and
these equations reduce to the familiar Laplace equation and the corresponding potential theory is linear (see [a5]).
The word "quasi-regular" was introduced in this meaning in 1969 by O. Martio, S. Rickman and J. Väisälä, who found another approach to quasi-regular mappings. Their approach uses techniques and tools from the theory of spatial quasi-conformal mappings and is based, in part, on Reshetnyak's fundamental results. The tools they use in their 1969–1972 work involve the modulus of a family of curves (the extremal length) and capacities of condensers. Their work showed the power of the method of the modulus of a family of curves, made these mappings more widely known, and led to a series of important results (cf. below).
Some of the topics considered for quasi-regular mappings include:
i) stability theory, which refers to the study of -quasi-regular mappings with dilatation
close to one, see [a6];
ii) value-distribution theory, such as the analogue of the Picard theorem and its refinements, see [a7];
iii) non-linear potential theory (cf. also Potential theory) and connection of quasi-regular mappings to partial differential equations, see [a2];
iv) geometric analysis, differential forms, and applications to elasticity theory, see [a3];
v) conformal invariants and quasi-regular mappings, see [a9], [a1].
References
[a1] | G.D. Anderson, M.K. Vamanamurthy, M. Vuorinen, "Conformal invariants, inequalities and quasiconformal mappings" , Wiley (1997) (book with a software diskette) |
[a2] | J. Heinonen, T. Kilpeläinen, O. Martio, "Nonlinear potential theory of degenerate elliptic equations" , Oxford Math. Monographs , Oxford Univ. Press (1993) |
[a3] | T. Iwaniec, "![]() |
[a4] | O. Lehto, K.I. Virtanen, "Quasiconformal mappings in the plane" , Grundl. Math. Wissenschaft. , 126 , Springer (1973) (Edition: Second) |
[a5] | Yu.G. Reshetnyak, "Space mappings with bounded distortion" , Transl. Math. Monogr. , 73 , Amer. Math. Soc. (1989) (In Russian) |
[a6] | Yu.G. Reshetnyak, "Stability theorems in geometry and analysis" , Kluwer Acad. Publ. (1994) |
[a7] | S. Rickman, "Quasiregular mappings" , Ergeb. Math. Grenzgeb. , 26 , Springer (1993) |
[a8] | J. Väisälä, "Lectures on ![]() |
[a9] | M. Vuorinen, "Conformal geometry and quasiregular mappings" , Lecture Notes in Mathematics , 1319 , Springer (1988) |
[a10] | "Quasiconformal space mappings: A collection of surveys, 1960–1990" M. Vuorinen (ed.) , Lecture Notes in Mathematics , 1508 , Springer (1992) |
Quasi-regular mapping. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Quasi-regular_mapping&oldid=12420