[論文レビュー] 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

ひとこと要約

本稿では、Koch雪の下のフラクタル台球において、その有理的多角形のプリフラクタル近似 Ω(KSₙ) からの整合性のある周期軌道の系列の逆極限を用いて、周期軌道を定義するフレームワークを提案する。特定の軌道、特に π/3 方向の軌道は、安定化または一般化された区分的 Fagnano 軌道として特徴付けられ、それらの足跡（境界との交点）は自己同相似なカントール集合を形成する。これにより、非微分可能なフラクタル境界上での厳密な力学的記述が可能になる。

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.

研究の動機と目的

• Koch雪の下の台球における意味のある力学的定義を提示する。これは、微分不可能なフラクタル境界であり、古典的な反射は成立しない。
• 有理的多角形のプリフラクタル近似 Ω(KSₙ) における整合性のある周期軌道の系列を分析することで、Koch雪の下の台球の周期軌道を特徴づける。
• このような軌道の足跡（境界との交点）が位相的かつ自己同相似なカントール集合を形成することを示す。
• Koch雪の下の台球におけるVeechの二分法のフラクタル版を提案し、フラクタルドラムやトレース公式との関係を検討する。
• フラクタル台球およびその関連する測地的流れの一般理論の基盤を築く。

提案手法

• プリフラクタル台球 Ω(KSₙ) の周期軌道のPoincaré断面（足跡）の逆極限を用いて、無限大のフラクタル台球 Ω(KS) における軌道を定義する。
• 各プリフラクタル台球に付随する平坦な曲面 𝒮(KSₙ) を分析し、それらが六角形トーラス 𝒮(KS₀) の分岐被覆であることを示す。
• Ω(KS₀) 内の初期ベースポイントの三進展開を用いて、π/3 方向の周期軌道を特徴づける。
• 周期軌道の「整合性のある系列」を定義し、区分的 Fagnano、安定化、一般化された区分的 Fagnano のタイプを含む。
• 記号的力学およびアドレス指定系を用いて、足跡の構造とその逆極限を記述する。
• 有限空間の逆極限に関する既知の結果を活用し、区分的 Fagnano 軌道の足跡が自己同相似なカントール集合であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 境界での接線が明確に定義されないにもかかわらず、Koch雪の下の台球において周期軌道を厳密に定義することは可能か？
• RQ2 Koch雪の下の台球における周期軌道の足跡（境界との交点）の幾何学的および位相的構造は何か？
• RQ3 プリフラクタル近似 Ω(KSₙ) における周期軌道は、n に応じてどのように関係し合い、フラクタルの場合に整合的な極限を形成できるか？
• RQ4 Koch雪の下の台球におけるVeechの二分法のフラクタル版は存在するか？もしあるならば、どのような条件下で成立するか？
• RQ5 フラクタル台球における周期軌道の長さスペクトルは、関連するフラクタルドラムにおけるラプラシアンのスペクトルと関係づけられるか？

主な発見

• すべての n ≥ 0 に対して、Ω(KSₙ) における台球の流れが閉じる方向の集合は同一であり、Ω(KS₀) で閉じる方向の集合と一致する。
• Koch雪の下の台球における区分的 Fagnano 軌道の足跡は位相的カントール集合であり、フラクタルの対称性のおかげで自己同相似なカントール集合である。
• 最終的に定数となる整合性のある周期軌道の系列は、すべての n に対して有限個を除き 𝒞-軌道（安定化周期軌道）から成り、その自明な極限は Ω(KS) のwell-definedな周期軌道である。
• 特定の状況において、プリフラクタル軌道の足跡の逆極限が存在し、それが無限大の台球における有効な周期軌道の足跡であると提案される。
• 各プリフラクタル台球 Ω(KSₙ) のVeech群は SL(2,ℤ) と可換であるため、Veechの二分法のフラクタル版が成立する可能性が支持される。
• 初期方向が π/3 の軌道が、区分的 Fagnano、安定化、または一般化された区分的 Fagnano 軌道として完全に特徴づけられることの強い証拠が提示される。