[论文解读] Maximum principles at infinity and the Ahlfors-Khas'minskii duality: an overview

Luciano Mari, Leandro Freitas Pessoa|arXiv (Cornell University)|Jan 16, 2018

Geometric Analysis and Curvature Flows被引用 4

一句话总结

本文建立了无穷远处最大值原理与基申斯基势函数之间的一体性，通过势论框架统一了各种几何最大值原理（如Omori-Yau、Ekeland等）。核心贡献是Ahlfors-Khas'minskii对偶性，将Ahlfors性质（最大值原理的粘性形式）与Khas'minskii势函数（满足特定增长条件的 exhausting 函数）的存在性联系起来，其应用涵盖随机完备性、抛物性以及子流形几何。

ABSTRACT

This note is meant to introduce the reader to a duality principle for nonlinear equations that recently appeared in the literature. Motivations come from the desire to give a unifying potential-theoretic framework for various maximum principles at infinity appearing in the literature (Ekeland, Omori-Yau, Pigola-Rigoli-Setti), as well as to describe their interplay with properties coming from stochastic analysis on manifolds. The duality involves an appropriate version of these principles formulated for viscosity subsolutions of fully nonlinear inequalities, called the Ahlfors property, and the existence of suitable exhaustion functions called Khas'minskii potentials. We discuss applications, also involving the geometry of submanifolds, in the last sections, as well as the stability of these maximum principles when we remove polar sets.

研究动机与目标

• 在单一势论框架下统一无穷远处的各类最大值原理，如Ekeland、Omori-Yau及拉普拉斯型原理。
• 建立Ahlfors性质（最大值原理的粘性形式）与Khas'minskii势函数（满足特定增长条件的exhausting函数）存在性之间的对偶关系。
• 研究在移除极集后最大值原理的稳定性，尤其与子方程及单调性锥的关系。
• 将对偶性推广至非线性及完全非线性PDE，包括Hessian算子与部分迹算子，并将其与流形的几何与随机性质关联。
• 提供系统性框架，通过势论对偶性分析随机完备性、抛物性及鞅完备性。

提出的方法

• 将Ahlfors性质形式化为完全非线性不等式次解的粘性条件，推广经典最大值原理。
• 引入Khas'minskii势函数作为满足 $ w \to \infty $ 在无穷远处且 $ \Delta w \leq G(w) $ 或 $ \nabla^2 w \leq G(w)\langle\,,\,\rangle $ 的exhausting函数，其中 $ \int^\infty \frac{ds}{G(s)} = \infty $。
• 建立AK对偶性：在假设 $ (\mathscr{H}1) $ 与 $ (\mathscr{H}2) $ 下，当且仅当 $ \Sigma $ 是 $ F $-极集时，Ahlfors性质在 $ X \setminus \Sigma $ 上成立。
• 将对偶性应用于 $ k $-次调和函数与单调性锥 $ M_k $，证明以 $ M_k $ 为单调性锥的子方程，其 $ M_k $-极集可移除。
• 利用Riesz特征 $ p_F $ 刻画通用子方程 $ F $ 何时具有Ahlfors性质，将其与子方程的几何性质关联。
• 分析Ahlfors性质在移除紧致极集 $ \Sigma $ 后的稳定性，证明若 $ \Sigma $ 是 $ F $-极集，则Ahlfors性质在 $ X \setminus \Sigma $ 上仍保持。

实验结果

研究问题

• RQ1 如何在单一势论框架下统一无穷远处的各种最大值原理，如Ekeland、Omori-Yau及拉普拉斯型原理？
• RQ2 Ahlfors性质（最大值原理的粘性形式）与Khas'minskii势函数存在性之间的精确对偶关系是什么？
• RQ3 在从流形中移除极集 $ \Sigma $ 后，Ahlfors性质在何种条件下仍保持？
• RQ4 $ M_k $-极集与完全非线性PDE的可解性及子流形几何之间有何关系？
• RQ5 Riesz特征 $ p_F $ 在决定子方程是否具有Ahlfors性质方面起什么作用？

主要发现

• Ahlfors-Khas'minskii对偶性成立：在 $ (\mathscr{H}1) $ 与 $ (\mathscr{H}2) $ 下，当且仅当 $ \Sigma $ 是 $ F $-极集时，$ \widetilde{F} $ 在 $ X \setminus \Sigma $ 上具有Ahlfors性质。
• 若 $ \Sigma $ 是 $ F $-极集，则即使从流形中移除 $ \Sigma $，$ \widetilde{F} $ 的Ahlfors性质在 $ X \setminus \Sigma $ 上仍保持。
• 对于截断锥子方程，$ \widetilde{F} $ 在 $ X \setminus \Sigma $ 上具有Ahlfors性质当且仅当 $ \Sigma $ 是 $ F $-极集。
• 若 $ \Sigma $ 是 $ F $ 的单调性锥 $ M $ 的 $ M $-极集，则由于弱Khas'minskii势函数的存在，$ \widetilde{F} $ 在 $ X \setminus \Sigma $ 上具有Ahlfors性质。
• 对偶性可推广至 $ k $-次调和函数：若 $ (p_F - 2) $-维Hausdorff测度局部有限，则 $ M_k $-极集为 $ M_k $-极集，因此Ahlfors性质在补集中成立。
• Riesz特征 $ p_F \geq k $ 是锥 $ M_k $ 成为 $ F $ 的单调性锥的必要且充分条件，从而保证适当Khas'minskii势函数的存在。