[论文解读] Dirichlet Duality and the Nonlinear Dirichlet Problem on Riemannian Manifolds

F. Reese Harvey, H. Blaine Lawson|arXiv (Cornell University)|Jul 13, 2009

Geometry and complex manifolds被引用 24

一句话总结

该论文通过引入Dirichlet对偶性与基于2-喷丛中子方程的几何框架，在黎曼流形上建立了非线性Dirichlet问题的存在性与唯一性定理。证明了当边界具有严格F-凸性且存在全局单调性锥时，对所有连续边界数据均保证唯一可解，将欧氏空间中的结果推广至具有G-结构的流形，包括复结构与四元数结构情形。

ABSTRACT

In this paper we study the Dirichlet problem for fully nonlinear second-order equations on a riemannian manifold. As in a previous paper we define equations via closed subsets of the 2-jet bundle. Basic existence and uniqueness theorems are established in a wide variety of settings. However, the emphasis is on starting with a constant coefficient equation as a model, which then universally determines an equation on every riemannian manifold which is equipped with a topological reduction of the structure group to the invariance group of the model. For example, this covers all branches of the homogeneous complex Monge-Ampere equation on an almost complex hermitian manifold X. In general, for an equation F on a manifold X and a smooth domain D in X, we give geometric conditions which imply that the Dirichlet problem on D is uniquely solvable for all continuous boundary functions. We begin by introducing a weakened form of comparison which has the advantage that local implies global. We then associate to F two natural "conical subequations": a monotonicity subequation M and the asymptotic interior of F. If X carries a global M-subharmonic function, then weak comparison implies full comparison. The asymptotic interior of F is used to formulate boundary convexity and provide barriers. In combination the Dirichlet problem becomes uniquely solvable as claimed. A considerable portion of the paper is concerned with specific examples. They include a wide variety of equations which make sense on any riemannian manifold, and many which hold universally on almost complex or quaternionic hermitian manifolds, or topologically calibrated manifolds.

研究动机与目标

• 将全非线性二阶方程的Dirichlet问题理论从欧氏空间推广至一般的黎曼流形。
• 在流形的边界几何条件与流形的结构群条件下，建立解的存在性与唯一性。
• 将子方程与对偶性的概念推广至流形上的2-喷丛，以处理非齐次及几何定义的方程。
• 引入并应用单调性锥与边界F-凸性的概念，以确保完整比较原理与屏障构造。
• 证明结果可普遍适用于几乎复、四元数及拓扑校准流形上的方程，包括复Monge-Ampère方程与Calabi-Yau型方程。

提出的方法

• 通过满足正性条件（F + P ⊂ F）与负性条件（F + N ⊂ F）的2-喷丛闭子集定义子方程 F ⊂ J²(X)。
• 通过对偶子方程 F̃ = −(−F) 引入Dirichlet对偶性，以关联次调和函数与超调和函数。
• 为F定义单调性锥M，以确保弱比较蕴含完整比较，利用全局M-次调和函数的存在性。
• 通过F的渐近行为定义边界F-凸性，以构造屏障并确保可解性。
• 利用局部仿射喷丛等价性处理非齐次方程，并将结果扩展至常系数模型之外。
• 将理论应用于特定几何方程，包括复与四元数Hessian方程、主曲率方程，以及几乎复流形上的Calabi-Yau型方程。

实验结果

研究问题

• RQ1 在黎曼流形及其区域的何种几何条件下，对所有连续边界数据，全非线性PDE的Dirichlet问题均唯一可解？
• RQ2 子方程与其对偶之间的对偶性关系，如何从欧氏空间推广至具有结构群约化的通用黎曼流形？
• RQ3 单调性锥与边界F-凸性在确保比较原理与屏障构造中起何种作用？
• RQ4 在何种情形下——如几乎复或四元数流形——存在通用子方程并保证可解性？
• RQ5 该理论能否推广至非凯勒流形上的非齐次方程与Calabi-Yau型方程？

主要发现

• 对于任意满足严格F-凸边界且存在全局M-次调和函数的光滑区域 Ω ⊂⊂ X，F的Dirichlet问题对所有连续边界数据均唯一可解。
• 单调性锥M的存在性确保弱比较蕴含完整比较，从而实现解的唯一性。
• 通过F的渐近行为定义的边界F-凸性，为解的存在性提供了必要的屏障条件。
• 在球对称区域如 S³ × S³ 上，共凸（P₁-次调和）函数的极大值原理不成立，表明共凸性不蕴含极大值原理。
• 在乘积区域 Ω_c ⊂ U×U 中，ρ = ½δ₁² + ½δ₂² ≤ c，比较原理对P₂不成立，且尽管具有严格P₃-凸性，Dirichlet问题的唯一性仍不成立。
• 由于严格P₂与P̃₂-凸性及传递等距群的存在，Ω_c 中解的存在性得以保证，但唯一性因存在多个具有相同边界数据的调和函数而失败。