[论文解读] Families of Periodic Orbits of the Koch Snowflake Fractal Billiard

Michel L. Lapidus, Robert G. Niemeyer|arXiv (Cornell University)|May 4, 2011

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

一句话总结

本文提出了一套框架，通过取其有理多边形预分形近似 Ω(KSₙ) 中相容的周期轨道序列的逆极限，来定义科赫雪花分形台球中的周期轨道。研究证明，某些轨道——特别是 π/3 方向的轨道——可被表征为稳定化或广义分段法尼奥轨道，其落点形成自相似的康托集，从而在分形边界上实现了严格的动力学描述。

ABSTRACT

We describe the periodic orbits of the prefractal Koch snowflake billiard (the nth inner rational polygonal approximation of the Koch snowflake billiard). In the case of the finite (prefractal) billiard table, we focus on the direction given by an initial angle of pi/3, and define 1) a compatible sequence of piecewise Fagnano orbits, 2) an eventually constant compatible sequence of orbits and 3) a compatible sequence of generalized piecewise Fagnano orbits. In the case of the infinite (fractal) billiard table, we will describe what we call stabilizing periodic orbits of the Koch snowflake fractal billiard. In a sense, we show that it is possible to define billiard dynamics on a Cantor set. In addition, we will show that the inverse limit of the footprints of orbits of the prefractal approximations exists in a specific situation and provide a plausibility argument as to why such an inverse limit of footprints should constitute the footprint of a well-defined periodic orbit of the fractal billiard. Using known results for the inverse limit of a sequence of finite spaces, we deduce that the footprint (i.e., the intersection of the orbit with the boundary) of a piecewise Fagnano orbit is a topological Cantor set and a self-similar Cantor set. We allude to a possible characterization of orbits with an initial direction of pi/3. Such a characterization would allow one to describe an orbit with an initial direction of pi/3 of the Koch snowflake billiard as either a piecewise Fagnano orbit, a stabilizing orbit or a generalized piecewise Fagnano orbit. We then close the paper by discussing several outstanding open problems and conjectures about the Koch snowflake fractal billiard, the associated 'fractal flat surface', and possible connections with the associated fractal drum. In the long-term, the present work may help lay the foundations for a general theory of fractal billiards.

研究动机与目标

• 为科赫雪花台球建立有意义的台球动力学概念，该台球具有不可微的分形边界，经典反射在此失效。
• 通过分析其有理多边形预分形近似 Ω(KSₙ) 中相容的周期轨道序列，表征科赫雪花台球的周期轨道。
• 证明此类轨道的落点（与边界相交的部分）构成一个拓扑和自相似的康托集。
• 提出分形版的维施对偶性，并探讨其与分形鼓及迹公式之间的联系。
• 为分形台球的一般理论及其在分形平坦曲面上的关联测地流奠定基础。

提出的方法

• 利用预分形台球 Ω(KSₙ) 中周期轨道的庞加莱截面（落点）的逆极限，定义无限分形台球 Ω(KS) 中的轨道。
• 分析与每个预分形台球相关联的平坦曲面 𝒮(KSₙ)，表明它们是六边形环面 𝒮(KS₀) 的分支覆盖。
• 通过 Ω(KS₀) 中初始基点的三进制展开，表征 π/3 方向的周期轨道。
• 定义周期轨道的‘相容序列’，包括分段法尼奥、稳定化和广义分段法尼奥类型。
• 应用符号动力学和定位系统，描述落点及其逆极限的结构。
• 利用已知的有限空间逆极限结果，证明分段法尼奥轨道的落点是一个自相似康托集。

实验结果

研究问题

• RQ1 尽管边界处不存在明确定义的切线，是否仍能严格定义科赫雪花台球中的周期轨道？
• RQ2 科赫雪花台球中周期轨道的落点（与边界相交部分）的几何与拓扑结构是什么？
• RQ3 预分形近似 Ω(KSₙ) 中的周期轨道在不同 n 之间如何关联，且在分形情况下能否形成一致的极限？
• RQ4 科赫雪花台球是否存在分形版的维施对偶性？若存在，其成立的条件是什么？
• RQ5 分形台球中周期轨道的长度谱是否可与关联分形鼓上的拉普拉斯算子谱相关联？

主要发现

• 在所有 n ≥ 0 的情况下，科赫雪花台球 Ω(KSₙ) 中台球流为闭合的方向集合与 Ω(KS₀) 中闭合的方向集合完全相同。
• 科赫雪花台球中分段法尼奥轨道的落点是一个拓扑康托集，且由于分形对称性，实际上是一个自相似康托集。
• 最终为常数的相容周期轨道序列，除有限多个 n 外，其余均为 𝒞-轨道（稳定化周期轨道），其平凡极限是 Ω(KS) 中一个明确定义的周期轨道。
• 在特定情况下，预分形轨道落点的逆极限存在，并被提议作为无限台球中有效周期轨道的落点。
• 每个预分形台球 Ω(KSₙ) 的维施群与 SL(2,ℤ) 为共轭，支持分形版维施对偶性存在的可能性。
• 本文为初始方向为 π/3 的轨道提供了强有力的证据，表明其可被完全表征为分段法尼奥、稳定化或广义分段法尼奥轨道。