Derivation of the Landau–Pekar Equations in a Many-Body Mean-Field Limit

Abstract

We consider the Fröhlich Hamiltonian in a mean-field limit where many bosonic particles weakly couple to the quantized phonon field. For large particle numbers and a suitably small coupling, we show that the dynamics of the system is approximately described by the Landau–Pekar equations. These describe a Bose–Einstein condensate interacting with a classical polarization field, whose dynamics is effected by the condensate, i.e., the back-reaction of the phonons that are created by the particles during the time evolution is of leading order.

Introduction

We consider the dynamics of N bosonic particles interacting with a quantized phonon field described by the Fröhlich model in a mean field regime. The underlying Hilbert space is

$$\begin{array}{c}\hfill {\mathcal{H}}^{(N)}=L_s^2\left({\mathbb{R}}^{3N}\right)\otimes {\mathcal{F}}_s,\end{array}$$ 1.1

where the N particles are described by states in $L_s^2({\mathbb{R}}^{3N})$, the subspace of all complex-valued square integrable N-particle wave functions that are symmetric under the exchange of any pair of the coordinates $(x_1,...,x_N)$, and where the phonon field is represented by elements in the bosonic Fock space ${\mathcal{F}}_s={⨁}_{n\geqq 0}{L}_s^2({\mathbb{R}}^{3n}).$ The time evolution of the system is governed by the Schrödinger equation

$$\begin{array}{c}\hfill i{\partial }_t{\mathrm{\Psi }}_{N,t}=H_{N,\alpha }^{\mathrm{F}}{\mathrm{\Psi }}_{N,t},\end{array}$$ 1.2

with the Fröhlich Hamiltonian

$$\begin{array}{cc}\hfill H_{N,\alpha }^{\mathrm{F}}& =\sum _{j=1}^N\left[-,{\mathrm{\Delta }}_j,+,\sqrt{\frac{\alpha }{N}},\int ,d^3,k,,{\left|k\right|}^{-1},\left(e^{ik{x}_j},a_k,+,e^{-ik{x}_j},a_k^{\ast }\right)\right]+\mathcal{N}.\hfill \end{array}$$ 1.3

Here, ${\mathrm{\Delta }}_j$ is the Laplacian acting on the jth particle with coordinate $x_j$, $a_k$ and $a_k^{\ast }$ denote the usual bosonic annihilation and creation operators satisfying the canonical commutation relations

$$\begin{array}{cc}\hfill [a_k,a_l^{\ast }]& =\delta (k-l),[a_k,a_l]=[a_k^{\ast },a_l^{\ast }]=0,\hfill \end{array}$$ 1.4

and $\mathcal{N}$ is the number operator defined by $\mathcal{N}=\int d^{3}k{a}_k^{\ast }{a}_k$. The coupling parameter $\sqrt{\alpha /N}$ is introduced to scale the strength of the interaction between the particles and the phonon field. If the number of phonons is of order N and $\alpha >0$ is fixed, the factor $N^{-1/2}$ and the fact that the creation and annihilation operators scale like $\sqrt{N}$ (they are bounded by ${\left(\mathcal{N},+,1\right)}^{1/2}$, see (3.3)) ensure that the kinetic and potential energy are of the same order for large N.

We note that the expression (1.3) is somewhat formal, since the form factor ${|k|}^{-1}$ in the interaction term is not square integrable. By a well-known argument going back to Lieb and Yamazaki [26] (cf. Lemma A.1), the right side of (1.3) defines a closed bounded from below quadratic form with domain given by the form domain of $H_{N,0}^{\mathrm{F}}$. The self-adjoint operator that corresponds to this form is called Fröhlich Hamiltonian and denoted by $H_{N,\alpha }^{\mathrm{F}}$. We refer to [16] for a detailed description of its domain $\mathcal{D}(H_{N,\alpha }^{\mathrm{F}})$ (see also Lemma 3.1).

If the number N of particles is large, we show for a particular class of initial states that the solution of the many-body Schrödinger equation (1.2) can be approximated by Pekar product states, i.e., states of the form

$$\begin{array}{c}\hfill {\mathrm{\Psi }}_{N,t}={\psi }_t^{\otimes N}\otimes W(\sqrt{N}{\phi }_t)\mathrm{\Omega },\end{array}$$ 1.5

where $\mathrm{\Omega }$ is the vacuum state in ${\mathcal{F}}_s$, W denotes the Weyl operator and $({\psi }_t,{\phi }_t)\in L^2({\mathbb{R}}^3)\times L^2({\mathbb{R}}^3)$ solve the time-dependent Landau–Pekar equations

$$\begin{array}{c}\hfill \left\{\begin{array}{cc}i{\partial }_t{\psi }_t(x)\hfill & =\left[-,{\mathrm{\Delta }}_x,+,\sqrt{\alpha },\mathrm{\Phi },(x,t)\right]{\psi }_t(x),\hfill \\ i{\partial }_t{\phi }_t(k)\hfill & ={\phi }_t(k)+\sqrt{\alpha }{\left|k\right|}^{-1}\int d^{3}x{e}^{-ikx}{\left|{\psi }_t,(x)\right|}^2\hfill \end{array}\right),\end{array}$$ 1.6

where

$$\begin{array}{cc}\hfill \mathrm{\Phi }(x,t)& =\int d^{3}k{\left|k\right|}^{-1}\left(e^{\mathit{ikx}},{\phi }_t,(k),+,e^{-ikx},\overline{{\phi }_t(k)}\right).\hfill \end{array}$$ 1.7

The Weyl operator is defined for any $f\in L^2({\mathbb{R}}^3)$ by

$$\begin{array}{c}\hfill W(f)=exp\left(\int ,d^3,k,,(,f,(k),a_k^{\ast },,-,,\overline{f(k)},a_k,)\right).\end{array}$$ 1.8

In the Pekar product state (1.5), the phonons are in the coherent state $W(\sqrt{N}{\phi }_t)\mathrm{\Omega }$ with average number of excitations of order N, and the bosonic particles form a pure Bose–Einstein condensate with condensate wave function ${\psi }_t$. According to the Landau–Pekar equations, the one-particle condensate wave function ${\psi }_t$ evolves in the potential $\sqrt{\alpha }\mathrm{\Phi }(x,t)$ created by the phonons, while the phonon field couples to the particles via the source term involving the density ${\left|{\psi }_t,(x)\right|}^2$.

Our main result can be summarized as follows: given an initial wave function ${\mathrm{\Psi }}_{N,0}$ that is close to a Pekar product state ${\psi }_0^{\otimes N}\otimes W(\sqrt{N}{\phi }_0)\mathrm{\Omega }$ (close in an appropriate sense that will be specified in the next section), then the time evolved state $e^{-i{H}_{N,\alpha }^{\mathrm{F}}t}{\mathrm{\Psi }}_{N,0}$ remains close to the time evolved Pekar state (1.5) when $N\gg 1$.

The Landau–Pekar equations were originally introduced in [21] to approximate the time evolution of a single polaron in the strong coupling limit. In our notation, the strong coupling regime corresponds to the Hamiltonian $H_{1,\alpha }^{\mathrm{F}}$ with $\alpha \gg 1$. Partial results concerning a rigorous derivation of the Landau–Pekar equations in the strong coupling limit were obtained in [8, 10, 15, 25] (for a detailed comparison between the different results we refer to [25, Chapter 2]). In these works, the Landau–Pekar equations are justified for short times, namely at most for times of order ${\alpha }^{-\epsilon }$ with $\epsilon >0$ arbitrary small.1 A derivation for times of order one, the time scale in the strong coupling limit at which the back-reaction of the phonons that are created during the time evolution is of leading order, remains an open problem. The emergence of classical radiation in the strong coupling limit is expected to rely on the adiabatic decoupling between the relatively fast moving (with respect to $\alpha$) electron and the radiation field. For results on adiabatic theorems of the Landau–Pekar equations in one and three dimensions we refer to [9, 25].

In the many-particle mean-field limit considered in this work, the creation of coherent radiation happens for a different reason than in the strong coupling regime, namely because there are many particles in the same quantum state that simultaneously create the phonons. In this regard, the present work is related to [1, 7, 22–24], where many-body mean-field limits of the renormalized Nelson model, the Nelson model with ultraviolet cutoff and the (bosonic) Pauli–Fierz model are considered. In particular, we mention [1] where the Schrödinger–Klein–Gordon equations were derived by the Wigner measure approach as a limit of the renormalized Nelson model.

In [4, 5, 12], effective equations for the Nelson, Pauli–Fierz and Fröhlich model were derived in a partially classical limit. There, the number of particles is kept fixed while the number of excitations of the quantum field tends to infinity and the coupling constant approaches zero in a suitable sense. The effect of the excitations that are created during time evolution is negligible in this limit and the quantum field can thus be approximated by a classical field that evolves freely or remains constant in time.

To the best of our knowledge, the present work provides the first derivation of the Landau–Pekar equations in a limit in which the back-reaction of the phonons that are created during time evolution is of leading order. Moreover, our results include explicit error estimates.

In order to derive our results, we follow [24], which combines the methods from [29, 31]. The new technical challenge in comparison with [24] is to show that the high momentum phonons do not obstruct the expected mean-field behavior. This requires several nontrivial modifications. First, it is crucial to introduce a measure for the excitations around the condensate resp. around the coherent state that involves the canonical transformation due to Gross and Nelson (see (2.12)). In particular, we use the representation of the Fröhlich Hamiltonian in [16]. The most difficult part is to control the interaction between the ultraviolet modes of the phonon field and the fraction of particles not in the condensate. To this end, we restrict our consideration to a subclass of the initial states which have small fluctuations in the energy per particle observable and combine estimates similar to [23, Sect. VIII.1] with an operator bound that is motivated by [10, Lemma 10]. The idea of using this restriction in order to treat the singular interaction between quantum fields and particles in the mean field regime was already used in [23].

The article is organized as follows: in the next section, we state our main results. In Theorem 2.1, we consider initial states in the domain of the Fröhlich Hamiltonian, while Theorem 2.2 is about initial states in the domain of the noninteracting model (including, in particular, product states). In Section 3, we introduce useful notation and discuss the representation of the Fröhlich Hamiltonian via the Gross transformation. The key steps of the proof of our main result are summarized in Section 4 in terms of several lemmas. The proofs of these are given in Sections 5–7.

Main Results

For notational convenience, we set the coupling constant $\alpha =1$ from now on and denote $H_N^{\mathrm{F}}=H_{N,1}^{\mathrm{F}}$. All statements and proofs that follow are, however, equally true for any $\alpha >0$ independent of N.

In order to state our main results we define for ${\mathrm{\Psi }}_N\in {\mathcal{H}}^{(N)}$ the one-particle reduced density matrix

$$\begin{array}{c}\hfill {\gamma }_{{\mathrm{\Psi }}_N}^{(1,0)}={\text{Tr}}_{2,\dots ,N}\otimes {\text{Tr}}_{{\mathcal{F}}_s}|{\mathrm{\Psi }}_N⟩⟨{\mathrm{\Psi }}_N|\end{array}$$ 2.1

on the Hilbert space $L^2({\mathbb{R}}^3)$. Here, ${\text{Tr}}_{2,\dots ,N}$ denotes the partial trace over the coordinates $x_2,\dots ,x_N$ and ${\text{Tr}}_{{\mathcal{F}}_s}$ the trace over Fock space. The particles of a many-body state ${\mathrm{\Psi }}_N$ are said to exhibit complete Bose–Einstein condensation if there exists $\psi \in L^2({\mathbb{R}}^3)$ with ${∥\psi ∥}_{L^2({\mathbb{R}}^3)}=1$ such that

$$\begin{array}{c}\hfill {\text{Tr}}_{L^2({\mathbb{R}}^3)}\left|{\gamma }_{{\mathrm{\Psi }}_N}^{(1,0)},-,|\psi ⟩⟨\psi |\right|\to 0\end{array}$$ 2.2

as $N\to \infty$. In this case $\psi$ is called the condensate wave function. Moreover, we define (for $\left(\psi ,,,\phi \right)\in L^2({\mathbb{R}}^3)\times L^2({\mathbb{R}}^3)$ and ${\mathrm{\Psi }}_N\in \mathcal{D}\left(H_N^{\mathrm{F}}\right)$)

$$\begin{array}{cc}\hfill a({\mathrm{\Psi }}_N,\psi )& ={\text{Tr}}_{L^2({\mathbb{R}}^3)}\left|{\gamma }_{{\mathrm{\Psi }}_N}^{(1,0)},-,|\psi ⟩⟨\psi |\right|,\hfill \end{array}$$ 2.3

$$\begin{array}{cc}\hfill b({\mathrm{\Psi }}_N,\phi )& =N^{-1}\langle W^{\ast }(\sqrt{N}\phi ){\mathrm{\Psi }}_N,\mathcal{N}{W}^{\ast }(\sqrt{N}\phi ){\mathrm{\Psi }}_N\rangle ,\hfill \end{array}$$ 2.4

$$\begin{array}{cc}\hfill c({\mathrm{\Psi }}_N)& ={∥N^{-1},\left(H_N^{\mathrm{F}},-,\langle ,{\mathrm{\Psi }}_N,,,H_N^{\mathrm{F}},{\mathrm{\Psi }}_N,\rangle \right),{\mathrm{\Psi }}_N∥}^2.\hfill \end{array}$$ 2.5

For $m\in \mathbb{N}$, let $H^m({\mathbb{R}}^3)$ denote the Sobolev space of order m and $L_m^2({\mathbb{R}}^3)$ a weighted $L^2$-space with norm ${\Vert \phi \Vert }_{L_m^2({\mathbb{R}}^3)}={\Vert {(1+{\left|,·,\right|}^2)}^{m/2}\phi \Vert }_{L^2({\mathbb{R}}^3)}$. We will use the following result which was proven in [8]:

Proposition 2.1

(Lemma C.2 in [8]) The Landau–Pekar equations (1.6) are globally well-posed in $H^2({\mathbb{R}}^3)\times L_1^2({\mathbb{R}}^3)$. For all $t\in \mathbb{R}$ we have

$$\begin{array}{cc}\hfill {∥{\psi }_t∥}_{H^2({\mathbb{R}}^3)}& \leqq C\left(1,+,\left|t\right|\right)\text{and}{∥{\phi }_t∥}_{L_1^2({\mathbb{R}}^3)}\leqq C\left(1,+,\left|t\right|\right),\hfill \end{array}$$ 2.6

where C is a constant depending only on the initial data.

We are now ready to state our main theorem.

Theorem 2.1

Let $(\psi ,\phi )\in H^2({\mathbb{R}}^3)\times L_1^2({\mathbb{R}}^3)$ s.t. ${∥\psi ∥}_{L^2({\mathbb{R}}^3)}=1$, and ${\mathrm{\Psi }}_N\in \mathcal{D}(H_N^{\mathrm{F}})$ s.t. $∥{\mathrm{\Psi }}_N∥=1$ and $E_0={sup}_{N\in \mathbb{N}}|N^{-1}\langle {\mathrm{\Psi }}_N,H_N^{\mathrm{F}}{\mathrm{\Psi }}_N\rangle |<\infty$. Let $({\psi }_t,{\phi }_t)$ be the unique solution of (1.6) with initial datum $(\psi ,\phi )$ and ${\mathrm{\Psi }}_{N,t}=e^{-i{H}_N^{\mathrm{F}}t}{\mathrm{\Psi }}_N$. Then, there exists a constant $C>0$ (depending only on ${∥\phi ∥}_{L_1^2({\mathbb{R}}^3)}$, ${∥\psi ∥}_{H^2({\mathbb{R}}^3)}$ and $E_0$) such that

$$\begin{array}{cc}\hfill {\text{Tr}}_{L^2({\mathbb{R}}^3)}\left|{\gamma }_{{\mathrm{\Psi }}_{N,t}}^{(1,0)},-|,{\psi }_t,⟩⟨,{\psi }_t,|\right|& \leqq \sqrt{a({\mathrm{\Psi }}_N,\psi )+b({\mathrm{\Psi }}_N,\phi )+c({\mathrm{\Psi }}_N)+N^{-1/2}}{e}^{C{(1+\left|t\right|)}^3},\hfill \end{array}$$ 2.7

$$\begin{array}{cc}\hfill N^{-1}\langle W^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t},& \mathcal{N}{W}^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t}\rangle \hfill \\ \hfill & \leqq \left(a,({\mathrm{\Psi }}_N,\psi ),+,b,({\mathrm{\Psi }}_N,\phi ),+,c,({\mathrm{\Psi }}_N),+,N^{-1/2}\right)e^{C{(1+\left|t\right|)}^3}.\hfill \end{array}$$ 2.8

The proof is given in Section 4.

Remark 2.1

If one considers initial many-body states in which the particles are in a Bose–Einstein condensate, the phonons are in a coherent states and the energy has small fluctuations around its mean value, i.e.

$$\begin{array}{c}\hfill \underset{N\to \infty }{lim}\left(a,({\mathrm{\Psi }}_N,\psi ),+,b,({\mathrm{\Psi }}_N,\phi ),+,c,({\mathrm{\Psi }}_N)\right)=0,\end{array}$$ 2.9

it follows from Theorem 2.1 that

$$\begin{array}{cc}\hfill \underset{N\to \infty }{lim}{\text{Tr}}_{L^2({\mathbb{R}}^3)}\left|{\gamma }_{{\mathrm{\Psi }}_{N,t}}^{(1,0)},-|,{\psi }_t,⟩⟨,{\psi }_t,|\right|& =0\text{and}\hfill \\ \hfill \underset{N\to \infty }{lim}{N}^{-1}\langle W^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t},\mathcal{N}{W}^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t}\rangle & =0.\hfill \end{array}$$ 2.10

Our result consequently shows the stability of the condensate and the coherent state during the time evolution.

Remark 2.2

The condition $c({\mathrm{\Psi }}_N)\to 0$ as $N\to \infty$ restricts the initial data to many-body states ${\mathrm{\Psi }}_N$ whose energy per particle has small fluctuations around its mean value. In our proof, this is important to obtain sufficient control on the singular ultraviolet behavior of the interaction term in $H_N^{\mathrm{F}}$. We give a detailed explanation of this point in Section 5. In the presence of an ultraviolet cutoff in the Fröhlich Hamiltonian, the estimates (2.7) and (2.8) hold without the appearance of $c({\mathrm{\Psi }}_N)$ on the right hand side, but with a cutoff dependent constant C. In this simpler case, the statement could be proven in close analogy to [7, 24] where the Nelson model was considered with ultraviolet cutoff.

Next, we give examples of initial states that satisfy (2.9). The quantities $a({\mathrm{\Psi }}_N,\psi )$ and $b({\mathrm{\Psi }}_N,\phi )$ are identically zero for Pekar product states ${\mathrm{\Psi }}_N={\psi }^{\otimes N}\otimes W(\sqrt{N}\phi )\mathrm{\Omega }$ with $(\psi ,\phi )\in H^2({\mathbb{R}}^3)\times L_1^2({\mathbb{R}}^3)$. However, such Pekar states are in the domain $\mathcal{D}(H_N^0)=(H_s^2({\mathbb{R}}^{3N})\otimes {\mathcal{F}}_s)\cap \mathcal{D}(\mathcal{N})$ of the free Hamiltonian

$$\begin{array}{c}\hfill H_N^0=-\sum _{j=1}^N{\mathrm{\Delta }}_j+\mathcal{N},\end{array}$$ 2.11

