[論文レビュー] Quantum Limits for Harmonic Oscillator

Elie Studnia|arXiv (Cornell University)|May 19, 2019

Spectral Theory in Mathematical Physics参考文献 2被引用数 5

ひとこと要約

本稿では、調和振動子のエネルギー球 $S^{2d-1}$ 上でハミルトニアン・フローに関して不変な任意の確率測度が、量子調和振動子の $L^2$-正規化固有関数の弱極限として実現可能であることを確立する。群論的構成（直交シンプレクティック群を用い）と微局所解析を組み合わせて、特に軌道に支えのある（基本的）測度およびその凸結合が、不変測度の空間において稠密であることを証明し、コンパクト多様体上のラプラシアンに関する量子エルゴード性の結果を調和振動子設定へ拡張する。

ABSTRACT

In this note we consider high energy eigenfunctions of the harmonic oscillator in $\mathbb{R}^d$ and prove that any invariant measure on the energy surface can be written as a weak limit of eigenfunctions.

研究の動機と目的

• コンパクト多様体上のラプラシアンに関する量子エルゴード性の結果を、$\mathbb{R}^d$ 上の調和振動子へ拡張すること。
• 調和振動子の $L^2$-正規化固有関数のすべての可能な弱極限（ウィグナー測度）の集合を特徴付けること。
• ハミルトニアン・フローに関して $S^{2d-1}$ 上で不変な、任意の確率測度が、固有関数の弱極限として生じることを示すこと。
• シンプレクティック幾何学と群作用を用いて、調和振動子の量子極限を完全に特徴付けること。

提案手法

• 符号が $\mathscr{C}^\infty_c(\mathbb{R}^{2d})$ に属する擬微分作用素 $a^w(x,hD)$ を制御するため、半古典的解析を用いる。
• 複素吸収型ポテンシャルを用いた摂動論的議論により、固有関数がエネルギー球 $S^{2d-1}$ の近傍に微局所的に集中することを証明する。
• 直交シンプレクティック群 $\mathrm{OSp}(d,\mathbb{R})$ の作用を用いて、個々の閉軌道（大円）に集中する固有関数を構成する。
• スペクトルの減衰推定を用いて、異なる軌道に関連する固有関数間の交差項が弱極限において無視可能であることを示す。
• クリン＝ミルマンの定理を用いて、軌道に支えのある測度の凸結合が、$S^{2d-1}$ 上のすべての不変確率測度の空間において稠密であることを証明する。
• 固有関数およびその極限が誘導する線形汎関数の空間に、距離的位相を定義し、弱-*収束が距離化可能かつコンパクトであることを保証する。

実験結果

リサーチクエスチョン

• RQ1 調和振動子のエネルギー球 $S^{2d-1}$ 上で $\mathrm{Ham}$-不変な確率測度は、すべて量子調和振動子の固有関数の弱極限として生じるか？
• RQ2 任意の閉軌道に集中する固有関数を生成するために、どのような群作用が利用可能か？
• RQ3 軌道に支えのある測度の凸結合は、$S^{2d-1}$ 上のすべての不変測度の空間において稠密か？
• RQ4 量子極限（固有関数の弱極限）の集合は、不変測度の空間における弱-*位相に関して閉じているか？
• RQ5 不変測度の空間における弱-*位相は、任意の不変測度を固有関数列による逐次近似が可能となるように距離化可能か？

主な発見

• ハミルトニアン・フロー $p(x,\xi) = |x|^2 + |\xi|^2$ に関して $S^{2d-1}$ 上で不変な任意の確率測度 $\mu$ は、調和振動子の固有関数の弱-*極限である。
• 単一の閉軌道（大円）上に一様に分布する基本的測度は、$d=1$ の場合と群作用を用いて、固有関数の弱極限として実現可能である。
• クリン＝ミルマンの定理により、軌道に支えのある測度の凸結合は、$S^{2d-1}$ 上のすべての不変確率測度の空間において稠密である。
• すべての量子極限（固有関数の弱極限）の集合は、弱-*位相に関して閉じており、極限集合の完全性が保証される。
• 固有関数およびその極限が誘導する線形汎関数の空間における弱-*位相は距離化可能であり、任意の不変測度を固有関数列による逐次近似が可能である。
• 証明は、$C^{Md}$ 関数のバナッハ空間の双対に距離構造を導入することに依拠し、収束がコンパクト距離空間内での逐次収束と同値であることを保証する。