Abstract
For a translation invariant system of N bosons in the Gross–Pitaevskii regime, we establish a precise bound for the ground state energy . While the leading, order N, contribution to has been known since (Lieb et al. in Phys Rev A 61:043602, 2000; Lieb and Yngvason in Phys Rev Lett 80:2504–2507, 1998) and the second order corrections (of order one) have been first determined in Boccato et al. (Acta Math 222(2):219–335, 2019), our estimate also resolves the next term in the asymptotic expansion of , which is of the order .
Introduction
In the Gross–Pitaevskii regime, we consider a gas of N bosons moving on the unit torus , interacting through a repulsive potential with scattering length of the order 1/N. The Hamilton operator of such a system has the form
| 1.1 |
and acts, according to the bosonic statistics, on , the subspace of consisting of functions that are symmetric w.r.t. permutations. Here, we are going to assume that is non-negative, compactly supported and spherically symmetric. We denote by its scattering length, which is defined through the solution f of the zero energy scattering equation
with the boundary condition , as , by requiring that
outside the support of V. By scaling, the scattering length of the potential appearing in (1.1) is then given by . Observe that, after rescaling , the Gross–Pitaevskii regime equivalently describes a gas of particles interacting through the fixed potential V, at density .
As first established in [29, 31], the ground state energy of (1.1) is given, to leading order, by
in the limit . In [28, 30, 34], it was also shown that the corresponding ground state vectors exhibit complete Bose–Einstein condensation; all particles, up to a fraction vanishing in the limit , can be described by the zero-momentum one-particle orbital , defined by for all . In the last years, more precise bounds on the rate of condensation have been derived. For , it was shown in [6] that, for any normalized sequence of approximate ground state vectors, satisfying
the number of particles that are orthogonal to remains bounded by a constant proportional to K (but independent of N), in the limit (a simplified proof of condensation has been recently proposed in [11], using the approach developed in [16]).
This optimal estimate on the rate of condensation was used in [6] as input for a rigorous version of Bogoliubov theory [8], showing that the ground state energy of (1.1) satisfies
| 1.2 |
and that the spectrum of below a threshold consists of eigenvalues having the form
| 1.3 |
where for all . In (1.2), we defined
| 1.4 |
The optimal bound on the condensation rate and the estimates (1.2), (1.3) on the low-energy spectrum of (1.1) have been later extended to Bose gases trapped by an external potentials in [14, 15, 33, 35], to bosons moving in a box with Neumann boundary conditions in [13], to systems interacting through a potential with scattering length of the order , for sufficiently small , in [1, 12] and to Bose gases in the two-dimensional Gross–Pitaevskii regime in [18, 19]. Recently, an upper bound matching (1.2) was proven in [3], for particles interacting through a non-integrable, hard-sphere potential. New and simpler proofs of (1.2), (1.3) have been obtained in [25] and, very recently, in [16] (also beyond the Gross–Pitaevskii regime, for small enough). Some rigorous bounds are also available at positive temperatures; to leading order, the free energy in the Gross–Pitaevskii regime was determined in [20], up to temperatures comparable with the critical temperature for condensation. Upper bounds for the free energy capturing also the next order corrections have been obtained in [7, 17].
Bogoliubov theory has been recently also used to determine equilibrium properties of Bose gases in the thermodynamic limit, where we consider N particles moving in the box , with periodic boundary conditions, letting keeping the density fixed. In [27], Lee–Huang–Yang derived a formula for the asymptotic behavior of the ground state energy per particle, in the dilute regime, to leading- and next-to-leading order. Their result was then improved by Wu in [38], by Hugenholtz-Pines in [26] and by Sawada in [37], who predicted that
| 1.5 |
up to lower order corrections, in the limit . The validity of the first term on the r.h.s. of (1.5) has been known since [21] (upper bound) and [31] (matching lower bound). As for the second term in (1.5) (the Lee–Huang–Yang correction), a lower bound was proven in [22] and, for more general interaction potentials (including hard-sphere interactions), in [23]. Recently, an optimal lower bound was also derived in [24] for the free energy at positive temperature (chosen so that the energy of thermal excitations is comparable to the Lee–Huang–Yang correction). As an upper bound, the first two terms in (1.5) were first established in [39]. A simpler proof, which applies to more general potentials (but not to hard-sphere interactions) was obtained in [4]. For the hard-sphere potential, on the other hand, the derivation of an upper bound matching (1.5) to second order is still an open problem. However, an upper bound establishing the validity of the first term on the r.h.s. of (1.5), with an error of the Lee–Huang–Yang order (but with the wrong constant) was recently proven in [2]. There is still no rigorous result about the third term on the r.h.s. of (1.5), neither as a lower nor as an upper bound to the ground state energy per particle.
In this paper, we improve (1.2), establishing the next contribution to the ground state energy in the Gross–Pitaevskii regime, which turns out to be of the order . The next theorem is our main result.
Theorem 1.1
Let be non-negative, spherically symmetric, and compactly supported. Let . Then the ground state energy of the Hamiltonian from (1.1) satisfies
| 1.6 |
as , with defined in (1.4).
Remarks
Let be the scattering length of the potential in (1.1). With , we observe that . We conclude that third term on the r.h.s. of (1.6) is consistent with the prediction (1.5) for the third term in the asymptotic expansion of ground state energy per particle in the thermodynamic limit.
- With our analysis, we could also improve the estimate (1.3) for the low-energy spectrum of , showing that, below a threshold , it consists of eigenvalues having the form
for an appropriate constant , depending polynomially on . Expansions of the ground state energy of Bose gases beyond second order have been previously obtained in the mean-field limit [10, 32, 36]. Moreover, for systems of N particles interacting through a potential of the form , for a , the ground state energy was recently resolved to order in [9].
At the expense of a slightly longer proof, with our techniques we could prove that the error term in (1.6) is .
- Heuristically, the appearance of a term of order on the r.h.s. of (1.6) can be understood by perturbation theory. The bounds (1.2), (1.3) are proven in [6] showing that, after appropriate unitary transformations, can be approximated by a Fock space Hamiltonian of the form
quadratic in creation and annihilation operators. Here, denotes the approximation to the ground state energy of appearing on the r.h.s. of (1.2). The ground state of is the Fock space vacuum . The main correction to is given by cubic terms in creation and annihilation operators, whose expectation vanishes in the state . By second order perturbation theory, we obtain therefore
where W has the form1.7
for some appropriate coefficients . The operator W includes all cubic terms which do not vanish when acting on . Using the canonical commutation relations , , we find
with the dispersion . Determining the precise form of the coefficients is not trivial (it requires understanding precisely which corrections to the quadratic Hamiltonian are important); it turns out that scales as momentum to the power , for . Taking into account that , for large p, this produces a correction to , exactly of the order . Although this argument could be probably also made into a rigorous proof, our approach is different, since it resolves the correct energy through two unitary conjugations, one with the exponential of a quadratic and, respectively, a cubic expression in (modified) creation and annihilation operators (our unitary conjugations implement the perturbative expansion leading to (1.7)).
Excitation Hamiltonians and Proof of Theorem 1.1
In order to determine the low-energy spectrum of the Hamilton operator (1.1), it is convenient, first of all, to factor out the Bose–Einstein condensate, focussing on its orthogonal excitations. To this end, we observe that an arbitrary wave function can be uniquely decomposed as
with , where denotes the orthogonal complement of the condensate wave function , defined by for all (and where indicates the symmetric tensor product). This observation allows us to define a unitary operator mapping the original Hilbert space into the truncated Fock space
setting . The map is characterized by its action on number of particle-preserving products of creation and annihilation operators, given by
| 2.1 |
for momenta (where is the dual lattice to ). Here and are creation and annihilation operators creating and, respectively, annihilating a particle with momentum , described by the plane wave . Furthermore, denotes the number of particles operator on and, for , we introduced the modified creation and annihilation operators
These operators act on , they are bounded by the square root of , in the sense that
and they satisfy the commutation relations
| 2.2 |
and
| 2.3 |
Rewriting the Hamilton operator (1.1) in momentum space, using the language of second quantization, we find
| 2.4 |
This expression allows us to compute the excitation Hamiltonian , defined on the excitation space , using the rules (2.1). We find
| 2.5 |
where we introduced the kinetic and potential energy operators
| 2.6 |
and we set
| 2.7 |
After conjugation with , the vacuum vector corresponds to the factorized wave function , which is still very far, energetically, from the ground state of (2.4). In the next step, we are going to renormalize the excitation Hamiltonian (2.5), factoring out the microscopic correlation structure characterizing its low-energy states. To describe correlations, we fix and consider the ground state solution of the Neumann problem
on the ball , normalized so that for . We extend for all and we set . We denote the solution of the rescaled Neumann problem
| 2.8 |
on the ball , with for all . As above, we set . With a slight abuse of notation we use the same notation for and for its periodisation on the torus . The next Lemma, whose proof can be found in [5, Appendix B], collects important bounds for the functions and , and for the eigenvalue .
Lemma 2.1
Let V be as in the assumptions of Theorem 1.1.
-
(i)The eigenvalue appearing in (2.8) satisfies
-
(ii)There exists a constant such that
for .2.9 -
(iii)There exists with
2.10
The Fourier coefficients of are given by
where we defined
for all . For , we consider the coefficients
| 2.11 |
By (2.8), they satisfy the equation
| 2.12 |
Here is the characteristic function of the ball of radius , centered at the origin. Through the coefficients we define the antisymmetric operator
Conjugating (2.5) with the generalized Bogoliubov transformation , we define the renormalized excitation Hamiltonian . As shown in [5], has the form
up to small corrections. Here is a constant, while are quadratic and, respectively, cubic contributions in creation and annihilation operators. As discussed in [5], this form of the excitation Hamiltonian is still not enough to determine its spectrum (not even up to errors of order one, in N), because the cubic term is not negligible. A second renormalization, this time with a unitary transformation given by the exponential of a cubic expression in creation and annihilation operators, must be used to get rid of . The resulting twice renormalized excitation Hamiltonian has the form
| 2.13 |
again up to small corrections. At this point the quadratic part of has the form
| 2.14 |
with the coefficients
| 2.15 |
To compute the spectrum of (2.13), it is convenient to diagonalize (2.14), conjugating it with another generalized Bogoliubov transformation. As shown in [5, Lemma 5.1], the coefficients (2.15) satisfy the bounds
| 2.16 |
for all . As a consequence, we can define coefficients requiring that
| 2.17 |
With this choice of the coefficients , it was proven in [5] that
for appropriate constant and dispersion . It is then easy to determine the low-energy spectrum of (using the positivity of the potential energy operator , and its smallness on states with few low-momentum excitations); see [5] for the details.
In the present work, to improve the energy resolution up to errors smaller than , we find it more convenient to combine and into a single generalized Bogoliubov transformation. To this end, we define the coefficients
| 2.18 |
for all , with as in (2.11) and as introduced in (2.17). In the next lemma, we collect important properties of the coefficients , , , and
| 2.19 |
We will systematically use such properties in estimates throughout the paper.
Lemma 2.2
Let V be as in the assumptions of Theorem 1.1.
-
(i)There exists a constant such that
Moreover,
for all .2.20 -
(ii)There exists a constant such that
2.21 -
(iii)As a consequence of (i) and (ii) and of the definitions of , we have
and2.22
for a suitable .2.23
Proof
We only prove the last bound in (2.20) since the other estimates in (i) are shown in [5, Appendix B], the estimates in (ii) follow from the definition of together with (2.12) and (2.16), and (iii) is an immediate consequence of (i) and (ii). We have
With Hölder’s inequality, we find
Using the coefficients we define the antisymmetric operator
| 2.24 |
With the corresponding generalized Bogoliubov transformation , we define the renormalized excitation Hamiltonian
| 2.25 |
The advantage that we have, when working with rather than with , is that, after removing the microscopic correlation structure through , low-energy states of have only few excitations, with bounded energy. More precisely, we obtain the following a-priori estimates on products of the energy operator with arbitrary powers of the number of particles operator .
Proposition 2.3
Let be a normalized sequence of approximate ground state vectors of the Hamilton operator (1.1), satisfying , where is the ground state energy of (1.1) and is fixed. Let be the corresponding normalized sequence of approximate ground state vectors of the renormalized excitation Hamiltonian (2.25). Let . Then, there exists (depending on K and k) such that
| 2.26 |
for all .
A-priori bounds of the form (2.26) have been established in [5, Prop. 4.1], for a sequence , defined in terms of the generalized Bogoliubov transformation generated by , rather than in terms of that generated by . From (2.24), the difference is associated with the kernel exhibiting, by (2.21), fast decay in momentum space. For this reason, the estimate in Prop. 2.3 follows from the bounds for in [5, Prop. 4.1]. This is shown in Appendix B.
In the next theorem, whose proof is deferred to Sect. 3, we determine the operator , up to very small errors (which can be controlled through the a-priori estimates in Prop. 2.3).
Theorem 2.4
Let be non-negative, compactly supported, and spherically symmetric. Let be defined as in (2.25) with parameter small enough. For , let and . Moreover, define the constant
| 2.27 |
and the cubic operator
| 2.28 |
Furthermore, let , with
| 2.29 |
Then
| 2.30 |
where, for every , we have
| 2.31 |
with .
Remark
In the representation (2.30) of the renormalized excitation Hamiltonian, we distinguish three types of error terms (terms which will not contribute to the energy of the Hamiltonian, up to order ). First of all, in we absorb several contributions that are controlled by the second term on the r.h.s. of (2.31). With the a-priori bounds in Prop. 2.3, these terms are small, of order , in the limit . Other contributions to the error are bounded by , for an arbitrary small . Since the cubic conjugation only increases by , we will control these terms using a little bit of kinetic energy. Terms in , on the other hand, could only be controlled, at this point, by
or by
Notice, in the two bounds, the presence of the operator , instead of just , due to the fact that contributions in only contain creation or annihilation operators, but never both. Since moreover the cubic conjugation changes the expectation of by order one, this estimate does not yet allow us conclude that is negligible (instead, we first have to apply the cubic conjugation to and only afterwards we will be able to show that it can be dropped).
To get rid of the cubic term in (2.30), we conjugate with a second unitary transformation, given by the exponential of a cubic expression in (modified) creation and annihilation operators. We define
| 2.32 |
where
| 2.33 |
and , , and were defined in (2.11) and in (2.19) (recall from Lemma 2.2 that , while , for an appropriate constant ). The choice of the coefficients in A guarantees that the commutator produces a contribution cancelling the cubic term in (2.28). Compared with the cubic phase used in [5] and in later works, where the coefficient in front of the operator was simply given by , we modify here the choice of to eliminate certain terms arising from the commutator which would not be negligible at the level of accuracy required to show Theorem 1.1; see the remark after Lemma 4.1 (notice that in [5], the operator A was defined summing only over momenta r, v with ; in this region, ).
For our analysis, it is very important to control the growth of number and energy of excitations, w.r.t. conjugation by .
Proposition 2.5
Let A be defined as in (2.32), be the number of particles operator on and as be defined as in Theorem 2.4. Then, for any , for any , there exists (depending on k) such that
| 2.34 |
Furthermore, there is such that
| 2.35 |
Moreover, for every and every , there exists such that
| 2.36 |
The proof of Proposition 2.5 will be given in Sect. 4 (there, the choice of the coefficients (2.33) will become clear).
With A defined as in (2.32), we introduce the cubically renormalized excitation Hamiltonian
| 2.37 |
In the next theorem, we describe the operator .
Theorem 2.6
Let be non-negative, compactly supported, and spherically symmetric. Let be defined in (2.37). Let
| 2.38 |
with defined in (1.4). Then we have
| 2.39 |
where, for any ( can also depend on N, provided ),
The proof of Theorem 2.6 will be given below, in Sect. 5.
We can now apply Theorem 2.6, to show our main result.
Proof of Theorem 1.1
We claim that the ground state energy of (1.1) is such that
Upper bound. From (2.39), taking a constant, we obtain
We conclude, taking expectation in the vacuum, that
Lower bound. From (2.39), taking , and using the positivity of , we find
Let denote a normalized ground state vector for . Then is a normalized ground state vector of the excitation Hamiltonian defined in (2.25). Combining Prop. 2.3 with Prop. 2.5, we conclude that
and therefore that
To conclude the proof of Theorem 1.1, we still need to evaluate the constant . To this end, we write (2.38) as
with
| 2.40 |
We first show that
To reach this goal, we apply the scattering equation (2.12) to the second line of (2.40). Noticing that the contribution arising from the r.h.s. of (2.12) is negligible (the r.h.s decays faster, it makes the term of order ), and combining with symmetry we arrive at
| 2.41 |
In the next step, we restrict all sums to . For the second term on the r.h.s. of the last equation, it is easy to check that the corresponding error is negligible, of order . In fact,
| 2.42 |
using the bound . Similarly, one can also bound the contribution to this term arising from the region . Let us now consider the last term on the r.h.s. of (2.41). Observing that
we can restrict the sum to . To restrict it also to , we estimate, using a change of variable ,
| 2.43 |
The term in the first line of (2.41) can be handled similarly. In fact, we control the contribution proportional to as in (2.42). As for the contribution proportional to , we proceed analogously to (2.43). There is here an additional term arising from the change of variable , due to the potential , which can be bounded using that
| 2.44 |
Finally, we replace all renormalized potentials with factors of , and then, using (2.9), by factors of . To bound the corresponding errors, we rely again on estimates of the form (2.44). Considering an example among the terms arising from the contribution on the second line of (2.41), we can bound
To estimate the errors arising from the third line of (2.41), on the other hand, we proceed similarly to (2.43), performing a change of variable , to bound
Also the errors from the first line of (2.41) can be bounded analogously (also here the change of variables needed to handle terms proportional to will produce additional contributions, containing an additional difference , which can be estimated by |v|/N and can be handled similarly as above). We conclude that
| 2.45 |
At this point, we can approximate the sum with an integral. Consider first the contribution proportional to . For , with and , , we find
Setting
this implies that
Observing that
and estimating
we conclude that
Using the identity
we can obtain a similar bound also for the contribution associated with the factor appearing on the r.h.s. of (2.45). Thus
By explicit computation (for fixed r, we first integrate over v using spherical coordinates , with ; the result of the v integral is a radial function of r, which can be integrated using spherical coordinates for r), we find
which concludes the proof of (1.6).
Quadratic Renormalization: Proof of Theorem 2.4
In order to show Theorem 2.4 we will rely on bounds controlling the growth of the number of excitations and of their energy w.r.t. the action of the generalized Bogoliubov transformation . Recall that, from Lemma (2.23), uniformly in N. As shown for example in [13, Lemma 3.1], this implies that for every there exists such that
| 3.1 |
From (2.20), we also obtain rough, non-uniform estimates on the growth of the energy. The proof of the following lemma can be found in [5, Lemma 7.1] (the coefficients and satisfy the same bounds).
Lemma 3.1
Let be defined as in (2.6). Under the same assumptions as in Theorem 2.4, for every there exists such that
| 3.2 |
To prove Theorem 2.4, we will also need to compute the action of the generalized Bogoliubov transformation on creation and annihilation operators more precisely. To this end, we introduce the notation , and we define operators , for , through the identities
| 3.3 |
In position space, we similarly introduce operator-valued distributions , requiring that
Here and similarly for the distribution .
On states with few excitations, ie , the operators are close to the standard creation and annihilation operators . Thus, we expect to act almost as a Bogoliubov transformation; equivalently, we expect to be small. To prove bounds on the fields , we will use the integral representation proven in the following lemma.
Lemma 3.2
For , let and . Then
| 3.4 |
Proof
The commutators
imply the identity
Integrating both sides from to and comparing with (3.3) concludes the proof.
In the next lemma, we collect bounds for the operators that will be used throughout the proof of Theorem 2.4. Similar estimates have been shown in [5], but only under the assumption that the -norm of the coefficients in the Bogoliubov transformation is small enough (which is not satisfied here, since we included in (2.18)). With the help of the representation (3.4), we relax this assumption.
Lemma 3.3
Let , and let . Then there exists such that
| 3.5 |
for all and . Moreover, as distributions,
| 3.6 |
A proof of Lemma 3.3 is given in Appendix A. The main message from Lemma 3.3 is the fact that d-operators, defined through (3.3), are small (and therefore the action of is close to the action of a Bogoliubov transformation) on states with few excitations. For (but not for ), these bounds also allow us to extract some decay for large momenta .
We proceed now with the computation of the renormalized excitation Hamiltonian , which will lead to the proof of Theorem 2.4. From (2.5), we find
with
The form of the operators will be determined in Props. 3.4–3.7, up to negligible errors. To this end, we will argue similarly as in the proof of [5, Proposition 3.2]; however, to resolve the energy to lower order, we will need to keep several additional terms, which did not play an important role in [5].
First of all, we establish the form of the operator .
Proposition 3.4
Under the same assumptions of Theorem 2.4 we have
| 3.7 |
with
| 3.8 |
Remark
Compared with the corresponding result in [5], we additionally need to keep track of the terms appearing in the third and fourth line of (3.7). These terms will be included in the operator defined in (2.29) and eventually will be proven to be negligible after cubic conjugation.
Proof of Proposition 3.4
Writing
and using (3.2) to get rid of the last term, we find
| 3.9 |
with
We decompose the first term on the r.h.s. of (3.9) as
with
With the commutation relations (2.2) (and using ) we obtain
| 3.10 |
with . Applying (3.5), we find (see [5, Equation above (7.16)])
| 3.11 |
As for , using (3.5), , and again , we obtain
with . The first term contributes to the r.h.s. of (3.7). As for the second term, we expand using (3.4). In the resulting expression, we observe that the coefficients and can be replaced by 1 and , respectively, up to negligible errors. As an example, consider
| 3.12 |
We obtain (replacing with only produces small corrections)
with . With (3.3) we observe that (in the first and third line) and that (in second line), up to contributions that can be bounded similarly as in (3.12). Setting , we obtain
with . Applying again (3.3), noticing that contributions involving operators are negligible as a consequence of (3.5), rearranging terms in normal order, computing the integrals over t explicitly and using that , we arrive at
| 3.13 |
where .
Finally, we consider the second term on the r.h.s. of (3.9). Again we apply (3.3) and we observe that all contributions involving the operators are negligible, by (3.5). Furthermore, we notice that the coefficients and can be replaced everywhere by one and, respectively, , up to a negligible error (using again ). Finally, we remark that all terms proportional to are also irrelevant (because the sum over p can be controlled by ). Collecting all terms proportional to (and all commutators arising from normal ordering), we arrive at
| 3.14 |
with . Lastly, we notice that, in (3.13) and in (3.14), the quartic terms which contain both creation and annihilation operators can be treated as errors bounded by . As an example, consider
| 3.15 |
Combining this with (3.10), (3.11), (3.13), we obtain (3.7).
Next, we consider the operator .
Proposition 3.5
Under the same assumptions of Theorem 2.4 we have
| 3.16 |
with
Proof of Proposition 3.4
With (2.7), we write
with
Clearly . Proceeding as in [5, Proposition 7.2] (using (3.3) and the bounds (3.5)) and normal ordering using (2.2), we find
with . As for , we apply (3.3) to decompose
with
| 3.17 |
Using (3.5), we bound the last two terms of by
Using (3.5), the rest of the terms of can be shown to be negligible as well. Arranging the main contributions to and in normal order, we obtain (3.16), up to another negligible remainder.
We now discuss the cubic term .
Proposition 3.6
Under the same assumptions of Theorem 2.4 we have
| 3.18 |
where is defined as in (2.28), and
Proof
From (2.7), we find
with
| 3.19 |
Let us first focus on the main term, we will show later that can be absorbed in the error . With (3.3), we decompose
where, for , collects contributions with j factors , ie.
and
Let us first consider . Rearranging terms in normal order and noticing that all contributions arising from commutators are negligible (because, due to translation invariance, labels of creation operators cannot coincide with labels of annihilation operators without violating the condition ), we find
| 3.20 |
with . Except for , all the terms in can also be treated as error as they are bounded by . In fact, considering for example one of the contributions in the last line of (3.20), we have
Next, we show that the terms , , and are negligible. First, let us consider . Terms with at least one -coefficient can be estimated by Cauchy-Schwarz, using (3.5). For example,
The term proportional to can be handled similarly, estimating and using the factor to sum over q. The terms proportional to or are slightly more challenging, because we prefer to avoid commutators between b and d operators. Still, using (3.5) (and the smallness of , for ) we can estimate
and similarly for the term proportional to . Thus
As for , it follows from [5, Eq. (7.32)] that
To bound , we switch to position space. With (3.6) and using (2.20) to show , we obtain
Finally, let us get back to the term , from (3.19). Using Lemma 3.1, we can write
where . Now, we expand and, on the other side, using (3.3). The resulting terms can be controlled as above; by (3.1), the additional factor does not affect the estimates (when applying Cauchy-Schwarz, it is however important not to act with the kinetic energy operator on ). At the end, the main contribution has the form (with as in (2.28)) and can be bounded, using repeatedly (3.1), by
We conclude that . Together with (3.20) and with the bounds for , this concludes the proof of the proposition.
Finally, we consider the action of on the operator , defined in (2.6).
Proposition 3.7
Under the same assumptions of Theorem 2.4 we have
| 3.21 |
with
Remark
Compared with the corresponding result in [5], here we also keep track of the terms appearing in the fifth and sixth line of (3.21). These terms will be included in the operator defined in (2.29) and will be shown to be negligible after cubic conjugation.
Proof
Proceeding as in the proof of [5, Lemma 7.4], we find (with the notation )
| 3.22 |
with . Again, following [5, Lemma 7.4], we can write the first term on the r.h.s. as
| 3.23 |
where
and (this error includes also the terms in the proof of [5, Lemma 7.4]). Considering separately quartic, quadratic and constant contributions to , we find
| 3.24 |
where . Additionally, except for , the quartic terms containing both creation and annihilation operators can be considered as errors and are bounded by as in (3.15). For the term , proceeding as for (3.17), we get
| 3.25 |
Let us now consider the second term on the r.h.s. of (3.22). Proceeding as in the proof of [5, Lemma 7.4], we find
| 3.26 |
where
and (the first line on the r.h.s. of (3.26) corresponds to the term in the proof of [5, Lemma 7.4]; the term is absorbed here into the error ). We decompose
| 3.27 |
Furthermore, we can write
With (3.1), we can bound
We control in position space, again with the help of (3.1). We find
As for , we partially switch to position space and use Eq. (3.5), (3.6), the bound and the inequality
to estimate
As for the term on the r.h.s. of (3.27), we find, with (3.5),
Combining (3.22), (3.23), (3.24),(3.25), (3.26), (3.27) with the bounds for and using , we obtain (3.21).
We are now ready to conclude the proof of Theorem 2.4.
Proof of Theorem 2.4
Collecting all terms linear in the operators from (3.7), (3.16) and from (3.21), we define
With the scattering equation (2.12) and (3.5), we obtain
where . Handling the contribution proportional to as in [5, Section 7.5] (where the contribution is labeled ), and using (3.4) to expand the rest of the term, we find
where . Next, we compute the action of on ; with (3.3), we find
with . In a similar way to (3.15), one can show that the contribution of the quartic terms which contain both creation and annihilation operators can be treated as errors bounded by . Combining this with all other contributions in (3.7), (3.16), (3.18) and (3.21), we obtain
| 3.28 |
where are defined as in (2.27), (2.28), (2.29), and
| 3.29 |
Moreover,
| 3.30 |
To conclude the proof of Theorem 2.4, we consider the quadratic term on the r.h.s. of (3.28). Adding and subtracting the contributions that will arise from the cubic conjugation in Theorem 2.6, we rewrite the coefficients in (3.29) as
where
Recalling , and the definition (2.17) of the coefficients , we obtain,
which implies that , and
| 3.31 |
leading to . This concludes the proof of Theorem 2.4.
Proof of Proposition 2.5
The goal of this section is to show Prop. 2.5, controlling the growth of the number of excitations and of their energy with respect to cubic conjugation. To reach this goal, we are going to estimate the commutators of and of the Hamiltonian with the cubic operator A, as defined in (2.32). Since in the proof of Theorem 2.6 we will need to compute , the next proposition contains precise estimates, which are not really needed in the proof of Prop. 2.5.
Lemma 4.1
We have
| 4.1 |
where
| 4.2 |
| 4.3 |
Moreover,
| 4.4 |
where
| 4.5 |
and
| 4.6 |
Furthermore, we have
| 4.7 |
for any .
Remark
The coefficients entering the cubic operator A are defined in (2.33) exactly so that the contribution to the commutator proportional to only enters in the term containing in (4.2) (and it is absent from the term containing in (4.3)).
To prove Lemma 4.1, we will use the following auxiliary lemma.
Lemma 4.2
For , we define the coefficients
| 4.8 |
Then, we have
| 4.9 |
Proof
We split , with indicating the contribution of the first, respectively, the second term in the square brackets. We will show (4.9) separately, for and . We have
Similarly, we obtain
using the bound , in the region . The bound for the third summand on the left hand side of (4.9) follows immediately from .
To handle , we decompose with
Estimating , it is easy to check that (4.9) holds true, if we replace with . Let us now consider the contribution of . Through a change of variable we find
| 4.10 |
The contribution of to (4.9) can be bounded easily, as we did with . Let us focus on the contribution of . From the Lipschitz continuity of , we obtain
| 4.11 |
Similarly, we can also estimate the last term on the l.h.s. of (4.9). As for the second term in (4.9), it can be bounded by (4.11), if we restrict the sum over to momenta with . For , on the other hand, we switch to position space and get
| 4.12 |
where we used the bound for .
Now we are ready to prove Lemma 4.1.
Proof of Lemma 4.1
With the commutation relations (2.2) and the definition (2.32), we find
Recalling (2.33), we immediately obtain (4.1).
A slightly longer (but still straightforward) computation shows that (4.4) holds true, with
| 4.13 |
Using that , we can bound the first term by
As for the second term on the r.h.s. of (4.13), we observe that . We obtain
To bound the third term, we switch to position space. We find
where, in the last step, we used (see (2.11) and (2.10)) and Hardy’s inequality (and the estimate ). Finally, let us consider the last term on the r.h.s. of (4.13). We only show how to bound the contribution proportional to , the others can be estimated similarly. With , we obtain
This concludes the proof of (4.6).
Proceeding as we did above, it is also simple to verify that the error term satisfy (4.7). To conclude the proof of the bound (4.7), we observe, first of all, that
and
| 4.14 |
We rewrite the term as
Using (2.11), the decomposition , and the fact that (see (2.20)), we can bound
With (4.9), we bound as
| 4.15 |
We can now prove Proposition 2.5
Proof of Prop. 2.5
The proof of the bound (2.34) follows similarly as in [5, Prop. 4.2]. To show (2.35) we consider the function
for , and its derivative
Since
and using that , we immediately find
Using Gronwall’s lemma, and Eq. (2.34), we have
which concludes the proof of (2.35). To show (2.36), we define
for . Differentiating with respect to s, we have
We consider first . From (4.7), we find
As for the term , we observe that the proof of [5, Prop. 4.4] (restricted to ) can be easily extended to general . We conclude that
Putting together the estimates for and , we obtain
for any and for some constant . With Gronwall’s lemma we get the desired result.
Cubic Renormalization: Proof of Theorem 2.6
The starting point for proving Theorem 2.6 is the representation (2.30) for the excitation Hamiltonian . To determine the structure of , we will separately apply the cubic conjugation to the different summands in .
Control of quadratic terms
To conjugate quadratic terms in (excluding the kinetic energy), we will make use of the following lemma.
Lemma 5.1
Let A be defined as in (2.32). For , let . Set
Then
| 5.1 |
Moreover,
| 5.2 |
Suppose now for all and set
Then
| 5.3 |
and
| 5.4 |
Proof
From the identity
we find (5.1) and (5.2), using that and that ( is square integrable in both its variables), uniformly in N. To prove (5.3), (5.4), we proceed as in the proof of [5, Prop. 8.2]. From the commutation relations (2.2), we obtain
| 5.5 |
where the error term collects contributions due to the fact that the modified creation and annihilation operators do not exactly satisfy canonical commutation relations. We have
| 5.6 |
and also
| 5.7 |
Bounding the explicit terms on the r.h.s. of (5.5) one by one, we conclude the proof of the lemma. As an example, consider the first term on the first line. We can estimate
or, if ,
In contrast to the proof of (5.1) and (5.2) (where we only used the norm of w and of ), here we need the decay of the observable O (because and both decay in the same variable r and in one of the factors arising from the Cauchy-Schwarz inequality only the observable provides decays in v). The last term on the r.h.s. of (5.5) can be bounded similarly. The other terms can be estimated using the norm of O and the fact that , , uniformly in N.
Applying Lemma 5.1, we obtain the following proposition.
Proposition 5.2
Recall the operator , defined in (2.29). Furthermore, from (2.30), we consider the operators
Then, for every , we have
| 5.8 |
and also
where
Proof
First of all, we observe that
and also that
for all . Thus, we can apply Lemma 5.1 (and in particular (5.1) and (5.3)) to estimate the commutators [D, A], [E, A]. Writing
we can therefore bound
From Prop. 2.5, we conclude that
Similarly, we can also bound .
To show (5.8), we rewrite
with
and we observe that for all and that
| 5.9 |
This implies that
and, by Lemma 5.1, also that
Writing
Control of quartic terms
Next, we control the quartic error term , defined in (2.29). To this end, we will make use of the following lemma.
Lemma 5.3
Let A be defined as in (2.32). We consider a quartic operator of the form
where we assume that, for , the coefficients are so that
| 5.10 |
Here, means the same quantity, but inverting the role of the momenta r and p (ie. in the first term, we sum over r, q and we take the supremum over p, and similarly for the other terms). This assumption reflects the fact that (in applications) one of the momenta r, p, q is the argument of the potential while the dependence on the other two momenta is square-summable. Then there exists such that
for all .
Proof
We decompose
After a long but straightforward computation based on the commutation relations (2.2), we find
| 5.11 |
with the coefficients
| 5.12 |
and
| 5.13 |
with
In (5.11), (5.13), the error terms are produced by the fact that the commutation relations (2.2) are not precisely canonical and can be controlled by
To bound the first term in (5.11), we can use Cauchy-Schwarz. Let us consider for example the contribution , arising from the first term in the identity (5.12) for . We find
With different choices of the weight in the Cauchy-Schwarz inequality, we can exchange the role of the labels r, p, q. Proceeding analogously for the terms arising from the other contributions to , we arrive at
where we applied the assumption (5.10). Also the other quintic terms, in (5.11) and in (5.13), can be handled similarly. Let us now consider the cubic terms. The contribution to the cubic term on the last line of (5.11) arising from the first term in the expression for in (5.12) can be bounded by
Analogously, the estimate also holds if we replace with . But we cannot replace with . So, we proceed slightly differently, using to bound
From the assumption (5.10), we conclude that
Also the other contributions to the cubic term in (5.11) can be handled similarly. The second term on the r.h.s. of (5.13) can be estimated by
As for the last two terms on the r.h.s. of (5.13), they can be controlled similarly as . We skip the details.
We can now control the conjugation of the quartic component of .
Proposition 5.4
Let be defined as in (2.29) and A as in (2.32). Then, for every small enough, we have
Proof
We write
| 5.14 |
Next, we observe that
In fact, the contribution of the first term in the definition (2.29) of is bounded by
Also the other contributions to can be bounded similarly. As for the second term on the r.h.s. of (5.14), we apply Lemma 5.3. To this end, we observe that all terms in satisfy the assumption (5.10) (with for the first term, for the second term, for the third term). We obtain
where in the last step we also used Prop. 2.5.
Control of cubic term
In this section, we study the conjugation of the cubic term . We will use the next lemma.
Lemma 5.5
Let be defined as in (2.28) and A as in (2.32). Then, we have
| 5.15 |
where
| 5.16 |
is a quadratic operator, with coefficients satisfying
| 5.17 |
and where
| 5.18 |
is a quartic operator with coefficients satisfying (5.10). Furthermore, we have
| 5.19 |
for every .
Proof
From (2.28), (2.32), we can decompose
with
We analyze the four terms separately. From (2.2), we obtain
| 5.20 |
where the error (and, similarly, the errors , , below) is due to the fact that the commutation relations (2.2) are not precisely canonical and can be estimated by
Using the fact that , the second term on the r.h.s. of (5.20) can be bounded by
| 5.21 |
As for the third term on the r.h.s. of (5.20), we notice that implies that the quadratic term proportional to is bounded by . To handle the other contributions, we write
| 5.22 |
The contributions proportional to and are bounded by , since . To bound the contribution of the last term, we distinguish and . For , we estimate
| 5.23 |
since . For , we proceed with a change of variable and obtain
Using Lipschitz contiuity of in the first term on the r.h.s and the bound in the second term, we obtain
proceeding similarly as in (5.23).
Noticing that the coefficients satisfy the assumption (5.10), we denote by the quartic operator on the first line on the r.h.s. of (5.20); it will be absorbed in (5.18). We conclude that
| 5.24 |
where
Let us now consider . From (2.2), we obtain
| 5.25 |
with . The first term on the r.h.s. can be controlled, using Cauchy-Schwarz, by
| 5.26 |
The other quartic terms on the r.h.s. of (5.25) can be bounded similarly. We conclude that
| 5.27 |
where
for all .
Next, we consider . With (2.2), we find
| 5.28 |
where . The first term on the r.h.s. can be handled similarly to (5.26). The second term can be bounded analogously to (5.21). Let us now consider the quadratic terms.
The term proportional to is controlled by , since the sum over q can be bounded using , . In the next quadratic term, proportional to , the bound allows us to estimate the corresponding contribution by . To handle the contributions proportional to , , we recall (5.22). The contribution of all terms on the r.h.s. of (5.22), with the exception of the term proportional to , can be estimated by and can therefore be neglected.
As for the constant term on the r.h.s. of (5.28), we write
and we notice that the contribution associated with the last two lines is of the order (because these terms are all summable over p, q). We conclude that
| 5.29 |
where
for all .
Finally, we consider . Again with (2.2), we find
| 5.30 |
with . Since the coefficients and satisfy the assumption (5.10), we denote by and the quartic operators on the first and second line of (5.30); we will absorb them in (5.18). The other quartic contributions to can be bounded similarly to (5.21) (term on the fourth line) and (5.26) (term on the third line). As for the quadratic terms, the contribution proportional to in the last line is small, since
Similarly, in the contribution proportional to in the last line, we can replace by 1, up to an error bounded by . Observing that the coefficients
satisfy (5.17), we conclude that
| 5.31 |
where
for all , where has the form (5.16), with coefficients satisfying the corresponding conditions (5.17), and where have the form (5.18), with coefficients satisfying (5.10). Combining (5.24), (5.27), (5.29), (5.31), we obtain (5.15).
Making use of the last lemma, we can compute , up to small errors.
Proposition 5.6
Let be defined as in (2.28) and A as in (2.32). Under the same assumptions as Theorem 2.6, we have
| 5.32 |
where, for every small enough, we have
for all .
Proof
We write
| 5.33 |
From Lemma 5.5, we recall the identity
where is a quadratic operator having the form (5.16), is a quartic operator like (5.18) and satisfies the bounds (5.19). From Prop. 5.2, we find
where, for any small enough,
Using (5.17) and proceeding as in the proof of (5.8) (applying Lemma 5.1 and using that the coefficients in (5.16) satisfy (5.17)), we obtain that, for any ,
Moreover, proceeding as in Prop. 5.4 (we can apply Lemma 5.3, because the coefficients in (5.18) satisfy (5.10)), we obtain that, for any ,
From Prop. 2.5, we also get
Control of
Finally, we conjugate the Hamiltonian . Besides Lemma 4.1, we will also need estimates for the the commutators of the terms , defined in (4.3) and, respectively, (4.5), with A.
Lemma 5.7
Let A be defined as in (2.32) and , be defined as in Lemma 4.1. Then
| 5.34 |
Moreover,
| 5.35 |
with
Proof
We start by proving (5.34). Recalling the definitions (2.32) and (4.3) of A and , we can split
with
Up to terms of lower order (due to the fact that the operators do not exactly satisfy canonical commutation relations), the operators only contain quartic contributions, satisfying (5.34). As an example, consider the term
contributing to , which can be bounded by
| 5.36 |
where we estimated
as can be proven separating and (in the second region, we can apply the last bound in (2.20)). All other contributions to can be handled similarly. Let us focus on the other terms. With (2.2), we find
| 5.37 |
with
| 5.38 |
Here, and in the rest of this proof, we will denote by contributions due to the fact that the commutation relations (2.2) are not exactly canonical. All these contributions satisfy an estimate like (5.38) and are therefore negligible. All quartic terms on the r.h.s. of (5.37) are small. As an example, we can bound
| 5.39 |
All other quartic terms are bounded similarly. To estimate the quadratic term in the first line of (5.37), we observe that, with the change of variables and ,
| 5.40 |
which is clearly controlled by . Thus,
Next, let us consider the term . With (2.2), we find
with . All quartic terms can be bounded similarly as (5.39). For the first two quadratic terms on the first line (the ones proportional to and ), we notice that, for any , and therefore, choosing ,
| 5.41 |
Using Eq. (5.22), we rewrite the rest of the quadratic terms as
The terms in the last three lines can all be bounded, first summing over r and then proceeding similarly as in (5.41), by . As for the first term on the r.h.s., the contribution proportional to vanishes, as can be seen replacing . Moreover, switching ,
With , we can proceed as in (5.41) to prove that also this contribution is bounded by . We conclude that
Next, we show (5.35). We write
where
and the coefficient is defined as in (4.8). With (2.2), we find
where . Let us bound, using Eq. (4.9), the contribution proportional to ; the other terms can be controlled analogously.
| 5.42 |
We conclude that .
Next, we consider the term . Using (2.2), we find
where . The quartic terms can be controlled in a similar way to , using the second bound in (4.9). Also the first two quadratic contributions, proportional to and , can be estimated using the second bound in (4.9). As for the last quadratic term, the one proportional to , it can be handled using the third bound of (4.9). In fact,
| 5.43 |
We conclude that .
Finally, we consider . We decompose , where ,
and
Using (4.9) (in particular, the bound for the first two terms on the l.h.s. of (4.9)), as well as , can be estimated by .
Also the quadratic terms are negligible. Indeed, the terms proportional to are easily bounded by , using the first estimate in (4.9). The quadratic terms proportional to , on the other hand, can be controlled using the third bound in (4.9) and , similarly to (5.43). Finally, we consider the constant term in . From the definition (2.33) of , we arrive at
| 5.44 |
With (4.9), and , it is easy to show that the terms in the third and fourth lines are small, bounded by . The terms on the second line are also negligible, since
Recalling the definition (4.8) of to rewrite the first term on the r.h.s. of (5.44), we obtain (5.35).
Combining Lemma 4.1 with Lemma 5.7, we can now compute the action of A on the Hamiltonian .
Proposition 5.8
Let A be defined as in (2.32), and . Let be defined in (2.28), and be defined in Lemma 4.1. Then, under the same assumptions as in Theorem 2.6, we have
| 5.45 |
where, for every (s.t. )
Proof
From Lemma 4.1, we find, using the scattering equation (2.12) to combine and ,
where
Here we used the estimate (for fixed , independent of N), to absorb into the error the contribution arising from the r.h.s. of the scattering equation (2.12), when combining and . Thus, we obtain
| 5.46 |
From Prop. 2.5, we find
With Prop. 5.6 we obtain, after integration over s,
| 5.47 |
where, for every ,
Finally, we compute
We estimate the terms in the integral over t using Lemma 5.7. We conclude that
| 5.48 |
where
Furthermore, from (4.15) we have
As for , from (4.14) we also have
Combining (5.48) with (5.47), and (5.46), and using the definition of we arrive at (5.45).
Proof of Theorem 2.6
We start from (2.30) in Theorem 2.4. We use Prop. 2.5 to estimate
Combining the expansion (2.30) for with Prop. 2.5 and with the results of Prop. 5.2, Prop. 5.4, Prop. 5.6 and Prop. 5.8, we conclude that
| 5.49 |
where, for every (s.t. ), we have
Notice here that the quadratic terms appearing on the second line of (2.30) cancel exactly the quadratic contribution arising from conjugation of the cubic term (as determined in Prop. 5.6) and of the Hamiltonian (as determined in Prop. 5.45)1
To complete the proof of Theorem 2.6, we observe, first of all, that the terms on the second line of (5.49) produce, up to smaller errors, the terms on the second line of (2.38). To this end, we consider the difference
where we compare and with and, respectively, . Using , the first contribution can be shown to be of order . Also the second contribution, containing the factor , is of order ; this can be proven proceeding similarly as we did after (5.23), switching and using the Lipschitz continuity of for .
Finally, we claim that the constant terms on the first line on the r.h.s. of (5.49) match, up to negligible errors, the terms on the first line on the r.h.s. of (2.38). To this end, we set (recall (2.27) for the definition of )
with , , and . We now claim that
| 5.50 |
To show (5.50), we consider the following quantities, defined in terms of the kernel :
and
In [5, Lemma 5.4 (i)] it was proven that
| 5.51 |
In fact, the statement in [5, Lemma 5.4 (i)] contains a larger remainder, of the order , emerging when controlling the difference
| 5.52 |
We can however show that this remainder is indeed smaller, of the order , consistently with (5.51). Taylor expansion of the square root easily implies that the whole square bracket is bounded, in absolute value, by . Hence, the sum over momenta can be estimated by . To treat , we notice that the function
has derivative
satisfying (as it follows again by expansion of the square root). This implies that , for all x, y varying in a bounded interval. Estimating
| 5.53 |
since by symmetry, we conclude that the bracket in (5.52) is bounded, in absolute value, by . Thus, the sum over all can also be estimated by C/N.
From (5.51), it follows that, in order to show (5.50), it is enough to prove that
| 5.54 |
To this end, we consider
| 5.55 |
Let us separately manipulate the three main contributions to the sum in the right hand side. Through elementary identities we find
and therefore the first contribution to the right hand side of (5.55) is
| 5.56 |
In a similar way we rewrite the second contribution as
| 5.57 |
In order to rearrange the third contribution to the right hand side of (5.55), notice that
Since , the second term on the r.h.s. (containing ) yields a contribution bounded by when inserted in the sum over p, q in (5.55). Using the estimate to handle the last two terms (they give the same contribution), decomposing and similarly for and subtracting the terms , we find (adding also a negligible term proportional to )
| 5.58 |
Plugging (5.56), (5.57), and (5.58) into the right hand side of (5.55), the terms with a minus sign recombine into
As already discussed in (3.31), the other terms produce
This concludes the proof of (5.54).
To conclude the proof of Theorem 2.6, we observe now that, combining Lemma 2.1 and (5.53), we find
This allows us to replace the dispersion of the term on the third line of (5.49) with , since
can be absorbed in the error.
Acknowledgements
We would like to thank the two anonymous referees for carefully reading our paper and suggesting several improvements. We gratefully acknowledge partial support from the Swiss National Science Foundation through the Grant “Dynamical and energetic properties of Bose–Einstein condensates”, from the NCCR SwissMAP and from the European Research Council through the ERC-AdG CLaQS. C.C. and A.O. acknowledge support from the GNFM Gruppo Nazionale per la Fisica Matematica - INDAM. A.O. acknowledges support from MUR through the grant “Dipartimento di Eccellenza 2023-2027” of Dipartimento di Matematica, Politecnico di Milano.
Bound for d-Operators
In this section we prove Lemma 3.3, without any assumptions on the smallness of the -norm of the kernel of the Bogoliubov transformation. We start by proving the following Lemma
Lemma A.1
Let be defined as in (2.24). Then there exists such that the following bounds hold true:
| A.1 |
| A.2 |
| A.3 |
| A.4 |
for any , any , and .
Proof
The bounds (A.1)–(A.4) can all be shown using Gronwall’s Lemma. We focus on (A.1); the other estimates can be proven similarly. We consider
| A.5 |
With the commutation relation (2.2), we find
| A.6 |
Now we consider . We find
| A.7 |
Therefore
Inserting the last equation and (A.6) in (A.5) and applying Gronwall’s Lemma, we obtain the desired bound.
Proof of Lemma 3.3
We start with the first bound in Eq. (3.5). From (3.4), we find
Observing that and that
| A.8 |
we conclude, with the help of (3.1) and Lemma A.1, that
The second estimate in (3.5) follows similarly (it is simpler, because we do not need to extract factors decaying in p). Let us now consider the third bound in (3.5). We proceed as above, applying (3.4). We find
Commuting to the right of all creation operators, proceeding as in (A.8) to bound the terms in the second and fourth line and applying Lemma A.1, we conclude that
Also the fourth estimate in (3.5) can be shown analogously. To prove (3.6), we rewrite (3.4) in position space. We obtain
With the last identity, we can show the first two bounds in (3.6) similarly as we did above for the estimates in (3.5). The third bound in (3.6) follows directly from the first two (applying the first bound to , and then the first and the second bound to the vector ).
A-Priori Bounds: Proof of Proposition 2.3
Proof
It follows from [5, Proposition 4.1] that for every there exists such that
| B.1 |
for . We are going to show that the same bounds hold true, if we replace with . Since (see [5, Lemma 6.2]), this will conclude the proof of Prop. 2.3. From (3.1) and from the corresponding bound for , it follows immediately that
Thus, we focus on the expectation of . For , we compute
where we defined . Using (3.3), we write
where
Therefore,
| B.2 |
With (2.21), we have
where we applied (3.1) and then (B.1). Using (A.7), we can bound the second term on the r.h.s. of (B.2) by
We now focus on the last term on the r.h.s. of (B.2). Using , we have
where we defined
We first consider . Making use of the third bound in (3.5), the first contribution to is estimated in absolute value by
where we used (B.1) after applying (3.2), (3.1), to control the growth of moments of and of w.r.t. the action of and . The other contributions to can be bounded similarly. Also can be bounded using the estimates in (3.5); we skip the details. As for the term , the contributions proportional to can be bounded using the fourth bound in (3.5). The second contribution proportional to , on the other hand, can be estimated after normal ordering by
where we applied again the fourth bound in (3.5). Finally, let us consider the first contribution to . Using the expansion (3.4), we find
| B.3 |
With (A.1), (3.1), (3.2) and, again, (B.1), the first term is bounded by
The contributions on the r.h.s. of (B.3) that are proportional to can be handled similarly, using also the estimate
As for the second term proportional to on the r.h.s. of (B.3), we write and we observe that the contribution associated with the error is negligible (it can be bounded through Cauchy-Schwarz). The contribution associated with , on the other hand, can be estimated using (3.3) by
The term proportional to is bounded by
where we used (A.1), (3.1), (3.2) and (B.1). The term proportional to can be handled analogously. As for the contribution proportional to , we can apply the fourth bound in (3.5) to conclude that
using again (A.1) (twice, in the first term in the parenthesis, to pass through the unitary operators ), (3.1) (in the second and third terms, to pass powers of through the unitary operators), (3.2) and (B.1). Combining all bounds, we arrive at
and the claim follows from Gronwall’s Lemma.
Funding
Open access funding provided by University of Geneva.
Data availability statement
This manuscript has no associated data.
Declarations
Conflict of interest
All authors declare that they have no Conflict of interest.
Footnotes
Roughly speaking, the goal of conjugation with is to eliminate the cubic term appearing in the expression (2.30) for . To reach this goal, we require that, in an appropriate sense, . But then, , which implies that and therefore that . Since and A are both cubic in (modified) creation and annihilation operators, is, to leading order, quartic. Arranging it in normal order, we generate quadratic terms (cancelling the quadratic operator on the second line of (2.30)) and constant terms (correcting the ground state energy).
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
References
- 1.Adhikari, A., Brennecke, C., Schlein, B.: Bose–Einstein condensation beyond the Gross–Pitaevskii regime. Ann. Henri Poincaré 22, 1163–1233 (2021) [DOI] [PMC free article] [PubMed] [Google Scholar]
- 2.Basti, G., Cenatiempo, S., Giuliani, A., Olgiati, A., Pasqualetti, G., Schlein, B.: Upper bound for the ground state energy of a dilute Bose gas of hard spheres. Arch. Ration. Mech. Anal 248(100) (2024) [DOI] [PMC free article] [PubMed]
- 3.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) [Google Scholar]
- 4.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 (2021) [Google Scholar]
- 5.Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: Bogoliubov theory in the Gross–Pitaevskii limit. Acta Math. 222(2), 219–335 (2019) [Google Scholar]
- 6.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) [Google Scholar]
- 7.Boccato, C., Deuchert, A., Stocker, D.: Upper bound for the grand canonical free energy of the Bose gas in the Gross–Pitaevskii limit. SIAM Journal on Mathematical Analysis 56 (2024)
- 8.Bogoliubov, N.N.: On the theory of superfluidity. Izv. Akad. Nauk. USSR 11, 77 (1947). Engl. Transl. J. Phys. (USSR) 11, 23 (1947)
- 9.Bossmann, L., Leopold, N., Petrat, S., Rademacher, S.: Ground state of Bose gases interacting through singular potentials. Preprint arXiv:2309.12233
- 10.Bossmann, L., Petrat, S., Seiringer, R.: Asymptotic expansion of the low-energy excitations for weakly interacting bosons. Forum Math. Sigma 9, 1–61 (2021) [Google Scholar]
- 11.Brennecke, C., Brooks, M., Caraci, C., Oldenburg, J.: A short proof of Bose–Einstein condensation in the Gross–Pitaevskii regime and beyond. In: Annales Henri Poincaré, pp. 1–21. (2024) [DOI] [PMC free article] [PubMed]
- 12.Brennecke, C., Caporaletti, M., Schlein, B.: Excitation spectrum for Bose gases beyond the Gross–Pitaevskii regime. Rev. Math. Phys. 34(09), 2250027 (2022) [Google Scholar]
- 13.Brennecke, C., Schlein, B.: Gross–Pitaevskii dynamics for Bose–Einstein condensates. Anal. PDE 12(6), 1513–1596 (2019) [Google Scholar]
- 14.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(2), 12 (2022) [Google Scholar]
- 15.Brennecke, C., Schlein, B., Schraven, S.: Bogoliubov theory for trapped bosons in the Gross–Pitaevskii regime. In: Annales Henri Poincaré (2022) [DOI] [PMC free article] [PubMed]
- 16.Brooks, M.: Diagonalizing Bose Gases in the Gross–Pitaevskii regime and beyond. Commun. Math. Phys. 406(1), 1–59 (2025) [DOI] [PMC free article] [PubMed]
- 17.Caporaletti, M., Deuchert, A.: Upper bound for the grand canonical free energy of the Bose gas in the Gross–Pitaevskii limit for general interaction potentials. Annales Henri Poincaré (2024)
- 18.Caraci, C., Cenatiempo, S., Schlein, B.: Bose–Einstein condensation for two dimensional bosons in the Gross–Pitaevskii regime. J. Stat. Phys. 183(3), 39 (2021) [DOI] [PMC free article] [PubMed] [Google Scholar]
- 19.Caraci, C., Cenatiempo, S., Schlein, B.: The excitation spectrum of two dimensional Bose gases in the Gross–Pitaevskii regime. In: Annales Henri Poincaré, pp. 1–52 (2023) [DOI] [PMC free article] [PubMed]
- 20.Deuchert, A., Seiringer, R.: Gross–Pitaevskii limit of a homogeneous Bose gas at positive temperature. Arch. Rat. Mech. Ann. 236, 1217 (2020) [Google Scholar]
- 21.Dyson, F.J.: Ground-state energy of a hard-sphere gas. Phys. Rev. 106, 20–26 (1957) [Google Scholar]
- 22.Fournais, S., Solovej, J.P.: The energy of dilute Bose gases. Ann. Math. 192, 893–976 (2020) [Google Scholar]
- 23.Fournais, S., Solovej, J.P.: The energy of dilute Bose gases II: the general case. Inv. Math. 232(2), 863–994 (2023) [Google Scholar]
- 24.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
- 25.Hainzl, C., Schlein, B., Triay, A.: Bogoliubov theory in the Gross–Pitaevskii limit: a simplified approach. Forum Math. Sigma 10, e90 (2022) [Google Scholar]
- 26.Hugenholtz, N.M., Pines, D.: Ground-state energy and excitation syectrum of a system of interacting bosons. Phys. Rev. 116(3), 489–506 (1959) [Google Scholar]
- 27.Lee, T.D., Huang, K., Yang, C.N.: Eigenvalues and eigenfunctions of a Bose system of hard spheres and its low-temperature properties. Phys. Rev. 106(6), 1135–1145 (1957) [Google Scholar]
- 28.Lieb, E.H., Seiringer, R.: Proof of Bose–Einstein condensation for dilute trapped gases. Phys. Rev. Lett. 88, 170409 (2002) [DOI] [PubMed] [Google Scholar]
- 29.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) [Google Scholar]
- 30.Lieb, E.H., Seiringer, R.: Derivation of the Gross–Pitaevskii equation for rotating Bose gases. Commun. Math. Phys. 264, 505–537 (2006) [Google Scholar]
- 31.Lieb, E.H., Yngvason, J.: Ground state energy of the low density Bose gas. Phys. Rev. Lett. 80, 2504–2507 (1998) [Google Scholar]
- 32.Nam, P.T., Napiórkowski, M.: Two-term expansion of the ground state one-body density matrix of a mean-field Bose gas. Calc. Var. PDE 60, 99 (2021) [Google Scholar]
- 33.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) [Google Scholar]
- 34.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) [Google Scholar]
- 35.Nam, P.T., Triay, A.: Bogoliubov excitation spectrum of trapped Bose gases in the Gross–Pitaevskii regime. J. de Math. Pur. App. 176, 18–101 (2023) [Google Scholar]
- 36.Pizzo, A.: Bose particles in a box III. A convergent expansion of the ground state of the Hamiltonian in the mean field limiting regime. Preprint arXiv:1511.07026
- 37.Sawada, K.: Ground-state energy of Bose–Einstein gas with repulsive interaction. Phys. Rev. 116(6), 1344–1358 (1959) [Google Scholar]
- 38.Wu, T.T.: Ground state of a Bose system of hard spheres. Phys. Rev. 115(6), 1390–1404 (1959) [Google Scholar]
- 39.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) [Google Scholar]
Associated Data
This section collects any data citations, data availability statements, or supplementary materials included in this article.
Data Availability Statement
This manuscript has no associated data.