and thus, as shown in [16], can not be elements of $\mathcal{D}(H_N^{\mathrm{F}})$. As a consequence, $c({\mathrm{\Psi }}_N)$ would be infinite in this case. To specify states that satisfy (2.9), we introduce the Gross transform

$$\begin{array}{c}\hfill U_K=exp[N^{-1/2}\sum _{j=1}^N\int d^{3}k\left(\overline{B_{K,x_j}(k)},a_k,-,B_{K,x_j},(k),a_k^{\ast }\right)],\end{array}$$ 2.12

where

$$\begin{array}{cc}\hfill B_{K,x}(k)& =\frac{-1}{\left|k\right|(1+k^2)}{e}^{-ikx}{\mathbb{1}}_{\left|k\right|\geqq K}(k)\hfill \end{array}$$ 2.13

for $0<K<\infty$. The Gross transform, which goes back to Gross and Nelson [17, 28], relates the domains of $H_N^0$ and $H_N^{\mathrm{F}}$ to each other.2 In Lemma 3.1 we show that there is a $\tilde{K}>0$ such that for all $K\geqq \tilde{K}$ and all $N\geqq 1$, the domains satisfy

$$\begin{array}{cc}\hfill \mathcal{D}\left(H_N^{\mathrm{F}}\right)& =U_K^{\ast }\mathcal{D}\left(H_N^0\right).\hfill \end{array}$$ 2.14

If we choose K as an N-dependent sufficiently rapidly growing sequence ${(K_N)}_{N\geqq 1}$, then the Gross transform $U_{K_N}$ has negligible effect on the condensate and the coherent state structure. This is summarized in the next proposition.

Proposition 2.2

Assume $K\geqq c$ for some $c>0$ and consider the state ${\mathrm{\Psi }}_N=U_K^{\ast }({\psi }^{\otimes N}\otimes W(\sqrt{N}\phi )\mathrm{\Omega })$ with $(\psi ,\phi )\in H^2({\mathbb{R}}^3)\times L_1^2({\mathbb{R}}^3)$ and ${∥\psi ∥}_{L^2({\mathbb{R}}^3)}=1$. Then there exists a $C>0$ such that ${sup}_{N\in \mathbb{N}}|N^{-1}\langle {\mathrm{\Psi }}_N,H_N^{\mathrm{F}}{\mathrm{\Psi }}_N\rangle |\leqq C$ and

$$\begin{array}{cc}\hfill a({\mathrm{\Psi }}_N,\psi )& \leqq \frac{C}{K^{3/2}},b({\mathrm{\Psi }}_N,\phi )\leqq \frac{C}{K^3},c({\mathrm{\Psi }}_N)\leqq C(K^{-1}+N^{-1}+\frac{K}{N^2})\hfill \end{array}$$ 2.15

with $a({\mathrm{\Psi }}_N,\psi )$, $b({\mathrm{\Psi }}_N,\phi )$ and $c({\mathrm{\Psi }}_N)$ defined as in Theorem 2.1.

We prove this proposition in Section 7.2. As an immediate consequence of Proposition 2.2 (with $K=cN$) and Theorem 2.1 one finds

$$\begin{array}{c}\hfill {\text{Tr}}_{L^2({\mathbb{R}}^3)}\left|{\gamma }_{{\mathrm{\Psi }}_{N,t}}^{(1,0)},-|,{\psi }_t,⟩⟨,{\psi }_t,|\right|\leqq N^{-1/4}{e}^{C{(1+\left|t\right|)}^3}\end{array}$$ 2.16

and

$$\begin{array}{c}\hfill \frac{1}{N}\langle W^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t},\mathcal{N}{W}^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t}\rangle \leqq N^{-1/2}{e}^{C{(1+\left|t\right|)}^3}\end{array}$$ 2.17

for initial states of the form ${\mathrm{\Psi }}_N=U_{\mathit{cN}}^{\ast }({\psi }^{\otimes N}\otimes W(\sqrt{N}\phi )\mathrm{\Omega })$.

Since the quantities $b({\mathrm{\Psi }}_N,\phi )$ and $c({\mathrm{\Psi }}_N)$ appearing on the right side of (2.7) and (2.8) are expectation values of unbounded operators, it is not possible to generalize Theorem 2.1 to initial states ${\mathrm{\Psi }}_N\notin \mathcal{D}(H_N^{\mathrm{F}})$ via a simple density argument. Using the Gross transform, however, it is possible to obtain a similar result for initial states in a subset of $\mathcal{D}(H_N^0)$. This follows from Theorem 2.1 in combination with (2.14) and the fact that $U_K$ converges strongly to the identity operator for $K\to \infty$. The precise statement is as follows:

Theorem 2.2

Let $K_N\geqq c{N}^{5/6}$ for some $c>0$. Let $(\psi ,\phi )\in H^2({\mathbb{R}}^3)\times L_1^2({\mathbb{R}}^3)$ with ${∥\psi ∥}_{L^2({\mathbb{R}}^3)}=1$, and ${\mathrm{\Psi }}_N\in \mathcal{D}(H_N^0)$ such that $∥{\mathrm{\Psi }}_N∥=1$ and

$$\begin{array}{c}\hfill E_0=\underset{N\in \mathbb{N}}{sup}|N^{-1}\langle {\mathrm{\Psi }}_N,U_{K_N}{H}_N^{\mathrm{F}}{U}_{K_N}^{\ast }{\mathrm{\Psi }}_N\rangle |<\infty .\end{array}$$ 2.18

Let $({\psi }_t,{\phi }_t)$ be the unique solution of (1.6) with initial datum $(\psi ,\phi )$ and ${\mathrm{\Psi }}_{N,t}=e^{-i{H}_N^{\mathrm{F}}t}{\mathrm{\Psi }}_N$. Then, there exists a constant $C>0$ (depending only on c, ${∥\phi ∥}_{L_1^2({\mathbb{R}}^3)}$, ${∥\psi ∥}_{H^2({\mathbb{R}}^3)}$ and $E_0$) such that

$$\begin{array}{cc}& {\text{Tr}}_{L^2({\mathbb{R}}^3)}\left|{\gamma }_{{\mathrm{\Psi }}_{N,t}}^{(1,0)},-|,{\psi }_t,⟩⟨,{\psi }_t,|\right|\leqq \sqrt{a({\mathrm{\Psi }}_N,\psi )+b({\mathrm{\Psi }}_N,\phi )+c(U_{K_N}^{\ast }{\mathrm{\Psi }}_N)+N^{-1/2}}{e}^{C{(1+\left|t\right|)}^3},\hfill \end{array}$$ 2.19

$$\begin{array}{cc}& \langle W^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t},\sqrt{\frac{\mathcal{N}}{N}}{W}^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t}\rangle \hfill \\ \hfill & \leqq \sqrt{a({\mathrm{\Psi }}_N,\psi )+b({\mathrm{\Psi }}_N,\phi )+c(U_{K_N}^{\ast }{\mathrm{\Psi }}_N)+N^{-1/2}}{e}^{C{(1+\left|t\right|)}^3}.\hfill \end{array}$$ 2.20

In particular, for the Pekar initial state ${\mathrm{\Psi }}_N={\psi }^{\otimes N}\otimes W(\sqrt{N}\phi )\mathrm{\Omega }$ we have the bounds

$$\begin{array}{cc}& {\text{Tr}}_{L^2({\mathbb{R}}^3)}\left|{\gamma }_{{\mathrm{\Psi }}_{N,t}}^{(1,0)},-|,{\psi }_t,⟩⟨,{\psi }_t,|\right|\leqq N^{-1/4}{e}^{C{(1+\left|t\right|)}^3},\hfill \end{array}$$ 2.21

$$\begin{array}{cc}& \langle W^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t},\sqrt{\frac{\mathcal{N}}{N}}{W}^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t}\rangle \leqq N^{-1/4}{e}^{C{(1+\left|t\right|)}^3}.\hfill \end{array}$$ 2.22

The proof is given in Section 7.3.

Remark 2.3

The restriction $K_N\geqq c{N}^{5/6}$ was chosen in order to minimize the error terms in (2.19) and (2.20).

Remark 2.4

Note that in (2.20) we only control the time evolution of $\sqrt{N^{-1}\mathcal{N}}$, while in (2.8) we estimate the operator $N^{-1}\mathcal{N}$.

Preliminaries

Notation and Basic Estimates

We introduce the usual bosonic creation and annihilation operators

$$\begin{array}{cc}\hfill a(f)& =\int d^{3}k\overline{f(k)}{a}_k,a^{\ast }(f)=\int d^{3}kf(k)a_k^{\ast },f\in L^2({\mathbb{R}}^3),\hfill \end{array}$$ 3.1

as well as the field operators

$$\begin{array}{cc}\hfill \mathrm{\Phi }(f)& =a(f)+a^{\ast }(f),\mathrm{\Pi }(f)=\mathrm{\Phi }(if)=i(-a(f)+a^{\ast }(f)).\hfill \end{array}$$ 3.2

They satisfy the bounds

$$\begin{array}{cc}\hfill ∥a,(f),{\mathrm{\Psi }}_N∥& \leqq {∥f∥}_{L^2({\mathbb{R}}^3)}∥{\mathcal{N}}^{1/2},{\mathrm{\Psi }}_N∥,∥a^{\ast },(f),{\mathrm{\Psi }}_N∥\leqq {∥f∥}_{L^2({\mathbb{R}}^3)}∥{\left(\mathcal{N},+,1\right)}^{1/2},{\mathrm{\Psi }}_N∥,\hfill \end{array}$$ 3.3

and

$$\begin{array}{cc}\hfill ∥\mathrm{\Phi },(f),{\mathrm{\Psi }}_N∥& \leqq 2{∥f∥}_{L^2({\mathbb{R}}^3)}∥{\left(\mathcal{N},+,1\right)}^{1/2},{\mathrm{\Psi }}_N∥,\hfill \\ \hfill ∥\mathrm{\Pi },(f),{\mathrm{\Psi }}_N∥& \leqq 2{∥f∥}_{L^2({\mathbb{R}}^3)}∥{\left(\mathcal{N},+,1\right)}^{1/2},{\mathrm{\Psi }}_N∥\hfill \end{array}$$ 3.4

for any ${\mathrm{\Psi }}_N\in {\mathcal{H}}^{(N)}$. For $K>0$, we define the classical fields

$$\begin{array}{cc}\hfill {\mathrm{\Phi }}_K(x,t)& ={\int }_{\left|k\right|\leqq K}{d}^{3}k{\left|k\right|}^{-1}\left(e^{\mathit{ikx}},{\phi }_t,(k),+,e^{-ikx},\overline{{\phi }_t(k)}\right),\hfill \\ \hfill {\mathrm{\Phi }}_{\geqq K}(x,t)& ={\int }_{\left|k\right|\geqq K}{d}^{3}k{\left|k\right|}^{-1}\left(e^{\mathit{ikx}},{\phi }_t,(k),+,e^{-ikx},\overline{{\phi }_t(k)}\right).\hfill \end{array}$$ 3.5

Moreover, it is useful to define the functions

$$\begin{array}{cc}\hfill G_x(k)& =e^{-ikx}{\left|k\right|}^{-1},G_{K,x}(k)=e^{-ikx}{\left|k\right|}^{-1}{\mathbb{1}}_{\left|k\right|\leqq K}(k),\hfill \end{array}$$ 3.6

and $B_{K,x}(k)=\frac{-1}{\left|k\right|(1+k^2)}{e}^{-ikx}{\mathbb{1}}_{\left|k\right|\geqq K}(k)$ as in (2.13). The bounds

$$\begin{array}{cc}\hfill {∥G_{K,x}∥}_{L^2({\mathbb{R}}^3)}^2& =4\pi K,{∥B_{K,x}∥}_{L^2({\mathbb{R}}^3)}^2\leqq 4\pi K^{-3},{∥\left|·\right|,B_{K,x}∥}_{L^2({\mathbb{R}}^3)}^2\leqq 4\pi K^{-1}\hfill \end{array}$$ 3.7

are straightforward to verify and will be frequently used in the rest of the article. We also have

$$\begin{array}{cc}\hfill \left|{\mathrm{\Phi }}_K,(x,t)\right|\leqq \sqrt{32\pi }{∥{\phi }_t∥}_{L_1^2({\mathbb{R}}^3)},∥\mathrm{\Phi },(G_{K,x_j}),{\mathrm{\Psi }}_N∥& \leqq \sqrt{16\pi K}∥{\left(\mathcal{N},+,1\right)}^{1/2},{\mathrm{\Psi }}_N∥\hfill \end{array}$$ 3.8

for $j\in \{1,...,N\}$.

Notation: The functions $k\mapsto k{G}_{K,x}(k)$ and $k\mapsto k{B}_{K,x}(k)$ will frequently be denoted by $k{G}_{K,x}$ and $k{B}_{K,x}$, respectively. Depending on the context $∥·∥$ and $\langle ·,·\rangle$ will refer to the norm and scalar product either of ${\mathcal{H}}^{(N)}$ or $L^2({\mathbb{R}}^3)$. If the spaces $L_m^2({\mathbb{R}}^3)$ and $H^m({\mathbb{R}}^3)$ (with $m\in \mathbb{N}$) appear as subscripts we will abbreviate them by $L_m^2$ and $H^m$.

Weyl Operators and Gross Transform

The Weyl operator W(f) defined in (1.8) is unitary, i.e., $W^{\ast }(f)=W^{-1}(f)$, and satisfies the relations

$$\begin{array}{c}\hfill W^{-1}(f)=W(-f),W(f)W(g)=W(g)W(f)e^{-2i\mathrm{Im}⟨f,g⟩}=W(f+g)e^{-i\mathrm{Im}⟨f,g⟩}\end{array}$$ 3.9

as well as the shift property

$$\begin{array}{c}\hfill W^{\ast }(f)a_{k}W(f)=a_k+f(k).\end{array}$$ 3.10

This immediately implies that the Gross transform, as defined in (2.12), is unitary. Moreover, it has the properties

$$\begin{array}{cc}\hfill U_K& =W(-N^{-1/2}\sum _{j=1}^N{B}_{K,x_j})=\prod _{j=1}^{N}W(-N^{-1/2}{B}_{K,x_j})\hfill \end{array}$$ 3.11

(which holds since $\mathrm{Im}\langle B_{K,x},B_{K,y}\rangle =0$ for all $x,y\in {\mathbb{R}}^3$) and

$$\begin{array}{cc}\hfill U_K{a}_k{U}_K^{\ast }& =a_k+N^{-1/2}\sum _{j=1}^N{B}_{K,x_j}(k).\hfill \end{array}$$ 3.12

The Fröhlich Hamiltonian

In [16], Griesemer and Wünsch give an explicit representation of $H_N^{\mathrm{F}}$ with the aid of the Gross transform when $N=1$. Below, we state the analogous representation for $N>1$, which will be useful for the proof of our main theorem. Considering $N>1$ does not impose additional difficulties compared to [16].

Definition 3.1

With $B_{K,x}$ and $G_{K,x}$ defined in (2.13) and (3.6), respectively, we set

$$\begin{array}{cc}\hfill A_{K,x}& =-2i{N}^{-1/2}({\mathrm{\nabla }}_x·a(k{B}_{K,x})+a^{\ast }(k{B}_{K,x})·{\mathrm{\nabla }}_x)+N^{-1}\mathrm{\Phi }(k{B}_{K,x}{)}^2,\hfill \end{array}$$ 3.13

$$\begin{array}{cc}\hfill V_K(x-y)& =N^{-1}(\langle B_{K,x},B_{K,y}\rangle +2\mathrm{Re}\langle G_x,B_{K,y}\rangle ),\hfill \end{array}$$ 3.14

$$\begin{array}{cc}\hfill H_{N,K}^{\mathrm{F}}& =\sum _{j=1}^N\left[-,{\mathrm{\Delta }}_j,+,N^{-1/2},\mathrm{\Phi },(G_{K,x_j})\right]+\mathcal{N},\hfill \end{array}$$ 3.15

and define the Gross transformed Fröhlich Hamiltonian as

$$\begin{array}{cc}\hfill H_{N,K}^{\mathrm{G}}& =H_{N,K}^{\mathrm{F}}+\sum _{j=1}^N{A}_{K,x_j}+\sum _{j,l=1}^N{V}_K(x_j-x_l).\hfill \end{array}$$ 3.16

Note that (3.7) immediately implies the bound

$$\begin{array}{c}\hfill |V_K(x_j-x_l)|\leqq C{K}^{-1}{N}^{-1}\end{array}$$ 3.17

for suitable $C>0$. The next result, which is the generalization of [16, Theorem 3.7] to $N\geqq 2$, justifies denoting $H_{N,K}^{\mathrm{G}}$ as Gross transformed Fröhlich Hamiltonian.

Lemma 3.1

The operator $H_{N,K}^{\mathrm{G}}$ is self-adjoint on $\mathcal{D}(H_N^0)$ for all $K>0$. Moreover, there exists a $\tilde{K}\geqq 0$ such that for all $K\geqq \tilde{K}$ and $N\in \mathbb{N}$, the self-adjoint operator $H_N^F$ associated to the quadratic form defined by (1.3) has the representation

$$\begin{array}{c}\hfill H_N^{\mathrm{F}}=U_K^{\ast }{H}_{N,K}^{\mathrm{G}}{U}_K,\mathcal{D}(H_N^{\mathrm{F}})=U_K^{\ast }\mathcal{D}(H_N^0).\end{array}$$ 3.18

We shall comment on the proof of this lemma in “Appendix A”.

For use below, we also note that there is $\tilde{K},C>0$, such that for all $K\geqq \tilde{K}$ and $N\geqq 1$,

$$\begin{array}{cc}\hfill \frac{1}{2}{H}_N^0-CN& \leqq H_N^{\mathrm{F}}\leqq \frac{3}{2}{H}_N^0+CN,\hfill \end{array}$$ 3.19

$$\begin{array}{cc}\hfill \frac{1}{2}{H}_N^0-CN& \leqq H_{N,K}^{\mathrm{G}}\leqq \frac{3}{2}{H}_N^0+CN\hfill \end{array}$$ 3.20

hold as inequalities on the Hilbert space $L^2({\mathbb{R}}^{3N})\otimes {\mathcal{F}}_s$ without symmetry constraints on the particles. This will be useful later in order to estimate expectation values with respect to wave functions that are not permutation symmetric in all particle coordinates, as e.g. in (5.8). The derivation of (3.19) and (3.20) is postponed to “Appendix A”.

Proof of the Main Theorem

We first state three preliminary lemmas from which the proof of Theorem 2.1 then follows easily. The proofs of the lemmas are postponed to later sections.

If we take the limit $K\to \infty$, the Gross transform has only negligible effect on the one-particle reduced density and the coherent structure of the phonon field. This is quantified in the following lemma, whose proof is given in Sec. 7.1:

Lemma 4.1

Assume $K\geqq \tilde{K}>0$ such that Lemma 3.1 holds. Let $\phi \in L^2({\mathbb{R}}^3)$, ${\mathrm{\Psi }}_N\in \mathcal{D}({(H_N^{\mathrm{F}})}^{1/2})$ with $∥{\mathrm{\Psi }}_N∥=1$, and the Gross transform $U_K$ defined as in (2.12). Then,

