Skip to main content
Springer logoLink to Springer
. 2025 Jun 3;406(7):153. doi: 10.1007/s00220-025-05320-7

Third Order Corrections to the Ground State Energy of a Bose Gas in the Gross–Pitaevskii Regime

Cristina Caraci 1,, Alessandro Olgiati 2, Diane Saint Aubin 3, Benjamin Schlein 3
PMCID: PMC12134057  PMID: 40474986

Abstract

For a translation invariant system of N bosons in the Gross–Pitaevskii regime, we establish a precise bound for the ground state energy EN. While the leading, order N, contribution to EN has been known since (Lieb et al. in Phys Rev A 61:043602, 2000; Lieb and Yngvason in Phys Rev Lett 80:2504–2507, 1998) and the second order corrections (of order one) have been first determined in Boccato et al. (Acta Math 222(2):219–335, 2019), our estimate also resolves the next term in the asymptotic expansion of EN, which is of the order (logN)/N.

Introduction

In the Gross–Pitaevskii regime, we consider a gas of N bosons moving on the unit torus Λ[0;1]3, interacting through a repulsive potential with scattering length of the order 1/N. The Hamilton operator of such a system has the form

HN=j=1N-Δxj+i<jNN2V(N(xi-xj)) 1.1

and acts, according to the bosonic statistics, on Ls2(ΛN), the subspace of L2(ΛN) consisting of functions that are symmetric w.r.t. permutations. Here, we are going to assume that VL3(R3) is non-negative, compactly supported and spherically symmetric. We denote by a its scattering length, which is defined through the solution f of the zero energy scattering equation

-Δ+12Vf=0

with the boundary condition f(x)1, as |x|, by requiring that

f(x)=1-a|x|

outside the support of V. By scaling, the scattering length of the potential N2V(N·) appearing in (1.1) is then given by a/N. Observe that, after rescaling xNx, the Gross–Pitaevskii regime equivalently describes a gas of particles interacting through the fixed potential V, at density ρ=N-2.

As first established in [29, 31], the ground state energy EN of (1.1) is given, to leading order, by

EN=4πaN+o(N)

in the limit N. In [28, 30, 34], it was also shown that the corresponding ground state vectors exhibit complete Bose–Einstein condensation; all particles, up to a fraction vanishing in the limit N, can be described by the zero-momentum one-particle orbital φ0L2(Λ), defined by φ0(x)=1 for all xΛ. In the last years, more precise bounds on the rate of condensation have been derived. For VL3(R3), it was shown in [6] that, for any normalized sequence ψNLs2(ΛN) of approximate ground state vectors, satisfying

ψN,HNψNEN+K,

the number of particles that are orthogonal to φ0 remains bounded by a constant proportional to K (but independent of N), in the limit N (a simplified proof of condensation has been recently proposed in [11], using the approach developed in [16]).

This optimal estimate on the rate of condensation was used in [6] as input for a rigorous version of Bogoliubov theory [8], showing that the ground state energy of (1.1) satisfies

EN=4πa(N-1)+eΛa2-12p2πZ3\{0}[p2+8πa-|p|4+16πap2-(8πa)22p2]+O(N-1/4) 1.2

and that the spectrum of HN-EN below a threshold ζ>0 consists of eigenvalues having the form

p2πZ3\{0}np|p|4+16πap2+O((1+ζ3)N-1/4) 1.3

where npN for all p2πZ3\{0}. In (1.2), we defined

eΛ=2-limMpZ3\{0}:|p1|,|p2|,|p3|Mcos|p|p2 1.4

The optimal bound on the condensation rate and the estimates (1.2), (1.3) on the low-energy spectrum of (1.1) have been later extended to Bose gases trapped by an external potentials in [14, 15, 33, 35], to bosons moving in a box with Neumann boundary conditions in [13], to systems interacting through a potential with scattering length of the order N-1+κ, for sufficiently small κ>0, in [1, 12] and to Bose gases in the two-dimensional Gross–Pitaevskii regime in [18, 19]. Recently, an upper bound matching (1.2) was proven in [3], for particles interacting through a non-integrable, hard-sphere potential. New and simpler proofs of (1.2), (1.3) have been obtained in [25] and, very recently, in [16] (also beyond the Gross–Pitaevskii regime, for κ>0 small enough). Some rigorous bounds are also available at positive temperatures; to leading order, the free energy in the Gross–Pitaevskii regime was determined in [20], up to temperatures comparable with the critical temperature for condensation. Upper bounds for the free energy capturing also the next order corrections have been obtained in [7, 17].

Bogoliubov theory has been recently also used to determine equilibrium properties of Bose gases in the thermodynamic limit, where we consider N particles moving in the box [0;L]3, with periodic boundary conditions, letting N,L keeping the density ρ=N/L3 fixed. In [27], Lee–Huang–Yang derived a formula for the asymptotic behavior of the ground state energy per particle, in the dilute regime, to leading- and next-to-leading order. Their result was then improved by Wu in [38], by Hugenholtz-Pines in [26] and by Sawada in [37], who predicted that

e(ρ)=limN,LN/L3=ρEN,LN=4πaρ1+12815π(ρa3)1/2+8(43π-3)ρa3log(12πρa3)+ 1.5

up to lower order corrections, in the limit ρa30. The validity of the first term on the r.h.s. of (1.5) has been known since [21] (upper bound) and [31] (matching lower bound). As for the second term in (1.5) (the Lee–Huang–Yang correction), a lower bound was proven in [22] and, for more general interaction potentials (including hard-sphere interactions), in [23]. Recently, an optimal lower bound was also derived in [24] for the free energy at positive temperature (chosen so that the energy of thermal excitations is comparable to the Lee–Huang–Yang correction). As an upper bound, the first two terms in (1.5) were first established in [39]. A simpler proof, which applies to more general potentials (but not to hard-sphere interactions) was obtained in [4]. For the hard-sphere potential, on the other hand, the derivation of an upper bound matching (1.5) to second order is still an open problem. However, an upper bound establishing the validity of the first term on the r.h.s. of (1.5), with an error of the Lee–Huang–Yang order (but with the wrong constant) was recently proven in [2]. There is still no rigorous result about the third term on the r.h.s. of (1.5), neither as a lower nor as an upper bound to the ground state energy per particle.

In this paper, we improve (1.2), establishing the next contribution to the ground state energy in the Gross–Pitaevskii regime, which turns out to be of the order (logN)/N. The next theorem is our main result.

Theorem 1.1

Let VL3(Λ) be non-negative, spherically symmetric, and compactly supported. Let Λ+=2πZ3\{0}. Then the ground state energy EN of the Hamiltonian HN from (1.1) satisfies

EN=4πa(N-1)+eΛa2-12pΛ+[p2+8πa-|p|4+16πap2-(8πa)22p2]-64π(43π-3)a4(logN)N+O((logN)1/2/N) 1.6

as N, with eΛ defined in (1.4).

Remarks

  1. Let aN=a/N be the scattering length of the potential in (1.1). With ρ=N, we observe that ρaN3=a3/N2. We conclude that third term on the r.h.s. of (1.6) is consistent with the prediction (1.5) for the third term in the asymptotic expansion of ground state energy per particle in the thermodynamic limit.

  2. With our analysis, we could also improve the estimate (1.3) for the low-energy spectrum of HN-EN, showing that, below a threshold ζ>0, it consists of eigenvalues having the form
    p2πZ3\{0}np|p|4+16πap2+O(Cζ(logN)1/2/N)
    for an appropriate constant Cζ>0, depending polynomially on ζ.
  3. Expansions of the ground state energy of Bose gases beyond second order have been previously obtained in the mean-field limit [10, 32, 36]. Moreover, for systems of N particles interacting through a potential of the form N3β-1V(Nβ·), for a β(0;1), the ground state energy was recently resolved to order N-1+β in [9].

  4. At the expense of a slightly longer proof, with our techniques we could prove that the error term in (1.6) is O(N-1).

  5. Heuristically, the appearance of a term of order (logN)/N on the r.h.s. of (1.6) can be understood by perturbation theory. The bounds (1.2), (1.3) are proven in [6] showing that, after appropriate unitary transformations, HN can be approximated by a Fock space Hamiltonian of the form
    Hquadr=EN(0)+p2πZ3\{0}|p|4+16πap2apap
    quadratic in creation and annihilation operators. Here, EN(0) denotes the approximation to the ground state energy of HN appearing on the r.h.s. of (1.2). The ground state of Hquadr is the Fock space vacuum Ω={1,0,0,}. The main correction to Hquadr is given by cubic terms in creation and annihilation operators, whose expectation vanishes in the state Ω. By second order perturbation theory, we obtain therefore
    ENEN(0)+Ω,W(Hquadr-EN(0))-1WΩ 1.7
    where W has the form
    W=1Np,r2πZ3\{0}φp,r[ap+ra-pa-r+h.c.]
    for some appropriate coefficients φp,r. The operator W includes all cubic terms which do not vanish when acting on Ω. Using the canonical commutation relations [ap,aq]=δpq, [ap,aq]=0, we find
    EN=EN(0)+1Np,rφp,r[φp,r+φp+r,r+φr,p+φr,p+r+φp+r,p+φp,p+r]εp+εr+εp+r
    with the dispersion εp=|p|4+16πap2. Determining the precise form of the coefficients φp,r is not trivial (it requires understanding precisely which corrections to the quadratic Hamiltonian Hquadr are important); it turns out that φp,r scales as momentum to the power -4, for |p|,|r|CN. Taking into account that εpp2, for large p, this produces a correction to EN(0), exactly of the order (logN)/N. Although this argument could be probably also made into a rigorous proof, our approach is different, since it resolves the correct energy through two unitary conjugations, one with the exponential of a quadratic and, respectively, a cubic expression in (modified) creation and annihilation operators (our unitary conjugations implement the perturbative expansion leading to (1.7)).

Excitation Hamiltonians and Proof of Theorem 1.1

In order to determine the low-energy spectrum of the Hamilton operator (1.1), it is convenient, first of all, to factor out the Bose–Einstein condensate, focussing on its orthogonal excitations. To this end, we observe that an arbitrary wave function ψNLs2(ΛN) can be uniquely decomposed as

ψN=α0φ0N+α1sφ0(N-1)++αN

with αjL2(Λ)sj, where L2(Λ) denotes the orthogonal complement of the condensate wave function φ0, defined by φ0(x)=1 for all xΛ (and where s indicates the symmetric tensor product). This observation allows us to define a unitary operator UN:Ls2(ΛN)FN mapping the original Hilbert space Ls2(ΛN) into the truncated Fock space

FN=n=0NLφ02(Λ)sn,

setting UNψN={α0,,αN}. The map UN is characterized by its action on number of particle-preserving products of creation and annihilation operators, given by

UNa0a0UN=N-N+UNapa0UN=NbpUNa0apUN=NbpUNapaqUN=apaq 2.1

for momenta p,qΛ+=Λ\{0} (where Λ=2πZ3 is the dual lattice to Λ). Here ap=a(φp) and ap=a(φp) are creation and annihilation operators creating and, respectively, annihilating a particle with momentum pΛ, described by the plane wave φp(x)=e-ip·x. Furthermore, N+=pΛ+apap denotes the number of particles operator on FN and, for pΛ+, we introduced the modified creation and annihilation operators

bp:=N-N+Nap,bp:=apN-N+N.

These operators act on FN, they are bounded by the square root of N+, in the sense that

bpξN+1/2ξbpξ(N++1)1/2ξ.

and they satisfy the commutation relations

[bp,bq]=1-N+Nδp,q-1Naqap[bp,bq]=[bp,bq]=0, 2.2

and

[bp,aqar]=δp,qbr,[bp,aqar]=-δp,rbq. 2.3

Rewriting the Hamilton operator (1.1) in momentum space, using the language of second quantization, we find

HN=pΛp2apap+12Np,q,rΛV^(r/N)ap+raqaq+rap. 2.4

This expression allows us to compute the excitation Hamiltonian LN=UNHNUN, defined on the excitation space FN, using the rules (2.1). We find

LN:=UNHNUN=LN(0)+K+LN(2,V)+LN(3)+VN, 2.5

where we introduced the kinetic and potential energy operators

K=pΛ+p2apap,VN=12NrΛ,p,qΛ+r-p,-qV^(r/N)ap+raqapaq+r 2.6

and we set

LN(0)=V^(0)2(N-1)LN(2,V)=pΛ+V^(p/N)bpbp-1Napap+12pΛ+V^(p/N)(bpb-p+bpb-p)-V^(0)2NN+(N+-1)LN(3)=1Np,qΛ+p+q0V^(p/N)bp+qa-paq+aqa-pbp+q. 2.7

After conjugation with UN, the vacuum vector ΩFN corresponds to the factorized wave function φ0N, which is still very far, energetically, from the ground state of (2.4). In the next step, we are going to renormalize the excitation Hamiltonian (2.5), factoring out the microscopic correlation structure characterizing its low-energy states. To describe correlations, we fix >0 and consider the ground state solution of the Neumann problem

[-Δ+12V]f=λf(x)|x|Nrf(x)=0|x|=N

on the ball |x|N, normalized so that f(x)=1 for |x|=N. We extend f(x)=1 for all |x|>N and we set w(x)=1-f(x). We denote fN,(x)=f(Nx) the solution of the rescaled Neumann problem

[-Δ+N22V(N·)]fN,=λfN,|x|rfN,(x)=0|x|= 2.8

on the ball |x|, with fN,(x)=1 for all |x|. As above, we set wN,(x)=1-fN,(x). With a slight abuse of notation we use the same notation for fN, and for its periodisation on the torus Λ. The next Lemma, whose proof can be found in [5, Appendix B], collects important bounds for the functions f and w, and for the eigenvalue λ.

Lemma 2.1

Let V be as in the assumptions of Theorem 1.1.

  • (i)
    The eigenvalue λ appearing in (2.8) satisfies
    λ=3a(N)31+95aN+Oa2(N)2.
  • (ii)
    There exists a constant C>0 such that
    R3V(x)f(x)dx-8πa1+32aNCa3(N)2 2.9
    for (0,1/2).
  • (iii)
    There exists C>0 with
    w(x)C|x|+1,|w(x)|Cx2+1. 2.10

The Fourier coefficients of fN, are given by

f^N,(p)=ΛfN,(x)e-ip·xdx=δp,0-N-3w^(p/N)

where we defined

w^(q)=R3wN,(x)e-iq·xdx

for all qR3. For pΛ=2πZ3, we consider the coefficients

ηp=-N-2w^(p/N) 2.11

By (2.8), they satisfy the equation

p2ηp+12V^(p/N)+12NqΛV^((p-q)/N)ηq=N3λχ^(p)+N2λqΛχ^(p-q)ηq. 2.12

Here χ is the characteristic function of the ball of radius , centered at the origin. Through the coefficients ηp we define the antisymmetric operator

Bη=12pΛ+ηp(bpb-p-bpb-p).

Conjugating (2.5) with the generalized Bogoliubov transformation eBη, we define the renormalized excitation Hamiltonian G~N=e-BηLNeBη. As shown in [5], G~N has the form

G~NCG~N+QG~N+CG~N+VN

up to small corrections. Here CG~N is a constant, while QGN~,CG~N are quadratic and, respectively, cubic contributions in creation and annihilation operators. As discussed in [5], this form of the excitation Hamiltonian is still not enough to determine its spectrum (not even up to errors of order one, in N), because the cubic term CG~N is not negligible. A second renormalization, this time with a unitary transformation given by the exponential of a cubic expression in creation and annihilation operators, must be used to get rid of CG~N. The resulting twice renormalized excitation Hamiltonian has the form

J~NCJ~N+QJ~N+VN 2.13

again up to small corrections. At this point the quadratic part of J~N has the form

QJ~N=pΛ+[F~pbpbp+12G~p(bpb-p+bpb-p)] 2.14

with the coefficients

F~p=[p2+(V^(·/N)f^N,)p]cosh(2ηp)+(V^(·/N)f^N,)psinh(2ηp)G~p=[p2+(V^(·/N)f^N,)p]sinh(2ηp)+(V^(·/N)f^N,)pcosh(2ηp). 2.15

To compute the spectrum of (2.13), it is convenient to diagonalize (2.14), conjugating it with another generalized Bogoliubov transformation. As shown in [5, Lemma 5.1], the coefficients (2.15) satisfy the bounds

p22F~pC(1+p2),|G~p|Cp2,|G~p|F~p 2.16

for all pΛ+. As a consequence, we can define coefficients τp requiring that

tanh(2τp)=-G~pF~p=-[p2+(V^(·/N)f^N,)p]sinh(2ηp)+(V^(·/N)f^N,)pcosh(2ηp)[p2+(V^(·/N)f^N,)p]cosh(2ηp)+(V^(·/N)f^N,)psinh(2ηp). 2.17

With this choice of the coefficients τp, it was proven in [5] that

M~N=e-BτJ~NeBτCM~N+pΛ+ε(p)apap+VN

for appropriate constant CMN and dispersion ε(p). It is then easy to determine the low-energy spectrum of M~N (using the positivity of the potential energy operator VN, and its smallness on states with few low-momentum excitations); see [5] for the details.

In the present work, to improve the energy resolution up to errors smaller than (logN)/N, we find it more convenient to combine eBη and eBτ into a single generalized Bogoliubov transformation. To this end, we define the coefficients

μp=ηp+τp 2.18

for all pΛ=2πZ3, with ηp as in (2.11) and τp as introduced in (2.17). In the next lemma, we collect important properties of the coefficients ηp, τp, μp, and

γp=coshμp,σp=sinhμp. 2.19

We will systematically use such properties in estimates throughout the paper.

Lemma 2.2

Let V be as in the assumptions of Theorem 1.1.

  • (i)
    There exists a constant C>0 such that
    |ηp|C|p|-2.
    Moreover,
    |η0|C,η2C,pΛp2|ηp|2CN,ηqCmax{1,N3-2q} 2.20
    for all q1.
  • (ii)
    There exists a constant C>0 such that
    |τp|C|p|-4,pΛ+τp2+pΛ+p2τp2<C. 2.21
  • (iii)
    As a consequence of (i) and (ii) and of the definitions of μp,γp,σp, we have
    |μp|+|σp|C|p|-2,|γp|C 2.22
    and
    μ2+σ2C,pΛ+p2(μp2+σp2)CN 2.23
    for a suitable C>0.

Proof

We only prove the last bound in (2.20) since the other estimates in (i) are shown in [5, Appendix B], the estimates in (ii) follow from the definition of τp together with (2.12) and (2.16), and (iii) is an immediate consequence of (i) and (ii). We have

ηqq=pΛ+|ηp|q=p:|p|N|p|-2q+p:|p|>N|ηp|qCmax{N3-2q,1}+p:|p|>N|(V^(·/N)f^N,)p|q|p|2q+Cp:|p|>N|(χ^f^N,)p|q|p|2q

With Hölder’s inequality, we find

p:|p|>N|(V^(·/N)f^N,)p|q|p|2qV^(·/N)f^N,2qχ(|.|>N)|.|2q2/(2-q)CN3q/2N-(7q-6)/2CN3-2q.

Using the coefficients μp we define the antisymmetric operator

Bμ=Bη+Bτ=12pΛ+μp(bpb-p-h.c.). 2.24

With the corresponding generalized Bogoliubov transformation eBμ, we define the renormalized excitation Hamiltonian

GN=e-BμLNeBμ. 2.25

The advantage that we have, when working with GN rather than with LN, is that, after removing the microscopic correlation structure through e-Bμ, low-energy states of GN have only few excitations, with bounded energy. More precisely, we obtain the following a-priori estimates on products of the energy operator HN=K+VN with arbitrary powers of the number of particles operator N+.

Proposition 2.3

Let ψNLs2(ΛN) be a normalized sequence of approximate ground state vectors of the Hamilton operator (1.1), satisfying ψN=χ(HNEN+K)ψN, where EN is the ground state energy of (1.1) and K>0 is fixed. Let ξN=e-BμUNψN be the corresponding normalized sequence of approximate ground state vectors of the renormalized excitation Hamiltonian (2.25). Let kN. Then, there exists C>0 (depending on K and k) such that

