[论文解读] On estimates for fully nonlinear parabolic equations on Riemannian manifolds

Bo Guan, Shujun Shi+1 more|arXiv (Cornell University)|Sep 12, 2014

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

一句话总结

本文通过引入基于可接受次解与非线性算子的凹性性质的新型方法，建立了黎曼流形上完全非线性抛物方程的先验二阶估计。关键贡献是在 $\overline{M_T}$ 上实现了对 Hessian 算子的统一有界性 $|\nabla^2 u| \leq C$，从而在方程与流形的普遍几何和结构条件下，获得了初边值问题的新存在性结果。

ABSTRACT

We present some new ideas to derive {\em a priori} second order estiamtes for a wide class of fully nonlinear parabolic equations. Our methods, which produce new existence results for the initial-boundary value problems in $\bfR^n$, are powerful enough to work in general Riemannian manifolds.

研究动机与目标

• 推导紧致黎曼流形（带边界）上完全非线性抛物方程的先验二阶估计。
• 将完全非线性抛物方程的理论从欧几里得空间推广至一般黎曼流形。
• 通过证明解的 Hessian 的统一有界性，建立初边值问题的存在性结果。
• 通过为算子引入结构条件并构建次解框架，处理退化与一致抛物情形。
• 提供一个适用于广泛方程类的一般框架，包括流形上几何流所导出的方程。

提出的方法

• 引入一个次解 $\underline{u} \in C^{2,1}(\overline{M_T})$，满足 $f(\lambda[\underline{u}]) \geq e^{\underline{u}_t + \psi}$ 及边界/初始条件。
• 利用 $f$ 的凹性，以及在 $\Gamma$ 的紧子集上满足的结构条件 $\sum f_i \lambda_i \geq -K_1(1 + \sum f_i)$，来控制 Hessian 的增长。
• 在时空柱体 $M_T = M \times (0,T]$ 上应用最大值原理技术，重点关注 $u$ 的二阶导数。
• 利用次解与几何量构造障碍函数，以控制 $|\nabla^2 u|$ 在抛物边界 $\partial M_T$ 上的行为。
• 借助 $\Gamma \times \mathbb{R}$ 中水平集的连续性与紧致性，通过函数 $\widetilde{f}$ 及其在无穷远处的行为，推导出统一估计。
• 利用水平集 $\partial\Sigma^\sigma$ 的分层结构以及到区域 $\mathcal{B}_\sigma^+$ 边界的距离，推导出 $\sum f_i(\lambda)(\mu_i - \lambda_i) - (q - p)$ 的统一下界。

实验结果

研究问题

• RQ1 能否在一般黎曼流形上为完全非线性抛物方程建立二阶先验估计？
• RQ2 次解的存在性如何用于控制 $|\nabla^2 u|$ 在内部与边界上的增长？
• RQ3 哪些 $f$ 的结构条件与流形 $M$ 的几何性质足以防止退化并确保统一估计？
• RQ4 当考虑以 $\sigma$ 参数化的方程族时，估计能否在 $\sigma$ 上保持统一？
• RQ5 在一般几何条件下，$f$ 的凹性在推导 Hessian 的统一有界性中起什么作用？

主要发现

• 在存在可接受次解的条件下，本文在 $\overline{M_T}$ 上建立了先验估计 $|\nabla^2 u| \leq C$，其中常数 $C$ 依赖于 $|u|_{C^1}$、$|\psi|_{C^{2,1}}$、$|\underline{u}|_{C^{2,1}}$ 以及流形 $M$ 的几何数据。
• 当 $M$ 为闭流形时，由于边界项消失，可直接得到估计 $|\nabla^2 u| \leq C_1$。
• 对于边界估计，条件 $\sup_{\partial\Gamma} f \leq 0$ 至关重要，可防止退化并确保 $\max_{\partial M_T} |\nabla^2 u| \leq C_2$。
• 常数 $C_2$ 依赖于 $|\varphi^b|_{C^2}$、$|\varphi^s|_{C^{4,1}}$ 以及 $\partial M$ 的几何数据。
• 当 $|\lambda|$ 充分大时，若 $\sum f_i(\lambda)(\mu_i - \lambda_i) - (q - p)$ 存在统一下界 $\theta_K > 0$，则 Hessian 保持有界。
• 当 $\sigma$ 在紧区间 $[c,d]$ 上变化时，由于距离函数与水平集对 $\sigma$ 的连续依赖性，估计在 $\sigma$ 上保持统一。