Namespaces
Variants
Actions

Difference between revisions of "Quasi-regular mapping"

From Encyclopedia of Mathematics
Jump to: navigation, search
m (links)
m (AUTOMATIC EDIT (latexlist): Replaced 64 formulas out of 64 by TEX code with an average confidence of 2.0 and a minimal confidence of 2.0.)
 
Line 1: Line 1:
 +
<!--This article has been texified automatically. Since there was no Nroff source code for this article,
 +
the semi-automatic procedure described at https://encyclopediaofmath.org/wiki/User:Maximilian_Janisch/latexlist
 +
was used.
 +
If the TeX and formula formatting is correct, please remove this message and the {{TEX|semi-auto}} category.
 +
 +
Out of 64 formulas, 64 were replaced by TEX code.-->
 +
 +
{{TEX|semi-auto}}{{TEX|done}}
 
''mapping with bounded distortion''
 
''mapping with bounded distortion''
  
Let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q1300401.png" /> be an open connected subset of the Euclidean space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q1300402.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q1300403.png" />, and let <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q1300404.png" /> be a continuous mapping of Sobolev class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q1300405.png" /> (cf. also [[Sobolev space|Sobolev space]]). Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q1300406.png" /> is said to be quasi-regular if there is a number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q1300407.png" /> such that the inequality
+
Let $G$ be an open connected subset of the Euclidean space ${\bf R} ^ { n }$, $n \geq 2$, and let $f : G \rightarrow \mathbf{R} ^ { n }$ be a continuous mapping of Sobolev class $W _ { \text{loc} } ^ { 1 , n } ( G )$ (cf. also [[Sobolev space|Sobolev space]]). Then $f$ is said to be quasi-regular if there is a number $K \in [ 1 , \infty )$ such that the inequality
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q1300408.png" /></td> </tr></table>
+
\begin{equation*} | f ^ { \prime } ( x ) | ^ { n } \leq K J _ { f } ( x ) \end{equation*}
  
is satisfied almost everywhere (a.e.) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q1300409.png" /> Here, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004010.png" /> denotes the formal derivative of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004011.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004012.png" />, i.e. the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004013.png" />-matrix of partial derivatives of the coordinate functions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004014.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004015.png" />. Further,
+
is satisfied almost everywhere (a.e.) in $G.$ Here, $f ^ { \prime } ( x )$ denotes the formal derivative of $f$ at $x$, i.e. the $( n \times n )$-matrix of partial derivatives of the coordinate functions $f_j$ of $f = ( f _ { 1 } , \dots , f _ { n } )$. Further,
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004016.png" /></td> </tr></table>
+
\begin{equation*} | f ^ { \prime } ( x ) | = \operatorname { max } \{ | f ^ { \prime } ( x ) h | : | h | = 1 \} \end{equation*}
  
and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004017.png" /> is the Jacobian determinant (cf. also [[Jacobian|Jacobian]]) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004018.png" /> at <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004019.png" />. The smallest <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004020.png" /> in the above inequality is called the outer dilatation of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004021.png" /> and is denoted by <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004022.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004023.png" /> is quasi-regular, then the inner dilatation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004024.png" /> is the smallest constant <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004025.png" /> in the inequality
+
and $J _ { f } ( x )$ is the Jacobian determinant (cf. also [[Jacobian|Jacobian]]) of $f$ at $x$. The smallest $K \geq 1$ in the above inequality is called the outer dilatation of $f$ and is denoted by $K_{\text{O}} ( f )$. If $f$ is quasi-regular, then the inner dilatation $K _ { \text{I} } ( f )$ is the smallest constant $K \geq 1$ in the inequality
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004026.png" /></td> </tr></table>
+
\begin{equation*} J _ { f } ( x ) \leq K \text{l} ( f ^ { \prime } ( x ) ) ^ { n }, \end{equation*}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004027.png" /></td> </tr></table>
+
\begin{equation*} \operatorname { l(f } ^ { \prime } ( x ) ) = \operatorname { min } \{ | f ^ { \prime } ( x ) h | : | h | = 1 \}. \end{equation*}
  
