Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional
Élliott H. Lieb, Robert Seiringer, Jakob Yngvason
The ground-state properties of interacting Bose gases in external potentials, as considered in recent experiments, are usually described by means of the Gross-Pitaevskii energy functional. We present here a rigorous proof of the asymptotic exactness of this approximation for the ground-state energy and particle density of a dilute Bose gas with a positive interaction.
arXiv:math-ph/9908027•Physical Review A•Mar 6, 2000•375 citations