[论文解读] Boundary regularity for solutions to the linearized Monge-Ampère equations

Nam Q. Le, Ovidiu Savin|arXiv (Cornell University)|Sep 26, 2011

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

一句话总结

本文在自然的区域假设、Hessian 行列式有界以及二次边界分离的条件下，建立了线性化 Monge-Ampère 方程 $ L_u v = g $ 的边界 Hölder 梯度估计与正则性。通过仿射不变技术，包括局部化定理与尺度变换，证明了即使在算子退化或奇异的情况下，解在边界附近仍具有 $ C^{1,\beta} $ 正则性，将 Krylov 的边界估计推广至 Monge-Ampère 方程的仿射不变设定。

ABSTRACT

We obtain boundary Holder gradient estimates and regularity for solutions to the linearized Monge-Ampere equations under natural assumptions on the domain, Monge-Ampere measures and boundary data. Our results are affine invariant analogues of the boundary Holder gradient estimates of Krylov.

研究动机与目标

• 在凸区域中，为线性化 Monge-Ampère 方程 $ L_u v = g $ 的解建立边界 Hölder 梯度估计。
• 将 Krylov 的边界正则性理论推广至 Monge-Ampère 方程的仿射不变设定。
• 解决 $ L_u $ 在边界附近退化或奇异的挑战，特别是当余因子矩阵 $ U^{ij} $ 的特征值可能趋于零或趋于无穷时。
• 在 $ u $、$ \Omega $ 以及数据 $ g $ 的自然几何与测度论假设下，证明解获得 $ C^{1,\beta} $ 正则性。

提出的方法

• 利用 Monge-Ampère 方程解在边界处的局部化定理，为边界点附近的尺度变换提供几何框架。
• 通过仿射变换对解进行尺度变换，将 $ u $ 的截面归一化为标准椭球 $ E_h $，从而实现一致分析。
• 对满足 $ \tilde{U}^{ij}\tilde{v}_{ij} = \tilde{g} $ 的尺度化函数 $ \tilde{v} $ 应用弱 Harnack 不等式与内部正则性估计（如 Schauder 型估计）。
• 依赖于二次分离条件：在 $ \partial\Omega \cap B_\rho $ 上有 $ \rho |x - x_0|^2 \leq u(x) - u(x_0) - \nabla u(x_0)(x - x_0) \leq \rho^{-1} |x - x_0|^2 $，以确保边界附近的统一控制。
• 利用 $ U = (\det D^2 u)(D^2 u)^{-1} $ 为半正定且散度为零的事实，使 $ L_u $ 成为一个线性椭圆算子，可能退化。
• 对尺度化解应用内部 $ C^{2,\beta} $ 与 $ C^{1,\alpha} $ 估计，并将其提升回原区域，从而获得 $ \nabla v $ 的全局 Hölder 估计。

实验结果

研究问题

• RQ1 在何种几何与测度论条件下，线性化 Monge-Ampère 算子 $ L_u $ 能为方程 $ L_u v = g $ 的解提供边界 Hölder 梯度估计？
• RQ2 当 $ L_u $ 在边界附近退化或奇异时，特别是当 $ \det D^2 u $ 有界但 $ U^{ij} $ 可能趋于无穷时，如何实现 $ v $ 的 $ C^{1,\beta} $ 正则性？
• RQ3 是否可利用仿射不变技术（如局部化与尺度变换）将 Krylov 型边界估计推广至 Monge-Ampère 设定？
• RQ4 $ u $ 在 $ \partial\Omega $ 上相对于其切平面的二次分离在控制 $ \nabla v $ 的行为中起何作用？
• RQ5 正则性结果在多大程度上依赖于 Hessian 行列式有界 $ \lambda \leq \det D^2 u \leq \Lambda $，且在 $ C^\beta $ 或连续数据下表现如何？

主要发现

• 在区域 $ \Omega $ 满足内球条件、$ u $ 的 Hessian 行列式有界且具有二次边界分离的条件下，方程 $ L_u v = g $ 的解 $ v $ 满足 $ \|\nabla v\|_{C^{\alpha}(\overline{\Omega})} \leq C $，其中 $ \alpha \in (0,1) $ 为某绝对常数。
• 边界 Hölder 梯度估计具有仿射不变性，即使 $ L_u $ 非一致椭圆，也扩展了 Krylov 的经典结果至 Monge-Ampère 设定。
• 通过局部化处理 $ L_u $ 的退化性：将 $ u $ 的截面尺度变换为标准椭球 $ E_h $，从而实现一致分析。
• 通过证明 $ \|U\| $ 的增长至多为对数级，控制了 $ U^{ij} $ 在边界附近的奇异性，该控制通过尺度变换与弱 Harnack 不等式实现。
• 当 $ f = \det D^2 u \in C^\beta(\overline{\Omega}) $ 时，尺度化解 $ \tilde{u} $ 满足 $ \|D^2 \tilde{u}\|_{C^\beta(\tilde{S}_{1/2})} \leq K $，从而推出 $ \|D^2 u(y)\| \leq K |\log r|^2 $，该量可积，导致 $ C^{1,\alpha} $ 正则性。
• 结果具有鲁棒性：即使 $ f \in C(\overline{\Omega}) $，$ v $ 的 $ C^{1,\alpha} $ 估计仍成立，其依赖于 Gutiérrez 与 Nguyen 的 $ C^{1,\alpha} $ 估计。