The maximal dilatation is the number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004028.png" />, and one says that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004029.png" /> is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004031.png" />-quasi-regular if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004032.png" />.
+
The maximal dilatation is the number $K ( f ) = \operatorname { max } \{ K _ { \text{O} } (\, f ) , K _ { \text{I} } (\, f ) \}$, and one says that $f$ is $K$-quasi-regular if $K ( f ) \leq K$.
  
 
==Particular cases.==
 
==Particular cases.==
For the dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004033.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004034.png" />, the class of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004035.png" />-quasi-regular mappings agrees with that of the complex-analytic functions (cf. also [[Analytic function|Analytic function]]). Injective quasi-regular mappings in dimensions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004036.png" /> are called quasi-conformal (see [[Quasi-conformal mapping|Quasi-conformal mapping]]; [[#References|[a4]]], [[#References|[a8]]], [[#References|[a10]]]). For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004037.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004038.png" />, a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004039.png" />-quasi-regular mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004040.png" /> can be represented in the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004041.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004042.png" /> is a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004043.png" />-quasi-conformal [[Homeomorphism|homeomorphism]] and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004044.png" /> is an analytic function (Stoilow's theorem). There is no such representation in dimensions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004045.png" />. Note that for all dimensions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004046.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004047.png" /> the set of those points where a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004048.png" />-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|Lebesgue measure]] zero. Thus, there is a substantial difference between the two cases <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004049.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004050.png" />.
+
For the dimension $n = 2$ and $K = 1$, the class of $K$-quasi-regular mappings agrees with that of the complex-analytic functions (cf. also [[Analytic function|Analytic function]]). Injective quasi-regular mappings in dimensions $n \geq 2$ are called quasi-conformal (see [[Quasi-conformal mapping|Quasi-conformal mapping]]; [[#References|[a4]]], [[#References|[a8]]], [[#References|[a10]]]). For $n = 2$ and $K \geq 1$, a $K$-quasi-regular mapping $f : G \rightarrow \mathbf{R} ^ { 2 }$ can be represented in the form $\varphi \circ w$, where $w : G \rightarrow G ^ { \prime }$ is a $K$-quasi-conformal [[Homeomorphism|homeomorphism]] and $\varphi : G ^ { \prime } \rightarrow \mathbf{R} ^ { 2 }$ is an analytic function (Stoilow's theorem). There is no such representation in dimensions $n \geq 3$. Note that for all dimensions $n \geq 2$ and $K &gt; 1$ the set of those points where a $K$-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|Lebesgue measure]] zero. Thus, there is a substantial difference between the two cases $K &gt; 1$ and $K = 1$.
  
For higher dimensions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004051.png" /> the theory of quasi-regular mappings is essentially different from the plane case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004052.png" />. There are several reasons for this:
+
For higher dimensions $n \geq 3$ the theory of quasi-regular mappings is essentially different from the plane case $n = 2$. There are several reasons for this:
  
 
a) there are neither general existence theorems nor counterparts of power series expansions in higher dimensions;
 
a) there are neither general existence theorems nor counterparts of power series expansions in higher dimensions;
Line 26: Line 34:
 
b) the usual methods of function theory are not applicable in the higher-dimensional setup;
 
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|Conformal mapping]]), while in higher dimensions it is very small (J. Liouville proved that for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004053.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004054.png" />, sufficiently smooth <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004055.png" />-quasi-conformal mappings are restrictions of Möbius transformations, see [[Quasi-conformal mapping|Quasi-conformal mapping]]);
+
c) in the plane case the class of conformal mappings is very rich (cf. also [[Conformal mapping|Conformal mapping]]), while in higher dimensions it is very small (J. Liouville proved that for $n \geq 3$ and $K = 1$, sufficiently smooth $K$-quasi-conformal mappings are restrictions of Möbius transformations, see [[Quasi-conformal mapping|Quasi-conformal mapping]]);
  
