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 following Theorem. Let \(f\) be a sense preserving-mapping satisfying \[ \lim_{\varepsilon\to +0} \varepsilon\int_\Omega|Df|^{n- \varepsilon}= 0. \] 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 \[ \sup_{0<\varepsilon\leq n-1} \varepsilon\int_\Omega|Df|^{n- \varepsilon}< \infty, \] where the restriction of \(f\) on \(\partial Q_0\) is the identical mapping. This homeomorphism \(f\) does not satisfy condition \(N\). The 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\).