[論文レビュー] Bose particles in a box III. A convergent expansion of the ground state of the Hamiltonian in the mean field limiting regime

Alessandro Pizzo|arXiv (Cornell University)|Nov 22, 2015

Spectral Theory in Mathematical Physics被引用数 13

ひとこと要約

本稿は、有限な箱の中における相互作用をもつボーズ気体の基底状態について、平均場限界領域における収束する摂動的展開を提示する。多スケールフェシュバッハフローを占有数空間に適用することで、著者らは真空状態にすべての粒子がゼロモードにある状態に対して、真の生成・消滅演算子が作用する収束級数として基底状態を構成した。この展開は $ N \to \infty $ の極限において、制御された精度で有効である。

ABSTRACT

In this paper we consider an interacting Bose gas at zero temperature, constrained to a finite box and in the mean field limiting regime. The N gas particles interact through a pair potential of positive type and with an ultraviolet cut-off. The (nonzero) Fourier components of the potential are assumed to be sufficiently large with respect to the corresponding kinetic energies of the modes like in the companion papers [Pi1]-[Pi2]. Using the multi-scale technique in the occupation numbers of particle states introduced in [Pi1]-[Pi2], we provide a convergent expansion of the ground state of the Hamiltonian in terms of the bare operators. In the limit N o \infty the expansion is up to any desired precision.

研究の動機と目的

• 有限な箱の中における零温度での相互作用をもつボーズ気体の基底状態を厳密に構成すること。
• 平均場限界領域において、真の演算子を用いた基底状態の収束的展開を提供すること。
• 従来の研究で用いられた多スケールフェシュバッハフロー技法を、完全なハミルトニアンへと拡張し、収束性を保証すること。
• ボゴリューボフ近似を、形式的展開ではなく収束級数として基底状態を構成することにより、厳密に正当化すること。
• 粒子数 $ N \to \infty $ の極限において、任意の所望の精度まで展開を正確に保証できることを確立すること。

提案手法

• 第二量子化された粒子数保存型ボゴリューボフハミルトニアンに多スケールフェシュバッハフロー技法を適用すること。
• 高周波数カットオフを用いたペアポテンシャルのフーリエ成分を用い、カットオフにより有限個のモードのみを扱うこと。
• 相互作用ポテンシャルの各ペアのフーリエ成分 $ \phi_{\pm \mathbb{j}} $ に対応する逐次的なフェシュバッハフローを構成すること。
• 各フロー段階におけるハミルトニアンの構造を制御するための演算子 $ \mathcal{A}_l $ と $ \mathcal{B}_l $ を定義すること。
• エネルギー推定と演算子ノルムの境界を用いて展開の収束性を証明し、特に不等式 $ (H^\#)^2 \geq C_1 \mathcal{N}_+^2 - C_2 $ を示すこと。
• 真の生成・消滅演算子をゼロモード真空に作用させた項の和として構成される、基底状態ベクトルの収束級数展開の確立。

実験結果

リサーチクエスチョン

• RQ1 有限な箱の中における相互作用をもつボーズ気体の基底状態は、平均場限界領域において真の演算子を用いた収束級数として構成可能か？
• RQ2 高周波数カットオフを施した完全なハミルトニアンに多スケールフェシュバッハフロー技法を適用した場合、基底状態ベクトルの収束的展開が得られるか？
• RQ3 ボゴリューボフ近似は、形式的展開ではなく収束的展開を用いることで、どのように厳密に正当化できるか？
• RQ4 $ N \to \infty $ の領域における摂動級数の収束性を保証する演算子論的境界は何か？
• RQ5 固定されたボックスサイズの下で粒子数 $ N \to \infty $ の熱力学的極限において、展開を任意の精度まで高めることができるか？

主な発見

• ハミルトニアンの基底状態ベクトルが、ゼロモード真空に作用する真の生成・消滅演算子の収束級数として構成された。
• この展開は、結合定数が粒子密度の逆数に比例し、$ N \to \infty $ となる平均場限界領域で有効である。
• 収束性はエネルギー推定と演算子ノルムの境界を用いて証明され、特に正の定数 $ C_1, C_2 $ を用いて $ (H^\#)^2 \geq C_1 \mathcal{N}_+^2 - C_2 $ を示した。
• この方法により、$ N \to \infty $ の極限において、任意の所望の精度まで収束する展開が保証され、漸近的であるのではなく、真の収束であることが確認された。
• 展開は、各フロー段階が相互作用ポテンシャルのフーリエ成分 $ \phi_{\mathbb{j}_l} $ に対応する多スケールフェシュバッハフローに依存している。
• 演算子 $ \mathcal{A}_l $ と $ \mathcal{B}_l $ の使用により、各フロー段階におけるハミルトニアンの構造を精密に制御でき、有界性と収束性が保証された。