[论文解读] Mean curvature flow with free boundary outside a hypersphere

Glen Wheeler, Valentina‐Mira Wheeler|arXiv (Cornell University)|May 30, 2014

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

一句话总结

本文研究了在 $n$-球外部具有自由边界、在半径 $R>1$ 的平移 $n$-球上具有狄利克雷边界条件的拓扑环面的平均曲率流。通过旋转对称性和反射对称性，结合保持图性的基灵向量场，作者证明了在初始平均凹/凸图数据条件下，全局存在性及收敛至极小曲面，建立了在几何约束下的长时间行为和曲率界。

ABSTRACT

The purpose of this paper is twofold: firstly, to establish sufficient conditions under which the mean curvature flow supported on a hypersphere with exterior Dirichlet boundary exists globally in time and converges to a minimal surface, and secondly, to illustrate the application of Killing vector fields in the preservation of graphicality for the mean curvature flow with free boundary. To this end we focus on the mean curvature flow of a topological annulus with inner boundary meeting a standard n-sphere in \R^{n+1} perpendicularly and outer boundary fixed to an (n-1)-sphere with radius R>1 at a fixed height h. We call this the \emph{sphere problem}. Our work is set in the context of graphical mean curvature flow with either symmetry or mean concavity/convexity restrictions. For rotationally symmetric initial data we obtain, depending on the exact configuration of the initial graph, either long time existence and convergence to a minimal hypersurface with boundary or the development of a finite-time curvature singularity. With reflectively symmetric initial data we are able to use Killing vector fields to preserve graphicality of the flow and uniformly bound the mean curvature pointwise along the flow. Finally we prove that the mean curvature flow of an initially mean concave/convex graphical surface exists globally in time and converges to a piece of a minimal surface.

研究动机与目标

• 建立超球外部自由边界平均曲率流全局存在性与收敛至极小曲面的充分条件。
• 分析拓扑环面上的平均曲率流行为，其中内边界与标准 $n$-球正交相交，外边界固定在半径 $R>1$ 的平移 $n$-球上。
• 展示基灵向量场在保持图性及控制流过程中平均曲率均匀有界方面的效用。
• 在对称性假设下，将全局存在性结果扩展至初始平均凹或凸图曲面。
• 通过研究外部问题，与斯陶尔（Stahl）研究的内部问题形成互补，为自由边界平均曲率流提供对偶视角。

提出的方法

• 将问题表述为具有诺伊曼（自由边界）和狄利克雷（固定高度）边界条件的流形上的图形式平均曲率流。
• 利用旋转对称性将问题简化为径向设定，以分析曲率演化和存在时间。
• 应用反射对称的初始数据，以利用保持图性的基灵向量场并控制梯度增长。
• 通过屏障构造和霍普夫引理，推导出法向分量 $s = \langle \nu^{M_t}, e_{n+1} \rangle$ 的先验下界。
• 利用面积泛函的单调性及所有导数的统一有界性，证明收敛至极小超曲面。
• 借助比较原理和局部费米坐标，控制边界曲率并防止奇点产生。

实验结果

研究问题

• RQ1 在何种几何条件和初始数据条件下，超球外部的自由边界平均曲率流可全局存在？
• RQ2 如何利用基灵向量场在自由边界条件下保持图性并控制平均曲率？
• RQ3 当初始曲面为平均凹或凸且具有对称性时，平均曲率流的长期行为如何？
• RQ4 能否将球面外部问题与斯陶尔研究的内部问题进行对偶分析？
• RQ5 在何种条件下，流可收敛至具有边界的极小超曲面？

主要发现

• 对于旋转对称的初始数据，平均曲率流或全局存在并收敛至极小超曲面，或在有限时间内形成曲率奇点，具体取决于初始配置。
• 在反射对称的初始数据条件下，基灵向量场的使用可确保图性保持不变，且平均曲率在流过程中均匀有界。
• 若初始数据满足所需的对称性和图性条件，则初始为平均凹或凸图曲面的流可全局存在并收敛至极小超曲面。
• 通过霍普夫引理和屏障论证，建立了 $s = \langle \nu^{M_t}, e_{n+1} \rangle$ 的先验下界，防止在诺伊曼边界处退化。
• 通过面积泛函的单调性及所有导数的统一有界性，证明了全局存在性与收敛性结果，意味着 $M_t \to M_\infty$ 且 $H \equiv 0$。
• 初始条件 $\langle F_0, e_{n+1} \rangle > 0$ 及零高度处平面的屏障确保 $s$ 保持有下界，从而保持流的正则性。