[论文解读] The evolution of complete non-compact graphs by powers of Gauss curvature

Kyeongsu Choi, Panagiota Daskalopoulos+2 more|arXiv (Cornell University)|Mar 14, 2016

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

一句话总结

该论文证明了在初始条件较弱的前提下，对于所有 t > 0，从 ℝⁿ 上凸区域 Ω 上的完备非紧致图出发，α-高斯曲率流存在完备、光滑且严格凸的解。作者通过证明曲率与梯度的局部先验估计，将 Ecker 和 Huisken 在平均曲率流中的技术推广至完全非线性的 α-高斯曲率流，确保了解的即时光滑性与全局存在性，无论初始条件在无穷远处如何增长。

ABSTRACT

We study the evolution of convex complete non-compact graphs by positive powers of Gauss curvature. We show that if the initial complete graph has a local uniform convexity, then the graph evolves by any positive power of Gauss curvature for all time. In particular, the initial graph is not necessarily differentiable.

研究动机与目标

• 建立 ℝⁿ⁺¹ 中完备非紧致严格凸图的 α-高斯曲率流的全局存在性与光滑性。
• 将 Ecker 和 Huisken 在平均曲率流中使用的局部梯度估计技术推广至完全非线性的 α-高斯曲率流。
• 提供初始图的条件（局部一致凸性、边界/无穷远处行为），以确保解的长时间存在性与完备性。
• 证明解在所有 t > 0 时仍为同一区域 Ω 上的严格凸图，即使 Ω 无界。
• 建立解在 t > 0 时即刻变得光滑且一致凸，且与初始图的正则性无关。

提出的方法

• 通过最小主曲率的倒数 λ⁻¹_min 的局部先验估计，控制曲率坍缩。
• 构造一参数族屏障曲面 Φδ,mₜ，使其为 α-高斯曲率流方程的上解。
• 定义依赖于径向距离与时间的屏障函数 fδ,m(h,t)，其二阶导数与曲率受控。
• 应用最大值原理，证明演化图 Σt 在内部无法从下方触及屏障。
• 利用紧致性与正则性理论，从逼近序列中提取出 C²,β 解，再提升至 C⁸ 光滑性。
• 通过证明所有 t > 0 时 Ω 中的球体均包含于 Ωt，来证明定义域 Ωt 保持等于原始定义域 Ω。

实验结果

研究问题

• RQ1 Ecker 和 Huisken 在平均曲率流中使用的局部梯度估计技术能否推广至完全非线性的 α-高斯曲率流？
• RQ2 在初始图满足何种条件下，α-高斯曲率流可全局存在并始终保持为完备的严格凸图？
• RQ3 即使初始数据仅为局部一致凸，α-高斯曲率流的解是否仍能即刻变得光滑且一致凸？
• RQ4 演化图 Σt 的定义域是否在所有 t > 0 时保持为原始定义域 Ω？
• RQ5 屏障方法能否用于证明解随时间推移会覆盖初始定义域 Ω 的任意紧致子集？

主要发现

• 只要初始图满足局部一致凸性及适当的边界/无穷远处条件，α-高斯曲率流即存在完备、光滑且严格凸的解，且对所有 t > 0 成立。
• 任何在凸区域 Ω ⊂ ℝⁿ 上的完备局部一致凸图，均在 α-高斯曲率流下对所有 t > 0 光滑演化。
• 即使 Ω 无界或具有边界，解在所有 t > 0 时仍为同一区域 Ω 上的图。
• 对 λ⁻¹_min 与梯度的局部先验估计确保了解即刻变得光滑且一致凸。
• 利用旋转对称曲面 Φδ,mₜ 构造屏障，表明演化图会扩张至包含原始定义域的任意紧致子集。
• 该流保持图结构，且解满足 PDE ∂u/∂t = (det D²u)^α / (1 + |Du|²)^((n+2)α−1)/2 对所有 t > 0 成立。