ξN,(HN+1)(N++1)kξNC 2.26

for all NN.

A-priori bounds of the form (2.26) have been established in [5, Prop. 4.1], for a sequence ξN=e-BηUNψN, defined in terms of the generalized Bogoliubov transformation generated by Bη, rather than in terms of that generated by Bμ. From (2.24), the difference Bμ-Bη=Bτ is associated with the kernel τ exhibiting, by (2.21), fast decay in momentum space. For this reason, the estimate in Prop. 2.3 follows from the bounds for ξN in [5, Prop. 4.1]. This is shown in Appendix B.

In the next theorem, whose proof is deferred to Sect. 3, we determine the operator GN, up to very small errors (which can be controlled through the a-priori estimates in Prop. 2.3).

Theorem 2.4

Let VL3(R3) be non-negative, compactly supported, and spherically symmetric. Let GN be defined as in (2.25) with parameter (0,12) small enough. For pΛ+, let γp=coshμp and σp=sinhμp. Moreover, define the constant

CGN=(N-1)2V^(0)+pΛ+[p2σp2+V^(p/N)(σpγp+σp2)]+12NpΛ+V^((p-q)/N)σqγqσpγp+1NpΛ+[p2ηp2+12N(V^(·/N)η)pηp]-1NpΛ,qΛ+V^(p/N)ηpσq2 2.27

and the cubic operator

CGN=1Np,qΛ+p+q0V^(p/N)bp+qb-p(γqbq+σqb-q)+h.c.. 2.28

Furthermore, let TGN=TN(2)+TN(4), with

TN(2)=12N2pΛ+(V^(·/N)η)p(bpb-p+bpb-p)(1+2σ22)+12NqΛ+(2σq2+γqσqμq-1)pΛ+p2ηp(bpb-p+bpb-p)TGN(4)=12Np,qΛ+,rΛV^(r/N)σpσq+rbp+rbqb-pb-q-r+h.c.+1N2p,qΛ+(V^(·/N)η)pγqσqbpb-pbqb-q+h.c.-12NpΛ,qΛ+(V^(·/N)f^N,)p(γqσq-ηq2-σq22μq)bpb-pbqb-q+h.c.. 2.29

Then

GN=CGN+pΛ+|p|4+2(V^(·/N)f^N,)pp2apap-1Np,qΛ+(V^(q/N)+V^((q+p)/N))ηq[(γp2+σp2)bpbp+γpσp(bpb-p+bpb-p)]+CGN+VN+TGN+EGN 2.30

where, for every 0<ε<1, we have

±EGNεN++CεN(HN+N+3+1)(N++1) 2.31

with HN=K+VN.

Remark

In the representation (2.30) of the renormalized excitation Hamiltonian, we distinguish three types of error terms (terms which will not contribute to the energy of the Hamiltonian, up to order (logN)/N). First of all, in EGN we absorb several contributions that are controlled by the second term on the r.h.s. of (2.31). With the a-priori bounds in Prop. 2.3, these terms are small, of order N-1, in the limit N. Other contributions to the error EGN are bounded by εN+, for an arbitrary small ε>0. Since the cubic conjugation only increases N+ by O(N-1), we will control these terms using a little bit of kinetic energy. Terms in TGN, on the other hand, could only be controlled, at this point, by

|ξ,TGNξ|CN-1/2K1/2ξ(N++1)ξ

or by

|ξ,TGNξ|CN-1/2K1/2N+1/2ξ(N++1)1/2ξ.

Notice, in the two bounds, the presence of the operator (N++1), instead of just N+, due to the fact that contributions in TGN only contain creation or annihilation operators, but never both. Since moreover the cubic conjugation changes the expectation of K by order one, this estimate does not yet allow us conclude that TGN is negligible (instead, we first have to apply the cubic conjugation to TGN and only afterwards we will be able to show that it can be dropped).

To get rid of the cubic term CGN in (2.30), we conjugate GN with a second unitary transformation, given by the exponential of a cubic expression in (modified) creation and annihilation operators. We define

A=1Nr,vΛ+r+v0br+vb-r(ηrγvbv+νr,vb-v)-h.c.=Aγ+Aν, 2.32

where

νr,v=2r2ηrσv|r+v|2+r2+v2, 2.33

and η, γ, and σ were defined in (2.11) and in (2.19) (recall from Lemma 2.2 that |ηr|,|σr|C|r|-2, while |γr|C, for an appropriate constant C>0). The choice of the coefficients in A guarantees that the commutator [HN,A] produces a contribution cancelling the cubic term CGN in (2.28). Compared with the cubic phase used in [5] and in later works, where the coefficient in front of the operator br+vb-rb-v was simply given by ηrσv, we modify here the choice of νr,v to eliminate certain terms arising from the commutator [K,A] which would not be negligible at the level of accuracy required to show Theorem 1.1; see the remark after Lemma 4.1 (notice that in [5], the operator A was defined summing only over momenta rv with |r||v|; in this region, νr,vηrσv).

For our analysis, it is very important to control the growth of number and energy of excitations, w.r.t. conjugation by eA.

Proposition 2.5

Let A be defined as in (2.32), N+ be the number of particles operator on FN and HN=K+VN as be defined as in Theorem 2.4. Then, for any kN, for any s[0;1], there exists C>0 (depending on k) such that

e-sA(N++1)kesAC(N++1)k. 2.34

Furthermore, there is C>0 such that

ξ,e-sAN+esAξξ,N+ξ+CNξ,(N++1)2ξ. 2.35

Moreover, for every kN and every s[0;1], there exists C>0 such that

e-sA(HN+1)(N++1)kesAC(HN+1)(N++1)k+C(N++1)k+2. 2.36

The proof of Proposition 2.5 will be given in Sect. 4 (there, the choice of the coefficients (2.33) will become clear).

With A defined as in (2.32), we introduce the cubically renormalized excitation Hamiltonian

JN=e-AGNeA. 2.37

In the next theorem, we describe the operator JN.

Theorem 2.6

Let VL3(R3) be non-negative, compactly supported, and spherically symmetric. Let JN be defined in (2.37). Let

CJN=4πa(N-1)+eΛa2-12pΛ+[p2+8πa-|p|4+16πap2-(8πa)22p2]+1Np,qΛ+p+q0[(V^(·/N)f^N,)p+(V^(·/N)f^N,)p+q]×ηpηq2ηq+p(q+p)2-2ηq(p·q)p2+q2+(p+q)2 2.38

with eΛ defined in (1.4). Then we have

JN=CJN+pΛ+|p|4+16πap2apap+VN+EJN 2.39

where, for any ε>0 (ε can also depend on N, provided ε>C(logN)/N),

±EJNεK+CN[(logN)1/2+ε-1](HN+1)(N++1)4

The proof of Theorem 2.6 will be given below, in Sect. 5.

We can now apply Theorem 2.6, to show our main result.

Proof of Theorem 1.1

We claim that the ground state energy EN of (1.1) is such that

|EN-CJN|C(logN)1/2N.

Upper bound. From (2.39), taking ε>0 a constant, we obtain

JNCJN+CK+VN+C(logN)1/2N(HN+1)(N++1)4.

We conclude, taking expectation in the vacuum, that

ENΩ,JNΩCJN+C(logN)1/2N.

Lower bound. From (2.39), taking ε=(logN)-1/2, and using the positivity of VN, we find

JNCJN+[1-1(logN)1/2]K-C(logN)1/2N(HN+1)(N++1)4.

Let θNFN denote a normalized ground state vector for JN. Then ξN=eAθN is a normalized ground state vector of the excitation Hamiltonian GN defined in (2.25). Combining Prop. 2.3 with Prop. 2.5, we conclude that

θN,(HN+1)(N++1)4θNCξN,(HN+1)(N++1)5ξNC

and therefore that

EN=θN,JNθNCJN-C(logN)1/2N.

To conclude the proof of Theorem 1.1, we still need to evaluate the constant CJN. To this end, we write (2.38) as

CJN=4πa(N-1)+eΛa2-12pΛ+[p2+8πa-|p|4+16πap2-(8πa)22p2]+C~JN

with

C~JN=1Nr,vΛ+r+v0[(V^(·/N)f^N,)r+(V^(·/N)f^N,)r+v]×ηrηv2ηr+v(r+v)2-2ηv(r·v)r2+v2+(r+v)2 2.40

We first show that

C~JN=1024π4a4Nr,vΛ+:|r|,|v|Nr·v-v2r2+v2+r·v1r2v4+O(N-1).

To reach this goal, we apply the scattering equation (2.12) to the second line of (2.40). Noticing that the contribution arising from the r.h.s. of (2.12) is negligible (the r.h.s decays faster, it makes the term of order N-1), and combining with symmetry we arrive at

C~JN=18Nr,vΛ+r+v0(r·v)-v2r2+v2+r·v1r2v4(V^(·/N)f^N,)v2(V^(·/N)f^N,)r(V^(·/N)f^N,)r+v-18Nr,vΛ+r+v01r2+v2+r·v1r2v2(V^(·/N)f^N,)r+v2(V^(·/N)f^N,)r(V^(·/N)f^N,)v+18Nr,vΛ+r+v0(r·v)r2+v2+r·v1r2v4(V^(·/N)f^N,)r2(V^(·/N)f^N,)v2+O(N-1). 2.41

In the next step, we restrict all sums to |r|,|v|N. For the second term on the r.h.s. of the last equation, it is easy to check that the corresponding error is negligible, of order N-1. In fact,

|1Nr,v:|r|>N1r2+v2+r·v1r2v2(V^(·/N)f^N,)r+v2(V^(·/N)f^N,)r(V^(·/N)f^N,)v|CNr,v:|r|>N1(r2+v2)v2r2|(V^(·/N)f^N,)r|CN|r|>N1|r|3|(V^(·/N)f^N,)r|CN 2.42

using the bound V^(·/N)f^N,2=N3V(N·)fN,2CN3/2. Similarly, one can also bound the contribution to this term arising from the region |v|>N. Let us now consider the last term on the r.h.s. of (2.41). Observing that

|1Nr,v:|v|>N(r·v)r2+v2+r·v1r2v4(V^(·/N)f^N,)r2(V^(·/N)f^N,)v2|CN2r,v:|v|>N1r2+v21|r|v2|(V^(·/N)f^N,)r|2CN2rΛ+1r2|(V^(·/N)f^N,)r|2CN,

we can restrict the sum to |v|N. To restrict it also to |r|N, we estimate, using a change of variable v-v,

|1N|v|N,|r|>N(r·v)r2+v2+r·v1r2v4(V^(·/N)f^N,)r2(V^(·/N)f^N,)v2|=12|v|N,|r|>N(r·v)2(r2+v2+r·v)(r2+v2-r·v)1r2v4(V^(·/N)f^N,)r2(V^(·/N)f^N,)v2C|v|N,|r|>N1(r2+v2)v21r2(V^(·/N)f^N,)r2(V^(·/N)f^N,)v21N|r|>N1|r|3(V^(·/N)f^N,)r2CN. 2.43

The term in the first line of (2.41) can be handled similarly. In fact, we control the contribution proportional to -v2 as in (2.42). As for the contribution proportional to (r·v), we proceed analogously to (2.43). There is here an additional term arising from the change of variable v-v, due to the potential (V^(·/N)f^N,)r+v, which can be bounded using that

|(V^(·/N)f^N,)r+v-(V^(·/N)f^N,)r-v|C|v|/N. 2.44

Finally, we replace all renormalized potentials (V^(·/N)f^N,)p with factors of (V^(·/N)f^N,)0, and then, using (2.9), by factors of 8πa. To bound the corresponding errors, we rely again on estimates of the form (2.44). Considering an example among the terms arising from the contribution on the second line of (2.41), we can bound

|1N|r|,|v|N1r2+v2+r·v1r2v2(V^(·/N)f^N,)r+v2(V^(·/N)f^N,)v×[(V^(·/N)f^N,)r-(V^(·/N)f^N,)0]|CN2|r|,|v|N1r2+v21|r|v2CN2|r|,|v|N1|r|5/2|v|5/2CN.

To estimate the errors arising from the third line of (2.41), on the other hand, we proceed similarly to (2.43), performing a change of variable v-v, to bound

|1N|r|,|v|N(r·v)r2+v2+r·v1r2v4(V^(·/N)f^N,)v[(V^(·/N)f^N,)r-(V^(·/N)f^N,)0]|=|12N|r|,|v|N(r·v)2(r2+v2+r·v)(r2+v2-r·v)1r2v4(V^(·/N)f^N,)v×[(V^(·/N)f^N,)r-(V^(·/N)f^N,)0]|CN2|r|,|v|N|r|v2(r2+v2)2CN2|r|,|v|N1|r|5/2|v|5/2CN.

Also the errors from the first line of (2.41) can be bounded analogously (also here the change of variables v-v needed to handle terms proportional to (r·v) will produce additional contributions, containing an additional difference (V^(·/N)f^N,)r+v-(V^(·/N)f^N,)r-v, which can be estimated by |v|/N and can be handled similarly as above). We conclude that

C~JN=1024π4a4Nr,v2πZ3\{0}|r|,|v|Nr·v-v2r2+v2+r·v1r2|v|4+O(N-1). 2.45

At this point, we can approximate the sum with an integral. Consider first the contribution proportional to -v2. For r~=(r~1,r~2,r~3),v~=(v~1,v~2,v~3)2πZ3, with 2π|r~|,|v~|N and rBr~=[r~1-π;r~1+π]×[r~2-π,r~2+π]×[r~3-π;r~3+π], vBv~=[v~1-π;v~1+π]×[v~2-π;v~2+π]×[v~3-π;v~3+π], we find

|1r2+v2+r·v1r2v2-1r~2+v~2+r~·v~1r~2v~2|C1r2+v21r2v2(|r|-1+|v|-1).

Setting

U=r~,v~2πZ3:2π|r~|,|v~|NBr~×Bv~

this implies that

|r,v2πZ32π|r|,|v|N1r2+v2+r·v1r2v2-1(2π)6U1r2+v2+r·v1r2v2drdv|C|r|,|v|π1r2+v21r2|v|3drdvC.

Observing that

{(r,v)R6:2π|r|,|v|N-C}U{(r,v)R6:π|r|,|v|N+C},

and estimating

{π|r|2π}{N-C|r|N+C}drπ|v|N+Cdv1r2+v2+r·v1r2v2C

we conclude that

|r,v2πZ32π|r|,|v|N1r2+v2+r·v1r2v2-1(2π)62π|r|,|v|N1r2+v2+r·v1r2v2drdv|C.

Using the identity

|r|,|v|Nr·vr2+v2+r·v1r2|v|4=-|r|,|v|N(r·v)2[r2+v2+r·v][r2+v2-r·v]1r2|v|4

we can obtain a similar bound also for the contribution associated with the factor r·v appearing on the r.h.s. of (2.45). Thus

C~JN=1024π4a4N1(2π)62π|r|,|v|Nr·v-v2r2+v2+r·v1r2|v|4drdv+O(N-1).

By explicit computation (for fixed r, we first integrate over v using spherical coordinates (|v|,θ,φ), with r·v=|r||v|cosθ; the result of the v integral is a radial function of r, which can be integrated using spherical coordinates for r), we find

C~JN=-64π(43π-3)a4(logN)N+O(N-1),

which concludes the proof of (1.6).

Quadratic Renormalization: Proof of Theorem 2.4

In order to show Theorem 2.4 we will rely on bounds controlling the growth of the number of excitations and of their energy w.r.t. the action of the generalized Bogoliubov transformation eBμ. Recall that, from Lemma (2.23), μ2C uniformly in N. As shown for example in [13, Lemma 3.1], this implies that for every j0 there exists C>0 such that

e-Bμ(N++1)jeBμC(N++1)j. 3.1

From (2.20), we also obtain rough, non-uniform estimates on the growth of the energy. The proof of the following lemma can be found in [5, Lemma 7.1] (the coefficients μp and ηp satisfy the same bounds).

Lemma 3.1

Let K,VN be defined as in (2.6). Under the same assumptions as in Theorem 2.4, for every jN there exists C>0 such that

e-BμK(N++1)jeBμCK(N++1)j+CN(N++1)j+1e-BμVN(N++1)jeBμCVN(N++1)j+CN(N++1)j. 3.2

To prove Theorem 2.4, we will also need to compute the action of the generalized Bogoliubov transformation eBμ on creation and annihilation operators more precisely. To this end, we introduce the notation γp=coshμp, σp=sinhμp and we define operators dp,dp, for pΛ+, through the identities

e-BμbpeBμ=γpbp+σpb-p+dp,e-BμbpeBμ=γpbp+σpb-p+dp. 3.3

In position space, we similarly introduce operator-valued distributions dˇx,dˇx, requiring that

e-BμbˇxeBμ=b(γˇx)+b(σˇx)+dˇx,e-BμbˇxeBμ=b(γˇx)+b(σˇy)+dˇx.

Here σˇx(y)=σˇ(y;x)=pΛ+σpexp(ip·(x-y)) and similarly for the distribution γˇx.

On states with few excitations, ie N+N, the operators b,b are close to the standard creation and annihilation operators a,a. Thus, we expect Bμ to act almost as a Bogoliubov transformation; equivalently, we expect d,d to be small. To prove bounds on the fields d,d, we will use the integral representation proven in the following lemma.

Lemma 3.2

For s[0,1], let γp(s)=cosh(sμp) and σp(s)=sinh(sμp). Then

dp=-1N01dse-(1-s)Bμ[γp(s)(μpN+b-p+qΛ+μqbqa-qap)+σp(s)(μpN+bp+qΛ+μqa-pa-qbq)]e(1-s)Bμ. 3.4

Proof

The commutators

[bp,B]=μp(1-N+N)b-p-1NqΛ+μqbqa-qap[b-p,B]=μpbp(1-N+N)-1NqΛ+μqa-pa-qbq

imply the identity

dds(esBμ(γp(s)bp+σp(s)b-p)e-sBμ)=1NesBμ[γp(s)(μpN+b-p+qΛ+μqbqa-qap)+σp(s)(μpbpN++qΛ+μqa-pa-qbq)]e-sBμ.

Integrating both sides from s=0 to s=1 and comparing with (3.3) concludes the proof.

In the next lemma, we collect bounds for the operators d,d that will be used throughout the proof of Theorem 2.4. Similar estimates have been shown in [5], but only under the assumption that the 2-norm of the coefficients in the Bogoliubov transformation is small enough (which is not satisfied here, since we included τ in (2.18)). With the help of the representation (3.4), we relax this assumption.

Lemma 3.3

Let μ2(Λ+), and let nN. Then there exists C>0 such that

(N++1)n/2dpξCN[|μp|(N++1)(n+3)/2ξ+bp(N++1)(n+2)/2ξ](N++1)n/2dpξCN(N++1)(n+3)/2ξ(N++1)n/2aqdpξCN[|μq|(N++1)(n+3)/2apξ+|μp|(N++1)(n+3)/2aqξ+δp,-q|μq|(N++1)(n+3)/2ξ+(N++1)(n+2)/2apaqξ+|μp||μq|(N++1)(n+4)/2ξ](N++1)n/2aqdpξCN[|μq|(N++1)(n+4)/2ξ+(N++1)(n+3)/2aqξ+δp,-q(N++1)(n+2)/2ξ], 3.5

for all pΛ+ and ξFN. Moreover, as distributions,

(N++1)n/2dˇxξCN[(N++1)(n+3)/2ξ+aˇx(N++1)(n+2)/2ξ](N++1)n/2aˇydˇxξCN[aˇx(N++1)(n+1)/2ξ+(1+|μˇ(x-y)|)(N++1)(n+2)/2ξ+aˇy(N++1)(n+3)/2ξ+aˇxaˇy(N++1)(n+2)/2ξ](N++1)n/2dˇxdˇyξCN2[(N++1)(n+6)/2ξ+|μˇ(x-y)|(N++1)(n+4)/2ξ+aˇx(N++1)(n+5)/2ξ+aˇy(N++1)(n+5)/2ξ+aˇxaˇy(N++1)(n+4)/2ξ]. 3.6

