Bosons in a trap: A rigorous derivation of the Gross-Pitaevskii energy functional
É. Lieb, R. Seiringer, J. Yngvason, Physical Review A - Atomic, Molecular, and Optical Physics 61 (2000) 436021–4360213.