Skip to main content
Springer logoLink to Springer
. 2021 May 20;183(3):39. doi: 10.1007/s10955-021-02766-6

Bose–Einstein Condensation for Two Dimensional Bosons in the Gross–Pitaevskii Regime

Cristina Caraci 1,, Serena Cenatiempo 2, Benjamin Schlein 1
PMCID: PMC8550145  PMID: 34720183

Abstract

We consider systems of N bosons trapped on the two-dimensional unit torus, in the Gross-Pitaevskii regime, where the scattering length of the repulsive interaction is exponentially small in the number of particles. We show that low-energy states exhibit complete Bose–Einstein condensation, with almost optimal bounds on the number of orthogonal excitations.

Keywords: Two dimensional Bose gas, Bose–Einstein condensation, Gross-Pitaevskii regime, Interacting bosons

Introduction

We consider NN bosons trapped in the two-dimensional box Λ=[-1/2;1/2]2 with periodic boundary conditions. In the Gross-Pitaevskii regime, particles interact through a repulsive pair potential, with a scattering length exponentially small in N. The Hamilton operator is given by

HN=j=1N-Δxj+i<jNe2NV(eN(xi-xj)) 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 N particles. We assume here VL3(R2) to be compactly supported and pointwise non-negative (i.e. V(x)0 for almost all xR2).

We denote by a the scattering length of the unscaled potential V. We recall that in two dimensions and for a potential V with finite range R0, the scattering length is defined by

2πlog(R/a)=infϕBR|ϕ|2+12V|ϕ|2dx 2

where R>R0, BR is the disk of radius R centered at the origin and the infimum is taken over functions ϕH1(BR) with ϕ(x)=1 for all x with |x|=R. The unique minimizer of the variational problem on the r.h.s. of (2) is non-negative, radially symmetric and satisfies the scattering equation

-Δϕ(R)+12Vϕ(R)=0

in the sense of distributions. For R0<|x|R, we have

ϕ(R)(x)=log(|x|/a)log(R/a).

By scaling, ϕN(x):=ϕ(eNR)(eNx) is such that

-ΔϕN+12e2NV(eNx)ϕN=0

We have

ϕN(x)=log(|x|/aN)log(R/aN)xR2:e-NR0<|x|R,

for all xR2 with e-NR0<|x|R. Here aN=e-Na.

The spectral properties of trapped two dimensional bosons in the Gross-Pitaevskii regime (in the more general case where the bosons are confined by external trapping potentials) have been first studied in [13, 14, 16]. These results can be translated to the Hamilton operator (1), defined on the torus, with no external potential. They imply that the ground state energy EN of (1) is such that

EN=2πN(1+O(N-1/5)). 3

Moreover, they imply Bose–Einstein condensation in the zero-momentum mode φ0(x)=1 for all xΛ, for any approximate ground state of (1). More precisely, it follows from [13] that, for any sequence ψNLs2(ΛN) with ψN=1 and

limN1NψN,HNψN=2π, 4

the one-particle reduced density matrix γN=tr2,,N|ψNψN| is such that

1-φ0,γNφ0CN-δ¯ 5

for a sufficiently small δ¯>0. The estimate (5) states that, in many-body states satisfying (4) (approximate ground states), almost all particles are described by the one-particle orbital φ0, with at most N1-δN orthogonal excitations.

Similar results have been obtained starting from a three dimensional Bose gas, trapped by a potential which is strongly confining in one direction, so that the system becomes effectively two-dimensional [22]. Finally, let us also mention [5, 10], where rigorous results on the time-evolution in the two-dimensional Gross-Pitaevskii regime have been established (in [5], the focus is on the dynamics of a three-dimensional gas, with strong confinement in one direction).

For VL3(R2), our main theorem improves (3) and (5) by providing more precise bounds on the ground state energy and on the number of excitations.

Theorem 1

Let VL3(R2) have compact support, be spherically symmetric and pointwise non-negative. Then there exists a constant C>0 such that the ground state energy EN of (1) satisfies

2πN-CEN2πN+ClogN. 6

Furthermore, consider a sequence ψNLs2(ΛN) with ψN=1 and such that

ψN,HNψN2πN+K 7

for a K>0. Then the reduced density matrix γN=tr2,,N|ψNψN| associated with ψN is such that

1-φ0,γNφ0C(1+K)N 8

for all NN large enough.

Remark

We expect that the bounds of Theorem 1 can be extended to two-dimensional systems of bosons trapped by an external potential (in three dimensions, similar estimates have been recently established in [7, 19]). In this case, the system exhibits condensation in the minimizer of the Gross-Pitaevskii energy functional, as shown in [13, 14, 16].

It is interesting to compare the Gross-Pitaevskii regime with the thermodynamic limit, where a Bose gas of N particles interacting through a fixed potential with scattering length a is confined in a box with area L2, so that N,L with the density ρ=N/L2 kept fixed. Let b=|log(ρa2)|-1. Then, in the dilute limit ρa21, the ground state energy per particle in the thermodynamic limit is expected to satisfy

e0(ρ)=4πρ2b(1+blogb+(1/2+2γ+logπ)b+o(b)), 9

with γ the Euler’s constant. The leading order term on the r.h.s. of (9) has been first derived in [21] and then rigorously established in [15], with an error rate b-1/5. The corrections up to order b have been predicted in [1, 18, 20]. To date, there is no rigorous proof of (9). Some partial result, based on the restriction to quasi-free states, has been recently obtained in [9, Theorem 1].

Extrapolating from (9), in the Gross-Pitaevskii regime we expect |EN-2πN|C. While our estimate (6) captures the correct lower bound, the upper bound is off by a logarithmic correction. Eq. (8), on the other hand, is expected to be optimal (but of course, by (6), we need to choose K=ClogN to be sure that (7) can be satisfied). This bound can be used as starting point to investigate the validity of Bogoliubov theory for two dimensional bosons in the Gross-Pitaevskii regime, following the strategy developed in [3] for the three dimensional case; we plan to proceed in this direction in a separate paper.

The proof of Theorem 1 follows the strategy that has been recently introduced in [4] to prove condensation for three-dimensional bosons in the Gross-Pitaevskii limit. There are, however, additional obstacles in the two-dimensional case, requiring new ideas. To appreciate the difference between the Gross-Pitaevskii regime in two- and three-dimensions, we can compute the energy of the trivial wave function ψN1. The expectation of (1) in this state is of order N2. It is only through correlations that the energy can approach (6). Also in three dimensions, uncorrelated many-body wave functions have large energy, but in that case the difference with respect to the ground state energy is only of order N (NV^(0)/2 rather than 4πaN). This observation is a sign that correlations in two-dimensions are stronger and play a more important role than in three dimensions (this creates problems in handling error terms that, in the three dimensional setting, were simply estimated in terms of the integral of the potential).

The paper is organized as follows. In Sect. 2 we introduce our setting, based on a description of orthogonal excitations of the condensate on a truncated Fock space. Factoring out the condensate, we introduce an excitation Hamiltonian LN, unitarily equivalent to HN. In Sects. 3 and 4 we define two additional unitary maps, modelling the correlation structure characterising low-energy states. The first map is a generalized Bogoliubov transformation, given by the exponential of an anti-symmetric operator B, quadratic in creation and annihilation operators, see Eq. (33). Its action on LN leads to a second excitation Hamiltonian GN,α, whose vacuum expectation matches (6), at leading order. Unfortunately, GN,α is not coercive enough to directly show Bose–Einstein condensation. To overcome this difficulty, we conjugate the main part of GN,α (later denoted by GN,αeff) with a second unitary map, given by the exponential of an operator A, cubic in creation and annihilation operators, see Eq. (44). This defines a renormalized excitation Hamiltonian RN,α, where the singular interaction is regularized. In Sect. 5 we combine the bounds on GN,α and RN,α with a localization argument proposed in [11] for the number of excitations to conclude the proof of Theorem 1. Section 6 and App. 1 are devoted to the proof of the bounds on GN,α and on RN,α stated in Sects. 3 and 4, respectively. Finally, in App. 1, we establish some properties of the solution of the Neumann problem associated with the two-body potential V.

The Excitation Hamiltonian

Low-energy states of (1) exhibit condensation in the zero-momentum mode φ0 defined by φ0(x)=1 for all xΛ=[-1/2;1/2]2. Similarly as in [2, 4, 11], we are going to describe excitations of the condensate on the truncated bosonic Fock space

F+N=k=0NL2(Λ)sk

constructed on the orthogonal complement L2(Λ) of φ0 in L2(Λ). To reach this goal, we define a unitary map UN:Ls2(ΛN)F+N by requiring that UNψN={α0,α1,,αN}, with αjL2(Λ)sj, if

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

With the usual creation and annihilation operators, we can write

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

for all ψNLs2(Λ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, i.e. UN is unitary.

With UN, we can define the excitation Hamiltonian LN:=UNHNUN, acting on a dense subspace of F+N. To compute the operator LN, we first write the Hamiltonian (1) in momentum space, in terms of creation and annihilation operators ap,ap, for momenta pΛ=2πZ2. We find

HN=pΛp2apap+12p,q,rΛV^(r/eN)ap+raqapaq+r 10

where

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

is the Fourier transform of V, defined for all kR2 (in fact, (1) is the restriction of (10) to the N-particle sector of the Fock space). We can now determine 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πZ2\{0}, we find (see [11]):

UNa0a0UN=N-N+UNapa0UN=apN-N+UNa0apUN=N-N+apUNapaqUN=apaq. 11

where N+=pΛ+apap is the number of particles operator on F+N. We conclude that

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

with

LN(0)=12V^(0)(N-1)(N-N+)+12V^(0)N+(N-N+)LN(2)=pΛ+p2apap+NpΛ+V^(p/eN)bpbp-1Napap+N2pΛ+V^(p/eN)bpb-p+bpb-pLN(3)=Np,qΛ+:p+q0V^(p/eN)bp+qa-paq+aqa-pbp+qLN(4)=12p,qΛ+,rΛ:r-p,-qV^(r/eN)ap+raqapaq+r, 13

where we introduced generalized creation and annihilation operators

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

for all pΛ+.

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. From the canonical commutation relations for the standard creation and annihilation operators ap,ap, we find

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

Furthermore,

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

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ξ,bpξ(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.

Quadratic Renormalization

From (13) we see that conjugation with UN extracts, from the original quartic interaction in (10), some large constant and quadratic contributions, collected in LN(0) and LN(2) respectively. In particular, the expectation of LN on the vacuum state Ω is of order N2, this being an indication of the fact that there are still large contributions to the energy hidden among cubic and quartic terms in LN(3) and LN(4). Since UN only removes products of the zero-energy mode φ0, correlations among particles remain in the excitation vector UNψN. Indeed, correlations play a crucial role in the two dimensional Gross-Pitaevskii regime and carry an energy of order N2.

To take into account the short scale correlation structure on top of the condensate, we consider the solution f of the equation

(-Δ+12V(x))f(x)=λf(x) 15

associated with the smallest possible eigenvalue λ, on the ball |x|eN, with Neumann boundary conditions and normalized so that f(x)=1 for |x|=eN. Here and in the following we omit the N-dependence in the notation for f and for λ. By scaling, we observe that f(eN·) satisfies

(-Δ+e2N2V(eNx))f(eNx)=e2Nλf(eNx)

on the ball |x|. We choose <1/2, so that the ball of radius is contained in the box Λ=[-1/2;1/2]2. We extend then f(eN.) to Λ, by setting fN,(x)=f(eNx), if |x| and fN,(x)=1 for xΛ, with |x|>. Then, assuming also that R0e-N< (later we will choose =N-α, so this condition is satisfied, for all N large enough),

(-Δ+e2N2V(eNx))fN,(x)=e2NλfN,(x)χ(x), 16

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

f^N,(p):=Λf(eNx)e-ip·xdx

for all pΛ. We introduce also the function w(x)=1-f(x) for |x|eN and extend it by setting w(x)=0 for |x|>eN. Its re-scaled version is defined by wN,:ΛR wN,(x)=w(eNx) if |x| and wN,=0 if xΛ with |x|>.

The Fourier coefficients of the re-scaled function wN, are given by

w^N,(p)=Λw(eNx)e-ip·xdx=e-2Nw^e-Np. 17

We find f^N,(p)=δp,0-e-2Nw^(e-Np). From the Neumann problem (16) we obtain

-p2e-2Nw^(e-Np)+12qΛV^(e-N(p-q))f^N,(q)=e2NλqΛχ^(p-q)f^N,(q). 18

where we used the notation χ^ for the Fourier coefficients of the characteristic function on the ball of radius . Note that χ^(p)=2χ^(p) with χ^(p) the Fourier coefficients of the characteristic function on the ball of radius one.

In the next lemma, we collect some important properties of the solution of (15).

Lemma 1

Let VL3(R2) be non-negative, compactly supported (with range R0) and spherically symmetric, and denote its scattering length by a. Fix 0<<1/2, N sufficiently large and let f denote the solution of (16). Then

  • (i)
    0f(x)1|x|eN.
  • (ii)
    We have
    λ-2(eN)2log(eN/a)C(eN)2log2(eN/a) 19
  • (iii)
    There exists a constant C>0 such that
    dxV(x)f(x)-4πlog(eN/a)Clog2(eN/a) 20
  • (iv)
    There exists a constant C>0 such that
    |w(x)|Cif|x|R0Clog(eN/|x|)log(eN/a)ifR0|x|eN|w(x)|Clog(eN/a)1|x|+1for all|x|eN 21
  • (v)
    Let wN,=1-fN, with f,N=f(eNx). Then the Fourier coefficients of the function wN, defined in (17) are such that
    |w^N,(p)|Cp2log(eN/a). 22

Proof

The proof of points (i)–(iv) is deferred in Appendix B. To prove point v) we use the scattering equation (18):

w^(e-Np)=e2N2p2qΛV^(e-N(p-q))f^N,(q)-e4Np2λqΛχ^(p-q)f^N,(q).

Using the fact that e2NλC-2|ln(eN/a)|-1 and that 0f1, we end up with

|w^(e-Np)|e2N2p2|(V^(e-N·)f^N,)(p)|+2e2Nλ|(χ^f^N,)(p)|e2N2p2V(x)f(x)dx+C-2|log(eN/a)|-1χ(x)f(eNx)dxCe2Np2log(eN/a).

We now define ηˇ:ΛR through

ηˇ(x)=-NwN,(x)=-Nw(eNx). 23

With (21) we find

|ηˇ(x)|CNif|x|e-NR0Clog(/|x|)ife-NR0|x| 24

and in particular, recalling that e-NR0<1/2,

|ηˇ(x)|Cmax(N,log(/|x|))CN 25

for all xΛ. Using (24) we find

η2=ηˇ2C|x||log(/|x|)|2d2xC201(logr)2rdrC2.

In the following we choose =N-α, for some α>0 to be fixed later, so that

ηCN-α. 26

This choice of will be crucial for our analysis, as commented below. Notice, on the other hand, that the H1-norms of η diverge, as N. From (23) and Lemma 1, part iv) we find

ηˇH12=|x|e2NN2|(w)(eNx)|2d2x=|x|eNN2|w(x)|2d2xC|x|eN1(|x|+1)2d2xCN

for NN large enough. We denote with η:ΛR the Fourier transform of ηˇ, or equivalently

ηp=-Nw^N,(p)=-Ne-2Nw^(p/eN). 27

With (22) we can bound (since =N-α)

|ηp|C|p|2 28

for all pΛ+=2πZ2\{0}, and for some constant C>0 independent of N, if N is large enough. From (26) we also have

ηCN-α. 29

Moreover, (18) implies the relation

p2ηp+N2(V^(./eN)f^N,)(p)=Ne2Nλ(χ^f^N,)(p) 30

or equivalently, expressing also the other terms through the coefficients ηp,

p2ηp+N2V^(p/eN)+12qΛV^((p-q)/eN)ηq=Ne2Nλχ^(p)+e2NλqΛχ^(p-q)ηq. 31

We will mostly use the coefficients ηp with p0. Sometimes, however, it will be useful to have an estimate on η0 (because Eq. (31) involves η0). From (27) and Lemma 1, part iv) we find

|η0|N|x|w(eNx)d2xC|x|log(/|x|)d2x+CNe-NC2. 32

With the coefficients (27) we define the antisymmetric operator

B=12pΛ+ηpbpb-p-η¯pbpb-p 33

and we consider the unitary operator

eB=exp12pΛ+ηpbpb-p-η¯pbpb-p. 34

We refer to operators of the form (34) as generalized Bogoliubov transformations. In contrast with the standard Bogoliubov transformations

eB~=exp12pΛ+ηpapa-p-η¯papa-p 35

defined in terms of the standard creation and annihilation operators, operators of the form (34) leave the truncated Fock space F+N invariant. On the other hand, while the action of standard Bogoliubov transformation on creation and annihilation operators is explicitly given by

e-B~apeB~=cosh(ηp)ap+sinh(ηp)a-p

there is no such formula describing the action of generalized Bogoliubov transformations.

Conjugation with (34) leaves the number of particles essentially invariant, as confirmed by the following lemma.

Lemma 2

Assume B is defined as in (33), with η2(Λ) and ηp=η-p for all pΛ+. Then, for every nN there exists a constant C>0 such that, on F+N,

e-B(N++1)neBCeCη(N++1)n. 36

as an operator inequality on F+N.

