[论文解读] The Ground State of the Bose Gas

Elliott H. Lieb, Robert Seiringer+2 more|ArXiv.org|Apr 11, 2002

Cold Atom Physics and Bose-Einstein Condensates参考文献 29被引用 6

一句话总结

该论文严格推导出三维稀薄玻色气体基态能量的主导项公式为 $2\pi\hbar^2 a\rho/m$，其中 $a$ 为散射长度，解决了长达数十年的难题。作者运用新颖的多体方法，包括改进的 Bogolubov 方法和严格的下界估计，证实了此前仅被猜想的公式，同时证明了在束缚玻色子系统中 Gross-Pitaevskii 方程的有效性，以及在带电玻色气体中 Foldy 理论的正确性。

ABSTRACT

Now that the low temperature properties of quantum-mechanical many-body systems (bosons) at low density, $ρ$, can be examined experimentally it is appropriate to revisit some of the formulas deduced by many authors 4-5 decades ago. For systems with repulsive (i.e. positive) interaction potentials the experimental low temperature state and the ground state are effectively synonymous -- and this fact is used in all modeling. In such cases, the leading term in the energy/particle is $2π\hbar^2 a ρ/m$ where $a$ is the scattering length of the two-body potential. Owing to the delicate and peculiar nature of bosonic correlations (such as the strange $N^{7/5}$ law for charged bosons), four decades of research failed to establish this plausible formula rigorously. The only previous lower bound for the energy was found by Dyson in 1957, but it was 14 times too small. The correct asymptotic formula has recently been obtained by us and this work will be presented. The reason behind the mathematical difficulties will be emphasized. A different formula, postulated as late as 1971 by Schick, holds in two-dimensions and this, too, will be shown to be correct. With the aid of the methodology developed to prove the lower bound for the homogeneous gas, two other problems have been successfully addressed. One is the proof by us that the Gross-Pitaevskii equation correctly describes the ground state in the `traps' actually used in the experiments. For this system it is also possible to prove complete Bose condensation, as we have shown. Another topic is a proof that Foldy's 1961 theory of a high density Bose gas of charged particles correctly describes its ground state energy.

研究动机与目标

• 严格确立三维稀薄、排斥性玻色气体基态能量主导项公式的数学形式，尽管物理直觉强烈，但该问题在过去四十余年中始终未能得到严格证明。
• 解决长期存在的数学难题：证明稀薄玻色气体能量的正确下界，克服 Dyson 于 1957 年给出的下界（仅为真实值的 1/14）的不足。
• 严格验证 Gross-Pitaevskii 方程作为实验相关势阱中玻色子基态的正确有效理论，并证明此类系统中完全的玻色-爱斯坦凝聚。
• 严格确认 Foldy 于 1961 年提出的高密度带电玻色气体理论（Jellium 模型）在热力学极限下的正确性，表明其正确描述了基态能量。
• 发展一种适用于复杂多体量子系统的通用数学方法论，具有在量子多体理论中更广泛应用的潜力。

提出的方法

• 通过精心构造的试探态，采用变分法推导出稀薄玻色气体基态能量的新锐下界，优于 Dyson 早期的下界结果。
• 对哈密顿量应用改进的 Bogolubov 方法，利用算符不等式将能量从下界控制为准粒子算符的二次型最小化。
• 结合第二量子化与相干态技术处理多体哈密顿量，尤其适用于束缚玻色子和 Jellium 模型的情形。
• 引入哈密顿量的动量空间表示，并分析所得能量泛函，通过相互作用势的傅里叶变换引入散射长度和密度效应。
• 在稀薄极限下进行系统展开，将相互作用势视为弱长程，以散射长度作为关键参数。
• 应用正规排序方法与对易子估计，控制量子涨落，并在热力学极限下导出有效能量泛函。

实验结果

研究问题

• RQ1 在三维空间中，具有排斥相互作用的稀薄玻色气体的基态能量每粒子的正确渐近公式是什么？
• RQ2 Gross-Pitaevskii 方程能否在稀薄极限下被严格证明为束缚玻色子系统的正确有效理论？
• RQ3 在稀薄束缚玻色气体中是否发生完全的玻色-爱斯坦凝聚？能否从数学上加以证明？
• RQ4 Foldy 于 1961 年提出的高密度带电玻色气体理论（Jellium 模型）在热力学极限下是否正确？
• RQ5 在费米子系统中存在非平凡关联的玻色子系统中，推导主导项能量公式的数学技术有哪些？

主要发现

• 三维空间中稀薄玻色气体的基态能量主导项每粒子能量被严格证明为 $2\pi\hbar^2 a\rho/m$，确认了长期存在的物理猜想。
• 作者建立的下界与已知的上界完全一致，从而严格证明了该渐近公式的正确性，解决了自 1950 年代以来悬而未决的问题。
• Gross-Pitaevskii 方程被严格证明可准确描述束缚玻色子在稀薄极限下的基态，验证了其在实验玻色-爱斯坦凝聚建模中的适用性。
• 在热力学极限下，稀薄束缚玻色气体中完全的玻色-爱斯坦凝聚被证明发生，凝聚分数趋于 1。
• Foldy 于 1961 年提出的带电玻色气体在屏蔽背景下的理论被严格证实可正确给出基态能量，其能量在三维空间中按 $\rho^{5/3}$ 规律标度。
• 所发展的数学框架，特别是结合改进边界条件的 Bogolubov 理论，为分析强关联量子多体系统提供了稳健方法，具有在更广泛领域应用的潜力。