[论文解读] A collapsing ancient solution of mean curvature flow in $\mathbb{R}^3$

Theodora Bourni, Mat Langford+1 more|arXiv (Cornell University)|May 19, 2017

Geometric Analysis and Curvature Flows被引用 15

一句话总结

本文在 $\mathbb{R}^{n+1}$ 中构造了一个紧致、严格凸的、$O(1)\times O(n)$-不变的古老解，其满足均曲率流，位于宽度为 $\pi$ 的板状区域中，表现出坍塌行为，并在 $t \to 0^-$ 时渐近趋近于一个收缩球面，在 $t \to -\infty$ 时趋近于板状区域的边界，且在尖端区域渐近趋近于一个格里姆超平面。本文证明了在宽度为 $\pi$ 的板状区域内，此类解在刚体运动下唯一。

ABSTRACT

We construct a compact, convex ancient solution of mean curvature flow in $\mathbb R^{n+1}$ with $O(1) imes O(n)$ symmetry that lies in a slab of width $π$. We provide detailed asymptotics for this solution and show that, up to rigid motions, it is the only compact, convex, $O(n)$-invariant ancient solution that lies in a slab of width $π$ and in no smaller slab.

研究动机与目标

• 在 $\mathbb{R}^{n+1}$ 中构造一个具有 $O(1)\times O(n)$ 对称性的紧致、严格凸的古老解，使其位于宽度为 $\pi$ 的板状区域内。
• 详细描述该解在 $t \to 0^-$ 和 $t \to -\infty$ 时的渐近行为。
• 证明在刚体运动下，该解是位于宽度为 $\pi$ 的板状区域内且不位于更小板状区域内的唯一一个紧致、严格凸、$O(n)$-不变的古老解。
• 通过最大值原理分析位移、面积和曲率估计，利用反射对称性，建立唯一性。
• 证明该解具有坍塌行为，与非坍塌的收缩球面及平移解形成对比。

提出的方法

• 将解构造为旋转后的阿涅南特卵形时间截面的极限，利用几何收敛性与旋转对称性。
• 利用 $O(n)$-不变性，将均曲率流简化为平面内关于转角参数化的轮廓曲线的演化。
• 应用最大值原理控制曲率与位移估计，以控制轮廓曲线及其与板状区域边界距离的演化。
• 利用面积与位移估计，限制解的径向范围与曲率的增长，特别是在尖端区域。
• 利用关于 $\{x_1 = 0\}$ 的反射对称性，比较两个候选解，并应用强最大值原理强制二者相等。
• 通过抛物型缩放与位移的对数修正项分析渐近行为，证明其收敛于格里姆超平面与收缩球面。

实验结果

研究问题

• RQ1 能否在 $\mathbb{R}^{n+1}$ 中构造一个紧致、严格凸的古老解，使其位于宽度为 $\pi$ 的板状区域内并表现出坍塌行为？
• RQ2 该解在 $t \to 0^-$ 与 $t \to -\infty$ 时的精确渐近行为是什么？
• RQ3 在 $O(n)$-不变、严格凸的古老解中，位于宽度为 $\pi$ 的板状区域内，是否存在唯一解（在刚体运动下）？
• RQ4 该解在尖端区域的位移与曲率如何演化？其与格里姆超平面相比有何差异？
• RQ5 能否通过最大值原理技巧与比较论证建立该解的唯一性？

主要发现

• 所构造的解 $\{\Sigma_t^n\}_{t \in (-\infty, 0)}$ 是紧致的、严格凸的、$O(1)\times O(n)$-不变的，且位于板状区域 $\{x \in \mathbb{R}^{n+1} : |x_1| < \pi/2\}$ 内。
• 当 $t \to 0^-$ 时，缩放后的解 $\{\lambda \Sigma_{\lambda^{-2}t}\}$ 一致收敛于收缩球面 $S^n_{\sqrt{-2nt}}$。
• 当 $t \to -\infty$ 时，解局部一致收敛于板状区域的边界 $\partial\Omega$，经平移后收敛于以单位速度沿任意方向 $\varphi \in \{e_1\}^\perp$ 移动的格里姆超平面。
• 原点到解的最小距离满足 $|P(e_1,t)| \geq \frac{\pi}{2} - o\left(\frac{1}{(-t)^k}\right)$ 对任意 $k > 0$ 成立，表明其趋近于板状区域边界。
• 最大位移满足 $|P(\varphi,t)| = -t + (n-1)\log(-t) + C + o(1)$ 对任意单位向量 $\varphi \in \{e_1\}^\perp$ 成立，其中 $C$ 为绝对常数。
• 该解在刚体运动下被唯一刻画为位于宽度为 $\pi$ 的板状区域且不位于更小板状区域内的唯一一个紧致、严格凸、$O(n)$-不变的古老解。