@article{2353,
  abstract     = {A commonly used theoretical definition of superfluidity in the ground state of a Bose gas is based on the response of the system to an imposed velocity field or, equivalently, to twisted boundary conditions in a box. We are able to carry out this program in the case of a dilute interacting Bose gas in a trap, and we prove that a gas with repulsive interactions is 100% superfluid in the dilute limit in which the Gross-Pitaevskii equation is exact. This is the first example in an experimentally realistic continuum model in which superfluidity is rigorously verified.},
  author       = {Lieb, Élliott and Seiringer, Robert and Yngvason, Jakob},
  issn         = {0163-1829},
  journal      = {Physical Review B - Condensed Matter and Materials Physics},
  number       = {13},
  publisher    = {American Physical Society},
  title        = {{Superfluidity in dilute trapped Bose gases}},
  doi          = {10.1103/PhysRevB.66.134529},
  volume       = {66},
  year         = {2002},
}