[論文レビュー] Mean-field limit of Bose systems: rigorous results

Mathieu Lewin|arXiv (Cornell University)|Oct 15, 2015

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

ひとこと要約

この論文は、相互作用強度が $1/N$ のスケーリングに従う平均場極限において、多体量子力学からグロス＝ピタエフスキー方程式およびボゴリューボフ励起スペクトルを厳密に導出する。多体基底状態エネルギーと密度行列がGP最小化子に収束することを確立し、一般の相互作用ポテンシャル下でのボーズガスにおける平均場近似の妥当性を証明する。

ABSTRACT

We review recent results about the derivation of the Gross-Pitaevskii equation and of the Bogoliubov excitation spectrum, starting from many-body quantum mechanics. We focus on the mean-field regime, where the interaction is multiplied by a coupling constant of order 1/N where N is the number of particles in the system.

研究の動機と目的

• 相互作用するボーズガスの多体シュレーディンガー方程式の平均場極限としてグロス＝ピタエフスキー方程式を厳密に正当化すること。
• $N \to \infty$ および相互作用強度 $\sim 1/N$ の下で、多体基底状態がGP最小化子に収束することを確立すること。
• GPエネルギー関数のヘッセ行列の2次量子化によりボゴリューボフ励起スペクトルを導出すること。
• 希釈極限、ファンデルワールス／カチ極限、および超安定相互作用の各状況における平均場近似の有効性を分析すること。
• リー＝ファン＝ヤン補正や正の温度におけるボーズ＝アインシュタイン凝縮の存在といった未解決問題に取り組むこと。

提案手法

• $N \to \infty$ の極限において、有効1体ポテンシャルとしての平均場ポテンシャル $w * \rho$ を大数の法則により正当化する。
• 変分法を用いて、 $L^2$ 正規化の下でグロス＝ピタエフスキーエネルギー関数 $\mathcal{E}(u)$ を最小化することでGP方程式を導出する。
• 2次量子化を用いて、最小化子 $u_0$ におけるGPエネルギー関数のヘッセ行列としてボゴリューボフハミルトニアン $\mathbb{H}_{u_0}$ を定義する。
• スケーリングの議論を用いて熱力学的極限を分析し、 $w_\ell(x) = \ell^3 w(\ell x)$ を用いて低密度領域を高密度有効モデルに写像する。
• $\gamma \to 0$ のカチ極限 $w_\gamma(x) = \gamma^d w(\gamma x)$ を考慮することで、古典的挙動を回復し、GPエネルギーへの収束を証明する。
• 超安定性条件を用いて、平均場極限の非自明性を保証し、引力的相互作用における収縮を防止する。

実験結果

リサーチクエスチョン

• RQ1 ボーズ系の多体基底状態は、平均場極限においてグロス＝ピタエフスキーエネルギー関数の最小化子に収束するか？
• RQ2 ボゴリューボフ励起スペクトルは、GPエネルギー関数のヘッセ行列の2次量子化により、多体ハミルトニアンから厳密に導出可能か？
• RQ3 希釈極限における基底状態エネルギーの漸近的挙動は何か？ また、リー＝ファン＝ヤン補正が回復されるか？
• RQ4 カチ極限における平均場近似の挙動は？ また、古典的平均場エネルギーに収束するか？
• RQ5 引力的または長距離相互作用がある場合、ボーズ＝アインシュタイン凝縮は多体基底状態でどのように維持されるか？

主な発見

• 適切な条件下で、熱力学的極限において多体基底状態エネルギーはGPエネルギーに収束し、収束速度は $O(1/N)$ である。
• GP方程式は、GPエネルギー関数の最小化を経て、多体シュレーディンガー方程式の平均場極限として厳密に導出される。
• ボゴリューボフ励起スペクトルは、最小化子 $u_0$ におけるGPエネルギー関数のヘッセ行列の2次量子化のスペクトルとして得られる。
• 希釈極限では、基底状態エネルギーは $\rho \to 0$ の下で $e(\rho,w) = 4\pi a \rho + o(\rho)$ を満たし、既知の物理的予測と整合する。
• リー＝ファン＝ヤン補正 $\sim \sqrt{\rho a^3}$ はまだ厳密に導出されていないが、文献で上界が確立されている。
• $\widehat{w} \geq 0$ のカチ極限では、エネルギーは $\frac{1}{2}\rho \int w$ に収束し、古典的平均場極限が確認される。