[论文解读] Maximum principle for viscosity solutions on Riemannian manifolds

Shigē Péng, Detang Zhou|arXiv (Cornell University)|Jun 29, 2008

Geometric Analysis and Curvature Flows参考文献 8被引用 9

一句话总结

本文在黎曼流形上基于粘性解建立了二阶偏微分方程的最大值原理，推广了 Omori 和 Yau 的经典结果。通过在曲率有下界的条件下，对平方距离函数导出精确的 Hessian 与 Laplacian 估计，证明了在紧致与完备流形上椭圆型与抛物型方程的比较定理，确保在椭圆型情况下无需曲率限制即可实现次解-超解的有序关系，而在抛物型情况下则在有界性条件下成立。

ABSTRACT

In this work we consider viscosity solutions to second order partial differential equations on Riemannian manifolds. We prove maximum principles for solutions to Dirichlet problem on a compact Riemannian manifold with boundary. Using a different method, we generalize maximum principles of Omori and Yau to a viscosity version.

研究动机与目标

• 将粘性解理论从欧几里得空间推广至黎曼流形。
• 克服流形上平方距离函数非光滑性与复杂 Hessian 结构带来的困难。
• 在无需曲率限制的条件下，为紧致与完备黎曼流形上的二阶 PDE 粘性解建立最大值原理。
• 将 Omori-Yau 最大值原理推广至黎曼流形上的粘性解框架。
• 在带边界的紧致流形上，通过粘性方法证明抛物型方程的比较定理，确保次解-超解的有序关系。

提出的方法

• 在截面曲率有下界的流形上，推导平方距离函数 $\frac{1}{2}\mathrm{d}(x,y)^2$ 的精确 Hessian 估计。
• 在 Ricci 曲率有下界条件下，为同一函数建立 Laplacian 类型的估计。
• 通过将测试函数修改为 $\frac{\alpha}{2}\mathrm{d}(x,y)^2$，对 Ishii-Lions 方法进行适应，以处理非紧致性与非光滑性。
• 采用 $\varepsilon/(T-t)$ 的扰动技术对抛物问题进行正则化，并应用比较原理。
• 通过喷射与依赖曲率的模 $\omega$ 的广义比较原理，控制邻近点处 $F$-值的差异。
• 利用平行移动与对偶映射 $\iota$，关联流形上不同点 $x$ 与 $y$ 处的喷射。

实验结果

研究问题

• RQ1 能否在流形上无曲率限制的条件下，将粘性解的经典最大值原理推广至黎曼流形？
• RQ2 在具有下界曲率的流形上，如何对平方距离函数的 Hessian 进行估计，以实现比较定理？
• RQ3 在带边界的紧致黎曼流形上，对算子 $F$ 的何种条件可确保粘性次解始终位于超解之下？
• RQ4 能否将 Omori-Yau 最大值原理推广至完备黎曼流形上的粘性解框架？
• RQ5 如何在带边界的紧致流形上，利用粘性方法建立抛物型方程的比较原理？

主要发现

• 在无边界或带边界的紧致黎曼流形上，建立了无需曲率限制的 Omori-Yau 最大值原理的粘性版本。
• 在一般条件 (H) 下，椭圆型方程的比较定理成立，其中涉及模 $\omega$ 与正数 $\beta$，确保若 $u_1 \leq u_2$ 在 $\partial M$ 上成立，则 $u_1 \leq u_2$ 在 $\bar{M}$ 上成立。
• 在带边界的紧致流形上，若 $u$ 与 $v$ 满足有界性与正则性条件，则抛物型方程的比较定理成立，且若 $u \leq v$ 在抛物边界上成立，则 $u \leq v$ 在 $[0,T] \times \bar{M}$ 上成立。
• 该方法通过使用带 $\frac{\alpha}{2}\mathrm{d}(x,y)^2$ 的正则化测试函数，成功处理了距离函数的非光滑性，且在 $\alpha \to \infty$ 时该函数趋于零。
• 关键估计 $\omega(\alpha \mathrm{d}(x,y)^2 + \mathrm{d}(x,y))$ 控制了 $F$-值的差异，当 $\alpha \to \infty$ 时导致矛盾，从而证明了比较结果。
• 该结果将经典粘性理论推广至黎曼几何，使得研究如 $G$-布朗运动在流形上产生的非线性 PDE 成为可能。