# Difference between revisions of "Quasi-conformal mapping"

A mapping with bounded distortion or bounded deviation from a conformal mapping. A numerical characterization of the distortion under a mapping $f : D \rightarrow D ^ \prime$ at a point $a \in D$ is the coefficient $k ( f , a )$ of quasi-conformality (dilatation or dilation) of $f$ at this point:

$$k ( f , a ) = \ {\lim\limits \sup } _ {r \rightarrow 0 } \ \frac{\sup _ {| x - a | = r } | f ( x) - f ( a) | }{\inf _ {| x - a | = r } | f ( x) - f ( a ) | } .$$

The quantity

$$k ( f ) = \ \left \{ is called the coefficient of quasi-conformality (or linear dilatation) of  f  in the domain  D . An orientation-preserving mapping  f : D \rightarrow D ^ \prime  is called quasi-conformal (or a mapping with bounded distortion) if  k ( f ) < \infty ; it is called  k - quasi-conformal if  k ( f ) \leq k . For a [[Conformal mapping|conformal mapping]]  k ( f ) = 1 . If  f  is differentiable at the point  a \in D , then the linear mapping  f ^ { \prime } ( a)  transforms a ball of the tangent space into an ellipsoid the ratio of the major to the minor semi-axis of which is  k ( f , a ) . Along with the given definition, one often uses the following, equivalent, conditions of quasi-conformality of  f  in a domain  D \subset \mathbf R ^ {n} :  f \in W _ {n} ^ {1} ( that is,  f  has generalized derivatives that are locally  n - th power summable in  D ) and there exists a real number  k  such that$$ \| f ^ { \prime } ( x) \| ^ {n} \ \leq k \mathop{\rm det} f ^ { \prime } ( x) , $$or$$ | \mathop{\rm grad} f ( x) | ^ {n} \ \leq k n ^ {n/2} \mathop{\rm det} f ^ { \prime } ( x) $$for almost-all points  x \in D . 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  \mathbf R ^ {n}  for  n = 2  and for  n \geq 3 , provided that one is not considering general and, as a rule, simple questions for them, has sharp differences. =='"UNIQ--h-0--QINU"'Two-dimensional theory.== In this case the differential of a mapping at a point  z \in D  can be written in the form$$ d f ( z) = f _ {z} ( z) d z + f _ {\overline{z}\; } ( z) d \overline{z}\; . $$It is defined up to a factor by the formula$$ \tag{1 } f _ {\overline{z}\; } ( z) = \mu ( z) f _ {z} ( z) . $$The function  \mu ( z)  is called the Beltrami coefficient, the complex dilatation or the complex characteristic of the mapping  f  at the point  z ;  | \mu ( z) | < 1  for a mapping with a positive Jacobian  J = | f _ {z} | ^ {2} - | f _ {\overline{z}\; } | ^ {2} . For analytic mappings  \mu ( z) \equiv 0 , which are the Cauchy–Riemann conditions. The coefficient  k ( f , z )  of quasi-conformality of a mapping at a point is expressed in terms of  \mu ( z)  by$$ k ( f , z ) = \

\frac{1 + | \mu ( z) | }{1 - | \mu ( z) | }

,

$$therefore the condition of quasi-conformality of an  f \in W _ {2} ^ {1}  in terms of the complex characteristic is  \| \mu \| _ \infty ( D) < 1 . Usually formula (1) appears as an equation in  f  with a known function  \mu ; it is called the Beltrami equation (or Beltrami system). For example, the problem of conformally mapping one domain  D  onto another  D ^ \prime  is the problem of seeking a homeomorphism  f : D \rightarrow D ^ \prime  that satisfies the Beltrami equation in  D  with  \mu ( z) \equiv 0 . 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  D  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  \mu ( z)  in a domain  D \subset \overline{ {\mathbf C }}\;  such that  \| \mu \| _ \infty ( D) < 1 , find a quasi-conformal homeomorphism  f  of  D  with complex characteristic  \mu ( z) ; the general solution of equation (1) in  D  has the form  F \circ f ( z) , where  f  is the to be constructed quasi-conformal homeomorphism and  F  is any analytic function. If  D  is the unit disc,  f  can be chosen so that  f ( D) = D . Then  f  can be extended to a homeomorphism of the closed disc onto itself and the normalization conditions  f ( 0) = 0 ,  f ( 1) = 1  select a unique homeomorphism  f : D \rightarrow D  satisfying the Beltrami equation. If, in addition,  \mu \in C _ \alpha ^ {m} ( D) ,  0 < \alpha < 1 ,  m \geq 0 , then  f \in C _ \alpha ^ {m+} 1 ( D) , where  C _ \alpha ^ {m} ( D)  is the space of functions that have  m  continuous derivatives in  D , the highest being Hölder continuous in  D  of order  \alpha ( cf. [[Hölder condition|Hölder condition]]). If a sequence  f _ {n}  of normalized quasi-conformal automorphisms of the disc  D  is such that  | \mu _ {n} ( z) | \leq \mu < 1  and  \| \mu _ {n} \| _ \infty ( D) \rightarrow 0  as  n \rightarrow \infty , then$$ \| f _ {n} ( z) - z \| _ {C ( D) } \rightarrow 0 . $$Quasi-conformal mappings as homeomorphic solutions of strongly-elliptic systems$$ \tag{2 } \Phi _ {i} ( x , y , u , v , u _ {x} , u _ {y} , v _ {x} , v _ {y} ) \ = 0 ,\ i = 1 , 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 [[#References|[9]]], [[#References|[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 [[#References|[28]]], [[#References|[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 [[#References|[23]]], [[#References|[24]]]). In particular, he considered [[#References|[24]]] the following extremal problem (Grötzsch' problem, [[#References|[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 [[#References|[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 [[#References|[44]]] (the so-called [[Teichmüller space|Teichmüller space]]). In recent years Ahlfors, L. Bers [[#References|[6]]], their school, and successors have greatly expanded Teichmüller's theory [[#References|[3]]], [[#References|[10]]], [[#References|[14]]]. Two-dimensional quasi-conformal mappings have found new beautiful applications in geometric function theory (uniformization, moduli, Kleinian groups [[#References|[11]]], [[#References|[43]]], Nevanlinna theory [[#References|[18]]]), in topology (Thurston theory, [[#References|[12]]], [[#References|[13]]]) and in topological dynamics (Fatou–Julia problem, [[#References|[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|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 [[#References|[7]]], [[#References|[26]]], [[#References|[27]]]). =='"UNIQ--h-1--QINU"'Spatial theory.== The theory of quasi-conformal mappings of domains in a space  \mathbf R ^ {n} ,  n \geq 3 , 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  D \subset \mathbf R ^ {n} ,  n \geq 3 , 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  n \geq 3 , in contrast to the Cauchy–Riemann conditions for  n = 2 , 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  k _ {1}  and  k _ {2}  and a function  \lambda ( \epsilon ) = O ( \epsilon ) , as  \epsilon \rightarrow 0 , with the following properties: a) if  y = f ( x)  is a quasi-conformal mapping of the ball  | x | < 1  with  k ( f ) < k _ {1} , then there exists a Möbius transformation  L ( y)  such that$$ \sup _ {| x | < 1 } | L \circ f ( x) | < \infty , $$and the image of the unit ball under  L \circ f  contains the ball  | y | < 1 ; b) if  k ( f ) \leq 1 + \epsilon < k _ {2} , then$$ | L \circ f ( x _ {1} ) - L \circ f ( x _ {2} ) | \ \leq k ( \epsilon ) \ | x _ {1} - x _ {2} | ^ {\alpha ( \epsilon ) } , $$where$$ \lim\limits _ {\epsilon \rightarrow 0 } k ( \epsilon ) = 1 \ \ \textrm{ and } \ \lim\limits _ {\epsilon \rightarrow 0 } \alpha ( \epsilon ) = 1 ; $$c) if  k ( f ) \leq 1 + \epsilon , then$$ | L \circ f ( x) - x | \leq \lambda ( \epsilon ) $$throughout the ball  | x | < 1 . 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  n \geq 3 , with  n  finite and fixed (i.e.  k, \alpha , \lambda  are also functions of  n ). In the same way that a  1 - 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  \mathbf R ^ {n} ,  n \geq 3 , is automatically homeomorphic in some ball  | x | \leq r ( n , k ) < 1 , where  r  depends only on the dimension  n  of the space and the coefficient of quasi-conformality  k = k ( f )  of the mapping [[#References|[34]]]. In particular, a locally homeomorphic quasi-conformal mapping  f  of the whole space  \mathbf R ^ {n} ,  n \geq 3 , is globally homeomorphic, and  f ( \mathbf R ^ {n} ) = \mathbf R ^ {n} [[#References|[39]]], [[#References|[52]]]. Boundary behaviour: If  f : \mathbf R _ {+} ^ {n} \rightarrow \mathbf R _ {+} ^ {n}  is a quasi-conformal mapping of the half-space  x _ {n} > 0  of  \mathbf R ^ {n} ,  n \geq 2 , onto itself, then  f  can be extended to a homeomorphism of the closed domains; here the induced homeomorphism  \phi : \mathbf R ^ {n-} 1 \rightarrow \mathbf R ^ {n-} 1  on the boundary  \partial \mathbf R _ {+} ^ {n} = \mathbf R ^ {n-} 1  satisfies for the case  n = 2  the  M - condition [[#References|[15]]]:$$ M ^ {-} 1 \leq \

\frac{\phi ( x + h ) - \phi ( x) }{\phi ( x) - \phi ( x - h ) }

\leq   M ,



and in the case $n \geq 3$ 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 $\phi : \partial \mathbf R _ {+} ^ {n} \rightarrow \mathbf R _ {+} ^ {n}$ 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 $1$- 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 $n \geq 3$ 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 $\mathbf R ^ {n}$ for $n \geq 3$ 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 $n = 2$ can be found in [2], [32]; references [37], [48], [16], [19] are devoted to the case $n \geq 3$. 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

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 $\mu ( x)$ depends in a continuous (or continuously differentiable, or real analytic, or complex analytic) fashion on a parameter $t$, then $f$, the solution of the Beltrami equation (1), does so as well.