Rotation bounds for Hölder continuous homeomorphisms with integrable distortion (Q2143419)

The authors obtain sharp rotation bounds for the subclass of homeomorphisms of finite distortion. A mapping \(f:\mathbb C\to\mathbb C\) is of finite distortion if \(f\in W^{1,1}_{\text{loc}}(\mathbb C,\mathbb C)\), its Jacobian determinant \(\text{det}(Df)=J(\cdot,f)\) is locally integrable, and there exists a measurable function \(\mathbb K(\cdot,f):\mathbb C\to[1,\infty]\) such that \(|Df(z)|^2\leq\mathbb K(z,f)\cdot J(z,f)\) at almost every \(z\in\mathbb C\). The main result of the paper is described in the following theorem. Theorem 1. Let \(f:\mathbb C\to\mathbb C\) be a homeomorphism of finite distortion such that \(f(0)=0\) and \(f(1)=1\), and assume that \(\mathbb K(\cdot,f)\in L^p_{\text{loc}}\) for some \(p>1\). Suppose that \(|f(x)-f(y)|\geq C|x-y|^{\alpha}\), if \(|x-y|\) is small, for some \(\alpha>1\). Then \[|\arg(f(z))|\leq C\sqrt{\alpha}\,|z|^{-1/p}\log^{1/2}\left(\frac{1}{|z|}\right)\] whenever \(|z|\) is small enough. Toward the optimality of Theorem 1, the authors prove the following. Theorem 3. Given an increasing, onto homeomorphism \(h:[0,\infty]\to[0,\infty]\), and a real number \(p>1\), there exists a homeomorphism \(\overline f:\mathbb C\to\mathbb C\) with the following properties: \newline 1) \(\overline f\) is a mapping of finite distortion with \(\mathbb K(\cdot,\overline f)\in L^p_{\text{loc}}\). \newline 2) \(\overline f(0)=0\), \(\overline f(1)=1\). \newline 3) If \(\alpha>3p/(p-1)\), then \(|\overline f(x)-\overline f(y)|\geq C|x-y|^{\alpha}\) whenever \(|x-y|<1\). \newline 4) There exists a decreasing sequence \(\{r_n\}\) with \(r_n\to0+\) as \(n\to\infty\), for which \[|\arg(\overline f(r_n))|\geq r_n^{-1/p}\log^{-1/2}\left(\frac{1}{r_n}\right)h(r_n).\]