Hausdorff measure of quasicircles (Q655380)

A homeomorphism \(f : \Omega \to \Omega'\) between planar domains is called \(K\)-quasiconformal if it preserves orientation, belongs to the Sobolev class \(W^{1,2}_{\text{loc}} (\Omega)\) and its directional derivatives satisfies the distortion inequality \(\max_\alpha|\partial_\alpha f|\leq K\min_\alpha|\partial_\alpha f|\) a.e. in \(\Omega\). A \(K\)-quasicircle is the image of a circle under a \(K\)-quasiconformal homeomorphism. Quasiconformal maps can change the Hausdorff dimension of a set. Quantifying how much dimension can change has been an area of active and intense investigation, which has numerous connections with geometric function theory, singular integrals, metric measure theory, probability and other areas. One of the principle contributions is the result of \textit{S. Smirnov} [Acta Math. 205, No. 1, 189--197 (2010; Zbl 1211.30037)] that the Hausdorff dimension of any \(K\)-quasicircle is at most \(1 + k^2\), where \(k= (K - 1)/ (K + 1)\). In the elegant paper under review, the authors prove that the inequality \(H^{1 + k^2} (B (x, r)\cap \Gamma) \leq C(k) r^{1 + k^2}\) holds for all \(x \in \mathbb R^2,r > 0\) and a \(K\)-quasicircle \(\Gamma \subseteq \mathbb R^2\), where \(H^s\) is the \(s\)-Hausdorff measure. A borderline integrability result for \(K\)-quasiconformal maps in the unit disk is also given.