Abstract
We study the dynamics of a system of N interacting bosons in a disc-shaped trap, which is realised by an external potential that confines the bosons in one spatial dimension to an interval of length of order \(\varepsilon \). The interaction is non-negative and scaled in such a way that its scattering length is of order \(\varepsilon /N\), while its range is proportional to \((\varepsilon /N)^{\beta }\) with scaling parameter \(\beta \in (0,1]\). We consider the simultaneous limit \((N,\varepsilon )\rightarrow (\infty ,0)\) and assume that the system initially exhibits Bose–Einstein condensation. We prove that condensation is preserved by the N-body dynamics, where the time-evolved condensate wave function is the solution of a two-dimensional non-linear equation. The strength of the non-linearity depends on the scaling parameter \(\beta \). For \(\beta \in (0,1)\), we obtain a cubic defocusing non-linear Schrödinger equation, while the choice \(\beta =1\) yields a Gross–Pitaevskii equation featuring the scattering length of the interaction. In both cases, the coupling parameter depends on the confining potential.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
For two decades, it has been experimentally possible to realise quasi-two dimensional Bose gases in disc-shaped traps [21, 44, 46]. The study of such systems is of particular physical interest since they permit the detection of inherently two-dimensional effects and serve as models for different statistical physics phenomena [24, 25, 50]. In this article, our aim is to contribute to the mathematically rigorous understanding of such systems. We consider a Bose–Einstein condensate of N identical, non-relativistic, interacting bosons in a disc-shaped trap, which effectively confines the particles in one spatial direction to an interval of length \(\varepsilon \). We study the dynamics of this system in the simultaneous limit \((N,\varepsilon )\rightarrow (\infty ,0)\), where the Bose gas becomes quasi two-dimensional. To describe the N bosons, we use the coordinates
where x denotes the two longitudinal dimensions and y is the transverse dimension. The confinement in the y-direction is modelled by the scaled potential \(\frac{1}{\varepsilon ^2}V^\perp \left( \tfrac{y}{\varepsilon }\right) \) for \(0<\varepsilon \ll 1\) and some \(V^\perp :\mathbb {R}\rightarrow \mathbb {R}\). In units such that \(\hbar =1\) and \(m=\frac{1}{2}\), the Hamiltonian is given by
where \(\Delta \) denotes the Laplace operator on \(\mathbb {R}^3\) and \(V^\parallel :\mathbb {R}\times \mathbb {R}^3\rightarrow \mathbb {R}\) is an additional external potential, which may depend on time. The interaction \(w_{\mu ,\beta }\) between the particles is purely repulsive and scaled in dependence of the parameters N and \(\varepsilon \). In this paper, we consider two fundamentally different scaling regimes, corresponding to different choices of the scaling parameter \(\beta \in \mathbb {R}\): \(\beta \in (0,1)\) yields the non-linear Schrödinger (NLS) regime, while \(\beta =1\) is known as the Gross–Pitaevskii regime. Making use of the parameter
the Gross–Pitaevskii regime is realised by scaling an interaction \(w:\mathbb {R}^3\rightarrow \mathbb {R}\), which is compactly supported, spherically symmetric and non-negative, as
For the NLS regime, we will consider a more generic form of the interaction (see Definition 2.2). For the length of this introduction, let us focus on the special case
with \(\beta \in (0,1)\). Clearly, (2) equals (3) with the choice \(\beta =1\). Both scaling regimes describe very dilute gases, and we comment on their physical relevance below.
The N-body wave function \(\psi ^{N,\varepsilon }(t)\in L^2_+(\mathbb {R}^{3N}):=\otimes _\mathrm {sym}^N L^2(\mathbb {R}^3)\) at time \(t\in \mathbb {R}\) is determined by the Schrödinger equation
with initial datum \(\psi ^{N,\varepsilon }_0\in L^2_+(\mathbb {R}^{3N}).\) We assume that this initial state exhibits Bose–Einstein condensation, i.e., that the one-particle reduced density matrix \(\gamma ^{(1)}_{\psi ^{N,\varepsilon }_0}\) of \(\psi ^{N,\varepsilon }_0\),
converges to a projection onto the so-called condensate wave function \(\varphi ^\varepsilon _0\in L^2(\mathbb {R}^3)\). At low energies, the strong confinement in the transverse direction causes the condensate wave function to factorise in the limit \(\varepsilon \rightarrow 0\) into a longitudinal part \(\Phi _0\in L^2(\mathbb {R}^2)\) and a transverse part \(\chi ^\varepsilon \in L^2(\mathbb {R})\),
(see Remark 2.2b). The transverse part \(\chi ^\varepsilon \) is given by the normalised ground state of \(-\tfrac{\mathrm {d}^2}{\mathrm {d}y^2}+\tfrac{1}{\varepsilon ^2}V^\perp (\tfrac{y}{\varepsilon })\), which is defined by
Here, \(E_0\) denotes the minimal eigenvalue of the unscaled operator \(-\tfrac{\mathrm {d}^2}{\mathrm {d}y^2}+V^\perp \), corresponding to the normalised ground state \(\chi \). The relation of \(\chi ^\varepsilon \) and \(\chi \) is
By [22, Theorem 1], \(\chi ^\varepsilon \) is exponentially localised on a scale of order \(\varepsilon \) for suitable confining potentials \(V^\perp \), such as harmonic potentials or smooth, bounded potentials that admit at least one bound state below the essential spectrum.
In this paper, we derive an effective description of the many-body dynamics \(\psi ^{N,\varepsilon }(t)\). We show that if the system initially forms a Bose–Einstein condensate with factorised condensate wave function, then the dynamics generated by \(H_{\mu ,\beta }(t)\) preserve this property. Under the assumption that
where the limit \((N,\varepsilon )\rightarrow (\infty ,0)\) is taken along a suitable sequence, we show that
with time-evolved condensate wave function \(\varphi ^\varepsilon (t)=\Phi (t)\chi ^\varepsilon \). While the transverse part of the condensate wave function remains in the ground state, merely undergoing phase oscillations, the longitudinal part is subject to a non-trivial time evolution. We show that this evolution is determined by the two-dimensional non-linear equation
The coupling parameter \(b_\beta \) in (7) depends on the scaling regime and is given by
where a denotes the scattering length of w (see Section 3.2 for a definition). The evolution equation (7) provides an effective description of the dynamics. Since the N bosons interact, it contains an effective one-body potential, which is given by the probability density \(N|\Phi (t)|^2\) times the two-body scattering process times a factor \(\int _\mathbb {R}|\chi ^\varepsilon (y)|^4\mathrm {d}y\) from the confinement. At low energies, the scattering is to leading order described by the s-wave scattering length \(a_{\mu ,\beta }\) of the interaction \(w_{\mu ,\beta }\), which scales as \(a_{\mu ,\beta }\sim \mu \) for the whole parameter range \(\beta \in (0,1]\) (see [18, Lemma A.1]) and characterises the length scale of the inter-particle correlations.
For the regime \(\beta \in (0,1)\), we find \(a_{\mu ,\beta }\ll \mu ^\beta \), i.e., the scattering length is negligible compared to the range of the interaction in the limit \((N,\varepsilon )\rightarrow (\infty ,0)\). In this situation, the first order Born approximation \(8\pi a_{\mu ,\beta }\approx \int _{\mathbb {R}^3}w_{\mu ,\beta }(z)\mathrm {d}z\) is a valid description of the scattering length and yields above coupling parameter \(b_\beta \) for \(\beta \in (0,1)\).
In the scaling regime \(\beta =1\), the first order Born approximation breaks down since \(a_{\mu ,1}\sim \mu \), which implies that the correlations are visible on the length scale \(\mu \) of the interaction even in the limit \((N,\varepsilon )\rightarrow (\infty ,0)\). Consequently, the coupling parameter \(b_1\) contains the full scattering length, which makes (7) a Gross–Pitaevskii equation.
Physically, the scaling \(\beta =1\) is relevant because it corresponds to an \((N,\varepsilon )\)-independent interaction via a suitable coordinate transformation. In the Gross–Pitaevskii regime, the kinetic energy per particle (in the longitudinal directions) is of the same order as the total energy per particle (without counting the energy from the confinement or the external potential). For N bosons which interact via a potential with scattering length A in a trap with longitudinal extension L and transverse size \(\varepsilon L\), the former scales as \(E_\mathrm {kin}\sim L^{-2}\). The latter can be computed as \(E_\mathrm {total}\sim A\varrho _{3d}\sim AN/(L^3\varepsilon )\), where \(\varrho _{3d}\) denotes the particle density. Both quantities being of the same order implies the scaling condition \(A/L\sim \varepsilon /N\).
The choice \(A\sim 1\) entails \(L\sim N/\varepsilon \) and corresponds to an \((N,\varepsilon )\)-independent interaction potential. Hence, to capture N bosons in a strongly asymmetric trap while remaining in the Gross–Pitaevskii regime, one must increase the longitudinal length scale of the trap as \(N/\varepsilon \) and the transverse scale as N. For our analysis, we choose to work instead in a setting where \(L\sim 1\), thus we consider interactions with scattering length \(A\sim \varepsilon /N\). Both choices are related by the coordinate transform \(z\mapsto (\varepsilon /N)z\), which comes with the time rescaling \(t\mapsto (\varepsilon /N)^2t\) in the N-body Schrödinger equation (4).
For the scaling regime \(\beta \in (0,1)\), there is no such coordinate transform relating \(w_{\mu ,\beta }\) to a physically relevant \((N,\varepsilon )\)-independent interaction. We consider this case mainly because the derivation of the Gross–Pitaevskii equation for \(\beta =1\) relies on the corresponding result for \(\beta \in (0,1)\). The central idea of the proof is to approximate the interaction \(w_\mu \) by an appropriate potential with softer scaling behaviour covered by the result for \(\beta \in (0,1)\), and to control the remainders from this substitution. We follow the approach developed by Pickl in [43], which was adapted to the problem with strong confinement in [9] and [10], where an effectively one-dimensional NLS resp. Gross–Pitaevskii equation was derived for three-dimensional bosons in a cigar-shaped trap. The model considered in [9, 10] is analogous to our model (1) but with a two-dimensional confinement, i.e., where \((x,y)\in \mathbb {R}^{1+2}\). Since many estimates are sensitive to the dimension and need to be reconsidered, the adaptation to our problem with one-dimensional confinement is non-trivial. A detailed account of the new difficulties is given in Remarks 3.1 and 3.2.
To the best of our knowledge, the only existing derivation of a two-dimensional evolution equation from the three-dimensional N-body dynamics is by Chen and Holmer in [13]. Their analysis is restricted to the range \(\beta \in (0,\frac{2}{5})\), which in particular does not include the physically relevant Gross–Pitaevskii case. In this paper, we extend their result to the full regime \(\beta \in (0,1]\) and include a larger class of confining traps as well as a possibly time-dependent external potential. We impose different conditions on the parameters N and \(\varepsilon \), which are stronger than in [13] for small \(\beta \) but much less restrictive for larger \(\beta \) (see Remark 2.3). Related results for a cigar-shaped confinement were obtained in [9, 10, 14, 31].
Regarding the situation without strong confinement, the first mathematically rigorous justification of a three-dimensional NLS equation from the quantum many-body dynamics of three-dimensional bosons with repulsive interactions was by Erdős, Schlein and Yau in [18], who extended their analysis to the Gross-Pitaevskii regime in [19]. With a different approach, Pickl derived effective evolution equations for both regimes [43], providing also estimates of the rate of convergence. Benedikter, De Oliveira and Schlein proposed a third and again different strategy in [5], which was then adapted by Brennecke and Schlein in [11] to yield the optimal rate of convergence. For two-dimensional bosons, effective NLS dynamics of repulsively interacting bosons were first derived by Kirkpatrick, Schlein and Staffilani in [32]. This result was extended to more singular scalings of the interaction, including the Gross–Pitaevskii regime, by Leopold, Jeblick and Pickl in [28], and two-dimensional attractive interactions were covered in [15, 30, 34]. Further results concerning the derivation of effective dynamics for interacting bosons were obtained, e.g., in [1, 3, 16, 29, 33, 39, 40, 48].
The dimensional reduction of non-linear one-body equations was studied in [4] by Ben Abdallah, Méhats, Schmeiser and Weishäupl, who consider an \(n+d\)-dimensional NLS equation with a d-dimensional quadratic confining potential. In the limit where the diameter of this confinement converges to zero, they obtain an effective n-dimensional NLS equation. A similar problem for a cubic NLS equation in a quantum waveguide, resulting in a limiting one-dimensional equation, was covered by Méhats and Raymond in [38], and the corresponding problem for the linear Schrödinger equation was studied, e.g., in [17, 49].
The remainder of the paper is structured as follows: in Section 2, we state our assumptions and present the main result. The strategy of proof for the NLS scaling is explained in Section 3.1, while the Gross–Pitaevskii scaling is covered in Section 3.2. Section 3.3 contains the proof of our main result, which depends on five propositions. Section 4 collects some auxiliary estimates, which are used in Sections 5 and 6 to prove the propositions for \(\beta \in (0,1)\) and \(\beta =1\), respectively.
Notation. We use the notations \(A{\lesssim } B\), \(A{ > rsim } B\) and \(A\sim B\) to indicate that there exists a constant \(C>0\) independent of \(\varepsilon , N, t, \psi ^{N,\varepsilon }_0,\Phi _0\) such that \(A\leqq CB\), \(A\geqq CB\) or \(A=CB\), respectively. This constant may, however, depend on the quantities fixed by the model, such as \(V^\perp \), \(\chi \) and \(V^\parallel \). In addition, we will exclusively use the symbol \(\,\widehat{\cdot }\,\) to denote the weighted many-body operators from Definition 3.1 and use the abbreviations
Finally, we write \(x^+\) and \(x^-\) to denote \((x+\sigma )\) and \((x-\sigma )\) for any fixed \(\sigma >0\), which is to be understood in the following sense: let the sequence \((N_n,\varepsilon _n)_{n\in \mathbb {N}}\rightarrow (\infty ,0)\). Then
Note that these statements concern fixed \(\sigma \) in the limit \((N,\varepsilon )\rightarrow (\infty ,0)\) and do in general not hold uniformly as \(\sigma \rightarrow 0\). In particular, the implicit constants in the notation \(\lesssim \) may depend on \(\sigma \).
2 Main Result
Our aim is to derive an effective description of the dynamics \(\psi ^{N,\varepsilon }(t)\) in the simultaneous limit \((N,\varepsilon )\rightarrow (\infty ,0)\). To this end, we consider families of initial data \(\psi ^{N,\varepsilon }_0\) along sequences \((N_n,\varepsilon _n)\) with the following two properties:
Definition 2.1
Let \(\left\{ (N_n,\varepsilon _n)\right\} _{n\in \mathbb {N}}\subset \mathbb {N}\times (0,1)\) such that \(\lim _{n\rightarrow \infty }(N_n,\varepsilon _n)=(\infty ,0)\), and let \(\mu _n:=\varepsilon _n/N_n\). The sequence is called
-
(\(\Theta \) -)admissible, if
$$\begin{aligned} \lim \limits _{n\rightarrow \infty }\frac{\varepsilon ^{\Theta }_n}{\mu _n}=N_n\varepsilon _n^{\Theta -1}=0, \end{aligned}$$ -
(\(\Gamma \)-)moderately confining, if
$$\begin{aligned} \lim \limits _{n\rightarrow \infty }\frac{\varepsilon _n^\Gamma }{\mu _n}=N_n\varepsilon _n^{\Gamma -1}=\infty . \end{aligned}$$
Our result holds for sequences \((N,\varepsilon )\) that are \((\Theta ,\Gamma )_\beta \)-admissible with parameters
The admissibility condition implies that \(\varepsilon ^{\beta \Theta }/\mu ^\beta \ll 1\). Hence, by imposing this condition, we ensure that the diameter \(\varepsilon \) of the confining potential does not shrink too slowly compared to the range \(\mu ^\beta \) of the interaction. Consequently, the energy gap above the transverse ground state, which scales as \(\varepsilon ^{-2}\), is always large enough to sufficiently suppress transverse excitations. Clearly, it is necessary to choose \(\Theta >1\), and the condition is weaker for larger \(\Theta \).
In the proof, we require the admissibility condition to control the orthogonal excitations in the transverse direction (see Remark 3.1), which results in the respective upper bound for \(\Theta \). The threshold \(\Theta =3^+\) admits \(N\sim \varepsilon ^{-2}\), which has a physical implication: if the confinement is realised by a harmonic trap \(V^\perp (y)=\omega ^2y^2\), the frequency \(\omega _\varepsilon \) of the rescaled oscillator \(\varepsilon ^{-2}V^\perp (y/\varepsilon )\) scales as \(\omega _\varepsilon =\omega \varepsilon ^{-2}\). Hence, \(\Theta =3^+\) means that the frequency of the confining trap grows proportionally to N.
The moderate confinement condition implies that, for sufficiently large N and small \(\varepsilon \),
Moderate confinement means that \(\varepsilon \) does not shrink too fast compared to \(\mu ^\beta \). For \(\beta \in (0,1)\), it implies that the interaction is always supported well within the trap. This is automatically true for \(\beta =1\) because \(\mu /\varepsilon =N^{-1}\), but we require a somewhat stronger condition to handle the Gross–Pitaevskii scaling (see Remark 3.2). This leads to the additional moderate confinement condition for \(\beta =1\) with parameter \(\Gamma >1\), which is clearly a weaker restriction for smaller \(\Gamma \), and we expect this to be a purely technical condition (see Remark 2.3d). The upper bound \(\Gamma <\Theta \) is necessary to ensure the mutual compatibility of admissibility and moderate confinement.
From a technical point of view, the moderate confinement condition allows us to compensate for certain powers of \(\varepsilon ^{-1}\) in terms of powers of \(N^{-1}\), while the admissibility condition admits the control of powers of N by powers of \(\varepsilon \).
To visualise the restrictions due to admissibility and moderate confinement, we plot in Fig. 1 the largest possible subset of the parameter space \(\mathbb {N}\times [0,1]\) which can be covered by our analysis. A sequence \((N,\varepsilon )\rightarrow (\infty ,0)\) passes through this space from the top right to the bottom left corner. The two boundaries correspond to the two-stage limits where first \({N\rightarrow \infty }\) at constant \(\varepsilon \) and subsequently \(\varepsilon \rightarrow 0\), and vice versa. The edge cases are not contained in our model.
The sequences \((N,\varepsilon )\rightarrow (\infty ,0)\) within the dark grey region in Fig. 1 are covered by our analysis and yield an NLS or Gross–Pitaevskii equation, respectively. Naturally, these restrictions are meaningful only for sufficiently large N and small \(\varepsilon \), which implies that mainly the section of the plot around the bottom left corner is of importance. The white region in figures (a) to (c) is excluded from our analysis by the admissibility condition. In figure (d), there is an additional prohibited region due to moderate confinement. Note that Chen and Holmer impose constraints which are weaker for small \(\beta \) and stronger for larger \(\beta \in (0,\frac{2}{5})\), which are discussed in Remark 2.3 and plotted in Fig. 2.
The light grey region in Fig. 1, which is present for \(\beta \in (0,1)\), is not contained in Theorem 1 as a consequence of the moderate confinement condition. We expect the dynamics in this region to be described by an effective equation with coupling parameter \(b_\beta =0\) since it corresponds to the condition \(\varepsilon /\mu ^\beta \ll 1\), implying that the confinement shrinks much faster than the interaction. Consequently, the interaction is predominantly supported in a region that is essentially inaccessible to the bosons, which results in a free evolution equation. For \(\beta <\frac{1}{3}\) and a cigar-shaped confinement by Dirichlet boundary conditions, this was shown in [31].
As mentioned above, we will consider interactions in the NLS scaling regime \(\beta \in (0,1)\) which are of a more generic form than (3).
Definition 2.2
Let \(\beta \in (0,1)\) and \(\eta >0\). Define the set \(\mathcal {W}_{\beta ,\eta }\) as the set containing all families
such that for any \(\mu \in (0,1)\)
where
In the sequel, we will abbreviate \(b_{\beta ,N,\varepsilon }(w_{\mu ,\beta })\equiv b_{\beta ,N,\varepsilon }\).
Condition (d) in Definition 2.2 regulates how fast the \((N,\varepsilon )\)-dependent coupling parameter \(b_{\beta ,N,\varepsilon }\) converges to its limit as \((N,\varepsilon )\rightarrow (\infty ,0)\). For the special case (3), we find that \(b_{\beta ,N,\varepsilon }=\Vert w\Vert _{L^1(\mathbb {R}^3)}\int _\mathbb {R}|\chi (y)|^4\mathrm {d}y\) is independent of N and \(\varepsilon \), hence this interaction is contained in \(\mathcal {W}_{\beta ,\eta }\) for any choice of \(\eta >0\).
Throughout the paper, we will use two notions of one-particle energies:
-
The “renormalised” energy per particle: for \(\psi \in \mathcal {D}(H_{\mu ,\beta }(t)^\frac{1}{2})\),
$$\begin{aligned} E_{w_{\mu ,\beta }}^\psi (t):=\tfrac{1}{N}\left\langle \!\Bigg \langle \psi ,H_{\mu ,\beta }(t)\psi \right\rangle \!\Bigg \rangle -\tfrac{E_0}{\varepsilon ^2}, \end{aligned}$$(10)where \(E_0\) denotes the lowest eigenvalue of \(-\tfrac{\mathrm {d}^2}{\mathrm {d}y^2}+V^\perp (y)\).
-
The effective energy per particle: for \(\Phi \in H^1(\mathbb {R}^2)\) and \(b\in \mathbb {R}\),
$$\begin{aligned} \mathcal {E}_b^\Phi (t):=\left\langle \Phi ,\left( -\Delta _x+V^\parallel (t,(x,0))+\tfrac{b}{2}|\Phi |^2\right) \Phi \right\rangle _{L^2(\mathbb {R}^2)}. \end{aligned}$$(11)
We can now state our assumptions:
-
A1
Interaction potential.
-
\(\beta \in (0,1)\): Let \(w_{\mu ,\beta }\in \mathcal {W}_{\beta ,\eta }\) for some \(\eta >0\).
-
\(\beta =1\): Let \(w_\mu \) be given by (2) with \(w\in L^\infty (\mathbb {R}^3,\mathbb {R})\) spherically symmetric,
non-negative and with \(\mathrm {supp}w\subseteq \{z\in \mathbb {R}^3:|z|\leqq 1\}\).
-
A2
Confining potential. Let \(V^\perp :\mathbb {R}\rightarrow \mathbb {R}\) such that \(-\tfrac{\mathrm {d}^2}{\mathrm {d}y^2}+V^\perp \) is self-adjoint and has a non-degenerate ground state \(\chi \) with energy \(E_0<\inf \sigma _\mathrm {ess}(-\Delta _y+V^\perp )\). Assume that the negative part of \(V^\perp \) is bounded and that \(\chi \in \mathcal {C}^2_\mathrm {b}(\mathbb {R})\), i.e., \(\chi \) is bounded and twice continuously differentiable with bounded derivatives. We choose \(\chi \) normalised and real.
-
A3
External field. Let \(V^\parallel :\mathbb {R}\times \mathbb {R}^3\rightarrow \mathbb {R}\) such that for fixed \(z\in \mathbb {R}^3\), \(V^\parallel (\cdot ,z)\in \mathcal {C}^1(\mathbb {R})\). Further, assume that for each fixed \(t\in \mathbb {R}\), \(V^\parallel (t,\cdot ),\dot{V^\parallel }(t,\cdot )\in L^\infty (\mathbb {R}^3)\cap \mathcal {C}^1(\mathbb {R}^3)\) and \(\partial _yV^\parallel (t,\cdot ),\,\partial _y\dot{V^\parallel }(t,\cdot )\in L^\infty (\mathbb {R}^3)\).
-
A4
Initial data. Let \((N,\varepsilon )\rightarrow (\infty ,0)\) be admissible and moderately confining with parameters \((\Theta ,\Gamma )_\beta \) satisfying (8). Assume that the family of initial data \(\psi ^{N,\varepsilon }_0\in \mathcal {D}(H_{\mu ,\beta }(0))\cap L^2_+(\mathbb {R}^{3N})\) with \(\Vert \psi ^{N,\varepsilon }_0\Vert ^2=1\), is close to a condensate with condensate wave function \(\varphi ^\varepsilon _0=\Phi _0\chi ^\varepsilon \) for some normalised \(\Phi _0\in H^4(\mathbb {R}^2)\), i.e.,
$$\begin{aligned} \lim \limits _{(N,\varepsilon )\rightarrow (\infty ,0)}\mathrm {Tr}_{L^2(\mathbb {R}^3)}\Big |\gamma ^{(1)}_{\psi ^{N,\varepsilon }_0}-|\Phi _0\chi ^\varepsilon \rangle \langle \Phi _0\chi ^\varepsilon |\Big |=0. \end{aligned}$$(12)Further, let
$$\begin{aligned} \lim \limits _{(N,\varepsilon )\rightarrow (\infty ,0)}\left| E^{\psi ^{N,\varepsilon }_0}_{w_{\mu ,\beta }}(0)-\mathcal {E}^{\Phi _0}_{b_\beta }(0)\right| =0. \end{aligned}$$(13)
In our main result, we prove the persistence of condensation in the state \(\varphi ^\varepsilon (t)=\Phi (t)\chi ^\varepsilon \) for initial data \(\psi ^{N,\varepsilon }_0\) from A4. Naturally, we are interested in times for which the condensate wave function \(\Phi (t)\) exists, and, moreover, we require \(H^4(\mathbb {R}^2)\)-regularity of \(\Phi (t)\) for the proof. Let us therefore introduce the maximal time of \(H^4(\mathbb {R}^2)\)-existence,
where \(\Phi (t)\) is the solution of (7) with initial datum \(\Phi _0\) from A4.
Remark 2.1
The regularity of the initial data is for many choices of \(V^\parallel \) propagated by the evolution (7). For several classes of external potentials, global existence in \(H^4(\mathbb {R}^2)\)-sense and explicit bounds on the growth of \(\Vert \Phi (t)\Vert _{H^4(\mathbb {R}^2)}\) are known:
-
The case without external field, \(V^\parallel =0\), was covered in [47, Corollary 1.3]: for initial data \(\Phi _0\in H^k(\mathbb {R}^2)\) with \(k>0\), there exists \(C_k>0\) depending on \(\Vert \Phi _0\Vert _{H^k(\mathbb {R}^2)}\) such that
$$\begin{aligned} \Vert \Phi (t)\Vert _{H^k(\mathbb {R}^2)}\leqq C_k(1+|t|)^{\frac{4}{7}k^+}\Vert \Phi _0\Vert _{H^k(\mathbb {R}^2)} \end{aligned}$$for all \(t\in \mathbb {R}\). If the initial data are further restricted to the set
$$\begin{aligned} \Sigma ^k:=\bigg \{f\in L^2(\mathbb {R}^2): \Vert f\Vert _{\Sigma ^k}:=\sum _{|\alpha |+|\beta |\leqq k}\Vert x^\alpha \partial _x^\beta f\Vert _{L^2(\mathbb {R}^2)}<\infty \bigg \}\subset H^k(\mathbb {R}^2), \end{aligned}$$the bound is even uniform in \(t\in \mathbb {R}\). This is, for \(\Phi _0\in \Sigma ^k\), there exists \(C>0\) such that
$$\begin{aligned} \Vert \Phi (t)\Vert _{H^k(\mathbb {R}^2)}<C \end{aligned}$$for all \(t\in \mathbb {R}\) [12, Section 1.2].
-
For time-dependent external potentials \(V^\parallel (t,(x,0))\) that are at most quadratic in x uniformly in time, global existence of \(H^k(\mathbb {R}^2)\)-solutions with double exponential growth was shown in [12, Corollary 1.4] for initial data \(\Phi _0\in \Sigma ^k\): Assume that \(V^\parallel (\cdot ,(\cdot ,0))\in L^\infty _\mathrm {loc}(\mathbb {R}\times \mathbb {R}^2)\) is real-valued such that the map \(x\mapsto V^\parallel (t,(x,0))\) is \(\mathcal {C}^\infty (\mathbb {R}^2)\), the map \(x\mapsto V(t,(x,0))\) is \(\mathcal {C}^\infty (\mathbb {R}^2)\) for almost all \(t\in \mathbb {R}\), and the map \(t\mapsto \sup _{|x|\leqq 1}|V^\parallel (t,(x,0))|\) is \(L^\infty (\mathbb {R})\). Moreover, let \(\partial _x^\alpha V^\parallel (\cdot ,(\cdot ,0))\in L^\infty (\mathbb {R}\times \mathbb {R}^2)\) for all \(\alpha \in \mathbb {N}^2\) with \(|\alpha |\geqq 2\). Let \(\Phi _0\in \Sigma ^k(\mathbb {R}^2)\) with \(k\geqq 2\). Then there exists a constant \(C>0\) such that
$$\begin{aligned} \Vert \Phi (t)\Vert _{H^k(\mathbb {R}^2)}\leqq C\mathrm {e}^{\mathrm {e}^{Ct}} \end{aligned}$$for all \(t\in \mathbb {R}\). In case of a time-independent harmonic potential and initial data \(\Phi _0\in \Sigma ^k\), this can be improved to an exponential rather than double exponential bound. Note, however, that unbounded potentials \(V^\parallel (t,z)\) are excluded by assumption A3.
Theorem 1
Let \(\beta \in (0,1]\) and assume that the potentials \(w_{\mu ,\beta }\), \(V^\perp \) and \(V^\parallel \) satisfy A1 – A3. Let \(\psi ^{N,\varepsilon }_0\) be a family of initial data satisfying A4, let \(\psi ^{N,\varepsilon }(t)\) denote the solution of (4) with initial datum \(\psi ^{N,\varepsilon }_0\), and let \(\gamma ^{(1)}_{\psi ^{N,\varepsilon }(t)}\) denote its one-particle reduced density matrix as in (5). Then for any \(0\leqq T<T^\mathrm {ex}_{V^\parallel }\),
where the limits are taken along the sequence from A4. Here, \(\Phi (t)\) is the solution of (7) with initial datum \(\Phi (0)=\Phi _0\) from A4 and with coupling parameter
with \(b_{\beta ,N,\varepsilon }\) from Definition 2.2 and with a the scattering length of w as defined in (40).
Remark 2.2
-
(a)
Due to assumptions A1–A3, the Hamiltonian \(H_{\mu ,\beta }(t)\) is for any \(t\in \mathbb {R}\) self-adjoint on its time-independent domain \(\mathcal {D}(H_{\mu ,\beta })\). Since we assume continuity of \(t\mapsto V^\parallel (t)\in \mathcal {L}(L^2(\mathbb {R}^3))\), [23] implies that the family \(\left\{ H_{\mu ,\beta }(t)\right\} _{t\in \mathbb {R}}\) generates a unique, strongly continuous, unitary time evolution that leaves \(\mathcal {D}(H_{\mu ,\beta })\) invariant. By imposing the further assumptions on \(V^\parallel \), we can control the growth of the one-particle energies and the interactions of the particles with the external potential. Note that it is physically important to include time-dependent external traps, since this admits non-trivial dynamics even if the system is initially prepared in an eigenstate.
-
(b)
Assumption A4 states that the system is initially a Bose–Einstein condensate which factorises in a longitudinal and a transverse part. In [45, Theorems 1.1 and 1.3], Schnee and Yngvason prove that both parts of the assumption are fulfilled by the ground state of \(H_{\mu ,\beta }(0)\) for \(\beta =1\) and \(V^\parallel (0,z)=V(x)\) with V locally bounded and diverging as \(|x|\rightarrow \infty \).
-
(c)
Our proof yields an estimate of the rate of the convergence (15), which is of the form
$$\begin{aligned} \mathrm {Tr}\left| \gamma _{\psi ^{N,\varepsilon }(t)}^{(1)}-|\Phi (t)\chi ^\varepsilon \rangle \langle \Phi (t)\chi ^\varepsilon |\right| \lesssim \Big (A(0)+R_{\beta ,\Theta ,\Gamma ,\eta }(N,\varepsilon )\Big )^\frac{1}{2}\mathrm {e}^{f(t)} \end{aligned}$$with
$$\begin{aligned} A(0):= & {} \left| E^{\psi ^{N,\varepsilon }_0}_{w_{\mu ,\beta }}(0)-\mathcal {E}_{b_\beta }^{\Phi _0}(0)\right| +\left( \mathrm {Tr}\left| \gamma _{\psi ^{N,\varepsilon }_0}^{(1)}-|\Phi _0\chi ^\varepsilon \rangle \langle \Phi _0\chi ^\varepsilon |\right| \right) ^\frac{1}{2},\\ R_{\beta ,\Theta ,\Gamma ,\eta }(N,\varepsilon )\lesssim & {} N^{-n_1}+\varepsilon ^{n_2}+\left( \frac{\varepsilon ^\Theta }{\mu }\right) ^{n_3}+\left( \frac{\mu }{\varepsilon ^\Gamma }\right) ^{n_4} \end{aligned}$$for some \(n_1,{...},n_4>0\) and some function \(f:\mathbb {R}\rightarrow \mathbb {R}\) which is bounded uniformly in both N and \(\varepsilon \). The coefficients \(n_1\) to \(n_4\) can be recovered from the bounds in Propositions 3.6 and 3.11 by optimising (57) and (58) over the free parameters and making use of Lemma 3.4. We do not expect this rate to be optimal.
Remark 2.3
The sequences \((N,\varepsilon )\rightarrow (\infty ,0)\) covered by Theorem 1 are restricted by admissibility and moderate confinement condition (Definition 2.1 and (8)). To conclude this section, let us discuss these constraints:
-
(a)
By (8), the weakest possible constraints are given by \((\Theta ,\Gamma )_\beta =(\frac{3}{\beta }^-,\frac{1}{\beta })\) for \(\beta \in (0,1)\) and \((\Theta ,\Gamma )_1=(3,1^+)\) for \(\beta =1\). Instead of choosing these least restrictive values, we present Theorem 1 and all estimates in explicit dependence of the parameters \(\Theta \) and \(\Gamma \), making it more transparent where the conditions enter the proof. Moreover, the rate of convergence improves for more restrictive choices of the parameters \(\Gamma \) and \(\Theta \).
-
(b)
In [13], Chen and Holmer prove Theorem 1 for the regime \(\beta \in (0,\frac{2}{5})\) under different assumptions on the sequence \((N,\varepsilon )\). The subset of the parameter range \(\mathbb {N}\times [0,1]\) covered by their analysis is visualised in Fig. 2. While no admissibility condition is required for their proof, they impose a moderate confinement condition which is equivalent to our condition for \(\beta \in (0,\frac{3}{11}]\). For larger \(\beta \in (\frac{3}{11},\frac{2}{5})\), they restrict the parameter range much more strongly, and their condition becomes so restrictive with increasing \(\beta \) that it delimitates the range of scaling parameters to \(\beta \in (0,\frac{2}{5})\).Footnote 1
-
(c)
No restriction comparable to the admissibility condition is needed for the ground state problem in [45]. Given the work [38] where the strong confinement limit of the three-dimensional NLS equation is taken, this suggests that our result should hold without any such restriction. However, for the present proof, the condition is indispensable (see Remarks 3.1 and 3.2).
-
(d)
As argued above, the moderate confinement condition for \(\beta \in (0,1)\) is optimal, in the sense that we expect a free evolution equation if \(\mu ^\beta /\varepsilon \rightarrow \infty \). For \(\beta =1\), we require that \(\mu /\varepsilon ^\Gamma \rightarrow 0\) for \(\Gamma >1\). Note that the choice \(\Gamma =1\) would mean no restriction at all because \(\mu /\varepsilon =N^{-1}\). Our proof works for \(\Gamma \) that are arbitrarily close to 1. However, since the estimates are not uniform in \(\Gamma \), the case \(\Gamma =1\) is excluded. To our understanding, the constraint \(\Gamma >1\) is purely technical. Note that such a restriction is neither required for the ground state problem in [45], nor in [10], where the dynamics for cigar-shaped case with strong confinement in two directions is studied.
-
(e)
Although no moderate confinement condition appears the cigar-shaped problem [10], our analysis covers a considerably larger subset of the parameter space \(\mathbb {N}\times [0,1]\) than is included in [10]. In that work, the admissibility condition is given as \(N\varepsilon ^{\frac{2}{5}^-}\rightarrow 0\), which is much more restrictive than our condition.
3 Proof of the Main Result
The proof of Theorem 1, both for the NLS scaling \(\beta \in (0,1)\) and the Gross–Pitaevskii case \(\beta =1\), follows the approach developed by Pickl in [43]. The main idea is to avoid a direct estimate of the differences in (15) and (16), but instead to define a functional
in such a way that
Physically, the functional \(\alpha _{w_{\mu ,\beta }}^<\) provides a measure of the relative number of particles that remain outside the condensed phase \(\varphi ^\varepsilon (t)\), and is therefore also referred to as a counting functional. The index \(w_{\mu ,\beta }\) indicates that the evolutions of \(\psi ^{N,\varepsilon }(t)\) and \(\varphi ^\varepsilon (t)\) are generated by \(H_{\mu ,\beta }(t)\) and \(h_\beta (t)\), which depend, directly or indirectly, on the interaction \(w_{\mu ,\beta }\). To define the functional \(\alpha _{w_{\mu ,\beta }}^<\), we recall the projectors onto the condensate wave function that were introduced in [31, 42].
Definition 3.1
Let \(\varphi ^\varepsilon (t)=\Phi (t)\chi ^\varepsilon \), where \(\Phi (t)\) is the solution of the NLS equation (7) with initial datum \(\Phi _0\) from A4 and with \(\chi ^\varepsilon \) as in (6). Let
where we drop the t- and \(\varepsilon \) -dependence of p in the notation. For \(j\in \{1,\dots ,N\}\), define the projection operators on \(L^2(\mathbb {R}^{3N})\)
Further, define the orthogonal projections on \(L^2(\mathbb {R}^3)\)
and define \(p^\Phi _j\), \(q^\Phi _j\), \(p^{\chi ^\varepsilon }_j\) and \(q^{\chi ^\varepsilon }_j\) on \(L^2(\mathbb {R}^{3N})\) analogously to \(p_j\) and \(q_j\). Finally, for \(0\leqq k\leqq N\), define the many-body projections
and \(P_k=0\) for \(k<0\) and \(k>N\). Further, for any function \(f: \mathbb {N}_0\rightarrow \mathbb {R}_0^+\) and \(d\in \mathbb {Z}\), define the operators \(\widehat{f},\widehat{f}_d\in \mathcal {L}\left( L^2(\mathbb {R}^{3N})\right) \) by
Clearly, \(\sum _{k=0}^N P_k=\mathbb {1}\). Besides, note the useful relations \(p=p^\Phi p^{\chi ^\varepsilon }\), \(q^\Phi q=q^\Phi \), \(q^{\chi ^\varepsilon }q=q^{\chi ^\varepsilon }\) and \(q=q^{\chi ^\varepsilon }+q^\Phi p^{\chi ^\varepsilon }=q^\Phi +p^\Phi q^{\chi ^\varepsilon }\). In the sequel, we will make use of the following weight functions:
Definition 3.2
Define
and, for some \(\xi \in (0,\frac{1}{2})\),
Further, define the weight functions \(m^\sharp :\mathbb {N}_0\rightarrow \mathbb {R}^+_0\), \(\sharp \in \{a,b,c,d,e,f\}\), by
The corresponding weighted many-body operators in the sense of (18) are denoted by \(\widehat{m}^\sharp \). Finally, define
Note that m equals n with a smooth, \(\xi \)-dependent cut-off. This modification of the weight n is a technical trick that enables us to estimate expressions of the form \(\Vert \widehat{f}-\widehat{f}_d\Vert _\mathrm {op}\) for \(\widehat{f}_d\) as in (18), which appear at many points in the proof. The difference \(\widehat{f}-\widehat{f}_d\) can be understood as operator that is weighted, in the sense of (18), with the derivative \(\frac{\mathrm {d}f}{\mathrm {d}k}\). For the choice \(f(k)=n(k)\), this derivative diverges as \(k\rightarrow 0\), whereas the cut-off \(\xi \) softens this singularity for small k such that one finds \(\Vert \widehat{m}-\widehat{m}_d\Vert _\mathrm {op}\lesssim N^{-1+\xi }\) for the choice \(f(k)=m(k)\) (Lemma 4.2b).
Definition 3.3
For \(\beta \in (0,1)\), define
The expression \(\left\langle \!\Bigg \langle \psi ^{N,\varepsilon }(t),\widehat{m}\psi ^{N,\varepsilon }(t) \right\rangle \!\Bigg \rangle \) is a suitably weighted sum of the expectation values of \(P_k\psi ^{N,\varepsilon }(t)\). As \(m(0)\approx 0\) and m is increasing, the parts of \(\psi ^{N,\varepsilon }(t)\) with more particles outside \(\varphi ^\varepsilon (t)\) contribute more to \(\alpha _{w_{\mu ,\beta }}^<(t)\). It is well known that \(\left\langle \!\Bigg \langle \psi ^{N,\varepsilon }(t),\widehat{m}\psi ^{N,\varepsilon }(t) \right\rangle \!\Bigg \rangle \rightarrow 0\) is equivalent to the convergence (15) of the one-particle reduced density matrix, hence \(\alpha _{w_{\mu ,\beta }}^<(t)\rightarrow 0\) is equivalent to (15) and (16). The relation between the respective rates of convergence is stated in the following lemma, whose proof is given in [9, Lemma 3.6]:
Lemma 3.4
For any \(t\in [0,T^\mathrm {ex}_{V^\parallel })\), it holds that
3.1 The NLS Case \(\beta \in (0,1)\)
The strategy of our proof is to derive a bound for \(|\tfrac{\mathrm {d}}{\mathrm {d}t}\alpha _{w_{\mu ,\beta }}^<(t)|\), which leads to an estimate of \(\alpha _{w_{\mu ,\beta }}^<(t)\) by means of Grönwall’s inequality. The first step is therefore to compute this derivative.
Proposition 3.5
Assume A1 – A4 for \(\beta \in (0,1)\). Let
and define
for \(\widehat{m}^a_{-1}\) and \(\widehat{m}^b_{-2}\) as defined in (18) and (19). Then
for almost every \(t\in [0,T^\mathrm {ex}_{V^\parallel })\), where
with
The term \(\gamma _{a,<}\) summarises all contributions from interactions between the particles and the external field \(V^\parallel \), while \(\gamma _{b,<}\) collects all contributions from the mutual interactions between the bosons. The latter can be subdivided into four parts:
-
\(\gamma _{b,<}^{(1)}\) and \(\gamma _{b,<}^{(4)}\) contain the quasi two-dimensional interaction \(\overline{\overline{w_{\mu ,\beta }}}(x_1-x_2)\) resulting from integrating out the transverse degrees of freedom in \(w_{\mu ,\beta }\), which is given as
$$\begin{aligned} p^{\chi ^\varepsilon }_1p^{\chi ^\varepsilon }_2w_{\mu ,\beta }(z_1-z_2)p^{\chi ^\varepsilon }_1p^{\chi ^\varepsilon }_2=:\overline{\overline{w_{\mu ,\beta }}}(x_1-x_2)p^{\chi ^\varepsilon }_1p^{\chi ^\varepsilon }_2 \end{aligned}$$(see Definition 5.4). Hence, \(\gamma _{b,<}^{(1)}\) and \(\gamma _{b,<}^{(4)}\) can be understood as two-dimensional analogue of the corresponding expressions in the three-dimensional problem without confinement [43, Lemma A.4], and the estimates are inspired by [43]. Note that \(\gamma _{b,<}^{(1)}\) contains the difference between the quasi two-dimensional interaction potential \(\overline{\overline{w_{\mu ,\beta }}}\) and the effective one-body potential \(b_\beta |\Phi (t)|^2\), which means that it vanishes in the limit \((N,\varepsilon )\rightarrow (\infty ,0)\) only if (7) with coupling parameter \(b_\beta \) is the correct effective equation. The last line (33) of \(\gamma _{b,<}^{(4)}\) contains merely the effective interaction potential \(b_\beta |\Phi (t)|^2\) instead of the pair interaction \(w_{\mu ,\beta }\), hence, it is easily controlled.
-
\(\gamma _{b,<}^{(2)}\) and \(\gamma _{b,<}^{(3)}\) are remainders from the replacement \(w_{\mu ,\beta }\rightarrow \overline{\overline{w_{\mu ,\beta }}}\), hence they have no three-dimensional equivalent. They are comparable to the expression \(\gamma _b^{(2)}\) in [9] from the analogous replacement of the originally three-dimensional interaction by its quasi one-dimensional counterpart.
The second step is to control \(\gamma _{a,<}\) to \(\gamma _{b,<}^{(4)}\) in terms of \(\alpha _{w_{\mu ,\beta }}^<(t)\) and by expressions that vanish in the limit \((N,\varepsilon )\rightarrow (\infty ,0)\). To write the estimates in a more compact form, let us define the function \(\mathfrak {e}_\beta :[0,T^\mathrm {ex}_{V^\parallel })\rightarrow [1,\infty )\) as
where \(\Phi (t)\) denotes the solution of (7) with initial datum \(\Phi _0\) from A4. Note that \(\mathfrak {e}_\beta (t)\) is bounded uniformly in N and \(\varepsilon \) because the only \((N,\varepsilon )\)-dependent quantity \(E_{w_{\mu ,\beta }}^{\psi ^{N,\varepsilon }_0}(0)\) converges to \(\mathcal {E}_{b_\beta }^{\Phi _0}(0)\) as \((N,\varepsilon )\rightarrow (\infty ,0)\) by A4. The function \(\mathfrak {e}_\beta \) is particularly useful since
for any \(t\in [0,T^\mathrm {ex}_{V^\parallel })\) by the fundamental theorem of calculus. Note that for a time-independent external field \(V^\parallel \), \(\mathfrak {e}_\beta ^2(t)\lesssim 1\) as a consequence of Remark 2.1, hence \(E_{w_{\mu ,\beta }}^{\psi ^{N,\varepsilon }(t)}(t)\) and \(\mathcal {E}_{b_\beta }^{\Phi (t)}(t)\) are in this case bounded uniformly in \(t\in [0,T^\mathrm {ex}_{V^\parallel })\).
Recall that by assumption A4, we consider sequences \((N,\varepsilon )\) that are \((\Theta ,\Gamma )_\beta \)-admissible with \(\Gamma _\beta =1/\beta \) and \(\Theta _\beta \in (1/\beta ,3/\beta )\). To make a clear distinction between the cases \(\beta \in (0,1)\) and \(\beta =1\), let us define
i.e., we consider sequences with
Proposition 3.6
Let \(\beta \in (0,1)\) and assume A1 – A4 with parameters \(\beta \) and \(\eta \) in A1 and \((\Theta ,\Gamma )_\beta =(\frac{\delta }{\beta },\frac{1}{\beta })\) in A4. Let
Then, for sufficiently small \(\mu \), the terms \(\gamma _{a,<}\) to \(\gamma _{b,<}^{(4)}\) from Proposition 3.5 are bounded by
Remark 3.1
-
(a)
The estimates of \(\gamma _{a,<}\), \(\gamma _{b,<}^{(1)}\) and \(\gamma _{b,<}^{(2)}\) work analogously to the corresponding bounds in [9] and are briefly summarised in Sections 5.2.1 and 5.2.2. While \(\gamma _{a,<}\) is easily bounded since it contains only one-body contributions, the key for the estimate of \(\gamma _{b,<}^{(1)}\) is that for sufficiently large N and small \(\varepsilon \),
$$\begin{aligned} \begin{aligned} N\int&\mathrm {d}y_2|\chi ^\varepsilon (y_2)|^2\int \mathrm {d}z_1|\varphi ^\varepsilon (z_1)|^2w_{\mu ,\beta }(z_1-z_2)\\&\approx N\left( \int \mathrm {d}y_2|\chi ^\varepsilon (y_2)|^4\right) \Vert w_{\mu ,\beta }\Vert _{L^1(\mathbb {R}^3)}|\Phi (x_2)|^2 =b_{\beta ,N,\varepsilon }|\Phi (x_2)|^2 \end{aligned} \end{aligned}$$due to sufficient regularity of \(\varphi ^\varepsilon \) and since the support of \(w_{\mu ,\beta }\) shrinks as \(\mu ^\beta \). For this argument, it is crucial that the sequence \((N,\varepsilon )\) is moderately confining. The main idea to control \(\gamma _{b,<}^{(2)}\) is an integration by parts, exploiting that the antiderivative of \(w_{\mu ,\beta }\) is less singular than \(w_{\mu ,\beta }\) and that \(\nabla _j\psi ^{N,\varepsilon }(t)\) can be controlled in terms of the energy \(E_{w_{\mu ,\beta }}^{\psi ^{N,\varepsilon }(t)}(t)\). To this end, we define the function \(h_\varepsilon \) as the solution of the equation \(\Delta h_\varepsilon =w_{\mu ,\beta }\) on a three-dimensional ball with radius \(\varepsilon \) and Dirichlet boundary conditions and integrate by parts on that ball. To prevent contributions from the boundary, we insert a smoothed step function whose derivative can be controlled (Definition 5.1). To make up for the factors \(\varepsilon ^{-1}\) from the derivative, one observes that all expressions in \(\gamma _{b,<}^{(2)}\) contain at least one projection \(q^{\chi ^\varepsilon }\). Since \(\Vert q^{\chi ^\varepsilon }_1\psi ^{N,\varepsilon }(t)\Vert =\mathcal {O}(\varepsilon )\) (Lemma 4.9a), which follows since the spectral gap between ground state and excitation spectrum grows proportionally to \(\varepsilon ^{-2}\), the projections \(q^{\chi ^\varepsilon }\) provide the missing factors \(\varepsilon \). The second main ingredient is the admissibility condition, which allows us to cancel small powers of N by powers of \(\varepsilon \) gained from \(q^{\chi ^\varepsilon }\).
-
(b)
For \(\gamma _{b,<}^{(3)}\), this strategy of a three-dimensional integration by parts does not work: whereas \(q^{\chi ^\varepsilon }\) cancels the factor \(\varepsilon ^{-1}\) from the derivative, we do not gain sufficient powers of \(\varepsilon \) to compensate for all positive powers of N. Note that this problem did not occur in [9], where the ratio of N and \(\varepsilon \) was different.Footnote 2
To cope with \(\gamma _{b,<}^{(3)}\), note that both (29) and (30) contain the expression \(p^{\chi ^\varepsilon }_1w_{\mu ,\beta }^{(12)}p^{\chi ^\varepsilon }_1\), which, analogously to \(\overline{\overline{w_{\mu ,\beta }}}\), defines a function \(\overline{w_{\mu ,\beta }}(x_1-x_2,y_2)\) where one of the y-variables is integrated out (Definition 5.4). We integrate by parts only in the x-variable, which has the advantages that \(\nabla _x\) does not generate factors \(\varepsilon ^{-1}\) and that the x-antiderivative of \(\overline{w_{\mu ,\beta }}(\cdot ,y)\) diverges only logarithmically in \(\mu ^{-1}\) (Lemma 5.6b). Due to admissibility and moderate confinement condition, this can be cancelled by any positive power of \(\varepsilon \) or \(N^{-1}\). In distinction to \(\gamma _{b,<}^{(2)}\), we do not integrate by parts on a ball with Dirichlet boundary conditions but instead add and subtract suitable counter-terms as in [43] and integrate over \(\mathbb {R}^2\). Note that one would obtain the same result when integrating by parts on a ball as in \(\gamma _{b,<}^{(2)}\), but in this way the estimates are easily transferable to \(\gamma _{b,<}^{(4)}\) (see below).
More precisely, we construct \(\overline{v}_\rho (\cdot ,y)\) such that \(\Vert \overline{w_{\mu ,\beta }}(\cdot ,y)\Vert _{L^1(\mathbb {R}^2)}=\Vert \overline{v}_\rho (\cdot ,y)\Vert _{L^1(\mathbb {R}^2)}\) and that \(\mathrm {supp}\overline{v}_\rho (\cdot ,y)\) scales as \(\rho \in (\mu ^\beta ,1]\) (Definition 5.4). As a consequence of Newton’s theorem, the solution \(\overline{h}_{\varrho _\beta ,\rho }\) of \(\Delta _x\overline{h}_{\varrho _\beta ,\rho }=\overline{w_{\mu ,\beta }}-\overline{v}_\rho \) is supported within a two-dimensional ball with radius \(\rho \). We then write \(\overline{w_{\mu ,\beta }}(\cdot ,y)=\Delta _x\overline{h}_{\varrho _\beta ,\rho }(\cdot ,y)+\overline{v}_\rho (\cdot ,y)\), integrate the first term by parts in x, and choose \(\rho \) sufficiently large that the contributions from \(\overline{v}_\rho \) can be controlled. The full argument is given in Sections 5.2.3 and 5.2.4.
-
(c)
Finally, to estimate \(\gamma _{b,<}^{(4)}\) (Section 5.2.5), we define \(\overline{\overline{w_{\mu ,\beta }}}\) as above and integrate by parts in x, using an auxiliary potential \(\overline{\overline{v}}_\rho \) analogously to \(\overline{v}_\rho \) (Definition 5.4). To cope with the logarithmic divergences from the two-dimensional Green’s function, we integrate by parts twice, following an idea from [43]. This is the reason why we defined \(\overline{h}_{\varrho _\beta ,\rho }\) and \(\overline{\overline{h}}_{\varrho _\beta ,\rho }\) on \(\mathbb {R}^2\) and not on a ball, which would require the use of a smoothed step function. While the results are the same when integrating by parts only once, it turns out that the additional factors \(\rho ^{-1}\) from a second derivative hitting the step function cannot be controlled sufficiently well. For (32), the bound \(\Vert \nabla _{x_1}\psi ^{N,\varepsilon }(t)\Vert ^2\lesssim 1\) from a priori energy estimates is insufficient, comparable to the situation in [43] and [9]. Instead, we require an improved bound on the kinetic energy of the part of \(\psi ^{N,\varepsilon }(t)\) with at least one particle orthogonal to \(\Phi (t)\), given by \(\Vert \nabla _{x_1}q^\Phi _1\psi ^{N,\varepsilon }(t)\Vert ^2\). Essentially, one shows that
$$\begin{aligned}&\big |E_{w_{\mu ,\beta }}^{\psi ^{N,\varepsilon }(t)}-\mathcal {E}_{b_\beta }^{\Phi (t)}(t)\big |\\&\quad > rsim \Vert \nabla _{x_1}\psi ^{N,\varepsilon }(t)\Vert ^2-\Vert \nabla _x\Phi (t)\Vert ^2-\mathchoice{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptscriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{o}\mathopen {}\left( 1\right) }\\&\quad > rsim \Vert \nabla _{x_1}q^\Phi _1\psi ^{N,\varepsilon }(t)\Vert ^2+(\Vert \nabla _{x_1}p^\Phi _1\psi ^{N,\varepsilon }(t)\Vert ^2-\Vert \nabla _x\Phi (t)\Vert ^2)-\mathchoice{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptscriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{o}\mathopen {}\left( 1\right) }\\&\quad \geqq \Vert \nabla _{x_1}q^\Phi _1\psi ^{N,\varepsilon }(t)\Vert ^2-\Vert \nabla _x\Phi (t)\Vert ^2\left\langle \!\Bigg \langle \psi ^{N,\varepsilon }(t),\widehat{n}\psi ^{N,\varepsilon }(t) \right\rangle \!\Bigg \rangle -\mathchoice{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptscriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{o}\mathopen {}\left( 1\right) }, \end{aligned}$$which implies
$$\begin{aligned} \Vert \nabla _{x_1}q^\Phi _1\psi ^{N,\varepsilon }(t)\Vert ^2\lesssim \alpha _{w_{\mu ,\beta }}^<(t)+\mathchoice{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptscriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{o}\mathopen {}\left( 1\right) }. \end{aligned}$$The rigorous proof of this bound (Lemma 5.7) is an adaptation of the corresponding Lemma 4.21 in [9] and requires the new strategies described above, as well as both moderate confinement and admissibility condition.
3.2 The Gross–Pitaevskii Case \(\beta =1\)
For an interaction \(w_\mu \) in the Gross–Pitaevskii scaling regime, the previous strategy, i.e., deriving an estimate of the form \(|\tfrac{\mathrm {d}}{\mathrm {d}t}\alpha _{w_\mu }^<(t)|\lesssim \alpha _{w_\mu }^<(t)+\mathchoice{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptscriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{o}\mathopen {}\left( 1\right) }\), cannot work. To understand this, let us analyse the term \(\gamma _{b,<}^{(1)}\), which contains the difference between the quasi two-dimensional interaction \(\overline{\overline{w_{\mu ,\beta }}}\) and the effective potential \(b_1|\Phi (t)|^2\). As pointed out in Remark 3.1a, the basic idea here is to expand \(|\varphi ^\varepsilon (z_1-z_2)|^2\) around \(z_2\), which can be made rigorous for sufficiently regular \(\varphi ^\varepsilon \) and yields
Whereas this equals (at least asymptotically) the coupling parameter \(b_\beta \) for \(\beta \in (0,1)\), the situation is now different since \(b_1=8\pi a\int |\chi (y)|^4\mathrm {d}y\). In order to see that (35) and \(b_1\) are not asymptotically equal, but actually differ by an error of \(\mathcal {O}(1)\), let us briefly recall the definition of the scattering length and its scaling properties.
The three-dimensional zero energy scattering equation for the interaction \( w_\mu = \mu ^{-2} w(\cdot /\mu )\) is
By [37, Theorems C.1 and C.2], the unique solution \(j_\mu \in \mathcal {C}^1(\mathbb {R}^3)\) of (36) is spherically symmetric, non-negative and non-decreasing in |z|, and satisfies
where \(a_\mu \in \mathbb {R}\) is called the scattering length of \(w_\mu \). Equivalently,
From the scaling behaviour of (36), it is obvious that \(j_\mu (z) = j_{\mu =1}( z/\mu )\) and that
where a denotes the scattering length of the unscaled interaction \(w=w_{\mu =1}\), i.e.,
Returning to the original question, this implies that
and consequently,
where we have used that \(\Vert w_\mu \Vert _{L^1(\mathbb {R}^3)}=\mu \Vert w\Vert _{L^1(\mathbb {R}^3)}\) and that \(j_\mu (z)\) is continuous and non-decreasing, hence \(j_\mu (z)\leqq j_\mu (\mu )\) for \(z\in \mathrm {supp}w_\mu \) and \(1-j_\mu (\mu )\approx a\). In conclusion, the contribution from \(\gamma _{b,<}^{(1)}\) does not vanish if \(b_1\) is the coupling parameter in [9]. Naturally, one could amend this by taking \(\int |\chi (y)|^4\mathrm {d}y\Vert w\Vert _{L^1(\mathbb {R}^3)}\) instead of \(b_1\) as parameter in the non-linear equation. However, for this choice, the contributions from \(\gamma _{b,<}^{(2)}\) to \(\gamma _{b,<}^{(4)}\) would not vanish in the limit \((N,\varepsilon )\rightarrow (\infty ,0)\), as can easily be seen by setting \(\beta =1\) in Proposition 3.6.
The physical reason why the Gross–Pitaevskii scaling is fundamentally different — and why it requires a different strategy of proof — is the fact that the length scale \(a_\mu \) of the inter-particle correlations is of the same order as the range \(\mu \) of the interaction. In contrast, for \(\beta \in (0,1)\), the relation \(a_{\mu ,\beta }\ll \mu ^\beta \) implies that \(j_{\mu ,\beta }\approx 1\) on the support of \(w_{\mu ,\beta }\), hence the first order Born approximation \(8\pi a_{\mu ,\beta }\approx \Vert w_{\mu ,\beta }\Vert _{L^1(\mathbb {R}^3)}\) applies in this case.
Before explaining the strategy of proof for the Gross–Pitaevskii scaling, let us introduce the auxiliary function \(f_{\widetilde{\beta }}\in \mathcal {C}^1(\mathbb {R}^3)\). This function will be defined in such a way that it asymptotically coincides with \(j_\mu \) on \(\mathrm {supp}w_\mu \) but, in contrast to \(j_\mu \), satisfies \(f_{\widetilde{\beta }}(z)=1\) for sufficiently large |z|, which has the benefit of \(1-f_{\widetilde{\beta }}\) and \(\nabla f_{\widetilde{\beta }}\) being compactly supported. To construct \(f_{\widetilde{\beta }}\), we define the potential \(U_{\mu ,{\widetilde{\beta }}}\) such that the scattering length of \(w_\mu -U_{\mu ,{\widetilde{\beta }}}\) equals zero, and we define \(f_{\widetilde{\beta }}\) as the solution of the corresponding zero energy scattering equation.
Definition 3.7
Let \({\widetilde{\beta }}\in (\tfrac{1}{3},1)\). Define
where \(\varrho _{\widetilde{\beta }}\) is the minimal value in \((\mu ^{\widetilde{\beta }},\infty ]\) such that the scattering length of \(w_\mu -U_{\mu ,{\widetilde{\beta }}}\) equals zero. Further, let \(f_{\widetilde{\beta }}\in \mathcal {C}^1(\mathbb {R}^3)\) be the solution of
and define
In the sequel, we will abbreviate
In [10, Lemma 4.9], it is shown by explicit construction that a suitable \(\varrho _{\widetilde{\beta }}\) exists and that it is of order \(\mu ^{\widetilde{\beta }}\). Note that Definition 3.7 implies in particular that
which is an equivalent way of expressing that the scattering length of \(w_\mu -U_{\mu ,{\widetilde{\beta }}}\) equals zero. Let us remark that a comparable construction was used in [11] and in the series of papers [6,7,8].Footnote 3
Heuristically, one may think of the condensed N-body state as a product state that is overlaid with a microscopic structure described by \(f_{\widetilde{\beta }}\), i.e.,
as was first proposed by Jastrow in [27]. For \(\beta \in (0,1)\), it holds that \(f_{\widetilde{\beta }}\approx 1\), i.e., the condensate is approximately described by the product \(\left( \varphi ^\varepsilon \right) ^{\otimes N}\) — which is precisely the state onto which the operator \(P_0=p_1{,...,}p_N\) projects. For the Gross–Pitaevskii scaling, however, \(f_{\widetilde{\beta }}\) is not approximately constant, and the product state is no appropriate description of the condensed N-body wave function. The idea in [43] is to account for this in the counting functional by replacing the projection \(P_0\) onto the product state by the projection onto the correlated state \(\psi _\mathrm {cor}\). In this spirit, one substitutes the expression \(\left\langle \!\Bigg \langle \psi ,\widehat{m}\psi \right\rangle \!\Bigg \rangle \) in \(\alpha _{w_{\mu ,\beta }}^<(t)\) by
where we expanded \(f_{\widetilde{\beta }}=1-g_{\widetilde{\beta }}\) and kept only the terms which are at most linear in \(g_{\widetilde{\beta }}\). This leads to the following definition:
Definition 3.8
Since the convergence of \(\alpha _{w_\mu }^<(t)\) is equivalent to (15) and (16), an estimate of \(\alpha _{w_\mu }(t)\) is only meaningful if the correction to \(\alpha _{w_\mu }^<(t)\) in Definition 3.8 converges to zero as \((N,\varepsilon )\rightarrow (\infty ,0)\). This is the reason why we defined it using the operator \(\widehat{r}\) (Definition 3.2) instead of \(\widehat{m}\): as \(\widehat{r}\) contains additional projections \(p_1\) and \(p_2\), we can use the estimate \(\Vert g_{\widetilde{\beta }}^{(12)}p_1\Vert _\mathrm {op}\lesssim \varepsilon ^{-\frac{1}{2}}\mu ^{1+\frac{{\widetilde{\beta }}}{2}}\) instead of \(\Vert g_{\widetilde{\beta }}\Vert _\infty \lesssim 1\) (Lemma 6.2f). In the following proposition, it is shown that this suffices for the correction term to vanish in the limit.
Proposition 3.9
Assume A1 – A4. Then
for all \(t\in [0,T^\mathrm {ex}_{V^\parallel })\).
By adding the correction term to \(\alpha _{w_\mu }^<(t)\), we effectively replace \(w_\mu \) by \(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}\) in the time derivative of \(\alpha _{w_\mu }^<(t)\). To explain what is meant by this statement, let us analyse the contributions to the time derivative of \(\alpha _{w_\mu }(t)\), which are collected in the following proposition:
Proposition 3.10
Assume A1 – A4 for \(\beta =1\). Then
for almost every \(t\in [0,T^\mathrm {ex}_{V^\parallel })\), where
Here, we have used the abbreviations
where
The proof of this proposition is given in Section 6.5. Note that the contributions to the derivative \(\tfrac{\mathrm {d}}{\mathrm {d}t}\alpha _{w_\mu }(t)\) fall into two categories:
-
The terms (44)–(45) in \(\gamma ^<\) equal \(\gamma _{a,<}\) from Proposition 3.5, and (46) is exactly \(\gamma _{b,<}\) with interaction potential \(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}\). Hence, estimating \(\gamma ^<\) is equivalent to estimating the functional \(\alpha ^<_{U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}}(t)\), which arises from \(\alpha _{w_\mu }^<(t)\) by replacing the interaction \(w_\mu \) by \(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}\). Since \(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}\in \mathcal {W}_{{\widetilde{\beta }},\eta }\) for any \(\eta \in (0,1-{\widetilde{\beta }})\) (Lemma 6.4), this is an interaction in the NLS scaling regime, which was covered in the previous section. The physical idea here is that a sufficiently distant test particle with very low energy cannot resolve the difference between \(w_{\mu ,\beta }\) and \(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}\approx U_{\mu ,{\widetilde{\beta }}}\) since the scattering length of this difference is approximately zero by construction (42).
-
\(\gamma _a\) to \(\gamma _f\) can be understood as remainders from this substitution. \(\gamma _a\) collects the contributions coming from the fact that the N-body wave function interacts with a three-dimensional external trap \(V^\parallel \), while only \(V^\parallel \) evaluated on the plane \(y=0\) enters in the effective equation (7). Since this is an effect of the strong confinement, it has no equivalent in the three-dimensional problem [43], but the same contribution occurs in the situation of a cigar-shaped confinement [10]. The terms \(\gamma _b\) to \(\gamma _f\) are analogous to the corresponding expressions in [43] and [10].
By assumption A4, our analysis covers sequences \((N,\varepsilon )\) that are \((\Theta ,\Gamma )_1\)-admissible with \(1<\Gamma <\Theta \leqq 3\). To emphasize the distinction from the case \(\beta \in (0,1)\), let us call \(\Theta _1=:\vartheta \) and \(\Gamma _1=:\gamma \), i.e., we consider
Proposition 3.11
Let \(\beta =1\) and assume A1 – A4 with parameters \((\Theta ,\Gamma )_1=(\vartheta ,\gamma )\) in A4. Let \(t\in [0,T^\mathrm {ex}_{V^\parallel })\) and let
Then, for sufficiently small \(\mu \),
Remark 3.2
-
(a)
To estimate \(\gamma ^<\), observe first that we have chosen \({\widetilde{\beta }}\) such that \(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}\in \mathcal {W}_{{\widetilde{\beta }},\eta }\) for some \(\eta \), and such that assumption A4 with parameters \((\Theta ,\Gamma )_1=(\vartheta ,\gamma )\) makes the sequence \((N,\varepsilon )\) at the same time admissible/moderately confining with parameters \((\Theta ,\Gamma )_{\widetilde{\beta }}=(\delta /{\widetilde{\beta }},1/{\widetilde{\beta }})\) for some \(\delta \in (1,3)\) (see Section 6.6.1). Consequently, Proposition 3.6 yields
$$\begin{aligned} |\gamma ^<(t)|\lesssim & {} \alpha ^<_{U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}}(t)+\mathchoice{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptscriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{o}\mathopen {}\left( 1\right) }\;=\; \left\langle \!\Bigg \langle \psi ^{N,\varepsilon },\widehat{m}\psi ^{N,\varepsilon } \right\rangle \!\Bigg \rangle \nonumber \\&+\big |E_{U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}}^{\psi ^{N,\varepsilon }(t)}(t)-\mathcal {E}_{b_{{\widetilde{\beta }}}}^{\Phi (t)}(t)\big |+\mathchoice{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptscriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{o}\mathopen {}\left( 1\right) }. \end{aligned}$$(56)However, this does not yet complete the estimate for \(\gamma ^<\) since we need to bound all expressions in Proposition 3.10 in terms of \(\alpha _{w_\mu }^<=\left\langle \!\Bigg \langle \psi ^{N,\varepsilon },\widehat{m}\psi ^{N,\varepsilon } \right\rangle \!\Bigg \rangle +\big |E_{w_\mu }^{\psi ^{N,\varepsilon }(t)}(t)-\mathcal {E}_{b_1}^{\Phi (t)}(t)\big |\), up to contributions \(\mathchoice{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptscriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{o}\mathopen {}\left( 1\right) }\). By construction of \(f_{\widetilde{\beta }}\), it follows that \(b_{\widetilde{\beta }}=b_1\) (see (90) in Lemma 6.4), hence \(\mathcal {E}_{b_{{\widetilde{\beta }}}}^{\Phi (t)}(t)=\mathcal {E}_{b_1}^{\Phi (t)}(t)\). On the other hand, heuristic argumentsFootnote 4 indicate that \(E^{\psi ^{N,\varepsilon }(t)}_{U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}}(t)\) and \(E^{\psi ^{N,\varepsilon }(t)}_{w_\mu }(t)\) differ by an error of order \(\mathcal {O}(1)\), which implies that the right hand side of (56) is different from \(\alpha _{w_\mu }^<(t)\) by \(\mathcal {O}(1)\). By Remark 3.1c, this energy difference enters only in the estimate of (32) in \(\gamma _{b,<}^{(4)}\) via \(\Vert \nabla _{x_1}q^\Phi _1\psi ^{N,\varepsilon }(t)\Vert ^2\lesssim \alpha ^<_{U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}}(t)+\mathchoice{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptscriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{o}\mathopen {}\left( 1\right) }\). For the Gross–Pitaevskii scaling of the interaction, \(\Vert \nabla _{x_1}q^\Phi _1\psi ^{N,\varepsilon }(t)\Vert ^2\) is not asymptotically zero because the microscopic structure described by \(f_{\widetilde{\beta }}\) lives on the same length scale as the interaction and thus contributes a kinetic energy of \(\mathcal {O}(1)\). However, as this kinetic energy is concentrated around the scattering centres, one can show a similar bound for the kinetic energy on a subset \(\mathcal {A}_1\) of \(\mathbb {R}^{3N}\), where appropriate holes around these centres are cut out (Definition 6.5). This is done in Section 6.3, where we show in Lemma 6.7 that
$$\begin{aligned} \Vert \mathbb {1}_{\mathcal {A}_1}\nabla _{x_1}q^\Phi _1\psi ^{N,\varepsilon }(t)\Vert ^2\lesssim \alpha _{w_\mu }^<(t)+\mathchoice{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{\scriptscriptstyle \mathcal {O}}\mathopen {}\left( 1\right) }{\mathop {}\mathopen {}{o}\mathopen {}\left( 1\right) }. \end{aligned}$$The proof of this lemma is similar to the corresponding proof in [10, Lemma 4.12], which, in turn, adjusts ideas from [43] to the problem with dimensional reduction. However, since one key tool for the estimate is the Gagliardo–Nirenberg–Sobolev inequality in the x-coordinates, the estimates depend in a non-trivial way on the dimension of x. As one consequence, our estimate requires the moderate confinement condition with parameter \(\gamma >1\), where no such restriction was needed in [10].
Finally, we adapt the estimate of (32). In distinction to the corresponding proof in [10, Section 4.5.1], we need to integrate by parts in two steps to be able to control the logarithmic divergences that are due to the two-dimensional Green’s function. Inspired by an idea in [43], we introduce two auxiliary potentials \(\overline{\overline{v}}_{\mu ^{\beta _2}}\) and \(\overline{\overline{\nu }}_1\) such that \(\Vert \overline{\overline{U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}}}\Vert _{L^1(\mathbb {R}^2)}=\Vert \overline{\overline{v}}_{\mu ^{\beta _2}}\Vert _{L^1(\mathbb {R}^2)}=\Vert \overline{\overline{\nu }}_1\Vert _{L^1(\mathbb {R}^2)}\), define \(\overline{\overline{h}}_{\varrho _{\widetilde{\beta }},\mu ^{\beta _2}}\) and \(\overline{\overline{h}}_{\mu ^{\beta _2},1}\) as the solutions of \(\Delta _x\overline{\overline{h}}_{\varrho _{\widetilde{\beta }},\mu ^{\beta _2}}=\overline{\overline{U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}}}-\overline{\overline{v}}_{\mu ^{\beta _2}}\) and \(\Delta _x\overline{\overline{h}}_{\mu ^{\beta _2},1}=\overline{\overline{v}}_{\mu ^{\beta _2}}-\overline{\overline{\nu }}_1\), and write \(\overline{\overline{U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}}}=\Delta _x\overline{\overline{h}}_{\varrho _{\widetilde{\beta }},\mu ^{\beta _2}}+\Delta _x\overline{\overline{h}}_{\mu ^{\beta _2},1}+\overline{\overline{\nu }}_1\). The expressions depending on \(\overline{\overline{\nu }}_1\) can be controlled immediately, while we integrate the remainders by parts in x, making use of different properties of \(\overline{\overline{h}}_{\varrho _{\widetilde{\beta }},\mu ^{\beta _2}}\) and \(\overline{\overline{h}}_{\mu ^{\beta _2},1}\) (Lemma 5.6b). Subsequently, we insert identities \(\mathbb {1}=\mathbb {1}_{\mathcal {A}_1}+\mathbb {1}_{\overline{\mathcal {A}}_1}\), where \({\overline{\mathcal {A}}_1}\) denotes the complement of \({\mathcal {A}_1}\). On the one hand, this yields \(\Vert \mathbb {1}_{\mathcal {A}_1}\nabla _{x_1}q^\Phi _1\psi ^{N,\varepsilon }(t)\Vert \), which can be controlled by the new energy lemma (Lemma 6.7). On the other hand, we obtain terms containing \(\mathbb {1}_{\overline{\mathcal {A}}_1}\), which we estimate by exploiting the smallness of \({\overline{\mathcal {A}}_1}\). The full argument is given in Section 6.6.1.
-
(b)
The remainders \(\gamma _a\) to \(\gamma _f\) are estimated in Sections 6.6.2, and work, for the most part, analogously to the corresponding proofs in [10, Sections 4.5.2 – 4.5.7]. The only exception is \(\gamma _c\), where the strategy from [10] produces too many factors \(\varepsilon ^{-1}\). Instead, we estimate the x- and y-contributions to the scalar product \((\nabla g_{\widetilde{\beta }})\cdot \nabla \widehat{r}=(\nabla _xg_{\widetilde{\beta }})\cdot \nabla _x\widehat{r}+(\partial _yg_{\widetilde{\beta }})\partial _y\widehat{r}\) separately. To control the y-part, we integrate by parts in y and use the moderate confinement condition with \(\gamma >1\). Again, this is different from the situation in [10], where the corresponding term \(\gamma _c\) could be estimated without any restriction on the sequence \((N,\varepsilon )\).
3.3 Proof of Theorem 1
Let \(0\leqq T<T^\mathrm {ex}_{V^\parallel }\). For \(\beta \in (0,1)\), Proposition 3.6 implies that
for almost every \(t\in [0,T]\) and sufficiently small \(\mu \), where
with \(0<\sigma <\min \{\tfrac{1-3\xi }{4},\beta -\xi \}\). Since \(t\mapsto \alpha _{w_{\mu ,\beta }}^<(t)\) is non-negative and absolutely continuous on [0, T], the differential version of Grönwall’s inequality (see e.g. [20, Appendix B.2.j]) yields
for all \(t\in [0,T]\). Since \(\mathfrak {e}_\beta (t)\) is bounded uniformly in N and \(\varepsilon \) by (13) and with \(R^<_{\eta ,\beta ,\delta ,\sigma ,\xi }(N,\varepsilon )\rightarrow 0\) as \((N,\varepsilon )\rightarrow (\infty ,0)\), this implies (15) and (16) by Lemma 3.4.
For \(\beta =1\), observe first that Proposition 3.9 implies that the correction term in \(\alpha _{w_\mu }(t)\) is bounded by \(\varepsilon \) uniformly in \(t\in [0,T]\), provided \(\mu \) is sufficiently small. Hence, \(t\mapsto \alpha _{w_\mu }(t)+\varepsilon \) is non-negative and absolutely continuous and
for
with \(\max \{\frac{\gamma +1}{2\gamma },\tfrac{5}{6}\}<d<{\widetilde{\beta }}<\tfrac{3}{\vartheta }\). Consequently, Proposition 3.11 yields
for almost every \(t\in [0,T]\) and sufficiently small \(\mu \), which, as before, implies the statement of the theorem because both \(\varepsilon \) and \(R_{\gamma ,\vartheta ,\xi }(N,\varepsilon )\) converge to zero as \((N,\varepsilon )\rightarrow \infty \).
4 Preliminaries
We will from now on always assume that assumptions A1 – A4 with parameters \((\Theta ,\Gamma )_\beta =(\delta /\beta ,1/\beta )\) for \(\beta \in (0,1)\) and \((\Theta ,\Gamma )_1=(\vartheta ,\gamma )\) for \(\beta =1\) are satisfied.
Definition 4.1
Let \(\mathcal {M}\subseteq \{1,\dots ,N\}\). Define \(\mathcal {H}_\mathcal {M}\subseteq L^2(\mathbb {R}^{3N})\) as the subspace of functions which are symmetric in all variables in \(\mathcal {M}\), i.e. for \(\psi \in \mathcal {H}_\mathcal {M}\),
Lemma 4.2
Let \(f:\mathbb {N}_0\rightarrow \mathbb {R}_0^+\), \(d\in \mathbb {Z}\), \(\rho \in \{a,b\}\) and \(\nu \in \{c,d,e,f\}\). Further, let \(\mathcal {M}_1,\mathcal {M}_{1,2}\subseteq \{1,2 ,{...},N\}\) with \(1\in \mathcal {M}_1\) and \(1,2\in \mathcal {M}_{1,2}\). Then
-
(a)
\(\Vert \widehat{f}\Vert _\mathrm {op}=\Vert \widehat{f}_d\Vert _\mathrm {op}=\Vert \widehat{f}^\frac{1}{2}\Vert _\mathrm {op}^2=\sup \limits _{0\leqq k\leqq N}f(k)\),
-
(b)
\(\Vert \widehat{m}^\rho \Vert _\mathrm {op}\leqq N^{-1+\xi }\), \(\Vert \widehat{m}^\nu \Vert _\mathrm {op}\lesssim N^{-2+3\xi }\) and \(\Vert \widehat{r}\Vert _\mathrm {op}\lesssim N^{-1+\xi },\)
-
(c)
\(\widehat{n}^2=\frac{1}{N}\sum \limits _{j=1}^N q_j,\)
-
(d)
\(\Vert \widehat{f}q_1\psi \Vert ^2\leqq \frac{N}{|\mathcal {M}_1|}\Vert \widehat{f}\widehat{n}\psi \Vert ^2\) for \(\psi \in \mathcal {H}_{\mathcal {M}_1},\)
\(\Vert \widehat{f}q_1q_2\psi \Vert ^2\leqq \frac{N^2}{|\mathcal {M}_{1,2}|\left( |\mathcal {M}_{1,2}|-1\right) }\Vert \widehat{f}\,\widehat{n}^2\psi \Vert ^2\) for \( \psi \in \mathcal {H}_{\mathcal {M}_{1,2}},\)\(\Vert \widehat{m}^\rho _d\, q_1\psi ^{N,\varepsilon }(t)\Vert \lesssim N^{-1}\),
-
(e)
\(\Vert \nabla _1\widehat{f}q_1\psi \Vert \lesssim \Vert \widehat{f}\Vert _\mathrm {op}\Vert \nabla _1q_1\psi \Vert \) for \(\psi \in L^2(\mathbb {R}^{3N})\),
\(\Vert \nabla _{x_1}\widehat{f}q^\Phi _1\psi \Vert \lesssim \Vert \widehat{f}\Vert _\mathrm {op}\Vert \nabla _{x_1}q^\Phi _1\psi \Vert \) for \(\psi \in L^2(\mathbb {R}^{3N}),\)
-
(f)
\(\Vert \nabla _2\widehat{f}q_1q_2\psi \Vert \leqq \frac{N}{|\mathcal {M}_1|-1}\Vert \widehat{f}\,\widehat{n}\Vert _\mathrm {op}\Vert \nabla _2q_2\psi \Vert \) for \(\psi \in \mathcal {H}_{\mathcal {M}_{1}}\),
\(\Vert \nabla _{x_2}\widehat{f}q^\Phi _1q^\Phi _2\psi \Vert \leqq \frac{N}{|\mathcal {M}_1|-1}\Vert \widehat{f}\,\widehat{n}\Vert _\mathrm {op}\Vert \nabla _{x_2}q^\Phi _2\psi \Vert \) for \(\psi \in \mathcal {H}_{\mathcal {M}_{1}}\).
Proof
[9], Lemmas 4.1 and 4.5 and Corollary 4.6 and [10], Lemma 4.1. \(\quad \square \)
Lemma 4.3
Let \(f,g:\mathbb {N}_0\rightarrow \mathbb {R}_0^+\) be any weights and \(i,j\in \{1,\dots ,N\}\).
-
(a)
For \(k\in \{0,\dots ,N\}\),
$$\begin{aligned} \widehat{f}\,\widehat{g}=\widehat{fg}=\widehat{g}\widehat{f},\qquad \widehat{f}p_j=p_j\widehat{f}, \qquad \widehat{f}q_j=q_j\widehat{f}, \qquad \widehat{f}P_k=P_k\widehat{f}. \end{aligned}$$ -
(b)
Define \(Q_0:=p_j\), \(Q_1:=q_j\), \(\widetilde{Q}_0:=p_ip_j\), \(\widetilde{Q}_1\in \{p_iq_j,q_ip_j\}\) and \(\widetilde{Q}_2:=q_iq_j\). Let \(S_j\) be an operator acting non-trivially only on coordinate j and \(T_{ij}\) only on coordinates i and j. Then for \(\mu ,\nu \in \{0,1,2\}\)
$$\begin{aligned} Q_\mu \widehat{f}S_jQ_\nu =Q_\mu S_j\widehat{f}_{\mu -\nu }Q_\nu \quad \text { and } \quad \widetilde{Q}_\mu \widehat{f}T_{ij}\widetilde{Q}_\nu =\widetilde{Q}_\mu T_{ij}\widehat{f}_{\mu -\nu }\widetilde{Q}_\nu . \end{aligned}$$ -
(c)
$$\begin{aligned}{}[T_{ij},\widehat{f}]=[T_{ij},p_ip_j(\widehat{f}-\widehat{f}_2)+(p_iq_j+q_ip_j)(\widehat{f}-\widehat{f}_1)]. \end{aligned}$$
Proof
[9], Lemma 4.2.
Lemma 4.4
Let \(f:\mathbb {N}_0\rightarrow \mathbb {R}^+_0\).
-
(a)
The operators \(P_k\) and \(\widehat{f}\) are continuously differentiable as functions of time, i.e.,
$$\begin{aligned} P_k,\;\widehat{f}\in \mathcal {C}^1\big (\mathbb {R},\mathcal {L}\left( L^2(\mathbb {R}^{3N})\right) \big ) \end{aligned}$$for \(0\leqq k\leqq N\). Moreover,
$$\begin{aligned} \tfrac{\mathrm {d}}{\mathrm {d}t}\widehat{f}=\mathrm {i}\Big [\widehat{f},\sum \limits _{j=1}^N h_\beta ^{(j)}(t)\Big ], \end{aligned}$$where \(h_\beta ^{(j)}(t)\) denotes the one-particle operator corresponding to \(h_\beta (t)\) from (7) acting on the jth coordinate.
-
(b)
\(\left[ -\partial _{y_j}^2+\tfrac{1}{\varepsilon ^2}V^\perp (\tfrac{y_j}{\varepsilon }),\widehat{f}\,\right] =0\) for \(1\leqq j \leqq N\).
Proof
[9], Lemma 4.3. \(\square \)
Lemma 4.5
Let \(\psi \in L_+^2(\mathbb {R}^{3N})\) be normalised and \(f\in L^\infty (\mathbb {R}^2)\). Then
Proof
[9], Lemma 4.7. \(\square \)
Lemma 4.6
Let \(\Gamma ,\Lambda \in L^2(\mathbb {R}^{3N})\in \mathcal {H}_\mathcal {M}\) such that \(j\notin \mathcal {M}\) and \(k,l\in \mathcal {M}\) with \(j\ne k\ne l\ne j\). Let \(O_{j,k}\) be an operator acting non-trivially only on coordinates j and k, denote by \(r_k\) and \(s_k\) operators acting only on the kth coordinate, and let \(F:\mathbb {R}^3\times \mathbb {R}^3\rightarrow \mathbb {R}^d\) for \(d\in \mathbb {N}\). Then
-
(a)
\(\left| \left\langle \!\Bigg \langle \Gamma ,O_{j,k}\Lambda \right\rangle \!\Bigg \rangle \right| \leqq \Vert \Gamma \Vert \left( \left| \left\langle \!\Bigg \langle O_{j,k}\Lambda ,O_{j,l}\Lambda \right\rangle \!\Bigg \rangle \right| +|\mathcal {M}|^{-1}\Vert O_{j,k}\Lambda \Vert ^2\right) ^\frac{1}{2}.\)
-
(b)
\(\left| \left\langle \!\Bigg \langle r_k F(z_j,z_k)s_k\Gamma ,r_lF(z_j,z_l) s_l \Gamma \right\rangle \!\Bigg \rangle \right| \leqq \Vert s_kF(z_j,z_k)r_k\Gamma \Vert ^2.\)
-
(c)
\(\left| \left\langle \!\Bigg \langle \Gamma ,r_kF(z_j,z_k)s_k\Lambda \right\rangle \!\Bigg \rangle \right| \leqq \Vert \Gamma \Vert \left( \Vert s_kF(z_j,z_k)r_k\Lambda \Vert ^2+|\mathcal {M}|^{-1}\Vert r_kF(z_j,z_k)s_k\Lambda \Vert ^2\right) ^\frac{1}{2}.\)
Proof
[9], Lemma 4.8 and [10], Lemma 4.4. \(\quad \square \)
Lemma 4.7
Let \(t\in [0,T^\mathrm {ex}_{V^\parallel })\). Then for sufficiently small \(\varepsilon \),
-
(a)
\(\Vert \Phi (t)\Vert _{L^2(\mathbb {R}^2)}=1,\)
\(\Vert \Phi (t)\Vert _{L^\infty (\mathbb {R}^2)}\lesssim \Vert \Phi (t)\Vert _{H^2(\mathbb {R}^2)}\leqq \mathfrak {e}_\beta (t),\)
\(\Vert \nabla _x\Phi (t)\Vert _{L^\infty (\mathbb {R}^2)}\lesssim \Vert \Phi (t)\Vert _{H^3(\mathbb {R}^2)}\leqq \mathfrak {e}_\beta (t),\)
\(\Vert \Delta _x\Phi (t)\Vert _{L^\infty (\mathbb {R}^2)}\lesssim \Vert \Phi (t)\Vert _{H^4(\mathbb {R}^2)}\leqq \mathfrak {e}_\beta (t),\)
-
(b)
\(\Vert \chi ^\varepsilon \Vert _{L^2(\mathbb {R})}=1\), \(\Vert \frac{\mathrm {d}}{\mathrm {d}y}\chi ^\varepsilon \Vert _{L^2(\mathbb {R})}\lesssim \varepsilon ^{-1}\),
\(\int \limits _\mathbb {R}|\chi ^\varepsilon (y)|^4\mathrm {d}y=\varepsilon ^{-1}\int \limits _\mathbb {R}|\chi (y)|^4\mathrm {d}y\),
\(\Vert \chi ^\varepsilon \Vert _{L^\infty (\mathbb {R})}\lesssim \varepsilon ^{-\frac{1}{2}}\), \(\Vert \frac{\mathrm {d}}{\mathrm {d}y}\chi ^\varepsilon \Vert _{L^\infty (\mathbb {R})}\lesssim \varepsilon ^{-\frac{3}{2}}\),
-
(c)
\(\Vert \varphi ^\varepsilon (t)\Vert _{L^\infty (\mathbb {R}^3)}\lesssim \mathfrak {e}_\beta (t)\varepsilon ^{-\frac{1}{2}},\)
\(\Vert \nabla \varphi ^\varepsilon (t)\Vert _{L^\infty (\mathbb {R}^3)}\lesssim \mathfrak {e}_\beta (t)\varepsilon ^{-\frac{3}{2}},\)
\(\Vert \nabla |\varphi ^\varepsilon (t)|^2\Vert _{L^2(\mathbb {R}^3)}\lesssim \mathfrak {e}_\beta (t)\varepsilon ^{-\frac{3}{2}}\).
Proof
Part (a) follows from the Sobolev embedding theorem [2, Theorem 4.12, Part I A] and by definition of \(\mathfrak {e}_\beta \). Part (b) is an immediate consequence of (6), and part (c) is implied by (a) and (b). \(\quad \square \)
Lemma 4.8
Fix \(t\in [0,T^\mathrm {ex}_{V^\parallel })\) and let \(j,k\in \{1,{...},N\}\). Let \(g:\mathbb {R}^3\times \mathbb {R}^3\rightarrow \mathbb {R}\), \(h:\mathbb {R}^2\times \mathbb {R}^2\rightarrow \mathbb {R}\) be measurable functions such that \(|g(z_j,z_k)|\leqq G(z_k-z_j)\) and \(|h(x_j,x_k)|\leqq H(x_k-x_j)\) almost everywhere for some \(G:\mathbb {R}^3\rightarrow \mathbb {R}\), \(H:\mathbb {R}^2\rightarrow \mathbb {R}\). Let \(t_j\in \{p_j,\nabla _{x_j} p_j\}\) and \(t_j^\Phi \in \{p^\Phi _j,\nabla _{x_j}p^\Phi _j\}\). Then
-
(a)
\(\Vert (t_j)^\dagger \,g(z_j,z_k)t_j\Vert _\mathrm {op}\lesssim \mathfrak {e}_\beta ^2(t) \varepsilon ^{-1}\Vert G\Vert _{L^1(\mathbb {R}^3)}\) for \(G\in L^1(\mathbb {R}^3)\),
-
(b)
\(\Vert g(z_j,z_k)t_j\Vert _\mathrm {op}=\Vert t_j^\dagger \,g(z_j,z_k)\Vert _\mathrm {op}\lesssim \mathfrak {e}_\beta (t)\varepsilon ^{-\frac{1}{2}}\Vert G\Vert _{L^2(\mathbb {R}^3)}\) for \(G\in L^2\cap L^\infty (\mathbb {R}^3)\),
-
(c)
\(\Vert g(z_j,z_k)\nabla _j p_j\Vert _\mathrm {op}\lesssim \mathfrak {e}_\beta (t)\varepsilon ^{-\frac{3}{2}}\Vert G\Vert _{L^2(\mathbb {R}^3)}\) for \(G\in L^2(\mathbb {R}^3)\),
-
(d)
\(\Vert h(x_j,x_k) t^\Phi _j\Vert _\mathrm {op}=\Vert (t^\Phi _j)^\dagger h(x_j,x_k)\Vert _\mathrm {op}\leqq \mathfrak {e}_\beta (t)\Vert H\Vert _{L^2(\mathbb {R}^2)}\) for \(H\in L^2\cap L^\infty (\mathbb {R}^2)\).
Proof
Analogously to [9], Lemma 4.10. \(\quad \square \)
Lemma 4.9
Let \(\varepsilon \) be sufficiently small and fix \(t\in [0,T^\mathrm {ex}_{V^\parallel })\). Then for \(\beta \in (0,1]\)
-
(a)
\(\Vert \nabla _{x_1}p^\Phi _1\Vert _\mathrm {op}\leqq \mathfrak {e}_\beta (t), \qquad \qquad \Vert \Delta _{x_1}p^\Phi _1\Vert _\mathrm {op}\leqq \mathfrak {e}_\beta (t)\),
\(\Vert \partial _{y_1}p^{\chi ^\varepsilon }_1\Vert _\mathrm {op}\lesssim \varepsilon ^{-1}, \qquad \qquad \Vert \partial ^2_{y_1}p^{\chi ^\varepsilon }_1\Vert _\mathrm {op}\lesssim \varepsilon ^{-2}\),
\(\Vert q^{\chi ^\varepsilon }_1\psi ^{N,\varepsilon }(t)\Vert \leqq \mathfrak {e}_\beta (t)\varepsilon ,\qquad \Vert \nabla _{x_1}q^\Phi _1\psi \Vert \lesssim \mathfrak {e}_\beta (t), \quad \Vert \partial _{y_1}q^{\chi ^\varepsilon }_1\psi ^{N,\varepsilon }(t)\Vert \lesssim \mathfrak {e}_\beta (t),\)
\(\Vert \nabla _{x_1}\psi ^{N,\varepsilon }(t)\Vert \leqq \mathfrak {e}_\beta (t), \qquad \Vert \partial _{y_1}\psi ^{N,\varepsilon }(t)\Vert \lesssim \varepsilon ^{-1}, \qquad \Vert \nabla _1\psi ^{N,\varepsilon }(t)\Vert \lesssim \varepsilon ^{-1},\)
-
(b)
\(\left\Vert {\sqrt{w_{\mu ,\beta }^{(12)}}\psi ^{N,\varepsilon }(t)}\right\Vert \lesssim \mathfrak {e}_\beta (t)N^{-\frac{1}{2}},\qquad \)
-
(c)
\(\Vert w_{\mu ,\beta }^{(12)}\psi ^{N,\varepsilon }(t)\Vert \lesssim \mathfrak {e}_\beta (t)N^{-\frac{1}{2}}\mu ^{\frac{1}{2}-\frac{3\beta }{2}},\)
-
(d)
\(\Vert p_1\mathbb {1}_{\mathrm {supp}{w_{\mu ,\beta }}}(z_1-z_2)\Vert _\mathrm {op}=\Vert \mathbb {1}_{\mathrm {supp}{w_{\mu ,\beta }}}(z_1-z_2)p_1\Vert _\mathrm {op} \lesssim \mathfrak {e}_\beta (t)\mu ^{\frac{3\beta }{2}}\varepsilon ^{-\frac{1}{2}},\)
-
(e)
\(\Vert p_1 w_{\mu ,\beta }^{(12)}\psi ^{N,\varepsilon }(t)\Vert \lesssim \mathfrak {e}_\beta ^2(t)N^{-1}.\)
Proof
Analogously to [9], Lemma 4.11 and [10], Lemma 4.7. For parts (c) and (e), note that for \(\beta \in (0,1)\),
since \(w_{\mu ,\beta }\in \mathcal {W}_{\beta ,\eta }\) for some \(\eta >0\). For \(\beta =1\), \(\Vert w_\mu \Vert _{L^1(\mathbb {R}^3)}=\mu \Vert w\Vert _{L^1(\mathbb {R}^3)}\lesssim \mu \) by scaling. \(\quad \square \)
Lemma 4.10
Let \(f:\mathbb {R}\times \mathbb {R}^3\rightarrow \mathbb {R}\) such that \(f(t,\cdot )\in \mathcal {C}^1(\mathbb {R}^3)\) and \(\partial _y f(t,\cdot )\in L^\infty (\mathbb {R}^3)\) for any \(t\in [0,T^\mathrm {ex}_{V^\parallel })\). Then
-
(a)
\(\Vert (f(t,z_1)-f(t,(x_1,0))p^{\chi ^\varepsilon }_1\psi ^{N,\varepsilon }(t)\Vert \leqq \varepsilon \Vert \partial _yf(t)\Vert _{L^\infty (\mathbb {R}^3)},\)
-
(b)
\(\Vert (f(t,z_1)-f(t,(x_1,0))\psi ^{N,\varepsilon }(t)\Vert \leqq \varepsilon \left( \mathfrak {e}_\beta (t)\Vert f(t)\Vert _{L^\infty (\mathbb {R}^3)}+\Vert \partial _yf(t)\Vert _{L^\infty (\mathbb {R}^3)}\right) .\)
Proof
Analogously to [9], Lemma 4.12. \(\quad \square \)
Lemma 4.11
Let \(c\in \mathbb {R}\). Then
-
(a)
\( N^{-c}\ln N< N^{-c^-}\), \(\varepsilon ^c\ln \varepsilon ^{-1}< \varepsilon ^{c^-},\) \(\mu ^c\ln \mu ^{-1}<\mu ^{c^-},\)
\(\varepsilon ^c\ln N<(\Theta -1)\varepsilon ^{c^-}\lesssim {\left\{ \begin{array}{ll} \tfrac{\delta -\beta }{\beta }\varepsilon ^{c^-} &{} \beta \in (0,1),\\ \varepsilon ^{c^-} &{} \beta =1, \end{array}\right. }\)
-
(b)
\(N^{-c}\ln \varepsilon ^{-1} <\tfrac{1}{\Gamma -1}N^{-c^-}= {\left\{ \begin{array}{ll} \tfrac{\beta }{1-\beta }N^{-c^-} &{} \beta \in (0,1),\\ \tfrac{1}{\gamma -1}N^{-c^-} &{} \beta =1, \end{array}\right. }\)
\(N^{-c}\ln \mu ^{-1}<\tfrac{\Gamma }{\Gamma -1}N^{-c^-}= {\left\{ \begin{array}{ll} \tfrac{1}{1-\beta }N^{-c^-} &{} \beta \in (0,1),\\ \tfrac{\gamma }{\gamma -1}N^{-c^-} &{} \beta =1, \end{array}\right. }\)
-
(c)
\(\varepsilon ^c\ln \mu ^{-1}<\Theta \,\varepsilon ^{c^-}\lesssim {\left\{ \begin{array}{ll} \tfrac{\delta }{\beta }\,\varepsilon ^{c^-} &{} \beta \in (0,1),\\ \varepsilon ^{c^-} &{} \beta =1. \end{array}\right. }\)
Proof
Observe that \(N<\varepsilon ^{-\Theta +1}\) and \(\varepsilon ^{-1}<N^\frac{1}{\Gamma -1}\) due to admissibility and moderate confinement, hence \(\ln N<(\Theta -1)\ln \varepsilon ^{-1}\) and \(\ln \varepsilon ^{-1}<\tfrac{1}{\Gamma -1}\ln N\). \(\quad \square \)
5 Proofs for
5.1 Proof of Proposition 3.5
The proof works analogously to the proof of Proposition 3.7 in [9] and we provide only the main steps for convenience of the reader. From now on, we will drop the time dependence of \(\Phi \), \(\varphi ^\varepsilon \) and \(\psi ^{N,\varepsilon }\) in the notation and abbreviate \(\psi ^{N,\varepsilon }\equiv \psi \). The time derivative of \(\alpha _{w_{\mu ,\beta }}^<(t)\) is bounded by
For the second term in (60), note that
for almost every \(t\in [0,T^\mathrm {ex}_{V^\parallel })\) by [35, Theorem 6.17] because \(t\mapsto \tfrac{\mathrm {d}}{\mathrm {d}t}\big (E_{w_{\mu ,\beta }}^{\psi }(t)-\mathcal {E}_{b_\beta }^{\Phi }(t)\big )\) is continuous due to assumption A3. The first term in (60) yields
which follows from Lemmas 4.3 and 4.4. Expanding \(q=q^{\chi ^\varepsilon }+p^{\chi ^\varepsilon }q^\Phi \) in (62) to (64) and subsequently estimating \(N\widehat{m}^a_{-1}\leqq \widehat{l}\) and \(N\widehat{m}^b_{-2}\leqq \widehat{l}\) for \(\widehat{l}\in \mathcal {L}\) from (20) concludes the proof. \(\quad \square \)
5.2 Proof of Proposition 3.6
In this section, we will again drop the time dependence of \(\psi ^{N,\varepsilon }(t)\), \(\varphi ^\varepsilon (t)\) and \(\Phi (t)\) and abbreviate \(\psi ^{N,\varepsilon }\equiv \psi \). Besides, we will always take \(\widehat{l}\in \mathcal {L}\) from (20), hence Lemma 4.2 implies the bounds
for \(d\in \mathbb {Z}\).
5.2.1 Estimate of \(\gamma _{a,<}(t)\) and \(\gamma _{b,<}^{(1)}(t)\)
The bounds of \(\gamma _{a,<}(t)\) and \(\gamma _{b,<}^{(1)}(t)\) are established analogously to [9], Sections 4.4.1 and 4.4.2, and we summarise the main steps of the argument for convenience of the reader. With Lemmas 4.5, 4.10 and 4.2d, we obtain
By Lemmas 4.7 and 4.2d and since \(w_{\mu ,\beta }\in \mathcal {W}_{\beta ,\eta }\), \(\gamma _{b,<}^{(1)}(t)\) can be estimated as
where
Note that for any \(g\in \mathcal {C}^\infty _0(\mathbb {R}^3)\), \(\int _{\mathbb {R}^3} g(z_1-z)w_{\mu ,\beta }(z)\mathrm {d}z=g(z_1)\Vert w_{\mu ,\beta }\Vert _{L^1(\mathbb {R}^3)}+R(z_1)\) with
Since \(|z|\lesssim \mu ^\beta \) for \(z\in \mathrm {supp}w_{\mu ,\beta }\) and by (59), this implies \(\Vert R\Vert ^2_{L^2(\mathbb {R}^3)}\lesssim \mu ^{2\beta +2}\Vert \nabla g\Vert ^2_{L^2(\mathbb {R}^3)},\) which, by density, extends to \(g=|\varphi ^\varepsilon |^2\in H^1(\mathbb {R}^3)\). Hence,
by Hölder’s inequality and Lemma 4.7. Using Lemmas 4.8d and 4.2d, we obtain
5.2.2 Estimate of \(\gamma _{b,<}^{(2)}(t)\)
The key idea for the estimate \(\gamma _{b,<}^{(2)}(t)\) is to integrate by parts on a ball with radius \(\varepsilon \), using a smooth cut-off function to prevent contributions from the boundary.
Definition 5.1
Define \(h_\varepsilon : \mathbb {R}^3\rightarrow \mathbb {R}\), \(z\mapsto h_\varepsilon (z), \) by
where \(\zeta ^*:=\frac{\varepsilon ^2}{|\zeta |^2}\zeta .\) Furthermore, define \(H_\varepsilon :\mathbb {R}^3\rightarrow [0,1]\), \(z\mapsto H_\varepsilon (z)\), by
where \(\mathfrak {h}_\varepsilon :(\varrho _\beta ,\varepsilon )\rightarrow (0,1)\), \(r\mapsto \mathfrak {h}_\varepsilon (r)\), is a smooth, decreasing function as in [9, Definition 4.15] with \(\lim _{r\rightarrow \varrho _\beta }\mathfrak {h}_\varepsilon (r)=1\) and \(\lim _{r\rightarrow \varepsilon }\mathfrak {h}_\varepsilon (r)=0\). We will abbreviate
Lemma 5.2
Let \(\mu \ll \varepsilon \). Then
-
(a)
\(h_\varepsilon \) solves the problem \(\Delta h_\varepsilon =w_{\mu ,\beta }\) with boundary condition \(h_\varepsilon \big |_{|z|=\varepsilon }=0\) in the sense of distributions,
-
(b)
\(\Vert \nabla h_\varepsilon \Vert _{L^2(\mathbb {R}^3)}\lesssim \mu ^{1-\frac{\beta }{2}}\),
-
(c)
\(\Vert H_\varepsilon \Vert _{L^\infty (\mathbb {R}^3)}\lesssim 1\), \(\Vert H_\varepsilon \Vert _{L^2(\mathbb {R}^3)}\lesssim \varepsilon ^\frac{3}{2}\), \(\Vert \nabla H_\varepsilon \Vert _{L^\infty (\mathbb {R}^3)}\lesssim \varepsilon ^{-1}\), \(\Vert \nabla H_\varepsilon \Vert _{L^2(\mathbb {R}^3)}\lesssim \varepsilon ^\frac{1}{2}\).
Proof
The proof of Lemma 5.2 works analogously to Lemmas 4.12 and 4.13 in [9] and we briefly recall the argument for part (b) for convenience of the reader. First, we define \(h_\varepsilon ^{(1)}(z):=\int _{\mathbb {R}^3}\frac{w_{\mu ,\beta }(\zeta )}{|z-\zeta |}\mathrm {d}\zeta \) and \(h_\varepsilon ^{(2)}(z):=\int _{\mathbb {R}^3}\frac{\varepsilon }{|\zeta |}\frac{w_{\mu ,\beta }(\zeta )}{|\zeta ^*-z|}\mathrm {d}\zeta .\) To estimate \(|\nabla h_\varepsilon ^{(1)}|\), note that \(|\zeta |\leqq \varrho _\beta \lesssim \mu ^\beta \) for \(\zeta \in \mathrm {supp}w_{\mu ,\beta }\). For \(|z|\leqq 2\varrho _\beta \), this implies \(|z-\zeta |\leqq 3\varrho _\beta \lesssim \mu ^\beta \), hence \(|\nabla h_\varepsilon ^{(1)}(z)|\lesssim \mu ^{1-2\beta }\). For \(2\varrho _\beta \leqq |z|\leqq \varepsilon \), we find \(|z-\zeta |\geqq \tfrac{1}{2}|z|\), hence \(|\nabla h_\varepsilon ^{(1)}(z)|\lesssim \mu |z|^{-2} \).
For \(|h_\varepsilon ^{(2)}|\), observe that \(\zeta \in \mathrm {supp}w_{\mu ,\beta }\) implies \(|\zeta ^*|\geqq \varepsilon ^2\varrho _\beta ^{-1}\), hence, for \(\mu \) small enough that \(\varepsilon \varrho _\beta ^{-1}>2\), we obtain \(|z|\leqq \varepsilon <\tfrac{1}{2}\varepsilon ^2\varrho _\beta ^{-1}\leqq \tfrac{1}{2}|\zeta ^*|\). Consequently, \(|\zeta ^*-z|\geqq |\tfrac{1}{2}\varepsilon ^2|\zeta |^{-1}\), which yields \(|\nabla h_\varepsilon ^{(2)}|\lesssim \varepsilon ^{-3}\Vert w_{\mu ,\beta }\Vert _{L^\infty (\mathbb {R}^3)}\int _{\mathrm {supp}w_{\mu ,\beta }}|\zeta |^3\mathrm {d}|\zeta |\lesssim \varepsilon ^{-3}\mu ^{1+\beta }\). Part (b) follows from this by integration over the finite range of \(\mathrm {supp}h_\varepsilon \). Part (c) is obvious. \(\quad \square \)
We now use this lemma to estimate \(\gamma _{b,<}^{(2)}\). Let \(t_2\in \{p_2,q_2,q^\Phi _2p^{\chi ^\varepsilon }_2\}\). As \(H_\varepsilon (z_1-z_2)=1\) for \(z_1-z_2\in \mathrm {supp}w_{\mu ,\beta }\) and besides \(\mathrm {supp}H_\varepsilon =\overline{B_\varepsilon (0)}\), Lemma 5.2a implies
where the boundary terms upon integration by parts vanish because \(H_\varepsilon (|z|)=0\) for \(|z|=\varepsilon \), and where we have used Lemmas 4.6, 4.2, 4.8, 4.9a and 5.2. Similarly, one computes
The bound for \(\gamma _{b,<}^{(2)}\) follows from this because \(N^\xi \mu ^\frac{1-\beta }{2}=N^\frac{-1+\beta +2\xi }{2}\varepsilon ^\frac{1-\beta }{2}\leqq \varepsilon ^\frac{1-\beta }{2}\) for \(\xi \leqq \frac{1-\beta }{2}\) and since the admissibility condition implies for \(\xi \leqq \frac{3-\delta }{2}\cdot \frac{\beta }{\delta -\beta }\) that
5.2.3 Preliminary Estimates for the Integration by Parts
To control \(\gamma _{b,<}^{(3)}(t)\) and \(\gamma _{b,<}^{(4)}(t)\), we define the quasi two-dimensional interaction potentials \(\overline{w_{\mu ,\beta }}(x_1-x_2,y_1)\) and \(\overline{\overline{w_{\mu ,\beta }}}(x_1-x_2)\), which result from integrating out one or both transverse variables of the three-dimensional pair interaction \(w_{\mu ,\beta }(z_1-z_2)\), and integrate by parts in x. In this section, we provide the required lemmas and definitions in a somewhat generalised form, which allows us to directly apply the results in Sections 5.2.4, 5.2.5, 5.3 and 6.6.1.
Definition 5.3
Let \(\sigma \in (0,1]\) and define \(\overline{\mathcal {V}}_\sigma \) as the set containing all functions
such that
Further, define the set
Note that \(\mathrm {supp}\overline{\overline{\omega }}_\sigma \subseteq \{x\in \mathbb {R}^2: |x|\leqq \sigma \}\) and, since \(\chi ^\varepsilon \) is normalised, the estimates for the norms of \(\overline{\overline{\omega }}_\sigma \) coincide with the respective estimates for \(\overline{\omega }_\sigma \). Next, we define the quasi two-dimensional interaction potentials \(\overline{w_{\mu ,\beta }}\) and \(\overline{\overline{w_{\mu ,\beta }}}\) as well as the auxiliary potentials needed for the integration by parts, and show that they are contained in the sets \(\overline{\mathcal {V}}_\sigma \) and \(\overline{\overline{\mathcal {V}}}_\sigma \), respectively, for suitable choices of \(\sigma \).
Definition 5.4
Let \(w_{\mu ,\beta }\in \mathcal {W}_{\beta ,\eta }\) for some \(\eta >0\) and define
For \(\rho \in (\varrho _\beta ,1]\), define
It can easily be verified that \(\overline{\overline{w_{\mu ,\beta }}}\) and \(\overline{\overline{v}}_\rho \) can equivalently be written as
In addition, note that
Lemma 5.5
For \(\overline{w_{\mu ,\beta }}\), \(\overline{\overline{w_{\mu ,\beta }}}\), \(\overline{v}_\rho \) and \(\overline{\overline{v}}_\rho \) from Definition 5.4, it holds that
-
(a)
\(\overline{w_{\mu ,\beta }}\in \overline{\mathcal {V}}_{\varrho _\beta },\qquad \overline{\overline{w_{\mu ,\beta }}}\in \overline{\overline{\mathcal {V}}}_{\varrho _\beta },\qquad \overline{v}_\rho \in \overline{\mathcal {V}}_\rho , \qquad \overline{\overline{v}}_\rho \in \overline{\overline{\mathcal {V}}}_\rho ,\)
-
(b)
\(\Vert \overline{w_{\mu ,\beta }}(\cdot ,y)\Vert _{L^1(\mathbb {R}^2)}=\Vert \overline{v}_\rho (\cdot ,y)\Vert _{L^1(\mathbb {R}^2)}\) for any \(y\in \mathbb {R}\),
\(\Vert \overline{\overline{w_{\mu ,\beta }}}\Vert _{L^1(\mathbb {R}^2)}=\Vert \overline{\overline{v}}_\rho \Vert _{L^1(\mathbb {R}^2)}\).
Proof
It suffices to derive the respective estimates for \(\overline{w_{\mu ,\beta }}(\cdot ,y)\) and \(\overline{v}_\rho (\cdot ,y)\) uniformly in \(y\in \mathbb {R}\). For instance, Lemma 4.7 and (59) yield
and the remaining parts are verified analogously. \(\quad \square \)
In analogy to electrostatics, let us now define the “potentials” \(\overline{h}_{\sigma _1,\sigma _2}\) and \(\overline{\overline{h}}_{\sigma _1,\sigma _2}\) corresponding to the “charge distributions” \(\overline{\omega }_{\sigma _1}-\overline{\omega }_{\sigma _2}\) and \(\overline{\overline{\omega }}_{\sigma _1}-\overline{\overline{\omega }}_{\sigma _2}\), respectively.
Lemma 5.6
Let \(0<\sigma _1<\sigma _2\leqq 1\), \(\overline{\omega }_{\sigma _1}\in \overline{\mathcal {V}}_{\sigma _1}\) and \(\overline{\omega }_{\sigma _2}\in \overline{\mathcal {V}}_{\sigma _2}\) such that for any \(y\in \mathbb {R}\)
Define
and
Let \(y\in \mathbb {R}\) and \(\big (h_{\sigma _1,\sigma _2},\omega _{\sigma _1},\omega _{\sigma _2}\big )\in \left\{ \Big (\,\overline{h}_{\sigma _1,\sigma _2}(\cdot ,y),\overline{\omega }_{\sigma _1}(\cdot ,y),\overline{\omega }_{\sigma _2}(\cdot ,y)\Big ),\, \left( \,\overline{\overline{h}}_{\sigma _1,\sigma _2},\overline{\overline{\omega }}_{\sigma _1},\overline{\overline{\omega }}_{\sigma _2}\right) \right\} \).
-
(a)
\(h_{\sigma _1,\sigma _2}\) satisfies
$$\begin{aligned} \Delta _x h_{\sigma _1,\sigma _2}=\omega _{\sigma _1}-\omega _{\sigma _2} \end{aligned}$$in the sense of distributions, and
$$\begin{aligned} \mathrm {supp}h_{\sigma _1,\sigma _2}\subseteq \left\{ x\in \mathbb {R}^2:|x|\leqq \sigma _2\right\} , \end{aligned}$$ -
(b)
\(\Vert h_{\sigma _1,\sigma _2}\Vert _{L^2(\mathbb {R}^2)}\lesssim N^{-1}\sigma _2\left( 1+\ln \sigma _2^{-1}\right) \),
\(\Vert \nabla _x h_{\sigma _1,\sigma _2}\Vert _{L^2(\mathbb {R}^2)}\lesssim N^{-1}\left( \ln \sigma _1^{-1}\right) ^\frac{1}{2}\, \).
Proof
The first part of (a) follows immediately from [35, Theorem 6.21]. For the second part, Newton’s theorem [35, Theorem 9.7] states that for \(|x|\geqq \sigma _2\),
as \(\Vert \overline{\omega }_{\sigma _1}(\cdot ,y)\Vert _{L^1(\mathbb {R}^2)}=\Vert \overline{\omega }_{\sigma _2}(\cdot ,y)\Vert _{L^1(\mathbb {R}^2)}\). Besides, [35, Theorem 9.7] yields the estimate
by definition of \(\overline{\omega }\). Hence,
To derive the second part of (b), let us define the abbreviations
To estimate \(\nabla _x\overline{h}^{(1)}_{\sigma _1,\sigma _2}\), let \(y\in \mathbb {R}\) and consider \(\xi \in \mathrm {supp}\overline{\omega }_{\sigma _1}(\cdot ,y)\), hence \(|\xi |\leqq \sigma _1\). If \(|x|\leqq 2\sigma _1\), we have \(|x-\xi |\leqq |x|+|\xi |\leqq 3\sigma _1\), hence
If \(2\sigma _1<|x|\leqq \sigma _2\), this implies \(|x-\xi |\geqq |x|-|\xi |\geqq |x|-\sigma _1\geqq \frac{1}{2}|x|\), and one concludes
To estimate \(\nabla _x\overline{h}^{(2)}_{\sigma _1,\sigma _2}\), note that \(|x-\xi |\leqq |x|+|\xi |\leqq 2\sigma _2\) for \(x\in \mathrm {supp}\overline{h}_{\sigma _1,\sigma _2}(\cdot ,y)\) and \(\xi \in \mathrm {supp}\overline{\omega }_{\sigma _2}\), hence
Part (b) follows from integrating over \(|x|\leqq \sigma _2\). \(\quad \square \)
5.2.4 Estimate of \(\gamma _{b,<}^{(3)}(t)\)
To derive a bound for \(\gamma _{b,<}^{(3)}\), observe first that both terms (29) and (30) contain the interaction \(\overline{w_{\mu ,\beta }}\). We add and subtract \(\overline{v}_\rho \) from Definition 5.4 for suitable choices of \(\rho \), i.e.,
by Lemma 5.6, which is applicable by Lemma 5.5.
Estimate of (29). Due to the symmetry of \(\psi \), (29) can be written as
hence with \((s^\Phi _1,t^\Phi _2)\in \{(p^\Phi _1,q^\Phi _2),(q^\Phi _1,p^\Phi _2)\}\) and for some \(\rho \in (\varrho _\beta ,1]\),
Since \(s^\Phi _1 t^\Phi _2\) contains in both cases a projector \(p^\Phi \) and a projector \(q^\Phi \), the second term is easily estimated as
by Lemmas 4.8d and 4.2d. For (72), note first that for \((s^\Phi _1,t^\Phi _2)=(q^\Phi _1,p^\Phi _2)\),
and for \((s^\Phi _1,t^\Phi _2)=(p^\Phi _1,q^\Phi _2)\),
where we have used that \(\varrho _\beta \sim \mu ^\beta \). Hence, integration by parts in \(x_2\) yields with Lemma 4.6
Estimate of (30). For this term, we choose \(\rho =1\) and integrate by parts in \(x_2\). This yields
by Lemmas 4.2, 4.9a, 4.8d and 5.6. Together, the estimates for (29) and (30) yield
by Lemma 4.11. Since \(\beta \in (0,1)\) and \(3-\delta \in (0,2)\) as \(\delta \in (1,3)\), this implies
which yields the final bound for \(\gamma _{b,<}^{(3)}\) because, by admissibility and since \(\xi \leqq \frac{3-\delta }{2}\frac{\beta }{\delta -\beta }\),
5.2.5 Estimate of \(\gamma _{b,<}^{(4)}(t)\)
First, observe that
Since both terms (31) and (32) contain the quasi two-dimensional interaction \(\overline{\overline{w_{\mu ,\beta }}}\), we integrate by parts in x as before, using that
and choose \(\rho =N^{-{\beta _1}}\) for \({\beta _1}=\min \left\{ \frac{1+\xi }{4},\beta \right\} \) in (31) and \(\rho =1\) in (32). In the sequel, we abbreviate
Estimate of (31). Integration by parts in \(x_1\) yields with Lemma 4.3b
For the first term, we obtain with Lemmas 4.6c, 4.8d and for \(\rho =N^{-\beta _1}\)
where we used that \(\overline{\overline{v}}_\rho =\sqrt{\overline{\overline{v}}_\rho }\sqrt{\overline{\overline{v}}_\rho }\) since \(\overline{\overline{v}}_\rho \geqq 0\) and consequently
To estimate (75) and (76), observe first that for any operator \(s_1\) acting only on the first coordinate,
by Lemmas 4.2e and 4.9a. With Lemmas 4.6, 4.2 and 5.6b, we thus obtain for \(\rho =N^{-{\beta _1}}\)
Together, this yields, with Lemma 4.11, that
Note that for \({\beta _1}=\min \{\frac{1+\xi }{4},\beta \}\) and since \(\xi <\frac{1}{3}\), it holds that \(N^{-{\beta _1}+\xi }>N^{-\frac{1}{2}+\xi }\) and that \(-\frac{1}{2}+\frac{\xi }{2}+{\beta _1}<-{\beta _1}+\xi \). Hence,
Estimate of (32). Observe first that for \(j\in \{0,1\}\),
Integration by parts in \(x_2\) with \(\rho =1\) yields with Lemmas 4.3b, 5.6, 4.9a and 4.11
With Lemma 5.7 below, we obtain
for \(\beta _2=\min \left\{ \beta ,\frac{1}{4}\right\} \). Together, the estimates of (31) and (32) yield
5.3 Estimate of the Kinetic Energy for \(\beta \in (0,1)\)
Lemma 5.7
For \(\beta _2=\min \left\{ \frac{1}{4},\beta \right\} \) and sufficiently small \(\mu \),
Proof
Analogously to the proof of Lemma 4.21 in [9], we expand
Note that the second term in (81) is non-negative. For (82), we observe that
and \(\left\langle \!\Bigg \langle \widehat{n}^{-\frac{1}{2}}q^\Phi _1\psi ,\Delta _{x_1}p^\Phi _1\widehat{n}^\frac{1}{2}\psi \right\rangle \!\Bigg \rangle \lesssim \mathfrak {e}_\beta ^2(t)\left\langle \!\Bigg \langle \psi ,\widehat{n}\psi \right\rangle \!\Bigg \rangle .\) Making use of \(\mathcal {G}(x)\) from (65) and Lemma 4.8, we find \(|(83)| \lesssim \mathfrak {e}_\beta ^2(t)\left( \tfrac{\mu ^\beta }{\varepsilon }+N^{-1}+\mu ^\eta \right) \) and \(|(84)|\lesssim \mathfrak {e}_\beta (t)\left\langle \!\Bigg \langle \psi ,\widehat{n}\psi \right\rangle \!\Bigg \rangle \). Insertion of \(\widehat{n}^\frac{1}{2}\widehat{n}^{-\frac{1}{2}}\) yields \(|(86)|\lesssim \mathfrak {e}_\beta ^2(t)\left\langle \!\Bigg \langle \psi ,\widehat{n}\psi \right\rangle \!\Bigg \rangle \). As a consequence of Lemmas 4.5 and 4.10, \(|(87)|+|(88)|\lesssim \mathfrak {e}_\beta ^2(t)\left\langle \!\Bigg \langle \psi ,\widehat{n}\psi \right\rangle \!\Bigg \rangle +\mathfrak {e}_\beta ^3(t)\varepsilon \). Finally, we decompose \(|(85)|\) as
Analogously to the bound of (25) (Section 5.2.2), the first line is bounded by
and the second line yields
for \({\beta _2}=\min \left\{ \beta ,\frac{1}{4}\right\} \) as in the estimate of (31) (Section 5.2.5). \(\quad \square \)
6 Proofs for \(\beta =1\)
6.1 Microscopic Structure
This section collects properties of the scattering solution \(f_{\widetilde{\beta }}\) and its complement \(g_{\widetilde{\beta }}\).
Lemma 6.1
Let \(f_{\widetilde{\beta }}\) and \(\varrho _{\widetilde{\beta }}\) as in Definition 3.7 and \(j_\mu \) as in (36). Then
-
(a)
\(f_{\widetilde{\beta }}\) is a non-negative, non-decreasing function of |z|,
-
(b)
\(f_{\widetilde{\beta }}(z)\geqq j_\mu (z)\) for all \(z\in \mathbb {R}^3\) and there exists \(\kappa _{\widetilde{\beta }}\in \big (1,\frac{\mu ^{\widetilde{\beta }}}{\mu ^{\widetilde{\beta }}-\mu a}\big )\) such that
$$\begin{aligned} f_{\widetilde{\beta }}(z)=\kappa _{\widetilde{\beta }}j_\mu (z) \end{aligned}$$for \(|z|\leqq \mu ^{\widetilde{\beta }}\),
-
(c)
\(\varrho _{\widetilde{\beta }}\sim \mu ^{\widetilde{\beta }}\),
-
(d)
\(\Vert \mathbb {1}_{|z_1-z_2|<\varrho _{\widetilde{\beta }}}\nabla _1\psi \Vert ^2+\tfrac{1}{2}\left\langle \!\Bigg \langle \psi , (w_\mu ^{(12)}-U_{\mu ,{\widetilde{\beta }}}^{(12)})\psi \right\rangle \!\Bigg \rangle \geqq 0\) for any \(\psi \in \mathcal {D}(\nabla _1)\).
Proof
Parts (a) to (c) are proven in [10, Lemma 4.9]. For part (d), see [43, Lemma 5.1(3)]. \(\quad \square \)
Lemma 6.2
For \(g_{\widetilde{\beta }}\) as in Definition 3.7 and sufficiently small \(\varepsilon \),
-
(a)
\(|g_{\widetilde{\beta }}(z)|\lesssim \frac{\mu }{|z|}\) ,
-
(b)
\(\Vert g_{\widetilde{\beta }}\Vert _{L^2(\mathbb {R}^3)}\lesssim \mu ^{1+\frac{{\widetilde{\beta }}}{2}},\)
-
(c)
\(\Vert \nabla g_{\widetilde{\beta }}\Vert _{L^2(\mathbb {R}^3)}\lesssim \mu ^\frac{1}{2},\)
-
(d)
\(\Vert g_{\widetilde{\beta }}^{(12)}\psi ^{N,\varepsilon }(t)\Vert \lesssim N^{-1}\),
-
(e)
\(\Vert \mathbb {1}_{\mathrm {supp}{g_{\widetilde{\beta }}}}(z_1-z_2)\psi ^{N,\varepsilon }(t)\Vert \lesssim \mathfrak {e}_1(t)\mu ^{{\widetilde{\beta }}}\varepsilon ^{-\frac{1}{3}}=\mathfrak {e}_1(t)N^{-{\widetilde{\beta }}}\varepsilon ^{{\widetilde{\beta }}-\frac{1}{3}}\),
-
(f)
\(\Vert \mathbb {1}_{\mathrm {supp}{g_{\widetilde{\beta }}(\,\cdot ,\,y_1-y_2)}}(x_1-x_2)\psi ^{N,\varepsilon }(t)\Vert \lesssim \mathfrak {e}_1(t)\mu ^{\frac{p-1}{p}{\widetilde{\beta }}}\) for any fixed \(p\in [1,\infty )\).
Proof
Parts (a) to (c) are proven in [10, Lemmas 4.10 and 4.11]. Assertion (d) works analogously as [10, Lemma 4.10c]. For (e), we obtain similarly to [10, Lemma 4.10e]
where we have used Hölder’s inequality in the \(\mathrm {d}z_1\) integration. Now we substitute \(z_1\mapsto \widetilde{z}_1=(x_1,\frac{y_1}{\varepsilon })\) and use Sobolev’s inequality in the \(\mathrm {d}\widetilde{z}_1\)-integration, noting that \(\nabla _{\widetilde{z}_1}=(\nabla _{x_1},\varepsilon \partial _{y_1})\) and \(\mathrm {d}\widetilde{z}_1=\varepsilon \mathrm {d}z_1\). This yields
The statement then follows with Lemma 4.9a. For part (f), recall the two-dimensional Gagliardo–Nirenberg–Sobolev inequality: for \(2< q<\infty \) and \(f\in H^1(\mathbb {R}^2)\),
where \(S_q\) is a positive constant which is finite for \(2<q<\infty \) (e.g. [41, Equation (2.2)] and [36, Equation (2.2.5)]). Consequently, \(\Vert f\Vert _{L^q(\mathbb {R}^2)}\lesssim \Vert f\Vert _{L^2(\mathbb {R}^2)}^\frac{2}{q}\Vert \nabla f\Vert _{L^2(\mathbb {R}^2)}^\frac{q-2}{q}\) for each fixed \(q\in (2,\infty )\). Hence, for any fixed \(p\in (1,\infty )\) and \(\psi \in L^2(\mathbb {R}^{3N})\cap \mathcal {D}(\nabla _{x_1})\),
where we have used Hölder’s inequality in the \(\mathrm {d}x_1\) integration, applied (89), and finally used again Hölder in the \(\mathrm {d}z_N{,...,}\mathrm {d}y_1\) integration. \(\quad \square \)
6.2 Characterisation of the Auxiliary Potential \(U_{\mu ,{\widetilde{\beta }}}\)
In this section, we show that both \(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}\) and \(U_{\mu ,{\widetilde{\beta }}}\) from Definition 3.7 are contained in the set \(\mathcal {W}_{{\widetilde{\beta }},\eta }\) from Definition 2.2, which admits the transfer of results obtained in Section 5 to these interaction potentials.
Lemma 6.3
The family \(U_{\mu ,{\widetilde{\beta }}}\) is contained in \(\mathcal {W}_{{\widetilde{\beta }},\eta }\) for any \(\eta >0\).
Proof
Note that \(\mu ^{-1}\int _{\mathbb {R}^3}U_{\mu ,{\widetilde{\beta }}}(z)\mathrm {d}z=\tfrac{4\pi }{3}a(\varrho _{\widetilde{\beta }}^3\,\mu ^{-3{\widetilde{\beta }}}-1)=\tfrac{4\pi }{3}ac\) for some \(c>0\) by Lemma 6.1c, hence \(b_{{\widetilde{\beta }},N,\varepsilon }(U_{\mu ,{\widetilde{\beta }}})=\lim _{(N,\varepsilon )\rightarrow (\infty ,0)}b_{{\widetilde{\beta }},N,\varepsilon }(U_{\mu ,{\widetilde{\beta }}})\). The remaining requirements are easily verified.
Lemma 6.4
Let \(0<\eta <1-{\widetilde{\beta }}\). Then the family \(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}\) is contained in \(\mathcal {W}_{{\widetilde{\beta }},\eta }\).
Proof
As before, it only remains to show that \(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}\) satisfies part (d) of Definition 2.2. To see this, observe that
hence \(b_{{\widetilde{\beta }},N,\varepsilon }(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }})=\kappa _{{\widetilde{\beta }}}8\pi a\int _{\mathbb {R}}|\chi (y)|^4\mathrm {d}y\). By Lemma 6.1b, this implies
and
\(\square \)
6.3 Estimate of the Kinetic Energy for \(\beta =1\)
The main goal of this section is to provide a bound for the kinetic energy of the part of \(\psi ^{N,\varepsilon }(t)\) with at least one particle orthogonal to \(\Phi (t)\). Since the predominant part of the kinetic energy is caused by the microscopic structure and thus concentrated in neighbourhoods of the scattering centres, we will consider the part of the kinetic energy originating from the complement of these neighbourhoods and prove that it is subleading. The first step is to define the appropriate neighbourhoods \(\overline{\mathcal {C}}_j\) as well as sufficiently large balls \(\overline{\mathcal {A}}_j\supset \overline{\mathcal {C}}_j\) around them.
Definition 6.5
Let \(\max \left\{ \frac{\gamma +1}{2\gamma },\frac{5}{6}\right\}< d<{\widetilde{\beta }}\), \(j,k\in \{1,{...},N\}\), and define the subsets of \(\mathbb {R}^{3N}\)
with \((x_j,y_j)\in \mathbb {R}^{2+1}\) as usual. Then the subsets \(\overline{\mathcal {A}}_j\), \(\overline{\mathcal {B}}_j\), \(\overline{\mathcal {C}}_j\) and \(\overline{\mathcal {A}}^x_j\) of \(\mathbb {R}^{3N}\) are defined as
and their complements are denoted by \(\mathcal {A}_j\), \(\mathcal {B}_j\), \(\mathcal {C}_j\) and \(\mathcal {A}^x_j\), e.g., \(\mathcal {A}_j:=\mathbb {R}^{3N}\setminus \overline{\mathcal {A}}_j\).
The sets \(\overline{\mathcal {A}}_j\) and \(\overline{\mathcal {A}}^x_j\) contain all N-particle configurations where at least one other particle is sufficiently close to particle j or where the projections in the x-direction are close, respectively. The sets \(\mathcal {B}_j\) consist of all N-particle configurations where particles can interact with particle j but are mutually too distant to interact among each other.
Note that the characteristic functions \(\mathbb {1}_{\mathcal {A}_1^x}\) and \(\mathbb {1}_{\overline{\mathcal {A}}_1^x}\) do not depend on any y-coordinate, and \(\mathbb {1}_{\mathcal {B}_1}\) and \(\mathbb {1}_{\overline{\mathcal {B}}_1}\) are independent of \(z_1\). Hence, the multiplication operators corresponding to these functions commute with all operators that act non-trivially only on the y-coordinates or on \(z_1\), respectively. Some useful properties of these cut-off functions are collected in the following lemma.
Lemma 6.6
Let \({\overline{\mathcal {A}}_1}\), \(\overline{\mathcal {A}}^x_1\) and \({\overline{\mathcal {B}}_1}\) as in Definition 6.5. Then
-
(a)
\(\Vert \mathbb {1}_{\overline{\mathcal {A}}_1}p_1\Vert _\mathrm {op}\lesssim \mathfrak {e}_1(t)\mu ^\frac{3d-1}{2}\), \(\Vert \mathbb {1}_{\overline{\mathcal {A}}_1}\nabla _{x_1}p_1\Vert _\mathrm {op}\lesssim \mathfrak {e}_1(t)\,\mu ^{\frac{3d-1}{2}}\),
-
(b)
\(\Vert \mathbb {1}_{\overline{\mathcal {A}}_1}\psi \Vert \lesssim \mu ^{d-\frac{1}{3}}\left( \Vert \nabla _{x_1}\psi \Vert +\varepsilon \Vert \partial _{y_1}\psi \Vert \right) \) for any \(\psi \in L^2(\mathbb {R}^{3N})\cap \mathcal {D}(\nabla _1)\),
-
(c)
\(\Vert \mathbb {1}_{\overline{\mathcal {A}}_1}\partial _{y_1}p^{\chi ^\varepsilon }_1\psi ^{N,\varepsilon }(t)\Vert \lesssim \mathfrak {e}_1(t)\varepsilon ^{-1}\mu ^{d-\frac{1}{3}},\)
-
(d)
\(\Vert \mathbb {1}_{\overline{\mathcal {B}}_1}\psi \Vert \lesssim \mu ^{d-\frac{1}{3}}\left( \sum \limits _{k=2}^N(\Vert \nabla _{x_k}\psi \Vert ^2+\varepsilon ^2\Vert \partial _{y_k}\psi \Vert ^2)\right) ^\frac{1}{2}\) for any \(\psi \in L^2(\mathbb {R}^{3N})\cap \mathcal {D}(\nabla _1)\),
-
(e)
\(\Vert \mathbb {1}_{\overline{\mathcal {B}}_1}\psi ^{N,\varepsilon }(t)\Vert \lesssim \mathfrak {e}_1(t)N^\frac{1}{2}\mu ^{d-\frac{1}{3}}=\mathfrak {e}_1(t)N^{-d+\frac{5}{6}}\varepsilon ^{d-\frac{1}{3}}\),
-
(f)
\(\Vert \mathbb {1}_{\overline{\mathcal {A}}_1^x}\psi \Vert \lesssim (N\mu ^{2d})^\frac{p-1}{2p}\Vert \psi \Vert ^\frac{1}{p}\Vert \nabla _{x_1}\psi \Vert ^\frac{p-1}{p}\) for any fixed \(p\in (1,\infty )\), and \(\psi \in L^2(\mathbb {R}^{3N})\cap \mathcal {D}(\nabla _{x_1})\),
-
(g)
\(\Vert \mathbb {1}_{\overline{\mathcal {A}}_1^x}q^{\chi ^\varepsilon }_1\psi ^{N,\varepsilon }(t)\Vert \lesssim \mathfrak {e}_1(t)\varepsilon ^\frac{1}{p}(N\mu ^{2d})^\frac{p-1}{2p}\) for any fixed \(p\in (1,\infty )\).
Proof
The proof of parts (a) to (e) works analogously to the proof of [10, Lemma 4.13]: one first observes that in the sense of operators, \(\mathbb {1}_{\overline{\mathcal {A}}_1}\leqq \sum _{k=2}^N\mathbb {1}_{a_{1,k}}\) and \(\mathbb {1}_{\overline{\mathcal {B}}_1}\leqq \sum _{k=2}^N\mathbb {1}_{\overline{\mathcal {A}}_k}\), concludes that \(\int _{\mathbb {R}^3}\mathbb {1}_{a_{1,k}}(z_1,z_k)\mathrm {d}z_1 \lesssim \mu ^{3d}\), and proceeds as in the proof of Lemma 6.2e. The proofs of (f) and (g) work analogously to the proof of Lemma 6.2f, where one uses the estimate \(\int _{\mathbb {R}^2}\mathbb {1}_{\overline{\mathcal {A}}_1^x}(x_1,{...},x_N)\mathrm {d}x_1\lesssim N\mu ^{2d}\). \(\quad \square \)
Lemma 6.7
Let \(1>{\widetilde{\beta }}>d>\max \left\{ \frac{\gamma +1}{2\gamma },\frac{5}{6}\right\} \). Then, for sufficiently small \(\mu \),
Proof
We will in the following abbreviate \(\psi ^{N,\varepsilon }(t)\equiv \psi \) and \(\Phi (t)\equiv \Phi \). Analogously to [10, Lemma 4.12], we decompose the energy difference as
The first line is easily controlled as
To estimate (92), note that \((c_{1,k}\cap {\mathcal {B}_1})\cap (c_{1,l}\cap {\mathcal {B}_1})=\emptyset \) by Definition 6.5 and since \(d<{\widetilde{\beta }}\) implies \(\varrho _{\widetilde{\beta }}<2\varrho _{\widetilde{\beta }}<\mu ^d\). Consequently, \(\mathbb {1}_{\overline{\mathcal {A}}_1}\mathbb {1}_{\mathcal {B}_1}\geqq \mathbb {1}_{\overline{\mathcal {C}}_1}\mathbb {1}_{\mathcal {B}_1}=\mathbb {1}_{\mathcal {B}_1}\sum \limits _{k=2}^N\mathbb {1}_{c_{1,k}}=\mathbb {1}_{\mathcal {B}_1}\sum \limits _{k=2}^N\mathbb {1}_{|z_1-z_k|\leqq \varrho _{\widetilde{\beta }}}\), which yields with Lemma 6.1d
To use this for (92), we must extract a contribution \(\Vert \mathbb {1}_{\overline{\mathcal {A}}_1}\mathbb {1}_{\mathcal {B}_1}\partial _{y_1}\psi \Vert ^2\) from the remaining expression \(\left\langle \!\Bigg \langle \psi , (-\partial ^2_{y_1}+\tfrac{1}{\varepsilon ^2}V^\perp (\tfrac{y_1}{\varepsilon })-\tfrac{E_0}{\varepsilon ^2})\psi \right\rangle \!\Bigg \rangle \). To this end, recall that \(\chi ^\varepsilon \) is the ground state of \(\partial ^2_{y_1}+\tfrac{1}{\varepsilon ^2}V^\perp (\tfrac{y_1}{\varepsilon })\) corresponding to the eigenvalue \(\frac{E_0}{\varepsilon ^2}\), hence \(O_{y_1}:=-\partial ^2_{y_1}+\tfrac{1}{\varepsilon ^2}V^\perp (\tfrac{y_1}{\varepsilon })-\tfrac{E_0}{\varepsilon ^2}\) is a positive operator and \(O_{y_1}\psi =O_{y_1}q^{\chi ^\varepsilon }_1\psi \). Since \(\mathbb {1}_{\overline{\mathcal {A}}_1^x}\) and \(\mathbb {1}_{\overline{\mathcal {B}}_1}\) and their complements commute with any operator that acts non-trivially only on \(y_1\) and since \(\mathbb {1}_{\overline{\mathcal {A}}_1^x}\mathbb {1}_{\overline{\mathcal {B}}_1}\psi \) and \(\mathbb {1}_{\mathcal {A}_1^x}\psi \) are contained in the domain of \(O_{y_1}\) if this holds for \(\psi \), we find
for any fixed \(p\in (1,\infty )\) by Lemma 6.6. Note that we have used in the last line the fact that \(\mathbb {1}_{\overline{\mathcal {A}}_1^x}\geqq \mathbb {1}_{\overline{\mathcal {A}}_1}\) in the sense of operators as \(\overline{\mathcal {A}}_1\subseteq \overline{\mathcal {A}}^x_1\). Now choose \(p=1+\frac{2}{\gamma (2d-1)-1}\), which is contained in \((1,\infty )\) as \(2d-1>\frac{1}{\gamma }\) because \(d>\frac{1}{2}+\frac{1}{2\gamma }\). This yields
because, since \(\gamma >1\) and \(d<{\widetilde{\beta }}\),
For the second expression in the brackets, recall that \(d>\frac{1}{2\gamma }+\frac{1}{2}\) by Definition 6.5, hence
Consequently,
Analogously to the estimates of (48) to (50) in [10, Lemma 4.12], we obtain
where we have decomposed \(\mathbb {1}_{\mathcal {A}_1}=\mathbb {1}-\mathbb {1}_{\overline{\mathcal {A}}_1}\) and used that \(\Vert \nabla _{x_1}p_1\psi \Vert ^2=\Vert \nabla _x\Phi \Vert _{L^2(\mathbb {R}^2)}^2\Vert p_1\psi \Vert ^2\) as well as Lemmas 4.3b, 4.5, 4.7a, 4.9a, 4.10 and 6.6a. Analogously to the corresponding terms (51) and (52) in [10, Lemma 4.12], we write (96) as
and control the contribution with \(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}\) and without \(\mathbb {1}_{\overline{\mathcal {B}}_1}\) by means of \(\mathcal {G}(x)\) as in (65), using the respective estimates from Section 5.2.1 since \(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}\in \mathcal {W}_{{\widetilde{\beta }},\eta }\) for \(\eta \in (0,1-{\widetilde{\beta }})\). For the remainders of (96), note that \(\Vert U_{\mu ,{\widetilde{\beta }}}\Vert _{L^1(\mathbb {R}^3)}\lesssim \mu \) and that
For (97), we decompose \(\mathbb {1}_{\mathcal {B}_1}=\mathbb {1}-\mathbb {1}_{\overline{\mathcal {B}}_1}\) and insert \(\widehat{n}^\frac{1}{2}\widehat{n}^{-\frac{1}{2}}\) into the term with identities on both sides. This leads to the bounds
Finally, for the last term of the energy difference, we decompose \(q=q^{\chi ^\varepsilon }+p^{\chi ^\varepsilon }q^\Phi \), which yields
where we used the symmetry under the exchange \(1\leftrightarrow 2\) of the second term in the first line. For (99), note that \(\mathbb {1}_{\mathcal {B}_1}\psi \) is symmetric in \(\{2,{...},N\}\) and commutes with \(\nabla _1\) and \(q^{\chi ^\varepsilon }_1\), hence we obtain, analogously to the estimate of (25) (Section 5.2.2), the bound
since
for \({\widetilde{\beta }}\leqq \frac{3}{\vartheta }\). For the second line and third line, note that \(p^{\chi ^\varepsilon }_1U_{\mu ,{\widetilde{\beta }}}^{(12)}p^{\chi ^\varepsilon }_1=p^{\chi ^\varepsilon }_1\overline{U_{\mu ,{\widetilde{\beta }}}}(x_1-x_2,y_2)\), with \(\overline{U_{\mu ,{\widetilde{\beta }}}}\) as in Definition 5.4, which is sensible since \(U_{\mu ,{\widetilde{\beta }}}\in \mathcal {W}_{{\widetilde{\beta }},\eta }\) for any \(\eta >0\). Hence, with \(\overline{v}_\rho \) and \(\overline{h}_{\varrho _{\widetilde{\beta }},\rho }\) as in Definition 5.4 and Lemma 5.6, we obtain with the choice \(\rho =1\)
by Lemmas 4.6c, 4.9a, 5.6 and 6.6e. Similarly, but without the need for Lemma 4.6c, we obtain with \(\rho =1\)
Analogously to the bound of (31) in Section 5.2.5, using \(\overline{\overline{h}}_{\varrho _{\widetilde{\beta }},\rho }\) with the choice \(\rho =N^{-\frac{1}{4}}\) and suitably inserting \(\widehat{n}^\frac{1}{2}\widehat{n}^{-\frac{1}{2}}\), we obtain
Finally, with the choice \(\rho =N^{-\frac{1}{2}}\), the last two lines can be bounded as
where we used (78) with \(s_1=p_1\) as well as (77) and Lemmas 5.6, 6.6e, 4.11 and 4.9a. Hence, we obtain with Lemma 4.11
where we have used that \(-\frac{1}{4}<-d+\frac{5}{6}\) and that \(\varepsilon \ll N^{-d+\frac{5}{6}}\varepsilon ^{d-\frac{1}{3}}\), which follows because
since \(\vartheta \leqq 3\). All estimates together imply
where we have used that \(3d-1>1-{\widetilde{\beta }}\) as \({\widetilde{\beta }}>d>\frac{5}{6}\) and that \(\tfrac{\mu ^{\widetilde{\beta }}}{\varepsilon }<\left( \tfrac{\mu }{\varepsilon ^\gamma }\right) ^\frac{1}{{\widetilde{\beta }}\gamma ^2}\) because, since \({\widetilde{\beta }}>\frac{1}{2}+\frac{1}{2\gamma }>\frac{1}{\gamma }\),
\(\quad \square \)
6.4 Proof of Proposition 3.9
Recalling that \(\widehat{r}=p_1p_2\widehat{m}^b+(p_1q_2+q_1p_2)\widehat{m}^a\), we conclude immediately
by Lemmas 6.2 and 4.2a and because \({\widetilde{\beta }}>\frac{5}{6}\). For fixed \(t\in [0,T^\mathrm {ex}_{V^\parallel })\) and sufficiently small \(\varepsilon \), \(\mathfrak {e}_1^2(t)\varepsilon ^\frac{5}{12}\lesssim 1\), hence this is bounded by \(\varepsilon \).
6.5 Proof of Proposition 3.10
This proof is analogous to the proof of [10, Proposition 3.2], and we sketch the main steps for convenience of the reader. In the sequel, we abbreviate \(\psi ^{N,\varepsilon }\equiv \psi \) and \(\Phi (t)\equiv \Phi \). Since
Proposition 3.5 implies that for almost every \(t\in [0,T^\mathrm {ex}_{V^\parallel })\),
The second term in (105) gives
In (106), we write \(\sum _{i<j}w_\mu ^{(ij)}=w_\mu ^{(12)}+\sum _{j=3}^N\left( w_\mu ^{(1j)}+w_\mu ^{(2j)}\right) +\sum _{3\leqq i<j\leqq N}w_\mu ^{(ij)}\) and use the identity \(w_\mu ^{(12)}-b_1(|\Phi (x_1)|^2+|\Phi (x_2)|^2)=Z^{(12)}-\tfrac{N-2}{N-1}b_1(|\Phi (x_1)|^2+|\Phi (x_2)|^2)\). This yields
For (107), note that
hence
The expressions \(\gamma _{a,<}(t)\), \(\gamma _{b,<}(t)\) together with the remaining terms from (106) and (107) yield
where we used that \(\mathfrak {I}\left\langle \!\Bigg \langle \psi ,\widetilde{Z}^{(12)}\widehat{r}\psi \right\rangle \!\Bigg \rangle =\mathfrak {I}\left\langle \!\Bigg \langle \psi ,\widetilde{Z}^{(12)}\widehat{m}\psi \right\rangle \!\Bigg \rangle \) and that
\(\square \)
6.6 Proof of Proposition 3.11
6.6.1 Estimate of \(\gamma ^<(t)\)
To estimate \(\gamma ^<(t)\), we apply Proposition 3.6 to the interaction potential \(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}\), which makes sense since \(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}\in \mathcal {W}_{{\widetilde{\beta }},\eta }\) for \(\eta \in (0,1-{\widetilde{\beta }})\) by Lemma 6.4. Besides, we need to verify that the sequence \((N,\varepsilon )\), which satisfies A4 with \((\Theta ,\Gamma )_1=(\vartheta ,\gamma )\), is also admissible and moderately confining with parameters \((\Theta ,\Gamma )_{\widetilde{\beta }}=(\delta /{\widetilde{\beta }},1/{\widetilde{\beta }})\) for some \(\delta \in (1,3)\). We show that this holds for \(\delta =\vartheta {\widetilde{\beta }}\).
By assumption, \(1>{\widetilde{\beta }}>\frac{\gamma +1}{2\gamma }>\frac{1}{\gamma }>\frac{1}{\vartheta }\). Hence, \(\delta =\vartheta {\widetilde{\beta }}\in (1,3)\) and we find
Since Proposition 3.6 requires the parameter \(0<\xi <\min \left\{ \frac{1}{3},\,\frac{1-{\widetilde{\beta }}}{2},\,{\widetilde{\beta }},\,\frac{3-\delta }{2}\cdot \frac{{\widetilde{\beta }}}{\delta -{\widetilde{\beta }}}\right\} \), we choose \(0<\xi <\min \left\{ \frac{1-{\widetilde{\beta }}}{2},\,\frac{3-\vartheta {\widetilde{\beta }}}{2(\vartheta -1)}\right\} \).
Proposition 3.6 provides a bound for \(\gamma ^<(t) \), which, however, depends on \(\alpha _{U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}}^<(t)\) and consequently on the energy difference \(|E^\psi _{U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}}(t)-\mathcal {E}_{U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}}^\Phi (t)|\). Note that \(\alpha _{U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}}^<(t)\) enters only in the estimate of
in \(\gamma _{b,<}^{(4)}(t)\). Hence, we need a new estimate of (32) by means of Lemma 6.7 to obtain a bound in terms of \(|E_{w_{\mu ,\beta }}^\psi (t)-\mathcal {E}_{b_\beta }^\Phi (t)|\). Since \(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}\in \mathcal {W}_{{\widetilde{\beta }},\eta }\), we can define \(\overline{\overline{U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}}}\in \overline{\overline{\mathcal {V}}}_{\varrho _{\widetilde{\beta }}}\) as in Definition 5.4,
and perform an integration by parts in two steps: first, we replace \(\overline{\overline{U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}}}\) by the potential \(\overline{\overline{v}}_{\mu ^{\beta _2}}\in \overline{\overline{\mathcal {V}}}_{\mu ^{\beta _2}}\) from Definition 5.4, namely,
where we have chosen \(\rho =\mu ^{\beta _2}\) for some \({\beta _2}\in (0,{\widetilde{\beta }})\). Subsequently, we replace this potential by \(\overline{\overline{\nu }}_1\in \overline{\overline{\mathcal {V}}}_1\) with \(\rho =1\), where \(\overline{\overline{v}}_{\mu ^{\beta _2}}\) plays the role of \(\overline{\overline{U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }}}}\), i.e.,
By construction,
hence, by Lemma 5.6a, the functions \(\overline{\overline{h}}_{\varrho _{\widetilde{\beta }},\mu ^{\beta _2}}\) and \(\overline{\overline{h}}_{\mu ^{\beta _2},1}\) as defined in (71) satisfy the equations
Hence,
and consequently
With Lemma 4.6a, the first two lines can be bounded as
where we used for (108) the estimate (78) with \(s_1=q^\Phi _1\) and \(\widetilde{\psi }=\widehat{l}_1\psi \) and for (109) the estimate (80) and applied Lemma 5.6b. To estimate (110) and (111), we insert identities \(\mathbb {1}=\mathbb {1}_{\mathcal {A}_1}+\mathbb {1}_{\overline{\mathcal {A}}_1}\) to be able to use Lemma 6.7:
By Lemma 6.6b, we find for \(\widetilde{\psi }\in L^2(\mathbb {R}^{3N})\) and with \(x=(x^{(1)},x^{(2)})\)
and analogously for the respective expression in (114). Note that for \(i,j\in \{1,2\}\) and \(F\in L^2(\mathbb {R}^2)\) with Fourier transform \(\widehat{F}(k)\), it holds that \(\Vert \partial _{x^{(j)}}F\Vert ^2_{L^2(\mathbb {R}^2)}\leqq \Vert \nabla _{x}F\Vert ^2_{L^2(\mathbb {R}^2)}\) and that
Hence, we conclude with Lemma 4.8d that
which follows because \(\Delta _{x}\overline{\overline{h}}_{\mu ^{\beta _2},1}=\overline{\overline{v}}_{\mu ^{\beta _2}}-\overline{\overline{\nu }}_1\). For the next two lines, note that \(\mathbb {1}_{\mathcal {A}_1}\nabla _{x_1}q^\Phi _1\psi \) is symmetric in\(\{2,{...},N\}\), hence we can apply Lemma 4.3a. Similarly to the estimate that led to (78), integrating by parts twice yields
Furthermore, proceeding as in (80), we find
By Lemmas 4.2d, 5.6b and 6.6b, we obtain, for \(j\in \{0,1\}\),
Combining these estimates, we conclude, with Lemma 6.7, that
Finally,
by Lemmas 4.2, 4.8d and by Definition 5.3 of \(\overline{\overline{\mathcal {V}}}_1\). With the choice \({\beta _2}=\frac{3d-1}{6}>\frac{1-{\widetilde{\beta }}}{2}\), all estimates together yield
In combination with the remaining bounds from Proposition 3.6, evaluated for \({\widetilde{\beta }}\), \(\eta =(1-{\widetilde{\beta }})^-\) and \(\delta =\vartheta {\widetilde{\beta }}\), we obtain
6.6.2 Estimate of the Remainders \(\gamma _a(t)\) to \(\gamma _f(t)\)
The estimates of \(\gamma _a(t)\), \(\gamma _b(t)\) as well as the bounds for \(\gamma _d(t)\) to \(\gamma _f(t)\) work mostly analogously to the respective estimates in [10, Section 4.5], hence we merely sketch the main steps for completeness.
Recalling that \(\widehat{r}:=\widehat{m}^bp_1p_2+\widehat{m}^a(p_1q_2+q_1p_2)\), one concludes with Lemmas 4.10, 6.2b and 4.2b that
since \({\widetilde{\beta }}>\frac{5}{6}\), \(\xi <\frac{1}{12}\) and \(\vartheta \leqq 3\). To estimate \(\gamma _b(t)\), note first that \(b_{\widetilde{\beta }}=b(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }})=b_1\) by (90), hence \((49)=0\). The two remaining terms can be controlled as
as a consequence of Lemmas 4.2b, 4.7a, 4.9e and 6.2b. The first term of \(\gamma _d(t)\) yields
since \({\widetilde{\beta }}>\frac{5}{6}\) and \(\xi <\frac{1}{12}\). For the second term of \(\gamma _d(t)\), we write \(\widehat{r}=\widehat{m}^a(p_1+p_2)+(\widehat{m}^b-2\widehat{m}^a)p_1p_2\), apply Lemma 4.3c with \(\widehat{m}^c\) and \(\widehat{m}^d\) from Definition 3.2, and observe that \(g_{\widetilde{\beta }}^{(12)}w_\mu ^{(13)}\ne 0\) implies \(|z_2-z_3|\leqq 2\varrho _{\widetilde{\beta }}\) because \(|z_1-z_2|\leqq \varrho _{\widetilde{\beta }}\) for \(z_1-z_2\in \mathrm {supp}g_{\widetilde{\beta }}\) and \(|z_1-z_3|\leqq \mu \) for \(z_1-z_3\in \mathrm {supp}w_\mu \). This leads to
since \({\widetilde{\beta }}>\frac{5}{6}\) and \(\xi <\frac{1}{12}\) and where we have estimated \(\Vert \mathbb {1}_{B_{2\varrho _{\widetilde{\beta }}}(0)}(z_2-z_3)\widehat{m}^a\psi \Vert ^2\) analogously to Lemma 6.2e. Using Lemma 4.3c, the relation
and the symmetry of \(\psi \), we obtain
by Lemmas 4.9e, 6.2b and Lemma 4.2b. Finally,
The last remaining term left to estimate is \(\gamma _c(t)\), where we follow a different path than in [10]: we decompose the scalar product of the gradients into its x- and y-component and subsequently integrate by parts, making use of the fact that \(\nabla _{x_1}g_{\widetilde{\beta }}^{(12)}=-\nabla _{x_2}g_{\widetilde{\beta }}^{(12)}\) and analogously for y. Taking the maximum over \(s_2\in \{p_2,q_2\}\) and \(\widehat{l}\in \mathcal {L}\) from (20), this results in
With Lemmas 4.2b, 4.8, 4.9a and 6.2, the first line is easily estimated as
For the second line, we conclude with Lemma 6.2f that for any fixed \(p\in (1,\infty )\),
With the choice \(p=\frac{\gamma +1}{\gamma -1}\), we obtain
since \({\widetilde{\beta }}>\frac{\gamma +1}{2\gamma }\) and \(\xi <\frac{1}{4}\). Finally, the last line yields
where the last inequality follows because
as \({\widetilde{\beta }}>\frac{\gamma +1}{2\gamma }\) and \(\xi <\frac{1}{4}\).
Notes
More precisely, Chen and Holmer consider sequences \((N,\varepsilon )\) such that \(N\gg \varepsilon ^{-2\nu (\beta )}\), where \(\nu (\beta ):=\max \left\{ \frac{1-\beta }{2\beta },\frac{5\beta /4-1/12}{1-5\beta /2},\frac{\beta /2+5/6}{1-\beta },\frac{\beta +1/3}{1-2\beta }\right\} \). For the regime \(\beta \in (0,\frac{3}{11}]\), this implies \(\nu (\beta )=\frac{1-\beta }{2\beta }\), which is equivalent to the choice \(\Gamma =\frac{1}{\beta }\) and thus exactly our moderate confinement condition. For \(\beta \in (\frac{3}{11},\frac{1}{3}]\), one obtains \(\nu (\beta )=\frac{\beta +1/3}{1-2\beta }\), which corresponds to the choice \(\Gamma =\frac{5}{3-6\beta }>\frac{1}{\beta }\), and for \(\beta \in (\frac{1}{3},\frac{2}{5})\), one concludes \(\nu (\beta )=\frac{5\beta /4-1/12}{1-5\beta /2}\), corresponding to \(\Gamma =\frac{5}{6-15\beta }>\frac{1}{\beta }\). Since the moderate confinement condition is weaker for smaller \(\Gamma \), we conclude that our condition is weaker for \(\beta >\frac{3}{11}\).
In the 3d \(\rightarrow \) 1d case [9], the range of the interaction scales as \(\mu _\mathrm {1d}^\beta =(\varepsilon ^2/N)^\beta \), besides \(\chi ^\varepsilon _\mathrm {1d}(y)=\varepsilon ^{-1}\chi _\mathrm {1d}(y/\varepsilon )\), and the admissibility condition reads \(\varepsilon ^2/\mu ^\beta _\mathrm {1d}\rightarrow 0\). These slightly different formulas lead to the estimate \(\Vert (\nabla _1h_\varepsilon ^\mathrm {1d}(z_1-z_2))p_1^\mathrm {1d}\Vert _\mathrm {op}\lesssim N^{-1+\frac{\beta }{2}}\varepsilon ^{1-\beta } \), while we obtain in our case \(\Vert (\nabla _1h_\varepsilon ^{(12)})p_1\Vert _\mathrm {op}\lesssim N^{-1+\frac{\beta }{2}}\varepsilon ^\frac{1-\beta }{2}\) (Lemma 5.2). Following the same path as in \(\gamma _{b,<}^{(2)}\), e.g., for (29) (corresponding to (21) in [9]), we obtain in the 1d problem the estimate \(\sim N^{\frac{\beta }{2}}\varepsilon ^{1-\beta }=(\varepsilon ^2/\mu ^\beta _\mathrm {1d})^\frac{1}{2}\), which can be controlled by the respective admissibility condition. As opposed to this, we compute in our case that \((29)\sim N^{\frac{\beta }{2}}\varepsilon ^\frac{1-\beta }{2}=(\varepsilon /\mu ^\beta )^\frac{1}{2}\), which diverges due to moderate confinement.
Translated to our setting, the authors consider the ground state \(f_\ell \) of the rescaled Neumann problem \(\left( -\Delta +\tfrac{1}{2} w_\mu (z)\right) f_\ell (z)=\mu ^{-2}\lambda _\ell f_\ell (z)\) on the ball \(\lbrace |z|\leqq \ell \rbrace \) for some \(\ell \sim 1\) and extend it by \(f_\ell (z)=1\) outside the ball. The lowest Neumann eigenvalue scales as \(\lambda _\ell \sim (\mu /\ell )^3\), hence one can re-write the equation in the form \(\left( -\Delta +\tfrac{1}{2}\left( w_\mu (z)-U(z)\right) \right) f_\ell (z)=0\), where \(U(z)=\mu C \mathbb {1}_{|z|\leqq \ell }\) for some constant C. This is comparable to (42) for the choice \({\widetilde{\beta }}=0\). Note that in contrast, we require \({\widetilde{\beta }}>\max \lbrace \frac{\gamma +1}{2\gamma },\frac{5}{6}\rbrace \) (Proposition 3.11).
See [10, pp. 1019–1020]. Essentially, when evaluated on the trial function \(\psi _\mathrm {cor}\) from (43), the energy difference is to leading order given by \(N\left\langle \!\Bigg \langle \psi _\mathrm {cor}(t),(w_\mu ^{(12)}-(U_{\mu ,{\widetilde{\beta }}}f_{\widetilde{\beta }})^{(12)})\psi _\mathrm {cor}(t) \right\rangle \!\Bigg \rangle \sim N\int \mathrm {d}z_1|\varphi ^\varepsilon (t,z_1)|^2\int \mathrm {d}z |f_{\widetilde{\beta }}(z)|^2(w_\mu (z)-U_{\mu ,{\widetilde{\beta }}}(z)) \sim \mu ^{-1}\int \mathrm {d}z g_{\widetilde{\beta }}(z)w_\mu (z)f_{\widetilde{\beta }}(z)\geqq \mu ^{-1}g_{\widetilde{\beta }}(\mu )\int \mathrm {d}zw_\mu (z)f_{\widetilde{\beta }}(z)\sim 8\pi a^2\).
References
Adami, R., Golse, F., Teta, A.: Rigorous derivation of the cubic NLS in dimension one. J. Stat. Phys. 127(6), 1193–1220, 2007
Adams, R.A., Fournier, J.J.F.: Sobolev Spaces. Pure and Applied Mathematics series, vol. 140. Academic Press, New York 2003
Anapolitanos, I., Hott, M., Hundertmark, D.: Derivation of the Hartree equation for compound Bose gases in the mean field limit. Rev. Math. Phys. 29(07), 1750022, 2017
Ben Abdallah, N., Méhats, F., Schmeiser, C., Weishäupl, R.: The nonlinear Schrödinger equation with a strongly anisotropic harmonic potential. SIAM J. Math. Anal. 37(1), 189–199, 2005
Benedikter, N., de Oliveira, G., Schlein, B.: Quantitative derivation of the Gross-Pitaevskii equation. Commun. Pure Appl. Math. 68(8), 1399–1482, 2015
Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: Complete Bose–Einstein condensation in the Gross–Pitaevskii regime. Commun. Math. Phys. 359(3), 975–1026, 2018
Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: Bogoliubov theory in the Gross-Pitaevskii limit. Acta Mathematica 222(2), 219–335, 2019
Boccato, C., Brennecke, C., Cenatiempo, S., Schlein, B.: Optimal rate for Bose–Einstein condensation in the Gross–Pitaevskii Regime. Commun. Math. Phys. 376(2), 1311–1395, 2020
Boßmann, L.: Derivation of the 1d nonlinear Schrödinger equation from the 3d quantum many-body dynamics of strongly confined bosons. J. Math. Phys. 60(3), 031902, 2019
Boßmann, L., Teufel, S.: Derivation of the 1d Gross-Pitaevskii equation from the 3d quantum many-body dynamics of strongly confined bosons. Ann. Henri Poincaré 20(3), 1003–1049, 2019
Brennecke, C., Schlein, B.: Gross–Pitaevskii dynamics for Bose–Einstein condensates. Analy. PDE 12(6), 1513–1596, 2019
Carles, R., Drumond Silva, J.: Large time behaviour in nonlinear Schrödinger equation with time dependent potential. Commun. Math. Sci. 13(2), 443–460, 2015
Chen, X., Holmer, J.: On the rigorous derivation of the 2d cubic nonlinear Schrödinger equation from 3d quantum many-body dynamics. Arch. Ration. Mech. Anal. 210(3), 909–954, 2013
Chen, X., Holmer, J.: Focusing quantum many-body dynamics II: The rigorous derivation of the 1d focusing cubic nonlinear Schrödinger equation from 3d. Anal. PDE 10(3), 589–633, 2017
Chen, X., Holmer, J.: The rigorous derivation of the 2D cubic focusing NLS from quantum many-body evolution. Int. Math. Res. Not. 2017(14), 4173–4216, 2017
Chong, J.: Dynamics of large boson systems with attractive interaction and a derivation of the cubic focusing NLS in \(\mathbb{R}^3\). arXiv:1608.01615, 2016.
de Oliveira, G.: Quantum dynamics of a particle constrained to lie on a surface. J. Math. Phys. 55(9), 092106, 2014
Erdős, L., Schlein, B., Yau, H.-T.: Derivation of the cubic non-linear Schrödinger equation from quantum dynamics of many-body systems. Invent. Math. 167(3), 515–614, 2007
Erdős, L., Schlein, B., Yau, H.-T.: Derivation of the Gross–Pitaevskii equation for the dynamics of Bose–Einstein condensate. Ann. Math. 172(1), 291–370, 2010
Evans, L.C.: Partial Differential Equations. American Mathematical Society, Providence 2010
Görlitz, A., Vogels, J., Leanhardt, A., Raman, C., Gustavson, T., Abo-Shaeer, J., Chikkatur, A., Gupta, S., Inouye, S., Rosenband, T., Pritchard, D., Ketterle, W.: Realization of Bose–Einstein condensates in lower dimensions. Phys. Rev. Lett. 87(13), 130402, 2001
Griesemer, M.: Exponential decay and ionization thresholds in non-relativistic quantum electrodynamics. J. Funct. Anal. 210(2), 321–340, 2004
Griesemer, M., Schmid, J.: Well-posedness of non-autonomous linear evolution equations in uniformly convex spaces. Math. Nachr. 290(2–3), 435–441, 2017
Hadzibabic, Z., Krüger, P., Cheneau, M., Battelier, B., Dalibard, J.: Berezinskii–Kosterlitz–Thouless crossover in a trapped atomic gas. Nature 441(7097), 1118, 2006
Hadzibabic, Z., Krüger, P., Cheneau, M., Rath, S.P., Dalibard, J.: The trapped two-dimensional Bose gas: from Bose–Einstein condensation to Berezinskii–Kosterlitz–Thouless physics. New J. Phys. 10(4), 045006, 2008
Hunter, J.D.: Matplotlib: A 2D graphics environment. Comput. Sci. Eng. 9(3), 90–95, 2007
Jastrow, R.: Many-body problem with strong forces. Phys. Rev. 98(5), 1479, 1955
Jeblick, M., Leopold, N., Pickl, P.: Derivation of the time dependent Gross–Pitaevskii equation in two dimensions. Commun. Math. Phys. 372(1), 1–69, 2019
Jeblick, M., Pickl, P.: Derivation of the time dependent Gross–Pitaevskii equation for a class of non purely positive potentials. arXiv:1801.04799, 2018.
Jeblick, M., Pickl, P.: Derivation of the time dependent two dimensional focusing NLS equation. J. Stat. Phys. 172(5), 1398–1426, 2018
Keler, J.V., Teufel, S.: The NLS limit for bosons in a quantum waveguide. Ann. Henri Poincaré 17(12), 3321–3360, 2016
Kirkpatrick, K., Schlein, B., Staffilani, G.: Derivation of the two-dimensional nonlinear Schrödinger equation from many body quantum dynamics. Am. J. Math. 133(1), 91–130, 2011
Knowles, A., Pickl, P.: Mean-field dynamics: singular potentials and rate of convergence. Commun. Math. Phys. 298(1), 101–138, 2010
Lewin, M., Nam, P.T., Rougerie, N.: A note on 2D focusing many-boson systems. Proc. Am. Math. Soc. 145(6), 2441–2454, 2017
Lieb, E.H., Loss, M.: Analysis. Graduate Studies in Mathematics, vol. 14. American Mathematical Society, Providence 2001
Lieb, E.H., Seiringer, R.: The Stability of Matter in Quantum Mechanics. Cambridge University Press, Cambridge 2010
Lieb, E.H., Seiringer, R., Solovej, J.P., Yngvason, J.: The Mathematics of the Bose Gas and Its Condensation. Birkhäuser, Boston 2005
Méhats, F., Raymond, N.: Strong confinement limit for the nonlinear Schrödinger equation constrained on a curve. Ann. Henri Poincaré 18(1), 281–306, 2017
Michelangeli, A., Olgiati, A.: Gross-Pitaevskii non-linear dynamics for pseudo-spinor condensates. J. Nonlinear Math. Phys. 24(3), 426–464, 2017
Michelangeli, A., Olgiati, A.: Mean-field quantum dynamics for a mixture of Bose–Einstein condensates. Anal. Math. Phys. 7(4), 377–416, 2017
Nirenberg, L.: On elliptic partial differential equations. Ann. Sc. Norm. Super. Pisa Cl. Sci. 13(2), 115–162, 1959
Pickl, P.: On the time dependent Gross–Pitaevskii- and Hartree equation. arXiv:0808.1178, 2008.
Pickl, P.: Derivation of the time dependent Gross–Pitaevskii equation with external fields. Rev. Math. Phys. 27(01), 1550003, 2015
Rychtarik, D., Engeser, B., Nägerl, H.-C., Grimm, R.: Two-dimensional Bose–Einstein condensate in an optical surface trap. Phys. Rev. Lett. 92(17), 173003, 2004
Schnee, K., Yngvason, J.: Bosons in disc-shaped traps: from 3d to 2d. Commun. Math. Phys. 269(3), 659–691, 2007
Smith, N.L., Heathcote, W.H., Hechenblaikner, G., Nugent, E., Foot, C.J.: Quasi-2d confinement of a BEC in a combined optical and magnetic potential. J. Phys. B 38(3), 223, 2005
Sohinger, V.: Bounds on the growth of high Sobolev norms of solutions to 2d Hartree equations. Discrete Contin. Dyn. Syst. A 32(10), 3733–3771, 2012
Triay, A.: Derivation of the time-dependent Gross–Pitaevskii equation for dipolar gases. arXiv:1904.04000, 2019.
Wachsmuth, J., Teufel, S.: Effective Hamiltonians for Constrained Quantum Systems. American Mathematical Society, Providence 2014
Yefsah, T., Desbuquois, R., Chomaz, L., Günter, K.J., Dalibard, J.: Exploring the thermodynamics of a two-dimensional Bose gas. Phys. Rev. Lett. 107(13), 130401, 2011
Acknowledgements
Open access funding provided by Institute of Science and Technology (IST Austria). I thank Stefan Teufel for helpful remarks and for his involvement in the closely related joint project [10]. Helpful discussions with Serena Cenatiempo and Nikolai Leopold are gratefully acknowledged. This work was supported by the German Research Foundation within the Research Training Group 1838 “Spectral Theory and Dynamics of Quantum Systems” and has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 754411.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by S. Serfaty
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Boßmann, L. Derivation of the 2d Gross–Pitaevskii Equation for Strongly Confined 3d Bosons. Arch Rational Mech Anal 238, 541–606 (2020). https://doi.org/10.1007/s00205-020-01548-w
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00205-020-01548-w