Optimal regularity for planar mappings of finite distortion (Q846385)

Let \(f : \Omega \to {\mathbb R}^2\) be a mapping of finite distortion, where \(\Omega \subset {\mathbb R}^2\). Assume that the distortion function \(K(x,f )\) satisfies \(e^K(\cdot ,f ) \in L_{\text{loc}}^p(\Omega)\), for some \(p > 0\). The authors establish optimal regularity and area distortion estimates for \(f\). In particular, they prove that \[ |Df |^2 \log^{\beta-1}(e +|Df |) \in L_{\text{loc}}^1(\Omega)\qquad\text{for every }\beta <p. \] This answers positively, in dimension \(n = 2\), some recent well-known conjectures of T. Iwaniec and coauthors.