Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional

Lieb, E. H., Seiringer, R., & Yngvason, J. (2001). Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional. In The Stability of Matter: From Atoms to Stars (pp. 685–697). Springer Berlin Heidelberg. https://doi.org/10.1007/978-3-662-04360-8_45