The proof of (36) can be found in [6, Lemma 3.1] (a similar result has been previously established in [23]).

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

GN,α=e-BLNeB=e-BUNHNUNeB. 37

In the next proposition, we collect important properties GN,α. We will use the notation

K=pΛ+p2apapandVN=12p,qΛ+,rΛ:r-p,-qV^(r/eN)ap+raqaq+rap 38

for the kinetic and potential energy operators, restricted on F+N, and HN=K+VN. We also introduce a renormalized interaction potential ωNL(Λ), which is defined as the function with Fourier coefficients ω^N

ω^N(p):=gNχ^(p/Nα),gN=2N1-2αe2Nλ 39

for any pΛ+, and

ω^N(0)=gNχ^(0)=πgN. 40

with χ^(p) the Fourier coefficients of the characteristic function of the ball of radius one. From (19) and =N-α one has |gN|C. Note in particular that the potential ω^N(p) decays on momenta of order Nα, which are much smaller than eN. From Lemma 1 parts (i) and (iii) we find

|ω^N(0)-NVf1|CN,|ω^N(0)-4π1+αlogNN|CN. 41

Proposition 1

Let VL3(R2) be compactly supported, pointwise non-negative and spherically symmetric. Let GN,α be defined as in (37) and define

GN,αeff:=12ω^N(0)(N-1)1-N+N+2NV^(0)-12ω^N(0)N+1-N+N+12pΛ+ω^N(p)(bpb-p+h.c.)+Np,qΛ+:p+q0V^(p/eN)bp+qa-paq+h.c.+HN. 42

Then there exists a constant C>0 such that EG=GN,α-GN,αeff is bounded by

|ξ,EGξ|C(N1/2-α+N-1(logN)1/2)HN1/2ξ(N++1)1/2ξ+CN1-α(N++1)1/2ξ2+Cξ2 43

for all α>1, ξF+N and NN large enough.

The proof of Proposition 1 is very similar to the proof of [3, Prop. 4.2]. For completeness, we discuss the changes in Appendix A.

Cubic Renormalization

Conjugation with the generalized Bogoliubov transformation (35) renormalizes constant and off-diagonal quadratic terms on the r.h.s. of (42). In order to estimate the number of excitations N+ through the energy and show Bose–Einstein condensation, we still need to renormalize the diagonal quadratic term (the part proportional to NV^(0)N+, on the first line of (42)) and the cubic term on the second line of (42). To this end, we conjugate GN,αeff with an additional unitary operator, given by the exponential of the anti-symmetric operator

A:=1Nr,vΛ+ηr[br+va-rav-h.c.] 44

with ηp defined in (27).

An important observation is that while conjugation with eA allows to renormalize the large terms in GN,α, it does not substantially change the number of excitations. The following proposition can be proved similarly to [4, Proposition 5.1].

Proposition 2

Suppose that A is defined as in (44). Then, for any kN there exists a constant C>0 such that the operator inequality

e-A(N++1)keAC(N++1)k

holds true on F+N, for any α>0 (recall the choice =N-α in the definition (27) of the coefficients ηr), and N large enough.

We will also need to control the growth of the expectation of the energy HN with respect to the cubic conjugation. This is the content of the following proposition, which is proved in Sect. 6.1.

Proposition 3

Let A be defined as in (44). Then there exists a constant C>0 such that

e-sAHNesACHN+CN(N++1) 45

for all α1, s[0;1] and NN large enough.

We use now the cubic phase eA to introduce a new excitation Hamiltonian, obtained by conjugating the main part GN,αeff of GN,α. We define

RN,α:=e-AGN,αeffeA 46

on a dense subset of F+N. Conjugation with eA renormalizes both the contribution proportional to N+ (in the first line on the r.h.s. of (42)) and the cubic term on the r.h.s. of (42), effectively replacing the singular potential V^(p/eN) by the renormalized potential ω^N(p) defined in (39). This follows from the following proposition.

Proposition 4

Let VL3(R2) be compactly supported, pointwise non-negative and spherically symmetric. Let RN,α be defined in (46) and define

RN,αeff=12(N-1)ω^N(0)(1-N+/N)+12ω^N(0)N+1-N+/N+ω^N(0)pΛ+apap(1-N+N)+12pΛ+ω^N(p)[bpb-p+bpb-p]+1Nr,vΛ+:r-vω^N(r)[br+va-rav+h.c.]+HN. 47

Then for =N-α and α>2 there exists a constant C>0 such that ER=RN,α-RN,αeff is bounded by

±ERC[N2-α+N-1/2(logN)1/2](HN+1), 48

for NN sufficiently large.

The proof of Proposition 4 will be given in Sect. 6. We will also need more detailed information on RN,αeff, as contained in the following proposition.

Proposition 5

Let RN,αeff be defined in (47). Then, for every c>0 there is a constant C>0 (large enough) such that

RN,αeff2πN+ω^N(0)2N++clogNHN-C(logN)2N+2N-C 49

for all α>2 and NN large enough.

Moreover, let f,g:R[0;1] be smooth, with f2(x)+g2(x)=1 for all xR. For MN, let fM:=f(N+/M) and gM:=g(N+/M). Then there exists C>0 such that

RN,αeff=fMRN,αefffM+gMRN,αeffgM+ΘM 50

with

±ΘMClogNM2(f2+g2)(HN+1)

for all α>2, MN and NN large enough.

Proof

From (47), using that |ω^N(0)|C we have

RN,αeffN2ω^N(0)+ω^N(0)N++12pΛ+ω^N(p)[bpb-p+bpb-p]+1Nr,vΛ+:r-vω^N(r)[br+va-rav+h.c.]+HN-CN+2N-C. 51

For the cubic term on the r.h.s. of (51), with

pΛ+|ω^N(p)|2p2ClogN 52

we can bound

|1Nr,vΛ+r-vω^N(r)ξ,br+va-ravξ|1Nr,vΛ+r-v|ω^N(r)|(N++1)-1/2br+va-rξ(N++1)1/2avξ1N[r,vΛ+r-v|r|2(N++1)-1/2br+va-rξ2]1/2×[r,vΛ+r-v|ω^N(r)|2|r|2(N++1)1/2avξ2]1/2C(logN)1/2NK1/2ξ(N++1)ξ. 53

As for the off-diagonal quadratic term on the r.h.s of (51), we combine it with part of the kinetic energy to estimate. For any 0<μ<1, we have

12pΛ+ω^N(p)[bpb-p+b-pbp]+(1-μ)pΛ+p2apap=(1-μ)pΛ+p2bp+ω^N(p)2(1-μ)p2b-pbp+ω^N(p)2(1-μ)p2b-p-14(1-μ)pΛ+|ω^N(p)|2p2bpbp+(1-μ)pΛ+p2apN+Nap 54

since apap-bpbp=ap(N+/N)ap. With (14), we conclude that

12pΛ+ω^N(p)[bpb-p+b-pbp]+(1-μ)pΛ+p2apap-14(1-μ)pΛ+|ω^N(p)|2p2apap-14(1-μ)pΛ+|ω^N(p)|2p2.

With the choice μ=C/logN and with (52), we obtain

12pΛ+ω^N(p)[bpb-p+b-pbp]+(1-μ)pΛ+p2apap-14(1-μ)pΛ+|ω^N(p)|2p2apap-14pΛ+|ω^N(p)|2p2-C. 55

To bound the first terms on the r.h.s. of the last equation, we use the term ω^N(0)N+, in (51). To this end, we observe that, with (41),

|ω^N(p)|24(1-μ)p2|ω^N(0)|24(1-μ)p2ω^N(0)4(1-μ)π1+ClogNNω^N(0)2

for every pΛ+ (notice that |p|2π, for every pΛ+) and for N large enough (recall the choice μ=C/logN). Inserting (53) and (55) in (51) and using the kinetic energy μK=C(logN)-1K (remaining after subtracting the term (1-μ)K needed on the l.h.s. of (55)) to bound the r.h.s. of (53), we find

RN,αeffN2ω^N(0)-14pΛ+|ω^N(p)|2p2+ω^N(0)2N++clogNHN-C(logN)2NN+2-C. 56

Let us now consider the second term on the r.h.s more carefully. Using that, from (39), ω^N(p)=gNχ^(p/Nα), we can bound, for any fixed K>0,

14pΛ+|ω^N(p)|2p2C+14pΛ+:K<|p|Nα|ω^N(p)|2p2.

With |ω^N(p)-ω^N(0)|C|p|/Nα, we obtain

14pΛ+|ω^N(p)|2p2C+|ω^N(0)|24pΛ+:K<|p|Nα1p2C+4π2pΛ+:K<|p|Nα1p2. 57

For qR2, let us define h(q)=1/p2, if q is contained in the square of side length 2π centered at pΛ+ (with an arbitrary choice on the boundary of the squares). We can then estimate, for K large enough,

4π2pΛ+:K<|p|Nα1p2K/2<|q|Nα+Kh(q)dq.

For q in the square centered at pΛ+, we bound

h(q)-1q2=|p2-q2|p2q2C|q|3.

Hence

4π2pΛ+:K<|p|Nα1p2K/2<|q|<Nα+K1q2dq+C2παlogN+C.

Inserting in (57), we conclude that

14pΛ+|ω^N(p)|2p22παlogN+C.

Combining the last bound with (41) (and noticing that the contribution proportional to logN cancels exactly), from (56) we obtain

RN,αeff2πN+ω^N(0)2N++clogNHN-C(logN)2NN+2-C

which proves (49).

Next we prove (50). From (47), with |ω^N(0)|C, the bound (53) and since, by (52),

pΛ+ω^N(p)ξ,bpb-pξpΛ+|ω^N(p)|bpξ(N++1)1/2ξpΛ+|ω^N(p)|2p21/2(N++1)1/2ξK1/2ξC(logN)1/2(N++1)1/2ξK1/2ξ

it follows that

RN,αeff=2πN+HN+θN,α 58

where for arbitrary δ>0, there exists a constant C>0 such that

±θN,αδHN+C(logN)(N++1). 59

We now note that for f:RR smooth and bounded and θN,α defined above, there exists a constant C>0 such that

±[f(N+/M),[f(N+/M),θN,α]]ClogNM2f2(HN+1) 60

for all α>2 and NN large enough. The proof of (60) follows analogously to the one for (59), since the bounds leading to (59) remain true if we replace the operators bp#, #={·,}, and apaq with [f(N+/M),[f(N+/M),bp#]] or [f(N+/M),[f(N+/M),apaq]] respectively, provided we multiply the r.h.s. by an additional factor M-2f2, since, for example

[f(N+/M),[f(N+/M),bp]]=(f(N+/M)-f((N++1)/M))2bp

and f(N+/M)-f((N++1)/M)CM-1f. With an explicit computation we obtain

RN,αeff=fMRN,αefffM+gMRN,αeffgM+12([fM,[fM,RN,αeff]]+[gM,[gM,RN,αeff]])

Writing RN,αeff as in (58) and using (60) we get

±([fM,[fM,RN,αeff]]+[gM,[gM,RN,αeff]])ClogNM2(f2+g2)(HN+1).

Proof of Theorem 1

The next proposition combines the results of Propositions 1, 4 and 5. Its proof makes use of localization in the number of particle and is an adaptation of the proof of [4, Proposition 6.1]. The main difference w.r.t. [4] is that here we need to localize on sectors of FN where the number of particles is o(N), in the limit N.

Proposition 6

Let VL3(R2) be compactly supported, pointwise non-negative and spherically symmetric. Let GN,α be the renormalized excitation Hamiltonian defined as in (37). Then, for every α5/2, there exist constants C,c>0 such that

GN,α-2πNcN+-C 61

for all NN sufficiently large.

Proof

Let f,g:R[0;1] be smooth, with f2(x)+g2(x)=1 for all xR. Moreover, assume that f(x)=0 for x>1 and f(x)=1 for x<1/2. For a small ε>0, we fix M=N1-ε and we set fM=f(N+/M),gM=g(N+/M). It follows from Proposition 5 that

RN,αeff-2πNfM(RN,αeff-2πN)fM+gM(RN,αeff-2πN)gM-CN2ε-2(logN)(HN+1) 62

Let us consider the first term on the r.h.s. of (62). From Proposition 5, for all α>2 there exist c,C>0 such that

RN,αeff-2πNcN+-CN(logN)2N+2-C. 63

On the other hand, with (58) and (59) we also find

RN,αeff-2πNcHN-C(logN)(N++1) 64

for all α>2 and N large enough. Moreover, due to the choice M=N1-ε, we have

(logN)2NfMN+2fM(logN)2NεfM2N+.

With the last bound, Eq. (63) implies that

fM(RN,αeff-2πN)fMcfM2N+-C 65

for N large enough.

Let us next consider the second term on the r.h.s. of (62). We claim that there exists a constant c>0 such that

gM(RN,αeff-2πN)gMcNgM2 66

for all N sufficiently large. To prove (66) we observe that, since g(x)=0 for all x1/2,

gM(RN,αeff-2πN)gMinfξFM/2N:ξ=11Nξ,RN,αeffξ-2πNgM2

where FM/2N={ξF+N:ξ=χ(N+M/2)ξ} is the subspace of F+N where states with at least M/2 excitations are described (recall that M=N1-ε). To prove (66) it is enough to show that there exists C>0 with

infξFM/2N:ξ=11Nξ,RN,αeffξ-2πC 67

for all N large enough. On the other hand, using the definitions of GN,α in (42), RN,α and RN,αeff in (47), we obtain that the ground state energy EN of the system is given by

EN=infξF+N:ξ=1ξ,e-AGN,αeAξ=infξF+N:ξ=1ξ,(RN,αeff+EL)ξ

with EL=ER+e-AEGeA. The bounds (43) and (48), together with Propositions 2 and 3, imply that for any α5/2 there exists C>0 such that

±ELCN-1/2(logN)1/2[(HN+1)+e-A(N-1(HN+1)+(N++1))eA]+CCN-1/2(logN)1/2(HN+1)+C

With (64) we obtain

±ELCN-1/2(logN)1/2(RN,αeff-2πN)+CN-1/2(logN)3/2N++C, 68

and therefore, with N+N

EN-2πNCinfξF+N:ξ=1ξ,(RN,αeff-2πN)ξ+CN1/2(logN)3/2+C.

From the result (3) of [13, 14, 16]

infξFM/2N:ξ=11Nξ,RN,αeffξ-2πinfξF+N:ξ=11Nξ,(RN,αeff-2πN)ξcENN-2π-CN(logN)3/2-CN-10

as N. If we assume by contradiction that (67) does not hold true, then we can find a subsequence Nj with

infξFMj/2Nj:ξ=11Njξ,RNj,αeffξ-2π0

as j (here we used the notation Mj=Nj1-ε). This implies that there exists a sequence ξ~NjFMj/2Nj with ξ~Nj=1 for all jN such that

limj1Njξ~Nj,RNj,αeffξ~Nj=2π.

On the other hand, using the relation RNj,αeff=e-AGNj,αeA-EL,j with EL,j satisfying the bound (68) (with N+Nj), we obtain that there exist constants c1,c2,C>0 such that

c1ξ~Nj,(RN,αeff-2πNj)ξ~Nj-CNj1/2(logNj)3/2eAξ~Nj,(GNj,α-2πNj)eAξ~Njc2ξ~Nj,(RN,αeff-2πNj)ξ~Nj+CNj1/2(logNj)3/2

Hence for ξNj=eAξ~Nj we have

limNj1NjξNj,GNj,αξNj=2π.

Let now S:={Nj:jN}N and denote by ξN a normalized minimizer of GN,α for all NN\S. Setting ψN=UNeBξN, for all NN, we obtain that ψN=1 and that

limN1NψN,HNψN=limN1NξN,GN,αξN=2π 69

Eq. (69) shows that the sequence ψN is an approximate ground state of HN. From (5), we conclude that ψN exhibits complete Bose–Einstein condensation in the zero-momentum mode φ0, and in particular that there exists δ¯>0 such that

1-φ0,γNφ0CN-δ¯.

Using Lemma 2, Proposition 2 and the rules (11), we observe that

1NξN,N+ξN=1Ne-BUNψN,N+e-BUNψNCNψN,UN(N++1)UNψN=CN+C1-1NψN,a(φ0)a(φ0)ψN=CN+C1-φ0,γNφ0CN-δ¯ 70

as N.

On the other hand, for NS={Nj:jN}, we have ξN=χ(N+M/2)ξN and therefore

1NξN,N+ξNM2N=N-ε2.

Choosing ε<δ¯ and N large enough we get a contradiction with (70). This proves (67), (66) and therefore also

gM(RN,αeff-2πN)gMcN+gM2. 71

Inserting (65) and (71) on the r.h.s. of (62), we obtain that

RN,αeff-2πNcN+-C(logN)N2ε-2(HN+1)-C 72

for N large enough. With (64), (72) implies

RN,αeff-2πNcN+-C.

To conclude, we use the relation e-AGN,αeA=RN,αeff+EL and the bound (68). We have that for α5/2 there exist c,C>0 such that

GN,α-2πNceA(RN,αeff-2πN)e-A-CN-1/2(logN)3/2eAN+eA-CceAN+e-A-CcN+-C

where we used (72) and Proposition 2.

We are now ready to show our main theorem.

Proof of Theorem 1

Let EN be the ground state energy of HN. Evaluating (42) and (43) on the vacuum ΩF+N and using (40), we obtain the upper bound

EN2πN+ClogN.

