Mappings of finite distortion: gauge dimension of generalized quasicircles (Q1419647)

Let \(\Omega\) be a domain in \(\mathbb R^n\). A continuous mapping \(f: \Omega\to\mathbb R^n\) is said to have finite distortion if \(f\) is in the Sobolev class \(W^{1,1}_{\text{loc}}(\Omega, \mathbb R^n)\), the Jacobian determinant \(J_f=\text{det}(Df)\) of \(f\) (\(Df\) being the differential of \(f\)) is locally integrable in \(\Omega\), and there exists a measurable function \(K:\Omega\to [1, \infty]\), finite almost everywhere, such that \(| Df(x)| ^n\leq K(x)J_f(x)\) a.e. \(x\in\Omega\). \(f\) is said to have finite exponentially integrable distortion if \(K\) is exponentially integrable, namely, there exists some \(\lambda>0\) such that \(\exp(\lambda K)\in L^1_{\text{loc}}(\Omega)\). A number of recent papers by the authors and some other mathematicians have established many important properties for mappings with finite exponentially integrable distortion including: continuity, Lusin's condition (N), preservation of Lebesgue null sets, etc. In the paper under review, the authors mainly studied the generalized quasispheres-the images \(f(\mathbb S^{n-1})\) of the unit sphere under a homeomorphism \(f:\mathbb R^n\to\mathbb R^n\) of finite exponentially integrable distortion. Since a generalized quasisphere may have Hausdorff dimension \(n\), the authors' interest is in determining the correct dimension gauge for measuring \(f(\mathbb S^{n-1})\). Let \(\Lambda^{n,p}\) denote the generalized Hausdorff measure obtained by using the dimension gauge \(\delta(t)=t^n(\log 1/t)^p\) with \(p>0\). The authors gave a complete description for the plane case (\(n=2\)). The main result is the Theorem A: There exists an absolute constant \(k_1\) such that for any homeomorphism \(f:\mathbb R^2\to\mathbb R^2\) with finite distortion \(K\) and \(\exp(\lambda K)\) locally integrable for some \(\lambda>0\), we have \(\Lambda^{2, p}(fS^1)<\infty\) for all \(p<k_1\lambda\).