Skip to main content
Springer logoLink to Springer
. 2020 Dec 26;22(4):1163–1233. doi: 10.1007/s00023-020-01004-1

Bose–Einstein Condensation Beyond the Gross–Pitaevskii Regime

Arka Adhikari 1, Christian Brennecke 1, Benjamin Schlein 2,
PMCID: PMC7956940  PMID: 33786012

Abstract

We consider N bosons in a box with volume one, interacting through a two-body potential with scattering length of the order N-1+κ, for κ>0. Assuming that κ(0;1/43), we show that low-energy states exhibit Bose–Einstein condensation and we provide bounds on the expectation and on higher moments of the number of excitations.

Introduction

We consider systems of NN bosons trapped in the box Λ=[0;1]3 with periodic boundary conditions (the three-dimensional torus with volume one) and interacting through a repulsive potential with scattering length of the order N-1+κ, for κ(0;1/43). We are interested in the limit of large N. The Hamilton operator has the form

HN=i=1N-Δxi+1i<jNN2-2κV(N1-κ(xi-xj)) 1.1

and acts on a dense subspace of Ls2(ΛN), the Hilbert space consisting of functions in L2(ΛN) that are invariant with respect to permutations of the NN particles. Here, we assume the interaction potential VL3(R3) to have compact support and to be nonnegative, ie. V(x)0 for almost all xR3.

For κ=0, the Hamilton operator (1.1) describes bosons in the so-called Gross–Pitaevskii limit. This regime is frequently used to model trapped Bose gases observed in recent experiments. Another important regime is the thermodynamic limit, where N bosons interacting through a fixed potential V (independent of N) are trapped in the box ΛL=[0;L]3 and where the limits N,L are taken, keeping the density ρ=N/L3 fixed. After rescaling lengths (introducing new coordinates x=x/L), the Hamilton operator of the Bose gas in the thermodynamic limit is given (up to a multiplicative constant) by (1.1), with κ=2/3. Choosing 0<κ<2/3, we are interpolating therefore between the Gross–Pitaevskii and the thermodynamic limits.

The goal of this paper is to show that low-energy states of (1.1) exhibit Bose–Einstein condensation in the zero-momentum mode φ0L2(Λ) defined by φ0(x)=1 for all xΛ and to give bounds on the number of excitations of the condensate. To achieve this goal, it is convenient to switch to an equivalent representation of the bosonic system, removing the condensate and focusing instead on its orthogonal excitations. To this end, we notice that every ψNLs2(ΛN) can be uniquely decomposed as

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

where s denotes the symmetric tensor product and αjL2(Λ)sj for all j=0,,N, with L2(Λ) the orthogonal complement in L2(Λ) of φ0. This observation allows us to define a unitary map UN:Ls2(ΛN)F+N=j=0NL2(Λ)sj by setting

UNψN={α0,α1,,αN}. 1.2

The truncated Fock space F+N=j=0NL2(Λ)sj is used to describe orthogonal excitations of the condensate (some properties of the map UN will be discussed in Sect. 2 below). On F+N, we introduce the number of particles operator, defining (N+ξ)(n)=nξ(n) for every ξ={ξ(0),ξ(N)}F+N.

We are now ready to state our main theorem, which provides estimates of the expectation and on higher moments of the number of orthogonal excitations of the Bose–Einstein condensate for low-energy states of (1.1).

Theorem 1.1

Let VL3(R3) be pointwise nonnegative and spherically symmetric. Let a0>0 denote the scattering length of V. Let HN be defined as in (1.1) with 0<κ<1/43. Then, for every ε>0, there exists a constant C>0 such that

|EN-4πa0N1+κ|CN43κ+ε. 1.3

for all NN large enough.

Let ψNLs2(ΛN) with ψN=1 and

ψN,(HN-EN)2ψNζ2, 1.4

for a ζ>0. Then, for every ε>0 there exists a constant C>0 such that

UNψN,N+UNψNCζ+ζ2N13κ+ε-1+N43κ+4ε 1.5

for all NN large enough. If moreover ψN=χ(HNEN+ζ)ψN, then for all kN and all ε>0 there exists C>0 such that

UNψN,N+kUNψNCN20κ+εζ2+N44κ+2εk 1.6

for all NN large enough.

The convergence EN/4πa0N1+κ1, as N, has been first established, for Bose gases trapped by an external potential, in [19] (the choice κ>0 corresponds, in the terminology of [19], to the Thomas–Fermi limit).

It follows from (1.5) that the one-particle density matrix γN=tr2,,N|ψNψN| associated with a normalized ψNLs2(ΛN) satisfying (1.4) is such that

1-φ0,γNφ0=1NN-ψN,a(φ0)a(φ0)ψN=1NUNψN,N+UNψNCζN-1+ζ2N13κ+ε-2+N43κ+4ε-1 1.7

as N. Here, we used the formula UNa(φ0)a(φ0)UN=N-N+; see (2.5). Equation (1.7) implies that low-energy states of (1.1) exhibit complete Bose–Einstein condensation, if κ<1/43.

We remark that the estimate (1.6) follows, in our analysis, from a stronger bound controlling not only the number but also the energy of the excitations of the condensate. As we will explain in Sect. 3, in order to estimate the energy of excitations in low-energy states, we first need to remove (at least part of) their correlations. If we choose, as we do in (1.6), ψNLs2(ΛN) with ψN=1 and ψN=χ(HNEN+ζ)ψN, we can introduce the corresponding renormalized excitation vector ξN=eBUNψNF+N, with the antisymmetric operator B defined as in (3.21) (the unitary operator eB will be referred to as a generalized Bogoliubov transformation). We will show in Sect. 6 that for every kN, there exists C>0 such that

ξN,(HN+1)(N++1)2kξNCN20κ+εζ2+N44κ+2ε2k+1 1.8

for all N large enough. Here HN=K+VN, where

K=pΛ+p2apap,andVN=12Np,qΛ+,rΛ:r-p,-qNκV^(r/N1-κ)ap+raqaq+rap 1.9

are the kinetic and potential energy operators, restricted to F+N. (Here, V^ is the Fourier transform of the potential V, defined as in (2.4).) Equation (1.6) follows then from (1.8), because N+ commutes with HN, N+KHN and because conjugation with the generalized Bogoliubov transformation eB does not change the number of particles substantially; see Lemma 3.2 (for kN even, we also use simple interpolation).

In the Gross–Pitaevskii regime corresponding to κ=0 the convergence γN|φ0φ0| has been first established in [1618] and later, using a different approach, in [21].1 In this case (ie. κ=0), the bounds (1.3), (1.5) and (1.6) with ε=0 (which are optimal in their N-dependence) have been shown in [4]. Previously, they have been established in [2], under the additional assumption of small potential. A simpler proof of the results of [2], extended also to systems of bosons trapped by an external potential, has been recently given in [20]. The result of [4] was used in [3] to determine the second order corrections to the ground state energy and the low-energy excitation spectrum of the Bose gas in the Gross–Pitaevskii regime. Note that our approach in the present paper could be easily extended to the case κ=0, leading to the same bounds obtained in [4]. We exclude the case κ=0 because we would have to modify certain definitions, making the notation more complicated (for example, the sets PH in (3.14) and PL in (4.2) would have to be defined in terms of cutoffs independent of N).

The methods of [1618] can also be extended to show Bose–Einstein condensation for low-energy states of (1.1), for some κ>0. In fact, following the proof of [18, Theorem 5.1], it is possible to show that for a normalized ψNLs2(ΛN) with ψN=1 and such that ψN,HNψNEN+ζ, the expectation of the number of excitations is bounded by

UNψN,N+UNψNCN15+20κ17+ζ 1.10

which implies complete Bose–Einstein condensation for low-energy states, for all κ<1/10. For sufficiently small κ>0, Theorem 1.1 improves (1.10) because it gives a better rate2 (if κ<15/711) and because, through (1.6), it also provides (under stronger conditions on ψN) bounds for higher moments of the number of excitations N+.

In [10], in a slightly different setting, the authors obtain a bound of the form (1.6) for k=1, for the choice κ=1/(55+1/3) (for normalized ψNLs2(ΛN) that satisfy ψN,HNψNEN+ζ). They use this result to show a lower bound on the ground state energy of the dilute Bose gas in the thermodynamic limit matching the prediction of Lee–Yang and Lee–Huang–Yang [13, 14].

After completion of our work, two more papers have appeared whose results are related with Theorem 1.1. Based on localization arguments from [8, 10], a bound for the expectation of N+ in low-energy states has been shown in [9], establishing Bose–Einstein condensation for all κ<2/5 (as pointed out there, using a refined analysis similar to that of [10], the range of κ can be slightly improved). On the other hand, following an approach similar to [2], but with substantial simplifications (partly due to the fact that the author works in the grand canonical, rather than the canonical, ensemble), a new proof of Bose–Einstein condensation was obtained in [11], in the Gross–Pitaevskii regime, under the assumption of small potential. There is hope that the approach of [11] can be extended beyond the Gross–Pitaevskii regime, providing a simplified proof of Theorem 1.1, potentially allowing for larger values of κ.

The derivation of the bounds (1.5), (1.6), (1.8) is crucial to resolve the low-energy spectrum of the Hamiltonian (1.1). The extension of estimates on the ground state energy and on the excitation spectrum obtained in [3] for the Gross–Pitaevskii limit, to regimes with κ>0 small enough will be addressed in a separate paper [6], using the results of Theorem 1.1. With our techniques, it does not seem possible to obtain such precise information on the spectrum of (1.1) using only previously available bounds like (1.10).

Let us now briefly explain the strategy we use to prove Theorem 1.1. The first part of our analysis follows closely [4]. We start in Sect. 2 by introducing the excitation Hamiltonian LN=UNHNUN, acting on the truncated Fock space F+N; the result is given in (2.6), (2.7). The vacuum expectation Ω,LNΩ=N1+κV^(0)/2 is still very far from the correct ground state energy of LN (and thus of HN); the difference is of order N1+κ. This is a consequence of the definition (1.2) of the unitary map UN, whose action removes products of the condensate wave function φ0, leaving however all correlations among particles in the wave functions αjL2(Λ)sj, j=1,,N.

To factor out correlations, we introduce in Sect. 3 a renormalized excitation Hamiltonian GN=e-BLNeB, defined through unitary conjugation of LN with a generalized Bogoliubov transformation eB. The antisymmetric operator B:F+NF+N is quadratic in the modified creation and annihilation operators bp,bp defined, for every momentum pΛ+=2πZ3\{0}, in (2.8) (bp creates a particle with momentum p annihilating, at the same time, a particle with momentum zero; in other words, bp creates an excitation, moving a particle out of the condensate). The properties of GN are listed in Prop. 3.3. In particular, Proposition 3.3 implies that to leading order, Ω,GNΩ4πa0N1+κ, if κ is small enough.

Unfortunately, GN is not coercive enough to prove directly that low-energy states exhibit condensation (in the sense that it is not clear how to estimate the difference between GN and its vacuum expectation from below by the number of particle operator N+). For this reason, in Sect. 4, we define yet another renormalized excitation Hamiltonian JN=e-AGNeA, where now A is the antisymmetric operator (4.1), cubic in (modified) creation and annihilation operators (to be more precise, we only conjugate the main part of GN with eA; see (4.3)). Important properties of JN are stated in Proposition 4.1. Up to negligible errors, the conjugation with eA completes the renormalization of quadratic and cubic terms; in (4.5), these terms have the same form they would have for particles interacting through a mean-field potential with Fourier transform 8πa0Nκ1(|p|<Nα), with a parameter α>0 that will be chosen small enough, depending on κ (in other words, the renormalization procedure allows us to replace, in all quadratic and cubic terms, the original interaction with Fourier transform N-1+κV^(p/N1-κ) decaying only for momenta |p|>N1-κ, with a potential whose Fourier transform already decays on scales NαN1-κ).

The main problem with JN is that its quartic terms (the restriction of the initial potential energy on the orthogonal complement of the condensate wave function) are still proportional to the local interaction with Fourier transform N-1+κV^(p/N1-κ).

One possibility to solve this problem is to neglect the original quartic terms (they are positive) and insert instead quartic terms proportional to the renormalized mean-field potential 8πa0Nκ1(|p|<Nα), so that Bose–Einstein condensation follows as it does for mean-field systems (see [22]). Since (with the notation χˇ for the inverse Fourier transform of the characteristic function on the ball of radius one)

8πa0NκN|r|<Nαap+raqaq+rap=8πa0N3α+κ-1χˇ(Nα(x-y))aˇxaˇyaˇyaˇxdxdyCN3α+κ-1N+2

and since we know from (1.10) that N+N15+20κ17 in low-energy states, the insertion of the renormalized quartic terms produces an error that can be controlled by localization in the number of particles, if

3α+κ-1+15+20κ17=3α+3717κ-217<0

This strategy was used in [4] to prove Bose–Einstein condensation with optimal rate in the Gross–Pitaevskii regime κ=0 (in this case, one can choose α=0).

Here, we follow a different approach. We perform a last renormalization step, conjugating JN through a unitary operator eD, with D quartic in creation and annihilation operators. This leads to a new Hamiltonian MN=e-DJNeD (in fact, it is more convenient to conjugate only the main part of JN, ignoring small contributions that can be controlled by other means; see (5.5)), where the original interaction N-1+κV^(p/N1-κ) is replaced by the mean-field potential 8πa0Nκ1(|p|<Nα) in all relevant terms.3 Condensation can then be shown as it is done for mean-field systems, with no need for localization. This is the main novelty of our analysis, compared with [4]. In Sect. 5, we define the final Hamiltonian MN and in Proposition 5.1 we bound it from below. The proof of Proposition 5.1, which is technically the main part of our paper, is deferred to Sect. 7. In Sect. 6, we combine the results of the previous sections to conclude the proof of Theorem 1.1.

The results we prove with our new technique are stronger than what we would obtain using the approach of [4] in the sense that they allow for larger values of κ and better rates. More importantly, we believe that the approach we propose here is more natural and that it leaves more space for extensions. In particular, with the final quartic renormalization step, we map the original Hamilton operator (1.1), with an interaction varying on momenta of order N1-κ, into a new Hamiltonian having the same form, but now with an interaction restricted to momenta smaller than Nα. If α<1-κ, this leads to an effective regularization of the potential and it suggests that further improvements may be achieved by iteration; we plan to follow this strategy, which bears some similarities to the renormalization group analysis developed in [1], in future work.

In order to control errors arising from the quartic conjugation, it is important to use observables that were not employed in [4]. In particular, the expectation of the number of excitations with large momenta

NNγ=pΛ+:|p|Nγapap

and of its powers NNγ2,NNγ3, as well as the expectation of products of the form KLNNγ and KLNNγ2, involving the kinetic energy operator restricted to low momenta KL, will play a crucial role in our analysis. It will therefore be important to establish bounds for the growth of these observables through all steps of the renormalization procedure (Lemmas 4.24.37.17.2). In Sect. 6, an important step in the proof of Theorem 1.1 will consist in controlling the expectation of these observables on low-energy states of the renormalized Hamiltonian GN.

The Excitation Hamiltonian

We denote by F=n0L2(Λ)sn the bosonic Fock space over the one-particle space L2(Λ) and by Ω={1,0,} the vacuum vector. We can define the number of particles operator N by setting (Nψ)(n)=nψ(n) for all ψ={ψ(0),ψ(1),} in a dense subspace of F. For every one-particle wave function gL2(Λ), we define the creation operator a(g) and its hermitian conjugate, the annihilation operator a(g), through

(a(g)Ψ)(n)(x1,,xn)=1nj=1ng(xj)Ψ(n-1)(x1,,xj-1,xj+1,,xn)(a(g)Ψ)(n)(x1,,xn)=n+1Λg¯(x)Ψ(n+1)(x,x1,,xn)dx

Creation and annihilation operators are defined on the domain of N1/2, where they satisfy the bounds

a(f)ψfN1/2ψ,a(f)ψf(N++1)1/2ψ

and the canonical commutation relations

[a(g),a(h)]=g,h,[a(g),a(h)]=[a(g),a(h)]=0 2.1

for all g,hL2(Λ) (.,. denotes here the inner product on L2(Λ)). For pΛ=2πZ3, we define the plane wave φpL2(Λ) through φp(x)=e-ip·x for all xΛ, and the operators ap=a(φp) and ap=a(φp) creating and, respectively, annihilating a particle with momentum p. It is sometimes convenient to switch to position space, introducing operator valued distributions aˇx,aˇx such that

a(f)=Λf¯(x)aˇxdx,a(f)=Λf(x)aˇxdx

In terms of creation and annihilation operators, the number of particles operator can be written as

N=pΛapap=axaxdx

We will describe excitations of the Bose–Einstein condensate on the truncated Fock space

F+N=j=0NL2(Λ)sj

constructed over the orthogonal complement L2(Λ) of the condensate wave function φ0. On F+N, we denote the number of particles operator by N+. It is given by N+=pΛ+apap, where Λ+=Λ\{0}=2πZ3\{0} is the momentum space for excitations. Given Θ0, we also introduce the restricted number of particles operators

NΘ=pΛ+:|p|Θapap, 2.2

measuring the number of excitations with momentum larger or equal to Θ, and N<Θ=N+-NΘ.

Consider the operator UN:Ls2(ΛN)F+N defined in (1.2). Identifying ψNLs2(ΛN) with the Fock space vector {0,,0,ψN,0,}, we can also express UN in terms of creation and annihilation operators; we obtain

UN=n=0N(1-|φ0φ0|)na(φ0)N-n(N-n)!

It is then easy to check that UN:F+NLs2(ΛN) is given by

UN{α(0),,α(N)}=n=0Na(φ0)N-n(N-n)!α(n)

and that UNUN=1, ie. UN is unitary.

Using UN, we can define the excitation Hamiltonian LN:=UNHNUN, acting on a dense subspace of F+N. To compute LN, we first write the Hamiltonian (1.1) in momentum space, in terms of creation and annihilation operators. We find

