[论文解读] $\alpha$-Gauss Curvature flows

Lami Kim, Ki-ahm Lee|arXiv (Cornell University)|Jun 5, 2013

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

一句话总结

本文研究了 R^{n+1} 中 n 维严格凸超曲面的 α-Gauss 曲率流，证明当 1/n < α ≤ 1 时，光滑且严格凸的解在全局时间内存在，并收缩至一点。归一化后的超曲面在 C∞ 范数下一致收敛于一个严格凸的极限流形，且归一化支撑函数的一个子序列满足涉及 Gauss 曲率的 α 次幂的非线性 PDE。

ABSTRACT

In this paper, we study the deformation of the n-dimensional strictly convex hypersurface in $\\mathbb R^{n+1}$ whose speed at a point on the hypersurface is proportional to $\\alpha$-power of positive part of Gauss Curvature. For $\\frac{1}{n}&lt;\\alpha \\leq 1$, we prove that there exist the strictly convex smooth solutions if the initial surface is strictly convex and smooth and the solution hypersurfaces converge to a point. We also show the asymptotic behavior of the rescaled hypersurfaces, in other words, the rescaled manifold converges to a strictly convex smooth manifold. Moreover, there exists a subsequence whose the limit satisfies a certain equation.

研究动机与目标

• 在 1/n < α ≤ 1 时，建立 R^{n+1} 中严格凸超曲面的 α-Gauss 曲率流解的存在性与正则性。
• 分析流的长时间行为，特别是归一化后超曲面的渐近收敛性。
• 证明归一化解在 C∞ 范数下一致收敛于一个严格凸的极限流形。
• 确定归一化支撑函数的一个子序列所满足的极限方程，表明其几乎处处满足 ˜Kα∗ = ˜C∗˜S∗，其中 ˜C∗ 为某正的常数。

提出的方法

• 利用支撑函数 S(z,t) 重新参数化超曲面，并为归一化流推导出一个一致抛物型 PDE。
• 应用时间归一化变换以保持所围体积恒定，并分析长时间行为。
• 使用先验曲率估计，包括通过第二基本形式的演化方程获得主曲率的统一上下界。
• 利用 Harnack 不等式与 Evans-Krylov 定理，建立归一化支撑函数的 Hölder 连续性与 C2,γ 正则性。
• 应用 Schauder 估计与 Bootstrap 逼近方法，将正则性提升至归一化解的 C∞ 正则性。
• 分析积分量 ˜I(τ) 的单调性，若极限不满足 ˜Kα∗ = ˜C∗˜S∗，则导出矛盾，从而确认极限方程成立。

实验结果

研究问题

• RQ1 对于哪些 α 值，α-Gauss 曲率流能保持初始超曲面的严格凸性与光滑性？
• RQ2 当时间趋近于最大存在时间 T∗ 时，归一化后超曲面的渐近行为如何？
• RQ3 是否存在归一化解的一个子序列收敛于一个严格凸的极限流形？若是，该极限满足何种 PDE？
• RQ4 积分量 ˜I(τ) 的单调性在刻画归一化流极限时起什么作用？
• RQ5 在何种条件下，归一化支撑函数的极限满足 ˜Kα∗ = ˜C∗˜S∗ 几乎处处成立？

主要发现

• 当 1/n < α ≤ 1 且初始超曲面在 R^{n+1} 中为光滑且严格凸时，α-Gauss 曲率流在 [0, T∗) 上存在唯一光滑解 Σt，并在 t → T∗ 时收缩至一点。
• 归一化后的超曲面 ˜Στ 具有统一有界的主曲率，满足 1/M ≤ ˜λmin ≤ ˜λmax ≤ M，其中 M > 0 为某有限常数。
• 对任意 τi → ∞，存在子序列 τik，使得归一化流形 ˜Στik 沿 C∞-范数收敛于一个严格凸的 C∞ 流形 ˜ΣT∗。
• 极限支撑函数 ˜S∗ 几乎处处满足方程 ˜Kα∗ = ˜C∗˜S∗，其中 ˜C∗ 为某正的常数。
• 积分量 ˜I(τ) 随时间非增，若其不收敛于 −∞，则除非极限满足 ˜Kα∗ = ˜C∗˜S∗，否则将导致矛盾，从而确认极限方程成立。
• 归一化解 ˜S 具有 C1,1 正则性，且满足一个一致抛物型 PDE，使得可应用 Schauder 理论与 Bootstrap 方法，最终实现 C∞ 正则性。