[論文レビュー] The Mathematics of the Bose Gas and its Condensation

Elliott H. Lieb, Robert Seiringer+2 more|arXiv (Cornell University)|Oct 4, 2006

Cold Atom Physics and Bose-Einstein Condensates被引用数 30

ひとこと要約

この論文は、ボーズ・アトム系におけるボーズ・アインシュタイン凝縮（BEC）とその数学的基盤を、次元にわたる相互作用系における基底状態エネルギー、BECの発生、および超流動性に焦点を当て、厳密に分析している。一般化されたポincare不等式、準平均法、熱力学的極限解析といった手法を用い、自発的ゲージ対称性の破れが熱力学的極限においてBECを意味することを証明し、BECとゲージ対称性の破れの等価性に関する長年の疑問を解消した。

ABSTRACT

This book surveys results about the quantum mechanical many-body problem of the Bose gas that have been obtained by the authors over the last seven years. These topics are relevant to current experiments on ultra-cold gases; they are also mathematically rigorous, using many analytic techniques developed over the years to handle such problems. Some of the topics treated are the ground state energy, the Gross-Pitaevskii equation, Bose-Einstein condensation, superfluidity, one-dimensional gases, and rotating gases. The book also provides a pedagogical entry into the field for graduate students and researchers.

研究の動機と目的

• 相互作用を有する多体系量子系におけるボーズ・アインシュタイン凝縮（BEC）の厳密な数学的基盤を確立すること。
• 弱いもしくは強い相互作用を有するボーズガスにおいてBECが生じるか、特に熱力学的極限において生じるかという長年の問いを解消すること。
• 準平均法を用いて、BECと自発的ゲージ対称性の破れの関係を明確にすること。
• 希薄なボーズガスの基底状態エネルギーに対して、2次元および3次元における厳密な上限および下限を与えること。
• 閉じ込められたおよび局所化されたボーズガスの挙動を分析し、グロス＝ピタエフスキー理論の1次元および2次元極限を検討すること。

提案手法

• ゲージ対称性の破れを伴うBECを、小さな明示的破れ項λを用いて準平均法で分析する。
• 一般化されたポincare不等式を用いて、希薄なボーズガスの基底状態エネルギーに対する下限を導出する。
• 熱力学的極限解析を用い、密度行列および圧力関数の収束を示し、特に体積Vが非常に大きい極限において有効であることを示す。
• 熱力学的極限における重み関数Wμ,λ(ζ√V)の挙動を分析し、凝縮分率および対称性の破れを特徴付ける。
• 反射性の正と凸性の議論を用いて、凝縮分率がλに関して単調増加であることを証明し、重み関数の台の性質を確立する。
• 3次元グロス＝ピタエフスキー理論の1次元および2次元極限を用い、1次元挙動およびディスク型のトラップを分析する。

実験結果

リサーチクエスチョン

• RQ1 希薄で弱い相互作用を有するボーズガスが3次元および2次元でBECを示すか。また、その基底状態エネルギーに対する厳密な上限および下限は何か？
• RQ2 熱力学的極限において、ボーズ・アインシュタイン凝縮は自発的ゲージ対称性の破れとどのように関係するか？
• RQ3 準平均法を用いて、相互作用系においてBECと自発的対称性の破れの等価性を厳密に確立できるか？
• RQ4 小さなゲージ破れ場λが存在する場合、凝縮分率はどのように振る舞い、λ → 0 の極限でどうなるか？
• RQ5 現実的なボーズ系では、病理的とされる重み関数（例えば、δ関数でない台）が現れ、BECなしに対称性が破れることがあるのか？

主な発見

• この論文は、自発的対称性の破れ（準平均法による）が熱力学的極限においてBECを意味することを証明し、両現象の間の厳密な関係を確立した。
• λ → 0 の極限において、|⟨a₀⟩|² の右微分係数の極限として、凝縮分率⟨n₀⟩_μ,λ=0 が上界で抑えられることを示し、BECの2つの定義の間の厳密な不等式を確立した。
• 任意のλ ≠ 0 に対して、熱力学的極限における重み関数Wμ,λ(ζ√V)の台は、λ = 0 における右微分係数が定める円の外部に位置し、凝縮分率の単調増加を保証する。
• 圧力および密度が well-defined な熱力学的極限を持つことが示され、圧力がλに関して凸であることが証明され、準平均法の安定性と一貫性が保証された。
• 論文は、λ = 0 の極限において対称性の破れが生じるがBECは生じない病理的例（式620）を構成した。これは、現実の系ではこのような例が生じないことを証明するという未解決の数学的問題を浮き彫りにした。
• 3次元グロス＝ピタエフスキー理論の1次元および2次元極限が厳密に分析され、エネルギーおよび密度分布が低次元モデルに収束することが示された。