HN=pΛp2apap+12N1-κp,q,rΛV^(r/N1-κ)ap+raqapaq+r 2.3

where

V^(k)=R3V(x)e-ik·xdx 2.4

is the Fourier transform of V, defined for all kR3 (in fact, (1.1) is the restriction of (2.3) to the NN-particle sector of the Fock space F). We can now determine the excitation Hamiltonian LN using the following rules, describing the action of the unitary operator UN on products of a creation and an annihilation operator (products of the form apaq can be thought of as operators mapping Ls2(ΛN) to itself). For any p,qΛ+=2πZ3\{0}, we find (see [15]):

UNa0a0UN=N-N+UNapa0UN=apN-N+UNa0apUN=N-N+apUNapaqUN=apaq 2.5

We conclude that

LN=LN(0)+LN(2)+LN(3)+LN(4) 2.6

with

LN(0)=N-12NNκV^(0)(N-N+)+NκV^(0)2NN+(N-N+)LN(2)=pΛ+p2apap+pΛ+NκV^(p/N1-κ)bpbp-1Napap+12pΛ+NκV^(p/N1-κ)bpb-p+bpb-pLN(3)=1Np,qΛ+:p+q0NκV^(p/N1-κ)bp+qa-paq+aqa-pbp+qLN(4)=12Np,qΛ+,rΛ:r-p,-qNκV^(r/N1-κ)ap+raqapaq+r 2.7

where we introduced generalized creation and annihilation operators

bp=apN-N+N,andbp=N-N+Nap 2.8

for all pΛ+. Observe that by (2.5),

UNbpUN=apa0N,UNbpUN=a0Nap

In other words, bp creates a particle with momentum pΛ+ but, at the same time, it annihilates a particle from the condensate; it creates an excitation, preserving the total number of particles in the system. On states exhibiting complete Bose–Einstein condensation in the zero-momentum mode φ0, we have a0,a0N and we can therefore expect that bpap and that bpap. Modified creation and annihilation operators satisfy the commutation relations

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

Furthermore, we find

[bp,aqar]=δpqbr,[bp,aqar]=-δprbq 2.10

for all p,q,rΛ+; this implies in particular that [bp,N+]=bp, [bp,N+]=-bp. It is also useful to notice that the operators bp,bp, like the standard creation and annihilation operators ap,ap, can be bounded by the square root of the number of particles operators; we find

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

for all ξF+N. Since N+N on F+N, the operators bp,bp are bounded, with bp,bp(N+1)1/2.

We can also define modified operator valued distributions

bˇx=N-N+Naˇx,andbˇx=aˇxN-N+N

in position space, for xΛ. The commutation relations (2.9) take the form

[bˇx,bˇy]=1-N+Nδ(x-y)-1Naˇyaˇx[bˇx,bˇy]=[bˇx,bˇy]=0

Moreover, (2.10) translates to

[bˇx,aˇyaˇz]=δ(x-y)bˇz,[bˇx,aˇyaˇz]=-δ(x-z)bˇy

which also implies that [bˇx,N+]=bˇx, [bˇx,N+]=-bˇx.

Renormalized Excitation Hamiltonian

Conjugation with UN extracts, from the original quartic interaction in (2.3), some constant and some quadratic contributions, collected in LN(0) and LN(2) in (2.7). For bosons described by the Hamiltonian (1.1), this is not enough; there are still large contributions to the energy that are hidden in LN(3) and LN(4).

To extract the missing energy, we have to take into account correlations. To this end, we consider the ground state solution f of the Neumann problem

-Δ+12Vf=λf 3.1

on the ball |x|N1-κ (we omit the NN-dependence in the notation for f and for λ; notice that λ scales as N3κ-3), with the normalization f(x)=1 if |x|=N1-κ. By scaling, we observe that f(N1-κ.) satisfies the equation

-Δ+12N2-2κV(N1-κx)f(N1-κx)=N2-2κλf(N1-κx)

on the ball |x|. From now on, we fix some 0<<1/2, so that the ball of radius is contained in the box Λ=[-1/2;1/2]3. We then extend f(N1-κ.) to Λ, by setting fN(x)=f(N1-κx), if |x| and fN(x)=1 for xΛ, with |x|>. As a consequence,

-Δ+12N2-2κV(N1-κ.)fN=N2-2κλfNχ, 3.2

where χ denotes the characteristic function of the ball of radius . The Fourier coefficients of the function fN are given by

f^N(p)=Λf(N1-κx)e-ip·xdx 3.3

for all pΛ. Next, we define w(x)=1-f(x) for |x|N1-κ and w(x)=0 for all |x|>N1-κ. Its rescaled version wN:ΛR is defined through wN(x)=w(N1-κx) if |x| and wN(x)=0 if xΛ with |x|>. The Fourier coefficients of wN are given by

w^N(p)=Λw(N1-κx)e-ip·xdx=1N3-3κw^(p/N1-κ),

where

w^(k)=R3w(x)e-ik·xdx

denotes the Fourier transform of the (compactly supported) function w. We find f^N(p)=δp,0-N3κ-3w^(p/N1-κ). From (3.2), we obtain

-p2w^(p/N1-κ)+N2-2κ2qΛV^((p-q)/N1-κ)f^N(q)=N5-5κλqΛχ^(p-q)f^N(q). 3.4

The next lemma summarizes important properties of the functions w and f. Its proof can be found in [4, Appendix A] (replacing NN by N1-κ and noting that still N1-κ1 for NN sufficiently large and fixed (0;1/2)).

Lemma 3.1

Let VL3(R3) be nonnegative, compactly supported and spherically symmetric. Fix >0 and let f denote the solution of (3.1). For NN large enough, the following properties hold true.

  • (i)
    We have
    λ=3a0N3-3κ31+O(a0/N1-κ). 3.5
  • (ii)
    We have 0f,w1. Moreover there exists a constant C>0 such that
    V(x)f(x)dx-8πa0Ca02N1-κ. 3.6
  • (iii)
    There exists a constant C>0 such that
    w(x)C|x|+1and|w(x)|Cx2+1. 3.7
    for all xR3 and all NN large enough.
  • (iv)
    There exists a constant C>0 such that
    |w^N(p)|CN1-κp2
    for all pR3 and all NN large enough (such that N1-κ-1).

We define η:ΛR through

ηp=-Nw^N(p)=-NκN2-2κω^(p/N1-κ). 3.8

In position space, this means that for xΛ, we have

ηˇ(x)=-Nw(N1-κx), 3.9

so that we have in particular the L-bound

ηˇCN. 3.10

Lemma 3.1 also implies

|ηp|CNκ|p|2 3.11

for all pΛ+=2πZ3\{0}, and for some constant C>0 independent of NN (for NN large enough). From (3.4), we find the relation

p2ηp+12Nκ(V^(./N1-κ)f^N)(p)=N3-2κλ(χ^f^N)(p) 3.12

or equivalently, expressing the r.h.s. through the coefficients ηp,

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

In our analysis, it is useful to restrict η to high momenta. To this end, let α>0 and

PH={pΛ+:|p|Nα}. 3.14

We define ηH2(Λ+) by

ηH(p)=ηpχ(pPH)=ηpχ(|p|Nα). 3.15

Equation (3.11) implies that

ηHCNκ-α/2 3.16

and we assume from now on that α>2κ such that in particular

limNηH=0. 3.17

Notice, on the other hand, that the H1-norm of η and ηH diverge, as N. From (3.9) and Lemma 3.1, part iii), we find

pPHp2|ηp|2pΛ+p2|ηp|2=|ηˇ(x)|2dxCN1+κ 3.18

for all NN large enough. We will mostly use the coefficients ηp with p0. Sometimes, however, it will be useful to have an estimate on η0 (because Eq. (3.13) involves η0). From Lemma 3.1, part iii), we obtain

|η0|N3κ-2R3w(x)dxCNκ2 3.19

It will also be useful to have bounds for the function ηˇH:ΛR, having Fourier coefficients ηH(p) as defined in (3.15). Writing ηH(p)=ηp-ηpχ(|p|Nα), we obtain

ηˇH(x)=ηˇ(x)-pΛ:|p|Nαηpeip·x=-Nw(N1-κx)-pΛ:|p|Nαηpeip·x

so that

|ηˇH(x)|CN+CNκpΛ:|p|Nα|p|-2C(N+Nα+κ)C(N+Nα+κ) 3.20

for all xΛ, if NN is large enough.

With the coefficients (3.15), we define the antisymmetric operator

B=12pPHηpbpb-p-η¯pb-pbp 3.21

and the generalized Bogoliubov transformation eB:F+NF+N. A first important observation is that conjugation with this unitary operator does not change the number of particles by too much. The proof of the following Lemma can be found in [7, Lemma 3.1] (a similar result has been previously established in [22]).

Lemma 3.2

Assume B is defined as in (3.21), with the coefficients ηp as in (3.8), satisfying (3.17). For every nN, there exists a constant C>0 such that

e-B(N++1)neBC(N++1)n 3.22

as an operator inequality on F+N. (The constant depends only on ηH and on nN.)

With the generalized Bogoliubov transformation eB, we can now define the renormalized excitation Hamiltonian GN:F+NF+N by setting

GN=e-BLNeB=e-BUNHNUNeB. 3.23

In the next propositions, we collect important properties of GN. Recall the notation HN=K+VN, introduced in (1.9).

Proposition 3.3

Let VL3(R3) be compactly supported, pointwise nonnegative and spherically symmetric. Let GN be defined as in (3.23). Assume that the exponent α introduced in (3.14) is such that

α>6κ,2α+3κ<1 3.24

Then,

GN=4πa0N1+κ+HN+θGN 3.25

and there exists C>0 such that, for all δ>0 and all NN large enough, we have

±θGNδHN+Cδ-1Nα+2κN++CNα+2κ 3.26

and the improved lower bound

θGN-δHN-Cδ-1NκN+-CNα+2κ. 3.27

Furthermore, for β>0, denote by GNeff the excitation Hamiltonian

GNeff=4πa0Nκ(N-N+)+[V^(0)-4πa0]NκN+(N-N+)N+NκV^(0)pPHcapap(1-N+/N)+4πa0NκpPHc[bpb-p+bpb-p]+1Np,qΛ+:|q|Nβ,p+q0NκV^(p/N1-κ)[bp+qa-paq+h.c.]+HN 3.28

Then, there exists C>0 such that EGN=GN-GNeff is bounded by

±EGNC(N3κ-α/2+Nα+3κ/2-1/2+Nκ/2-β)HN+CNα+2κ 3.29

for all NN sufficiently large.

Furthermore, there exists a constant C>0 such that

±i[NcNγ,GN],±i[N<cNγ,GN]C(Nκ+α/2-γ+Nκ+γ/2)(HN+1) 3.30

for all αγ>0, c>0 fixed (independent of NN) and NN large enough.

Finally, for every kN, there exists a constant C>0 such that

±adiN+(k)(GN)=±[iN+,[iN+,GN]]CNκ+α/6(HN+1). 3.31

The proof of Proposition 3.3 is similar to the proof of [4, Prop. 4.2] and [3, Prop. 3.2], with the appropriate modifications dictated by the different scaling of the interaction. The main novelty in Proposition 3.3 is the bound (3.30) involving commutators of the restricted number of particles operator NcNγ. This can be obtained similarly to the bounds for EGN and for i[N+,GN], because we have a full expansion of the operator GN in a sum of terms whose commutators with N+ and with NcNγ retains essentially the same form. In the version of this paper that is posted on the arXiv, we give a complete proof of Proposition 3.3 in “Appendix A”, adapting the arguments of [4, Prop. 4.2], [3, Prop. 3.2].

Cubic Renormalization

From Eq. (3.28), we observe that the cubic terms in GNeff still depend on the original interaction, which decays slowly in momentum (in contrast to the quadratic terms in the second line of (3.28), where the sum is now restricted to PHc={pΛ+:|p|<Nα}).

To renormalize the cubic terms in (3.28), we are going to conjugate GNeff with a unitary operator eA, where the antisymmetric operator A:F+NF+N is defined by

A=A1-A1,withA1=1NrPH,pPLηrbr+pa-rap. 4.1

The high-momentum set PH={pΛ+:|p|Nα} is as in (3.14). The low-momentum set PL is defined by

PL={pΛ+:|p|Nβ} 4.2

with exponent β>0, that will be chosen as in (3.28).

Using the unitary operator eA, we define JN:F+NF+N by

JN=e-AGNeffeA. 4.3

Observe here that we only conjugate the main part GNeff of the renormalized excitation Hamiltonian GN; this makes the analysis a bit simpler (the difference GN-GNeff is small and can be estimated before applying the cubic conjugation).

The next proposition summarizes important properties of JN; it can be shown very similarly to [4, Prop. 5.2], of course with the appropriate changes of the scaling of the interaction. In the version of this paper that is posted on the arXiv, we give a complete proof of Proposition 4.1 in “Appendix B”, adapting the arguments of [4, Prop. 5.2].

Proposition 4.1

Suppose the exponents α and β are such that

i)α>3β+2κ,ii)3α/2+2κ<1,iii)α<5β,iv)β>3κ/2,v)β<1/2 4.4

Let JN be defined as in (4.3), let

JNeff=4πa0N1+κ-4πa0NκN+2/N+8πa0NκpPHc[bpbp+12bpb-p+12bpb-p]+8πa0NκNpPHc,qPL:p+q0[bp+qa-paq+h.c.]+HN, 4.5

and set μ=max(3α/2+2κ-1,3κ/2-β) (μ<0 follows from (4.4)). Then, there exists a constant C>0 such that the self-adjoint operator EJN=JN-JNeff satisfies the operator inequality

±eAEJNe-AC(N-β/2+Nμ)K+CNμVN+CNμ-κN++CNα+2κ(1+Nα+β/2-1) 4.6

in F+N for all NN sufficiently large.

The bounds for JN given in Proposition 4.1 are still not enough to show Theorem 1.1. As we will discuss in the next section, the main problem is the quartic interaction term, contained in HN, which still depends on the singular interaction potential (in all other terms on the r.h.s. of (4.5), the singular potential has been replaced by the regular mean-field type potential, with Fourier transform 8πa0Nκ1PHc(p), supported on momenta |p|<Nα). To renormalize the quartic interaction, we will have to conjugate JNeff with yet another unitary operator, this time quartic in creation and annihilation operators. This last conjugation (which will be performed in the next section) will produce error terms. These errors will controlled in terms of the observables N+, K and VN (as in (4.6)) but also, as we stressed at the end of Sect. 1, in terms of observables having the form NNγ (the number of excitations having momentum larger or equal to Nγ), NNγ2, NNγ3, KNγ (the kinetic energy of excitations with momentum below Nγ), KLNNγ. For this reason, we need to control the action of eA on all these observables.

First of all, we bound the action of the cubic phase on the restricted number of particles operators Nθ=pΛ+:|p|θapap. We will make use of the pull-through formula apNθ=(Nθ+1[θ,)(p))ap, which in particular implies that

(Nθ+1)1/2apξCap(Nθ+1)1/2ξ,(Nθ+1)-1/2apξCap(Nθ+1)-1/2ξ. 4.7

Lemma 4.2

Assume the exponents α,β satisfy (4.4) (in fact, here it is enough to assume that α>2κ). Let kN0, m=0,1,2, 0<γα, c0 (and c<1 if γ=α). Then, there exists a constant C>0 such that the operator inequalities

e-sA(N++1)k(NcNγ+1)mesAC(N++1)k(NcNγ+1)m 4.8

for all s[-1;1] and all NN.

Proof

The case m=0 follows from m=1. We start therefore with the case m=1. For ξF+N, we define the function φξ:RR by

φξ(s)=ξ,e-sA(N++1)k(NcNγ+1)esAξ

which has derivative

sφξ(s)=2ReesAξ,(N++1)k[NcNγ,A1]esAξ+2ReesAξ,[(N++1)k,A1](NcNγ+1)esAξ, 4.9

where A1 as in (4.1). By the assumptions on γ and c, we have NαNα-NβcNγ for NN large enough. This implies in particular that

[NcNγ,bp+r]=bp+r,[NcNγ,a-r]=a-r,[NcNγ,ap]=χ(|p|cNγ)ap

for rPH and pPL, by (2.1) and (2.10). We then obtain

[NcNγ,A1]=2NrPH,pPLηrbr+pa-rap-1NrPH,pPL,|p|cNγηrbr+pa-rap 4.10

as well as

[(N++1)k,A1]=kNrPH,pPLηrbr+pa-rap(N++Θ(N+)+1)k-1, 4.11

for some function Θ:N(0;1) by the mean value theorem. Using the pull-through formula N+ap=ap(N++1) and Cauchy–Schwarz, we estimate

|1NrPH,pPLηresAξ,(N++1)kbr+pa-rapesAξ|1N(rPH,pPL(NcNγ+1)-1/2ar+pa-r(N++1)k/2esAξ2)1/2×(rPH,pPLηr2(NcNγ+1)1/2ap(N++1)k/2esAξ2)1/2

With the operator inequality NcNγNNα and with (4.7), we find that

|1NrPH,pPLηresAξ,(N++1)kbr+pa-rapesAξ|CN(rPH,pPL:|p+r|cNγap+r(NcNγ+1)-1/2a-r(N++1)k/2esAξ2)1/2×ηH(pPLap(NcNγ+1)1/2(N++1)k/2esAξ2)1/2CNκ-α/2N(NNα+1)1/2(N++1)k/2esAξ(NcNγ+1)1/2(N++1)(k+1)/2esAξCNκ-α/2(NcNγ+1)1/2(N++1)k/2esAξ2=CNκ-α/2φξ(s). 4.12

The same arguments show that

|1NrPH,pPL,|p|cNγηresAξ,(N++1)kbr+pa-rapesAξ|CN(rPH,pPL:|p+r|cNγap+r(NcNγ+1)-1/2a-r(N++1)k/2esAξ2)1/2×ηH(pPLap(NcNγ+1)1/2(N++1)k/2esAξ2)1/2CNκ-α/2φξ(s). 4.13