$$\begin{array}{cc}\hfill {\text{Tr}}_{L^2({\mathbb{R}}^3)}|{\gamma }_{{\mathrm{\Psi }}_N}^{(1,0)}-{\gamma }_{U_K{\mathrm{\Psi }}_N}^{(1,0)}|& \leqq \frac{C}{K^{3/2}}∥(,\frac{H_N^{\mathrm{F}}+CN}{N},{)}^{1/2},{\mathrm{\Psi }}_N∥\hfill \end{array}$$ 4.1

and

$$\begin{array}{cc}\hfill N^{-1}& \left|\langle ,W^{\ast },(\sqrt{N}\phi ),{\mathrm{\Psi }}_N,,,(,\mathcal{N},-,U_K^{\ast },\mathcal{N},U_K,),W^{\ast },(\sqrt{N}\phi ),{\mathrm{\Psi }}_N,\rangle \right|\hfill \\ \hfill & \le \frac{C(1+{∥\phi ∥}_2)}{K^{3/2}}∥(,\frac{H_N^{\mathrm{F}}+CN}{N},{)}^{1/2},{\mathrm{\Psi }}_N∥\hfill \end{array}$$ 4.2

for some $C>0$.

Next, we define a functional to compare $U_K{\mathrm{\Psi }}_{N,t}$ with the Pekar state ${\psi }_t^{\otimes N}\otimes W(\sqrt{N}{\phi }_t)\mathrm{\Omega }$. To this end, we introduce for $j\in \{1,...,N\}$ the projections $p_j^{\psi }:L^2({\mathbb{R}}^{3N})\to L^2({\mathbb{R}}^{3N})$ and $q_j^{\psi }:L^2({\mathbb{R}}^{3N})\to L^2({\mathbb{R}}^{3N})$, given by

$$\begin{array}{cc}\hfill p_j^{\psi }{f}_N(x_1,\dots ,x_N)& =\psi (x_j)\int d^3{x}_j^{\prime }\overline{\psi (x_j^{\prime })}{f}_N(x_1,\dots x_{j-1},x_j^{\prime },x_{j+1},\dots ,x_N)\hfill \end{array}$$ 4.3

for $f_N\in L^2({\mathbb{R}}^{3N})$, and $q_j^{\psi }=1-p_j^{\psi }$. (More compactly, in bracket notation, $p_j^{\psi }={|\psi ⟩⟨\psi |}_j$).

Definition 4.1

Let $K>0$ and $\left(\psi ,,,\phi \right)\in L^2({\mathbb{R}}^3)\times L^2({\mathbb{R}}^3)$ with $∥\psi ∥=1$ and ${\mathrm{\Psi }}_N\in \mathcal{D}\left(H_N^{\mathrm{F}}\right)$, $∥{\mathrm{\Psi }}_N∥=1$. We define ${\beta }_K^a:\mathcal{D}(H_N^{\mathrm{F}})\times L^2({\mathbb{R}}^3)\to {\mathbb{R}}_0^{+}$, ${\beta }_K^b:\mathcal{D}(H_N^{\mathrm{F}})\times L^2({\mathbb{R}}^3)\to {\mathbb{R}}_0^{+}$ and ${\beta }^c:\mathcal{D}(H_N^{\mathrm{F}})\to {\mathbb{R}}_0^{+}$ by

$$\begin{array}{cc}\hfill {\beta }_K^a\left({\mathrm{\Psi }}_N,,,\psi \right)& =\langle {\mathrm{\Psi }}_N,U_K^{\ast }\left(q_1^{\psi },\otimes ,{\mathbb{1}}_{{\mathcal{F}}_s}\right)U_K{\mathrm{\Psi }}_N\rangle ,\hfill \end{array}$$ 4.4

$$\begin{array}{cc}\hfill {\beta }_K^b\left({\mathrm{\Psi }}_N,,,\phi \right)& =N^{-1}\langle W^{\ast }(\sqrt{N}\phi )U_K{\mathrm{\Psi }}_N,\mathcal{N}{W}^{\ast }(\sqrt{N}\phi )U_K{\mathrm{\Psi }}_N\rangle \hfill \end{array}$$ 4.5

$$\begin{array}{cc}\hfill {\beta }^c({\mathrm{\Psi }}_N)& ={∥N^{-1},\left(H_N^{\mathrm{F}},-,\langle ,{\mathrm{\Psi }}_N,,,H_N^{\mathrm{F}},{\mathrm{\Psi }}_N,\rangle \right),{\mathrm{\Psi }}_N∥}^2.\hfill \end{array}$$ 4.6

Moreover, we define ${\beta }_K:\mathcal{D}\left(H_N^{\mathrm{F}}\right)\times L^2({\mathbb{R}}^3)\times L^2({\mathbb{R}}^3)\to {\mathbb{R}}_0^{+}$ by

$$\begin{array}{cc}\hfill {\beta }_K({\mathrm{\Psi }}_N,\psi ,\phi )& ={\beta }_K^a({\mathrm{\Psi }}_N,\psi )+{\beta }_K^b({\mathrm{\Psi }}_N,\phi )+{\beta }^c({\mathrm{\Psi }}_N).\hfill \end{array}$$ 4.7

For solutions ${\mathrm{\Psi }}_{N,t}$ and $({\psi }_t,{\phi }_t)$ of the Schrödinger equation (1.2) and the Landau–Pekar equations (1.6), respectively, we use the shorthand notations

$$\begin{array}{cc}\hfill {\beta }_K(t)& ={\beta }_K({\mathrm{\Psi }}_{N,t},{\psi }_t,{\phi }_t),{\beta }_K^a(t)={\beta }_K^a({\mathrm{\Psi }}_{N,t},{\psi }_t),\hfill \\ \hfill {\beta }_K^b(t)& ={\beta }_K^b({\mathrm{\Psi }}_{N,t},{\phi }_t),{\beta }^c(t)={\beta }^c({\mathrm{\Psi }}_{N,t}).\hfill \end{array}$$

Remark 4.1

Note that

$$\begin{array}{c}\hfill {\beta }_K^b\left({\mathrm{\Psi }}_N,,,\phi \right)=\int d^{3}k{∥\left(N^{-1/2},a_k,-,\phi ,(k)\right),U_K,{\mathrm{\Psi }}_N∥}^2.\end{array}$$ 4.8

Remark 4.2

${\beta }_K(t)$ being small compared to one ensures that

• the N-particle component of $U_K{\mathrm{\Psi }}_{N,t}$ is approximately given by the product ${\psi }_t^{\otimes N}$—more precisely, ${\beta }_K^a(t)$ measures the relative number of particles not in ${\psi }_t$,

• the phonon component of $U_K{\mathrm{\Psi }}_{N,t}$ is close to the coherent state $W(\sqrt{N}{\phi }_t)\mathrm{\Omega }$—more, precisely, ${\beta }_K^b(t)$ measures the relative number of excitations with respect to the coherent state $W(\sqrt{N}{\phi }_t)\mathrm{\Omega }$,

• the variance of $N^{-1}{H}_N^{\mathrm{F}}$ with respect to ${\mathrm{\Psi }}_{N,t}$ is small compared to one—this will be used to control the singular ultraviolet behavior of the phonon field (for a detailed explanation of this point, see the beginning of Section 5). Also note that ${\beta }^c({\mathrm{\Psi }}_{N,t})={\beta }^c({\mathrm{\Psi }}_N)$ is a conserved quantity, and thus requiring ${\beta }^c$ to be small only poses a restriction on the initial state. Since ${\beta }^c({\mathrm{\Psi }}_N)=c({\mathrm{\Psi }}_N)$, Proposition 2.2 shows that ${\beta }^c$ is small for initial states of the form ${\mathrm{\Psi }}_N=U_K^{\ast }{\psi }^{\otimes N}\otimes W(\sqrt{N}\phi )\mathrm{\Omega }$ with $K=K_N$ large enough.

The functional ${\beta }_K(t)$ can consequently be used to monitor whether the condensate of the particles and the coherent state of the phonons is stable during the time evolution. Its definition is motivated by a previous work on the derivation of the Maxwell–Schrödinger equations [23]. In addition it is necessary to include the Gross transform in the definition of ${\beta }_K^a(t)$ and ${\beta }_K^b(t)$. This induces correlations between the electron and the phonons and effectively regularizes the interaction. In this sense, the Gross transform has a similar role as the Bogoliubov transformation in the derivation of the time-dependent Gross-Pitaevskii equation (see for instance [2, 3, 20, 30]).

The trace norm of the difference ${\gamma }_{U_K{\mathrm{\Psi }}_{N,t}}^{(1,0)}-|{\psi }_t⟩⟨{\psi }_t|$ and the quantity ${\beta }_K^a(t)$ are related by

$$\begin{array}{cc}\hfill {\beta }_K^a(t)& \leqq {\text{Tr}}_{L^2({\mathbb{R}}^3)}\left|{\gamma }_{U_K{\mathrm{\Psi }}_{N,t}}^{(1,0)},-|,{\psi }_t,⟩⟨,{\psi }_t,|\right|\leqq 4\sqrt{{\beta }_K^a(t)},\hfill \end{array}$$ 4.9

which is the content of the following lemma when ${\mathrm{\Psi }}_N=U_K{\mathrm{\Psi }}_{N,t}$:

Lemma 4.2

Let $\psi \in L^2({\mathbb{R}}^3)$ with $∥\psi ∥=1$ and ${\mathrm{\Psi }}_N\in {\mathcal{H}}^{(N)}$ with $∥{\mathrm{\Psi }}_N∥=1$. Then,

$$\begin{array}{cc}\hfill \langle {\mathrm{\Psi }}_N,(q_1^{\psi }\otimes {\mathbb{1}}_{{\mathcal{F}}_s}){\mathrm{\Psi }}_N\rangle & \leqq {\text{Tr}}_{L^2({\mathbb{R}}^3)}\left|{\gamma }_{{\mathrm{\Psi }}_N}^{(1,0)},-,|\psi ⟩⟨\psi |\right|\leqq 4\sqrt{\langle {\mathrm{\Psi }}_N,(q_1^{\psi }\otimes {\mathbb{1}}_{{\mathcal{F}}_s}){\mathrm{\Psi }}_N\rangle }.\hfill \end{array}$$ 4.10

Proof

The lemma is a consequence of the identity

$$\begin{array}{c}\hfill {\text{Tr}}_{L^2({\mathbb{R}}^3)}\left|{\gamma }_{{\mathrm{\Psi }}_N}^{(1,0)},-,|\psi ⟩⟨\psi |\right|=\underset{{∥A∥}_{\mathit{op}}=1}{sup}\left|\langle ,{\mathrm{\Psi }}_N,,,A_1,{\mathrm{\Psi }}_N,\rangle ,-,\langle ,\psi ,,,A,\psi ,\rangle \right|,\end{array}$$ 4.11

where the supremum is taken over all bounded operators $A:L^2({\mathbb{R}}^3)\to L^2({\mathbb{R}}^3)$ and

$$\begin{array}{c}\hfill A_1=(A\otimes \underset{N-1\text{times}}{\underbrace{{\mathbb{1}}_{L^2({\mathbb{R}}^3)}\otimes ...\otimes {\mathbb{1}}_{L^2({\mathbb{R}}^3)}}})\otimes {\mathbb{1}}_{{\mathcal{F}}_s}\end{array}$$ 4.12

acts non-trivially only on the variable $x_1$. (Note that (4.11) holds because the space of bounded operators is the dual of the space of trace-class operators). The first bound then follows from

$$\begin{array}{c}\hfill \langle {\mathrm{\Psi }}_N,(q_1^{\psi }\otimes {\mathbb{1}}_{{\mathcal{F}}_s}){\mathrm{\Psi }}_N\rangle =\langle {\mathrm{\Psi }}_N,q_1^{\psi }{\mathrm{\Psi }}_N\rangle =\left|\langle ,{\mathrm{\Psi }}_N,,,p_1^{\psi },{\mathrm{\Psi }}_N,\rangle ,-,\langle ,\psi ,,,p^{\psi },\psi ,\rangle \right|,\end{array}$$ 4.13

while for the second bound, one inserts $1=p_1^{\psi }+q_1^{\psi }$ on the left and right of $A_1$ and uses

$$\begin{array}{c}\hfill p_1^{\psi }{A}_1{p}_1^{\psi }-\langle \psi ,A\psi \rangle =q_1^{\psi }\langle \psi ,A\psi \rangle \end{array}$$ 4.14

together with the Cauchy–Schwarz inequality for the remaining terms.3$\square$

The main ingredient of the proof of Theorem 2.1 is the following estimate for ${\beta }_K(t)$:

Lemma 4.3

Assume $K\geqq \tilde{K}>0$ such that Lemma 3.1 holds. Let ${\mathrm{\Psi }}_{N,t}=e^{-i{H}_N^{\mathrm{F}}t}{\mathrm{\Psi }}_N$ with ${\mathrm{\Psi }}_N\in \mathcal{D}(H_N^{\mathrm{F}})$ such that $∥{\mathrm{\Psi }}_N∥=1$ and $E_0={sup}_{N\in \mathbb{N}}\left|N^{-1},\langle ,{\mathrm{\Psi }}_N,,,H_N^{\mathrm{F}},{\mathrm{\Psi }}_N,\rangle \right|<\infty$. Let further $({\psi }_t,{\phi }_t)$ be a solution of (1.6) with $(\psi ,\phi )\in H^2({\mathbb{R}}^3)\times L_1^2({\mathbb{R}}^3)$ such that $∥\psi ∥=1$. Then, there exists a constant $C>0$ only depending on ${∥\phi ∥}_{L_1^2}$, ${∥\psi ∥}_{H^2}$, and $E_0$, such that

$$\begin{array}{cc}\hfill \left|\frac{\mathrm{d}}{\mathrm{d}t},{\beta }_K,(t)\right|& \leqq C\left(1,+,t^2\right)\left({\beta }_K,(t),+,K,N^{-1},+,K^{-1}\right).\hfill \end{array}$$ 4.15

The proof is given in Section 6. Putting the above statements together, we obtain the proof of Theorem 2.1.

Proof of Theorem 2.1

We first apply Grönwall’s argument to (4.15) in order to obtain

$$\begin{array}{cc}\hfill {\beta }_K(t)& \leqq e^{C{(1+\left|t\right|)}^3}\left({\beta }_K,(0),+,K,N^{-1},+,K^{-1}\right).\hfill \end{array}$$ 4.16

Next, set $K=K_N=\tilde{K}{N}^{1/2}$ with $\tilde{K}>0$ as in Lemma 3.1, and compute

$$\begin{array}{cc}\hfill {\text{Tr}}_{L^2({\mathbb{R}}^3)}|{\gamma }_{{\mathrm{\Psi }}_{N,t}}^{(1,0)}-|{\psi }_t⟩⟨{\psi }_t||& \leqq {\text{Tr}}_{L^2({\mathbb{R}}^3)}|{\gamma }_{U_{K_N}{\mathrm{\Psi }}_{N,t}}^{(1,0)}-|{\psi }_t⟩⟨{\psi }_t||+C{N}^{-3/4}\hfill \\ \hfill & \leqq 4\sqrt{{\beta }_{K_N}^a(t)}+C{N}^{-3/4}\hfill \\ \hfill & \leqq 4\sqrt{{\beta }_{K_N}(t)}+C{N}^{-3/4}\hfill \\ \hfill & \leqq \sqrt{{\beta }_{K_N}(0)+N^{-1/2}}{e}^{C{(1+\left|t\right|)}^3},\hfill \end{array}$$ 4.17

where we used inequality (4.1) in the first step, Lemma (4.2) in the second and (4.16) in the last one. The estimate (2.7) then follows from ${\beta }^c(0)=c({\mathrm{\Psi }}_N)$ and

$$\begin{array}{c}\hfill {\beta }_{K_N}^a(0)+{\beta }_{K_N}^b(0)\leqq a({\mathrm{\Psi }}_N,\psi )+b({\mathrm{\Psi }}_N,\phi )+C{N}^{-3/4},\end{array}$$ 4.18

which in turn holds because of (4.9) and Lemma 4.1.

Using (4.2), we can similarly estimate

$$\begin{array}{cc}& N^{-1}\langle W^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t},\mathcal{N}{W}^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t}\rangle \hfill \\ \hfill & \leqq N^{-1}\langle W^{\ast }(\sqrt{N}{\phi }_t)U_{K_N}{\mathrm{\Psi }}_{N,t},\mathcal{N}{W}^{\ast }(\sqrt{N}{\phi }_t)U_{K_N}{\mathrm{\Psi }}_{N,t}\rangle +C(1+∥{\phi }_t∥)N^{-3/4}\hfill \\ \hfill & ={\beta }_{K_N}^b(t)+C(1+∥{\phi }_t∥)N^{-3/4}\hfill \\ \hfill & \leqq ({\beta }_{K_N}(0)+N^{-1/2})e^{C{(1+\left|t\right|)}^3}\hfill \\ \hfill & \leqq (a({\mathrm{\Psi }}_N,\psi )+b({\mathrm{\Psi }}_N,\phi )+c({\mathrm{\Psi }}_N)+N^{-1/2})e^{C{(1+\left|t\right|)}^3}.\hfill \end{array}$$ 4.19

This completes the proof of the theorem. $\square$

The proofs of Proposition 2.2 and Theorem 2.2 are postponed to Sections 7.2 and 7.3, respectively.

Bound on $\Vert {\mathrm{\nabla }}_2{q}_1^{\psi }{U}_K{\mathrm{\Psi }}_N\Vert$

In this section, we state and prove a bound that is a crucial ingredient in the proof of Lemma 4.3.

Lemma 5.1

Assume $K\geqq \tilde{K}>0$ such that Lemma 3.1 holds. Let $(\psi ,\phi )\in H^2({\mathbb{R}}^3)\times L_1^2({\mathbb{R}}^3)$ and ${\mathrm{\Psi }}_N\in \mathcal{D}(H_N^{\mathrm{F}})$ with $∥{\mathrm{\Psi }}_N∥=1$, and set $E_N^{\mathrm{F}}({\mathrm{\Psi }}_N)=N^{-1}\langle {\mathrm{\Psi }}_N,H_N^{\mathrm{F}}{\mathrm{\Psi }}_N\rangle$. Then

$$\begin{array}{cc}\hfill {∥{\mathrm{\nabla }}_2,q_1^{\psi },U_K,{\mathrm{\Psi }}_N∥}^2& \leqq g({\mathrm{\Psi }}_N,\psi ,\phi )\left({\beta }_K,({\mathrm{\Psi }}_N,\psi ,\phi ),+,N^{-1},K^{-1},+,N^{-2},K\right),\hfill \end{array}$$ 5.1

where $g({\mathrm{\Psi }}_N,\psi ,\phi )=C({∥\psi ∥}_{H^2}^2+{∥\phi ∥}_{L_1^2}^2+|E_N^{\mathrm{F}}({\mathrm{\Psi }}_N)|)$ for some $C>0$.

Before we give its proof, we explain the importance of the above estimate. The main technical difficulty for controlling the time-derivative of ${\beta }_K(t)$ arises from the singular ultraviolet behavior of the phonon field. In particular, if we want to estimate $\frac{\mathrm{d}}{\mathrm{d}t}{\beta }_K^b(t)$, we have to bound the following term (cf. Section 6.2)

$$\begin{array}{cc}\hfill (6.21\mathrm{d})& =-2\mathrm{Im}\langle U_K{\mathrm{\Psi }}_{N,t},{\int }_{\left|k\right|\leqq K}{d}^{3}k{\left|k\right|}^{-1}{e}^{ik{x}_1}{q}_1^{{\psi }_t}\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \end{array}$$ 5.2