Notice that we cannot reach the expected optimal upper bound EN2πN+C because of the logarithmic correction in ω^N(0) (see (40)). In the lower bound, this logarithmic factor is compensated by the contribution arising from the off-diagonal quadratic term, extracted starting from (54). To obtain the same term for the upper bound, we would have to modify our trial state (diagonalizing the quadratic terms in RN,α); this, however, would produce even larger contributions arising from the potential energy.

With Eq. (61) we also find the lower bound EN2πN-C. This proves (6).

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

ψN,HNψN2πN+K. 73

We define the excitation vector ξN=e-BUNψN. Then ξN=1 and, recalling that GN,α=e-BUNHNUNeB we have, with (61),

graphic file with name 10955_2021_2766_Equ74_HTML.gif 74

From Eqs. (73) and (74) we conclude that

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

If γN denotes the one-particle reduced density matrix associated with ψN, using Lemma 2 we obtain

1-φ0,γNφ0=1-1NψN,a(φ0)a(φ0)ψN=1-1NUNeBξN,a(φ0)a(φ0)UNeBξN=1NeBξN,N+eBξNCNξN,N+ξNC(1+K)N

which concludes the proof of (8).

Analysis of the Excitation Hamiltonian RN

In this section, we show Proposition 4, where we establish a lower bound for the operator RN,α=e-AGN,αeffeA, with GN,αeff as defined in (42) and with

A=1Nr,vΛ+ηr[br+va-rav-h.c.]. 75

We decompose

GN,αeff=ON+K+ZN+CN+VN 76

with K and VN as in (38), and with

ON=12ω^N(0)(N-1)(1-N+N)+[2NV^(0)-12ω^N(0)]N+(1-N+N),ZN=12pΛ+ω^N(p)(bpb-p+h.c.)CN=Np,qΛ+:p+q0V^(p/eN)bp+qa-paq+h.c.. 77

We will analyze the conjugation of all terms on the r.h.s. of (76) in Sects. 6.26.6. The estimates emerging from these subsections will then be combined in Sect. 6.6 to conclude the proof of Proposition 4. Throughout the section, we will need Proposition 3 to control the growth of the expectation of the energy HN=K+VN under the action of (75); the proof of Proposition 3 is contained in Sect. 6.1.

In this section, we will always assume that VL3(R2) is compactly supported, pointwise non-negative and spherically symmetric.

A Priori Bounds on the Energy

In this section, we show Proposition 3. To this end, we will need the following proposition.

Proposition 7

Let VN and A be defined in (38) and (44) respectively. Then, there exists a constant C>0 such that

[VN,A]=1N1/2u,r,vΛ+u-vV^((u-r)/eN)ηr[bu+va-uav+h.c.]+δVN

where

|ξ,δVNξ|C(logN)1/2N1/2-αHN1/2ξ2 78

for any α>0, for all ξF+N, and NN large enough.

Proof

We proceed as in [4, Prop. 8.1], computing [ap+uaqapaq+u,br+va-rav]. We obtain

[VN,A]=1N1/2uΛ,r,vΛ+V^((u-r)/eN)ηrbu+va-uav+Θ1+Θ2+Θ3+h.c.

with

Θ1:=1NuΛr,p,vΛ+V^(u/eN)ηrbp+uar+v-ua-rapav,Θ2:=1NuΛp,r,vΛ+V^(u/eN)ηrbr+vap+ua-r-uapav,Θ3:=-1NuΛ,p,r,vΛ+V^(u/eN)ηrbr+va-rap+uapav+u. 79

and with running over all momenta, except choices for which the argument of a creation or annihilation operator vanishes. We conclude that δVN=Θ1+Θ2+Θ3+h.c.. Next, we show that each error term Θj, with j=1,2,3, satisfies (78). To bound Θ1 we switch to position space and apply Cauchy–Schwarz. We find

|ξ,Θ1ξ|1NΛ2dxdye2NV(eN(x-y))aˇ(ηˇy)aˇyaˇxξaˇyaˇxξCηΛ2dxdye2NV(eN(x-y))aˇyaˇxξ2CN-αVN1/2ξ2,

for any ξF+N The term Θ3 can be controlled similarly. We find

|ξ,Θ3ξ|=|1NΛ2dxdye2NV(eN(x-y))ξ,bˇxaˇ(ηˇx)aˇyaˇxaˇyξ|CN-αVN1/2ξ2.

It remains to bound the term Θ2 on the r.h.s. of (79). Passing to position space we obtain, by Cauchy–Schwarz,

|ξ,Θ2ξ|=|1NΛ3dxdydze2NV(eN(y-z))ηˇ(x-z)ξ,bˇxaˇyaˇzaˇxaˇyξ|CN-1/2Λ3dxdydze2NV(eN(y-z))|ηˇ(x-z)|aˇxaˇyaˇzξaˇxaˇyξCN-1/2VN1/2N+1/2ξΛ3dxdydze2NV(eN(y-z))|ηˇ(x-z)|2aˇxaˇyξ21/2,

To bound the term in the square bracket, we write it in first quantized form and, for any 2<q<, we apply Hölder inequality and the Sobolev inequality uqCquH1 to estimate (denoting by 1<q<2 the dual index to q),

n=2Ni<jne2NV(eN·)|ηˇ|2(xi-xj)|ξ(n)(x1,,xn)|2dx1dxnCqe2NV(eN·)|ηˇ|2q×n=2Nni=1n|xiξ(n)(x1,,xn)|2+|ξ(n)(x1,,xn)|2dx1dxnCqηˇ2q2(K+N+)1/2N+1/2ξ2. 80

With the bounds (25), (26),

ηˇ2q2ηˇ22/qηˇ2(q-1)/qN-2α/qN2(q-1)/q

we conclude that

|ξ,Θ2ξ|Cq1/2N-1/2N-α/qN1/qVN1/2N+1/2ξ(K+N+)1/2N+1/2ξCq1/2N1/2N-α/qN1/qVN1/2ξK1/2ξ

for any 2<q<, if 1/q+1/q=1. Choosing q=logN, we obtain that

|ξ,Θ2ξ|C(logN)1/2N1/2-αHN1/2ξ2.

Using Proposition 7, we can now show Proposition 3.

Proof of Proposition 3

The proof follows a strategy similar to [4, Lemma 8.2]. For fixed ξF+N and s[0;1], we define

fξ(s):=ξ,e-sAHNesAξ.

We compute

fξ(s)=ξ,e-sA[K,A]esAξ+ξ,e-sA[VN,A]esAξ. 81

With Proposition 7, we have

[VN,A]=1Nu,vΛ+,u-v(V^(·/eN)η)(u)bu+va-uav+h.c.+δVN

with δVN satisfying (78). Switching to position space and using Proposition 2 we find , using (25) to bound ηˇCN,

|1Nu,vΛ+(V^(·/eN)η)(u)ξ,e-sAbu+va-uavesAξ|=|1NΛ2dxdye2NV(eN(x-y))ηˇ(x-y)ξ,e-sAaˇxaˇyaˇyesAξ|N1/2[Λ2dxdye2NV(eN(x-y))aˇxaˇyesAξ2]1/2×[Λ2dxdye2NV(eN(x-y))aˇyesAξ2]1/2CN1/2VN1/2esAξN+1/2esAξ 82

Together with (78) we conclude that for any α>1/2

|ξ,e-sA[VN,A]esAξ|Cξ,e-sAHNesAξ+CNξ,e-sA(N++1)esAξ 83

if N is large enough. Next, we analyze the first term on the r.h.s. of (81). We compute

[K,A]=1Nr,vΛ+2r2ηr[br+va-rav+h.c.]+2Nr,vΛ+r·vηr[br+va-rav+h.c.]=:T1+T2. 84

With (31), we write

T1=-Nr,vΛ+r-v(V^(·/eN)f^N,)(r)[br+va-rav+h.c.]+2Nr,vΛ+e2Nλ(χ^f^N,)(r)[br+va-rav+h.c.]=:T11+T12. 85

The contribution of T11 can be estimated similarly as in (82); switching to position space and using (20), we obtain

|ξ1,T11ξ2|CNdxdye2NV(eN(x-y))f(eN(x-y))aˇxaˇyξayξCN[dxdye2NV(eN(x-y))aˇxaˇyξ2]1/2×[dxdye2NV(eN(x-y))f(eN(x-y))ayξ2]1/2CVN1/2ξN+1/2ξ. 86

for any ξF+N. The second term in (85) can be controlled using that for any ξF+N and 2q< we have

N2αΛ2dxdyχ(|x-y|N-α)aˇxaˇyξaˇxξN2αΛ2dxaˇxξdyχ(|x-y|N-α)1-1/qdyaˇxaˇyξq1/qCN2α/qq1/2dxaˇxξ21/2dxdyaˇxyaˇyξ2+dxdyaˇxaˇyξ21/2CN2α/qq1/2(N++1)1/2ξK1/2(N++1)1/2ξ+(N++1)ξ. 87

Hence, choosing q=logN,

|ξ,T12ξ|=|Ne2NλΛ2dxdyχ(|x-y|N-α)fN,(x-y)ξ,bˇxaˇyaˇxξ|CN2α-1/2Λ2dxdyχ(|x-y|N-α)aˇxaˇyξaˇxξC(logN)1/2(N++1)1/2ξK1/2ξ+(N++1)1/2ξ, 88

With (86) and (88) we conclude that

|ξ,e-AT1eAξ|C(logN)1/2(HN+1)1/2esAξ(N++1)1/2esAξ. 89

for all ξF+N. As for the second term on the r.h.s. of (84) we have

|ξ,T2ξ|CN[rΛ+|r|2N+1/2a-rξ2]1/2[r,vΛ+|v|2ηr2avξ2]1/2CN-αK1/2ξ2. 90

for any ξF+N. With (89) and Proposition 2, we conclude that

|ξ,e-sA[K,A]esAξ|Cξ,e-sAHNesAξ+ClogNξ,e-sAN+esAξ.

Combining with Eq. (83) we obtain

|ξ,e-sA[HN,A]esAξ|Cξ,e-sAHNesAξ+CNξ,e-sAN+esAξ.

With Proposition 2 we obtain the differential inequality

|fξ(s)|Cfξ(s)+CNξ,(N++1)ξ.

By Gronwall’s Lemma, we find (45).

Analysis of e-AONeA

In this section we study the contribution to RN,α arising from the operator ON, defined in (77). To this end, it is convenient to use the following lemma.

Lemma 3

Let A be defined in (44). Then, there exists a constant C>0 such that

pΛ+Fpe-AapapeA=pΛ+Fpapap+EF

where

|ξ1,EFξ2|CN-αF(N++1)1/2ξ1(N++1)1/2ξ2

for all α>0, ξ1,ξ2F+N, F(Λ+), and NN large enough.

Proof

The lemma is analogous to [4, Lemma 8.6]. We estimate

|pΛ+Fp(ξ1,e-AapapeAξ2-ξ1,apapξ2)|=|01dspΛ+Fpξ1,e-sA[apap,A]esAξ2|1N01dsr,vΛ+|Fr+v+F-r-Fv||ηr||esAξ1,br+va-ravesAξ2|CηF(N++1)1/2ξ1(N++1)1/2ξ2.

where we used Proposition 2.

We consider now the action of eA on the operator ON, as defined in (77).

Proposition 8

Let A be defined in (44). Then there exists a constant C>0 such that

e-AONeA=12ω^N(0)(N-1)1-N+N+[2NV^(0)-12ω^N(0)]N+(1-N+/N)+δON

where

±δONCN1-α(N++1)

for all α>0, and NN large enough.

Proof

The proof is very similar to [4, Prop. 8.7]. First of all, with Lemma 3 we can bound

±{e-A12ω^N(0)(N-1)1-N+N+[2NV^(0)-12ω^N(0)]N+eA-12ω^N(0)(N-1)1-N+N+[2NV^(0)-12ω^N(0)]N+}CN1-α(N++1).

Moreover, for the contribution quadratic in N+, we can decompose

ξ,e-AN+2eA-N+2ξ=ξ1,e-AN+eA-N+ξ+ξ,e-AN+eA-N+ξ2

with ξ1=e-AN+eAξ and ξ2=N+ξ, and estimate, again with Lemma 3,

ξ,e-AN+2eA-N+2ξCN-α(N++1)1/2ξ(N++1)1/2ξ1+(N++1)1/2ξ2.

With Proposition 2, we have (N++1)1/2ξ1C(N++1)3/2ξ.

Contributions from e-AKeA

In Sect. 6.6 we will analyse the contributions to RN,α arising from conjugation of the kinetic energy operator K=pΛ+p2apap. To this aim we will exploit properties of the commutator [K,A], collected in the following proposition.

Proposition 9

Let A be defined as in (44) and ω^N(r) be defined in (39). Then there exists a constant C>0 such that

[K,A]=-Np,qΛ+,p-q(V^(·/eN)f^N,)(p)(bp+qa-paq+h.c.)+1Np,qΛ+,p-qω^N(p)[bp+qa-paq+h.c.]+δK

where

|ξ,δKξ|CN-1(logN)1/2K1/2ξN+1/2ξ+CN-αK1/2ξ2 91

for all α>1, ξF+N, and NN large enough. Moreover, the operator

ΔK=1Np,qΛ+,p-qω^N(p)[bp+qa-paq,A]

satisfies

|ξ,ΔKξ|CN-α(logN)1/2K1/2ξ2+CN-1(N++1)1/2ξ2 92

for all α>1, ξF+N, and NN large enough.

Proof

To show (91) we recall from Eqs. (84), (85) that

[K,A]=-Nr,vΛ+r-v(V^(·/eN)f^N,)(r)[br+va-rav+h.c.]+2Nr,vΛ+e2Nλ(χ^f^N,)(r)[br+va-rav+h.c.]+2Nr,vΛ+r·vηr[br+va-rav+h.c.]=T11+T12+T2.

with T2 satisfying (90). Using the definition ω^N(p)=2Ne2Nλχ^(p) we write

T12=1Np,qΛ+,p-qω^N(p)[bp+qa-paq+h.c.]+2Ne2Nλp,qΛ+,p-q(χ^η)(p)[bp+qa-paq+h.c.]=T121+T122.

Hence, δK=T2+T122. To bound T122 we switch to position space:

|ξ,T122ξ|CN2α-3/2Λ2χ(x-y)ηˇ(x-y)aˇxaˇyξaˇxξCN2α-3/2Λ2χ(x-y)aˇxaˇyξ2dxdy1/2Λ2|ηˇ(x-y)|2aˇxξ2dxdy1/2CNα-3/2N+1/2ξΛ2χ(x-y)aˇxaˇyξ2dxdy1/2.

To bound the term in the parenthesis, we proceed similarly as in (80). We find

Λ2χ(x-y)aˇxaˇyξ2dxdyCqχqK1/2N+1/2ξ2CqN1-2α/qK1/2ξ2

for any q>2 and 1<q<2 with 1/q+1/q=1. Choosing q=logN, we obtain

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

With (90), this implies (91).

Let us now focus on (92). We have

1Np,qΛ+,p-qω^N(p)[bp+qa-paq,A]=1Nr,p,q,vΛ+,p-q,r-vω^N(p)ηr[bp+qa-paq,br+va-rav-ava-rbr+v].

With the commutators from the proof of Proposition 8.8 in [4], we arrive at

1Np,qΛ+,p-qω^N(p)[bp+qa-paq,A]+h.c.=j=112Υj+h.c.

where

Υ1:=-1Nq,r,vΛ+,qv,r-v(ω^N(v-q)+ω^N(v))ηrbr+vb-raq-vaq,Υ2:=1Nq,r,vΛ+,r-v,r-qω^N(r+q)ηr(1-N+/N)avar+qaqar+v,Υ3:=1Nr,vΛ+,r-v(ω^N(r+v)+ω^N(r))ηr(1-N+/N)avav,Υ4:=1Nq,r,vΛ+,qv,r-vω^N(r+v-q)ηr(1-N+/N)avaq-r-va-raq,Υ5:=-1N2p,q,r,vΛ+,p-q,r-vω^N(p)ηravap+qa-pa-rar+vaq,Υ6:=-1N2q,r,vΛ+,qr+vω^N(r+v)ηravaq-r-va-raq,Υ7:=-1N2q,r,vΛ+,q-r,r-vω^N(r)ηravaq+rar+vaq,Υ8:=1Nr,v,pΛ+,p-r-vω^N(p)ηrbp+r+vb-pa-rav,Υ9:=1Np,r,vΛ+,pr,r-vω^N(p)ηrbp-rbr+va-pav,Υ10:=1Nq,r,vΛ+,q-r,r-vω^N(r)ηrbq+ravaqbr+v,Υ11:=-1Np,r,vΛ+,p-v,r-vω^N(p)ηrbp+va-pa-rbr+v,Υ12:=1Nq,r,vΛ+rq-v,-vω^N(r+v)ηrbq-r-vava-rbq. 93

To conclude the proof of Proposition 9, we show that all operators in (93) satisfy (92). To study all these terms it is convenient to switch to position space. We recall that ω^N(p)=gNχ^(p) with |gN|C and =N-α. Using (87) we find:

|ξ,Υ1ξ|CN2α-1Λ2dxdyχ(x-y)bˇ(ηˇx)bˇxaˇyξaˇxξ+aˇyξCN2α-1ηΛ2dxdyχ(x-y)bˇxaˇy(N++1)1/2ξaˇxξCN-α(logN)1/2(N++1)1/2ξK1/2ξ.

