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 Schrödinger 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.
Physical Review Letters
- Pub Date:
- April 2002
- Mathematical Physics;
- Condensed Matter - Statistical Mechanics
- Revised version with some simplifications and clarifications. To appear in Phys. Rev. Lett