by an N-independent constant times the functional ${\beta }_K(t)$. A naive estimate using the Cauchy–Schwarz inequality would give the bound

$$\begin{array}{cc}\hfill \left|(,6.21,\mathrm{d},)\right|& \leqq C{K}^{1/2}\sqrt{{\beta }_K^a(t){\beta }_K^b(t)},\hfill \end{array}$$ 5.3

which is not sufficient for $K\gg 1$. The reason for the bad behavior for large K clearly comes from the careless estimate of the form factor ${|k|}^{-1}$.

The most obvious strategy for a better estimate is to apply the well-known commutator method of Lieb and Yamazaki [26], which utilizes the particle momentum in order to obtain a better ultraviolet behavior of the phonon field. More precisely, one writes the exponential $e^{ik{x}_1}$ in terms of a commutator with the gradient $i{\mathrm{\nabla }}_{x_1}$,

$$\begin{array}{c}\hfill e^{ik{x}_1}=(1+{\left|k\right|}^2{)}^{-1}\left(e^{ik{x}_1},-,k,·,[,i,{\mathrm{\nabla }}_{x_1},,,e^{ik{x}_1},]\right),\end{array}$$ 5.4

which suggests a better decay for large $|k|$ provided that one has some control of the regularity of the particle with coordinate $x_1$. Using this identity together with $p_1^{{\psi }_t}+q_1^{{\psi }_t}=1$, we find by a straightforward computation that (6.21d) can be written as

$$\begin{array}{cc}\hfill -2\mathrm{Im}{\int }_{\left|k\right|\leqq K}{d}^{3}k& {\left|k\right|}^{-1}(1+{\left|k\right|}^2{)}^{-1}\hfill \\ \hfill & \times (\langle e^{-ik{x}_1}\left(N^{-1/2},a_k^{\ast },-,\overline{{\phi }_t(k)}\right)U_K{\mathrm{\Psi }}_{N,t},q_1^{{\psi }_t}{U}_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \\ \hfill & -\langle e^{-ik{x}_1}\left(N^{-1/2},a_k^{\ast },-,\overline{{\phi }_t(k)}\right)k·i{\mathrm{\nabla }}_1{p}_1^{{\psi }_t}{U}_K{\mathrm{\Psi }}_{N,t},q_1^{{\psi }_t}{U}_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \\ \hfill & -\langle e^{-ik{x}_1}k·i{\mathrm{\nabla }}_1{q}_1^{{\psi }_t}{U}_K{\mathrm{\Psi }}_{N,t},\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)q_1^{{\psi }_t}{U}_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \\ \hfill & +\langle e^{-ik{x}_1}\left(N^{-1/2},a_k^{\ast },-,\overline{{\phi }_t(k)}\right)U_K{\mathrm{\Psi }}_{N,t},k·i{\mathrm{\nabla }}_1{q}_1^{{\psi }_t}{U}_K{\mathrm{\Psi }}_{N,t}\rangle ).\hfill \end{array}$$ 5.5

With the aid of the Cauchy–Schwarz inequality and the canonical commutation relations this implies the bound

$$\begin{array}{cc}\hfill \left|(,6.21,\mathrm{d},)\right|& \leqq C\left({∥{\psi }_t∥}_{H^1},\sqrt{{\beta }_K^a(t)},+,∥{\mathrm{\nabla }}_1,q_1^{{\psi }_t},U_K,{\mathrm{\Psi }}_{N,t}∥\right)\sqrt{{\beta }_K^b(t)+N^{-1}}.\hfill \end{array}$$ 5.6

Contrary to (5.3), there is no more divergence for large K. However, the above inequality contains the new term $\Vert {\mathrm{\nabla }}_1{q}_1^{{\psi }_t}{U}_K{\mathrm{\Psi }}_{N,t}\Vert$. Thus if we want to apply Grönwall’s inequality we would have to show that this term is small compared to one or bounded by a constant times $\sqrt{{\beta }_K(t)}$.4 It is not clear how to derive such a bound, however, and hence, we are forced to estimate $\left|(,6.21,\mathrm{d},)\right|$ in a different way.

A possible solution to this problem is to use a combination of the estimates from [23, Chapter VIII.1] with an operator bound that is motivated by [10, Lemma 10] (see Section 6 for the detailed argument). In short, we use the symmetry of the wave function and an estimate that is similar in spirit to the commutator method of Lieb and Yamazaki to obtain

$$\begin{array}{cc}\hfill \left|(,6.21,\mathrm{d},)\right|& \leqq C\left({\beta }_K^a,(t),+,{\beta }_K^b,(t),+,N^{-1},K,+,{∥{\mathrm{\nabla }}_2,q_1^{{\psi }_t},U_K,{\mathrm{\Psi }}_{N,t}∥}^2\right).\hfill \end{array}$$ 5.7

As shown in Lemma 5.1, the new quantity $\Vert {\mathrm{\nabla }}_2{q}_1^{{\psi }_t}{U}_K{\mathrm{\Psi }}_{N,t}{\Vert }^2$ can be bounded by ${\beta }_K(t)$ and errors proportional to $N^{-1}{K}^{-1}$ and $N^{-2}K$.

Proof of Lemma 5.1

Using the symmetry of ${\mathrm{\Psi }}_N$ and $-{\mathrm{\Delta }}_1\geqq 0$, we can bound

$$\begin{array}{cc}\hfill {∥{\mathrm{\nabla }}_2,q_1^{\psi },U_K,{\mathrm{\Psi }}_N∥}^2& ={(N-1)}^{-1}\sum _{j=2}^N\langle q_1^{\psi }{U}_K{\mathrm{\Psi }}_N,(-{\mathrm{\Delta }}_j)q_1^{\psi }{U}_K{\mathrm{\Psi }}_N\rangle \hfill \\ \hfill & \leqq \frac{2}{N}\sum _{j=1}^N\langle q_1^{\psi }{U}_K{\mathrm{\Psi }}_N,(-{\mathrm{\Delta }}_j)q_1^{\psi }{U}_K{\mathrm{\Psi }}_N\rangle .\hfill \end{array}$$ 5.8

With $-{\sum }_{j=1}^N{\mathrm{\Delta }}_j\leqq H_N^0$ and (3.20), we thus have

$$\begin{array}{c}\hfill {∥{\mathrm{\nabla }}_2,q_1^{\psi },U_K,{\mathrm{\Psi }}_N∥}^2\leqq C{\beta }_K^a({\mathrm{\Psi }}_N,\psi )+4N^{-1}\langle q_1^{\psi }{U}_K{\mathrm{\Psi }}_N,H_{N,K}^{\mathrm{G}}{q}_1^{\psi }{U}_K{\mathrm{\Psi }}_N\rangle .\end{array}$$ 5.9

By using $q_1^{\psi }{H}_{N,K}^{\mathrm{G}}{q}_1^{\psi }=q_1^{\psi }{H}_{N,K}^{\mathrm{G}}-q_1^{\psi }{H}_{N,K}^{\mathrm{G}}{p}_1^{\psi }$ and recalling Definition (3.1), we get

$$\begin{array}{cc}\hfill {∥{\mathrm{\nabla }}_2,q_1^{\psi },U_K,{\mathrm{\Psi }}_N∥}^2& \leqq C({\beta }_K^a({\mathrm{\Psi }}_N,\psi )+N^{-1}\left|\langle ,q_1^{\psi },U_K,{\mathrm{\Psi }}_N,,,H_{N,K}^{\mathrm{G}},U_K,{\mathrm{\Psi }}_N,\rangle \right|\hfill \end{array}$$ 5.10a

$$\begin{array}{cc}& +N^{-1}\left|\langle ,U_K,{\mathrm{\Psi }}_N,,,q_1^{\psi },\left(-,{\mathrm{\Delta }}_1\right),p_1^{\psi },U_K,{\mathrm{\Psi }}_N,\rangle \right|\hfill \end{array}$$ 5.10b

$$\begin{array}{cc}& +N^{-3/2}\left|\langle ,U_K,{\mathrm{\Psi }}_N,,,q_1^{\psi },\mathrm{\Phi },(G_{K,x_1}),p_1^{\psi },U_K,{\mathrm{\Psi }}_N,\rangle \right|\hfill \end{array}$$ 5.10c

$$\begin{array}{cc}& +N^{-1}\left|\langle ,U_K,{\mathrm{\Psi }}_N,,,q_1^{\psi },A_{K,x_1},p_1^{\psi },U_K,{\mathrm{\Psi }}_N,\rangle \right|\hfill \end{array}$$ 5.10d

$$\begin{array}{cc}& +\left|\langle ,U_K,{\mathrm{\Psi }}_N,,,q_1^{\psi },V_K,(x_1-x_2),p_1^{\psi },U_K,{\mathrm{\Psi }}_N,\rangle \right|).\hfill \end{array}$$ 5.10e

In what follows, we shall bound the various terms on the right hand side.

Line (5.10a). In the second summand in this line, we add and subtract $E_N^{\mathrm{F}}({\mathrm{\Psi }}_N){\beta }_K^a({\mathrm{\Psi }}_N,\phi )$, to obtain

$$\begin{array}{cc}& N^{-1}\left|\langle ,q_1^{\psi },U_K,{\mathrm{\Psi }}_N,,,H_{N,K}^{\mathrm{G}},U_K,{\mathrm{\Psi }}_N,\rangle \right|\hfill \\ \hfill & \leqq \left|\langle ,q_1^{\psi },U_K,{\mathrm{\Psi }}_N,,,\left(N^{-1},H_{N,K}^{\mathrm{G}},-,E_N^{\mathrm{F}},({\mathrm{\Psi }}_N)\right),U_K,{\mathrm{\Psi }}_N,\rangle \right|+E_N^{\mathrm{F}}({\mathrm{\Psi }}_N){\beta }_K^a({\mathrm{\Psi }}_N,\psi ).\hfill \end{array}$$ 5.11

With the aid of the Cauchy–Schwarz inequality and (3.18), we find

$$\begin{array}{c}\hfill \left|(,5.10,\mathrm{a},)\right|\leqq C(1+|E_N^{\mathrm{F}}({\mathrm{\Psi }}_N)|)\left({\beta }_K^a,({\mathrm{\Psi }}_N,\psi ),+,{\beta }^c,({\mathrm{\Psi }}_N)\right).\end{array}$$ 5.12

Line (5.10b). One readily obtains

$$\begin{array}{cc}\hfill (5.10\mathrm{b})& \leqq N^{-1}∥\left(-,{\mathrm{\Delta }}_1\right),p_1^{\psi },U_K,{\mathrm{\Psi }}_N∥∥q_1^{\psi },U_K,{\mathrm{\Psi }}_N∥\hfill \\ \hfill & \leqq \frac{1}{2}{∥\psi ∥}_{H^2}\left({\beta }_K^a,({\mathrm{\Psi }}_N,\psi ),+,N^{-2}\right).\hfill \end{array}$$ 5.13

Line (5.10c). Using (3.8), we find

$$\begin{array}{cc}\hfill (5.10\mathrm{c})& \leqq N^{-3/2}∥q_1^{\psi },U_K,{\mathrm{\Psi }}_N∥∥\mathrm{\Phi },\left(G_{K,x_1}\right),p_1^{\psi },U_K,{\mathrm{\Psi }}_N∥\hfill \\ \hfill & \leqq C{N}^{-3/2}{K}^{1/2}\sqrt{{\beta }_K^a({\mathrm{\Psi }}_N,\psi )\langle U_K{\mathrm{\Psi }}_N,(\mathcal{N}+1)U_K{\mathrm{\Psi }}_N\rangle }\hfill \end{array}$$ 5.14

and hence, using (3.20), (3.18) and $\mathcal{N}\leqq H_N^0$, we have

$$\begin{array}{cc}\hfill (5.10\mathrm{c})& \leqq C(1+|E_N^{\mathrm{F}}({\mathrm{\Psi }}_N)|)\left(K,N^{-2},+,{\beta }_K^a,({\mathrm{\Psi }}_N,\psi )\right).\hfill \end{array}$$ 5.15

Line (5.10d). We recall the definition of $A_{K,x}$ in (3.13) and estimate the term with $a^{\ast }(k{B}_{K,x})·{\mathrm{\nabla }}_x$ by

$$\begin{array}{cc}& \left|\langle ,U_K,{\mathrm{\Psi }}_N,,,q_1^{\psi },N^{-1/2},a^{\ast },(k{B}_{K,x_1}),·,{\mathrm{\nabla }}_1,p_1^{\psi },U_K,{\mathrm{\Psi }}_N,\rangle \right|\hfill \\ \hfill & \leqq \int d^{3}k\left|\langle ,q_1^{\psi },(,N^{-1/2},a_k,-,\phi ,(k),+,\phi ,(k),),U_K,{\mathrm{\Psi }}_N,,,k,B_{K,x_1},(k),·,{\mathrm{\nabla }}_1,p_1^{\psi },U_K,{\mathrm{\Psi }}_N,\rangle \right|\hfill \\ \hfill & \leqq ∥{\mathrm{\nabla }}_1,p_1^{\psi },U_K,{\mathrm{\Psi }}_N∥\int d^{3}k\left(\left|k,B_{K,x},(k)\right|,∥(,N^{-1/2},a_k,-,\phi ,(k),),U_K,{\mathrm{\Psi }}_N∥,+,\left|k,B_{K,x},(k),\phi ,(k)\right|\right)\hfill \\ \hfill & \leqq {∥\psi ∥}_{H^1}\left(∥\left|·\right|,B_{K,x}∥,,\sqrt{{\beta }_K^b({\mathrm{\Psi }}_N,\phi )},+,∥B_{K,x}∥,,∥\left|·\right|,\phi ∥\right)\hfill \\ \hfill & \leqq C{∥\psi ∥}_{H^1}\left(K^{-1/2},\sqrt{{\beta }_K^b({\mathrm{\Psi }}_N,\phi )},+,K^{-3/2},{∥\phi ∥}_{L_1^2}\right).\hfill \end{array}$$ 5.16

Using $q_1^{\psi }=1-p_1^{\psi }$ and $-{\mathrm{\Delta }}_1\leqq N^{-1}{H}_N^0$ as quadratic forms on $L_s^2({\mathbb{R}}^{3N})\otimes {\mathcal{F}}_s$, together with (3.20), we find

$$\begin{array}{c}\hfill {∥{\mathrm{\nabla }}_1,q_1^{\psi },U_K,{\mathrm{\Psi }}_N∥}^2\leqq 2\left({∥{\mathrm{\nabla }}_1,p_1^{\psi },U_K,{\mathrm{\Psi }}_N∥}^2,+,{∥{\mathrm{\nabla }}_1,U_K,{\mathrm{\Psi }}_N∥}^2\right)\leqq C\left({∥\psi ∥}_{H^1}^2,+,|E_N^{\mathrm{F}}({\mathrm{\Psi }}_N)|,+,1\right).\end{array}$$ 5.17

With this at hand, we can proceed for the term with ${\mathrm{\nabla }}_x·a(k{B}_{K,x})$ similarly as in (5.16), with the result that

$$\begin{array}{cc}& \left|\langle ,U_K,{\mathrm{\Psi }}_N,,,q_1^{\psi },{\mathrm{\nabla }}_1,·,N^{-1/2},a,(k{B}_{K,x_1}),p_1^{\psi },U_K,{\mathrm{\Psi }}_N,\rangle \right|\hfill \\ \hfill & \leqq ∥{\mathrm{\nabla }}_1,q_1^{\psi },U_K,{\mathrm{\Psi }}_N∥\int d^{3}k\left(\left|k,B_{K,x},(k)\right|,∥(,N^{-1/2},a_k,-,\phi (k),),U_K,{\mathrm{\Psi }}_N∥,+,\left|k,B_{K,x},(k),\phi ,(k)\right|\right)\hfill \\ \hfill & \leqq C\sqrt{{∥\psi ∥}_{H^1}^2+|E_N^{\mathrm{F}}({\mathrm{\Psi }}_N)|}\left(K^{-1/2},\sqrt{{\beta }_K^b({\mathrm{\Psi }}_N,\phi )},+,K^{-3/2},{∥\phi ∥}_{L_1^2}\right).\hfill \end{array}$$ 5.18

Next, we estimate the term in line (5.10d) with $\mathrm{\Phi }{(k{B}_{K,x})}^2$,

$$\begin{array}{cc}& \left|\langle ,U_K,{\mathrm{\Psi }}_N,,,q_1^{\psi },N^{-1},\mathrm{\Phi },{(k{B}_{K,x_1})}^2,p_1^{\psi },U_K,{\mathrm{\Psi }}_N,\rangle \right|\hfill \\ \hfill & \leqq N^{-1}∥\mathrm{\Phi },(k{B}_{K,x_1}),q_1^{\psi },U_K,{\mathrm{\Psi }}_N∥∥\mathrm{\Phi },(k{B}_{K,x_1}),p_1^{\psi },U_K,{\mathrm{\Psi }}_N∥\hfill \\ \hfill & \leqq C{N}^{-1}{∥\left|·\right|,B_{K,x}∥}^2\langle U_K{\mathrm{\Psi }}_N,(\mathcal{N}+1)U_K{\mathrm{\Psi }}_N\rangle \hfill \\ \hfill & \leqq C{K}^{-1}{N}^{-1}(\langle U_K{\mathrm{\Psi }}_N,(H_{N,K}^{\mathrm{G}}+CN)U_K{\mathrm{\Psi }}_N\rangle +1)\hfill \\ \hfill & \leqq C\left(|,E_N^{\mathrm{F}},({\mathrm{\Psi }}_N),|+1\right)K^{-1}.\hfill \end{array}$$ 5.19

By summing up the terms, we obtain the bound

$$\begin{array}{cc}& \left|\langle ,U_K,{\mathrm{\Psi }}_N,,,q_1^{\psi },A_{K,x_1},p_1^{\psi },U_K,{\mathrm{\Psi }}_N,\rangle \right|\hfill \\ \hfill & \leqq C({∥\psi ∥}_{H^1}^2+{∥\phi ∥}_{L_1^2}^2+|E_N^{\mathrm{F}}({\mathrm{\Psi }}_N)|)\left(K^{-1},+,{\beta }_K^b,({\mathrm{\Psi }}_N,\phi )\right).\hfill \end{array}$$ 5.20

Line (5.10e). Using (3.17),

$$\begin{array}{cc}\hfill \left|\langle ,U_K,{\mathrm{\Psi }}_N,,,q_1^{\psi },V_K,(x_1-x_2),p_1^{\psi },U_K,{\mathrm{\Psi }}_N,\rangle \right|& \leqq \sqrt{{\beta }_K^a({\mathrm{\Psi }}_N,\psi )}∥V_K,(x_1-x_2),p_1^{\psi },U_K,{\mathrm{\Psi }}_N∥\hfill \\ \hfill & \leqq C({\beta }_K^a({\mathrm{\Psi }}_N,\psi )+N^{-2}{K}^{-2}).\hfill \end{array}$$ 5.21

This completes the proof of the lemma. $\square$

Proof of Lemma 4.3 (Time Derivative of ${\beta }_K(t)$)

We first observe that

$$\begin{array}{cc}\hfill \frac{\mathrm{d}}{\mathrm{d}t}{U}_K{\mathrm{\Psi }}_{N,t}& =-i{U}_K{H}_N^{\mathrm{F}}{\mathrm{\Psi }}_{N,t}=-i{U}_K{H}_N^{\mathrm{F}}{U}_K^{\ast }{U}_K{\mathrm{\Psi }}_{N,t}=-i{H}_{N,K}^{\mathrm{G}}{U}_K{\mathrm{\Psi }}_{N,t},\hfill \end{array}$$ 6.1