The expectation of Υ2 is bounded following the same strategy used to show (87). For any 2q< we have

|ξ,Υ2ξ|CN2α-1Λ3dxdydzχ(z-y)|ηˇ(z-x)|aˇxaˇyξaˇzaˇxξCN2α-1Λ2dxdz|ηˇ(z-x)|aˇzaˇxξ×Λdyχ(|z-y|N-α)1-1/qΛdyaˇxaˇyξq1/qCq1/2N2α/q-1η(N++1)ξΛ2dxdyaˇxyaˇyξ2+Λ2dxdyaˇxaˇyξ21/2CN-α(logN)1/2(N++1)1/2ξK1/2ξ,

where in the last line we chose q=logN. The term Υ3 is of lower order; using that |rω^N(r)ηr|χ^(./Nα)2η2C and Cauchy–Schwarz, we easily obtain

|ξ,Υ3ξ|CN-1(N++1)1/2ξ2.

The term Υ4 can be estimated as Υ1 using (87):

|ξ,Υ4ξ|CN2α-1Λ2dxdyχ(x-y)aˇxaˇyξaˇ(ηˇy)aˇyξCN2α-1ηΛ2dxdyχ(x-y)aˇxaˇyξaˇy(N++1)1/2ξCN-α(logN)1/2(N++1)1/2ξK1/2ξ.

The term Υ5 is bounded similarly to Υ2; with q=logN we have

|ξ,Υ5ξ|CN2α-2ηΛ3dxdydzχ(y-z)aˇxaˇyaˇzξN+1/2aˇxaˇyξCN2α-3/2ηΛ2dxdyaˇxaˇyξ×Λdzχ(|y-z|N-α)1-1/qΛdzaˇxaˇyaˇzξq1/qCN-α(logN)1/2(N++1)1/2ξK1/2ξ.

The terms Υ6 and Υ7 are of smaller order and can be bounded with Cauchy–Schwarz; we have

|ξ,Υ6ξ|CN2α-2Λ2dxdydzχ(x-y)aˇxaˇyξaˇ(ηˇx)aˇyξCNα-3/2Λ2dxdyaˇxaˇyξ21/2Λ2dxdyχ(|x-y|N-α)aˇyξ21/2CN-1(N++1)1/2ξ2,

and

|ξ,Υ7ξ|CN2α-2Λ3dxdydzχ(y-z)|ηˇ(z-x)|aˇxaˇyξ2CN2α-2Λ3dxdydzχ(y-z)aˇxaˇyξ21/2×Λ3dxdydz|ηˇ(z-x)|2aˇxaˇyξ21/2CN-1(N++1)1/2ξ2.

The terms Υ8,Υ11,Υ12 are again bounded, as Υ1, using (87). We find

|ξ,(Υ8+Υ11+Υ12)ξ|CN2α-1ηΛ2dxdyχ(x-y)N+1/2aˇxaˇyξaˇxξCN-α(logN)1/2(N++1)1/2ξK1/2ξ.

It remains to bound Υ9 and Υ10. The term Υ9 is bounded analogously to Υ2:

|ξ,Υ9ξ|CN2α-1Λ3dxdydzχ(x-z)|ηˇ(x-y)|aˇxaˇyaˇzξaˇyξCN2α-1Λ2dxdy|ηˇ(x-y)|aˇyξΛdzχ(|y-z|N-α)1-1/q×Λdzaˇxaˇyaˇzξq1/qCq1/2N2α/q-1Λ2dxdy|ηˇ(x-y)|2aˇyξ21/2Λ3dxdyaˇxaˇyaˇzξLzq21/2CN-α(logN)1/2(N++1)1/2ξK1/2ξ.

As for Υ10, we find

|ξ,Υ10ξ|CN2α-1Λ3dxdydzχ(y-z)|ηˇ(x-z)|aˇxaˇyξ2

Proceeding as in (80), we obtain

|ξ,Υ10ξ|CqN2αχ|ηˇ|qK1/2ξ2CqηˇqK1/2ξ2

for any q>2, and q<2 with 1/q+1/q=1. Since, for an arbitrary q<2, ηˇqηˇ2=η2N-α, we obtain

|ξ,Υ10ξ|CN-αK1/2ξ2

We conclude that for any α>1

ξ,j=112ΥiξCN-α(logN)1/2(K+1)1/2ξ2+CN-1(N++1)1/2ξ2.

Analysis of e-AZNeA

In this subsection, we consider contributions to RN,α arising from conjugation of ZN, as defined in (77).

Proposition 10

Let A be defined in (44). Then, there exists a constant C>0 such that

eAZNe-A=12pΛ+ω^N(p)(bpb-p+bpb-p)+δZN

where

±δZNCN1-α(HN+1)

for all α>0, and NN large enough.

Proof

We have

12pΛ+ω^N(p)[e-A(bpb-p+bpb-p)eA-(bpb-p+bpb-p)]=1201dspΛ+ω^N(p)e-sA[bpb-p+bpb-p,A]esA. 94

We compute

12pΛ+ω^N(p)[bpb-p,br+va-rav-ava-rbr+v]=-ω^N(v)br+vb-vb-r+ω^N(r)bv(brbr+v-2Narar+v)+ω^N(r+v)(1-N+N)b-r-vava-r-1NpΛω^N(p)bpa-pava-rar+v. 95

With (95) we write

12pΛω^N(p)[bpb-p+bpb-p,A]=j=14Πj+h.c.

with

Π1=-1Nr,vΛ+r-vω^N(v)ηrbr+vb-vb-r,Π2=1Nr,vΛ+:r-vω^N(r)ηrbv(brbr+v-2Narar+v),Π3=1Nr,vΛ+r-vω^N(r+v)ηr(1-N+N)b-r-vava-r,Π4=-1N3/2r,v,pΛ+:r-vω^N(p)ηrbpa-pava-rar+v.

To bound the first term, we observe, with (52),

|ξ,Π1ξ|ηNK1/2N+1/2ξ(N++1)1/2ξvΛ+|ω^N(v)|2v21/2CN-α(logN)1/2K1/2ξ(N++1)1/2ξ.

The term Π3 can be bounded similarly to Π1, with (52). We find

|ξ,Π3ξ|CN-α(logN)1/2(N++1)1/2ξK1/2ξ.

With |ω^N(r)|C, we similarly obtain

|ξ,Π2ξ|N-1/2ηK1/2N+1/2ξ(N++1)1/2ξCN-αK1/2ξ(N++1)1/2ξ.

Finally, we estimate, using again (52),

|ξ,Π4ξ|N-3/2(r,v,pΛ+p2|ηr|2a-pav(N++1)1/2ξ2)1/2×(r,v,pΛ+|ω^N(p)|2p2a-rar+vξ2)1/2CN-3/2η(logN)1/2K1/2(N++1)ξ(N++1)ξCN-α(logN)1/2K1/2ξ(N++1)1/2ξ.

With (94), we conclude that

|12pΛω^N(p)[ξ,e-A(bpb-p+bpb-p)eAξ-ξ,(bpb-p+bpb-p)ξ]|CN-α(logN)1/201dsK1/2esAξ(N++1)1/2esAξ.

With Proposition 2, Lemma 3, we conclude that

|12pΛω^N(p)[ξ,e-A(bpb-p+bpb-p)eAξ-ξ,(bpb-p+bpb-p)ξ]|CN-α(logN)1/2HN1/2ξ+N1/2N+1/2ξ(N++1)1/2ξCN1-α(HN+1)1/2ξ2.

Contributions from e-ACNeA

In Sect. 6.6 we will analyse the contributions to RN,α arising from conjugation of the cubic operator CN defined in (77). To this aim we will need some properties of the commutator [CN,A], as established in the following proposition.

Proposition 11

Let A be defined in (44). Then, there exists a constant C>0 such that

[CN,A]=2r,vΛ+[V^(r/eN)ηr+V^((r+v)/eN)ηr]avav(1-N+N)+δCN

where

|ξ,δCNξ|CN3/2-αHN1/2ξ(N++1)1/2ξ 96

for all α>0, ξF+N, and NN large enough.

Proof

We consider the commutator

[CN,A]=p,qΛ+:p+q0r,vΛ+V^(p/eN)ηr[bp+qa-paq,br+va-rav-ava-rbr+v]+h.c..

As in the proof of Proposition 9, we use the commutators from the proof of Proposition 8.8 in [4] to conclude that

[CN,A]=2r,vΛ+[V^(r/eN)ηr+V^((r+v)/eN)ηr]avavN-N+N+j=112(Ξj+h.c.)

where

Ξ1:=-r,v,pΛ+,pvV^(p/eN)ηrbr+vb-ra-pav-p,Ξ2:=r,v,pΛ+r-pV^(p/eN)ηr(1-N+/N)ava-pa-r-par+v,Ξ3:=r,v,pΛ+:r+vpV^(p/eN)ηr(1-N+/N)ava-pa-rar+v-p,Ξ4:=-1Nr,v,p,qΛ+:p+q0V^(p/eN)ηravap+qa-pa-rar+vaq,Ξ5:=-1Nr,v,qΛ+:r+vqV^((r+v)/eN)ηravaq-r-va-raq,Ξ6:=-1Nr,v,qΛ+:r-qV^(r/eN)ηravaq+rar+vaqΞ7:=r,v,pΛ+:r+v-pV^(p/eN)ηrbp+r+vb-pa-rav,Ξ8:=r,v,pΛ+:r-pV^(p/eN)ηrbp-rbr+va-pav,Ξ9:=-r,v,qΛ+:qvV^(v/eN)ηrbq-vbr+va-raq,Ξ10:=r,v,qΛ+:r-qV^(r/eN)ηrbq+ravaqbr+v,Ξ11:=-r,v,pΛ+:p-vV^(p/eN)ηrbp+va-pa-rbr+v,Ξ12:=r,v,qΛ+:qr+vV^((r+v)/eN)ηrbq-r-vava-rbq.

To prove the proposition, we have to show that all terms Ξj, j=1,,12, satisfy the bound (96). We bound Ξ1 in position space, with Cauchy–Schwarz, by

|ξ,Ξ1ξ|CΛ3dxdydze2NV(eN(x-y))|ηˇ(x-z)|aˇxξaˇxaˇyaˇzξCΛ3dxdydze2NV(eN(x-y))aˇxaˇyaˇzξ21/2×Λ3dxdydze2NV(eN(x-y))|ηˇ(x-z)|2aˇxξ21/2Cη(N++1)1/2ξVN1/2N+1/2ξCN1/2-α(N++1)1/2ξVN1/2ξ.

We can proceed similarly to control Ξ9. We obtain

|ξ,Ξ9ξ|CN1/2-α(N++1)1/2ξVN1/2ξ.

The expectations of the terms Ξ3 and Ξ12 can be bounded analogously:

|ξ,Ξ3ξ|+|ξ,Ξ12ξ|CΛ3dxdydze2NV(eN(x-y))(|η(x-z)|+|η(y-z)|)aˇxaˇyξaˇxaˇzξCΛ3dxdydze2NV(eN(x-y))aˇxaˇyξ2(|η(x-z)|2+|η(y-z)|2)1/2×Λ3dxdydze2NV(eN(x-y))aˇxaˇzξ21/2Cη(N++1)ξVN1/2ξCN1/2-α(N++1)1/2ξVN1/2ξ.

As for Ξ4, we find

|ξ,Ξ4ξ|=|1NΛ2dxdydze2NV(eN(y-z))ξ,aˇxaˇyaˇzaˇ(ηˇx)aˇxaˇyξ|CN-1ηΛ2dxdydze2NV(eN(y-z))aˇxaˇyaˇzξN+1/2aˇxaˇyξCN-1ηΛ2dxdydze2NV(eN(y-z))aˇxaˇyaˇzξ21/2×Λ2dxdydze2NV(eN(y-z))N+1/2aˇxaˇyξ21/2CN1/2-αVN1/2ξN+1/2ξ.

The terms Ξ5 and Ξ6 can be bounded in momentum space, using (154). Hence,

|ξ,Ξ5ξ|+|ξ,Ξ6ξ|CN-1r,v,qΛ+(V^((v+r)/eN)|v||ηr||v|avaq-r-vξa-raqξ+V^(r/eN)|r+v||ηr||r+v|ar+qavξaqar+vξ)CN1/2-α(N++1)1/2ξK1/2ξ.

Similarly we have

|ξ,Ξ2ξ|+|ξ,Ξ10ξ|r,v,pΛ+(V^(p/eN)|p||ηr||p|ava-pξar+va-r-pξ+V^(r/eN)|r+v||ηr||r+v|aqar+vξar+qavξ)CN3/2-α(N++1)1/2ξK1/2ξ.

Next, we rewrite Ξ7, Ξ8 and Ξ11 as

Ξ7=Λ2dxdye2NV(eN(x-y))bˇxbˇya(ηˇx)aˇx,Ξ8=Λ2dxdydze2NV(eN(x-y))ηˇ(z-x)bˇxbˇzaˇyaˇz,Ξ11=-Λ2dxdye2NV(eN(x-y))bˇxaˇyaˇ(ηˇx)bˇx.

Thus, we obtain

|ξ,Ξ7ξ|CηΛ2dxdye2NV(eN(x-y))N+1/2aˇxaˇyξaˇxξCηN+1/2VN1/2ξN+1/2ξCN1/2-αVN1/2ξN+1/2ξ,

as well as

|ξ,Ξ8ξ|CΛ2dxdydze2NV(eN(x-y))|ηˇ(x-z)|aˇxaˇyaˇzξaˇzξCΛ2dxdydze2NV(eN(x-y))aˇxaˇyaˇzξ21/2×Λ2dxdydze2NV(eN(x-y))|η(x-z)|2aˇzξ21/2CN1/2-αVN1/2ξN+1/2ξ,

and

|ξ,Ξ11ξ|CηΛ2dxdye2NV(eN(x-y))aˇxaˇyξN+1/2aˇxξCηVN1/2ξN+ξCN1/2-αVN1/2ξN+1/2ξ.

Collecting all the bounds above, we arrive at (96).

Proof of Proposition 4

With the results of Sects. 6.16.5, we can now show Proposition 4. We assume α>2. From Eq. (76), Propositions 8 and 10 we obtain that

RN,α=e-AGN,αeffeA=12ω^N(0)(N-1)(1-N+/N)+2NV^(0)-12ω^N(0)N+(1-N+/N)+12pΛ+ω^N(p)[bpb-p+bpb-p]+K+CN+VN+01dse-sA[K+CN+VN,A]esA+ER(1)

with

±ER(1)CN1-α(HN+1).

From Propositions 7, 9 and 11, we can write, for N large enough,

[K+CN+VN,A]=1Nr,vΛ+ω^N(r)[br+va-rav+h.c.]-Nr,v,Λ+,p-qV^(r/eN)[br+va-rav+h.c.]+2r,vΛ+[V^(r/eN)ηr+V^((r+v)/eN)ηr]avav(1-N+/N)+ER(2)

where

|ξ,ER(2)ξ|CN1/2-α(logN)1/2HN1/2ξ2+CN3/2-αHN1/2ξ(N++1)1/2ξ+CN-1(logN)1/2HN1/2ξ(N++1)1/2ξ.

for all ξF+N. From Proposions 2, 3 and recalling the definition (77) of the operator CN, we deduce that

01dse-sA[K+CN+VN,A]esA=01dse-sA[-CN+1Nr,vΛ+ω^N(r)[br+va-rav+h.c.]+2r,vΛ+[V^(r/eN)ηr+V^((r+v)/eN)ηr]avav(1-N+N)]esA+ER(3) 97

with

±ER(3)C[N2-α+N-1/2(logN)1/2](HN+1)

for NN sufficiently large.

We now rewrite

2r,vΛ+[V^(r/eN)ηr+V^((r+v)/eN)ηr]avav(1-N+N)=4r,vΛ+V^(r/eN)ηravav(1-N+N)+2r,vΛ+[V^((r+v)/eN)-V^(r/eN)]ηravav(1-N+N):=Q1+Q2. 98

With Lemma 1, part (iii) we get

|2rΛV^(r/eN)ηr-[2ω^N(0)-2NV^(0)]|CN, 99

and therefore, using Lemma 3 and (99)

±[e-sAQ1esA-2[2ω^N(0)-2NV^(0)]vΛ+avav(1-N+N)]CN1-α(N++1)+CNN+. 100

On the other hand it is easy to check that e-sAQ2esA is an error term; to this aim we notice that

|rΛ[V^(r/eN)ηr-V^((r+v)/eN)ηr]|CN|v|e-N.

Hence with Props. 2 and 3 we find

±[e-sAQ2esA]CNe-Ne-sAN+1/2K1/2esACN2e-N(HN+1). 101

To handle the second term on the second line of (97), we apply Proposition 9 and then Propositions 2 and 3

±(1N01dsr,vΛ+ω^N(r)[e-sAbr+va-ravesA-br+va-rav]+h.c.)=±(1N01ds0sdtr,vΛ+ω^N(r)e-tA[br+va-rav,A]etA)C01ds0sdte-tA(N-α(logN)K+N-1(N++1))etACN1-αlogN(HN+1). 102

As for the first term on the second line of (97), we use again Proposition 11. Using (98), (100) and (101) we have

01dse-sACNesA-CN=01ds0sdte-tA[CN,A]etA=[2ω^N(0)-2NV^(0)]pΛ+apap(1-N+N)+ER(4) 103

