[论文解读] A localization property at the boundary for the Monge-Ampere equation

Ovidiu Savin|arXiv (Cornell University)|Oct 8, 2010

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

一句话总结

本文建立了在边界附近解的截面的局部化性质，证明在区域和边界数据具有自然的 $C^{1,1}$ 正则性假设下，以边界点为中心的截面 $S_h$ 与半椭球体之间存在一致等价关系。该等价关系通过沿边界滑动的线性变换实现，该变换将混合二阶导数控制在 $|\log h|$ 范围内，从而实现仿射变换下的紧致性，并为未来 $C^{2,\alpha}$ 和 $W^{2,p}$ 边界估计提供支持。

ABSTRACT

We consider Monge-Ampere equations with bounded right hand side and we study the geometric properties of sections centered at a boundary point. We prove that under natural boundary conditions such sections are equivalent to ellipsoids.

研究动机与目标

• 理解凸解的 Monge-Ampère 方程 $\det D^2u = f$ 的次水平集（截面）在边界附近的几何结构。
• 在区域和边界数据的正则性假设最小化的前提下，建立这些截面与半椭球体之间的一致等价性。
• 为截面在仿射变换下的紧致性提供框架，这对推导边界正则性估计至关重要。
• 将 Caffarelli 已知的内部截面等价性推广到边界情形，且其假设弱于以往的工作。

提出的方法

• 通过分析以边界点 $x_0 = 0$ 为中心的截面 $S_h = \{x \in \overline{\Omega} : u(x) < h\}$，在边界处引入一种局部化性质。
• 使用线性变换 $A_h(x) = x - \nu x_n$（沿边界平面 $x_n = 0$ 滑动）将截面归一化为标准形式。
• 通过缩放 $\tilde{u}_h(x) = \frac{1}{h}u(h^{1/2}A_h^{-1}x)$ 研究当 $h \to 0$ 时的渐近行为。
• 运用障碍方法和比较原理控制边界附近 $u$ 的增长，利用 $\partial\Omega \cap \{x_n \leq \rho\}$ 上的二次下界。
• 通过归纳法与反证法建立 Hessian 矩阵特征值的统一有界性，证明变换 $A_h$ 在算子范数下一致有界。
• 利用质心归一化和体积控制，确保缩放后的截面保持一致非退化，并与半球体相当。

实验结果

研究问题

• RQ1 当区域和边界数据仅为 $C^{1,1}$ 时，Monge-Ampère 方程解的截面在边界附近如何表现？
• RQ2 在正则性假设最小化的前提下，是否能通过仿射变换将截面一致地与半椭球体比较？
• RQ3 在边界区域中，混合二阶导数的定量控制是什么？其与 $f = \det D^2u$ 的行为有何关联？
• RQ4 能否在边界处建立类似于内部情形的、关于仿射变换的截面紧致性结果？

主要发现

• 对每个 $h < c(\rho)$，截面 $S_h$ 与体积为 $h^{n/2}$ 的半椭球体 $E_h$ 一致等价，满足 $kE_h \cap \overline{\Omega} \subset S_h \subset k^{-1}E_h$，其中 $k, c(\rho)$ 为绝对常数。
• 实现等价性的线性变换 $A_h$ 满足 $|\nu| \leq k^{-1}|\log h|$，意味着混合二阶导数被 $|\log h|$ 控制。
• 椭球体 $E_h$ 由半径为 $h^{1/2}$ 的球体经 $A_h^{-1}$ 变换得到，且 $A_h$ 是沿边界平面 $x_n = 0$ 的滑动变换。
• 在额外正则性条件下（例如 $f$ 在 0 处连续且 $u = P(x) + o(|x|^2)$ 在 $\partial\Omega$ 上成立），缩放函数 $\tilde{u}_h$ 收敛到极限解 $\bar{u}_0$，满足 $\det D^2\bar{u}_0 = f(0)$ 且 $\bar{u}_0 = P$ 在 $\{x_n = 0\}$ 上。
• 该方法证明了变换 $A_h$ 的一致有界性，确保当 $h \to 0$ 时截面的几何结构保持一致受控。
• 即使在 $f \equiv 1$ 的情况下，该结果依然成立，表明该定理在常数情形下是全新的且非平凡的。