Abstract
In this paper, we introduce a novel method for deriving higher order corrections to the mean-field description of the dynamics of interacting bosons. More precisely, we consider the dynamics of N\(d\)-dimensional bosons for large N. The bosons initially form a Bose–Einstein condensate and interact with each other via a pair potential of the form \((N-1)^{-1}N^{d\beta }v(N^\beta \cdot )\) for \(\beta \in [0,\frac{1}{4d})\). We derive a sequence of N-body functions which approximate the true many-body dynamics in \(L^2({\mathbb {R}}^{dN})\)-norm to arbitrary precision in powers of \(N^{-1}\). The approximating functions are constructed as Duhamel expansions of finite order in terms of the first quantised analogue of a Bogoliubov time evolution.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
We consider a system of N bosons in \({\mathbb {R}}^d\), \(d\ge 1\), interacting with each other via pair interactions in the mean field scaling regime. The Hamiltonian of the system is given by
Here, \({V^\mathrm {ext}}\) denotes some possibly time-dependent external potential, and the interaction potential \(v^\beta \) is defined as
for some bounded, spherically symmetric and compactly supported function \(v:{\mathbb {R}}^d\rightarrow {\mathbb {R}}\). In the following, we will make use of the abbreviation
Note that the prefactor \((N-1)^{-1}\) in front of \(v^\beta \) is chosen such that the interaction energy and the kinetic energy per particle are of the same order. The mean inter-particle distance is of order \( N^{-\frac{1}{d}}\) and therefore much smaller than the range of the interaction, which scales as \(N^{-\beta }\). Hence, on average, every particle interacts with many other particles, and the interactions are weak since \((N-1)^{-1}N^{d\beta }\rightarrow 0\) as \(N\rightarrow \infty \). This implies that we consider a mean-field regime. In particular, the case \(\beta =0\) is known as the Hartree scaling regime.
We study the time evolution of the N-body system for large N when the bosons initially exhibit Bose–Einstein condensation. We impose suitable conditions on the external potential \({V^\mathrm {ext}}(t)\) such that \(H^\beta (t)\) is self-adjoint on \({\mathcal {D}}(H^\beta (t))=H^2({\mathbb {R}}^{dN})\) for each \(t\in {\mathbb {R}}\). Consequently, \(H^\beta (t)\) generates a unique family of unitary time evolution operators \(\{U(t,s)\}_{t,s\in {\mathbb {R}}}\) via the Schrödinger equation
The N-body wave function at time \(t\in {\mathbb {R}}\) is determined by
for some initial datum \(\psi (0)=\psi _0\in L^2_\mathrm {sym}({\mathbb {R}}^{dN})\). Due to the interactions, the characterisation of the time evolution U(t, s) is a difficult problem. Even if the system was initially in a factorised state, where all particles are independent of each other, the interactions instantaneously correlate the particles such that an explicit formula for U(t, s) is quite inaccessible.
To describe U(t, s) approximatively, one observes that the dynamics of the many-body system can be decomposed into the dynamics of the condensate wave function \(\varphi (t)\in L^2({\mathbb {R}}^d)\) and the dynamics of the excitations from the (time-evolved) condensate. The evolution of \({\varphi (t)}\) approximates the N-body dynamics \(\psi (t)\) in the sense of reduced densities (see Sect. 2.1). Moreover, if the dynamics of the excitations are suitably approximated and added to the description, one obtains an approximation of \(\psi (t)\) with respect to the \(L^2({\mathbb {R}}^{dN})\) norm, in the sense that
for some power \(\delta \in (0,1]\) depending on the choice of \(\beta \) (see Sect. 2.2).
In this paper, we introduce a novel method for deriving a more precise characterisation of the dynamics. This is achieved by constructing a sequence of N-body wave functions, which are defined via an iteration of Duhamel’s formula with the time evolution \(\widetilde{U}_\varphi (t,s)\) generated by an auxiliary Hamiltonian \(\widetilde{H}^{\varphi (t)}(t)\) (see (21) for a precise definition). Under the assumption that sufficiently high moments of the number of excitations in the initial state are subleading, we prove higher order corrections to the norm approximation for the scaling regime \(\beta \in [0,\frac{1}{4d})\). This is to be understood in the following sense: we construct a sequence of N-body wave functions \(\{\psi ^{(a)}_\varphi (t)\}_{a\in {\mathbb {N}}}\subset L^2({\mathbb {R}}^{dN})\) such that, for sufficiently large N,
for some time-dependent constant C(t). The positive exponent \(\delta (\beta ,\gamma )\) is determined in Theorem 1. It depends on \(\beta \) and on a parameter \(\gamma \) which is related to the initial number of excitations (see assumption A3).
Let us remark that the approximating functions \(\psi ^{(a)}_\varphi (t)\) are N-body wave functions. Since they are explicitly given in terms of the dynamics \(\widetilde{U}_\varphi (t,s)\) related to the (first order) norm approximation, the functions \(\psi ^{(a)}_\varphi (t)\) are much more accessible than the true dynamics \(\psi (t)\). In particular, all higher order corrections can be obtained from the norm approximation \(\widetilde{U}_\varphi (t,0)\psi _0\) by computing an N-independent number of integrals.
Moreover, if the initial excitation vector is quasi-free, one can extend the method introduced in this paper. We conjecture that it is possible to approximate all n-point correlation functions of the full dynamics \(\psi (t)\) to arbitrary precision by expressions depending only on approximations of the 2-point correlation functions, whose computation reduces to solving two coupled linear one-body equations ([28, Equations (17a-b)] and [47, Equation (34)]). This would mean a huge simplification of the full N-body problem (3) corresponding to the Hamiltonian (1) for certain initial states, in particular with regard to a numerical analysis, and we plan to show this in a separate paper.
Finally, we note that higher order approximations of the reduced density matrices were obtained by Paul and Pulvirenti [50] for \(\beta =0\) and factorised initial data, based on the method of kinetic errors from the paper by Paul et al. [51]. For \(j\in \{1,\ldots ,N\}\), the authors of [50] construct a sequence \(\{F^{N,n}_j(t)\}_{n\in {\mathbb {N}}}\) of trace class operators on \(L^2({\mathbb {R}}^{jd})\), which approximate the j-particle reduced density matrix \(\gamma ^{(j)}(t)\) of the system with increasing accuracy up to arbitrary precision. The approximating operators \(F^{N,n}_j(t)\) can be determined by a number of operations scaling with n. They depend on the initial data as well as the knowledge of the solution of the Hartree equation and its linearisation around this solution.
Due to different methods used, it is not straightforward to compare the results of [50] with the results of this paper. However, we list some features of our paper that differ from the operator-based method of kinetic errors [50, 51]. In contrast to the approach in [50], we derive approximations directly for the time-evolved N-body wave function, and our construction is implemented as a robust algorithm that requires an a-dependent, N-independent number of explicit calculations to compute the a’th order approximation. Moreover, the results obtained in this paper include positive values of \(\beta \) and cover more generic initial data than [50], where the initial state is assumed factorised, i.e., with zero initial excitations.
Notation In the following, any expression C that is independent of both N and t will be referred to as a constant. Note that constants may depend on all fixed parameters of the model such as \({\varphi _0}\), \(\psi _0\), v and \({V^\mathrm {ext}}(0)\). Further, we denote \(A\lesssim B\) and \(A\gtrsim B\) to indicate that there exists a constant \(C>0\) such that \(A\le C B\), resp. \(A\ge CB\), and abbreviate
Finally, we use the notation
for \(r\in {\mathbb {R}}\).
2 Known Results
2.1 Leading Order Approximation: Reduced Densities
A first approximation to the N-body dynamics is provided by the time evolution of the condensate wave function. Its dynamics yield a macroscopic description of the Bose gas, which, in the limit \(N\rightarrow \infty \), coincides with the true dynamics in the sense of reduced density matrices. In order to formulate this mathematically, one assumes that the system is initially in a Bose–Einstein condensate with condensate wave function \(\varphi _0\), i.e.,
where
is the one-particle reduced density matrix of \(\psi (t)\) at time t. Then it has been shown, see e.g. [1, 2, 13, 15, 20, 21, 35, 57], that
for any \(t\in {\mathbb {R}}\), where \({\varphi (t)}\) is the solution of the Hartree equation
with initial datum \(\varphi (0)=\varphi _0\) and with
Note that for \(\beta =0\), the Eq. (7) is the N-independent Hartree (NLH) equation. For \(\beta >0\), the evolution is N-dependent and converges to the non-linear Schrödinger (NLS) dynamics with N-independent coupling parameter \(\int v\) in the limit \(N\rightarrow \infty \). The parameter \({\mu ^{\varphi (t)}}\) is a real-valued phase factor, which we choose as
for later convenience. For the convergence with respect to reduced densities, this phase is irrelevant since it cancels in the projection \(|{\varphi (t)}\rangle \langle {\varphi (t)}|\).
One way to prove the convergence (6), and consequently to derive the NLH/ NLS equation from a system of N bosons, is via the so-called BBGKYFootnote 1 hierarchy, which was prominently used in the works of Lanford for the study of classical mechanical systems in the infinite particle limit [39, 40]. The first derivation of the NLH equation via the BBGKY hierarchy was given by Spohn [58], and this was further pursued, e.g., in [1, 2, 22, 23]. About a decade ago, Erdős, Schlein and Yau fully developed the BBGKY hierarchy approach to the derivation of the NLH/NLS equation in their seminal works including [20, 21]. Subsequently, a crucial step of this method was revisited by Klainerman and Machedon [36], based on reformulating combinatorial argument in [20, 21] and a viewpoint inspired by methods of non-linear PDEs. This, in turn, motivated many recent works on the derivation of dispersive PDEs, including [13,14,15,16,17, 35, 57]. In [55], Rodnianski and Schlein introduced yet another method for proving (6), which uses coherent states on Fock space and was inspired by techniques of quantum field theory and the pioneering work of Hepp [32].
In the context of the current paper, the most relevant works on the derivation of the NLH/NLS equation are due to Pickl [53, 54], who introduced an efficient method for deriving effective equations from the many-body dynamics, transforming the physical idea behind the mean-field description of an N-body system into a mathematical algorithm. Instead of describing the condensate as the vacuum of a Fock space of excitations, this approach remains in the N-body setting and uses projection operators to factor out the condensate. This strategy was successfully applied to prove effective dynamics for N-boson systems in various situations, e.g., [4, 10, 19, 33, 34, 37, 43, 44].
2.2 Next-to-Leading Order: Norm Approximation
Whereas closeness in the sense of reduced densities implies that the majority of the particles (up to a relative number that vanishes as \(N\rightarrow \infty \)) is in the state \({\varphi (t)}\), the norm approximation requires the control of all N particles. In particular, this implies that the excitations from the condensate can no longer be omitted from the description. In this sense, the norm approximation of \(\psi (t)\) can be understood as next-to-leading order correction to the mean-field description.
A norm approximation for initial coherent states on Fock space was first obtained in [30, 31] by Grillakis, Machedon and Margetis. For initial states \(\psi _0\in L^2({\mathbb {R}}^{dN})\) with fixed particle number, Lewin, Nam and Schlein proved in [41] a norm approximation for \(\beta =0\) and \({V^\mathrm {ext}}=0\) under quite general assumptions on the interaction potential v. Nam and Napiórkowski extended this result in [47] to the range \(\beta \in [0,\frac{1}{3})\), in [49] to the range \(\beta \in [0,\frac{1}{2})\) for the three-dimensional defocusing case, and in [48] to the focusing case in dimensions one and two for \(\beta >0\) and \(\beta \in (0,1)\), respectively. As proposed in [42], the authors decomposed the N-body wave function \(\psi (t)\) into condensate and excitations as
for some \(\xi _{\varphi (t)}=\big (\xi ^{(k)}_{\varphi (t)}\big )_{k=0}^N\in {{\mathcal {F}}^{\le N}_{\perp {\varphi (t)}}}\), where
is the truncated bosonic Fock space over the orthogonal complement in \(L^2({\mathbb {R}}^d)\) of the span of \(\varphi \in L^2({\mathbb {R}}^d)\). A definition of \(\xi ^{(k)}_{\varphi (t)}\) will be given in (16). Further, \(\otimes _s\) denotes the symmetric tensor product, which is for \(\psi _a\in L^2({\mathbb {R}}^{da})\), \(\psi _b\in L^2({\mathbb {R}}^{db})\) defined as
where \({\mathfrak {S}}_{a+b}\) denotes the set of all permutations of \(a+b\) elements. The addend \(k=0\) in (10) describes the condensate, while the terms \(k\in \{1,\ldots ,N\}\) correspond to the excitations. In the following, we will refer to \(\xi ^{(k)}_\varphi (t)\) as k-particle excitation.
In [41, 47,48,49], the authors consider initial data of the form
for some appropriate initial excitation vector \(\chi (0):=(\chi ^{(k)}(0))^\infty _{k=0}\in {\mathcal {F}}(\{{\varphi _0}\}^\perp )\). It is then shown that there exist constants \(C,C'>0\) such that
where \(\delta =1-3\beta \) for the three-dimensional defocusing case with \(\beta \in [0,\frac{1}{3})\) and \(\delta =\frac{1}{2}\) and \(\delta <\frac{1}{3}(1-\beta )\) for the one- and two-dimensional focusing case, respectively. The excitations \(\chi (t)=(\chi ^{(k)}(t))_{k= 0}^\infty \in {\mathcal {F}}(\{{\varphi (t)}\}^\perp )\) at time \(t>0\) are determined by the Bogoliubov evolution,
Here, \({\mathbb {H}}_\mathrm {Bog}(t)\) denotes the Bogoliubov Hamiltonian,Footnote 2 an effective Hamiltonian on Fock space which is quadratic in the number of creation and annihilation operators.
For three dimensions and scaling parameter \(\beta =0\), a similar result was obtained by Mitrouskas et al. [45, 46] via a first quantised approach, where the splitting of \(\psi (t)\) into condensate and excitations is realised by means of projections as introduced in [53]. Since we will work in the first quantised setting, let us recall this approach and introduce some notation.
Definition 2.1
Let \(\varphi \in L^2({\mathbb {R}}^d)\). Define the orthogonal projections on \(L^2({\mathbb {R}}^d)\)
and the corresponding projection operators on \(L^2({\mathbb {R}}^{dN})\)
For \(0\le k\le N\), define the many-body projections
and \(P^\varphi _k=0\) for \(k<0\) and \(k>N\). Further, for any function \(f: {\mathbb {N}}_0\rightarrow {\mathbb {R}}_0^+\) and any \(j\in {\mathbb {Z}}\), define the operators \(\widehat{f^\varphi }, \widehat{f^\varphi _j}\in {\mathcal {L}}\left( L^2({\mathbb {R}}^{dN})\right) \) by
We will in particular need the operators \(\widehat{n^\varphi }\) and \(\widehat{m^\varphi }\) corresponding to the weights
Hence, for any \(\psi \in L^2({\mathbb {R}}^{dN})\), the part of \(\psi \) in the condensate \(\varphi ^{\otimes N}\) is given by \(P^\varphi _0\psi \), and the part of \(\psi \) corresponding to k particles being excited from the condensate is precisely \(P^\varphi _k\psi \) for \(k\ge 1\). By construction, \(P^\varphi _kP^\varphi _{k'}=\delta _{k,k'}P^\varphi _k\). Besides, the identity implies
for some \(\xi ^{(k)}_\varphi \in L^2({\mathbb {R}}^{dk})\). To determine the explicit form of \(\xi ^{(k)}_\varphi \), observe that by Definition 2.1,
where, by definition of the symmetric tensor product,
Obviously, \(\xi ^{(k)}_\varphi \) is symmetric under permutations of all of its coordinates, and \(\xi ^{(k)}_\varphi \) is orthogonal to \(\varphi \) in every coordinate, i.e.,
for every \(j\in \{1,\ldots ,k\}\). Hence, \(\xi ^{(k)}_\varphi \in \bigotimes _\mathrm {sym}^k\{\varphi \}^\perp \). The excitations \(\xi ^{(k)}_\varphi \), \(k\in \{0,\ldots ,N\}\), define a vector \(\xi _\varphi :=\left( \xi ^{(0)}_\varphi ,\xi ^{(1)}_\varphi ,\ldots ,\xi ^{(N)}_\varphi \right) \) in the truncated Fock space \({{\mathcal {F}}^{\le N}_{\perp \varphi }}\) defined in (11). The relation between the N-body state \(\psi \) and the corresponding excitation vector \(\xi _\varphi \) is given by the unitary map
where \(\xi _\varphi \) is defined by (16). The vacuum \((1,0,\ldots ,0)\) of \({{\mathcal {F}}^{\le N}_{\perp \varphi }}\) corresponds to the condensate \(\varphi ^{\otimes N}\), and the probability of k particles being outside the condensate equals
by (16). The number operator \({\mathcal {N}}_\varphi \) on \({{\mathcal {F}}^{\le N}_{\perp \varphi }}\), counting the number of excitations, is defined by its action
The expected number of excitations from the condensate \(\varphi ^{\otimes N}\) in the state \(\psi \) is thus given by
with \(\widehat{n^\varphi }\) from Definition 2.1.
In [46], the authors introduce an auxiliary N-particle Hamiltonian \(\widetilde{H}^{\varphi (t)}(t)\) by subtracting from \(H^\beta (t)\) in each coordinate the mean-field Hamiltonian \(h^{{\varphi (t)}}(t)\) from (7), inserting identities
on both sides of the difference, and discarding all terms which are cubic, \({\mathcal {C}}^{\varphi (t)}\), or quartic, \({\mathcal {Q}}^{\varphi (t)}\), in the number of projections \(q^{\varphi (t)}\):
Lemma 2.1
where
and with
Proof
Now one inserts identities before and after the expression in the brackets and uses the relations
which concludes the proof. \(\square \)
The auxiliary Hamiltonian \(\widetilde{H}^{\varphi (t)}(t)\) has a quadratic structure comparable to that of the Bogoliubov-Hamiltonian \({\mathbb {H}}_\mathrm {Bog}(t)\): all terms in \(\widetilde{H}^{\varphi (t)}(t)-\sum _jh^{{\varphi (t)}}_j(t)\), which form an effective two-body potential, contain exactly two projectors \(q^{\varphi (t)}\) onto the complement of the condensate wave function, while \({\mathbb {H}}_\mathrm {Bog}(t)\) is quadratic in the creation and annihilation operators of the excitations. However, \(\widetilde{H}^{\varphi (t)}(t)\) is particle number conserving and acts on the N-body Hilbert space \(L^2({\mathbb {R}}^{dN})\), i.e., it determines the evolution of the N-body wave function consisting of excited particles and particles in the condensate \({\varphi (t)}\), with \({\varphi (t)}\) the solution of (7). In contrast, \({\mathbb {H}}_\mathrm {Bog}(t)\) operates on the excitation Fock space \({{\mathcal {F}}_{\perp {\varphi (t)}}}\), does not conserve the particle number, and exclusively concerns the dynamics of the excitations with respect to the condensate wave function evolving according to (7).
The time evolution generated by \(\widetilde{H}^{\varphi (t)}(t)\) is denoted by \(\widetilde{U}_\varphi (t,s)\). For an initial datum \(\psi _0\in L^2_\mathrm {sym}({\mathbb {R}}^{dN})\), the corresponding N-body wave function at time \(t\in {\mathbb {R}}\) is
Existence and uniqueness of of the time evolution \(\widetilde{U}_\varphi (t,s)\) are recalled in Lemma 3.1.
Under appropriate assumptions on the initial datum \(\psi _0\), the time evolution \(\widetilde{U}_\varphi (t,s)\) approximates the actual time evolution U(t, s). More precisely, there exist constants \(C,C'>0\) such that
[46, Theorem 2.6]. Further, in the limit \(N\rightarrow \infty \), the excitations in \(\widetilde{U}_\varphi (t,0)\psi _0\) coincide with the solutions of the Bogoliubov evolution equation: let \(\xi _{\varphi _0}=\big (\xi ^{(k)}_{{\varphi _0}}\big )_{k=0}^N\) denote the excitations from \({\varphi _0}^{\otimes N}\) in the initial state \(\psi _0\) under the decomposition (10), let \(\widetilde{\xi }_{\varphi (t)}=\big (\widetilde{\xi }_{\varphi (t)}^{\,(k)}\big )^N_{k=0}\) denote the excitations from \({\varphi (t)}^{\otimes N}\) in \(\widetilde{U}_\varphi (t,0)\psi _0\), and let \(\chi (t)=\left( \chi ^{(k)}(t)\right) _{k\ge 0}\) denote the solutions of (14) with initial datum \(\chi ^{(k)}(0)=\xi _{\varphi _0}^{(k)}\) for \(0\le k\le N\) and \(\chi ^{(k)}(0)=0\) for \(k>N\). Then
[46, Lemma 2.8]. Hence, the combination of (23) and (24) yields (13), with a different time-dependent constant but the same N-dependence.
Finally, let us remark that for larger values of the scaling parameter, beyond the mean field regime, the evolutions of \({\varphi (t)}\) and \(\xi _{\varphi (t)}\) do not (approximately) decouple any more as a consequence of the short-scale structure related to the two-body scattering process. For \(\beta \in (0,1)\), an accordingly adjusted variant of (13) for appropriately modified initial data was proved by Brennecke et al. [11] in the three-dimensional defocusing case. Similar estimates for the many-body evolution of appropriate classes of Fock space initial data have been obtained in [8, 18, 24, 25, 28,29,30,31, 38, 55] for various ranges of the scaling parameter. A related result for Bose gases with large volume and large density was proved in [52].
3 Main Results
3.1 Assumptions
Let us state our assumptions on the model (1) and on the initial data.
- A1
Interaction potential. Let \(v:{\mathbb {R}}^d\rightarrow {\mathbb {R}}\) be spherically symmetric and bounded uniformly in N, i.e., \(\Big \Vert v\Big \Vert _{L^\infty ({\mathbb {R}}^d)}\lesssim 1\). Further, assume that \({{\,\mathrm{\mathrm {supp}}\,}}v\subseteq \{x\in {\mathbb {R}}^d:|x|\lesssim 1\}\).
- A2
External potential. Let \({V^\mathrm {ext}}:{\mathbb {R}}\times {\mathbb {R}}^d\rightarrow {\mathbb {R}}\) such that \({V^\mathrm {ext}}(\cdot ,x)\in {\mathcal {C}}({\mathbb {R}})\) for each \(x\in {\mathbb {R}}^d\) and \({V^\mathrm {ext}}(t,\cdot )\in L^\infty ({\mathbb {R}}^d)\) for each \(t\in {\mathbb {R}}\).
- A3
Initial data. Let \(\psi _0\in H^2({\mathbb {R}}^{dN})\cap L^2_\mathrm {sym}({\mathbb {R}}^{dN})\) and \(\varphi _0\in H^k({\mathbb {R}}^d)\), \(k=\lceil \tfrac{d}{2}\rceil \), both be normalised. Let \(\gamma \in (0,1]\) and \(A\in {\mathbb {N}}\). Assume that for any \(a\in \{0,\ldots ,A\}\), there exists a set of non-negative, a-dependent constants \(\left\{ {\mathfrak {C}}_{\,a}\right\} _{0\le a\le A}\) with \({\mathfrak {C}}_{\,0}=1\) such that, for sufficiently large N,
$$\begin{aligned} \left\| \left( \widehat{m^{\varphi _0}}\right) ^a \psi _0\right\| ^2\le {\mathfrak {C}}_{\,a}\,N^{-\gamma a}\,. \end{aligned}$$
Our analysis is valid as long as the solution \({\varphi (t)}\) of the non-linear equation (7) exists in \(H^k({\mathbb {R}}^d)\)-sense for \(k=\lceil \tfrac{d}{2}\rceil \). The maximal time of \(H^k({\mathbb {R}}^d)\)-existence, \(T^\mathrm {ex}_{d,v,{V^\mathrm {ext}}}\), is defined as
and depends on the dimension \(d\), the sign of \(\overline{v}^{\varphi (t)}\), and the regularity of the external trap \({V^\mathrm {ext}}(t)\). Under assumptions A1 and A2 and for times \(s,t\in [0,T^\mathrm {ex}_{d,v,{V^\mathrm {ext}}})\), the time evolution \(\widetilde{U}_\varphi (t,s)\) is well-defined.
Lemma 3.1
Let \(s,t\in \big [0,T^\mathrm {ex}_{d,v,{V^\mathrm {ext}}}\big )\). Then \(\widetilde{H}^{\varphi (t)}(t)\) is self-adjoint on \({\mathcal {D}}(\widetilde{H}^{\varphi (t)}(t))=H^2({\mathbb {R}}^{dN})\) and generates a unique family of unitary time evolution operators \(\widetilde{U}_\varphi (t,s)\). \(\widetilde{U}_\varphi (t,s)\) is strongly continuous jointly in s, t and leaves \(H^2({\mathbb {R}}^{dN})\) invariant.
Proof
As a consequence of the Sobolev embedding theorem (e.g. [3, Theorem 4.12, Part IA]), \(\Big \Vert {\varphi (t)}\Big \Vert _{L^\infty ({\mathbb {R}}^d)}\lesssim \Big \Vert {\varphi (t)}\Big \Vert _{H^k({\mathbb {R}}^d)}\) for \(k=\lceil \tfrac{d}{2}\rceil \). Hence, by definition (25) of \(T^\mathrm {ex}_{d,v,{V^\mathrm {ext}}}\), \({\mu ^{\varphi (t)}}\) and \((N-1)\overline{v}^{\varphi (t)}\) are bounded uniformly in N for \(t\in \big [0,T^\mathrm {ex}_{d,v,{V^\mathrm {ext}}}\big )\). Further, \(t\mapsto \widetilde{H}^{\varphi (t)}(t)\psi \) is Lipschitz for all \(\psi \in H^2({\mathbb {R}}^{dN})\) because of (7), since \(t\mapsto {V^\mathrm {ext}}(t)\in {\mathcal {L}}(L^2({\mathbb {R}}^d))\) is continuous and as \(\tfrac{\mathop {}\!\mathrm {d}}{\mathop {}\!\mathrm {d}t}p^{\varphi (t)}=\mathrm {i}[p^{\varphi (t)},h^{{\varphi (t)}}(t)]\). Hence, the statement of the lemma follows from [27]. \(\square \)
Assumptions A1 and A2 are rather standard in the rigorous treatment of interacting many-boson systems. Note that we make no assumption on the sign of the potential or its scattering length and thus cover both repulsive and attractive interactions. Besides, we admit a large class of time-dependent external traps \({V^\mathrm {ext}}\), with basically the only restriction that \({V^\mathrm {ext}}(t)\) must not obstruct the self-adjointness of \(H^\beta (t)\) on \(H^2({\mathbb {R}}^{dN})\).
The third assumption provides a bound on the expected number of excitations from the condensate \({\varphi _0}^{\otimes N}\) in the initial state \(\psi _0\). Note that while \(\gamma =0\) is the trivial bound, the condition becomes more restrictive as \(\gamma \) increases. We have chosen this particular formulation of A3 for later convenienceFootnote 3. However, its physical meaning is better understood from one of the following two equivalent versions of A3:
- A3\(\,^\prime \):
Let \(\psi _0\in H^2({\mathbb {R}}^{dN})\cap L^2_\mathrm {sym}({\mathbb {R}}^{dN})\) and \(\varphi _0\in H^k({\mathbb {R}}^d)\), \(k=\lceil \tfrac{d}{2}\rceil \), both be normalised. Let \(\gamma \in (0,1]\) and \(A\in {\mathbb {N}}\). Assume that for any \(a\in \{0,\ldots ,A\}\), there exists a set of non-negative, a-dependent constants \(\{{\mathfrak {C}}_{\,a}^\prime \}_{0\le a\le A}\) with \({\mathfrak {C}}_{\,0}^\prime =1\) such that, for sufficiently large N,
$$\begin{aligned} \left\| q^{\varphi _0}_1\cdots q^{\varphi _0}_a \psi _0\right\| ^2\le {\mathfrak {C}}_{\,a}^\prime \,N^{-\gamma a}. \end{aligned}$$- A3\(\,^{\prime \prime }\):
Let \(\psi _0\in H^2({\mathbb {R}}^{dN})\cap L^2_\mathrm {sym}({\mathbb {R}}^{dN})\) and \(\varphi _0\in H^k({\mathbb {R}}^d)\), \(k=\lceil \tfrac{d}{2}\rceil \), both be normalised. Let \(\gamma \in (0,1]\), \(A\in {\mathbb {N}}\) and \(\xi _{\varphi _0}={\mathfrak {U}}_N^{{\varphi _0}}\psi _0\). Assume that for any \(a\in \{0,\ldots ,A\}\), there exists a set of non-negative, a-dependent constants \(\{{\mathfrak {C}}_{\,a}^{\prime \prime }\}_{0\le a\le A}\) with \({\mathfrak {C}}_{\,0}^{\prime \prime }=1\) such that, for sufficiently large N,
$$\begin{aligned} \left\langle \xi _{\varphi _0},{\mathcal {N}}_{\varphi _0}^a\,\xi _{\varphi _0} \right\rangle _{{\mathcal {F}}^{\le N}_{\perp {\varphi _0}}}=\sum \limits _{k=0}^N k^a\Big \Vert \xi ^{(k)}_{{\varphi _0}}\Big \Vert ^2_{L^2({\mathbb {R}}^{dk})}\le {\mathfrak {C}}_{\,a}^{\prime \prime }\,N^{(1-\gamma )a}\,. \end{aligned}$$
The equivalence \(\mathrm {A3}\Leftrightarrow \mathrm {A3}\,^\prime \Leftrightarrow \mathrm {A3}\,^{\prime \prime }\) follows immediately from Lemma 3.2, whose proof is postponed to Sect. 4.1.
Lemma 3.2
Let \(a\in \{1,\ldots ,N\}\) and \(\varphi \in L^2({\mathbb {R}}^d)\). Let \(\psi \in L^2_\mathrm {sym}({\mathbb {R}}^{dN})\) and \(\xi _\varphi ={\mathfrak {U}}_N^\varphi \psi \). Then
- (a)
\(\big \Vert q^\varphi _1\cdots q^\varphi _a\psi \big \Vert ^2\;\le \; \left\| \left( \widehat{m^\varphi }\right) ^a\psi \right\| ^2 \;\le \; 4^a a!\, \sum \limits _{j=1}^aN^{-a+j}\big \Vert q^\varphi _1\cdots q^\varphi _j\psi \big \Vert ^2+N^{-a}\,,\)
- (b)
\(\left\langle \xi _\varphi ,{\mathcal {N}}_\varphi ^a\,\xi _\varphi \right\rangle _{{\mathcal {F}}^{\le N}_{\perp \varphi }}\;\le \; N^a \left\| \left( \widehat{m^\varphi }\right) ^a\psi \right\| ^2\;\le \; 1+2^a \left\langle \xi _\varphi ,{\mathcal {N}}_\varphi ^a\,\xi _\varphi \right\rangle _{{\mathcal {F}}^{\le N}_{\perp \varphi }}\) .
Hence, A3 can be understood as follows: Let \(A\in {\mathbb {N}}\) and consider sufficiently large N such that \(A={\mathcal {O}}(1)\) with respect to N, i.e. \(A\lesssim 1\). Then we assume that for any \(a\le A\), the part of the wave function with any a particles outside the condensate is at most of order \(N^{-\gamma a}\).
Equivalently, A3 states that the first \(A\lesssim 1\) moments of the number of excitations must be sub-leading with respect to the particle number; for \(\gamma =1\), they must even be bounded uniformly in N. Here, “sub-leading” means that the moments of the relative number of excitations, i.e., the expectation values of \(({\mathcal {N}}_{\varphi (t)}/N)^A\), vanish as \(N\rightarrow \infty \). This, in turn, provides a bound on the high components of the excitation vector: for example, \(\sum _{k=0}^N k^A\Big \Vert \xi ^{(k)}_{{\varphi _0}}\Big \Vert ^2_{L^2({\mathbb {R}}^{dk})}\lesssim N^{(1-\gamma )A}\) implies \(\Big \Vert \xi ^{(N)}_{\varphi _0}\Big \Vert ^2_{L^2({\mathbb {R}}^{dk})}\lesssim N^{-\gamma A}\). In other words, it must be very unlikely that significantly many particles are outside the condensate, whereas we impose no restriction on excitations involving only few particles (with respect to N).
As soon as a becomes comparable to N, i.e., \(a\gtrsim N\), the constants \({\mathfrak {C}}_{a}^{(\prime ,\prime \prime )}\) are N-dependent and the assumption is trivially satisfied. However, note that we demand that N be large enough that \(A\lesssim 1\).
The simplest example of an N-body state satisfying A3 is the product state \(\psi ={\varphi _0}^{\otimes N}\). Whereas the ground state of non-interacting bosons (\(v=0\)) is of this form, the ground state as well as the lower excited states of interacting systems are not close to an exact product with respect to the \(L^2({\mathbb {R}}^{dN})\)-norm due to the correlation structure related to the interactions.
Regarding interacting bosons, A3 is fulfilled for quasi-free states with subleading expected number of excitations, since for any quasi-free state \(\xi \in {\mathcal {F}}\) and any \(a\ge 1\) there exists a constant \(C_a>0\) such that
(e.g. [47, Lemma 5]). In [42, Theorem A.1], it was shown that the ground state of \({\mathbb {H}}_\mathrm {Bog}\) is a quasi-free state, which, via the map \({\mathfrak {U}}_N^\varphi \), defines an N-body state \(\psi _\mathrm {Bog}\) that converges to the actual ground state \(\psi _0\) in norm as \(N\rightarrow \infty \) [42, Theorem 2.2]. Note that we require a certain minimal size of \(\gamma \), which is strictly greater than \(\tfrac{2}{3}\).
Further, let us remark that assumption A3 for \(A=1\) means complete BEC, which was shown to be a sufficient condition for the validity of the Bogoliubov approximation [42]. It was shown in [56, Lemma 1] and [26, Lemma 1] that A3 with \(A=1\) and \(\gamma =1\) is satisfied for low-energy states of a d-dimensional Bose gas for \(\beta =0\) in the homogeneous and inhomogeneous setting, respectively. For the Gross–Pitaevskii scaling \(\beta =1\) in three dimensions, a comparable bound was proved in [6, 7].
Besides, A3 with parameter \(\gamma <1\) is comparable to part of the assumption made in [49]. In this work, the authors assume that the initial excitation vector \(\xi _{\varphi _0}\) be a quasi-free state in \({\mathcal {F}}_{\perp {\varphi (t)}}\) such that
for all \(\varepsilon >0\) and with \(\kappa _\varepsilon >0\) independent of N, and prove a norm approximation for \(\beta \in [0,\frac{1}{2})\) with parameter \(\delta =(1-\varepsilon -2\beta )/2\). Since \(\xi _{\varphi _0}\) is quasi-free, the first part of this assumption is comparable to A3, whereas we do not impose any condition on the initial energy of the excitations.
Finally, Mitrouskas showed in [45, Chapter 3] that assumption A3 with \(\gamma =1\) (and consequently for all \(\gamma \in (0,1]\)) is fulfilled by the ground state and lower excited states of a homogeneous Bose gas on the d-dimensional torus for \(\beta =0\). More precisely, let \({\varphi _0}\) be the minimizer of the Hartree functional on the torus with ground state energy \(E_0\), and let \(\psi _n\) denote the n’th excited state with energy \(E_n\). Then the author proves that there exist constants \(C,D>0\) such that \(\Big \Vert P^{\varphi _0}_a\psi _n\Big \Vert ^2\le C\mathrm {e}^{-Da}\) for all \((E_n-E_0)\le a\le N\). As a corollary of this statement, it is shown that there exists \(C_a>0\) such that
which implies that assumption A3\(\,^\prime \) is satisfied.
3.2 Control of Higher Moments of the Number of Excitations
In our first result, we estimate the growth of the first A moments of the number of excitations when the system evolves under the dynamics U(t, s) or \(\widetilde{U}_\varphi (t,s)\). Estimates of this kind are often needed to derive effective descriptions of the dynamics of interacting bosons, e.g., in [5, 8, 12, 46, 52, 55]. Our proof extends comparable statements for \(\beta =0\) and \(d=3\) obtained in [46, Lemma 2.1] and [55, Proposition 3.3], and for Bose gases with large volume and large density in [52, Corollary 4.2]. The estimates are stated for \(\Big \Vert (\widehat{m^\varphi })^a\psi \Big \Vert ^2\) as these expressions are required for the proof of our main theorem. By Lemma 3.2, they easily translate to bounds on the corresponding quantities \(\Big \Vert q_1\cdots q_a\psi \Big \Vert ^2\) and \(\left\langle \xi _\varphi ,{\mathcal {N}}_\varphi ^a\xi _\varphi \right\rangle \). The proofs of Proposition 3.3 and Corollary 3.4 are postponed to Sect. 4.2.
Proposition 3.3
Let \(\beta \in [0,\frac{1}{d})\), assume A1 and A2 and let \(\psi \in L^2_\mathrm {sym}({\mathbb {R}}^{dN})\). Let \(s\in {\mathbb {R}}\), \({\varphi (s)}\in H^k({\mathbb {R}}^d)\) for \(k=\lceil \tfrac{d}{2}\rceil \), and let \({\varphi (t)}\) be the solution of (7) with initial datum \({\varphi (s)}\). Then it holds for \(t\in \big [s,s+T^\mathrm {ex}_{d,v,{V^\mathrm {ext}}}\big )\) and \(j\in \{1,\ldots ,N\}\) that
- (a)
for any \(b\in {\mathbb {N}}_0\),
$$\begin{aligned} \left\| \left( \widehat{m^{\varphi (t)}}\right) ^j U(t,s)\psi \right\| ^2\lesssim & {} C_{j}^{\,t,s}\sum \limits _{n=0}^j N^{n(-1+d\beta )}\left\| \left( \widehat{m^{\varphi (s)}}\right) ^{j-n}\psi \right\| ^2\\&+\,2^bC_{b}^{\,t,s}\sum \limits _{n=0}^b N^{n(-1+d\beta )+d\beta b}\left\| \left( \widehat{m^{\varphi (s)}}\right) ^{b-n} \psi \right\| ^2, \end{aligned}$$ - (b)$$\begin{aligned} \left\| \left( \widehat{m^{\varphi (t)}}\right) ^j \widetilde{U}_\varphi (t,s)\psi \right\| ^2 \lesssim C_{j}^{\,t,s}\sum \limits _{n=0}^j N^{n(-1+d\beta )}\left\| \left( \widehat{m^{\varphi (s)}}\right) ^{j-n}\psi \right\| ^2\,, \end{aligned}$$
where \(C_{j}^{\,t,s}:= j!\, 3^{j(j+1)}\mathrm {e}^{9^j \int _s^t\Big \Vert \varphi (s_1)\Big \Vert ^2_{H^k({\mathbb {R}}^d)}\mathop {}\!\mathrm {d}s_1 }\).
Under the additional assumption A3 on the initial data, this implies that at any time t and for sufficiently large N, the first A moments of the number of excitations remain sub-leading:
Corollary 3.4
Assume A1–A2 and A3 with \(\gamma \in (0,1]\) and \(A\in \{1,\ldots ,N\}\). Let \(\psi (t)\), \({\widetilde{\psi }}_\varphi (t)\) and \({\varphi (t)}\) denote the solutions of (4), (22) and (7) with initial data \(\psi _0\) and \(\varphi _0\) from A3. Let
Then for \(t\in \big [0,T^\mathrm {ex}_{d,v,{V^\mathrm {ext}}}\big )\), sufficiently large N and \(a\in \{0,\ldots ,A\}\), it holds that
- (a)
for the time evolution U(t, s) that
$$\begin{aligned} \Big \Vert (\widehat{m^{\varphi (t)}})^a\psi (t)\Big \Vert ^2\lesssim C_{a}^{\,t}{\left\{ \begin{array}{ll} N^{-a(1-d\beta )} &{} \text { for } \beta \in [0,\tfrac{1}{2d})\,, \; \gamma \in [1-d\beta ,1]\,,\\ N^{-\gamma a} &{} \text { for } \beta \in [0,\tfrac{1}{d})\,, \; \gamma \in (d\beta ,1-d\beta ]\,, \end{array}\right. } \end{aligned}$$or, equivalently, that
$$\begin{aligned} \left\langle \xi _{\varphi (t)},{\mathcal {N}}_{\varphi (t)}^a\xi _{\varphi (t)} \right\rangle _{{\mathcal {F}}^{\le N}_{\perp {\varphi (t)}}}\lesssim C_{a}^{\,t}{\left\{ \begin{array}{ll} N^{d \beta a} &{} \text { for } \beta \in [0,\tfrac{1}{2d})\,, \; \gamma \in [1-d\beta , 1]\,,\\ N^{(1-\gamma ) a} &{} \text { for } \beta \in [0,\tfrac{1}{d})\,, \; \gamma \in (d\beta , 1-d\beta ]\,, \end{array}\right. } \end{aligned}$$ - (b)
for the time evolution \(\widetilde{U}_\varphi (t,0)\) and \(\beta \in [0,\tfrac{1}{d})\) that
$$\begin{aligned} \Big \Vert (\widehat{m^{\varphi (t)}})^a\widetilde{U}_\varphi (t,0)\psi _0\Big \Vert ^2\lesssim C_{a}^{\,t}{\left\{ \begin{array}{ll} N^{-a(1-d\beta )} &{} \text { for }\, \gamma \in [1-d\beta , 1]\,,\\ N^{-\gamma a} &{} \text { for }\, \gamma \in (0, 1-d\beta ]\,, \end{array}\right. } \end{aligned}$$or, equivalently, that
$$\begin{aligned} \left\langle \widetilde{\xi }_{\varphi (t)},{\mathcal {N}}_{\varphi (t)}^a\widetilde{\xi }_{\varphi (t)} \right\rangle _{{\mathcal {F}}^{\le N}_{\perp {\varphi (t)}}}\lesssim C_{a}^{\,t}{\left\{ \begin{array}{ll} N^{d \beta a} &{} \gamma \in [1-d\beta , 1]\,,\\ N^{(1-\gamma )a} &{} \gamma \in (0,1-d\beta ]\, \end{array}\right. } \end{aligned}$$with \(C_{a}^{\,t}:=C_a^{t,0}\) and where we estimated \(a,{\mathfrak {C}}_{\,a},{\mathfrak {C}}_{\,a}''\lesssim 1\) for the sake of readability.
At the threshold \(\gamma =1-d\beta \), the leading order terms in the sums in Proposition 3.3 change, hence we obtain two different estimates. The additional restrictions on \(\beta \) and \(\gamma \) in part (a) stem from the second sum in Proposition 3.3a. Only if either \(\beta <\frac{1}{2d}\) or \(\gamma >d\beta \), it is possible to choose b sufficiently large that the first sum dominates for large N. For \(\beta =0\), both time evolutions preserve the property A3 \(^{\prime \prime }\) exactly, i.e., with the same power \(\gamma \) of N, up to a constant growing rapidly in t and a. For \(\beta >0\), the conservation is exact only for small \(\gamma \), whereas one looses some power of N for larger \(\gamma \). Further, note that for the range \(\gamma \in (0,d\beta ]\), we do not obtain a non-trivial estimate for the excitations \(\xi _{\varphi (t)}\) in \(U(t,0)\psi _0\).
3.3 Higher Order Corrections to the Norm Approximation
Based on the estimates obtained in Proposition 3.3, our main result establishes corrections of any order to the norm approximations (13) and (23): under assumption A3 on the initial data, we construct a sequence \(\{\psi ^{(a)}_\varphi \}_{a\in {\mathbb {N}}}\subset L^2({\mathbb {R}}^{dN})\) such that
for some \(\delta (\beta ,\gamma )>0\), which may depend on \(\beta \) as well as on the parameter \(\gamma \) from assumption A3. For reasons given below, our analysis is restricted to the scaling regime \(\beta \in [0,\frac{1}{4d})\).
As explained in the introduction, it is well known that the actual time evolution \(\psi (t)\) is close to the evolution \({\widetilde{\psi }}_\varphi (t)\) from (22) in norm. Hence, the first element of the approximating sequence \(\{\psi ^{(a)}_\varphi \}_{a\in {\mathbb {N}}}\) is determined by
Using Duhamel’s formula, the difference between \(U(t,s)\psi \) and \(\widetilde{U}_\varphi (t,s)\psi \) can be expressed as
for any \(\psi \in L^2({\mathbb {R}}^{dN})\). Consequently,
by the triangle inequality and as a consequence of the unitarity of U(t, s). The leading order contribution in (27) is the term containing \({\mathcal {C}}^{\varphi (s)}\) because the cubic interaction terms are larger than the quartic ones in the following sense:
Lemma 3.5
Let \(\psi \in L^2_\mathrm {sym}({\mathbb {R}}^{dN})\) and denote by \({\varphi (t)}\) the solution of (7) with initial datum \({\varphi _0}\in H^k({\mathbb {R}}^d)\), \(k=\lceil \tfrac{d}{2}\rceil \). Then for any \(j\in {\mathbb {N}}_0\) and \(t\in \big [0,T^\mathrm {ex}_{d,v,{V^\mathrm {ext}}}\big )\),
- (a)
\(\Big \Vert \left( \widehat{m^{\varphi (t)}}\right) ^j{\mathcal {Q}}^{\varphi (t)}\psi \Big \Vert ^2\lesssim N^{2+2d\beta }\Big \Vert \big (\widehat{m^{\varphi (t)}}\big )^{4+j}\psi \Big \Vert ^2\),
- (b)
\(\Big \Vert \left( \widehat{m^{\varphi (t)}}\right) ^j{\mathcal {C}}^{\varphi (t)}\psi \Big \Vert ^2\lesssim 4^{j} \Big \Vert {\varphi (t)}\Big \Vert ^2_{H^k({\mathbb {R}}^d)}N^{2+d\beta }\Big \Vert \big (\widehat{m^{\varphi (t)}}\big )^{3+j}\psi \Big \Vert ^2\).
The proof of this lemma is postponed to Sect. 4.3. For \(j=0\), it gives a bound on the cubic and quartic terms; the more general statement \(j\ge 0\) is included for later convenience.
When applying Lemma 3.5 to (27), we obtain expressions of the form \( \Big \Vert (\widehat{m^{\varphi (s)}})^j\widetilde{U}_\varphi (s,0) \psi _0\Big \Vert ^2.\) To be able to use assumption A3 on the initial data, we need to interchange, in a sense, the order of \(\widetilde{U}_\varphi (s,0)\) and \((\widehat{m^{\varphi (s)}})^j\). This is where Proposition 3.3 comes into play: from part 3.3b, it follows for sufficiently large N that
To enhance readability, we do not keep track of the different constants C(t) for now, but we specify it in more detail in Theorem 1. As in Corollary 3.4, the size of \(\gamma \) determines the leading order term in the sum: for \(\gamma \ge 1-d\beta \), the dominant contribution issues from \(n=3\), whereas otherwise the addend corresponding to \(n=0\) is of leading order. Consequently,
To ensure that (28) converges to zero as \(N\rightarrow \infty \), we restricted the range of parameters \(\gamma \) admitted by assumption A3 to \(\gamma \in (\tfrac{2+d\beta }{3},1]\). Besides, in the first case, the bound is only small for \(\beta <\frac{1}{4d}\), and the second case is anyway only possible for \(\beta <\tfrac{1}{4d}\). Hence, we can only cover the parameter regime \(\beta \in [0,\tfrac{1}{4d})\). Analogously to (28), we also obtain
Note that \(\beta <\tfrac{1}{4d}\) implies that \(-2+6d\beta <-1+4d\beta \), and besides, it follows from \(\gamma >\tfrac{2+3d}{3}\) and \(\beta <\tfrac{1}{4d}\) that \(2+2d\beta -4\gamma <2+d\beta -3\gamma \). Consequently, the contribution with \({\mathcal {C}}^{\varphi (s)}\) dominates in (27) for sufficiently large N, which leads to the estimate
with
This yields (5) for \(n=1\).
To construct the second element \(\psi ^{(2)}_\varphi (t)\) of the approximating sequence, we need to extract from (26) the relevant contributions such that \(\Big \Vert \psi (t)-\psi ^{(2)}_\varphi (t)\Big \Vert ^2\le C(t)N^{-2\delta (\beta ,\gamma )}\). As a consequence of Lemma 3.5, we define
which equals the leading order contribution in (26) but with the true time evolution U(t, s) replaced by \(\widetilde{U}_\varphi (t,s)\). Put differently, the leading order contribution is cancelled but for the difference between U(t, s) and \(\widetilde{U}_\varphi (t,s)\). Since this difference is evaluated on \({\mathcal {C}}^{\varphi (s)}\widetilde{U}_\varphi (s,0)\psi _0\), which is small in norm, this is an improvement compared to the first order approximation \(\psi ^{(1)}_\varphi (t)\). To verify this, let us compute the difference between \(\psi (t)\) and \(\psi ^{(2)}_\varphi (t)\). Using Duhamel’s formula twice, we obtain
Due to the unitarity of U(t, s), we obtain with the triangle inequality
The leading order term in (32) can be estimated as
As before, considering the two ranges of \(\gamma \) separately yields for sufficiently large N
with \(\delta (\beta ,\gamma )\) from (31). Analogously, the second term can be estimated as
and the third term was already treated in (29). Combining all bounds, we obtain
which yields (5) for \(a=2\).
Iterating Duhamel’s formula \((a-1)\) times, we construct \(\psi ^{(a)}_\varphi (t)\) as an expansion with \(a-1\) terms, where the last term contains the true time evolution U(t, s) and all others exclusively contain \(\widetilde{U}_\varphi (t,s)\). Consequently, to construct \(\psi ^{(3)}_\varphi (t)\), we iterate (26) once more, which yields
The leading order contributions issue from the first integral and from the expression with two cubic interaction terms. Analogously to above, they determine the next element \(\psi ^{(3)}_\varphi \) of the sequence \(\{\psi ^{(a)}_\varphi \}_{a\in {\mathbb {N}}}\) as
and similar calculations as before yield \(\Big \Vert \psi (t)-\psi ^{(3)}_\varphi (t)\Big \Vert ^2\lesssim C(t)N^{-3\delta (\beta ,\gamma )}\). Continuing the iteration of (26), we obtain for any \(a\ge 1\) and \(s_0=0\) the expansion
All products are to be understood as ordered, i.e. \(\prod _{\ell =0}^L P_\ell :=P_0P_1\cdots P_L\) for \(L\in {\mathbb {N}}\) and any expressions \(P_\ell \). Extracting the leading contributions in each order, we construct the sequence \(\{\psi ^{(a)}_\varphi (t)\}_{a\in {\mathbb {N}}}\) as follows:
Definition 3.1
Let \(I_1^{\varphi (t)}:={\mathcal {C}}^{\varphi (t)}\) and \(I_2^{\varphi (t)}:={\mathcal {Q}}^{\varphi (t)}\). Define the set
i.e., the set of n-tuples with elements in \(\{1,2\}\) such that the elements of each tuple add to k. Define for \(n\in {\mathbb {N}}\) and \(n\le k\le 2n\)
where \(s_0:=0\). As above, the products are ordered. For \(n=k=0\), let \(T_0^{(0)}:=\widetilde{U}_\varphi (t,0)\psi _0\), and \(T_n^{(k)}:=0\) for \(k< n\) and \(k>2n\). Hence, \(T_n^{(k)}\) is an n-dimensional integral where the integrand contains all possible combinations of \(I^{\varphi (s_l)}_{j_l}\) such that \(\sum _{l=1}^n j_l=k\).
Finally, the elements of the sequence \(\{\psi ^{(a)}_\varphi \}_{a\in {\mathbb {N}}}\) are defined as
Theorem 1
Let \(\beta \in [0,\frac{1}{4d})\) and assume A1 – A3 with \(A\in \{1,\ldots ,N\}\) and \(\gamma \in (\tfrac{2+d\beta }{3},1]\). Let \(\psi (t)\) and \({\varphi (t)}\) denote the solutions of (4) and (7) with initial data \(\psi _0\) and \(\varphi _0\) from A3, respectively, and let \(\psi ^{(a)}_\varphi (t)\) be defined as in Definition 3.1. Then for sufficiently large N, \(t\in \big [0,T^\mathrm {ex}_{d,v,{V^\mathrm {ext}}}\big )\) and \(a\in \{1,\ldots ,\lfloor \tfrac{A}{6}\rfloor \}\), there exists a constant c(a) such that
where
Hence, given any desired precision of the approximation, there exists some \(a\in {\mathbb {N}}\) such that the corresponding function \(\psi ^{(a)}_\varphi (t)\) approximates the actual N-body dynamics \(\psi (t)\) to this order for large N. To compute \(\psi ^{(a)}_\varphi (t)\), an a-dependent number of steps is required, as well as the knowledge of the first quantised Bogoliubov time evolution. We cover initial states where the first A moments of the number of excitations are sub-leading, where A depends on a but is independent of N.
4 Proofs
4.1 Preliminaries
Lemma 4.1
Let \({\varphi _0}\in H^k({\mathbb {R}}^d)\) for \(k=\lceil \tfrac{d}{2}\rceil \), \(t\in \big [0,T^\mathrm {ex}_{d,v,{V^\mathrm {ext}}}\big )\) and \({\varphi (t)}\) the solution of (7) with inital datum \({\varphi _0}\).
- (a)
Let \(f:{\mathbb {R}}^d\times {\mathbb {R}}^d\rightarrow {\mathbb {R}}\) be a measurable function such that \(|f(z_j,z_k)|\le F(z_k-z_j)\) almost everywhere for some \(F:{\mathbb {R}}^d\rightarrow {\mathbb {R}}\). Then
$$\begin{aligned} \Vert p^{\varphi (t)}_1f(x_1,x_2)\Vert _\mathrm {op}\lesssim \Big \Vert {\varphi (t)}\Big \Vert _{H^k({\mathbb {R}}^d)}\Big \Vert F\Big \Vert _{L^2({\mathbb {R}}^d)}. \end{aligned}$$ - (b)
Let \(f:{\mathbb {N}}_0\rightarrow {\mathbb {R}}^+_0\). Then \(P^{\varphi (t)}_k,\;\widehat{f^{\varphi (t)}}\in {\mathcal {C}}^1\big ({\mathbb {R}},{\mathcal {L}}\left( L^2({\mathbb {R}}^{dN})\right) \big )\) for \(0\le k\le N\) and
$$\begin{aligned} \tfrac{\mathop {}\!\mathrm {d}}{\mathop {}\!\mathrm {d}t}\widehat{f^{\varphi (t)}}=\mathrm {i}\Big [\widehat{f^{\varphi (t)}},\sum \limits _{j=1}^N h^{{\varphi (t)}}_j(t)\Big ], \end{aligned}$$where \(h^{{\varphi (t)}}_j(t)\) denotes the one-particle operator \(h^{{\varphi (t)}}(t)\) from (7) acting on the jth coordinate.
Proof
For part (a), see, e.g., [54, Lemma 4.1] and note that \(\Big \Vert {\varphi (t)}\Big \Vert _{L^\infty ({\mathbb {R}}^d)}\lesssim \Big \Vert {\varphi (t)}\Big \Vert _{H^k({\mathbb {R}}^d)}\) by the Sobolev embedding theorem. Part (b) can be shown as in the proof of [54, Lemma 6.2]. \(\square \)
Lemma 4.2
Let \(\psi \in L^2_\mathrm {sym}({\mathbb {R}}^{dN})\), \(\varphi \in L^2({\mathbb {R}}^d)\) and \(f:{\mathbb {N}}_0\rightarrow {\mathbb {R}}_0^+\).
- (a)
\(\left( \widehat{n^\varphi }\right) ^2=\frac{1}{N}\sum \limits _{j=1}^N q^\varphi _j\,.\)
- (b)
Let \(a\in \{1,\ldots ,N\}\). Then for \(j\in \{0,\ldots ,a\}\),
$$\begin{aligned} \Big \Vert q^\varphi _1\cdots q^\varphi _a\psi \Big \Vert ^2 \le \Big \Vert q^\varphi _1\cdots q^\varphi _j \left( \widehat{n^\varphi }\right) ^{a-j}\psi \Big \Vert ^2\,. \end{aligned}$$ - (c)
In particular, this implies
$$\begin{aligned} \left\| \widehat{f^\varphi }q^\varphi _1\psi \right\| ^2\le \left\| \widehat{f^\varphi }\widehat{n^\varphi }\psi \right\| ^2, \qquad \left\| \widehat{f^\varphi }q^\varphi _1q^\varphi _2\psi \right\| ^2\le \left\| \widehat{f^\varphi }\left( \widehat{n^\varphi }\right) ^2\psi \right\| ^2\,. \end{aligned}$$
Proof
For simplicity, let us drop all superscripts \(\varphi \). Part (a) is shown e.g. in [54, Lemma 4.1]. For part (b), observe that for any \(1\le j\le N\),
by part (a). Since \(\widehat{n}\psi \) is again symmetric, the statement follows by iteration. \(\square \)
Lemma 4.3
Denote by \(T_{ij}\) an operator acting non-trivially only on coordinates i and j.
- (a)
Let \(\varphi \in L^2({\mathbb {R}}^d)\), let \(f,g:{\mathbb {N}}_0\rightarrow {\mathbb {R}}_0^+\) be any weights and \(i,j\in \{1,\ldots ,N\}\). Let \(Q^\varphi _0:=p^\varphi _ip^\varphi _j\), \(Q^\varphi _1\in \{p^\varphi _iq^\varphi _j,q^\varphi _ip^\varphi _j\}\) and \(Q^\varphi _2:=q^\varphi _iq^\varphi _j\). Then, for \(\mu ,\nu \in \{0,1,2\}\),
$$\begin{aligned} Q^\varphi _\mu \,\widehat{f^\varphi }\,T_{ij}\,Q^\varphi _\nu =Q^\varphi _\mu \, T_{ij}\widehat{f^\varphi }_{\mu -\nu }\,Q^\varphi _\nu \,. \end{aligned}$$ - (b)
Let \(\Gamma ,\Lambda \in L^2({\mathbb {R}}^{dN})\) be symmetric under the exchange of coordinates in a subset \({\mathcal {M}}\subseteq \{1,\ldots ,N\}\) such that \(j\notin {\mathcal {M}}\) and \(k,l\in {\mathcal {M}}\). Then
$$\begin{aligned} |\left\langle \Gamma ,T_{j,k}\Lambda \right\rangle |\le \Big \Vert \Gamma \Big \Vert \Big (|\left\langle T_{j,k}\Lambda ,T_{j,l}\Lambda \right\rangle |+|{\mathcal {M}}|^{-1}\Big \Vert T_{j,k}\Lambda \Big \Vert ^2\Big )^\frac{1}{2}. \end{aligned}$$
Proof
[54, Lemma 4.1] and [9, Lemma 4.7]. \(\square \)
Proof of Lemma 3.2
Let us for simplicity drop all superscripts \(\varphi \). First, observe that
hence
in the sense of operators. The first part of (a) follows from Lemma 4.2b and the first line in (34). For the second part, Lemma 4.2a implies
for \(a_1,\ldots ,a_N\in \{0,\ldots ,a\}\). Due to the symmetry of \(\psi \), since there are \(\left( {\begin{array}{c}a-1\\ j-1\end{array}}\right) \) possibilities to write a as the sum of j positive integers and with \(\left( {\begin{array}{c}a\\ a_1,\ldots ,a_N\end{array}}\right) \le a!\), this yields
Further, note that
and \(\genfrac(){0.0pt}1{N}{j}\le N^j\), hence
Part (b) follows from (20) and (35). \(\square \)
4.2 Proof of Proposition 3.3
Proof of Proposition 3.3
The proof of this proposition is essentially an adaptation of the proof of [52, Corollary 4.2]. We begin with part (a). Let \(\psi \in L^2({\mathbb {R}}^{dN})\) symmetric, \(s\in {\mathbb {R}}\) and \(f:{\mathbb {N}}_0\rightarrow {\mathbb {R}}_0^+\) some weight function. Define
and
Let us for the moment abbreviate \(U(t,s)\psi =:\psi _t\). By Lemma 4.1a,
where we have inserted on both sides of the commutator and used Lemma 4.3a. Since \(q^{\varphi (t)}_1p^{\varphi (t)}_2Z^\beta _{12}p^{\varphi (t)}_1p^{\varphi (t)}_2=0\), we conclude that (39) equals zero. From now on, we will for simplicity drop the superscripts \({\varphi (t)}\). Let
Since, for example, \( \left( \widehat{f}-\widehat{f_{-2}}\right) ^\frac{1}{2} q_1q_2 =\left( \sum \limits _{k=2}^N(f(k)-f(k-2))P^{\varphi (t)}_k\right) ^\frac{1}{2}q_1q_2\), this yields
By Lemmas 4.1 and 4.2 and since \(\Big \Vert v^\beta \Big \Vert _{L^2({\mathbb {R}}^d)}^2\lesssim N^{d\beta }\), the first term in (43) leads to
To obtain the estimate in the last line, note first that
Now we decompose \(v^\beta =v^\beta _+-v^\beta _-\) into its positive and negative part such that \(v^\beta _\pm \ge 0\), hence \(v^\beta _\pm (x)=\sqrt{v^\beta _\pm (x)}\sqrt{v^\beta _\pm (x)}\), which leads to
by Lemma 4.1. The second term in (43) can be estimated as
Now we choose for f the family of weight functions \(w_\lambda ^j:k\mapsto \left( w_\lambda (k)\right) ^j\) given by
for some \(0<\lambda \le 1-d\beta \) and \(j\in \{0,\ldots ,N\}\). The set corresponding to \(L_f\) from (42) is called \(L_{w^j_\lambda }\). To bound the operators in \(L_{w^j_\lambda }\), note that for any \(a,b\in {\mathbb {N}}_0\), \(a>b\),
where we have used in the second line that for every \(1\le m\le j-1\),
and that \(a^j\ge a^\ell -b^\ell \) for any \(1\le \ell \le j\) and \(j\ge 1\) (the statement is trivial for \(j=0\)). Since \(w_\lambda (k)\le \tfrac{k+1}{N^\lambda }\) for all k, especially also if \(k>N^{\lambda }-1\), we conclude that
Besides, one computes analogously to above that \((k+1)^j-(k-1)^j\le 2j(k+1)^{j-1}\), hence
Finally, \(w_\lambda (k)=1\) for \(k>N^\lambda -1\), hence the above estimates imply
For all other values of k, the differences yield zero. Thus, every element of \(L_{w_\lambda ^j}\) can be bounded, in the sense of operators, by the operator corresponding to the weight function
Besides, since \(l_\lambda ^j(k)=0\) for \(k> N^\lambda +1\), one obtains
Inserting (47) to (49) into (44) and (45) and using that \(\lambda \le 1-d\beta \) implies \(N^\frac{d\beta +\lambda -1}{2}\le 1\), we conclude that
Now we apply Grönwall’s inequality, for now on using the abbreviations \(\alpha _{\psi ,\varphi ,s}(w_\lambda ^j;t)=:\alpha _j(t)\) and \(I_t:=\int _s^t\Big \Vert \varphi (s_1)\Big \Vert _{H^k({\mathbb {R}}^d)}^2\mathop {}\!\mathrm {d}s_1\). This yields
where we have used that all integrands are non-negative and thus the upper boundary of all integrals could be replaced by t. Written explicitly, this gives
with
where we have estimated \(I_t^j\mathrm {e}^{2j3^jI_t}<\mathrm {e}^{9^jI_t}\). To relate this estimate to \(\Big \Vert \widehat{m}^j\psi \Big \Vert ^2\), observe that for \(0\le k\le N\),
and
Consequently, \(m^{2j}(k)\le N^{-j(1-\lambda )}w_\lambda ^j(k)+w_\lambda ^b(k)\), and we conclude
for any \(b\in {\mathbb {N}}\). Inserting these estimates into (51) yields
To minimise the second term, we choose the maximal \(\lambda =1-d\beta \), which concludes the proof of part (a).
The proof of part (b) is much simpler since we now consider the time evolution \(\widetilde{U}_\varphi (t,s)\). The term corresponding to (41) vanishes, which implies that we may directly consider the weights \(m^{2j}(k)\) instead of taking the detour via \(w_\lambda ^j(k)\). Analogously to (37), we define
We will now abbreviate \(\widetilde{U}_\varphi (t,s)\psi =:\widetilde{\psi }_t\). In this notation,
We now evaluate this expression for the weight \(m^{2j}(k)\), i.e.
This corresponds to \(w_\lambda ^j(k)\) with the choice \(\lambda =1\) in (46). Consequently, we define \(l^j(k):=j3^jN^{-1}m^{2(j-1)}(k)\) analogously to (47) and conclude that \(m^{2j}(k)-m^{2j}(k-2)\le l^j(k)\) and \(m^{2j}(k+2)-m^{2j}(k)\le l^j(k)\). Analogously to the estimate of the first term in (43) and using the relation (48) for \(\lambda =1\), we obtain
The same Grönwall argument which led to (51) concludes the proof. \(\square \)
Proof of Corollary 3.4
From Proposition 3.3a and the assumptions on the initial data, we conclude that for every \(b\in {\mathbb {N}}\) and sufficiently large N,
If \(\gamma \ge 1-d\beta \), the leading order terms in both sums are the ones with maximal n, hence
If one chooses \(b>a\frac{1-d\beta }{1-2d\beta }\) for fixed \(\beta <\frac{1}{2d}\), the second term is for sufficiently large N dominated by the first one. For \(\gamma <1-d\beta \), the leading order terms are those with \(n=0\), hence
which yields a non-trivial bound only for \(\gamma >d\beta \). Part (b) follows analogously from part (b) of Proposition 3.3 without the restrictions on \(\beta \) and \(\gamma \) that are due to the second sum. \(\square \)
4.3 Proof of Theorem 1
Proof of Lemma 3.5
We use the abbreviation \(Z^\beta _{ij}=v^\beta _{ij}-\overline{v}^{\varphi (t)}(x_i)-\overline{v}^{\varphi (t)}(x_j)+2{\mu ^{\varphi (t)}}\) as in (38), and drop all superscripts \({\varphi (t)}\) in \(p^{\varphi (t)}\), \(q^{\varphi (t)}\) and \(\widehat{m^{\varphi (t)}}\) for simplicity. By Lemma 4.3a, \({\mathcal {Q}}^{\varphi (t)}\widehat{m}^a=\widehat{m}^a{\mathcal {Q}}^{\varphi (t)}\), hence
where we have used that \(\Big \Vert Z^\beta _{ij}\Big \Vert _{L^\infty ({\mathbb {R}}^d)}\lesssim N^{d\beta }\) by Young’s inequality. Now observe that
hence
by (34), and analogously
This implies part (a). For part (b), note that by Lemma 4.3a,
Consequently,
similarly to the estimate of \(\Big \Vert \widehat{m}^a{\mathcal {Q}}^{\varphi (t)}\psi \Big \Vert \). The last inequality follows because by Lemma 4.1a, \(\Vert p_1Z^\beta _{12}\Vert _\mathrm {op}^2\lesssim N^{d\beta }\Big \Vert {\varphi (t)}\Big \Vert ^2_{H^k({\mathbb {R}}^d)}\) due to Young’s inequality and since \(\Big \Vert v^\beta \Big \Vert _{L^2({\mathbb {R}}^d)}^2\lesssim N^{d\beta }\). Further, note that
in the sense of operators. As in the estimate of \({\mathcal {Q}}^{\varphi (t)}\), we thus obtain for \(\ell \in \{-1,1\}\)
and analogously \(\Big \Vert q_1q_2\widehat{m}^a_\ell \psi \Big \Vert < 4^{a}N\Big \Vert \widehat{m}^{a+3}\psi \Big \Vert ^2\) and \(\Big \Vert q_1q_2q_3\widehat{m}^a_\ell \psi \Big \Vert < 4^{a}\Big \Vert \widehat{m}^{a+3}\psi \Big \Vert ^2\). Together, this implies part (b). \(\square \)
Proof of Theorem 1
Let \(a\in {\mathbb {N}}_0\) such that \(6a\le A\). Recall that by Definition 3.1,
for any \(a\ge 0\), where \(T_n^{(k)}\) is given by
where
with \(I^{\varphi (t)}_1={\mathcal {C}}^{\varphi (t)}\) and \(I^{\varphi (t)}_2={\mathcal {Q}}^{\varphi (t)}\) and \((j_1,\ldots ,j_n)\in {\mathcal {S}}_n^{(k)}\). In this notation,
hence the Duhamel expansion (33) of \(\psi (t)\) reads
Here, \(\widetilde{T}_n^{(k)}\) is obtained from \(T_n^{(k)}\) by replacing the first \(\widetilde{U}_\varphi (t,s_n)\) by the full time evolution \(U(t,s_n)\), i.e., for \(n<k<2n\),
Consequently,
since the first double sum contributes only if \(2n\ge a+1\), and in this case \(\min \{2n,a\}=a\). Note that for \(k=n\), \(j_1=\dots =j_k=1\), hence \(T_k^{(k)}\) and \(\widetilde{T}_k^{(k)}\) exclusively contain \({\mathcal {C}}^{\varphi (s_l)}\). Using Duhamel’s formula, the last expression can thus be expanded as
By unitarity of U(t, s) and \(\widetilde{U}_\varphi (t,s)\),
With this, (52) and (53) imply for \(a=0,1\)
which coincides with (27) and (32). For \(a\ge 2\), we find
where we used that \(a+2\le 2a\) for \(a\ge 2\). To estimate \(\Big \Vert t_{(j_1,\ldots ,j_n)}^{(k)}\Big \Vert ^2\) for \(a+1\le k\le 2a\) and \(n\le k\), note first that Lemma 3.5 and Proposition 3.3b can be combined into the single statement
for \(j\in \{1,2\}\) and any \(\psi \in L^2_\mathrm {sym}({\mathbb {R}}^{dN})\). Hence, with \(\delta _\mu :=2(n-\mu +1)+(j_n+j_{n-1}+\cdots +j_\mu ) \) and \(\eta _\mu :=\prod _{\ell =0}^\mu \Big \Vert \varphi (s_{n-\ell })\Big \Vert ^2_{H^k({\mathbb {R}}^d)}\), we obtain for \(n\le k\)
Since \(j_1+,\ldots ,+j_n=k\) and \(n\le k\le 2a\), we find \(\delta _1=2n+k\le 3k\le 6a\le A\), hence assumption A3 yields
Let us for the moment focus on the N-dependent factors in (58), thereby neglecting all other contributions to the sum. This yields
For \(\gamma \ge 1-d\beta \), the leading order term in the sum \(\sum _{\nu _n}\) is the term corresponding to the choice \(\nu _n=\delta _1-(\nu _1+\cdots +\nu _{n-1})=2n+k-(\nu _1+\cdots +\nu _{n-1})\), which yields the total factor \(N^{k(-1+d\beta )}N^{d\beta \delta _1}= N^{-k+2d\beta (n+k)}\). This factor is maximal for \(n=k\). For \(\gamma < 1-d\beta \), the leading term corresponds to the choice \(\nu _1=\dots =\nu _n=0\), which yields \(N^{2n(1-\gamma )+k(d\beta -\gamma )}\). Also here, the maximal contribution issues from \(n=k\). In fact, the leading contributions for both ranges of \(\gamma \) can be summarised as \(N^{-k\delta (\beta ,\gamma )}\), where
as defined in (31). Hence, for sufficiently large N, the dominating terms is the one with \(n=k\), which comes from \(t^{(k)}_{(j_1,\ldots ,j_k)}=t^{(k)}_{(1,\ldots ,1)}\).
and (54) to (56) can be summarised as
It remains to evaluate the estimate (58) for \(n=k\). In this case, \(j_1=\dots =j_k=1\) and \(\delta _\mu =3(k-\mu +1)\). Note also that the constants \(C_{a}^{\,t}\) are increasing in a and t, hence \(C_{\delta _{k-\mu }-(\nu _1+\cdots +\nu _{\mu -1})}^{\,s_{k-\mu }-s_{k-\mu -1}}\le C_{3(\mu +1)}^{\,s_{k-\mu }}\). Further, observe that \(\delta _k+\cdots +\delta _2= \tfrac{3}{2}k(k-1)\le \tfrac{3}{2}k^2\). Consequently,
where we have used that each sum \(\sum _{\nu _{\mu }}\) in (58) contains at most \(\delta _{k-\mu +1}+1=3\mu +1\) addends, and that the prefactor of the leading order term for \(\gamma \ge 1-d\beta \) is \({\mathfrak {C}}_{\,0}=1\), whereas it is \({\mathfrak {C}}_{\,3k}\) for \(\gamma < 1-d\beta \). Consequently, for sufficiently large N, the maximum in (59) is attained for \(k=a+1\). Inserting the explicit formula \(C_{j}^{\,t,s}=j!\,3^{j(j+1)}\mathrm {e}^{9^{j}I_t} \) with \(I_t=\int _s^t\Big \Vert \varphi (s_1)\Big \Vert ^2_{H^k({\mathbb {R}}^d)}\mathop {}\!\mathrm {d}s_1\) yields
where we have bounded all a-dependent, time-independent expressions by a constant \(c\lesssim 1\).
\(\square \)
Notes
(Bogoliubov–Born–Green–Kirkwood–Yvon)
Written in second quantized form, \({\mathbb {H}}_\mathrm {Bog}(t)\) is defined as
$$\begin{aligned} \begin{aligned} {\mathbb {H}}_\mathrm {Bog}(t):=\int _{{\mathbb {R}}^d}a^*_x\left( h^{{\varphi (t)}}(t,x)+K_1(t,x)\right) a_x\mathop {}\!\mathrm {d}x +\tfrac{1}{2}\int _{{\mathbb {R}}^d}\mathop {}\!\mathrm {d}x\int _{{\mathbb {R}}^d}\mathop {}\!\mathrm {d}y\left( K_2(t,x,y)a^*_x a^*_y+\overline{K_2(t,x,y)}a_xa_y\right) \,, \end{aligned} \end{aligned}$$where \(a^*_x\) and \(a_x\) denote the operator-valued distributions corresponding to the usual creation and annihilation operators on \({\mathcal {F}}(L^2({\mathbb {R}}^d))\). Besides, \(K_1(t):=Q(t)\widetilde{K}_1(t)Q(t)\) with \(Q(t):=1-|{\varphi (t)}\rangle \langle {\varphi (t)}|\), where \(\widetilde{K}_1\) is the Hilbert–Schmidt operator on \(L^2({\mathbb {R}}^d)\) with kernel \(\widetilde{K}_1(t,x,y):=\varphi (t,x)v^\beta (x-y)\overline{\varphi (t,y)}\). Further, \(K_2(t):=\left( Q(t)\otimes Q(t)\right) \widetilde{K}_2(t,\cdot ,\cdot )\), where \(\widetilde{K}_2(t,x,y):=\varphi (t,x)v^\beta (x-y)\varphi (t,y)\) (e.g. [47, Equation (31)]).
Note that the operators \(\widehat{n^\varphi }\) and \(\widehat{m^\varphi }\) are equivalent in the sense that they are related via (35), namely \((\widehat{n^\varphi })^{2a}\le (\widehat{m^\varphi })^{2a} \le 2^a (\widehat{n^\varphi })^{2a}+N^{-a}\), hence all results in terms of \(\widehat{m^\varphi }\) can be translated to the corresponding statements in terms of \(\widehat{n^\varphi }\). We chose to work with \(\widehat{m^\varphi }\) instead of \(\widehat{n}^\varphi \) because this makes in particular Proposition 3.3 easier to write. For example, in terms of \(\widehat{n^\varphi }\), Proposition 3.3b reads
$$\begin{aligned} \Big \Vert (\widehat{n^\varphi })^j\widetilde{U}_\varphi (t,s)\psi \Big \Vert ^2\lesssim C_{j}^{\,t,s}\sum \limits _{n=0}^j N^{n(-1+d\beta )}\left( 2^{j-n}\Big \Vert (\widehat{n^\varphi })^{j-n}\psi \Big \Vert ^2+N^{-j+n}\right) \,, \end{aligned}$$which contains an additional term \(N^{-j+n}\). Since the proof of our main result requires an iteration of this proposition, the version with \(\widehat{m^\varphi }\) is more practicable.
References
Adami, R., Bardos, C., Golse, F., Teta, A.: Towards a rigorous derivation of the cubic NLSE in dimension one. Asymptot. Anal. 40(2), 93–108 (2004)
Adami, R., Golse, F., Teta, A.: Rigorous derivation of the cubic NLS in dimension one. J. Stat. Phys. 127(6), 1193–1220 (2007)
Adams, R .A., Fournier, J .J .F.: Sobolev Spaces. Pure and Applied Mathematics Series, vol. 140. Academic Press, Elsevier (2003)
Anapolitanos, I., Hott, M.: A simple proof of convergence to the Hartree dynamics in Sobolev trace norms. J. Math. Phys. 57(12), 122108 (2016)
Ben Arous, G., Kirkpatrick, K., Schlein, B.: A central limit theorem in many-body quantum dynamics. Commun. Math. Phys. 321, 371–417 (2013)
Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: Complete Bose-Einstein condensation in the Gross-Pitaevskii regime. Commun. Math. Phys. 359(3), 975–1026 (2018)
Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: Optimal rate for Bose–Einstein condensation in the Gross-Pitaevskii regime. arXiv:1812.03086 (2018)
Boccato, C., Cenatiempo, S., Schlein, B.: Quantum many-body fluctuations around nonlinear Schrödinger dynamics. Ann. Henri Poincaré 18, 113–191 (2017)
Boßmann, L.: Derivation of the 1d nonlinear Schrödinger equation from the 3d quantum many-body dynamics of strongly confined bosons. J. Math. Phys. 60(3), 031902 (2019)
Boßmann, L., Teufel, S.: Derivation of the 1d Gross-Pitaevskii equation from the 3d quantum many-body dynamics of strongly confined bosons. Ann. Henri Poincaré 20(3), 1003–1049 (2019)
Brennecke, C., Nam, P.T., Napiórkowski, M., Schlein, B.: Fluctuations of N-particle quantum dynamics around the nonlinear Schrödinger equation. Ann. Inst. H. Poincaré C, Anal. Non Linéaire (2018)
Chen, L., Lee, J.O., Schlein, B.: Rate of convergence towards Hartree dynamics. J. Stat. Phys. 144, 872–903 (2011)
Chen, T., Hainzl, C., Pavlović, N., Seiringer, R.: Unconditional uniqueness for the cubic Gross-Pitaevskii hierarchy via quantum de Finetti. Commun. Pure Appl. Math. 68(10), 1845–1884 (2015)
Chen, T., Pavlović, N.: Derivation of the cubic NLS and Gross-Pitaevskii hierarchy from manybody dynamics in \(d=3\) based on spacetime norms. Ann. Henri Poincaré 15(3), 543–588 (2014)
Chen, X.: On the rigorous derivation of the 3d cubic nonlinear Schrödinger equation with a quadratic trap. Arch. Ration. Mech. Anal. 210(2), 365–408 (2013)
Chen, X., Holmer, J.: Focusing quantum many-body dynamics: the rigorous derivation of the 1d focusing cubic nonlinear Schrödinger equation. Arch. Ration. Mech. Anal. 221(2), 631–676 (2016)
Chen, X., Holmer, J.: The rigorous derivation of the 2D cubic focusing NLS from quantum many-body evolution. Int. Math. Res. Not. 2017(14), 4173–4216 (2017)
Chong, J.: Dynamics of large boson systems with attractive interaction and a derivation of the cubic focusing NLS in \({\mathbb{R}}^{3}\). arXiv:1608.01615 (2016)
Deckert, D.-A., Fröhlich, J., Pickl, P., Pizzo, A.: Effective dynamics of a tracer particle interacting with an ideal Bose gas. Commun. Math. Phys. 328(2), 597–624 (2014)
Erdős, L., Schlein, B., Yau, H.-T.: Derivation of the Gross-Pitaevskii hierarchy for the dynamics of Bose-Einstein condensate. Commun. Pure Appl. Math. 59(12), 1659–1741 (2006)
Erdős, L., Schlein, B., Yau, H.-T.: Derivation of the cubic non-linear Schrödinger equation from quantum dynamics of many-body systems. Invent. Math. 167(3), 515–614 (2007)
Fröhlich, J., Graffi, S., Schwarz, S.: Mean-field- and classical limit of many-body Schrödinger dynamics for bosons. Commun. Math. Phys. 271, 681–697 (2007)
Fröhlich, J., Knowles, A., Schwarz, S.: On the mean-field limit of bosons with Coulomb two-body interaction. Commun. Math. Phys. 288(3), 1023–1059 (2009)
Ginibre, J., Velo, G.: The classical field limit of scattering theory for non-relativistic many-boson systems. I. Commun. Math. Phys. 66(1), 37–76 (1979)
Ginibre, J., Velo, G.: The classical field limit of scattering theory for non-relativistic many-boson systems. II. Commun. Math. Phys. 68(1), 45–68 (1979)
Grech, P., Seiringer, R.: The excitation spectrum for weakly interacting bosons in a trap. Commun. Math. Phys. 322(2), 559–591 (2013)
Griesemer, M., Schmid, J.: Well-posedness of non-autonomous linear evolution equations in uniformly convex spaces. Math. Nachr. 290(2–3), 435–441 (2017)
Grillakis, M., Machedon, M.: Pair excitations and the mean field approximation of interacting bosons, I. Commun. Math. Phys. 324, 601–636 (2013)
Grillakis, M., Machedon, M.: Pair excitations and the mean field approximation of interacting bosons, II. Commun. Partial Differ. Equ. 42(1), 24–67 (2013)
Grillakis, M., Machedon, M., Margetis, D.: Second-order corrections to mean field evolution of weakly interacting bosons, I. Commun. Math. Phys. 294(1), 273 (2010)
Grillakis, M., Machedon, M., Margetis, D.: Second-order corrections to mean field evolution of weakly interacting bosons, II. Adv. Math. 228(3), 1788–1815 (2011)
Hepp, K.: The classical limit for quantum mechanical correlation functions. Commun. Math. Phys. 35, 265–277 (1974)
Jeblick, M., Leopold, N., Pickl, P.: Derivation of the time dependent Gross-Pitaevskii equation in two dimensions. Commun. Math. Phys. 372(1), 1–69 (2019)
Jeblick, M., Pickl, P.: Derivation of the time dependent two dimensional focusing NLS equation. J. Stat. Phys. 172(5), 1398–1426 (2018)
Kirkpatrick, K., Schlein, B., Staffilani, G.: Derivation of the two-dimensional nonlinear Schrödinger equation from many body quantum dynamics. Am. J. Math. 133(1), 91–130 (2011)
Klainerman, S., Machedon, M.: On the uniqueness of solutions to the Gross-Pitaevskii hierarchy. Commun. Math. Phys. 279(1), 169–185 (2008)
Knowles, A., Pickl, P.: Mean-field dynamics: singular potentials and rate of convergence. Commun. Math. Phys. 298(1), 101–138 (2010)
Kuz, E.: Exact evolution versus mean field with second-order correction for bosons interacting via short-range two-body potential. Differ. Integr. Equ. 30(7/8), 587–630 (2017)
Lanford, O .E.: III. The classical mechanics of one-dimensional systems of infinitely many particles. I. An existence theorem. Commun. Math. Phys. 9, 176–191 (1968)
Lanford, O.E.: III. The classical mechanics of one-dimensional systems of infinitely many particles. II. Kinetic theory. Commun. Math. Phys. 11:257–292 (1968/1969)
Lewin, M., Nam, P.T., Schlein, B.: Fluctuations around Hartree states in the mean field regime. Am. J. Math. 137(6), 1613–1650 (2015)
Lewin, M., Nam, P.T., Serfaty, S., Solovej, J.P.: Bogoliubov spectrum of interacting Bose gases. Commun. Pure Appl. Math. 68, 0413–0471 (2015)
Michelangeli, A., Olgiati, A.: Gross-Pitaevskii non-linear dynamics for pseudo-spinor condensates. J. Nonlinear Math. Phys. 24(3), 426–464 (2017)
Michelangeli, A., Olgiati, A.: Mean-field quantum dynamics for a mixture of Bose-Einstein condensates. Anal. Math. Phys. 7(4), 377–416 (2017)
Mitrouskas, D.: Derivation of mean field equations and their next-order corrections: bosons and fermions. PhD thesis (2017)
Mitrouskas, D., Petrat, S., Pickl, P.: Bogoliubov corrections and trace norm convergence for the Hartree dynamics. Rev. Math. Phys. 31(8), 1950024 (2019)
Nam, P.T., Napiórkowski, M.: Bogoliubov correction to the mean-field dynamics of interacting bosons. Adv. Theor. Math. Phys. 21(3), 683–738 (2017)
Nam, P.T., Napiórkowski, M.: Norm approximation for many-body quantum dynamics: focusing case in low dimensions. Adv. Math. 350, 547–587 (2019)
Nam, P.T., Napiórkowski, M.: A note on the validity of Bogoliubov correction to mean-field dynamics. J. Math. Pures Appl. 108(5), 662–688 (2017)
Paul, T., Pulvirenti, M.: Asymptotic expansion of the mean-field approximation. Discret. Contin. Dyn. Syst. A 39(4), 1891–1921 (2019)
Paul, T., Pulvirenti, M., Simonella, S.: On the size of chaos in the mean field dynamics. Arch. Ration. Mech. Anal. 231(1), 285–317 (2019)
Petrat, S., Pickl, P., Soffer, A.: Derivation of the Bogoliubov time evolution for gases with finite speed of sound. Ann. Henri Poincaré (to appear)
Pickl, P.: A simple derivation of mean field limits for quantum systems. Lett. Math. Phys. 97(2), 151–164 (2011)
Pickl, P.: Derivation of the time dependent Gross-Pitaevskii equation with external fields. Rev. Math. Phys. 27(01), 1550003 (2015)
Rodnianski, I., Schlein, B.: Quantum fluctuations and rate of convergence towards mean field dynamics. Commun. Math. Phys. 291(1), 31–61 (2009)
Seiringer, R.: The excitation spectrum for weakly interacting bosons. Commun. Math. Phys. 306(2), 565–578 (2011)
Sohinger, V.: A rigorous derivation of the defocusing cubic nonlinear Schrödinger equation on \(\mathbb{T} ^3\) from the dynamics of many-body quantum systems. Ann. Inst. H. Poincaré Anal. Non Linéaire 32(6), 1337–1365 (2015)
Spohn, H.: Kinetic equations from Hamiltonian dynamics: Markovian limits. Rev. Mod. Phys. 52(3), 569–615 (1980)
Acknowledgements
Open access funding provided by Institute of Science and Technology (IST Austria). L.B. gratefully acknowledges the support by the German Research Foundation (DFG) within the Research Training Group 1838 “Spectral Theory and Dynamics of Quantum Systems”, and wishes to thank Stefan Teufel, Sören Petrat and Marcello Porta for helpful discussions. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 754411. N.P. gratefully acknowledges support from NSF grant DMS-1516228 and DMS-1840314. P.P.’s research was funded by DFG Grant no. PI 1114/3-1. Part of this work was done when N.P. and P.P. were visiting CCNU, Wuhan. N.P. and P.P. thank A.S. for his hospitality at CCNU.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Alessandro Giuliani.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Boßmann, L., Pavlović, N., Pickl, P. et al. Higher Order Corrections to the Mean-Field Description of the Dynamics of Interacting Bosons. J Stat Phys 178, 1362–1396 (2020). https://doi.org/10.1007/s10955-020-02500-8
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10955-020-02500-8