[论文解读] Mean Curvature Flow with Boundary

Brian White|arXiv (Cornell University)|Jan 10, 2019

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

一句话总结

本文通过椭圆正则化与Brakke流技术，建立了曲面带边界的平均曲率流的严格存在性与边界正则性理论。证明了在较弱几何条件下——如边界严格平均凸、初始数据光滑——标准Brakke流存在，并在所有正时间保持边界光滑，即使内部可能形成奇点。

ABSTRACT

We develop a theory of surfaces with boundary moving by mean curvature flow. In particular, we prove a general existence theorem by elliptic regularization, and we prove boundary regularity at all positive times under very mild hypotheses.

研究动机与目标

• 发展曲面带边界的平均曲率流的全面存在性与正则性理论，将经典结果推广至附着边界的设定。
• 解决一般积分Brakke流中缺乏边界正则性的问题，其中内部奇点可能传播至边界。
• 引入并分析一类‘带边界的标准Brakke流’，其在模2同调意义下保持边界条件。
• 证明在较弱几何假设下，即使内部奇点出现，边界正则性在所有正时间下仍保持一致，且均匀成立。
• 将理论扩展至移动边界与定向流，确保在弱极限下保持弱形式的定向性。

提出的方法

• 使用椭圆正则化构造一族带边界的近似流，通过紧致性与闭包定理证明标准Brakke流的存在性。
• 将带边界的标准Brakke流定义为满足模2同调边界条件的流，排除如三重点等奇数阶节点。
• 证明一个新正交性结果：在弱极限下，平均曲率向量几乎处处与变集正交，这对单调性与正则性至关重要。
• 建立Brakke流序列的紧致性定理（定理10.1），实现几乎每个时间点上平均曲率的改进收敛。
• 应用强最大原理（定理20.1），防止流在受控运动下与边界或自身支撑集相交。
• 通过积分电流与模2的平坦链引入并保持弱形式的定向性，确保与边界定向的一致性。

实验结果

研究问题

• RQ1 在最小几何假设下，能否为带边界的平均曲率流建立一般存在性理论？
• RQ2 为何标准带边Brakke流即使在内部奇点出现后，仍能在所有正时间保持边界正则性？
• RQ3 标准Brakke流与一般积分Brakke流在边界行为上存在何种本质区别？
• RQ4 该理论能否扩展至移动边界，同时保持正则性与定向性？
• RQ5 是否存在一种在Brakke流弱极限下保持不变的弱定向性概念？

主要发现

• 证明了一般存在性定理（定理14.1）：对任意光滑、紧致的(m+1)维黎曼流形N（其边界严格平均凸），以及任意在∂N中具有光滑边界Γ的m-可rectifiable集M₀，存在一个带边界Γ的标准Brakke流M(t)。
• 边界正则性对所有t > 0成立：若M(·)为带边界Γ的标准Brakke流，则在任意满足t > 0的边界点(p,t)的时空邻域内，M(t)光滑且重数为1。
• 正则性在t → ∞时保持一致：任意时间平移流序列在边界附近收敛于一个静止的永恒极限流。
• 一般积分Brakke流在带边界时，边界正则性结果不成立，反例显示三重点向边界移动时会导致失败。
• 在弱极限下建立了平均曲率向量的新正交性性质，这对证明单调性与正则性至关重要。
• 发展了定向Brakke流理论，其中弱极限保持与给定方向的一致性，且对定向初始数据（定理19.4）证明了存在性。