[论文解读] A volume preserving flow and the isoperimetric problem in warped product spaces

Pengfei Guan, Junfang Li+1 more|arXiv (Cornell University)|Sep 27, 2016

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

一句话总结

本文提出了一类在扭曲积空间中的体积保持超曲面流，该流单调减少表面积的同时保持所围体积不变。该流指数收敛至 r 的径向水平集，从而证明了等周不等式：对于任意图示超曲面，有面积 ≥ ξ(体积)，当且仅当该曲面为径向切片时取等号，前提是 φ 和底流形满足曲率条件。

ABSTRACT

In this article, we continue the work in \cite{GL} and study a normalized hypersurface flow in the more general ambient setting of warped product spaces. This flow preserves the volume of the bounded domain enclosed by a graphical hypersurface, and monotonically decreases the hypersurface area. As an application, the isoperimetric problem in warped product spaces is solved for such domains.

研究动机与目标

• 将体积保持流从对称空间（如球面、欧氏空间、双曲空间）推广至一般扭曲积空间。
• 在扭曲函数 φ 和底流形 (B^n, g̃) 满足曲率条件时，建立归一化流 (1.2) 的光滑解的存在性及其长时间行为。
• 通过证明任意图示超曲面的面积被其所围体积的函数 ξ 下方界定，从而在扭曲积空间中解决等周问题。
• 刻画等周不等式中等号成立的条件，表明等号成立当且仅当超曲面为 r 的径向水平集。
• 阐明曲率条件 (φ′)² − φφ′′ ≤ K 与 Ric( g̃ ) ≥ (n−1)K g̃ 在流的稳定性与单调性中的几何意义。

提出的方法

• 在扭曲积空间 N^{n+1} = [r₀, r̄] × φ Bⁿ（度量为 d r² + φ² g̃）中定义归一化抛物型流 (1.2)，用于描述超曲面的演化。
• 使用流向量场 (nφ′ − uH)ν，其中 u = ⟨X, ν⟩ 为共形 Killing 向量场 X = φ(r)∂r 的支撑函数。
• 通过梯度估计与最大值原理技术，证明解在长时间内存在，并指数收敛至径向水平集 r = c。
• 利用积分恒等式与演化方程，建立面积泛函的单调性及所围体积的保持性。
• 通过证明任意图示超曲面 M 的面积满足 Area(M) ≥ ξ(Vol(Ω))，其中 ξ 由 A(r) = ξ(V(r)) 定义，从而导出等周不等式。
• 利用稳定性条件分析等号成立情形：若 (φ′)² − φφ′′ < K 或 Ric( g̃ ) > (n−1)K g̃，则等号成立当且仅当 M 为径向切片。

实验结果

研究问题

• RQ1 在一般扭曲积空间中，是否存在体积保持的超曲面流？该流是否收敛至径向切片？
• RQ2 在扭曲函数 φ 和底流形 (Bⁿ, g̃) 满足何种曲率条件下，该流具有单调性与稳定性？
• RQ3 能否利用该流在扭曲积空间中建立等周不等式，并且等号精确出现在径向水平集处？
• RQ4 条件 (φ′)² − φφ′′ ≤ K 与 Ric( g̃ ) ≥ (n−1)K g̃ 如何与几何稳定性及体积约束下面积最小化相关联？
• RQ5 等周轮廓函数 ξ(x) = A(r)（其中 x = V(r)）的显式形式是什么？它如何由 φ 和 g̃ 计算得出？

主要发现

• 在曲率条件 (1.3) 下，流 (1.2) 对所有 t ∈ [0, ∞) 存在光滑解，且解指数收敛至径向水平集 r = c。
• 任意光滑图示超曲面 M 的面积被 ξ(Vol(Ω)) 下方界定，其中 ξ 由 A(r) = ξ(V(r)) 定义，从而在扭曲积空间中证明了等周不等式。
• 若 (φ′)² − φφ′′ < K 或 Ric( g̃ ) > (n−1)K g̃，则等周不等式中等号成立当且仅当 M 为径向水平集 r = c。
• 当 K = 0 时，若 (φ′)² = φφ′′（即 φ(r) = a e^{br}），流仍收敛至径向切片，且收敛性在 C^k 对所有 k 成立。
• 当 n = 1 且 φ(r) = sin(r) 时，等周轮廓为 ξ(x) = √[x(4π − x)]；当 φ(r) = sinh(r) 时，为 ξ(x) = √[x(4π + x)]。
• 条件 (φ′)² − φφ′′ ≤ K 确保了流的单调性，并根据 Lichnerowicz 定理在特征值方面的结果，对应于径向切片作为 CMC 曲面的稳定性。