[论文解读] Entire Graphs Evolving by Powers of the Mean Curvature

Martin Franzen|arXiv (Cornell University)|Dec 19, 2011

Geometric Analysis and Curvature Flows参考文献 10被引用 3

一句话总结

本文建立了在法向速度为平均曲率的正幂 $\rho > 0$ 的几何流下，严格严格凸的完整图的长期存在性。通过障碍法、哈纳克不等式以及在初始图满足 $\nu$-条件下的局部 $C^2$-估计，作者证明了存在一个解 $u \in C^{2,1}_{\text{loc}}(\mathbb{R}^n \times (0,\infty)) \cap C^0_{\text{loc}}(\mathbb{R}^n \times [0,\infty))$，该解在所有时间保持严格平均凸，将 $\rho=1$ 时的结果推广至一般幂次。

ABSTRACT

We study convex entire graphs evolving with normal velocity equal to a positive power of the mean curvature. Under mild assumptions we prove longtime existence.

研究动机与目标

• 建立几何流 $\partial_t X = -H^\rho \nu$（$\rho > 0$）下严格凸完整解的存在性。
• 将已知的平均曲率流（$\rho=1$）及平均曲率的 $\rho$-次幂结果推广至完整非紧致的凸图。
• 在初始数据具有温和正则性与渐近法向行为假设的条件下，证明长期存在性。
• 通过哈纳克不等式发展局部 $C^2$-估计与下界估计，用于控制图演化所满足的抛物型偏微分方程。

提出的方法

• 作者采用流的图形式化表述，将超曲面表示为图 $u: \mathbb{R}^n \to \mathbb{R}$，并利用诱导度量与第二基本形式推导出 $u$ 的抛物型偏微分方程。
• 对一个精心构造的测试函数应用最大值原理，以获得对 Hessian 矩阵 $D^2u$ 的局部 $C^2$-估计。
• 在初始数据上施加 $\nu$-条件：在无穷远处法向量连续变化，以确保图的渐近行为具有统一控制。
• 将哈纳克不等式应用于解 $\psi(t) = u(\varphi(t),t)$，其中 $\varphi(t)$ 为梯度最小的点，以推导出速度 $\dot{u}$ 的正下界。
• 通过紧致凸超曲面 $M^k$ 的逼近构造解的存在性，这些曲面在相同流下演化，并证明其光滑收敛于全局解。
• 利用施瓦茨理论与克里洛夫-萨фон诺夫估计提升正则性，阿泽拉-阿斯科利定理确保子列收敛于全局解。

实验结果

研究问题

• RQ1 在何种条件下，严格凸完整图在 $\partial_t X = -H^\rho \nu$（$\rho > 0$）下演化时不会在有限时间内产生奇点？
• RQ2 能否将 $\rho=1$（即平均曲率流）时的长期存在结果推广至一般幂次 $\rho > 0$ 的完整凸图？
• RQ3 $\nu$-条件（关于法向量在无穷远处的渐近行为）在确保一致 $C^1$-估计与长期存在性中起什么作用？
• RQ4 如何通过最大值原理与新颖测试函数，为非紧致图建立局部 $C^2$-估计？
• RQ5 哈纳克型估计能否用于推导法向速度的正下界，从而确保偏微分方程的严格抛物性？

主要发现

• 流 $\partial_t X = -H^\rho \nu$ 的严格凸完整解 $u$ 在所有时间 $t \in [0,\infty)$ 存在，且满足 $u \in C^{2,1}_{\text{loc}}(\mathbb{R}^n \times (0,\infty)) \cap C^0_{\text{loc}}(\mathbb{R}^n \times [0,\infty))$。
• 解在所有 $t > 0$ 保持严格平均凸，确保流不会退化。
• $\nu$-条件——即在无穷远处法向量的均匀连续性——确保了局部一致的 $C^1$-估计，是构造过程中的关键要素。
• 通过在包含 Hessian 与速度的测试函数上应用最大值原理，获得了局部 $C^2$-估计，从而实现了对二阶导数的控制。
• 利用哈纳克不等式推导出法向速度 $\dot{u}$ 的正下界，表明偏微分方程具有严格抛物性，从而可应用施瓦茨理论。
• 解作为紧致区域上逼近解的光滑极限获得，其收敛性由阿泽拉-阿斯科利定理与正则性估计保证。