Abstract
We consider dilute Bose gases on the three-dimensional unit torus that interact through a pair potential with scattering length of order \( N^{\kappa -1}\), for some \(\kappa >0\). For the range \( \kappa \in [0, \frac{1}{43})\), Adhikari et al. (Ann Henri Poincaré 22:1163–1233, 2021) proves complete BEC of low energy states into the zero momentum mode based on a unitary renormalization through operator exponentials that are quartic in creation and annihilation operators. In this paper, we give a new and self-contained proof of BEC of the ground state for \( \kappa \in [0, \frac{1}{20})\) by combining some of the key ideas of Adhikari et al. (Ann Henri Poincaré 22:1163–1233, 2021) with the novel diagonalization approach introduced recently in Brooks (Diagonalizing Bose Gases in the Gross–Pitaevskii Regime and Beyond, arXiv:2310.11347), which is based on the Schur complement formula. In particular, our proof avoids the use of operator exponentials and is significantly simpler than Adhikari et al. (Ann Henri Poincaré 22:1163–1233, 2021).
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction and Main Result
We consider N interacting bosons in \(\Lambda := \mathbb {T}^3 = \mathbb {R}^3/ \mathbb {Z}^3\) with Hamiltonian
acting in \(L^2_s (\Lambda ^N)\), the Hilbert space consisting of functions in \(L^2 (\Lambda ^N)\) that are invariant with respect to permutations of the N particles. We assume the interaction potential \(V \in L^{1}(\mathbb {R}^3)\) to have compact support, to be radial and to be pointwise non-negative.
Note that analyzing \(H_N\) is equivalent to analyzing the Hamiltonian of N bosons interacting through the unscaled potential V in \( \mathbb {R}^3/ L\mathbb {Z}^3\) for \(L=N^{1-\kappa }\). In this sense, we consider regimes of strongly diluted systems of bosons with number of particles density \( N^{3\kappa -2} \ll 1 \) (as long as \( \kappa < \frac{2}{3}\)). The case \(\kappa =0 \) corresponds to the Gross–Pitaevskii (GP) regime and the case \(\kappa =\frac{2}{3}\) corresponds to the usual thermodynamic limit (with number of particles density equal to one).
In this paper, we are interested in understanding low energy properties of the Bose gas in regimes that interpolate between the GP and thermodynamic limits. Based on [20, 32], it is well-known that the ground state energy \( E_N:= \inf \text {spec}(H_N)\) is equal to
where \( \mathfrak {a}\) denotes the scattering length of the potential V and where \(o(N^{1+\kappa })\) denotes an error of subleading order, that is, \( \lim _{N\rightarrow \infty } o(N^{1+\kappa })/N^{1+\kappa }=0\). Recall that under our assumptions, the scattering length of V is characterized by
A question closely related to the computation of the ground state energy is whether the ground state exhibits Bose–Einstein condensation (BEC). If \(\psi _N\) denotes the ground state vector, this means that the largest eigenvalue of the associated reduced one particle density matrix \( \gamma _N^{(1)} = \text {tr}_{2,\dots ,N} |\psi _N\rangle \langle \psi _N|\) remains of size one in the limit \(N\rightarrow \infty \):
Proving BEC in the thermodynamic limit is a difficult open problem in mathematical physics. For strongly diluted systems, on the other hand, there has recently been great progress in proving that low energy states exhibit BEC. The first proof of BEC has been obtained in [28] in the GP regime,Footnote 1 implying that for \( \varphi _0:=1_{|\Lambda }\in L^2(\Lambda )\), one has that
This result has later been extended to approximate ground states in [29, 35] and the works [5, 8] have proved (2) with the optimal rate of convergence. Since then, several generalizations and simplified proofs have been obtained in [1, 9, 13, 17, 21, 26, 33, 34]. Notice that such results can be used to derive the low energy excitation spectrum of \(H_N\) in accordance with Bogoliubov theory [10], see e.g. [2, 7, 8, 11, 14, 16, 18, 19, 27, 36].
In recent years, progress has also been made in regimes that interpolate between the GP and thermodynamic limits. Based on unitary renormalizations developed first in the dynamical context [4, 12] and in the context of the derivation of the excitation spectrum in the GP regime [6, 7], the work [1] proves BEC for approximate ground states in regimes \( \kappa \in [0,\frac{1}{43})\). A different method that is based on box localization arguments has been introduced in [21] which proves BEC in the larger parameter range \( \kappa \in [0, \frac{2}{5}+\epsilon )\), for some sufficiently small \(\epsilon >0\). This result represents currently the best available parameter range and it is closely tied to the computation of the second-order correction to the ground state energy, which turns out to be of order \( N^{ 5\kappa /2}\) [3, 23,24,25, 37].
The methods introduced in [1, 21] have both certain advantages. While [21] obtains the currently best parameter range and applies to a large class of potentials including hard-core interactions, it is based on box localization arguments and therefore involves the change of boundary conditions.Footnote 2 This makes the derivation of suitable lower bounds more complicated, compared to the translation invariant setting, and essentially restricts the method to obtaining lower bounds while upper bounds require separate tools. The method of [1], on the other hand, does not require localization and enables both upper and lower bounds at the same time. However, it only applies to soft potentials satisfying some mild integrability assumption. Moreover, controlling the error terms in the operator expansions quickly becomes rather challenging and this is among the main reasons why the method only works in a much more restricted parameter range.
In this paper, our goal is to revisit the strategy of [1]. However, instead of renormalizing the system through unitary conjugations by quartic operator exponentials, we proceed as in [16] whose renormalization is based on the Schur complement formula applied to the two body problem and on lifting it in a suitable sense to the N body setting. As a consequence, our proof becomes significantly simpler and shorter compared to the one in [1]. Although our results are still only valid in a small parameter range compared to [21], our arguments are elementary, self-contained and do neither require box localization methods nor operator exponential expansions.
Theorem 1
Let \(H_N\) be defined as in (1) for \( \kappa \in [0, \frac{1}{20})\) and denote by \( \gamma _N^{(1)}\) the one particle reduced density associated with its normalized ground state vector \(\psi _N\). Then,
Remark
-
1.
Theorem 1 applies to the ground state vector \(\psi _N\) of \(H_N\). With some additional effort that involves the use of number of particles localization arguments, we expect that our results could also be proved for approximate ground states \( \phi _N\) that satisfy \( \langle \phi _N, H_N\phi _N\rangle \le 4\pi \mathfrak {a}N^{1+\kappa }+ o(N)\). To keep our arguments as short and simple as possible, we omit the details and focus on the ground state vector \(\psi _N\).
-
2.
In our proof of Theorem 1, we assume the relatively mild a priori information that the ground state energy \( E_N \) is bounded from above by \( E_N \le 4\pi \mathfrak {a}N^{1+\kappa }+ o(N)\), if \(\kappa <\frac{1}{20}\). Based on ideas similar to those presented below, this could be proved with little additional effort in a self-contained way. Since this has already been explained in [16] (which obtains a more precise upper bound on \( E_N\) for all \(\kappa <\frac{2}{13}\) based on the evaluation of the energy of suitable trial states, see [16, Theorem 3]), however, we refer the interested reader to [16] for the details.
2 Proof of Theorem 1
In the following, let us denote by \( a_k\) and \(a^*_k\) the annihilation and, respectively, creation operators associated with the plane waves \( x\mapsto \varphi _k(x):=e^{ikx} \in L^2(\Lambda )\) of momentum k, for \(k\in \Lambda ^*:=2\pi \mathbb {Z}^3\). They satisfy the canonical commutation relations \( [a_p, a_q^*] = \delta _{p,q}\) and \( [a_p,a_q]=[a_p^*, a_q^*]=0\), and they can be used to express \( H_N\) as
where \( \widehat{V}(r) = \int _{\mathbb {R}^3}dx\, e^{-irx}V(x)\) denotes the standard Fourier transform of V.
Now, denote by \( V_N\) the two body operator that multiplies by \(N^{2-2\kappa }V(N^{1-\kappa }(x_1-x_2)) \) in \( L^2(\Lambda ^2)\) and define for \(\alpha \in [0, 1-\kappa ]\) the low-momentum set
Denote, moreover, by \(\Pi _{\text {L}} :L^2(\Lambda ^2)\rightarrow L^2(\Lambda ^2)\) the orthogonal projection onto
and set \( \Pi _{\text {H}} :=1-\Pi _{\text {L}} \). Then, as explained in detail in [16], a straightforward application of the Schur complement formula implies the many body lower bound
where we set \( \Lambda _+^*:= \Lambda ^*{\setminus }\{0\}\) as well as
and where the three body error term \(R_N\) is given by
Notice that we used that both \(\eta \) and \(V_{\text {ren}}\) preserve the total momentum in \( L^2(\Lambda ^2)\).
Let us briefly comment on the main ideas leading to (4). Viewing \( V_N = \Pi _{\text {L}} V_N \Pi _{\text {L}} + (\Pi _{\text {H}} V_N \Pi _{\text {L}} +\text {h.c.}) + \Pi _{\text {H}} V_N\Pi _{\text {H}} \) and hence the Hamiltonian \(\mathcal {H}_2:=-\Delta _{x_1}-\Delta _{x_2}+V_N\) of the two body problem as a block matrix, one can block-diagonalize the latter using the Schur complement formula. This renormalizes the low-momentum interaction to \(N^{\kappa -1} \Pi _{\text {L}} V_{\text {ren}}\Pi _{\text {L}} \), while the large momentum interaction \(\Pi _{\text {H}} V_N\Pi _{\text {H}} \) is left untouched. The (non-symmetric) map that block-diagonalizes \(\mathcal {H}_2\) is of the form \( \mathcal {S}_\eta = 1+N^{\kappa -1}\eta \) and, in order to obtain an analogous renormalization of the many body interaction, it seems natural to lift \(\mathcal {S}_\eta \) to the unitary generalized Bogoliubov transformation
On a conceptual level, this approach corresponds to the one pursued in [1] (in particular, the role of \(\eta \) defined in (5) is similar to that of \(\eta _{\text{ H }}\) defined in [1] through the zero energy scattering equation). Compared to that a key idea of [16] is to expand \(H_N\) directly around powers of suitably modified creation and annihilation operators, including e.g. \( c_r = a_r + [a_r, \mathcal {D}_\eta ] \,(\approx \mathcal {U}_\eta ^* a_r\,\mathcal {U}_\eta \)). This leads to the low-momentum renormalization of the many body interaction in a simple way and avoids the use of operator exponential expansions. Notice that this approach is reminiscent of previously introduced ideas in [15, 23]. Finally, let us stress that, although the bound (4) is all we need in view of Theorem 1, Brooks [16] derives in fact exact algebraic identities. Similarly as in [1], what is dropped in (4) is the non-renormalized high momentum part of the potential energy.
Proceeding as in [16, Lemma 1], let us record the useful upper bounds
for all \( k_1,k_2,k_3,k_4\in \Lambda ^*\) satisfying \(k_1+k_2=k_3+k_4\) and \(\langle \varphi _{k_1}\otimes \varphi _{k_2}, V_{\text {ren}}\varphi _{k_3}\otimes \varphi _{k_4} \rangle =0\) in case \(k_1+k_2\ne k_3+k_4\). The bounds (7) imply in particular that
For completeness, we prove (7) and (8) in Appendix A, following [16, Appendix A].
Based on (4), (7) and (8), the proof of Theorem 1 follows by carefully estimating the three terms on the r.h.s. in (4) and by combining these estimates with some mild a priori information on the ground state energy. Before summarizing the key steps, let us introduce the following additional notation: for every \(\zeta \ge 0\), we set
and similarly, we define \( \mathcal {N}_{\ge \zeta }, \mathcal {N}_{<\zeta }\) and \(\mathcal {N}_{\le \zeta }\). Moreover, we set \(\mathcal {N}:=\mathcal {N}_{\ge 0}\ (\equiv N) \), \( \mathcal {N}_+:=\mathcal {N}_{>0}\) and \( \mathcal {K}:= \sum _{r\in \Lambda ^*_+}|r|^2a^*_ra_r\). It is an elementary observation that
Equipped with the previous identity, the key of our proof is to derive a coercivity bound
for some constant \(c>0\) and some error \(\mathcal {E}\) which is of size o(N) in the ground state \(\psi _N\). The number of excitations \(\mathcal {N}_+\) is extracted from the modified kinetic energy operator in (4) (the first term on the r.h.s. in (4)) while the leading order energy \(4\pi \mathfrak {a} N^{1+\kappa }\) is extracted from the renormalized potential energy (the second term on the r.h.s. in (4)). This is explained in Lemmas 2 and 3 which represent the key of the whole argument.
The error terms, on the other hand, turn all out to be related to the number of excitations with large momenta. Following [1], the key tool we use below to control such errors is a simple Markov bound combined with the trivial fact that \(E_N\le C N^{1+\kappa }\):
In particular \( \langle \psi _N, \mathcal {N}_{ > N^{\beta }}\psi _N \rangle \le C N^{1+\kappa -2\beta } = o(N)\) as soon as \( 2\beta >\kappa \), if \(\psi _N\) denotes an approximate ground state vector. In Lemma 5, we slightly generalize the bound (9) to products of the kinetic energy with number of particles operators for large momenta.
Lemma 2
Suppose \(\delta \in (\frac{\kappa }{2},\alpha )\), then we have that
for a self-adjoint operator \(\mathcal {E}_\delta \) which satisfies for some \(C>0\) and N large enough that
Proof
Recalling the definition of \(c_r\) in (5) and setting
so that \(c_r = a_r + d_r\), we lower bound
where in the first and last steps, we used the positivity of \(c^*_rc_r\ge 0 \) and \(d^*_rd_r\ge 0\), respectively. With the bound (8) and Cauchy–Schwarz, we then obtain for \( \xi \in L^2_s(\Lambda ^N)\)
Notice that due to the constraint \( p+q-r \in \text {P}_{\text {L}} ^c \) and the condition \(|r| < N^\delta \) for \(\delta < \alpha \), at least one of the momenta p and q has to be larger than \(N^\alpha /3\) for large N. \(\square \)
Lemma 3
There exists a constant \(C>0\) such that
Proof
We use the bound (7) together with the fact that \(|p|, |q|, |r|\le 2 N^\alpha \) if \(p,q,p-r,q+r\in \text {P}_{\text {L}} \) to replace \(V_{\text {ren}}\) as follows: For every \(\xi \in L^2_s(\Lambda ^N)\), we have that
As a consequence, we get the lower bound
The lemma now follows by combining this estimate with the lower bound
where in the last step we dropped the positive contribution proportional to \(\mathcal {N}_{>N^{\alpha }}^2\) and where we used that \( \mathcal {N}_{\le N^{\alpha }}\le N\) as well as \( | \text {P}_{\text {L}} |\le CN^{3\alpha }\). \(\square \)
Lemma 4
Let \(R_N\) be as in (6) and let \(0\le \beta < \alpha \). Then, there exists \(C>0\) such that for N large enough, we have that
Proof
Given \( \xi \in L^2_s(\Lambda ^N)\), we apply the bound (8) to get
In order to control the sum on the right-hand side, we split it according to two types of restrictions: First, consider another scale \(N^{\beta }\), for \(\beta < \alpha \), and consider the cases in which the momenta \(p,q,s,t\in \text {P}_{\text {L}} ^4\) are smaller or greater than \(N^\beta \). We consider the cases
Furthermore, the conditions \((p+q-r,r), (s+t-r,r)\in ( \text {P}_{\text {L}} ^2)^c\) imply that at least one of \(p, q, p+q-r\) and one of \( s,t, s+t-r\) is greater than \(N^\alpha /3\): we consider the cases
Now, using symmetries among and within the pairs \((p,q)\in \text {P}_{\text {L}} ^2\) and \((s,t)\in \text {P}_{\text {L}} ^2\), one readily sees that for N large enough, such that \(N^\beta < N^\alpha /3\), we have that
where \( \Sigma _{j\alpha }\), for \(j\in \{1,\ldots , 6\}\) and \( \alpha \in \{a,b,c,d\}\), refers to the contribution
Here, the restriction labels \(j\in \{1,\ldots , 6\}\) and \(\alpha \in \{a,b,c,d\}\) refer to (11) and (12), respectively. Applying basic Cauchy–Schwarz estimates as in Lemmas 2 and 3, we find
Here, an inequality of the form \( \Sigma _{j\alpha } \le \mathcal {L}\) for a non-negative self-adjoint operator \(\mathcal {L}\) refers to the statement that \( \Sigma _{j\alpha }(\xi )\le \langle \xi ,\mathcal {L}\,\xi \rangle \), for all \(\xi \in L^2_s(\Lambda ^N)\). In order to illustrate more explicitly how to bound the above terms, consider for example \(\Sigma _{1a}\): Here, we bound
The remaining contributions can be controlled in the same way, except the term \(\Sigma _{3b}\): In this case, all momenta appearing in the creation operators are high, and in order to efficiently use the kinetic energy, we bound this term in a more involved way by
where we set \(\mathcal {N}_s:=a_{s}^* a_{s}\).
Collecting the above estimates and multiplying by a factor \(N^{2\kappa -2\alpha -2}\), we arrive at
\(\square \)
Before concluding Theorem 1, the last ingredient that we need is some mild a priori information on the energy of the ground state vector \(\psi _N\), as remarked around Eq. (9).
Lemma 5
Let \( \psi _N\) denote the normalized ground state vector of \(H_N\), defined in (1), and let \( \beta \ge 0\). Then, \( \psi _N\) satisfies the a priori bounds
Proof
The first bound is a direct consequence of (9) and the fact that \( E_N \le CN^{1+\kappa }\). For the bound on \(\mathcal {K}\mathcal {N}_{\ge N^{\beta }}\), we use a commutator argument as in [1, 6, 7]. We bound
and then
To estimate the commutator contribution on the r.h.s. in the previous equation, we write
where \( \check{a}_x:=\sum _{p\in \Lambda ^*} e^{ipx}a_p \) denotes the usual operator valued distribution annihilating a particle at \(x\in \Lambda \), and we note \( [\mathcal {K}, \mathcal {N}_{> N^{\beta }}]=0\) as well as \([\mathcal {V}_N, \mathcal {N}_{> N^{\beta }}]=[\mathcal {N}_{\le N^{\beta }}, \mathcal {V}_N] \) with
Now, basic Cauchy–Schwarz estimates imply that
Combining the previous estimates with \(ab\le \frac{a^2}{2}+\frac{b^2}{2}\), we conclude
and therefore
As a consequence, we obtain that
\(\square \)
We are now ready to prove our main result.
Proof of Theorem 1
Let \( \psi _N\) denote the normalized ground state vector of \( H_N\), given some parameter \( \kappa \in [0,\frac{1}{20})\). Let \( \text {P}_{\text {L}} \) be defined as in (3) and choose
for some sufficiently small \(\epsilon >0\); in particular \( \alpha \in [0,1-\kappa ]\). Now, by (4), we have that
and our goal is to estimate the terms on the right-hand side. We start with the kinetic energy term. Combining the bounds from Lemmas 2 and 5, we find that
where we used (9), the choice \(\frac{\kappa }{2}< \delta < \alpha \) and the identity \( \mathcal {N}_{< N^{\delta }}- a^*_0a_0 = \mathcal {N}_+-\mathcal {N}_{\ge N^{\delta }}\).
Proceeding similarly for the remaining error terms, we obtain from Lemma 3 that
and from Lemma 4, assuming \( \beta = (1+\epsilon )\frac{5}{2}\kappa \) for sufficiently small \(\epsilon >0\), that
Combining this with the ground state energy upper bound \( E_N\le 4\pi \mathfrak {a}N^{1+\kappa }+o(N)\), as pointed out in the second remark after Theorem 1, we get
and thus conclude that
\(\square \)
Notes
To be more precise, the localization procedure of [21] replaces the standard Laplacian in the periodic setting by a more involved localized kinetic energy operator, see [21, Eq. (2.7)] For a recent overview that focuses on the key steps of the energy bounds in the simpler translation invariant setting, see [22].
References
Adhikari, A., Brennecke, C., Schlein, B.: Bose–Einstein condensation beyond the Gross–Pitaevskii regime. Ann. Henri Poincaré 22, 1163–1233 (2021)
Basti, G., Cenatiempo, S., Olgiati, A., Pasqualetti, G., Schlein, B.: A second order upper bound for the ground state energy of a hard-sphere gas in the Gross–Pitaevskii regime. Commun. Math. Phys. 399, 1–55 (2023)
Basti, G., Cenatiempo, S., Schlein, B.: A new second-order upper bound for the ground state energy of dilute Bose gases. Forum Math. Sigma 9, e74. https://doi.org/10.1017/fms.2021.66 (2021)
Benedikter, N., de Oliveira, G., Schlein, B.: Quantitative derivation of the Gross–Pitaevskii equation. Commun. Pure Appl. Math. 64(8), 1399–1482 (2014)
Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: Complete Bose–Einstein condensation in the Gross–Pitaevskii regime. Commun. Math. Phys. 359(3), 975–1026 (2018)
Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: The excitation spectrum of Bose gases interacting through singular potentials. J. Eur. Math. Soc. 22(7), 2331 (2020)
Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: Bogoliubov theory in the Gross–Pitaevskii limit. Acta Math. 222(2), 219–335 (2019)
Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: Optimal rate for Bose–Einstein condensation in the Gross–Pitaevskii regime. Commun. Math. Phys. 376, 1311–1395 (2020)
Boccato, C., Seiringer, R.: The Bose gas in a box with Neumann boundary conditions. Ann. Henri Poincaré 24(5), 1505–1560 (2023)
Bogoliubov, N.N.: On the theory of superfluidity. Izv. Akad. Nauk. USSR 11, 77 (1947). (Engl. Transl. J. Phys. (USSR) 11, 23 (1947))
Brennecke, C., Caporaletti, M., Schlein, B.: Excitation spectrum for Bose Gases beyond the Gross–Pitaevskii regime. Rev. Math. Phys. 34(09), 2250027 (2022)
Brennecke, C., Schlein, B.: Gross–Pitaevskii dynamics for Bose–Einstein condensates. Anal. PDE 12(6), 1513–1596 (2019)
Brennecke, C., Schlein, B., Schraven, S.: Bose–Einstein condensation with optimal rate for trapped Bosons in the Gross–Pitaevskii regime. Math. Phys. Anal. Geom. 25, 12 (2022)
Brennecke, C., Schlein, B., Schraven, S.: Bogoliubov theory for trapped Bosons in the Gross–Pitaevskii regime. Ann. Henri Poincaré 23, 1583–1658 (2022)
Brietzke, B., Fournais, S., Solovej, J.P.: A simple 2nd order lower bound to the energy of dilute Bose Gases. Commun. Math. Phys. 376, 323–351 (2020)
Brooks, M.: Diagonalizing Bose Gases in the Gross–Pitaevskii regime and beyond. Preprint: arXiv:2310.11347
Caraci, C., Cenatiempo, S., Schlein, B.: Bose–Einstein condensation for two dimensional Bosons in the Gross–Pitaevskii regime. J. Stat. Phys. (2021). https://doi.org/10.1007/s10955-021-02766-6
Caraci, C., Cenatiempo, S., Schlein, B.: The excitation spectrum of two-dimensional Bose Gases in the Gross–Pitaevskii regime. Ann Henri Poincaré 24, 2877 (2023)
Caraci, C., Olgiati, A., Saint Aubin, D., Schlein, B.: Third order corrections to the ground state energy of a Bose gas in the Gross–Pitaevskii regime. Preprint: arXiv:2311.07433
Dyson, F.J.: Ground-state energy of a hard-sphere gas. Phys. Rev. 106, 20–26 (1957)
Fournais, S.: Length scales for BEC in the dilute Bose gas. In: Partial Differential Equations, Spectral Theory, and Mathematical Physics. The Ari Laptev Anniversary Volume. EMS Series of Congress Reports, vol. 18, pp. 115-133 (2021). https://doi.org/10.4171/ECR/18-1/7
Fournais, S., Girardot, T., Junge, L., Morin, L., Olivieri, M.: Lower bounds on the energy of the Bose gas. Reviews in Mathematical Physics. https://doi.org/10.1142/S0129055X23600048
Fournais, S., Solovej, J.P.: The energy of dilute Bose gases. Ann. Math. 192(3), 893–976 (2020)
Fournais, S., Solovej, J.P.: The energy of dilute Bose gases II: the general case. Invent. Math. 232, 863–994 (2023)
Haberberger, F., Hainzl, C., Nam, P.T., Seiringer, R., Triay, A.: The free energy of dilute Bose gases at low temperatures. Preprint: arXiv:2304.02405
Hainzl, C.: Another proof of BEC in the GP-limit. J. Math. Phys. 62, 051901 (2021)
Hainzl, C., Schlein, B., Triay, A.: Bogoliubov theory in the Gross–Pitaevskii limit: a simplified approach. Forum Math., Sigma 10, e90. https://doi.org/10.1017/fms.2022.78 (2022)
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.: Derivation of the Gross–Pitaevskii equation for rotating Bose gases. Commun. Math. Phys. 264(2), 505–537 (2006)
Lieb, E.H., Seiringer, R., Solovej, J.P., Yngvason, J.: The Mathematics of the Bose Gas and its Condensation. Oberwolfach Seminars, vol. 34. Birkhäuser Verlag, Basel (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., Yngvason, J.: Ground state energy of the low density Bose gas. Phys. Rev. Lett. 80, 2504–2507 (1998)
Nam, P.T., Napiórkowski, M., Ricaud, J., Triay, A.: Optimal rate of condensation for trapped bosons in the Gross–Pitaevskii regime. Anal. PDE 15(6), 1585–1616 (2022)
Nam, P.T., Ricaud, J., Triay, A.: The condensation of a trapped dilute Bose gas with three-body interactions. Probab. Math. Phys. 4, 91–149 (2023)
Nam, P.T., Rougerie, N., Seiringer, R.: Ground states of large bosonic systems: the Gross–Pitaevskii limit revisited. Anal. PDE 9(2), 459–485 (2016)
Nam, P.T., Triay, A.: Bogoliubov excitation spectrum of trapped Bose gases in the Gross–Pitaevskii regime. J. Math. Pures Appl. 176, 18–101 (2023)
Yau, H.-T., Yin, J.: The second order upper bound for the ground state energy of a Bose gas. J. Stat. Phys. 136(3), 453–503 (2009)
Acknowledgements
C. B. acknowledges support by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy - GZ 2047/1, Projekt-ID 390685813. M.B., C.C and J.O. acknowledge partial support from the Swiss National Science Foundation through the Grant “Dynamical and energetic properties of Bose–Einstein condensates,” from the European Research Council through the ERC-AdG CLaQS, grant agreement n. 834782, and from the NCCR SwissMAP. C.C. acknowledges the GNFM Gruppo Nazionale per la Fisica Matematica - INDAM.
Funding
Open access funding provided by University of Zurich
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Vieri Mastropietro.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
A Proof of the Bounds (7) and (8)
A Proof of the Bounds (7) and (8)
Proof of the Bounds (7) and (8)
Throughout this appendix, we assume \(p,q,s,t\in \Lambda ^* \) and we abbreviate \(\langle \mathcal {L}\rangle _{pq, st}:=\langle \varphi _{p}\otimes \varphi _{q}, \mathcal {L}\,\varphi _{s}\otimes \varphi _{t} \rangle \) for every operator \( \mathcal {L}\) on \(L^2(\Lambda ^2)\). Let us begin with a few elementary observations: it is clear that the operator \( N^{1-\kappa }V_N\) preserves the total momentum and that
Combining this with the fact that \( -\Delta _{x_1}-\Delta _{x_2}+V_N\) and hence its pseudo-inverse
from \( \Pi _{\text {H}} L^{2}(\Lambda ^2)\) to \(\Pi _{\text {H}} L^{2}(\Lambda ^2)\) also preserve the total momentum, we get that
To control the right-hand side, we make use of the operator inequalities
This implies on the one hand that
and on the other hand that
Looking at the Fourier expansion
the assumptions that \(V\in L^1(\mathbb {R}^3)\) having compact support and that \(\alpha \le 1-\kappa \) imply that \( \Vert \Pi _{\text {L}} V_N^{1/2}\varphi _p\otimes \varphi _q \Vert _{\infty }\le CN^{\alpha }\) so that altogether \( |\langle V_{\text {ren}}\rangle _{pq,st}|\le C \delta _{pq,st}\).
Next, let us switch to the second bound in (7). We first show that
Up to minor modifications, this bound follows as in [16, Appendix A], so let us focus on the key steps. Denote by f the zero energy scattering solution in \(\mathbb {R}^3\) such that
with \(\lim _{|x|\rightarrow \infty } f(x) = 1\). It is well-known (see e.g. [30, Appendix C]) that \( 0\le f\le 1\), that f is radial and that for \(x\in \mathbb {R}^3\) outside the support of V, we have that \( f(x) = 1-\mathfrak {a} /|x|. \) Moreover, a basic integration by parts shows that
Let us denote \(w:= 1- f\) which is easily seen to satisfy the bounds
for some constant \(C>0\) (e.g. based on the identity \( w = (-2\Delta )^{-1} Vf \)). Moreover, pick a smooth bump function \( \chi \in C^{\infty }_c( B_{1/2}(0))\) such that \( \chi (x) =1\) if \( |x|\le \frac{1}{4}\) and define
By slight abuse of notation, we identify \(\phi _N\) with the associated multiplication operator in \( L^2(\Lambda ^2)\). As explained in [16], we then have the identity
where \( \zeta _N(x_1-x_2):=N^{\kappa -1}\zeta (x_1-x_2)\) for
Using that \( 8\pi \mathfrak {a} = N^{1-\kappa }\langle V_N, (1-\phi _N)\rangle _{00,00}\), this yields
Now observe that for \( |p|>N^{\alpha }\), we have that
and otherwise \(\langle \mathcal {R}V_N\rangle _{-pp,00}=0\) (by definition of \(\mathcal {R}\)) s.t. \( N^{1-\kappa }\langle \mathcal {R}V_N, \zeta _N\rangle _{00,00}\le C N^{\kappa -1}\). Similarly, \( |\widehat{\phi }_N(p)|\le CN^{\kappa -1}(1+|p|^2)^{-1}\) and Cauchy-Schwarz imply that
Combining the previous estimates yields (13). In fact, using \(N^{1-\kappa }\langle V_N(1-\phi _N)\rangle _{p+r\, q-r,pq} = \widehat{Vf}(r/N^{1-\kappa })\), we can also compute \(\langle V_{\text {ren}}\rangle _{00,00}\) to higher precision and obtain that
We omit the details as the second term is irrelevant for our range of \(\kappa \), it only becomes relevant if one wants to consider the Lee–Huang–Yang order.
To get (7), we combine (13) with two further steps. On the one hand, we have that
whenever \( p+q = s+t \). This bound follows very similarly as the first bound in (7): Since \( V_N\) is a multiplication operator, (15) clearly holds if we replace \( V_{\text {ren}}\) by \( N^{1-\kappa }V_N\). Hence, it is enough to prove (15) for \( V_{\text {ren}}\) replaced by \( N^{1-\kappa }V_N \mathcal {R}V_N \). In this case, we write
Now, given any pair \( k,l \in \Lambda ^*\), a direct computation shows that
Note that the last step follows from a second-order Taylor expansion and the fact that \( (\nabla _p \widehat{V}(./N^{1-\kappa } )(0) = N^{2-2\kappa } \int _{\mathbb {R}^3} dx\, (-ix) V(x) =0 \), V being radial. Similarly, we get
Proceeding now as in the proof of the first bound in (7), we obtain (15).
Combining (15) with (13), the second bound in (7) thus follows if we prove that
for every \( p\in \Lambda ^*_+\). This can be proved similarly as detailed in [16, Appendix A]: Define
where the orthogonal projection \(\Pi _{\text {H}} ^{+}\) maps onto
Notice that this ensures \(\langle \xi , -\Delta ^{(p)}\xi \rangle \ge 4\pi ^2 \) for every \( \xi \in \Pi _{\text {H}} ^{+}L^2(\Lambda ^2)\), by construction of the projection \(\Pi _{\text {H}} ^{+} \). In particular, \(\mathcal {R}^{(p)}\) is well-defined. Now, based on the observation
and the fact that \( -\Delta ^{(p)} = e^{-ipx_1}(-\Delta _{x_1}-\Delta _{x_2})e^{ipx_1} \) for \( p\in \Lambda ^*\), it follows that
Here, we set \(\Pi _{\text {L}} ^{+}:= 1- \Pi _{\text {H}} ^{+}\). Since \(V_N \mathcal {R}^{(p)} \) preserves the total momentum and projects onto a subset of \(( \text {P}_{\text {L}} ^2)^c \), we have that
On the other hand, using that \( \mathcal {R}= \Pi _{\text {H}} \mathcal {R}\) so that
if \((p-q,q)\in ( \text {P}_{\text {L}} ^2)^c \) and \( \langle \mathcal {R}V_N\rangle _{(p-q)q, p0} =0\) otherwise, we obtain that
Hence, arguing similarly as in the previous steps, we find that
Notice here that we used additionally the operator inequalities \( -\Delta ^{(p)} \ge N^{2\alpha }\Pi _{\text {H}} ^+ \) and, as a consequence, \( \mathcal {R}^{(p)} \le N^{-2\alpha }\Pi _{\text {H}} ^+\le N^{-2\alpha }\) in the image
of the space of zero total momentum \(\text {P}:=-i\nabla _{x_1}-i\nabla _{x_2}\) under \(\Pi _{\text {H}} ^+\), and that both
have zero total momentum.
Collecting the previous bounds, proving (16) reduces to proving that
To show this, we use that
for all \(s\in [0,1]\) and \(|q|>N^{\alpha }\) (otherwise \(\langle \mathcal {R}^{(sp)}V_N \rangle _{-qq,00}=0\)). Together with
and a second-order Taylor expansion, we find that
which implies (16) and thus (7).
Finally, Eq. (8) is a direct consequence of the identity \((-\Delta _{x_1}-\Delta _{x_2}) \eta = \Pi _{\text {H}} V_{\text {ren}}\Pi _{\text {L}} \) and the bound (7) implying that \(( |p|^2+|q|^2) | \langle \eta \rangle _{pq,st}| \le C \delta _{pq,st} {\textbf {1}}_{( \text {P}_{\text {L}} ^2)^c}((p,q)){\textbf {1}}_{ \text {P}_{\text {L}} ^2}((s,t))\). \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Brennecke, C., Brooks, M., Caraci, C. et al. A Short Proof of Bose–Einstein Condensation in the Gross–Pitaevskii Regime and Beyond. Ann. Henri Poincaré (2024). https://doi.org/10.1007/s00023-024-01465-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00023-024-01465-8