from which it follows readily that $\frac{\mathrm{d}}{\mathrm{d}t}{\beta }^c(t)=0$. The time-derivatives of ${\beta }_K^a(t)$ and ${\beta }_K^b(t)$ are estimated in the next two sections. Throughout both sections, we use the abbreviation $E_N^{\mathrm{F}}({\mathrm{\Psi }}_N)=N^{-1}\langle {\mathrm{\Psi }}_N,H_N^{\mathrm{F}}{\mathrm{\Psi }}_N\rangle$.

Time Derivative of ${\beta }_K^a(t)$

For $q_1^t=q_1^{{\psi }_t}=1-p_1^{{\psi }_t}$, we have

$$\begin{array}{c}\hfill \frac{\mathrm{d}}{\mathrm{d}t}{q}_1^t=-\frac{\mathrm{d}}{\mathrm{d}t}{p}_1^t=i[-{\mathrm{\Delta }}_1+\mathrm{\Phi }(x_1,t),p_1^t]=-i[-{\mathrm{\Delta }}_1+\mathrm{\Phi }(x_1,t),q_1^t].\end{array}$$ 6.2

Using this together with (6.1), we compute

$$\begin{array}{cc}\hfill \frac{\mathrm{d}}{\mathrm{d}t}{\beta }_K^a(t)& =\frac{\mathrm{d}}{\mathrm{d}t}\langle U_K{\mathrm{\Psi }}_{N,t},q_1^t{U}_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \\ \hfill & =-2\mathrm{Im}\langle U_K{\mathrm{\Psi }}_{N,t},\left(H_{N,K}^{\mathrm{G}},+,{\mathrm{\Delta }}_1,-,\mathrm{\Phi },(x_1,t)\right)q_1^t{U}_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \\ \hfill & =-2\mathrm{Im}\langle U_K{\mathrm{\Psi }}_{N,t},p_1^t\left(H_{N,K}^{\mathrm{G}},+,{\mathrm{\Delta }}_1,-,\mathrm{\Phi },(x_1,t)\right)q_1^t{U}_K{\mathrm{\Psi }}_{N,t}\rangle ,\hfill \end{array}$$ 6.3

where we inserted $1=p_1^t+q_1^t$ and used that the term with $q_1^t$ on both sides is real. Recall Definition 3.1. Using $\mathrm{\Phi }(x_1,t)={\mathrm{\Phi }}_K(x_1,t)+{\mathrm{\Phi }}_{\geqq K}(x_1,t)$, $p_1^t{q}_1^t=0$ and the symmetry of ${\mathrm{\Psi }}_N$, we can rewrite (6.3) as

$$\begin{array}{cc}\hfill \frac{\mathrm{d}}{\mathrm{d}t}{\beta }_K^a(t)& =-2\mathrm{Im}\langle U_K{\mathrm{\Psi }}_{N,t},p_1^t\left(N^{-1/2},\mathrm{\Phi },(G_{K,x_1}),-,{\mathrm{\Phi }}_K,(x_1,t)\right)q_1^t{U}_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \end{array}$$ 6.4a

$$\begin{array}{cc}& +2\mathrm{Im}\langle U_K{\mathrm{\Psi }}_{N,t},p_1^t{\mathrm{\Phi }}_{\geqq K}(x_1,t)q_1^t{U}_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \end{array}$$ 6.4b

$$\begin{array}{cc}& -2\mathrm{Im}\langle U_K{\mathrm{\Psi }}_{N,t},p_1^t{A}_{K,x_1}{q}_1^t{U}_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \end{array}$$ 6.4c

$$\begin{array}{cc}& -2\mathrm{Im}\langle U_K{\mathrm{\Psi }}_{N,t},p_1^t(N-1)V_K(x_1-x_2)q_1^t{U}_K{\mathrm{\Psi }}_{N,t}\rangle .\hfill \end{array}$$ 6.4d

The various terms will be bounded as follows:

Line (6.4a). We bound

$$\begin{array}{cc}\hfill \left|(,6.4,\mathrm{a},)\right|& \leqq 2\left|\langle ,{\int }_{|k|\leqq K},d^3,k,,{|k|}^{-1},e^{-ik{x}_1},\left(N^{-1/2},a_k^{\ast },-,\overline{{\phi }_t(k)}\right),p_1^t,U_K,{\mathrm{\Psi }}_{N,t},,,q_1^t,U_K,{\mathrm{\Psi }}_{N,t},\rangle \right|\hfill \\ \hfill & +2\left|\langle ,{\int }_{|k|\leqq K},d^3,k,,{\left|k\right|}^{-1},e^{ik{x}_1},\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right),p_1^t,U_K,{\mathrm{\Psi }}_{N,t},,,q_1^t,U_K,{\mathrm{\Psi }}_{N,t},\rangle \right|\hfill \\ \hfill & \leqq 2{\beta }_K^a({\mathrm{\Psi }}_{N,t},{\psi }_t)+{∥{\int }_{|k|\leqq K},d^3,k,,{\left|k\right|}^{-1},e^{-ik{x}_1},\left(N^{-1/2},a_k^{\ast },-,\overline{{\phi }_t(k)}\right),p_1^t,U_K,{\mathrm{\Psi }}_{N,t}∥}^2\hfill \\ \hfill & +{∥{\int }_{|k|\leqq K},d^3,k,,{\left|k\right|}^{-1},e^{ik{x}_1},\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right),p_1^t,U_K,{\mathrm{\Psi }}_{N,t}∥}^2.\hfill \end{array}$$ 6.5

For the second summand, we use

$$\begin{array}{cc}& {∥{\int }_{|k|\leqq K},d^3,k,,{\left|k\right|}^{-1},e^{-ik{x}_1},\left(N^{-1/2},a_k^{\ast },-,\overline{{\phi }_t(k)}\right),p_1^t,U_K,{\mathrm{\Psi }}_{N,t}∥}^2\hfill \\ \hfill & \leqq \frac{\mathit{CK}}{N}+{∥{\int }_{|k|\leqq K},d^3,k,,{|k|}^{-1},e^{ik{x}_1},\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right),p_1^t,U_K,{\mathrm{\Psi }}_{N,t}∥}^2,\hfill \end{array}$$ 6.6

which follows directly from the canonical commutation relations. By the shift property (3.10), the last summand in (6.5) can be written as

$$\begin{array}{c}\hfill N^{-1}{∥a,\left(G_{K,x_1}\right),p_1^t,W^{\ast },(\sqrt{N}{\phi }_t),U_K,{\mathrm{\Psi }}_{N,t}∥}^2.\end{array}$$ 6.7

In order to estimate this expression, we use [10, Lemma 10] which implies the bound

$$\begin{array}{cc}\hfill a^{\ast }\left(G_{K,x_1}\right)a\left(G_{K,x_1}\right)& \leqq C_G\left(1,-,{\mathrm{\Delta }}_1\right)\mathcal{N},\hfill \end{array}$$ 6.8

with

$$\begin{array}{c}\hfill C_G=\underset{p\in {\mathbb{R}}^3}{sup}{\int }_{{\mathbb{R}}^3}\frac{d^{3}k}{k^2(1+{(p+k)}^2)}={\int }_{{\mathbb{R}}^3}\frac{d^{3}k}{k^2{(1+k)}^2}<\infty .\end{array}$$ 6.9

The latter is obtained via a rearrangement inequality. In combination, we thus have

$$\begin{array}{cc}\hfill \left|(,6.4,\mathrm{a},)\right|& \leqq C\left({\beta }_K^a,(t),+,K,N^{-1}\right)+C_G{N}^{-1}{∥{\left(1,-,{\mathrm{\Delta }}_1\right)}^{1/2},p_1^t,{\mathcal{N}}^{1/2},W^{\ast },(\sqrt{N}{\phi }_t),U_K,{\mathrm{\Psi }}_{N,t}∥}^2\hfill \\ \hfill & \leqq C\left({\beta }_K^a,(t),+,K,N^{-1}\right)+C_G{∥{\psi }_t∥}_{H^1}^2{N}^{-1}{∥{\mathcal{N}}^{1/2},W^{\ast },(\sqrt{N}{\phi }_t),U_K,{\mathrm{\Psi }}_{N,t}∥}^2\hfill \\ \hfill & \leqq C{∥{\psi }_t∥}_{H^1}^2\left({\beta }_K^a,(t),+,{\beta }_K^b,(t),+,K,N^{-1}\right).\hfill \end{array}$$ 6.10

Line (6.4b). This term can be estimated as

$$\begin{array}{cc}\hfill \left|(,6.4,\mathrm{b},)\right|& \leqq C\underset{x}{sup}\left|{\mathrm{\Phi }}_{\ge K},(x,t)\right|∥q_1^t,U_K,{\mathrm{\Psi }}_{N,t}∥\hfill \\ \hfill & \leqq C\sqrt{{\beta }_K^a(t)}{\int }_{\left|k\right|\geqq K}{d}^{3}k{\left|k\right|}^{-1}\left|{\phi }_t\right|\hfill \\ \hfill & \leqq C\sqrt{{\beta }_K^a(t)}{∥{\phi }_t∥}_{L_1^2}{\left({\int }_{\left|k\right|\geqq K},d^3,k,{\left|k\right|}^{-4}\right)}^{1/2}\leqq C{∥{\phi }_t∥}_{L_1^2}\sqrt{{\beta }_K^a(t)}{K}^{-1/2}.\hfill \end{array}$$ 6.11

Line (6.4c). It follows from (5.20) that

$$\begin{array}{c}\hfill \left|(,6.4,\mathrm{c},)\right|\leqq C({∥{\psi }_t∥}_{H^1}^2+{∥{\phi }_t∥}_{L_1^2}^2+|E_N^{\mathrm{F}}({\mathrm{\Psi }}_{N,t})|)\left(K^{-1},+,{\beta }_K^b,(t)\right).\end{array}$$ 6.12

Line (6.4d). In analogy to (5.21) one finds

$$\begin{array}{c}\hfill \left|(,.,6.4,\mathrm{d},)\right|\leqq C({\beta }_K^a(t)+K^{-2}).\end{array}$$ 6.13

In combination, we have thus shown that

$$\begin{array}{c}\hfill \left|\frac{\mathrm{d}}{\mathrm{d}t},{\beta }_K^a,(t)\right|\leqq C\left({∥{\psi }_t∥}_{H^1}^2,+,{∥{\phi }_t∥}_{L_1^2}^2,+,|E_N^{\mathrm{F}}({\mathrm{\Psi }}_{N,t})|\right)\left({\beta }_K^a,(t),+,{\beta }_K^b,(t),+,\frac{K}{N},+,K^{-1}\right).\end{array}$$ 6.14

Time Derivative of ${\beta }_K^b(t)$

From (6.1) we get

$$\begin{array}{cc}& \frac{\mathrm{d}}{\mathrm{d}t}{\beta }_K^b({\mathrm{\Psi }}_{N,t},{\phi }_t)\hfill \\ \hfill & =\int d^{3}k\frac{\mathrm{d}}{\mathrm{d}t}\langle \left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t},\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \\ \hfill & =-2\mathrm{Re}\int d^{3}k\langle \left(N^{-1/2},a_k^{\ast },-,\overline{{\phi }_t(k)}\right)\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t},i{H}_{N,K}^{\mathrm{G}}{U}_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \end{array}$$ 6.15a

$$\begin{array}{cc}& -2\mathrm{Re}\int d^{3}k\langle \left({\partial }_t,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t},\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t}\rangle ,\hfill \end{array}$$ 6.15b

which is a slightly formal computation, since the use of the product rule of differentiation is not completely obvious here. We clarify the difficulty and justify the above identity in detail in “Appendix B”. Next, we write the first line in terms of the commutator as

$$\begin{array}{cc}& (6.15\mathrm{a})\hfill \\ \hfill & =-i\int d^{3}k\langle [H_{N,K}^{\mathrm{G}},(N^{-1/2}{a}_k^{\ast }-\overline{{\phi }_t(k)})(N^{-1/2}{a}_k-{\phi }_t(k))]U_K{\mathrm{\Psi }}_{N,t},U_K{\mathrm{\Psi }}_{N,t}\rangle .\hfill \end{array}$$ 6.16

Let us remark that the right hand side is well defined since the commutator of $H_{N,K}^{\mathrm{G}}$ and

$$\begin{array}{c}\hfill L_N=N^{-1}W(\sqrt{N}{\phi }_t)\mathcal{N}{W}^{\ast }(\sqrt{N}{\phi }_t)=\int d^{3}k(N^{-1/2}{a}_k^{\ast }-\overline{{\phi }_t(k)})(N^{-1/2}{a}_k-{\phi }_t(k))\end{array}$$ 6.17

defines a bounded operator from $\mathcal{D}(H_{N,K}^{\mathrm{G}})=\mathcal{D}(H_N^0)$ to ${\mathcal{H}}^{(N)}$. This fact is a direct consequence of the B.L.T. theorem because $[H_{N,K}^{\mathrm{G}},L_N]$ is a bounded operator from $\mathcal{D}({(H_N^0)}^2)$ to ${\mathcal{H}}^{(N)}$ and the estimate

$$\begin{array}{c}\hfill ∥[,H_{N,K}^{\mathrm{G}},,,L_N,],{\mathrm{\Psi }}_N∥\leqq C_{N,K}∥(,1,+,H_N^0,),{\mathrm{\Psi }}_N∥\end{array}$$ 6.18

holds for all ${\mathrm{\Psi }}_N\in \mathcal{D}({(H_N^0)}^2)$ and some constant $C_{N,K}$. The latter is straightforward to verify with the aid of

$$\begin{array}{cc}\hfill \left[H_{N,K}^{\mathrm{G}},,,a_k\right]& =2N^{-1/2}\sum _{j=1}^N{B}_{K,x_j}(k)k·\left(i,{\mathrm{\nabla }}_j,-,N^{-1/2},\mathrm{\Phi },(,k,B_{K,x_j},)\right)\hfill \\ \hfill & -a_k-N^{-1/2}\sum _{j=1}^N{\left|k\right|}^{-1}{\mathbb{1}}_{\left|k\right|\leqq K}(k)e^{-ik{x}_j}\hfill \end{array}$$ 6.19

and the basic estimates from Section 3.

Hence, we can proceed by using (6.16) and (6.19) together with the Landau–Pekar equations (1.6) and the symmetry of the many-body wave function in order to obtain

$$\begin{array}{cc}& \frac{\mathrm{d}}{\mathrm{d}t}{\beta }_K^b({\mathrm{\Psi }}_{N,t},{\phi }_t)\hfill \\ \hfill & =-2{\int }_{\left|k\right|\leqq K}{d}^{3}k{\left|k\right|}^{-1}\mathrm{Im}\langle e^{-ik{x}_1}{U}_K{\mathrm{\Psi }}_{N,t},\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \\ \hfill & +2\int d^{3}k{\left|k\right|}^{-1}\mathrm{Im}\langle \int d^{3}y{e}^{-iky}{\left|{\psi }_t,(y)\right|}^2{U}_K{\mathrm{\Psi }}_{N,t},\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \\ \hfill & +4\int d^{3}k\mathrm{Im}\langle B_{K,x_1}(k)k·\left(i,{\mathrm{\nabla }}_1,-,N^{-1/2},\mathrm{\Phi },(k{B}_{K,x_1})\right)U_K{\mathrm{\Psi }}_{N,t},\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t}\rangle .\hfill \end{array}$$ 6.20

Finally, inserting the identity $e^{ik{x}_1}=p_1^t{e}^{ik{x}_1}{p}_1^t+q_1^t{e}^{ik{x}_1}{p}_1^t+e^{ik{x}_1}{q}_1^t$ leads to

$$\begin{array}{cc}& \frac{\mathrm{d}}{\mathrm{d}t}{\beta }_K^b({\mathrm{\Psi }}_{N,t},{\phi }_t)\hfill \\ \hfill & =-2{\int }_{\left|k\right|\leqq K}{d}^{3}k{\left|k\right|}^{-1}\mathrm{Im}\langle U_K{\mathrm{\Psi }}_{N,t},(p_1^t{e}^{ik{x}_1}{p}_1^t-\int d^{3}y{e}^{\mathit{iky}}{\left|{\psi }_t,(y)\right|}^2)\hfill \\ \hfill & \left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \end{array}$$ 6.21a

$$\begin{array}{cc}& +2{\int }_{\left|k\right|\geqq K}{d}^{3}k{\left|k\right|}^{-1}\mathrm{Im}\langle U_K{\mathrm{\Psi }}_{N,t},\int d^{3}y{e}^{\mathit{iky}}{\left|{\psi }_t,(y)\right|}^2\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \end{array}$$ 6.21b

$$\begin{array}{cc}& -2{\int }_{\left|k\right|\leqq K}{d}^{3}k{\left|k\right|}^{-1}\mathrm{Im}\langle U_K{\mathrm{\Psi }}_{N,t},q_1^t{e}^{ik{x}_1}{p}_1^t\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \end{array}$$ 6.21c

$$\begin{array}{cc}& -2{\int }_{\left|k\right|\leqq K}{d}^{3}k{\left|k\right|}^{-1}\mathrm{Im}\langle U_K{\mathrm{\Psi }}_{N,t},e^{ik{x}_1}{q}_1^t\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \end{array}$$ 6.21d

$$\begin{array}{cc}& +4\int d^{3}k\mathrm{Im}\langle B_{K,x_1}(k)k·\left(i,{\mathrm{\nabla }}_1,-,N^{-1/2},\mathrm{\Phi },(,k,B_{K,x_1},)\right)\hfill \\ \hfill & U_K{\mathrm{\Psi }}_{N,t},\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t}\rangle .\hfill \end{array}$$ 6.21e

In what follows, we estimate each term on the r.h.s. separately.

Line (6.21a). The first term is the most important because it is the one where the particle density cancels the source term of the Landau–Pekar equations. We first note that

$$\begin{array}{c}\hfill p_1^t{e}^{ik{x}_1}{p}_1^t-\int d^{3}y{e}^{\mathit{iky}}{\left|{\psi }_t,(y)\right|}^2=\left(p_1^t,-,1\right)\int d^{3}y{e}^{\mathit{iky}}{\left|{\psi }_t,(y)\right|}^2=-q_1^t\langle {\psi }_t,e^{ik·}{\psi }_t\rangle .\end{array}$$ 6.22

We then use $e^{\mathit{ikx}}=\frac{1-i(k·{\mathrm{\nabla }}_x)}{1+k^2}{e}^{\mathit{ikx}}$ and integrate by parts to obtain the bound

$$\begin{array}{cc}\hfill \left|\langle ,{\psi }_t,,,e^{ik·},{\psi }_t,\rangle \right|& \leqq \left|\langle ,\frac{1-i(k·\mathrm{\nabla })}{1+k^2},{\psi }_t,,,e^{ik·},{\psi }_t,\rangle \right|+\left|\langle ,{\psi }_t,,,e^{ik·},\frac{i(k·\mathrm{\nabla })}{1+k^2},{\psi }_t,\rangle \right|\hfill \\ \hfill & \leqq 2{(1+k^2)}^{-1}\left(1,+,\left|k\right|,∥\mathrm{\nabla },{\psi }_t∥\right)\leqq 2{∥{\psi }_t∥}_{H^1}{(1+k^2)}^{-1}\left(1,+,\left|k\right|\right).\hfill \end{array}$$ 6.23

