[论文解读] The $\mathcal C^{2,α}$ estimate of complex Monge-Ampere equation

Sławomir Dinew, Xi Zhang+1 more|arXiv (Cornell University)|Jun 22, 2010

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

一句话总结

本文在解 $u$ 属于 $\mathcal{C}^{1,1}$ 且右端项 $f$ 严格正且为 $\mathcal{C}^\alpha$-霍尔德连续的假设下，建立了复蒙日-安培方程 $\det(u_{i\bar{j}}) = f$ 解的 $\chi^{2,\alpha}$ 正则性。证明通过将王的方法适配至复情形，利用 Bedford-Taylor 内部 $\mathcal{C}^{1,1}$ 估计作为基础，得到了紧子集上的先验 $\mathcal{C}^{2,\alpha}$ 估计，且其依赖关系明确，涉及 $n$、$\alpha$、$\lambda$、$\|f\|_{\mathcal{C}^\alpha}$ 以及到边界距离。

ABSTRACT

We prove that any $\mathcal C^{1,1}$ solution to complex Monge-Ampère equation $det(u_{i\bar{j}})=f$ with $0

研究动机与目标

• 在解 $u$ 已属于 $\mathcal{C}^{1,1}$ 且右端项 $f$ 严格正且为 $\mathcal{C}^\alpha$-霍尔德连续的条件下，建立复蒙日-安培方程解的内部 $\mathcal{C}^{2,\alpha}$ 正则性。
• 将卡法雷利在实蒙日-安培方程中的正则性理论推广至复情形，其中凸分析的几何工具不再适用。
• 在任意相对紧子集 $K \Subset \Omega$ 上，提供 $\|u\|_{\mathcal{C}^{2,\alpha}(K)}$ 的先验估计，其依赖于 $n$、$\alpha$、$\lambda$、$\|f\|_{\mathcal{C}^\alpha}$ 以及 $\text{dist}(K, \partial\Omega)$。
• 展示王的方法在复情形中的适用性，其核心依赖于 Bedford-Taylor 的 $\mathcal{C}^{1,1}$ 估计作为关键输入。

提出的方法

• 将原本为实蒙日-安培方程设计的王的方法，通过利用 Bedford-Taylor 内部 $\mathcal{C}^{1,1}$ 估计作为基础工具，适配至复情形。
• 采用区域的二进制分解，将其划分为半径为 $\rho^k d$ 的球，以实现问题的局部化并控制二阶导数。
• 对线性化方程应用施瓦茨内部估计，其右端项为霍尔德连续函数，特别关注重叠球内差值 $\widetilde{u}_k - \widehat{u}_k$ 的估计。
• 通过将差值 $|w_{st}(x) - w_{st}(y)|$ 分解为三部分来估计 $D^2u$ 的霍尔德半范数：尾部误差、局部偏差以及跨重叠区域的交叉差。
• 通过引入对数变换 $\log f$ 处理非线性项，利用 $f$ 的 $\mathcal{C}^\alpha$ 正则性，通过 $|x-y|^\alpha$ 控制 $|\log f(x) - \log f(y)|$。
• 通过几何衰减 $\rho^{k\alpha}$ 控制二阶导数级数展开中的逼近误差，确保级数收敛并保持霍尔德控制。

实验结果

研究问题

• RQ1 在对解和右端项的假设尽可能弱的条件下，实蒙日-安培方程的 $\mathcal{C}^{2,\alpha}$ 正则性结果能否推广至复情形？
• RQ2 当 $f$ 为 $\mathcal{C}^\alpha$ 且严格正时，解的 $\mathcal{C}^{1,1}$ 正则性是否足以推出 $\mathcal{C}^{2,\alpha}$ 正则性？
• RQ3 尽管缺乏凸性工具，王的方法（依赖于二进制分解与施瓦茨估计）能否被适配至复蒙日-安培方程？
• RQ4 对 $\mathcal{C}^{2,\alpha}$ 范数的精确依赖关系为何？包括 $\|f\|_{\mathcal{C}^\alpha}$ 和到边界距离。

主要发现

• 任意满足 $\det(u_{i\bar{j}}) = f$ 的 $\mathcal{C}^{1,1}$ 解 $u$，当 $f \geq \lambda > 0$ 且 $f \in \mathcal{C}^\alpha(\Omega)$（$\alpha \in (0,1)$）时，必然属于 $\mathcal{C}^{2,\alpha}(\Omega)$。
• 在任意相对紧子集 $K \Subset \Omega$ 上，$u$ 的 $\mathcal{C}^{2,\alpha}$ 范数被一个依赖于 $n$、$\alpha$、$\lambda$、$\|f\|_{\mathcal{C}^\alpha(\Omega)}$ 以及 $\text{dist}(K, \partial\Omega)$ 的常数所控制。
• 该证明关键依赖于 Bedford-Taylor 内部 $\mathcal{C}^{1,1}$ 估计，该估计为假设 $u \in \mathcal{C}^{1,1}$ 提供了合理性依据。
• 该方法通过直接作用于解本身而非逼近序列，成功克服了复情形中缺乏凸性工具的困难。
• 该论证可推广至 Dini 连续的 $f$，此时 $D^2u$ 具有 Dini 连续性；也可推广至 Lipschitz 连续的 $f$，此时 $D^2u$ 具有对数-Lipschitz 连续性。