Finally, we have that

|kNrPH,pPLηresAξ,br+pa-rap(N++Θ(N+)+1)k-1(NcNγ+1)esAξ|CN(rPH,pPL:|p+r|cNγar+pa-r(N++1)(k-1)/2esAξ2)1/2×(rPH,pPLηr2ap(N++1)(k-1)/2(NcNγ+1)esAξ2)1/2CNκ-α/2(NcNγ+1)1/2(N++1)k/2esAξ2=CNκ-α/2φξ(s). 4.14

Recalling (4.9), (4.10) and that α2κ, the bounds (4.12) to (4.14) show that

sφξ(s)CNκ-α/2φξ(s)Cφξ(s).

Since the bounds are independent of ξF+N and the same bounds hold true replacing A by -A in the definition of φξ, the first inequality in (4.8) follows by Gronwall’s Lemma.

To prove (4.8) with m=2, we proceed similarly. Given ξF+N, we define the function ψξ:RR by

ψξ(s)=ξ,e-sA(N++1)k(NcNγ+1)2esAξ.

Its derivative is equal to

sψξ(s)=2ReesAξ,(N++1)k[(NcNγ+1)2,A1]esAξ+2ReesAξ,[(N++1)k,A1](NcNγ+1)2esAξ=2ReesAξ,(N++1)k[NcNγ,[NcNγ,A1]]esAξ+4ReesAξ,(N++1)k[NcNγ,A1](NcNγ+1)esAξ+2ReesAξ,[(N++1)k,A1](NcNγ+1)2esAξ. 4.15

Comparing the contribution containing the double commutator in the last line on the r.h.s. of the last equation with (4.10) and using once again that NαNα-NβcNγ for NN large enough, we observe that

[NcNγ,[NcNγ,A1]]=4NrPH,pPLηrbr+pa-rap-3NrPH,pPL,|p|cNγηrbr+pa-rap. 4.16

Hence, the bounds (4.12) and (4.13) prove that

|esAξ,(N++1)k[NcNγ,[NcNγ,A1]]esAξ|Cφξ(s)Cψξ(s).

To bound the second contribution on the r.h.s. in (4.15), we recall (4.10) and we estimate

|1NrPH,pPLηresAξ,(N++1)kbr+pa-rap(NcNγ+1)esAξ|+|1NrPH,pPL,|p|cNγηresAξ,(N++1)kbr+pa-rap(NcNγ+1)esAξ|CN(rPH,pPL:|p+r|cNγap+ra-r(N++1)k/2esAξ2)1/2×ηH(pPLap(N++1)k/2(NcNγ+1)esAξ2)1/2CNκ-α/2(NcNγ+1)(N++1)k/2esAξ2=CNκ-α/2ψξ(s)

Finally, the last contribution in (4.15) can be bounded as in (4.14), using (4.11). We have

|kNrPH,pPLηresAξ,br+pa-rap(N++Θ(N+)+1)k-1(NcNγ+1)2esAξ|CN(rPH,pPL:|p+r|cNγar+pa-r(N++1)k/2esAξ2)1/2×(rPH,pPLηr2ap(N++1)(k-2)/2(NcNγ+1)2esAξ2)1/2CNκ-α/2(NcNγ+1)(N++1)k/2esAξ2=CNκ-α/2ψξ(s),

where, in the last step, we used that NcNγN+. In conclusion, we have proved that

sψξ(s)CNκ-α/2ψξ(s)Cψξ(s).

Since the bounds are independent of ξF+N and the same bounds hold true replacing -A by A in the definition ψξ, Gronwall’s lemma implies the last inequality in (4.8).

We denote the kinetic energy restricted to low momenta by

KcNγ=pΛ+:|p|cNγp2apap. 4.17

We will need the following estimates for the growth of the restricted kinetic energy.

Lemma 4.3

Assume the exponents α,β satisfy (4.4) (here we only need α2κ and α>β). Let 0<γ1,γ2α, and c1,c20 (and also cj<1, if γj=α, for j=1,2). Then, there exists a constant C>0 such that the operator inequalities

e-sAKc1Nγ1esAKc1Nγ1+N2β+2κ-α-1(N12Nα+1)2,e-sAKc1Nγ1(Nc2Nγ2+1)esAKc1Nγ1(Nc2Nγ2+1)+N2β+2κ-α-1(Nc2Nγ2+1)2(N12Nα+1) 4.18

for all s[-1;1] and all NN sufficiently large.

Proof

Like the previous Lemma 4.2, this is an application of Gronwall’s lemma. Let us start to prove the first inequality in (4.18). Fix ξF+N and define φξ:RR by φξ(s)=ξ,e-sAKc1Nγ1esAξ such that

sφξ(s)=2Reξ,e-sA[Kc1Nγ1,A1]esAξ.

We notice first that

[Kc1Nγ1,bp+r]=[Kc1Nγ1,a-r]=0

if rPH and pPL, because |r|,|p+r|Nα-Nβ>c1Nγ1 for all NN.

Using the commutation relations (2.1), we then compute

[Kc1Nγ1,A1]=-1NrPH,pPL:|p|c1Nγ1p2ηrbr+pa-rap. 4.19

With (4.19) and |p|Nβ for pPL, we then find that

|ξ,e-sA[Kc1Nγ1,A1]esAξ|CNβNrPH,pPL:|p|c1Nγ1|p||ηr|ar+pa-resAξapesAξCNβ+κ-α/2N(N12Nα+1)esAξKc1Nγ11/2esAξ. 4.20

Finally, using Lemma 4.2 (with c=12, γ=α and NN sufficiently large), we conclude

sφξ(s)CNβ+κ-α/2-1/2(N12Nα+1)esAξKc1Nγ11/2esAξCN2β+2κ-α-1ξ,(N12Nα+1)2ξ+Cφξ(s).

This proves the first inequality in (4.18), by Gronwall’s lemma.

Next, let us prove the second inequality in (4.18). We define ψξ:RR by

ψξ(s)=ξ,e-sAKc1Nγ1(Nc2Nγ2+1)esAξ,

and we compute

sψξ(s)=2Reξ,e-sA[Kc1Nγ1,A1](Nc2Nγ2+1)esAξ+2Reξ,e-sAKc1Nγ1[Nc2Nγ2,A1]esAξ.

First, we proceed as in (4.20) and obtain with (4.7) that

|ξ,e-sA[Kc1Nγ1,A1](Nc2Nγ2+1)esAξ|CNβNrPH,pPL:|p|c1Nγ1|p||ηr|ar+p(Nc2Nγ2+1)1/2a-resAξap(Nc2Nγ2+1)1/2esAξCNβ+κ-α/2N(Nc2Nγ2+1)(N12Nα+1)1/2esDξKc1Nγ11/2(Nc2Nγ2+1)1/2esAξ. 4.21

Equation (4.21) and Lemma 4.2 then imply

|ξ,e-sA[Kc1Nγ1,A1](Nc2Nγ2+1)esAξ|CN2β+2κ-α-1ξ,(Nc2Nγ2+1)2(N12Nα+1)ξ+Cψξ(s). 4.22

Next, we recall the identity in (4.10) and that

[Kc1Nγ1,bp+r]=[Kc1Nγ1,a-r]=0

whenever rPH,pPL and NN, by assumption on c1 and γ1. We then estimate

|ξ,e-sAKc1Nγ1[Nc2Nγ2,A1]esAξ|CNrPH,pPL,vΛ+:|v|c1Nγ1|v|2|ηr|ar+p(Nc2Nγ2+1)-1/2a-ravesDξ×ap(Nc2Nγ2+1)1/2avesDξCNκ-α/2esAξ,Kc1Nγ1(Nc2Nγ2+1)esAξCψξ(s). 4.23

Hence, putting (4.22) and (4.23) together, we have proved that

sψξ(s)CN2β+2κ-α-1ξ,(Nc2Nγ2+1)2(N12Nα+1)ξ+Cψξ(s).

This implies the second bound in (4.18), by Gronwall’s lemma.

Next, we seek a bound for the growth of the potential energy operator. To this end, we first compute the commutator of VN with the antisymmetric operator A. We introduce here the shorthand notation for the low-momentum part of the kinetic energy

KL=pΛ+:|p|Nβp2apap=pPLp2apap. 4.24

Proposition 4.4

Assume the exponents α,β satisfy (4.4). There exists a constant C>0 such that

[VN,A]=1NuΛ+,pPL:p+u0Nκ(V^(./N1-κ)η/N)(u)[bp+ua-uap+h.c.]+E[VN,A] 4.25

where the self-adjoint operator E[VN,A] satisfies

±E[VN,A]δVN+δ-1CNκ-2β-1KL(N12Nα+1)+δ-1CN2α+3κ-2N++δ-1CNκ-1(N12Nα+1)2 4.26

for all δ>0 and for all NN sufficiently large.

Proof

From (4.1), we have

[VN,A]=[VN,A1]+h.c.

Following [4, Prop. 8.1], we find

[VN,A1]+h.c.=1NuΛ+,vPLNκ(V^(./N1-κ)η/N)(u)bu+va-uav+Θ1+Θ2+Θ3+Θ4+h.c., 4.27

where

Θ1=-1N3/2uΛ,vPL,rPHc{0}NκV^((u-r)/N1-κ)ηrbu+va-uav,Θ2=1N3/2uΛ,pΛ+,rPH,vPLNκV^(u/N1-κ)ηrbp+uav+r-ua-rapav,Θ3=1N3/2uΛ,pΛ+,rPH,vPLNκV^(u/N1-κ)ηrbv+rap+ua-r-uapav,Θ4=-1N3/2uΛ,pΛ+,rPH,vPLNκV^(u/N1-κ)ηrbv+ra-rap+uapav+u. 4.28

Here and in the following, the notation indicates that we only sum over those momenta for which the arguments of the creation and annihilation operators are nonzero. The first term on the r.h.s. of (4.27) appears explicitly in (4.25), so let us estimate next the size of the operators Θ1 to Θ4, defined in (4.28). The bounds can be obtained similarly as in the proof of [4, Prop. 8.1].

Consider first Θ1. For ξF+N, we switch to position space and find

|ξ,Θ1ξ|1N1/2rPHc|ηr|(Λ2dxdyN2-2κV(N1-κ(x-y))bˇxaˇyξ2)1/2×(Λ2dxdyN2-2κV(N1-κ(x-y))vPLeivxavξ2)1/2CNα+3κ/2-1VN1/2ξ(Λdxei(v-v)xv,vPLξ,avavξ)1/2CNα+3κ/2-1VN1/2ξNNβ1/2ξ. 4.29

The term Θ2 on the r.h.s. of (4.28) can be controlled by

|ξ,Θ2ξ|=|1N1/2Λ2dxdyN2-2κV(N1-κ(x-y))rPH,vPLeivyeiryηrξ,bˇxaˇya-raˇxavξ|ηHN1/2[Λ2dxdyN2-2κV(N1-κ(x-y))vPL|v|-2bˇxaˇyξ2)1/2×(Λ2dxdyN2-2κV(N1-κ(x-y))vPL|v|2(N12Nα+1)1/2aˇxavξ2)1/2CNβ/2+3κ/2-α/2-1/2VN1/2ξKL1/2(N12Nα+1)1/2ξ.

In the last step, we used (4.7) to estimate

Λdx(N12Nα+1)1/2aˇxξ2=pΛ+(N12Nα+1)1/2apξ2CpΛ+ap(N12Nα+1)1/2ξ2=CN+1/2(N12Nα+1)1/2ξ2 4.30

for any ξF+N. The contributions Θ3 and Θ4 can be bounded similarly. We find

|ξ,Θ3ξ|=|1N1/2Λ2dxdyN2-2κV(N1-κ(x-y))rPH,vPLe-iryηrξ,bv+raˇxaˇyaˇxavξ|CηHN1/2(Λ2dxdyN2-2κV(N1-κ(x-y))vPL|v|-2aˇxaˇyξ2)1/2×(Λ2dxdyN2-2κV(N1-κ(x-y))vPL|v|2(N12Nα+1)1/2aˇxavξ2)1/2CNβ/2+3κ/2-α/2-1/2VN1/2ξKL1/2(N12Nα+1)1/2ξ

as well as

|ξ,Θ4ξ|=|1N1/2Λ2dxdyN2-2κV(N1-κ(x-y))rPH,vPLηre-ivyξ,bv+ra-raˇxaˇxaˇyξ|CηHN1/2[Λ2dxdyN2-2κV(N1-κ(x-y))vPLaˇxaˇyξ2)1/2×[Λ2dxdyN2-2κV(N1-κ(x-y))rPH,vPLaˇxav+ra-rξ2)1/2CN3β/2+3κ/2-α/2-1/2VN1/2ξ(N12Nα+1)ξ.

Summarizing (using α>3β+2κ) we proved that

±i=14(Θi+h.c.)δVN+δ-1CN2α+3κ-2N++δ-1CNκ-2β-1KL(N12Nα+1)+δ-1CNκ-1(N12Nα+1)2 4.31

for any δ>0. Setting E[VN,A]=i=14(Θi+h.c.), this proves the claim.

From Proposition 4.4, we immediately get a bound for the action of eA on VN.

Corollary 4.5

Assume the exponents α,β satisfy (4.4). Then, there exists a constant C>0 such that

e-sAVNesACVN+C(Nκ+N2α+3κ-2)(N++1)+CNκ-2β-1KL(N12Nα+1)+CNκ-3β-2(N12Nα+1)3. 4.32

for all s[-1;1] and NN large enough.

Proof

We apply Gronwall’s lemma. Given ξF+N, we define φξ(s)=ξ,e-sAVNesAξ and compute its derivative s.t.

sφξ(s)=ξ,e-sA[VN,A]esAξ.

Hence, we can apply (4.25) and estimate

|1NuΛ+,vPL:v+u0NκesAξ,(V^(./N1-κ)η/N)(u)bv+ua-uavesAξ|Nκ/2ηˇN(Λ2dxdyN2-2κV(N1-κ(x-y))aˇxaˇyesAξ2)1/2×(Λ2dxdyN3-3κV(N1-κ(x-y))vPLeivxavesAξ2)1/2CNκ/2VN1/2esAξNNβesAξCNκξ,e-sAN+esAξ+Cφξ(s).

Here, we used (3.10), which shows that ηˇCN. Using Lemma 4.2, this simplifies to

|1NuΛ+,vPL:v+u0NκesDξ,(V^(./N1-κ)η/N)(u)bu+va-uavesDξ|Cφξ(s)+CNκξ,(N++1)ξ. 4.33

Together with (4.25), the bound (4.26) (choosing δ=1) and an application of Lemma 4.2 as well as of Lemma 4.3, the claim follows from Gronwall’s lemma.

Quartic Renormalization

To explain why the bounds for JN obtained in Prop. 4.1 are not enough to show Theorem 1.1, we introduce, for rΛ+, the operators

cr=1NvΛ+:v-r,vPL,v+rPLcav+rav,er=12NvΛ+:v-r,vPL,v+rPLav+rav. 5.1

We denote the adjoints of cr and er by cr and er, respectively. Notice in particular that er=e-r for all rΛ+. A straightforward computation shows that

8πa0NκNpPHc,qPL:p+q0[bp+qa-paq+h.c.]=8πa0NκpPHc[b-pe-p+e-pb-p+b-pep+epb-p+b-pcp+cpb-p]. 5.2

Together with (4.5), this suggests to bound the Hamiltonian JN from below by completing the square in the operators gr:=br+cr+er and gr:=br+cr+er, for rPHcΛ+. A better look at (4.5) reveals, however, that several terms that are needed to complete the square are still hidden in the energy HN. Since these terms are not small, we need to extract them from HN by conjugation with a unitary operator eD, with

D=D1-D1,whereD1=12NrPH,p,qPLηrap+raq-rapaq. 5.3

Since [D,N+]=0, we have the identity

e-sD(N++1)kesD=(N++1)k 5.4

for all kN.

Using eD, we define the final excitation Hamiltonian

MN=e-DJNeffeD. 5.5

The next proposition provides an important lower bound for MN. Its proof is given in Sect. 7.

Proposition 5.1

Suppose the exponents α (in the definition of the set PH in (3.14)) and β (in the definition of the set PL in (4.2)) are such that

i)α>3β+2κ,ii)1>α+β+2κ,iii)5β>α,iv)β>3κ,v)1/2>β, 5.6

Set γ=min(α,1-α-κ) (γ>0 from (5.6)) and let m0R be s.t. m0β=α. Let VL3(R3) be compactly supported, pointwise nonnegative and spherically symmetric. Then, MN, as defined as in (5.5), is bounded from below by

MN4πa0N1+κ+14K+EMN 5.7

for a self-adjoint operator EMN satisfying

eAeDEMNe-De-A-CN-βK-CN-β-κVN-CNβ+2κ-1KNNβ-CNα+β+2κ-1KNNm0β-Cj=32m0-1Njβ/2+β/2+2κ-1KN12Njβ/2-CN3α+κ 5.8

for all NN sufficiently large.

Proof of Theorem 1.1

For ε>0 sufficiently small, we define

α=14κ+4ε,β=4κ+ε. 6.1

The choice κ<1/43 guarantees, if ε>0 is small enough, that all conditions in (5.6) (and thus also in (3.24) and (4.4)) are satisfied.

From (3.25) and (3.26), we obtain the upper bound

EN4πa0N1+κ+CN16κ+4ε 6.2

for the ground state energy of HN. From (3.25) and (3.27), on the other hand, we obtain

HN2(GN-4πa0N1+κ)+CNκN++CN16κ+4ε

With (6.2) and setting GN=GN-EN, we deduce that

HN2GN+CNκN++CN16κ+4ε 6.3

Next, we prove (1.5). From (3.29) and (6.3) we arrive at

