Proof of Bose-Einstein Condensation for Dilute Trapped Gases

Abstract

The ground state of bosonic atoms in a trap has been shown experimentally to display Bose-Einstein condensation (BEC). We prove this fact theoretically for bosons with two-body repulsive interaction potentials in the dilute limit, starting from the basic Schroedinger equation; the condensation is 100% into the state that minimizes the Gross-Pitaevskii energy functional. This is the first rigorous proof of BEC in a physically realistic, continuum model.Comment: Revised version with some simplifications and clarifications. To appear in Phys. Rev. Let