[論文レビュー] An Adiabatic Theorem for Singularly Perturbed Hamiltonians

Alain Joye|ArXiv.org|Nov 2, 1994

Spectral Theory in Mathematical Physics参考文献 9被引用数 3

ひとこと要約

本稿は、スペクトルギャップを持つ自己共役ハミルトニアン $H_0(t)$ に小さな摂動 $ epsilon H_1(t)$ が作用する特異的摂動ハミルトニアンに対して、断熱定理を確立する。摂動がより小さい定義域上で定義されており、$ epsilon > 0$ のときギャップ条件を破る場合でさえも、合理的な仮定の下で、$ epsilon \to 0$ の極限において、系が元のハミルトニアンの断熱的時間発展演算子に近いままであることを証明する。これは、標準的なギャップ条件を超えて断熱定理を拡張するものである。

ABSTRACT

The adiabatic approximation in quantum mechanics is considered in the case where the self-adjoint hamiltonian $H_0(t)$, satisfying the usual spectral gap assumption in this context, is perturbed by a term of the form $εH_1(t)$. Here $ε o 0$ is the adiabaticity parameter and $H_1(t)$ is a self-adjoint operator defined on a smaller domain than the domain of $H_0(t)$. Thus the total hamiltonian $H_0(t)+εH_1(t)$ does not necessarily satisfy the gap assumption, $\forall ε>0$. It is shown that an adiabatic theorem can be proven in this situation under reasonnable hypotheses. The problem considered can also be viewed as the study of a time-dependent system coupled to a time-dependent perturbation, in the limit of large coupling constant.

研究の動機と目的

• 標準的なスペクトルギャップ条件を破る特異的摂動項によって摂動されるハミルトニアンへの断熱定理の拡張を図ること。
• 摂動 $\epsilon H_1(t)$ が $H_0(t)$ よりも小さい定義域上で定義される場合、通常の意味で全ハミルトニアンが正しく定義されないか、自己共役でなくなる状況に対処すること。
• 全ハミルトニアンに対して一様なスペクトルギャップが存在しない $ epsilon > 0$ の場合に、断熱的時間発展演算子が有効であるための条件を確立すること。
• 時間に依存する設定において大きな結合定数を持つ系をモデル化し、摂動を小パラメータ $ epsilon \to 0$ として扱うこと。

提案手法

• ハミルトニアン $H_0(t)$ と $H_1(t)$ 間の定義域の不一致を扱うために、ヒルベルト空間における関数解析的手法を用い、$ epsilon > 0$ のとき全ハミルトニアンが適切に定義されることを保証する。
• 証明は $H_0(t)$ のスペクトルギャップ仮定と、断熱極限における摂動の作用素ノルムによる制御に基づく。
• 主要な技術的ツールとして、特異的摂動に適応された時刻順序指数関数および断熱的時間発展演算子が用いられる。
• 定義域の不一致により全ハミルトニアンのギャップ条件が満たされない場合でも、断熱部分空間を残りのスペクトルから分離するユニタリ変換を構成する。
• $\epsilon \to 0$ の極限を考察し、真の時間発展演算子と断熱的時間発展演算子とのずれの上限を導出する。
• 時間に依存するハミルトニアンを扱うフレームワークを提供し、摂動のダイナミクスを制御された漸近展開を通じて統合する。

実験結果

リサーチクエスチョン

• RQ1 全ハミルトニアンのスペクトルギャップ条件が摂動によって破れる場合、断熱定理を確立できるか。
• RQ2 摂動作用素 $H_1(t)$ が $H_0(t)$ よりも小さい定義域上で定義される場合、どのように断熱的時間発展演算子を定義し分析できるか。
• RQ3 $ epsilon > 0$ のとき一様なスペクトルギャップが存在しない場合に、系が断熱部分空間にとどまるための条件は何か。
• RQ4 時間に依存する設定において、大きな結合定数を持つ特異的摂動系に対し、断熱定理を拡張することは可能か。

主な発見

• 全ハミルトニアン $H_0(t) + \epsilon H_1(t)$ が $ epsilon > 0$ のとき標準的なスペクトルギャップ条件を満たさない場合でさえも、特異的摂動ハミルトニアンに対して断熱定理が成り立つ。
• 定義域および $H_1(t)$ のノルム挙動に関する合理的な仮定のもとで、断熱的時間発展演算子が有効であり、$ epsilon \to 0$ のとき、系が $H_0(t)$ の瞬間固有射影演算子に追従することを保証する。
• 真の時間発展演算子と断熱的時間発展演算子とのずれに対して一様な上限が確立され、その誤差は $ epsilon$ および断熱パラメータの関数として定量的に評価される。
• 本手法は、特異的摂動を伴う時間に依存する系に適用可能であり、標準的フレームワークを超えて断熱定理を一般化する。
• 摂動に弱い仮定のもとで結果が頑健であり、$H_1(t)$ が $H_0(t)$ の定義域上で全域的に定義されていない場合も含む。
• 本フレームワークは、量子力学において大きな結合定数を持つ系を扱うための厳密な基礎を提供し、断熱極限において摂動を小さなパラメータとして扱うものである。