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

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.