Abstract
We consider N bosons in a box with volume one, interacting through a two-body potential with scattering length of the order , for . Assuming that , we show that low-energy states exhibit Bose–Einstein condensation and we provide bounds on the expectation and on higher moments of the number of excitations.
Introduction
We consider systems of bosons trapped in the box with periodic boundary conditions (the three-dimensional torus with volume one) and interacting through a repulsive potential with scattering length of the order , for . We are interested in the limit of large N. The Hamilton operator has the form
| 1.1 |
and acts on a dense subspace of , the Hilbert space consisting of functions in that are invariant with respect to permutations of the particles. Here, we assume the interaction potential to have compact support and to be nonnegative, ie. for almost all .
For , the Hamilton operator (1.1) describes bosons in the so-called Gross–Pitaevskii limit. This regime is frequently used to model trapped Bose gases observed in recent experiments. Another important regime is the thermodynamic limit, where N bosons interacting through a fixed potential V (independent of N) are trapped in the box and where the limits are taken, keeping the density fixed. After rescaling lengths (introducing new coordinates ), the Hamilton operator of the Bose gas in the thermodynamic limit is given (up to a multiplicative constant) by (1.1), with . Choosing , we are interpolating therefore between the Gross–Pitaevskii and the thermodynamic limits.
The goal of this paper is to show that low-energy states of (1.1) exhibit Bose–Einstein condensation in the zero-momentum mode defined by for all and to give bounds on the number of excitations of the condensate. To achieve this goal, it is convenient to switch to an equivalent representation of the bosonic system, removing the condensate and focusing instead on its orthogonal excitations. To this end, we notice that every can be uniquely decomposed as
where denotes the symmetric tensor product and for all , with the orthogonal complement in of . This observation allows us to define a unitary map by setting
| 1.2 |
The truncated Fock space is used to describe orthogonal excitations of the condensate (some properties of the map will be discussed in Sect. 2 below). On , we introduce the number of particles operator, defining for every .
We are now ready to state our main theorem, which provides estimates of the expectation and on higher moments of the number of orthogonal excitations of the Bose–Einstein condensate for low-energy states of (1.1).
Theorem 1.1
Let be pointwise nonnegative and spherically symmetric. Let denote the scattering length of V. Let be defined as in (1.1) with . Then, for every , there exists a constant such that
| 1.3 |
for all large enough.
Let with and
| 1.4 |
for a . Then, for every there exists a constant such that
| 1.5 |
for all large enough. If moreover , then for all and all there exists such that
| 1.6 |
for all large enough.
The convergence , as , has been first established, for Bose gases trapped by an external potential, in [19] (the choice corresponds, in the terminology of [19], to the Thomas–Fermi limit).
It follows from (1.5) that the one-particle density matrix associated with a normalized satisfying (1.4) is such that
| 1.7 |
as . Here, we used the formula ; see (2.5). Equation (1.7) implies that low-energy states of (1.1) exhibit complete Bose–Einstein condensation, if .
We remark that the estimate (1.6) follows, in our analysis, from a stronger bound controlling not only the number but also the energy of the excitations of the condensate. As we will explain in Sect. 3, in order to estimate the energy of excitations in low-energy states, we first need to remove (at least part of) their correlations. If we choose, as we do in (1.6), with and , we can introduce the corresponding renormalized excitation vector , with the antisymmetric operator B defined as in (3.21) (the unitary operator will be referred to as a generalized Bogoliubov transformation). We will show in Sect. 6 that for every , there exists such that
| 1.8 |
for all N large enough. Here , where
| 1.9 |
are the kinetic and potential energy operators, restricted to . (Here, is the Fourier transform of the potential V, defined as in (2.4).) Equation (1.6) follows then from (1.8), because commutes with , and because conjugation with the generalized Bogoliubov transformation does not change the number of particles substantially; see Lemma 3.2 (for even, we also use simple interpolation).
In the Gross–Pitaevskii regime corresponding to the convergence has been first established in [16–18] and later, using a different approach, in [21].1 In this case (ie. ), the bounds (1.3), (1.5) and (1.6) with (which are optimal in their N-dependence) have been shown in [4]. Previously, they have been established in [2], under the additional assumption of small potential. A simpler proof of the results of [2], extended also to systems of bosons trapped by an external potential, has been recently given in [20]. The result of [4] was used in [3] to determine the second order corrections to the ground state energy and the low-energy excitation spectrum of the Bose gas in the Gross–Pitaevskii regime. Note that our approach in the present paper could be easily extended to the case , leading to the same bounds obtained in [4]. We exclude the case because we would have to modify certain definitions, making the notation more complicated (for example, the sets in (3.14) and in (4.2) would have to be defined in terms of cutoffs independent of N).
The methods of [16–18] can also be extended to show Bose–Einstein condensation for low-energy states of (1.1), for some . In fact, following the proof of [18, Theorem 5.1], it is possible to show that for a normalized with and such that , the expectation of the number of excitations is bounded by
| 1.10 |
which implies complete Bose–Einstein condensation for low-energy states, for all . For sufficiently small , Theorem 1.1 improves (1.10) because it gives a better rate2 (if ) and because, through (1.6), it also provides (under stronger conditions on ) bounds for higher moments of the number of excitations .
In [10], in a slightly different setting, the authors obtain a bound of the form (1.6) for , for the choice (for normalized that satisfy ). They use this result to show a lower bound on the ground state energy of the dilute Bose gas in the thermodynamic limit matching the prediction of Lee–Yang and Lee–Huang–Yang [13, 14].
After completion of our work, two more papers have appeared whose results are related with Theorem 1.1. Based on localization arguments from [8, 10], a bound for the expectation of in low-energy states has been shown in [9], establishing Bose–Einstein condensation for all (as pointed out there, using a refined analysis similar to that of [10], the range of can be slightly improved). On the other hand, following an approach similar to [2], but with substantial simplifications (partly due to the fact that the author works in the grand canonical, rather than the canonical, ensemble), a new proof of Bose–Einstein condensation was obtained in [11], in the Gross–Pitaevskii regime, under the assumption of small potential. There is hope that the approach of [11] can be extended beyond the Gross–Pitaevskii regime, providing a simplified proof of Theorem 1.1, potentially allowing for larger values of .
The derivation of the bounds (1.5), (1.6), (1.8) is crucial to resolve the low-energy spectrum of the Hamiltonian (1.1). The extension of estimates on the ground state energy and on the excitation spectrum obtained in [3] for the Gross–Pitaevskii limit, to regimes with small enough will be addressed in a separate paper [6], using the results of Theorem 1.1. With our techniques, it does not seem possible to obtain such precise information on the spectrum of (1.1) using only previously available bounds like (1.10).
Let us now briefly explain the strategy we use to prove Theorem 1.1. The first part of our analysis follows closely [4]. We start in Sect. 2 by introducing the excitation Hamiltonian , acting on the truncated Fock space ; the result is given in (2.6), (2.7). The vacuum expectation is still very far from the correct ground state energy of (and thus of ); the difference is of order . This is a consequence of the definition (1.2) of the unitary map , whose action removes products of the condensate wave function , leaving however all correlations among particles in the wave functions , .
To factor out correlations, we introduce in Sect. 3 a renormalized excitation Hamiltonian , defined through unitary conjugation of with a generalized Bogoliubov transformation . The antisymmetric operator is quadratic in the modified creation and annihilation operators defined, for every momentum , in (2.8) ( creates a particle with momentum p annihilating, at the same time, a particle with momentum zero; in other words, creates an excitation, moving a particle out of the condensate). The properties of are listed in Prop. 3.3. In particular, Proposition 3.3 implies that to leading order, , if is small enough.
Unfortunately, is not coercive enough to prove directly that low-energy states exhibit condensation (in the sense that it is not clear how to estimate the difference between and its vacuum expectation from below by the number of particle operator ). For this reason, in Sect. 4, we define yet another renormalized excitation Hamiltonian , where now A is the antisymmetric operator (4.1), cubic in (modified) creation and annihilation operators (to be more precise, we only conjugate the main part of with ; see (4.3)). Important properties of are stated in Proposition 4.1. Up to negligible errors, the conjugation with completes the renormalization of quadratic and cubic terms; in (4.5), these terms have the same form they would have for particles interacting through a mean-field potential with Fourier transform , with a parameter that will be chosen small enough, depending on (in other words, the renormalization procedure allows us to replace, in all quadratic and cubic terms, the original interaction with Fourier transform decaying only for momenta , with a potential whose Fourier transform already decays on scales ).
The main problem with is that its quartic terms (the restriction of the initial potential energy on the orthogonal complement of the condensate wave function) are still proportional to the local interaction with Fourier transform .
One possibility to solve this problem is to neglect the original quartic terms (they are positive) and insert instead quartic terms proportional to the renormalized mean-field potential , so that Bose–Einstein condensation follows as it does for mean-field systems (see [22]). Since (with the notation for the inverse Fourier transform of the characteristic function on the ball of radius one)
and since we know from (1.10) that in low-energy states, the insertion of the renormalized quartic terms produces an error that can be controlled by localization in the number of particles, if
This strategy was used in [4] to prove Bose–Einstein condensation with optimal rate in the Gross–Pitaevskii regime (in this case, one can choose ).
Here, we follow a different approach. We perform a last renormalization step, conjugating through a unitary operator , with D quartic in creation and annihilation operators. This leads to a new Hamiltonian (in fact, it is more convenient to conjugate only the main part of , ignoring small contributions that can be controlled by other means; see (5.5)), where the original interaction is replaced by the mean-field potential in all relevant terms.3 Condensation can then be shown as it is done for mean-field systems, with no need for localization. This is the main novelty of our analysis, compared with [4]. In Sect. 5, we define the final Hamiltonian and in Proposition 5.1 we bound it from below. The proof of Proposition 5.1, which is technically the main part of our paper, is deferred to Sect. 7. In Sect. 6, we combine the results of the previous sections to conclude the proof of Theorem 1.1.
The results we prove with our new technique are stronger than what we would obtain using the approach of [4] in the sense that they allow for larger values of and better rates. More importantly, we believe that the approach we propose here is more natural and that it leaves more space for extensions. In particular, with the final quartic renormalization step, we map the original Hamilton operator (1.1), with an interaction varying on momenta of order , into a new Hamiltonian having the same form, but now with an interaction restricted to momenta smaller than . If , this leads to an effective regularization of the potential and it suggests that further improvements may be achieved by iteration; we plan to follow this strategy, which bears some similarities to the renormalization group analysis developed in [1], in future work.
In order to control errors arising from the quartic conjugation, it is important to use observables that were not employed in [4]. In particular, the expectation of the number of excitations with large momenta
and of its powers , as well as the expectation of products of the form and , involving the kinetic energy operator restricted to low momenta , will play a crucial role in our analysis. It will therefore be important to establish bounds for the growth of these observables through all steps of the renormalization procedure (Lemmas 4.2, 4.3, 7.1, 7.2). In Sect. 6, an important step in the proof of Theorem 1.1 will consist in controlling the expectation of these observables on low-energy states of the renormalized Hamiltonian .
The Excitation Hamiltonian
We denote by the bosonic Fock space over the one-particle space and by the vacuum vector. We can define the number of particles operator by setting for all in a dense subspace of . For every one-particle wave function , we define the creation operator and its hermitian conjugate, the annihilation operator a(g), through
Creation and annihilation operators are defined on the domain of , where they satisfy the bounds
and the canonical commutation relations
| 2.1 |
for all ( denotes here the inner product on ). For , we define the plane wave through for all , and the operators and creating and, respectively, annihilating a particle with momentum p. It is sometimes convenient to switch to position space, introducing operator valued distributions such that
In terms of creation and annihilation operators, the number of particles operator can be written as
We will describe excitations of the Bose–Einstein condensate on the truncated Fock space
constructed over the orthogonal complement of the condensate wave function . On , we denote the number of particles operator by . It is given by , where is the momentum space for excitations. Given , we also introduce the restricted number of particles operators
| 2.2 |
measuring the number of excitations with momentum larger or equal to , and .
Consider the operator defined in (1.2). Identifying with the Fock space vector , we can also express in terms of creation and annihilation operators; we obtain
It is then easy to check that is given by
and that , ie. is unitary.
Using , we can define the excitation Hamiltonian , acting on a dense subspace of . To compute , we first write the Hamiltonian (1.1) in momentum space, in terms of creation and annihilation operators. We find
| 2.3 |
where
| 2.4 |
is the Fourier transform of V, defined for all (in fact, (1.1) is the restriction of (2.3) to the -particle sector of the Fock space ). We can now determine the excitation Hamiltonian using the following rules, describing the action of the unitary operator on products of a creation and an annihilation operator (products of the form can be thought of as operators mapping to itself). For any , we find (see [15]):
| 2.5 |
We conclude that
| 2.6 |
with
| 2.7 |
where we introduced generalized creation and annihilation operators
| 2.8 |
for all . Observe that by (2.5),
In other words, creates a particle with momentum but, at the same time, it annihilates a particle from the condensate; it creates an excitation, preserving the total number of particles in the system. On states exhibiting complete Bose–Einstein condensation in the zero-momentum mode , we have and we can therefore expect that and that . Modified creation and annihilation operators satisfy the commutation relations
| 2.9 |
Furthermore, we find
| 2.10 |
for all ; this implies in particular that , . It is also useful to notice that the operators , like the standard creation and annihilation operators , can be bounded by the square root of the number of particles operators; we find
for all . Since on , the operators are bounded, with .
We can also define modified operator valued distributions
in position space, for . The commutation relations (2.9) take the form
Moreover, (2.10) translates to
which also implies that , .
Renormalized Excitation Hamiltonian
Conjugation with extracts, from the original quartic interaction in (2.3), some constant and some quadratic contributions, collected in and in (2.7). For bosons described by the Hamiltonian (1.1), this is not enough; there are still large contributions to the energy that are hidden in and .
To extract the missing energy, we have to take into account correlations. To this end, we consider the ground state solution of the Neumann problem
| 3.1 |
on the ball (we omit the -dependence in the notation for and for ; notice that scales as ), with the normalization if . By scaling, we observe that satisfies the equation
on the ball . From now on, we fix some , so that the ball of radius is contained in the box . We then extend to , by setting , if and for , with . As a consequence,
| 3.2 |
where denotes the characteristic function of the ball of radius . The Fourier coefficients of the function are given by
| 3.3 |
for all . Next, we define for and for all . Its rescaled version is defined through if and if with . The Fourier coefficients of are given by
where
denotes the Fourier transform of the (compactly supported) function . We find . From (3.2), we obtain
| 3.4 |
The next lemma summarizes important properties of the functions and . Its proof can be found in [4, Appendix A] (replacing by and noting that still for sufficiently large and fixed ).
Lemma 3.1
Let be nonnegative, compactly supported and spherically symmetric. Fix and let denote the solution of (3.1). For large enough, the following properties hold true.
-
(i)We have
3.5 -
(ii)We have . Moreover there exists a constant such that
3.6 -
(iii)There exists a constant such that
for all and all large enough.3.7 -
(iv)There exists a constant such that
for all and all large enough (such that ).
We define through
| 3.8 |
In position space, this means that for , we have
| 3.9 |
so that we have in particular the -bound
| 3.10 |
Lemma 3.1 also implies
| 3.11 |
for all , and for some constant independent of (for large enough). From (3.4), we find the relation
| 3.12 |
or equivalently, expressing the r.h.s. through the coefficients ,
| 3.13 |
In our analysis, it is useful to restrict to high momenta. To this end, let and
| 3.14 |
We define by
| 3.15 |
Equation (3.11) implies that
| 3.16 |
and we assume from now on that such that in particular
| 3.17 |
Notice, on the other hand, that the -norm of and diverge, as . From (3.9) and Lemma 3.1, part iii), we find
| 3.18 |
for all large enough. We will mostly use the coefficients with . Sometimes, however, it will be useful to have an estimate on (because Eq. (3.13) involves ). From Lemma 3.1, part iii), we obtain
| 3.19 |
It will also be useful to have bounds for the function , having Fourier coefficients as defined in (3.15). Writing , we obtain
so that
| 3.20 |
for all , if is large enough.
With the coefficients (3.15), we define the antisymmetric operator
| 3.21 |
and the generalized Bogoliubov transformation . A first important observation is that conjugation with this unitary operator does not change the number of particles by too much. The proof of the following Lemma can be found in [7, Lemma 3.1] (a similar result has been previously established in [22]).
Lemma 3.2
Assume B is defined as in (3.21), with the coefficients as in (3.8), satisfying (3.17). For every , there exists a constant such that
| 3.22 |
as an operator inequality on . (The constant depends only on and on .)
With the generalized Bogoliubov transformation , we can now define the renormalized excitation Hamiltonian by setting
| 3.23 |
In the next propositions, we collect important properties of . Recall the notation , introduced in (1.9).
Proposition 3.3
Let be compactly supported, pointwise nonnegative and spherically symmetric. Let be defined as in (3.23). Assume that the exponent introduced in (3.14) is such that
| 3.24 |
Then,
| 3.25 |
and there exists such that, for all and all large enough, we have
| 3.26 |
and the improved lower bound
| 3.27 |
Furthermore, for , denote by the excitation Hamiltonian
| 3.28 |
Then, there exists such that is bounded by
| 3.29 |
for all sufficiently large.
Furthermore, there exists a constant such that
| 3.30 |
for all , fixed (independent of ) and large enough.
Finally, for every , there exists a constant such that
| 3.31 |
The proof of Proposition 3.3 is similar to the proof of [4, Prop. 4.2] and [3, Prop. 3.2], with the appropriate modifications dictated by the different scaling of the interaction. The main novelty in Proposition 3.3 is the bound (3.30) involving commutators of the restricted number of particles operator . This can be obtained similarly to the bounds for and for , because we have a full expansion of the operator in a sum of terms whose commutators with and with retains essentially the same form. In the version of this paper that is posted on the arXiv, we give a complete proof of Proposition 3.3 in “Appendix A”, adapting the arguments of [4, Prop. 4.2], [3, Prop. 3.2].
Cubic Renormalization
From Eq. (3.28), we observe that the cubic terms in still depend on the original interaction, which decays slowly in momentum (in contrast to the quadratic terms in the second line of (3.28), where the sum is now restricted to ).
To renormalize the cubic terms in (3.28), we are going to conjugate with a unitary operator , where the antisymmetric operator is defined by
| 4.1 |
The high-momentum set is as in (3.14). The low-momentum set is defined by
| 4.2 |
with exponent , that will be chosen as in (3.28).
Using the unitary operator , we define by
| 4.3 |
Observe here that we only conjugate the main part of the renormalized excitation Hamiltonian ; this makes the analysis a bit simpler (the difference is small and can be estimated before applying the cubic conjugation).
The next proposition summarizes important properties of ; it can be shown very similarly to [4, Prop. 5.2], of course with the appropriate changes of the scaling of the interaction. In the version of this paper that is posted on the arXiv, we give a complete proof of Proposition 4.1 in “Appendix B”, adapting the arguments of [4, Prop. 5.2].
Proposition 4.1
Suppose the exponents and are such that
| 4.4 |
Let be defined as in (4.3), let
| 4.5 |
and set ( follows from (4.4)). Then, there exists a constant such that the self-adjoint operator satisfies the operator inequality
| 4.6 |
in for all sufficiently large.
The bounds for given in Proposition 4.1 are still not enough to show Theorem 1.1. As we will discuss in the next section, the main problem is the quartic interaction term, contained in , which still depends on the singular interaction potential (in all other terms on the r.h.s. of (4.5), the singular potential has been replaced by the regular mean-field type potential, with Fourier transform , supported on momenta ). To renormalize the quartic interaction, we will have to conjugate with yet another unitary operator, this time quartic in creation and annihilation operators. This last conjugation (which will be performed in the next section) will produce error terms. These errors will controlled in terms of the observables , and (as in (4.6)) but also, as we stressed at the end of Sect. 1, in terms of observables having the form (the number of excitations having momentum larger or equal to ), , , (the kinetic energy of excitations with momentum below ), . For this reason, we need to control the action of on all these observables.
First of all, we bound the action of the cubic phase on the restricted number of particles operators . We will make use of the pull-through formula , which in particular implies that
| 4.7 |
Lemma 4.2
Assume the exponents satisfy (4.4) (in fact, here it is enough to assume that ). Let , , , (and if ). Then, there exists a constant such that the operator inequalities
| 4.8 |
for all and all .
Proof
The case follows from . We start therefore with the case . For , we define the function by
which has derivative
| 4.9 |
where as in (4.1). By the assumptions on and c, we have for large enough. This implies in particular that
for and , by (2.1) and (2.10). We then obtain
| 4.10 |
as well as
| 4.11 |
for some function by the mean value theorem. Using the pull-through formula and Cauchy–Schwarz, we estimate
With the operator inequality and with (4.7), we find that
| 4.12 |
The same arguments show that
| 4.13 |
Finally, we have that
| 4.14 |
Recalling (4.9), (4.10) and that , the bounds (4.12) to (4.14) show that
Since the bounds are independent of and the same bounds hold true replacing A by in the definition of , the first inequality in (4.8) follows by Gronwall’s Lemma.
To prove (4.8) with , we proceed similarly. Given , we define the function by
Its derivative is equal to
| 4.15 |
Comparing the contribution containing the double commutator in the last line on the r.h.s. of the last equation with (4.10) and using once again that for large enough, we observe that
| 4.16 |
Hence, the bounds (4.12) and (4.13) prove that
To bound the second contribution on the r.h.s. in (4.15), we recall (4.10) and we estimate
Finally, the last contribution in (4.15) can be bounded as in (4.14), using (4.11). We have
where, in the last step, we used that . In conclusion, we have proved that
Since the bounds are independent of and the same bounds hold true replacing by A in the definition , Gronwall’s lemma implies the last inequality in (4.8).
We denote the kinetic energy restricted to low momenta by
| 4.17 |
We will need the following estimates for the growth of the restricted kinetic energy.
Lemma 4.3
Assume the exponents satisfy (4.4) (here we only need and ). Let , and (and also , if , for ). Then, there exists a constant such that the operator inequalities
| 4.18 |
for all and all sufficiently large.
Proof
Like the previous Lemma 4.2, this is an application of Gronwall’s lemma. Let us start to prove the first inequality in (4.18). Fix and define by such that
We notice first that
if and , because for all .
Using the commutation relations (2.1), we then compute
| 4.19 |
With (4.19) and for , we then find that
| 4.20 |
Finally, using Lemma 4.2 (with , and sufficiently large), we conclude
This proves the first inequality in (4.18), by Gronwall’s lemma.
Next, let us prove the second inequality in (4.18). We define by
and we compute
First, we proceed as in (4.20) and obtain with (4.7) that
| 4.21 |
Equation (4.21) and Lemma 4.2 then imply
| 4.22 |
Next, we recall the identity in (4.10) and that
whenever and , by assumption on and . We then estimate
| 4.23 |
Hence, putting (4.22) and (4.23) together, we have proved that
This implies the second bound in (4.18), by Gronwall’s lemma.
Next, we seek a bound for the growth of the potential energy operator. To this end, we first compute the commutator of with the antisymmetric operator A. We introduce here the shorthand notation for the low-momentum part of the kinetic energy
| 4.24 |
Proposition 4.4
Assume the exponents satisfy (4.4). There exists a constant such that
| 4.25 |
where the self-adjoint operator satisfies
| 4.26 |
for all and for all sufficiently large.
Proof
From (4.1), we have
Following [4, Prop. 8.1], we find
| 4.27 |
where
| 4.28 |
Here and in the following, the notation indicates that we only sum over those momenta for which the arguments of the creation and annihilation operators are nonzero. The first term on the r.h.s. of (4.27) appears explicitly in (4.25), so let us estimate next the size of the operators to , defined in (4.28). The bounds can be obtained similarly as in the proof of [4, Prop. 8.1].
Consider first . For , we switch to position space and find
| 4.29 |
The term on the r.h.s. of (4.28) can be controlled by
In the last step, we used (4.7) to estimate
| 4.30 |
for any . The contributions and can be bounded similarly. We find
as well as
Summarizing (using ) we proved that
| 4.31 |
for any . Setting , this proves the claim.
From Proposition 4.4, we immediately get a bound for the action of on .
Corollary 4.5
Assume the exponents satisfy (4.4). Then, there exists a constant such that
| 4.32 |
for all and large enough.
Proof
We apply Gronwall’s lemma. Given , we define and compute its derivative s.t.
Hence, we can apply (4.25) and estimate
Here, we used (3.10), which shows that . Using Lemma 4.2, this simplifies to
| 4.33 |
Together with (4.25), the bound (4.26) (choosing ) and an application of Lemma 4.2 as well as of Lemma 4.3, the claim follows from Gronwall’s lemma.
Quartic Renormalization
To explain why the bounds for obtained in Prop. 4.1 are not enough to show Theorem 1.1, we introduce, for , the operators
| 5.1 |
We denote the adjoints of and by and , respectively. Notice in particular that for all . A straightforward computation shows that
| 5.2 |
Together with (4.5), this suggests to bound the Hamiltonian from below by completing the square in the operators and , for . A better look at (4.5) reveals, however, that several terms that are needed to complete the square are still hidden in the energy . Since these terms are not small, we need to extract them from by conjugation with a unitary operator , with
| 5.3 |
Since , we have the identity
| 5.4 |
for all .
Using , we define the final excitation Hamiltonian
| 5.5 |
The next proposition provides an important lower bound for . Its proof is given in Sect. 7.
Proposition 5.1
Suppose the exponents (in the definition of the set in (3.14)) and (in the definition of the set in (4.2)) are such that
| 5.6 |
Set ( from (5.6)) and let be s.t. . Let be compactly supported, pointwise nonnegative and spherically symmetric. Then, , as defined as in (5.5), is bounded from below by
| 5.7 |
for a self-adjoint operator satisfying
| 5.8 |
for all sufficiently large.
Proof of Theorem 1.1
For sufficiently small, we define
| 6.1 |
The choice guarantees, if is small enough, that all conditions in (5.6) (and thus also in (3.24) and (4.4)) are satisfied.
From (3.25) and (3.26), we obtain the upper bound
| 6.2 |
for the ground state energy of . From (3.25) and (3.27), on the other hand, we obtain
With (6.2) and setting , we deduce that
| 6.3 |
Next, we prove (1.5). From (3.29) and (6.3) we arrive at
Writing and recalling that (and that is small enough), Prop. 4.1 and (6.3) imply that
Inserting and applying Prop. 5.1, we obtain
| 6.4 |
With and Lemma 4.2 (with and ) we have
| 6.5 |
for a constant small enough (but independent of N). If N is large enough, we conclude (using also the upper bound (6.2)), that
| 6.6 |
To bound the error term , we need (according to (5.8)) to control observables of the form . To this end, we observe, first of all, that, by Cauchy–Schwarz and by (6.3),
| 6.7 |
Choosing sufficiently small, we thus have
| 6.8 |
We write
| 6.9 |
Using (6.3) (similarly as we did in (6.7)) and , , we can bound the expectation of the first term on the r.h.s. of the last equation, for an arbitrary , by
| 6.10 |
On the other hand, to estimate the commutator term in Eq. (6.9), we notice that is a bounded, self-adjoint operator with , by (3.30). Setting , this implies, with (6.3),
| 6.11 |
for all . Plugging (6.10) and (6.11) into (6.9), we find that, for sufficiently small ,
| 6.12 |
Inserting into (6.8) and choosing small enough, we obtain
| 6.13 |
Applying (6.13) to the r.h.s. of (5.8) we find, using also (6.3), (6.1), and the choice ,
| 6.14 |
Inserting the last equation into (6.6) and using (6.2), we conclude that for N large enough,
For with and , the corresponding excitation vector is such that and thus
which proves (1.5), using Lemma 3.2. From (6.3), we obtain also
| 6.15 |
an estimate that will be needed to arrive at (1.6).
Evaluating (6.14) on a normalized ground state of and inserting the result in (6.4) we also deduce that
Together with the upper bound (6.2), this concludes the proof of (1.3).
We still have to show (1.6) for . To this end, we will prove the stronger bound (1.8); Eq. (1.6) follows then immediately from and by Lemma 3.2. We denote by the spectral subspace of associated with energies below . We use induction to show that for all , there exists a constant (depending on k) such that
| 6.16 |
for all . This proves (1.8) and thus, with the bound and with Lemma 3.2, also (1.6). The case follows from (6.15). From now on, we assume (6.16) to hold true, and we prove the same bound, with k replaced by (and with a new constant C). To this end, we start by observing that combining (6.3) and (6.6),
Hence,
| 6.17 |
We estimate the first term on the r.h.s. by
By Cauchy–Schwarz, we find
With and with the estimate
| 6.18 |
from (3.31) we obtain, using again Cauchy–Schwarz,
for every . Hence, for any , we have
| 6.19 |
To bound the contribution proportional to on the r.h.s. of (6.17), we have to control, according to (6.8), terms of the form
For an arbitrary , we can bound the expectation of by Cauchy–Schwarz as
| 6.20 |
As for the term , we can write
From (6.18) and using (3.30) to estimate
we obtain for every that
Applying the bounds , and (6.3) yields on the one hand
for any . Since and for all if , this implies with the choice that
| 6.21 |
On the other hand, we can estimate
| 6.22 |
Expressing in position space, we find, with ,
| 6.23 |
We have
where
is such that . Hence, we find
Inserting in (6.23), we find
From (6.22), we conclude that
for all , if . Using now similar arguments as before (6.21), we conclude that together with (6.21), we have
Combining this with (6.20), we arrive at
for all . With (6.8), we obtain
Applying this bound to (5.8) and recalling that , we conclude that
Therefore, for any , we find (if N is large enough)
From the last bound, (6.19) and (6.17), we obtain
for any . Taking the supremum over all , and choosing small enough, we arrive at
by the induction assumption.
Analysis of
This section is devoted to the proof of Proposition 5.1. In Sect. 7.1 we establish bounds on the growth of the number of excitations and of their energy with respect to the action of , with the quartic operator with
| 7.1 |
as defined in (5.3). In Sect. 7.2, we compute the different parts of the excitation Hamiltonian , introduced in (5.5). Finally, in Sect. 7.3, we conclude the proof of Proposition 5.1.
Growth of Number and Energy of Excitations
The first lemma of this section controls the growth of the number of excitations with high momentum.
Lemma 7.1
Assume the exponents satisfy (5.6). Let , , and ( if ). Then, there exists a constant such that
| 7.2 |
for all and all large enough.
Proof
Since and , it is enough to prove the lemma for . We consider first . For , we define the function by
so that differentiating yields
| 7.3 |
with as in (7.1). By assumption, for sufficiently large . This implies that
for and , by (2.1) and (2.10). We then compute
| 7.4 |
and apply Cauchy–Schwarz to obtain
| 7.5 |
Since the bound is independent of and it also holds true if we replace D by in the definition of , this proves (7.2), for .
For , we define
with derivative
We have
| 7.6 |
The contribution of the first term on the r.h.s. of (7.6) can be controlled as in (7.5) (replacing with ). With (7.4) and using again that , we obtain that
All these contributions can be controlled like those in (7.4). We conclude that
This proves (7.2) with . The case follows by operator monotonicity of the function .
Next, we prove bounds for the growth of the low-momentum part of the kinetic energy, defined as in (4.17).
Lemma 7.2
Assume the exponents satisfy (5.6). Let , (and if , for ). Then, there exists a constant such that
| 7.7 |
for all and all sufficiently large.
Proof
Fix and define by such that
We notice that
if and , because for large enough.
Using (2.1), we then compute
| 7.8 |
and, using that for , we obtain with Cauchy–Schwarz
| 7.9 |
With Lemma 7.1 choosing and , this implies for large enough that
This proves the first inequality in (7.7), by Gronwall’s lemma and .
Next, let us prove the second inequality in (7.7). We define by
and we compute
First, we proceed as in (7.9) and obtain with (4.7) that
Here, we used in the last step that for , and that for large enough. The last bound and Lemma 7.1 imply that
| 7.10 |
Next, we recall the identity (7.4) and that
whenever and is sufficiently large. We then obtain
| 7.11 |
Hence, putting (7.10) and (7.11) together, we have proved that
which implies the second bound in (7.7), by Gronwall’s lemma.
It will also be important to control the potential energy operator, restricted to low momenta. We define
| 7.12 |
Notice that by symmetry of the momentum restrictions. To calculate , we will use the next lemma, which will also be useful in the next subsections.
Lemma 7.3
Assume the exponents satisfy (5.6). Let and define
| 7.13 |
Then, there exists a constant such that
| 7.14 |
for all , and for all sufficiently large.
Proof
Given , we define by
which has derivative
By assumption, we have so that if and , for sufficiently large . This implies in particular that
whenever and , . As a consequence, we find
| 7.15 |
With (4.7) and for large enough, we can bound
and
Lemmas 7.1, 7.2 and the assumption implies
Hence, integrating the last equation from zero to proves the lemma.
With , we obtain immediately the following result.
Corollary 7.4
Assume the exponents satisfy (5.6). Then, there exists a constant such that
for all , and for all sufficiently large.
We also need rough bounds for the conjugation of the full potential energy operator . To this end, we will make use of the following estimate for the commutator of with , with defined in (7.1).
Proposition 7.5
Assume the exponents satisfy (5.6). Then,
| 7.16 |
and there exists a constant such that
| 7.17 |
for all and for all sufficiently large.
Proof
We have
To compute the commutator , we compute first of all that
Putting the terms in the first and last line on the r.h.s. into normal order, we obtain
| 7.18 |
where
| 7.19 |
The first term on the r.h.s. in (7.18) appears explicitly in (7.16). Hence, let us estimate the size of the operators to , defined in (7.19).
Starting with , we switch to position space and find
| 7.20 |
The term on the r.h.s. of (7.19) can be controlled by
Finally, the contributions and can be bounded as follows. We obtain
as well as
In conclusion, the previous bounds imply with the assumption (5.6) (in particular, since and ) that
| 7.21 |
holds true in for any . This concludes the proof.
With Proposition 7.5, we obtain a bound for the growth of .
Corollary 7.6
Assume the exponents satisfy (5.6). Then, there exists a constant such that the operator inequality
for all and for all sufficiently large.
Proof
We apply Gronwall’s lemma. Given a normalized vector , we define and compute its derivative s.t.
Hence, we can apply (7.16) and estimate
| 7.22 |
Here, we used (3.10), which shows that . Using Corollary 7.4 (recalling that and ) and in , this simplifies to
Together with (7.16), the bound (7.17) (choosing ) and an application of Lemma 7.1 and of Lemma 7.2, the claim follows now from Gronwall’s lemma.
Finally, we need control for the growth of the full kinetic energy operator . To this end, we need to estimate its commutator with D.
Proposition 7.7
Assume the exponents satisfy (5.6). Let be such that (from (5.6) it follows that ). Then,
| 7.23 |
where the self-adjoint operator satisfies
| 7.24 |
for all and for all sufficiently large.
Proof
Using that , a straight forward computation shows that
| 7.25 |
where
| 7.26 |
Let us estimate the size of the operators and . Using , we control the operator by
| 7.27 |
By Cauchy–Schwarz, the first term on the r.h.s. of (7.27) can be controlled by
The second contribution on the r.h.s. of (7.27) can be bounded by
| 7.28 |
Similarly, we find that
| 7.29 |
In summary, the previous three bounds imply that
| 7.30 |
for some constant and all .
Next, let us switch to and , defined in (7.26). Since , with
we find
This, together with Lemma 3.1(i), Cauchy–Schwarz and , implies that
| 7.31 |
Similarly, we obtain
| 7.32 |
where we used that for , and large enough. Combining (7.30), (7.31) and (7.32) and defining proves the claim.
Corollary 7.8
Assume the exponents satisfy (5.6). Let be such that ( from (5.6)). Then, there exists a constant such that
| 7.33 |
for all and for all sufficiently large.
Proof
Given , we define . Differentiation yields
s.t., to bound the derivative of , we can apply Proposition 7.7. Arguing exactly as in (7.22), we obtain with the operator inequality
Now, the claim follows from the bound (7.24) (choosing ), the previous bound and an application of Corollaries 7.6, 7.4, Lemmas 7.1, 7.2 and the operator bound , by Gronwall’s Lemma.
Action of Quartic Renormalization on Excitation Hamiltonian
We compute now the main contributions to . From (4.5) and recalling that , we can decompose
| 7.34 |
where the operators are defined by
| 7.35 |
Analysis of
In this section, we determine the main contributions to , defined in (7.35) by
| 7.36 |
The main result of this section is the following proposition.
Proposition 7.9
Assume the exponents satisfy (5.6). Then
| 7.37 |
and there exists a constant such that
| 7.38 |
for all sufficiently large.
Proof
We start with the identity
| 7.39 |
and a straight-forward computation shows that
As a consequence, we find that
| 7.40 |
where
| 7.41 |
Here, denotes as usual the characteristic function for the set , evaluated at . Let us briefly explain how to bound the different contributions to , defined in (7.41). Using Cauchy–Schwarz, the first two contributions are bounded by
where, for , we used that implies that and furthermore that . The contributions to , on the other hand, can be controlled by
for any . In conclusion (since from (5.6)), we have proved that
Now, applying this bound together with (7.40), Lemmas 4.2, 4.3, 7.1, 7.2 and the operator inequality proves the claim.
Analysis of
In this section, we determine the main contributions to , defined in (7.35) by
| 7.42 |
Proposition 7.10
Assume the exponents satisfy (5.6). Then, we have that
| 7.43 |
and there exists a constant such that
| 7.44 |
for all sufficiently large.
Proof
Let us define the operator by
| 7.45 |
so that . We recall the definition (7.1) and observe that
| 7.46 |
This implies that it is enough to control the commutator after conjugation with , for any . Note that, if and , we have s.t. , for large enough. Then, a lengthy but straightforward calculation shows that
and
As a consequence, we conclude that
| 7.47 |
where
| 7.48 |
Let us explain how to control the operators to , defined in (7.48). We start with . Given , we find that
The contribution can be bounded by
Notice here, that we used that if and . Next, we apply as usual Cauchy–Schwarz to estimate the terms to by
for all . Finally, the term can be controlled by
In conclusion, the previous estimates show that
so that, together with (7.46) and (7.47), an application of the Lemmas 4.2, 4.3, 7.1, 7.2 and the operator bound proves the claim.
Analysis of
In this section, we determine the main contributions to , defined in (7.35). To this end, we start with the observation that
| 7.49 |
with defined in (7.1). By Propositions 7.5 and 7.7, this implies that
| 7.50 |
where we used that for all . Moreover, the operators and are explicitly given by
| 7.51 |
where we recall the definitions (7.19) and (7.26). Let us analyze the different contributions in (7.50), separately. We start with the second term on the r.h.s. of (7.50).
Proposition 7.11
Assume the exponents satisfy (5.6). Then, we have
| 7.52 |
and there exists a constant s.t. and satisfy
| 7.53 |
for all , and for all sufficiently large.
Proof
For definiteness, let us denote by the operator
| 7.54 |
and consider the identity
| 7.55 |
Now, observe that
for all and , and sufficiently large. Then, proceeding as in the proof of Proposition 7.5, we obtain
| 7.56 |
and
| 7.57 |
Combining the last two identities and putting non-normally ordered contributions into normal order, we find that
| 7.58 |
where
| 7.59 |
Let us briefly explain how to control the operators to , defined in (7.2.3).
Noting that implies whenever , the first two contributions and in (7.2.3) can be controlled by
| 7.60 |
By switching to position space, the term can be bounded by
We proceed similarly as above for the terms and which yields
| 7.61 |
where, for , we used that implies that , and thus , whenever , and sufficiently large (otherwise for large enough ). Finally, can be controlled by
In summary, the previous estimates show that
| 7.62 |
for all . On the other hand, by Lemma 7.3, we also know that
| 7.63 |
Now, going back to (7.55), the bounds (7.62) and (7.63) imply that
| 7.64 |
where the self-adjoint operators and are bounded by
as well as
for all and uniformly in . Defining , this concludes the proof.
Equipped with Proposition 7.11, we go back to (7.50) and conclude that
| 7.65 |
for all with , and large enough.
Next, let us analyse the error terms related to and further. The bounds (7.53) and (7.21) (with for a sufficiently small ; this choice guarantees that we can extract the term in (7.66), with an error that can be absorbed in ) imply, together with Lemmas 7.1, 7.2, Corollaries 7.4 and 7.6 and with the assumption (5.6) on the exponents , that
for all large enough and for an arbitrarily small constant . With Corollary 7.4 and (7.65), we conclude that
| 7.66 |
where the error is such that
Applying Lemmas 4.2, 4.3 and Corollary 4.5, we deduce with the operator inequality that
| 7.67 |
for all large enough.
Now, we switch to the contribution containing the operator on the r.h.s. of the lower bound (7.66). We recall once again that
where the operators and were defined in (7.26). It turns out that and are negligible errors while still contains an important contribution of leading order. We start with the analysis of the contribution related to .
Proposition 7.12
Assume the exponents satisfy (5.6). Then, we have that
| 7.68 |
and there exists a constant such that
| 7.69 |
for all and for all sufficiently large.
Proof
We proceed as in Proposition 7.11 and recall to be
We then have
| 7.70 |
Similarly as in (7.58) and (7.2.3), we find that
| 7.71 |
where
The operators to can be bounded similarly as in the proof of Proposition 7.11. Let us start with . Applying as usual Cauchy-Schwarz implies that
where we used that implies and whenever and (otherwise if either or , in contradiction to ) for sufficiently large. Notice in addition that .
The term can be estimated exactly as the term in (7.60), that is
The contribution can be controlled by
The terms and can be bounded exactly as in (7.61). We find
Finally, the last contribution is bounded by
In conclusion, the above estimates imply that
for all and for all sufficiently large. Combining this estimate with the identites (7.70) and (7.71), and applying Lemmas 4.2, 4.3, 7.1 as well as Lemma 7.2 together with the operator inequality proves the proposition.
Applying Proposition 7.12 to the lower bound (7.66) and defining with from Proposition 7.12, we conclude that
| 7.72 |
where satisfies the lower bound (7.67), satisfies the bound (7.69) and where the operators and were defined in (7.26).
Let us finally estimate the size of the error in the last line of (7.72), involving the two operators and . Using the estimate (7.31) together with Lemmas 4.2, 4.3, 7.1 and 7.2, we find for
| 7.73 |
Finally, consider the operator , with defined in (7.26). Let be such that (in particular, ). Here, we use the bound (7.32) to find first of all that
for any with . Notice that we applied once again Lemmas 7.1 and 7.2 in the second factor. With Corollary 7.8, the first factor is bounded by
for all exponents satisfying (5.6) and sufficiently large. It follows that
| 7.74 |
where
| 7.75 |
with an arbitrarily small constant and where after an additional application of Lemmas 4.2, 4.3, 7.1 and 7.2 together with the operator bound , the error is such that
| 7.76 |
for all exponents satisfying (5.6) and sufficiently large.
Choosing sufficiently large (but independently of ) and arguing as right before (7.66), we deduce that
| 7.77 |
for all satisfying (5.6) and sufficiently large. This follows through another application of Corollaries 4.5, 7.4 and 7.6, together with Lemmas 4.2, 4.3, 7.1 and 7.2. We summarize these bounds in the following corollary.
Corollary 7.13
Let be such that and let be defined as in (7.35). For every , there exists a constant such that
| 7.78 |
where
| 7.79 |
for all exponents satisfying (5.6) and for all sufficiently large.
Proof
The proof follows from defining and combining (7.67), (7.72), (7.69), (7.73), (7.74), (7.75), (7.77), (7.76) and the operator bound in .
Proof of Proposition 5.1
Recall from (7.34) the decomposition
Collecting the results of Propositions 7.9, 7.10 and Corollary 7.13, we deduce that
| 7.80 |
where satisfies the lower bound
| 7.81 |
for all sufficiently large.
We combine next the terms on the third, fourth and fifth lines in (7.3). We first notice that
| 7.82 |
Arguing in the same way for the contribution on the fifth line in (7.3), using that for all , and using that and implies in particular that , we therefore obtain that
| 7.83 |
Now, notice furthermore that
such that, after switching to position space, the pointwise positivity implies
| 7.84 |
Here, we used that and we denote by the distribution which has Fourier transform , the characteristic function of the set .
Combining (7.3), (7.3), (7.3) and (7.84), it follows that
| 7.85 |
Using Lemma 3.1, part ii), we have . This implies
| 7.86 |
where, by (7.81) and Lemmas 4.2 and 7.1,
| 7.87 |
Similarly, for , we know that
Therefore, proceeding exactly as between (7.27) and (7.30), with replaced by , we deduce that
| 7.88 |
with satisfying the same bound (7.87) as . Here we used Lemmas 4.2, 4.3, 7.1 and 7.2, as well as the assumption (5.6).
Finally, recalling the definition (5.1) and the identity (5.2), we find
| 7.89 |
To express also the first term in the third line of (7.89) in terms of the modified creation and annihilation fields defined in (5.1), we first observe that
Then, for a fixed , we have that
where
In particular, the union is a disjoint union. As a consequence, we find that
Inserting in (7.88), we obtain
| 7.90 |
with
Let us now estimate the remaining terms on the last line of (7.90). For , we have
| 7.91 |
and
| 7.92 |
Similarly, we can bound
Thus, choosing the constant small enough and applying Lemmas 7.2, 4.3 and 4.2 to the r.h.s. of (7.91) and to the second term on the r.h.s. of (7.92), we conclude that
| 7.93 |
where is such that
| 7.94 |
We introduce the operators
With the algebraic identity
we conclude that
Since
we obtain that
A straightforward computation then shows that
Thus
where satisfies
This concludes the proof of Proposition 5.1.
Acknowledgements
We would like to thank C. Boccato and S. Cenatiempo for many helpful discussions with regards to the quartic renormalization. B. Schlein gratefully acknowledges partial support from the NCCR SwissMAP, from the Swiss National Science Foundation through the Grant “Dynamical and energetic properties of Bose–Einstein condensates” and from the European Research Council through the ERC-AdG CLaQS.
Funding
Open access funding provided by University of Zurich. Funding was provided by H2020 European Research Council (Grant No. ERC - ADG 2018 - Project 834782 CLaQS), Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung (Grant Nos. NCCR SwissMAP and Projekt 200020_172623).
Footnotes
Going through the proof of [18, Theorem 5.1], one can observe that the authors actually show that .
For , the rate (1.6) is not expected to be optimal. Bogoliubov theory predicts that the number of excitations of the Bose–Einstein condensate in a Bose gas with density is of the order ; see [5]. In our regime, this corresponds to excitations.
Observe that the renormalized potential with Fourier transform that emerges in our rigorous analysis after a series of unitary transformations is reminiscent of the interaction that appears through an ad hoc substitution in the pseudo-potential method of [12, 13].
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
References
- 1.Balaban T, Feldman J, Knörrer H, Trubowitz E. Complex bosonic many-body models: overview of the small field parabolic flow. Ann. Henri Poincaré. 2017;18:2873–2903. doi: 10.1007/s00023-017-0587-9. [DOI] [Google Scholar]
- 2.Boccato C, Brennecke C, Cenatiempo S, Schlein B. Complete Bose–Einstein condensation in the Gross–Pitaevskii regime. Commun. Math. Phys. 2018;359(3):975–1026. doi: 10.1007/s00220-017-3016-5. [DOI] [Google Scholar]
- 3.Boccato C, Brennecke C, Cenatiempo S, Schlein B. Bogoliubov theory in the Gross–Pitaevskii limit. Acta Math. 2019;222(2):219–335. doi: 10.4310/ACTA.2019.v222.n2.a1. [DOI] [Google Scholar]
- 4.Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: Optimal Rate for Bose-Einstein Condensation in the Gross-Pitaevskii Regime. Commun. Math. Phys. (2019). 10.1007/s00220-019-03555-9. arXiv:1812.03086
- 5.Bogoliubov, N.N.: On the theory of superfluidity. Izv. Akad. Nauk. USSR 11 (1947), 77. Engl. Transl. J. Phys. (USSR) 11 (1947), 23
- 6.Brennecke, C., Caporaletti, M., Schlein, B.: Excitation spectrum for Bose gases beyond the Gross–Pitaevskii regime. In preparation
- 7.Brennecke C, Schlein B. Gross–Pitaevskii dynamics for Bose–Einstein condensates. Anal. PDE. 2019;12(6):1513–1596. doi: 10.2140/apde.2019.12.1513. [DOI] [Google Scholar]
- 8.Brietzke B, Fournais S, Solovej JP. A simple 2nd order lower bound to the energy of dilute bose gases. Commun. Math. Phys. 2020;376:323–351. doi: 10.1007/s00220-020-03715-2. [DOI] [Google Scholar]
- 9.Fournais, S.: Length scales for BEC in the dilute Bose gas. arXiv:2011.00309
- 10.Fournais S, Solovej JP. The energy of dilute Bose gases. Ann. Math. 2020;192(3):893–976. doi: 10.4007/annals.2020.192.3.5. [DOI] [Google Scholar]
- 11.Hainzl, C.: Another proof of BEC in the GP-limit. arXiv:2011.09450
- 12.Huang K, Yang CN. Quantum-mechanical many-body problem with hard-sphere interaction. Phys. Rev. 1957;105(3):757–767. [Google Scholar]
- 13.Lee TD, Huang K, Yang CN. Eigenvalues and eigenfunctions of a bose system of hard spheres and its low-temperature properties. Phys. Rev. 1957;106(6):1135–1145. doi: 10.1103/PhysRev.106.1135. [DOI] [Google Scholar]
- 14.Lee TD, Yang CN. Many-body problem in quantum mechanics and quantum statistical mechanics. Phys. Rev. 1957;105:1119–1120. doi: 10.1103/PhysRev.105.1119. [DOI] [Google Scholar]
- 15.Lewin M, Nam PT, Serfaty S, Solovej JP. Bogoliubov spectrum of interacting bose gases. Commun. Pure Appl. Math. 2014;68(3):413–471. doi: 10.1002/cpa.21519. [DOI] [Google Scholar]
- 16.Lieb EH, Seiringer R. Proof of Bose–Einstein condensation for dilute trapped gases. Phys. Rev. Lett. 2002;88:170409. doi: 10.1103/PhysRevLett.88.170409. [DOI] [PubMed] [Google Scholar]
- 17.Lieb EH, Seiringer R. Derivation of the Gross–Pitaevskii equation for rotating Bose gases. Commun. Math. Phys. 2006;264(2):505–537. doi: 10.1007/s00220-006-1524-9. [DOI] [Google Scholar]
- 18.Lieb, E.H., Seiringer, R., Solovej, J.P., Yngvason, J.: The mathematics of the bose gas and its condensation. Oberwolfach Seminars. Birkhäuser Verlag, Series (2005)
- 19.Lieb EH, Seiringer R, Yngvason J. Bosons in a trap: a rigorous derivation of the Gross–Pitaevskii energy functional. Phys. Rev. A. 2000;61:043602. doi: 10.1103/PhysRevA.61.043602. [DOI] [Google Scholar]
- 20.Nam, P.T., Napiórkowski, M., Ricaud, J., Triay, A.: Optimal rate of condensation for trapped bosons in the Gross–Pitaevskii regime. arXiv:2001.04364
- 21.Nam PT, Rougerie N, Seiringer R. Ground states of large bosonic systems: the Gross–Pitaevskii limit revisited. Anal. PDE. 2016;9(2):459–485. doi: 10.2140/apde.2016.9.459. [DOI] [Google Scholar]
- 22.Seiringer R. The excitation spectrum for weakly interacting bosons. Commun. Math. Phys. 2011;306:565–578. doi: 10.1007/s00220-011-1261-6. [DOI] [Google Scholar]
