[论文解读] Interior estimates for solutions of Abreu's equation

Simon Donaldson|ArXiv.org|Jul 28, 2004

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

一句话总结

本文在数据满足自然几何条件的前提下，为Kähler几何中出现的四阶非线性偏微分方程——Abreu方程——建立了内部先验估计。关键结果是在二维情形下，若与边界数据相关的泛函满足强制性条件，则可获得解的统一$C^{3,\beta}$有界性，从而使得连续性方法可应用于存在性问题的证明。

ABSTRACT

The paper develops various estimates for solutions of a fourth order nonlinear PDE, which corresponds to prescribing the scalar curvature of a toric Kahler metric.

研究动机与目标

• 推导与toric代数簇上常数量曲率Kähler度量相关的Abreu方程解的先验内部估计，该方程为四阶非线性偏微分方程。
• 建立解在高阶范数中保持一致有界的条件，从而通过连续性方法实现存在性证明。
• 通过由$\partial\Omega$上的测度$\sigma$定义的几何边界条件，分析解在边界附近的性质。
• 证明当线性泛函$\mathcal{L}$满足强制性条件时，属于类$\mathcal{S}_{\Omega,\sigma}$的解可获得一致的内部正则性估计。

提出的方法

• 通过将解$u$的等值集进行尺度变换，将其转化为归一化的凸集，从而应用几何不等式。
• 利用Legendre变换将$u$的Hessian结构与其实 sublevel set 的几何性质联系起来。
• 关键步骤在于利用从PDE结构导出的类似曲率张量$F^*$的$L^2$估计，对对偶度量张量$G^*$进行有界性控制。
• 通过证明只要强制常数$\lambda$保持有界，解在内部不会发生爆破，从而应用连续性方法。
• 在紧致子集上使用单位分解与覆盖论证，将局部估计推广至全局内部有界性。
• 论证利用了在二维情形下，$L^p_2$范数对二阶导数的控制可推出$C^{3,\alpha}$正则性，从而实现对高阶导数的控制。

实验结果

研究问题

• RQ1 在何种条件下，域$\Omega$、函数$A$与边界测度$\sigma$下，Abreu方程在类$\mathcal{S}_{\Omega,\sigma}$中存在解？
• RQ2 当数据满足线性泛函$\mathcal{L}$的强制性条件时，是否可在二维情形下为Abreu方程的解建立统一的内部$C^{3,\alpha}$有界性？
• RQ3 解的等值集的几何结构如何影响解的正则性？能否利用尺度变换技术推导出普遍有界性？
• RQ4 强制性条件$\mathcal{L}(f) \geq \lambda^{-1} \int_{\partial\Omega} f d\sigma$在防止$u_{ij}$在内部退化方面起什么作用？

主要发现

• 当$n=2$时，$\mathcal{S}_{\Omega,\sigma}$中任意归一化解$u$满足$K^{-1} \leq (u_{ij}) \leq K$，其中$K = K(\Omega,\sigma,A,\lambda,d)$为一个温和函数，$d$为到边界的距离。
• $p$阶导数满足$|\nabla^p u| \leq C_p$，其中$C_p$为数据的温和函数，确保对高阶导数的统一控制。
• 证明表明，对偶度量张量$G^*$在归一化等值集上为$L^2$有界，从而导出曲率张量$F^*$的$L^p$有界性。
• 通过在二维情形下应用Sobolev嵌入$L^p_2 \subset C^{3,\alpha}$，$u_{ij}$的$L^p_2$有界性可推出在$\Omega$的紧致子集上具有$C^{3,\alpha}$正则性，从而蕴含$C^4$正则性。
• 对$\mathcal{L}$的强制性条件确保了解在内部不会退化，且$\lambda$的有界性可防止连续性方法中的爆破。
• 结果在数据的连续形变下具有鲁棒性，因为温和函数的依赖关系确保了在$\Omega$、$\sigma$、$A$与$\lambda$的拓扑意义下具有连续性。