Lieb É, Seiringer R, Yngvason J. Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional. Physical Review A - Atomic, Molecular, and Optical Physics. 2000;61(4):436021-4360213. doi:10.1103/PhysRevA.61.043602
LibreCat: https://research-explorer.ista.ac.at/record/2344
DOI: 10.1103/PhysRevA.61.043602
arXiv: math-ph/9908027