A proof of Lemma 3.3 is given in Appendix A. The main message from Lemma 3.3 is the fact that d-operators, defined through (3.3), are small (and therefore the action of e-Bμ is close to the action of a Bogoliubov transformation) on states with few excitations. For dp (but not for dp), these bounds also allow us to extract some decay for large momenta pΛ+.

We proceed now with the computation of the renormalized excitation Hamiltonian GN, which will lead to the proof of Theorem 2.4. From (2.5), we find

GN=V^(0)2(N-1)+GN(2,K)+GN(2,V)+GN(3)+GN(4)

with

GN(2,K)=e-BμKeBμ,GN(2,V)=e-BμLN(2,V)eBμ,GN(3)=e-BμLN(3)eBμ,GN(4)=e-BμVNeBμ.

The form of the operators GN(2,K),GN(2,V),GN(3),GN(4) will be determined in Props. 3.43.7, up to negligible errors. To this end, we will argue similarly as in the proof of [5, Proposition 3.2]; however, to resolve the energy to lower order, we will need to keep several additional terms, which did not play an important role in [5].

First of all, we establish the form of the operator GN(2,K)=e-BμKeBμ.

Proposition 3.4

Under the same assumptions of Theorem 2.4 we have

GN(2,K)=K+pΛ+p2[σp2+2σp2bpbp+γpσp(bpb-p+bpb-p)]+1NpΛ+p2ηp2(1-N+)+1Np,qΛ+p2ηp2[σq2+(γq2+σq2)bqbq+γqσq(bqb-q+bqb-q)]+12Np,qΛ+p2ηp(bpb-p+bpb-p)[σq2-γqσqηq+1]+12Np,qΛ+p2ηpbpb-pbqb-q[γqσq-σq2ηq]+h.c.+pΛ+p2ηpb-pdp+dpb-p+EGNK 3.7

with

±EGNKεN++CεN(K+N+2+1)(N++1). 3.8

Remark

Compared with the corresponding result in [5], we additionally need to keep track of the terms appearing in the third and fourth line of (3.7). These terms will be included in the operator TGN defined in (2.29) and eventually will be proven to be negligible after cubic conjugation.

Proof of Proposition 3.4

Writing

K=N-1NpΛ+p2bpbp+pΛ+p2bpbpN+N+K(N+-1)2N2,

and using (3.2) to get rid of the last term, we find

e-BμKeBμ=pΛ+p2e-BμbpbpeBμ+1Np,qΛ+p2e-BμbpbqbpbqeBμ+EK,1 3.9

with

±EK,1CN-1(K+N+2+1)(N++1).

We decompose the first term on the r.h.s. of (3.9) as

pΛ+p2e-BμbpbpeBμ=E1+E2+E3,

with

E1=pΛ+p2(γpb-p+σpb-p)(γpbp+σpb-p)E2=pΛ+p2(γpbp+σpb-p)dp+h.c.E3=pΛ+p2dpdp.

With the commutation relations (2.2) (and using |μp-ηp|=|τp|C/|p|4) we obtain

E1=K+pΛ+p2(σp2-ηp2N+N)+pΛ+(p2γpσp(bpb-p+bpb-p)+2p2σp2bpbp)+EK,2, 3.10

with ±EK,2CN-1K(N++1). Applying (3.5), we find (see [5, Equation above (7.16)])

±E3CN-1(K+N+2+1)(N++1). 3.11

As for E2, using (3.5), |γp-1|C/|p|4, |σp-μp|C/|p|6 and again |μp-ηp|=|τp|C/|p|4, we obtain

E2=pΛ+p2ηp(b-pdp+h.c.)+pΛ+p2(bpdp+h.c.)+EK,3,

with ±EK,3CN-1(N++1)2. The first term contributes to the r.h.s. of (3.7). As for the second term, we expand dp using (3.4). In the resulting expression, we observe that the coefficients γp(s) and σp(s) can be replaced by 1 and sμp, respectively, up to negligible errors. As an example, consider

±1Np,qΛ+p2μq01ds(γp(s)-1)(ξ,bpe(s-1)Bμbqa-qape-(s-1)Bμξ+h.c.)CN01dsp,qΛ+1|q|2bqe-(s-1)BμbpξapN+1/2e-(s-1)BμξCN-1ξ,(N++1)3ξ, 3.12

We obtain (replacing a,a with b,b only produces small corrections)

pΛ+p2(bpdp+h.c.)=-1NpΛ+p2μp01dsbpe(s-1)Bμb-p(qΛ+bqbq+1)e-(s-1)Bμ+h.c.-1Np,qΛ+p2μq01dsbpe(s-1)Bμbqb-qbpe-(s-1)Bμ+h.c.-1Np,q,Λ+p2μpμq01dssbpe(s-1)Bμb-pbqb-qe-(s-1)Bμ+h.c.+EK,4

with ±EK,4CN-1(N++1)3. With (3.3) we observe that e(s-1)Bμb-pe-(s-1)Bμb-p (in the first and third line) and that e(s-1)Bμb-pe-(s-1)Bμμpbp (in second line), up to contributions that can be bounded similarly as in (3.12). Setting t=1-s, we obtain

pΛ+p2(bpdp+h.c.)=-1Np,qΛ+p2μpbpb-p01dte-tBμ(bqbq+tμqbqb-q+(1-t)μqbqb-q)etBμ+h.c.-1NpΛ+p2μp(bpb-p+h.c.)+EK,5

with ±EK,5CN-1(N++1)3. Applying again (3.3), noticing that contributions involving d,d operators are negligible as a consequence of (3.5), rearranging terms in normal order, computing the integrals over t explicitly and using that |μp-ηp|C/|p|4, we arrive at

E2=pΛ+p2(ηpb-pdp+h.c.)-1Np,qΛ+p2ηpbpb-p[(σq2+γqσqμq)bqbq+12(σq2μq+γqσq)(bqb-q+bqb-q)]-1NpΛ+p2ηp(bpb-p+h.c.)[1+12qΛ+(σq2+γqσqμq-1)]+EK,6, 3.13

where ±EK,6CN-1(N++1)3.

Finally, we consider the second term on the r.h.s. of (3.9). Again we apply (3.3) and we observe that all contributions involving the operators d,d are negligible, by (3.5). Furthermore, we notice that the coefficients γp and σp can be replaced everywhere by one and, respectively, ηp, up to a negligible error (using again |μp-ηp|C/|p|4). Finally, we remark that all terms proportional to bpbp are also irrelevant (because the sum over p can be controlled by K). Collecting all terms proportional to bpb-p,bpb-p (and all commutators arising from normal ordering), we arrive at

1Np,qΛ+p2e-BμbpbqbqbpeBμ=1NpΛ+p2ηp2(1+qΛ+σq2)+1Np,qΛ+p2ηp2[(γq2+σq2)bqbq+γqσq(bqb-q+bqb-q)]+1Np,qΛ+p2ηpbpb-p((γq2+σq2)bqbq+γqσq(bqb-q+bqb-q))+h.c.+1NpΛ+p2ηpbpb-p(1+qΛ+σq2)+EK,7, 3.14

with ±EK,7CN-1(K+N+2+1)(N++1). Lastly, we notice that, in (3.13) and in (3.14), the quartic terms which contain both creation and annihilation operators can be treated as errors bounded by εN++Cε-1N-1K(N++1)2. As an example, consider

±1Np,qΛ+p2ηpγqσqξ,bpb-pbqb-qξ+h.c.CNp,qΛ+p2|ηp||σq|bqb-pbpξb-qξεξ,N+ξ+CεNξ,K(N++1)2ξ. 3.15

Combining this with (3.10), (3.11), (3.13), we obtain (3.7).

Next, we consider the operator GN(2,V)=e-BμLN(2,V)eBμ.

Proposition 3.5

Under the same assumptions of Theorem 2.4 we have

GN(2,V)=pΛ+V^(p/N)σp2+γpσp-ηpN+N+pΛ+V^(p/N)(γp+σp)2bpbp+12(bpb-p+bpb-p)+12pΛ+V^(p/N)[b-pdp+dp(b-p+ηpbp)+h.c.]+EGNV, 3.16

with

±EGNVCN-1(K+N+3+1)(N++1).

Proof of Proposition 3.4

With (2.7), we write

GN(2,V)=e-BμLN(2,V)eBμ=F1+F2+F3+F4

with

F1=pΛ+V^(p/N)e-BμbpbpeBμF2=-1NpΛ+V^(p/N)e-BμapapeBμF3=12pΛ+V^(p/N)e-Bμ(bpb-p+bpb-p)eBμF4=V^(0)2Ne-BμN+(N+-1)eBμ.

Clearly ±(F2+F4)CN-1(N++1)2. Proceeding as in [5, Proposition 7.2] (using (3.3) and the bounds (3.5)) and normal ordering using (2.2), we find

F1=pΛ+V^(p/N)((γp2+σp2)bpbp+γpσp(bpb-p+bpb-p))+EV,1,

with ±EV,1CN-1(N++1)2. As for F3, we apply (3.3) to decompose

F3=12pΛ+V^(p/N)((γp2+σp2)(bpb-p+bpb-p)+2γpσp(2bpbp+1)-2ηpN+N)+12pΛ+V^(p/N)[b-pdp+dp(b-p+ηpbp)]+h.c.+EV,2,

with

EV,2=12pΛ+V^(p/N)[2(ηp-γpσp)N+N+(γp-1)(b-pdp+dpb-p)+σpbpdp+(σp-ηp)dpb-p+dpd-p+d-pdp]. 3.17

Using (3.5), we bound the last two terms of EV,2 by

±12pΛ+V^(p/N)(ξ,dpd-pξ+h.c.)CpΛ+|V^(p/N)|(N++1)1/2d-pξ(N++1)-1/2dpξCN2(N++1)2ξ(pΛ+1|p|2|V^(p/N)|)1/2×(pΛ+p2|μp|2(N++1)ξ2+pΛ+p2bp(N++1)1/2ξ2)1/2CN-1ξ,(K+N+3+1)(N++1)ξ.

Using (3.5), the rest of the terms of EV,2 can be shown to be negligible as well. Arranging the main contributions to F1 and F3 in normal order, we obtain (3.16), up to another negligible remainder.

We now discuss the cubic term GN(3)=e-BμLN(3)eBμ.

Proposition 3.6

Under the same assumptions of Theorem 2.4 we have

GN(3)=CGN+EGN3 3.18

where CGN is defined as in (2.28), and

±EGN3εN++CεN(HN+N+2+1)(N++1).

Proof

From (2.7), we find

GN(3)=1Np,qΛ+p+q0V^(p/N)e-Bμ(bp+qb-pbq+h.c.)eBμ+E3,1,

with

E3,1=1Np,qΛ+p+q0V^(p/N)e-Bμbp+qa-pN+NaqeBμ+h.c.. 3.19

Let us first focus on the main term, we will show later that E3,1 can be absorbed in the error EGN3. With (3.3), we decompose

1Np,qΛ+p+q0V^(p/N)e-Bμbp+qb-pbqeBμ=M0+M1+M2+M3,

where, for j=0,,3, Mj collects contributions with j factors d,d, ie.

M0=1Np,qΛ+p+q0V^(p/N)(γp+qbp+q+σp+qb-p-q)(γpb-p+σpbp)(γqbq+σqb-q)

and

M1=1Np,qΛ+p+q0V^(p/N){(γp+qbp+q+σp+qb-p-q)(γpb-p+σpbp)dq+(γp+qbp+q+σp+qb-p-q)d-p(γqbq+σqb-q)+dp+q(γpb-p+σpbp)(γqbq+σqb-q)}M2=1Np,qΛ+p+q0V^(p/N){(γp+qbp+q+σp+qb-p-q)d-pdq+dp+q(γpb-p+σpbp)dq+dp+qd-p(γqbq+σqb-q)}M3=1Np,qΛ+p+q0V^(p/N)dp+qd-pdq.

Let us first consider M0. Rearranging terms in normal order and noticing that all contributions arising from commutators are negligible (because, due to translation invariance, labels of creation operators cannot coincide with labels of annihilation operators without violating the condition p,q,p+q0), we find

M0=CGN+1Np,qΛ+p+q0V^(p/N)(γp+qγp-1)bp+qb-p(γqbq+σqb-q)+h.c.+1Np,qΛ+p+q0V^(p/N)γp+qσpbp+q(γqbq+σqb-q)bp+h.c.+1Np,qΛ+p+q0V^(p/N)σp+qγpb-p(γqbq+σqb-q)b-p-q+h.c.+1Np,qΛ+p+q0V^(p/N)σp+qσp(γqbq+σqb-q)bpb-p-q+h.c.+E3,2 3.20

with ±E3,2CN-3/2(N++1)2. Except for CGN, all the terms in M0 can also be treated as error as they are bounded by εN++Cε-1N-1(N++1)2. In fact, considering for example one of the contributions in the last line of (3.20), we have

|1Np,qΛ+p+q0V^(p/N)σp+qσpγqξ,bqbpb-p-qξ|CNp,qΛ+p+q0|ηp||ηp+q|bqbpb-p-q(N++1)-1ξ(N++1)ξCN[p,qΛ+p+q0bqbp(N++1)-1/2ξ2]1/2[p,qΛ+p+q0|ηp+q|2|ηp|2]1/2CN-1/2N+1/2ξ(N++1)ξ.

Next, we show that the terms M1, M2, and M3 are negligible. First, let us consider M1. Terms with at least one γ-coefficient can be estimated by Cauchy-Schwarz, using (3.5). For example,

±1Np,qΛ+p+q0V^(p/N)γp+qσq(ξ,bp+qd-pb-qξ+h.c.)CN[p,qΛ+p+q0|V^(p/N)||p+q|2σq2(N++1)3/2ξ2]12[p,qΛ+p+q0|p+q|2(N++1)-1d-pbp+qξ2]12CN-1ξ,(K+N+2+1)(N++1)ξ.

The term proportional to b-p-qbpdq can be handled similarly, estimating b-p-q(N++1)ξ(N++1)3/2ξ and using the factor σp+q to sum over q. The terms proportional to b-p-qd-pb-q or dp+qbpb-q are slightly more challenging, because we prefer to avoid commutators between b and d operators. Still, using (3.5) (and the smallness of [b-p,b-p-q], for q0) we can estimate

±1Np,qΛ+p+q0V^(p/N)σp+qσq(ξ,b-p-qd-pb-qξ+h.c.)C(N++1)3/2ξN3/2p,qΛ+p+q0|V^(p/N)||σp+q||σq|[|ηp|(N++1)1/2b-p-qξ+b-pb-p-qξ]CN-1ξ,(K+N+2+1)(N++1)ξ

and similarly for the term proportional to dp+qbpb-q. Thus

±(M1+h.c.)CN-1(K+N+2+1)(N++1).

As for M2, it follows from [5, Eq. (7.32)] that

±(M2+h.c.)CN-1(VN+N++1)(N++1).

To bound M3, we switch to position space. With (3.6) and using (2.20) to show ηˇCN, we obtain

|ξ,(M3+h.c.)ξ|dxdyN5/2V(N(x-y))(N++1)-1dˇxdˇyξ(N++1)dˇxξCN3dxdyN5/2V(N(x-y))((N++1)5/2ξ+aˇx(N++1)2ξ)×(N(N++1)ξ+aˇx(N++1)3/2ξ+aˇxaˇy(N++1)ξ)CN-3/2ξ,(VN+N+2+1)(N++1)ξ.

Finally, let us get back to the term E3,1, from (3.19). Using Lemma 3.1, we can write

E3,1=1N3/2p,q,rΛ+p+q0V^(p/N)e-Bμbp+qb-peBμe-BμN+eBμe-BμbqeBμ+E3,3

where ±E3,3CN-1(HN+1)(N++1). Now, we expand e-Bμbp+qb-peBμ and, on the other side, e-BμbqeBμ using (3.3). The resulting terms can be controlled as above; by (3.1), the additional factor e-BμN+eBμ does not affect the estimates (when applying Cauchy-Schwarz, it is however important not to act with the kinetic energy operator K on e-BμN+eBμ). At the end, the main contribution has the form CGNe-BμN+eBμ/N (with CGN as in (2.28)) and can be bounded, using repeatedly (3.1), by

