[论文解读] Extrinsic geometric flows on foliated manifolds, III

Vladimir Rovenski|arXiv (Cornell University)|Aug 25, 2011

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

一句话总结

本文在codimension-one叶状的黎曼流形上引入并分析了外蕴几何流（Extrinsic Geometric Flow, EGF），其中黎曼度量根据由第二基本形式导出的张量的协变导数而演化。该流产生二阶抛物型偏微分方程，确保解在短时间内的存在性与唯一性；在适当条件下，其收敛性得以证明，从而可通过度量演化实现对平均曲率的指定，以及构造调和或脐形叶状结构。

ABSTRACT

We study the geometry of a codimension-one foliation with a time-dependent Riemannian metric. The work begins with formulae concerning deformations of geometric quantities as the Riemannian metric varies along the leaves of the foliation. Then the Extrinsic Geometric Flow depending on the second fundamental form of the foliation is introduced. Under suitable assumptions, this evolution yields the second order parabolic PDEs, for which the existence/uniquenes and in some cases convergence of a solution are shown. Applications to the problem of prescribing mean curvature function of a codimension-one foliation, and examples with harmonic and umbilical foliations (e.g., foliated surfaces) and with twisted product metrics are given.

研究动机与目标

• 在叶状流形上发展一种几何流，使黎曼度量基于第二基本形式演化，从而实现对外蕴几何性质的控制。
• 在适当假设下，建立由此产生的二阶抛物型偏微分方程解的存在性与唯一性。
• 将该流应用于通过度量变形指定叶状结构平均曲率函数的问题。
• 研究该流收敛至使叶状结构成为调和、脐形或全测地度量的条件。
• 提供显式例子，包括在叶状曲面及扭曲乘积度量上的情形，以展示该流的行为与稳定性。

提出的方法

• 外蕴几何流定义为 ∂ₜgₜ = ∇ₙᵗ h(bₜ)，其中 h(b) 是由第二基本形式 bₜ 导出的对称、F-截断的 (0,2)-张量。
• 由于沿横截向量场 N 的协变导数涉及度量的一阶导数，该流被证明生成二阶拟线性抛物型偏微分方程。
• 使用主曲率的幂和 τⱼ 作为状态变量，并通过包含 ∂ₜτᵢ 与空间导数 ∂ₓτⱼ 或 ∂ₓₓτⱼ 的偏微分方程组分析其演化。
• 对于张量 h(b) 中系数 fₘ 的特定选择，该系统退化为已知的偏微分方程，如热方程或具有矩阵系数 Bₙ,₁ 的广义抛物型系统。
• 该方法采用广义伴随矩阵与幂和的递推关系，以分析偏微分方程组的结构及其特征值。
• 分析包括利用抛物型偏微分方程理论证明局部存在性与唯一性，以及在初始度量与流参数满足特定条件下的收敛性。

实验结果

研究问题

• RQ1 在叶状流形上，给定一个初始适配黎曼度量时，外蕴几何流在何种条件下能产生唯一解？
• RQ2 外蕴几何流是否可用于为codimension-one叶状结构指定期望的平均曲率函数？
• RQ3 该流是否会收敛至使叶状结构成为调和、脐形或全测地的度量？
• RQ4 主曲率的幂和在外蕴几何流下如何演化？其动力学由何种偏微分方程组控制？
• RQ5 控制该流的偏微分方程组的结构是怎样的？其特征值如何与叶状结构的主曲率相关联？

主要发现

• 外蕴几何流 ∂ₜgₜ = ∇ₙᵗ h(bₜ) 生成一个二阶拟线性抛物型偏微分方程组，确保对初始适配度量的短时间存在性与唯一性。
• 当 fₘ = -2δₘ₁ 时，该流退化为热方程 ∂ₜτᵢ = ∂ₓₓ²τᵢ，其解已知且稳定。
• 当 fₘ = -δₘ₂ 时，n-截断系统形式为 ∂ₜτ̲ = Bₙ,₁ ∂ₓₓ²τ̲ + a₂(τ̲, ∂ₓτ̲)，其中矩阵 Bₙ,₁ 的特征值为 n=2 时的 kⱼ，以及 n=3 时的 kⱼ, 2kⱼ, 3kⱼ²。
• 当 fₘ = -δₘ₃ 时，系统变为 ∂ₜτ̲ = -3/2 (Bₙ,₁)² ∂ₓₓ²τ̲ + a₃(τ̲, ∂ₓτ̲)，且矩阵 3/2(B₃,₁)² 的特征值为 j=1,2,3 时的 3/2 kⱼ²。
• 截断偏微分方程组中系数矩阵的特征值与主曲率或其幂次相对应，表明其谱结构与叶状结构的几何特性一致。
• 该流保持关键几何性质：脐形性（A = λ id）、全测地性（A = 0）以及黎曼结构（∇ₙN = 0）在演化过程中不变。