Hence,

$$\begin{array}{cc}\hfill \left|(,6.21,\mathrm{a},)\right|& \leqq 4{∥{\psi }_t∥}_{H^1}\int d^{3}k\frac{(1+\left|k\right|)}{\left|k\right|(1+k^2)}\left|\langle ,q_1^t,U_K,{\mathrm{\Psi }}_{N,t},,,\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right),U_K,{\mathrm{\Psi }}_{N,t},\rangle \right|\hfill \\ \hfill & \leqq 4{∥{\psi }_t∥}_{H^1}\sqrt{{\beta }_K^a(t)}(\int d^{3}k\frac{{(1+\left|k\right|)}^2}{{\left|k\right|}^2{(1+k^2)}^2}{)}^{1/2}\hfill \\ \hfill & \times (\int d^{3}k{∥\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right),U_K,{\mathrm{\Psi }}_{N,t}∥}^2{)}^{1/2}\hfill \\ \hfill & \leqq C{∥{\psi }_t∥}_{H^1}{\beta }_K(t).\hfill \end{array}$$ 6.24

Line (6.21b). We again use (6.23) and estimate

$$\begin{array}{cc}\hfill (6.21\mathrm{b})& \leqq 2{\int }_{\left|k\right|\geqq K}{d}^{3}k{\left|k\right|}^{-1}\left|\langle ,{\psi }_t,,,e^{ik·},{\psi }_t,\rangle \right|\left|\langle ,U_K,{\mathrm{\Psi }}_{N,t},,,\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right),U_K,{\mathrm{\Psi }}_{N,t},\rangle \right|\hfill \\ \hfill & \leqq C{∥{\psi }_t∥}_{H^1}{\int }_{\left|k\right|\geqq K}{d}^{3}k\frac{(1+\left|k\right|)}{\left|k\right|(1+k^2)}∥\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right),U_K,{\mathrm{\Psi }}_{N,t}∥\hfill \\ \hfill & \leqq C{∥{\psi }_t∥}_{H^1}\left({\beta }_K^b,(t),+,{\int }_{\left|k\right|\geqq K},d^3,k,,\frac{{(1+\left|k\right|)}^2}{{\left|k\right|}^2{(1+k^2)}^2}\right)\hfill \\ \hfill & \leqq C{∥{\psi }_t∥}_{H^1}\left({\beta }_K^b,(t),+,K^{-1}\right).\hfill \end{array}$$ 6.25

Line (6.21c). Writing (6.21c) as

$$\begin{array}{c}\hfill 2{\int }_{\left|k\right|\leqq K}{d}^{3}k{\left|k\right|}^{-1}\mathrm{Im}\langle e^{ik{x}_1}\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)p_1^t{U}_K{\mathrm{\Psi }}_{N,t},q_1^t{U}_K{\mathrm{\Psi }}_{N,t}\rangle \end{array}$$ 6.26

shows that this is exactly the same expression as the second line in (6.5). We consequently have

$$\begin{array}{cc}\hfill \left|(,6.21,\mathrm{c},)\right|& \leqq C{∥{\psi }_t∥}_{H^1}^2\left({\beta }_K^a,(t),+,{\beta }_K^b,(t)\right).\hfill \end{array}$$ 6.27

Line (6.21d). To find a suitable bound for (6.21d) is the most difficult step in the proof. We start by estimating

$$\begin{array}{cc}\hfill \left|(,6.21,\mathrm{d},)\right|& \leqq 2{\int }_{\left|k\right|\leqq K}{d}^{3}k{\left|k\right|}^{-1}|\langle U_K{\mathrm{\Psi }}_{N,t},e^{ik{x}_1}{q}_1^t\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t}\rangle |\hfill \\ \hfill & =2{\int }_{\left|k\right|\leqq K}{d}^{3}k{\left|k\right|}^{-1}|\langle U_K{\mathrm{\Psi }}_{N,t},N^{-1}\sum _{j=1}^N{e}^{ik{x}_j}{q}_j^t\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t}\rangle |\hfill \\ \hfill & \leqq 2{\int }_{\left|k\right|\leqq K}{d}^{3}k{\left|k\right|}^{-1}\Vert N^{-1}\sum _{j=1}^N{q}_j^t{e}^{-ik{x}_j}{U}_K{\mathrm{\Psi }}_{N,t}\Vert ∥\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right),U_K,{\mathrm{\Psi }}_{N,t}∥\hfill \\ \hfill & \leqq {\beta }_K^b(t)+{\int }_{\left|k\right|\leqq K}{d}^{3}k{\left|k\right|}^{-2}\Vert N^{-1}\sum _{j=1}^N{q}_j^t{e}^{-ik{x}_j}{U}_K{\mathrm{\Psi }}_{N,t}{\Vert }^2.\hfill \end{array}$$ 6.28

The last term is bounded by

$$\begin{array}{cc}& {\int }_{\left|k\right|\leqq K}{d}^{3}k{\left|k\right|}^{-2}\Vert N^{-1}\sum _{j=1}^N{q}_j^t{e}^{-ik{x}_j}{U}_K{\mathrm{\Psi }}_{N,t}{\Vert }^2\hfill \\ \hfill & \leqq 4\pi N^{-1}K+{\int }_{\left|k\right|\leqq K}{d}^{3}k{\left|k\right|}^{-2}\left|\mathrm{Re},,\langle ,q_2^t,e^{-ik{x}_2},U_K,{\mathrm{\Psi }}_{N,t},,,q_1^t,e^{-ik{x}_1},U_K,{\mathrm{\Psi }}_{N,t},\rangle \right|.\hfill \end{array}$$ 6.29

With $O_{1,2}={\left(1,-,{\mathrm{\Delta }}_2\right)}^{-1/2}{e}^{ik{x}_2}{\left(1,-,{\mathrm{\Delta }}_1\right)}^{1/2}{q}_2^t$ one has

$$\begin{array}{cc}\hfill e^{ik{x}_2}{q}_2^t{q}_1^t{e}^{-ik{x}_1}+e^{ik{x}_1}{q}_1^t{q}_2^t{e}^{-ik{x}_2}& =O_{2,1}^{\ast }{O}_{1,2}+O_{1,2}^{\ast }{O}_{2,1}\hfill \\ \hfill & \leqq O_{1,2}^{\ast }{O}_{1,2}+O_{2,1}^{\ast }{O}_{2,1}.\hfill \end{array}$$ 6.30

Thus, using the symmetry of the wave function and $e^{-ik{x}_2}{(1-{\mathrm{\Delta }}_2)}^{-1}{e}^{ik{x}_2}={({(-i{\mathrm{\nabla }}_2+k)}^2+1)}^{-1}$, we obtain the bound

$$\begin{array}{cc}& {\int }_{\left|k\right|\leqq K}{d}^{3}k{\left|k\right|}^{-2}\left|\mathrm{Re},,\langle ,q_2^t,e^{-ik{x}_2},U_K,{\mathrm{\Psi }}_{N,t},,,q_1,e^{-ik{x}_1},U_K,{\mathrm{\Psi }}_{N,t},\rangle \right|\hfill \\ \hfill & \leqq {\int }_{\left|k\right|\leqq K}{d}^{3}k{\left|k\right|}^{-2}\langle U_K{\mathrm{\Psi }}_{N,t},q_2^t{\left(1,-,{\mathrm{\Delta }}_1\right)}^{1/2}\hfill \\ \hfill & e^{-ik{x}_2}{\left(1,-,{\mathrm{\Delta }}_2\right)}^{-1}{e}^{ik{x}_2}{\left(1,-,{\mathrm{\Delta }}_1\right)}^{1/2}{q}_2^t{U}_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \\ \hfill & =\langle {\left(1,-,{\mathrm{\Delta }}_1\right)}^{1/2}{q}_2^t{U}_K{\mathrm{\Psi }}_{N,t},{\int }_{\left|k\right|\leqq K}{d}^{3}k\hfill \\ \hfill & {\left|k\right|}^{-2}{\left({\left(-,i,{\mathrm{\nabla }}_2,+,k\right)}^2,+,1\right)}^{-1}{\left(1,-,{\mathrm{\Delta }}_1\right)}^{1/2}{q}_2^t{U}_K{\mathrm{\Psi }}_{N,t}\rangle .\hfill \end{array}$$ 6.31

In combination with

$$\begin{array}{cc}& {∥{\int }_{\left|k\right|\leqq K},d^3,k,,{\left|k\right|}^{-2},{\left({\left(-,i,{\mathrm{\nabla }}_2,+,k\right)}^2,+,1\right)}^{-1}∥}_{\mathrm{op}}\hfill \\ \hfill & =\underset{p\in {\mathbb{R}}^3}{sup}{\int }_{\left|k\right|\leqq K}{d}^{3}k{\left|k\right|}^{-2}{\left({\left(p,+,k\right)}^2,+,1\right)}^{-1}<\infty \hfill \end{array}$$ 6.32

(compare with (6.9)) and Lemma 5.1 this gives

$$\begin{array}{cc}\hfill \left|(,6.21,\mathrm{d},)\right|& \leqq C\left({\beta }_K^b,(t),+,N^{-1},K,+,{∥{(1-{\mathrm{\Delta }}_2)}^{1/2},q_1^t,U_K,{\mathrm{\Psi }}_{N,t}∥}^2\right)\hfill \\ \hfill & \leqq C\left({\beta }_K^a,(t),+,{\beta }_K^b,(t),+,N^{-1},K,+,{∥{\mathrm{\nabla }}_2,q_1^t,U_K,{\mathrm{\Psi }}_{N,t}∥}^2\right)\hfill \\ \hfill & \leqq C\left({∥{\psi }_t∥}_{H^2}^2,+,{∥{\phi }_t∥}_{L_1^2}^2,+,|E_N^{\mathrm{F}}({\mathrm{\Psi }}_{N,t})|\right)\left({\beta }_K,(t),+,N^{-1},K^{-1},+,N^{-1},K\right).\hfill \end{array}$$ 6.33

Line (6.21e). We have

$$\begin{array}{cc}\hfill \left|(,6.21,\mathrm{e},)\right|& \leqq 4\int d^{3}k\left|k\right|\left|B_{K,x},(k)\right|∥\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right),U_K,{\mathrm{\Psi }}_{N,t}∥\hfill \\ \hfill & \times ∥\left(i,{\mathrm{\nabla }}_1,-,N^{-1/2},\mathrm{\Phi },(,k,B_{K,x_1},)\right),U_K,{\mathrm{\Psi }}_{N,t}∥\hfill \\ \hfill & \leqq C\sqrt{{\beta }_K^b(t)}∥\left(i,{\mathrm{\nabla }}_1,-,N^{-1/2},\mathrm{\Phi },(,k,B_{K,x_1},)\right),U_K,{\mathrm{\Psi }}_{N,t}∥\Vert \left|·\right|B_{K,x}\Vert .\hfill \end{array}$$ 6.34

By using (3.7), the symmetry of the wave function and (3.20), we get

$$\begin{array}{cc}\hfill \left|(,6.21,\mathrm{e},)\right|& \leqq C\left(∥{\mathrm{\nabla }}_1,U_K,{\mathrm{\Psi }}_{N,t}∥,+,∥\left|·\right|,B_{K,x_1}∥,∥N^{-1/2},\left(\mathcal{N},+,1\right),U_K,{\mathrm{\Psi }}_{N,t}∥\right)\left({\beta }_K^b,(t),+,K^{-1}\right)\hfill \\ \hfill & \leqq C\left(\langle ,U_K,{\mathrm{\Psi }}_{N,t},,,N^{-1},H_N^0,U_K,{\mathrm{\Psi }}_{N,t},{\rangle }^{1/2},+,1\right)\left({\beta }_K^b,(t),+,K^{-1}\right)\hfill \\ \hfill & \leqq C\left(\langle ,U_K,{\mathrm{\Psi }}_{N,t},,,(N^{-1}{H}_{N,K}^{\mathrm{G}}+C),U_K,{\mathrm{\Psi }}_{N,t},{\rangle }^{1/2},+,1\right)\left({\beta }_K^b,(t),+,K^{-1}\right).\hfill \end{array}$$ 6.35

In total, we thus arrive at

$$\begin{array}{cc}\hfill \left|\frac{\mathrm{d}}{\mathrm{d}t},{\beta }_K^b,({\mathrm{\Psi }}_{N,t},{\phi }_t)\right|& \leqq C\left({∥{\psi }_t∥}_{H^2}^2,+,{∥{\phi }_t∥}_{L_1^2}^2,+,|E_N^{\mathrm{F}}({\mathrm{\Psi }}_{N,t})|\right)\left({\beta }_K,(t),+,K^{-1},+,\frac{K}{N}\right).\hfill \end{array}$$ 6.36

Conclusion: We combine $\frac{\mathrm{d}}{\mathrm{d}t}{\beta }^c(t)=0$, (6.14) and (6.36) with Proposition (2.1) and $|E_N^{\mathrm{F}}({\mathrm{\Psi }}_{N,t})|=|E_N^{\mathrm{F}}({\mathrm{\Psi }}_N)|\leqq E_0$ in order to obtain (4.15).$\square$

Remaining Proofs

Proof of Lemma 4.1

To show the inequality (4.1), we use ${\gamma }_{U_K{\mathrm{\Psi }}_N}^{(1,0)}={\gamma }_{U_{K,x_1}{\mathrm{\Psi }}_N}^{(1,0)}$ with $U_{K,x_1}=exp(i{N}^{-1/2}\mathrm{\Pi }(B_{K,x_1}))$, which follows directly from (3.11) and the definition of the reduced density matrix. Hence,

$$\begin{array}{c}\hfill {\text{Tr}}_{L^2({\mathbb{R}}^3)}|{\gamma }_{{\mathrm{\Psi }}_N}^{(1,0)}-{\gamma }_{U_K{\mathrm{\Psi }}_N}^{(1,0)}|\leqq 2∥(U_{K,x_1}-1),{\mathrm{\Psi }}_N∥.\end{array}$$ 7.1

Using $∥(U_{K,x_1}-1),{\mathrm{\Psi }}_N∥=∥(U_{K,x_1}-1),U_K,{\mathrm{\Psi }}_N∥$, we obtain (4.1) from the bound

$$\begin{array}{c}\hfill ∥(U_{K,x_1}-1),U_K,{\mathrm{\Psi }}_N∥\leqq 2∥B_{K,x}∥∥(,\frac{\mathcal{N}+1}{N},{)}^{1/2},U_K,{\mathrm{\Psi }}_N∥,\end{array}$$ 7.2

together with $\mathcal{N}\leqq H_N^0$, (3.20) and (3.18). Inequality (7.2) follows from the spectral calculus for self-adjoint operators, using $1-U_{K,x}=f(N^{-1/2}\mathrm{\Pi }(B_{K,x}))$ with $f(s)=1-exp(is)$ in combination with $|f(s)|\leqq |s|$.

Using the properties of the Weyl operator (in particular (3.9) together with (3.11)) and

$$\begin{array}{cc}\hfill U_K\mathcal{N}{U}_K^{\ast }& =\mathcal{N}+N^{-1}\sum _{i,j=1}^N\langle B_{K,x_i},B_{K,x_j}\rangle +N^{-1/2}\sum _{j=1}^N\left(a,(B_{K,x_j}),+,a^{\ast },(B_{K,x_j})\right),\hfill \end{array}$$ 7.3

we have

$$\begin{array}{cc}& N^{-1}\left|\langle ,W^{\ast },(\sqrt{N}\phi ),{\mathrm{\Psi }}_N,,,(,\mathcal{N},-,U_K^{\ast },\mathcal{N},U_K,),W^{\ast },(\sqrt{N}\phi ),{\mathrm{\Psi }}_N,\rangle \right|\hfill \\ \hfill & =N^{-1}|\langle W^{\ast }(\sqrt{N}\phi )U_K{\mathrm{\Psi }}_N,(U_K\mathcal{N}{U}_K^{\ast }-\mathcal{N})W^{\ast }(\sqrt{N}\phi )U_K{\mathrm{\Psi }}_N\rangle \hfill \\ \hfill & \leqq {∥B_{K,x}∥}^2+2N^{-3/2}\sum _{j=1}^N∥a,\left(B_{K,x_j}\right),W^{\ast },(\sqrt{N}\phi ),U_K,{\mathrm{\Psi }}_N∥\hfill \\ \hfill & \leqq {∥B_{K,x}∥}^2+2∥B_{K,x}∥∥\phi ∥+2N^{-1/2}∥B_{K,x}∥∥{\mathcal{N}}^{1/2},U_K,{\mathrm{\Psi }}_N∥.\hfill \end{array}$$ 7.4

An application of (3.7) and (3.20) then leads to

$$\begin{array}{cc}\hfill (7.4)& \leqq C(1+∥\phi ∥)∥B_{K,x}∥(1+\langle U_K{\mathrm{\Psi }}_N,N^{-1}{H}_N^0{U}_K{\mathrm{\Psi }}_N{\rangle }^{1/2})\hfill \\ \hfill & \leqq C{K}^{-3/2}(1+∥\phi ∥)\langle U_K{\mathrm{\Psi }}_N,(N^{-1}{H}_{N,K}^{\mathrm{G}}+C)U_K{\mathrm{\Psi }}_N{\rangle }^{1/2}.\hfill \end{array}$$ 7.5

In combination with (3.18), this shows (4.2). $\square$

Proof of Proposition 2.2

Throughout this section, we set ${\xi }_N={\psi }^{\otimes N}\otimes W(\sqrt{N}\phi )\mathrm{\Omega }$. The bound on the energy follows from

$$\begin{array}{c}\hfill \langle {\mathrm{\Psi }}_N,H_N^{\mathrm{F}}{\mathrm{\Psi }}_N\rangle =\langle {\xi }_N,H_{N,K}^{\mathrm{G}}{\xi }_N\rangle =\langle {\xi }_N,(H_{N,K}^{\mathrm{F}}+\sum _{j=1}^N{A}_{K,x_j}+\sum _{j,l=1}^N{V}_K(x_j-x_l)){\xi }_N\rangle \end{array}$$ 7.6

in combination with (3.17), (A.2) and

$$\begin{array}{cc}\hfill \left|\langle ,{\xi }_N,,,H_{N,K}^{\mathrm{F}},{\xi }_N,\rangle \right|& =N\left|\langle ,\psi ,,,\left(-,\mathrm{\Delta },+,{\mathrm{\Phi }}_K,(·,0)\right),\psi ,\rangle ,+,{∥\phi ∥}^2\right|\leqq CN\left({∥\psi ∥}_{H^1}^2,+,{∥\phi ∥}^2\right).\hfill \end{array}$$ 7.7

In (7.7), we used the shift property of the Weyl operators (3.10).

For the bound on $a({\mathrm{\Psi }}_N,\psi )$, we note that

$$\begin{array}{c}\hfill {\text{Tr}}_{L^2({\mathbb{R}}^3)}\left|{\gamma }_{{\mathrm{\Psi }}_N}^{(1,0)},-,|\psi ⟩⟨\psi |\right|={\text{Tr}}_{L^2({\mathbb{R}}^3)}\left|{\gamma }_{{\mathrm{\Psi }}_N}^{(1,0)},-,{\gamma }_{U_K{\mathrm{\Psi }}_N}^{(1,0)}\right|\end{array}$$ 7.8

