[论文解读] Embedded surfaces with Anosov geodesic flows, approximating spherical billiards

Mickaël Kourganoff|arXiv (Cornell University)|Dec 16, 2016

Mathematical Dynamics and Fractals被引用 4

一句话总结

本文通过在𝕊³中用嵌入曲面逼近具有圆形障碍物的均匀双曲球面台球，构造了亏格至少为11的可定向曲面在𝕊³中的等距嵌入，使其测地流为Anosov流。关键结果是在𝕊³中首次显式构造出此类等距嵌入曲面上的Anosov测地流，同时表明该方法在ℝ³中因曲率约束而失效。

ABSTRACT

We consider a billiard in the sphere S^2 with circular obstacles, and give a sufficient condition for its flow to be uniformly hyperbolic. We show that the billiard flow in this case is approximated by an Anosov geodesic flow on a surface in the ambiant space S^3. As an application, we show that every orientable surface of genus at least 11 admits an isometric embedding into S^3 (equipped with the standard metric) such that its geodesic flow is Anosov. Finally, we explain why this construction cannot provide examples of isometric embeddings of surfaces in the Euclidean R^3 with Anosov geodesic flows.

研究动机与目标

• 建立球面台球在具有圆形障碍物时呈现均匀双曲动力学的条件。
• 证明此类均匀双曲台球可被𝕊³中的闭嵌入曲面逼近，且其测地流为Anosov流。
• 证明每个亏格≥11的可定向曲面均可等距嵌入𝕊³，且其测地流为Anosov流。
• 解释为何在ℝ³中类似的构造无法产生Anosov测地流，原因在于曲率与拓扑约束。

提出的方法

• 将球面台球定义为去掉有限个互不相交的开圆盘（半径<π/2）后的球面。
• 采用几何逼近方法，在𝕊³中构造一个光滑的闭曲面，使其动力学行为模仿台球流。
• 在𝕊³中围绕台球边界曲线构造一个管状邻域，使用具有可控曲率的旋转曲面。
• 确保高斯曲率保持非负，且管状曲面中心曲线的测地曲率满足特定边界条件，以避免共轭点。
• 应用Riccati方程分析，证明Jacobi场在有限时间内爆破，从而表明测地流具有Anosov性质。
• 利用对称性与积分估计，控制测地线上总曲率的大小，证明流中不存在共轭点。

实验结果

研究问题

• RQ1 在何种条件下，具有圆形障碍物的球面台球呈现均匀双曲动力？
• RQ2 能否通过𝕊³中的嵌入曲面逼近具有Anosov测地流的均匀双曲球面台球？
• RQ3 在何种最小亏格下，可定向曲面可实现等距嵌入𝕊³并具有Anosov测地流？
• RQ4 为何在ℝ³中类似的构造无法实现Anosov测地流？

主要发现

• 每个亏格至少为11的可定向曲面均可等距嵌入𝕊³，使其测地流为Anosov流。
• 该构造依赖于通过𝕊³中的闭曲面逼近具有12个圆形障碍物的均匀双曲球面台球。
• 逼近方法采用𝕊³中的旋转管状曲面，其曲率受控以确保Anosov动力行为。
• Jacobi场的Riccati方程在有限时间内爆破，证明了共轭点的缺失，从而确认了Anosov行为。
• 在ℝ³中，此类构造因无法满足所需的曲率条件而失败，导致无法产生Anosov流。
• 在关键测地线上，嵌入曲面的高斯曲率下界为正，确保了强双曲性。