Английская Википедия:Distortion (mathematics)

Содержание

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

Текст

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

<math>H(z,f) = \limsup_{r\to 0}\frac{\max_{|h|=r}|f(z+h)-f(z)|}{\min_{|h|=r}|f(z+h)-f(z)|}</math>

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² from an open domain in the plane to the plane has finite distortion at a point x ∈ Ω if ƒ is in the Sobolev space WШаблон:Su(Ω, R²), 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

<math>|Df(x)|^2 \le K(x)|J(x,f)| </math>

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ⁿ, 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

<math>G(x,f) =

\begin{cases} |J(x,f)|^{-2/n}D^Tf(x)Df(x)&\text{if }J(x,f)\not=0\\ I &\text{if }J(x,f)=0. \end{cases}</math>

The outer distortion K_O and inner distortion K_I are defined via the Rayleigh quotients

<math>K_O(x) = \sup_{\xi\not=0}\frac{\langle G(x)\xi,\xi\rangle^{n/2}}{|\xi|^n},\quad K_I(x) = \sup_{\xi\not=0}\frac{\langle G^{-1}(x)\xi,\xi\rangle^{n/2}}{|\xi|^n}.</math>

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ⁿ, then a function Шаблон:Nowrap has finite distortion if its Jacobian is locally integrable and does not change sign, and there is a measurable function K_O (the outer distortion) such that

<math>|Df(x)|^n \le K_O(x)|J(x,f)| </math>

almost everywhere.

See also

• Deformation (mechanics)

References

• Шаблон:Citation.
• Шаблон:Citation.