GN=GNeff+EGNGNeff-CN-(7κ+2ε)/2GN-CN-(5κ+2ε)/2N+-CN16κ+4ε

Writing Geff=eAJNe-A and recalling that κ<1/43 (and that ε>0 is small enough), Prop. 4.1 and (6.3) imply that

GNeAJNeffe-A+eAEJNe-A-CN-(7κ+2ε)/2GN-CN-(5κ+2ε)/2N+-CN16κ+4εeAJNeffe-A-CN-(5κ+2ε)/2GN-CN-(3κ+2ε)/2N+-CN16κ+4ε

Inserting Jeff=eDMNe-D and applying Prop. 5.1, we obtain

GN4πa0N1+κ+14eAeDKe-De-A+eAeDEMNe-De-A-CN-(5κ+2ε)/2GN-CN-(3κ+2ε)/2N+-CN16κ+4ε 6.4

With K(2π)2N+ and Lemma 4.2 (with m=0 and k=1) we have

eAeDKe-De-A(2π)2eAeDN+e-De-A=(2π)2eAN+e-AcN+ 6.5

for a constant c>0 small enough (but independent of N). If N is large enough, we conclude (using also the upper bound (6.2)), that

N+CGN-CeAeDEMNe-De-A+CN16κ+4ε 6.6

To bound the error term eAeDEMNe-De-A, we need (according to (5.8)) to control observables of the form N-1KNcNγ. To this end, we observe, first of all, that, by Cauchy–Schwarz and by (6.3),

N-1KNcNγδ-1Nκ-2γK+δN2γ-κ-2KNcNγ2δ-1Nκ-2γK+2δN2γ-κ-2NcNγGNNcNγ+CδN-1KNcNγ. 6.7

Choosing δ>0 sufficiently small, we thus have

N-1KNcNγCNκ-2γK+CN2γ-κ-2NcNγGNNcNγ. 6.8

We write

NcNγGNNcNγ=NcNγ2GN+NcNγ[GN,NcNγ]. 6.9

Using (6.3) (similarly as we did in (6.7)) and NcNγN, NcNγCN-2γK, we can bound the expectation of the first term on the r.h.s. of the last equation, for an arbitrary ξF+N, by

|ξ,NcNγ2GNξ|ξ,NcNγ3ξ1/2ξ,GNNcNγGNξ1/2CN1/2-γξ,KNcNγ2ξ1/2ξ,GN2ξ1/2CN1/2-γξ,GN2ξ1/2ξ,NcNγGNNcNγξ1/2+CN1+κ/2-2γξ,GN2ξ1/2ξ,KNcNγξ1/2δξ,NcNγGNNcNγξ+Cδ-1N1-2γξ,GN2ξ+CδN1+κ-2γξ,KNcNγξ1/2. 6.10

On the other hand, to estimate the commutator term in Eq. (6.9), we notice that A:=(HN+1)-1/2i[GN,NcNγ](HN+1)-1/2 is a bounded, self-adjoint operator with ACNκ+α/2-γ+CNκ+γ/2, by (3.30). Setting μ=max(α,3γ), this implies, with (6.3),

|ξ,NcNγ[GN,NcNγ]ξ|δξ,NcNγ(HN+1)NcNγξ+Cδ-1N2κ-2γ+μξ,(HN+1)ξ2δξ,NcNγGNNcNγξ+CδN1+κ-2γξ,KNcNγξ+Cδ-1N3κ-2γ+μξ,N+ξ+Cδ-1N3κ+α-2γ+μξ2 6.11

for all ξF+N. Plugging (6.10) and (6.11) into (6.9), we find that, for sufficiently small δ>0,

NcNγGNNcNγCδN1+κ-2γKNcNγ+Cδ-1N1-2γGN2+Cδ-1N3κ-2γ+μN++Cδ-1N3κ-2γ+μ+α 6.12

Inserting into (6.8) and choosing δ>0 small enough, we obtain

N-1KNcNγCNκ-2γK+CN-κ-1GN2+CN2κ+μ-2N++CN2κ+μ+α-2 6.13

Applying (6.13) to the r.h.s. of (5.8) we find, using also (6.3), (6.1), and the choice κ<1/43,

eAeDEMNe-De-A-CN-εN+-CN-(κ+ε)GN-CN13κ+3ε-1GN2-CN43κ+12ε 6.14

Inserting the last equation into (6.6) and using (6.2), we conclude that for N large enough,

N+CGN+CN13κ+3ε-1GN2+CN43κ+12ε

For ψNLs2(ΛN) with ψN=1 and ψN,(HN-EN)2ψNζ2, the corresponding excitation vector ξN=eBUNψN is such that ξN,GN2ξNζ2 and thus

ξN,N+ξNCζ+ζ2N13κ+3ε-1+N43κ+12ε

which proves (1.5), using Lemma 3.2. From (6.3), we obtain also

ξN,HNξNCζNκ+ζ2N14κ+3ε-1+N44κ+12ε, 6.15

an estimate that will be needed to arrive at (1.6).

Evaluating (6.14) on a normalized ground state ξN of GN and inserting the result in (6.4) we also deduce that

EN4πa0N1+κ-CN43κ+12ε

Together with the upper bound (6.2), this concludes the proof of (1.3).

We still have to show (1.6) for k>0. To this end, we will prove the stronger bound (1.8); Eq. (1.6) follows then immediately from N+HN and by Lemma 3.2. We denote by Qζ the spectral subspace of GN associated with energies below EN+ζ. We use induction to show that for all kN, there exists a constant C>0 (depending on k) such that

supξQζξ,(HN+1)(N++1)2kξξ2CN44κ+12ε+ζ2N20κ+5ε2k+1 6.16

for all kN. This proves (1.8) and thus, with the bound N+HN and with Lemma 3.2, also (1.6). The case k=0 follows from (6.15). From now on, we assume (6.16) to hold true, and we prove the same bound, with k replaced by (k+1) (and with a new constant C). To this end, we start by observing that combining (6.3) and (6.6),

HN+1CNκGN-CNκeAeDEMNe-De-A+CN17κ+4ε

Hence,

(N++1)2(k+1)(HN+1)=(N++1)k+1(HN+1)(N++1)k+1CNκ(N++1)k+1GN(N++1)k+1-CNκ(N++1)k+1eAeDEMNe-De-A(N++1)k+1+CN17κ+4ε(N++1)2(k+1) 6.17

We estimate the first term on the r.h.s. by

Nκ(N++1)k+1GN(N++1)k+1Nκ(N++1)2(k+1)GN+Nκ(N++1)k+1[GN,(N++1)k+1]=Nκ(N++1)2(k+1)GN+Nκj=1k+1k+1j(N++1)k+1adN+(j)(GN)(N++1)k+1-j

By Cauchy–Schwarz, we find

Nκ(N++1)k+1GN(N++1)k+1Nκ(N++1)2(k+1)+NκGN(N++1)2(k+1)GN+Nκj=1k+1k+1j(N++1)k+1adN+(j)(GN)(N++1)k+1-j

With (N++1)2(k+1)(N++1)2k+1(HN+1) and with the estimate

(HN+1)-1/2adN+(j)(GN)(HN+1)-1/2CN7κ/3+2ε/3 6.18

from (3.31) we obtain, using again Cauchy–Schwarz,

Nκξ,(N++1)k+1GN(N++1)k+1ξCNκζ2+N7κ/3+2ε/3ξ2×supξQζξ,(N++1)2(k+1)(HN+1)ξξ21/2supξQζξ,(N++1)2k(HN+1)ξξ21/2

for every ξQζ. Hence, for any δ>0, we have

Nκξ,(N++1)k+1GN(N++1)k+1ξξ2δsupξQζξ,(N++1)2(k+1)(HN+1)ξξ2+Cδ-1Nκζ2+N7κ/3+2ε/32supξQζξ,(N++1)2k(HN+1)ξξ2 6.19

To bound the contribution proportional to eAeDEMNe-De-A on the r.h.s. of (6.17), we have to control, according to (6.8), terms of the form

(N++1)k+1NcNγGNNcNγ(N++1)k+1=((N++1)k+1NcNγ)2GN+(N++1)k+1NcNγGN,(N++1)k+1NcNγ=:A+B

For an arbitrary ξQζ, we can bound the expectation of A by Cauchy–Schwarz as

ξ,Aξξ2ξ,((N++1)k+1NcNγ)2ξξ2+GNξ,((N++1)k+1NcNγ)2GNξξ2N2(1+ζ2)supξQζξ,(N++1)2kNcNγ2ξξ2N2-2γ(1+ζ2)supξQζξ,(N++1)2k+1Kξξ2N2-2γ(1+ζ2)supξQζξ,(N++1)2kKξξ21/2×supξQζξ,(N++1)2(k+1)Kξξ21/2 6.20

As for the term B, we can write

B=(N++1)k+1NcNγ2GN,(N++1)k+1+(N++1)k+1NcNγGN,NcNγ(N++1)k+1=j=1k+1k+1j(N++1)k+1NcNγ2adN+(j)(GN)(N++1)k+1-j+(N++1)k+1NcNγGN,NcNγ(N++1)k+1

From (6.18) and using (3.30) to estimate

(HN+1)-1/2[NcNγ,GN](HN+1)-1/2CN8κ+2ε-γ+CNκ+γ/2,

we obtain for every ξQζ that

|ξ,Bξ|CN7κ/3+2ε/3(HN+1)1/2NcNγ2(N++1)k+1ξ(HN+1)1/2(N++1)kξ+CN8κ+2ε-γ(HN+1)1/2NcNγ(N++1)k+1ξ(HN+1)1/2(N++1)k+1ξ+CNκ+γ/2(HN+1)1/2NcNγ(N++1)k+1ξ(HN+1)1/2(N++1)k+1ξ.

Applying the bounds N+N, NcNγCN-2γK and (6.3) yields on the one hand

(HN+1)1/2NcNγ(N++1)k+1ξ(HN+1)1/2(N++1)k+1ξCGNNcNγ(N++1)k+1ξ(HN+1)1/2(N++1)k+1ξ+CN1+κ/2-γ(HN+1)1/2(N++1)k+1ξ2δξ,(N++1)k+1NcNγGNNcNγ(N++1)k+1ξ+C(δ-1+N1+κ/2-γ)(HN+1)1/2(N++1)k+1ξ2

for any δ>0. Since 8κ+2ε-γ1+κ/2-γ and κ+γ/21+κ/2-γ for all γα if κ<1/43, this implies with the choice δ=14(N8κ+2ε-γ+Nκ+γ/2)-1 that

|ξ,Bξ|CN7κ/3+2ε/3(HN+1)1/2NcNγ2(N++1)k+1ξ(HN+1)1/2(N++1)kξ+C(N1+17κ/2+2ε-γ+N1+3κ/2-γ/2)(HN+1)1/2(N++1)k+1ξ2+14ξ,(N++1)k+1NcNγGNNcNγ(N++1)k+1ξ. 6.21

On the other hand, we can estimate

(HN+1)1/2NcNγ2(N++1)k+1ξN(K+1)1/2NcNγ(N++1)k+1ξ+VN1/2NcNγ2(N++1)k+1ξ. 6.22

Expressing VN in position space, we find, with ϕ=NcNγ(N++1)k+1ξ,

VN1/2NcNγϕ2=dxdyN2-2κV(N1-κ(x-y))aˇxaˇyNcNγϕ2 6.23

We have

aˇxNcNγ=(NcNγ+1)aˇx-a(χˇx)

where

χˇx(y)=χˇ(y-x)=pΛ+:|p|cNγeip·(x-y)

is such that χˇx=χCN3γ/2. Hence, we find

aˇxaˇyNcNγϕNaˇxaˇyϕ+N1/2χˇxaˇyϕ+N1/2χˇyaˇxϕ.

Inserting in (6.23), we find

VN1/2NcNγϕ2CN2VN1/2ϕ2+CN3γ+κN+1/2ϕ2.

From (6.22), we conclude that

(HN+1)1/2NcNγ2N+k+1ξN(HN+1)1/2NcNγ(N++1)k+1ξ

for all γα=14κ+4ε, if κ<1/43. Using now similar arguments as before (6.21), we conclude that together with (6.21), we have

|ξ,Bξ|12ξ,(N++1)k+1NcNγGNNcNγ(N++1)k+1ξ+CN2+10κ/3+2ε/3-γ(HN+1)1/2(N++1)k+1ξ(HN+1)1/2(N++1)kξ+CN2+14κ/3+4ε/3(HN+1)1/2(N++1)kξ2+C(N1+17κ/2+2ε-2γ+N1+3κ/2-γ/2)(HN+1)1/2(N++1)k+1ξ2

Combining this with (6.20), we arrive at

ξ,(N++1)k+1NcNγGNNcNγ(N++1)k+1ξξ2N2-2γζ2+N2+10κ/3+2ε/3-γsupξQζξ,(N++1)2k(HN+1)ξξ21/2×supξQζξ,(N++1)2(k+1)(HN+1)ξξ21/2+CN2+14κ/3+4ε/3supξQζξ,(N++1)2k(HN+1)ξξ2+C(N1+17κ/2+2ε-2γ+N1+3κ/2-γ/2)supξQζξ,(N++1)2(k+1)(HN+1)ξξ2

for all ξQz. With (6.8), we obtain

N-1ξ,(N++1)k+1KNcNγ(N++1)k+1ξξ2CNκ-2γξ,(N++1)k+1K(N++1)k+1ξξ2+CN-κζ2+Nγ+7κ/3+2ε/3supξQζξ,(N++1)2k(HN+1)ξξ21/2×supξQζξ,(N++1)2(k+1)(HN+1)ξξ21/2+CN2γ+11κ/3+4ε/3supξQζξ,(N++1)2k(HN+1)ξξ2+C(N15κ/2+2ε-1+Nκ/2+3γ/2-1)supξQζξ,(N++1)2(k+1)(HN+1)ξξ2.

Applying this bound to (5.8) and recalling that κ<1/43, we conclude that

Nκξ,(N++1)k+1eAeDEMNe-De-A(N++1)k+1ξξ2-CN-εsupξQζξ,(HN+1)(N++1)2(k+1)ξξ2-CN20κ+5εζ2+N44κ+12εsupξQζξ,(N++1)2k(HN+1)ξξ21/2×supξQζξ,(N++1)2(k+1)(HN+1)ξξ21/2.

Therefore, for any δ>0, we find (if N is large enough)

Nκξ,(N++1)k+1eAeDEMNe-De-A(N++1)k+1ξξ2-δsupξQζξ,(HN+1)(N++1)2(k+1)ξξ2-Cδ-1N20κ+5εζ2+N44κ+12ε2supξQζξ,(HN+1)(N++1)2kξξ2.

From the last bound, (6.19) and (6.17), we obtain

ξ,(N++1)2(k+1)(HN+1)ξξ2δsupξQζξ,(N++1)2(k+1)(HN+1)ξξ2+Cδ-1N20κ+5εζ2+N44κ+12ε2supξQζξ.,(N++1)2k(HN+1)ξξ2

for any ξQζ. Taking the supremum over all ξQζ, and choosing δ>0 small enough, we arrive at

supξQζξ,(N++1)2(k+1)(HN+1)ξξ2CN20κ+5εζ2+N44κ+12ε2supξQζξ,(N++1)2k(HN+1)ξξ2CN20κ+5εζ2+N44κ+12ε2k+1

by the induction assumption.

Analysis of MN

This section is devoted to the proof of Proposition 5.1. In Sect. 7.1 we establish bounds on the growth of the number of excitations and of their energy with respect to the action of eD, with the quartic operator D=D1-D1 with

D1=12NrPH,p,qPLηrap+raq-rapaq 7.1

as defined in (5.3). In Sect. 7.2, we compute the different parts of the excitation Hamiltonian MN, introduced in (5.5). Finally, in Sect. 7.3, we conclude the proof of Proposition 5.1.

Growth of Number and Energy of Excitations

The first lemma of this section controls the growth of the number of excitations with high momentum.

Lemma 7.1

Assume the exponents α,β satisfy (5.6). Let kN0, m=1,2,3, 0<γα and c>0 (c<1 if γ=α). Then, there exists a constant C>0 such that

e-sD(N++1)k(NcNγ+1)mesDC(N++1)k(NcNγ+1)m, 7.2

for all s[-1;1] and all NN large enough.

Proof

Since [N+,NcNγ]=0 and [N+,D]=0, it is enough to prove the lemma for k=0. We consider first m=1. For ξF+N, we define the function φξ:RR by

φξ(s)=ξ,e-sD(NcNγ+1)esDξ

so that differentiating yields

sφξ(s)=2ReesDξ,[NcNγ,D1]esDξ 7.3

with D1 as in (7.1). By assumption, NαNα-NβcNγ for sufficiently large NN. This implies that

[NcNγ,ap+r]=ap+r,[NcNγ,aq-r]=aq-r

for rPH and p,qPL, by (2.1) and (2.10). We then compute

[NcNγ,D1]=1NrPH,p,qPLηrap+raq-rapaq-1NrPH,p,qPL,|p|cNγηrap+raq-rapaq. 7.4

and apply Cauchy–Schwarz to obtain

|sφξ(s)|CN(rPH,p,qPL,|p+r|cNγ,|q-r|cNγap+r(NcNγ+1)-1/2aq-resDξ2)1/2×ηH(p,qPLap(NcNγ+1)1/2aqesDξ2)1/2CNκ+3β/2-α/2φξ(s)Cφξ(s). 7.5

Since the bound is independent of ξF+N and it also holds true if we replace D by -D in the definition of φξ, this proves (7.2), for m=1.

For m=3, we define

ψξ(s)=ξ,e-sD(NcNγ+1)3esDξ

with derivative

sψξ(s)=2ReesDξ,[(NcNγ+1)3,D1]esDξ

We have

[(NcNγ+1)3,D1]=3(NcNγ+1)[NcNγ,D1](NcNγ+1)+[NcNγ,[NcNγ,[NcNγ,D1]]]. 7.6

