[论文解读] A mean curvature type flow in space forms

Pengfei Guan, Junfang Li|arXiv (Cornell University)|Sep 19, 2013

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

一句话总结

本文在空间形式中提出了一类新型的平均曲率型流，该流在无曲率假设下将严格星形超曲面演化为标准球面，保持所围体积不变，并单调递减表面积。该流在 $C^\infty$ 拓扑下实现指数收敛，并建立了广义曲率积分的单调性，从而为 $\mathbb{R}^{n+1}$ 中凸区域的 Alexandrov-Fenchel 不等式提供了新证明。

ABSTRACT

In this article, we introduce a new type of mean curvature flow for bounded star-shaped domains in space forms and prove its longtime existence, exponential convergence without any curvature assumption. Along this flow, the enclosed volume is a constant and the surface area evolves monotonically. Moreover, for a bounded convex domain in R n+1, the quermassintegrals evolve monotonically along the flow which allows us to prove a class of Alexandrov-Fenchel inequalities of quermassintegrals.

研究动机与目标

• 在空间形式中构造一种新型几何流，使严格星形超曲面在无曲率假设下演化为标准球面。
• 证明该流在 $C^\infty$ 拓扑下的长期存在性与指数收敛性。
• 在 $\mathbb{R}^{n+1}$ 中的凸区域上，建立沿流的广义曲率积分的单调性。
• 利用流的单调性性质，导出经典 Alexandrov-Fenchel 不等式的全新证明。
• 通过基于流的方法，推广现有几何不等式结果，避免依赖曲率夹紧或除星形性之外的凸性假设。

提出的方法

• 该流由空间形式中的演化方程 $\partial_t X = (n\phi'(\rho) - Hu)\nu$ 定义，其中 $H$ 为平均曲率，$u = \langle X, \nu \rangle$ 为支撑函数，$\phi$ 编码空间形式的几何结构。
• 该流保持所围体积不变，并单调递减表面积，从而与等周问题相联系。
• 利用 Minkowski 恒等式作为关键工具，推导流的结构，并在星形性假设下确保其抛物性。
• 通过在支撑函数与 Weingarten 曲率上应用最大值原理，建立先验估计，仔细地将 Hessian 分解为低特征值与高特征值区域。
• 长期存在性证明依赖于对量 $\phi = \text{dist}(x, \partial M_t)$ 的修正最大值原理，以控制曲率增长。
• 广义曲率积分的单调性源于主曲率初等对称函数在流下的演化。

实验结果

研究问题

• RQ1 能否在空间形式中构造一种平均曲率型流，使严格星形超曲面在无曲率假设下演化为球面？
• RQ2 该流是否保持体积不变并单调递减表面积，从而与等周问题相联系？
• RQ3 能否利用流上广义曲率积分的单调性，证明 $\mathbb{R}^{n+1}$ 中凸区域的 Alexandrov-Fenchel 不等式？
• RQ4 与归一化或体积保持的平均曲率流相比，该新流在曲率假设与长期行为方面有何异同？
• RQ5 Minkowski 恒等式在构造与分析流的行为中起什么作用？

主要发现

• 流 $\partial_t X = (n\phi'(\rho) - Hu)\nu$ 对所有时间 $t \in [0, \infty)$ 存在，并且对于空间形式中任意光滑严格星形初始超曲面，在 $C^\infty$ 拓扑下指数收敛于标准球面。
• 所围体积在流过程中保持不变，而表面积单调递减。
• 对于 $\mathbb{R}^{n+1}$ 中的凸区域，所有广义曲率积分 $\int_{M} \sigma_k(\kappa) \, d\mu_g$ 沿流非增。
• 广义曲率积分的单调性导出 Alexandrov-Fenchel 不等式的全新证明：$V(\Omega)^{1/(n+1)} \leq c_{n,k} \left( \int_{\partial\Omega} \sigma_k(\kappa) \, d\mu \right)^{1/(n-k)}$，其中 $0 \leq k < n-1$，等号成立当且仅当 $\Omega$ 为球体。
• 该流保持凸性，并在初始数据为凸时立即变为严格凸，即使初始数据不严格凸亦然。
• 该方法避免了曲率夹紧，仅依赖星形性，因此适用于比以往流更广泛的初始超曲面类。