[论文解读] Unbounded Orbits for Outer Billiards

Richard Evan Schwartz|ArXiv.org|Feb 3, 2007

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

一句话总结

该论文通过证明外旋轮线在彭罗斯风筝（Penrose kite）上存在无界轨道，解决了动力系统领域长期存在的一个问题。该问题源于彭罗斯密铺中的四边形。作者利用计算机辅助证明，结合算术动力系统、自相似密铺以及环面上的多边形交换映射，构造出一个不可数的无界轨道族，表明尽管系统具有准周期结构，其动力行为仍表现出非周期性、发散的特性。

ABSTRACT

Outer billiards is a basic dynamical system, defined relative to a planar convex shape. This system was introduced in the 1950's by B.H. Neumann and later popularized in the 1970's by J. Moser. All along, one of the central questions has been: is there an outer billiards system with an unbounded orbit. We answer this question by proving that outer billiards defined relative to the Penrose Kite has an unbounded orbit. The Penrose kite is the quadrilateral that appears in the famous Penrose tiling. We also analyze some of the finer orbit structure of outer billiards on the penrose kite. This analysis shows that there is an uncountable set of unbounded orbits. Our method of proof relates the problem to self-similar tilings, polygon exchange maps, and arithmetic dynamics.

研究动机与目标

• 解决 B.H. Neumann 在 1950 年代提出的问题：外旋轮线是否可能具有无界轨道。
• 分析外旋轮线在彭罗斯风筝（一种与准晶体相关的多边形）上的轨道结构。
• 在该系统中建立不可数个无界轨道存在的证明。
• 将外旋轮线动力系统与算术动力系统、自相似密铺以及准晶体理论中的截面投影方法联系起来。

提出的方法

• 利用仿射等价性将彭罗斯风筝变换为顶点位于环 $\mathbb{Z}[\phi]$ 上的形式，其中 $\phi$ 为黄金比例。
• 将外旋轮线映射限制在集合 $\mathcal{C}(\pm)$ 上，即满足 $y = \pm 1$ 且 $x \in \frac{1}{2}\mathbb{Z}[\phi]$ 的点，从而在格点上实现离散动力系统。
• 将首次返回映射 $\Upsilon_R$ 编码为半平面 $H$ 中的图 $\Gamma$，称为算术图，其顶点属于 $\mathbb{Z}^2 \cap H$，边为短的格向量。
• 将二维环面 $\mathbb{T}^2$ 划分为 26 个凸多边形的划分 $\mathcal{P}$，定义了一个控制 $\Gamma$ 结构的多边形交换映射。
• 证明动力系统与 $\mathbb{T}^2$ 中某个无理嵌入复直线的多值压缩映射相容。
• 该结构诱导出一个缩放因子为 $\phi^3$ 的膨胀规则，迫使算术图无界增长，从而蕴含无界轨道的存在。

实验结果

研究问题

• RQ1 B.H. Neumann 在 1950 年代提出的问题：是否存在一个外旋轮线系统，其轨道无界？
• RQ2 在如彭罗斯风筝这类准有理或非周期多边形上的外旋轮线中，无界轨道是否可能产生？
• RQ3 此类系统中无界轨道存在的动力学结构本质是什么？
• RQ4 算术动力系统与自相似密铺如何与外旋轮线的全局行为相关联？

主要发现

• 外旋轮线系统在彭罗斯风筝上至少存在一个无界轨道，从而解决了 Neumann 的问题。
• 特定点 $p$（如图 1.2 所示）的正向与反向轨道均完全定义且无界。
• 由于动力系统的非周期性与自相似性，存在一个不可数的无界轨道族。
• 与该系统相关的算术图 $\Gamma$ 在 $\phi^3$ 下表现出缩放对称性，模仿了非周期密铺中常见的膨胀规则。
• 点 $p$ 的正向轨道中第 $n$ 个点的欧氏范数随 $n$ 增长为一个适当的函数，确认了其无界性。
• 该系统的动力由环面上的多边形交换映射控制，其划分 $\mathcal{P}$ 包含 26 个部分，且表现出与准晶体截面投影构造相容的多值压缩特性。