clopen.solutions

Strong diffeomorphic approximation in three dimensions for $1\le p\le2$

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 $1\le p\le2$. Every $W^{1,p}$ homeomorphism between arbitrary bounded domains in $\R^3$ is a strong $W^{1,p}$ limit of 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.