[论文解读] On the interplay among maximum principles, compact support principles and Keller-Osserman conditions on manifolds

Bruno Bianchini, Luciano Mari+2 more|arXiv (Cornell University)|Jan 6, 2018

Nonlinear Partial Differential Equations参考文献 16被引用 10

一句话总结

本文基于曲率与体积增长，建立了控制黎曼流形上拟线性偏微分方程的强最大值原理、紧支集原理及Liouville型定理的精确几何阈值。通过Omori-Yau型原理与Keller-Osserman条件，统一了现有结果，证明这些定性性质的有效性关键取决于流形几何与非线性算子结构之间的相互作用，尤其针对平均曲率型与p-Laplacian算子。

ABSTRACT

This paper is about the influence of Geometry on the qualitative behaviour of solutions of quasilinear PDEs on Riemannian manifolds. Motivated by examples arising, among others, from the theory of submanifolds, in particular by the study of entire graphs with prescribed mean curvature, we consider classes of coercive differential inequalities of the form $$ \mathrm{div}\left( \frac{φ(| abla u|)}{| abla u|} abla u ight) \ge b(x)f(u) l(| abla u|) \qquad ext{(respectively, $\le$ or $=$)} $$ on domains of a manifold $M$, for suitable $φ,b,f,l$, with emphasis on mean curvature type operators. We investigate the validity of strong maximum principles, compact support principles and Liouville type theorems; in particular, the goal is to identify sharp thresholds, involving curvatures or volume growth of geodesic balls in $M$, to guarantee the above properties under appropriate Keller-Osserman type conditions, and to discuss the geometric reasons behind the existence of such thresholds. The paper also aims to give a unified view of recent results in the literature. The bridge with Geometry is realized by studying the validity of weak and strong maximum principles at infinity, in the spirit of Omori-Yau's Hessian and Laplacian principles and subsequent improvements.

研究动机与目标

• 确定黎曼流形上的几何条件，以确保拟线性PDE的强最大值原理、紧支集原理及Liouville型定理的有效性。
• 通过分析曲率、体积增长与非线性PDE行为之间的相互作用，统一并拓展文献中的近期结果。
• 通过Keller-Osserman型条件，建立紧支集解与Liouville性质出现的精确阈值。
• 研究无穷远处Omori-Yau型Hessian与Laplacian原理在决定解的定性行为中的作用。
• 为p-Laplacian与平均曲率型算子等提供一个将几何（曲率与体积增长）与PDE定性性质相联系的综合框架。

提出的方法

• 利用无穷远处的Omori-Yau最大值原理，分析拟线性不等式解的弱最大值与强最大值原理。
• 应用径向化技术与虚构距离函数，将PDE问题约化为在模型流形上与径向ODE的比较。
• 采用先验估计与比较定理，包括Bishop-Gromov体积比较，将曲率界与解的行为联系起来。
• 引入并分析Keller-Osserman条件（KO∞），作为Liouville型定理与紧支集性质的必要且充分条件。
• 通过建模Ricci曲率下界的ODE解，推导出体积增长的显式渐近估计，尤其在曲率下界为(m−1)κ²(1+r²)^{α/2}时。
• 应用一个新颖的ODE引理，定位解的支集，并在切点集非空时仍能证明紧支集原理，尤其针对p-Laplacian算子。

实验结果

研究问题

• RQ1 黎曼流形上的何种几何条件可确保拟线性PDE解在无穷远处满足强最大值原理？
• RQ2 在何种曲率与体积增长条件下，强制性拟线性不等式解的紧支集原理成立？
• RQ3 Keller-Osserman型条件如何与Liouville型定理及紧支集解的存在性相关联？
• RQ4 曲率界（如Ricci曲率）与体积增长速率如何决定非平凡非负解不存在的阈值？
• RQ5 如何利用虚构距离函数与径向化技术，将全局PDE问题约化为在模型空间上的ODE比较？

主要发现

• 强最大值原理在无穷远处成立，当且仅当流形满足无穷远处的弱最大值原理，而后者等价于非负解的Liouville性质。
• 紧支集原理成立，当且仅当满足Keller-Osserman条件（KO₀），并通过反例证明其精确性。
• 对于Ricci曲率下界为−(m−1)κ²(1+r²)^{α/2}的流形，当α > −2时，有lim sup_{r→∞} log vol(B_r)/r^{1+α/2} < ∞；当α = −2时，有log vol(B_r)/log r ≤ (m−1)κ̄ + 1，其中κ̄ = (1+√(1+4κ²))/2。
• 当流形具有极点且Ricci曲率满足上述下界时，满足g(0)=0, g'(0)≥1的模型ODE g'' − κ²(1+t²)^{α/2}g ≥ 0的解满足：当α ≥ 0时，g(r) ≍ exp(2κ/(2+α) r^{1+α/2})；当α ∈ (−2,0)时，g(r) ≍ r^{−α/4} exp(2κ/(2+α) r^{1+α/2})。
• Liouville性质（SL）成立，当且仅当满足Keller-Osserman条件（KO∞），且该条件是精确的：若(KO∞)不成立，则存在非平凡非负解。
• 对于p-Laplacian与平均曲率型算子，紧支集解的存在性由相同的(KO₀)条件控制，且即使切点集非空，也可通过第二个ODE引理定位支集。