Every W^{1,p} homeomorphism between nonempty bounded connected open domains in R³, for 1≤p≤2, is a strong W^{1,p} limit of smooth diffeomorphisms onto the same target domain.
Every W^{1,p} homeomorphism between nonempty bounded connected open domains in R³, for 1≤p≤2, is a strong W^{1,p} limit of smooth diffeomorphisms onto the same target domain.
Every W^{1,p} homeomorphism between nonempty bounded connected open domains in R³, for 1≤p≤2, is a strong W^{1,p} limit of smooth diffeomorphisms onto the same target domain.
If correct, resolves the three-dimensional Ball–Evans approximation problem for 1≤p≤2.
Can low-exponent Sobolev homeomorphisms in three dimensions be strongly approximated by diffeomorphisms?
Publication dates and editorial changes.
OpenAI reports strong diffeomorphic approximation in three dimensions
Allow optional Google Analytics to help improve AIProofWatch? Privacy details.
