Sharpness of the assumptions for the regularity of a homeomorphism (Q621294): Difference between revisions

Let \(\Omega\subset\mathbb R^n\) be an open set. A mapping \(f\in W^{1,1}_{\text{loc}}(\Omega,\mathbb R^n)\) is said to have a finite (outer) distortion if \(J_f (x)\geq 0\) a.e. and \(J_f (x)= 0\) implies \(|Df(x)|=0\) a.e.; it is said to have a finite inner distortion if \(J_f (x)\geq 0\) a.e. and \(J_f (x)= 0\) implies \(|\operatorname{adj}Df|=0\) a.e., where \(\operatorname{adj}Df\) denotes the matrix with \(Df\operatorname{adj}Df=I\) \(\det Df\). The author shows that the following result of \textit{M. Csörnyei, S. Hencl} and \textit{J. Malý} [J. Reine Angew. Math. 644, 221--235 (2010; Zbl 1210.46023)] is sharp: Let \(\Omega\subset\mathbb R^n\) be an open set and let \(f\in W^{1,n-1}_{\text{loc}}(\Omega,\mathbb R^n)\) be a homeomorphism of finite inner distortion. Then \(f^{-1}\in W^{1,1}_{\text{loc}}(f(\Omega),\mathbb R^n)\) and \(f^{-1}\) is a mapping of finite outer distortion; moreover, \[ \int_{f(\Omega)}|Df^{-1}(y)|\,dy= \int_{\Omega}|\operatorname{adj} Df(x)|\,dx. \] Namely, he shows examples that the condition \(f\in W^{1,n-1}_{loc}(\Omega,\mathbb R^n)\) cannot be replaced by conditoins: 1) \(f\in W^{1,n-1-\varepsilon}_{\text{loc}}(\Omega,\mathbb R^n)\) \((0<\varepsilon<1)\) and \(|\operatorname{adj}Df|\in L^{1}(\Omega)\); 2) \(f\in W^{1,1}_{\text{loc}}(\Omega,\mathbb R^n)\) and \[ \int_\Omega |Df(x)|^{n-1}g(|Df(x)|)\,dx<\infty, \] where \(g:[0,\infty)\rightarrow [0,\infty)\) is a decreasing function such that \(\lim_{s\rightarrow \infty}g(s)=0\).