É. 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.