Difference between revisions of "Quasi-conformal mapping"
Ulf Rehmann (talk | contribs) m (tex encoded by computer) |
Ulf Rehmann (talk | contribs) m (Undo revision 48378 by Ulf Rehmann (talk)) Tag: Undo |
||
Line 1: | Line 1: | ||
− | < | + | A mapping with bounded distortion or bounded deviation from a [[Conformal mapping|conformal mapping]]. A numerical characterization of the distortion under a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q0764301.png" /> at a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q0764302.png" /> is the coefficient <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q0764303.png" /> of quasi-conformality (dilatation or dilation) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q0764304.png" /> at this point: |
− | q0764301.png | ||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | <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/q076/q076430/q0764305.png" /></td> </tr></table> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
The quantity | The quantity | ||
− | + | <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/q076/q076430/q0764306.png" /></td> </tr></table> | |
− | |||
− | |||
− | is called the coefficient of quasi-conformality (or linear dilatation) of | + | is called the coefficient of quasi-conformality (or linear dilatation) of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q0764307.png" /> in the domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q0764308.png" />. An orientation-preserving mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q0764309.png" /> is called quasi-conformal (or a mapping with bounded distortion) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643010.png" />; it is called <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643012.png" />-quasi-conformal if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643013.png" />. For a [[Conformal mapping|conformal mapping]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643014.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643015.png" /> is differentiable at the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643016.png" />, then the linear mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643017.png" /> transforms a ball of the tangent space into an ellipsoid the ratio of the major to the minor semi-axis of which is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643018.png" />. |
− | in the domain | ||
− | An orientation-preserving mapping | ||
− | is called quasi-conformal (or a mapping with bounded distortion) if | ||
− | it is called | ||
− | quasi-conformal if | ||
− | For a [[Conformal mapping|conformal mapping]] | ||
− | If | ||
− | is differentiable at the point | ||
− | then the linear mapping | ||
− | transforms a ball of the tangent space into an ellipsoid the ratio of the major to the minor semi-axis of which is | ||
− | Along with the given definition, one often uses the following, equivalent, conditions of quasi-conformality of | + | Along with the given definition, one often uses the following, equivalent, conditions of quasi-conformality of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643019.png" /> in a domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643020.png" />: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643021.png" /> (that is, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643022.png" /> has generalized derivatives that are locally <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643023.png" />-th power summable in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643024.png" />) and there exists a real number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643025.png" /> such that |
− | in a domain | ||
− | |||
− | that is, | ||
− | has generalized derivatives that are locally | ||
− | th power summable in | ||
− | and there exists a real number | ||
− | such that | ||
− | + | <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/q076/q076430/q07643026.png" /></td> </tr></table> | |
− | |||
− | |||
− | |||
or | or | ||
− | + | <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/q076/q076430/q07643027.png" /></td> </tr></table> | |
− | |||
− | |||
− | |||
− | for almost-all points | + | for almost-all points <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643028.png" />. |
− | The term "quasi-conformal mapping" , as a rule, presupposes the mapping to be a [[Homeomorphism|homeomorphism]]. Non-homeomorphisms with bounded distortion are usually called quasi-regular mappings. The theory of quasi-conformal mappings of domains in | + | The term "quasi-conformal mapping" , as a rule, presupposes the mapping to be a [[Homeomorphism|homeomorphism]]. Non-homeomorphisms with bounded distortion are usually called quasi-regular mappings. The theory of quasi-conformal mappings of domains in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643029.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643030.png" /> and for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643031.png" />, provided that one is not considering general and, as a rule, simple questions for them, has sharp differences. |
− | for | ||
− | and for | ||
− | provided that one is not considering general and, as a rule, simple questions for them, has sharp differences. | ||
==Two-dimensional theory.== | ==Two-dimensional theory.== | ||
− | In this case the differential of a mapping at a point | + | In this case the differential of a mapping at a point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643032.png" /> can be written in the form |
− | can be written in the form | ||
− | + | <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/q076/q076430/q07643033.png" /></td> </tr></table> | |
− | |||
− | |||
It is defined up to a factor by the formula | It is defined up to a factor by the formula | ||
− | + | <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/q076/q076430/q07643034.png" /></td> <td valign="top" style="width:5%;text-align:right;">(1)</td></tr></table> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | The function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643035.png" /> is called the Beltrami coefficient, the complex dilatation or the complex characteristic of the mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643036.png" /> at the point <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643037.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643038.png" /> for a mapping with a positive Jacobian <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643039.png" />. For analytic mappings <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643040.png" />, which are the Cauchy–Riemann conditions. The coefficient <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643041.png" /> of quasi-conformality of a mapping at a point is expressed in terms of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643042.png" /> by | |
− | |||
− | + | <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/q076/q076430/q07643043.png" /></td> </tr></table> | |
− | |||
− | |||
− | therefore the condition of quasi-conformality of an | + | therefore the condition of quasi-conformality of an <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643044.png" /> in terms of the complex characteristic is <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643045.png" />. |
− | in terms of the complex characteristic is | ||
− | Usually formula (1) appears as an equation in | + | Usually formula (1) appears as an equation in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643046.png" /> with a known function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643047.png" />; it is called the Beltrami equation (or Beltrami system). For example, the problem of conformally mapping one domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643048.png" /> onto another <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643049.png" /> is the problem of seeking a homeomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643050.png" /> that satisfies the Beltrami equation in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643051.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643052.png" />. |
− | with a known function | ||
− | it is called the Beltrami equation (or Beltrami system). For example, the problem of conformally mapping one domain | ||
− | onto another | ||
− | is the problem of seeking a homeomorphism | ||
− | that satisfies the Beltrami equation in | ||
− | with | ||
− | An example of a problem that reduces to the solution of the general equation (1) is the classical Gauss problem of the simultaneous reduction to canonical form in all of a given domain | + | An example of a problem that reduces to the solution of the general equation (1) is the classical Gauss problem of the simultaneous reduction to canonical form in all of a given domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643053.png" /> of a positive-definite [[Quadratic form|quadratic form]] in two variables, or, what is the same, the problem of constructing conformally-Euclidean coordinates on a two-dimensional surface (see [[#References|[50]]]). |
− | of a positive-definite [[Quadratic form|quadratic form]] in two variables, or, what is the same, the problem of constructing conformally-Euclidean coordinates on a two-dimensional surface (see [[#References|[50]]]). | ||
− | The basic fact [[#References|[5]]], [[#References|[30]]] of the two-dimensional theory of quasi-conformal mappings, analogous to the Riemann mapping theorem, (cf. [[Riemann theorem|Riemann theorem]]), is called the measurable Riemann mapping theorem and consists in the following. For each measurable function | + | The basic fact [[#References|[5]]], [[#References|[30]]] of the two-dimensional theory of quasi-conformal mappings, analogous to the Riemann mapping theorem, (cf. [[Riemann theorem|Riemann theorem]]), is called the measurable Riemann mapping theorem and consists in the following. For each measurable function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643054.png" /> in a domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643055.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643056.png" />, find a quasi-conformal homeomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643057.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643058.png" /> with complex characteristic <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643059.png" />; the general solution of equation (1) in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643060.png" /> has the form <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643061.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643062.png" /> is the to be constructed quasi-conformal homeomorphism and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643063.png" /> is any analytic function. |
− | in a domain | ||
− | such that | ||
− | find a quasi-conformal homeomorphism | ||
− | of | ||
− | with complex characteristic | ||
− | the general solution of equation (1) in | ||
− | has the form | ||
− | where | ||
− | is the to be constructed quasi-conformal homeomorphism and | ||
− | is any analytic function. | ||
− | If | + | If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643064.png" /> is the unit disc, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643065.png" /> can be chosen so that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643066.png" />. Then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643067.png" /> can be extended to a homeomorphism of the closed disc onto itself and the normalization conditions <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643068.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643069.png" /> select a unique homeomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643070.png" /> satisfying the Beltrami equation. If, in addition, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643071.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643072.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643073.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643074.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643075.png" /> is the space of functions that have <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643076.png" /> continuous derivatives in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643077.png" />, the highest being Hölder continuous in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643078.png" /> of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643079.png" /> (cf. [[Hölder condition|Hölder condition]]). If a sequence <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643080.png" /> of normalized quasi-conformal automorphisms of the disc <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643081.png" /> is such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643082.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643083.png" /> as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643084.png" />, then |
− | is the unit disc, | ||
− | can be chosen so that | ||
− | Then | ||
− | can be extended to a homeomorphism of the closed disc onto itself and the normalization conditions | ||
− | |||
− | select a unique homeomorphism | ||
− | satisfying the Beltrami equation. If, in addition, | ||
− | |||
− | |||
− | then | ||
− | where | ||
− | is the space of functions that have | ||
− | continuous derivatives in | ||
− | the highest being Hölder continuous in | ||
− | of order | ||
− | cf. [[Hölder condition|Hölder condition]]). If a sequence | ||
− | of normalized quasi-conformal automorphisms of the disc | ||
− | is such that | ||
− | and | ||
− | as | ||
− | then | ||
− | + | <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/q076/q076430/q07643085.png" /></td> </tr></table> | |
− | |||
− | |||
Quasi-conformal mappings as homeomorphic solutions of strongly-elliptic systems | Quasi-conformal mappings as homeomorphic solutions of strongly-elliptic systems | ||
− | + | <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/q076/q076430/q07643086.png" /></td> <td valign="top" style="width:5%;text-align:right;">(2)</td></tr></table> | |
− | |||
− | = | ||
− | |||
are also naturally connected with problems on streamline flows of subsonic gas dynamics, just as conformal mappings satisfying the Cauchy–Riemann system are connected with the flow of an incompressible ideal fluid (see [[#References|[9]]], [[#References|[31]]]). | are also naturally connected with problems on streamline flows of subsonic gas dynamics, just as conformal mappings satisfying the Cauchy–Riemann system are connected with the flow of an incompressible ideal fluid (see [[#References|[9]]], [[#References|[31]]]). | ||
Line 169: | Line 57: | ||
==Spatial theory.== | ==Spatial theory.== | ||
− | The theory of quasi-conformal mappings of domains in a space | + | The theory of quasi-conformal mappings of domains in a space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643087.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643088.png" />, also has its own features. This is first of all connected with the absence of conformal mappings: according to Liouville's theorem, every sufficiently smooth conformal mapping of a domain <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643091.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643092.png" />, is a Möbius transformation, that is, a superposition of an inversion and a rotation. The essence of this fact is that the condition of conformality of a mapping when <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643093.png" />, in contrast to the Cauchy–Riemann conditions for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643094.png" />, consists of an overdetermined system of partial differential equations. |
− | |||
− | also has its own features. This is first of all connected with the absence of conformal mappings: according to Liouville's theorem, every sufficiently smooth conformal mapping of a domain | ||
− | |||
− | is a Möbius transformation, that is, a superposition of an inversion and a rotation. The essence of this fact is that the condition of conformality of a mapping when | ||
− | in contrast to the Cauchy–Riemann conditions for | ||
− | consists of an overdetermined system of partial differential equations. | ||
− | Some important results of the spatial theory of quasi-conformal mappings are indicated below. Liouville's theorem is valid both in the case of Hilbert space [[#References|[36]]] and under minimal a priori regularity conditions on the mapping [[#References|[19]]], [[#References|[38]]]. In Liouville's theorem there is stability ([[#References|[8]]], [[#References|[38]]]), in the sense that there exist constants | + | Some important results of the spatial theory of quasi-conformal mappings are indicated below. Liouville's theorem is valid both in the case of Hilbert space [[#References|[36]]] and under minimal a priori regularity conditions on the mapping [[#References|[19]]], [[#References|[38]]]. In Liouville's theorem there is stability ([[#References|[8]]], [[#References|[38]]]), in the sense that there exist constants <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643095.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643096.png" /> and a function <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643097.png" />, as <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643098.png" />, with the following properties: a) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q07643099.png" /> is a quasi-conformal mapping of the ball <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430100.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430101.png" />, then there exists a Möbius transformation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430102.png" /> such that |
− | and | ||
− | and a function | ||
− | as | ||
− | with the following properties: a) if | ||
− | is a quasi-conformal mapping of the ball | ||
− | with | ||
− | then there exists a Möbius transformation | ||
− | such that | ||
− | + | <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/q076/q076430/q076430103.png" /></td> </tr></table> | |
− | |||
− | |||
− | and the image of the unit ball under | + | and the image of the unit ball under <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430104.png" /> contains the ball <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430105.png" />; b) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430106.png" />, then |
− | contains the ball | ||
− | b) if | ||
− | then | ||
− | + | <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/q076/q076430/q076430107.png" /></td> </tr></table> | |
− | |||
− | |||
− | |||
− | |||
where | where | ||
− | + | <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/q076/q076430/q076430108.png" /></td> </tr></table> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | c) if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430109.png" />, then | |
− | |||
− | |||
− | |||
− | |||
− | + | <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/q076/q076430/q076430110.png" /></td> </tr></table> | |
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | |||
− | + | throughout the ball <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430111.png" />. Stability also holds in certain classes of domains with a non-regular boundary, and also in the sense of different norms [[#References|[38]]]. At present (1990), stability estimates have been established for dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430112.png" />, with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430113.png" /> finite and fixed (i.e. <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430114.png" /> are also functions of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430115.png" />). | |
− | |||
− | + | In the same way that a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430116.png" />-quasi-conformal mapping turns out to be a Möbius transformation even without the a priori assumption that it is a homeomorphism, a quasi-conformal mapping is locally homeomorphic as soon as its coefficient of quasi-conformality is sufficiently close to 1 [[#References|[22]]], [[#References|[34]]]. In contrast to the planar case, every locally homeomorphic quasi-conformal mapping of the unit ball in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430117.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430118.png" />, is automatically homeomorphic in some ball <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430119.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430120.png" /> depends only on the dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430121.png" /> of the space and the coefficient of quasi-conformality <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430122.png" /> of the mapping [[#References|[34]]]. In particular, a locally homeomorphic quasi-conformal mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430123.png" /> of the whole space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430124.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430125.png" />, is globally homeomorphic, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430126.png" /> [[#References|[39]]], [[#References|[52]]]. Boundary behaviour: If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430127.png" /> is a quasi-conformal mapping of the half-space <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430128.png" /> of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430129.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430130.png" />, onto itself, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430131.png" /> can be extended to a homeomorphism of the closed domains; here the induced homeomorphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430132.png" /> on the boundary <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430133.png" /> satisfies for the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430134.png" /> the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430136.png" />-condition [[#References|[15]]]: | |
− | + | <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/q076/q076430/q076430137.png" /></td> </tr></table> | |
− | |||
− | and in the case | + | and in the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430138.png" /> it is quasi-conformal [[#References|[19]]]. Each of these last two conditions on the dimension is not only necessary but also sufficient in order that a mapping <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430139.png" /> be the boundary trace of some quasi-conformal mapping [[#References|[45]]]–[[#References|[47]]]. |
− | it is quasi-conformal [[#References|[19]]]. Each of these last two conditions on the dimension is not only necessary but also sufficient in order that a mapping | ||
− | be the boundary trace of some quasi-conformal mapping [[#References|[45]]]–[[#References|[47]]]. | ||
− | The possibility arising from this of extending a quasi-conformal automorphism of [[Lobachevskii space|Lobachevskii space]] to a quasi-conformal mapping of the [[Absolute|absolute]] of this space, in accordance with the fact that a | + | The possibility arising from this of extending a quasi-conformal automorphism of [[Lobachevskii space|Lobachevskii space]] to a quasi-conformal mapping of the [[Absolute|absolute]] of this space, in accordance with the fact that a <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430140.png" />-quasi-conformal mapping of the sphere is conformal and is the trace of a conformal automorphism of the ball, lies at the basis of the proof of the rigidity of spatial hyperbolic forms: If two closed Riemannian manifolds of dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430141.png" /> and of the same constant negative curvature are homeomorphic, then they are isometric (see [[#References|[35]]], [[#References|[41]]]). |
− | quasi-conformal mapping of the sphere is conformal and is the trace of a conformal automorphism of the ball, lies at the basis of the proof of the rigidity of spatial hyperbolic forms: If two closed Riemannian manifolds of dimension | ||
− | and of the same constant negative curvature are homeomorphic, then they are isometric (see [[#References|[35]]], [[#References|[41]]]). | ||
The normality property and the character of convergence of quasi-conformal mappings made it possible, on the one hand, to establish the Carathéodory convergence theorem for quasi-conformal mappings [[#References|[20]]] and, on the other hand, to apply the mappings to the positive solution of the Lichnerowicz conjecture: The conformal group of automorphisms of a compact Riemannian manifold is not compact if and only if the manifold is a sphere [[#References|[33]]]. | The normality property and the character of convergence of quasi-conformal mappings made it possible, on the one hand, to establish the Carathéodory convergence theorem for quasi-conformal mappings [[#References|[20]]] and, on the other hand, to apply the mappings to the positive solution of the Lichnerowicz conjecture: The conformal group of automorphisms of a compact Riemannian manifold is not compact if and only if the manifold is a sphere [[#References|[33]]]. | ||
− | A lot of results in the theory concern quasi-regular (i.e. non-homeomorphic quasi-conformal) mappings [[#References|[34]]], [[#References|[37]]]. An advanced theory of value distribution has been worked out for such mappings. Also, a theorem of Picard type has been proved, and it happens that the possibility of omitting a finite number of points in | + | A lot of results in the theory concern quasi-regular (i.e. non-homeomorphic quasi-conformal) mappings [[#References|[34]]], [[#References|[37]]]. An advanced theory of value distribution has been worked out for such mappings. Also, a theorem of Picard type has been proved, and it happens that the possibility of omitting a finite number of points in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430142.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430143.png" /> depends on the coefficient of quasi-conformality of the mapping [[#References|[39]]], [[#References|[40]]]. |
− | for | ||
− | depends on the coefficient of quasi-conformality of the mapping [[#References|[39]]], [[#References|[40]]]. | ||
− | A concise exhaustive presentation of the theory of quasi-conformal mappings in dimension | + | A concise exhaustive presentation of the theory of quasi-conformal mappings in dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430144.png" /> can be found in [[#References|[2]]], [[#References|[32]]]; references [[#References|[37]]], [[#References|[48]]], [[#References|[16]]], [[#References|[19]]] are devoted to the case <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430145.png" />. One can find a large bibliography in [[#References|[17]]] and in the more recent monograph [[#References|[51]]]. Articles [[#References|[3]]], [[#References|[21]]], [[#References|[49]]] are survey reports at international mathematical congresses. |
− | can be found in [[#References|[2]]], [[#References|[32]]]; references [[#References|[37]]], [[#References|[48]]], [[#References|[16]]], [[#References|[19]]] are devoted to the case | ||
− | One can find a large bibliography in [[#References|[17]]] and in the more recent monograph [[#References|[51]]]. Articles [[#References|[3]]], [[#References|[21]]], [[#References|[49]]] are survey reports at international mathematical congresses. | ||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[1]</TD> <TD valign="top"> L.V. Ahlfors, "Zur Theorie der Überlagerungsflächen" ''Acta Math.'' , '''65''' (1935) pp. 157–194</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> L.V. Ahlfors, "Lectures on quasi-conformal mappings" , v. Nostrand (1966)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> L.V. Ahlfors, "Quasi-conformal mappings, Teichmüller spaces and Kleinian groups" , ''Proc. Internat. Congress Mathematicians (Helsinki, 1978)'' , Acad. Sci. Fennicae (1980) pp. 71–84</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> L.V. Ahlfors, "Möbius transformations in several dimensions" , Univ. Minnesota (1981)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> L.V. Ahlfors, L. Bers, "Riemann's mapping theorem for variable metrics" ''Ann. of Math. (2)'' , '''72''' (1960) pp. 385–404</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> L.V. Ahlfors, L. Bers, "Spaces of Riemann surfaces and quasi-conformal mappings" , Moscow (1961) (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> P.P. Belinskii, "General properties of quasi-conformal mappings" , Novosibirsk (1974) (In Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> P.P. Belinskii, "On the order of closeness of a spatial quasi-conformal mapping to conformal" ''Sibir. Math. J.'' , '''14''' : 3 (1974) pp. 325–331 ''Sibirsk. Mat. Zh.'' , '''14''' : 3 (1973) pp. 475–483</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> L. Bers, "Mathematical aspects of subsonic and transonic gas dynamics" , Chapman & Hall (1958)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> L. Bers, "Quasi-conformal mappings and Teichmüller's theorem" R. Nevanlinna (ed.) et al. (ed.) , ''Analytic functions'' , Princeton Univ. Press (1960) pp. 89–119</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> L. Bers, "Uniformization, moduli and Kleinian groups" ''Bull. London Math. Soc.'' , '''4''' (1972) pp. 257–300</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> L. Bers, "Quasi-conformal mappings with applications to differential equations, function theory and topology" ''Bull. Amer. Math. Soc.'' , '''83''' (1977) pp. 1083–1100</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> L. Bers, "An extremal problem for quasi-conformal mappings and a problem of Thurston" ''Acta Math.'' , '''141''' (1978) pp. 73–98</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top"> L. Bers, "Finite dimensional Teichmüller spaces and generalizations" ''Bull. Amer. Math. Soc.'' , '''5''' (1981) pp. 131–172</TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top"> A. Beurling, L.V. Ahlfors, "The boundary correspondence under quasi-conformal mappings" ''Acta Math.'' , '''96''' (1956) pp. 125–142</TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top"> B. Bojarski, T. Ivaniec, "Analytical foundations of the theory of quasi-conformal mappings in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430146.png" />" ''Ann. Acad. Sci. Fenn. Ser. AI Math.'' , '''8''' (1983) pp. 257–324</TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top"> P. Caraman, "<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430147.png" />-dimensional quasi-conformal (Qcf) mappings" , Ed. Acad. Romania & Abacus Press (1974)</TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top"> D. Drasin, "The inverse problem of Nevanlinna theory" ''Acta Math.'' , '''138''' (1977) pp. 83–151</TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top"> F.W. Gehring, "Rings and quasiconformal mappings in space" ''Trans. Amer. Math. Soc.'' , '''103''' (1962) pp. 353–393</TD></TR><TR><TD valign="top">[20]</TD> <TD valign="top"> F.W. Gehring, "The Carathéodory convergence theorem for quasiconformal mappings in space" ''Ann. Acad. Sci. Fenn. Ser. AI Math.'' , '''336''' : 11 (1964) pp. 1–21</TD></TR><TR><TD valign="top">[21]</TD> <TD valign="top"> F.W. Gehring, "Topics in quasiconformal mappings" , ''Proc. Internat. Congress Mathematicians (Berkeley, 1986)'' , Amer. Math. Soc. (1987) pp. 62–80</TD></TR><TR><TD valign="top">[22]</TD> <TD valign="top"> V.M. Gol'dshtein, "The behavior of mappings with bounded distortion when the coefficient of distortion is close to unity" ''Siber. Math. J.'' , '''12''' : 6 (1971) pp. 900–907 ''Sibirsk. Mat. Zh.'' , '''12''' : 6 (1971) pp. 1250–1259</TD></TR><TR><TD valign="top">[23]</TD> <TD valign="top"> H. Grötzsch, "Über die Verzerrung bei schlichten nichtkonformen Abbildungen und über eine damit zusammenhängende Erweiterung des Picardschen Satzes" ''Ber. Verh. Sächs. Akad. Wiss. Leipzig'' , '''80''' (1928) pp. 503–507</TD></TR><TR><TD valign="top">[24]</TD> <TD valign="top"> H. Grötzsch, "Über möglichst konforme Abbildungen von schlichten Bereichen" ''Ber. Verh. Sächs. Akad. Wiss. Leipzig'' , '''84''' (1932) pp. 114–120</TD></TR><TR><TD valign="top">[25]</TD> <TD valign="top"> I. Kra, "On the Nielsen–Thurston–Bers type of some self-maps of Riemann surfaces" ''Acta Math.'' , '''146''' (1981) pp. 231–270</TD></TR><TR><TD valign="top">[26]</TD> <TD valign="top"> S.L. Krushkal', "Quasi-conformal mappings and Riemann surfaces" , Winston (1979) (Translated from Russian)</TD></TR><TR><TD valign="top">[27]</TD> <TD valign="top"> S.L. Krushkal', R. Kühnau, "Quasi-konforme Abbildungen - neue Methoden und Anwendungen" , Teubner (1983)</TD></TR><TR><TD valign="top">[28]</TD> <TD valign="top"> M. [M.A. Lavrent'ev] Lavrentieff, "Sur une classe de réprésentation continues" ''Rec. Math.'' , '''42''' (1935) pp. 407–424</TD></TR><TR><TD valign="top">[29]</TD> <TD valign="top"> M. [M.A. Lavrent'ev] Lavrentieff, "Sur une critère différentiel des transformation homéomorphes des domaines à trois dimensions" ''Dokl. Akad. Nauk SSSR'' , '''20''' (1938) pp. 241–242</TD></TR><TR><TD valign="top">[30]</TD> <TD valign="top"> M. [M.A. Lavrent'ev] Lavrentieff, "The main theorem of the theory of quasi-conformal mappings of plain domains" ''Izv. Akad. Nauk SSSR'' , '''12''' (1948) pp. 513–554 (In Russian)</TD></TR><TR><TD valign="top">[31]</TD> <TD valign="top"> M.A. Lavrent'ev, "Variational methods for boundary value problems for systems of elliptic equations" , Noordhoff (1963) (Translated from Russian)</TD></TR><TR><TD valign="top">[32]</TD> <TD valign="top"> O. Lehto, K.I. Virtanen, "Quasiconformal mappings in the plane" , Springer (1973)</TD></TR><TR><TD valign="top">[33]</TD> <TD valign="top"> J. Lelong-Ferrand, "Transformations conformes et quasiconformes des variétés Riemanniennes compactes (Démonstration de la conjecture de A. Lichnerowicz)" ''Acad. Roy. Belg. Cl. Sci. Mém. Collect.'' , '''39''' (1971) pp. 1–44</TD></TR><TR><TD valign="top">[34]</TD> <TD valign="top"> O. Martio, S. Rickman, J. Väisälä, "Topological and metric properties of quasiregular mappings" ''Ann. Acad. Sci. Fenn. Ser. AI Math.'' , '''488''' (1971) pp. 1–31</TD></TR><TR><TD valign="top">[35]</TD> <TD valign="top"> G.D. Mostow, "Quasiconformal mappings in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430148.png" />-space and the rigidity of hyperbolic space forms" ''Publ. Math. IHES'' , '''34''' (1968) pp. 53–104</TD></TR><TR><TD valign="top">[36]</TD> <TD valign="top"> R. Nevanlinna, "On differentiable mappings" R. Nevanlinna (ed.) et al. (ed.) , ''Analytic functions'' , Princeton Univ. Press (1960) pp. 3–9</TD></TR><TR><TD valign="top">[37]</TD> <TD valign="top"> Yu.G. Reshet'nyak, "Space mappings with bounded distortion" , Amer. Math. Soc. (1989) (Translated from Russian)</TD></TR><TR><TD valign="top">[38]</TD> <TD valign="top"> Yu.G. Reshet'nyak, "Stability theorems in geometry and analysis" , Novosibirsk (1982) (In Russian)</TD></TR><TR><TD valign="top">[39]</TD> <TD valign="top"> S. Rickman, "On the number of omitted values of entire quasiregular mappings" ''J. d'Anal. Math.'' , '''37''' (1980) pp. 100–117</TD></TR><TR><TD valign="top">[40]</TD> <TD valign="top"> S. Rickman, "The analogue of Picard's theorem for quasiregular mappings in dimension three" ''Acta Math.'' , '''154''' (1985) pp. 195–242</TD></TR><TR><TD valign="top">[41]</TD> <TD valign="top"> D. Sullivan, "On the ergodic theory at infinity of an arbitrary discrete group of hyperbolic motions" I. Kra (ed.) B. Maskit (ed.) , ''Riemann Surfaces and Related Topics (Proc. 1978 Stony Brook Conf.)'' , Princeton Univ. Press (1981) pp. 465–496</TD></TR><TR><TD valign="top">[42]</TD> <TD valign="top"> D. Sullivan, "Quasi-conformal homeomorphisms and dynamics I. Solution of the Fatou–Julia problem on wandering domains" ''Ann. of Math.'' , '''122''' (1985) pp. 401–418</TD></TR><TR><TD valign="top">[43]</TD> <TD valign="top"> D. Sullivan, "Quasiconformal homeomorphisms and dynamics II. Structural stability implies hyperbolicity for Kleinian groups" ''Acta Math.'' , '''155''' (1985) pp. 243–260</TD></TR><TR><TD valign="top">[44]</TD> <TD valign="top"> O. Teichmüller, "Extremale quasikonforme Abbildungen und quadratische Differentiale" ''Abh. Preuss. Akad. Wiss. Math.-Nat. Kl.'' , '''22''' (1940) pp. 1–197</TD></TR><TR><TD valign="top">[45]</TD> <TD valign="top"> P. Tukia, "Quasiconformal extension of quasisymmetric mappings compatible with a Möbius group" ''Acta Math.'' , '''154''' (1985) pp. 153–193</TD></TR><TR><TD valign="top">[46]</TD> <TD valign="top"> P. Tukia, J. Väisälä, "Quasiconformal extension from dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430149.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430150.png" />" ''Ann. of Math.'' , '''115''' (1982) pp. 331–348</TD></TR><TR><TD valign="top">[47]</TD> <TD valign="top"> P. Tukia, J. Väisälä, "Bilipschitz extensions of maps having quasiconformal extensions" ''Math. Ann.'' , '''269''' (1984) pp. 561–572</TD></TR><TR><TD valign="top">[48]</TD> <TD valign="top"> J. Väisälä, "Lectures on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430151.png" />-dimensional quasiconformal mappings" , ''Lect. notes in math.'' , '''229''' , Springer (1971)</TD></TR><TR><TD valign="top">[49]</TD> <TD valign="top"> J. Väisälä, "A survey of quasiregular maps in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430152.png" />" , ''Proc. Internat. Congress Mathematicians (Helsinki, 1978)'' , Acad. Sci. Fennicae (1980) pp. 685–691</TD></TR><TR><TD valign="top">[50]</TD> <TD valign="top"> I.N. Vekua, "Generalized analytic functions" , Pergamon (1962) (Translated from Russian)</TD></TR><TR><TD valign="top">[51]</TD> <TD valign="top"> M. Vuorinen, "Conformal geometry and quasiregular mappings" , ''Lect. notes in math.'' , '''1319''' , Springer (1988)</TD></TR><TR><TD valign="top">[52]</TD> <TD valign="top"> V.A. Zorich, "A theorem of M.A. Lavrent'ev on quasiconformal space maps" ''Math. USSR Sb.'' , '''3''' : 3 (1976) pp. 389–403 ''Mat. Sb.'' , '''74''' (1967) pp. 417–433</TD></TR></table> | <table><TR><TD valign="top">[1]</TD> <TD valign="top"> L.V. Ahlfors, "Zur Theorie der Überlagerungsflächen" ''Acta Math.'' , '''65''' (1935) pp. 157–194</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top"> L.V. Ahlfors, "Lectures on quasi-conformal mappings" , v. Nostrand (1966)</TD></TR><TR><TD valign="top">[3]</TD> <TD valign="top"> L.V. Ahlfors, "Quasi-conformal mappings, Teichmüller spaces and Kleinian groups" , ''Proc. Internat. Congress Mathematicians (Helsinki, 1978)'' , Acad. Sci. Fennicae (1980) pp. 71–84</TD></TR><TR><TD valign="top">[4]</TD> <TD valign="top"> L.V. Ahlfors, "Möbius transformations in several dimensions" , Univ. Minnesota (1981)</TD></TR><TR><TD valign="top">[5]</TD> <TD valign="top"> L.V. Ahlfors, L. Bers, "Riemann's mapping theorem for variable metrics" ''Ann. of Math. (2)'' , '''72''' (1960) pp. 385–404</TD></TR><TR><TD valign="top">[6]</TD> <TD valign="top"> L.V. Ahlfors, L. Bers, "Spaces of Riemann surfaces and quasi-conformal mappings" , Moscow (1961) (In Russian)</TD></TR><TR><TD valign="top">[7]</TD> <TD valign="top"> P.P. Belinskii, "General properties of quasi-conformal mappings" , Novosibirsk (1974) (In Russian)</TD></TR><TR><TD valign="top">[8]</TD> <TD valign="top"> P.P. Belinskii, "On the order of closeness of a spatial quasi-conformal mapping to conformal" ''Sibir. Math. J.'' , '''14''' : 3 (1974) pp. 325–331 ''Sibirsk. Mat. Zh.'' , '''14''' : 3 (1973) pp. 475–483</TD></TR><TR><TD valign="top">[9]</TD> <TD valign="top"> L. Bers, "Mathematical aspects of subsonic and transonic gas dynamics" , Chapman & Hall (1958)</TD></TR><TR><TD valign="top">[10]</TD> <TD valign="top"> L. Bers, "Quasi-conformal mappings and Teichmüller's theorem" R. Nevanlinna (ed.) et al. (ed.) , ''Analytic functions'' , Princeton Univ. Press (1960) pp. 89–119</TD></TR><TR><TD valign="top">[11]</TD> <TD valign="top"> L. Bers, "Uniformization, moduli and Kleinian groups" ''Bull. London Math. Soc.'' , '''4''' (1972) pp. 257–300</TD></TR><TR><TD valign="top">[12]</TD> <TD valign="top"> L. Bers, "Quasi-conformal mappings with applications to differential equations, function theory and topology" ''Bull. Amer. Math. Soc.'' , '''83''' (1977) pp. 1083–1100</TD></TR><TR><TD valign="top">[13]</TD> <TD valign="top"> L. Bers, "An extremal problem for quasi-conformal mappings and a problem of Thurston" ''Acta Math.'' , '''141''' (1978) pp. 73–98</TD></TR><TR><TD valign="top">[14]</TD> <TD valign="top"> L. Bers, "Finite dimensional Teichmüller spaces and generalizations" ''Bull. Amer. Math. Soc.'' , '''5''' (1981) pp. 131–172</TD></TR><TR><TD valign="top">[15]</TD> <TD valign="top"> A. Beurling, L.V. Ahlfors, "The boundary correspondence under quasi-conformal mappings" ''Acta Math.'' , '''96''' (1956) pp. 125–142</TD></TR><TR><TD valign="top">[16]</TD> <TD valign="top"> B. Bojarski, T. Ivaniec, "Analytical foundations of the theory of quasi-conformal mappings in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430146.png" />" ''Ann. Acad. Sci. Fenn. Ser. AI Math.'' , '''8''' (1983) pp. 257–324</TD></TR><TR><TD valign="top">[17]</TD> <TD valign="top"> P. Caraman, "<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430147.png" />-dimensional quasi-conformal (Qcf) mappings" , Ed. Acad. Romania & Abacus Press (1974)</TD></TR><TR><TD valign="top">[18]</TD> <TD valign="top"> D. Drasin, "The inverse problem of Nevanlinna theory" ''Acta Math.'' , '''138''' (1977) pp. 83–151</TD></TR><TR><TD valign="top">[19]</TD> <TD valign="top"> F.W. Gehring, "Rings and quasiconformal mappings in space" ''Trans. Amer. Math. Soc.'' , '''103''' (1962) pp. 353–393</TD></TR><TR><TD valign="top">[20]</TD> <TD valign="top"> F.W. Gehring, "The Carathéodory convergence theorem for quasiconformal mappings in space" ''Ann. Acad. Sci. Fenn. Ser. AI Math.'' , '''336''' : 11 (1964) pp. 1–21</TD></TR><TR><TD valign="top">[21]</TD> <TD valign="top"> F.W. Gehring, "Topics in quasiconformal mappings" , ''Proc. Internat. Congress Mathematicians (Berkeley, 1986)'' , Amer. Math. Soc. (1987) pp. 62–80</TD></TR><TR><TD valign="top">[22]</TD> <TD valign="top"> V.M. Gol'dshtein, "The behavior of mappings with bounded distortion when the coefficient of distortion is close to unity" ''Siber. Math. J.'' , '''12''' : 6 (1971) pp. 900–907 ''Sibirsk. Mat. Zh.'' , '''12''' : 6 (1971) pp. 1250–1259</TD></TR><TR><TD valign="top">[23]</TD> <TD valign="top"> H. Grötzsch, "Über die Verzerrung bei schlichten nichtkonformen Abbildungen und über eine damit zusammenhängende Erweiterung des Picardschen Satzes" ''Ber. Verh. Sächs. Akad. Wiss. Leipzig'' , '''80''' (1928) pp. 503–507</TD></TR><TR><TD valign="top">[24]</TD> <TD valign="top"> H. Grötzsch, "Über möglichst konforme Abbildungen von schlichten Bereichen" ''Ber. Verh. Sächs. Akad. Wiss. Leipzig'' , '''84''' (1932) pp. 114–120</TD></TR><TR><TD valign="top">[25]</TD> <TD valign="top"> I. Kra, "On the Nielsen–Thurston–Bers type of some self-maps of Riemann surfaces" ''Acta Math.'' , '''146''' (1981) pp. 231–270</TD></TR><TR><TD valign="top">[26]</TD> <TD valign="top"> S.L. Krushkal', "Quasi-conformal mappings and Riemann surfaces" , Winston (1979) (Translated from Russian)</TD></TR><TR><TD valign="top">[27]</TD> <TD valign="top"> S.L. Krushkal', R. Kühnau, "Quasi-konforme Abbildungen - neue Methoden und Anwendungen" , Teubner (1983)</TD></TR><TR><TD valign="top">[28]</TD> <TD valign="top"> M. [M.A. Lavrent'ev] Lavrentieff, "Sur une classe de réprésentation continues" ''Rec. Math.'' , '''42''' (1935) pp. 407–424</TD></TR><TR><TD valign="top">[29]</TD> <TD valign="top"> M. [M.A. Lavrent'ev] Lavrentieff, "Sur une critère différentiel des transformation homéomorphes des domaines à trois dimensions" ''Dokl. Akad. Nauk SSSR'' , '''20''' (1938) pp. 241–242</TD></TR><TR><TD valign="top">[30]</TD> <TD valign="top"> M. [M.A. Lavrent'ev] Lavrentieff, "The main theorem of the theory of quasi-conformal mappings of plain domains" ''Izv. Akad. Nauk SSSR'' , '''12''' (1948) pp. 513–554 (In Russian)</TD></TR><TR><TD valign="top">[31]</TD> <TD valign="top"> M.A. Lavrent'ev, "Variational methods for boundary value problems for systems of elliptic equations" , Noordhoff (1963) (Translated from Russian)</TD></TR><TR><TD valign="top">[32]</TD> <TD valign="top"> O. Lehto, K.I. Virtanen, "Quasiconformal mappings in the plane" , Springer (1973)</TD></TR><TR><TD valign="top">[33]</TD> <TD valign="top"> J. Lelong-Ferrand, "Transformations conformes et quasiconformes des variétés Riemanniennes compactes (Démonstration de la conjecture de A. Lichnerowicz)" ''Acad. Roy. Belg. Cl. Sci. Mém. Collect.'' , '''39''' (1971) pp. 1–44</TD></TR><TR><TD valign="top">[34]</TD> <TD valign="top"> O. Martio, S. Rickman, J. Väisälä, "Topological and metric properties of quasiregular mappings" ''Ann. Acad. Sci. Fenn. Ser. AI Math.'' , '''488''' (1971) pp. 1–31</TD></TR><TR><TD valign="top">[35]</TD> <TD valign="top"> G.D. Mostow, "Quasiconformal mappings in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430148.png" />-space and the rigidity of hyperbolic space forms" ''Publ. Math. IHES'' , '''34''' (1968) pp. 53–104</TD></TR><TR><TD valign="top">[36]</TD> <TD valign="top"> R. Nevanlinna, "On differentiable mappings" R. Nevanlinna (ed.) et al. (ed.) , ''Analytic functions'' , Princeton Univ. Press (1960) pp. 3–9</TD></TR><TR><TD valign="top">[37]</TD> <TD valign="top"> Yu.G. Reshet'nyak, "Space mappings with bounded distortion" , Amer. Math. Soc. (1989) (Translated from Russian)</TD></TR><TR><TD valign="top">[38]</TD> <TD valign="top"> Yu.G. Reshet'nyak, "Stability theorems in geometry and analysis" , Novosibirsk (1982) (In Russian)</TD></TR><TR><TD valign="top">[39]</TD> <TD valign="top"> S. Rickman, "On the number of omitted values of entire quasiregular mappings" ''J. d'Anal. Math.'' , '''37''' (1980) pp. 100–117</TD></TR><TR><TD valign="top">[40]</TD> <TD valign="top"> S. Rickman, "The analogue of Picard's theorem for quasiregular mappings in dimension three" ''Acta Math.'' , '''154''' (1985) pp. 195–242</TD></TR><TR><TD valign="top">[41]</TD> <TD valign="top"> D. Sullivan, "On the ergodic theory at infinity of an arbitrary discrete group of hyperbolic motions" I. Kra (ed.) B. Maskit (ed.) , ''Riemann Surfaces and Related Topics (Proc. 1978 Stony Brook Conf.)'' , Princeton Univ. Press (1981) pp. 465–496</TD></TR><TR><TD valign="top">[42]</TD> <TD valign="top"> D. Sullivan, "Quasi-conformal homeomorphisms and dynamics I. Solution of the Fatou–Julia problem on wandering domains" ''Ann. of Math.'' , '''122''' (1985) pp. 401–418</TD></TR><TR><TD valign="top">[43]</TD> <TD valign="top"> D. Sullivan, "Quasiconformal homeomorphisms and dynamics II. Structural stability implies hyperbolicity for Kleinian groups" ''Acta Math.'' , '''155''' (1985) pp. 243–260</TD></TR><TR><TD valign="top">[44]</TD> <TD valign="top"> O. Teichmüller, "Extremale quasikonforme Abbildungen und quadratische Differentiale" ''Abh. Preuss. Akad. Wiss. Math.-Nat. Kl.'' , '''22''' (1940) pp. 1–197</TD></TR><TR><TD valign="top">[45]</TD> <TD valign="top"> P. Tukia, "Quasiconformal extension of quasisymmetric mappings compatible with a Möbius group" ''Acta Math.'' , '''154''' (1985) pp. 153–193</TD></TR><TR><TD valign="top">[46]</TD> <TD valign="top"> P. Tukia, J. Väisälä, "Quasiconformal extension from dimension <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430149.png" /> to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430150.png" />" ''Ann. of Math.'' , '''115''' (1982) pp. 331–348</TD></TR><TR><TD valign="top">[47]</TD> <TD valign="top"> P. Tukia, J. Väisälä, "Bilipschitz extensions of maps having quasiconformal extensions" ''Math. Ann.'' , '''269''' (1984) pp. 561–572</TD></TR><TR><TD valign="top">[48]</TD> <TD valign="top"> J. Väisälä, "Lectures on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430151.png" />-dimensional quasiconformal mappings" , ''Lect. notes in math.'' , '''229''' , Springer (1971)</TD></TR><TR><TD valign="top">[49]</TD> <TD valign="top"> J. Väisälä, "A survey of quasiregular maps in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430152.png" />" , ''Proc. Internat. Congress Mathematicians (Helsinki, 1978)'' , Acad. Sci. Fennicae (1980) pp. 685–691</TD></TR><TR><TD valign="top">[50]</TD> <TD valign="top"> I.N. Vekua, "Generalized analytic functions" , Pergamon (1962) (Translated from Russian)</TD></TR><TR><TD valign="top">[51]</TD> <TD valign="top"> M. Vuorinen, "Conformal geometry and quasiregular mappings" , ''Lect. notes in math.'' , '''1319''' , Springer (1988)</TD></TR><TR><TD valign="top">[52]</TD> <TD valign="top"> V.A. Zorich, "A theorem of M.A. Lavrent'ev on quasiconformal space maps" ''Math. USSR Sb.'' , '''3''' : 3 (1976) pp. 389–403 ''Mat. Sb.'' , '''74''' (1967) pp. 417–433</TD></TR></table> | ||
+ | |||
+ | |||
====Comments==== | ====Comments==== | ||
− | The measurable Riemann mapping theorem was proved first by C.B. Morrey in [[#References|[a1]]]. The important paper [[#References|[5]]] of L.V. Ahlfors and L. Bers shows that if | + | The measurable Riemann mapping theorem was proved first by C.B. Morrey in [[#References|[a1]]]. The important paper [[#References|[5]]] of L.V. Ahlfors and L. Bers shows that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430153.png" /> depends in a continuous (or continuously differentiable, or real analytic, or complex analytic) fashion on a parameter <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430154.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/q/q076/q076430/q076430155.png" />, the solution of the Beltrami equation (1), does so as well. |
− | depends in a continuous (or continuously differentiable, or real analytic, or complex analytic) fashion on a parameter | ||
− | then | ||
− | the solution of the Beltrami equation (1), does so as well. | ||
====References==== | ====References==== | ||
<table><TR><TD valign="top">[a1]</TD> <TD valign="top"> C.B. Morrey, "On the solutions of quasilinear elliptic partial differential equations" ''Trans. Amer. Math. Soc.'' , '''43''' (1938) pp. 126–166</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> V. Gol'dshtein, Yu.G. Reshet'nyak, "Quasiconformal mappings and Sobolev spaces" , Kluwer (1990) (Translated from Russian)</TD></TR></table> | <table><TR><TD valign="top">[a1]</TD> <TD valign="top"> C.B. Morrey, "On the solutions of quasilinear elliptic partial differential equations" ''Trans. Amer. Math. Soc.'' , '''43''' (1938) pp. 126–166</TD></TR><TR><TD valign="top">[a2]</TD> <TD valign="top"> V. Gol'dshtein, Yu.G. Reshet'nyak, "Quasiconformal mappings and Sobolev spaces" , Kluwer (1990) (Translated from Russian)</TD></TR></table> |
Revision as of 14:53, 7 June 2020
A mapping with bounded distortion or bounded deviation from a conformal mapping. A numerical characterization of the distortion under a mapping at a point
is the coefficient
of quasi-conformality (dilatation or dilation) of
at this point:
![]() |
The quantity
![]() |
is called the coefficient of quasi-conformality (or linear dilatation) of in the domain
. An orientation-preserving mapping
is called quasi-conformal (or a mapping with bounded distortion) if
; it is called
-quasi-conformal if
. For a conformal mapping
. If
is differentiable at the point
, then the linear mapping
transforms a ball of the tangent space into an ellipsoid the ratio of the major to the minor semi-axis of which is
.
Along with the given definition, one often uses the following, equivalent, conditions of quasi-conformality of in a domain
:
(that is,
has generalized derivatives that are locally
-th power summable in
) and there exists a real number
such that
![]() |
or
![]() |
for almost-all points .
The term "quasi-conformal mapping" , as a rule, presupposes the mapping to be a homeomorphism. Non-homeomorphisms with bounded distortion are usually called quasi-regular mappings. The theory of quasi-conformal mappings of domains in for
and for
, provided that one is not considering general and, as a rule, simple questions for them, has sharp differences.
Two-dimensional theory.
In this case the differential of a mapping at a point can be written in the form
![]() |
It is defined up to a factor by the formula
![]() | (1) |
The function is called the Beltrami coefficient, the complex dilatation or the complex characteristic of the mapping
at the point
;
for a mapping with a positive Jacobian
. For analytic mappings
, which are the Cauchy–Riemann conditions. The coefficient
of quasi-conformality of a mapping at a point is expressed in terms of
by
![]() |
therefore the condition of quasi-conformality of an in terms of the complex characteristic is
.
Usually formula (1) appears as an equation in with a known function
; it is called the Beltrami equation (or Beltrami system). For example, the problem of conformally mapping one domain
onto another
is the problem of seeking a homeomorphism
that satisfies the Beltrami equation in
with
.
An example of a problem that reduces to the solution of the general equation (1) is the classical Gauss problem of the simultaneous reduction to canonical form in all of a given domain of a positive-definite quadratic form in two variables, or, what is the same, the problem of constructing conformally-Euclidean coordinates on a two-dimensional surface (see [50]).
The basic fact [5], [30] of the two-dimensional theory of quasi-conformal mappings, analogous to the Riemann mapping theorem, (cf. Riemann theorem), is called the measurable Riemann mapping theorem and consists in the following. For each measurable function in a domain
such that
, find a quasi-conformal homeomorphism
of
with complex characteristic
; the general solution of equation (1) in
has the form
, where
is the to be constructed quasi-conformal homeomorphism and
is any analytic function.
If is the unit disc,
can be chosen so that
. Then
can be extended to a homeomorphism of the closed disc onto itself and the normalization conditions
,
select a unique homeomorphism
satisfying the Beltrami equation. If, in addition,
,
,
, then
, where
is the space of functions that have
continuous derivatives in
, the highest being Hölder continuous in
of order
(cf. Hölder condition). If a sequence
of normalized quasi-conformal automorphisms of the disc
is such that
and
as
, then
![]() |
Quasi-conformal mappings as homeomorphic solutions of strongly-elliptic systems
![]() | (2) |
are also naturally connected with problems on streamline flows of subsonic gas dynamics, just as conformal mappings satisfying the Cauchy–Riemann system are connected with the flow of an incompressible ideal fluid (see [9], [31]).
The general problem of constructing a quasi-conformal mapping from one simply-connected domain onto another satisfying (2) was posed and solved by M.A. Lavrent'ev [28], [31], one of the founders of the theory of quasi-conformal mappings. Quasi-conformal mappings appeared in explicit form in the works of H. Grötzsch (see [23], [24]). In particular, he considered [24] the following extremal problem (Grötzsch' problem, [2]): To find among the mappings taking the vertices of a square to vertices of a rectangle that is not a square, a mapping that is nearest to a conformal one. In order to characterize the measure of this closeness it was necessary to introduce the coefficient of quasi-conformality, an initial concept in the geometric theory of quasi-conformal mappings. These mappings occurred later under the name quasi-conformal in the paper [1] by L.V. Ahlfors on covering surfaces. In the late 1930's O. Teichmüller vastly extended the study of Grötzsch to mappings between closed Riemann surfaces and obtained a natural parameter space for such surfaces of fixed genus [44] (the so-called Teichmüller space). In recent years Ahlfors, L. Bers [6], their school, and successors have greatly expanded Teichmüller's theory [3], [10], [14]. Two-dimensional quasi-conformal mappings have found new beautiful applications in geometric function theory (uniformization, moduli, Kleinian groups [11], [43], Nevanlinna theory [18]), in topology (Thurston theory, [12], [13]) and in topological dynamics (Fatou–Julia problem, [42]).
In the two-dimensional theory of quasi-conformal mappings, as in the theory of analytic functions, general questions of compactness are studied, that is, normal families of mappings, a theory of boundary correspondence has been constructed by showing that this correspondence is realized in terms of the same Carathéodory prime ends (see Limit elements) as in the conformal case; conditions for the removability of singularity sets have been studied; and variational principles have been developed for the solution of fundamental extremal problems in the class of quasi-conformal homeomorphisms (see [7], [26], [27]).
Spatial theory.
The theory of quasi-conformal mappings of domains in a space ,
, also has its own features. This is first of all connected with the absence of conformal mappings: according to Liouville's theorem, every sufficiently smooth conformal mapping of a domain
,
, is a Möbius transformation, that is, a superposition of an inversion and a rotation. The essence of this fact is that the condition of conformality of a mapping when
, in contrast to the Cauchy–Riemann conditions for
, consists of an overdetermined system of partial differential equations.
Some important results of the spatial theory of quasi-conformal mappings are indicated below. Liouville's theorem is valid both in the case of Hilbert space [36] and under minimal a priori regularity conditions on the mapping [19], [38]. In Liouville's theorem there is stability ([8], [38]), in the sense that there exist constants and
and a function
, as
, with the following properties: a) if
is a quasi-conformal mapping of the ball
with
, then there exists a Möbius transformation
such that
![]() |
and the image of the unit ball under contains the ball
; b) if
, then
![]() |
where
![]() |
c) if , then
![]() |
throughout the ball . Stability also holds in certain classes of domains with a non-regular boundary, and also in the sense of different norms [38]. At present (1990), stability estimates have been established for dimension
, with
finite and fixed (i.e.
are also functions of
).
In the same way that a -quasi-conformal mapping turns out to be a Möbius transformation even without the a priori assumption that it is a homeomorphism, a quasi-conformal mapping is locally homeomorphic as soon as its coefficient of quasi-conformality is sufficiently close to 1 [22], [34]. In contrast to the planar case, every locally homeomorphic quasi-conformal mapping of the unit ball in
,
, is automatically homeomorphic in some ball
, where
depends only on the dimension
of the space and the coefficient of quasi-conformality
of the mapping [34]. In particular, a locally homeomorphic quasi-conformal mapping
of the whole space
,
, is globally homeomorphic, and
[39], [52]. Boundary behaviour: If
is a quasi-conformal mapping of the half-space
of
,
, onto itself, then
can be extended to a homeomorphism of the closed domains; here the induced homeomorphism
on the boundary
satisfies for the case
the
-condition [15]:
![]() |
and in the case it is quasi-conformal [19]. Each of these last two conditions on the dimension is not only necessary but also sufficient in order that a mapping
be the boundary trace of some quasi-conformal mapping [45]–[47].
The possibility arising from this of extending a quasi-conformal automorphism of Lobachevskii space to a quasi-conformal mapping of the absolute of this space, in accordance with the fact that a -quasi-conformal mapping of the sphere is conformal and is the trace of a conformal automorphism of the ball, lies at the basis of the proof of the rigidity of spatial hyperbolic forms: If two closed Riemannian manifolds of dimension
and of the same constant negative curvature are homeomorphic, then they are isometric (see [35], [41]).
The normality property and the character of convergence of quasi-conformal mappings made it possible, on the one hand, to establish the Carathéodory convergence theorem for quasi-conformal mappings [20] and, on the other hand, to apply the mappings to the positive solution of the Lichnerowicz conjecture: The conformal group of automorphisms of a compact Riemannian manifold is not compact if and only if the manifold is a sphere [33].
A lot of results in the theory concern quasi-regular (i.e. non-homeomorphic quasi-conformal) mappings [34], [37]. An advanced theory of value distribution has been worked out for such mappings. Also, a theorem of Picard type has been proved, and it happens that the possibility of omitting a finite number of points in for
depends on the coefficient of quasi-conformality of the mapping [39], [40].
A concise exhaustive presentation of the theory of quasi-conformal mappings in dimension can be found in [2], [32]; references [37], [48], [16], [19] are devoted to the case
. One can find a large bibliography in [17] and in the more recent monograph [51]. Articles [3], [21], [49] are survey reports at international mathematical congresses.
References
[1] | L.V. Ahlfors, "Zur Theorie der Überlagerungsflächen" Acta Math. , 65 (1935) pp. 157–194 |
[2] | L.V. Ahlfors, "Lectures on quasi-conformal mappings" , v. Nostrand (1966) |
[3] | L.V. Ahlfors, "Quasi-conformal mappings, Teichmüller spaces and Kleinian groups" , Proc. Internat. Congress Mathematicians (Helsinki, 1978) , Acad. Sci. Fennicae (1980) pp. 71–84 |
[4] | L.V. Ahlfors, "Möbius transformations in several dimensions" , Univ. Minnesota (1981) |
[5] | L.V. Ahlfors, L. Bers, "Riemann's mapping theorem for variable metrics" Ann. of Math. (2) , 72 (1960) pp. 385–404 |
[6] | L.V. Ahlfors, L. Bers, "Spaces of Riemann surfaces and quasi-conformal mappings" , Moscow (1961) (In Russian) |
[7] | P.P. Belinskii, "General properties of quasi-conformal mappings" , Novosibirsk (1974) (In Russian) |
[8] | P.P. Belinskii, "On the order of closeness of a spatial quasi-conformal mapping to conformal" Sibir. Math. J. , 14 : 3 (1974) pp. 325–331 Sibirsk. Mat. Zh. , 14 : 3 (1973) pp. 475–483 |
[9] | L. Bers, "Mathematical aspects of subsonic and transonic gas dynamics" , Chapman & Hall (1958) |
[10] | L. Bers, "Quasi-conformal mappings and Teichmüller's theorem" R. Nevanlinna (ed.) et al. (ed.) , Analytic functions , Princeton Univ. Press (1960) pp. 89–119 |
[11] | L. Bers, "Uniformization, moduli and Kleinian groups" Bull. London Math. Soc. , 4 (1972) pp. 257–300 |
[12] | L. Bers, "Quasi-conformal mappings with applications to differential equations, function theory and topology" Bull. Amer. Math. Soc. , 83 (1977) pp. 1083–1100 |
[13] | L. Bers, "An extremal problem for quasi-conformal mappings and a problem of Thurston" Acta Math. , 141 (1978) pp. 73–98 |
[14] | L. Bers, "Finite dimensional Teichmüller spaces and generalizations" Bull. Amer. Math. Soc. , 5 (1981) pp. 131–172 |
[15] | A. Beurling, L.V. Ahlfors, "The boundary correspondence under quasi-conformal mappings" Acta Math. , 96 (1956) pp. 125–142 |
[16] | B. Bojarski, T. Ivaniec, "Analytical foundations of the theory of quasi-conformal mappings in ![]() |
[17] | P. Caraman, "![]() |
[18] | D. Drasin, "The inverse problem of Nevanlinna theory" Acta Math. , 138 (1977) pp. 83–151 |
[19] | F.W. Gehring, "Rings and quasiconformal mappings in space" Trans. Amer. Math. Soc. , 103 (1962) pp. 353–393 |
[20] | F.W. Gehring, "The Carathéodory convergence theorem for quasiconformal mappings in space" Ann. Acad. Sci. Fenn. Ser. AI Math. , 336 : 11 (1964) pp. 1–21 |
[21] | F.W. Gehring, "Topics in quasiconformal mappings" , Proc. Internat. Congress Mathematicians (Berkeley, 1986) , Amer. Math. Soc. (1987) pp. 62–80 |
[22] | V.M. Gol'dshtein, "The behavior of mappings with bounded distortion when the coefficient of distortion is close to unity" Siber. Math. J. , 12 : 6 (1971) pp. 900–907 Sibirsk. Mat. Zh. , 12 : 6 (1971) pp. 1250–1259 |
[23] | H. Grötzsch, "Über die Verzerrung bei schlichten nichtkonformen Abbildungen und über eine damit zusammenhängende Erweiterung des Picardschen Satzes" Ber. Verh. Sächs. Akad. Wiss. Leipzig , 80 (1928) pp. 503–507 |
[24] | H. Grötzsch, "Über möglichst konforme Abbildungen von schlichten Bereichen" Ber. Verh. Sächs. Akad. Wiss. Leipzig , 84 (1932) pp. 114–120 |
[25] | I. Kra, "On the Nielsen–Thurston–Bers type of some self-maps of Riemann surfaces" Acta Math. , 146 (1981) pp. 231–270 |
[26] | S.L. Krushkal', "Quasi-conformal mappings and Riemann surfaces" , Winston (1979) (Translated from Russian) |
[27] | S.L. Krushkal', R. Kühnau, "Quasi-konforme Abbildungen - neue Methoden und Anwendungen" , Teubner (1983) |
[28] | M. [M.A. Lavrent'ev] Lavrentieff, "Sur une classe de réprésentation continues" Rec. Math. , 42 (1935) pp. 407–424 |
[29] | M. [M.A. Lavrent'ev] Lavrentieff, "Sur une critère différentiel des transformation homéomorphes des domaines à trois dimensions" Dokl. Akad. Nauk SSSR , 20 (1938) pp. 241–242 |
[30] | M. [M.A. Lavrent'ev] Lavrentieff, "The main theorem of the theory of quasi-conformal mappings of plain domains" Izv. Akad. Nauk SSSR , 12 (1948) pp. 513–554 (In Russian) |
[31] | M.A. Lavrent'ev, "Variational methods for boundary value problems for systems of elliptic equations" , Noordhoff (1963) (Translated from Russian) |
[32] | O. Lehto, K.I. Virtanen, "Quasiconformal mappings in the plane" , Springer (1973) |
[33] | J. Lelong-Ferrand, "Transformations conformes et quasiconformes des variétés Riemanniennes compactes (Démonstration de la conjecture de A. Lichnerowicz)" Acad. Roy. Belg. Cl. Sci. Mém. Collect. , 39 (1971) pp. 1–44 |
[34] | O. Martio, S. Rickman, J. Väisälä, "Topological and metric properties of quasiregular mappings" Ann. Acad. Sci. Fenn. Ser. AI Math. , 488 (1971) pp. 1–31 |
[35] | G.D. Mostow, "Quasiconformal mappings in ![]() |
[36] | R. Nevanlinna, "On differentiable mappings" R. Nevanlinna (ed.) et al. (ed.) , Analytic functions , Princeton Univ. Press (1960) pp. 3–9 |
[37] | Yu.G. Reshet'nyak, "Space mappings with bounded distortion" , Amer. Math. Soc. (1989) (Translated from Russian) |
[38] | Yu.G. Reshet'nyak, "Stability theorems in geometry and analysis" , Novosibirsk (1982) (In Russian) |
[39] | S. Rickman, "On the number of omitted values of entire quasiregular mappings" J. d'Anal. Math. , 37 (1980) pp. 100–117 |
[40] | S. Rickman, "The analogue of Picard's theorem for quasiregular mappings in dimension three" Acta Math. , 154 (1985) pp. 195–242 |
[41] | D. Sullivan, "On the ergodic theory at infinity of an arbitrary discrete group of hyperbolic motions" I. Kra (ed.) B. Maskit (ed.) , Riemann Surfaces and Related Topics (Proc. 1978 Stony Brook Conf.) , Princeton Univ. Press (1981) pp. 465–496 |
[42] | D. Sullivan, "Quasi-conformal homeomorphisms and dynamics I. Solution of the Fatou–Julia problem on wandering domains" Ann. of Math. , 122 (1985) pp. 401–418 |
[43] | D. Sullivan, "Quasiconformal homeomorphisms and dynamics II. Structural stability implies hyperbolicity for Kleinian groups" Acta Math. , 155 (1985) pp. 243–260 |
[44] | O. Teichmüller, "Extremale quasikonforme Abbildungen und quadratische Differentiale" Abh. Preuss. Akad. Wiss. Math.-Nat. Kl. , 22 (1940) pp. 1–197 |
[45] | P. Tukia, "Quasiconformal extension of quasisymmetric mappings compatible with a Möbius group" Acta Math. , 154 (1985) pp. 153–193 |
[46] | P. Tukia, J. Väisälä, "Quasiconformal extension from dimension ![]() ![]() |
[47] | P. Tukia, J. Väisälä, "Bilipschitz extensions of maps having quasiconformal extensions" Math. Ann. , 269 (1984) pp. 561–572 |
[48] | J. Väisälä, "Lectures on ![]() |
[49] | J. Väisälä, "A survey of quasiregular maps in ![]() |
[50] | I.N. Vekua, "Generalized analytic functions" , Pergamon (1962) (Translated from Russian) |
[51] | M. Vuorinen, "Conformal geometry and quasiregular mappings" , Lect. notes in math. , 1319 , Springer (1988) |
[52] | V.A. Zorich, "A theorem of M.A. Lavrent'ev on quasiconformal space maps" Math. USSR Sb. , 3 : 3 (1976) pp. 389–403 Mat. Sb. , 74 (1967) pp. 417–433 |
Comments
The measurable Riemann mapping theorem was proved first by C.B. Morrey in [a1]. The important paper [5] of L.V. Ahlfors and L. Bers shows that if depends in a continuous (or continuously differentiable, or real analytic, or complex analytic) fashion on a parameter
, then
, the solution of the Beltrami equation (1), does so as well.
References
[a1] | C.B. Morrey, "On the solutions of quasilinear elliptic partial differential equations" Trans. Amer. Math. Soc. , 43 (1938) pp. 126–166 |
[a2] | V. Gol'dshtein, Yu.G. Reshet'nyak, "Quasiconformal mappings and Sobolev spaces" , Kluwer (1990) (Translated from Russian) |
Quasi-conformal mapping. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Quasi-conformal_mapping&oldid=49382