Mappings of finite distortion: the degree of regularity (Q703809): Difference between revisions

This paper investigates the self-improving integrability properties of the so-called mappings of finite distortion. Let \(K(x)\geq 1\) be a measurable function defined on a domain \(\Omega\subset\mathbb{R}^n\), \(n\geq 2\), and such that exp\((\beta K(x))\in L^1_{\text{loc}}(\Omega),\, \beta>0\). The authors show that there exist two universal constants \(c_1(n), c_2(n)\) with the following property: Let \(f\) be a mapping in \(W^{1,1}_{\text{loc}}(\Omega,\mathbb{R}^n)\) with \(| Df(x)| \leq K(x)J(x,f)\) for a.e. \(x\in\Omega\) and such that the Jacobian determinant \(J(x,f)\) is locally in \(L^1\log^{-c_1(n)\beta}L(\Omega)\). Then automatically \(J(x,f)\) is locally in \(L^1\log^{-c_2(n)\beta}L(\Omega)\). This result constitutes the appropriate analog for the self-improving regularity of quasiregular mappings and clarifies many other interesting properties of mappings of finite distortion. Namely, the authors obtain novel results on the size of removability singularities for bounded mappings of finite distortion, and on the area distortion under this class of mappings.