[论文解读] Entropy and a convergence theorem for Gauss curvature flow in high dimension

Pengfei Guan, Lei Ni|arXiv (Cornell University)|Jun 4, 2013

Geometric Analysis and Curvature Flows参考文献 6被引用 12

一句话总结

该论文通过引入源自Blaschke-Santaló不等式的新型熵泛函，建立了高维归一化高斯曲率流的统一$C^2$-正则性估计。作者证明了解在$C^\infty$-拓扑下收敛于光滑严格凸孤立子，证实了关于球面对称收敛性和孤立子唯一性的长期猜想。

ABSTRACT

In this paper we prove uniform regularity estimates for the normalized Gauss curvature flow in higher dimensions. The convergence of solutions in $C^\infty$-topology to a smooth strictly convex soliton as $t$ approaches to infinity is obtained as a consequence of these estimates together with an earlier result of Andrews. The estimates are established via the study of a new entropy functional for the flow.

研究动机与目标

• 为$\mathbb{R}^{n+1}$中$n \geq 2$的归一化高斯曲率流建立统一的正则性估计。
• 证明当$t \to \infty$时，归一化流在$C^\infty$-拓扑下收敛于光滑严格凸孤立子。
• 为凸体引入并分析一种新型熵泛函，以控制支撑函数和高斯曲率等几何量。
• 建立在非中心对称情形下Chow与Firey熵的非负性，此前尚不明确。
• 研究孤立子在可接受变化下的稳定性和唯一性，特别是单位球面。

提出的方法

• 基于Blaschke-Santaló不等式，为演化超曲面$M_t$所围成的凸体$\Omega_t$定义新型熵泛函$\mathcal{E}(\Omega_t)$。
• 利用该泛函在流动力学下的单调性，证明熵在归一化高斯曲率流下非负且严格递增。
• 通过基于熵的几何估计，推导出支撑函数$u(x,t)$和高斯曲率$K(x,t)$的统一下界。
• 结合$u(x,t)$和$K(x,t)$的下界与归一化流方程$\partial_t X = (-K + u)\nu$，建立统一的$C^2$-估计。
• 在获得统一正则性后，应用Andrews [2]的一般$C^\infty$-收敛结果，前提是孤立子具有正则性。
• 通过计算泛函$\mathcal{J}_1(u)$的一阶和二阶变分，分析单位球面作为孤立子的稳定性，表明其在对称变化下为局部极小值。

实验结果

研究问题

• RQ1 在高维（$n+1 \geq 4$）中，归一化高斯曲率流是否收敛于光滑严格凸孤立子？
• RQ2 在不假设中心对称的前提下，能否为归一化流建立统一的$C^2$-正则性估计？
• RQ3 在将极限点置于原点的归一化下，非中心对称初始数据的Firey熵是否非负？
• RQ4 在所有归一化凸体中，单位球面是否是唯一具有正高斯曲率的紧致孤立子？
• RQ5 在可接受支撑函数的$C^2$-小扰动下，单位球面是否稳定？

主要发现

• 归一化高斯曲率流在$C^\infty$-拓扑下收敛于光滑严格凸孤立子$M_\infty$，满足对所有$x \in M_\infty$有$K(x) = u(x)$。
• 通过新型熵泛函建立统一的$C^2$-估计，确保对所有$t \geq 0$有$B_{1/\Lambda}(0) \subset \Omega_t \subset B_\Lambda(0)$，其中$\Lambda \geq 1$仅依赖于$n$和$M_0$。
• 支撑函数$u(x,t)$被统一下界控制于正数，这是推导正则性估计的关键步骤。
• 熵泛函$\mathcal{E}(\Omega_t)$在流上非负且严格递增，这是Blaschke-Santaló不等式的直接推论。
• 即使在非中心对称情形下，也证明了Chow熵与Firey熵的非负性，解决了此前未解的问题。
• 通过$\mathcal{J}_1(u)$的二阶变分分析，证明单位球面在变化$v_\eta = u + \eta\rho$（其中$\eta \perp \operatorname{span}\{1, x_1, \dots, x_{n+1}\}$）下是稳定的。