since $|\psi ⟩⟨\psi |={\gamma }_{{\xi }_N}^{(1,0)}$ and ${\xi }_N=U_K{\mathrm{\Psi }}_N$. Applying Lemma (4.1), we obtain the stated estimate. The bound on $b({\mathrm{\Psi }}_N,\phi )$ follows readily from (3.12),

$$\begin{array}{cc}\hfill b({\mathrm{\Psi }}_N,\phi )& =N^{-1}\int d^{3}k{∥a_k,,U_K^{\ast },({\psi }^{\otimes N}\otimes \mathrm{\Omega })∥}^2\leqq {∥B_{K,x}∥}^2\leqq C{K}^{-3}.\hfill \end{array}$$ 7.9

We are thus left with the bound for $c({\mathrm{\Psi }}_N)$, which we write with the aid of (3.18) as

$$\begin{array}{c}\hfill c({\mathrm{\Psi }}_N)={∥N^{-1},\left(H_{N,K}^{\mathrm{G}},-,\langle ,{\xi }_N,,,H_{N,K}^{\mathrm{G}},{\xi }_N,\rangle \right),{\xi }_N∥}^2.\end{array}$$ 7.10

Recalling Definition 3.1 and using the triangle inequality, we get

$$\begin{array}{cc}\hfill ∥\left(H_{N,K}^{\mathrm{G}},-,\langle ,{\xi }_N,,,H_{N,K}^{\mathrm{G}},{\xi }_N,\rangle \right),{\xi }_N∥& \leqq ∥\left(H_{N,K}^{\mathrm{F}},-,\langle ,{\xi }_N,,,H_{N,K}^{\mathrm{F}},{\xi }_N,\rangle \right),{\xi }_N∥\hfill \\ \hfill & +2∥\sum _{j=1}^N,A_{K,x_j},{\xi }_N∥+2∥\sum _{j,l=1}^N,V_K,(x_j-x_l),{\xi }_N∥.\hfill \end{array}$$ 7.11

After a lengthy but straightforward computation, using the shift property (3.10) and the fact that ${\mathrm{\Delta }}_x$ commutes with $W(\sqrt{N}\phi )$, we find that

$$\begin{array}{cc}& \frac{1}{N}{∥\left(H_{N,K}^{\mathrm{F}},-,\langle ,{\xi }_N,,,H_{N,K}^{\mathrm{F}},{\xi }_N,\rangle \right),{\xi }_N∥}^2\hfill \\ \hfill & ={∥\phi ∥}^2+\langle \psi ,{(-\mathrm{\Delta })}^2\psi \rangle -\langle \psi ,(-\mathrm{\Delta })\psi {\rangle }^2+N^{-1}\langle \psi ,{∥G_{K,x}∥}^2\psi \rangle \hfill \\ \hfill & +(1-N^{-1}){∥\langle ,\psi ,,,G_{K,x},\psi ,\rangle ∥}^2+4\langle \psi ,{(\mathrm{Re}\langle G_{K,x},\phi \rangle )}^2\psi \rangle -4\langle \psi ,\mathrm{Re}\langle G_{K,x},\phi \rangle \psi {\rangle }^2\hfill \\ \hfill & +2\mathrm{Re}\langle \psi ,\langle \phi ,G_{K,x}\rangle \psi \rangle +2(\langle \psi ,(-{\mathrm{\Delta }}_x)\mathrm{Re}\langle G_{K,x},\phi \rangle \psi \rangle +\text{c.c.})\hfill \\ \hfill & -4\langle \psi ,(-\mathrm{\Delta })\psi \rangle \langle \psi ,\mathrm{Re}\langle G_{K,x},\phi \rangle \psi \rangle .\hfill \end{array}$$ 7.12

We shall show that the right hand side is bounded from above by a constant times $1+K{N}^{-1}$, with the constant depending only on ${∥\psi ∥}_{H^2}$ and ${∥\phi ∥}_{L_1^2}$. For the first four summands (i.e., the terms in the first line), this is obvious (recall (3.7)). In the fifth summand, we can use (6.23) to conclude that

${∥\langle ,\psi ,,,G_{K,x},\psi ,\rangle ∥}^2\leqq C$ independently of K. For each of the remaining terms on the right side of (7.12), we use

$$\begin{array}{c}\hfill \left|\langle ,G_{K,x},,,\phi ,\rangle \right|\leqq {∥{(1+\left|,·,\right|)}^{-1},G_{K,x}∥}_2∥(,1,+,\left|,·,\right|,),\phi ∥,\end{array}$$ 7.13

which is bounded by $C{∥\phi ∥}_{L_1^2}$. Hence, we find

$$\begin{array}{c}\hfill {∥N^{-1},\left(H_{N,K}^{\mathrm{F}},-,\langle ,{\xi }_N,,,H_{N,K}^{\mathrm{F}},{\xi }_N,\rangle \right),{\xi }_N∥}^2\leqq C(N^{-1}+K{N}^{-2}).\end{array}$$ 7.14

Next, we use

$$\begin{array}{c}\hfill \frac{1}{N}∥\sum _{j=1}^N,A_{K,x_j},{\xi }_N∥\leqq ∥A_{K,x_1},{\xi }_N∥,\end{array}$$ 7.15

and recalling (3.13) we estimate (with ${\tilde{\mathrm{\Psi }}}_N={\psi }^{\otimes N}\otimes \mathrm{\Omega }$)

$$\begin{array}{cc}& ∥N^{-1/2},{\mathrm{\nabla }}_1,·,a,(,k,B_{K,x_1},),W,(\sqrt{N}\phi ),{\tilde{\mathrm{\Psi }}}_N∥\hfill \\ \hfill & =∥{\mathrm{\nabla }}_1,·,\int ,d,k,,k,\overline{B_{K,x_1}(k)},\phi ,(k),{\tilde{\mathrm{\Psi }}}_N∥\hfill \\ \hfill & \leqq ∥\int ,d,k,,k^2,\overline{B_{K,x_1}(k)},\phi ,(k),{\tilde{\mathrm{\Psi }}}_N∥+∥\int ,d,k,,k,\overline{B_{K,x_1}(k)},\phi ,(k),{\mathrm{\nabla }}_1,{\tilde{\mathrm{\Psi }}}_N∥\hfill \\ \hfill & \leqq {∥\left|·\right|,B_{K,x}∥}_2(∥\left|·\right|,\phi ∥+∥\phi ∥{∥\psi ∥}_{H^1})\leqq C{K}^{-1/2}.\hfill \end{array}$$ 7.16

Similarly, we also have

$$\begin{array}{cc}\hfill ∥N^{-1/2},a^{\ast },(,k,B_{K,x_1},),·,{\mathrm{\nabla }}_1,W,(\sqrt{N}\phi ),{\tilde{\mathrm{\Psi }}}_N∥& =∥\int ,d,k,,k,,B_{K_N,x_1},(k),(,N^{-1/2},a_k^{\ast },+,\overline{\phi (k)},),·,{\mathrm{\nabla }}_1,{\tilde{\mathrm{\Psi }}}_N∥\hfill \\ \hfill & \leqq ∥\left|·\right|,B_{K,x}∥(N^{-1/2}{∥\psi ∥}_{H^1}+∥\phi ∥∥\mathrm{\nabla },\psi ∥)\leqq C{K}^{-1/2}.\hfill \end{array}$$ 7.17

In order to estimate the term containing $\mathrm{\Phi }{(k{B}_{K,x})}^2$, consider

$$\begin{array}{cc}\hfill W^{\ast }(\sqrt{N}\phi )\mathrm{\Phi }(k{B}_{K,x_1})W(\sqrt{N}\phi )& =\mathrm{\Phi }(k{B}_{K,x_1})+2\sqrt{N}\mathrm{Re}\langle k{B}_{K,x_1},\phi \rangle ,\hfill \end{array}$$ 7.18

and thus

$$\begin{array}{cc}& ∥N^{-1},\mathrm{\Phi },{(k{B}_{K,x_1})}^2,W,(\sqrt{N}\phi ),{\tilde{\mathrm{\Psi }}}_N∥\hfill \\ \hfill & =N^{-1}∥(,\mathrm{\Phi },(k{B}_{K,x_1}),+,2,\sqrt{N},\mathrm{Re},\langle ,k,B_{K,x_1},,,\phi ,\rangle ,{)}^2,{\tilde{\mathrm{\Psi }}}_N∥\hfill \\ \hfill & \leqq 2N^{-1}∥\mathrm{\Phi },{(k{B}_{K,x_1})}^2,{\tilde{\mathrm{\Psi }}}_N∥+8{|\langle |k{B}_{K,x_1}|,|\phi |\rangle |}^2.\hfill \end{array}$$ 7.19

In the last line, we use (3.7) to obtain

$$\begin{array}{c}\hfill ∥\mathrm{\Phi },{(k{B}_{K,x_1})}^2,{\tilde{\mathrm{\Psi }}}_N∥=\sqrt{3}{∥k,B_{K,x}∥}^2\leqq C{K}^{-1}.\end{array}$$ 7.20

Finally, using (3.17), we estimate

$$\begin{array}{c}\hfill N^{-1}∥\sum _{j,l=1}^N,V_K,(x_j-x_l),{\xi }_N∥\leqq N^{-1}\sum _{j,l=1}^N∥V_K,(x_j-x_l),{\xi }_N∥\leqq C{K}^{-1},\end{array}$$ 7.21

which completes the proof of the proposition. $\square$

Proof of Theorem 2.2

Given Theorem 2.1, (2.19) follows from (4.1) together with the bound

$$\begin{array}{c}\hfill ∥(1-U_K),{\mathrm{\Psi }}_N∥\leqq \frac{\mathit{CN}}{K^{3/2}}∥(,\frac{H_{N,K}^{\mathrm{G}}+CN}{N},{)}^{1/2},{\mathrm{\Psi }}_N∥,{\mathrm{\Psi }}_N\in \mathcal{D}(H_N^0).\end{array}$$ 7.22

The latter follows from $\mathcal{N}\leqq H_N^0$, (3.20) and the functional calculus for self-adjoint operators, using $1-U_K=f(N^{-1/2}{\sum }_{j=1}^N\mathrm{\Pi }(B_{K,x_j}))$ with $f(s)=1-exp(is)$ and the bound $|f(s)|\leqq |s|$. In more detail, let ${\mathrm{\Psi }}_{N,t}$ as in Theorem 2.2 and denote ${\mathrm{\Phi }}_{N,t}=e^{-i{H}_N^{\mathrm{F}}t}{U}_K^{\ast }{\mathrm{\Psi }}_{N,0}$. Then, using (7.22),

$$\begin{array}{cc}\hfill {\text{Tr}}_{L^2({\mathbb{R}}^3)}\left|{\gamma }_{{\mathrm{\Psi }}_{N,t}}^{(1,0)},-,{\gamma }_{{\mathrm{\Phi }}_{N,t}}^{(1,0)}\right|& \leqq 2∥e^{-i{H}_N^{\mathrm{F}}t},({\mathrm{\Psi }}_{N,0}-{\mathrm{\Phi }}_{N,0})∥=2∥(1-U_K),{\mathrm{\Psi }}_{N,0}∥\hfill \\ \hfill & \leqq \frac{\mathit{CN}}{K^{3/2}},\hfill \end{array}$$ 7.23

and the triangle inequality,

$$\begin{array}{c}\hfill {\text{Tr}}_{L^2({\mathbb{R}}^3)}\left|{\gamma }_{{\mathrm{\Psi }}_{N,t}}^{(1,0)},-|,{\psi }_t,⟩⟨,{\psi }_t,|\right|\leqq \frac{\mathit{CN}}{K^{3/2}}+{\text{Tr}}_{L^2({\mathbb{R}}^3)}\left|{\gamma }_{{\mathrm{\Phi }}_{N,t}}^{(1,0)},-|,{\psi }_t,⟩⟨,{\psi }_t,|\right|.\end{array}$$ 7.24

Since ${\mathrm{\Phi }}_{N,0}\in \mathcal{D}(H_N^{\mathrm{F}})$ and $E_0={sup}_{N\in \mathbb{N}}|N^{-1}\langle {\mathrm{\Phi }}_{N,0},H_N^{\mathrm{F}}{\mathrm{\Phi }}_{N,0}\rangle |<\infty$ by assumption, we infer with Theorem 2.1 that

$$\begin{array}{cc}& {\text{Tr}}_{L^2({\mathbb{R}}^3)}\left|{\gamma }_{{\mathrm{\Phi }}_{N,t}}^{(1,0)},-|,{\psi }_t,⟩⟨,{\psi }_t,|\right|\hfill \\ \hfill & \leqq \sqrt{a({\mathrm{\Phi }}_{N,0},\psi )+b({\mathrm{\Phi }}_{N,0},\phi )+c({\mathrm{\Phi }}_{N,0})+N^{-1/2}}{e}^{C{(1+\left|t\right|)}^3}.\hfill \end{array}$$ 7.25

Using Lemma 4.1, we have

$$\begin{array}{c}\hfill a({\mathrm{\Phi }}_{N,0},\psi )\leqq a({\mathrm{\Psi }}_{N,0},\psi )+C{K}^{-3/2},b({\mathrm{\Phi }}_{N,0},\phi )\leqq b({\mathrm{\Psi }}_{N,0},\phi )+C{K}^{-3/2},\end{array}$$ 7.26

which proves the first bound in Theorem 2.2 if we set $K=K_N\ge c{N}^{5/6}$.

In order to prove (2.20), we estimate

$$\begin{array}{cc}& \langle W^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t},\sqrt{\frac{\mathcal{N}}{N}}{W}^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t}\rangle \hfill \\ \hfill & \leqq |\langle W^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t},\sqrt{\frac{\mathcal{N}}{N}}{W}^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Phi }}_{N,t}\rangle |\hfill \end{array}$$ 7.27a

$$\begin{array}{cc}& +|\langle W^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t},\sqrt{\frac{\mathcal{N}}{N}}{W}^{\ast }(\sqrt{N}{\phi }_t)({\mathrm{\Psi }}_{N,t}-{\mathrm{\Phi }}_{N,t})\rangle |\hfill \end{array}$$ 7.27b

with ${\mathrm{\Phi }}_{N,t}$ defined as above. In the first line, we use the Cauchy–Schwarz inequality and apply Theorem 2.1 to ${\mathrm{\Phi }}_{N,t}$, i.e.,

$$\begin{array}{cc}\hfill {∥\sqrt{\frac{\mathcal{N}}{N}},W^{\ast },(\sqrt{N}{\phi }_t),{\mathrm{\Phi }}_{N,t}∥}^2& \leqq (a({\mathrm{\Phi }}_{N,0},\psi )+b({\mathrm{\Phi }}_{N,0},\phi )+c({\mathrm{\Phi }}_{N,0})+N^{-1/2})e^{C{(1+\left|t\right|)}^3}\hfill \\ \hfill & \leqq (a({\mathrm{\Psi }}_{N,0},\psi )+b({\mathrm{\Psi }}_{N,0},\phi )+c({\mathrm{\Phi }}_{N,0})+K^{-3/2}+N^{-1/2})e^{C{(1+\left|t\right|)}^3},\hfill \end{array}$$ 7.28

where we made use of (7.26) in the second step. In (7.27b), we estimate

$$\begin{array}{c}\hfill ∥{\mathrm{\Psi }}_{N,t},-,{\mathrm{\Phi }}_{N,t}∥\leqq ∥(1-U_K),{\mathrm{\Psi }}_{N,0}∥\leqq \frac{\mathit{CN}}{K^{3/2}}∥(,\frac{H_{N,K}^{\mathrm{G}}+CN}{N},{)}^{1/2},{\mathrm{\Psi }}_{N,0}∥,\end{array}$$ 7.29

together with

$$\begin{array}{c}\hfill ∥\sqrt{\frac{\mathcal{N}}{N}},W^{\ast },(\sqrt{N}\phi ),{\mathrm{\Psi }}_{N,t}∥\leqq C(∥(,\frac{H_{N,K}^{\mathrm{G}}+CN}{N},{)}^{1/2},{\mathrm{\Psi }}_{N,0}∥+∥{\phi }_t∥),\end{array}$$ 7.30

which for $K=K_N\geqq c{N}^{5/6}$ proves (2.20). In order to show (7.30), we use the commutation relations (3.10) and $2\mathrm{\Phi }(\sqrt{N}{\phi }_t)\leqq \mathcal{N}+N{∥{\phi }_t∥}^2$, in order to find

$$\begin{array}{c}\hfill \langle W^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t},\mathcal{N}{W}^{\ast }(\sqrt{N}{\phi }_t){\mathrm{\Psi }}_{N,t}\rangle \leqq 2(\langle {\mathrm{\Psi }}_{N,t},\mathcal{N}{\mathrm{\Psi }}_{N,t}\rangle +N{∥{\phi }_t∥}^2).\end{array}$$ 7.31

Using (3.19) in combination with (3.20) leads to

$$\begin{array}{cc}\hfill \mathcal{N}\leqq H_N^0\leqq 2H_N^{\mathrm{F}}+CN& =e^{-i{H}_N^{\mathrm{F}}t}(2H_N^{\mathrm{F}}+CN)e^{i{H}_N^{\mathrm{F}}t}\hfill \\ \hfill & \leqq C{e}^{-i{H}_N^{\mathrm{F}}t}(H_{N,K}^{\mathrm{G}}+CN)e^{i{H}_N^{\mathrm{F}}t}.\hfill \end{array}$$ 7.32

It remains to show (2.21) and (2.22): For the Pekar state ${\mathrm{\Psi }}_N={\psi }^{\otimes N}\otimes W(\sqrt{N}\phi )\mathrm{\Omega }$, we have

$$\begin{array}{c}\hfill a({\mathrm{\Psi }}_N,\psi )=0,b({\mathrm{\Psi }}_N,\phi )=0,c(U_K^{\ast }{\mathrm{\Psi }}_N)\leqq C(N^{-1}+K^{-1}+\frac{K}{N^2}),\end{array}$$ 7.33

where the last bound was proven in Proposition 2.2. Thus, if we choose $K=K_N=cN$, we obtain (2.21) and (2.22). $\square$

Auxiliary Bounds

In this appendix, we collect bounds on the interaction terms of the Hamiltonians $H_N^{\mathrm{F}}$ and $H_{N,K}^{\mathrm{G}}$ and derive the frequently used inequalities (3.19) and (3.20). After that we comment on the proof of Lemma 3.1.

Lemma A.1

For every $\epsilon >0$, $K\in (0,\infty ]$, $N\in \mathbb{N}$ and $j\in \{1,\dots ,N\}$, we have

$$\begin{array}{cc}\hfill \pm N^{-1/2}\mathrm{\Phi }(G_{K,x_j})& \leqq \epsilon \left(-,{\mathrm{\Delta }}_j,+,\frac{\mathcal{N}+1}{N}\right)+2\frac{{(16\pi )}^2}{{\epsilon }^3}\hfill \end{array}$$ A.1

on $L^2({\mathbb{R}}^{3N})\otimes {\mathcal{F}}_s$. Moreover, with $A_{K,x}$ defined in Definition 3.1,

$$\begin{array}{cc}\hfill \pm A_{K,x_j}& \leqq \sqrt{\frac{64\pi }{K}}\left(-,{\mathrm{\Delta }}_j,+,N^{-1},\mathcal{N}\right)+\frac{16\pi }{\mathit{NK}}.\hfill \end{array}$$ A.2

Proof

To prove (A.1), we use again the commutator method by Lieb and Yamazaki [26]. Using (3.4) and (3.7), we have

