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