On mappings of finite distortion that are quasiconformal in the unit disk

Abstract: We study quasiconformal mappings of the unit disk that have planar extension with controlled distortion. For these mappings we prove a bound for the modulus of continuity of the inverse map, which somewhat surprisingly is almost as good as for global quasiconformal maps. Furthermore, we give examples which improve the known bounds for the three point property of generalized quasidisks. Finally, we establish optimal regularity of such maps when the image of the unit disk has cusp type singularities.

Review text

The authors study quasiconformal mappings of the unit disk \(\mathbb D=\{z\in\mathbb C:|z|<1\}\) that have homeomorphic planar extension with controlled distortion. A \(K\)-quasiconformal mapping \(f:\Omega_1\to\Omega_2\) has finite distortion if \(f\in W_{\text{loc}}^{1,1}(\Omega_1)\), \(J_f(z)\in L_{\text{loc}}^1(\Omega_1)\) and \(|Df(z)|^2\leq K(z)J_f(z)\) for a measurable function \(K(z)\) almost everywhere in \(\Omega_1\) where \(J_f(z)\) is the Jacobian of \(f\) at \(z\). The smallest such function denoted by \(K_f(z)\) is finite almost everywhere and is called the distortion of \(f\). A mapping of finite distortion has \(p_1\)-exponentially integrable distortion, \(p_1>0\), if \(e^{p_1K_f(z)}\in L_{\text{loc}}^1\) and \(p_2\)-integrable distortion, \(p_2>0\), if \(K_f(z)\in L_{\text{loc}}^{p_2}(\Omega_1)\). A bounded Jordan domain \(\Omega\) satisfies the three point condition with an increasing function \(h:[0,\infty)\to[0,\infty)\) if there exists \(C\geq1\) such that for each pair of points \(x,y\in\partial\Omega\), \(\min_{i\in\{1,2\}}\text{diam}\gamma_i\leq h(C|x-y|)\) with components \(\gamma_1,\gamma_2\) of \(\partial\Omega\setminus\{x,y\}\). The authors prove the following theorem. Theorem 1. For any \(K>1\) and \(\gamma>0\), there exists a Jordan domain \(\Omega\) whose boundary satisfies the three point condition with a control function \(h(t)=Ct\log^{1/2+\gamma}(1/t)\) such that there does not exist a \(K\)-quasiconformal mapping \(f:\mathbb D\to\Omega\) possessing a planar homeomorphic extension with exponentially integrable distortion. A similar result is proved if the distortion of extension is locally \(p\)-integrable. Next, in Theorem 3, the authors establish the lower bound for \(|f(z)-f(w)|\) when \(f\) is a homeomorphism with \(p\)-exponentially integrable distortion which is \(K\)-quasiconformal in \(\mathbb D\). Finally, they study integrability of the derivative of conformal mappings from \(\mathbb D\) that have a planar extension with exponentially integrable distortion, and such that \(f(\mathbb D)\) is \(C^{1+\epsilon}\)-regular outside outward cusps.

Recommendations

Cites work

Cited in

(15)

This page was built for publication: On mappings of finite distortion that are quasiconformal in the unit disk

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6161896)