A multidimensional analog of the Teichmüller--Wittich theorem (Q1577180)

Suppose that \(w=w(z)\) is a plane quasiconformal mapping taking the unit disk into itself and such that \(w(0)=0\). The following question is natural: Under which conditions is the mapping \(w(z)\) conformal at the origin in the sense that the limit of the ratio \(w(z)/z\) as \(z\to 0\) differs from \(0\) and \(\infty\)? The classical result of Belinskij states that for differentiability of a plane quasiconformal mapping it is sufficient to require validity of the integral Hölder condition. Moreover, the existence of \(\lim_{z\to 0}|{w-w_0 \over z}|\) was proven under additional constraints by Teichmüller and, in the general case, by \textit{H.~Wittich} [Math. Z. 51, 278-288 (1948; Zbl 0030.35602)]. In the article under review, multidimensional analogues of these results are considered. In particular, the following result is obtained: Suppose that \(f\:B(a,r) \to {\mathbb R}^n\) is a mapping with bounded distortion, let \(g=f^{-1}\) be the inverse mapping, and assume that \[ \int_{B(a,r)} {K(x,f) - 1 \over |x-a|^n} dx < \infty \quad \text{and} \quad \int_{f(B(a,h_0))} {K(y,g) - 1 \over |y-f(a)|^n} dy < \infty; \] then \({|f(x) - f(a)|\over |x-a|} \to c\) as \(x \to a\).