Sobolev homeomorphisms and composition operators (Q6829638)

Let \(D\) and \(D'\) be two domains of the Euclidean space \(\mathbb R^n\) with \(n\geq 2\). Let \(L^1_p(D)\) with \(1\leq p\leq\infty\) be the homogeneous Sobolev space on \(D\), namely, for all \(f\in L^1_p(D)\), its norm is defined by \(\|f|L^1_p(D)\|=\|\nabla f|L_p(D)\|\). In this paper, the authors prove that, if a homeomorphism \(\varphi: D\to D'\) has finite distortion, the Luzin \(N\)-property (the image of a set measure zero is a set measure zero), and generates a bounded composition operator \N\N\[\N\varphi^*: L^1_\infty(D')\to L^1_p(D), \quad q>n-1,\N\]\N \Nwhich is defined by the chain rule \(\varphi^*(f)=f\circ \varphi\) for all \(f\in L^1_\infty(D')\), then the inverse mapping \(\varphi^{-1}:\,D'\to D\) generates the bounded composition operator \N\N\[\N(\varphi^{-1})^*: L^1_{q'}(D)\to L^1_1(D'), \quad q'=q/(q-n+1).\N\]\N \NIt is well-known that the ``invertibility problem'' for composition operators in Sobolev spaces is connected with the regularity of Sobolev homeomorphisms.\N\NFor the entire collection see [Zbl 1180.47001].