The contribution of the first term on the r.h.s. of (7.6) can be controlled as in (7.5) (replacing esDξ with (NcNγ+1)esDξ). With (7.4) and using again that NαNα-NβcNγ, we obtain that

[NcNγ,[NcNγ,[NcNγ,D1]]]=4NrPH,p,qPLηrap+raq-rapaq-7NrPH,p,qPL,|p|cNγηrap+raq-rapaq+3NrPH,p,qPL,|p|,|q|cNγηrap+raq-rapaq.

All these contributions can be controlled like those in (7.4). We conclude that

|sψξ(s)|Cψξ(s)

This proves (7.2) with m=3. The case m=2 follows by operator monotonicity of the function xx2/3.

Next, we prove bounds for the growth of the low-momentum part of the kinetic energy, defined as in (4.17).

Lemma 7.2

Assume the exponents α,β satisfy (5.6). Let 0<γ1,γ2α, c1,c20 (and cj1 if γj=α, for j=1,2). Then, there exists a constant C>0 such that

e-sDKc1Nγ1esDKc1Nγ1+N2β-1(N12Nα+1)2,e-sDKc1Nγ1(Nc2Nγ2+1)esDKc1Nγ1(Nc2Nγ2+1)+N2β-1(Nc2Nγ2+1)2(N12Nα+1) 7.7

for all s[-1;1] and all NN sufficiently large.

Proof

Fix ξF+N and define φξ:RR by φξ(s)=ξ,e-sDKc1Nγ1esDξ such that

sφξ(s)=2Reξ,e-sD[Kc1Nγ1,D1]esDξ.

We notice that

[Kc1Nγ1,ap+r]=[Kc1Nγ1,aq-r]=0

if rPH and p,qPL, because |r|,|p+r|,|q-r|Nα-Nβ>c1Nγ1 for NN large enough.

Using (2.1), we then compute

[Kc1Nγ1,D1]=-1NrPH,p,qPL:|p|c1Nγ1p2ηrap+raq-rapaq. 7.8

and, using that |p|Nβ for pPL, we obtain with Cauchy–Schwarz

|ξ,e-sD[Kc1Nγ1,D1]esDξ|CNβNrPH,p,qPL:|p|c1Nγ1|p||ηr|ar+paq-resDξapaqesDξCN5β/2+κ-α/2-1/2(N12Nα+1)esDξKc1Nγ11/2esDξ. 7.9

With Lemma 7.1 choosing c=12 and γ=α, this implies for NN large enough that

sφξ(s)CN5β/2+κ-α/2-1/2(N12Nα+1)esDξKc1Nγ11/2esDξCN2β-1ξ,(N12Nα+1)2ξ+Cφξ(s).

This proves the first inequality in (7.7), by Gronwall’s lemma and α>3β+2κ0.

Next, let us prove the second inequality in (7.7). We define ψξ:RR by

ψξ(s)=ξ,e-sDKc1Nγ1(Nc2Nγ2+1)esDξ,

and we compute

sψξ(s)=2Reξ,e-sD[Kc1Nγ1,D1](Nc2Nγ2+1)esDξ+2Reξ,e-sDKc1Nγ1[Nc2Nγ2,D1]esDξ.

First, we proceed as in (7.9) and obtain with (4.7) that

|ξ,e-sD[Kc1Nγ1,D1](Nc2Nγ2+1)esDξ|CNβNrPH,p,qPL:|p|c1Nγ1|p||ηr|ar+paq-r(Nc2Nγ2+1)1/2esDξ×aqap(Nc2Nγ2+1)1/2esDξCN5β/2+κ-α/2-1/2(Nc2Nγ2+1)(N12Nα+1)1/2esDξ×Kc1Nγ11/2(Nc2Nγ2+1)1/2esDξ.

Here, we used in the last step that [aq-r,Nc2Nγ2]=aq-r for rPH, qPL and that Nc2Nγ2NNα-Nβ for NN large enough. The last bound and Lemma 7.1 imply that

|ξ,e-sD[Kc1Nγ1,D1](Nc2Nγ2+1)esDξ|CN2β-1ξ,(Nc2Nγ2+1)2(N12Nα+1)ξ+Cψξ(s). 7.10

Next, we recall the identity (7.4) and that

[Kc1Nγ1,ap+r]=[Kc1Nγ1,aq-r]=0

whenever rPH,p,qPL and NN is sufficiently large. We then obtain

|ξ,e-sDKc1Nγ1[Nc2Nγ2,D1]esDξ|CNrPH,p,qPL,vΛ+:|v|c1Nγ1|v|2|ηr|ar+p(Nc2Nγ2+1)-1/2aq-ravesDξ×apaq(Nc2Nγ2+1)1/2avesDξCN3β/2+κ-α/2esDξ,Kc1Nγ1(Nc2Nγ2+1)esDξCψξ(s). 7.11

Hence, putting (7.10) and (7.11) together, we have proved that

sψξ(s)CN2β-1ξ,(Nc2Nγ2+1)2(N12Nα+1)ξ+Cψξ(s),

which implies the second bound in (7.7), by Gronwall’s lemma.

It will also be important to control the potential energy operator, restricted to low momenta. We define

VN,L=12NuΛ,p,qΛ+:p+u,q+u,p,qPLNκV^(u/N1-κ)ap+uaqapaq+u. 7.12

Notice that VN,L=VN,L by symmetry of the momentum restrictions. To calculate eDVN,Le-D, we will use the next lemma, which will also be useful in the next subsections.

Lemma 7.3

Assume the exponents α,β satisfy (5.6). Let F=(Fp)pΛ+(Λ+) and define

Z=12NuΛ,p,qΛ+:p+u,q+u,p,qPLFuap+uaqapaq+u 7.13

Then, there exists a constant C>0 such that

±(e-sDZesD-Z)CFNβ-1KL(N12Nα+1)+CFN3β-2(N12Nα+1)3 7.14

for all s[-1;1], and for all NN sufficiently large.

Proof

Given ξF+N, we define φξ:RR by

φξ(s)=ξ,e-sDZesDξ,

which has derivative

sφξ(s)=2Reξ,e-sD[Z,D1]esDξ.

By assumption, we have α>3β+2κ so that |r|,|v+r|,|w-r|Nα-Nβ>Nβ if rPH and v,wPL, for sufficiently large NN. This implies in particular that

[apaq+u,av+raw-r]=0

whenever q+u,pPL and rPH, v,wPL. As a consequence, we find

[Z,D1]=-12N2uΛ,rPH,v,wPL:w-u,v+uPLFuηrav+raw-raw-uav+u-1N2uΛ,rPH,v,w,pPL:p+u,v+uPLFuηrav+raw-rap+uawav+uap. 7.15

With (4.7) and Nα-Nβ>12Nα for NN large enough, we can bound

|1N2uΛ,rPH,v,wPL:w-u,v+uPLFuηresDξ,av+raw-raw-uav+uesDξ|CFN2(uΛ,rPH,v,wPL:w-u,v+uPL|v+u|-2av+r(N12Nα+1)-1/2aw-resDξ2)1/2×(uΛ,rPH,v,wPL:w-u,v+uPLηr2|v+u|2aw-u(N12Nα+1)1/2av+uesDξ2)1/2CFN7β/2+κ-α/2-3/2(N12Nα+1)1/2esDξKL1/2(N12Nα+1)1/2esDξ.

and

|1N2uΛ,rPH,v,w,pPL:p+u,v+uPLFuηresDξ,av+raw-rap+uawav+uapesDξ|CFN2(uΛ,rPH,v,w,pPL:p+u,v+uPL|p+u|2|p|-2×av+r(N12Nα+1)-1/2aw-rap+uesDξ2)1/2×(uΛ,rPH,v,w,pPL:p+u,v+uPLηr2|p|2|p+u|-2×aw(N12Nα+1)1/2av+uapesDξ2)1/2CFN5β/2+κ-α/2-1ξ,e-sDKL(N12Nα+1)esDξ.

Lemmas 7.17.2 and the assumption α>3β+2κ0 implies

±sφs(ξ)CFNβ-1ξ,KL(N12Nα+1)ξ+CFN3β-2ξ,(N12Nα+1)3ξ.

Hence, integrating the last equation from zero to s[-1;1] proves the lemma.

With suppΛ|NκV^(p/N1-κ)|CNκ, we obtain immediately the following result.

Corollary 7.4

Assume the exponents α,β satisfy (5.6). Then, there exists a constant C>0 such that

±(e-sDVN,LesD-VN,L)CNβ+κ-1KL(N12Nα+1)+CN3β+κ-2(N12Nα+1)3

for all s[-1;1], and for all NN sufficiently large.

We also need rough bounds for the conjugation of the full potential energy operator VN. To this end, we will make use of the following estimate for the commutator of VN with D=D1-D1, with D1 defined in (7.1).

Proposition 7.5

Assume the exponents α,β satisfy (5.6). Then,

[VN,D]=12NuΛ+,p,qPL:p+u,q-u0Nκ(V^(./N1-κ)η/N)(u)(ap+uaq-uapaq+h.c.)+E[VN,D] 7.16

and there exists a constant C>0 such that

±E[VN,D]δVN+CNα+κ-1VN+CNα+κ-1VN,L+δ-1CNβ+κ-1KL(N12Nα+1)+δ-1CN3β+κ-1(N12Nα+1)2 7.17

for all δ>0 and for all NN sufficiently large.

Proof

We have

[VN,D]=[VN,D1]+h.c.

To compute the commutator [VN,D1], we compute first of all that

[ap+uaqapaq+u,av+raw-ravaw]=ap+uaqaq+uaw-ravawδp,v+r+ap+uaqapaw-ravawδq+u,v+r+ap+uaqav+raq+uavawδp,w-r+ap+uaqav+rapavawδq+u,w-r-av+raw-raqawapaq+uδp+u,v-av+raw-rap+uawapaq+uδq,v-av+raw-ravaqapaq+uδp+u,w-av+raw-ravap+uapaq+uδq,w.

Putting the terms in the first and last line on the r.h.s. into normal order, we obtain

[VN,D1]+h.c.=12NuΛ,v,wPLNκ(V^(./N1-κ)η/N)(u)av+uaw-uavaw+Φ1+Φ2+Φ3+Φ4+h.c., 7.18

where

Φ1=-12N2uΛ,v,wPL,rPHc{0}NκV^((u-r)/N1-κ)ηrav+uaw-uavaw,Φ2=-12N2uΛ,rPH,v,wPLNκV^(u/N1-κ)ηrav+raw-raw-uav+u,Φ3=1N2uΛ,qΛ+,rPH,v,wPLNκV^(u/N1-κ)ηraw-r+uav+raqaq+uavaw,Φ4=-1N2uΛ,qΛ+,rPH,v,wPLNκV^(u/N1-κ)ηrav+raw-raqawav-uaq+u. 7.19

The first term on the r.h.s. in (7.18) appears explicitly in (7.16). Hence, let us estimate the size of the operators Φ1 to Φ4, defined in (7.19).

Starting with Φ1, we switch to position space and find

|ξ,Φ1ξ|1NrPHc{0}|ηr|(Λ2dxdyN2-2κV(N1-κ(x-y))bˇxaˇyξ2)1/2×(Λ2dxdyN2-2κV(N1-κ(x-y))w,vPLeivx+iwyavawξ2)1/2CNα+κ-1VN1/2ξVN,L1/2ξ. 7.20

The term Φ2 on the r.h.s. of (7.19) can be controlled by

|ξ,Φ2ξ|=|1NΛ2dxdyN2-2κV(N1-κ(x-y))×rPH,v,wPLe-iwxe-ivyηrξ,av+raw-raˇxaˇyξ|CN3βηHN(Λ2dxdyN2-2κV(N1-κ(x-y))aˇxaˇyξ2)1/2×(Λ2dxdyN2-2κV(N1-κ(x-y))rPH,v,wPLav+raw-rξ2)1/2CN9β/2+3κ/2-α/2-3/2VN1/2ξ(N12Nα+1)ξ.

Finally, the contributions Φ3 and Φ4 can be bounded as follows. We obtain

|ξ,Φ3ξ|1NΛ2dxdyN2-2κV(N1-κ(x-y))rPH,v,wPL|ηr||ξ,av+raˇxaˇyaˇyavawξ|CN3β/2ηHN(Λ2dxdyN2-2κV(N1-κ(x-y))vPL|v|-2aˇxaˇyξ2)1/2×(Nκ-1Λdxv,wPL|v|2(N12Nα+1)1/2aˇxawavξ2)1/2CN2β+3κ/2-α/2-1/2VN1/2ξKL1/2(N12Nα+1)1/2ξ

as well as

|ξ,Φ4ξ|1NΛ2dxdyN2-2κV(N1-κ(x-y))×rPH,v,wPL|ηr||ξ,av+raw-raˇyawaˇxaˇyξ|CN3β/2ηHN[Λ2dxdyN2-2κV(N1-κ(x-y))aˇxaˇyξ2)1/2×(Nκ-1ΛdyrPH,v,wPLaˇyav+raw-r(N++1)1/2ξ2)1/2CN3β+3κ/2-α/2-1/2VN1/2ξ(N12Nα+1)ξ.

In conclusion, the previous bounds imply with the assumption (5.6) (in particular, since α>3β+2κ and 3β-2<0) that

±(Φ1+Φ2+Φ3+Φ4+h.c.)δVN+CNα+κ-1VN+CNα+κ-1VN,L+δ-1CNβ+κ-1KL(N12Nα+1)+δ-1CN3β+κ-1(N12Nα+1)2 7.21

holds true in F+N for any δ>0. This concludes the proof.

With Proposition 7.5, we obtain a bound for the growth of VN.

Corollary 7.6

Assume the exponents α,β satisfy (5.6). Then, there exists a constant C>0 such that the operator inequality

e-sDVNesDCVN+CVN,L+CNβ+κ-1KL(N12Nα+1)+CN3β+κ(N12Nα+1).

for all s[-1;1] and for all NN sufficiently large.

Proof

We apply Gronwall’s lemma. Given a normalized vector ξF+N, we define φξ(s)=ξ,e-sDVNesDξ and compute its derivative s.t.

sφξ(s)=ξ,e-sD[VN,D]esDξ.

Hence, we can apply (7.16) and estimate

|12NuΛ+,v,wPL:v+u,w-u0Nκ(V^(./N1-κ)η/N)(u)esDξ,av+uaw-uavawesDξ|ηˇN(Λ2dxdyN2-2κV(N1-κ(x-y))aˇxaˇyesDξ2)1/2×(Λ2dxdyN2-2κV(N1-κ(x-y))v,wPLeivx+iwyavawesDξ2)1/2CVN1/2esDξVN,L1/2esDξCφξ(s)+Cξ,e-sDVN,LesDξ. 7.22

Here, we used (3.10), which shows that ηˇCN. Using Corollary 7.4 (recalling that α>3β+2κ and 2β1) and N12NαN in F+N, this simplifies to

|12NuΛ+,v,wPL:v+u,w-u0Nκ(V^(./N1-κ)η/N)(u)esDξ,av+uaw-uavawesDξ|Cφξ(s)+Cξ,VN,Lξ+CNβ+κ-1ξ,KL(N12Nα+1)ξ+CN3β+κξ,(N12Nα+1)ξ.

Together with (7.16), the bound (7.17) (choosing δ=1) and an application of Lemma 7.1 and of Lemma 7.2, the claim follows now from Gronwall’s lemma.

Finally, we need control for the growth of the full kinetic energy operator K. To this end, we need to estimate its commutator with D.

Proposition 7.7

Assume the exponents α,β satisfy (5.6). Let m0R be such that m0β=α (from (5.6) it follows that 3<m0<5). Then,

[K,D]=-12NuΛ,p,qPL:p+u,q-u0Nκ(V^(./N1-κ)f^N)(u)(ap+uaq-uapaq+h.c.)+E[K,D], 7.23

where the self-adjoint operator E[K,D] satisfies

±E[K,D]CN5β/4+κK2N3β/2+δK+Cδ-1j=32m0-1Njβ/2+3β/2+2κ-1KL(N12Njβ/2+1)+Cδ-1Nα+β+2κ-1KL(N12Nm0β+1)+C 7.24

for all δ>0 and for all NN sufficiently large.

Proof

Using that [K,D]=[K,D1]+h.c., a straight forward computation shows that

[K,D1]+h.c.=-12NrΛ,v,wPL:v+r,w-r0Nκ(V^(./N1-κ)f^N)(r)av+raw-ravaw+Σ1+Σ2+Σ3+h.c., 7.25

where

Σ1=12NrPHc{0},v,wPL:v+r,w-r0Nκ(V^(./N1-κ)f^N)(r)av+raw-ravaw,Σ2=12NrPH,v,wPL:v+r,w-r0N3-2κλ(χ^f^N)(r)av+raw-ravaw,Σ3=2NrPH,v,wPL:v+r,w-r0r·vηrav+raw-ravaw. 7.26

Let us estimate the size of the operators Σ1,Σ2 and Σ3. Using |(V^(./N1-κ)f^N)(r)|C, we control the operator Σ1 by

|ξ,Σ1ξ|=|12NrPHc{0},v,wPL:v+r,w-r0Nκ(V^(./N1-κ)f^N)(r)ξ,bv+raw-ravawξ|CNκNrΛ,v,wPL:|r|N3β/2,v+r,w-r0aw-rav+rξavawξ+CNκNj=32m0-1rPHc{0},v,wPL:Njβ/2|r|N(j+1)β/2,v+r,w-r0aw-r(N12Njβ/2+1)-1/2av+rξav(N12Njβ/2+1)1/2awξ+CNκNrPHc{0},v,wPL:Nm0β|r|Nα,v+r,w-r0aw-r(N12Nm0β+1)-1/2av+rξav(N12Nm0β+1)1/2awξ. 7.27

By Cauchy–Schwarz, the first term on the r.h.s. of (7.27) can be controlled by

