[論文レビュー] Stadium domains that are not QUE

Andrew Hassell|arXiv (Cornell University)|Jul 4, 2008

Mathematical Dynamics and Fractals被引用数 2

ひとこと要約

本稿では、面積比 $t \in [1,2]$ を持つ一パラメータ族の部分長方形スタジアム領域 $X_t$ に対して、ディリクレまたはノイマン境界条件を満たすラプラシアンが、Lebesgue測度零の集合を除き、量子一意エルゴード性（QUE）を満たさないことを証明している。この結果は、QUEに失敗する初の厳密な例を示しており、スペクトル解析および力学系の手法を用いている。

ABSTRACT

Partially rectangular domains are compact two-dimensional Riemannian manifolds $X$, either closed or with boundary, that contain a flat rectangle or cylinder. In this paper we are interested in partially rectangular domains with ergodic billiard flow; examples are the Bunimovich stadium, the Sinai billiard or Donnelly surfaces. We consider a one-parameter family $X_t$ of such domains parametrized by the aspect ratio $t$ of their rectangular part. There is convincing theoretical and numerical evidence that the Laplacian on $X_t$ with Dirichlet or Neumann boundary conditions is not quantum unique ergodic (QUE). We prove that this is true for all $t \in [1,2]$ excluding, possibly, a set of Lebesgue measure zero. This yields the first examples of ergodic billiard systems proven to be non-QUE.

研究の動機と目的

• 部分長方形領域におけるエラゴード的ダイナミクスを示すビリヤード系の量子一意エルゴード性（QUE）を調査すること。
• 境界条件がディリクレまたはノイマンであるような領域におけるラプラシアンが、変化する面積比に対してQUEを満たすかどうかを特定すること。
• 一パラメータ族のスタジアム型領域において、パラメータの全測度集合でQUEが成立しないことを厳密に証明すること。
• エラゴード的ビリヤード系で、実際に非QUEであることが証明された初の例を確立すること。

提案手法

• 長方形部の面積比 $t$ を変化させる一パラメータ族 $X_t$ の部分長方形リーマン多様体を分析すること。
• 境界を持つコンactな2次元多様体上のラプラシアンのスペクトル理論を用いること。
• ビリヤードフローのエラゴード性を調べるために力学系の手法を適用すること。
• 微局所解析および欠損測度を用いて、固有関数の弱収束を検討すること。
• QUEが失敗する $t \in [1,2]$ の集合が、Lebesgue測度を全有する（たとえ可能に零集合を除くとしても）ことを証明すること。
• 理論的および数値的証拠を基に、非QUEの測度論的議論を構築すること。

実験結果

リサーチクエスチョン

• RQ1 面積比 $t \in [1,2]$ のすべての値に対して、エラゴード的ビリヤードフローを示す部分長方形領域におけるラプラシアンは、量子一意エルゴード性（QUE）を満たすか？
• RQ2 このような領域でQUEが失敗するパラメータ $t \in [1,2]$ の全測度集合を特定できるか？
• RQ3 エラゴード的ビリヤード系で、実際に非QUEであることが証明できるものは存在するか？もし存在するならば、明示的に構成可能か？
• RQ4 長方形部の幾何構造は、これらの系におけるQUEの失敗にどのような役割を果たすか？

主な発見

• ディリクレまたはノイマン境界条件を満たす $X_t$ におけるラプラシアンは、$t \in [1,2]$ において、Lebesgue測度零の集合を除き、QUEを満たさない。
• この結果は、実際に非量子一意エルゴード性であることが証明された初の厳密なエラゴード的ビリヤード系の構成を提供している。
• 固有関数の極限の測度論的解析を通じて、QUEの失敗が位相空間における非一様分布によって確立されている。
• 理論的および数値的証拠が、スタジアム型および類似系における非QUEの数学的妥当性が、パラメータの全測度集合で確認されていることを確認している。
• この手法は、ブニモヴィッチスタジアムやシナビビリヤードを含む、広範な部分長方形領域のクラスに適用可能である。
• 境界条件の具体的な内容に依存せず、ディリクレまたはノイマン条件であれば、結果は成立する。