[論文レビュー] On conjugacy of convex billiards

Vadim Kaloshin, Alfonso Sorrentino|arXiv (Cornell University)|Mar 6, 2012

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

ひとこと要約

本稿は、2つの強い凸な平面ビリヤード写像が境界付近で $C^{1,\beta}$-同相 ($\beta > 1/2$) であるならば、対応する領域は類似している（つまりスケーリングと等長変換によって関係付けられる）ことを確立する。この結果はギュイレマンが提起した問いを解決し、ラズットキン座標と曲率不変量を介して、動的同相性と幾何的剛性を結びつける。これは、ビリヤードの可積分性に関するビルコフの予想に対する条件付き証明を提供する。

ABSTRACT

Given a strictly convex domain $Ω$ in $\R^2$, there is a natural way to define a billiard map in it: a rectilinear path hitting the boundary reflects so that the angle of reflection is equal to the angle of incidence. In this paper we answer a relatively old question of Guillemin. We show that if two billiard maps are $C^{1,α}$-conjugate near the boundary, for some $α> 1/2$, then the corresponding domains are similar, i.e. they can be obtained one from the other by a rescaling and an isometry. As an application, we prove a conditional version of Birkhoff conjecture on the integrability of planar billiards and show that the original conjecture is equivalent to what we call an "Extension problem". Quite interestingly, our result and a positive solution to this extension problem would provide an answer to a closely related question in spectral theory: if the marked length spectra of two domains are the same, is it true that they are isometric?

研究の動機と目的

• ビリヤード写像の $C^{1,\alpha}$-同相性が境界付近で成り立つならば、それに対応する強い凸領域が幾何学的に類似しているかどうかという、ヴィクトル・ギュイレマンが提起した長年の問いを解決すること。
• 動的同相性と幾何的剛性を結びつけることで、平面ビリヤードの可積分性に関するビルコフの予想に対する条件付き証明を確立すること。
• 同相性問題を拡張問題に関連付けることにより、正の解が得られれば、凸領域におけるマークド長スペクトルの剛性が示されることを示すこと。
• $C^r$ 級の強い凸領域（$r \geq 4$）で、境界付近で $C^{1,\alpha}$-同相性が成り立つのは、類似した領域に限られることを示すこと。ただし、やや弱い正則性条件を仮定する。

提案手法

• 境界付近でのビリヤード写像を線形化するためのラズットキン座標の使用により、回転数が定数である標準的な形に動的構造を変換する。
• 元の座標系とラズットキン座標系におけるビリヤード写像 $f$ と $g$ の間の同相写像 $h$ を構成し、円筒 $\mathbb{T} \times [0,\delta]$ 上に誘導される写像 $h_L$ を導出する。
• 導関数 $Dh_L(x,0) = \begin{pmatrix} 1 & * \\ 0 & 1 \end{pmatrix}$ を導出することで、同相写像が角度座標をずれを除いて保存することを示し、これが剛性証明の鍵となる。
• 境界上の微分係数 $\frac{d\hat{s}}{ds} = C^{-1} \lambda^{-2}$ を計算し、ここで $C = C_f / C_g$ はラズットキン周囲の比、$\lambda = \rho_f^{1/3}/\rho_g^{1/3}$ は曲率の比を表す。これにより、曲率と周囲の不変量が同相性と関係づけられる。
• 写像 $h_L$ がラズットキン座標系における標準形を保存することを用いて、曲率関数 $\rho_f$ と $\rho_g$ が比例していることが示され、結果として領域が類似していることが導かれる。
• $C^{1,\alpha}$-正則性条件（$\alpha > 1/2$）を用いて、同相写像が十分に滑らかであることを保証し、これにより曲率関数がスケーリングを除いて同一であることが強制される。

実験結果

リサーチクエスチョン

• RQ1 2つの強い凸なビリヤード写像が境界付近で $C^{1,\alpha}$-同相 ($\alpha > 1/2$) であるならば、それに対応する領域は必ず類似している（つまりスケーリングと等長変換によって関係付けられる）だろうか？
• RQ2 境界付近での同相性が全域に拡張可能であるという仮定のもとで、平面ビリヤードの可積分性に関するビルコフの予想を証明できるだろうか？
• RQ3 凸領域のマークド長スペクトルは、その幾何学的性質によって一意に定まるのだろうか？ また、マークド長スペクトルが等しいならば、それらは等長的だろうか？
• RQ4 ラズットキン座標は、ビリヤード力学における同相性のもとで幾何的不変量を検出するために果たす役割は何か？
• RQ5 境界付近で $C^{1,\alpha}$-同相性が存在するならば、それによって領域の曲率関数が比例し、結果として領域が類似するようになるのだろうか？

主な発見

• 2つの $C^r$ 級の強い凸な平面ビリヤード写像（$r \geq 4$）が境界付近で $C^{1,\alpha}$-同相 ($\alpha > 1/2$) であるならば、それに対応する領域は類似している。つまり、スケーリングと等長変換によって関係付けられる。
• 同相写像はラズットキン円筒上に写像 $h_L$ を誘導し、その導関数は $Dh_L(x,0) = \begin{pmatrix} 1 & * \\ 0 & 1 \end{pmatrix}$ を満たす。これにより、角度座標がずれを除いて保存され、剛性証明の根幹をなす。
• 同相写像の境界上の微分係数は $\frac{d\hat{s}}{ds} = C^{-1} \lambda^{-2}$ を満たす。ここで $C$ はラズットキン周囲の比、$\lambda = \rho_f^{1/3}/\rho_g^{1/3}$ は曲率の比である。これにより、同相性と曲率・周囲の不変量が結びつけられる。
• $C^{1,\alpha}$-正則性条件（$\alpha > 1/2$）により、同相写像が十分に滑らかであることが保証され、これにより曲率関数 $\rho_f$ と $\rho_g$ が比例することが強制され、結果として領域が類似する。
• 本結果はビルコフの予想に対する条件付き証明を提供する：境界付近での同相性が全域に拡張可能ならば、領域は楕円でなければならない。
• 本稿は、動的同相性とスペクトル的剛性の深い関係を確立する。2つの領域が同じマークド長スペクトルを持つならば、拡張問題の下で、それらは等長的でなければならない。