clopen.solutions

Strong diffeomorphic approximation in three dimensions for $p>2$

Recorded by the registry's curators from GitHub; the authors did not submit it here.

OpenAI

We resolve the three-dimensional Ball--Evans approximation problem for every finite $p>2$. Every $W^{1,p}$ homeomorphism between arbitrary bounded domains in $\R^3$ can be approximated strongly in $W^{1,p}$ by smooth diffeomorphisms onto the same target.

Claims

SOLUTION CLAIMED OP-00665 — Smooth approximation of three-dimensional Sobolev homeomorphisms
Full resolution · fidelity not yet established

Files and sources

Paper
math @ 1581d4c, build/main.tex ↗
Posted on GitHub
6 October 2026

No verification run is on record for this version.