Lieb, Élliott, et al. “Bosons in a Trap: A Rigorous Derivation of the Gross-Pitaevskii Energy Functional.”10.1103/PhysRevA.61.043602__Physical Review A - Atomic, Molecular, and Optical Physics, vol. 61, no. 4, American Physical Society, 2000, pp. 436021–4360213, doi:10.1103/PhysRevA.61.043602.