[論文レビュー] On the incenters of triangular orbits in elliptic billiard

Olga Romaskevich|arXiv (Cornell University)|Apr 29, 2013

Quantum chaos and dynamical systems参考文献 5被引用数 10

ひとこと要約

本稿では、複素射影平面における複素化と複素反射法則を用いて、楕円形ビリヤード内のすべての3周期三角形軌道の内心が、同焦点の楕円を描くことを証明する。証明は代数幾何学を活用し、軌跡が有理曲線であることを示し、それが円錐曲線でなければならないことを示す。その実部は有界であるため、楕円である。これはダン・レツニクの数値的観察を確認するものである。

ABSTRACT

We consider 3-periodic orbits in an elliptic billiard. Numerical experiments conducted by Dan Reznik have shown that the locus of the centers of inscribed circles of the corresponding triangles is an ellipse. We prove this fact by the complexification of the problem coupled with the complex law or rfelection.

研究の動機と目的

• 楕円形ビリヤード内の3周期三角形軌道の内心が楕円を描くというダン・レツニクの数値的観察を、厳密に証明すること。
• 複素化と複素反射法則が、古典的平面幾何学的問題の証明を簡略化できることを示すこと。
• 得られた内心の楕円の焦点の幾何学的配置を分析し、それが元のビリヤード楕円と同焦点でないことを示すこと。
• 内心の軌跡が複素射影平面における有理代数曲線であることを確立し、それが実平面では有界な円錐曲線に還元されることを示すこと。

提案手法

• ユークリッド平面を複素射影平面 ℂP² に複素化し、実計量を正則な二次形式に置き換える。
• 曲線に対する複素反射を、その複素接線における反射として定義し、等光的方向への極限を用いて実反射法則を拡張する。
• 複素反射法則を用いて3周期軌道の力学を分析し、内心の軌跡が複素対称性に関して不変であることを示す。
• 内心の軌跡が ℂP² 内の有理曲線であることを証明し、それが円錐曲線でなければならないことを示す。その実部は有界な円錐曲線であるため、楕円である。
• 対称性と摂動論法を用いて、軌跡が実焦点線とちょうど2点（重複度1）で交わることを示し、非退化な円錐曲線であることを確認する。
• 包あとの楕円のパrametrization を用いて、内心の位置がパrameterに対して線形に変化することを示し、導関数が非ゼロでない限り偶対称性に矛盾することを示す。

実験結果

リサーチクエスチョン

• RQ1 3周期三角形軌道の内心の軌跡は、数値実験の示唆通り楕円を描くのか？
• RQ2 ℂP² における複素反射法則を用いて、楕円形ビリヤードに関する古典的平面幾何学的結果を証明できるか？
• RQ3 内心が描く楕円の焦点は、元の楕円形ビリヤードと同焦点なのか？
• RQ4 内心の軌跡楕円の焦点の位置の幾何学的意味は何か？
• RQ5 包あとの対称性がある場合でも、なぜ内心の軌跡は円や退化しないのか？

主な発見

• 楕円形ビリヤード内のすべての3周期三角形軌道の内心の軌跡は楕円であり、レツニクの数値的観察を確認する。
• 証明は複素化と複素反射法則を用い、内心の軌跡が ℂP² 内の有理曲線であり、それが円錐曲線でなければならないことを示す。
• この円錐曲線の実部は有界であるため、楕円であり、実焦点線とちょうど2点（重複度1）で交わる。
• 数値計算により、内心楕円の焦点は元の楕円形ビリヤードと同焦点でないことが示された。
• 包あとの楕円が円でない限り、内心の軌跡は円にはならず、包あとの楕円が円である場合（そのとき軌跡は一点に退化する）を除き、結果は自明である。