CNκNrΛ,v,wPL:|r|N3β/2,v+r,w-r0aw-rav+rξavawξCN5β/4+κξ,K2N3β/2ξ.

The second contribution on the r.h.s. of (7.27) can be bounded by

CNκNj=32m0-1rPHc{0},v,wPL:Njβ/2|r|N(j+1)β/2,v+r,w-r0aw-r(N12Njβ/2+1)-1/2av+rξaw(N12Njβ/2+1)1/2avξCj=32m0-1Njβ/4+3β/4+κ-1/2K1/2ξKL1/2(N12Njβ/2+1)1/2ξ. 7.28

Similarly, we find that

CNκNrPHc{0},v,wPL:Nm0β|r|Nα,v+r,w-r0aw-r(N12Nm0β+1)-1/2av+rξaw(N12Nm0β+1)1/2avξCNα/2+β/2+κ-1/2K1/2ξKL1/2(N12Nm0β+1)1/2ξ. 7.29

In summary, the previous three bounds imply that

±Σ1CN5β/4+κK2N3β/2+δK+Cδ-1Nα+β+2κ-1KL(N12Nm0β+1)+Cδ-1j=32m0-1Njβ/2+3β/2+2κ-1KL(N12Njβ/2+1) 7.30

for some constant C>0 and all δ>0.

Next, let us switch to Σ2 and Σ3, defined in (7.26). Since (χ^f^N)(r)=χ^(r)+N-1ηr, with

χ^(r)=4π|r|2sin(|r|)|r|-cos(|r|)

we find

|(χ^f^N)(r)|C|r|-2

This, together with Lemma 3.1(i), Cauchy–Schwarz and α>3β+2κ, implies that

|ξ,Σ2ξ|CNκNrPH,v,wPL:v+r,w-r0|r|-2av+r(N12Nα+1)-1/2aw-rξ×av(N12Nα+1)1/2awξCN-β-1/2(N12Nα+1)1/2ξKL1/2(N12Nα+1)1/2ξ. 7.31

Similarly, we obtain

|ξ,Σ3ξ|CNrPH,v,wPL|r||v||ηr|av+r(N12Nα+1)-1/2aw-rξ×avaw(N12Nα+1)1/2ξCN-1/2K1/2ξKL1/2(N12Nα+1)1/2ξ, 7.32

where we used that |r|/|v+r|2 for rPH, vPL and NN large enough. Combining (7.30), (7.31) and (7.32) and defining E[K,D]=i=13(Σi+h.c.) proves the claim.

Corollary 7.8

Assume the exponents α,β satisfy (5.6). Let m0R be such that m0β=α (3<m0<5 from (5.6)). Then, there exists a constant C>0 such that

e-sDKesDCK+CVN+CVN,L+CN5β/4+κKN3β/2+Cj=32m0-1Njβ/2+3β/2+2κ-1[KL+N2β(N12Nα+1)](N12Njβ/2+1)+CNα+β+2κ-1[KL+N2β(N12Nα+1)](N12Nm0β+1)+CN13β/4+κ 7.33

for all s[-1;1] and for all NN sufficiently large.

Proof

Given ξF+N, we define φξ(s)=ξ,e-sDKesDξ. Differentiation yields

sφξ(s)=ξ,e-sD[K,D]esDξ,

s.t., to bound the derivative of φξ, we can apply Proposition 7.7. Arguing exactly as in (7.22), we obtain with supxΛ|fN(x)|1 the operator inequality

±12NuΛ+,v,wPL:v+u,w-u0Nκ(V^(./N1-κ)f^N)(u)av+uaw-uavawCVN+CVN,L.

Now, the claim follows from the bound (7.24) (choosing δ=1), the previous bound and an application of Corollaries 7.67.4, Lemmas 7.17.2 and the operator bound N12Nα4N-2αK, by Gronwall’s Lemma.

Action of Quartic Renormalization on Excitation Hamiltonian

We compute now the main contributions to MN=e-DJNeffeD. From (4.5) and recalling that [N+,D]=0, we can decompose

MN=4πa0N1+κ-4πa0Nκ-1N+2/N+MN(2)+MN(3)+MN(4) 7.34

where the operators MN(i),i=2,3,4, are defined by

MN(2)=8πa0NκpPHce-DbpbpeD+4πa0NκpPHce-D[bpb-p+bpb-p]eDMN(3)=8πa0NκNpPHc,qPL:p+q0e-D[bp+qa-paq+h.c.]eD,MN(4)=e-DHNeD=e-DKeD+e-DVNeD. 7.35

Analysis of MN(2)

In this section, we determine the main contributions to MN(2), defined in (7.35) by

MN(2)=8πa0NκpPHce-DbpbpeD+4πa0NκpPHce-D[bpb-p+bpb-p]eD 7.36

The main result of this section is the following proposition.

Proposition 7.9

Assume the exponents α,β satisfy (5.6). Then

MN(2)=8πa0NκpPHc[bpbp+12bpb-p+12bpb-p]+EMN(2) 7.37

and there exists a constant C>0 such that

±eAeDEMN(2)e-De-ACN-β-2κK+CNκ 7.38

for all NN sufficiently large.

Proof

We start with the identity

MN(2)-8πa0NκpPHc[bpbp+12bpb-p+12bpb-p]=8πa0Nκ01dtpPHce-tD[bpbp+12bpb-p+12bpb-p,D1]etD+h.c. 7.39

and a straight-forward computation shows that

[bpbp+12bpb-p+12bpb-p,av+raw-rawav]=bv+raw-ravbw(δp,v+r+δp,w-r-δp,v-δp,w)-12bv+rbw-r(δp,wδ-p,v+δ-p,wδp,v)+12bvbw(δp,w-rδ-p,v+r+δ-p,w-rδp,v+r)-12bv+rbw-r(a-pawδp,v+apawδ-p,v+a-pavδp,w+apavδ-p,w)+12(aw-ra-pδp,v+r+av+ra-pδp,w-r+aw-rapδ-p,v+r+av+rapδ-p,w-r)bvbw.

As a consequence, we find that

MN(2)-8πa0NκpPHc[bpbp+12bpb-p+12bpb-p]=01dte-tDj=15(Vj+h.c.)etD, 7.40

where

V1=-8πa0Nκ2NrPH,vPLηrbv+rb-v-r,V2=8πa0Nκ2NrPH,vPL:v+rPHc,v+r0ηrbvb-v,V3=8πa0Nκ2NrPH,v,wPL:v+r,w-r0ηr(-2+χ{r+vPHc}+χ{w-rPHc})bv+raw-ravbw,V4=-8πa0NκNrPH,v,wPL:v+r,w-r0ηrbv+rbw-ra-vaw,V5=8πa0NκNrPH,v,wPL:r-wPHc,v+r,w-r0ηrav+rar-wbvbw. 7.41

Here, χ{pS} denotes as usual the characteristic function for the set SΛ+, evaluated at pΛ+. Let us briefly explain how to bound the different contributions V1 to V5, defined in (7.41). Using Cauchy–Schwarz, the first two contributions are bounded by

±(V1+V2)CN2κ+3β-α/2-1(N12Nα+1)+CN2κ+3β/2-1(KL+1)

where, for V2, we used that v+rPHc implies that |r|Nα+Nβ and furthermore that Nα|r|Nα+Nβ|ηr|Nκ+β. The contributions V3 to V5, on the other hand, can be controlled by

|ξ,(V3+V4+V5)ξ|CNκNrPH,v,wPL:v+r,w-r0|ηr|av+r(N12Nα+1)-1/2aw-rξav(N12Nα+1)1/2awξ+CNκNrPH,v,wPL:v+r,w-r0|ηr|av+r(N12Nα+1)-1/2aw-rawξav(N12Nα+1)1/2ξ+CNκNrPH,v,wPL:v+r,w-r0|ηr|av+rξavawaw-rξCN2κ+3β/2-α/2ξ,(N12Nα+1)ξCNκξ,(N12Nα+1)ξ

for any ξF+N. In conclusion (since 2κ+3β-α/2-1<κ from (5.6)), we have proved that

±j=15(Vj+h.c.)CN2κ+3β/2-1KL+CNκ(N12Nα+1).

Now, applying this bound together with (7.40), Lemmas 4.24.37.17.2 and the operator inequality N12Nα4N-2αK proves the claim.

Analysis of MN(3)

In this section, we determine the main contributions to MN(3), defined in (7.35) by

MN(3)=8πa0NκNpPHc,qPL:p+q0e-D(bp+qa-paq+h.c.)eD. 7.42
Proposition 7.10

Assume the exponents α,β satisfy (5.6). Then, we have that

MN(3)=8πa0NκNpPHc,qPL:p+q0(bp+qa-paq+h.c.)+EMN(3) 7.43

and there exists a constant C>0 such that

±eAeDEMN(3)e-De-ACN-βK+CNα+β/2+2κ-1K(N12Nα+1)+CNα+β/2+2κ 7.44

for all NN sufficiently large.

Proof

Let us define the operator Y:F+NF+N by

Y=8πa0NκNpPHc,qPL:p+q0(bp+qa-paq+h.c.), 7.45

so that MN(3)=e-DYeD. We recall the definition (7.1) and observe that

e-DYeD-Y=01dse-sD[Y,D1]esD+h.c.. 7.46

This implies that it is enough to control the commutator [Y,D1] after conjugation with etD, for any t[-1;1]. Note that, if pPHc,qPL,rPH and v,wPL, we have |v+r|Nα-Nβ>12Nα>Nβ s.t. [a-paq,av+raw-r]=0, for NN large enough. Then, a lengthy but straightforward calculation shows that

[bp+qa-paq,av+raw-ravaw]=-bv+raw-raq(δ-p,wδp+q,v+δ-p,vδp+q,w)-bp+qav+raw-raq(awδ-p,v+avδ-p,w)-b-pav+raw-raq(awδp+q,v+avδp+q,w)

and

[aqa-pbp+q,av+raw-ravaw]=aqavbwδ-p,w-rδp+q,v+r+aqavbwδ-p,v+rδp+q,w-r+aqaw-ravawbp+qδ-p,v+r+aqav+ravawbp+qδ-p,w-r-av+raw-rawa-pbp+qδq,v-av+raw-rava-pbp+qδq,w+aqaw-ra-pavbwδp+q,v+r+aqav+ra-pavbwδp+q,w-r.

As a consequence, we conclude that

[Y,D1]+h.c.=i=16(Ψi+h.c.), 7.47

where

Ψ1=-8πa0NκN3/2rPH,v,wPL:v+wPLηrbv+raw-rav+w,Ψ2=8πa0NκN3/2rPH,v,wPL:v+r,r-wPHc,v+wPLηrav+wavbw,Ψ3=-16πa0NκN3/2rPH,q,v,wPLηrbq-vav+raw-raqaw,Ψ4=8πa0NκN3/2rPH,q,v,wPL:v+rPHcηraqaw-ravawbq-v-r,Ψ5=8πa0NκN3/2rPH,q,v,wPL:v+r-qPHcηraqaw-ravawbq-v-r,Ψ6=-8πa0NκN3/2pPHc,rPH,v,wPLηrav+raw-rawa-pbp+v. 7.48

Let us explain how to control the operators Ψ1 to Ψ6, defined in (7.48). We start with Ψ1. Given ξF+N, we find that

|ξ,Ψ1ξ|=|8πa0NκN3/2rPH,v,wPLηrξ,bv+raw-rav+wξ|CNκN3/2rPH,v,wPL|ηr|(N12Nα+1)-1/2av+raw-rξ(N12Nα+1)1/2av+wξCN3β+2κ-α/2-1ξ,(N12Nα+1)ξCN3β/2+κ-1ξ,(N12Nα+1)ξ.

The contribution Ψ2 can be bounded by

|ξ,Ψ2ξ|=|8πa0NκN3/2rPH,v,wPL:v+rPHcηrξav+wavbwξ|CNβ/2+κ-1ξ,K2NβξNα|r|Nα+Nβ|ηr|CN3β/2+2κ-1ξ,K2Nβξ.

Notice here, that we used that |r|Nα+Nβ if r+vPHc and vPL. Next, we apply as usual Cauchy–Schwarz to estimate the terms Ψ3 to Ψ5 by

|ξ,Ψ3ξ+ξ,Ψ4ξ+ξ,Ψ5ξ|CN3β+2κ-α/2ξ,(N12Nα+1)ξCN3β/2+κξ,(N12Nα+1)ξ

for all α>3β+2κ. Finally, the term Ψ6 can be controlled by

|ξ,Ψ6ξ|=|8πa0NκN3/2pPHc,rPH,v,wPLηrξ,av+raw-rawa-pbp+vξ|CNκ-3/2pPHc,rPH,v,wPL|w|-1(NNα/2+1)-1/2av+raw-rξ×|w||ηr|awa-pbp+v(NNα/2+1)1/2ξCNα+β/2+2κ-1ξ,KL(N12Nα+1)ξ+CNα+β/2+2κξ,(N12Nα+1)ξ.

In conclusion, the previous estimates show that

±[i=16(Ψi+h.c.)]CN3β/2+2κ-1K2Nβ+CNα+β/2+2κ-1KL(N12Nα+1)+CNα+β/2+2κ(N12Nα+1),

so that, together with (7.46) and (7.47), an application of the Lemmas 4.24.37.17.2 and the operator bound N12Nα4N-2αK proves the claim.

Analysis of MN(4)

In this section, we determine the main contributions to MN(4)=e-DHNeD, defined in (7.35). To this end, we start with the observation that

MN(4)=HN+01dse-sD([K,D1]+[VN,D1])esD+h.c., 7.49

with D1 defined in (7.1). By Propositions 7.5 and 7.7, this implies that

MN(4)=HN-Nκ2NrΛ,v,wPL:v+r,w-r001dsV^(r/N1-κ)e-sD(av+raw-ravaw+h.c.)esD+01dse-sD(E[K,D]+E[VN,D])esD, 7.50

where we used that V^(·/N1-κ)(f^N-η/N)(r)=V^(·/N1-κ)(r) for all rΛ+. Moreover, the operators E[VN,D] and E[K,D] are explicitly given by

E[VN,D]=i=14(Φi+h.c.),E[K,D]=j=13(Σj+h.c.) 7.51

where we recall the definitions (7.19) and (7.26). Let us analyze the different contributions in (7.50), separately. We start with the second term on the r.h.s. of (7.50).

Proposition 7.11

Assume the exponents α,β satisfy (5.6). Then, we have

12NuΛ,p,qPL:p+u,q-u0NκV^(r/N1-κ)e-sD(ap+uaq-uapaq+h.c.)esD=12NuΛ,p,qPL:p+u,q-u0NκV^(r/N1-κ)(ap+uaq-uapaq+h.c.)+sNuΛ,v,wPL:v+u,w-uPLNκ(V^(./N1-κ)η/N)(u)av+uaw-uavaw+E1(s)+E2(s) 7.52

and there exists a constant C>0 s.t. E1(s) and E2(s) satisfy

±E1(s)C(Nα+β+2κ-1+N-3β-3κ)K+CN2β+κ,±E2(s)CNβ+κ-1KL(N12Nα+1)+C(N-β-κ+CN3β/2+κ/2-1)0sdte-tDVNetD+CN2β+2κ-10sdte-tDK2Nβ(N12Nα+1)etD, 7.53

for all δ>0, s[-1;1] and for all NN sufficiently large.

Proof

For definiteness, let us denote by W:F+NF+N the operator

W=12NuΛ,p,qPL:p+u,q-u0NκV^(u/N1-κ)(ap+uaq-uapaq+h.c.) 7.54

and consider the identity

e-sDWesD-W=0sdte-tD[W,D1]etD+h.c.=12N0sdtuΛ,p,qPL:p+u,q-u0NκV^(r/N1-κ)e-tD[(ap+uaq-uapaq+h.c.),D1]etD+h.c. 7.55

Now, observe that

[ap,av+r]=[aq,av+r]=[ap,aw-r]=[aq,aw-r]=0

for all p,qPL and rPH, v,wPL and NN sufficiently large. Then, proceeding as in the proof of Proposition 7.5, we obtain

[ap+uaq-uapaq,av+raw-ravaw]=-av+raw-raq-uawapaqδp+u,v-av+raw-rap+uawapaqδq-u,v-av+raw-ravaq-uapaqδp+u,w-av+raw-ravap+uapaqδq-u,w. 7.56

and

[apaqap-uaq+u,av+raw-ravaw]=apaqaq+uaw-ravawδp-u,v+r+apaqap-uaw-ravawδq+u,v+r+apaqav+raq+uavawδp-u,w-r+apaqav+rap-uavawδq+u,w-r-av+raw-raqawap-uaq+uδp,v-av+raw-rapawap-uaq+uδq,v-av+raw-ravaqap-uaq+uδp,w-av+raw-ravapap-uaq+uδq,w. 7.57

Combining the last two identities and putting non-normally ordered contributions into normal order, we find that

[W,D1]+h.c.=1NuΛ,v,wPL:v+u,w-uPLNκ(V^(./N1-κ)η/N)(u)av+uaw-uavaw+j=16(ζj+h.c.), 7.58

where

ζ1=-12N2uΛ,v,wPL:v+u,w-uPL,rPHc{0}NκV^((u-r)/N1-κ)ηrav+uaw-uavaw,ζ2=-12N2uΛ,rPH,v,wPL:w-u,v+uPLNκV^(u/N1-κ)ηrav+raw-raw-uav+u,ζ3=-12N2uΛ,rPH,v,wPLNκV^(u/N1-κ)ηrav+raw-raw-uav+u,ζ4=-1N2uΛ,rPH,v,w,qPL:v-uPLNκV^(u/N1-κ)ηrav+raw-raq-uawav-uaq,ζ5=1N2uΛ,rPH,v,w,qPL:v+r+uPLNκV^(u/N1-κ)ηrav+r+uaqaw-raq+uavaw,ζ6=-1N2uΛ,rPH,v,w,qPLNκV^(u/N1-κ)ηrav+raw-raqawav-uaq+u. 7.59

