[論文レビュー] 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

ひとこと要約

本稿は、$ℝ^{n+1}$における平均曲率流れに対して、幅$π$のスラブ内に存在し、収縮する挙動を示し、$t \to 0^-$で収縮する球面に漸近的に近づき、$t \to -\infty$でスラブの境界に近づき、先端領域ではグリム超平面に漸近する、コンパクトで凸で、$O(1)\times O(n)$に不変な古代解を構成する。この幅$π$のスラブ内における、剛体運動を除く同型な解としての一意性を証明する。

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.

研究の動機と目的

• $ℝ^{n+1}$における平均曲率流れのコンパクトで凸な古代解を、$O(1)\times O(n)$対称性を有し、幅$π$のスラブ内に存在するように構成すること。
• 解の挙動が$t \to 0^-$および$t \to -\infty$に近づく際の詳細な漸近的記述を提供すること。
• 剛体運動を除き、この解が幅$π$のスラブ内に存在し、より小さなスラブ内には存在しない$O(n)$-不変なコンパクトで凸な古代解として、一意的であることの証明。
• 最大原理を用いた距離、面積、曲率の推定値を分析することで、一意性を確立すること。
• 解が収縮することを示し、非収縮する収縮球面や移動解とは対照的に比較すること。

提案手法

• アンジェンテン・オーバルの回転時刻断片の極限として解を構成し、幾何的収束と回転対称性を活用する。
• $O(n)$-不変性を用いて、平均曲率流れを平面内のプロファイル曲線の流れに還元し、ねじれ角をパラメータとする。
• 曲率および距離の推定値に最大原理を適用し、プロファイル曲線の進化およびスラブ境界からの距離を制御する。
• 面積および距離の推定値を用いて、特に先端領域における解の径方向拡大と曲率の成長を制限する。
• $\{x_1 = 0\}$に関する反射対称性を用いて、2つの候補解を比較し、強い最大原理を適用して等価性を導く。
• 放物的スケーリングおよび距離の対数補正を用いて漸近的挙動を分析し、グリム超平面および収縮球面への収束を示す。

実験結果

リサーチクエスチョン

• RQ1 $ℝ^{n+1}$における平均曲率流れに対して、幅$π$のスラブ内に存在し、収縮する挙動を示すコンパクトで凸な古代解を構成できるか？
• RQ2 このような解の挙動が$t \to 0^-$および$t \to -\infty$に近づく際の正確な漸近的挙動は何か？
• RQ3 剛体運動を除き、$O(n)$-不変で凸な古代解として、幅$π$のスラブ内に存在するような解は一意的か？
• 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$に単位速度で移動するグリム超平面に収束する。
• 原点からの最小距離は、任意の$k > 0$に対して$|P(e_1,t)| \geq \frac{\pi}{2} - o\left(\frac{1}{(-t)^k}\right)$を満たし、スラブ境界に近づくことが示される。
• 最大距離は、任意の単位ベクトル$\varphi \in \{e_1\}^\perp$に対して$|P(\varphi,t)| = -t + (n-1)\log(-t) + C + o(1)$を満たし、$C$は普遍定数である。
• 解は、剛体運動を除き、幅$π$のスラブ内に存在し、より小さなスラブ内には存在しない$O(n)$-不変なコンパクトで凸な古代解として、一意的であると特徴づけられる。