In mathematics, the distortion is a measure of the amount by which a function from the Euclidean plane to itself distorts circles to ellipses. If the distortion of a function is equal to one, then it is conformal; if the distortion is bounded and the function is a homeomorphism, then it is quasiconformal. The distortion of a function ÃÂ of the plane is given by
which is the limiting eccentricity of the ellipse produced by applying àto small circles centered at z. This geometrical definition is often very difficult to work with, and the necessary analytical features can be extrapolated to the following definition. A mapping à: é â R<sup>2</sup> from an open domain in the plane to the plane has finite distortion at a point x â é if àis in the Sobolev space W(é, R<sup>2</sup>), the Jacobian determinant J(x,ÃÂ) is locally integrable and does not change sign in é, and there is a measurable function K(x) âÂÂ¥ 1 such that
almost everywhere. Here Df is the weak derivative of ÃÂ, and |Df| is the HilbertâÂÂSchmidt norm.
For functions on a higher-dimensional Euclidean space R<sup>n</sup>, there are more measures of distortion because there are more than two principal axes of a symmetric tensor. The pointwise information is contained in the distortion tensor
The outer distortion K<sub>O</sub> and inner distortion K<sub>I</sub> are defined via the Rayleigh quotients
The outer distortion can also be characterized by means of an inequality similar to that given in the two-dimensional case. If é is an open set in R<sup>n</sup>, then a function has finite distortion if its Jacobian is locally integrable and does not change sign, and there is a measurable function K<sub>O</sub> (the outer distortion) such that
almost everywhere.