d) for dimensions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004056.png" /> 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|Zorich theorem]]).
+
d) for dimensions $n \geq 3$ 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|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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004057.png" />-measure, are differentiable almost everywhere and are Hölder continuous (cf. also [[Hölder condition|Hölder condition]]). The Reshetnyak theory (which uses the phrase mapping with bounded distortion for  "quasi-regular mapping" ) makes use of [[Sobolev space]]s, [[potential theory]], [[partial differential equation]]s, [[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 <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004058.png" /> is quasi-regular and non-zero, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004059.png" /> is a solution of a certain non-linear [[Elliptic partial differential equation|elliptic partial differential equation]]. For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004060.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004061.png" /> these equations reduce to the familiar [[Laplace equation|Laplace equation]] and the corresponding potential theory is linear (see [[#References|[a5]]]).
+
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 $n$-measure, are differentiable almost everywhere and are Hölder continuous (cf. also [[Hölder condition|Hölder condition]]). The Reshetnyak theory (which uses the phrase mapping with bounded distortion for  "quasi-regular mapping" ) makes use of [[Sobolev space]]s, [[potential theory]], [[partial differential equation]]s, [[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 $f$ is quasi-regular and non-zero, then $\operatorname{log}| f ( x ) |$ is a solution of a certain non-linear [[Elliptic partial differential equation|elliptic partial differential equation]]. For $n = 2$ and $K = 1$ these equations reduce to the familiar [[Laplace equation|Laplace equation]] and the corresponding potential theory is linear (see [[#References|[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|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).
 
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|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).
Line 36: Line 44:
 
Some of the topics considered for quasi-regular mappings include:
 
Some of the topics considered for quasi-regular mappings include:
  
i) stability theory, which refers to the study of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004062.png" />-quasi-regular mappings with dilatation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004063.png" /> close to one, see [[#References|[a6]]];
+
i) stability theory, which refers to the study of $K$-quasi-regular mappings with dilatation $K &gt; 1$ close to one, see [[#References|[a6]]];
  
 
ii) [[Value-distribution theory|value-distribution theory]], such as the analogue of the [[Picard theorem|Picard theorem]] and its refinements, see [[#References|[a7]]];
 
ii) [[Value-distribution theory|value-distribution theory]], such as the analogue of the [[Picard theorem|Picard theorem]] and its refinements, see [[#References|[a7]]];
Line 47: Line 55:
  
 
====References====
 
====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  G.D. Anderson,  M.K. Vamanamurthy,  M. Vuorinen,  "Conformal invariants, inequalities and quasiconformal mappings" , Wiley  (1997)  (book with a software diskette)</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top">  J. Heinonen,  T. Kilpeläinen,  O. Martio,  "Nonlinear potential theory of degenerate elliptic equations" , ''Oxford Math. Monographs'' , Oxford Univ. Press  (1993)</TD></TR><TR><TD valign="top">[a3]</TD> <TD valign="top">  T. Iwaniec,  "<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004064.png" />-Harmonic tensors and quasiregular mappings"  ''Ann. of Math.'' , '''136'''  (1992)  pp. 39–64</TD></TR><TR><TD valign="top">[a4]</TD> <TD valign="top">  O. Lehto,  K.I. Virtanen,  "Quasiconformal mappings in the plane" , ''Grundl. Math. Wissenschaft.'' , '''126''' , Springer  (1973)  (Edition: Second)</TD></TR><TR><TD valign="top">[a5]</TD> <TD valign="top">  Yu.G. Reshetnyak,  "Space mappings with bounded distortion" , ''Transl. Math. Monogr.'' , '''73''' , Amer. Math. Soc.  (1989)  (In Russian)</TD></TR><TR><TD valign="top">[a6]</TD> <TD valign="top">  Yu.G. Reshetnyak,  "Stability theorems in geometry and analysis" , Kluwer Acad. Publ.  (1994)</TD></TR><TR><TD valign="top">[a7]</TD> <TD valign="top">  S. Rickman,  "Quasiregular mappings" , ''Ergeb. Math. Grenzgeb.'' , '''26''' , Springer  (1993)</TD></TR><TR><TD valign="top">[a8]</TD> <TD valign="top">  J. Väisälä,  "Lectures on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q130/q130040/q13004065.png" />-dimensional quasiconformal mappings" , ''Lecture Notes in Mathematics'' , '''229''' , Springer  (1971)</TD></TR><TR><TD valign="top">[a9]</TD> <TD valign="top">  M. Vuorinen,  "Conformal geometry and quasiregular mappings" , ''Lecture Notes in Mathematics'' , '''1319''' , Springer  (1988)</TD></TR><TR><TD valign="top">[a10]</TD> <TD valign="top">  "Quasiconformal space mappings: A collection of surveys, 1960–1990"  M. Vuorinen (ed.) , ''Lecture Notes in Mathematics'' , '''1508''' , Springer  (1992)</TD></TR></table>
+
<table><tr><td valign="top">[a1]</td> <td valign="top">  G.D. Anderson,  M.K. Vamanamurthy,  M. Vuorinen,  "Conformal invariants, inequalities and quasiconformal mappings" , Wiley  (1997)  (book with a software diskette)</td></tr><tr><td valign="top">[a2]</td> <td valign="top">  J. Heinonen,  T. Kilpeläinen,  O. Martio,  "Nonlinear potential theory of degenerate elliptic equations" , ''Oxford Math. Monographs'' , Oxford Univ. Press  (1993)</td></tr><tr><td valign="top">[a3]</td> <td valign="top">  T. Iwaniec,  "$p$-Harmonic tensors and quasiregular mappings"  ''Ann. of Math.'' , '''136'''  (1992)  pp. 39–64</td></tr><tr><td valign="top">[a4]</td> <td valign="top">  O. Lehto,  K.I. Virtanen,  "Quasiconformal mappings in the plane" , ''Grundl. Math. Wissenschaft.'' , '''126''' , Springer  (1973)  (Edition: Second)</td></tr><tr><td valign="top">[a5]</td> <td valign="top">  Yu.G. Reshetnyak,  "Space mappings with bounded distortion" , ''Transl. Math. Monogr.'' , '''73''' , Amer. Math. Soc.  (1989)  (In Russian)</td></tr><tr><td valign="top">[a6]</td> <td valign="top">  Yu.G. Reshetnyak,  "Stability theorems in geometry and analysis" , Kluwer Acad. Publ.  (1994)</td></tr><tr><td valign="top">[a7]</td> <td valign="top">  S. Rickman,  "Quasiregular mappings" , ''Ergeb. Math. Grenzgeb.'' , '''26''' , Springer  (1993)</td></tr><tr><td valign="top">[a8]</td> <td valign="top">  J. Väisälä,  "Lectures on $n$-dimensional quasiconformal mappings" , ''Lecture Notes in Mathematics'' , '''229''' , Springer  (1971)</td></tr><tr><td valign="top">[a9]</td> <td valign="top">  M. Vuorinen,  "Conformal geometry and quasiregular mappings" , ''Lecture Notes in Mathematics'' , '''1319''' , Springer  (1988)</td></tr><tr><td valign="top">[a10]</td> <td valign="top">  "Quasiconformal space mappings: A collection of surveys, 1960–1990"  M. Vuorinen (ed.) , ''Lecture Notes in Mathematics'' , '''1508''' , Springer  (1992)</td></tr></table>

Latest revision as of 17:02, 1 July 2020

mapping with bounded distortion

Let $G$ be an open connected subset of the Euclidean space ${\bf R} ^ { n }$, $n \geq 2$, and let $f : G \rightarrow \mathbf{R} ^ { n }$ be a continuous mapping of Sobolev class $W _ { \text{loc} } ^ { 1 , n } ( G )$ (cf. also Sobolev space). Then $f$ is said to be quasi-regular if there is a number $K \in [ 1 , \infty )$ such that the inequality

\begin{equation*} | f ^ { \prime } ( x ) | ^ { n } \leq K J _ { f } ( x ) \end{equation*}

is satisfied almost everywhere (a.e.) in $G.$ Here, $f ^ { \prime } ( x )$ denotes the formal derivative of $f$ at $x$, i.e. the $( n \times n )$-matrix of partial derivatives of the coordinate functions $f_j$ of $f = ( f _ { 1 } , \dots , f _ { n } )$. Further,

\begin{equation*} | f ^ { \prime } ( x ) | = \operatorname { max } \{ | f ^ { \prime } ( x ) h | : | h | = 1 \} \end{equation*}

and $J _ { f } ( x )$ is the Jacobian determinant (cf. also Jacobian) of $f$ at $x$. The smallest $K \geq 1$ in the above inequality is called the outer dilatation of $f$ and is denoted by $K_{\text{O}} ( f )$. If $f$ is quasi-regular, then the inner dilatation $K _ { \text{I} } ( f )$ is the smallest constant $K \geq 1$ in the inequality

\begin{equation*} J _ { f } ( x ) \leq K \text{l} ( f ^ { \prime } ( x ) ) ^ { n }, \end{equation*}

\begin{equation*} \operatorname { l(f } ^ { \prime } ( x ) ) = \operatorname { min } \{ | f ^ { \prime } ( x ) h | : | h | = 1 \}. \end{equation*}

The maximal dilatation is the number $K ( f ) = \operatorname { max } \{ K _ { \text{O} } (\, f ) , K _ { \text{I} } (\, f ) \}$, and one says that $f$ is $K$-quasi-regular if $K ( f ) \leq K$.

Particular cases.

For the dimension $n = 2$ and $K = 1$, the class of $K$-quasi-regular mappings agrees with that of the complex-analytic functions (cf. also Analytic function). Injective quasi-regular mappings in dimensions $n \geq 2$ are called quasi-conformal (see Quasi-conformal mapping; [a4], [a8], [a10]). For $n = 2$ and $K \geq 1$, a $K$-quasi-regular mapping $f : G \rightarrow \mathbf{R} ^ { 2 }$ can be represented in the form $\varphi \circ w$, where $w : G \rightarrow G ^ { \prime }$ is a $K$-quasi-conformal homeomorphism and $\varphi : G ^ { \prime } \rightarrow \mathbf{R} ^ { 2 }$ is an analytic function (Stoilow's theorem). There is no such representation in dimensions $n \geq 3$. Note that for all dimensions $n \geq 2$ and $K > 1$ the set of those points where a $K$-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 $K > 1$ and $K = 1$.

For higher dimensions $n \geq 3$ the theory of quasi-regular mappings is essentially different from the plane case $n = 2$. 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 $n \geq 3$ and $K = 1$, sufficiently smooth $K$-quasi-conformal mappings are restrictions of Möbius transformations, see Quasi-conformal mapping);

d) for dimensions $n \geq 3$ 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 $n$-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 $f$ is quasi-regular and non-zero, then $\operatorname{log}| f ( x ) |$ is a solution of a certain non-linear elliptic partial differential equation. For $n = 2$ and $K = 1$ 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 $K$-quasi-regular mappings with dilatation $K > 1$ 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, "$p$-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 $n$-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)
How to Cite This Entry:
Quasi-regular mapping. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Quasi-regular_mapping&oldid=34864
This article was adapted from an original article by M. Vuorinen (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article