[論文レビュー] A few remarks on periodic orbits for planar billiard tables

Eugène Gutkin|ArXiv.org|Dec 1, 2006

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

ひとこと要約

この論文は、区分的 $ C^3 $ 界面を持つ平面ビリヤード台について、周期的軌道の集合が測度ゼロであることを証明し、力学系理論における長年の予想を解決する。幾何学的および力学系の技法、特に展開法と球面ビリヤードの類似性を用いて、このようなビリヤード台が正測度の周期的軌道族を有することは不可能であることを示し、スペクトル理論およびウェイの法則の漸近挙動における基礎的仮定を確認する。

ABSTRACT

I announce a solution of the conjecture about the measure of periodic points for planar billiard tables. The theorem says that if $\Om\subset\R^2$ is a compact domain with piecewise $C^3$ boundary, then the set of periodic orbits for the billiard in $\Om$ has measure zero. Here I outline a proof. A complete version will appear elsewhere.

研究の動機と目的

• 区分的 $ C^3 $ 界面を持つ平面ビリヤード台における周期的軌道の集合が、測度ゼロであるという予想を、$ C^3 $ 界面正則性条件下で解決すること。
• 特に第二順序補正項を含むウェイの法則に寄与する幾何力学における基礎的結果を確立すること。
• 区分的 $ C^3 $ 界面を持つ任意の平面ビリヤード台が、二パラメータ族の周期的軌道を有しないことを示すこと。
• スペクトル理論におけるイヴリの仮定（周期的軌道が位相空間で零集合を形成する）を厳密に裏付けること。

提案手法

• ビリヤード力学における展開法を用い、軌道を2次元球面上の測地線に写像する。
• 球面ビリヤードとビゴン $ B(p\theta) $ のモデルを構築し、回転数 $ p/q $ を持つ周期的軌道を分析する。
• ビリヤード軌道 $ \nabla $ と球面上の測地線の間の展開対応を適用し、近接する領域において軌道構造が等価であることを示す。
• 連続的依存性の議論を用いる：赤道測地線の小さな摂動が、位相空間における近接する周期的軌道を生じる。
• 位相空間における開近傍 $ O \ni \tilde{\theta}_0 $ を用い、周期的点が回転数 $ p/q $ を持つ開集合を形成することを示す。
• 球面幾何学の枠組みを用いて、局所等長近似を通じて球面からの結果を平面ビリヤードに転送する。

実験結果

リサーチクエスチョン

• RQ1 区分的 $ C^3 $ 界面を持つ任意の平面ビリヤード台について、位相空間における周期的軌道の集合は測度ゼロであるか？
• RQ2 平面ビリヤード台が二パラメータ族の周期的軌道を有し得るか？
• RQ3 イヴリの仮定（周期的軌道が零集合を形成する）は、すべての $ C^3 $ 平面ビリヤードに対して有効か？
• RQ4 $ C^3 $-滑らかさを満たすビリヤードにおける周期的軌道は、孤立または可算族としてのみ出現するか？

主な発見

• 区分的 $ C^3 $ 界面を持つ任意のコンパクト平面ビリヤード台について、位相空間における周期的軌道の集合は測度ゼロである。
• このようなビリヤード台は、二パラメータ族の周期的軌道を有しない。これは、周期的軌道の連続的変形を許す「魔法の」テーブルの非存在を確認する。
• 任意の互いに素な $ p < q $ に対して、球面 $ S^2 $ 上の測地線弧を近似する $ C^\nu $-滑らかな領域が存在し、回転数 $ p/q $ を持つ $ q $-周期的軌道の開集合を支持する。
• そのような領域における周期的軌道の全長は $ 2p\pi $ であり、球面展開モデルと整合的である。
• 非凸領域に対しても結果は成り立つ。ただし、関連する軌道セグメント上で境界が局所的に凸な $ C^3 $ 領域と一致している必要がある。
• 証明によりイヴリの仮定が裏付けられ、$ C^3 $-滑らかな平面領域におけるラプラシアンのウェイの法則の第二順序項が正当化される。