[论文解读] A geometric control proof of linear Franks' lemma for geodesic flows

Ayadi Lazrag|arXiv (Cornell University)|Jan 31, 2014

Mathematical Dynamics and Fractals参考文献 6被引用 3

一句话总结

本文基于几何控制理论，给出了黎曼流形上测地流线性Franks引理的证明，表明长度为1的测地线段上的线性化Poincaré映射可通过小的C^k度量扰动在辛群Sp(n-1)内任意扰动。证明利用端点映射和可控制性条件建立局部满射性，从而提供了一种构造性且初等的方法，作为动力系统中关键技术工具的关键突破。

ABSTRACT

We provide an elementary proof of the Franks lemma for geodesic flows that uses basic tools of geometric control theory.

研究动机与目标

• 通过几何控制理论，为测地流的线性Franks引理提供一种更简单、更初等的证明。
• 建立在长度为1的测地线段上，线性化Poincaré映射可通过小的C^k度量扰动在Sp(n-1)内自由扰动。
• 通过使用控制理论的可控制性条件，消除高维情形下对技术性Contreras谱假设的需求。
• 表明扰动能被局部化，避开有限条横截测地线，从而保持对流结构的控制。

提出的方法

• 证明采用矩阵空间上的双线性控制系统，将度量扰动建模为测地流线性化动力学的控制输入。
• 利用端点映射分析在小度量扰动下线性化Poincaré映射的可达集。
• 通过验证由控制向量场生成的李代数在Sp(n-1)的单位元处张成切空间，建立局部可控制性。
• 证明利用时间区间[0,1]的紧致性以及端点映射的C^1正则性，确保其局部微分同胚性质。
• 对于命题1.2，使用光滑截断函数修改控制输入，使得扰动避开有限条横截测地线的邻域。
• 论证依赖于：在这些紧支集修改后，端点映射仍保持局部微分同胚性质。

实验结果

研究问题

• RQ1 能否使用几何控制理论而非复杂的微分几何，来证明测地流的线性Franks引理？
• RQ2 在何种条件下，测地线段上的线性化Poincaré映射在辛群Sp(n-1)内是可控制的？
• RQ3 度量扰动能否被局部化，以避免干扰有限条横截测地线？
• RQ4 Contreras谱假设（关于曲率特征值）对扰动结果是否必要？
• RQ5 在Sp(n-1)中，扰动邻域的定量大小与度量扰动的C^k范数之间有何关系？

主要发现

• 对于任意属于典型类𝒪₁的C^k黎曼度量g₀，存在常数r̄>0和K>0，使得以S(g₀)为中心、半径为Kr的球内任意辛矩阵，均可实现为与g₀在C^k范数下r-接近的C^k度量的线性化Poincaré映射。
• 证明表明端点映射在单位元处是局部微分同胚，从而确保扰动映射的局部满射性。
• 由控制向量场生成的李代数的维数等于dim(T_I Sp(n-1)) = n(n-1)，证实了完全可控制性。
• 扰动可被限制在测地线弧γ的任意管状邻域内，但需排除有限条横截测地线的邻域。
• 在二维情形（m=1）下，通过恰好3个线性无关的向量场验证了可控制性条件(12)，与dim(T_I Sp(1)) = 3一致。
• 该结果对所有k ≥ 2成立，且此类度量的集合在C^k拓扑下是开集且稠密。