[论文解读] A generalised Monge-Ampère equation

Vamsi Pritham Pingali|arXiv (Cornell University)|May 7, 2012

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

一句话总结

该论文通过连续性方法，建立了紧致凯勒流形上广义复蒙日-安培方程的存在性与正则性结果。在满足正性条件时，证明了复曲面情形下光滑解的存在性；在三倍体情形下，当海森矩阵有下界时，结果得以拓展；并给出了陈晓东猜想的一个局部实版本，确认了在单位球上满足 det(D²u) − Δu = f 且边界条件为零的特定狄利克雷问题的存在性与唯一性。

ABSTRACT

We consider a generalised complex Monge-Ampère equation on a compact Kähler manifold and treat it using the method of continuity. For complex surfaces, we prove an easy existence result. We also prove that (for three-folds and a related real PDE in a ball), as long as the Hessian is bounded below by a pre-determined constant (whilst moving along the method of continuity path), a smooth solution exists. Finally, we prove existence for another real PDE in a 3-ball, which is a local, real version of a conjecture of X.X. Chen.

研究动机与目标

• 通过连续性方法，建立紧致凯勒流形上广义复蒙日-安培方程解的存在性与正则性结果。
• 将已知的复蒙日-安培方程结果推广至涉及多个闭形式的更广泛方程类。
• 证明一个局部实版本的陈晓东猜想的解的存在性与唯一性，即在单位球上满足 det(D²u) − Δu = f 的狄利克雷问题。
• 为广义方程的解映射提供先验估计与开映射性质结果。
• 证明沿连续性路径海森矩阵有下界时，三维情形下光滑解的存在性。

提出的方法

• 通过连续性方法，将标准蒙日-安培方程的已知解变形为广义方程的解。
• 利用最大值原理与椭圆理论，对解的海森矩阵与拉普拉斯算子应用先验 C⁰、C¹、C² 与 C²,α 估计。
• 在巴拿赫流形上应用隐函数定理，证明参数空间中解映射的开性。
• 分析线性化算子，并利用海森矩阵行列式与拉普拉斯算子组合的凹性，推导出 C²,α 估计。
• 对海森矩阵特征值施加下界（例如 >3），以确保一致椭圆性，并应用 Schauder 理论。
• 使用粘性解理论与最大值原理论证，推导出 C⁰ 与 C¹ 估计，尤其通过与二次障碍函数比较。

实验结果

研究问题

• RQ1 在紧致凯勒流形上，广义复蒙日-安培方程在何种条件下可通过连续性方法获得光滑解？
• RQ2 若沿连续性路径解的海森矩阵有下界，是否可在复三倍体情形保证光滑解的存在性？
• RQ3 对于陈晓东猜想的局部实PDE版本——即在单位球上满足 det(D²u) − Δu = f 且边界条件为零——是否存在唯一的光滑凸解？
• RQ4 广义方程中 φ 及其导数的先验估计如何依赖于系数与右边项 η？
• RQ5 当所有 αi 为正且 η > 0 时，广义蒙日-安培方程的解是否唯一（至多相差一个常数）？

主要发现

• 在复曲面（n=2）情形下，若 α₀=1 且 η − α₂ + α₁²/4 > 0，且 ω + ddᶜφ + α₁/2 > 0，则广义蒙日-安培方程存在唯一光滑解。
• 在复三倍体情形下，若沿连续性路径 φ 的海森矩阵有正下界，则存在光滑解，且解映射为开映射。
• 对于单位球上的实狄利克雷问题，其中 det(D²u) + Δu = tf + (1−t)36 且 u|∂B = 0，若对所有 t∈[0,T) 有 D²uₜ > 3，且解存在，则在 t=T 时存在唯一光滑解。
• 陈晓东猜想的局部实版本已解决：在单位球上满足 det(D²u) − Δu = f 且 f > 0、u|∂B = 0 的方程存在唯一光滑凸解。
• 通过与二次障碍函数 φ = (μ/2)r² − μ/2 比较，获得 C⁰ 先验估计，其中 μ³ − 3μ > max f，确保 u ≥ φ，从而 u 有下界。
• 通过构造函数 g = Δu + μ(u − u₀) 并应用最大值原理，证明 Δu 有界，从而推出 D²u 有界，实现 C² 估计。