[论文解读] Subsequent Singularities in Mean-Convex Mean Curvature Flow

Brian White|arXiv (Cornell University)|Mar 8, 2011

Geometric Analysis and Curvature Flows参考文献 5被引用 32

一句话总结

该论文证明了在 $ olimits\mathbf{R}^n$ 中，平均曲率流的平均凸超曲面的所有奇点均为凸型，即极限流为收缩球面或圆柱面。通过使用Ilmanen的椭圆正则化方法，作者证明了在任意奇点附近，比值 $\kappa_1/h$ 有下界，从而表明在首次奇点之后仍具有凸型行为，该结果扩展了以往仅限于 $n \leq 7$ 或仅首次奇点的研究结果。

ABSTRACT

We use Ilmanen's elliptic regularization to prove that for an initially smooth mean convex hypersurface in Euclidean n-space moving by mean curvature flow, the surface is very nearly convex in a spacetime neighborhood of every singularity. Previously this was known only (i) for n < 7, and (ii) for arbitrary n up to the first singular time.

研究动机与目标

• 将平均凸平均曲率流中奇点的分类结果从首次奇点时间扩展至所有时间及任意维度 $n$。
• 确立所有奇点（而不仅首次奇点）均为凸型，即极限流为收缩球面或圆柱面。
• 证明在任意奇点的时空邻域内，比值 $\kappa_1/h$ 有下界，从而蕴含凸型行为。
• 通过克服高维中非平坦极小锥的障碍，将此前仅限于 $n \leq 7$ 的结果推广至任意 $n$。
• 将该方法应用于具有边界的流，其中内部按平均曲率演化，边界运动被预先指定。

提出的方法

• 使用Ilmanen的椭圆正则化方法，构造一族逼近流，其收敛于原始的平均曲率流。
• 对尺度不变量 $\kappa_1/h$ 应用最大值原理，表明其仅在时空区域上为常数时才可能达到最小值。
• 在奇点的时空邻域内对 $\kappa_1/h$ 强制施加下界，以排除非平坦极小锥作为极限流的可能性。
• 利用已有研究结果：若 $\kappa_1/h$ 有下界，则可推出凸型奇点行为，尽管此前结果受限于特定条件。
• 应用几何测度论与面积最小化超曲面的正则性理论，分析极限锥并证明流的光滑性。
• 通过反证法证明奇点集为空集，方法为与平移曲面进行比较并应用强最大值原理。

实验结果

研究问题

• RQ1 平均凸平均曲率流中奇点的凸型分类能否推广至任意维度 $n$ 的首次奇点之后？
• RQ2 在奇点的时空邻域内，$\kappa_1/h$ 的有界性是否意味着奇点为凸型，即使在 $n \geq 8$ 时也成立？
• RQ3 能否通过不同于“单侧最小化锥不存在”这一方法的手段，消除以往研究中对 $n \leq 7$ 的限制？
• RQ4 无论奇点发生于何时，流在奇点附近的演化行为是否始终由收缩球面或圆柱面主导？
• RQ5 该方法能否适用于具有边界的流，其中边界运动被预先指定，而内部按平均曲率演化？

主要发现

• 在 $\mathbf{R}^n$ 中，平均凸平均曲率流的所有奇点均为凸型，无论奇点发生于何时，该结果扩展了以往仅限于首次奇点或 $n \leq 7$ 的研究结果。
• 在每个奇点的时空邻域内，比值 $\kappa_1/h$ 有下界，从而蕴含凸型行为。
• 每个奇点处的极限流均为收缩球面或圆柱面，确认了凸型分类的正确性。
• 该证明依赖于Ilmanen的椭圆正则化方法，以控制 $\kappa_1/h$ 的行为并排除非平坦极小锥作为极限流的可能性。
• 当边界运动被预先指定且内部按平均曲率演化时，该结果对具有边界的流依然成立。
• 通过反证法，结合强最大值原理与平移曲面的比较，证明了奇点集为空集。