View source for Quasiconformal mapping

{{Short description|Homeomorphism between plane domains}}

In mathematical [[complex analysis]], a '''quasiconformal mapping''', introduced by {{harvtxt|Grötzsch|1928}} and named by {{harvtxt|Ahlfors|1935}}, is a (weakly differentiable) [[homeomorphism]] between [[plane (geometry)|plane]] domains which to first order takes small circles to small ellipses of bounded [[ellipse#Eccentricity|eccentricity]].

Intuitively, let ''f'' : ''D''&nbsp;→&nbsp;''D''′ be an [[orientation (mathematics)|orientation]]-preserving homeomorphism between [[open set]]s in the plane. If ''f'' is [[continuously differentiable]], it is ''K''-quasiconformal if, at every point, its derivative maps circles to ellipses with the ratio of the major to minor axis bounded by ''K''.

==Definition==
Suppose ''f'' : ''D''&nbsp;→&nbsp;''D''′ where ''D'' and ''D''′ are two domains in '''C'''.  There are a variety of equivalent definitions, depending on the required smoothness of ''f''.  If ''f'' is assumed to have [[continuous function|continuous]] [[partial derivative]]s, then ''f'' is quasiconformal provided it satisfies the [[Beltrami equation]]

{{NumBlk|:|<math>\frac{\partial f}{\partial\bar{z}} = \mu(z)\frac{\partial f}{\partial z},</math>|{{EquationRef|1}}}}

for some complex valued [[Lebesgue measurable]] ''μ'' satisfying <math>\sup |\mu| < 1</math> {{harv|Bers|1977}}.  This equation admits a geometrical interpretation. Equip ''D'' with the [[metric tensor]]

:<math>ds^2 = \Omega(z)^2\left| dz + \mu(z) \, d\bar{z}\right|^2,</math>

where Ω(''z'')&nbsp;>&nbsp;0.  Then ''f'' satisfies ({{EquationNote|1}}) precisely when it is a conformal transformation from ''D'' equipped with this metric to the domain ''D''′ equipped with the standard Euclidean metric.  The function ''f'' is then called '''''μ''-conformal'''.  More generally, the continuous differentiability of ''f'' can be replaced by the weaker condition that ''f'' be in the [[Sobolev space]] ''W''<sup>1,2</sup>(''D'') of functions whose first-order [[distributional derivative]]s are in [[Lp space|L<sup>2</sup>(''D'')]]. In this case, ''f'' is required to be a [[weak solution]] of ({{EquationNote|1}}). When ''μ'' is zero almost everywhere, any homeomorphism in ''W''<sup>1,2</sup>(''D'') that is a weak solution of ({{EquationNote|1}}) is conformal.

Without appeal to an auxiliary metric, consider the effect of the [[pullback (differential geometry)|pullback]] under ''f'' of the usual Euclidean metric.  The resulting metric is then given by

:<math>\left|\frac{\partial f}{\partial z}\right|^2\left|dz+\mu(z)\,d\bar{z}\right|^2</math>

which, relative to the background Euclidean metric <math>dz \, d\bar{z}</math>, has [[eigenvalue]]s

:<math>(1+|\mu|)^2\textstyle{\left|\frac{\partial f}{\partial z}\right|^2},\qquad (1-|\mu|)^2 \textstyle{\left|\frac{\partial f}{\partial z}\right|^2}.</math>

The eigenvalues represent, respectively, the squared length of the major and minor axis of the ellipse obtained by pulling back along ''f'' the unit circle in the tangent plane.

Accordingly, the ''dilatation'' of ''f'' at a point ''z'' is defined by

:<math>K(z) = \frac{1+|\mu(z)|}{1-|\mu(z)|}.</math>

The (essential) [[supremum]] of ''K''(''z'') is given by

:<math>K = \sup_{z\in D} |K(z)| = \frac{1+\|\mu\|_\infty}{1-\|\mu\|_\infty}</math>

and is called the dilatation of&nbsp;''f''.

A definition based on the notion of [[extremal length]] is as follows. If there is a finite ''K'' such that for every collection '''Γ''' of curves in ''D'' the extremal length of '''Γ''' is at most ''K'' times the extremal length of {''f''&nbsp;o&nbsp;γ&nbsp;:&nbsp;γ&nbsp;∈&nbsp;'''Γ'''}. Then ''f'' is ''K''-quasiconformal.

If ''f'' is ''K''-quasiconformal for some finite ''K'', then ''f'' is quasiconformal.

==Properties==

If ''K'' > 1 then the maps ''x'' + ''iy'' ↦ ''Kx'' + ''iy'' and ''x'' + ''iy'' ↦ ''x'' + ''iKy'' are both quasiconformal and have constant dilatation ''K''.

If ''s'' > −1 then the map <math>z\mapsto z\,|z|^{s}</math> is quasiconformal (here ''z'' is a [[complex number]]) and has constant dilatation <math>\max(1+s, \frac{1}{1+s})</math>. When ''s'' ≠ 0, this is an example of a quasiconformal homeomorphism that is not smooth.  If ''s'' = 0, this is simply the identity map.

A homeomorphism is 1-quasiconformal if and only if it is conformal. Hence the identity map is always 1-quasiconformal. If ''f'' : ''D'' → ''D''′ is ''K''-quasiconformal and ''g'' : ''D''′ → ''D''′′ is ''K''′-quasiconformal, then ''g''&nbsp;o&nbsp;''f'' is ''KK''′-quasiconformal. The inverse of a ''K''-quasiconformal homeomorphism is ''K''-quasiconformal. The set of 1-quasiconformal maps forms a group under composition.

The space of K-quasiconformal mappings from the [[complex plane]] to itself mapping three distinct points to three given points is compact.

{{Expand section|date=May 2012}}

==Measurable Riemann mapping theorem==
Of central importance in the theory of quasiconformal mappings in two dimensions is the [[measurable Riemann mapping theorem]], proved by  Lars Ahlfors and Lipman Bers. The theorem generalizes the [[Riemann mapping theorem]] from conformal to quasiconformal homeomorphisms, and is stated as follows. Suppose that ''D'' is a simply connected domain in '''C''' that is not equal to '''C''', and suppose that ''μ'' : ''D'' → '''C''' is [[Lebesgue measurable]] and satisfies <math>\|\mu\|_\infty<1</math>. Then there is a quasiconformal homeomorphism ''f'' from ''D'' to the unit disk which is in the Sobolev space ''W''<sup>1,2</sup>(''D'') and satisfies the corresponding Beltrami equation ({{EquationNote|1}}) in the [[weak solution|distributional sense]]. As with Riemann's mapping theorem, this ''f'' is unique up to 3 real parameters.

==Computational quasi-conformal geometry==
Recently, quasi-conformal geometry has attracted attention from different fields, such as applied mathematics, computer vision and medical imaging. Computational quasi-conformal geometry has been developed, which extends the quasi-conformal theory into a discrete setting. It has found various important applications in medical image analysis, computer vision and graphics.

==See also==
*[[Isothermal coordinates]]
*[[Quasiregular map]]
*[[Pseudoanalytic function]]
*[[Teichmüller space]]
*[[Tissot's indicatrix]]

== References ==

* {{Citation
 | last = Ahlfors | first = Lars | author-link = Lars Ahlfors
 | title = Zur Theorie der Überlagerungsflächen
 | journal = [[Acta Mathematica]]
 | volume = 65
 | issue = 1
 | pages = 157–194
 | year = 1935
 | issn = 0001-5962
 | language = de
 | doi = 10.1007/BF02420945 | doi-access = free
 | jfm = 61.0365.03
 | zbl = 0012.17204
 }}.
* {{Citation
 | last1 = Ahlfors | first1 = Lars V.
 | title = Lectures on quasiconformal mappings
 | place = Providence, R.I.
 | publisher = [[American Mathematical Society]]
 | series = University Lecture Series
 | volume = 38
 | edition = 2nd
 | orig-year = 1966
 | year = 2006
 | url = https://books.google.com/books?id=4oWFH7FPb50C
 | isbn = 978-0-8218-3644-6
 | mr = 2241787
 | zbl = 1103.30001
 }}, (reviews of the first edition: {{MR|0200442}}, {{Zbl|1103.30001}}).
* {{citation
 | last = Bers | first = Lipman | author-link = Lipman Bers
 | title = Quasiconformal mappings, with applications to differential equations, function theory and topology
 | journal = [[Bulletin of the American Mathematical Society]]
 | volume = 83
 | issue = 6
 | year = 1977
 | pages = 1083–1100
 | doi = 10.1090/S0002-9904-1977-14390-5 | doi-access = free
 | mr = 463433
 }}.
* {{Citation
 | last = Caraman | first = Petru
 | title = ''n''–Dimensional Quasiconformal (QCf) Mappings
 | place = [[Bucharest|București]] / [[Royal Tunbridge Wells|Tunbridge Wells, Kent]]
 | publisher = [[Editura Academiei]] / Abacus Press
 | orig-year = 1968
 | year = 1974
 | edition = revised
 | pages = 553
 | url = https://books.google.com/books?id=-M_fVxXneBkC
 | isbn = 0-85626-005-3
 | mr = 0357782
 | zbl = 0342.30015
 }}.
* {{Citation
 | last = Grötzsch | first = Herbert | author-link = Herbert Grötzsch
 | title = Über einige Extremalprobleme der konformen Abbildung. I, II.
 | language = de
 | year = 1928
 | journal = Berichte über die Verhandlungen der Königlich Sächsischen Gesellschaft der Wissenschaften zu Leipzig. Mathematisch-Physische Classe
 | volume = 80
 | pages = 367–376, 497–502
 | jfm = 54.0378.01
 }}.
* {{citation
 | last = Heinonen | first = Juha
 | url = https://www.ams.org/notices/200611/whatis-heinonen.pdf
 | title = What Is ... a Quasiconformal Mapping?
 | journal = [[Notices of the American Mathematical Society]]
 | volume = 53
 | issue = 11
 | pages = 1334–1335
 | date = December 2006
 | mr = 2268390
 | zbl = 1142.30322
 }}.
* {{citation 
 | last1 = Jones  | first1 = Gareth Wyn 
 | last2 = Mahadevan | first2 = L. 
 | year = 2013
 | title = Planar morphometry, shear and optimal quasi-conformal mappings 
 | journal = Proceedings of the Royal Society A: Mathematical, Physical and Engineering Sciences 
 | volume = 469 
 | issue = 2153 
 | pages = 20120653 
 | doi = 10.1098/rspa.2012.0653 | doi-access = free
 | bibcode = 2013RSPSA.46920653J 
 | issn = 1364-5021 
 }}.
* {{citation
 | last1 = Lehto | first1 = O. 
 | last2 = Virtanen | first2 = K. I.
 | title = Quasiconformal mappings in the plane
 | publisher = [[Springer Verlag]]
 | series = Die Grundlehren der mathematischen Wissenschaften
 | volume = 126
 | place = Berlin–Heidelberg–New York
 | pages = VIII+258
 | edition = 2nd
 | year = 1973
 | isbn = 3-540-03303-3
 | mr = 0344463
 | zbl = 0267.30016
 }} (also available as {{ISBN|0-387-03303-3}}).
* {{citation
 | last = Morrey | first = Charles B. Jr. | author-link = Charles B. Morrey, Jr.
 | title = On the solutions of quasi-linear elliptic partial differential equations
 | journal = [[Transactions of the American Mathematical Society]] 
 | year = 1938 
 | volume = 43 
 | issue = 1 
 | pages = 126–166 
 | doi = 10.2307/1989904 | doi-access = free 
 | jstor = 1989904 
 | jfm = 62.0565.02 
 | mr = 1501936 
 | zbl = 0018.40501
 }}.
* Papadopoulos, Athanase, ed. (2007), Handbook of Teichmüller theory. Vol. I, IRMA Lectures in Mathematics and Theoretical Physics, 11, European Mathematical Society (EMS), Zürich, {{doi|10.4171/029}}, {{ISBN|978-3-03719-029-6}}, {{MR|2284826}}.
* Papadopoulos, Athanase, ed. (2009), Handbook of Teichmüller theory. Vol. II, IRMA Lectures in Mathematics and Theoretical Physics, 13, European Mathematical Society (EMS), Zürich, {{doi|10.4171/055}}, {{ISBN|978-3-03719-055-5}}, {{MR|2524085}}.
* {{eom
 | title = Quasi-conformal mapping
 | id = Q/q076430
 | first = V. A.
 | last = Zorich
 }}.

{{DEFAULTSORT:Quasiconformal Mapping}}
[[Category:Conformal mappings]]
[[Category:Homeomorphisms]]
[[Category:Complex analysis]]