[論文レビュー] From K.A.M. Tori to Isospectral Invariants and Spectral Rigidity of Billiard Tables

G. Popov, P. Topalov|arXiv (Cornell University)|Feb 9, 2016

Quantum chaos and dynamical systems被引用数 4

ひとこと要約

本稿は、$C^1$ 家族の KAM トーラスと Birkhoff 正規形を用いて、弱い等スペクトル的条件の下で次元 2 および 3 の Liouville ビリヤード台について無限小スペクトル剛性を確立する。平均作用および Birkhoff 正規形が変形のもとで不変であることを示し、楕円および楕円体における剛性を導く。さらに、解析的および $\mathbb{Z}_2\times\mathbb{Z}_2$-対称なビリヤードに拡張される。

ABSTRACT

This article is a part of a project investigating the relationship between the dynamics of completely integrable or close to completely integrable billiard tables, the integral geometry on them, and the spectrum of the corresponding Laplace-Beltrami operators. It is concerned with new isospectral invariants and with the spectral rigidity problem for families of Laplace-Beltrami operators with Dirichlet, Neumann or Robin boundary conditions, associated with C^1 families of billiard tables. We introduce a notion of weak isospectrality for such deformations. The main dynamical assumption on the initial billiard table is that the corresponding billiard ball map or an iterate of it has a Kronecker invariant torus with a Diophantine frequency and that the corresponding Birkhoff Normal Form is nondegenerate in Kolmogorov sense. Then we obtain C^1 families of Kronecker tori with Diophantine frequencies. If the family of the Laplace-Beltrami operators satisfies the weak isospectral condition, we prove that the average action on the tori and the Birkhoff Normal Form of the billiard ball maps remain the same along the perturbation. As an application we obtain infinitesimal spectral rigidity for Liouville billiard tables in dimensions two and three. Applications are obtained also for strictly convex billiard tables of dimension two as well as in the case when the initial billiard table admits an elliptic periodic billiard trajectory. Spectral rigidity of billard tables close elliptical billiard tables is obtained. The results are based on a construction of C^1 families of quasi-modes associated with the Kronecker tori and on suitable KAM theorems for C^1 families of Hamiltonians.

研究の動機と目的

• 次元 2 および 3 の Liouville ビリヤード台について、弱い等スペクトル的条件の下でスペクトル剛性を確立すること。
• 楕円の周辺の解析的および $\mathbb{Z}_2\times\mathbb{Z}_2$-対称なビリヤード台へのスペクトル剛性の拡張。
• ホワイトニー拡張定理に依存しない、グローバル Hölder 評価を可能にする新しい $C^1$ KAM 迴帰スキームの開発。
• スペクトル不変量に関連する Kronscker トーラスに付随する $C^1$ 家族の擬モードの構成。
• 弱い等スペクトル的変形のもとで、不変トーラス上の Birkhoff 正規形および平均作用が保存されることの証明。

提案手法

• Dirichlet/Neumann/Robin 条件を伴う $C^1$ 家族のラプラシアン＝ベルトラミ作用素 $\Delta_t$ に対する弱い等スペクトル性の概念を導入する。
• $C^1$ 家族のシンプレクティック写像に $C^1$ KAM 理論を適用し、ディオファントス的周波数 $\omega$ を $\omega_0$ の近傍で、$C^1$ 家族の Kronscker トーラス $\Lambda_t(\omega)$ を構成する。
• ホーラーノルムにおける修正された反復補題を考案し、ホワイトニー拡張定理を回避することで、正準変換のグローバル推定を可能にする。
• $C^1$ 家族の擬モードを不変トーラス $\Lambda_t(\omega)$ に関連づけ、それらをスペクトル不変量と結びつける。
• 波動トレースおよび Gutzwiller 追跡公式を用いて、スペクトル特異点を Birkhoff 正規形および Poincaré 写像の固有値と関連付ける。
• 微局所解析を用いて、量子的 Birkhoff 正規形を境界に還元し、$\lambda$-FIO および $\lambda$-PDO を用いてビリヤード写像を量子化する。

実験結果

リサーチクエスチョン

• RQ1 弱い等スペクトル的条件の下で、次元 2 および 3 の Liouville ビリヤード台についてスペクトル剛性を確立できるか？
• RQ2 不変トーラス上の Birkhoff 正規形および平均作用は、計量の $C^1$ 変形のもとで保存されるか？
• RQ3 ホワイトニー拡張定理に依存しない、グローバル Hölder 評価を可能にする $C^1$ KAM 理論を構築できるか？
• RQ4 量子的 Birkhoff 正規形は、$C^1$-滑らかな KAM システムにおけるスペクトル不変量を検出する役割を果たすか？
• RQ5 楕円の周辺の解析的および $\mathbb{Z}_2\times\mathbb{Z}_2$-対称なビリヤード台において、スペクトル剛性は保たれるか？

主な発見

• 弱い等スペクトル的性質を満たす $C^1$ 家族の計量 $g_t$ に対して、ディオファントス的周波数の全測度集合 $\Xi$ 内の $\omega$ について、平均作用 $\beta_t(\omega)$ および $P_t$ の $\Lambda_t(\omega)$ における Birkhoff 正規形は $t$ に依存しない。
• 弱い等スペクトル的条件の下で、次元 2 および 3 の Liouville ビリヤード台（楕円および楕円体を含む）について無限小スペクトル剛性が証明された。
• 楕円の周辺の解析的および $\mathbb{Z}_2\times\mathbb{Z}_2$-対称なビリヤード台について、スペクトル剛性が確立された。ここで $\frac{dK}{dI}(0) = -\frac{2}{\pi}\arctan(\sinh 2\pi N) < 0$ が成り立つ。
• 弱い等スペクトル的条件の下で、第二導関数 $\frac{d^2K}{dI^2}(0) = -\frac{1}{2\epsilon\pi^2}\frac{\sinh 2\pi N}{\cosh^2 2\pi N} < 0$ がスペクトル不変量であることが示された。
• 修正された反復補題により、$C^\infty$ ジェットやホワイトニー拡張定理の必要性を回避した、ホーラーノルムにおけるグローバル $C^1$ 評価が可能になった。
• 微局所的に $C^1$ 家族のハミルトニアンの量子的 Birkhoff 正規形が構成され、モノドロミー作用素を通じてスペクトルデータと古典的力学が結びつけられた。