[論文レビュー] Derivation of Effective Evolution Equations from Microscopic Quantum Dynamics

Benjamin Schlein|ArXiv.org|Jul 27, 2008

Cold Atom Physics and Bose-Einstein Condensates参考文献 25被引用数 33

ひとこと要約

本稿は、多数のボソン系の微視的量子力学的ダイナミクスを、平均場および無限粒子極限において、厳密に有効な進化方程式—特にハートリー方程式およびグロス＝ピタエフケィ方程式—を導出する。フォック空間の技法と相関関数に関する事前推定を用いて、N体シュレーディンガー力学からこれらの非線形有効方程式への収束を確立し、相互作用ポテンシャルに適切な条件が満たされた場合に、収束速度の定量的評価を示す。

ABSTRACT

In these lecture notes we discuss recent progress in the rigorous derivation of effective evolution equations for the description of the dynamics of quantum mechanical many-body systems.

研究の動機と目的

• ボソン系のN体シュレーディンガー方程式の平均場極限としてハートリー方程式を数学的に厳密に導出すること。相互作用が有界またはクーロン型の場合を想定する。
• 粒子数が大きくかつ結合が弱い場合のボーズ＝アインシュタイン凝縮の有効ダイナミクスとしてグロス＝ピタエフケィ方程式を導出すること。
• 正確なN体力学から有効な平均場方程式への収束速度に関する定量的推定を提供すること。
• 相関関数の無限階層におけるダイナミクスを制御するための関数解析的道具を構築すること。特に、標準的でないソボレフ型およびピオンカレ型不等式を含む。
• 無限階層の相関関数の解の一意性と安定性を証明し、極限有効方程式の有効性を保証すること。

提案手法

• 平均場極限における縮約密度行列の弱収束を用いた、BBGKY階層を介したハートリー方程式の形式的導出。
• フォック空間表現を用いて多体系量子状態を記述し、コherent状態の時間発展を分析すること。
• 相関関数の極限点に関する事前推定を導入し、高次相関の成長を制御すること。
• 2体相互作用行列要素を、2階混合微分と運動エネルギー項の組み合わせで評価する、非標準的ソボレフ不等式の導入。
• エネルギー型推定とコンパクト性の議論を用いて、無限階層の相関関数解の一意性の証明。
• フォック空間枠組みにおいて、事前推定と相対エントロピー法、スペクトルギャップ推定を組み合わせることで収束速度の確立。

実験結果

リサーチクエスチョン

• RQ1 有界相互作用を持つボソン系のN体シュレーディンガー方程式の平均場極限として、ハートリー方程式を数学的に厳密に導出できるか？
• RQ2 希薄なボーズ＝アインシュタイン凝縮体において、熱力学的極限下でグロス＝ピタエフケィ方程式が有効ダイナミクスとして出現するか？
• RQ3 正確なN体量子力学的ダイナミクスから有効な非線形シュレーディンガー型方程式への収束速度は何か？
• RQ4 縮約密度行列の無限階層における相関の成長をどのように制御できるか？
• RQ5 標準的ソボレフ埋没が成立しない状況下で、2体相互作用項を制御するための関数的不等式は何か？

主な発見

• 有界相互作用ポテンシャルを持つボソン系について、N体シュレーディンガー方程式の平均場極限としてハートリー方程式が、縮約密度行列の意味で厳密に導出された。
• クーロン型相互作用に対しては、ポテンシャルおよび初期データの適切な正則性と減衰性の仮定の下でハートリー方程式が導出された。
• 粒子数Nが大きくかつ結合が弱い場合、ボーズ＝アインシュタイン凝縮体の有効ダイナミクスとしてグロス＝ピタエフケィ方程式が、初期状態の因子分解性およびエネルギーの有界性の仮定の下で示された。
• 2階混合微分と運動エネルギー項の組み合わせで2体相互作用行列要素を評価する非標準的ソボレフ不等式が確立され、特異相互作用の制御が可能になった。
• やや弱い事前推定のもとで、無限階層の相関関数の解の一意性が証明され、極限有効ダイナミクスの有効性が保証された。
• フォック空間枠組みにおいて、収束速度の定量的評価が得られ、適切な初期条件のもとで、正確な力学と有効力学との間の誤差が時間に一様に小さく保たれることが示された。