The first goal of this paper is to give a short description of the planar bi-Sobolev homeomorphisms, providing simple and self-contained proofs for some already known properties. In particular, for any such homeomorphism u:Ω→Δ, one has Du(x)=0 for almost every point x for which Ju(x)=0. As a consequence, one can prove that ∫Ω|Du|=∫Δ|Du−1|. Notice that this estimate holds trivially if one is allowed to use the change of variables formula, but this is not always the case for a bi-Sobolev homeomorphism. As a corollary of our construction, we will show that any W1,1homeomorphism u with W1,1inverse can be approximated with smooth diffeomorphisms (or piecewise affine homeomorphisms) unin such a way that unconverges to u in W1,1and, at the same time, un−1converges to u−1in W1,1. This positively answers an open conjecture (see for instance Iwaniec et al. (2011), Question 4) for the case p=1.
On the bi-Sobolev planar homeomorphisms and their approximation
PRATELLI, ALDO
2017-01-01
Abstract
The first goal of this paper is to give a short description of the planar bi-Sobolev homeomorphisms, providing simple and self-contained proofs for some already known properties. In particular, for any such homeomorphism u:Ω→Δ, one has Du(x)=0 for almost every point x for which Ju(x)=0. As a consequence, one can prove that ∫Ω|Du|=∫Δ|Du−1|. Notice that this estimate holds trivially if one is allowed to use the change of variables formula, but this is not always the case for a bi-Sobolev homeomorphism. As a corollary of our construction, we will show that any W1,1homeomorphism u with W1,1inverse can be approximated with smooth diffeomorphisms (or piecewise affine homeomorphisms) unin such a way that unconverges to u in W1,1and, at the same time, un−1converges to u−1in W1,1. This positively answers an open conjecture (see for instance Iwaniec et al. (2011), Question 4) for the case p=1.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
