[论文解读] On Pointwise Gradient Estimates for the Complex Monge-Ampere Equation

D. H. Phong, Jacob Sturm|ArXiv.org|Nov 15, 2009

Geometry and complex manifolds参考文献 21被引用 5

一句话总结

本文为紧致基灵流形上带有边界的复 Monge-Ampère 方程解建立了新颖的逐点梯度估计，该估计仅依赖于解的下确界，而不依赖于其完整的 $C^0$ 范数。该估计形式为 $| abla(z)|^2 \leq C_1 \exp(A_1 \varphi(z))$，即使在梯度范数无界时依然成立，适用于光滑解以及向一个除子方向爆破的解，为几何应用（如构造 $C^{1,\alpha}$ 测地线射线）提供了改进的灵活性。

ABSTRACT

In this note, a gradient estimate for the complex Monge-Ampere equation is established. It differs from previous estimates of Yau, Hanani, Blocki, P. Guan, B. Guan - Q. Li in that it is pointwise, and depends only on the infimum of the solution instead of its $C^0$ norm.

研究动机与目标

• 推导一个仅依赖于解下确界而非其完整 $C^0$ 范数的复 Monge-Ampère 方程梯度估计。
• 提供一个即使在全局梯度范数无界时依然有效的逐点估计。
• 通过消除对 $\|\varphi\|_{C^0}$ 的依赖，推广现有梯度估计，增强其在几何分析中的适用性。
• 支持在退化基灵几何中构造 $C^{1,\alpha}$ 测地线射线，特别是从测试构型出发的情形。
• 将该方法扩展至 Hermitian 背景及向除子方向爆破的奇异解。

提出的方法

• 该方法在复 Monge-Ampère 设置下，对一个精心构造的辅助函数（涉及 $|\nabla\varphi|^2$ 和 $\varphi$）应用最大值原理。
• 使用 Blocki 在基灵情形下的复 Hessian 恒等式，并通过双截面曲率下界 $\Lambda$ 引入曲率约束。
• 证明依赖于一个次解构造以及在 $|\nabla\varphi|^2$ 最大点处的爆破论证，若梯度增长过快则导致矛盾。
• 对于奇异解，该论证被调整以处理 $\varphi \to \infty$ 于集合 $S$ 附近的情形，并在 $z \to S$ 时引入 $\log|\nabla\varphi|^2 - B\varphi$ 的额外衰减条件，以确保估计仍然有效。
• 该估计在两种情形下导出：$\bar{M}$ 上的光滑解，以及在与边界不相交的集合 $S$ 上奇异的解。
• 该方法通过用 Hermitian 矩阵的广义曲率界 $\Lambda^H$ 替代 Kähler 曲率界 $\Lambda$，被推广至 Hermitian 度量。

实验结果

研究问题

• RQ1 能否为复 Monge-Ampère 方程导出一个仅依赖于解下确界而非其完整 $C^0$ 范数的逐点梯度估计？
• RQ2 当 $\|\nabla\varphi\|_{C^0}$ 无界时，是否仍可获得此类估计？
• RQ3 如何将梯度估计适配于在退化基灵背景中向除子方向爆破的解？
• RQ4 该方法能否扩展至具有适当曲率约束的非基灵 Hermitian 度量？
• RQ5 此类估计对基灵几何中测地线射线正则性有何影响？

主要发现

• 本文为 $C^4(\bar{M})$ 中的解建立了逐点梯度估计 $|\nabla\varphi(z)|^2 \leq C_1 \exp(A_1 \varphi(z))$，其中 $C_1$ 和 $A_1$ 仅依赖于 $\inf_M \varphi$、曲率界及边界上的数据。
• 对于在与 $\partial M$ 不相交的集合 $S$ 上奇异的解，若满足 $\varphi \to \infty$ 且当 $z \to S$ 时 $\log|\nabla\varphi|^2 - B\varphi \to -\infty$，则同一估计成立，且 $A_1 = \max(B, D)$。
• 该估计在结构上是紧致的，与 Yau 的拉普拉斯估计相呼应，且可通过归一化使 $\inf_M \varphi = 0$，从而使 $C_1$ 独立于解的下界。
• 该方法可直接应用于 Hermitian 度量，只需将 Kähler 曲率界 $\Lambda$ 替换为 Hermitian 矩阵的广义曲率界 $\Lambda^H$。
• 该结果使得在退化基灵几何中证明测地线射线的 $C^{1,\alpha}$ 正则性成为可能，如在测试构型中的应用所示。
• 该估计对背景形式的退化具有鲁棒性，如在 $\omega_0$ 为正但退化的 $(1,1)$-形式的情形中所示，通过变量替换 $\psi = \varphi - \log\|\sigma\|^\kappa$ 可得一个非退化的方程，使得该估计适用。