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 .
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];
iv) geometric analysis, differential forms, and applications to elasticity theory, see [a3];
|[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, "-Harmonic tensors and quasiregular mappings" Ann. of Math. , 136 (1992) pp. 39–64|
|[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 -dimensional quasiconformal mappings" , Lecture Notes in Mathematics , 229 , Springer (1971)|
|[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://www.encyclopediaofmath.org/index.php?title=Quasi-regular_mapping&oldid=34864