[论文解读] The Donaldson equation

Weiyong He|ArXiv.org|Oct 22, 2008

Geometry and complex manifolds参考文献 3被引用 10

一句话总结

本文建立了 Donaldson 方程的 Dirichlet 问题解的存在性与正则性，该方程是一个源自体积形式上 Weil-Petersson 类型度量的完全非线性退化椭圆型偏微分方程。通过连续性方法与精确的先验估计——依赖于右端项 $ f $ 的正性，而不仅依赖于常数扰动——证明了当 $ f $ 光滑且为正时，存在唯一的 $ C^{k+1,\beta} $ 解，从而推广了此前要求 $ f = \epsilon > 0 $ 为常数的结论。

ABSTRACT

In this short note, we solve a Dirichlet problem for a fully nonlinear elliptic equation. The operator is introduced by S. Donaldson and it is relevant to the geometry of the space of volume forms.

研究动机与目标

• 将 Donaldson 度量空间框架下测地线方程的可解性从常数扰动情形推广至更一般情形。
• 为一般正源项 $ f \in C^k(X \times [0,1]) $，$ k \geq 2 $ 的 Donaldson 方程 Dirichlet 问题建立光滑解的存在性。
• 推导出依赖于 $ \inf f > 0 $ 的统一先验估计——尤其是 $ C^1 $ 估计——而非仅依赖于 $ f = \epsilon $。
• 证明解满足对所有 $ t \in [0,1] $ 有 $ 1 + \triangle\Phi > 0 $，从而确保解属于空间 $ \mathcal{H} $。

提出的方法

• 将 Donaldson 方程表述为 $ Q(D^2\Phi) = f $，其中 $ Q $ 是由 $ \Phi_{tt}(1 + \triangle\Phi) - |\nabla\Phi_t|^2 $ 定义的完全非线性算子。
• 采用连续路径：$ Q(D^2\Phi) = (1-s)Q(D^2\Phi_{-a}) + s f $，从 $ s=0 $ 处的已知解出发。
• 通过最大值原理论证，利用次解 $ \Phi_{-a} $ 和障碍函数 $ h = \frac{1}{2}(|\nabla\Phi|^2 + b\Phi^2) $，建立 $ C^0 $ 与 $ C^1 $ 先验估计。
• 应用 $ \log Q $ 的凹性与 Evans-Krylov 理论，推导出 $ D^2\Phi $ 的 Hölder 估计，从而实现更高正则性的逐步提升。
• 利用线性化算子 $ dQ $ 在 $ C^{k+1,\beta} $ 上的可逆性，通过隐函数定理证明解集的开性。
• 利用第 2 节中推导出的统一先验估计，证明解集的闭性，从而在 $ [0,1] $ 上同时保证解集的开性与闭性。

实验结果

研究问题

• RQ1 Donaldson 度量空间中的测地线方程能否对一般正源项 $ f $ 求解，而不仅限于常数 $ \epsilon $？
• RQ2 为获得与 $ \epsilon $ 无关的统一 $ C^1 $ 估计，对 $ f $ 的必要与充分条件是什么？
• RQ3 Donaldson 方程 Dirichlet 问题的解是否在整个区间 $ t \in [0,1] $ 上保持在空间 $ \mathcal{H} $ 内，即是否满足 $ 1 + \triangle\Phi > 0 $？
• RQ4 当 $ f $ 为一般正的 $ C^k $ 函数时，能否将连续性方法应用于求解 Donaldson 方程的 Dirichlet 问题？

主要发现

• 对于 $ f \in C^k(X \times [0,1]) $，$ k \geq 2 $，$ f > 0 $ 的 Dirichlet 问题 $ Q(D^2\Phi) = f $，在任意 $ \beta \in [0,1) $ 下存在唯一解 $ \Phi \in C^{k+1,\beta}(X \times [0,1]) $。
• 解对所有 $ t \in [0,1] $ 满足 $ 1 + \triangle\Phi > 0 $，确保其属于归一化体积形式的空间 $ \mathcal{H} $。
• 仅在假设 $ \inf f > 0 $ 下即可获得统一的 $ C^1 $ 估计，这对 $ \epsilon \to 0 $ 极限至关重要。
• $ C^2 $ 估计通过最大值原理与 $ \log Q $ 的凹性推导得出，且线性化算子 $ dQ $ 为一致椭圆。
• 解集在连续路径上既是开集也是闭集，从而通过连续性方法证明了解的存在性。
• 通过将 Evans-Krylov 理论应用于凹算子 $ \log Q $，再进行逐步提升，可得高阶正则性。