with ±ER(4)CN2-α(HN+1)+CN-1(N++1).

Inserting the bounds (100), (101), (102) and (103) into (97) we arrive at

RN,α=12(N-1)ω^N(0)(1-N+/N)+12ω^N(0)N+1-N+/N+ω^N(0)pΛ+apap(1-N+N)+12pΛ+ω^N(p)[bpb-p+bpb-p]+1Nr,vΛ+:r-vω^N(r)[br+va-rav+h.c.]+HN+ER

with

±ERC[N2-α+N-1/2(logN)1/2](HN+1)

for NN sufficiently large.

Acknowledgements

We are thankful to A. Olgiati for discussions on the two dimensional scattering equation.

Appendix A: Analysis of GN,α

The aim of this section is to show Proposition 1. From (12) and (37), we can decompose

GN,α=e-BLNeB=GN,α(0)+GN,α(2)+GN,α(3)+GN,α(4)

with

GN,α(j)=e-BLN(j)eB.

To analyse GN,α we will need precise informations on the action of the generalized Bogoliubov transformation eB with B the antisymmetric operator defined in (33), which are summarized in Sect. 1. Then, in the Sects. 11 we prove separate bounds for the operators GN,α(j), j=0,2,3,4, which we combine in Sect. 1 to prove Proposition 1.

The analysis in this section follows closely that of [4, Sect. 7] with some slight modifications due to the different scaling of the interaction potential and the fact that the kernel ηp of eB is different from zero for all pΛ+ (in [4] ηp is different from zero only for momenta larger than a sufficiently large cutoff of order one). Moreover, while in three dimensions it was sufficient to choose the function ηp appearing in the generalized Bogoliubov transformation with η sufficiently small but of order one, we need here η to be of order N-α for some α>0 large enough. As discussed in the introduction this is achieved by considering the Neumann problem for the scattering equation in (16) on a ball of radius =N-α; as a consequence some terms depending on will be large, compared to the analogous terms in [4].

Appendix A.1: Generalized Bogoliubov Transformations

In this subsection we collect important properties about the action of unitary operators of the form eB, as defined in (34). As shown in [2, Lemma 2.5 and 2.6], we have, if η is sufficiently small,

e-BbpeB=n=0(-1)nn!adB(n)(bp)e-BbpeB=n=0(-1)nn!adB(n)(bp) 104

where the series converge absolutely. To confirm the expectation that generalized Bogoliubov transformation act similarly to standard Bogoliubov transformations, on states with few excitations, we define (for η small enough) the remainder operators

dq=m01m![ad-B(m)(bq)-ηqmbαmqm],dq=m01m![ad-B(m)(bq)-ηqmbαmqm+1] 105

where qΛ+, (m,αm)=(·,+1) if m is even and (m,αm)=(,-1) if m is odd. It follows then from (104) that

e-BbqeB=γqbq+σqb-q+dq,e-BbqeB=γqbq+σqb-q+dq 106

where we introduced the notation γq=cosh(ηq) and σq=sinh(ηq). It will also be useful to introduce remainder operators in position space. For xΛ, we define the operator valued distributions dˇx,dˇx through

e-BbˇxeB=b(γˇx)+b(σˇx)+dˇx,e-BbˇxeB=b(γˇx)+b(σˇx)+dˇx 107

where γˇx(y)=qΛcosh(ηq)eiq·(x-y) and σˇx(y)=qΛsinh(ηq)eiq·(x-y). The next lemma is taken from [4, Lemma 3.4].

Lemma 4

Let η2(Λ+), nZ. For pΛ+, let dp be defined as in (106). If η is small enough, there exists C>0 such that

(N++1)n/2dpξCN|ηp|(N++1)(n+3)/2ξ+ηbp(N++1)(n+2)/2ξ,(N++1)n/2dpξCNη(N++1)(n+3)/2ξ 108

for all pΛ+,ξF+N. In position space, with dˇx defined as in (107), we find

(N++1)n/2dˇxξCNη[(N++1)(n+3)/2ξ+bx(N++1)(n+2)/2ξ.] 109

Furthermore, letting d¯ˇx=dˇx+(N+/N)b(ηˇx), we find

(N++1)n/2aˇyd¯ˇxξCN[η2(N++1)(n+2)/2ξ+η|ηˇ(x-y)|(N+1)(n+2)/2ξ+ηaˇx(N++1)(n+1)/2ξ+η2aˇy(N++1)(n+3)/2ξ+ηaˇxaˇy(N+1)(n+2)/2ξ] 110

and, finally,

(N++1)n/2dˇxdˇyξCN2[η2(N++1)(n+6)/2ξ+η|ηˇ(x-y)|(N++1)(n+4)/2ξ+η2ax(N++1)(n+5)/2ξ+η2ay(N++1)(n+5)/2ξ+η2axay(N++1)(n+4)/2ξ] 111

for all ξF+n.

A first simple application of Lemma 4 is the following bound on the growth of the expectation of N+.

Lemma 5

Assume B is defined as in (33), with η2(Λ) and ηp=η-p for all pΛ+. Then, there exists a constant C>0 such that

|ξ,[e-BN+eB-N+]ξ|η(N++1)1/2ξ2

for all ξF+N.

Proof

With (106) we write

e-BN+eB-N+=01e-sB[N+,B]esBds=01pΛ+ηpe-sB(bpb-p+bpb-p)esBds=01pΛ+ηp(γp(s)bp+σp(s)b-p+dp(s))(γp(s)b-p+σp(s)b-p+d-p(s))+h.c.ds

with γp(s)=cosh(sηp), σp(s)=sinh(sηp). Using |γp(s)|C and |σp(s)|C|ηp|, (108) in Lemma 4 we arrive at

|ξ,[e-BN+eB-N+]ξ|C(N++1)1/2ξpΛ+|ηp||ηp|(N++1)1/2ξ+bpξCη(N++1)1/2ξ2

Appendix A.2: Analysis of GN,α(0)=e-BLN(0)eB

We define EN(0) so that

GN,α(0)=e-BLN(0)eB=12V^(0)(N+N+-1)(N-N+)+EN,α(0).

where we recall from (13) that

LN(0)=12V^(0)(N-1+N+)(N-N+).
Proposition 12

Under the assumptions of Proposition 1, there exists a constant C>0 such that

±EN,α(0)CN1-α(N++1)

for all α>0 and NN large enough.

Proof

The proof follows [4, Prop. 7.1].

We write

LN(0)=N(N-1)2V^(0)+N2V^(0)[qΛ+bqbq-N+].

Hence,

EN(0)=N2V^(0)qΛ+e-BbqbqeB-bqbq-N2V^(0)e-BN+eB-N+.

To bound the first term we use (106), |γq2-1|Cηq2, |σq|C|ηq|, the first bound in (108), Cauchy–Schwarz and the estimate ηCN-α. To bound the second term, we use Lemma 5. We conclude that

|ξ,EN(0)ξ|CN1-α(N++1)1/2ξ2.

Appendix A.3: Analysis of GN,α(2)=e-BLN(2)eB

We consider first conjugation of the kinetic energy operator.

Proposition 13

Under the assumptions of Proposition 1, there exists C>0 such that

e-BKeB=K+pΛ+p2ηp(bpb-p+bpb-p)+pΛ+p2ηp2(N-N+N)(N-N+-1N)+EN,α(K) 112

where

|ξ,EN,α(K)ξ|CN1/2-αHN1/2ξ(N++1)1/2ξ+CN1-α(N++1)1/2ξ2 113

for any α>1, ξF+N and NN large enough.

Proof

We proceed as in the proof of [4, Prop. 7.2]. We write

e-BKeB-K=01dspΛ+p2ηp[(γp(s)bp+σp(s)b-p)(γp(s)b-p+σp(s)bp)+h.c.]+01dspΛ+p2ηp[(γp(s)bp+σp(s)b-p)d-p(s)+dp(s)(γp(s)b-p+σp(s)bp)+h.c.]+01dspΛ+p2ηp[dp(s)d-p(s)+h.c.]=:G1+G2+G3 114

with γp(s)=cosh(sηp), σp(s)=sinh(sηp) and where dp(s) is defined as in (105), with ηp replaced by sηp. We find

G1=pΛ+p2ηp(bpb-p+b-pbp)+pΛ+p2ηp21-N+N+E1K

with

E1K=201dspΛ+p2ηp(σp(s))2(bpb-p+b-pbp)+01dspΛ+p2ηpγp(s)σp(s)(4bpbp-2N-1apap)+201dspΛ+p2ηp(γp(s)-1)σp(s)+(σp(s)-sηp)(1-N+N).

Since |((γp(s))2-1)|Cηp2, (σp(s))2Cηp2, p2|ηp|C, ηN-α, we can estimate

|ξ,E1Kξ|CpΛ+p2|ηp|3bpξ(N++1)1/2ξ+CpΛ+p2ηp2apξ2+CpΛ+p2ηp4ξ2Cη(N++1)1/2ξ2CN-α(N++1)1/2ξ2, 115

for any ξF+N. To bound the term G3 in (114), we switch to position space:

|ξ,G3ξ|CN01dsΛ2dxdye2NV(eN(x-y))+N2α-1χ(|x-y|N-α)×(N++1)-1/2dˇx(s)dˇy(s)ξ(N++1)1/2ξ

With (111), we obtain

|ξ,G3ξ|CN1-αΛ2dxdye2NV(eN(x-y))+N2α-1χ(|x-y|N-α)(N++1)1/2ξ2+CN-2αΛ2dxdye2NV(eN(x-y))+N2α-1χ(|x-y|N-α)(N++1)1/2ξ×[aˇx(N++1)ξ+aˇy(N++1)ξ+aˇxaˇy(N++1)1/2ξ]CN1-α(N++1)1/2ξ2+CN1/2-α(N++1)1/2ξVN1/2ξ. 116

Finally, we consider G2 in (114). We split it as G2=G21+G22+G23+G24, with

G21=01dspΛ+p2ηpγp(s)bpd-p(s)+h.c.,G22=01dspΛ+p2ηpσp(s)b-pd-p(s)+h.c.G23=01dspΛ+p2ηpγp(s)dp(s)b-p+h.c.,G24=01dspΛ+p2ηpσp(s)dp(s)bp+h.c.. 117

We consider G21 first. We write

G21=-pΛ+p2ηp2N++1NN-N+N+E2K+h.c.

where E2K=j=13E2jK, with

E21K=12NpΛ+p2ηp2(N++1)(bpbp-1Napap),E22K=01dspΛ+p2ηp(γp(s)-1)bpd-p(s),E23K=01dspΛ+p2ηpbpd¯-p(s). 118

and where we introduced the notation d¯-p(s)=d-p(s)+sηp(N+/N)bp. With (29), we find

|ξ,E21Kξ|CpΛ+ηpapξ2CN-αN+1/2ξ2 119

Using |γp(s)-1|Cηp2 and (108), we obtain

|ξ,E22Kξ|pΛ+p2|ηp|3N+1/2ξd-p(s)ξCN-3α(N++1)1/2ξ2. 120

To control the third term in (118), we use (30) and we switch to position space. We find

E23K=-N01dsΛ2dxdye2NV(eN(x-y))fN,(x-y)bˇxd¯ˇy(s)+N01dse2NλΛ2dxdyχ(x-y)fN,(x-y)bˇxd¯ˇy(s)=;E231K+E232K. 121

With (110) and |ηˇ(x-y)|CN, we obtain

|ξ,E231Kξ|N01dsΛ2dxdye2NV(eN(x-y))×(N++1)1/2ξ(N++1)-1/2aˇxd¯ˇy(s)ξCN1-α(N++1)1/2ξ2+CN1/2-α(N++1)1/2ξVN1/2ξ. 122

As for E232K, with (110) and Lemma 1 (recalling =N-α), we find

|ξ,E232Kξ|CN-α(N++1)1/2ξ2+Λ2dxdyχ(|x-y|N-α)(N++1)1/2ξaˇxaˇyN+1/2ξ 123

To bound the last term on the r.h.s. of (123) we use Hölder’s and Sobolev inequality uqCq1/2uH1, valid for any 2q<. We find

Λ2dxdyχ(|x-y|N-α)(N++1)1/2ξaˇxaˇyN+1/2ξC(N++1)1/2ξΛdxΛdyχ(|x-y|N-α)1-1/qΛdyaˇxaˇyN+1/2ξq1/qCN2α/q-2α(N++1)1/2ξΛdxΛdyaˇxaˇyN+1/2ξq1/qCq1/2N2α/q-2α(N++1)1/2ξ×Λ2dxdyaˇxyaˇyN+1/2ξ2+Λ2dxdyaˇxaˇyN+1/2ξ21/2Cq1/2N2α/q-2α(N++1)1/2ξK1/2N+ξ+N+3/2ξ.

Choosing q=logN, we get

Λ2dxdyχ(|x-y|N-α)(N++1)1/2ξaˇxaˇy(N++1)1/2ξCN1-2α(logN)1/2(N++1)1/2ξK1/2ξ. 124

Therefore, for any ξF+N,

|ξ,E232Kξ|N1-2α(logN)1/2K1/2ξ(N++1)1/2ξ+N-α(N++1)1/2ξ2.

Combining the last bound with (119), (120) and (122), we conclude that

|ξ,E2Kξ|CN1-α(N++1)1/2ξ2+CN1/2-αHN1/2ξ(N++1)1/2ξ. 125

for any α>1, NN large enough, ξF+N.

The term G22 in (117) can be bounded using (108). We find

|ξ,G22ξ|CN-2α(N++1)1/2ξ2. 126

We split G23=E31K+E32K+h.c., with

E31K=01dspΛ+p2ηp(γp(s)-1)dp(s)b-p,E32K=01dspΛ+p2ηpdp(s)b-p

With (108), we find

|ξ,E31Kξ|C01dspΛ+p2|ηp|3(dp(s))ξb-pξdsCN-3α(N++1)1/2ξ2

To estimate E32K, we use (30) and we switch to position space. Proceeding as we did in (121), (122), (123), we obtain

|ξ,E32Kξ|CN01dsΛ2dxdye2NV(eN(x-y))+N2α-1χ(|x-y|N-α)×(N++1)1/2ξ(N++1)-1/2dˇx(s)bˇyξ.

With (109) and (124) we find

|ξ,E32Kξ|CN-αΛ2dxdye2NV(eN(x-y))+N2α-1χ(|x-y|N-α)×(N++1)1/2ξaˇy(N++1)ξ+aˇxaˇy(N++1)1/2ξCN1-α(N++1)1/2ξ2+CN1/2-α(N++1)1/2ξVN1/2ξ+CN1-2α(logN)1/2(N++1)1/2ξK1/2ξ.

Combining the bounds for E31K and E32K , we conclude that, if α>1,

|ξ,G23ξ|CN1/2-α(N++1)1/2ξHN1/2ξ+CN1-α(N++1)1/2ξ2 127

To bound G24 in (117), we use (108), the bounds (28) and ηH12CN, and the commutator (14):

|ξ,G24ξ|C01dspΛ+p2ηp2(N++1)1/2ξ(N++1)-1/2dp(s)bpξC(N++1)1/2ξpΛ+p2ηp2|ηp|(N++1)1/2ξ+N-1ηbpbp(N++1)1/2ξCN-α(N++1)1/2ξ2.

Together with (117), (125), (126) and (127), this implies that

G2=-pΛ+p2ηp2N++1NN-N+N+E4K

with

|ξ,E4Kξ|CN1/2-αHN1/2ξ(N++1)1/2ξ+CN1-α(N++1)1/2ξ2. 128

Combining (115), (116) and (128), we obtain (112) and (113).

In the next proposition, we consider the conjugation of the operator

LN(2,V)=NpΛ+V^(p/eN)bpbp-1Napap+N2pΛ+V^(p/eN)bpb-p+bpb-p
Proposition 14

Under the assumptions of Proposition 1, there is a constant C>0 such that

e-BLN(2,V)eB=NpΛ+V^(p/eN)ηp(N-N+N)(N-N+-1N)+NpΛ+V^(p/eN)apap1-N+N+N2pΛ+V^(p/eN)(bpb-p+b-pbp)+EN(V) 129

where

|ξ,EN(V)ξ|CN1/2-αHN1/2ξ(N++1)1/2ξ+CN1-α(N++1)1/2ξ2. 130

for any α>1, ξF+N and NN large enough.

Proof

We write

e-BLN(2,V)eB=NpΛ+V^(p/eN)e-BbpbpeB-pΛ+V^(p/eN)e-BapapeB+N2pΛ+V^(p/eN)e-B[bpb-p+bpb-p]eB=:F1+F2+F3. 131

With (106), we find

F1=NpΛ+V^(p/eN)[γpbp+σpb-p][γpbp+σpb-p]+NpΛ+V^(p/eN)[(γpbp+σpb-p)dp+dp(γpbp+σpb-p)+dpdp]

where γp=coshηp, σp=sinhηp and the operators dp are defined in (105). Using |1-γp|ηp2, |σp|C|ηp| and using Lemma 4 for the terms on the second line, we find

F1=NpΛ+V^(p/eN)bpbp+E1V 132

with ±E1VCN1-α(N++1).

Let us now consider the second contribution on the r.h.s. of (131). We find

-F2=pΛ+V^(p/eN)apap+E2V 133

with

E2V=pΛ+V^(p/eN)01e-sB(ηpb-pbp+h.c.)esBds.

