[論文レビュー] Regularity of Eigenstates in Regular Mourre Theory

Jacob Moeller, Matthias Westrich|arXiv (Cornell University)|Jun 2, 2010

Spectral Theory in Mathematical Physics参考文献 17被引用数 7

ひとこと要約

本稿は、正規モアル理論における一般抽象的枠組みを確立し、自己随伴作用素 $ H $ の固有状態が、固有値近傍で正の交換子条件を満たす共役作用素 $ A $ に対して $ A^k $ の定義内にあることを証明する。$ H $ が $ C^{k+1}(A) $ の正則性を満たすとき、固有状態は $ A $ に関して解析的ベクトルであることが示され、最適な正則性評価と、拡張解析的系および質量のあるスピンボソン模型への応用が得られる。

ABSTRACT

The present paper gives an abstract method to prove that possibly embedded eigenstates of a self-adjoint operator $H$ lie in the domain of the $k^{th}$ power of a conjugate operator $A$. Conjugate means here that $H$ and $A$ have a positive commutator locally near the relevant eigenvalue in the sense of Mourre. The only requirement is $C^{k+1}(A)$ regularity of $H$. Regarding integer $k$, our result is optimal. Under a natural boundedness assumption of the multiple commutators we prove that the eigenstate 'dilated' by $\exp(iθA)$ is analytic in a strip around the real axis. In particular, the eigenstate is an analytic vector with respect to $A$. Natural applications are 'dilation analytic' systems satisfying a Mourre estimate, where our result can be viewed as an abstract version of a theorem due to Balslev and Combes. As a new application we consider the massive Spin-Boson Model.

研究の動機と目的

• 正規モアル理論の文脈において、固有状態の正則性を示す抽象的技法を開発すること。
• 固有値近傍のスペクトル射影 $ \rho $ に対して、$ A^k \rho $ のノルムに関する鋭い評価を確立すること。
• 固有状態が $ A $ に関して解析的ベクトルであることを保証する複数の交換子に関する条件を導出すること。
• 抽象的枠組みを、$ N $-体ハミルトニアンや質量のあるスピンボソン模型を含む具体的なモデルに適用すること。
• 補助的構成に依存する技術的依存性を排除し、明示的かつ独立的な評価を与えることで、先行研究を改善すること。

提案手法

• モアル推移と交換子計算を用いて、作用素の抽象的設定において $ A^k \psi $ の評価を得るため、フロエ＝ハーベストの議論を適応する。
• $ H $ に $ C^{k+1}(A) $ 正則性を課し、$ j \leq k+1 $ に対して反復交換子 $ \operatorname{ad}_A^j(H) $ の存在と制御を保証する。
• スペクトル射影の近似に、滑らか化関数 $ h_n(t) = n h(t/n) $ を用い、$ f_{\text{loc}} i\operatorname{ad}_A(H - h_n) f_{\text{loc}} $ の制御を作用素ノルム推定により行う。
• $ f_{\text{loc}} $, $ f_{\perp} $, および剰余項 $ R $ を含む分解を適用し、$ \|R\| \leq C/n $ により、一様なモアル型推定を得る。
• コンパクト台付きカットオフの代わりに、実解析的関数 $ f_{\text{ana}}(x) = 1/(1 + (x - \lambda)^2) $ を用いることで、解析接続を可能とし、固有状態の解析性を証明する。
• 解析的関数 $ f_{\text{ana}} $ を用いた改良されたモアル推定 $ i[h, A] \geq C_0 - C_1 f_{\text{ana},\perp}^2 - K $（ここで $ f_{\text{ana},\perp} = 1 - f_{\text{ana}} $）を導出し、解析的領域の帯状領域における解析性を保証する。

実験結果

リサーチクエスチョン

• RQ1 与えられた $ k \in \mathbb{N} $ に対して、$ H $ と $ A $ にどのような条件を課すれば、$ H $ の固有状態 $ \psi $ が $ \mathcal{D}(A^k) $ に属するか？
• RQ2 複数の交換子の自然な成長条件のもとで、固有状態の正則性を $ C^k $ から解析性へ高めることは可能か？
• RQ3 $ \psi \in \mathcal{D}(A^k) $ を得るための $ H $ の $ C^{k+1}(A) $ 正則性条件は最適か？
• RQ4 抽象的モアル理論的枠組みを、質量のあるスピンボソン模型のような具体的なモデルにどのように適用できるか？
• RQ5 実解析的カットオフ関数を用いたモアル推定から、固有状態の解析性を導くことは可能か？

主な発見

• 任意の $ k \in \mathbb{N} $ に対して、$ H $ が $ C^{k+1}(A) $ のクラスに属するならば、$ H $ の固有値 $ \lambda $ に属する任意の固有状態 $ \psi $ は $ \mathcal{D}(A^k) $ に属し、この正則性条件は最適である。
• $ \|A^k \psi\| $ のノルムは、$ H $ の $ C^{k+1}(A) $-セミノルムにのみ依存する定数によって抑えられ、補助的構成に依存しない。
• 複数の交換子 $ \|\operatorname{ad}_A^j(H)\| $ の自然な成長条件のもとで、固有状態 $ \psi $ は $ A $ に関して解析的ベクトルである。すなわち、$ \psi $ は $ \theta $ が $ \mathbb{R} $ の周囲の帯状領域にある任意の $ \theta $ に対して $ \exp(i\theta A) $ の定義内にある。
• 拡張作用 $ \exp(i\theta A) $ を用いた解析的拡張により、固有状態 $ \psi $ は実軸の周囲の帯状領域で解析的であることが、解析的カットオフ関数 $ f_{\text{ana}} $ を用いた改良されたモアル推定により示された。
• 本結果は、$ N $-体ハミルトニアンや質量のあるスピンボソン模型に適用可能な、拡張解析的系におけるバルスレーヴ＝コムベスの定理の抽象的版を提供する。
• 極限吸収原理やスペクトル射影に依存するのではなく、直接的な作用素ノルム推定と滑らか化スペクトル関数を用いることで、主要な不等式 $ i[h_{n_0}, A] \geq C_0 - C_1 f_{\text{ana},\perp}^2 - K $ を導出する。