Mappings of finite distortion: Condition \(N\) (Q5954592)

Let \(f\) be a continuous mapping from a domain \(\Omega\subset \mathbb{R}^n\) into \(\mathbb{R}^n\) with \(n\geq 2\) and let \(Df\) be the gradient of \(f\) in the sense of weak derivatives. The authors investigate under which additional assumptions on \(f\) the Lusin condition \(N\) (i.e. \({\mathcal L}^n(E)= 0\Rightarrow{\mathcal L}^n(f(E))= 0\)) holds. They prove the followingNEWLINENEWLINENEWLINETheorem. Let \(f\) be a sense preserving-mapping satisfying NEWLINE\[NEWLINE\lim_{\varepsilon\to +0} \varepsilon\int_\Omega|Df|^{n- \varepsilon}= 0.NEWLINE\]NEWLINE Then \(f\) satisfies the condition \(N\). On the other hand, there is a homeomorphism \(f\) of the closed unit cube \(Q_0\) onto itself with NEWLINE\[NEWLINE\sup_{0<\varepsilon\leq n-1} \varepsilon\int_\Omega|Df|^{n- \varepsilon}< \infty,NEWLINE\]NEWLINE where the restriction of \(f\) on \(\partial Q_0\) is the identical mapping. This homeomorphism \(f\) does not satisfy condition \(N\).NEWLINENEWLINENEWLINEThe authors also consider Sobolev mappings of finite distortion and derive an analogous result. As a consequence of the above theorem they, furthermore, show that Sobolev mappings whose dilatation is exponentially integrable satisfy condition \(N\).