[论文解读] Periodic billiard trajectories in polyhedra

Nicolas Bédaride|arXiv (Cornell University)|Apr 6, 2011

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

一句话总结

本文基于轨迹组合学导出的等距变换，建立了多面体中周期性轨道的稳定性准则。证明了Fagnano轨道（以单词$abcd$周期性）存在于正四面体的邻域内，但在直角四面体和某些钝角四面体中不成立，并构造了一个反例，推翻了Galperin等人关于周期词在光束中具有非周期点的猜想。

ABSTRACT

We consider the billiard map inside a polyhedron. We give a condition for the stability of the periodic trajectories. We apply this result to the case of the tetrahedron. We deduce the existence of an open set of tetrahedra which have a periodic orbit of length four (generalization of Fagnano's orbit for triangles), moreover we can study completly the orbit of points along this coding.

研究动机与目标

• 基于轨迹组合学导出的等距变换$S_v$，建立多面体中周期性轨道的一般稳定性条件。
• 将Fagnano在锐角三角形中关于周期轨道的经典结果推广至三维四面体。
• 确定在接近正四面体的四面体中，$abcd$-周期轨道的存在性与稳定性。
• 通过构造一个在光束中具有非周期点的周期词，解决Galperin、Krüger与Troubetzkoy提出的问题。
• 刻画四面体中长度为四的周期轨道存在的几何与动力学条件。

提出的方法

• 定义与周期词$v$相关的等距变换$S_v$，其由面反射序列导出。
• 使用$\mathbb{R}^3$中的仿射等距变换，特别是螺旋运动与旋转，分析轨道的单值性。
• 应用Rodrigues公式，将反射的复合计算为旋转或螺旋运动，确定所得等距变换的轴与角度。
• 通过分析等距变换$s = S_v \circ t_N$的不动点集，判断轨道是否闭合，使用方程组$Sm + N = m + \lambda u$。
• 使用与面适配的坐标系，计算初始面上的首次返回映射，表示为线性变换$r: V \mapsto AV + B$。
• 利用返回映射的矩阵$A$，将$\pi_a(\sigma_v)$刻画为面上的椭圆内部。

实验结果

研究问题

• RQ1 在多面体的小扰动下，何时多面体中的周期性轨道是稳定的？
• RQ2 Fagnano轨道——以$abcd$为周期词——是否存在于所有接近正四面体的四面体中？
• RQ3 如Galperin等人所猜想，周期词在轨道编码中是否可能具有光束中的非周期点？
• RQ4 决定四面体中长度为四的周期轨道存在的几何与动力学条件是什么？
• RQ5 单值性等距变换$S_v$如何决定周期轨道的存在性与稳定性？

主要发现

• 若周期为偶数，当$S_v$不是恒等变换时，由词$v$编码的周期性轨道是稳定的；若周期为奇数，当$S_v$作为多面体的函数为常数时，轨道是稳定的。
• $abcd$-轨道存在于所有足够接近正四面体的四面体中，形成此类四面体的开邻域。
• 在直角四面体及某些钝角四面体的开集内，$abcd$-轨道不存在，因为单值性螺旋运动的轴不与初始面在内部相交。
• 对于顶点为$A(0,0,0), B(2,0,0), C(1,1,0), D(3,2,1)$的四面体，单值性等距变换$S_v$为螺旋运动，其轴不与面$BCD$在内部相交，从而证明了轨道的不存在性。
• 初始面$a$上的首次返回映射$r$为$r(V) = AV + B$，其中$A = \frac{1}{81}\begin{pmatrix}-83&28\\ -12&-75\end{pmatrix}$，且集合$\pi_a(\sigma_v)$为在$r$下不变的最大椭圆的内部。
• 在$\pi_a(\sigma_v)$中仅有一个点具有周期轨道；其余所有点均具有周期编码但非周期轨道，从而解决了Galperin、Krüger与Troubetzkoy提出的问题。