Let us briefly explain how to control the operators ζ1 to ζ6, defined in (7.2.3).

Noting that v+uPL implies |u|2Nβ whenever vPL, the first two contributions ζ1 and ζ2 in (7.2.3) can be controlled by

|ξ,ζ1ξ|+|ξ,ζ2ξ|CNκ2N2uΛ,v,wPL:v+u,w-uPL,rPHc{0}|ηr||w-u||v|av+uaw-uξ|v||w-u|avawξ+CNκ2N2uΛ,rPH,v,wPL:w-u,v+uPL|ηr|av+r(N12Nα+1)-1/2aw-rξ×aw-u(N12Nα+1)1/2av+uξCNα+β+2κ-1ξ,K2Nβξ+N7β/2+2κ-α/2-1ξ,(N12Nα+1)ξ+N7β/2+2κ-α/2-2ξ,K2Nβ(N12Nα+1)ξCNα+β+2κ-1ξ,K2Nβξ+CN2β+κ-1ξ,(N12Nα+1)ξ. 7.60

By switching to position space, the term ζ3 can be bounded by

|ξ,ζ3ξ|CN3β/2+κ-α/2-1(Λ2dxdyN2-2κV(N1-κ(x-y))aˇxaˇyξ2)1/2×(Λ2dxdyN2-2κV(N1-κ(x-y))rPH,wPLvPLeivxav+raw-rξ2)1/2CN3β/2+κ-α/2-1VN1/2ξ(Nκ-1ΛdxrPH,wPLvPLeivxav+raw-rξ2)1/2CN3β/2+κ/2-1ξ,VNξ+CN3β/2+κ/2.

We proceed similarly as above for the terms ζ4 and ζ5 which yields

|ξ,ζ4ξ|+|ξ,ζ5ξ|CNκN2uΛ,rPH,v,w,qPL:v-uPL|q|-1|q-u|av+r(N12Nα+1)-1/2aw-raq-uξ×|ηr||q||q-u|-1aw(N12Nα+1)1/2av-uaqξ+CNκN2uΛ,rPH,v,w,qPL:v+r+uPL(|q||v|-1av+r+uaqaw-rξ)(|ηr||q|-1|v|aq+uavawξ)CN5β/2+2κ-α/2-1ξ,K3Nβ(N12Nα+1)ξCNβ+κ-1ξ,K3Nβ(N12Nα+1)ξ, 7.61

where, for ζ5, we used that v+r+uPL implies that |u|34Nα, and thus |q+u|12Nα, whenever v,qPL, rPH and NN sufficiently large (otherwise |v+r+u|14Nα-Nβ>Nβ for large enough NN). Finally, ζ6 can be controlled by

|ξ,ζ6ξ|=|1NrPH,v,w,qPLΛ2N2-2κV(N1-κ(x-y))e-ivx-iqyηrξ,av+raw-raqawaˇxaˇyξ|CNβ/2+κ-α/2-1/2VN1/2ξ(Nκ-1ΛdxrPH,w,qPL|q|vPLe-ivxav+raw-raqξ2)1/2CNβ/2+κ/2-1/2VN1/2ξKL1/2(N12Nα+1)1/2ξ

In summary, the previous estimates show that

±j=16(ζj+h.c.)δVN+CN3β/2+κ/2-1VN+CNα+β+2κ-1K2Nβ+CN2β+κ+C(1+δ-1)Nβ+κ-1K3Nβ(N12Nα+1) 7.62

for all δ>0. On the other hand, by Lemma 7.3, we also know that

±[1NuΛ,v,wPL:v+u,w-uPLNκ(V^(./N1-κ)η/N)(u)0sdte-tDav+uaw-uavawetD-sNuΛ,v,wPL:v+u,w-uPLNκ(V^(./N1-κ)η/N)(u)av+uaw-uavaw]CN-3β-3κK+CN3β+κ-2+CNβ+κ-1KL(N12Nα+1). 7.63

Now, going back to (7.55), the bounds (7.62) and (7.63) imply that

e-sDWesD=W+sNuΛ,v,wPL:v+u,w-uPLNκ(V^(./N1-κ)η/N)(u)av+uaw-uavaw+E1(s)+E2(s,δ), 7.64

where the self-adjoint operators E1(s) and E2(s) are bounded by

±E1(s)C(Nα+β+2κ-1+N-3β-3κ)K+CN2β+κ,

as well as

±E2(s,δ)CNβ+κ-1KL(N12Nα+1)+C(δ+CN3β/2+κ/2-1)0sdte-tDVNetD+C(1+δ-1)Nβ+κ-10sdte-tDK2Nβ(N12Nα+1)etD,

for all δ>0 and uniformly in s[-1;1]. Defining E2(s)=E2(s,N-β-κ), this concludes the proof.

Equipped with Proposition 7.11, we go back to (7.50) and conclude that

MN(4)HN-12NrΛ,v,wPL:v+r,w-r0V^(r/N1-κ)(av+raw-ravaw+h.c.)-12NuΛ,v,wPL:v+u,w-uPLNκ(V^(./N1-κ)η/N)(u)av+uaw-uavaw-18K-CN2β+κ+01dsE2(s)+01dse-sD(E[VN,D]+E[K,D])esD, 7.65

for all α3β+2κ0 with α+β+2κ-1<0, 0κ<β and NN large enough.

Next, let us analyse the error terms related to E2(s) and E[VN,D] further. The bounds (7.53) and (7.21) (with δ=cN-β-κ for a sufficiently small c>0; this choice guarantees that we can extract the term VN,L in (7.66), with an error that can be absorbed in K) imply, together with Lemmas 7.17.2, Corollaries 7.4 and 7.6 and with the assumption (5.6) on the exponents α,β, that

01ds(eDE2(s)e-D+e(1-s)DE[VN,D]e-(1-s)D)-CN2β+2κ-1KL(N12Nα+1)-C~N-β-κ(VN+VN,L)-CN2β(N12Nα+1)-CN4β+2κ-1(N12Nα+1)2

for all NN large enough and for an arbitrarily small constant C~>0. With Corollary 7.4 and (7.65), we conclude that

MN(4)HN-12NrΛ,v,wPL:v+r,w-r0V^(r/N1-κ)(av+raw-ravaw+h.c.)-12NuΛ,v,wPL:v+u,w-uPLNκ(V^(./N1-κ)η/N)(u)av+uaw-uavaw-14K-CN2β+κ-C~N-β-κVN,L+01dse-sDE[K,D]esD+EMN(41), 7.66

where the error EMN(41) is such that

eDEMN(41)e-D-CN2β+2κ-1KL(N12Nα+1)-CN-β-κVN-CN2βN12Nα-CN4β+2κ-1N12Nα2

Applying Lemmas 4.24.3 and Corollary 4.5, we deduce with the operator inequality N12Nα4N-2αK that

eAeDEMN(41)e-De-A-CN-βK-CN-β-κVN-CN2β+2κ-1-CN2β+2κ-1KN12Nα 7.67

for all NN large enough.

Now, we switch to the contribution containing the operator E[K,D] on the r.h.s. of the lower bound (7.66). We recall once again that

01dse-sDE[K,D]esD=01dsj=13e-sD(Σj+h.c.)esD,

where the operators Σ1,Σ2 and Σ3 were defined in (7.26). It turns out that Σ2 and Σ3 are negligible errors while Σ1 still contains an important contribution of leading order. We start with the analysis of the contribution related to Σ1.

Proposition 7.12

Assume the exponents α,β satisfy (5.6). Then, we have that

12NuPHc{0},p,qPL:p+u,q-u0Nκ(V^(/N1-κ)f^N)(u)e-sD(ap+uaq-uapaq+h.c.)esD=12NuPHc{0},p,qPL:p+u,q-u0Nκ(V^(/N1-κ)f^N)(u)(ap+uaq-uapaq+h.c.)+E3(s) 7.68

and there exists a constant C>0 such that

±eAeDE3(s)e-De-ACNα+β+2κ-1K+CNα+β+2κ-1KN12Nα+CN4β+2κ+CNα+3β+2κ-1 7.69

for all s[-1;1] and for all NN sufficiently large.

Proof

We proceed as in Proposition 7.11 and recall Σ1:F+NF+N to be

Σ1=12NuPHc{0},p,qPL:p+u,q-u0Nκ(V^(/N1-κ)f^N)(u)(ap+uaq-uapaq+h.c.).

We then have

e-sDΣ1esD-Σ1=0sdte-tD[Σ1,D1]etD+h.c. 7.70

Similarly as in (7.58) and (7.2.3), we find that

[Σ1,D1]+h.c.=i=18(Γi+h.c.), 7.71

where

Γ1=1N2uPHc{0},rPH,v,wPL:v+u+r,w-u-rPLNκ(V^(./N1-κ)f^N)(u)ηrav+u+raw-u-ravaw,Γ2=-12N2uPHc{0},rPH,v,wPL:w-u,v+uPLNκ(V^(./N1-κ)f^N)(u)ηrav+raw-raw-uav+u,Γ3=-12N2uPHc{0},rPH,v,wPLNκ(V^(./N1-κ)f^N)(u)ηrav+raw-raw-uav+u,Γ4=-1N2uPHc{0},rPH,v,w,qPL:v-uPLNκ(V^(./N1-κ)f^N)(u)ηrav+raw-raq-uawav-uaq,Γ5=1N2uPHc{0},rPH,v,w,qPL:v+r+uPLNκ(V^(./N1-κ)f^N)(u)ηrav+r+uaqaw-raq+uavaw,Γ6=-1N2uPHc{0},rPH,v,w,qPLNκ(V^(./N1-κ)f^N)(u)ηrav+raw-raqawav-uaq+u.

The operators Γ1 to Γ6 can be bounded similarly as in the proof of Proposition 7.11. Let us start with Γ1. Applying as usual Cauchy-Schwarz implies that

|ξ,Γ1ξ|CNκN2uPHc{0},rPH,v,wPL:v+u+r,w-u-rPL(|v|-1av+u+raw-u-rξ)(|ηr||v|avawξ)CNα/2+5β/2+2κ-1/2ξKL1/2ξCNα+β+2κ-1ξ,KLξ+CN4β+2κξ2

where we used that v+u+rPL implies |u|Nα-3Nβ and |r|Nα+3Nβ whenever uPHc,rPH and vPL (otherwise |u+r+v||r|-|u|-Nβ2Nβ>Nβ if either |u|Nα-3Nβ or |r|Nα+3Nβ, in contradiction to u+r+vPL) for NN sufficiently large. Notice in addition that Nα-3Nβ|u|NαCN2α+β.

The term Γ2 can be estimated exactly as the term ζ2 in (7.60), that is

|ξ,Γ2ξ|CNα+β+2κ-1ξ,K2Nβξ+CN2β+κ-1ξ,(N12Nα+1)ξ.

The contribution Γ3 can be controlled by

|ξ,Γ3ξ|CNκ2N2uPHc{0},rPH,v,wPL|ηr|av+r(N12Nα+1)-1/2aw-rξaw-u(N12Nα+1)1/2av+uξCNα+3β+2κ-1ξ,(N12Nα+1)ξ.

The terms Γ4 and Γ5 can be bounded exactly as in (7.61). We find

|ξ,Γ4ξ|+|ξ,Γ5ξ|CNβ+κ-1ξ,K2Nβ(N12Nα+1)ξ,

Finally, the last contribution Γ6 is bounded by

|ξ,Γ6ξ|CNκN2uPHc{0},rPH,v,w,qPL(|q||w|-1av+r(N12Nα+1)-1/2aw-raqξ)×(|ηr||w||q|-1av-u(N12Nα+1)1/2awaq+uξ)CNα+β+2κ-1ξ,KL(N12Nα+1)ξ.

In conclusion, the above estimates imply that

±i=16(Γi+h.c.)CNα+β+2κ-1K2Nβ+CNα+β+2κ-1K2Nβ(N12Nα+1)+CNα+3β+2κ-1(N12Nα+1)+CN4β+2κ

for all α>3β+2κ0 and for all NN sufficiently large. Combining this estimate with the identites (7.70) and (7.71), and applying Lemmas 4.24.37.1 as well as Lemma 7.2 together with the operator inequality N12Nα4N-2αK proves the proposition.

Applying Proposition 7.12 to the lower bound (7.66) and defining EMN(42)=01dsE3(s) with E(s) from Proposition 7.12, we conclude that

MN(4)HN-12NrΛ,v,wPL:v+r,w-r0V^(r/N1-κ)(av+raw-ravaw+h.c.)-12NuΛ,v,wPL:v+u,w-uPLNκ(V^(./N1-κ)η/N)(u)av+uaw-uavaw+12NuPHc{0},p,qPL:p+u,q-u0Nκ(V^(/N1-κ)f^N)(u)(ap+uaq-uapaq+h.c.)-14K-CN-β-κVN,L+EMN(41)+EMN(42)+01dse-sD(Σ2+Σ3+h.c.)esD, 7.72

where EMN(41) satisfies the lower bound (7.67), EMN(42) satisfies the bound (7.69) and where the operators Σ2 and Σ3 were defined in (7.26).

Let us finally estimate the size of the error in the last line of (7.72), involving the two operators Σ2 and Σ3. Using the estimate (7.31) together with Lemmas 4.24.37.1 and 7.2, we find for EMN(43)=01dse-sD(Σ2+h.c.)esD

eAeDEMN(43)e-De-A-CN-β-1KN12Nα-CN-5β-4κK-CNβ. 7.73

Finally, consider the operator EMN(44)=01dse-sD(Σ3+h.c.)esD, with Σ3 defined in (7.26). Let m0R be such that m0β=α (in particular, m03). Here, we use the bound (7.32) to find first of all that

EMN(44)-01dsK1/2esDξ(N-1/2KL1/2(N12Nα+1)1/2ξ+Nβ-1(N12Nα+1)3/2ξ)

for any ξF+N with ξ=1. Notice that we applied once again Lemmas 7.1 and 7.2 in the second factor. With Corollary 7.8, the first factor is bounded by

EMN(44)-C(K1/2ξ+VN1/2ξ+VN,L1/2ξ+N5β/8+κ/2KN3β/21/2ξ+N-1/2KL1/2(N12Nα+1)1/2ξ+N3β/2+κ/2+j=32m0-1Njβ/4+3β/4+κ-1/2[KL1/2(N12Njβ/2+1)1/2ξ+Nβ(N12Nα+1)1/2(N12Njβ/2+1)1/2ξ]+Nα/2+β/2+κ-1/2[KL1/2(N12Nm0β+1)1/2ξ+Nβ(N12Nα+1)1/2(N12Nm0β+1)1/2ξ])×(N-1/2KL1/2(N12Nα+1)1/2ξ+Nβ-1(N12Nα+1)3/2ξ)

for all exponents α,β satisfying (5.6) and NN sufficiently large. It follows that

EMN(44)EMN(441)+EMN(442)+EMN(443), 7.74

where

EMN(441)=-18K-C~N-αVN,L-CN3β+κ,EMN(442)=N-αVN 7.75

with an arbitrarily small constant C~>0 and where after an additional application of Lemmas 4.24.37.1 and 7.2 together with the operator bound NΘΘ-2K, the error EMN(443) is such that

eAeDEMN(443)e-De-A-CNα+β+2κ-1K-CNα-1KN12Nα-CNα+3β+2κ-1-Cj=32m0-1Njβ/2+β/2+2κ-1KN12Njβ/2-CNα+β+2κ-1KN12Nm0β 7.76

for all exponents α,β satisfying (5.6) and NN sufficiently large.

Choosing C~>0 sufficiently large (but independently of NN) and arguing as right before (7.66), we deduce that

eA(C~N-αeDVN,Le-D+eDEMN(442)e-D)e-A-CN-αVN-CN-3β-κN+-CN-2β-κ-1KN12Nα 7.77

for all α,β satisfying (5.6) and NN sufficiently large. This follows through another application of Corollaries 4.57.4 and 7.6, together with Lemmas 4.24.37.1 and 7.2. We summarize these bounds in the following corollary.

Corollary 7.13

Let m0R be such that m0β=α and let MN(4) be defined as in (7.35). For every C~>0, there exists a constant C>0 such that

MN(4)12K+VN-12NrΛ,v,wPL:v+r,w-r0V^(r/N1-κ)(av+raw-ravaw+h.c.)-12NuΛ,v,wPL:v+u,w-uPLNκ(V^(./N1-κ)η/N)(u)av+uaw-uavaw+12NuPHc{0},p,qPL:p+u,q-u0Nκ(V^(/N1-κ)f^N)(u)(ap+uaq-uapaq+h.c.)-C~N-β-κVN,L+EMN(4) 7.78

where

eAeDEMN(4)e-De-A-CN-βK-CN-β-κVN-CNα+β+2κ-1KN12Nm0β-Cj=32m0-1Njβ/2+β/2+2κ-1KN12Njβ/2-CN2β+κ 7.79

for all exponents α,β satisfying (5.6) and for all NN sufficiently large.

Proof

The proof follows from defining EMN(4)=j=13EMN(4j)+j=13EMN(44j) and combining (7.67), (7.72), (7.69), (7.73), (7.74), (7.75), (7.77), (7.76) and the operator bound N+(2π)-2K in F+N.

Proof of Proposition 5.1

Recall from (7.34) the decomposition

MN=4πa0N1+κ-4πa0Nκ-1N+2/N+MN(2)+MN(3)+MN(4)

Collecting the results of Propositions 7.97.10 and Corollary 7.13, we deduce that

MN4πa0N1+κ-4πa0Nκ-1N+2+8πa0NκpPHc[bpbp+12bpb-p+12bpb-p]+8πa0NκNpPHc,qPL:p+q0[b-pap+qaq+h.c.]+12K+VN-12NrΛ,v,wPL:v+r,w-r0V^(r/N1-κ)(av+raw-ravaw+h.c.)-12NrΛ,v,wPL:v+r,w-rPLNκ(V^(./N1-κ)η/N)(r)av+raw-ravaw+12NrPHc{0},v,wPL:v+r,w-r0Nκ(V^(./N1-κ)f^N)(r)(av+raw-ravaw+h.c.)-C~N-β-κVN,L+EMN, 7.80