With Lemma 2, we easily find ±E2VCN-α(N++1).

Finally, we consider the last term on the r.h.s. of (131). With (106), we obtain

F3=N2pΛ+V^(p/eN)γpbp+σpb-pγpb-p+σpbp+h.c.+N2pΛ+V^(p/eN)(γpbp+σpb-p)d-p+dp(γpb-p+σpbp)+h.c.+N2pΛ+V^(p/eN)dpd-p+h.c.=:F31+F32+F33. 134

Using |1-γp|Cηp2, |σp|C|ηp|, we obtain

F31=N2pΛ+V^(p/eN)(bpb-p+b-pbp)+NpΛ+V^(p/eN)ηpN-N+N+E3V 135

with ±E3VCN1-α(N++1). As for F32 in (134), we divide it into four parts

F32=N2pΛ+V^(p/eN)(γpbp+σpb-p)d-p+dp(γpb-p+σpbp)+h.c.=:F321+F322+F323+F324. 136

We start with F321, which we write as

F321=-NpΛ+V^(p/eN)ηpN-N+NN++1N+E4V

where E4V=E41V+E42V+E43V+h.c., with

E41V=N2pΛ+V^(p/eN)(γp-1)bpd-p,E42V=N2pΛ+V^(p/eN)bpd¯-pE43V=-N2pΛ+V^(p/eN)ηpN++1N(bpbp-N-1apap)

and with the notation d¯-p=d-p+N-1ηpN+bp. Since |γp-1|Cηp2, ηCN-α, we find easily with (108) that

|ξ,E41Vξ|CN1-3α(N++1)1/2ξ2.

Moreover

|ξ,E43Vξ|CNpΛ+ηpapξ2CN1-αN+1/2ξ2.

As for E42V, we switch to position space and we use (110). We obtain

|ξ,E42Vξ|CNΛ2dxdye2NV(eN(x-y))(N++1)1/2ξ(N++1)-1/2aˇxd¯ˇyξCN1-αΛ2dxdye2NV(eN(x-y))(N++1)1/2ξ×[(N++1)1/2ξ+aˇxξ+aˇyξ+N-1/2aˇxaˇyξ]CN1-α(N++1)1/2ξ2+CN1/2-α(N++1)1/2ξVN1/2ξ.

We conclude that

|ξ,E4Vξ|CN1/2-α(N++1)1/2ξVN1/2ξ+CN1-α(N++1)1/2ξ2.

To bound the term F322 in (136), we use (108) and |σp|C|ηp|; we obtain

|ξ,F322ξ|CNpΛ+|ηp|b-pξ|ηp|(N++1)1/2ξ+ηb-pξCN1-2α(N++1)1/2ξ2.

Let us now consider the term F323 on the r.h.s. of (136). We write F323=E51V+E52V+h.c., with

E51V=N2pΛ+V^(p/eN)(γp-1)dpb-p,E52V=N2pΛ+V^(p/eN)dpb-p.

With |γp-1|Cηp2 and (108) we obtain

|ξ,E51Vξ|CNpΛ+ηp2dpξapξCN1-3α(N++1)1/2ξ2.

We find, switching to position space and using (109),

|ξ,E52Vξ|CNΛ2dxdye2NV(eN(x-y))(N++1)1/2ξ(N++1)-1/2dˇxaˇyξCN1-α(N++1)1/2ξΛ2dxdye2NV(eN(x-y))aˇyξ+N-1/2aˇxaˇyξCN1-α(N++1)1/2ξ2+CN1/2-α(N++1)1/2ξVN1/2ξ.

Hence,

|ξ,F323ξ|CN1-α(N++1)1/2ξ2+CN1/2-α(N++1)1/2ξVN1/2ξ

To estimate the term F324 in (136) we use (108) and the bound

pΛ+|V^(p/eN)||ηp|CpΛ+,|p|eN1p2+CpΛ+,|p|>eN|V^(p/eN)|p2CN+C(pΛ+|V^(p/eN)|2)1/2(pΛ+,|p|>eN1p4)1/2CN

We find

|ξ,F324ξ|CNpΛ+|V^(p/eN)||ηp|(N++1)1/2ξ(N++1)-1/2dpbpξCNpΛ+|V^(p/eN)||ηp|(N++1)1/2ξ×|ηp|(N++1)1/2ξ+N-1ηbpbp(N++1)1/2ξCNpΛ+|V^(p/eN)||ηp|(N++1)1/2ξ×|ηp|(N++1)1/2ξ+N-1η(N++1)1/2ξ+ηapξCN1-α(N++1)1/2ξ2.

Combining the last bounds, we arrive at

F32=NpΛ+V^(p/eN)ηpN-N+N-N+-1N+E6V

with

|ξ,E6Vξ|CN1-α(N++1)1/2ξ2+CN1/2-α(N++1)1/2ξVN1/2ξ. 137

To control the last contribution F33 in (134), we switch to position space. With (111) and (25) we obtain

|ξ,F33ξ|CN(N++1)1/2ξΛ2dxdye2NV(eN(x-y))(N++1)-1/2dˇxdˇyξCN1-α(N++1)1/2ξ2+CN1/2-2α(N++1)1/2ξVN1/2ξ.

The last equation, combined with (134), (135) and (137), implies that

F3=N2pΛ+V^(p/eN)(bpb-p+b-pbp)+NpΛ+V^(p/eN)ηpN-N+NN-N+-1N+E7V

with

|ξ,E7Vξ|CN1-α(N++1)1/2ξ2+CN1/2-α(N++1)1/2ξVN1/2ξ.

Together with (132) and with (133), and recalling that bpbp-N-1apap=apap(1-N+/N), we obtain (129) with (130).

Appendix A.4: Analysis of GN,α(3)=e-BLN(3)eB

We consider here the conjugation of the cubic term LN(3), defined in (13).

Proposition 15

Under the assumptions of Proposition 1, there exists a constant C>0 such that

GN,α(3)=e-BLN(3)eB=Np,qΛ+:p+q0V^(p/eN)bp+qa-paq+h.c.+EN(3)

where

|ξ,EN(3)ξ|CN1/2-α(N++1)1/2ξVN1/2ξ+CN1-α(N++1)1/2ξ2 138

for any α>1 and NN large enough.

Proof

This proof is similar to the proof of [4, Prop. 7.5]. Expanding e-Ba-paqeB, we arrive at

EN(3)=Np,qΛ+:p+q0V^(p/eN)((γp+q-1)bp+q+σp+qb-p-q+dp+q)a-paq+Np,qΛ+,p+q0V^(p/eN)ηpe-Bbp+qeB01dse-sBbpbqesB+Np,qΛ+,p+q0V^(p/eN)ηqe-Bbp+qeB01dse-sBb-pb-qesB+h.c.=:E1(3)+E2(3)+E3(3)+h.c. 139

where, as usual, γp=coshη(p), σp=sinhη(p) and dp is as in (105). We consider E1(3). To this end, we write

E1(3)=Np,qΛ+:p+q0V^(p/eN)((γp+q-1)bp+q+σp+qb-p-q+dp+q)a-paq=:E11(3)+E12(3)+E13(3).

Since |γp+q-1||ηp+q|2 and ηCN-α, we find

|ξ,E11(3)ξ|CNη2(N++1)1/2ξ2CN1-2α(N++1)1/2ξ2. 140

As for E12(3), we commute a-p through b-p-q (recall q0). With |σp+q|C|ηp+q|, we obtain

|ξ,E12(3)ξ|CN1-α(N++1)1/2ξ2. 141

We decompose now E13(3)=E131(3)+E132(3), with

E131(3)=Np,qΛ+:p+q0V^(p/eN)d¯p+qa-paqE132(3)=-(N++1)NNp,qΛ+:p+q0V^(p/eN)ηp+qb-p-qa-paq.

where we defined dp+q=d¯p+q-(N++1)Nηp+qb-p-q. The term E132(3) is estimated similarly to E12(3), moving a-p to the left of b-p-q; we find ±E132(3)CN1-α(N++1). We bound E131(3) in position space. We find

|ξ,E131(3)ξ|N1/2Λ2dxdye2NV(eN(x-y))aˇxξaˇyd¯ˇxξCN1/2-αΛ2dxdye2NV(eN(x-y))aˇxξ×[(N++1)ξ+N-1aˇx(N++1)1/2ξ+ηaˇy(N++1)1/2ξ+aˇxaˇyξ]CN1-α(N++1)1/2ξ2+CN1/2-α(N++1)1/2ξVN1/2ξ.

With (140) and (141) we obtain

|ξ,E1(3)ξ|CN1/2-αVN1/2ξ(N++1)1/2ξ+CN1-α(N++1)1/2ξ2. 142

Next, we focus on E2(3), defined in (139). With Eq. (106), we find

E2(3)=Np,qΛ+,p+q0V^(p/eN)ηpe-Bbp+qeB×01ds(γp(s)γq(s)bpbq+σp(s)σq(s)b-pb-q+γp(s)σq(s)b-qbp+σp(s)γq(s)b-pbq)+Np,qΛ+,p+q0V^(p/eN)ηpe-Bbp+qeB01dsγp(s)σq(s)[bp,b-q]+Np,qΛ+,p+q0V^(p/eN)ηpe-Bbp+qeB×01ds[dp(s)(γq(s)bq+σq(s)b-q)+(γp(s)bp+σp(s)b-p)dq(s)+dp(s)dq(s)]=:E21(3)+E22(3)+E23(3) 143

with γp(s)=cosh(sηp), σp(s)=sinh(sηp) and dp(s) defined as in (105), with η replaced by sη. With Lemma 2, we get

|ξ,E21(3)ξ|CN1-α(N++1)1/2ξ2. 144

Since [bp,b-q]=-a-qap/N for p-q, we find

|ξ,E22(3)ξ|CN-2α(N++1)1/2ξ2. 145

As for the third term on the r.h.s. of (143), we switch to position space. We find

E23(3)=NΛ3dxdydze2NV(eN(x-z))ηˇ(y-z)e-BbˇxeB×01ds[dˇy(s)(b(γˇx(s))+b(σˇx(s)))+(b(γˇy(s))+b(σˇy(s)))dˇx(s)+dˇy(s)dˇx(s)].

Using the bounds (109), (110), (111) and Lemma 2 we arrive at

|ξ,E23(3)ξ|CNΛ3dxdydze2NV(eN(x-z))|ηˇ(y-z)|bˇxeBξ01ds×[dˇy(s)(bˇx+b(rˇx(s))+b(σˇx(s)))ξ+(bˇy+b(rˇy(s))+b(σˇy(s)))dˇx(s)ξ+dˇx(s)dˇy(s)ξ]CNΛ3dxdydze2NV(eN(x-z))|ηˇ(y-z)|bˇxeBξ[N-1|ηˇ(x-y)|(N++1)ξ+ηbˇxbˇyξ+η(N++1)ξ+ηbˇx(N++1)1/2ξ+ηbˇy(N++1)1/2ξ]CN1-αN+1/2eBξ(N++1)ξCN1-α(N++1)1/2ξ2

where rˇ indicates the function in L2(Λ) with Fourier coefficients rp=1-γp, and the fact that ηˇ,rˇ,σˇCN-α. Combined with (144) and (145), the last bound implies that

±E2(3)CN1-α(N++1). 146

To bound the last contribution on the r.h.s. of (139), it is convenient to bound (in absolute value) the expectation of its adjoint

E3(3)=Np,qΛ+,p+q0V^(p/eN)ηq01dse-sBb-qesB×(γp(s)b-p+σp(s)bp+d-p(s))(γp+qbp+q+σp+qb-p-q+dp+q)=Np,qΛ+,p+q0V^(p/eN)ηq01dse-sBb-qesB×[γp(s)γp+qb-pbp+q+σp(s)σp+qbpb-p-q+γp(s)σp+qb-p-qb-p+γp+qσp(s)bpbp+q+d-p(s)(γp+qbp+q+σp+qb-p-q)+(γp(s)b-p+σp(s)bp)dp+q+d-p(s)dp+q]+Np,qΛ+,p+q0V^(p/eN)ηq01dse-sBb-qesBγp(s)σp+q[b-p,b-p-q]=:E31(3)+E32(3).

Since q0, [b-p,b-p-q]=-a-p-qa-p/N. Thus, we can estimate

|ξ,E32(3)ξ|CN-1/201dsp,qΛ+,p+q0|ηq||ηp+q|a-p-qe-sBb-qesBξa-pξCη2(N++1)1/2ξ2CN-2α(N++1)1/2ξ2. 147

To bound the expectation of E31(3), we switch to position space. We find

|ξ,E31(3)ξ|N1/201dsΛ2dxdye2NV(eN(x-y))b(ηˇx)esBξ[bˇxbˇyξ+ηbˇx(N++1)1/2ξ+ηbˇy(N++1)1/2ξ+N-1|ηˇ(x-y)|(N++1)ξ].

With Lemma 2, we conclude that

|ξ,E31(3)ξ|CN1/2-αVN1/2ξ(N++1)1/2ξ+CN1-α(N++1)1/2ξ2. 148

From (147) and (148) we obtain

|ξ,E3(3)ξ|CN1/2-αVN1/2ξ(N++1)1/2ξ+CN1-α(N++1)1/2ξ2.

Together with (139), (142) and (146), we arrive at (138).

Appendix A.5: Analysis of GN,α(4)=e-BLN(4)eB

Finally, we consider the conjugation of the quartic term LN(4). We define the error operator EN(4) through

GN,α(4)=e-BLN(4)eB=VN+12qΛ+,rΛr-qV^(r/eN)ηq+rηq1-N+N1-N++1N+12qΛ+,rΛ:r-qV^(r/eN)ηq+rbqb-q+bqb-q+EN(4)
Proposition 16

Under the assumptions of Proposition 1 there exists a constant C>0 such that

|ξ,EN(4)ξ|CN1/2-αVN1/2ξ(N++1)1/2ξ+CN1-α(N++1)1/2ξ2 149

for any α>1, ξF+N and NN large enough.

To show Proposition 16, we use the following lemma, whose proof can be obtained as in [4, Lemma 7.7].

Lemma 6

Let η2(Λ) as defined in (27). Then there exists a constant C>0 such that

(N++1)n/2e-BbˇxbˇyeBξC[N(N++1)n/2ξ+aˇy(N++1)(n+1)/2ξ+aˇx(N++1)(n+1)/2ξ+aˇxaˇy(N++1)n/2ξ]

for all ξF+N, nZ.

Proof of Proposition 16

We follow the proof of [4, Prop. 7.6]. We write

GN,α(4)=VN+W1+W2+W3+W4

with

W1=12qΛ+,rΛ:r-qV^(r/eN)ηq+r01ds(e-sBbqb-qesB+h.c.)W2=p,qΛ+,rΛ:rp,-qV^(r/eN)ηq+r01ds(e-sBbp+rbqesBa-q-rap+h.c.)W3=p,qΛ+,rΛ:r-p-qV^(r/eN)ηq+rηp×01ds0sdτ(e-sBbp+rbqesBe-τBb-pb-q-reτB+h.c.)W4=p,qΛ+,rΛ:r-p-qV^(r/eN)ηq+r2×01ds0sdτ(e-sBbp+rbqesBe-τBbpbq+reτB+h.c.). 150

Let us first consider the term W1. With (106), we find

W1=12qΛ+,rΛ:r-qV^(r/eN)ηq+r01ds(γq(s))2(bqb-q+h.c.)+12qΛ+,rΛ:r-qV^(r/eN)ηq+r01dsγq(s)σq(s)([bq,bq]+h.c.)+12qΛ+,rΛ:r-qV^(r/eN)ηq+r01dsγq(s)(bqd-q(s)+h.c.)+E10(4)=:W11+W12+W13+E10(4) 151

where

E10(4)=E101(4)+E102(4)+E103(4)+E104(4)+E105(4) 152

with

E101(4)=12qΛ+,rΛ:r-qV^(r/eN)ηq+r01ds[2γq(s)σq(s)bqbq+(σq(s))2b-qbq+h.c.]E102(4)=12qΛ+,rΛ:r-qV^(r/eN)ηq+r01dsσq(s)(b-qd-q(s)+h.c.)E103(4)=12qΛ+,rΛ:r-qV^(r/eN)ηq+r01dsσq(s)(dq(s)bq+h.c.)E104(4)=12qΛ+,rΛ:r-qV^(r/eN)ηq+r01dsγq(s)(dq(s)b-q+h.c.)E105(4)=12qΛ+,rΛ:r-qV^(r/eN)ηq+r01ds(dq(s)d-q(s)+h.c.). 153

With

1NsupqΛ+rΛ+|V^(r/eN)||ηq+r|C< 154

uniformly in NN, we can estimate the first term in (153) by

|ξ,E101(4)ξ|CN1-α(N++1)1/2ξ2.

Using (154) and (108) we also find

|ξ,E102(4)ξ|CN1-2α(N++1)1/2ξ2.

For the third term in (153) we switch to position space and use (109):

|ξ,E103(4)ξ|12dxdye2NV(eN(x-y))|ηˇ(x-y)|×01ds(N+1)-1/2dˇyb(σˇx(s))ξ(N+1)1/2ξCηˇηdxdye2NV(eN(x-y))(N++1)1/2ξ01ds×[b(σˇx(s))ξ+1N|ηˇ(s)(x-y)|(N+1)1/2ξ+1Nb(σˇx(s))bˇyξ]CN1-α(N++1)1/2ξ2.

