[论文解读] $W^{2,1}$ regularity for solutions of the Monge-Ampère equation

Guido De Philippis, Alessio Figalli|arXiv (Cornell University)|Nov 30, 2011

Geometry and complex manifolds参考文献 13被引用 18

一句话总结

该论文建立了当 $f$ 有正下界和上界时，严格凸 Alexandrov 解 $u$ 的 $W^{2,1}_{\rm loc}$ 正则性。通过证明更高可积性估计——具体而言 $D^2u \in L\log^kL$ 对所有 $k \in \mathbb{N}$ 成立——作者解决了最优传输和几何分析中关于 Sobolev 正则性的开放问题。

ABSTRACT

In this paper we prove that a strictly convex Alexandrov solution u of the Monge-Ampère equation, with right hand side bounded away from zero and infinity, is $W_{ m loc}^{2,1}$. This is obtained by showing higher integrability a-priori estimates for $D^2 u$, namely $D^2 u \in L\log^k L$ for any $k\in \mathbb N$.

研究动机与目标

• 解决关于有界右端 $f$ 的 Monge-Ampère 方程解是否属于 $W^{2,1}_{\rm loc}$ 的开放问题。
• 在 $L^p$（$p>1$）之外，建立 Hessian $D^2u$ 的更高可积性估计，具体为 Orlicz 空间 $L\log^kL$ 中的估计。
• 在 Monge-Ampère 方程的层面上提供直接证明，避免依赖微分包含或反例。
• 将正则性结果推广至最优传输映射和 Minkowski 问题，表明传输映射 $T=\nabla u$ 属于 $W^{1,1}_{\rm loc}$。

提出的方法

• 使用极大函数技巧和覆盖论证来控制 $\|D^2u\|$ 的水平集。
• 应用 Vitali 覆盖引理和 dyadic 分解，将 $D^2u$ 的水平集与环形区域和球体联系起来。
• 采用分层蛋糕表示法和 Fubini 定理，通过迭代积分估计 $L\log^kL$ 范数。
• 推导一个关键的先验估计：对所有 $k \in \mathbb{N}$，有 $\int_{\Omega'} \|D^2u\| \log^k(2 + \|D^2u\|) \leq C$，其中 $C$ 依赖于 $k,n,\lambda,\Lambda,\Omega,\Omega'$。
• 对 $u$ 进行归一化以固定通用常数，并减少对区域大小的依赖。
• 将主估计与 Savin 的结果结合，证明在相同假设下全局 $W^{2,1}$ 正则性。

实验结果

研究问题

• RQ1 严格凸 Alexandrov 解 $u$ 满足 $\det D^2u = f$ 且 $0 < \lambda \leq f \leq \Lambda$ 时，是否属于 $W^{2,1}_{\rm loc}$？
• RQ2 在相同假设下，是否可以建立 $D^2u$ 超过 $L^p$（$p>1$）的更高可积性？
• RQ3 $W^{2,1}$ 正则性是否最优，或可改进为 $W^{2,p}$（$p>1$）？
• RQ4 在 $f$ 有界时，控制 $D^2u$ 的精确 Orlicz 空间范数（如 $L\log^kL$）是什么？
• RQ5 能否将 $W^{2,1}$ 结果推广至全局正则性，并应用于最优传输映射？

主要发现

• 任意严格凸 Alexandrov 解 $u$ 满足 $\det D^2u = f$ 且 $0 < \lambda \leq f \leq \Lambda$ 时，其 Hessian $D^2u$ 在 $\Omega$ 的紧子集上满足 $D^2u \in L\log^kL$，对所有 $k \in \mathbb{N}$ 成立。
• 主估计 $\int_{\Omega'} \|D^2u\| \log^k(2 + \|D^2u\|) \leq C(k,n,\lambda,\Lambda,\Omega,\Omega')$ 对所有 $k \in \mathbb{N}$ 成立，其中常数 $C$ 仅依赖于给定参数。
• 因此，$u \in W^{2,1}_{\rm loc}(\Omega)$，解决了 Monge-Ampère 方程理论中的一个开放问题。
• 与有正下界和上界的密度相关的最优传输映射 $T = \nabla u$ 属于 $W^{1,1}_{\rm loc}(\Omega_1)$，前提是目标区域 $\Omega_2$ 是凸的。
• 该结果近乎最优：Wang 的反例表明，当 $\Lambda/\lambda$ 较大时，$W^{2,p}$ 正则性在 $p$ 任意接近 1 时会失效。
• $L\log^kL$ 估计使得可以应用 Savin 的全局正则性结果，将全局 $W^{2,1}$ 框架中的 $L^p$ 范数替换为 $L\log^kL$ 范数。