[論文レビュー] Rational invariant tori and band edge spectra for non-selfadjoint operators

Michael Hitrik, Johannes Sjöstrand|arXiv (Cornell University)|Feb 21, 2015

Spectral Theory in Mathematical Physics被引用数 6

ひとこと要約

本稿は、次元2における非自己共役な微小仮想微分作用素の固有値について、未摂動部の古典的流れが完全可積分である場合に、完全な漸近展開を確立する。特に、有理数型不変ラングラージアントーラスに関連するバンド端付近の固有値は、水平方向の間隔が ~h、垂直方向の間隔が ~εh の歪められた2次元格子を形成し、これを時間平均が空間平均に収束しない有理数型トーラス近辺での摂動論的理論と量子正規形を用いて導出する。

ABSTRACT

We study semiclassical asymptotics for spectra of non-selfadjoint perturbations of selfadjoint analytic $h$-pseudodifferential operators in dimension 2, assuming that the classical flow of the unperturbed part is completely integrable. Complete asymptotic expansions are established for all individual eigenvalues in suitable regions of the complex spectral plane, near the edges of the spectral band, coming from rational flow-invariant Lagrangian tori.

研究の動機と目的

• 次元2における自己共役な解析的 h-擬微分作用素の非自己共役摂動の固有値分布を理解すること。
• 完全可積分系における有理数型流れ不変ラングラージアントーラスに起因するバンド端付近のスペクトル挙動を分析すること。
• 微小仮想極限における個々の固有値について完全な漸近展開を確立し、既存の歪められた格子に関する結果を精緻化すること。
• ディオファントス的トーラスを超えて有理数型トーラスへとスペクトル解析を拡張すること。ここで時間平均が空間平均に収束しない。
• 量子正規形とグローバル・グルーシン問題を用いて、有理数型トーラス付近での固有値局在を厳密に確立するフレームワークを提供すること。

提案手法

• 有理数型トーラス付近でのスペクトル問題を有限次元問題に還元するために、時間平均摂動論を用いる。
• 有理数型不変ラングラージアントーラスの近傍で量子正規形を構築し、誤差項を除いて作用素を対角化する。
• 誤差項の制御と微局所的リゾルベントの制御を保証するために、FBI変換と指数的重み関数を適用する。
• グローバル・グルーシン問題を用いて擬スペクトル評価を導出し、リゾルベントノルムを推定し、固有値を局在化する。
• 非自己共役作用素のための調和近似技術を用い、有理数型トーラス付近でのスペクトル構造をモデル化する。
• 強退化型推定とG {a}rdingの不等式を用い、記号の実部を制御し、複素スペクトル平面における一様な有界性を保証する。

実験結果

リサーチクエスチョン

• RQ1 古典的流れが完全可積分で、トーラスがディオファントス的ではなく有理数型である場合、非自己共役微小仮想作用素の固有値はバンド端付近でどのように振る舞うか？
• RQ2 微小仮想極限における有理数型不変ラングラージアントーラス付近での個々の固有値の正確な漸近的構造は何か？
• RQ3 時間平均が空間平均に収束しない場合でも、有理数型トーラス付近で固有値の完全な漸近展開を確立できるか？
• RQ4 非自己共役摂動の文脈において、ディオファントス的トーラスと有理数型トーラスにおけるスペクトル分布の違いは何か？
• RQ5 量子正規形とグローバル・グルーシン問題は、有理数型トーラス付近での鋭いスペクトル局在を達成するために果たす役割は何か？

主な発見

• 有理数型不変ラングラージアントーラスに関連するバンド端付近の固有値は、水平方向の間隔が ~h、垂直方向の間隔が ~εh の歪められた2次元格子を形成する。
• 有理数型トーラス付近の複素スペクトル平面において、個々の固有値について完全な漸近展開が確立され、O(h^∞)の誤差まで有効である。
• 固有値の虚部は、トーラスに沿った摂動 q の長時間平均によって支配され、スペクトルバンドを特徴付けるコンパクトな区間 Q_∞(Λ) を形成する。
• ε^{1+δ/2} ≪ h の条件下で、|z| ≥ C h/√ε かつ Im z = O(h/√ε のとき、リゾルベントノルムは ||(P_ε/ε - z)^{-1}|| = O( h^{-2/3} |z|^{-1/3} ) を満たす。
• 有理数型トーラス付近のスペクトル構造は、ディオファントス的トーラス付近とは異なり、時間平均が空間平均に収束しないため、非一様なスペクトルバンドを形成する。
• 適切な摂動および微小仮想パラメータの条件下で、適応された推定と周期的重みの使用によりトーラス設定への解析が拡張され、同じ漸近的挙動が保持される。