结果族 368：The three-dimensional Ball–Evans approximation problem · 学科：Partial differential equations · 验证状态：暂无形式化证明，请以社区核验为准
揉一块不许自相穿透的橡皮泥：形变可以很粗糙——每一点的”拉伸程度”只在平均意义下可谈。问：能否用一系列同样不自穿、却光滑无比的形变去逼近它，并且连拉伸程度也一起逼近？这篇论文在三维、指数 @@M@@1\le p\le2@@ 时给出肯定回答；与处理 @@M@@p>2@@ 的姊妹篇合起来，三维 Ball–Evans 逼近问题宣告彻底解决。
关键词卡片
@@M@@L^p@@ 平均可控的形变。@@M@@\int|Df_j-Df|^p\to0@@。@@M@@p@@（integrability exponent）：导数按几次幂平均，@@M@@p=1@@ 最宽松。看个具体例子
定理的数值版：取最宽松的 @@M@@p=1@@，对任意两个有界区域之间的三维 Sobolev 同胚 @@M@@f@@，都存在映满同一目标的光滑微分同胚 @@M@@f_j@@，使 @@M@@\int_\Omega(|f_j-f|+|Df_j-Df|)\,dx\to0@@。歪扭的粗糙网格，可以被光滑且仍不重叠的网格连”拉伸程度”一起逼近。
为什么值得关心
弹性力学要求形变保持单射（物质不穿透），本结果让”保持单射”与”导数逼近”在三维首次兼容——四维以上存在行列式变号反例，三维是最后的空档。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里把研究对象比作”不许自相穿透的橡皮泥形变”。把比喻落实一步：对象是从一个空间区域到另一个区域的一一对应的连续形变，它足够粗糙，每一点的局部拉伸只能在平均意义下谈；要做的是找一列同样一一对应、却处处光滑的形变，既逐点贴近原形变，又让各处的拉伸程度在平均意义下同样贴近，且每个光滑形变填满的目标区域与原来的分毫不差。
第二级台阶
精确化三个概念。@@M@@W^{1,p}@@ 同胚指连续双射 @@M@@f:\Omega\to\Lambda@@，其函数值与弱导数都 @@M@@p@@ 次可积；微分同胚指 @@M@@f@@ 及其逆都光滑的双射；强逼近指 @@M@@\|f_j-f\|_{L^p}@@ 与 @@M@@\|Df_j-Df\|_{L^p}@@ 同时趋于零——弱收敛只管”平均方向”，强收敛还要求”平均拉伸”一致。
第三级台阶
定理在”任意有界连通区域 @@M@@\Omega,\Lambda\subset\mathbb{R}^3@@、@@M@@1\le p\le2@@、@@M@@f@@ 为 @@M@@W^{1,p}@@ 同胚”的语境下陈述：不设边界正则性、逆的可积性或 Jacobi 非零，结论是存在映满同一 @@M@@\Lambda@@ 的 @@M@@C^\infty@@ 微分同胚列实现上述强收敛。三维限制挡住的是四维以上行列式变号的反例——三维有 Hencl–Malý 定向定理保证保向同胚 @@M@@\det Df\ge0@@ 几乎处处；指数范围则由处理 @@M@@p>2@@ 的姊妹篇补全；”映满同一目标”排除了换目标导致的平凡化。
本文解决了三维 Ball–Evans 逼近问题在 @@M@@1\le p\le2@@ 的情形：任意有界区域之间的 @@M@@W^{1,p}@@ 同胚都是映满同一目标域的 @@M@@C^\infty@@ 微分同胚在 @@M@@W^{1,p}@@ 中的强极限，让”保持单射”与”导数逼近”这两个在三维长期无法兼得的要求首次同时成立。
非线性弹性中，材料的变形必须单射（物质互不穿透），局部形变由弱导数刻画，于是自然的映射类是 Sobolev 同胚 (Sobolev homeomorphism)。卷积磨光随手可得，却会破坏单射；Ball 在 2001 年的论述中把”能否两者兼得”归于 Evans，即固定目标的 Ball–Evans 逼近问题。二维已完整解决：Iwaniec–Kovalev–Onninen (2011) 覆盖 @@M@@1<p<\infty@@，Hencl–Pratelli (2018) 攻下端点 @@M@@p=1@@。高维存在实质障碍：Campbell–Hencl–Tengvall (2018) 在 @@M@@n\ge4@@、@@M@@1\le p<\lfloor n/2\rfloor@@ 造出 Jacobi 行列式在正测度集上变号的同胚，导数的强收敛无法重现这种符号模式。三维恰是空档：Hencl–Malý (2010) 的定向定理保证保向同胚 @@M@@\det Df\ge0@@ 几乎处处成立，挡住了上述反例，但它不提供逼近，秩亏 (rank-deficient) 导数仍须专门构造——这正是本文要跨过的鸿沟。
主定理：设 @@M@@\Omega,\Lambda\subset\mathbb{R}^3@@ 为有界连通开集，@@M@@1\le p\le2@@，@@M@@f:\Omega\to\Lambda@@ 为 @@M@@W^{1,p}@@ 同胚，则存在 @@M@@C^\infty@@ 微分同胚 (diffeomorphism) @@M@@f_j:\Omega\to\Lambda@@，每个都属于 @@M@@W^{1,p}@@，使
@@M@@D\int_\Omega\bigl(|f_j-f|^p+|Df_j-Df|^p\bigr)\,dx\longrightarrow0 .@@
不要求任何边界正则性、@@M@@f@@ 的边界延拓、逆映射的 Sobolev 正则性或 Jacobi 非零；每个逼近映射的像恰为原目标 @@M@@\Lambda@@。
证明分两大步：先构造局部双 Lipschitz (locally bi-Lipschitz) 同胚 @@M@@H:\Omega\to\Lambda@@ 以任意小误差强逼近 @@M@@f@@，再用一个对所有有限 @@M@@p@@ 都成立的光滑化定理把 @@M@@H@@ 换成光滑微分同胚。核心障碍在于：三维 PL 拓扑（Moise–Bing 三角剖分理论、Hamilton 的相对逼近、Edwards–Kirby 形变定理）只提供定性替换，不给任何导数估计；若先缩小例外集再选替换，替换的 Lipschitz 常数可以任意大，能量估计便成循环论证。论文的对策是贯穿全文的次序原则——先把一切有限常数（紧射流 (jet) 界、模型库导数上界）固定，再让各误差在它们面前变小。
光滑化一步又分两层。先用”有限 PL 模型库 + 适应性二进网格”把 @@M@@H@@ 强逼近为分片仿射 (piecewise affine) 同胚：各粗邻域的替换模型及其导数上界在网格加密之前选定，坏方体的体积之后才缩小，循环性由此破解。再对 PL 同胚分级磨光：棱上在管状邻域内做显式角度修正保持行列式为正；面上用变半径卷积，正性由”附近梯度凸包落在 @@M@@\mathrm{GL}^+(3)@@ 内”保证；顶点处借 Smale 的球面同痕定理把齐次芽顺滑为旋转。最后以真同伦 (proper homotopy) 加拓扑度论证：只要光滑逼近逐点足够贴近原同胚，它就自动双射映满原目标。
低指数逼近是主战场。先选出有限个紧集，其上 @@M@@f@@ 的值与一阶导数受控、导数秩固定（经 Whitney 延拓得到相容射流），丢弃部分的 @@M@@\int|Df|^p@@ 任意小。满秩紧集用”径向块”恢复精确射流：先在中心植入与 @@M@@f@@ 局部重合的 @@M@@C^1@@ 微分同胚芽，再以源径向压缩、目标径向扩张把这个芽放大到块的大部分。秩一、秩二时压缩核方向，把体积估计化为线段或平面截面上的长度、面积问题：@@M@@p=1@@ 用初等的平方长度亏损估计加 Hölder 不等式（绕开 @@M@@L^1@@ 无严格凸性）；秩二、@@M@@p=2@@ 用”边界参数化圆盘估计”，经 Ahlfors–Bers 等温坐标共形换参，把面积转化为接近极小的 Dirichlet 能量。能量来源是一套”迹预算 (trace budget)”机制：对目标三角剖分中由重心坐标并列最大者定义的对偶分层，数曲线、曲面的穿越次数，每次穿越记下对应目标棱长或面面积；平移平均与 coarea 公式把期望预算控制在原迹积分内；再用 softmax 型”单纯形挤压”目标自同胚把像长、像面集中到穿越点旁，把计数变成真实测量。@@M@@p=2@@ 时还调用 Csörnyei–Hencl–Malý 的逆 @@M@@BV@@ 定理与二维 Lusin 性质来选取反向射线、测量一般像曲面。其余不受控胞腔由次临界径向塌缩用边界能量控制，误差全部可和，最终拼出整体 @@M@@W^{1,p}@@ 强逼近。
主结果暂无 Lean 形式化证明。本族两篇互为姊妹：本文覆盖 @@M@@1\le p\le2@@，另一篇覆盖 @@M@@p>2@@，合并即完整解决三维 Ball–Evans 问题；两文共享同一光滑化定理（本文第 2 节，姊妹篇在附录 A 完整重证），但互不引用对方区间的定理。按 OpenAI 官方声明，未经形式化的结果可能存在问题，结论请以社区核验为准。
问 1：证明里最关键、也最脆弱的是哪一步？
（答：破解循环论证的”次序原则”。三维 PL 拓扑（Moise–Bing、Hamilton 相对逼近）只给定性替换、不给导数估计；若先缩小例外集再选替换，Lipschitz 常数可以任意大，能量估计便成循环。论文把一切有限常数——紧射流界、模型库导数上界——先固定，再让各误差在它们面前变小，引言明言”选择的次序是论证的一部分”。这一簿记若在组装中有一步颠倒，全局 @@M@@W^{1,p}@@ 估计就会垮掉。）
问 2：为什么必须限制在三维？这个假设能去掉吗？
（答：不能。@@M@@n\ge4@@、@@M@@1\le p<\lfloor n/2\rfloor@@ 时 Campbell–Hencl–Tengvall 造出 Jacobi 行列式在正测度集上变号的同胚，而导数强收敛无法重现这种符号模式，问题本身有反例。三维恰好有 Hencl–Malý 定向定理保证保向同胚 @@M@@\det Df\ge0@@ 几乎处处；但它不提供逼近，秩亏导数仍需逐秩构造，这正是论文的主战场。）
问 3：端点 @@M@@p=1@@ 为什么单独地难？
（答：@@M@@L^1@@ 没有严格凸性，平面理论中依赖凸性的论证在这里失效。论文改用初等的平方长度亏损估计加 Hölder 不等式处理秩一线段问题，绕开严格凸性（引言 §1.2 末）。）
问 4：与已有工作相比，真正的新意是什么？
（答：二维已由 Iwaniec–Kovalev–Onninen（@@M@@1<p<\infty@@）与 Hencl–Pratelli（@@M@@p=1@@）解决，三维是最后的空档。新意是策略性的：把”逼近”与”光滑化”分离——先用迹预算机制（目标三角剖分的对偶分层相交计数，配合面保目标重参数化把计数变成真实测量）造出局部双 Lipschitz 强逼近，再用一个对所有有限 @@M@@p@@ 都成立的光滑化定理收尾（棱上角度修正、面上变半径卷积、顶点 Smale 同痕）。）
问 5：这类 AI 生成证明最可能以什么方式出错？
（答：构造链条极长、误差预算层层求和，最可能出现簿记错误——某处常数依赖次序被违反，或误差可和性失效。另一风险点是收尾的 proper homotopy 加拓扑度论证：它要求光滑逼近逐点足够贴近原同胚（”fine value tolerance”），容差不够细则每个逼近子的双射性不成立。本文暂无形式化证明，这些风险真实存在。）
问 6：这个结果谁会用、用在哪？
（答：非线性弹性是直接背景：Ball 的变分框架要求形变单射（物质不穿透），本结果让三维”单射”与”导数强逼近”首次兼容，为弹性泛函极小化序列的正则化与光滑形变的数值逼近提供合法性；Sobolev 映射与几何测度论社区是另一批直接用户。）
总评
与姊妹篇合并即完整解决三维 Ball–Evans 逼近问题，是这一悬置二十余年问题的清盘之作；最大风险在于超长构造的误差簿记与尚无形式化核验，结论宜逐引理独立复核。