[论文解读] Uniqueness of blowups and Lojasiewicz inequalities

Tobias Colding, William P. Minicozzi|arXiv (Cornell University)|Dec 14, 2013

Geometric Analysis and Curvature Flows参考文献 31被引用 8

一句话总结

本文在均曲率流的典型奇点和均凸奇点处确立了切流（爆破）的唯一性，解决了长期悬而未决的基础性难题。通过直接构造无需约化至有限维情形的新型无限维Lojasiewicz不等式，证明了所有缩放序列均收敛于同一柱状模型，从而表明奇点集具有正则性，并推进了非紧致情形下几何PDE奇点的理解。

ABSTRACT

Once one knows that singularities occur, one naturally wonders what the singularities are like. For minimal varieties the first answer, already known to Federer-Fleming in 1959, is that they weakly resemble cones. For mean curvature flow, by the combined work of Huisken, Ilmanen, and White, singularities weakly resemble shrinkers. Unfortunately, the simple proofs leave open the possibility that a minimal variety or a mean curvature flow looked at under a microscope will resemble one blowup, but under higher magnification, it might (as far as anyone knows) resemble a completely different blowup. Whether this ever happens is perhaps the most fundamental question about singularities. It is this long standing open question that we settle here for mean curvature flow at all generic singularities and for mean convex mean curvature flow at all singularities.

研究动机与目标

• 解决均曲率流中不同缩放序列在奇点处是否可能产生不同爆破的 fundamental 开放问题。
• 证明在均曲率流的每个典型奇点处，切流是唯一的，且不依赖于缩放序列的选择。
• 证明对于均凸均曲率流，所有奇点均存在唯一的切流，将唯一性结果推广至更广泛的流类。
• 发展一类新型无限维Lojasiewicz型不等式，其不依赖于经典有限维结果，从而可分析非紧致奇点。
• 通过证明爆破的唯一性，为理解几何流中奇点集的正则性奠定基础。

提出的方法

• 引入并证明两个专为几何流中非紧致奇点设计的新型无限维Lojasiewicz不等式。
• 构造一个涉及平均曲率与法向速度的加权 $L^1$-型能量泛函，以控制扰动的演化。
• 利用在收缩柱面上以图函数 $u(p,t)$ 表示的抛物型演化方程，其时间导数由包含相对面积元与平均曲率的非线性算子控制。
• 应用Huisken的单调性公式及Ilmanen与White的论证，证明切流为自相似解，即收缩子。
• 采用一种新颖的插值不等式（引理B.1），将 $u$ 及其导数的 $L^\infty$ 范数以 $L^1$ 范数与高阶导数范数量表示，对控制增长至关重要。
• 利用Fubini定理与微积分基本定理，对时间积分演化不等式，导出衰减估计，从而推出爆破的唯一性。

实验结果

研究问题

• RQ1 在均曲率流的奇点处，不同缩放序列是否可能产生不同的切流？还是爆破是唯一的？
• RQ2 在均曲率流的所有典型奇点（包括非均凸情形）处，切流的唯一性是否成立？
• RQ3 能否在不约化至有限维代数几何结果的前提下，直接证明无限维Lojasiewicz不等式，特别是在非紧致情形下？
• RQ4 当爆破唯一时，均曲率流的奇点集是否具有正则性？这是否意味着存在分层结构？
• RQ5 本文所发展的新型Lojasiewicz型不等式是否具有超越均曲率流的更广泛应用？

主要发现

• 在均曲率流的所有典型奇点处，切流是唯一的，即所有缩放序列均收敛于同一模型，具体为标准柱面 $\mathbb{S}^k \times \mathbb{R}^{n-k}$。
• 对于均凸均曲率流，切流的唯一性在所有奇点处均成立，不仅限于典型奇点，从而解决了该领域一个重大开放问题。
• 本文首次建立了非紧致奇点处几何PDE爆破的普遍唯一性定理，这是长期悬而未决的挑战。
• 作者直接从几何与分析原理出发，证明了两个新型无限维Lojasiewicz不等式，不依赖于经典有限维Lojasiewicz结果。
• 插值不等式（引理B.1）对解的 $L^\infty$ 范数提供了精确控制，其以 $L^1$ 范数与高阶导数范数量表示，是证明衰减估计的关键。
• 证明表明，图函数 $u$ 的时间导数的 $L^1$-范数随时间衰减，意味着扰动消失，从而强制所有爆破完全一致。