Consider now the fourth term in (153). We write E104(4)=E1041(4)+E1042(4), with

E1041(4)=12qΛ+,rΛ:r-qV^(r/eN)ηq+r01ds(γq(s)-1)dq(s)b-qE1042(4)=12qΛ+,rΛ:r-qV^(r/eN)ηq+r01dsdq(s)b-q

With |γq(s)-1|C|ηq|2, (154) and dqξCη(N++1)1/2ξ, we find

|ξ,E1041(4)ξ|CN1-3α(N++1)1/2ξ2

As for E1042(4), we switch to position space. Using (25) and (109), we obtain

|ξ,E1042(4)ξ|=|1201dsΛ2dxdye2NV(eN(x-y))ηˇ(x-y)ξ,dˇx(s)bˇyξ|CN01dsΛ2dxdye2NV(eN(x-y))(N++1)1/2ξ(N++1)-1/2dˇx(s)bˇyξCNη01dsΛ2dxdye2NV(eN(x-y))(N++1)1/2ξ×N-1aˇyN+ξ+aˇxaˇyN+1/2ξCN1-α(N++1)1/2ξ2+CN1/2-α(N++1)1/2ξVN1/2ξ

Let us consider the last term in (153). Switching to position space and using (111) in Lemma 4 and again (25), we arrive at

|ξ,E105(4)ξ|CNΛ2dxdye2NV(eN(x-y))(N++1)1/2ξ01ds(N++1)-1/2dˇx(s)dˇy(s)ξCNη(N++1)1/2ξΛ2dxdye2NV(eN(x-y))×(N++1)1/2ξ+ηaˇxξ+ηaˇyξ+N-1/2ηaˇxaˇyξCN1-α(N++1)1/2ξ2+CN1/2-2α(N++1)1/2ξVN1/2ξ.

Summarizing, we have shown that (152) can be bounded by

|ξ,E10(4)ξ|CN1/2-αVN1/2ξ(N++1)1/2ξ+CN1-α(N++1)1/2ξ2 155

for any α>1, ξF+N. Next, we come back to the terms W11,W12,W13 introduced in (151). Using (154) and |γq(s)-1|Cηq2, we can write

W11=12qΛ+,rΛ:r-qV^(r/eN)ηq+r(bqb-q+h.c.)+E11(4), 156

where E11(4) is such that

|ξ,E11(4)ξ|CN1-2α(N++1)ξ2.

Next, we can decompose the second term in (151) as

W12=12qΛ+,rΛ:r-qV^(r/eN)ηq+rηq1-N+N+E12(4) 157

where ±E12(4)CN-αN++N1-3α.

The third term on the r.h.s. of (151) can be written as

W13=-12qΛ+,rΛ:r-qV^(r/eN)ηq+rηq1-N+NN++1N+E13(4) 158

where E13(4)=E131(4)+E132(4)+E133(4)+E134(4), with

E131(4)=12qΛ+,rΛ:r-qV^(r/eN)ηq+r01ds(γq(s)-1)bqd-q(s)+h.c.E132(4)=12qΛ+,rΛ:r-qV^(r/eN)ηq+r01dsbqd-q(s)+sηqN+Nbq+h.c.E133(4)=-12qΛ+,rΛ:r-qV^(r/eN)ηq+rηqbqbqN++1NE134(4)=12NqΛ+,rΛ:r-qV^(r/eN)ηq+rηqaqaqN++1N.

With (154), we immediately find

±E133(4)CN1-α(N++1),±E134(4)CN-α(N++1).

With |γq(s)-1|Cηq2, Lemma 4 and, again, (154), we also obtain

|ξ,E131(4)ξ|CN1-3α(N++1)1/2ξ2.

Let us now consider E132(4). In position space, with d¯ˇy(s)=dy(s)+(N+/N)b(ηˇy) and using (110), we obtain

|ξ,E132(4)ξ|=|1201dsΛ2dxdye2NV(eN(x-y))ηˇ(x-y)ξ,bˇxd¯ˇy(s)ξ|CN1-αΛ2dxdye2NV(eN(x-y))(N++1)1/2ξ×(N++1)1/2ξ+aˇyξ+aˇxξ+N-1aˇxaˇyN+1/2ξCN1-α(N++1)1/2ξ2+CN1/2-α(N++1)1/2ξVN1/2ξ.

It follows that

|ξ,E13(4)|CN1/2-αVN1/2ξ(N++1)1/2ξ+CN1-α(N++1)1/2ξ2.

With (155), (156), (157), (158), we obtain

W1=12qΛ+,rΛ:r-qV^(r/eN)ηq+r(bqb-q+h.c.)+12qΛ+,rΛ:r-qV^(r/eN)ηq+rηq1-N+N1-N++1N+E1(4) 159

where

|ξ,E1(4)ξ|CN1/2-αVN1/2ξ(N++1)1/2ξ+CN1-α(N++1)1/2ξ2,

Next, we control the term W2, from (150). In position space, we find

W2=Λ2dxdye2NV(eN(x-y))01ds(e-sBbˇxbˇyesBa(ηˇx)aˇy+h.c.)

with ηˇx(z)=ηˇ(x-z). By Cauchy–Schwarz, we have

|ξ,W2ξ|Λ2dxdye2NV(eN(x-y))01ds×(N++1)1/2e-sBbˇxbˇyesBξ(N++1)-1/2a(ηˇx)aˇyξ.

With

(N++1)-1/2a(ηˇx)aˇyξCηaˇyξCN-αaˇyξ

and using Lemma 6, we obtain

|ξ,W2ξ|CN-αΛ2dxdye2NV(eN(x-y))aˇyξ×{N(N++1)1/2ξ+Naˇxξ+Naˇyξ+N1/2aˇxaˇyξ}CN1-α(N++1)1/2ξ2+CN1/2-α(N++1)1/2ξVN1/2ξ. 160

Also for the term W3 in (150), we switch to position space. We find

W3=Λ2dxdye2NV(eN(x-y))×01ds0sdτ(e-sBbˇxbˇyesBe-τBb(ηˇx)b(ηˇy)eτB+h.c.).

and thus

ξ,W3ξΛ2dxdye2NV(eN(x-y))01ds0sdτ(N++1)1/2e-sBbˇxbˇyesBξ×(N++1)-1/2e-τBb(ηˇx)b(ηˇy)eτBξ.

With Lemma 2, we find

(N++1)-1/2e-τBb(ηˇx)b(ηˇy)eτBξCη2(N++1)1/2ξ.

Using Lemma 6, we conclude that

|ξ,W3ξ|Cη2Λ2dxdye2NV(eN(x-y))(N++1)1/2ξ×{N(N++1)1/2ξ+Naˇxξ+Naˇyξ+N1/2aˇxaˇyξ}CN1-2α(N++1)1/2ξ2+CN1/2-2αVN1/2ξ(N++1)1/2ξ. 161

The term W4 in (150) can be bounded similarly. In position space, we find

W4=dxdye2NV(eN(x-y))×01ds0sdτ(e-sBbˇxbˇyesBe-τBb(ηx2ˇ)bˇyeτB+h.c.)

with η2ˇ the function with Fourier coefficients ηq2, for qΛ, and where ηx2ˇ(y):=η2ˇ(x-y). Clearly ηx2ˇCηˇ2CN-2α. With Cauchy–Schwarz and Lemma 2, we obtain

|ξ,W4ξ|CN-2α01ds0sdτdxdye2NV(eN(x-y))(N++1)1/2bˇybˇxesBξbˇyeτBξ.

Applying Lemma 6 and then Lemma 2, we obtain

|ξ,W4ξ|CN-2α01ds0sdτdxdye2NV(eN(x-y))bˇyeτBξ×N(N++1)1/2ξ+Naˇxξ+Naˇyξ+N1/2aˇxaˇyξCN1-2α(N++1)1/2ξ2+CN1/2-2αVN1/2ξ(N++1)1/2ξ.

From (159), (160), (161) and the last bound, we conclude that

GN,α(4)=VN+12qΛ+,rΛ:r-qV^(r/eN)ηq+r(bqb-q+h.c.)+12qΛ+,rΛ:r-qV^(r/eN)ηq+rηq1-N+N1-N++1N+EN,α(4)

where EN,α(4) satisfies (149).

Appendix A.6: Proof of Proposition 1

With the results established in Sects. 11, we cam now show Proposition 1. Propositions 12, 13, 14, 15, 16, imply that

GN,α=V^(0)2(N+N+-1)(N-N+)+pΛ+ηp[p2ηp+NV^(p/eN)+12rΛp+r0V^(r/eN)ηp+r](N-N+N)(N-N+-1N)+K+NpΛ+V^(p/eN)apap(1-N+N)+pΛ+[p2ηp+N2V^(p/eN)+12rΛ:p+r0V^(r/eN)ηp+r](bpb-p+bpb-p)+Np,qΛ+:p+q0V^(p/eN)bp+qa-paq+h.c.+VN+E1 162

where

|ξ,E1ξ|CN1/2-αHN1/2ξ(N++1)1/2ξ+CN1-α(N++1)1/2ξ2

for any α>1 and ξF+N. With (31), we find

pΛ+ηp[p2ηp+NV^(p/eN)+12rΛ:p+r0V^(r/eN)ηp+r]=pΛ+ηp[N2V^(p/eN)+Ne2Nλχ^(p)+e2NλqΛχ^(p-q)ηq-12V^(p/eN)η0]

From Lemma 1 and estimating χ^=χCN-α, ηCN-α and χ^η=χηˇηˇCN-α, we have

|Ne2NλpΛ+ηpχ^(p)|CN2αχ^ηC,

and

|e2NλpΛ+,qΛχ^(p-q)ηqηp|CN2α-1χ^ηηCN-1.

Moreover, using (154) and the bound (32) we find

|12pΛ+V^(p/eN)ηpη0|CN1-2α.

We obtain

pΛ+ηp[p2ηp+NV^(p/eN)+12rΛp+rΛ+V^(r/eN)ηp+r](N-N+N)(N-N+-1N)=N2pΛ+V^(p/eN)ηpN-N+NN-N+-1N+E2

with ±E2C for all α1/2. On the other hand, using (32) we have

N2pΛ+V^(p/eN)ηp=N2(V^(·/eN)η)(0)-N2V^(0)η0=N22(dxV(x)f(x)-V^(0))+E~2

with ±E~2CN1-2α. With the first bound in (41) we conclude that

pΛ+ηp[p2ηp+NV^(p/eN)+12rΛp+rΛ+V^(r/eN)ηp+r](N-N+N)(N-N+-1N)=12Nω^N(0)-NV^(0)(N-N+-1)N-N++E3 163

where ±E3C, if α1/2. Using (31), we can also handle the fourth line of (162); we find

pΛ+[p2ηp+N2V^(p/eN)+12rΛ:p+rΛ+V^(r/eN)ηp+r](bpb-p+bpb-p)=pΛ+[Ne2Nλχ^(p)+e2NλqΛχ^(p-q)ηq-12V^(p/eN)η0](bpb-p+bpb-p). 164

The last two terms on the right hand side of (164) are error terms. With (32) and (154) we have

|pΛ+V^(p/eN)η0(bpb-p+bpb-p)|CN-2α[pΛ+|V^(p/eN)|2p2]1/2[pΛ+p2apξ2]1/2(N++1)1/2ξCN1/2-2αK1/2ξ(N++1)1/2ξ.

The second term on the right hand side of (164) can be bounded in position space:

|ξ,e2NλpΛ+(χ^η)(p)(bpb-p+bpb-p)ξ|CN2α-1(N++1)1/2ξΛ2dxdyχ(x-y)|ηˇ(x-y)|(N++1)-1/2bˇxbˇyξCNα-1(N++1)1/2ξΛ2dxdyχ(x-y)(N++1)-1/2aˇxaˇyξ21/2.

The term in parenthesis can be bounded similarly as in (80). Namely,

Λ2dxdyχ(x-y)(N++1)-1/2aˇxaˇyξ2CqN-2α/qK1/2ξ2

for any q>2 and 1<q<2 with 1/q+1/q=1. Choosing q=logN, we get

|ξ,e2NλpΛ+(χ^η)(p)(bpb-p+bpb-p)ξ|CN-1(logN)1/2(N++1)1/2ξK1/2ξ,

and, from (164), we conclude that

pΛ+[p2ηp+N2V^(p/eN)+12rΛ:p+rΛ+V^(r/eN)ηp+r](bpb-p+bpb-p)=pΛ+Ne2Nλχ^(p)(bpb-p+bpb-p)+E4, 165

with

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

if α>1. Combining (162) with (163) and (165), and using the definition (39) we conclude that

GN,α=12ω^N(0)(N-1)(1-N+N)+[NV^(0)-12ω^N(0)]N+(1-N+N)+NpΛ+V^(p/eN)apap1-N+N+12pΛ+ω^N(p)(bpb-p+h.c.)+Np,qΛ+:p+q0V^(p/eN)bp+qa-paq+h.c.+K+VN+E5, 166

with

|ξ,E5ξ|CN1/2-αHN1/2ξ(N++1)1/2ξ+CN1-α(N++1)1/2ξ2+CN-1(logN)1/2K1/2ξ(N++1)1/2ξ+Cξ2,

for any α>1. Observing that |V^(p/eN)-V^(0)|C|p|e-N in the second line on the r.h.s. of (166), we arrive at GN,α=GN,αeff+EG, with GN,αeff defined as in (42) and with EG that satisfies (43).

Appendix B: Properties of the Scattering Function

Let V be a potential with finite range R0>0 and scattering length a. For a fixed R>R0, we study properties of the ground state fR of the Neumann problem

(-Δ+12V(x))fR(x)=λRfR(x) 167

on the ball |x|R, normalized so that fR(x)=1 for |x|=R. Lemma 1, parts (i)–(iv), follows by setting R=eN in the following lemma.

Lemma 7

Let VL3(R2) be non-negative, compactly supported and spherically symmetric, and denote its scattering length by a. Fix R>0 sufficiently large and denote by fR the Neumann ground state of (167). Set wR=1-fR. Then we have

0fR(x)1

Moreover, for R large enough there is a constant C>0 independent of R such that

λR-2R2log(R/a)1+341log(R/a)CR21log3(R/a). 168

and

dxV(x)fR(x)-4πlog(R/a)Clog2(R/a). 169

Finally, there exists a constant C>0 such that

|wR(x)|χ(|x|R0)+Clog(|x|/R)log(a/R)χ(R0|x|R)|wR(x)|Clog(R/a)χ(|x|R)|x|+1 170

for R large enough.

To show Lemma 7 we adapt to the two dimensional case the strategy used in [8, Lemma A.1] for the three dimensional problem. We will use some well known properties of the zero energy scattering equation in two dimensions, summarized in the following lemma.

Lemma 8

Let VL3(R2) non-negative, with suppVBR0(0) for an R0>0. Let aR0 denote the scattering length of V. For R>R0, let ϕR:R2R be the radial solution of the zero energy scattering equation

-Δ+12VϕR=0 171

normalized such that ϕR(x)=1 for |x|=R. Then

ϕR(x)=log(|x|/a)log(R/a) 172

for all |x|>R0. Moreover, |x|ϕR(x) is monotonically increasing and there exists a constant C>0 (depending only on V) such that

ϕR(x)ϕR(0)Clog(R/a) 173

for all xR2. Furthermore, there exists a constant C>0 such that

|ϕR(x)|C|log(R/a)|1|x|+1 174

for all xR2.

Proof

The existence of the solution of (171), the expression (172), the fact that ϕR(x)0 and the monotonicity are standard (see, for example, Theorem C.1 and Lemma C.2 in [17]). The bound (173) for ϕR(0) follows from (172), comparing ϕR(0) with ϕR(x) at |x|=R0, with Harnack’s inequality (see [24, Theorem C.1.3]). Finally, (174) follows by rewriting (171) in integral form

ϕR(x)=1-14πR2log(R/|x-y|)V(y)ϕR(y)dy.

For |x|R0, this leads (using that ϕR(y)log(R0/a)/log(R/a) for all |y|R0 and the local integrability of |.|-3/2) to

|ϕR(x)|CV(y)ϕR(y)|x-y|dyCV3log(R/a)

Combining with the bound for |x|>R0 obtained differentiating (172), we obtain the desired estimate.

Proof of Lemma 7

By standard arguments (see for example [17, proof of theorem C1]), fR(x) is spherically symmetric and non-negative. We now start by proving an upper bound for λR, consistent with (168). To this end, we calculate the energy of a suitable trial function. For kR we define

ψk(x)=J0(k|x|)-J0(ka)Y0(ka)Y0(k|x|).

with J0 and Y0 the zero Bessel functions of first and second type, respectively. Note that

-Δψk(x)=k2ψk(x).

and ψk(x)=0 if |x|=a. We define k=k(R) to be the smallest positive real number satisfying rψR(x)=0 for |x|=R. One can check that

k2-2R2log(R/a)1+341log(R/a)CR21log3(R/a) 175

in the limit R. To prove (175), we observe that

rψk(x)||x|=R=-kJ1(kR)+kJ0(ka)Y0(ka)Y1(kR), 176

and we expand for kR,ka1 using (with γ the Euler constant)

J0(r)-1+r24Cr4,J1(r)-r2(1-r28)Cr5,Y0(r)-2πlog(reγ/2)Cr2log(r),Y1(r)+2π1r1-r22(1-r28)log(reγ/2)+r24Cr3. 177

