Abstract
We prove that the Gross-Pitaevskii equation correctly describes the ground state energy and corresponding one-particle density matrix of rotating, dilute, trapped Bose gases with repulsive two-body interactions. We also show that there is 100% Bose-Einstein condensation. While a proof that the GP equation correctly describes non-rotating or slowly rotating gases was known for some time, the rapidly rotating case was unclear because the Bose (i.e., symmetric) ground state is not the lowest eigenstate of the Hamiltonian in this case. We have been able to overcome this difficulty with the aid of coherent states. Our proof also conceptually simplifies the previous proof for the slowly rotating case. In the case of axially symmetric traps, our results show that the appearance of quantized vortices causes spontaneous symmetry breaking in the ground state.
Similar content being viewed by others
References
Aftalion, A., Du, Q.: Vortices in a rotating Bose-Einstein condensate: Critical angular velocities and energy diagrams in the Thomas-Fermi regime. Phys. Rev. A 64, 063603 (2001)
Butts, D.A., Rokhsar, D.S.: Predicted signatures of rotating Bose-Einstein condensates. Nature 397, 327–329 (1999)
Castin, Y., Dum, R.: Bose-Einstein condensates with vortices in rotating traps. Eur. Phys. J. D 7, 399–412 (1999)
Choquet, G.: Lectures on Analysis, Vols. 1 and 2. New York: W.A. Benjamin, 1969
Dyson, F.J.: Ground State Energy of a Hard-Sphere Gas. Phys. Rev. 106, 20–26 (1957)
Eisenberg, E., Lieb, E.H.: Polarization of interacting bosons with spin. Phys. Rev. Lett. 89, 220403 (2002)
Fetter, A.L., Svidzinsky, A.A.: Vortices in a trapped dilute Bose-Einstein condensate. J. Phys.: Condens. Matter 13, R135–R194 (2001)
García-Ripoll, J.J., Pérez-García, V.M.: Stability of vortices in inhomogeneous Bose condensates subject to rotation: A three-dimensional analysis. Phys. Rev. A 60, 4864–4874 (1999)
Griffiths, R.B.: A Proof that the Free Energy of a Spin System is Extensive. J. Math. Phys. 5, 1215–1222 (1964)
Klauder, J., Skagerstam, B.-S.: Coherent states, applications in physics and mathematical physics. Singapore: World Scientific, 1985
Lieb, E.H., Loss, M.: Analysis, Second edition. Providence, RI: Amer. Math. Soc., 2001
Lieb, E.H., Seiringer, R.: Proof of Bose-Einstein Condensation for Dilute Trapped Gases. Phys. Rev. Lett. 88, 170409 (2002)
Lieb, E.H., Seiringer, R., Solovej, J.P.: Ground-state energy of the low-density Fermi gas. Phys. Rev. A 71, 053605 (2005)
Lieb, E.H., Seiringer, R., Solovej, J.P., Yngvason, J.: The Mathematics of the Bose Gas and its Condensation. Oberwolfach Seminars, Vol. 34, Basel-Boston: Birkhäuser, 2005
Lieb, E.H., Seiringer, R., Yngvason, J.: Bosons in a Trap: A Rigorous Derivation of the Gross-Pitaevskii Energy Functional. Phys. Rev. A 61, 043602 (2000)
Lieb, E.H., Seiringer, R., Yngvason, J.: A Rigorous Derivation of the Gross-Pitaevskii Energy Functional for a Two-Dimensional Bose Gas. Commun. Math. Phys. 224, 17–31 (2001)
Lieb, E.H., Seiringer, R., Yngvason, J.: Superfluidity in dilute trapped Bose gases. Phys. Rev. B 66, 134529 (2002)
Lieb, E.H.: Seiringer, R., Yngvason, J.: Justification of c-Number Substitutions in Bosonic Hamiltonians. Phys. Rev. Lett. 94, 080401 (2005)
Lieb, E.H.: Yngvason, J.: Ground State Energy of the Low Density Bose Gas. Phys. Rev. Lett. 80, 2504–2507 (1998)
Rockafellar, R.T.: Convex Analysis. Princeton, NJ: University Press, 1970
Seiringer, R.: Contributions to the Rigorous Theory of Many-Body Quantum Systems. PhD thesis, University of Vienna (2000). Available online at http://www.math. princeton.edu/~rseiring/theses.html
Seiringer, R.: Gross-Pitaevskii Theory of the Rotating Bose Gas. Commun. Math. Phys. 229, 491–509 (2002)
Seiringer, R.: Ground state asymptotics of a dilute, rotating gas. J. Phys. A: Math. Gen. 36, 9755–9778 (2003)
Simon, B.: Functional Integration and Quantum Physics. New York-London-San Diego: Academic Press, 1979
Simon, B.: Trace ideals and their application. London Math. Soc. Lecture Notes 35. Cambridge: Cambridge University Press, 1979
Symanzik, K.: Proof and Refinement of an Inequality of Feynman. J. Math. Phys. 6, 1155–1156 (1964)
Wehrl, A.: Three theorems about entropy and convergence of density matrices. Rep. Math. Phys. 10, 159–163 (1976)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by H.-T. Yau
© 2006 by the authors. This paper may be reproduced, in its entirety, for non-commercial purposes.
Work partially supported by U.S. National Science Foundation grant PHY 01 39984.
Work partially supported by U.S. National Science Foundation grant PHY 03 53181, and by an A.P. Sloan Fellowship
Rights and permissions
About this article
Cite this article
Lieb, E., Seiringer, R. Derivation of the Gross-Pitaevskii Equation for Rotating Bose Gases. Commun. Math. Phys. 264, 505–537 (2006). https://doi.org/10.1007/s00220-006-1524-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-006-1524-9