±1Nξ,CGNe-BμN+eBμξ1N3/2(p,qΛ+p+q0|V^(p/N)|p2[bqe-BμN+eBμξ2+σq2N+1/2e-BμN+eBμξ2)1/2×(p,qΛ+p+q0p2b-pbp+qξ2)1/2CN-1ξ,(K+N+2+1)(N++1)ξ.

We conclude that ±E3,1CN-1(K+N+2+1)(N++1). Together with (3.20) and with the bounds for M1,M2,M3, this concludes the proof of the proposition.

Finally, we consider the action of Bμ on the operator VN, defined in (2.6).

Proposition 3.7

Under the same assumptions of Theorem 2.4 we have

GN(4)=VN+12Np,qΛ+V^((p-q)/N)σpγpσqγq(1+1N-2N+N)+12Np,qΛ+V^((p-q)/N)ηq[γp2bpb-p(1+1N-N+N)+2γpσpbpbp+σp2bpb-p+b-pdp+dp(b-p+ηpbp)+h.c.]+1N2p,q,uΛ+V^((p-q)/N)ηpηq[(γu2+σu2)bubu+γuσu(bub-u+bub-u)+σu2]+12Np,qΛ+,rΛV^(r/N)γp+rγqσpσq+rbp+rbqb-pb-q-r+h.c.+1N2p,q,uΛ+V^((p-q)/N)ηqbpb-p[(γuσubub-u)+σu2]+h.c.+EGN4 3.21

with

±EGN4εN++CεN(HN+N+2+1)(N++1).

Remark

Compared with the corresponding result in [5], here we also keep track of the terms appearing in the fifth and sixth line of (3.21). These terms will be included in the operator TGN defined in (2.29) and will be shown to be negligible after cubic conjugation.

Proof

Proceeding as in the proof of [5, Lemma 7.4], we find (with the notation p,q,r=p,qΛ+,rΛ:r-p,-q)

GN(4)=N+12N2V^(r/N)e-Bμbp+rbqbpbq+reBμ+1N2V^(r/N)e-Bμbp+rbqbububpbq+reBμ+E4,1, 3.22

with ±E4,1CN-1(VN+N++1)(N++1). Again, following [5, Lemma 7.4], we can write the first term on the r.h.s. as

N+12N2V^(r/N)e-Bμbp+rbqbpbq+reBμ=V0+V1+E4,2 3.23

where

V0=N+12N2V^(r/N)[γp+rγqbp+rbq+γp+rσqbp+rb-q+σp+rσqb-p-rb-q+σp+rγq(bqb-p-r-N-1aqa-p-r)]×[σpσq+rb-pb-q-r+σpγq+rb-pbq+r+γpγq+rbpbq+r+γpσq+r(b-q-rbp-N-1a-q-rap)]+N+12N2p,qΛ+V^((p-q)/N)γqσq[(γp2bpb-p+2γpσpbpbp-N-1γpσpapap+σp2bpb-p)(1-N+N)+h.c.]+N+12N2p,qΛ+V^((p-q)/N)γpσpγqσq(1-N+N)2,V1=12Np,qΛ+V^(p-qN)γqσq[dp(γpb-p+σpbp)+(γpbp+σpb-p)d-p]+h.c.

and ±E4,2CN-1(VN+N++1)(N++1) (this error includes also the terms V12,V13 in the proof of [5, Lemma 7.4]). Considering separately quartic, quadratic and constant contributions to V0, we find

V0=VN+12NrΛ,p,qΛ+V^(r/N)γp+rγqσpσq+rbp+rbqb-pb-q-r+h.c.+1NrΛ,p,qΛ+V^(r/N)γp+rγqσpγq+rbp+rbqb-pbq+r+h.c.+1NrΛ,p,qΛ+V^(r/N)(γp+rγq-1)bp+rbqbpbq+r+h.c.+12Np,qΛ+V^((p-q)/N)γqσq×[γp2bpb-p1+1N-N+N+2γpσpbpbp+σp2bpb-p+h.c.]+12Np,qΛ+V^((p-q)/N)σqγqσpγp1+1N-2N+N+E4,3 3.24

where ±E4,3CN-1(HN+N++1)(N++1). Additionally, except for VN, the quartic terms containing both creation and annihilation operators can be considered as errors and are bounded by εN++Cε-1N-1K(N++1)2 as in (3.15). For the term V1, proceeding as for (3.17), we get

V1=12Np,qΛ+V^((p-q)/N)σqγq[(b-pdp+dp(b-p+ηpbp)]+h.c. 3.25

Let us now consider the second term on the r.h.s. of (3.22). Proceeding as in the proof of [5, Lemma 7.4], we find

1N2V^(r/N)e-Bμbp+rbqbububpbq+reBμ=1N2p,q,uΛ+V^((p-q)/N)σqγqσpγp[(γu2+σu2)bubu+γuσu(bub-u+bub-u)+σu2]+W1+E4,4 3.26

where

W1=1N2p,q,uΛ+V^((p-q)/N)σqγq×[γp2bpb-p+2γpσpbpbp-N-1γpσpapap+σp2bpb-p+γpb-pdp+σpbpdp+γpd-pbp+σpdpbp+dpd-p](e-BbubueB)(1-N+/N)+h.c.+E4,4

and ±E4,4CN-1(VN+N++1)(N++1) (the first line on the r.h.s. of (3.26) corresponds to the term W0 in the proof of [5, Lemma 7.4]; the term W2 is absorbed here into the error E4,4). We decompose

W1=1N2p,q,uΛ+V^((p-q)/N)σqγqγp2bpb-pe-BμbubueBμ+h.c.+W11=1N2p,q,uΛ+V^((p-q)/N)σqγqγp2bpb-p(γubu+σub-u)(γubu+σub-u)+h.c.+W11+W12. 3.27

Furthermore, we can write

W11=1N2p,qΛ+V^((p-q)/N)σqγq(2γpσpbpbp-N-1γpσpapap+σp2bpb-p)×e-BμN+(1-(N+-1)/N)eBμ(1-N+/N)+h.c.-1N3p,qΛ+V^((p-q)/N)σqγqγp2bpb-pe-BμN+(1-(N+-1)/N)eBμN++h.c.+1N2p,qΛ+V^((p-q)/N)σqγq(γpb-pdp+σpbpdp+γpd-pbp+σpdpbp+dp+qdq)×e-BμN+(1-(N+-1)/N)eBμ(1-N+/N)+h.c.=W111+W112+W113.

With (3.1), we can bound

|ξ,W111ξ|CN2p,qΛ+|V^((p-q)/N)||μq|bp(N++1)1/2ξ×bp(N++1)-1/2e-BηN+eBη(1-N+/N)ξ+CN2p,qΛ+|V^((p-q)/N)||μq||σp|2(N++1)ξ2CNξ,(N++1)2ξ.

We control W112 in position space, again with the help of (3.1). We find

±W112CN-3/2(VN+N++1)(N++1).

As for W113, we partially switch to position space and use Eq. (3.5), (3.6), the bound σˇγˇCN and the inequality

CN2p,qΛ+|V^((p-q)/N)||μp||μq|C<

to estimate

|ξ,W113ξ|CN3p,qΛ+|V^((p-q)/N)||μq|[|μp|(N++1)3/2bpξ+bpb-p(N++1)ξ+|μp|2(N++1)3/2ξ+|σp|(bpbp(N++1)ξ+(N++1)ξ)]e-BN+eBξ+CN2dxdyN3V(N(x-y))|(σˇγˇ)(x-y)|×[bˇxdˇyξ+rx(N++1)1/2dˇyξ+dˇxdˇyξ]N+eBξCNξ,(K+N++1)(N++1)ξ+CN2dxdyN3V(N(x-y))[aˇx(N++1)3/2ξ+aˇy(N++1)3/2ξ+(N+|μˇ(x-y)|)(N++1)ξ+aˇyaˇx(N++1)ξ]N+eBξCNξ,(K+VN+N++1)(N++1)ξ.

As for the term W12 on the r.h.s. of (3.27), we find, with (3.5),

|ξ,W12ξ|CN2p,q,uΛ+|V^((p-q)/N)||μq|×[(N++1)-32dubpb-p{bu(N++1)32ξ+|σu|(N++1)2ξ+(N++1)32duξ}+{bubpb-p(N++1)-1/2ξ+|σu|bpb-pξ}(N++1)1/2duξ]CN3p,q,uΛ+|V^((p-q)/N)||μq|×[|μu|2bpb-pξ(N++1)2ξ+|μu|bpb-pξ(N++1)3/2buξ+bubpb-p(N++1)-12ξbu(N++1)32ξ+|μu|bubpb-p(N++1)-12ξ(N++1)2ξ]CN3/2K1/2(N++1)1/2ξ(N++1)2ξCNξ,(K+N+2+1)(N++1)ξ.

Combining (3.22), (3.23), (3.24),(3.25), (3.26), (3.27) with the bounds for W111,W112,W113,W12 and using |γqσq-μq|C|q|-6, we obtain (3.21).

We are now ready to conclude the proof of Theorem 2.4.

Proof of Theorem 2.4

Collecting all terms linear in the d,d operators from (3.7), (3.16) and from (3.21), we define

DN=pΛ+[p2ηp+12V^(p/N)+12N(V^(·/N)η)p]bpd-p+h.c.+12pΛ+(V^(·/N)f^N,)p[dp(b-p+ηpbp)]+h.c..

With the scattering equation (2.12) and (3.5), we obtain

DN=12pΛ+(V^(·/N)f^N,)p[dp(b-p+ηpbp)]+h.c.+E1

where ±E1N-1(K+N++1)(N++1). Handling the contribution proportional to ηp as in [5, Section 7.5] (where the contribution is labeled D33), and using (3.4) to expand the rest of the term, we find

DN=-12NpΛqΛ+(V^(·/N)f^N,)pηp[γqσq(bqb-q+bqb-q)+(σq2+γq2-1)bqbq+σq2]-12Np,qΛ+(V^(·/N)f^N,)pηq×01dsγp(s)e(-1+s)Bμb-qaqape(1-s)Bμb-p+h.c.+E2

where ±E2CN-1(N++1)2. Next, we compute the action of (1-s)Bμ on bqb-qbp; with (3.3), we find

DN=-12NpΛqΛ+(V^(·/N)f^N,)pηp[γqσq(bqb-q+bqb-q)+(σq2+γq2-1)bqbq+σq2]-14Np,qΛ+(V^(·/N)f^N,)pbpb-p×[(-μq+γqσq)bqb-q+(μq+γqσq)bqb-q+2σq2bqbq+σq2]+h.c.+E3,

with ±E3CN-1(K+N+2+1)(N++1). In a similar way to (3.15), one can show that the contribution of the quartic terms which contain both creation and annihilation operators can be treated as errors bounded by εN++Cε-1N-1K(N++1)2. Combining this with all other contributions in (3.7), (3.16), (3.18) and (3.21), we obtain

GN=CGN+pΛ+[Φpbpbp+12Γp(bpb-p+bpb-p)]+CGN+VN+TGN+EGN 3.28

where CGN,CGN,TGN are defined as in (2.27), (2.28), (2.29), and

Φp=p2(γp2+σp2)+V^(p/N)(γp+σp)2+2γpσpN(V^(·/N)η)p-(γp2+σp2)NqΛV^(q/N)ηqΓp=2p2γpσp+V^(p/N)(γp+σp)2+(γp2+σp2)N(V^(·/N)η)p-2γpσpNqΛV^(q/N)ηq. 3.29

Moreover,

±EGNεN++CεN(HN+N+3+1)(N++1). 3.30

To conclude the proof of Theorem 2.4, we consider the quadratic term on the r.h.s. of (3.28). Adding and subtracting the contributions that will arise from the cubic conjugation in Theorem 2.6, we rewrite the coefficients in (3.29) as

Φp=Fp-(γp2+σp2)NqΛ+(V^(q/N)+V^((q+p)/N))ηqΓp=Gp-2γpσpNqΛ+(V^(q/N)+V^((q+p)/N))ηq

where

Fp=p2(γp2+σp2)+(V^(·/N)f^N,)p(γp+σp)2Gp=2p2γpσp+(V^(·/N)f^N,)p(γp+σp)2.

Recalling γp=coshμp=cosh(ηp+τp), σp=sinhμp=sinh(ηp+τp) and the definition (2.17) of the coefficients τp, we obtain,

Gp=[p2+(V^(·/N)f^N,)p]sinh(2τp+2ηp)+(V^(·/N)f^N,)pcosh(2τp+2ηp)=[p2+(V^(·/N)f^N,)p]cosh(2τp)(sinh(2ηp)+tanh(2τp)cosh(2ηp))+(V^(·/N)f^N,)pcosh(2τp)(cosh(2ηp)+tanh(2τp)sinh(2ηp))

which implies that Gp=0, and

Fp=[p2+(V^(·/N)f^N,)p]cosh(2τp+2ηp)+(V^(·/N)f^N,)psinh(2τp+2ηp)=[p2+(V^(·/N)f^N,)p]cosh(2τp)(cosh(2ηp)+tanh(2τp)sinh(2ηp))+(V^(·/N)f^N,)pcosh(2τp)(sinh(2ηp)+tanh(2τp)cosh(2ηp)) 3.31

leading to Fp=|p|4+2(V^(·/N)f^N,)pp2. This concludes the proof of Theorem 2.4.

Proof of Proposition 2.5

The goal of this section is to show Prop. 2.5, controlling the growth of the number of excitations and of their energy with respect to cubic conjugation. To reach this goal, we are going to estimate the commutators of N+ and of the Hamiltonian HN=K+VN with the cubic operator A, as defined in (2.32). Since in the proof of Theorem 2.6 we will need to compute e-AHNeA, the next proposition contains precise estimates, which are not really needed in the proof of Prop. 2.5.

Lemma 4.1

We have

[K,A]=[K,A]1+[K,A]2+h.c. 4.1

where

[K,A]1=2Nr,vΛ+r+v0r2ηrbr+vb-r(γvbv+σvb-v) 4.2
2=2Nr,vΛ+r+v0(r·v)ηrγvbr+vb-rbv. 4.3

Moreover,

[VN,A]=[VN,A]1+[VN,A]2+h.c.+E[VN,A] 4.4

where

[VN,A]1=1N3/2r,v,sΛ+r+v,r+v+s0V^((r-s)/N)ηsbr+vb-r(γvbv+σvb-v)[VN,A]2=1N3/2r,v,sΛ+s+v,r+v0V^((r-s)/N)ηs2ηs+vs2-2σv(v·s)s2+v2+|s+v|2br+vb-rb-v 4.5

and

|ξ,E[VN,A]ξ|CN-1ξ,(HN+N+2+1)(N+2+1)ξ. 4.6

Furthermore, we have

|ξ1,[K+VN,A]ξ2|Cξ1,(HN+N+2+1)ξ1+ξ2,(HN+N+2+1)ξ2 4.7

for any ξ1,ξ2F+N.

Remark

The coefficients νr,v entering the cubic operator A are defined in (2.33) exactly so that the contribution to the commutator [K,A] proportional to br+vb-rb-v only enters in the term containing r2 in (4.2) (and it is absent from the term containing r·v in (4.3)).

To prove Lemma 4.1, we will use the following auxiliary lemma.

Lemma 4.2

For r,vΛ+, we define the coefficients

αr,v:=1N1/2sΛ+s+v0V^((r-s)/N)ηs[2ηs+vs2s2+v2+|s+v|2-2σv(v·s)s2+v2+|s+v|2]. 4.8

Then, we have

vΛ+suprΛ+|αr,v|2+1NvΛ+supzΛrΛ+|αr,v|2(r+z)2+N1/2suprΛ+|αr,v||v|C. 4.9

Proof

We split αr,v=αr,v(1)+αr,v(2), with αr,v(1),αr,v(2) indicating the contribution of the first, respectively, the second term in the square brackets. We will show (4.9) separately, for αr,v(1) and αr,v(2). We have

vsupr|αr,v(1)|2CNs,s,v|ηs||ηs+v||ηs+v||ηs|CNv,s|ηs||ηs+v||v|CN|v|N1|v|2+CN2s,v;|v|>N|ηs||ηs+v|C,

Similarly, we obtain

1NvsupzΛr|αr,v(1)|2(r+z)2CN2vsupzΛs,s,r|V^((r-s)/N)|(r+z)2|ηs||ηs+v||ηs+v||ηs|CNs,s,v|ηs||ηs+v||ηs+v||ηs|C,

using the bound V^(·/N)2CN3/2, in the region |r+z|>N. The bound for the third summand on the left hand side of (4.9) follows immediately from s|ηs||ηs+v||v|-1.

To handle αr,v(2), we decompose αr,v(2)=αr,v(2,>)+αr,v(2,<) with

αr,v(2,>)=-1N1/2sΛ+,|s|>Ns+v0V^((r-s)/N)ηs2σv(v·s)s2+v2+|s+v|2,αr,v(2,<)=-1N1/2sΛ+,|s|Ns+v0V^((r-s)/N)ηs2σv(v·s)s2+v2+|s+v|2

Estimating |αr,v(2,>)||v||σv|/N, it is easy to check that (4.9) holds true, if we replace αr,v with αr,v(2,>). Let us now consider the contribution of αr,v(2,<). Through a change of variable s-s we find

αr,v(2,<):=1N1/2|s|Nηsσv(s·v)V^((r+s)/N)s2+v2+(s-v)2-V^((r-s)/N)s2+v2+(s+v)2=1N1/2|s|N[V^((r+s)/N)-V^((r-s)/N)]ηsσv(s·v)s2+v2+(s+v)2+1N1/2|s|NV^((r+s)/N)4ηsσv(s·v)2(s2+v2+(s+v)2)(s2+v2+(s-v)2)=αr,v(2,<,1)+αr,v(2,<,2). 4.10

The contribution of αr,v(2,<,2) to (4.9) can be bounded easily, as we did with αr,v(1). Let us focus on the contribution of αr,v(2,<,1). From the Lipschitz continuity of V^, we obtain

vsupr|αr,v(2,<,1)|2CN3v|σv|2v2(|s|N|ηs|)2C. 4.11

Similarly, we can also estimate the last term on the l.h.s. of (4.9). As for the second term in (4.9), it can be bounded by (4.11), if we restrict the sum over rΛ+ to momenta with |r+z|N. For |r+z|>N, on the other hand, we switch to position space and get

1Nvsupzr|αr,v(2,<,1)|2(r+z)2CN2v|σv|2supz|r+z|>N1(r+z)41/2×(r|s1|,|s2|,|s3|,|s4|Ni=1,2,3,4[V^((r+si)/N)-V^((r-si)/N)]ηsi(si·v)si2+v2+(si+v)2)1/2CNv|σv|2v2(x1,x2,x2Λdx1dx2dx3|V(x1)||V(x2)||V(x3)||V(x1+x2+x3)|×|s1|,|s2|,|s3|,|s4|Ni=1,2,3,4|ηsi|N)1/2CV·(VVV)1C 4.12

where we used the bound |ei(s·x)/N-e-i(s·x)/N|C|s|/N for xΛ.

Now we are ready to prove Lemma 4.1.

Proof of Lemma 4.1

With the commutation relations (2.2) and the definition (2.32), we find

[K,A]=1Nr,vΛ+r+v0ηrγv((r+v)2+r2-v2)br+vb-rbv+1Nr,vΛ+r+v0νr,v((r+v)2+r2+v2)br+vb-rb-v+h.c.

Recalling (2.33), we immediately obtain (4.1).

A slightly longer (but still straightforward) computation shows that (4.4) holds true, with

E[VN,A]=1N3/2r,v,sΛ+r+v+s0V^((r-s)/N)[2s2ηs(σs+v-ηs+v)s2+v2+(s+v)2+2v2[ηv(σs-ηs)-ηs(σv-ηv)]s2+v2+(s+v)2]×br+vb-rb-v+h.c.+1N3/2uΛ,p,r,vΛ+v-u,r+v-u,p+u0V^(u/N)ηr(γv-γv-u)br+v-ub-rap+uapbv+h.c.+1N3/2uΛ,p,r,vΛ+r+v,r+u,p+u0V^(u/N)ηrγvbr+vb-r-uap+uapbv+h.c.+1N3/2uΛ,p,r,vΛ+v-u0r+v-u,p+u0V^(u/N)[νr,v+νr,v-u+νr-u,v]br+v-ub-rb-vap+uap+h.c. 4.13

Using that |σs-ηs|C|τs|, we can bound the first term by

|1N3/2r,v,sΛ+r+v+s0V^((r+s)/N)[2s2ηs(σs+v-ηs+v)s2+v2+(s+v)2+2v2[ηv(σs-ηs)-ηs(σv-ηv)]s2+v2+(s+v)2]×ξ,br+vb-rb-vξ|CNK1/2ξ(N++1)ξ.

As for the second term on the r.h.s. of (4.13), we observe that |γv-γv-u|C(ηv2+ηv-u2). We obtain

|1N3/2uΛ,p,r,vΛ+v-u,r+v-u,p+u0V^(u/N)ηr(γv-γv-u)ξ,br+v-ub-rap+uapbvξ|CNK1/2(N++1)1/2ξ(N++1)3/2ξ.

To bound the third term, we switch to position space. We find

|1N3/2uΛ,p,r,vΛ+r+v,r+u,p+u0V^(u/N)ηrγvξ,br+vb-r-uap+uapbvξ|1N1/2dxdydzN2V(N(x-z))|ηˇ(y-z)||ξ,bˇybˇzaˇxaˇxb(γˇy)ξ|CN[dxdydzN2V(N(x-z))bˇybˇzaˇxξ2]1/2×[dxdydzN3V(N(x-z))|ηˇ(y-z)|2aˇxb(γˇy)ξ2]1/2CNVN1/2(N++1)1/2ξK1/2(N++1)1/2ξ

where, in the last step, we used |ηˇ(y-z)|C/|y-z| (see (2.11) and (2.10)) and Hardy’s inequality (and the estimate aˇxb(γˇy)ξaˇxaˇyξ+aˇxN+1/2ξ). Finally, let us consider the last term on the r.h.s. of (4.13). We only show how to bound the contribution proportional to νr,v, the others can be estimated similarly. With |νr,v|C|r|-2|v|-2, we obtain

|1N3/2uΛ,p,r,vΛ+v-u0r+v-u,p+u0V^(u/N)νr,vξ,br+v-ub-rb-vap+uapξ|CN3/2[uΛ,p,r,vΛ+v-u0r+v-u,p+u0|V^(u/N)||p+u|21|r|4|v|4(N++1)apξ2]1/2×[uΛ,p,r,vΛ+v-u0r+v-u,p+u0|p+u|2(N++1)-1ap+ua-va-rar+v-uξ2]1/2CNK1/2(N++1)1/2ξ(N++1)3/2ξ.

This concludes the proof of (4.6).

Proceeding as we did above, it is also simple to verify that the error term E[VN,A] satisfy (4.7). To conclude the proof of the bound (4.7), we observe, first of all, that

|ξ1,[K,A]1ξ2|CK1/2ξ1(N++1)ξ2

and

|ξ1,[K,A]2ξ2|CN1/2r,vΛ+r+v0|r||v||ηr|br+vb-rξ1bvξ2CN1/2[r,vΛ+r+v0|r|2br+vb-rξ12]1/2[r,vΛ+r+v0|ηr|2|v|2bvξ22]1/2CN1/2K1/2(N++1)1/2ξ1K1/2ξ2. 4.14

We rewrite the term [VN,A]1 as

[VN,A]1=1N3/2r,vΛ+r+v0(V^·/Nη)(r)br+vb-r(γvbv+σvb-v)-1N3/2r,vΛ+r+v0V^(r/N)η0br+vb-r(γvbv+σvb-v)

Using (2.11), the decomposition ηp=-Nδp,0+Nf^N,(p), and the fact that |η0|C (see (2.20)), we can bound

|ξ1,[VN,A]1ξ2|CK1/2ξ1(N++1)ξ2.

With (4.9), we bound [VN,A]2 as

|ξ1,[VN,A]2ξ2|CNr,vΛ+r+v0|αr,v|(N++1)-1br+vb-rb-vξ1(N++1)ξ2CN1/2(N++1)ξ2[1Nr,vΛ+r+v0|αr,v|2|r|2]1/2×[r,vΛ+r+v0|r|2br+vb-rb-v(N++1)-1ξ12]1/2CN1/2K1/2ξ1(N++1)ξ2. 4.15

We can now prove Proposition 2.5

Proof of Prop. 2.5

The proof of the bound (2.34) follows similarly as in [5, Prop. 4.2]. To show (2.35) we consider the function

gξ(s)=ξ,e-sAN+esAξ

for s[0,1], and its derivative

gξ(s)=ξ,e-sA[N+,A]esAξ

Since

[N+,A]=1Nr,vΛ+br+vb-r(ηrγvbv+3νr,vb-v)+h.c.

and using that |νr,v|C|r|-2|v|-2, we immediately find

|gξ(s)|CNr,vΛ+(|ηr|br+vb-resAξbvesAξ+|νr,v|(N++1)-1br+vb-rb-vesAξ(N++1)esAξ)CN(N++1)esAξN+1/2esAξξ,e-sAN+esAξ+CNξ,e-sA(N++1)2esAξ.

Using Gronwall’s lemma, and Eq. (2.34), we have

gξ(s)ξ,N+ξ+CNξ,(N++1)2ξ,

which concludes the proof of (2.35). To show (2.36), we define

φξ(s):=ξ,e-sA(N++1)k(HN+1)esAξ

for s[0,1]. Differentiating with respect to s, we have

φξ(s)=ξ,e-sA[(N++1)k(HN+1),A]esAξ=ξ,e-sA(N++1)k[K+VN,A]esAξ+ξ,e-sA[(N++1)k,A](HN+1)esAξ=P1+P2.

We consider first P1. From (4.7), we find

|ξ,e-sA(N++1)k[K+VN,A]esAξ|Cξ,e-sA(N++1)k(HN+1)esAξ+Cξ,(N++1)k+2ξ.

As for the term P2, we observe that the proof of [5, Prop. 4.4] (restricted to k=1) can be easily extended to general kN. We conclude that

|P2|Cξ,e-sA(HN+1)(N++1)esAξ+Cξ,(N++1)k+2ξ.

Putting together the estimates for P1 and P2, we obtain

φξ(s)Cφξ(s)+Cξ,(N++1)k+2ξ

for any ξF+N and for some constant C>0. With Gronwall’s lemma we get the desired result.

Cubic Renormalization: Proof of Theorem 2.6

The starting point for proving Theorem 2.6 is the representation (2.30) for the excitation Hamiltonian GN. To determine the structure of JN=e-AGNeA, we will separately apply the cubic conjugation to the different summands in GN.

Control of quadratic terms

To conjugate quadratic terms in GN (excluding the kinetic energy), we will make use of the following lemma.

Lemma 5.1

Let A be defined as in (2.32). For pΛ+, let wpR. Set

W=pΛ+wpapap

Then

|ξ,[W,A]ξ|CwNN+1/2ξ(N++1)ξ 5.1

Moreover,

|ξ,[W,A]ξ|CsuppΛ+|wp|/|p|NN+1/2ξK1/2(N++1)1/2ξ 5.2

Suppose now OpC for all pΛ+ and set

O=pΛ+Opbpb-p.

Then

|ξ,[O,A]ξ|CO2NN+1/2ξ(N++1)ξ 5.3

and

|ξ,[O,A]ξ|CNO+pΛ+|Op|2p21/2K1/2ξ(N++1)ξ. 5.4

Proof

From the identity

[W,A]=1Nr,vΛ+r+v0(wr+v+wr-wv)ηrγvbr+vb-rbv+h.c.+1Nr,vΛ+r+v0(wr+v+wr+wv)νr,vbr+vb-rb-v+h.c..

we find (5.1) and (5.2), using that γ and that η,ν2 (ν is square integrable in both its variables), uniformly in N. To prove (5.3), (5.4), we proceed as in the proof of [5, Prop. 8.2]. From the commutation relations (2.2), we obtain

[O+O,A]=2Nr,vΛ+r+v0Or+vb-r-v(ηrγvbv+νr,vb-v)br+h.c.+2Nr,vΛ+r+v0Orbr(ηrγvbv+νr,vb-v)br+v+h.c.+2Nr,vΛ+r+v0Ovνr,vbvbr+vb-r+h.c.-2Nr,vΛ+r+v0Ovηrγvbr+vb-rb-v+h.c.+E, 5.5

where the error term E collects contributions due to the fact that the modified creation and annihilation operators b,b do not exactly satisfy canonical commutation relations. We have

|ξ,Eξ|CO2NN+1/2ξ(N++1)ξ 5.6

and also

|ξ,Eξ|CNO+p|Op|2p2K1/2ξ(N++1)ξ. 5.7

Bounding the explicit terms on the r.h.s. of (5.5) one by one, we conclude the proof of the lemma. As an example, consider the first term on the first line. We can estimate

|2Nr,vOr+vηrγvξ,b-r-vbvbrξ|CNr,v|Or+v|b-r-vbvξbrξCNO2N+1/2ξN+ξ

or, if O2,

|2Nr,vOr+vηrγvξ,b-r-vbvbrξ|CNr,v|Or+v||r+v||r+v|b-r-vbvξbrξCNr|Or|2r21/2K1/2ξN+ξ.

In contrast to the proof of (5.1) and (5.2) (where we only used the norm of w and of w·/|·|), here we need the decay of the observable O (because ηr and brξ both decay in the same variable r and in one of the factors arising from the Cauchy-Schwarz inequality only the observable Or+v provides decays in v). The last term on the r.h.s. of (5.5) can be bounded similarly. The other terms can be estimated using the norm of O and the fact that γ, η,ν2, uniformly in N.

Applying Lemma 5.1, we obtain the following proposition.

Proposition 5.2

Recall the operator TN(2), defined in (2.29). Furthermore, from (2.30), we consider the operators

D=pΛ+[|p|4+2(V^(·/N)f^N,)pp2-p2]apapE=-1Np,qΛ+(V^(q/N)+V^((q+p)/N))ηq[(γp2+σp2)bpbp+γpσp(bpb-p+bpb-p)]

Then, for every 0<ε<1, we have

±e-ATN(2)eAεK+CεN(HN+N+2+1) 5.8

and also

e-ADeA=D+ED,e-AEeA=E+EE

where

±ED,EEεN++CεN(N++1)2

Proof

First of all, we observe that

||p|4+2(V^(·/N)f^N,)pp2-p2|C

and also that

|1Nq(V^(q/N)+V^((q+p)/N))ηq(γp2+σp2)|C|1Nq(V^(q/N)+V^((q+p)/N))ηqγpσp|C|p|-2

for all pΛ+. Thus, we can apply Lemma 5.1 (and in particular (5.1) and (5.3)) to estimate the commutators [DA], [EA]. Writing

ED=01dse-sA[D,A]esA

we can therefore bound

|ξ,EDξ|CN01dsN+1/2e-sAξ(N++1)e-sAξ.

From Prop. 2.5, we conclude that

|ξ,EDξ|CNN+1/2ξ(N++1)ξ+CN(N++1)ξ2.

Similarly, we can also bound δE.

To show (5.8), we rewrite

TN(2)=pΛ+Op(bpb-p+b-pbp)

with

Op=(1+2σ22)N2(V^(·/N)η)p+12NqΛ+(2σq2+γqσqμq-1)p2ηp

and we observe that |Op|C/N for all pΛ+ and that

pΛ+|Op|2p2CN. 5.9

This implies that

|ξ,TN(2)ξ|p|Op|2p21/2K1/2ξ(N++1)1/2ξCNK1/2ξ(N++1)ξ

and, by Lemma 5.1, also that

|ξ,e-A[TN(2),A]eAξ|CNK1/2eAξ(N++1)eAξ.

Writing

e-ATN(2)eA=TGN(2)+01dse-sA[TN(2),A]esA

and applying also Prop. 2.5, we arrive at (5.8).

Control of quartic terms

Next, we control the quartic error term TGN(4), defined in (2.29). To this end, we will make use of the following lemma.

Lemma 5.3

Let A be defined as in (2.32). We consider a quartic operator of the form

D=1Nr,p,qΛ+r+p+q0Dr,p,qbr+pbqb-pb-r-q+h.c.

where we assume that, for r,p,qΛ+, the coefficients Dr,p,q are so that

min{p,qsupr|Dr,p,q|2+1Np,qsupzr|Dr,p,q|2(r+z)2+1N2p,qsupzr|Dr,p,q|(r+z)22,(rp),(rq)}C 5.10

Here, (rp) means the same quantity, but inverting the role of the momenta r and p (ie. in the first term, we sum over rq and we take the supremum over p, and similarly for the other terms). This assumption reflects the fact that (in applications) one of the momenta rpq is the argument of the potential V^(./N) while the dependence on the other two momenta is square-summable. Then there exists C>0 such that

|ξ,[D,A]ξ|CNN+1/2ξ(N++1)ξ+CNξ,(K+1)(N++1)3ξ

for all ξFN.

Proof

We decompose

[D,A]=1N3/2r,p,q,s,wDr,p,qηsγwbs+wb-s[br+pbqb-pb-r-q,bw]+h.c.-1N3/2r,p,q,s,wDr,p,qηsγwbw[br+pbqb-pb-r-q,b-sbs+w]+h.c.-1N3/2r,p,q,s,wDr,p,qνs,w[br+pbqb-pb-r-q,b-wb-sbs+w]+h.c.=:(I+II+III)+h.c.

After a long but straightforward computation based on the commutation relations (2.2), we find

I=-1N3/2r,p,q,sDr,p,qIγr+pηsbs+p+rbqb-sb-pb-r-q+E1II=1N3/2r,p,q,wDr,p,qII,1(ηq+ηq-w)γwbwbp+rb-r-qb-pbw-q+1N3/2r,p,qDr,p,qII,2(ηp+ηp+r)γrbrbqb-r-q+E2 5.11

with the coefficients

Dr,p,qI=Dr,p,q+D-r,q+r,p+r+Dr,-p-r,q+D-r,-q,-p,Dr,p,qII,1=Dr,p,q+D-r,q+r,p+r+Dr,-q,-p+D-r,-q,-p+Dr,p,-q-r,Dr,p,qII,2=Dr,p,q+Dr+p+q,-q,-p+Dp-q,r+q,q+Dq-p,p,r+p+D-r,-q,-p+D-r-p-q,p,q 5.12

and

III=1N3/2p,q,r,sDr,p,qIII,1(νs,-q+νs,q-s+νq,-s)br+pb-pb-r-qb-sbs-q+1N3/2r,p,qDr,p,qIII,2νp+r,-q-rb-pbqbq-p+1N3/2p,q,rDr,p,qIII,3(νp-q,q+r+νq+r,p-q)bqb-pbq-p+1N3/2r,p,qDr,p,qIII,4(νp-q,q+r+νq+r,p-q)bqb-pbq-p+E3 5.13

with

Dr,p,qIII,1=Dr,p,q+D-r,q+r,p+r+D-r,-q,-p+Dr,p,-q-rDr,p,qIII,2=Dr,p,q+Dr,p,-q-r+Dr,-p-r,-q-r+Dr,-p-r,q+D-r,-q,p+r+D-r,q+r,p+r+D-r,-q,-p+D-r,q+r,-p+Dp-q,r+q,q+Dp-q,-r-p,-p+Dq-p,p,p+r+Dq-p,-q,-q-rDr,p,qIII,3=Dr,p,q+Dr,p,-q-r+Dp-q,q+r,q+Dp-q,-p-r,q+Dr,-p-r,-q-r+Dr,-p-r,qDr,p,qIII,4=Dr,p,q+Dr,p,-q-r+Dq-p,p,p+r+Dq-p,p,-q-r+Dr,-p-r,-q-r+Dr,-p-r,q.

In (5.11), (5.13), the error terms E1,E2,E3 are produced by the fact that the commutation relations (2.2) are not precisely canonical and can be controlled by

±E1,±E2,±E3CN(K+1)(N++1)3.

To bound the first term in (5.11), we can use Cauchy-Schwarz. Let us consider for example the contribution I1, arising from the first term in the identity (5.12) for Dr,p,qI. We find

|ξ,I1ξ|CN3/2(N++1)ξr,p,q,s|Dr,p,q|2(r+q)2ηs21/2×r,p,q,s(q+r)2bqb-sb-pb-r-q(N++1)-1/2ξ21/2CN3/2p,qsupzr|Dr,p,q|2(r+z)21/2(N++1)ξK1/2(N++1)ξ.

With different choices of the weight in the Cauchy-Schwarz inequality, we can exchange the role of the labels rpq. Proceeding analogously for the terms arising from the other contributions to Dr,p,qI, we arrive at

|ξ,Iξ|CN3/2min{p,qsupzr|Dr,p,q|2(r+z)2,r,qsupzp|Dr,p,q|2(p+z)2,r,psupzq|Dr,p,q|2(q+z)2}1/2×ξ,(K+1)(N++1)2ξCNξ,(K+1)(N++1)2ξ

where we applied the assumption (5.10). Also the other quintic terms, in (5.11) and in (5.13), can be handled similarly. Let us now consider the cubic terms. The contribution to the cubic term on the last line of (5.11) arising from the first term in the expression for Dr,p,II,2 in (5.12) can be bounded by

|ξ,II2ξ|C(N++1)1/2ξN3/2r,p,q|Dr,p,q|2r21/2r,,p,q(ηp2+ηp+r2)r2brbqξ21/2CN3/2r,p,q|Dr,p,q|2r21/2(N++1)1/2ξK1/2(N++1)1/2ξ.

Analogously, the estimate also holds if we replace r-2 with q-2. But we cannot replace r-2 with p-2. So, we proceed slightly differently, using |ηp|C/p2 to bound

|ξ,II2ξ|C(N++1)ξN3/2r,qsupzp|Dr,p,q|(p+z)221/2r,qbrbq(N++1)-1/2ξ21/2CN3/2r,qsupzp|Dr,p,q|(p+z)221/2(N++1)ξN+1/2ξ.

From the assumption (5.10), we conclude that

|ξ,II2ξ|CNξ,(K+1)(N++1)ξ+CNN+1/2ξ(N++1)ξ.

Also the other contributions to the cubic term in (5.11) can be handled similarly. The second term III2 on the r.h.s. of (5.13) can be estimated by

|ξ,III2ξ|CN3/2r,p,q|Dr,p,qIII,2||ηp+r||q+r|2b-pbqξbq-pξCN3/2min{qsupr,p|Dr,p,qIII,2|2,psupr,q|Dr,p,qIII,2|2}1/2N+ξN+1/2ξCNN+ξN+1/2ξ.

As for the last two terms on the r.h.s. of (5.13), they can be controlled similarly as II2. We skip the details.

We can now control the conjugation of the quartic component of TGN.

Proposition 5.4

Let TGN(4) be defined as in (2.29) and A as in (2.32). Then, for every ε>0 small enough, we have

±e-ATN(4)eAεK+CεN(HN+1)(N++1)4

Proof

We write

ξ,e-ATN(4)eAξ=ξ,TN(4)ξ+01dsξ,e-sA[TN(4),A]esAξ. 5.14

Next, we observe that

|ξ,TN(4)ξ|CNK1/2ξ(N++1)3/2ξ.

In fact, the contribution of the first term in the definition (2.29) of TN(4) is bounded by

|12Np,q,rV^(r/N)σpσq+rξ,bp+rbqb-pb-q-rξ|CN(N++1)3/2ξp,q,r(p+r)2bp+rbqb-pb-q-r(N++1)-3/2ξ21/2×p,q,r|V^(r/N)|2(r+p)2σp2σq+r21/2CNK1/2ξ(N++1)3/2ξ.

Also the other contributions to TGN(4) can be bounded similarly. As for the second term on the r.h.s. of (5.14), we apply Lemma 5.3. To this end, we observe that all terms in TGN(4) satisfy the assumption (5.10) (with Dr,p,q=V^(r/N)σpσq+r for the first term, Dr,p,q=N-1(V^(./N)η)pγqσqδr,0 for the second term, Dr,p,q=(V^(./N)f^N,)p(γqσq-ηq/2-σq2/(2μq)) for the third term). We obtain

|ξ,e-sA[TN(4),A]esAξ|CNξ,e-sA(K+1)(N++1)3esAξ+CNN+1/2esAξ(N++1)esAξCNξ,(HN+1)(N++1)4ξ+CNN+1/2ξ(N++1)ξ

where in the last step we also used Prop. 2.5.

Control of cubic term

In this section, we study the conjugation of the cubic term CGN. We will use the next lemma.

Lemma 5.5

Let CGN be defined as in (2.28) and A as in (2.32). Then, we have

[CGN,A]=2Np,qΛ+:p+q0(V^(p/N)+V^((p+q)/N))ηp×[σq2+(γq2+σq2)bqbq+γqσq(bqb-q+bqb-q)]+2Np,qΛ+p+q0[V^(p/N)+V^((p+q)/N)]σqηp2ηq+p(q+p)2-2σq(p·q)p2+q2+(p+q)2+B+D+E[C,A], 5.15

where

B=pΛ+Op(bpb-p+bpb-p) 5.16

is a quadratic operator, with coefficients satisfying

pΛ+|Op|2p2CN,OCN 5.17

and where

D=1Nr,p,qΛ+r+p+q0Dr,p,qbr+pbqb-pb-r-q+h.c. 5.18

is a quartic operator with coefficients Dr,p,q satisfying (5.10). Furthermore, we have

|ξ,E[C,A]ξ|CNN+1/2ξK1/2(N++1)ξ+CNξ,(K+1)(N++1)2ξ 5.19

for every ξFN.

Proof

From (2.28), (2.32), we can decompose

[CGN,A]=i=14Πi

with

Π1=1Np,qΛ+p+q0V^(p/N)γq[bp+qb-pbq,Aν]+h.c.Π2=1Np,qΛ+p+q0V^(p/N)γq[bp+qb-pbq,Aγ]+h.c.Π3=1Np,qΛ+p+q0V^(p/N)σq[bp+qb-pb-q,Aν]+h.c.Π4=1Np,qΛ+p+q0V^(p/N)σq[bp+qb-pb-q,Aγ]+h.c..

We analyze the four terms separately. From (2.2), we obtain

Π1=1Np,q,rΛ+p+q,r+q0V^(p/N)γq(νr,-q-r+νq,r+νr,q)b-p-qbpbr+qb-r+h.c.+1Np,q,rΛ+p+q,r+p0[V^(p/N)+V^((p+q)/N)]γq(νr,-p-r+νp,r+νr,p)×bp+qbp+rbqb-r+h.c.+2Np,qΛ+p+q0[V^(p/N)+V^((p+q)/N)]γq(νp,q+νq,p+νp,-p-q)bqb-q+E~Π1 5.20

where the error E~Π1 (and, similarly, the errors E~Πj, j=2,3,4, below) is due to the fact that the commutation relations (2.2) are not precisely canonical and can be estimated by

±E~Π1CN(K+1)(N++1)2.

Using the fact that |νp,q|C|p|-2|q|-2, the second term on the r.h.s. of (5.20) can be bounded by

|1Np,q,rΛ+p+q,r+p0[V^(p/N)+V^((p+q)/N)]γq(νr,-p-r+νp,r+νr,p)ξ,bp+qbp+rbqb-rξ|CNp,q,r|r|-4(|p|-4+|p+r|-4)bp+q(N++1)1/2ξ21/2p,q,rbp+rbqb-r(N++1)-1/2ξ21/2CNξ,(N++1)2ξ. 5.21

As for the third term on the r.h.s. of (5.20), we notice that |νp,-p-q|C|p|-2|p+q|-2 implies that the quadratic term proportional to νp,-p-q is bounded by CN-1KN+. To handle the other contributions, we write

νp,q+νq,p=ηpσq-2q2p2+q2+|p+q|2[ηp(σq-ηq)-ηq(σp-ηp)]-ηpσq2p·qp2+q2+|p+q|2. 5.22

The contributions proportional to ηq(σp-ηp) and ηp(σq-ηq) are bounded by CN-1(N++1), since |σp-ηp|C|p|-4. To bound the contribution of the last term, we distinguish |p|>N and |p|N. For |p|>N, we estimate

|2Np,qΛ+|p|>N(V^(p/N)+V^((p+q)/N))γqηpσq2p·qp2+q2+|p+q|2ξ,bqb-qξ|CNqΛ+|q||σq|(N++1)1/2ξbqξCNξ,(K+1)ξ 5.23

since |p|>N|ηp||p|-1C. For |p|N, we proceed with a change of variable p-p and obtain

2Np,qΛ+,|p|Nηpσq(p·q)[V^(p/N)+V^((p-q)/N)p2+q2+|p-q|2-V^(p/N)+V^((p+q)/N)p2+q2+|p+q|2]×γqξ,(bqb-q+h.c.)ξ=2Np,qΛ+|p|N[V^((p-q)/N)-V^((p+q)/N)]ηpσq(p·q)p2+q2+|p+q|2γqξ,(bqb-q+h.c.)ξ+8Np,qΛ+|p|N[V^(p/N)+V^((p+q)/N)]ηpσq(p·q)2(p2+q2+|p+q|2)(p2+q2+|p-q|2)γqξ,(bqb-q+h.c.)ξ.

Using Lipschitz contiuity of V^ in the first term on the r.h.s and the bound p|p+q|-2|p|-2C|q|-1 in the second term, we obtain

|2Np,qΛ+,|p|Nηpσq(p·q)[V^(p/N)+V^((p-q)/N)p2+q2+|p-q|2-V^(p/N)+V^((p+q)/N)p2+q2+|p+q|2]×γqξ,(bqb-q+h.c.)ξ|CNqΛ+σq|q|ξ,(bqb-q+h.c.)ξCNξ,(K+1)ξ

proceeding similarly as in (5.23).

Noticing that the coefficients Dq,r,p(1)=V^(p/N)γq(νr,-q-r+νq,r+νr,q) satisfy the assumption (5.10), we denote by D(1) the quartic operator on the first line on the r.h.s. of (5.20); it will be absorbed in (5.18). We conclude that

Π1=1Np,qΛ+p+q0[V^(p/N)+V^((p+q)/N)]ηpγqσqbqb-q+h.c.+D(1)+EΠ1, 5.24

where

±EΠ1CN(K+1)(N++1)2.

Let us now consider Π2. From (2.2), we obtain

Π2=1Np,r,vΛ+r+v,p-v0V^(p/N)(ηv+ηr+v)γrγvbr+vbp-vb-pbr+h.c.-1Nq,r,vΛ+r+v,q+v0[V^(v/N)+V^((v+q)/N)]γqγvηrb-rbr+vb-v-qb-q+h.c.+1Nq,r,vΛ+r+v,q+v0[V^(v/N)+V^((v+q)/N)](ηv+ηv+r)γrγqbr+vbqbrbq+v+h.c.-1Np,r,vΛ+r+v,p+v0V^(p/N)ηrγv2br+vb-rbp+vb-p+h.c.+2Nq,vΛ+q+v0[V^(v/N)+V^((v+q)/N)]ηvγq2bqbq+E~Π2 5.25

with ±E~Π2CN-1(K+1)(N++1)2. The first term on the r.h.s. can be controlled, using Cauchy-Schwarz, by

|1Np,r,vV^(p/N)(ηv+ηr+v)γrγvξ,br+vbp-vb-pbrξ|CNp,r,vp2br+vbp-vb-pξ21/2p,r,v|V^(p/N)|2p2(ηv2+ηr+v2)brξ21/2CNK1/2N+ξN+1/2ξ 5.26

The other quartic terms on the r.h.s. of (5.25) can be bounded similarly. We conclude that

Π2=2Nq,vΛ+q+v0[V^(v/N)+V^((v+q)/N)]ηvγq2bqbq+EΠ2 5.27

where

|ξ,EΠ2ξ|CNN+1/2ξK1/2N+ξ+CNξ,(K+1)(N++1)2ξ

for all ξFN.

Next, we consider Π3. With (2.2), we find

Π3=1Np,q,rΛ+p+q,q+r0V^(p/N)σq(νr,-q-r+νq,r+νr,q)bp+qb-pb-rbr+q+h.c.+1Np,q,r0p+q,p+r0[V^(p/N)+V^((p+q)/N)]σq(νr,-p-r+νp,q+νr,p)×bp+qb-qb-rbr+p+h.c.+2Np,qΛ+p+q0[V^(p/N)+V^((p+q)/N)]σq×(ν-p-q,q+νq,-p-q+νp,-p-q+ν-p-q,p+νp,q+νq,p)b-pb-p+2Np,qΛ+p+q0[V^(p/N)+V^((p+q)/N)]σq(ν-p-q,p+νp,q+νq,p)b-qb-q+2Np,qΛ+p+q0[V^(p/N)+V^((p+q)/N)]σq(ν-p-q,p+νp,q+νq,p)+E~Π3 5.28

where ±E~Π3CN-1(K+1)(N++1)2. The first term on the r.h.s. can be handled similarly to (5.26). The second term can be bounded analogously to (5.21). Let us now consider the quadratic terms.

The term proportional to b-pb-p is controlled by CN-1(N++1), since the sum over q can be bounded using |σq|C|q|-2, |νr,s|C|r|-2|s|-2. In the next quadratic term, proportional to b-qb-q, the bound |ν-p-q,p|C|p|-2|p+q|-2 allows us to estimate the corresponding contribution by CN-1(N++1). To handle the contributions proportional to νp,q, νq,p, we recall (5.22). The contribution of all terms on the r.h.s. of (5.22), with the exception of the term proportional to ηpσq, can be estimated by CN-1logNN+ and can therefore be neglected.

As for the constant term on the r.h.s. of (5.28), we write

σq(ν-p-q,p+νp,q+νq,p)=ηpσq2+σqηp2ηp+q(p+q)2-2σq(p·q)p2+q2+(p+q)2+2q2σqp2+q2+(p+q)2[ηq(σp-ηp)+ηp(ηq-σq)]+2(p+q)2σqp2+q2+(p+q)2ηp+q(σp-ηp)

and we notice that the contribution associated with the last two lines is of the order N-1 (because these terms are all summable over pq). We conclude that

Π3=2Np,qΛ+p+q0[V^(p/N)+V^((p+q)/N)]ηpσq2+2Np,qΛ+p+q0[V^(p/N)+V^((p+q)/N)]σqηp2ηq+p(q+p)2-2σq(p·q)p2+q2+(p+q)2+2Np,qΛ+p+q0[V^(v/N)+V^((v+q)/N)]ηvσq2bqbq+EΠ3 5.29

where

|ξ,EΠ3ξ|CNN+1/2ξK1/2(N++1)ξ+CNξ,(K+1)(N++1)2ξ

for all ξFN.

Finally, we consider Π4. Again with (2.2), we find

Π4=-1Np,r,vΛ+r+v,p+v0V^(p/N)ηrγvσvbr+vb-rbp-vb-p+h.c.-1Np,r,vΛ+r+v,q+v0[V^(v/N)+V^((v+p)/N)]ηrγvσpbr+vb-rbpb-p-v+h.c.+1Np,r,vΛ+r+v,p+v0V^(p/N)(ηv+ηr+v)γrσvbr+vbp+vb-pbr+h.c.+1Np,r,vΛ+r+v,p+v0[V^(v/N)+V^((v+p)/N)](ηv+ηr+v)σpγrbr+vbp+vb-pbr+h.c.+1Nq,vΛ+q+v0[V^(v/N)+V^((v+q)/N)]ηvγqσqbqb-q+h.c.+1Nr,vΛ+r+v0[V^(r/N)+V^((r+v)/N)](ηr+v+ηv)γrσvbrb-r+h.c.+E~Π4 5.30

with ±E~Π4CN-1(K+1)(N++1)2. Since the coefficients Dv,r,p(2)=-V^(p/N)ηrγvσv and Dv,r,p(3)=[V^(v/N)+V^((v+p)/N)]ηrγvσp satisfy the assumption (5.10), we denote by D(2) and D(3) the quartic operators on the first and second line of (5.30); we will absorb them in (5.18). The other quartic contributions to Π4 can be bounded similarly to (5.21) (term on the fourth line) and (5.26) (term on the third line). As for the quadratic terms, the contribution proportional to ηr+v in the last line is small, since

±1Nr,vΛ+r+v0[V^(r/N)+V^((r+v)/N)]ηr+vγrσv(ξ,brb-rξ+h.c.)CNr,vΛ+r+v01|r+v|2|v|2brξ(N++1)1/2ξCNrΛ+1rbrξ(N++1)1/2ξCNξ,(K+N++1)ξ.

Similarly, in the contribution proportional to ηv in the last line, we can replace γr by 1, up to an error bounded by N-1(N++1). Observing that the coefficients

Or=1NvΛ+:r+v0[V^(r/N)+V^((r+v)/N)]ηvσv

satisfy (5.17), we conclude that

Π4=1Nq,vΛ+q+v0[V^(v/N)+V^((v+q)/N)]ηvγqσqbqb-q+h.c.+1Nr,vΛ+r+v0[V^(r/N)+V^((r+v)/N)]ηvσvbrb-r+h.c.+B+D(2)+D(3)+EΠ4 5.31

where

|ξ,EΠ4ξ|CNN+1/2ξK1/2(N++1)ξ+CNξ,(K+1)(N++1)2ξ

for all ξFN, where B has the form (5.16), with coefficients satisfying the corresponding conditions (5.17), and where D(2),D(3) have the form (5.18), with coefficients satisfying (5.10). Combining (5.24), (5.27), (5.29), (5.31), we obtain (5.15).

Making use of the last lemma, we can compute e-ACGNeA, up to small errors.

Proposition 5.6

Let CGN be defined as in (2.28) and A as in (2.32). Under the same assumptions as Theorem 2.6, we have

e-ACGNeA=CGN+2Np,qΛ+p+q0(V^(p/N)+V^((p+q)/N))ηp[σq2+(γq2+σq2)bqbq+γqσq(bqb-q+bqb-q)]+2Np,qΛ+p+q0[V^(p/N)+V^((p+q)/N)]σqηp2ηq+p(q+p)2-2σq(p·q)p2+q2+(p+q)2+ECGN, 5.32

where, for every ε>0 small enough, we have

±ECGNεK+CεN(HN+1)(N++1)4

for all ξFN.

Proof

We write

e-ACGNeA=CGN+01dse-sA[CGN,A]esA. 5.33

From Lemma 5.5, we recall the identity

[CGN,A]=2Np,qΛ+:p+q0(V^(p/N)+V^((p+q)/N))ηp×[σq2+(γq2+σq2)bqbq+γqσq(bqb-q+bqb-q)]+2Np,qΛ+p+q0[V^(p/N)+V^((p+q)/N)]σqηp2ηq+p(q+p)2-2σq(p·q)p2+q2+(p+q)2+B+D+E[C,A],

where B is a quadratic operator having the form (5.16), D is a quartic operator like (5.18) and E[C,A] satisfies the bounds (5.19). From Prop. 5.2, we find

2Np,q(V^(p/N)+V^((p+q)/N))ηpe-sA[(γq2+σq2)bqbq+γqσq(bqb-q+bqb-q)]esA=2Np,q(V^(p/N)+V^((p+q)/N))[(γq2+σq2)bqbq+γqσq(bqb-q+bqb-q)]+E1

where, for any ε>0 small enough,

±E1εN++CεN(N++1)2.

Using (5.17) and proceeding as in the proof of (5.8) (applying Lemma 5.1 and using that the coefficients Op in (5.16) satisfy (5.17)), we obtain that, for any ε>0,

±e-sABesAεK+CεN(HN+N+2+1).

Moreover, proceeding as in Prop. 5.4 (we can apply Lemma 5.3, because the coefficients Dr,p,q in (5.18) satisfy (5.10)), we obtain that, for any ε>0,

±e-sADesAεK+CεN(HN+1)(N++1)4.

From Prop. 2.5, we also get

|ξ,e-sAE[C,A]esAξ|CNN+1/2ξ(HN+1)1/2(N++1)3/2ξ+CNξ,(HN+1)(N++1)3ξ.

Inserting in (5.33), we obtain (5.32).

Control of HN=K+VN

Finally, we conjugate the Hamiltonian HN. Besides Lemma 4.1, we will also need estimates for the the commutators of the terms [K,A]2,[VN,A]2, defined in (4.3) and, respectively, (4.5), with A.

Lemma 5.7

Let A be defined as in (2.32) and [K,A]2, [VN,A]2 be defined as in Lemma 4.1. Then

±[[K,A]2,A]+h.c.C(logN)1/2N(K+1)(N++1)2. 5.34

Moreover,

[[VN,A]2,A]+h.c.=2N2p,qΛ+p+q0[(V^(·/N)η)p+(V^(·/N)η)p+q]×ηpσq2ηq+p(q+p)2-2σq(p·q)p2+q2+(p+q)2+E[[VN,A]2,A] 5.35

with

±E[[VN,A]2,A]CN(K+1)(N++1)2.

Proof

We start by proving (5.34). Recalling the definitions (2.32) and (4.3) of A and [K,A]2, we can split

[[K,A]2,A]+h.c.=j=14Tj

with

T1=2Nr,v,p,qΛ+r+v,p+q0r·vηrγvηpγq[br+vb-rbv,bp+qb-pbq]+h.c.T2=2Nr,v,p,qΛ+r+v,p+q0r·vηrγvνp,q[br+vb-rbv,bp+qb-pb-q]+h.c.T3=2Nr,v,p,qΛ+r+v,p+q0r·vηrγvηpγq[bvbr+vb-r,bp+qb-pbq]+h.c.T4=2Nr,v,p,qΛ+r+v,p+q0r·vηrγvνp,q[bvbr+vb-r,bp+qb-pb-q]+h.c.

Up to terms of lower order (due to the fact that the operators b,b do not exactly satisfy canonical commutation relations), the operators T1,T2 only contain quartic contributions, satisfying (5.34). As an example, consider the term

T1,1=2Nr,v,pr·vηrγvηvγv-pbr+vb-rb-pbv-p+h.c.

contributing to T1, which can be bounded by

|ξ,T1,1ξ|CN[r,v,p(r+v)2br+vb-rb-p(N++1)-1/2ξ2]1/2×[r,v,p(r·v)2(r+v)2ηr2ηv2bv-p(N++1)1/2ξ2]1/2C(logN)1/2NK1/2(N++1)1/2ξ(N++1)ξC(logN)1/2Nξ,(K+1)(N++1)ξ 5.36

where we estimated

r,v(r·v)2(r+v)2ηr2ηv2Cr,v1(r+v)21v2|ηr|Cr1r|ηr|ClogN

as can be proven separating |r|N and |r|>N (in the second region, we can apply the last bound in (2.20)). All other contributions to T1,T2 can be handled similarly. Let us focus on the other terms. With (2.2), we find

T3=4Nr,vΛ+r+v0r·vηrηr+vγv2bvbv+2Nr,v,pΛ+r+v,r+v-p0r·vηr(ηr+v-p+ηr+v)γvγpbvbp-r-vb-rbp+h.c.+2Nr,v,pΛ+r+v,r-p0r·vηr(ηr+p+ηr)γvγpbvbp+rbr+vbp+h.c.-2Nr,v,pΛ+r+v,p+r0r·vηrηpγv2bp+qb-pbr+vb-r+h.c.+E~T3 5.37

with

±E~T3CN(K+1)(N++1)2. 5.38

Here, and in the rest of this proof, we will denote by E~Tj contributions due to the fact that the commutation relations (2.2) are not exactly canonical. All these contributions satisfy an estimate like (5.38) and are therefore negligible. All quartic terms on the r.h.s. of (5.37) are small. As an example, we can bound

|2Nr,v,pr·vηr2γvγpξ,bvbp+rbr+vbpξ|CN(r,v,pr2v2|r+v|2ηr2bvbp+rξ)1/2(r,v,pηr2|r+v|2br+vbpξ2)1/2CNξ,(K+1)(N++1)ξ. 5.39

All other quartic terms are bounded similarly. To estimate the quadratic term in the first line of (5.37), we observe that, with the change of variables -r-v=r and v=v,

4Nr,vr·vηrηr+vγv2bvbv=-2Nr,vv2ηrηr+vγv2bvbv, 5.40

which is clearly controlled by K/N. Thus,

|ξ,T3ξ|C(logN)1/2Nξ,(K+1)(N++1)2ξ.

Next, let us consider the term T4. With (2.2), we find

T4=2Nr,vΛ+r+v0r·vηrγv(ν-r-v,r+νr,-r-v+ν-r-v,v+νv,-r-v+νr,v+νv,r)bvb-v+h.c.+2Nr,v,pΛ+r+v,r+p0r·vηrγv(νp,-r-p+νr,p+νp,r)bvbr+pb-pbr+v+h.c.+2Nr,v,pΛ+r+v,p-r-v0r·vηrγv(νp,r+v-p+ν-r-v,p+νp,-r-v)bvb-pbp-r-vb-r+h.c.+E~T4,

with ±E~T4CN-1(K+1)(N++1)2. All quartic terms can be bounded similarly as (5.39). For the first two quadratic terms on the first line (the ones proportional to ν-r-v,r and νr,-r-v), we notice that, for any ε>0, r|r|-3|r+v|-2C|v|-2+ε and therefore, choosing ε<1/2,

|2Nr,vr·vηrγv(ν-r-v,r+νr,-r-v)ξ,bvb-vξ|CNv|v|-1+εbvξ(N++1)1/2ξCNξ,(K+1)ξ. 5.41

Using Eq. (5.22), we rewrite the rest of the quadratic terms as

2Nr,vΛ+r+v0r·vηrγv(ν-r-v,v+νv,-r-v+νr,v+νv,r)bvb-v+h.c.=2Nr,vr·vηrγv(ηr+ηr+v)σvbvb-v-4Nr,vηr2σv(r·v)2r2+v2+|r+v|2γvbvb-v+4Nr,vηrηr+vσv((r+v)·v)(r·v)r2+v2+|r+v|2γvbvb-v-4Nr,v(r·v)v2r2+v2+|r+v|2ηr((ηr+ηr+v)(σv-ηv)+ηv(σr+v-ηr+v)+ηv(σr-ηr))γvbvb-v+h.c.

The terms in the last three lines can all be bounded, first summing over r and then proceeding similarly as in (5.41), by CN-1(K+1). As for the first term on the r.h.s., the contribution proportional to r·vηr2γvσv vanishes, as can be seen replacing r-r. Moreover, switching r-r-v,

1Nr,vr·vηrηr+vγvσv(bvb-v+h.c.)=-1Nr,v(r+v)·vηrηr+vγvσv(bvb-v+h.c.)=-12Nr,vv2ηrηr+vγvσv(bvb-v+h.c.)

With r|ηr||ηr+v|C|v|-1, we can proceed as in (5.41) to prove that also this contribution is bounded by CN-1(K+1). We conclude that

±T4CN(K+1)(N++1)2.

Next, we show (5.35). We write

[[VN,A]2,A]+h.c.=j=13Sj

where

S1=1N3/2r,v,p,qΛ+r+v,p+q0αr,vηpγq[br+vb-rb-v,bp+qb-pbq]+h.c.S2=1N3/2r,v,p,qΛ+r+v,p+q0αr,vηpγq[br+vb-rb-v,bp+qb-pbq]+h.c.S3=1N3/2r,v,p,qΛ+r+v,p+q0αr,vνp,q[br+vb-rb-v,bp+qb-pb-q]+h.c.,

and the coefficient αr,v is defined as in (4.8). With (2.2), we find

S1=-1N3/2r,v,pΛ+r+v,p+r+v0ηpγr+v(αr,v+α-r-v,v+αr,-r-v)bp+r+vb-pb-rb-v+h.c.+E~S1

where ±E~S1CN-1(K+1)(N++1)2. Let us bound, using Eq. (4.9), the contribution proportional to αr,v; the other terms can be controlled analogously.

|1N3/2r,v,pηpγr+vαr,vξ,bp+r+vb-pb-rb-vξ|CN3/2(r,v,p|ηp|2|αr,v|2r2)1/2(r,v,pr2bpbrbv(N++1)-1/2ξ2)1/2(N++1)ξCNξ,(K+1)(N++1)ξ. 5.42

We conclude that ±S1CN-1(K+1)(N++1)2.

Next, we consider the term S2. Using (2.2), we find

S2=1N3/2r,vΛ+r+v0(ηr+v+ηv)γr(αr,v+α-r-v,v+αv,r)brb-r+h.c.+1N3/2r,vΛ+r+v0(ηp+ηv)γv+p(αr,v+αv,r+αr,-r-v)b-pb-rbr+vb-v-p+h.c.+E~S2,

where ±E~S2CN-1(K+1)(N++1)2. The quartic terms can be controlled in a similar way to S1, using the second bound in (4.9). Also the first two quadratic contributions, proportional to αr,v and α-r-v,v, can be estimated using the second bound in (4.9). As for the last quadratic term, the one proportional to αv,r, it can be handled using the third bound of (4.9). In fact,

|1N3/2r,v(ηr+v+ηv)γvαv,rξ,brb-rξ|CN2r,v|ηr+v|+|ηv||r|brξ(N++1)1/2ξCNξ,(K+1)ξ. 5.43

We conclude that ±S2CN-1(K+1)(N++1)2.

Finally, we consider S3. We decompose S3=S3(0)+S3(2)+S3(4)+E~S3, where ±E~S3CN-1(K+1)(N++1)2,

S3(0)=2N3/2r,vΛ+r+v0αr,v(νr,v+νr,-r-v+νv,r+νv,-r-v+ν-r-v,r+ν-r-v,v),S3(2)=2N3/2r,vΛ+r+v0(αr,v+2αv,r)(νr,v+νr,-r-v+νv,r+νv,-r-v+ν-r-v,r+ν-r-v,v)brbr

and

S3(4)=1N3/2r,v,pΛ+r+v,r+p0(αr,v+αv,r+α-r-v,v)(νp,-r-p+νp,r+νr,p)bp+rb-pbr+vb-v+h.c.

Using (4.9) (in particular, the bound for the first two terms on the l.h.s. of (4.9)), as well as |νr,p|C|ηr||p|-2, S3(4) can be estimated by CN-1(K+1)(N++1).

Also the quadratic terms are negligible. Indeed, the terms proportional to αr,v are easily bounded by N-3/2(N++1), using the first estimate in (4.9). The quadratic terms proportional to αv,r, on the other hand, can be controlled using the third bound in (4.9) and |νr,p|C|ηr||σp|, similarly to (5.43). Finally, we consider the constant term in S3(0). From the definition (2.33) of νr,v, we arrive at

S3(0)=2N3/2r,vΛ+r+v0αr,vσv(ηr+ηr+v)+2N3/2r,vΛ+r+v0αr,v[σv(r·v)(ηr+v-ηr)r2+v2+(r+v)2+v2ηvσr+vr2+v2+(r+v)2]+2N3/2r,vΛ+r+v0αr,vv2r2+v2+(r+v)2[ηv(σr-ηr)-ηr(σv-ηv)]+2N3/2r,vΛ+r+v0αr,v(νr,-r-v+ν-r-v,r) 5.44

With (4.9), |νr,p|C|ηr||σp| and |σr-ηr|C|τr|, it is easy to show that the terms in the third and fourth lines are small, bounded by CN-1. The terms on the second line are also negligible, since

|2N3/2r,vαr,vσv(ηr+v-ηr)(r·v)+v2ηvσr+vr2+v2+(r+v)2|CN2r,v(|ηr+v||σv||r|+|ηr||r|(r+v)2v2+|ηv||v|(r+v)2r2)CN.

Recalling the definition (4.8) of αr,v to rewrite the first term on the r.h.s. of (5.44), we obtain (5.35).

Combining Lemma 4.1 with Lemma 5.7, we can now compute the action of A on the Hamiltonian HN.

Proposition 5.8

Let A be defined as in (2.32), and HN=K+VN. Let CGN be defined in (2.28), [K,A]2 and [VN,A]2 be defined in Lemma 4.1. Then, under the same assumptions as in Theorem 2.6, we have

e-AHNeA=HN-CGN-1Np,qΛ+:p+q0(V^(p/N)+V^((p+q)/N))ηp×[σq2+(γq2+σq2)bqbq+γqσq(bqb-q+bqb-q)]+1Np,qΛ+p+q0[(V^(·/N)f^N,)p+(V^(·/N)f^N,)p+q]×ηpσq2ηq+p(q+p)2-2σq(p·q)p2+q2+(p+q)2+EHN 5.45

where, for every ε>0 (s.t. ε>C(logN)/N)

±EHNεK+CN(logN)1/2+ε-1(HN+1)(N++1)4.

Proof

From Lemma 4.1, we find, using the scattering equation (2.12) to combine [K,A]1 and [VN,A]1,

[HN,A]=-CGN+{[K,A]2+[VN,A]2+h.c.}+E[HN,A]

where

|ξ,E[HN,A]ξ|CNN+1/2ξ(N++1)ξ+CNξ,(HN+1)(N++1)3ξ

Here we used the estimate χ^f^N,2=χfN,2χ2C (for fixed >0, independent of N), to absorb into the error E[HN,A] the contribution arising from the r.h.s. of the scattering equation (2.12), when combining [K,A]1 and [VN,A]1. Thus, we obtain

e-AHNeA=HN+01dse-sA[HN,A]esA=HN-01e-sACGNesAds+01e-sA[K,A]2+[VN,A]2+h.c.esAds+01e-sAE[HN,A]esAds 5.46

From Prop. 2.5, we find

|ξ,e-sAE[HN,A]esAξ|1NN+1/2ξ(N++1)ξ+CNξ,(HN+1)(N++1)4ξ.

With Prop. 5.6 we obtain, after integration over s,

01e-sACGNesAds=CGN+1Np,qΛ+:p+q0(V^(p/N)+V^((p+q)/N))ηp×[σq2+(γq2+σq2)bqbq+γqσq(bqb-q+bqb-q)]+1Np,qΛ+p+q0[V^(p/N)+V^((p+q)/N)]ηpσq2ηq+p(q+p)2-2σq(p·q)p2+q2+(p+q)2+ECGN, 5.47

where, for every ε>0,

±ECGNεK+CεN(HN+1)(N++1)4.

Finally, we compute

e-sA[K,A]2+[VN,A]2+h.c.esA=[K,A]2+[VN,A]2+h.c.+0se-tA[[K,A]2,A]+[[VN,A]2,A]+h.c.etAdt.

We estimate the terms in the integral over t using Lemma 5.7. We conclude that

01e-sA[K,A]2+[VN,A]2+h.c.esAds=[K,A]2+[VN,A]2+h.c.+1N2p,qΛ+p+q0[(V^(·/N)η)p+(V^(·/N)η)p+q]ηpσq2ηq+p(q+p)2-2σq(p·q)p2+q2+(p+q)2+E[[HN,A],A] 5.48

where

±E[[HN,A],A]C(logN)1/2N(K+1)(N++1)2.

Furthermore, from (4.15) we have

|ξ,[VN,A]2ξ|CNK1/2ξ(N++1)ξ.

As for [K,A]2, from (4.14) we also have

|ξ,[K,A]2ξ|CNK1/2N+1/2ξK1/2ξ.

Combining (5.48) with (5.47), and (5.46), and using the definition of ηp=-Nδp,0+Nf^N,(p) we arrive at (5.45).

Proof of Theorem 2.6

We start from (2.30) in Theorem 2.4. We use Prop. 2.5 to estimate

±e-AEGNeAεN++CεN(HN+1)(N++1)3

Combining the expansion (2.30) for GN with Prop. 2.5 and with the results of Prop. 5.2, Prop. 5.4, Prop. 5.6 and Prop. 5.8, we conclude that

JN=CGN+1Np,q(V^(p/N)+V^((q+p)/N))ηpσq2+1Np,qΛ+p+q0[(V^(·/N)f^N,)p+(V^(·/N)f^N,)p+q]×ηpσq2ηq+p(q+p)2-2σq(p·q)p2+q2+(p+q)2+pΛ+|p|4+2(V^(·/N)f^N,)pp2apap+VN+E~JN 5.49

where, for every ε>0 (s.t. ε>C(logN)/N), we have

±E~JNεK+CN(logN)1/2+ε-1(HN+1)(N++1)4.

Notice here that the quadratic terms appearing on the second line of (2.30) cancel exactly the quadratic contribution arising from conjugation of the cubic term CGN (as determined in Prop. 5.6) and of the Hamiltonian HN (as determined in Prop. 5.45)1

To complete the proof of Theorem 2.6, we observe, first of all, that the terms on the second line of (5.49) produce, up to smaller errors, the terms on the second line of (2.38). To this end, we consider the difference

1Np,qΛ+p+q0[(V^(·/N)f^N,)p+(V^(·/N)f^N,)p+q][2ηq+pηp(σq-ηq)(q+p)2p2+q2+(p+q)2-2ηp(σq2-ηq2)(p·q)p2+q2+(p+q)2].

where we compare σq and σq2 with ηq and, respectively, ηq2. Using |σq-ηq|C|q|-4, the first contribution can be shown to be of order N-1. Also the second contribution, containing the factor p·q, is of order N-1; this can be proven proceeding similarly as we did after (5.23), switching p-p and using the Lipschitz continuity of V^ for |p|N.

Finally, we claim that the constant terms on the first line on the r.h.s. of (5.49) match, up to negligible errors, the terms on the first line on the r.h.s. of (2.38). To this end, we set (recall (2.27) for the definition of CGN)

CO(1)=CGN+1Np,qΛ+(V^(p/N)+V^((q+p)/N))ηpσq2=(N-1)2V^(0)+pΛ+[p2σp2+V^(p/N)σpγp+(V^(·/N)f^N)pσp2]+12NpΛ+V^((p-q)/N)σqγqσpγp+1NpΛ+(p2ηp2+12NV^·Nηpηp)

with γp=cosh(μp), σp=sinh(μp), and μp=ηp+τp. We now claim that

CO(1)=4πa(N-1)+eΛa2-12pΛ+[p2+8πa-|p|4+16πap2-(8πa)22p2]+O(N-1) 5.50

To show (5.50), we consider the following quantities, defined in terms of the kernel η:

C~JN=N-12V^(0)+pΛ+[p2sinh(ηp)2+V^(p/N)cosh(ηp)sinh(ηp)+(V^(·/N)f^N,)psinh(ηp)2]+12Np,qΛ+V^((p-q)/N)cosh(ηq)sinh(ηq)cosh(ηp)sinh(ηp)+1NpΛ+[p2ηp2+12N(V^(·/N)η)pηp]

and

F~p=p2(cosh(ηp)2+sinh(ηp)2)+(V^(·/N)f^N,)p(cosh(ηp)+sinh(ηp))2G~p=2p2cosh(ηp)sinh(ηp)+(V^(·/N)f^N,)p(cosh(ηp)+sinh(ηp))2.

In [5, Lemma 5.4 (i)] it was proven that

C~JN+12pΛ+(-F~p+F~p2-G~p2)=4πa(N-1)+eΛa2-12pΛ+[p2+8πa-|p|4+16πap2-(8πa)22p2]+O(N-1). 5.51

In fact, the statement in [5, Lemma 5.4 (i)] contains a larger remainder, of the order O(logN/N), emerging when controlling the difference

pΛ+[(V^(·/N)f^N,)p+p2-p4+2p2(V^(·/N)f^N,)p+12p2(V^(·/N)f^N,)p2-(V^(·/N)f^N,)0-p2+p4+2p2(V^(·/N)f^N,)0+12p2(V^(·/N)f^N,)02]. 5.52

We can however show that this remainder is indeed smaller, of the order O(N-1), consistently with (5.51). Taylor expansion of the square root easily implies that the whole square bracket is bounded, in absolute value, by C|p|-4. Hence, the sum over momenta |p|>N can be estimated by CN-1. To treat |p|N, we notice that the function

gp(x)=x-p21+2x/p2-x2/(2p2)

has derivative

gp(x)=1-(1+2x/p2)-1/2-x/p2

satisfying |gp(x)|Cx2/|p|4 (as it follows again by expansion of the square root). This implies that |gp(x)-gp(y)|C|x-y|/|p|4, for all xy varying in a bounded interval. Estimating

|(V^(·/N)f^N,)p-(V^(·/N)f^N,)0||N3ΛdxV(Nx)fN,(x)(e-ip·x-1)|Cp2/N2 5.53

since ΛxV(x)fN,(x)dx=0 by symmetry, we conclude that the bracket in (5.52) is bounded, in absolute value, by C/p2N2. Thus, the sum over all |p|<N can also be estimated by C/N.

From (5.51), it follows that, in order to show (5.50), it is enough to prove that

CO(1)=C~JN+12pΛ+[-F~p+F~p2-G~p2]+O(N-1) 5.54

To this end, we consider

CO(1)-C~JN=pΛ+[(p2+(V^(·/N)f^N,)p)(σp2-sinh(ηp)2)+V^(p/N)(γpσp-cosh(ηp)sinh(ηp))+12NqΛ+V^((p-q)/N)(γqσqγpσp-cosh(ηp)sinh(ηp)cosh(ηq)sinh(ηq))]. 5.55

Let us separately manipulate the three main contributions to the sum in the right hand side. Through elementary identities we find

σp2-sinh(ηp)2=12sinh(2ηp)sinh(2τp)+sinh2(τp)cosh(2ηp)=12sinh(2ηp)sinh(2τp)+12cosh(2ηp)(cosh(2τp)-1),

and therefore the first contribution to the right hand side of (5.55) is

pΛ+(p2+(V^(·/N)f^N,)p)(σp2-sinh(ηp)2)=12pΛ+(p2+(V^(·/N)f^N,)p)[sinh(2ηp)sinh(2τp)+cosh(2ηp)(cosh(2τp)-1)]. 5.56

In a similar way we rewrite the second contribution as

pΛ+V^(p/N)(γpσp-cosh(ηp)sinh(ηp))=12pΛ+V^(p/N)[sinh(2τp)cosh(2ηp)+sinh(2ηp)(cosh(2τp)-1)]. 5.57

In order to rearrange the third contribution to the right hand side of (5.55), notice that

4γqσqγpσp=sinh(2ηq)cosh(2τq)sinh(2ηp)cosh(2τp)+sinh(2τq)cosh(2ηq)cosh(2ηp)sinh(2τp)+sinh(2ηq)cosh(2τq)cosh(2ηp)sinh(2τp)+cosh(2ηq)sinh(2τq)sinh(2ηp)cosh(2τp)

Since |τp|C|p|-4, the second term on the r.h.s. (containing sinh(2τq)sinh(2τp)) yields a contribution bounded by CN-1 when inserted in the sum over pq in (5.55). Using the estimate |sinh(2ηp)cosh(2τp)-2ηp|C|p|-6 to handle the last two terms (they give the same contribution), decomposing cosh(2τp)=1+(cosh(2τp)-1) and similarly for cosh(2τq) and subtracting the terms cosh(ηp)sinh(ηp)cosh(ηq)sinh(ηq)=(1/4)sinh(2ηp)sinh(2ηq), we find (adding also a negligible term proportional to η0)

12Np,qΛ+V^((p-q)/N)(γqσqγpσp-cosh(ηp)sinh(ηp)cosh(ηq)sinh(ηq))=12NpΛ+(V^(·/N)η)p[sinh(2τp)cosh(2ηp)+sinh(2ηp)(cosh(2τp)-1)]+O(N-1). 5.58

Plugging (5.56), (5.57), and (5.58) into the right hand side of (5.55), the terms with a minus sign recombine into

-12(p2+(V^(·/N)f^N,)p)cosh(2ηp)-12(V^(·/N)f^N,)psinh(2ηp)=-F~p2.

As already discussed in (3.31), the other terms produce

12(p2+(V^(·/N)f^N,)p)[sinh(2ηp)sinh(2τp)+cosh(2ηp)cosh(2τp)]+12(V^(·/N)f^N,)p[sinh(2τp)cosh(2ηp)+sinh(2ηp)cosh(2τp)]=12p4+2p2(V^(·/N)f^N,)p=12F~p-G~p.

This concludes the proof of (5.54).

To conclude the proof of Theorem 2.6, we observe now that, combining Lemma 2.1 and (5.53), we find

|(V^(·/N)f^N,)p-8πa|C|p|/N

This allows us to replace the dispersion of the term on the third line of (5.49) with (|p|4+16πap2)1/2, since

±pΛ+[|p|4+2(V^(·/N)f^N,)pp2-|p|4+16πap2]apapCNK.

can be absorbed in the error.

Acknowledgements

We would like to thank the two anonymous referees for carefully reading our paper and suggesting several improvements. We gratefully acknowledge partial support from the Swiss National Science Foundation through the Grant “Dynamical and energetic properties of Bose–Einstein condensates”, from the NCCR SwissMAP and from the European Research Council through the ERC-AdG CLaQS. C.C. and A.O. acknowledge support from the GNFM Gruppo Nazionale per la Fisica Matematica - INDAM. A.O. acknowledges support from MUR through the grant “Dipartimento di Eccellenza 2023-2027” of Dipartimento di Matematica, Politecnico di Milano.

Bound for d-Operators

In this section we prove Lemma 3.3, without any assumptions on the smallness of the 2-norm of the kernel of the Bogoliubov transformation. We start by proving the following Lemma

Lemma A.1

Let Bμ be defined as in (2.24). Then there exists C>0 such that the following bounds hold true:

(N++1)n/2apesBμξC[(N++1)n/2apξ+|μp|(N++1)(n+1)/2ξ] A.1
(N++1)n/2aˇxesBμξC[(N++1)n/2aˇxξ+(N++1)n+1/2ξ] A.2
(N++1)n/2apaqesBμξC[(N++1)n/2apaqξ+|μq|(N++1)(n+1)/2apξ+|μp|(N++1)(n+1)/2aqξ+δp,-q|μp|(N++1)(n+3)/2ξ] A.3
(N++1)n/2aˇxaˇyesBμξC[(N++1)n/2aˇxaˇyξ+|μˇ(x-y)|(N++1)n/2ξ+(N++1)n+1/2aˇxξ+(N++1)n+1/2aˇyξ] A.4

for any pΛ+, any x,yΛ, and ξFN.

Proof

The bounds (A.1)–(A.4) can all be shown using Gronwall’s Lemma. We focus on (A.1); the other estimates can be proven similarly. We consider

dds(N++1)n/2apesBμξ2=ξ,e-sBμ[N+n,Bμ]apapesBμξ+ξ,e-sBμN+n[apap,Bμ]esBμξ=K1+K2. A.5

With the commutation relation (2.2), we find

|K2|=|ξ,e-sBμN+n(μpbpb-p+h.c.)esBμξ|C|μp|(N++1)n/2apesBμξ(N++1)(n+1)/2ξC(N++1)n/2apesBμξ2+C|μp|2(N++1)(n+1)/2ξ2 A.6

Now we consider K1. We find

[N+n,Bμ]=12qΛ+μqbqb-q[(N++2)n-N+n]+h.c. A.7

Therefore

|K1|CqΛ+|μq|b-qbq(N++1)n/2-1apesBμξ×(N++1)-n/2+1[(N++3)n-(N++1)n]apesBμξC(N++1)n/2apesBμξ2

Inserting the last equation and (A.6) in (A.5) and applying Gronwall’s Lemma, we obtain the desired bound.

With Lemma A.1, we are now ready to show Lemma 3.3.

Proof of Lemma 3.3

We start with the first bound in Eq. (3.5). From (3.4), we find

(N++1)n/2dpξCN01ds[|μp|(N++1)(n+3)/2e(1-s)Bμξ+qΛ+μq(N++1)n/2bqa-qape(1-s)Bμξ+|σp(s)|qΛ+μq(N++1)n/2a-pa-qbqe(1-s)Bμξ].

Observing that |σp(s)|C|μp| and that

qΛ+μq(N++1)n/2bqa-qape(1-s)Bμξ(N++1)(n+2)/2ape(1-s)BμξqΛ+μq(N++1)n/2a-pa-qbqe(1-s)Bμξ(N++1)(n+3)/2e(1-s)Bμξ A.8

we conclude, with the help of (3.1) and Lemma A.1, that

(N++1)n/2dpξCN[|μp|(N++1)(n+3)/2ξ+(N++1)(n+2)/2apξ]

The second estimate in (3.5) follows similarly (it is simpler, because we do not need to extract factors decaying in p). Let us now consider the third bound in (3.5). We proceed as above, applying (3.4). We find

(N++1)n/2apdqξCN01ds[|μq|(N++1)(n+2)/2apb-qe(1-s)Bμξ+rΛ+μr(N++1)n/2apbra-raqe(1-s)Bμξ+|σq(s)||μq|(N++1)(n+2)/2apbqe(1-s)Bμξ+|σq(s)|rΛ+μr(N++1)n/2apa-qa-rbre(1-s)Bμξ]

Commuting ap to the right of all creation operators, proceeding as in (A.8) to bound the terms in the second and fourth line and applying Lemma A.1, we conclude that

(N++1)n/2apdqξCN[|μq|(N++1)(n+3)/2apξ+|μp|(N++1)(n+3)/2aqξ+δp,-q(N++1)(n+3)/2ξ+(N++1)(n+2)/2apaqξ+|μp||μq|(N++1)(n+4)/2ξ].

Also the fourth estimate in (3.5) can be shown analogously. To prove (3.6), we rewrite (3.4) in position space. We obtain

dˇx=-1N01dse-(1-s)Bμ[dzγˇ(x-z)(N+b(ηˇz)+drdsηˇ(r-s)bˇsaˇraˇz)+dzσˇ(x-z)(b(ηˇz)N++drdsηˇ(r-s)aˇzaˇrbˇs)]e(1-s)Bμ.

With the last identity, we can show the first two bounds in (3.6) similarly as we did above for the estimates in (3.5). The third bound in (3.6) follows directly from the first two (applying the first bound to ξ=dˇyξ, and then the first and the second bound to the vector ξ).

A-Priori Bounds: Proof of Proposition 2.3

Proof

It follows from [5, Proposition 4.1] that for every kN there exists C>0 such that

ξN,(K+1)(N++1)kξNC. B.1

for ξN=e-BηUNψN. We are going to show that the same bounds hold true, if we replace ξN with ξN=e-BμUNψN=e-BμeBηξN. Since VNCKN+ (see [5, Lemma 6.2]), this will conclude the proof of Prop. 2.3. From (3.1) and from the corresponding bound for Bη, it follows immediately that

ξN,(N++1)kξNC

Thus, we focus on the expectation of K(N++1)k. For s(0;1), we compute

ddsξN,e-sBηesBμK(N++1)ke-sBμesBηξN=-ξs,[K(N++1)k,Bμ]ξs+ξs,[K(N++1)k,e-sBμBηesBμ]ξs

where we defined ξs=e-sBμesBηξN. Using (3.3), we write

e-sBμBηesBμ=Bη+J

where

J=qΛ+ηqdq(s)(γ-q(s)b-q+σq(s)bq+d-q(s))+qΛ+ηq(γq(s)bq+σq(s)b-q)d-q(s)-h.c..

Therefore,

ddsξs,K(N++1)kξs=ξs,[K,Bη-Bμ](N++1)kξs+ξs,K[(N++1)k,Bη-Bμ]ξs+ξs,[K(N++1)k,J]ξs. B.2

With (2.21), we have

|ξs,[K,Bη-Bμ](N++1)kξs|=2|pΛ+p2τpξs,bpb-p(N++1)kξs|Cξs,(N++1)k+1ξsCξN,(N++1)k+1ξNC

where we applied (3.1) and then (B.1). Using (A.7), we can bound the second term on the r.h.s. of (B.2) by

|ξs,K[(N++1)k,Bη-Bμ]ξs|CpΛ+p2|τq||ξs,apapbqb-q[(N++3)k-(N++1)k]ξs|Cξs,K(N++1)kξs.

We now focus on the last term on the r.h.s. of (B.2). Using J=-J, we have

|ξs,[K(N++1)k,J]ξs|2|ξs,K(N++1)kJξs|2(|J1|+|J2|+|J3|)

where we defined

J1=qΛ+ηqξs,K(N++1)k(γq(s)(b-qdq(s)+dq(s)b-q)+σq(s)(bqdq(s)+dq(s)bq))ξsJ2=qΛ+ηqξs,(γq(s)(b-qdq(s)+dq(s)b-q)+σq(s)(bqdq(s)+dq(s)bq))K(N++1)kξsJ3=qΛ+ηqξs,K(N++1)k(dq(s)d-q(s)+dq(s)d-q(s))ξs

We first consider J1. Making use of the third bound in (3.5), the first contribution to J1 is estimated in absolute value by

p,qΛ+p2|ηq|apξsap(N++1)k+1/2dq(s)ξsCNp,qΛ+p2|ηq|apξs(|μp|(N++1)k+2aqξs+|μq|(N++1)k+2apξs+|μp||μq|(N++1)k+5/2ξs+(N++1)k+3/2apaqξs+|ηp|δp,q(N++1)k+3/2ξs)CNξs,K(N++1)2k+4ξs+Cξs,(N++1)2k+5ξsC

where we used (B.1) after applying (3.2), (3.1), to control the growth of moments of N+ and of K w.r.t. the action of Bη and Bμ. The other contributions to J1 can be bounded similarly. Also J3 can be bounded using the estimates in (3.5); we skip the details. As for the term J2, the contributions proportional to σq(s) can be bounded using the fourth bound in (3.5). The second contribution proportional to γq(s), on the other hand, can be estimated after normal ordering by

p,qΛ+p2|ηq|apdq(s)ξsapb-q(N++1)kξs+pΛ+p2|ηp|dp(s)ξsap(N++1)kξsCNξs,K(N++1)2k+1ξs+CNξs,K(N++1)3ξs+Cξs,(N++1)4ξsC

where we applied again the fourth bound in (3.5). Finally, let us consider the first contribution to J2. Using the expansion (3.4), we find

|qΛ+ηqγq(s)ξs,b-qdq(s)K(N++1)kξs|CN01dτp,qΛ+p2|ηq||ξs,b-qe-(1-τ)sBμ[γq(τ)(μqN+b-q+rΛ+μrbra-raq)+σq(τ)(μqN+bq+rΛ+μra-qa-rbr)]e(1-τ)sBμapap(N++1)kξs|. B.3

With (A.1), (3.1), (3.2) and, again, (B.1), the first term is bounded by

CN01dτp,qΛ+p2|ηq||μq|ape-(1-τ)sBμb-qN+e(1-τ)sBμb-qξsap(N++1)kξsCNp,qΛ+p2|ηq||μq|ap(N++1)kξs(|μp|(N++1)5/2ξs+(N++1)2apξs+δp,-q(N++1)3/2ξs)CNξs,K(N++1)2kξs+CNξs,K(N++1)4ξs+Cξs,(N++1)5ξsC.

The contributions on the r.h.s. of (B.3) that are proportional to σq(τ) can be handled similarly, using also the estimate

(N++1)nrΛ+μrbra-rξC(N++1)n+1ξ

As for the second term proportional to γq(τ) on the r.h.s. of (B.3), we write a-raq=b-rbq+N-1a-r(N+-1)aq and we observe that the contribution associated with the error N-1a-r(N++1)aq is negligible (it can be bounded through Cauchy-Schwarz). The contribution associated with b-rbq, on the other hand, can be estimated using (3.3) by

CN01dτp,q,rΛ+p2|ηq||μr||ξs,b-qe-(1-τ)sBμbrb-re(1-τ)sBμ(γq((1-τ)s)bq+σq((1-τ)s)b-q+dq((1-τ)s))apap(N++1)kξs|.

The term proportional to γq((1-τ)s) is bounded by

CN01dτp,q,rΛ+p2|ηq||μr|ape-(1-τ)sBμbrb-re(1-τ)sBμb-qξsbqap(N++1)kξs+p,rΛ+p2|ηp||μr|brb-re(1-τ)sBμb-pξsap(N++1)kξsCNξs,K(N++1)2k+1ξs+CNξs,K(N++1)3ξs+ξs,(N++1)4ξsC

where we used (A.1), (3.1), (3.2) and (B.1). The term proportional to σq((1-τ)s) can be handled analogously. As for the contribution proportional to dq((1-τ)s), we can apply the fourth bound in (3.5) to conclude that

CN201dτp,q,rΛ+p2|ηq||μr|ap(N++1)k×[(N++1)3/2ape-(1-τ)sBμbrb-re(1-τ)sBμb-qξs+|μp|(N++1)2e-(1-τ)sBμbrb-re(1-τ)sBμb-qξs+δp,-q(N++1)e-(1-τ)sBμbrb-re(1-τ)sBμb-qξs]CNξs,K(N++1)2kξs+CNξs,K(N++1)6ξs+ξs,(N++1)7ξsC

using again (A.1) (twice, in the first term in the parenthesis, to pass ap through the unitary operators e±(1-τ)sBμ), (3.1) (in the second and third terms, to pass powers of (N++1) through the unitary operators), (3.2) and (B.1). Combining all bounds, we arrive at

|ddsξs,K(N++1)kξs|Cξs,K(N++1)kξs+C

and the claim follows from Gronwall’s Lemma.

Funding

Open access funding provided by University of Geneva.

Data availability statement

This manuscript has no associated data.

Declarations

Conflict of interest

All authors declare that they have no Conflict of interest.

Footnotes

1

Roughly speaking, the goal of conjugation with exp(A) is to eliminate the cubic term CGN appearing in the expression (2.30) for GN. To reach this goal, we require that, in an appropriate sense, [HN,A]-CGN. But then, [[HN,A],A]-[CGN,A], which implies that e-AHNeAHN-CGN-[CGN,A]/2 and therefore that e-A(HN+CGN)eAHN+[CGN,A]/2. Since CGN and A are both cubic in (modified) creation and annihilation operators, [CGN,A]/2 is, to leading order, quartic. Arranging it in normal order, we generate quadratic terms (cancelling the quadratic operator on the second line of (2.30)) and constant terms (correcting the ground state energy).

Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

References

  • 1.Adhikari, A., Brennecke, C., Schlein, B.: Bose–Einstein condensation beyond the Gross–Pitaevskii regime. Ann. Henri Poincaré 22, 1163–1233 (2021) [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 2.Basti, G., Cenatiempo, S., Giuliani, A., Olgiati, A., Pasqualetti, G., Schlein, B.: Upper bound for the ground state energy of a dilute Bose gas of hard spheres. Arch. Ration. Mech. Anal 248(100) (2024) [DOI] [PMC free article] [PubMed]
  • 3.Basti, G., Cenatiempo, S., Olgiati, A., Pasqualetti, G., Schlein, B.: A second order upper bound for the ground state energy of a hard-sphere gas in the Gross–Pitaevskii regime. Commun. Math. Phys. 399, 1–55 (2023) [Google Scholar]
  • 4.Basti, G., Cenatiempo, S., Schlein, B.: A new second-order upper bound for the ground state energy of dilute Bose gases. Forum Math. Sigma 9, e74 (2021) [Google Scholar]
  • 5.Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: Bogoliubov theory in the Gross–Pitaevskii limit. Acta Math. 222(2), 219–335 (2019) [Google Scholar]
  • 6.Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: Optimal rate for Bose–Einstein condensation in the Gross–Pitaevskii regime. Commun. Math. Phys. 376, 1311–1395 (2020) [Google Scholar]
  • 7.Boccato, C., Deuchert, A., Stocker, D.: Upper bound for the grand canonical free energy of the Bose gas in the Gross–Pitaevskii limit. SIAM Journal on Mathematical Analysis 56 (2024)
  • 8.Bogoliubov, N.N.: On the theory of superfluidity. Izv. Akad. Nauk. USSR 11, 77 (1947). Engl. Transl. J. Phys. (USSR) 11, 23 (1947)
  • 9.Bossmann, L., Leopold, N., Petrat, S., Rademacher, S.: Ground state of Bose gases interacting through singular potentials. Preprint arXiv:2309.12233
  • 10.Bossmann, L., Petrat, S., Seiringer, R.: Asymptotic expansion of the low-energy excitations for weakly interacting bosons. Forum Math. Sigma 9, 1–61 (2021) [Google Scholar]
  • 11.Brennecke, C., Brooks, M., Caraci, C., Oldenburg, J.: A short proof of Bose–Einstein condensation in the Gross–Pitaevskii regime and beyond. In: Annales Henri Poincaré, pp. 1–21. (2024) [DOI] [PMC free article] [PubMed]
  • 12.Brennecke, C., Caporaletti, M., Schlein, B.: Excitation spectrum for Bose gases beyond the Gross–Pitaevskii regime. Rev. Math. Phys. 34(09), 2250027 (2022) [Google Scholar]
  • 13.Brennecke, C., Schlein, B.: Gross–Pitaevskii dynamics for Bose–Einstein condensates. Anal. PDE 12(6), 1513–1596 (2019) [Google Scholar]
  • 14.Brennecke, C., Schlein, B., Schraven, S.: Bose–Einstein condensation with optimal rate for trapped bosons in the Gross–Pitaevskii regime. Math. Phys. Anal. Geom. 25(2), 12 (2022) [Google Scholar]
  • 15.Brennecke, C., Schlein, B., Schraven, S.: Bogoliubov theory for trapped bosons in the Gross–Pitaevskii regime. In: Annales Henri Poincaré (2022) [DOI] [PMC free article] [PubMed]
  • 16.Brooks, M.: Diagonalizing Bose Gases in the Gross–Pitaevskii regime and beyond. Commun. Math. Phys. 406(1), 1–59 (2025) [DOI] [PMC free article] [PubMed]
  • 17.Caporaletti, M., Deuchert, A.: Upper bound for the grand canonical free energy of the Bose gas in the Gross–Pitaevskii limit for general interaction potentials. Annales Henri Poincaré (2024)
  • 18.Caraci, C., Cenatiempo, S., Schlein, B.: Bose–Einstein condensation for two dimensional bosons in the Gross–Pitaevskii regime. J. Stat. Phys. 183(3), 39 (2021) [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 19.Caraci, C., Cenatiempo, S., Schlein, B.: The excitation spectrum of two dimensional Bose gases in the Gross–Pitaevskii regime. In: Annales Henri Poincaré, pp. 1–52 (2023) [DOI] [PMC free article] [PubMed]
  • 20.Deuchert, A., Seiringer, R.: Gross–Pitaevskii limit of a homogeneous Bose gas at positive temperature. Arch. Rat. Mech. Ann. 236, 1217 (2020) [Google Scholar]
  • 21.Dyson, F.J.: Ground-state energy of a hard-sphere gas. Phys. Rev. 106, 20–26 (1957) [Google Scholar]
  • 22.Fournais, S., Solovej, J.P.: The energy of dilute Bose gases. Ann. Math. 192, 893–976 (2020) [Google Scholar]
  • 23.Fournais, S., Solovej, J.P.: The energy of dilute Bose gases II: the general case. Inv. Math. 232(2), 863–994 (2023) [Google Scholar]
  • 24.Haberberger, F., Hainzl, C., Nam, P.T., Seiringer, R., Triay, A.: The free energy of dilute Bose gases at low temperatures. Preprint arXiv:2304.02405
  • 25.Hainzl, C., Schlein, B., Triay, A.: Bogoliubov theory in the Gross–Pitaevskii limit: a simplified approach. Forum Math. Sigma 10, e90 (2022) [Google Scholar]
  • 26.Hugenholtz, N.M., Pines, D.: Ground-state energy and excitation syectrum of a system of interacting bosons. Phys. Rev. 116(3), 489–506 (1959) [Google Scholar]
  • 27.Lee, T.D., Huang, K., Yang, C.N.: Eigenvalues and eigenfunctions of a Bose system of hard spheres and its low-temperature properties. Phys. Rev. 106(6), 1135–1145 (1957) [Google Scholar]
  • 28.Lieb, E.H., Seiringer, R.: Proof of Bose–Einstein condensation for dilute trapped gases. Phys. Rev. Lett. 88, 170409 (2002) [DOI] [PubMed] [Google Scholar]
  • 29.Lieb, E.H., Seiringer, R., Yngvason, J.: Bosons in a trap: a rigorous derivation of the Gross–Pitaevskii energy functional. Phys. Rev. A 61, 043602 (2000) [Google Scholar]
  • 30.Lieb, E.H., Seiringer, R.: Derivation of the Gross–Pitaevskii equation for rotating Bose gases. Commun. Math. Phys. 264, 505–537 (2006) [Google Scholar]
  • 31.Lieb, E.H., Yngvason, J.: Ground state energy of the low density Bose gas. Phys. Rev. Lett. 80, 2504–2507 (1998) [Google Scholar]
  • 32.Nam, P.T., Napiórkowski, M.: Two-term expansion of the ground state one-body density matrix of a mean-field Bose gas. Calc. Var. PDE 60, 99 (2021) [Google Scholar]
  • 33.Nam, P.T., Napiórkowski, M., Ricaud, J., Triay, A.: Optimal rate of condensation for trapped bosons in the Gross–Pitaevskii regime. Anal. PDE 15(6), 1585–1616 (2022) [Google Scholar]
  • 34.Nam, P.T., Rougerie, N., Seiringer, R.: Ground states of large bosonic systems: the Gross–Pitaevskii limit revisited. Anal. PDE 9(2), 459–485 (2016) [Google Scholar]
  • 35.Nam, P.T., Triay, A.: Bogoliubov excitation spectrum of trapped Bose gases in the Gross–Pitaevskii regime. J. de Math. Pur. App. 176, 18–101 (2023) [Google Scholar]
  • 36.Pizzo, A.: Bose particles in a box III. A convergent expansion of the ground state of the Hamiltonian in the mean field limiting regime. Preprint arXiv:1511.07026
  • 37.Sawada, K.: Ground-state energy of Bose–Einstein gas with repulsive interaction. Phys. Rev. 116(6), 1344–1358 (1959) [Google Scholar]
  • 38.Wu, T.T.: Ground state of a Bose system of hard spheres. Phys. Rev. 115(6), 1390–1404 (1959) [Google Scholar]
  • 39.Yau, H.-T., Yin, J.: The second order upper bound for the ground state energy of a Bose gas. J. Stat. Phys. 136(3), 453–503 (2009) [Google Scholar]

Associated Data

This section collects any data citations, data availability statements, or supplementary materials included in this article.

Data Availability Statement

This manuscript has no associated data.


Articles from Communications in Mathematical Physics are provided here courtesy of Springer

RESOURCES