Skip to main content
Added explanations
Source Link
Benoît Kloeckner
  • 14.4k
  • 1
  • 60
  • 106

There might be none. If the boundary of $\Omega$ presents a cusp, then it cannot be flattened even into a corner by a Lipschitz map (in particular, you $\Phi$ must have unbounded first derivative).

Edit: here are some details. Observe that a Lipschitz map from a bounded set can be extended with the same Lipschitz constant to the closure of the domain (it maps Cauchy sequences to Cauchy sequences). This extension would send the boundary of the starting domain bijectively into the boundary of the cube. All you have to do to construct a counter-example is ensure this cannot happen; e.g. in dimension 2 take a starting domain with a cusp, i.e. a point where the left-hand part of the boundary meets the right-hand part with a vanishing angle. This cannot be sent by a Lipschitz map to the boundary of a square without folding, and folding would prevent bijectivity.

There might be none. If the boundary of $\Omega$ presents a cusp, then it cannot be flattened even into a corner by a Lipschitz map (in particular, you $\Phi$ must have unbounded first derivative).

There might be none. If the boundary of $\Omega$ presents a cusp, then it cannot be flattened even into a corner by a Lipschitz map (in particular, you $\Phi$ must have unbounded first derivative).

Edit: here are some details. Observe that a Lipschitz map from a bounded set can be extended with the same Lipschitz constant to the closure of the domain (it maps Cauchy sequences to Cauchy sequences). This extension would send the boundary of the starting domain bijectively into the boundary of the cube. All you have to do to construct a counter-example is ensure this cannot happen; e.g. in dimension 2 take a starting domain with a cusp, i.e. a point where the left-hand part of the boundary meets the right-hand part with a vanishing angle. This cannot be sent by a Lipschitz map to the boundary of a square without folding, and folding would prevent bijectivity.

Source Link
Benoît Kloeckner
  • 14.4k
  • 1
  • 60
  • 106

There might be none. If the boundary of $\Omega$ presents a cusp, then it cannot be flattened even into a corner by a Lipschitz map (in particular, you $\Phi$ must have unbounded first derivative).