Abstract
We consider systems of bosons trapped in a box, in the Gross–Pitaevskii regime. We show that low-energy states exhibit complete Bose–Einstein condensation with an optimal bound on the number of orthogonal excitations. This extends recent results obtained in Boccato et al. (Commun Math Phys 359(3):975–1026, 2018), removing the assumption of small interaction potential.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider systems of N bosons trapped in the three-dimensional box \(\Lambda = [0;1]^3\), with periodic boundary conditions (the three dimensional torus with volume one), interacting through a repulsive potential with scattering length of the order \(N^{-1}\), a scaling limit known as the Gross–Pitaevskii regime. The Hamilton operator is given by
and acts on a dense subspace of \(L^2_s (\Lambda ^N)\), the Hilbert space consisting of functions in \(L^2 (\Lambda ^N)\) that are invariant with respect to permutations of the N particles. We assume here \(V \in L^3 ({\mathbb {R}}^3)\) to have compact support and to be pointwise non-negative (i.e. \(V(x) \ge 0\) for almost all \(x \in {\mathbb {R}}^3\)).
Instead of trapping the Bose gas into the box \(\Lambda = [0;1]^3\) and imposing periodic boundary conditions, one could also confine particles through an external potential \(V_\text {ext} : {\mathbb {R}}^3 \rightarrow {\mathbb {R}}\), with \(V_\text {ext} (x) \rightarrow \infty \), as \(|x| \rightarrow \infty \). In this case, the Hamilton operator would have the form
and it would act on a dense subspace of \(L^2_s ({\mathbb {R}}^{3N})\).
Lieb et al. proved in [12] that the ground state energy \(E^\text {trap}_N\) of (1.2) is such that, as \(N \rightarrow \infty \),
with the Gross–Pitaevskii energy functional
where \(\mathfrak {a}_0\) denotes the scattering length of the unscaled interaction potential V.
In [10], Lieb–Seiringer also proved that the normalized ground state vector \(\psi ^\text {trap}_N\) of (1.2) exhibits complete Bose–Einstein condensation in the minimizer \(\varphi _\text {GP}\) of (1.3), meaning that its reduced one-particle density matrix \(\gamma _N = \mathrm{tr}_{2,\ldots , N} |\psi ^\text {trap}_N \rangle \langle \psi ^\text {trap}_N |\) (normalized so that \(\mathrm{tr}\, \gamma _N =1\)) satisfies
as \(N \rightarrow \infty \) (convergence holds in the trace norm topology; since the limit is a rank-one projection, all reasonable notions of convergence are equivalent). Equation (1.4) asserts that, in the ground state of (1.2), all bosons, up to a fraction that vanishes in the limit \(N \rightarrow \infty \), occupy the same one-particle state \(\varphi _\text {GP}\). In [11], Lieb–Seiringer extended Eq. (1.4) to reduced density matrices associated with normalized sequences of approximate ground states, ie. states with expected energy per particle converging to the minimum of (1.3) (under the constraint \(\Vert \varphi \Vert = 1\)).
A new proof of the results described above has been later obtained by Nam et al. [14], making use of the quantum de Finetti theorem, first proposed in the mean-field setting by Lewin et al. [7, 8].
The results of [10,11,12, 14] can be translated to the Hamilton operator (1.1), defined on the torus, with no external potential. They imply, first of all, that the ground state energy \(E_N\) of (1.1) is such that
Furthermore, they imply that for any sequence of approximate ground states, ie. for any sequence \(\psi _N \in L^2_s (\Lambda ^N)\) with \(\Vert \psi _N \Vert = 1\) and
the reduced density matrices \(\gamma _N = \mathrm{tr}_{2, \ldots , N} |\psi _N \rangle \langle \psi _N |\) are such that
where \(\varphi _0 \in L^2 (\Lambda )\) is the zero momentum mode defined by \(\varphi _0 (x) = 1\) for all \(x \in \Lambda \). Since we will make use of this result in our analysis and since, strictly speaking, the translation invariant Hamiltonian (1.1) is not treated in [11, 14], in the version of this paper posted on the arXiv we added a sketch of the proof of (1.7), adapting the arguments of [14].
Under the additional assumption that the interaction potential V is sufficiently small, in [1] we recently improved (1.5) and (1.7), obtaining quantitative estimates showing, on the one hand, that \(E_N - 4 \pi \mathfrak {a}_0 N\) remains bounded, uniformly in N, and, on the other hand, that every sequence of approximate ground states \(\psi _N\) of (1.1) exhibit Bose–Einstein condensation, with number of excitations bounded by the excess energy \(\langle \psi _N, H_N \psi _N \rangle - 4 \pi \mathfrak {a}_0 N\). The goal of the present paper is to extend the results of [1], removing the assumption of small interaction.
Theorem 1.1
Let \(V \in L^3 ({\mathbb {R}}^3)\) have compact support and be spherically symmetric and non-negative. Then there exists a constant \(C > 0\) such that the ground state energy \(E_N\) of (1.1) satisfies
Furthermore, consider a sequence \(\psi _N \in L^2_s (\Lambda ^N)\) with \(\Vert \psi _N \Vert = 1\) and such that
for a \(K > 0\). Then the reduced density matrix \(\gamma _N = \mathrm{tr}_{2,\ldots , N} | \psi _N \rangle \psi _N |\) associated with \(\psi _N\) is such that
for all \(N \in {\mathbb {N}}\) large enough.
Remark
Equation (1.9) gives a bound on the number of orthogonal excitations of the Bose–Einstein condensate, for low-energy states of the Hamilton operator (1.1). It implies that
and thus that, for low-energy states \(\psi _N\) with finite excess energy K, the number of excitations of the Bose–Einstein condensate remains bounded, uniformly in N. Notice that the bounds (1.9), (1.10) remain valid and non-trivial even if K grows, as \(N \rightarrow \infty \), as long as \(K \ll N\); in particular, they imply complete BEC for all sequences of approximate ground states \(\psi _N\) satisfying (1.6).
To prove Theorem 1.1, we are going to introduce, in Sect. 2, an excitation Hamiltonian \({\mathcal {L}}_N\), factoring out the Bose–Einstein condensate. In Sect. 3, we define generalized Bogoliubov transformations that are used in Sect. 4 to model correlations among particles and to define a renormalized excitation Hamiltonian \({\mathcal {G}}_{N,\ell }\); important properties of \({\mathcal {G}}_{N,\ell }\) are collected in Propositions 4.2 and 4.3. A second renormalization, this time through the exponential of an operator cubic in creation and annihilation operators, is performed in Sect. 5, leading to a new twice renormalized Hamiltonian \({\mathcal {R}}_{N,\ell }\); an important bound for \({\mathcal {R}}_{N,\ell }\) is stated in Proposition 5.2. In Sect. 6, we use the results of Propositions 4.2, 4.3 and 5.2 to show Theorem 1.1. Sections 7 and 8 are devoted to the proof of Proposition 4.2 and, respectively, of Proposition 5.2.
The main novelty, with respect to the analysis in [1] is the need for the second renormalization, through the exponential \(S = e^A\) of a cubic operator A. Under the additional assumption of small potential, the analysis of \({\mathcal {G}}_{N,\ell }\) was enough in [1] to show Bose–Einstein condensation in the form (1.9). Here, this is not the case. The point is that conjugation with a generalized Bogoliubov transformation renormalizes the quadratic terms in the excitation Hamiltonian, but it leaves the cubic term substantially unchanged. For small potentials, the cubic term can be controlled (by Cauchy–Schwarz) through the quartic interaction and through the gap in the kinetic energy. Without assumptions on the size of the potential, on the other hand, we need to conjugate with S, to renormalize the cubic term. After conjugation with S, we can apply techniques developed by Lewin et al. [9] (inspired by previous work of Lieb and Solovej [13]) based on localization of the number of excitations. On sectors with few excitations (the cutoff will be set at \(M = c N\), for a sufficiently small constant \(c > 0\)), the renormalized cubic term is small and it can be controlled by the gap in the kinetic energy operator. On sectors with many excitations, on the other hand, we are going to bound the energy from below, using the estimate (1.7), due to [11, 14] (since on these sectors we do not have condensation, the energy per particle must be strictly larger than \(4 \pi \mathfrak {a}_0\)).
Theorem 1.1 is the first important step that we need in [3] to establish the validity of Bogoliubov theory, as proposed in [4], for the low-energy excitation spectrum of (1.1).
2 The Excitation Hamiltonian
The bosonic Fock space over \(L^2 (\Lambda )\) is defined as
where \(L^2_s (\Lambda ^{n})\) is the subspace of \(L^2 (\Lambda ^n)\) consisting of wave functions that are symmetric w.r.t. permutations. The vacuum vector in \({\mathcal {F}}\) will be indicated with \(\Omega = \{ 1, 0, \ldots \} \in {\mathcal {F}}\).
For \(g \in L^2 (\Lambda )\), the creation operator \(a^* (g)\) and the annihilation operator a(g) are defined by
Observe that \(a^* (g)\) is the adjoint of a(g) and that the canonical commutation relations
hold true for all \(g,h \in L^2 (\Lambda )\) (\(\langle g,h \rangle \) is the inner product on \(L^2 (\Lambda )\)).
It will be convenient for us to work in momentum space \(\Lambda ^* = 2\pi {\mathbb {Z}}^3\). For \(p \in \Lambda ^*\), we consider the plane wave \(\varphi _p (x) = e^{-ip\cdot x}\) in \(L^2 (\Lambda )\). We define the operators
creating and, respectively, annihilating a particle with momentum p.
To exploit the non-negativity of the interaction potential V, it will sometimes be useful to switch to position space. To this end, we introduce operator valued distributions \({\check{a}}_x, {\check{a}}_x^*\) such that
The number of particles operator, defined on a dense subspace of \({\mathcal {F}}\) by \(({\mathcal {N}}\Psi )^{(n)} = n \Psi ^{(n)}\), can be expressed as
It is then easy to check that creation and annihilation operators are bounded with respect to the square root of \({\mathcal {N}}\), i.e.
for all \(f \in L^2 (\Lambda )\).
Recall that \(\varphi _0 (x) = 1\) for all \(x \in \Lambda \) is the zero-momentum mode in \(L^2 (\Lambda )\). We define \(L^2_{\perp } (\Lambda )\) as the orthogonal complement in \(L^2 (\Lambda )\) of the one dimensional space spanned by \(\varphi _0\). The Fock space over \(L^2_\perp (\Lambda )\), generated by the creation operators \(a_p^*\) with \(p \in \Lambda ^*_+ := 2\pi {\mathbb {Z}}^3 \backslash \{ 0 \}\), will be denoted by
On \({\mathcal {F}}_+\), the number of particles operator will be indicated by
For \(N \in {\mathbb {N}}\), we also define the truncated Fock space
On this Hilbert space, we are going to describe the orthogonal excitations of the Bose–Einstein condensate. To this end, we are going to use a unitary map \(U_N : L^2_s (\Lambda ^N) \rightarrow {\mathcal {F}}_+^{\le N}\), first introduced in [9], which removes the condensate. To define \(U_N\), we notice that every \(\psi _N \in L^2_s (\Lambda ^N)\) can be uniquely decomposed as
with \(\alpha _j \in L^2_\perp (\Lambda )^{\otimes _s j}\) (the symmetric tensor product of j copies of the orthogonal complement \(L^2_\perp (\Lambda )\) of \(\varphi _0\)) for all \(j = 0, \ldots , N\). Therefore, we can put \(U_N \psi _N = \{ \alpha _0, \alpha _1, \ldots , \alpha _N \} \in {\mathcal {F}}_+^{\le N}\). We can also define \(U_N\) identifying \(\psi _N\) with the Fock space vector \(\{ 0, 0, \ldots , \psi _N, 0, \ldots \}\) and using creation and annihilation operators; we find
for all \(\psi _N \in L^2_s (\Lambda ^N)\). It is then easy to check that \(U_N^* : {\mathcal {F}}_{+}^{\le N} \rightarrow L^2_s (\Lambda ^N)\) is given by
and that \(U_N^* U_N = 1\), ie. \(U_N\) is unitary.
Using \(U_N\), we can define the excitation Hamiltonian \({\mathcal {L}}_N := U_N H_N U_N^*\), acting on a dense subspace of \({\mathcal {F}}_+^{\le N}\). To compute the operator \({\mathcal {L}}_N\), we first write the Hamiltonian (1.1) in momentum space, in terms of creation and annihilation operators. We find
where
is the Fourier transform of V, defined for all \(k \in {\mathbb {R}}^3\) (in fact, (1.1) is the restriction of (2.1) to the N-particle sector of the Fock space \({\mathcal {F}}\)). We can now determine the excitation Hamiltonian \({\mathcal {L}}_N\) using the following rules, describing the action of the unitary operator \(U_N\) on products of a creation and an annihilation operator (products of the form \(a_p^* a_q\) can be thought of as operators mapping \(L^2_s (\Lambda ^N)\) to itself). For any \(p,q \in \Lambda ^*_+ = 2\pi {\mathbb {Z}}^3 \backslash \{ 0 \}\), we find (see [9]):
We conclude that
with
where we introduced generalized creation and annihilation operators
for all \(p \in \Lambda ^*_+\). Observe that, by (2.2),
In other words, \(b_p^*\) creates a particle with momentum \(p \in \Lambda ^*_+\) 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 \(\varphi _0\), we have \(a_0 , a_0^* \simeq \sqrt{N}\) and we can therefore expect that \(b_p^* \simeq a_p^*\) and that \(b_p \simeq a_p\). Modified creation and annihilation operators satisfy the commutation relations
Furthermore, we find
for all \(p,q,r \in \Lambda _+^*\); this implies in particular that \([b_p , {\mathcal {N}}_+] = b_p\), \([b_p^*, {\mathcal {N}}_+] = - \,b_p^*\). It is also useful to notice that the operators \(b^*_p, b_p\), like the standard creation and annihilation operators \(a_p^*, a_p\), can be bounded by the square root of the number of particles operators; we find
for all \(\xi \in {\mathcal {F}}^{\le N}_+\). Since \({\mathcal {N}}_+ \le N\) on \({\mathcal {F}}_+^{\le N}\), the operators \(b_p^* , b_p\) are bounded, with \(\Vert b_p \Vert , \Vert b^*_p \Vert \le (N+1)^{1/2}\).
We can also define modified operator valued distributions
in position space, for \(x \in \Lambda \). The commutation relations (2.6) take the form
Moreover, (2.7) translates to
which also implies that \([ {\check{b}}_x, {\mathcal {N}}_+ ] = {\check{b}}_x\), \([ {\check{b}}_x^* , {\mathcal {N}}_+ ] = -\, {\check{b}}_x^*\).
3 Generalized Bogoliubov Transformations
Conjugation with \(U_N\) extracts, from the original quartic interaction in (2.1), some constant and some quadratic contributions, collected in \({\mathcal {L}}^{(0)}_N\) and \({\mathcal {L}}^{(2)}_N\) in (2.4). In the Gross–Pitevskii regime, however, this is not enough; there are still large contributions to the energy hidden among cubic and quartic terms in \({\mathcal {L}}^{(3)}_N\) and \({\mathcal {L}}^{(4)}_N\).
To extract the missing energy, we have to take into account the correlation structure. Since \(U_N\) only removes products of the zero-energy mode \(\varphi _0\), correlations among particles, which play a crucial role in the Gross–Pitaevskii regime and carry an energy of order N, remain in the excitation vector \(U_N \psi _N\). To factor out correlations, it is natural to conjugate \({\mathcal {L}}_N\) with a Bogoliubov transformation. In fact, to make sure that the truncated Fock space \({\mathcal {F}}_+^{\le N}\) remains invariant, we will have to use generalized Bogoliubov transformations. Their definition and their main properties will be discussed in this section.
For \(\eta \in \ell ^2 (\Lambda ^*_+)\) with \(\eta _{-p} = \eta _{p}\) for all \(p \in \Lambda ^*_+\), we define
and we consider
We refer to unitary operators of the form (3.2) as generalized Bogoliubov transformations, in analogy with the standard Bogoliubov transformations
defined by means of the standard creation and annihilation operators. In this paper, we will work with (3.2), rather than (3.3), because the generalized Bogoliubov transformations, in contrast with the standard transformations, leave the truncated Fock space \({\mathcal {F}}_+^{\le N}\) invariant. The price we will have to pay is the fact that, while the action of standard Bogoliubov transformation on creation and annihilation operators is explicitly given by
there is no such formula describing the action of generalized Bogoliubov transformations.
A first important tool to control the action of generalized Bogoliubov transformations is the following lemma, whose proof can be found in [5, Lemma 3.1] (a similar result has been previously established in [15]).
Lemma 3.1
For every \(n \in {\mathbb {N}}\) there exists a constant \(C > 0\) such that, on \({\mathcal {F}}_+^{\le N}\),
for all \(\eta \in \ell ^2 (\Lambda ^*)\).
Bounds of the form (3.5) on the change of the number of particles operator are not enough for our purposes; we will need more precise information about the action of unitary operators of the form \(e^{B(\eta )}\). To this end, we expand, for any \(p \in \Lambda ^*_+\),
Iterating m times, we find
where we recursively defined
We are going to expand the nested commutators \(\text {ad}_{B(\eta )}^{(n)} (b_p)\) and \(\text {ad}_{B(\eta )}^{(n)} (b^*_p)\). To this end, we need to introduce some additional notation. We follow here [1, 2, 5]. For \(f_1, \ldots , f_n \in \ell _2 (\Lambda ^*_+)\), \(\sharp = (\sharp _1, \ldots , \sharp _n), \flat = (\flat _0, \ldots , \flat _{n-1}) \in \{ \cdot , * \}^n\), we set
where, for \(\ell =0,1, \ldots , n\), we define \(\alpha _\ell = 1\) if \(\flat _\ell = *\), \(\alpha _\ell = -1\) if \(\flat _\ell = \cdot \), \(\beta _\ell = 1\) if \(\sharp _\ell = \cdot \) and \(\beta _\ell = -\,1\) if \(\sharp _\ell = *\). In (3.7), we require that, for every \(j=1,\ldots , n-1\), we have either \(\sharp _j = \cdot \) and \(\flat _j = *\) or \(\sharp _j = *\) and \(\flat _j = \cdot \) (so that the product \(a_{\beta _\ell p_\ell }^{\sharp _\ell } a_{\alpha _\ell p_{\ell +1}}^{\flat _\ell }\) always preserves the number of particles, for all \(\ell =1, \ldots , n-1\)). With this assumption, we find that the operator \(\Pi ^{(2)}_{\sharp ,\flat } (f_1, \ldots , f_n)\) maps \({\mathcal {F}}^{\le N}_+\) into itself. If, for some \(\ell =1, \ldots , n\), \(\flat _{\ell -1} = \cdot \) and \(\sharp _\ell = *\) (i.e. if the product \(a_{\alpha _{\ell -1} p_\ell }^{\flat _{\ell -1}} a_{\beta _\ell p_\ell }^{\sharp _\ell }\) for \(\ell =2,\ldots , n\), or the product \(b_{\alpha _0 p_1}^{\flat _0} a_{\beta _1 p_1}^{\sharp _1}\) for \(\ell =1\), is not normally ordered) we require additionally that \(f_\ell \in \ell ^1 (\Lambda ^*_+)\). In position space, the same operator can be written as
An operator of the form (3.7), (3.8) with all the properties listed above, will be called a \(\Pi ^{(2)}\)-operator of order n.
For \(g, f_1, \ldots , f_n \in \ell _2 (\Lambda ^*_+)\), \(\sharp = (\sharp _1, \ldots , \sharp _n)\in \{ \cdot , * \}^n\), \(\flat = (\flat _0, \ldots , \flat _{n}) \in \{ \cdot , * \}^{n+1}\), we also define the operator
where \(\alpha _\ell \) and \(\beta _\ell \) are defined as above. Also here, we impose the condition that, for all \(\ell = 1, \ldots , n\), either \(\sharp _\ell = \cdot \) and \(\flat _\ell = *\) or \(\sharp _\ell = *\) and \(\flat _\ell = \cdot \). This implies that \(\Pi ^{(1)}_{\sharp ,\flat } (f_1, \ldots , f_n;g)\) maps \({\mathcal {F}}^{\le N}_+\) back into \({\mathcal {F}}_+^{\le N}\). Additionally, we assume that \(f_\ell \in \ell ^1 (\Lambda ^*_+)\) if \(\flat _{\ell -1} = \cdot \) and \(\sharp _\ell = *\) for some \(\ell = 1,\ldots , n\) (i.e. if the pair \(a_{\alpha _{\ell -1} p_\ell }^{\flat _{\ell -1}} a^{\sharp _\ell }_{\beta _\ell p_\ell }\) is not normally ordered). In position space, the same operator can be written as
An operator of the form (3.9), (3.10) will be called a \(\Pi ^{(1)}\)-operator of order n. Operators of the form b(f), \(b^* (f)\), for a \(f \in \ell ^2 (\Lambda ^*_+)\), will be called \(\Pi ^{(1)}\)-operators of order zero.
The next lemma gives a detailed analysis of the nested commutators \(\text {ad}^{(n)}_{B(\eta )} (b_p)\) and \(\text {ad}^{(n)}_{B(\eta )} (b^*_p)\) for \(n \in {\mathbb {N}}\); the proof can be found in [1, Lemma 2.5] (it is a translation to momentum space of [5, Lemma 3.2]).
Lemma 3.2
Let \(\eta \in \ell ^2 (\Lambda ^*_+)\) be such that \(\eta _p = \eta _{-p}\) for all \(p \in \ell ^2 (\Lambda ^*)\). To simplify the notation, assume also \(\eta \) to be real-valued (as it will be in applications). Let \(B(\eta )\) be defined as in (3.1), \(n \in {\mathbb {N}}\) and \(p \in \Lambda ^*\). Then the nested commutator \(\text {ad}^{(n)}_{B(\eta )} (b_p)\) can be written as the sum of exactly \(2^n n!\) terms, with the following properties.
-
(i)
Possibly up to a sign, each term has the form
$$\begin{aligned} \Lambda _1 \Lambda _2 \ldots \Lambda _i \, N^{-k} \Pi ^{(1)}_{\sharp ,\flat } (\eta ^{j_1}, \ldots , \eta ^{j_k} ; \eta ^{s}_p \varphi _{\alpha p}) \end{aligned}$$(3.11)for some \(i,k,s \in {\mathbb {N}}\), \(j_1, \ldots ,j_k \in {\mathbb {N}}\backslash \{ 0 \}\), \(\sharp \in \{ \cdot , * \}^k\), \( \flat \in \{ \cdot , * \}^{k+1}\) and \(\alpha \in \{ \pm 1 \}\) chosen so that \(\alpha = 1\) if \(\flat _k = \cdot \) and \(\alpha = -\,1\) if \(\flat _k = *\) (recall here that \(\varphi _p (x) = e^{-ip \cdot x}\)). In (3.11), each operator \(\Lambda _w : {\mathcal {F}}^{\le N} \rightarrow {\mathcal {F}}^{\le N}\), \(w=1, \ldots , i\), is either a factor \((N-{\mathcal {N}}_+ )/N\), a factor \((N-({\mathcal {N}}_+ -1))/N\) or an operator of the form
$$\begin{aligned} N^{-h} \Pi ^{(2)}_{\sharp ',\flat '} (\eta ^{z_1}, \eta ^{z_2},\ldots , \eta ^{z_h}) \end{aligned}$$(3.12)for some \(h, z_1, \ldots , z_h \in {\mathbb {N}}\backslash \{ 0 \}\), \(\sharp ,\flat \in \{ \cdot , *\}^h\).
-
(ii)
If a term of the form (3.11) contains \(m \in {\mathbb {N}}\) factors \((N-{\mathcal {N}}_+ )/N\) or \((N-({\mathcal {N}}_+ -1))/N\) and \(j \in {\mathbb {N}}\) factors of the form (3.12) with \(\Pi ^{(2)}\)-operators of order \(h_1, \ldots , h_j \in {\mathbb {N}}\backslash \{ 0 \}\), then we have
$$\begin{aligned} m + (h_1 + 1)+ \cdots + (h_j+1) + (k+1) = n+1. \end{aligned}$$ -
(iii)
If a term of the form (3.11) contains (considering all \(\Lambda \)-operators and the \(\Pi ^{(1)}\)-operator) the arguments \(\eta ^{i_1}, \ldots , \eta ^{i_m}\) and the factor \(\eta ^{s}_p\) for some \(m, s \in {\mathbb {N}}\), and \(i_1, \ldots , i_m \in {\mathbb {N}}\backslash \{ 0 \}\), then
$$\begin{aligned} i_1 + \cdots + i_m + s = n .\end{aligned}$$ -
(iv)
There is exactly one term having of the form (3.11) with \(k=0\) and such that all \(\Lambda \)-operators are factors of \((N-{\mathcal {N}}_+ )/N\) or of \((N+1-{\mathcal {N}}_+ )/N\). It is given by
$$\begin{aligned} \left( \frac{N-{\mathcal {N}}_+ }{N} \right) ^{n/2} \left( \frac{N+1-{\mathcal {N}}_+ }{N} \right) ^{n/2} \eta ^{n}_p b_p \end{aligned}$$if n is even, and by
$$\begin{aligned} - \left( \frac{N-{\mathcal {N}}_+ }{N} \right) ^{(n+1)/2} \left( \frac{N+1-{\mathcal {N}}_+ }{N} \right) ^{(n-1)/2} \eta ^{n}_p b^*_{-p} \end{aligned}$$if n is odd.
-
(v)
If the \(\Pi ^{(1)}\)-operator in (3.11) is of order \(k \in {\mathbb {N}}\backslash \{ 0 \}\), it has either the form
$$\begin{aligned} \sum _{p_1, \ldots , p_k} b^{\flat _0}_{\alpha _0 p_1} \prod _{i=1}^{k-1} a^{\sharp _i}_{\beta _i p_{i}} a^{\flat _i}_{\alpha _i p_{i+1}} a^*_{-p_k} \eta ^{2r}_p a_p \prod _{i=1}^k \eta ^{j_i}_{p_i} \end{aligned}$$or the form
$$\begin{aligned} \sum _{p_1, \ldots , p_k} b^{\flat _0}_{\alpha _0 p_1} \prod _{i=1}^{k-1} a^{\sharp _i}_{\beta _i p_{i}} a^{\flat _i}_{\alpha _i p_{i+1}} a_{p_k} \eta ^{2r+1}_p a^*_p \prod _{i=1}^k \eta ^{j_i}_{p_i} \end{aligned}$$for some \(r \in {\mathbb {N}}\), \(j_1, \ldots , j_k \in {\mathbb {N}}\backslash \{ 0 \}\). If it is of order \(k=0\), then it is either given by \(\eta ^{2r}_p b_p\) or by \(\eta ^{2r+1}_p b_{-p}^*\), for some \(r \in {\mathbb {N}}\).
-
(vi)
For every non-normally ordered term of the form
$$\begin{aligned} \begin{aligned}&\sum _{q \in \Lambda ^*} \eta ^{i}_q a_q a_q^* , \quad \sum _{q \in \Lambda ^*} \, \eta ^{i}_q b_q a_q^* \\&\sum _{q \in \Lambda ^*} \, \eta ^{i}_q a_q b_q^*, \quad \text {or } \quad \sum _{q \in \Lambda ^*} \, \eta ^{i}_q b_q b_q^* \end{aligned} \end{aligned}$$appearing either in the \(\Lambda \)-operators or in the \(\Pi ^{(1)}\)-operator in (3.11), we have \(i \ge 2\).
With Lemma 3.2, it follows from (3.6) that, if \(\Vert \eta \Vert \) is sufficiently small,
where the series converge absolutely (the proof is a translation to momentum space of [5, Lemma 3.3]).
While Lemma 3.2 gives a complete characterization of terms appearing in the expansions (3.13), to localize the number of particles as we do in Proposition 4.3, we will need to consider double commutators of \(\text {ad}_{-B(\eta )}^{(n)}(b_p)\) with a smooth function \(f ({\mathcal {N}}_+/M)\) of the number of particles operator \({\mathcal {N}}_+\), varying on the scale \(M\in {\mathbb {N}}\backslash \left\{ 0\right\} \). To this end, we will apply the following corollary, which is a simple consequence of Lemma 3.2.
Corollary 3.3
Let \(f: {\mathbb {R}}\rightarrow {\mathbb {R}}\) be a real, smooth and bounded function. For \(M \in {\mathbb {N}}\backslash \left\{ 0\right\} \), let \(f_M = f ({\mathcal {N}}_+/M)\). Then, for any \(n \in {\mathbb {N}}\), \(p \in \Lambda ^*_+\), the double commutator \([f_M , [f_M, \text {ad}_{-B(\eta )}^{(n)}(b_p)]]\) can be written as the sum of \(2^n n!\) (possibly vanishing) terms, having the form
for some \(i,k,s \in {\mathbb {N}}\), \(j_1, \ldots ,j_k \in {\mathbb {N}}\backslash \{ 0 \}\), \(\sharp \in \{ \cdot , * \}^k\), \( \flat \in \{ \cdot , * \}^{k+1}\) and \(\alpha \in \{ \pm 1 \}\) chosen so that \(\alpha = 1\) if \(\flat _k = \cdot \) and \(\alpha = -\,1\) if \(\flat _k = *\), where the operators \(\Lambda _1, \ldots , \Lambda _i\) and \(\Pi ^{(1)}_{\sharp , \flat } (\eta ^{j_1}, \ldots , \eta ^{j_k} ; \eta _p^s \varphi _{\alpha p})\) satisfy all properties listed in the points (i)–(vi) in Lemma 3.2 and where \(F_{M,n}\) is a bounded function such that
for a universal constant \(C > 0\) (different terms will have different functions \(F_{M,n}\), but they will all satisfy (3.14) with the same constant \(C > 0\)).
Proof
It follows from Lemma 3.2 that, for any \(n\in {\mathbb {N}}\), \(\text {ad}_{-B(\eta )}^{(n)}(b_p)\) can be written as the sum of \(2^n n!\) terms of the form (up to a sign)
for some \(i,k,s \in {\mathbb {N}}\), \(j_1, \ldots ,j_k \in {\mathbb {N}}\backslash \{ 0 \}\), \(\sharp \in \{ \cdot , * \}^k\), \( \flat \in \{ \cdot , * \}^{k+1}\) and \(\alpha \in \{ \pm 1 \}\) chosen so that \(\alpha = 1\) if \(\flat _k = \cdot \) and \(\alpha = -\,1\) if \(\flat _k = *\). In (3.15), each operator \(\Lambda _w : {\mathcal {F}}^{\le N} \rightarrow {\mathcal {F}}^{\le N}\), \(w=1, \ldots , i\), is either a factor \((N-{\mathcal {N}}_+ )/N\), a factor \((N-({\mathcal {N}}_+ -1))/N\) or an operator of the form
for some \(h, z_1, \ldots , z_h \in {\mathbb {N}}\backslash \{ 0 \}\), \(\sharp ,\flat \in \{ \cdot , *\}^h\). The commutator of (3.15) with \(f_M\) is therefore given by
Recalling (3.7) and (3.9) and using the identities \(b_p {\mathcal {N}}_+=({\mathcal {N}}_++1) b_p\), \(b^*_p{\mathcal {N}}_+=({\mathcal {N}}_+-1)b^*_p\), we obtain that
with \(e_u=0\) if \(\Lambda _u\) is either \((N-{\mathcal {N}}_+)/N\) or \((N-({\mathcal {N}}_+ -1))/N\), while \(e_u\) takes values in the set \(\{-2,0,2\}\) if \(\Lambda _u\) is of the form (3.16) (\(\Pi ^{(2)}_{\sharp ,\flat }\)-operators can either create or annihilate two excitations, or it can leave the number of excitations invariant). Moreover
because \(\Pi ^{(1)}_{\sharp ,\flat }\) can create or annihilate only one excitation. Therefore
Hence, we have
where \(n_u=\sum _{t=1}^u e_t\). By the mean value theorem, we can find functions \(\theta _1:{\mathbb {N}}\rightarrow (0,\pm 1)\), \(\theta _u:{\mathbb {N}}\rightarrow (0,e_u)\) such that
It follows that
with
depending on the precise form of the operator \(\Lambda _1 \Lambda _2 \dots \Lambda _i \, N^{-k} \Pi ^{(1)}_{\sharp ,\flat } (\eta ^{j_1}, \dots , \eta ^{j_k} ; \eta ^{s}_p \varphi _{\alpha p}) \). Since \(e_u \not = 0\) only if \(\Lambda _u\) is a \(\Pi ^{(2)}\) operator, since there are at most n\(\Pi ^{(2)}\) operators among \(\Lambda _1, \dots , \Lambda _i\) and since \(|e_u| \le 2\) for all \(u \in \{1, \dots , i \}\), we conclude that, for example,
\(\square \)
As explained after their Definition (2.5), the generalized creation and annihilation operators \(b^*_p, b_p\) are close to the standard creation and annihilation operators on states with only few excitations, ie. with \({\mathcal {N}}_+ \ll N\). In particular, on these states we expect the action of the generalized Bogoliubov transformation (3.2) to be close to the action (3.4) of the standard Bogoliubov transformation (3.3). To make this statement more precise we define, under the assumption that \(\Vert \eta \Vert \) is small enough, the remainder operators
where \(q \in \Lambda ^*_+\), \( (\sharp _m, \alpha _m) = (\cdot , +1)\) if m is even and \((\sharp _m, \alpha _m) = (*, -1)\) if m is odd. It follows then from (3.13) that
where we introduced the notation \(\gamma _q = \cosh (\eta _q)\) and \(\sigma _q = \sinh (\eta _q)\). It will also be useful to introduce remainder operators in position space. For \(x \in \Lambda \), we define the operator valued distributions \({\check{d}}_x, {\check{d}}^*_x\) through
where \({\check{\gamma }}_x (y) = \sum _{q \in \Lambda ^*} \cosh (\eta _q) e^{iq \cdot (x-y)}\) and \({\check{\sigma }}_x (y) = \sum _{q \in \Lambda ^*} \sinh (\eta _q) e^{iq \cdot (x-y)}\).
The next lemma confirms the intuition that remainder operators are small, on states with \({\mathcal {N}}_+ \ll N\), and provides estimates that will be crucial for our analysis.
Lemma 3.4
Let \(\eta \in \ell ^2 (\Lambda _+^*)\), \(n \in {\mathbb {Z}}\). For \(p \in \Lambda _+^*\), let \(d_p\) be defined as in (3.17). If \(\Vert \eta \Vert \) is small enough, there exists \(C > 0\) such that
for all \(p \in \Lambda ^*_+, \xi \in {\mathcal {F}}_+^{\le N}\). With \(\bar{{\bar{d}}}_p = d_p + N^{-1} \sum _{q \in \Lambda _+^*} \eta _q b_q^* a_{-q}^* a_p\), we also have, for \(p \not \in \text {supp } \eta \), the improved bound
In position space, with \({\check{d}}_x\) defined as in (3.19), we find
Furthermore, letting \(\check{{\bar{d}}}_x = {\check{d}}_x + ({\mathcal {N}}_+ / N) b^*({\check{\eta }}_x)\), we find
and, finally,
for all \(\xi \in {\mathcal {F}}^{\le n}_+\).
Proof
To prove the first bound in (3.20), we notice that, from (3.17) and from the triangle inequality (for simplicity, we focus on \(n=0\), powers of \({\mathcal {N}}_+\) can be easily commuted through the operators \(d_p\)),
From Lemma 3.2, we can bound the norm \(\Vert [ \text {ad}^{(m)}_{-B(\eta )} (b_q) - \eta _q^m b^{\sharp _m}_{\alpha _m p} ] \xi \Vert \) by the sum of one term of the form
and of exactly \(2^m m! - 1\) terms of the form
where \(i_1, k_1, \ell _1 \in {\mathbb {N}}\), \(j_1, \dots , j_{k_1} \in {\mathbb {N}}\backslash \{ 0 \}\) and where each \(\Lambda _r\)-operator is either a factor \((N-{\mathcal {N}}_+ )/N\), a factor \((N+1-{\mathcal {N}}_+ )/N\) or a \(\Pi ^{(2)}\)-operator of the form
with \(h, z_1, \dots , z_h \in {\mathbb {N}}\backslash \{ 0 \}\). Furthermore, since we are considering the term (3.26) separately, each term of the form (3.27) must have either \(k_1 > 0\) or it must contain at least one \(\Lambda \)-operator having the form (3.28). Since (3.26) vanishes for \(m=0\), it is easy to bound
On the other hand, distinguishing the cases \(\ell _1 > 0\) and \(\ell _1 = 0\), we can bound
where in the last line we used \(|\eta _p| \le \Vert \eta \Vert \). Inserting the last two bounds in (3.25) and summing over m under the assumption that \(\Vert \eta \Vert \) is small enough, we arrive at the first estimate (3.20). The second estimate in (3.20) can be proven similarly (notice that, when dealing with the second estimate in (3.20), contributions of the form (3.27) with \(\ell _1 = 0\), can only be bounded by \(\Vert b_p^* ({\mathcal {N}}_+ +1) \xi \Vert \le \Vert ({\mathcal {N}}_+ + 1)^{3/2} \xi \Vert \)). To show (3.21), we notice that \(\bar{{\bar{d}}}_p\) is exactly defined to cancel the only contribution with \(m=1\) that does not vanish for \(p \not \in \text {supp } \eta \). Moreover, the assumption \(\eta _p = 0\) implies that only terms with \(\ell _1 = 0\) survive in (3.29). Also the bounds in (3.22) and (3.23) can be shown analogously, using [2, Lemma 7.2]. \(\quad \square \)
To localize the number of particles operator in Proposition 4.3, we will also need to control the double commutator of the remainder operators \(d_p, d_p^*\) with smooth functions \(f({\mathcal {N}}_+/M)\) of the number of particles operator, varying on the scale M. To this end, we use the next corollary, which is an immediate consequence of Corollary 3.3 and of Lemma 3.4 (and of its proof).
Corollary 3.5
Let \(f : {\mathbb {R}}\rightarrow {\mathbb {R}}\) be smooth and bounded. For \(M \in {\mathbb {N}}\backslash \{ 0 \}\), let \(f_M = f({\mathcal {N}}_+ / M)\). The bounds in (3.20), (3.21), (3.22), (3.23) and (3.24) remain true if we replace, on the left hand side, \(d_p\) by \([f_M, [f_M, d_p]]\), \(\bar{{\bar{d}}}_p\) by \([f_M, [f_M, \bar{{\bar{d}}}_p]]\), \({\check{d}}_x\) by \([f_M, [f_M, {\check{d}}_x]]\), \({\check{a}}_y \check{{\bar{d}}}_x\) by \([f_M, [f_M, {\check{a}}_y \check{{\bar{d}}}_x]]\) and \({\check{d}}_x {\check{d}}_y\) by \([ f_M, [f_M, {\check{d}}_x {\check{d}}_y]]\) and, on the right hand side, the constant C by \(C M^{-2} \Vert f' \Vert _\infty ^2\). For example, the first bound in (3.20) becomes
4 Quadratic Renormalization
We use now a generalized Bogoliubov transformation \(\exp (B(\eta ))\) of the form (3.2) to renormalize the excitation Hamiltonian. To make sure that \(\exp (B(\eta ))\) removes correlations that are present in low-energy states, we have to choose the coefficients \(\eta \in \ell ^2 (\Lambda ^*_+)\) appropriately. To this end, we consider the ground state solution of the Neumann problem
on the ball \(|x| \le N\ell \) (we omit here the N-dependence in the notation for \(f_\ell \) and for \(\lambda _\ell \); notice that \(\lambda _\ell \) scales as \(N^{-3}\)), with the normalization \(f_\ell (x) = 1\) if \(|x| = N \ell \). By scaling, we observe that \(f_\ell (N.)\) satisfies the equation
on the ball \(|x| \le \ell \). We choose \(0< \ell < 1/2\), so that the ball of radius \(\ell \) is contained in the box \(\Lambda = [-1/2 ; 1/2]^3\) (later, we will choose \(\ell > 0\) small enough, but always of order one, independent of N). We extend then \(f_\ell (N.)\) to \(\Lambda \), by setting \(f_{N,\ell } (x) = f_\ell (Nx)\), if \(|x| \le \ell \) and \(f_{N,\ell } (x) = 1\) for \(x \in \Lambda \), with \(|x| > \ell \). Then
where \(\chi _\ell \) is the characteristic function of the ball of radius \(\ell \). The Fourier coefficients of the function \(f_{N,\ell }\) are given by
for all \(p \in \Lambda ^*\). It is also useful to introduce the function \(w_\ell (x) = 1- f_\ell (x)\) for \(|x| \le N \ell \) and to extend it by setting \(w_\ell (x) = 0\) for \(|x| > N \ell \). Its rescaled version \(w_{N,\ell } : \Lambda \rightarrow {\mathbb {R}}\) is then defined through \(w_{N,\ell } (x) = w_{\ell } (Nx)\) if \(|x| \le \ell \) and \(w_{N,\ell } (x) = 0\) if \(x \in \Lambda \) with \(|x| > \ell \). The Fourier coefficients of \(w_{N,\ell }\) are then given, for \(p \in \Lambda ^*\), by
where
denotes the Fourier transform of the (compactly supported) function \(w_\ell \). We find \({\widehat{f}}_{N,\ell } (p) = \delta _{p,0} - N^{-3} {\widehat{w}}_\ell (p/N)\). From (4.2), we obtain
In the next lemma we collect some important properties of \(w_\ell , f_\ell \). The proof of the lemma is given in “Appendix A”.
Lemma 4.1
Let \(V \in L^3 ({\mathbb {R}}^3)\) be non-negative, compactly supported and spherically symmetric. Fix \(\ell > 0\) and let \(f_\ell \) denote the solution of (4.1). For N large enough the following properties hold true.
-
i)
We have
$$\begin{aligned} \lambda _\ell = \frac{3\mathfrak {a}_0 }{(\ell N)^3} \left( 1 +{\mathcal {O}} \big (\mathfrak {a}_0 / \ell N\big ) \right) . \end{aligned}$$(4.5) -
ii)
We have \(0\le f_\ell , w_\ell \le 1\). Moreover there exists a constant \(C > 0\) such that
$$\begin{aligned} \left| \int V(x) f_\ell (x) dx - 8\pi \mathfrak {a}_0 \right| \le \frac{C \mathfrak {a}_0^2}{\ell N} \, \end{aligned}$$(4.6)for all \(\ell \in (0;1/2)\) and \(N \in {\mathbb {N}}\).
-
iii)
There exists a constant \(C>0 \) such that
$$\begin{aligned} w_\ell (x)\le \frac{C}{|x|+1} \quad \text { and }\quad |\nabla w_\ell (x)|\le \frac{C }{x^2+1} \end{aligned}$$(4.7)for all \(x \in {\mathbb {R}}^3\), \(\ell \in (0;1/2)\) and all N large enough.
-
iv)
There exists a constant \(C > 0\) such that
$$\begin{aligned} |{\widehat{w}}_{N,\ell } (p)| \le \frac{C}{N p^2} \end{aligned}$$for all \(p \in {\mathbb {R}}^3\), all \(\ell \in (0;1/2)\) and all N large enough (such that \(N \ge \ell ^{-1}\)).
We define \(\eta : \Lambda ^* \rightarrow {\mathbb {R}}\) through
With Lemma 4.1, we can bound
for all \(p \in \Lambda _+^*=2\pi {\mathbb {Z}}^3 \backslash \{0\}\), and for some constant \(C>0\) independent of N and \(\ell \in (0;\frac{1}{2})\), if N is large enough. From (4.4), we also find the relation
or equivalently, expressing the r.h.s. through the coefficients \(\eta _p\),
Moreover, with (4.7), we find
In particular, we can make \(\Vert \eta \Vert \) arbitrarily small, choosing \(\ell \) small enough.
For \(\alpha > 0\), we now define the momentum set
depending on the parameter \(\ell > 0\) introduced in (4.1).Footnote 1 We set
Eq. (4.8) implies that
For \(\alpha > 1\), the last bound improves (4.11). As we will see later, this improvement, obtained through the introduction of a momentum cutoff, will play an important role in our analysis. Notice, on the other hand, that the \(H^1\)-norms of \(\eta \) and \(\eta _{H}\) diverge, as \(N \rightarrow \infty \). From Lemma 4.1, part (iii), we find
for all \(\ell \in (0;1/2)\) and \(N \in {\mathbb {N}}\) large enough. We will mostly use the coefficients \(\eta _p\) with \(p\ne 0\). Sometimes, however, it will be useful to have an estimate on \(\eta _0\) (because Eq. (4.10) involves \(\eta _0\)). From Lemma 4.1, part (iii) we find
It will also be useful to have bounds for the function \({\check{\eta }}_H : \Lambda \rightarrow {\mathbb {R}}\), having Fourier coefficients \(\eta _H (p)\) as defined in (4.13). Writing \(\eta _H (p) = \eta _p - \eta _p \chi (|p| \le \ell ^{-\alpha })\), we obtain
We obtain
for all \(x \in \Lambda \), if \(N \in {\mathbb {N}}\) is large enough.
With the coefficients (4.13), we construct the generalized Bogoliubov transformation \(e^{B(\eta _H)} : {\mathcal {F}}_+^{\le N} \rightarrow {\mathcal {F}}^{\le N}_+\), defined as in (3.2). Furthermore, we define a new, renormalized, excitation Hamiltonian \({\mathcal {G}}_{N,\ell } : {\mathcal {F}}^{\le N}_+ \rightarrow {\mathcal {F}}^{\le N}_+\) by setting
In the next proposition, we collect some important properties of the renormalized excitation Hamiltonian \({\mathcal {G}}_{N,\ell }\). In the following, we will use the notation
for the kinetic and potential energy operators, restricted on \({\mathcal {F}}_+^{\le N}\). We will also write \({\mathcal {H}}_N = {\mathcal {K}}+ {\mathcal {V}}_N\).
Proposition 4.2
Let \(V\in L^3({\mathbb {R}}^3)\) be compactly supported, pointwise non-negative and spherically symmetric. Then
where for every \(\delta > 0\) there exists a constant \(C > 0\) such that
and the improved lower bound
hold true for all \(\alpha >3\), \(\ell \in (0;1/2)\) small enough, \(N \in {\mathbb {N}}\) large enough.
Furthermore, let
Then there exists a constant \(C > 0\) such that \({\mathcal {E}}_{{\mathcal {G}}_{N,\ell }} = {\mathcal {G}}_{N,\ell } - {\mathcal {G}}^\text {eff}_{N,\ell }\) is bounded by
for all \(\alpha > 3\), \(\ell \in (0;1/2)\) small enough, and N large enough.
Finally, there exists a constant \(C > 0\) such that
for all \(\alpha > 3\), \(\ell \in (0;1/2)\) small enough, \(f: {\mathbb {R}}\rightarrow {\mathbb {R}}\) smooth and bounded, \(M \in {\mathbb {N}}\) and \(N\in {\mathbb {N}}\) large enough.
The proof of Proposition 4.2 is technical and quite long; it is deferred to Sect. 7 below. Equation (4.25) allows us to prove a localization estimate for \({\mathcal {G}}_{N,\ell }\).
Proposition 4.3
Let \(f,g : {\mathbb {R}}\rightarrow [0;1]\) be smooth, with \(f^2 (x) + g^2 (x) =1\) for all \(x \in {\mathbb {R}}\). For \(M \in {\mathbb {N}}\), let \(f_M := f({\mathcal {N}}_+/M)\) and \(g_M:= g({\mathcal {N}}_+/M)\). There exists \(C > 0\) such that
with
for all \(\alpha > 3\), \(\ell \in (0;1/2)\) small enough, \(M \in {\mathbb {N}}\) and \(N \in {\mathbb {N}}\) large enough.
Proof
An explicit computation shows that
Writing as in (4.20), \({\mathcal {G}}_{N,\ell } = 4\pi \mathfrak {a}_0 N + {\mathcal {H}}_N + \theta _{{\mathcal {G}}_{N,\ell }}\), noticing that \(4\pi \mathfrak {a}_0 N\) and \({\mathcal {H}}_N\) commute with \(f_M, g_M\), and using the first bound in (4.25), we conclude that
\(\square \)
5 Cubic Renormalization
The quadratic renormalization leading to the excitation Hamiltonian \({\mathcal {G}}_{N,\ell }\) is not enough to show Theorem 1.1. In (4.22), the error term proportional to the number of particles operator cannot be controlled by the gap in the kinetic energy (in [1] this was possible, because the constant multiplying \({\mathcal {N}}_+\) is small, if the interaction potential is weak). To circumvent this problem, we have to conjugate the main part \({\mathcal {G}}_{N,\ell }^\text {eff}\) of \({\mathcal {G}}_{N,\ell }\), as defined in (4.23), with an additional unitary operator, given by the exponential of an expression cubic in creation and annihilation operators.
For a parameter \(0< \beta < \alpha \) we define the low-momentum set
depending again on the parameter \(\ell > 0\) introduced in (4.1).Footnote 2 Notice that the high-momentum set \(P_H\) defined in (4.12) and \(P_{L}\) are separated by a set of intermediate momenta \(\ell ^{-\beta }< |p| < \ell ^{-\alpha }\). We introduce the operator \(A : {\mathcal {F}}_+^{\le N} \rightarrow {\mathcal {F}}_+^{\le N}\), by
An important observation for our analysis is the fact that conjugation with \(e^{A}\) does not substantially change the number of excitations.
Proposition 5.1
Suppose that A is defined as in (5.1). For any \(k\in {\mathbb {N}}\) there exists a constant \(C >0\) such that the operator inequality
holds true on \({\mathcal {F}}_+^{\le N}\), for all \(\alpha> \beta > 0\), \(\ell \in (0;1/2)\), and N large enough.
Proof
Let \(\xi \in {\mathcal {F}}_+^{\le N}\) and define \(\varphi _{\xi }:{\mathbb {R}}\rightarrow {\mathbb {R}}\) by
Then we have, using the notation \(A _\gamma = N^{-1/2} \sum _{r \in P_H, v \in P_L} \eta _r b_{r+v}^* a_{-r}^* a_v\),
We find
With the mean value theorem, we find a function \(\theta :{\mathbb {N}}\rightarrow (0;1)\) such that
Since \(b_p {\mathcal {N}}_+ =({\mathcal {N}}_+ + 1) b_p\) and \(b_p^* {\mathcal {N}}_+ = ({\mathcal {N}}_+ - 1) b_p^*\), we obtain, using Cauchy–Schwarz and the boundedness of \(\theta \),
for a constant \(C>0\) depending on k, but not on N or \(\ell \). This proves that
so that, by Gronwall’s lemma, we find a constant C with
\(\square \)
We use now the cubic phase \(e^{A}\) to introduce a new excitation Hamiltonian, defining
on a dense subset of \({\mathcal {F}}_+^{\le N}\). The operator \({\mathcal {G}}_{N,\ell }^\text {eff}\) is defined as in (4.23). As explained in the introduction, conjugation with \(e^{A}\) renormalizes the cubic term on the r.h.s. of (4.23), effectively replacing the singular potential \({\widehat{V}} (p/N)\) by a potential decaying already on momenta of order one. This allows us to show the following proposition.
Proposition 5.2
Let \(V\in L^3({\mathbb {R}}^3)\) be compactly supported, pointwise non-negative and spherically symmetric. Then, for all \(\alpha > 3\) and \(\alpha /2< \beta < 2\alpha /3\), there exists \(\kappa > 0\) and a constant \(C>0\) such that
for all \(\ell \in (0;1/2)\) small enough and N large enough.
The proof of Proposition 5.2 will be given in Sect. 8. In the next section, we show how Proposition 5.2, together with Proposition 4.2 and Proposition 4.3, implies Theorem 1.1.
6 Proof of Theorem 1.1
The next proposition combines the results of Propositions 4.2, 4.3 and 5.2.
Proposition 6.1
Let \(V\in L^3({\mathbb {R}}^3)\) be compactly supported, pointwise non-negative and spherically symmetric. Let \({\mathcal {G}}_{N,\ell }\) be the renormalized excitation Hamiltonian defined as in (4.18). Then, for every \(\alpha > 3\), \(\ell \in (0;1/2)\) small enough, there exist constants \(C,c > 0\) such that
for all \(N \in {\mathbb {N}}\) sufficiently large.
Proof
As in Proposition 4.3, let \(f,g: {\mathbb {R}}\rightarrow [0;1]\) be smooth, with \(f^2 (x) + g^2 (x)= 1\) for all \(x \in {\mathbb {R}}\). Moreover, assume that \(f (x) = 0\) for \(x > 1\) and \(f (x) = 1\) for \(x < 1/2\). We fix \(M = \ell ^{3\alpha + \kappa } N\) (with \(\kappa > 0\) as in Proposition 5.2) and we set \(f_M = f ({\mathcal {N}}_+ / M), g_M = g ({\mathcal {N}}_+ / M)\). It follows from Proposition 4.3 that
Let us consider the first term on the r.h.s. of (6.2). From Proposition 4.2, there exists \(C> 0\) such that
and also, from (4.20),
for all \(\alpha > 3\), \(\ell \in (0;1/2)\) small enough and N large enough. Together, the last two bounds imply that
Hence, for \(\ell > 0\) small enough,
With Proposition 5.2, choosing \(\alpha > 3\) and \(\alpha /2< \beta < 2\alpha /3\), we find \(\kappa > 0\) such that
In the last inequality, we used Proposition 5.1 to estimate
because we chose \(M = \ell ^{3\alpha + \kappa } N\). Since now \({\mathcal {N}}_+ \le C {\mathcal {K}}\le C {\mathcal {H}}_N\), we obtain that, for \(\ell \in (0;1/2)\) small enough,
With Proposition 5.1, we conclude that, again for \(\ell >0 \) small enough,
Let us next consider the second term on the r.h.s. of (6.2). From now on, we keep \(\ell > 0\) fixed (so that (6.4) holds true), and we will only worry about the dependence of N. We claim that there exists a constant \(C > 0\) such that
for all N sufficiently large. To prove (6.5) we observe that, since \(g(x) = 0\) for all \(x \le 1/2\),
where \({\mathcal {F}}_{\ge M/2}^{\le N} = \{ \xi \in {\mathcal {F}}_+^{\le N} : \xi = \chi ({\mathcal {N}}_+ \ge M/2) \xi \}\) is the subspace of \({\mathcal {F}}_+^{\le N}\) where states with at least M / 2 excitations are described (recall that \(M = \ell ^{3\alpha + \kappa } N\)). To prove (6.5) it is enough to show that there exists \(C > 0\) with
for all N large enough. From the result (1.7) of [10, 11, 14], we already know that
as \(N \rightarrow \infty \). Hence, if we assume by contradiction that (6.6) does not hold true, then we can find a subsequence \(N_j \rightarrow \infty \) with
as \(j \rightarrow \infty \) (here we used the notation \(M_j = \ell ^{3\alpha + \kappa } N_j\)). This implies that there exists a sequence \(\xi _{N_j} \in {\mathcal {F}}^{\le N_j}_{ \ge M_j /2}\) with \(\Vert \xi _{N_j} \Vert = 1\) for all \(j \in {\mathbb {N}}\) such that
Let now \(S:= \{N_j: j\in {\mathbb {N}}\} \subset {\mathbb {N}}\) and denote by \(\xi _N\) a normalized minimizer of \({\mathcal {G}}_{N,\ell }\) for all \(N\in {\mathbb {N}}\setminus S\). Setting \(\psi _N = U_N^* e^{B(\eta _H)} \xi _N\), for all \(N \in {\mathbb {N}}\), we obtain that \(\Vert \psi _N \Vert = 1\) and that
In other words, the sequence \(\psi _N\) is an approximate ground state of \(H_N\). From 1.7, we conclude that \(\psi _N\) exhibits complete Bose–Einstein condensation in the zero-momentum mode \(\varphi _0\), meaning that
Using Lemma 3.1 and the rules (2.2), we observe that
as \(N \rightarrow \infty \). On the other hand, for \(N \in S = \{ N_j : j \in {\mathbb {N}}\}\), we have \(\xi _N = \chi ({\mathcal {N}}_+ \ge M/2) \xi _N\) and therefore
in contradiction with (6.7). This proves (6.6), (6.5) and therefore also
Inserting (6.4) and (6.8) on the r.h.s. of (6.2), we obtain that
for N large enough (the constants C are now allowed to depend on \(\ell \), since \(\ell \) has been fixed once and for always after (6.4)). Interpolating (6.9) with (6.3), we obtain (6.1). \(\square \)
We are now ready to show our main theorem.
Proof of Theorem 1.1
First of all, (4.20) and (4.21) in Proposition 4.2 imply that
With the vacuum \(\Omega \) as trial state, we obtain the upper bound \(E_N \le 4\pi \mathfrak {a}_0 N + C\) for the ground state energy \(E_N\) of \({\mathcal {G}}_{N,\ell }\) (which coincides with the ground state energy of \(H_N\)). With Eq. (6.1), we also find the lower bound \(E_N \ge 4 \pi \mathfrak {a}_0 N - C\). This proves (1.8).
Let now \(\psi _N \in L^2_s (\Lambda ^N)\) with \(\Vert \psi _N \Vert =1\) and
We define the excitation vector \(\xi _N = e^{-B(\eta _H)} U_N \psi _N\). Then \(\Vert \xi _N \Vert = 1\) and, recalling that \({\mathcal {G}}_{N,\ell } = e^{-B(\eta _H)} U_N H_N U_N^* e^{B(\eta _H)}\), we have
If \(\gamma _N\) denotes the one-particle reduced density matrix associated with \(\psi _N\), we obtain
which concludes the proof of (1.9). \(\quad \square \)
7 Analysis of \( {\mathcal {G}}_{N,\ell }\)
From (2.3) and (4.18), we can decompose
with
In the next subsections, we prove separate bounds for the operators \({\mathcal {G}}_{N,\ell }^{(j)}\), \(j=0,2,3,4\). In Sect. 7.5, we combine these bounds to prove Propositions 4.2 and 4.3. Throughout this section, we will assume the potential \(V \in L^3 ({\mathbb {R}}^3)\) to be compactly supported, pointwise non-negative and spherically symmetric.
7.1 Analysis of \( {\mathcal {G}}_{N,\ell }^{(0)}=e^{-B(\eta _H)}{\mathcal {L}}^{(0)}_N e^{B(\eta _H)}\)
From (2.4), recall that
We define the error operator \({\mathcal {E}}_{N,\ell }^{(0)}\) through the identity
In the next proposition, we estimate \({\mathcal {E}}_{N,\ell }^{(0)}\) and its double commutator with a smooth and bounded function of \({\mathcal {N}}_+\).
Proposition 7.1
There exists a constant \(C > 0\) such that
and
for all \(\alpha > 0\), \(\ell \in (0;1/2)\), f smooth and bounded, \(M \in {\mathbb {N}}\) and \(N \in {\mathbb {N}}\) large enough.
Proof
From (7.1) we have
In the last term, we rewrite
Inserting in (7.5), we obtain
From (7.2), it follows that
With (3.18), we can express
where we set \(\gamma _q = \cosh \eta _H (q)\), \(\sigma _q = \sinh \eta _H (q)\) and where \(d_q, d^*_q\) are defined as in (3.17), with \(\eta \) replaced by \(\eta _H (q) = \eta _q \chi (q \in P_H)\). Using \(|\gamma _q^2 - 1| \le C \eta _H (q)^2\), \(|\sigma _q| \le C |\eta _H (q)|\), the first bound in (3.20), Cauchy–Schwarz and the estimate \(\Vert \eta _H \Vert \le C \ell ^{\alpha /2}\) from (4.14), we conclude that first term on the r.h.s. of (7.6) can be bounded by
As for the second term on the r.h.s. of (7.6), we expand using again (3.18),
with \(\gamma _p^{(s)} = \cosh (s \eta _H (p))\), \(\sigma _p^{(s)} = \sinh (s \eta _H (p))\) and where the operators \(d_p^{(s)}\) are defined as in (3.17), with \(\eta \) replaced by \(s \eta _H\). Using \(|\gamma ^{(s)}_p| \le C\) and \(|\sigma _p^{(s)}| \le C |\eta _p|\), (3.20) in Lemma 3.4 and again (4.14), we arrive at
This concludes the proof of (7.3).
The bound (7.4) follows analogously, because, as observed in Corollary 3.5, the estimates (3.20) in Lemma 3.4 remain true if we replace \(d_p\) and \(d_p^*\) by \([f ({\mathcal {N}}_+/M), [f ({\mathcal {N}}_+/M) , d_p]]\) and, respectively, \([f ({\mathcal {N}}_+/M) , [ f ({\mathcal {N}}_+/M), d_p^*]]\), provided we multiply the r.h.s. by an additional factor \(M^{-2} \Vert f' \Vert ^2_\infty \). The same observation holds true for bounds involving the operators \(b_p, b_p^*\), since, for example,
and \(\Vert f({\mathcal {N}}_+ / M) - f (({\mathcal {N}}_+ + 1)/M) \Vert \le C M^{-1} \Vert f' \Vert _\infty \). \(\quad \square \)
7.2 Analysis of \({\mathcal {G}}_{N,\ell }^{(2)}=e^{-B(\eta _H)}{\mathcal {L}}^{(2)}_N e^{B(\eta _H)}\)
With (2.4), we decompose \({\mathcal {L}}_N^{(2)} = {\mathcal {K}}+ {\mathcal {L}}_N^{(2,V)}\), where \({\mathcal {K}}= \sum _{p \in \Lambda _+^*} p^2 a_p^* a_p\) is the kinetic energy operator and
Accordingly, we have
In the next two propositions, we analyse the two terms on the r.h.s. of the last equation.
Proposition 7.2
There exists \(C > 0\) such that
where
and
for all \(\alpha > 3\), \(\ell \in (0;1/2)\) small enough, f smooth and bounded, \(M \in {\mathbb {N}}\) and \(N \in {\mathbb {N}}\) large enough.
Proof
To show (7.11), we write
With relations (3.18), we can write
with the notation \(\gamma _p^{(s)} = \cosh (s \eta _H (p))\), \(\sigma ^{(s)}_p =\sinh (s \eta _H (p))\) and where \(d^{(s)}_p\) is defined as in (3.17), with \(\eta _p\) replaced by \(s \eta _H (p)\) (recall that \(\eta _H (p) = \eta _p \chi (p \in P_H)\)). We start by analysing \(\text {G}_1\). Expanding the product, we obtain
with
For an arbitrary \(\xi \in {\mathcal {F}}_+^{\le N}\), we bound
since \(|\big ((\gamma _p^{(s)})^2-1\big )|\le C \eta _p^2\), \((\sigma ^{(s)}_p)^2\le C \eta _p^2\) and \(p^2 \eta _p^2 \le C \ell ^{2\alpha }\), for all \(p \in P_H\).
We consider now \(\text {G}_2\) in (7.13). We split it as \(\text {G}_2 = \text {G}_{21} + \text {G}_{22} + \text {G}_{23} + \text {G}_{24}\), with
We consider \(\text {G}_{21}\) first. We write
Massaging a bit the second term (similarly as we do below, in (7.39), (7.40) in the proof of Proposition 7.3), we arrive at
where \({\mathcal {E}}_{2}^K = \sum _{j=1}^5 {\mathcal {E}}_{2j}^K\), with
Here we introduced the notation
We can easily bound
and, using \(|\gamma _p^{(s)} - 1| \le C \eta _p^2\) and (3.20) in Lemma 3.4,
With (3.21) in Lemma 3.4, we can also estimate
To bound the last term in (7.18), we commute \(b_p\) to the right (note that \(p \not = q\)). We find
To control the third term in (7.18), we first use (4.9) to write
Switching to position space, we obtain
With Lemma 4.1, we find
Hence, with Eq. (3.23) in Lemma 3.4,
Combining the last bound with (7.20), (7.21), (7.22), (7.23), we conclude that
Next, we consider the term \(\text {G}_{22}\) in (7.16). With (3.20) in Lemma 3.4, we find
As for the term \(\text {G}_{23}\), defined in (7.16), we split it as \(\text {G}_{23} = \sum _{j=1}^4 {\mathcal {E}}_{3j}^K + \text{ h.c. }\), with
with the notation for \(\bar{{\bar{d}}}^{(s)}_p\) introduced in (7.19). With (3.20) in Lemma 3.4, we find
and also, proceeding as in (7.22),
The term \({\mathcal {E}}^K_{33}\) coincides with the contribution \({\mathcal {E}}_{25}^K\) in (7.18); from (7.23) we obtain \(\pm \, {\mathcal {E}}_{33}^K \le C \ell ^\alpha {\mathcal {K}}\). As for \({\mathcal {E}}_{32}^K\), we use (4.9) and we switch to position space. Proceeding as we did above to control the term \({\mathcal {E}}_{23}^K\), we arrive at
With (3.22) in Lemma 3.4, we find
Combining the last bounds, we conclude that
To estimate the term \(\text {G}_{24}\) in (7.16), we use (3.20) in Lemma 3.4; with (4.15), we find
Together with (7.17), (7.24), (7.25), (7.27), this implies that
where
Finally, we consider \(\text {G}_3\), defined in (7.13). We split it as \(\text {G}_3 = {\mathcal {E}}_{51}^K + {\mathcal {E}}_{52}^K + \text{ h.c. }\), with
With (3.20) in Lemma 3.4 (using \(\eta _{H} (p) = 0\) for \(p \in P_H^c\)) and proceeding as in (7.26), we obtain
To estimate \({\mathcal {E}}_{51}^K\), we use (4.9) and we switch to position space. Similarly as in the analysis of the terms \({\mathcal {E}}_{23}^K\) and \({\mathcal {E}}_{32}^K\) above, we obtain
With (3.24) in Lemma 3.4, we arrive at
Hence, \(\pm \, \text {G}_3 \le C (\ell ^{\alpha /2} + \ell ^{3(\alpha -1)/2}) ({\mathcal {H}}_N + 1)\). With (7.14), (7.15), (7.28), we obtain (7.10) and (7.11), as desired.
As explained in Corollary 3.5, the bounds in Lemma 3.4 continue to hold, with an additional factor \(M^{-2} \Vert f' \Vert _\infty ^2\) on the r.h.s., if we replace the operators \(d_p\), \(d^*_p\), \(\bar{{\bar{d}}}_p\), \({\check{a}}_y \check{{\bar{d}}}_x\), \({\check{d}}_x {\check{d}}_y\) by their double commutators with \(f ({\mathcal {N}}_+ /M)\). From (7.7) we conclude that also bounds involving \(b_p\) and \(b_p^*\) or, analogously \({\check{b}}_x\) and \({\check{b}}^*_x\) remain true if we replace them by their double commutator with \(f({\mathcal {N}}_+/M)\). As a consequence, (7.12) follows through the same arguments that led us to (7.11). \(\quad \square \)
In the next proposition, we study the second term on the r.h.s. of (7.9).
Proposition 7.3
There is a constant \(C > 0\) such that
where
and
for all \(\alpha > 0\), \(\ell \in (0;1/2)\) small enough, f smooth and bounded, \(M \in {\mathbb {N}}\) and \(N \in {\mathbb {N}}\) large enough.
Proof
To show (7.30), we start from (7.8) and we decompose
With equations (3.18), we split \(\text {F}_1\) as
with the notation \(\gamma _p = \cosh \eta _H (p)\), \(\sigma _p = \sinh \eta _H (p)\) and the operators \(d_p\), as defined in (3.17), with \(\eta \) replaced by \(\eta _H\). We decompose
with
where we used \(\gamma _p = 1\) and \(\sigma _p = 0\) for \(p \in P_H^c\) to restrict the second sum. With \(|\gamma _p^2-1|\le C \eta _p^2\), \(|\sigma _p|\le C|\eta _p|\) for all \(p \in P_H\) and since \(\Vert \eta _H \Vert \le \ell ^{\alpha /2}\), we find
if N is large enough. With Lemma 3.4 (with \(\eta \) replaced by \(\eta _H\)), we can also bound \(\pm \, \text {F}_{12} \le C\ell ^{\alpha /2}({\mathcal {N}}_++1)\). We conclude that
with \(\pm \, {\mathcal {E}}_2^V \le C \ell ^{\alpha /2} ({\mathcal {N}}_+ + 1)\). Let us now consider the second contribution on the r.h.s. of (7.32). We have \(-\text {F}_2 \ge 0\) and, by Lemma 3.1,
if \(N \in {\mathbb {N}}\) is large enough, Finally, we turn our attention to the last term on the r.h.s. of (7.32). With (3.18), we decompose \(\text {F}_3 \) as
We decompose the first term as
with (recall that \(\gamma _p =1\) and \(\sigma _p = 0\) for \(p \in P_H^c\))
Using again the estimates \(|\gamma _p^2-1|\le C\eta _p^2\) and \(|\sigma _p|\le C |\eta _p|\) for all \(p \in P_H\), we find
Let us now consider \(\text {F}_{32}\) in (7.35). We divide it into four parts
We start with \(\text {F}_{321}\), which we decompose as
Using (2.6), we commute
We arrive at
where \({\mathcal {E}}_4^V = {\mathcal {E}}_{41}^V + {\mathcal {E}}_{42}^V + {\mathcal {E}}_{43}^V + \text{ h.c. }\), with
and with the notation \({\bar{d}}_{-p} = d_{-p} + N^{-1} \eta _H (p) \, {\mathcal {N}}_+ b_p^*\). Since \(|\gamma _p - 1| \le C \eta _p^2 \chi (p \in P_H)\), we find easily with (3.20) in Lemma 3.4 that
Furthermore
To control \({\mathcal {E}}_{42}^V\) we switch to position space. With (3.23) in Lemma 3.4, we find
We conclude that
To estimate the term \(\text {F}_{322}\) in (7.38), we use (3.20) in Lemma 3.4 and \(|\sigma _p|\le C|\eta _H (p)|\); we obtain
Let us now consider the term \(\text {F}_{323}\) on the r.h.s. of (7.38). Here, we proceed as we did above to estimate \(\text {F}_{321}\). We write \(\text {F}_{323} = {\mathcal {E}}_{51}^V + {\mathcal {E}}_{52}^V + \text{ h.c. }\), with
With \(|\gamma _p - 1| \le C \eta _p^2 \chi (p \in P_H)\), we obtain
Switching to position space, we find, by (3.22),
Hence, \(\pm \, \text {F}_{323} \le C \ell ^{\alpha /2} ({\mathcal {H}}_N + 1)\).
To estimate the term \(\text {F}_{324}\) in (7.38), we use (3.20) in Lemma 3.4 and the estimate \(\sum _{p \in \Lambda ^*_+} \big |{\widehat{V}} (p/N) \big ||\eta _p|\le CN\); we find
Combining the last bounds, we conclude that
with
To bound the last term \(\text {F}_{33}\) in (7.35), we switch to position space. With Lemma 3.4, specifically (3.24), and (4.17), we obtain
The last equation, combined with (7.35), (7.36), (7.37) and (7.41), implies that
with
Together with (7.33) and with (7.34), we obtain (7.29) with (7.30). Eq. (7.31) follows similarly, arguing as we did at the end of the proof of Proposition 7.2 to show (7.12). \(\square \)
We conclude this section, summarizing the results of Propositions 7.2 and 7.3.
Proposition 7.4
There exists a constant \(C > 0\) such that
where
and
for all \(\alpha > 3\), \(\ell \in (0;1/2)\) small enough, f smooth and bounded, \(M \in {\mathbb {N}}\), \(N \in {\mathbb {N}}\) large enough.
7.3 Analysis of \( {\mathcal {G}}_{N,\ell }^{(3)}=e^{-B(\eta _H)}{\mathcal {L}}^{(3)}_N e^{B(\eta _H)}\)
From (2.4), we have
Proposition 7.5
There exists a constant \(C > 0\) such that
where
and
for all \(\alpha > 0\), \(\ell \in (0;1/2)\) small enough, f smooth and bounded, \(M \in {\mathbb {N}}\), \(N \in {\mathbb {N}}\) large enough.
Proof of Proposition 7.5
We start by writing
From (7.42), we find
Using (3.18) we arrive at (7.43), with
where we defined \(\gamma _p = \cosh \eta _H (p)\), \(\sigma _p = \sinh \eta _H (p)\) and where the operator \(d_p\) is defined as in (3.17), with \(\eta \) replaced by \(\eta _H\). To complete the proof of the proposition, we have to show that the three error terms \({\mathcal {E}}_1^{(3)}, {\mathcal {E}}_2^{(3)}, {\mathcal {E}}_3^{(3)}\) all satisfy the bounds (7.44), (7.45). We start by considering \({\mathcal {E}}_1^{(3)}\). We decompose it as
Since \(|\gamma _{p+q}-1|\le |\eta _H (p+q)|^2\) and \(\Vert \eta _H \Vert \le C \ell ^{\alpha /2}\), we have
To bound \({\mathcal {E}}^{(3)}_{12}\) we move \(a^*_{-p}\) to the left of \(b_{-p-q}\) (using \([a_{-p-q}, a_{-p}^*] = 0\), since \(q \not = 0\)). With \(|\sigma _{p+q}| \le C |\eta _H (p+q)|\), we obtain
In \( {\mathcal {E}}^{(3)}_{13} \), on the other hand, we write \(d^*_{p+q}= {\bar{d}}^*_{p+q} - \frac{({\mathcal {N}}_++1)}{N} \eta _H (p+q) b_{-p-q}\). We obtain \({\mathcal {E}}^{(3)}_{13} = {\mathcal {E}}^{(3)}_{131} + {\mathcal {E}}^{(3)}_{132}\), with
The term \({\mathcal {E}}^{(3)}_{132}\) can be bounded like \({\mathcal {E}}_{12}^{(3)}\), commuting \(a_{-p}^*\) to the left of \(b_{-p-q}\); we find \(\pm \, {\mathcal {E}}^{(3)}_{132} \le C \ell ^{\alpha /2} ({\mathcal {N}}_+ + 1)\). As for the term \({\mathcal {E}}^{(3)}_{131}\), we switch to position space:
With (3.23), we bound
With (7.47) and (7.48) we conclude that
Next, we consider the term \({\mathcal {E}}^{(3)}_2\), defined in (7.46). Using Eq. (3.18) we rewrite
where, for any \(s \in [0;1]\) and \(p \in \Lambda _+^*\), \(\gamma ^{(s)}_p = \cosh (s \eta _H (p))\), \(\sigma ^{(s)}_p = \sinh (s \eta _H (p))\) and \(d^{(s)}_p\) is the operator defined as in (3.17), with \(\eta \) replaced by \(s \eta _H\). We have
Since \([b_{p},b^*_{-q}] = -\, a^*_{-q} a_{p} /N \) for all \(p \ne -q\), we find
To bound the third term on the r.h.s. of (7.50), we switch to position space. We obtain
Using the bounds (3.22), (3.23), (3.24) and Lemma 3.1 we arrive at
Combined with (7.51) and (7.52), the last bound implies that
Finally, we consider the last term on the r.h.s. of (7.46). In fact, it is convenient to bound (in absolute value) the expectation of its adjoint, which we decompose as
Using that \(q \ne 0\) and thus that \([b_{-p},b^*_{-p-q}] = -\, a^*_{-p-q} a_{-p} /N \), we can estimate the second term by
To bound the expectation of \({\mathcal {E}}^{(3)}_{31}\), it is convenient to switch to position space. We find
where we used the notation \({\check{\eta }}_H\), \({\check{\gamma }}^{(s)}\) and \({\check{\sigma }}^{(s)}\) to indicate the functions on \(\Lambda \) with Fourier coefficients \(\eta _H (p)\), \(\cosh (s \eta _H (p))\) and, respectively, \(\sinh (s \eta _H (p))\), and where \({\check{\eta }}_{H,x}\), \({\check{\gamma }}_{x}\) and \({\check{\sigma }}_{x}\) denote the functions defined by \({\check{\eta }}_{H,x} (z) = {\check{\eta }}_H (z-x)\), \({\check{\gamma }}_{x} (z) = {\check{\gamma }}(z-x)\) and \({\check{\sigma }}_{x} (z) = {\check{\sigma }}^s(z-x)\). Using (3.22), (3.23), (3.24) and the bound (4.17), we find, for N large enough,
With Lemma 3.1, we estimate
We conclude that
From (7.54), we find
and thus, combining this bound with (7.46), (7.49) and (7.53), we arrive at
This proves (7.44). The bound (7.45) follows similarly, arguing as we did at the end of the proof of Proposition 7.2 to show (7.12). \(\quad \square \)
7.4 Analysis of \( {\mathcal {G}}_{N,\ell }^{(4)}=e^{-B(\eta _H)}{\mathcal {L}}^{(4)}_N e^{B(\eta _H)}\)
With \({\mathcal {L}}^{(4)}_N\) as defined in (2.4), we write
Proposition 7.6
There exists a constant \(C > 0\) such that
and
for all \(\alpha > 0\), \(\ell \in (0;1/2)\) small enough, f smooth and bounded, \(M \in {\mathbb {N}}\), \(N \in {\mathbb {N}}\) large enough.
The following lemma will be useful in the proof of Proposition 7.6.
Lemma 7.7
Let \(\eta _H \in \ell ^2 (\Lambda ^*)\), as defined in (4.13). Then there exists a constant \(C > 0\) such that
for all \(\xi \in {\mathcal {F}}_+^{\le N}\), \(n \in {\mathbb {Z}}\).
Proof
We consider \(n=0\), the general case follows similarly. With the notation \(\gamma _p = \cosh \eta _H (p)\), \(r_p = 1 - \gamma _p\), \(\sigma _p = \sinh \eta _H (p)\) and denoting by \({\check{\sigma }}\), \({\check{r}}\) the functions in \(L^2 (\Lambda )\) with Fourier coefficients \(\sigma _p\) and \(r_p\), we use (3.18) to write
because \(\Vert r \Vert , \Vert \sigma \Vert \le C \Vert \eta _H \Vert \le C\). Using Eq. (3.24) and (after writing \({\check{b}}_x {\check{d}}_y = {\check{b}}_x \check{{\bar{d}}}_y - {\check{b}}_x ({\mathcal {N}}_+/ N) b^* ({\check{\eta }}_y)\)) Eq. (3.23), and with the bound (4.17) (which also implies \(|{\check{\sigma }} (x)| \le C N\)), we obtain (7.57). \(\quad \square \)
Proof of Proposition 7.6
We start by writing
Now we observe that
Inserting in (7.58), we obtain
where we defined
First, we consider the term \(\text {W}_1\). With (3.18), we find
where we defined \(\gamma ^{(s)}_q = \cosh (s \eta _H (q))\), \(\sigma _q^{(s)} = \sinh (s \eta _H (q))\) and where \(d_q^{(s)}\) is defined as in (3.17), with \(\eta \) replaced by \(s \eta _H\). We write
where
with the errors
Since
uniformly in \(N \in {\mathbb {N}}\) and \(\ell \in (0;1/2)\), we can bound the first term in (7.62) by
To estimate the second term in (7.62), we use (7.63) and Lemma 3.4; we find
For the third term in (7.62), we use (7.63), Lemma 3.4, and also
uniformly in N and \(\ell \in (0;1/2)\). We obtain
Consider now the fourth term in (7.62). We write \({\mathcal {E}}_{104}^{(4)} = {\mathcal {E}}_{1041}^{(4)} + {\mathcal {E}}_{1042}^{(4)}\), with
With \(|\gamma _q^{(s)} - 1| \le C |\eta _H (q)|^2\), (7.63) and Lemma 3.4, we easily find
As for the term \({\mathcal {E}}_{1042}^{(4)}\), we switch to position space. Using (4.17) and (3.22) in Lemma 3.4, we obtain
Let us now consider the last term in (7.62). Switching to position space and using (3.24) in Lemma 3.4 and again (4.17), we arrive at
We conclude that the error term (7.61) can be estimated by
Next, we come back to the terms \(\text {W}_{11}, \text {W}_{12}, \text {W}_{13}\) defined in (7.60). Using (7.63) and \(|\gamma _q^{(s)} -1| \le C \eta _H (q)^2\), we can write
where \({\mathcal {E}}_{11}^{(4)}\) satisfies the estimate
The second term in (7.60) can be decomposed as
where the error
can be bounded, using (7.63) and \(| \gamma _q^{(s)} \sigma ^{(s)}_q -s \eta _H (q))| | \le C |\eta _H (q)|^3\), by
As for the third term on the r.h.s. of (7.60), we write
where \({\mathcal {E}}^{(4)}_{13} = {\mathcal {E}}_{131}^{(4)} + {\mathcal {E}}_{132}^{(4)} + {\mathcal {E}}_{133}^{(4)} + {\mathcal {E}}_{134}^{(4)}\), with
It is easy to estimate the last two terms: with (7.63), we have
With \(|\gamma _q^{(s)} -1| \le C \eta _H (q)^2\), Lemma 3.4 and, again, (7.63), we also find
Let us now focus on \({\mathcal {E}}_{132}^{(4)}\). Switching to position space, making use of the notation \(\check{{\bar{d}}}^{(s)}_y = d^{(s)}_y + s ({\mathcal {N}}_+ / N) b^* ({\check{\eta }}_{H,y})\) and using Lemma 3.4, specifically (3.23), we obtain
We conclude that \(\pm \, {\mathcal {E}}_{13}^{(4)} \le C \ell ^{\alpha /2} ({\mathcal {H}}_N + 1)\). Combining this with (7.64), (7.65), (7.66), we obtain
with
Next, we consider the term \(\text {W}_2\), in (7.59). To this end, it is convenient to switch to position space. We find
with the notation \({\check{\eta }}_{H,x} (z) = {\check{\eta }}_H (x-z)\). By Cauchy–Schwarz, we have
With
and using Lemma 7.7, we obtain
Also for the term \(\text {W}_3\) in (7.59), we switch to position space. We find
and thus
With Lemma 3.1, we find
Using Lemma 7.7, we conclude that
The term \(\text {W}_4\) in (7.59) can be bounded similarly. Switching to position space, we find
where \({\check{\eta }}^2_H\) denotes the function with Fourier coefficients \(\eta _H^2 (q)\), for \(q \in \Lambda ^*\), and where \({\check{\eta }}^2_{H,x} (y) := {\check{\eta }}^2_H (x-y)\). We conclude that \(\Vert {\check{\eta }}^2_{H,x} \Vert = \Vert \eta ^2_H \Vert \le C \ell ^{5\alpha /2}\). With Cauchy–Schwarz, we arrive at
Applying Lemmas 3.1 and 7.7, we obtain
Combining (7.67), (7.68), (7.69) with the last bound, we find
where \({\mathcal {E}}_{N,\ell }^{(4)}\) satisfies (7.55). As for the bound (7.56), it follows similarly, arguing as we did at the end of the proof of Proposition 7.2 to show (7.12). \(\quad \square \)
7.5 Proof of Propositions 4.2
We now combine the results of Sects. 7.1–7.4 to prove Proposition 4.2. From Propositions 7.1, 7.4, 7.5, 7.6, we conclude that the excitation Hamiltonian \({\mathcal {G}}_{N,\ell }\) defined in (4.18) is such that
where
and, with the notation \(f_M = f({\mathcal {N}}_+ / M)\),
for every f bounded and smooth and \(M \in {\mathbb {N}}\).
Our first goal is to show (4.24). With (4.10), we have
With Lemma 4.1 and estimating
we conclude that
with \(\pm \, {\mathcal {E}}_2 \le C \ell ^{-\alpha }\) (and with \([f_M, [f_M, {\mathcal {E}}_2]] = 0\)). Since \(\sum _{p \in P^c_H} |V(p/N)| |\eta _p | \le C \ell ^{-\alpha }\), and from (4.6), we further obtain
where \(\pm \, {\mathcal {E}}_3 \le C \ell ^{-\alpha }\) (and \([f_M, [f_M, {\mathcal {E}}_3]] = 0\)). Using (4.10), we can also handle the fourth line of (7.70); we find
Observe that
Using \({\widehat{\chi }}_\ell * \eta = \eta \) (because \(\chi _\ell (x) w_\ell (x) = w_\ell (x)\) in position space), we also find
Furthermore, we have
From (7.73), we conclude that
for N large enough. As for the fifth line on the r.h.s. of (7.70), we can write it as
where the error operator
can be bounded by \(\pm \, {\mathcal {E}}_4 \le C N^{-1/2} \ell ^{-\alpha } ({\mathcal {K}}+1)\), similarly as in (7.74).
Combining (7.70) with (7.72), (7.75) and (7.76), we conclude that
with
Observing that
that \(|{\widehat{V}} (p/N) - {\widehat{V}} (0)| \le C |p| N^{-1}\), and that, by (4.6),
we arrive, with \({\mathcal {G}}^\text {eff}_{N,\ell }\) defined as in (4.23), at \({\mathcal {G}}_{N,\ell } = {\mathcal {G}}_\text {eff} + {\mathcal {E}}_{N,\ell }\), with an error \({\mathcal {E}}_{N,\ell }\) that satisfies
for all N large enough. This completes the proof of (4.24). The second bound in (4.25) follows similarly, arguing as we did at the end of Proposition 7.2 (and noticing that the error term \({\mathcal {E}}_3\) in (7.72) which is responsible for the factor \(\ell ^{-\alpha }\) in (7.78) actually commutes with \(f ({\mathcal {N}}_+/M)\)).
Let us now prove (4.22) and the first bound in (4.25). We have to control the off-diagonal quadratic term and the cubic term appearing in \({\mathcal {G}}_{N,\ell }^\text {eff}\). We observe, first of all, that
Using \([f_M, [f_M, b_p b_{-p}]] = (f ({\mathcal {N}}_+/M) - f(({\mathcal {N}}_++2)/M))^2 b_p b_{-p}\), and a similar identity for \([f_M, [f_M, b_p^* b_{-p}^*]]\), we also obtain
It is possible to show an improved lower bound for the operator on the l.h.s. of (7.79), by noticing that, for an arbitrary \(\delta > 0\),
With (2.6), we commute
Observing that
and that \(\sum _{p \in P_H^c} |p|^{-2} \le C \ell ^{-\alpha }\), we conclude that there exists a constant \(C > 0\), independent of \(\ell \in (0;1/2)\) and of N, such that
for any \(\delta > 0\). As for the cubic term on the r.h.s. of (4.23), we have, switching to position space,
and analogously
Combining (7.78) with (7.79) and (7.82), we obtain (4.21). From (7.78), (7.81) and (7.82), we infer (4.22). Combining instead the second bound in (4.25), with (7.80) and (7.83) we find the first bound in (4.25) (because all other contributions to \({\mathcal {G}}_{N,\ell }^\text {eff}\) commute with \({\mathcal {N}}_+\)).
8 Analysis of the Excitation Hamiltonian \({\mathcal {R}}_{N,\ell } \)
The goal of this section is to prove Proposition 5.2, which gives a lower bound on the excitation Hamiltonian \({\mathcal {R}}_{N,\ell } = e^{-A} {\mathcal {G}}_{N,\ell }^\text {eff} e^A\), with \({\mathcal {G}}^\text {eff}_{N,\ell }\) as in (4.23) and the cubic phase
introduced in (5.1), with the high momentum set \(P_H = \{ p \in \Lambda _+^* : |p| \ge \ell ^{-\alpha } \}\) and the low momentum set \(P_L = \{ p \in \Lambda _+^* : |p| \le \ell ^{-\beta } \}\) for parameters \(0< \beta < \alpha \) and \(\ell \in (0;1/2)\) (in the proof of Proposition 5.2, we will assume \(\alpha > 3\) and \(\alpha /2< \beta < 2\alpha /3\)). To study the properties of \({\mathcal {R}}_{N,\ell }\), it is convenient to decompose
with \({\mathcal {K}}\) and \({\mathcal {V}}_N\) being the kinetic and the potential energy operators, as in (4.19), and
with \(P_H^c = \Lambda ^*_+ \backslash P_H\). To study the contributions of these operators to \({\mathcal {R}}_{N,\ell }\) and to prove Proposition 5.2 we will need a-priori bounds controlling the growth of the expectation of the energy \({\mathcal {H}}_N = {\mathcal {K}}+ {\mathcal {V}}_N\) through cubic conjugation; these estimates are obtained in the next subsection. As we did in Sect. 7, also in this Section we will always assume that \(V \in L^3 ({\mathbb {R}}^3)\) is compactly supported, pointwise non-negative and spherically symmetric.
8.1 A priori bounds on the energy
Our first proposition controls the commutator of the cubic phase (8.1) with the potential energy operator \({\mathcal {V}}_N\).
Proposition 8.1
There exists a constant \(C > 0\) such that
where
for all \(\alpha> \beta > 0\), \(\ell \in (0;1/2)\) and N large enough. Here \({\mathcal {K}}_L = \sum _{p \in P_L} p^2 a_p^* a_p\) denotes the kinetic energy associated to momenta \(p \in P_L = \{ p \in \Lambda _+^* : |p| \le \ell ^{-\beta } \}\).
Proof
With
and normal ordering the first two terms, we obtain
with
The notation \(\sum ^*\) indicates that we exclude choices of momenta for which the argument of a creation or annihilation operator vanishes. Writing
and comparing with (8.3), we conclude that \(\delta _{{\mathcal {V}}_N} = \Theta _1 + \Theta _2 + \Theta _3 + \Theta _4 + \text{ h.c. }\), with
and with \(\Theta _2, \Theta _3,\Theta _4\) as defined in (8.5).
To conclude the proof of the lemma, we show next that each error term \(\Theta _j\), with \(j=1,2,3,4\), satisfies (8.4). We start with \(\Theta _1\). For any \(\xi \in {\mathcal {F}}_+^{\le N}\), switching (partly) to position space and applying Cauchy–Schwarz, we find
Denoting by \({{\check{\eta }}}_H\in L^2(\Lambda )\) the function with Fourier coefficients \(\eta _H (p) = \eta _p \chi ( p \in P_H)\) and using (4.14), we can bound the term \(\Theta _2\) on the r.h.s. of (8.5) by
The remaining contributions \(\Theta _3\) and \(\Theta _4\) can be controlled similarly. We find
as well as
Choosing \(N > \ell ^{-3\alpha /2}\) (to control the r.h.s. of (8.6)), we obtain (8.4). \(\quad \square \)
With the help of Proposition 8.1, we can now control the growth of the expectation of the energy \({\mathcal {H}}_N\) w.r.t. cubic conjugation.
Lemma 8.2
There exists a constant \(C > 0\) such that
for all \(\alpha> \beta > 0\) with \(\alpha > 4/3\), \(s \in [0;1]\), \(\ell \in (0;1/2)\) and \(N \in {\mathbb {N}}\) large enough.
Proof
We apply Gronwall’s lemma. For a fixed \(\xi \in {\mathcal {F}}_+^{\le N}\) and \(s\in [0; 1]\), we define
Then
Let us first consider the second term. From Proposition 8.1, we find
where the operator \(\delta _{{\mathcal {V}}_N}\) satisfies (8.4). Switching to position space and applying Cauchy–Schwarz, we find
because, by (4.17), \(\Vert {\check{\eta }} \Vert _\infty \le C N\) and
Together with (8.4), using \(\alpha > \beta \), we conclude that
if N is large enough. Let us consider the first term on the r.h.s. of (8.8). We compute
We use (4.10) to rewrite the first term on the r.h.s. of (8.10) as
Since \(\Vert f_{\ell }\Vert _\infty \le 1\), the contribution of \(\text {T}_{11}\) can be estimated as in (8.9); we obtain
The second term in (8.11) can be controlled by
Finally, since \(({\widehat{\chi }}_\ell * {\widehat{f}}_{N,\ell }) (r) = {\widehat{\chi }}_\ell (r) + N^{-1} \eta _r\), the explicit expression
and the bound (4.8) imply that \(|({\widehat{\chi }}_\ell * {\widehat{f}}_{N,\ell }) (r)| \le C \ell |r|^{-2}\), for N large enough. With Lemma 4.1, the third term on the r.h.s. of (8.11) can thus be estimated for \(\alpha > 4/3\) by
So far, we proved that
for all \(\xi \in {\mathcal {F}}_+^{\le N}\). Let us now consider the second term on the r.h.s. of (8.10). We find
Together with (8.14), we conclude that
With Proposition 5.1, we obtain the differential inequality
By Gronwall’s Lemma, we find (8.7). \(\quad \square \)
The bound (8.7) is not yet ideal, because of the large constant proportional to \(\ell ^{-\alpha }\) multiplying the number of particles operator \({\mathcal {N}}_+\). To improve it, it is useful to consider first the growth of the low-momentum part of the kinetic energy operator. For \(\theta > 0\), we set
Comparing with the definition given in Proposition 8.1, we have \({\mathcal {K}}_L \equiv {\mathcal {K}}_{\theta = \ell ^{-\beta }}\).
Lemma 8.3
There exists a constant \(C > 0\) such that
for all \(\alpha> \beta > 0\) with \(\alpha > 4/3\), \(\ell \in (0;1/2)\), \(0< \theta < \ell ^{-\alpha } -\ell ^{-\beta }\), \(s \in [0;1]\) and \(N \in {\mathbb {N}}\) large enough.
Proof
For a fixed \(\xi \in {\mathcal {F}}_+^{\le N}\), we consider the function \(g_\xi : [0; 1]\rightarrow {\mathbb {R}}\), defined by \(g_\xi (s) := \langle \xi , e^{-sA} {\mathcal {K}}_{\theta } e^{sA} \xi \rangle \). For \(r \in P_H\) and \(v \in P_L\), we observe that \(|r+v| \ge |r| - |v| \ge \ell ^{-\alpha } - \ell ^{-\beta } > \theta \). Hence, we obtain
We estimate
Hence, using \({\mathcal {K}}\le {\mathcal {H}}_N\) and Lemma 8.2,
Gronwall’s Lemma implies (8.16). \(\quad \square \)
With Lemma 8.3 we can now improve the estimate of Lemma 8.2 for the growth of the expectation of the potential energy \({\mathcal {V}}_N\).
Corollary 8.4
There exists a constant \(C > 0\) such that
for all \(\alpha > 4/3\) and \(0< \beta < 2\alpha /3\), \(\ell \in (0;1/2)\) small enough, \(s \in [0;1]\) and \(N \in {\mathbb {N}}\) large enough.
Proof
For \(\xi \in {\mathcal {F}}_+^{\le N}\), consider the function \(h_\xi :[0;1] \rightarrow {\mathbb {R}}\) defined through \(h_\xi (s) := \langle \xi , e^{-sA} {\mathcal {V}}_N e^{sA} \xi \rangle \). By Proposition 8.1, we have
where
The estimate (8.9), in the proof of Lemma 8.2, shows moreover that
With Proposition 5.1 and Lemmas 8.2, 8.3 (with \(\theta =\ell ^{-\beta }\)), we deduce that
because \(\beta < 2\alpha /3\). Notice that, for \(\ell \in (0;1/2)\) small enough, we have \(2\ell ^{-\beta }< \ell ^{-\alpha }\); thus, we may choose indeed \(\theta =\ell ^{-\beta }\) in Lemma 8.2. Applying Gronwall’s Lemma to the last bound concludes (8.17). \(\quad \square \)
Finally, we consider the growth of the kinetic energy operator; in this case, we do not get a bound uniform in \(\ell \); still, we can improve the result of Lemma 8.2 and the estimate we obtain is sufficient for our purposes.
Corollary 8.5
There exists a constant \(C > 0\) such that
for all \(\alpha > 4/3\) and \(0< \beta < 2\alpha /3\), \(s \in [0;1]\), \(\ell \in (0;1/2)\) small enough and \(N \in {\mathbb {N}}\) large enough.
Proof
For a fixed \(\xi \in {\mathcal {F}}_+^{\le N}\) define \(j_\xi :[0;1]\rightarrow {\mathbb {R}}\) by \(j_\xi (s) := \langle \xi , e^{-sA} {\mathcal {K}}e^{sA} \xi \rangle \). From (8.10) and (8.11), we infer that
with \(\text {T}_{11}, \text {T}_{12}, \text {T}_{13}, \text {T}_2\) as in (8.10) and (8.11). Combining (8.12) with Proposition 5.1 and Corollary 8.4, we find
From (8.13), Proposition 5.1 and Lemma 8.2, we obtain
Using (8.15), Lemmas 8.2 and 8.3, we arrive at
Hence, to show (8.18), we only need to improve the bound on \(\text {T}_{12}\). To this end, we set \(\theta = \ell ^{-\alpha } - 5\ell ^{-\beta }/4\) and we decompose
With Proposition 5.1 and Lemma 8.3, we estimate
On the other hand, since \(\sum _{\theta< |r| < \ell ^{-\alpha }} |r|^{-2} \le C \ell ^{-\beta }\), we find, by Proposition 5.1 and Lemma 8.2,
Combining the last two bounds with (8.19), (8.20), (8.21), we obtain
for all \(s \in [0;1]\). Integrating over s, we arrive at (8.18). \(\quad \square \)
8.2 Analysis of \(e^{-A} {\mathcal {D}}_N e^{A}\)
In this section we study the contribution to \({\mathcal {R}}_{N,\ell }\) arising from the operator \({\mathcal {D}}_N\), defined in (8.2). To this end, it is convenient to use the following lemma.
Lemma 8.6
There exists a constant \(C > 0\) such that
for all \(\alpha , \beta > 0\), \(\xi _1, \xi _2 \in {\mathcal {F}}_+^{\le N}\), \(F \in \ell ^{\infty } (\Lambda ^*_+)\), \(\ell \in (0;1/2)\) and \(N \in {\mathbb {N}}\) large enough.
Proof
The lemma is a simple consequence of Proposition 5.1. We write
and compute
By Cauchy–Schwarz, we find with the help of Proposition 5.1 that
Since the bound is uniform in the integration variable \(s\in [0;1]\), we obtain (8.22). \(\square \)
Proposition 8.7
There exists a constant \(C>0\) such that
where
for all \(\alpha , \beta > 0\), \(\xi \in {\mathcal {F}}_+^{\le N}\), \(\ell \in (0;1/2)\) and \(N \in {\mathbb {N}}\) large enough.
Proof
Recall from (8.2) that
Lemma 8.6 implies that
As for the contribution quadratic in \({\mathcal {N}}_+\), we can write
with \(\xi _1 = e^{-A} {\mathcal {N}}_+ e^A \xi \) and \(\xi _2 = {\mathcal {N}}_+ \xi \). Applying again Lemma 8.6, we obtain
Using (twice) Proposition 5.1, we find
Hence,we conclude that
\(\square \)
8.3 Contributions from \(e^{-A} {\mathcal {K}}e^{A}\)
In this subsection, we consider contributions to \({\mathcal {R}}_{N,\ell }\) arising from conjugation of the kinetic energy operator \({\mathcal {K}}= \sum _{p \in \Lambda _+^*} p^2 a_p^* a_p\). In particular, in the next proposition, we establish properties of the commutator \([{\mathcal {K}}, A]\).
Proposition 8.8
There exists a constant \(C>0\) such that
where
for all \(\alpha , \beta > 0\), \(\xi \in {\mathcal {F}}_+^{\le N}\), \(\ell \in (0;1/2)\), \(N \in {\mathbb {N}}\) large enough. Moreover, we have
for all \(\alpha , \beta > 0\), \(\xi \in {\mathcal {F}}_+^{\le N}\), \(\ell \in (0;1/2)\) and \(N \in {\mathbb {N}}\) large enough.
Proof
The bound (8.23) is a consequence of Eqs. (8.10), (8.11), (8.13), (8.15) in the proof of Lemma 8.2, and of the observation that, from the estimate (7.77),
which is bounded by the r.h.s. of (8.23) if N is large enough. Let us now focus on (8.24). We have
We split the commutator into the four summands
We compute
as well as
Similarly, we find
and
Taking into account that \(\delta _{r,p} = \delta _{q,-r} = \delta _{r+v,q} = 0\) for \(r \in P_H, p \in P_H^c, q,v \in P_L\) we obtain, inserting these formulas into (8.25),
where
In fact, \(\Upsilon _1\) collects the contribution from (8.27) and the non-vanishing contribution from (8.29), \(\Upsilon _2 - \Upsilon _6\) corresponds to the five non-vanishing terms on the r.h.s. of (8.28), \(\Upsilon _7\) and \(\Upsilon _8\) reflect the two non-vanishing terms on the r.h.s. of (8.30).
To conclude the proof of Proposition 8.8, we show that all operators in (8.31) satisfy (8.24). By Cauchy–Schwarz, we observe that
The expectation of \(\Upsilon _2\) is bounded by
where we recall the notation \({\mathcal {K}}_L = {\mathcal {K}}_{\ell ^{-\beta }} = \sum _{|p| \le \ell ^{-\beta }} p^2 a_p^* a_p\) for the low-momenta kinetic energy. It is simple to see that \(\pm \, \Upsilon _3\le CN^{-1}\ell ^{-\alpha } {\mathcal {N}}_+\) and the expectations of the terms \(\Upsilon _4\), \(\Upsilon _6\) and \(\Upsilon _8\) can all be estimated by the expectation
Finally, the expectations of \(\Upsilon _5\) and \(\Upsilon _7\) can be bounded by
and by
\(\square \)
8.4 Analysis of \(e^{-A} {\mathcal {Q}}_{N,\ell } e^{A}\)
In this subsection, we consider contributions to \({\mathcal {R}}_{N,\ell }\) arising from conjugation of \({\mathcal {Q}}_{N,\ell }\), as defined in (8.2).
Proposition 8.9
There exists a constant \(C>0\) such that
where
for all \(\alpha >4/3\), \(0< \beta < 2\alpha /3\), \(\ell \in (0;1/2)\) small enough and \(N \in {\mathbb {N}}\) large enough.
Proof
Proceeding as in the proof of Proposition 8.7, it follows from Lemma 8.6 that
Let us thus focus on the remaining part of \({\mathcal {R}}_{N,\ell }^{(2,V)}\). We expand
We compute
where
and
Using the fact that \(\delta _{p,-r}= \delta _{p,r}=0\) for \(r\in P_{H}\) and \(p\in P_H^c\), we find that \(\sum _{p\in P_H^c} \big [b^*_p b^*_{-p}, A \big ]+\text {h.c.} = \sum _{i=1}^3(\Phi _i+\text {h.c.})\), where
Let us now bound the expectation of the operators \(\Phi _i, i=1,2,3,\). By Cauchy–Schwarz, we find that
as well as
To bound \(\Phi _3\) we notice that
With (8.34), we conclude that
Finally, we apply Proposition 5.1, Lemma 8.3 and Corollary 8.5 to conclude that
Together with the estimate (8.33), we arrive at (8.32). \(\quad \square \)
8.5 Contributions from \(e^{-A} {\mathcal {C}}_N e^{A}\)
In this subsection, we consider contributions to \({\mathcal {R}}_{N,\ell }\) arising from conjugation of the cubic operator \({\mathcal {C}}_N\) defined in (8.2). In particular, in the next proposition, we establish properties of the commutator \([{\mathcal {C}}_N, A]\).
Proposition 8.10
There exists a constant \(C>0\) such that
where
for all \(\alpha , \beta > 0\), \(\ell \in (0;1/2)\) and \(N \in {\mathbb {N}}\) large enough.
Proof
We have
From (8.26), (8.27), (8.28), (8.29) and (8.30) we arrive at
where
as well as
In fact, the first term on the r.h.s. of (8.36) arises from the second and fourth terms on the r.h.s. of (8.28), together with their Hermitean conjugates. The commutator (8.27) yields \(\Xi _1\), the remaining terms from (8.28) produce the contributions \(\Xi _2\) to \(\Xi _6\), from (8.29) we find the operators \(\Xi _7\) to \(\Xi _9\) and from (8.30) we obtain \(\Xi _{10}, \Xi _{11},\Xi _{12}\).
To conclude the proof of the proposition, we have to show that all terms \(\Xi _j\), \(j=1,\dots , 12\), satisfy the bound (8.35). The expectation of \(\Xi _1\) can be controlled with Cauchy–Schwarz by
The same bound applies (after relabeling) to \(\Xi _9\); we find
Also the expectations of the terms \(\Xi _2\), \(\Xi _3\) and (again after relabeling) of the terms \(\Xi _5\), \(\Xi _6, \Xi _{10}\), \(\Xi _{12}\) can be bounded similarly. We find
To control the remaining terms, we switch to position space and use the potential energy operator \({\mathcal {V}}_N\). We start with \(\Xi _4\). Applying Cauchy–Schwarz, we find
Next, we rewrite \( \Xi _7\), \(\Xi _8\) and \(\Xi _{11}\) as
Thus, we obtain
as well as
Collecting all the bounds above, we arrive at (8.35). \(\quad \square \)
8.6 Proof of Proposition 5.2
Let us now combine the results of Sects. 8.1–8.5 to prove Proposition 5.2. Here, we assume \(\alpha > 3\) and \(\alpha /2< \beta < 2\alpha /3\).
From Propositions 8.7 and 8.9 we obtain that
with \({\mathcal {C}}_N\) defined as in (8.2). From Propositions 8.1, 8.8 and 8.10, we can write, for N large enough,
From Proposition 5.1, Lemma 8.3, Corollaries 8.4 and 8.5 and recalling the Definition (8.2) of the operator \({\mathcal {C}}_N\), we deduce that
The expectation of the operator on the fourth line can be estimated after switching to position space with Corollaries 8.4 and 8.5. We find
Next, we consider the term on the third line of (8.37). With Lemma 4.1, part (ii), and since \(\alpha > 1\), we have
for every \(v\in P_L\). With Lemmas 8.3, 8.6 and Proposition 5.1 we obtain, for \(N \ge \ell ^{-3\alpha }\),
To handle the second term on the second line of (8.37), we apply Propositions 8.8 and 5.1, Lemma 8.3 and Corollary 8.5 to conclude, again for \(N \ge \ell ^{-3\alpha }\),
As for the first term on the second line of (8.37), we use again Proposition 8.10. Proceeding then as in (8.39), we have
Inserting the bounds (8.38)–(8.40) into (8.37) and using additionally the simple bounds
and
we arrive at
with \(\kappa = \min [ (\alpha -\beta )/4; \alpha -3; \beta -\alpha /2; 2\alpha -3\beta ] > 0\) under the assumptions \(\alpha > 3\) and \(\alpha /2< \beta < 2\alpha /3\).
We define now the function \(\nu _\ell \in L^\infty (\Lambda )\) by setting
In other words, \(\nu _\ell \) is defined so that \({\widehat{\nu }}_\ell (p) = 8\pi \mathfrak {a}_0\) for all \(p \in \Lambda ^*\) with \(|p| \le \ell ^{-\alpha }\) and \({\widehat{\nu }}_\ell (p) = 0\) otherwise. Observe, in particular, that \({\widehat{\nu }}_\ell (p) \ge 0\) for all \(p \in \Lambda ^*\). Proceeding as in (2.4), but now with \({\widehat{V}} (p/N)\) replaced by \({\widehat{\nu }}_\ell (p)\), we find that
Comparing with (8.41) and noticing that
we conclude that
Following standard arguments, for example from [15, Lemma 1], we observe now that, since \({\widehat{\nu }}_\ell (p) \ge 0\) for all \(p \in \Lambda ^*\),
This implies that
From (8.42), we finally obtain
This completes the proof of Proposition 5.2.
Notes
At the end, we will need the high-momentum cutoff \(\ell ^{-\alpha }\) to be sufficiently large. To reach this goal, we will choose \(\ell \) sufficiently small. Alternatively, we could decouple the cutoff from the radius \(\ell \) introduced in (4.1), keeping \(\ell \in (0;1/2)\) fixed and choosing instead the exponent \(\alpha \) sufficiently large.
At the end, we will need the low-momentum cutoff \(\ell ^{-\beta }\) to be sufficiently large (preserving however certain relations with the high-momentum cutoff). We will reach this goal by choosing \(\ell \) small enough. Alternatively, as already remarked in the footnote after (4.12), also here we could decouple the low-momentum cutoff from the radius \(\ell \) introduced in (4.1), by keeping \(\ell \in (0;1/2)\) fixed and varying instead the exponent \(\beta \).
References
Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: Complete Bose–Einstein condensation in the Gross–Pitaevskii regime. Commun. Math. Phys. 359(3), 975–1026 (2018)
Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: The excitation spectrum of Bose gases interacting through singular potentials (To appear on J. Eur. Math. Soc). Preprint arXiv:1704.04819
Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: Bogoliubov theory in the Gross–Pitaevskii limit. Acta Math. 222(2), 219–335 (2019)
Bogoliubov, N.N.: On the theory of superfluidity. Izv. Akad. Nauk. USSR 11, 77 (1947). (Engl. Transl. J. Phys. (USSR) 11 (1947), 23)
Brennecke, C., Schlein, B.: Gross–Pitaevskii dynamics for Bose–Einstein condensates. Anal. PDE 12(6), 1513–1596 (2019)
Erdős, L., Schlein, B., Yau, H.-T.: Derivation of the Gross–Pitaevskii hierarchy for the dynamics of Bose–Einstein condensate. Commun. Pure Appl. Math. 59(12), 1659–1741 (2006)
Lewin, M., Nam, P.T., Rougerie, N.: Derivation of Hartree’s theory for generic mean-field Bose gases. Adv. Math. 254, 570–621 (2014)
Lewin, M., Nam, P.T., Rougerie, N.: The mean-field approximation and the non-linear Schrödinger functional for trapped Bose gases. Trans. Am. Math. Soc. 368(9), 6131–6157 (2016)
Lewin, M., Nam, P.T., Serfaty, S., Solovej, J.P.: Bogoliubov spectrum of interacting Bose gases. Commun. Pure Appl. Math. 68(3), 413–471 (2014)
Lieb, E.H., Seiringer, R.: Proof of Bose–Einstein condensation for dilute trapped gases. Phys. Rev. Lett. 88, 170409 (2002)
Lieb, E.H., Seiringer, R.: Derivation of the Gross–Pitaevskii equation for rotating Bose gases. Commun. Math. Phys. 264(2), 505–537 (2006)
Lieb, E.H., Seiringer, R., Yngvason, J.: Bosons in a trap: a rigorous derivation of the Gross–Pitaevskii energy functional. Phys. Rev. A 61, 043602 (2000)
Lieb, E.H., Solovej, J.P.: Ground state energy of the one-component charged Bose gas. Commun. Math. Phys. 217, 127–163 (2001). (Errata: Commun. Math. Phys. 225 (2002), 219–221)
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)
Seiringer, R.: The excitation spectrum for weakly interacting Bosons. Commun. Math. Phys. 306, 565–578 (2011)
Acknowledgements
We would like to thank P. T. Nam and R. Seiringer for several useful discussions and for suggesting us to use the localization techniques from [9]. C. Boccato has received funding from the European Research Council (ERC) under the programme Horizon 2020 (Grant Agreement 694227). B. Schlein gratefully acknowledges support from the NCCR SwissMAP and from the Swiss National Foundation of Science (Grant No. 200020_1726230) through the SNF Grant “Dynamical and energetic properties of Bose–Einstein condensates”.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by R. Seiringer
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Properties of the Scattering Function
Properties of the Scattering Function
In this appendix we give a proof of Lemma 4.1 containing the basic properties of the solution of the Neumann problem (4.1).
Proof of Lemma 4.1
Part (i) and the bounds \(0\le f_\ell , w_\ell \le 1\) in part (ii) follow from [6, Lemma A.1]. We prove (4.6). We set \(r=|x|\) and \(m_\ell (r)=rf_\ell (r)\). We rewrite (4.1) as
Let \(R > 0\) be the radius of the support of V, so that \(V(x) = 0\) for all \(x \in {\mathbb {R}}^3\) with \(|x| > R\). For \(r\in (R,N\ell ]\) we can solve (A.1) explicitly; since the boundary conditions \(f_\ell (N\ell ) = 1\) and \((\partial _r f_\ell ) (N\ell ) = 0\) translate into \(m_\ell (N\ell ) = N\ell \) and \(m'_\ell (N\ell ) = 1\), we find
With the result of part (i), we obtain
for all \(r \in (R,N\ell ]\) (the error is uniform in r). Using the scattering equation we can write
Integrating by parts, we observe that the first contribution on the r.h.s. vanishes (because \(m_\ell (N\ell ) = N\ell \), \(m'_\ell (N\ell ) = 1\) and \(m_\ell (0) = 0\)). With the result of part (i) and with (A.3), we get
which proves (4.6).
We consider now part (iii). Combining (A.3) for \(r \in (R,N\ell ]\) with \(w_\ell (r) \le 1\) for \(r \le R\), we obtain the first bound in (4.7). To show the second bound in (4.7), we observe that, for \(r \in (R,N\ell ]\), (A.2) and the estimate in part (i) imply that \(|f'_\ell (r)| \le C r^{-2}\), for a constant \(C > 0\) independent of N and \(\ell \), provided \(N \ell \ge 1\). For \(r < R\) we write, integrating by parts,
With (A.1) and since \(0 \le f_\ell \le 1\), we obtain
for a constant \(C > 0\) independent of N and \(\ell \), if \(N\ell \ge 1\) and for all \(0< r < R\). This concludes the proof of the second bound in (4.7).
To show part (iv), we use (4.4) and we observe that, by (4.5), (4.6) and \(f_\ell \le 1\), there exists a constant \(C > 0\) such that
for all \(N \in {\mathbb {N}}\) and \(\ell > 0\), if \(N \ell \ge 1\). \(\quad \square \)
Rights and permissions
About this article
Cite this article
Boccato, C., Brennecke, C., Cenatiempo, S. et al. Optimal Rate for Bose–Einstein Condensation in the Gross–Pitaevskii Regime. Commun. Math. Phys. 376, 1311–1395 (2020). https://doi.org/10.1007/s00220-019-03555-9
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00220-019-03555-9