[论文解读] An inscribed radius estimate for mean curvature flow in Riemannian manifolds

Simon Brendle|arXiv (Cornell University)|Oct 13, 2013

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

一句话总结

本文建立了黎曼流形中平均凸超曲面的平均曲率流的内接半径估计，推广了欧几里得空间中Andrews的非坍塌结果。通过在精心构造的涉及距离和法向量的辅助函数上使用最大值原理，作者证明了在大曲率下，内接半径在点态上被下界控制为 $\frac{1}{(1+\delta)H}$，其中常数仅依赖于 $\delta$、$T$ 和初始数据，将非坍塌估计扩展至曲率环境空间。

ABSTRACT

We consider a family of embedded, mean convex hypersurfaces in a Riemannian manifold which evolve by the mean curvature flow. We show that, given any number $T>0$ and any $δ>0$, we can find a constant $C_0$ with the following property: if $t \in [0,T)$ and $p$ is a point on $M_t$ where the curvature is greater than $C_0$, then the inscribed radius is at least $\frac{1}{(1+δ) \, H}$ at the point $p$. The constant $C_0$ depends only on $δ$, $T$, and the initial data.

研究动机与目标

• 将欧几里得空间中Andrews的平均曲率流非坍塌估计推广至一般黎曼流形中的平均曲率流。
• 为由平均曲率流演化且平均凸的超曲面，建立内接半径的统一下界，该下界以平均曲率 $H$ 表示。
• 提供一个仅依赖于 $\delta$、$T$ 和初始数据的内接半径定量估计，确保在曲率奇点附近具有控制性。
• 使平均曲率流的手术构造能够推广至三维黎曼流形。

提出的方法

• 将 $\mu(x,t)$ 定义为涉及距离和法向量的几何表达式的上确界，该表达式刻画了 $M_t$ 上点 $x$ 处内接半径的倒数。
• 使用一种屏障型函数 $Z(x,y,t)$，其中包含 $\Phi(x,t)$、距离函数和法向量，以模拟内接半径的行为。
• 在空间最大值点对函数 $\Phi$ 应用最大值原理，推导出涉及 $\frac{\partial\Phi}{\partial t}$、$\Delta\Phi$ 和曲率项的微分不等式。
• 推导 $\mu$ 和 $\rho$ 的演化不等式，结合曲率界、环境流形的几何结构以及初始超曲面 $M_0$，利用距离函数的Hessian估计。
• 使用带截断函数 $g_{\sigma,+}$ 的加权 $L^p$-范数估计，控制 $\rho$ 的增长，结合Sobolev不等式与Stampacchia迭代。
• 利用Michael-Simon Sobolev不等式与迭代估计，得出点态界 $\rho \leq \delta H + C(N,M_0,\delta,T)$。

实验结果

研究问题

• RQ1 欧几里得空间中平均曲率流的非坍塌估计 $\mu \leq (1+\delta)H + C$ 能否推广至具有曲率的黎曼流形？
• RQ2 在曲率环境中，内接半径估计对环境流形几何结构和初始数据的依赖关系如何？
• RQ3 当环境流形非平坦时，如何调整最大值原理以控制内接半径？
• RQ4 非坍塌估计能否用于将平均曲率流的手术过程推广至三维黎曼流形？
• RQ5 在曲率环境中，何种条件可确保内接半径在奇点附近保持为 $1/H$ 的倍数下界？

主要发现

• 在任意 $t \in [0,T)$ 时间点，$M_t$ 上任意点 $p$ 处的内接半径满足 $\mu(p,t) \leq (1+\delta)H(p,t) + C(N,M_0,\delta,T)$，其中常数 $C$ 仅依赖于 $\delta$、$T$ 和初始超曲面 $M_0$。
• 该估计在假设 $M_t$ 为平均凸且嵌入的条件下成立，且其在黎曼流形 $N$（维度为 $n+1$）中沿平均曲率流演化。
• 估计中的常数 $C$ 在时间区间 $[0,T)$ 上一致，且仅依赖于环境流形 $N$、初始数据 $M_0$、$\delta$ 和 $T$，而不依赖于点或时间。
• 外半径函数 $\rho$ 满足 $\rho \leq \delta H + C(N,M_0,\delta,T)$，该结果改进了Huisken与Sinestrari的凸性估计。
• 该结果使得平均曲率流的手术构造能够推广至三维黎曼流形，因为非坍塌估计确保了在手术过程中对颈部区域的控制。
• 该证明依赖于将最大值原理新颖地应用于涉及距离和法向量的函数，结合加权 $L^p$-估计与Sobolev不等式。