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
.