Lieb, Élliott, Robert Seiringer, and Jakob Yngvason. “Bosons in a Trap: A Rigorous Derivation of the Gross-Pitaevskii Energy Functional.”https://doi.org/10.1103/PhysRevA.61.043602__Physical Review A - Atomic, Molecular, and Optical Physics. American Physical Society, 2000.https://doi.org/10.1103/PhysRevA.61.043602 .
LibreCat: https://research-explorer.ista.ac.at/record/2344
DOI: 10.1103/PhysRevA.61.043602
arXiv: math-ph/9908027