Semiclassical approximation and critical temperature shift for weakly interacting trapped bosons
Section snippets
Background and summary
The rigorous mathematical analysis of quantum many-particle systems has a long history, dating back to the early days of quantum mechanics. In case of (dilute) Bose gases, there has been a period of renewed interest since the first experimental observation of Bose–Einstein condensation (BEC) in trapped alkali gases in 1995 [5], [16] and the breakthrough work of Lieb and Yngvason in 1998 [58], who proved a lower bound for the ground state energy of the dilute Bose gas in the thermodynamic limit.
The Hartree free energy functional
At several points in the paper it will be convenient to use the second quantized formalism and we start by introducing the relevant notation. Afterwards, we define a canonical version of the Hartree free energy functional, which plays an important role in the proof of an upper bound for the free energy in Section 5.2. We prove several statements for the two versions of the Hartree free energy functional that are used during the proof of the main results, e.g. the existence of a unique
The semiclassical free energy functional and its critical temperature
This third section is devoted to the study of the semiclassical free energy functional in (1.25). In the first part we prove the existence of a unique minimizer and establish the corresponding Euler–Lagrange equation. In the second part we use these preparations to prove Proposition 1.1.
Semiclassical mean-field limit of the Hartree free energy functional
In this section we give the proof of Theorem 1.2, which will be carried out in three steps. In the first two steps we prove upper and lower bounds on the Hartree free energy that, when combined, imply (1.35). In the third step we prove bounds for the Husimi function and the condensate fraction of the Hartree minimizer that imply (1.36a), (1.36b).
Bounds on the free energy
In this section we prove upper and lower bounds on the free energy (1.7) of the full quantum model that imply the claimed free energy asymptotics in Theorem 1.1. An important ingredient for our bounds is the canonical version of the Hartree free energy functional introduced in Section 2.2, and the bound on the difference of the canonical and the grand-canonical Hartree free energies in Lemma 2.5. Our bounds apply both in the canonical and the grand-canonical setting.
Bounds on the 1-pdm and the Husimi function of approximate Gibbs states
In the first part of this section we prove (1.34), which will conclude the proof of Theorem 1.1. Our approach is based on a lower bound for the bosonic relative entropy that quantifies its coercivity and was proved in [17, Lemma 4.1]. Afterwards we show how this result can be combined with Theorem 1.2 to prove Corollary 1.1, Corollary 1.2.
Proof of Theorem 1.3
In this section we show how the analysis in Sections 5 and 6 needs to be adjusted in order to prove Theorem 1.3. One main difference between the proof of Theorem 1.1 and the one of Theorem 1.3 concerns the proof of the spectral gap estimate for the Hartree operator. In case of the semiclassical MF scaling such a bound follows from the assumed bound on the Hessian of the interaction potential in (1.4), see Lemma 4.4. Here the interaction is of much shorter range and we do not have such a bound
Acknowledgements
Funding from the European Union's Horizon 2020 research and innovation programme under the ERC grant agreement No 694227 (R.S.) and under the Marie Sklodowska-Curie grant agreement No 836146 (A.D.) is gratefully acknowledged. A.D. acknowledges support of the Swiss National Science Foundation through the Ambizione grant PZ00P2 185851.
References (85)
- et al.
Thomas Fermi limit of Bose-Jellium
Ann. Phys.
(1983) - et al.
Operator Algebras and Quantum Statistical Mechanics 2
(1997) - et al.
The mean-field limit of quantum Bose gases at positive temperature
- et al.
Derivation of the two dimensional nonlinear Schrödinger equation from many-body quantum dynamics
Am. J. Math.
(2011) Mean-field limit of Bose systems: rigorous results
- et al.
Derivation of nonlinear Gibbs measures from many-body quantum mechanics
J. Éc. Polytech. Math.
(2015) - et al.
Collective excitations of Bose gases in the mean-field regime
Arch. Ration. Mech. Anal.
(2015) - et al.
Quantum Entropy and Its Use
(1993) - et al.
Rigorous derivation of the cubic NLS in dimension one
J. Stat. Phys.
(2007) - et al.
Mean-field limit for bosons and propagation of Wigner measures
J. Math. Phys.
(2009)
On the rate of convergence for the mean-field approximation of many-body quantum dynamics
Commun. Math. Sci.
A simple proof of convergence to the Hartree dynamics in Sobolev trace norms
J. Math. Phys.
Observation of Bose-Einstein condensation in a dilute atomic vapor
Science
Mean-field evolution of fermionic mixed states
Commun. Pure Appl. Math.
Mean-field evolution of fermionic systems
Commun. Math. Phys.
Quantitative derivation of the Gross-Pitaevskii equation
Commun. Pure Appl. Math.
Effective Evolution Equations from Quantum Dynamics
Covariant and contravariant symbols of operators
Izv. Akad. Nauk, Ser. Mat.
USSR Izv.
General concept of quantization
Commun. Math. Phys.
Bogoliubov theory in the Gross-Pitaevskii limit
Acta Math.
On extensions of the Brunn-Minkowski and Prékopa-Leindler theorems, including inequalities for log concave functions, and with an application to the diffusion equation
J. Funct. Anal.
Focusing quantum many-body dynamics: the rigorous derivation of the 1D focusing cubic nonlinear Schrödinger equation
Arch. Ration. Mech. Anal.
Bose-Einstein condensation in a gas of sodium atoms
Phys. Rev. Lett.
Gross-Pitaevskii limit of a homogeneous Bose gas at positive temperature
Arch. Ration. Mech. Anal.
Bose-Einstein condensation for a dilute trapped gas at positive temperature
Commun. Math. Phys.
The free energy of the two-dimensional dilute Bose gas. I. Lower bound
Forum Math. Sigma
Ground-state energy of a hard-sphere gas
Phys. Rev.
Mean-field dynamics for boson stars
Commun. Pure Appl. Math.
Derivation of the nonlinear Schrödinger equation from a many-body Coulomb system
Adv. Theor. Math. Phys.
Rigorous derivation of the Gross-Pitaevskii equation with a large interaction potential
J. Am. Math. Soc.
Derivation of the Gross-Pitaevskii equation for the dynamics of Bose-Einstein condensate
Ann. Math.
The dilute Fermi gas via Bogoliubov theory
The energy of dilute Bose gases
Ann. Math.
The semiclassical limit of large fermionic systems
Calc. Var. Partial Differ. Equ.
Atomism and quantization
J. Phys. A, Math. Theor.
On the mean-field limit of bosons with Coulomb two-body interaction
Commun. Math. Phys.
Gibbs measures of nonlinear Schrödinger equations as limits of many-body quantum states in dimensions
Commun. Math. Phys.
A microscopic derivation of time-dependent correlation functions of the 1D cubic nonlinear Schrödinger equation
Adv. Math.
Bose-Einstein condensation of atoms in a uniform potential
Phys. Rev. Lett.
The excitation spectrum for weakly interacting bosons in a trap
Commun. Math. Phys.
Unique solutions to Hartree–Fock equations for closed shell atoms
Arch. Ration. Mech. Anal.
Pair excitations and the mean field approximation of interacting bosons, II
Commun. Partial Differ. Equ.
Second-order corrections to mean-field evolution of weakly interacting bosons. I
Commun. Math. Phys.
Cited by (5)
Emergence of interlacements from the finite volume Bose soup
2023, Stochastic Processes and their ApplicationsOn the Emergence of Quantum Boltzmann Fluctuation Dynamics near a Bose–Einstein Condensate
2023, Journal of Statistical Physics