On mappings in the Orlicz-Sobolev classes

TL;DR

This paper generalizes classical theorems about open and continuous mappings in Orlicz-Sobolev classes, establishing conditions for the differential, the (N)-property, and characterizing homeomorphisms with finite distortion as lower and ring Q-homeomorphisms.

Contribution

It extends key properties of mappings in Orlicz-Sobolev classes under Calderon type conditions, linking them to lower and ring Q-homeomorphisms with finite distortion.

Findings

Open mappings have a.e. total differential under Calderon conditions.

Continuous mappings with p>n-1 have the (N)-property on a.e. hyperplane.

Homeomorphisms with finite distortion are lower and ring Q-homeomorphisms.

Abstract

First of all, we prove that open mappings in Orlicz-Sobolev classes $W^{1,\phi}_{\rm loc}$ under the Calderon type condition on $\phi$ have the total differential a.e. that is a generalization of the well-known theorems of Gehring-Lehto-Menchoff in the plane and of V\"ais\"al\"a in ${\Bbb R}^n$, $n\geqslant3$. Under the same condition on $\phi$, we show that continuous mappings $f$ in $W^{1,\phi}_{\rm loc}$, in particular, $f\in W^{1,p}_{\rm loc}$ for $p>n-1$ have the $(N)$-property by Lusin on a.e. hyperplane. Our examples demonstrate that the Calderon type condition is not only sufficient but also necessary for this and, in particular, there exist homeomorphisms in $W^{1,n-1}_{\rm loc}$ which have not the $(N)$-property with respect to the $(n-1)$-dimensional Hausdorff measure on a.e. hyperplane. It is proved on this base that under this condition on $\phi$ the homeomorphisms $f$ with finite distortion in $W^{1,\phi}_{\rm loc}$ and, in particular, $f\in W^{1,p}_{\rm loc}$ for $p>n-1$ are the so-called lower $Q$-homeomorphisms where $Q(x)$ is equal to its outer dilatation $K_f(x)$ as well as the so-called ring $Q_*$-homeomorphisms with $Q_*(x)=[K_{f}(x)]^{n-1}$. This makes possible to apply our theory of the local and boundary behavior of the lower and ring $Q$-homeomorphisms to homeomorphisms with finite distortion in the Orlicz-Sobolev classes.