where EMN satisfies the lower bound

eAeDEMNe-De-A-CN-βK-CN-β-κVN-CNα+β+2κ-1KN12Nm0β-Cj=32m0-1Njβ/2+β/2+2κ-1KN12Njβ/2-CNα+β/2+2κ 7.81

for all NN sufficiently large.

We combine next the terms on the third, fourth and fifth lines in (7.3). We first notice that

12NrΛ,v,wPL:v+r,w-r0V^(r/N1-κ)(av+raw-ravaw+avawaw-rav+r)=12NrΛ,v,wΛ+:v,wPL,v+r,w-r0V^(r/N1-κ)av+raw-ravaw+12NrΛ,v,wΛ+:v+r,w-rPLV^(r/N1-κ)av+raw-ravaw=12NrΛ,v,wΛ+:(v,w)PL2or(v+r,w-r)PL2V^(r/N1-κ)av+raw-ravaw+12NrΛ,v,wΛ+:(v,w,v+r,w-r)PL4V^(r/N1-κ)av+raw-ravaw 7.82

Arguing in the same way for the contribution on the fifth line in (7.3), using that (f^N-η/N)(p)=δp,0 for all pΛ+, and using that vPL and v+rPL implies in particular that rPHc, we therefore obtain that

VN-12NrΛ,v,wΛ+:(v,w)PL2or(v+r,w-r)PL2V^(r/N1-κ)av+raw-ravaw-12NrΛ,v,wΛ+:(v,w,v+r,w-r)PL4V^(r/N1-κ)av+raw-ravaw-12NrΛ,v,wPL:v+r,w-rPLNκ(V^(./N1-κ)η/N)(r)av+raw-ravaw+12NrPHc{0},v,wPL:v+r,w-r0Nκ(V^(/N1-κ)f^N)(r)(av+raw-ravaw+h.c.)=VN-12NrΛ,v,wΛ+:(v,w)PL2or(v+r,w-r)PL2V^(r/N1-κ)av+raw-ravaw+12NrPHc{0},v,wPL:(v,w)PL2or(v+r,w-r)PL2Nκ(V^(/N1-κ)f^N)(r)av+raw-ravaw. 7.83

Now, notice furthermore that

VN-12NrΛ,v,wΛ+:(v,w)PL2or(v+r,w-r)PL2V^(r/N1-κ)av+raw-ravaw=12NrΛ,v,wΛ+:(v,w)(PL2)cand(v+r,w-r)(PL2)cV^(r/N1-κ)av+raw-ravaw,

such that, after switching to position space, the pointwise positivity V0 implies

VN-12NrΛ,v,wΛ+:(v,w)PL2or(v+r,w-r)PL2V^(r/N1-κ)av+raw-ravaw=Λ2dxdyN2-2κV(N1-κ(x-y))×[a((χˇPLc)x)a((χˇPLc)y)+a((χˇPL)x)a((χˇPLc)y)+a((χˇPLc)x)a((χˇPL)y)]×[a((χˇPLc)x)a((χˇPLc)y)+a((χˇPL)x)a((χˇPLc)y)+a((χˇPLc)x)a((χˇPL)y)]0. 7.84

Here, we used that Λ+=PLPLc and we denote by χˇS the distribution which has Fourier transform χS, the characteristic function of the set SΛ+.

Combining (7.3), (7.3), (7.3) and (7.84), it follows that

MN4πa0N1+κ-4πa0Nκ-1N+2+8πa0NκpPHc[bpbp+12bpb-p+12bpb-p]+8πa0NκNpPHc,qPL:p+q0[b-pap+qaq+h.c.]+12K+12NrPHc{0},v,wPL:(v,w)PL2or(v+r,w-r)PL2Nκ(V^(./N1-κ)f^N)(r)av+raw-ravaw-C~N-β-κVN,L+EMN 7.85

Using Lemma 3.1, part ii), we have (V^(./N1-κ)f^N)(0)=8πa0+O(Nκ-1). This implies

MN4πa0N1+κ+8πa0NκpPHc[bpbp+12bpb-p+12bpb-p]+8πa0NκNpPHc,qPL:p+q0[b-pap+qaq+h.c.]+12K+12NrPHc,v,wPL:(v,w)PL2or(v+r,w-r)PL2Nκ(V^(./N1-κ)f^N)(r)av+raw-ravaw-C~N-β-κVN,L+EMN, 7.86

where, by (7.81) and Lemmas 4.2 and 7.1,

eAeDEMNe-De-A-CN-βK-CN-β-κVN-CNα+β+2κ-1KN12Nm0β-Cj=32m0-1Njβ/2+β/2+2κ-1KN12Njβ/2-CNα+β/2+2κ 7.87

Similarly, for rPHc, we know that

|(V^(./N1-κ)f^N)(r)-8πa0|CNα+κ-1.

Therefore, proceeding exactly as between (7.27) and (7.30), with (V^(./N1-κ)f^N)(r) replaced by |(V^(/N1-κ)f^N)(r)-8πa0|, we deduce that

MN4πa0N1+κ+12K+8πa0NκpPHc[bpbp+12bpb-p+12bpb-p]+8πa0NκNpPHc,qPL:p+q0[b-pap+qaq+h.c.]+4πa0NκNrPHc,v,wPL:(v,w)PL2or(v+r,w-r)PL2av+raw-ravaw-C~N-β-κVN,L+EMN, 7.88

with EMN satisfying the same bound (7.87) as EMN. Here we used Lemmas 4.24.37.1 and 7.2, as well as the assumption (5.6).

Finally, recalling the definition (5.1) and the identity (5.2), we find

MN4πa0N1+κ+12K+8πa0NκpPHc[bpbp+12bpb-p+12bpb-p]+8πa0NκpPHc[b-pe-p+e-pb-p+b-pep+epb-p+b-pcp+cpb-p]+4πa0NκNrPHc,v,wPL:(v,w)PL2or(v+r,w-r)PL2av+raw-ravaw-C~N-β-κVN,L+EMN. 7.89

To express also the first term in the third line of (7.89) in terms of the modified creation and annihilation fields defined in (5.1), we first observe that

4πa0NκNrPHc,v,wPL:(v,w)PL2or(v+r,w-r)PL2av+raw-ravaw=4πa0NκNrPHcv,wPL:(v,w)PL2or(v+r,w-r)PL2av+ravaw-raw-4πa0NκNrPHc,vPL:(v,v+r)PL2av+rav+r4πa0NκNrPHcv,wPL:(v,w)PL2or(v+r,w-r)PL2av+ravaw-raw-CN3β+κ-1N+-C.

Then, for a fixed rPHc, we have that

{(v,w)Λ+×Λ+:(v,w)PL2or(v+r,w-r)PL2}=j=17Sj,

where

S1={(v,w)Λ+×Λ+:vPL,wPL,v+rPL,w-rPL},S2={(v,w)Λ+×Λ+:vPL,wPL,v+rPL,w-rPLc},S3={(v,w)Λ+×Λ+:vPL,wPL,v+rPLc,w-rPL},S4={(v,w)Λ+×Λ+:vPL,wPL,v+rPLc,w-rPLc},S5={(v,w)Λ+×Λ+:vPLc,wPL,v+rPL,w-rPL},S6={(v,w)Λ+×Λ+:vPL,wPLc,v+rPL,w-rPL},S7={(v,w)Λ+×Λ+:vPLc,wPLc,v+rPL,w-rPL}.

In particular, the union j=17Sj is a disjoint union. As a consequence, we find that

4πa0NκNrPHcv,wPL:(v,w)PL2or(v+r,w-r)PL2av+ravaw-raw=8πa0NκrPHc[erc-r+c-rer+12dre-r+12e-rer+12crc-r+12c-rcr]+8πa0NκrPHc[erer+crer+ercr].

Inserting in (7.88), we obtain

MN4πa0N1+κ+12K+8πa0NκrPHc(br+cr+er)(br+cr+er)+4πa0NκrPHc[(br+cr+er)(b-r+c-r+e-r)+h.c.]-8πa0NκrPHccrcr+brcr+crbr-C~N-β-κVN,L+EMN 7.90

with

eAeDEMNe-De-A-CN-βK-CN-β-κVN-CNα+β+2κ-1KN12Nm0β-Cj=32m0-1Njβ/2+β/2+2κ-1KN12Njβ/2-CNα+β/2+2κ

Let us now estimate the remaining terms on the last line of (7.90). For ξF+N, we have

|8πa0NκrPHcξ,crcrξ|CNκNrPHc,v,wPL:vPL,r+vPLc,wPL,w+rPLc(|w||v|-1ar+vawξ)(|v||w|-1avaw+rξ)CNβ+κ-1ξ,KL(NNβ+1)ξ, 7.91

and

|8πa0NκrPHcξ,(brcr+crbr)ξ|14rPHcξ,brbrξ+CN2κrPHcξ,crcrξ14K+CNβ+2κ-1ξ,KL(NNβ+1)ξ, 7.92

Similarly, we can bound

N-β-κξ,VN,LξCN-β-1uΛ,p,qΛ+:p+u,q+u,p,qPLap+uaqξapaq+uξCN-β-1uΛ,p,qΛ+:p+u,q+u,p,qPL|q|2|p|2ap+uaqξ2CN-1K1/2N+1/2ξ2CK1/2ξ2

Thus, choosing the constant C~>0 small enough and applying Lemmas 7.24.3 and 4.2 to the r.h.s. of (7.91) and to the second term on the r.h.s. of (7.92), we conclude that

MN4πa0N1+κ+14K+8πa0NκrPHc(br+cr+er)(br+cr+er)+4πa0NκrPHc[(br+cr+er)(b-r+c-r+e-r)+h.c.]+EMN 7.93

where EMN is such that

eAeDEMNe-Ae-D-CN-βK-CN-β-κVN-CNβ+2κ-1KNNβ-CNα+β+2κ-1KN12Nm0β-Cj=32m0-1Njβ/2+β/2+2κ-1KN12Njβ/2-CNα+β/2+2κ 7.94

We introduce the operators

gr=br+cr+er,gr=br+cr+er.

With the algebraic identity

rPHc[grgr+12grg-r+12g-rgr]=12rPHc(gr+g-r)(gr+g-r)-12rPHc[gr,gr],

we conclude that

MN4πa0N1+κ+14K-4πa0NκrPHc[gr,gr]+EMN

Since

[br,cr]=[br,er]=[cr,br]=[er,br]=[cr,er]=[er,cr]=0,

we obtain that

[gr,gr]=N-N+N-1Narar+1NvΛ+:vPL,v+rPLcavav-1NvΛ+:vPL,v+rPLcav+rav+r+14NvΛ+:vPL,v+rPLavav-14NvΛ+:vPL,v+rPLav+rav+r.

A straightforward computation then shows that

-4πa0NκpPHc[gr,gr]-CN3α+κ(1-N+/N)-CN3α+κN+/N-CN3α+κ.

Thus

MN4πa0N1+κ+14K+EMN

where EMN satisfies

eAeDEMNe-Ae-D-CN-βK-CN-β-κVN-CNβ+2κ-1KNNβ-CNα+β+2κ-1KN12Nm0β-Cj=32m0-1Njβ/2+β/2+2κ-1KN12Njβ/2-CN3α+κ

This concludes the proof of Proposition 5.1.

Acknowledgements

We would like to thank C. Boccato and S. Cenatiempo for many helpful discussions with regards to the quartic renormalization. B. Schlein gratefully acknowledges partial support from the NCCR SwissMAP, from the Swiss National Science Foundation through the Grant “Dynamical and energetic properties of Bose–Einstein condensates” and from the European Research Council through the ERC-AdG CLaQS.

Funding

Open access funding provided by University of Zurich. Funding was provided by H2020 European Research Council (Grant No. ERC - ADG 2018 - Project 834782 CLaQS), Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung (Grant Nos. NCCR SwissMAP and Projekt 200020_172623).

Footnotes

1

Going through the proof of [18, Theorem 5.1], one can observe that the authors actually show that 1-φ0,γNφ0CN-2/17.

2

For κ>0, the rate (1.6) is not expected to be optimal. Bogoliubov theory predicts that the number of excitations of the Bose–Einstein condensate in a Bose gas with density ρ is of the order Nρ1/2; see [5]. In our regime, this corresponds to N3κ/2 excitations.

3

Observe that the renormalized potential with Fourier transform 8πa0N-1+κ1(|p|<Nα) that emerges in our rigorous analysis after a series of unitary transformations is reminiscent of the interaction that appears through an ad hoc substitution in the pseudo-potential method of [12, 13].

Publisher's Note

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

References

  • 1.Balaban T, Feldman J, Knörrer H, Trubowitz E. Complex bosonic many-body models: overview of the small field parabolic flow. Ann. Henri Poincaré. 2017;18:2873–2903. doi: 10.1007/s00023-017-0587-9. [DOI] [Google Scholar]
  • 2.Boccato C, Brennecke C, Cenatiempo S, Schlein B. Complete Bose–Einstein condensation in the Gross–Pitaevskii regime. Commun. Math. Phys. 2018;359(3):975–1026. doi: 10.1007/s00220-017-3016-5. [DOI] [Google Scholar]
  • 3.Boccato C, Brennecke C, Cenatiempo S, Schlein B. Bogoliubov theory in the Gross–Pitaevskii limit. Acta Math. 2019;222(2):219–335. doi: 10.4310/ACTA.2019.v222.n2.a1. [DOI] [Google Scholar]
  • 4.Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: Optimal Rate for Bose-Einstein Condensation in the Gross-Pitaevskii Regime. Commun. Math. Phys. (2019). 10.1007/s00220-019-03555-9. arXiv:1812.03086
  • 5.Bogoliubov, N.N.: On the theory of superfluidity. Izv. Akad. Nauk. USSR 11 (1947), 77. Engl. Transl. J. Phys. (USSR) 11 (1947), 23
  • 6.Brennecke, C., Caporaletti, M., Schlein, B.: Excitation spectrum for Bose gases beyond the Gross–Pitaevskii regime. In preparation
  • 7.Brennecke C, Schlein B. Gross–Pitaevskii dynamics for Bose–Einstein condensates. Anal. PDE. 2019;12(6):1513–1596. doi: 10.2140/apde.2019.12.1513. [DOI] [Google Scholar]
  • 8.Brietzke B, Fournais S, Solovej JP. A simple 2nd order lower bound to the energy of dilute bose gases. Commun. Math. Phys. 2020;376:323–351. doi: 10.1007/s00220-020-03715-2. [DOI] [Google Scholar]
  • 9.Fournais, S.: Length scales for BEC in the dilute Bose gas. arXiv:2011.00309
  • 10.Fournais S, Solovej JP. The energy of dilute Bose gases. Ann. Math. 2020;192(3):893–976. doi: 10.4007/annals.2020.192.3.5. [DOI] [Google Scholar]
  • 11.Hainzl, C.: Another proof of BEC in the GP-limit. arXiv:2011.09450
  • 12.Huang K, Yang CN. Quantum-mechanical many-body problem with hard-sphere interaction. Phys. Rev. 1957;105(3):757–767. [Google Scholar]
  • 13.Lee TD, Huang K, Yang CN. Eigenvalues and eigenfunctions of a bose system of hard spheres and its low-temperature properties. Phys. Rev. 1957;106(6):1135–1145. doi: 10.1103/PhysRev.106.1135. [DOI] [Google Scholar]
  • 14.Lee TD, Yang CN. Many-body problem in quantum mechanics and quantum statistical mechanics. Phys. Rev. 1957;105:1119–1120. doi: 10.1103/PhysRev.105.1119. [DOI] [Google Scholar]
  • 15.Lewin M, Nam PT, Serfaty S, Solovej JP. Bogoliubov spectrum of interacting bose gases. Commun. Pure Appl. Math. 2014;68(3):413–471. doi: 10.1002/cpa.21519. [DOI] [Google Scholar]
  • 16.Lieb EH, Seiringer R. Proof of Bose–Einstein condensation for dilute trapped gases. Phys. Rev. Lett. 2002;88:170409. doi: 10.1103/PhysRevLett.88.170409. [DOI] [PubMed] [Google Scholar]
  • 17.Lieb EH, Seiringer R. Derivation of the Gross–Pitaevskii equation for rotating Bose gases. Commun. Math. Phys. 2006;264(2):505–537. doi: 10.1007/s00220-006-1524-9. [DOI] [Google Scholar]
  • 18.Lieb, E.H., Seiringer, R., Solovej, J.P., Yngvason, J.: The mathematics of the bose gas and its condensation. Oberwolfach Seminars. Birkhäuser Verlag, Series (2005)
  • 19.Lieb EH, Seiringer R, Yngvason J. Bosons in a trap: a rigorous derivation of the Gross–Pitaevskii energy functional. Phys. Rev. A. 2000;61:043602. doi: 10.1103/PhysRevA.61.043602. [DOI] [Google Scholar]
  • 20.Nam, P.T., Napiórkowski, M., Ricaud, J., Triay, A.: Optimal rate of condensation for trapped bosons in the Gross–Pitaevskii regime. arXiv:2001.04364
  • 21.Nam PT, Rougerie N, Seiringer R. Ground states of large bosonic systems: the Gross–Pitaevskii limit revisited. Anal. PDE. 2016;9(2):459–485. doi: 10.2140/apde.2016.9.459. [DOI] [Google Scholar]
  • 22.Seiringer R. The excitation spectrum for weakly interacting bosons. Commun. Math. Phys. 2011;306:565–578. doi: 10.1007/s00220-011-1261-6. [DOI] [Google Scholar]

Articles from Annales Henri Poincare are provided here courtesy of Springer

RESOURCES