$$\begin{array}{cc}\hfill \left|\langle ,{\mathrm{\Psi }}_N,,,N^{-1/2},\mathrm{\Phi },(G_{K,x_j}),{\mathrm{\Psi }}_N,\rangle \right|& \leqq \frac{4\pi K}{\epsilon }{∥{\mathrm{\Psi }}_N∥}^2+\epsilon N^{-1}\langle {\mathrm{\Psi }}_N,(\mathcal{N}+1){\mathrm{\Psi }}_N\rangle ,\hfill \end{array}$$ A.3

which proves (A.1) for $K\leqq 64\pi /{\epsilon }^2$. In the case $K>64\pi /{\epsilon }^2$, we write $\mathrm{\Phi }(G_{K,x_j})=\mathrm{\Phi }(G_{K^{\prime },x_j})+(\mathrm{\Phi }(G_{K,x_j})-\mathrm{\Phi }(G_{K^{\prime },x_j}))$ with $K^{\prime }=16\pi /{\epsilon }^2$. For the first summand, we use (A.3) with K replaced by $K^{\prime }$ and $\epsilon$ replaced by $\epsilon /2$, while for the remainder, write

$$\begin{array}{c}\hfill \langle {\mathrm{\Psi }}_N,(\mathrm{\Phi }(G_{K,x_j})-\mathrm{\Phi }(G_{K^{\prime },x_j})){\mathrm{\Psi }}_N\rangle =\langle {\mathrm{\Psi }}_N,[{\mathrm{\nabla }}_j,\mathrm{\Phi }(g_{x_j})]{\mathrm{\Psi }}_N\rangle \end{array}$$ A.4

with $g_x(k)=ik{|k|}^{-3}{e}^{-ikx}{\mathbb{1}}_{K^{\prime }\leqq |k|\leqq K}(k)$. The absolute value of the last expression is bounded from above by

$$\begin{array}{c}\hfill 4∥{\mathrm{\nabla }}_j,{\mathrm{\Psi }}_N∥\Vert g_x\Vert ∥\sqrt{\mathcal{N}+1},{\mathrm{\Psi }}_N∥\leqq 2N^{1/2}∥g_x∥\langle {\mathrm{\Psi }}_N,(-{\mathrm{\Delta }}_j+\frac{\mathcal{N}+1}{N}){\mathrm{\Psi }}_N\rangle .\end{array}$$ A.5

Using $∥g_x∥\le \sqrt{4\pi /K^{\prime }}=\frac{\epsilon }{4}$ shows (A.1).

To show (A.2), we use ${∥\left|·\right|,B_{K,x_j}∥}^2\leqq 4\pi K^{-1}$ and

$$\begin{array}{cc}& \left|\langle ,{\mathrm{\Psi }}_N,,,A_{K,x_j},{\mathrm{\Psi }}_N,\rangle \right|\hfill \\ \hfill & \leqq 4N^{-1/2}\left|\langle ,{\mathrm{\nabla }}_j,{\mathrm{\Psi }}_N,,,a,(,k,B_{K,x_j},),{\mathrm{\Psi }}_N,\rangle \right|+N^{-1}{∥\mathrm{\Phi },(,k,B_{K,x_j},),{\mathrm{\Psi }}_N∥}^2\hfill \\ \hfill & \leqq 4N^{-1/2}∥{\mathrm{\nabla }}_j,{\mathrm{\Psi }}_N∥∥\left|·\right|,B_{K,x}∥∥{\mathcal{N}}^{1/2},{\mathrm{\Psi }}_N∥+4N^{-1}{∥\left|·\right|,B_{K,x}∥}^2{∥{\left(\mathcal{N},+,1\right)}^{1/2},{\mathrm{\Psi }}_N∥}^2\hfill \\ \hfill & \leqq \sqrt{\frac{16\pi }{K}}\langle {\mathrm{\Psi }}_N,\left(-,{\mathrm{\Delta }}_j,+,N^{-1},\mathcal{N}\right){\mathrm{\Psi }}_N\rangle +\frac{16\pi }{K}\langle {\mathrm{\Psi }}_N,\frac{\mathcal{N}+1}{N}{\mathrm{\Psi }}_N\rangle .\hfill \end{array}$$ A.6

$\square$

The previous lemma readily implies the validity of the bounds (3.19) and (3.20). With

$$\begin{array}{c}\hfill H_N^{\mathrm{F}}=H_N^0+N^{-1/2}\sum _{j=1}^N\mathrm{\Phi }(G_{\infty ,x_j}),\end{array}$$ A.7

we can use (A.1) with $\epsilon =1/2$ in order to infer (3.19). Using in addition (3.17) and (A.2), one similarly obtains (3.20).$\square$

Comment on the proof of Lemma 3.1.

As already explained, Lemma 3.1 was stated and proved in [16] for the case $N=1$. Since the statement $N\ge 2$ can be proven by almost literal adaption of the argument from [16] (with obvious minor modifications), we omit all details except for the proof of the following lemma. The bound given in the lemma is one of the main ingredients in the proof, and in particular its N-dependence is crucial since it guarantees that we can choose $\tilde{K}$ in Lemma 3.1 independently of N.

Lemma A.2

For any $\epsilon >0$ there are $K_{\epsilon }>0$ and $C_{\epsilon }>0$ such that for all $N\in \mathbb{N}$, $K\geqq K_{\epsilon }$ and any ${\mathrm{\Psi }}_N\in \mathcal{D}(H_N^0)$,

$$\begin{array}{c}\hfill ∥\left(H_{N,K}^{\mathrm{G}},-,H_N^0\right),{\mathrm{\Psi }}_N∥\leqq \epsilon ∥H_N^0,{\mathrm{\Psi }}_N∥+C_{\epsilon }KN∥{\mathrm{\Psi }}_N∥.\end{array}$$ A.8

Proof

We estimate each term in

$$\begin{array}{cc}\hfill H_{N,K}^{\mathrm{G}}-H_N^0& =\sum _{j=1}^N\left(N^{-1/2},\mathrm{\Phi },(G_{K,x_j}),+,A_{K,x_j}\right)+\sum _{j,l=1}^N{V}_K(x_j-x_l)\hfill \end{array}$$ A.9

separately. Using (3.4), $∥G_{K,x}∥\leqq C\sqrt{K}$ and ${∥{\mathcal{N}}^{1/2},{\mathrm{\Psi }}_N∥}^2\leqq ∥H_N^0,{\mathrm{\Psi }}_N∥∥{\mathrm{\Psi }}_N∥$, we have

$$\begin{array}{cc}\hfill N^{-1/2}\sum _{j=1}^N∥\mathrm{\Phi },\left(G_{K,x_j}\right),{\mathrm{\Psi }}_N∥& \leqq C\sqrt{\mathit{KN}}\left(∥{\mathcal{N}}^{1/2},{\mathrm{\Psi }}_N∥,+,∥{\mathrm{\Psi }}_N∥\right)\hfill \\ \hfill & \leqq \delta ∥H_N^0,{\mathrm{\Psi }}_N∥+CKN\left(1,+,{\delta }^{-1}\right)∥{\mathrm{\Psi }}_N∥\hfill \end{array}$$ A.10

for any $\delta >0$. The norm of ${\sum }_{j,l=1}^N{V}_K(x_j-x_l){\mathrm{\Psi }}_N$ can be bounded using (3.17). From (3.13) we see that the remaining terms to estimate are

$$\begin{array}{cc}\hfill N^{-1}\sum _{j=1}^N∥\mathrm{\Phi },{\left(k,B_{K,x_j}\right)}^2,{\mathrm{\Psi }}_N∥& \leqq C{K}^{-1}∥\left(\mathcal{N},+,1\right),{\mathrm{\Psi }}_N∥\hfill \\ \hfill & \leqq C{K}^{-1}\left(∥H_N^0,{\mathrm{\Psi }}_N∥,+,∥{\mathrm{\Psi }}_N∥\right),\hfill \end{array}$$ A.11

where we have used (3.4) and (3.7). Similarly, we have

$$\begin{array}{cc}\hfill 2N^{-1/2}\sum _{j=1}^N∥a^{\ast },\left(k,B_{K,x_j}\right),{\mathrm{\nabla }}_j,{\mathrm{\Psi }}_N∥& \leqq C\sqrt{N{K}^{-1}}∥\sqrt{\mathcal{N}+1},{\mathrm{\nabla }}_j,{\mathrm{\Psi }}_N∥\hfill \\ \hfill & \leqq C{K}^{-1/2}\left(∥H_N^0,{\mathrm{\Psi }}_N∥,+,∥{\mathrm{\Psi }}_N∥\right)\hfill \end{array}$$ A.12

and

$$\begin{array}{cc}\hfill 2N^{-1/2}\sum _{j=1}^N∥{\mathrm{\nabla }}_j,a,(k{B}_{K,x_j}),{\mathrm{\Psi }}_N∥& \leqq 2N^{-1/2}\sum _{j=1}^N\left(∥a,(k{B}_{K,x_j}),{\mathrm{\nabla }}_j,{\mathrm{\Psi }}_N∥,+,∥a,({\left|k\right|}^2{B}_{K,x_j}),{\mathrm{\Psi }}_N∥\right)\hfill \\ \hfill & \leqq C{K}^{-1/2}∥H_N^0,{\mathrm{\Psi }}_N∥+2N^{1/2}∥a,({\left|k\right|}^2{B}_{K,x_1}),{\mathrm{\Psi }}_N∥.\hfill \end{array}$$ A.13

In order to estimate the second summand, we use

$$\begin{array}{c}\hfill a^{\ast }({\left|k\right|}^2{B}_{K,x_1})a({\left|k\right|}^2{B}_{K,x_1})\leqq {\tilde{C}}_K(1-{\mathrm{\Delta }}_1)\mathcal{N},\end{array}$$ A.14

where

$$\begin{array}{c}\hfill {\tilde{C}}_K=\underset{h\in {\mathbb{R}}^3}{sup}{\int }_{\left|k\right|\geqq K}{d}^{3}k\frac{1}{(1+{\left|k\right|}^2){\left(1,+,(,h,-,k\right)}^2)}.\end{array}$$ A.15

The bound (A.14) is analogous to (6.8) and can be proven in the same way as [10, Lemma 10] (see also [15, Lemma B.5]). If one estimates the integral in (A.15) using the Cauchy–Schwarz inequality one sees that ${\tilde{C}}_K\to 0$ for $K\to \infty$. We thus have

$$\begin{array}{cc}\hfill 2N^{1/2}∥a,({\left|k\right|}^2{B}_{K,x_j}),{\mathrm{\Psi }}_N∥& \leqq 2{\tilde{C}}_K{N}^{1/2}∥{\left(1,-,{\mathrm{\Delta }}_j\right)}^{1/2},{\mathcal{N}}^{1/2},{\mathrm{\Psi }}_N∥\hfill \\ \hfill & =2{\tilde{C}}_K\langle {\mathrm{\Psi }}_N,\mathcal{N}{\sum }_{j=1}^N\left(1,-,{\mathrm{\Delta }}_j\right){\mathrm{\Psi }}_N{\rangle }^{1/2}\hfill \\ \hfill & \leqq {\tilde{C}}_K\left(∥H_N^0,{\mathrm{\Psi }}_N∥,+,N,∥{\mathrm{\Psi }}_N∥\right),\hfill \end{array}$$ A.16

and hence,

$$\begin{array}{cc}\hfill 2N^{-1/2}\sum _{j=1}^N∥{\mathrm{\nabla }}_j,a,\left(k,B_{K,x_j}\right),{\mathrm{\Psi }}_N∥& \leqq \left({\tilde{C}}_K,+,C,K^{-1/2}\right)\left(∥H_N^0,{\mathrm{\Psi }}_N∥,+,N,∥{\mathrm{\Psi }}_N∥\right).\hfill \end{array}$$ A.17

Choosing K large enough and $\delta$ sufficiently small completes the proof of the lemma. $\square$

Time Derivative of ${\beta }_K^b(t)$

Because of the unboundedness of the annihilation operator, it is not directly obvious that one can use the product rule of differentiation to obtain (6.15a) and (6.15b). Its rigorous justification relies on the estimate (for ${\chi }_N\in \mathcal{D}(H_N^0)$)

$$\begin{array}{cc}\hfill ∥\mathcal{N},{\chi }_N∥& \leqq ∥H_N^0,{\chi }_N∥\leqq 2∥H_{N,K}^{\mathrm{G}},{\chi }_N∥+CKN∥{\chi }_N∥,\hfill \end{array}$$ B.1

which follows from Lemma A.2. Since $U_K{\mathrm{\Psi }}_{N,t}=e^{-i{H}_{N,K}^{\mathrm{G}}t}{U}_K{\mathrm{\Psi }}_{N,0}$, this together with the strong continuity of $e^{-i{H}_{N,K}^{\mathrm{G}}t}$ implies

$$\begin{array}{c}\hfill \underset{h\to 0}{lim}∥\left(\mathcal{N},+,1\right),U_K,\left({\mathrm{\Psi }}_{N,t+h},-,{\mathrm{\Psi }}_{N,t}\right)∥=0\text{for all}{U}_K{\mathrm{\Psi }}_{N,0}\in \mathcal{D}\left(H_N^0\right).\end{array}$$ B.2

Note that

$$\begin{array}{cc}\hfill {\beta }_K^b({\mathrm{\Psi }}_{N,t+h},{\phi }_{t+h})-{\beta }_K^b({\mathrm{\Psi }}_{N,t},{\phi }_t)& ={\beta }_K^b({\mathrm{\Psi }}_{N,t+h},{\phi }_t)-{\beta }_K^b({\mathrm{\Psi }}_{N,t},{\phi }_t)\hfill \end{array}$$ B.3a

$$\begin{array}{cc}& +{\beta }_K^b({\mathrm{\Psi }}_{N,t+h},{\phi }_{t+h})-{\beta }_K^b({\mathrm{\Psi }}_{N,t+h},{\phi }_t)\hfill \end{array}$$ B.3b

and that the first line is given by

$$\begin{array}{cc}\hfill (\mathrm{B}.3\mathrm{a})& =2N^{-1}\mathrm{Re}\langle W(\sqrt{N}{\phi }_t)\mathcal{N}{W}^{\ast }(\sqrt{N}{\phi }_t)U_K{\mathrm{\Psi }}_{N,t},U_K\left({\mathrm{\Psi }}_{N,t+h},-,{\mathrm{\Psi }}_{N,t}\right)\rangle \hfill \\ \hfill & +N^{-1}\langle W(\sqrt{N}{\phi }_t)\mathcal{N}{W}^{\ast }(\sqrt{N}{\phi }_t)U_K\left({\mathrm{\Psi }}_{N,t+h},-,{\mathrm{\Psi }}_{N,t}\right),U_K\left({\mathrm{\Psi }}_{N,t+h},-,{\mathrm{\Psi }}_{N,t}\right)\rangle .\hfill \end{array}$$ B.4

In the second line we use that

$$\begin{array}{cc}& ∥\mathcal{N},W^{\ast },(\sqrt{N}{\phi }_t),U_K,\left({\mathrm{\Psi }}_{N,t+h},-,{\mathrm{\Psi }}_{N,t}\right)∥\hfill \\ \hfill & \leqq C\left(1,+,N,{∥{\phi }_t∥}^2\right)∥\left(\mathcal{N},+,1\right),U_K,\left({\mathrm{\Psi }}_{N,t+h},-,{\mathrm{\Psi }}_{N,t}\right)∥\to 0\hfill \end{array}$$ B.5

as $h\to 0$ because of (B.2) and obtain

$$\begin{array}{cc}& \underset{h\to 0}{lim}{h}^{-1}\left({\beta }_K^b,({\mathrm{\Psi }}_{N,t+h},{\phi }_t),-,{\beta }_K^b,({\mathrm{\Psi }}_{N,t},{\phi }_t)\right)\hfill \\ \hfill & =-2N^{-1}\mathrm{Re}\langle W(\sqrt{N}{\phi }_t)\mathcal{N}{W}^{\ast }(\sqrt{N}{\phi }_t)U_K{\mathrm{\Psi }}_{N,t},i{H}_{N,K}^{\mathrm{G}}{U}_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \end{array}$$ B.6

with Stone’s theorem. Next, we consider

$$\begin{array}{cc}\hfill (\mathrm{B}.3\mathrm{b})& =-2\mathrm{Re}\int d^{3}k\langle \left({\phi }_{t+h},(k),-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t+h},\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t+h}\rangle \hfill \end{array}$$ B.7a

$$\begin{array}{cc}& +2\mathrm{Re}\int d^{3}k\langle \left({\phi }_{t+h},(k),-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t},\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t}\rangle \hfill \end{array}$$ B.7b

$$\begin{array}{cc}& +{∥{\phi }_{t+h},-,{\phi }_t∥}^2\hfill \end{array}$$ B.7c

$$\begin{array}{cc}& -2\mathrm{Re}\int d^{3}k\langle \left({\phi }_{t+h},(k),-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t},\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t}\rangle .\hfill \end{array}$$ B.7d

Using the Cauchy–Schwarz inequality we estimate the first two terms by

$$\begin{array}{cc}& \left|(,\mathrm{B}.7\mathrm{a},),+,(,\mathrm{B}.7\mathrm{b},)\right|\hfill \\ \hfill & \leqq 2\int d^{3}k\left|{\phi }_{t+h},(k),-,{\phi }_t,(k)\right|(\left|\langle ,U_K,{\mathrm{\Psi }}_{N,t+h},,,\left(N^{-1/2},-,{\phi }_t,(k)\right),U_K,\left({\mathrm{\Psi }}_{N,t+h},-,{\mathrm{\Psi }}_{N,t}\right),\rangle \right|\hfill \\ \hfill & +\left|\langle ,U_K,\left({\mathrm{\Psi }}_{N,t+h},-,{\mathrm{\Psi }}_{N,t}\right),,,\left(N^{-1/2},a_k,-,{\phi }_t,(K)\right),U_K,{\mathrm{\Psi }}_{N,t},\rangle \right|)\hfill \\ \hfill & \leqq 2N^{-1/2}∥\left({\phi }_{t+h},-,{\phi }_t\right)∥(∥{\mathcal{N}}^{1/2},W^{\ast },(\sqrt{N}{\phi }_t),U_K,\left({\mathrm{\Psi }}_{N,t+h},-,{\mathrm{\Psi }}_{N,t}\right)∥\hfill \\ \hfill & +∥U_K,\left({\mathrm{\Psi }}_{N,t+h},-,{\mathrm{\Psi }}_{N,t}\right)∥∥{\mathcal{N}}^{1/2},W^{\ast },(\sqrt{N}{\phi }_t),U_K,{\mathrm{\Psi }}_{N,t}∥).\hfill \end{array}$$ B.8

Stone’s theorem and (B.5) then lead to

$$\begin{array}{cc}& \underset{h\to 0}{lim}{h}^{-1}\left({\beta }^b,({\mathrm{\Psi }}_{N,t+h},{\phi }_{t+h}),-,{\beta }_K^b,({\mathrm{\Psi }}_{N,t+h},{\phi }_t)\right)\hfill \\ \hfill & =-2\mathrm{Re}\int d^{3}k\langle \left({\partial }_t,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t},\left(N^{-1/2},a_k,-,{\phi }_t,(k)\right)U_K{\mathrm{\Psi }}_{N,t}\rangle .\hfill \end{array}$$ B.9

In combination, this shows (6.15a) and (6.15b).