[論文レビュー] 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の古典的結果（鋭角三角形における周期的軌道）を3次元の四面体に拡張すること。
• 正四面体に近い四面体における $abcd$-周期的軌道の存在および安定性を特定すること。
• Galperin, Krüger, Troubetzkoy が提起した問題を解決するため、非周期的点を含むビームを持つ周期的語の構成を行うこと。
• 四面体における長さ4の周期的軌道が存在するための幾何学的および力学的条件を同定すること。

提案手法

• 周期的語 $v$ に付随する等長変換 $S_v$ を定義する。これは、面の反射の順序から導かれる。
• 特にねじり移動と回転を含む $\mathbb{R}^3$ 上のアフィン等長変換を用いて、軌道のモノドロミーを分析する。
• ロドリゲスの公式を用いて、反射の合成を回転またはねじり移動として計算し、得られる等長変換の軸と回転角を特定する。
• 軌道が閉じるかどうかを判別するため、等長変換 $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 四面体における長さ4の周期的軌道が存在するための幾何学的および力学的条件は何か？
• RQ5 モノドロミー等長変換 $S_v$ は、周期的軌道の存在および安定性をどのように決定するか？

主な発見

• 語 $v$ で符号化された周期的ビリヤード軌道は、周期が偶数のとき $S_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)$ 内で唯一周期的軌道を持つ点は1つであり、他のすべての点は周期的符号化を持つが非周期的軌道を持つ。これは、Galperin, Krüger, Troubetzkoy の問いを解決する。