The Ball-Evans approximation problem asks whether a Sobolev homeomorphism between domains can be approximated strongly in the same
Sobolev space by smooth diffeomorphisms
onto the same target domain. For in
, the desired convergence
is
The approximating maps must be diffeomorphisms from
onto
.