With (177) one finds that (176)

rψR(x)||x|=R=-12kRlog(kaeγ/2)·(kR)48log(R/a)-(kR)2log(R/a)-12+2+O((kR)4+(ka)2) 178

The smallest solution of

(kR)48log(R/a)-(kR)2log(R/a)-12+2=0

is such that

(kR)2=2log(R/a)1+34log(R/a)+O(log-3(R/a)) 179

in the limit of large R. Inserting in (178), we find that the r.h.s. changes sign around the value of k defined in (179). By the intermediate value theorem, we conclude that there is a k=k(R)>0 satisfying (175), such that rψk(R)(x)=0 if |x|=R.

Now, let ϕR(x) be the solution of the zero energy scattering equation (171), with ϕR(x)=1 for |x|=R. We set

ΨR(x):=ψk(mR(x))=J0(kmR(x))-J0(ka)Y0(ka)Y0(kmR(x)), 180

with k=k(R) satisfying (175) and

mR(x):=aexp(log(R/a)ϕR(x)).

With this choice we have mR(x)=|x| outside the range of the potential; hence ΨR(x)=ψk(x) for R0|x|R. In particular, ΨR satisfies Neumann boundary conditions at |x|=R.

From (172), (173) and the monotonicity of ϕR, we get

CamR(x)R0for all0|x|R0 181

and for a constant C>1, independent of R. From (174) we also get

|mR(x)|Cfor all0|x|R. 182

With the notation h=-Δ+12V, we now evaluate ΨR,hΨR. To this end we note that

ΨR,hΨR=|x|<R0ΨR(x)¯(hΨR(x))dx+k2|x|R0|ΨR(x)|2dx. 183

Let us consider the region |x|<R0. From (180) and (177) we find, first of all,

ΨR(x)+log(mR(x)/a)log(kaeγ/2)C(kmR(x))2, 184

Next, we compute -ΔΨR(x). With

J0(r)=-J1(r)J1(r)=12(J0(r)-J2(r))Y0(r)=-Y1(r)Y1(r)=12(Y0(r)-Y2(r)).

we obtain (here, we use the notation mR and mR for the radial derivatives of the radial function mR)

-ΔΨR(x)=-r2ΨR(x)-1|x|rΨR(x)=-kmR(x)[-J1(kmR(x))+J0(ka)Y0(ka)Y1(kmR(x))]-12k2(mR(x))2[J2(kmR(x))-J0(ka)Y0(ka)Y2(kmR(x))]-12k2(mR(x))2[-J0(kmR(x))+J0(ka)Y0(ka)Y0(kmR(x))]-kmR(x)|x|[-J1(kmR(x))+J0(ka)Y0(ka)Y1(kmR(x))].

We note that, using the scattering equation (171),

mR-(mR)2mR+1|x|mR=12VmRϕRlog(R/a)=12VmRlog(mR/a). 185

Now we write

-ΔΨR(x)=[-k(mR(x)+mR(x)|x|)Y1(kmR(x))+k22(mR(x))2Y2(kmR(x))]J0(ka)Y0(ka)+gR(x) 186

where gR(x)=i=13gR(i)(x) with

gR(1)(x)=k(mR(x)+mR(x)|x|)J1(kmR(x))gR(2)(x)=-12k2(mR(x))2J2(kmR(x))gR(3)(x)=-12k2(mR(x))2(-J0(kmR(x)+J0(ka)Y0(ka)Y0(kmR(x)))=k22(mR(x))2ΨR(x).

With (185), (177) and (181), (182), we find

|gR(1)(x)|Ck2((mR(x))2+12V(x)mR2(x)log(mR(x)/a))Ck2(1+V(x)).

Next, with |J2(r)-r2/8|Cr4 we get

|gR(2)(x)|Ck4(mR(x))2(mR(x))2Ck4.

With (184), we can also bound

|gR(3)(x)|Ck2(mR(x))2log(mR(x)/a)log(ka)Ck2log-1(ka).

We conclude that |gR(r)|C(1+V(x))k2 for all rR0 and R large enough. Finally, using Eq. (185), the expansion for Y1(r) in Eq. (177), and the bound

|Y2(r)+4π1r2|C,

we can rewrite the first term on the r.h.s. of (186) as

[-k(mR(x)+mR(x)|x|)Y1(kmR(x))+k22(mR(x))2Y2(kmR(x))]J0(ka)Y0(ka)=1πV(x)log(mR(x)/a)J0(ka)Y0(ka)+hR(x) 187

with |hR(x)|C(1+V(x))k2 for all rR0, R large enough. With the identities (186) and (187) we obtain

|-ΔΨR(x)-1πJ0(ka)Y0(ka)V(x)log(mR(x)/a)|C(1+V(x))k2,

for all |x|R0 and for R sufficiently large. With (184), we conclude that, for 0|x|R0,

|(-Δ+12V)ΨR(x)|C(1+V(x))k2. 188

With (183), (188) and the upper bound

|ΨR(r)|C|log(ka)| 189

for all |x|R0 (which follows from (184) and (181)), we get

ΨR,hΨRk2ΨR,ΨR+Ck2|log(ka)||x|R0(1+V(x))dx.

On the other hand, Eq.(184), together with mR(x)=|x| for |x|R0, implies the lower bound

ΨR,ΨRR0|x|R|ΨR(x)|2dxC|log(ka)|2R0|x|Rlog2(|x|/a)dxCR2.

Hence, with (175), we conclude that

λRΨR,hΨRΨR,ΨRk21+C|log(ka)|R22R2log(R/a)1+341log(R/a)+Clog2(R/a) 190

in agreement with (168).

To prove the lower bound for λR it is convenient to show some upper and lower bounds for fR. We start by considering fR outside the range of the potential. We denote εR=λRR. Keeping into account the boundary conditions at |x|=R, we find, for R0|x|R,

fR(x)=ARJ0(εR|x|/R)+BRY0(εR|x|/R),

with

AR=J0(εR)-J1(εR)Y0(εR)Y1(εR)-1,

and

BR=Y0(εR)-J0(εR)J1(εR)Y1(εR)-1.

From (190), we have |εR|C|log(R/a)|-1/2. Thus, we can expand fR for large R, using (177) and, for Y0, the improved bound

Y0(r)-2πlog(reγ/2)1-14r2Cr2,

we find

|AR-1+εR24(2log(εReγ/2)-1)|CεR4(logεR)2,|BR-π4εR21-εR28|CεR6. 191

which leads to

fR(x)-1+εR242log(R/|x|)-1+x2R2-εR416log(R/|x|)1+2x2R2CεR4(logεR)2. 192

We can also compute the radial derivative

rfR(x)=-εRR(ARJ1(εRr/R)+BRY1(εRr/R)).

With the expansions (177) and (191) we conclude that for all R0|x|<R we have

rfR(x)-εR22|x|1-x2R2+εR2x22R2log(R/|x|)CεR4logεR. 193

The bound (193) shows that rfR(x) is positive, for, say, R0<|x|<R/2. Since rfR(x) must have its first zero at |x|=R, we conclude that fR is increasing in |x|, on R0|x|R. From the normalization fR(x)=1, for |x|=R, we conclude therefore that fR(x)1, for all R0|x|R.

From (192) and (190) we obtain, on the other hand, the lower bound

fR(x)1-εR22log(R/|x|)-CεR4(logεR)21-log(R/|x|)log(R/a)1+341log(R/a)+Clog2(R/a)-C(loglog(R/a))2log2(R/a)log(|x|/a)log(R/a)-34log(R/|x|)log2(R/a)-Clog(R/|x|)log3(R/a)-C(loglog(R/a))2log2(R/a), 194

for R sufficiently large. Let R=max{R0,ea}. Then Eq. (194) implies in particular that, for R large enough,

fR(x)Clog(R/a). 195

for all R<|x|R.

Finally, we show that fR(x)1 also for |x|R0. First of all, we observe that, by elliptic regularity, as stated for example in [12, Theorem 11.7, part iv)], there exists 0<α<1 and C>0 such that

fR(x)-fR(y)C(V-2λR)fR2|x-y|α

With VfR2V3fR6CfRH1C(1+λR)fR2, we conclude that 0fR(x)1+Cf2 for all |x|R0 (because we know that fR(x)1 for R0|x|R). To improve this bound, we go back to the differential equation (167), to estimate

ΔfR=12VfR-λRfR-λR(1+Cf2) 196

This implies that fR(x)+λR(1+Cf2)x2/2 is subharmonic. Using (192), we find fR(x)1-CεR2 for |x|=R0. From the maximum principle, we obtain therefore that

fR(x)1-CεR2+CλR(1+CfR2) 197

for all |x|R0. In particular, this implies that fR1|x|R02C+CλRfR2, and therefore that

fR1R0|x|R2fR2(1-CλR)-C

With fR(x)1 for R0|x|R, we find, on the other hand, that fR1R0|x|R2CR. We conclude therefore that fR2CR and, from (197), that fR(x)1-CεR2+C/R1, for all |x|R0, if R is large enough.

We are now ready to prove the lower bound for λR. We use now that any function Φ satisfying Neumann boundary conditions at |x|=R can be written as Φ(x)=q(x)ΨR(x), with ΨR(x) the trial function used for the upper bound and q>0 a function that satisfies Neumann boundary condition at |x|=R as well. This is in particular true for the solution fR(x) of (167). In the following we write

fR(x)=qR(x)ΨR(x)

where qR satisfies Neumann boundary conditions at |x|=R. From (184), we find |ΨR(x)|C/log(ka). The bound fR(x)1 implies therefore that there exists c>0 such that

qR(x)Clog(ka)|x|R0. 198

From the identity

hfR=(hΨR)qR-(ΔqR)ΨR-2qRΨR

we have

|x|RdxfRhfR=|x|Rdx|qR|2ΨR2+|x|Rdx|qR|2ΨRhΨR.

From (188) and (189), we have

ΨR(x)(hΨR)(x)-k2ΨR2(x)Ck2|logka|(1+V(x))χ(|x|R0).

Hence

|x|RdxfRhfRk2fR2-Ck2|logk||x|R0dx(1+V(x))|qR(x)|2. 199

With (198), we obtain

|x|RdxfRhfRk2fR2-Ck2log(ka).

With (195) (recalling that R=max{R0,ea}), we bound

fR2R|x|R|fR(x)|2dxCR2log2(R/a)

and, inserting in (199), we conclude that

λR=fR,hfRfR,fRk21-Clog3(R/a)R22R2log(R/a)1+341log(R/a)-Clog2(R/a),

where in the last inequality we used (175).

To prove (169) we use the scattering equation (167) to write

dxV(x)fR(x)=2|x|RdxΔfR(x)+2|x|RdxλRfR(x).

Passing to polar coordinates, and using that ΔfR(x)=|x|-1r|x|rfR(x), we find that the first term vanishes. Hence

dxV(x)fR(x)=2λRdxfR(x).

With the upper bound fR(r)1 and with (168), we find

dxV(x)fR(x)2πR2λR4πlog(R/a)1+Clog(R/a).

To obtain a lower bound for the same integral we use that fR(r)0 inside the range of the potential. Outside the range of V, we use (192). We find

dxV(x)fR(x)4πλRR0Rdrr(1-CεR2log(R/r))4πlog(R/a)1-Clog(R/a)

We conclude that

dxV(x)fR(x)-4πlog(R/a)Clog2(R/a).

Finally, we show the bounds in (170). For r[R0,R], from (192) we have

wR(x)-log(R/|x|)log(R/a)Clog(R/a). 200

As for the derivative of wR we use (193) to compute

rfR(x)C|x|1log(R/a).

Moreover rfR(x)=0 if |x|=R, by construction.

On the other hand, if |x|R0, we have wR(x)=1-fR(x)1. As for the derivative, we define f~R on R+ through f~R(r)=fR(x), if |x|=r, and we use the representation

f~R(r)=1r0rds(f~R(s)s+f~R(s)).

With (167), we have (with V~ defined on R+ through V(x)=V~(r), if |x|=r)

f~R(r)+1rf~R(r)=λRf~R(r)-12V~(r)f~R(r),

By (200), we can estimate f~R(R0)C/log(R/a). From (196), we also recall that

f~R(r)f~R(R0)+CRλRC/log(R/a)

for any r<R0. We conclude therefore that

|f~R(r)|=|1r0rdss(λRf~R(s)-12V~(s)f~R(s))|λRr0rrdr+Crlog(R/a)0rdrrV~(r)Clog(R/a)+CV2log(R0/a)log(R/a)Clog(R/a).

Funding

Open Access funding provided by University Zurich.

Footnotes

C.C. and S.C. gratefully acknowledge the support from the GNFM Gruppo Nazionale per la Fisica Matematica - INDAM through the project “Derivation of effective theories for large quantum systems”. B. S. 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.

Publisher's Note

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

Contributor Information

Cristina Caraci, Email: cristina.caraci@math.uzh.ch.

Serena Cenatiempo, Email: serena.cenatiempo@gssi.it.

Benjamin Schlein, Email: benjamin.schlein@math.uzh.ch.

References

  • 1.Andersen JO. Ground state pressure and energy density of an interacting homogeneous Bose gas in two dimensions. Eur. Phys. J. B. 2002;28:389. doi: 10.1140/epjb/e2002-00242-6. [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. 2020;376:1311–1395. doi: 10.1007/s00220-019-03555-9. [DOI] [Google Scholar]
  • 5.Boßmann L. Derivation of the 2d Gross–Pitaevskii equation for strongly confined 3d bosons. Arch. Ration. Mech. Anal. 2020;238(2):541–606. doi: 10.1007/s00205-020-01548-w. [DOI] [Google Scholar]
  • 6.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]
  • 7.Brennecke, C., Schlein, B., Schraven, S.: Bose–Einstein Condensation with Optimal Rate for Trapped Bosons in the Gross–Pitaevskii Regime. Preprint arXiv:2102.11052 (2021)
  • 8.Erdős L, Schlein B, Yau H-T. Derivation of the Gross–Pitaevskii hierarchy for the dynamics of Bose–Einstein condensate. Commun. Pure Appl. Math. 2006;59(12):1659–1741. doi: 10.1002/cpa.20123. [DOI] [Google Scholar]
  • 9.Fournais S, Napiórkowski M, Reuvers R, Solovej JP. Ground state energy of a dilute two-dimensional Bose gas from the Bogoliubov free energy functional. J. Math. Phys. 2019;60:071903. doi: 10.1063/1.5096987. [DOI] [Google Scholar]
  • 10.Jeblick M, Leopold N, Pickl P. Derivation of the time dependent Gross–Pitaevskii equation in two dimensions. Commun. Math. Phys. 2019;372(1):1–69. doi: 10.1007/s00220-019-03599-x. [DOI] [PMC free article] [PubMed] [Google Scholar]
  • 11.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]
  • 12.Lieb, E.H., Loss, M.: Analysis. AMS (2001)
  • 13.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]
  • 14.Lieb EH, Seiringer R. Derivation of the Gross–Pitaevskii equation for rotating Bose gases. Commun. Math. Phys. 2006;264:505–537. doi: 10.1007/s00220-006-1524-9. [DOI] [Google Scholar]
  • 15.Lieb EH, Yngvason J. The ground state energy of a dilute two-dimensional Bose gas. J. Stat. Phys. 2001;103:509–526. doi: 10.1023/A:1010337215241. [DOI] [Google Scholar]
  • 16.Lieb EH, Seiringer R, Yngvason J. A rigorous derivation of the Gross–Pitaevskii energy functional for a two-dimensional bose gas. Commun. Math. Phys. 2001;224(1):17–31. doi: 10.1007/s002200100533. [DOI] [Google Scholar]
  • 17.Lieb EH, Seiringer R, Solovej JP, Yngvason J. The Mathematics of the Bose Gas and Its Condensation. Basel: Birkhäuser; 2005. [Google Scholar]
  • 18.Mora C, Castin Y. Ground state energy of the two-dimensional weakly interacting Bose gas: first correction beyond Bogoliubov theory. Phys. Rev. Lett. 2009;102:180404. doi: 10.1103/PhysRevLett.102.180404. [DOI] [PubMed] [Google Scholar]
  • 19.Nam, P.T., Napiórkowski, M., Ricaud, J., Triay, A.: Optimal rate of condensation for trapped bosons in the Gross–Pitaevskii regime. To appear in Analysis & PDE
  • 20.Pilati S, Boronat J, Casulleras J, Giorgini S. Quantum Monte Carlo simulation of a two-dimensional Bose gas. Phys. Rev. A. 2005;71:023605. doi: 10.1103/PhysRevA.71.023605. [DOI] [Google Scholar]
  • 21.Schick M. Two-dimensional system of hard-core bosons. Phys. Rev. A. 1971;3:1067. doi: 10.1103/PhysRevA.3.1067. [DOI] [Google Scholar]
  • 22.Schnee K, Yngvason J. Bosons in disc-shaped traps: from 3D to 2D. Commun. Math. Phys. 2007;269(3):659–691. doi: 10.1007/s00220-006-0136-8. [DOI] [Google Scholar]
  • 23.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]
  • 24.Simon B. Schrödinger semigroups. Bull. Am. Math. Soc. 1982;7(3):447–526. doi: 10.1090/S0273-0979-1982-15041-8. [DOI] [Google Scholar]

Articles from Journal of Statistical Physics are provided here courtesy of Springer

RESOURCES