PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: No information on entry rating
quasiconformal mapping (Definition)

Quasiconformal mappings are mappings of the complex plane to itself that are “almost” conformal. That is, they do not distort angles arbitrarily and this “distortion” is uniformly bounded throughout their domain of definition. Alternatively one can think of quasiconformal mappings as mappings which take infinitesimal circles to infinitesimal ellipses. For example invertible linear maps are quasiconformal.

More rigorously, suppose $ f$ is a mapping of the complex plane to itself, and here we will only consider sense-preserving mappings, that is mappings with a positive jacobian.

Definition 1   Define the dilatation of the mapping $ f$ at the point $ z$ as
$\displaystyle D_f(z) := \frac{\lvert f_z \rvert + \lvert f_{\bar{z}} \rvert}{\lvert f_z \rvert-\lvert f_{\bar{z}}\rvert} \geq 1 ,$    

and define the maximal dilatation of the mapping as
$\displaystyle K_f := \sup_z D_f(z) .$    

Now we are ready to define what it means for $ f$ to be quasiconformal.

Definition 2   For $ f$ as above, we will call $ f$ quasiconformal if the maximal dilatation of $ f$ is finite. We will say that $ f$ is $ K$-quasiconformal mapping if the maximal dilatation of this mapping is $ K$.

Note that sometimes the term $ K$-quasiconformal is used to mean that the dilatation is $ K$ or lower.

It is easy to see that a conformal sense-preserving mapping has a dilatation of $ 1$ since $ \lvert f_{\bar{z}} \rvert = 0$. We can further define several other related quantities

Definition 3   For $ f$ as above, define the small dilatation as
$\displaystyle d_f(z) := \frac{\lvert f_{\bar{z}} \rvert}{\lvert f_z \rvert} .$    

Again for sense-preserving maps this quantity is less then 1 and it is equal to 0 if the mapping is conformal. Some authors call a map $ k$-quasiconformal if the small dilatation is bounded by $ k$. It is however not ambiguous as the large dilatation is always greater then or equal to 1. Furthermore this is related to the large dilatation by

$\displaystyle d_f := \frac{D_f-1}{D_f+1} .$    

Definition 4   For $ f$ as above, define the complex dilatation as
$\displaystyle \mu_f(z) := \frac{f_{\bar{z}}}{f_z} .$    

The complex dilatation now appears in the Beltrami differential equation

$\displaystyle f_{\bar{z}}(z) = \mu_f(z)f_z(z) .$    

This means that a quasiconformal mapping is a solution to the Beltrami equation where a non-negative measurable $ \mu_f$ is uniformly bounded by some $ k < 1$.

The above results are stated for $ f\colon {\mathbb{C}} \to {\mathbb{C}}$, but the statements are exactly the same if you take $ f\colon G \subset {\mathbb{C}} \to {\mathbb{C}}$ for an open set $ G$.

The theory generalizes to other dimensions as well. For example in one real dimension, the analogous mappings are called quasisymmetric. It is a well-known theorem of Beurling and Ahlfors that an extension of a mapping of the real line to itself is quasiconformal if and only if the mapping is quasisymmetric.

Bibliography

1
L. V. Ahlfors. Lectures on Quasiconformal Mappings. Van Nostrand-Reinhold, Princeton, New Jersey, 1966
2
J. Lebl. Quasiconformal Extensions of Quasisymmetric Mappings. Masters thesis, San Diego State University, San Diego, CA, May 2003. Also available at http://www.jirka.org/thesis.pdf



"quasiconformal mapping" is owned by jirka.
(view preamble | get metadata)

View style:

See Also: quasisymmetric mapping, Beurling-Ahlfors quasiconformal extension, conformal mapping, Beltrami differential equation

Other names:  K-quasiconformal mapping
Also defines:  dilatation, small dilatation, maximal dilatation, complex dilatation, $K$-quasiconformal, K-quasiconformal, quasiconformal
Keywords:  quasiconformal, quasisymmetric, dilatation
Log in to rate this entry.
(view current ratings)

Cross-references: line, quasisymmetric, real, dimensions, theory, open set, measurable, equation, solution, Beltrami differential equation, maps, sense-preserving, easy to see, finite, point, Jacobian, positive, sense-preserving mappings, invertible linear maps, ellipses, circles, infinitesimal, domain, bounded, angles, conformal, complex plane, mappings
There are 7 references to this entry.

This is version 10 of quasiconformal mapping, born on 2004-01-15, modified 2005-03-07.
Object id is 5515, canonical name is QuasiconformalMapping.
Accessed 12282 times total.

Classification:
AMS MSC30C62 (Functions of a complex variable :: Geometric function theory :: Quasiconformal mappings in the plane)
 30C65 (Functions of a complex variable :: Geometric function theory :: Quasiconformal mappings in $R^n$, other generalizations)

Pending Errata and Addenda
None.
[ View all 1 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)