@article{2344,
  abstract     = {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.},
  author       = {Lieb, Élliott and Seiringer, Robert and Yngvason, Jakob},
  issn         = {0556-2791},
  journal      = {Physical Review A - Atomic, Molecular, and Optical Physics},
  number       = {4},
  pages        = {436021 -- 4360213},
  publisher    = {American Physical Society},
  title        = {{Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional}},
  doi          = {10.1103/PhysRevA.61.043602},
  volume       = {61},
  year         = {2000},
}