Abstract
We derive the linear acoustic and Stokes–Fourier equations as the limiting dynamics of a system of N hard spheres of diameter \({\varepsilon }\) in two space dimensions, when \(N\rightarrow \infty \), \({\varepsilon }\rightarrow 0\), \(N{\varepsilon }=\alpha \rightarrow \infty \), using the linearized Boltzmann equation as an intermediate step. Our proof is based on Lanford’s strategy (Time evolution of large classical systems, Springer, Berlin, 1975), and on the pruning procedure developed in Bodineau et al. (Invent Math 203:493–553, 2016) to improve the convergence time to all kinetic times with a quantitative control which allows us to reach also hydrodynamic time scales. The main novelty here is that uniform \(L^2\) a priori estimates combined with a subtle symmetry argument provide a weak version of chaos, in the form of a cumulant expansion describing the asymptotic decorrelation between the particles. A refined geometric analysis of recollisions is also required in order to discard the possibility of multiple recollisions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
Introduction to the Boltzmann–Grad Limit and Statement of the Result
The sixth problem raised by Hilbert in 1900 on the occasion of the International Congress of Mathematicians addresses the question of the axiomatization of mechanics, and more precisely of describing the transition between atomistic and continuous models for gas dynamics by rigorous mathematical convergence results. Even though it is quite restrictive (since only perfect gases can be considered by this process), Hilbert further suggested using Boltzmann’s kinetic equation as an intermediate step to understand the appearance of irreversibility and dissipative mechanisms [14]. The derivation of the Boltzmann equation was then formalized in the pioneering work of Grad [11].
A huge amount of literature has been devoted to these asymptotic problems, but up to now they remain still largely open. Important breakthroughs [3, 7] have allowed for a complete study of some hydrodynamic limits of the Boltzmann equation, especially in incompressible viscous regimes leading to the Navier-Stokes equations (see [10] for instance). Note that other regimes such as the compressible Euler limit (which is the most immediate from a formal point of view) are still far from being understood [5, 19].
But, at this stage, the main obstacle seems actually to come from the other step, namely the derivation of the Boltzmann equation from a system of interacting particles: the best result to this day concerning this low density limit which is due to Lanford in the case of hard-spheres [17] (see also [6, 8, 21, 22, 28] for a complete proof) is indeed valid only for short times, i.e. breaks down before any relaxation can be observed.
Theorem 1.1
Consider a system of N hard-spheres of diameter \({\varepsilon }\) on \(\mathbb {T}^d = [0,1]^d\) (with \(d\ge 2\)), initially “independent” and identically distributed with density \(f_0\) such that
for some \(\beta >0, \mu \in \mathbb {R}\).
Fix \(\alpha >0\), then, in the Boltzmann–Grad limit \(N \rightarrow \infty \) with \(N {\varepsilon }^{d-1} = \alpha \), the first marginal density converges almost everywhere to the solution of the Boltzmann equation
on a time interval \([0, C(\beta ,\mu ) /\alpha ]\). As the propagation of chaos holds, the empirical measure converges in law to density given by the solution of the Boltzmann equation.
By independent we mean here that the correlations, which are only due to the non overlapping condition, vanish asymptotically as \({\varepsilon }\rightarrow 0\).
The main reason why the convergence is not known to hold for longer time intervals is that the nonlinearity in the Boltzmann equation (1.1) is treated as if the equation was of the type \(\partial _t f = \alpha f^2\): the cancellations between gain and loss terms in Q(f, f) are yet to be understood. The only information we are able to get on these compensations comes from the stationarity of the canonical equilibrium measure. In this work, we consider very small fluctuations around such equilibria and show that the convergence is valid for all kinetic times with a quantitative control which allows us to reach also hydrodynamic time scales.
Setting of the Problem
The Model
In the following, we consider only the case of dimension \(d = 2\) (we refer the reader to Section 8.2 for a discussion of the difficulties to generalize our proof in higher dimensions). We are interested in describing the macroscopic behavior of a gas consisting of N hard spheres of diameter \({\varepsilon }\) in a periodic domain \({ \mathbb {T}^2} = [0,1]^2\) of \( \mathbb {R}^2\), with positions and velocities \((x_i, v_i)_{1\le i \le N} \) in \( ({ \mathbb {T}^2} \times \mathbb {R}^2)^N\), the dynamics of which is given by
with specular reflection at a collision
By macroscopic behavior, we mean that we look for a statistical description both taking the limit \(N\rightarrow \infty \) and averaging on the initial configurations.
Denote \(X_N := (x_1,\dots ,x_N) \in \mathbb {T}^{2N}\), \(V_N := (v_1,\dots ,v_N) \in \mathbb {R}^{2 N}\) and \(Z_N:= (X_N,V_N) \in \mathbb {D}^N\) where \( \mathbb {D}^N:= \mathbb {T}^{2N} \times \mathbb {R}^{2N}\). Defining the Hamiltonian
we consider the Liouville equation in the 4N-dimensional phase space
The Liouville equation is the following
or in other words
with specular reflection on the boundary, meaning that if \(Z_N\) belongs to \({\partial }{{\mathcal {D}}}_{{\varepsilon }}^{N+}(i,j)\) then we impose that
where \(X_N'=X_N\) and \(v_k'=v_k\) if \(k \ne i,j\) while \((v_i',v_j')\) are given by (1.3). We have also defined
In the following we assume that \(f_N\) is symmetric under permutations of the N particles, meaning that the particles are exchangeable, and we define \(f_N\) on the whole phase space \(\mathbb {D}^N\) by setting \(f_N \equiv 0\) on \(\mathbb {D}^N \setminus {{\mathcal {D}}}_{{\varepsilon }}^{N}\).
We recall, as shown in [1] for instance, that the set of initial configurations leading to ill-defined characteristics (due to clustering of collision times, or collisions involving more than two particles) is of measure zero in \({{\mathcal {D}}}_{\varepsilon }^N\).
In the following we shall denote by \({\varvec{\Psi }}_N\) the solution operator to the ODE (1.2–1.3) and by \(\mathbf{S}_N\) the group associated with free transport in \(\mathcal {D}_{\varepsilon }^N\) with specular reflection on the boundary. In other words, for a function \(\varphi _N\) defined on \(\mathcal {D}_{\varepsilon }^N\), we write
The BBGKY and Boltzmann Hierarchies
We are interested in the limiting behaviour of the previous system when \(N\rightarrow \infty \) and \({\varepsilon }\rightarrow 0\) under the Boltzmann–Grad scaling \(N{\varepsilon }=\alpha \), with \(\alpha = O(1)\) or diverging slowly to infinity. The quantities which are expected to have finite limits in the Boltzmann–Grad limit are the marginals
for every s fixed (\(s<N\)).
A formal computation based on Green’s formula (see [6, 8, 24] for instance) leads to the following BBGKY hierarchy for \(s<N\)
on \(\mathcal {D}_{\varepsilon }^s\), with the boundary condition as in (1.6)
The collision term is defined by
where \({{\mathbb {S}}}\) denotes the unit sphere in \(\mathbb {R}^2\). Note that the collision integral is split into two terms according to the sign of \((v_i-v_{s+1}) \cdot \nu \) and we used the trace condition on \({\partial }{{\mathcal {D}}}_{\varepsilon }^{N+}(i,s+1)\) to express all quantities in terms of pre-collisional configurations: in the following we shall also use the notation
so that
The closure for \(s=N\) is given by the Liouville equation (1.5).
To obtain the Boltzmann hierarchy, we compute the formal limit of the transport and collision operators when \({\varepsilon }\) goes to 0. Recalling that \((N-s) {\varepsilon }\sim \alpha \), the limit hierarchy is given by
in \(\mathbb {D}^s\), where \({\bar{C}}_{s,s+1}\) are the limit collision operators defined by
Initial Data and Closures for the Boltzmann Hierarchy
Consider chaotic initial data of the form \((f_0^{\otimes s})_{s\in \mathbb {N}^*}\), with
and denote by f(t) the solution of the nonlinear Boltzmann equation (1.1) which can be rewritten as
Then an easy computation shows that \((f(t)^{\otimes s})_{s\in \mathbb {N}^*}\) is a chaotic solution to the Boltzmann hierarchy, whose first marginal is nothing else than f(t). Note that, even though it may look like a very particular case, it is somehow generic as any symmetric initial datum may in fact be decomposed as a superposition of chaotic distributions (this is known as the Hewitt-Savage theorem, see [13]). This means that the Boltzmann hierarchy, even though consisting of linear equations, encodes nonlinear phenomena. In the absence of suitable uniform a priori estimates, we therefore may expect the solution to blow up after a finite time. This is actually the main obstacle to get a rigorous derivation of the Boltzmann equation over time intervals larger than the mean free time \(O(1/\alpha )\).
A different structure of initial datum can lead to other types of equations. Recall that the Maxwellian
is an equilibrium for the Boltzmann dynamics, so that \((M_\beta ^{\otimes s})_{s \ge 1}\) is a stationary solution to the Boltzmann hierarchy. Consider an initial datum which is a perturbation of this stationary solution
where we added a dependency of \(g_{\alpha ,0}\) on \(\alpha \) for later purposes. This form is stable under the limit dynamics [30] so that a solution to the Boltzmann hierarchy (1.11) is
where \(g_\alpha \) is a solution of the linearized Boltzmann equation
with initial datum \(g_{\alpha ,0}\). The functional space \(L^2(dx M_\beta dv)\) is natural to study the linearized Boltzmann equation, because the associate norm is a Lyapunov functional for (1.14) (see Appendix A). As we will heavily use it later on, we introduce the following notation, for \(p = 1,2\): for any function \(g_s\) defined on \(\mathbb {D}^s\),
We now turn to the particle dynamics and discuss the counterpart of the initial datum (1.12). The Gibbs measure
is invariant for the dynamics. An idea to get such linear asymptotics as (1.13) is to consider small fluctuations around an equilibrium of the form
However whatever the smallness of \(\delta \), such a sequence of initial data is never a small correction to \(M_{N,\beta }\). Thus, we shall tune the size of the perturbation with N
At the first order in \( {\delta }{ }\), we recover an initial datum for the BBGKY hierarchy of the form (1.12)
This initial datum records only the perturbation and it is no longer a probability measure. In particular
and this property is preserved by the Liouville equation (1.5). The question is then to know if the solution of the BBGKY hierarchy obeys a form similar to (1.13), at least approximately, and if one can obtain good enough bounds in \(L^2\) spaces to prove long-time convergence of the marginals to \(f^{(s)}\) defined in (1.13).
Remark 1.1
Note that another type of (non symmetric) perturbation was dealt with in [4], namely an initial datum of the form
This describes the motion of a tagged particle in a background close to equilibrium, and we have shown that it satisfies asymptotically the linear Boltzmann equation, and the tagged particle dynamics converges to the Brownian motion in the diffusive limit. However the proof is less complicated since all quantities of interest are uniformly controlled in \(L^\infty \), which will not be the case with the initial datum (1.18).
Statement of the Results
Low Density Limit
Our main result is the following.
Theorem 1.2
Consider N hard spheres on the space \(\mathbb {D}= \mathbb {T}^2 \times \mathbb {R}^2\), initially distributed according to \(f_{N,0}\) defined as in (1.18) where \( g_{\alpha , 0}\) is a bounded, Lipschitz function on \(\mathbb {D}\) with zero average, and satisfying the following bound for some constant \(C_1\)
Then the one-particle distribution \(f_N^{(1)}(t, z)\) is close to \(M_\beta (v) g_\alpha ( t , z) \), where \(g_\alpha ( t , z) \) is the solution of the linearized Boltzmann equation (1.14) with initial datum \(g_{\alpha ,0} (z)\).
More precisely, there exists a non negative constant C such that for all \(T>1\) and all \(\alpha > 1\), in the limit \(N \rightarrow \infty \), \(N\varepsilon \alpha ^{-1}= 1\),
Note that the \(L^\infty \)-convergence to the solution of the linearized equation was established in [30] following Lanford’s strategy. This convergence was derived for short times, but in any dimension \(d \ge 3\). The generalization out of equilibrium was then established in [26].
Following [30], Theorem 1.2 can also be interpreted as the limit of time correlations in the fluctuation field at equilibrium. Let h be a smooth function in \(\mathbb {T}^2 \times \mathbb {R}^2\) such that \(\int M_\beta h(z) dz =0\), then the fluctuation field \(\zeta ^N\) can be tested against h at time t
where \(Z_N(t)\) stands for the particle configuration at time t. The equilibrium covariance of the fluctuation field at different times, say 0 and t, is given by
for all smooth functions \(h, {\tilde{h}}\) in \(\mathbb {T}^2 \times \mathbb {R}^2\) with mean 0. Using an initial datum of the form (1.18)
the covariance can be rewritten, thanks to the exchangeability of the particles, as
Thus the limiting time covariance is related to the convergence of the first marginal \(f_N^{(1)}\) and the following corollary is an immediate consequence of Theorem 1.2.
Corollary 1.2
Fix \(\alpha >0\) and let \(h, {\tilde{h}}\) be two functions in \(L^2_\beta (\mathbb {D})\) with mean 0 with respect to \(M_\beta dv dx\). Then for any \(t \ge 0\), the time covariance converges in the Boltzmann–Grad limit \(N \rightarrow \infty \), \(N\varepsilon \alpha ^{-1}= 1\)
where \(v \cdot \nabla _x + \alpha \mathcal {L}_\beta \) is the operator associated with the linearized Boltzmann equation (1.14).
Correlation functions are cornerstones of statistical mechanics and besides the case of mean field models, mathematical results on these correlations are sparse in the context of classical interacting n-body systems (see nevertheless [18] for an explicit computation in the case of one dimensional hard rods). The convergence of the fluctuation field (for arbitrary time) to a stationary Ornstein-Uhlenbeck process was derived in [23] for a related microscopic dynamics with random collisions. A similar convergence of the fluctuation field for the Hamiltonian dynamics is conjectured in [27], but its derivation would require a better understanding of the emergence of the noise arising from the deterministic evolution.
Hydrodynamic Limits
Once Theorem 1.2 is known, it is possible to take the limit \(\alpha \rightarrow \infty \) while conserving a small error on the right-hand side of (1.21). Using the classical convergence of the linearized Boltzmann equation to the acoustic equation (see Appendix A), one infers the following result.
Corollary 1.3
Consider N hard spheres on the space \(\mathbb {D}= \mathbb {T}^2 \times \mathbb {R}^2\), initially distributed according to \(f_{N,0}\) defined as in (1.18) with a sequence \((g_{\alpha , 0})\) of functions satisfying the assumptions of Theorem 1.2 and converging in \(L^2_\beta (\mathbb {D})\) as \(\alpha \) diverges to
Then as \(N \rightarrow \infty \), \(N\varepsilon = \alpha \rightarrow \infty \) much slower than \( \sqrt{\log \log \log N}\), the distribution \(f_N^{(1)}(t )\) converges in \(L^2(\mathbb {D})\)-norm to \(M_\beta g (t) \) with
where \((\rho , u,\theta )\) satisfies the acoustic equations
with initial datum \((\rho _0, u_0,\theta _0)\).
It is even possible to rescale time as \(t = \alpha \tau \) and to take the limit \(\alpha \rightarrow \infty \). For well-prepared initial data, we then obtain the following diffusive approximation by the Stokes–Fourier dynamics.
Corollary 1.4
Consider N hard spheres on the space \(\mathbb {D}= \mathbb {T}^2 \times \mathbb {R}^2\), initially distributed according to \(f_{N,0}\) defined in (1.18) with a sequence \((g_{\alpha , 0})\) of functions satisfying the assumptions of Theorem 1.2 and converging in \(L^2_\beta \) as \(\alpha \rightarrow \infty \) to
Then as \(N \rightarrow \infty \), \(N\varepsilon = \alpha \rightarrow \infty \) much slower than \( \sqrt{\log \log \log N}\), the distribution \(f_N^{(1)}(\alpha \tau )\) converges in \(L^2 (\mathbb {D})\) norm to \(M_\beta g (\tau ) \) with
where \((u,\theta )\) satisfies the Stokes–Fourier equations
with initial datum \(( u_0,\theta _0)\), and
where the operator \(\mathcal {L}_\beta \) was introduced in (1.14).
Remark 1.5
In the case of general, ill-prepared initial data, the asymptotics is also well known [9]. Details are provided in Appendix A.
Strategy of the Proof
In what follows, we focus on the proof of Theorem 1.2, as it is the new contribution of this work. Even though it follows some ideas introduced in [4], it represents a real improvement of what has been done up to now:
-
First of all, we are able to capture a fluctuation of order O(1 / N) around an equilibrium (1.17), and in particular there is no more positivity.
-
Second, we deal with a much weaker functional setting than the \(L^\infty \) framework of Lanford’s strategy [17], which leads to major difficulties to give sense to the collision operator (defined as an integral over a singular set).
-
The strategy developed here to bypass this obstacle uses crucially the exchangeability to get a weak version of chaos independently of the precise structure of the initial datum. This seems to be an important conceptual progress.
Let us recall that, up to now, all the results regarding the low density limit of deterministic systems of particles have been established following Lanford’s strategy [17]. In this section, we describe the main objects involved in the proof, and the pruning procedure introduced in [4]. We then show the main differences between our setting and that of [4] and finally explain how to adapt the pruning procedure to our setting.
The Series Expansion
The starting point is the series expansion obtained by iterating Duhamel’s formula for the BBGKY hierarchy (1.8)
where \(\mathbf{S}_s\) denotes the group associated with free transport in \(\mathcal {D}_{\varepsilon }^s\) with specular reflection on the boundary. By abuse of notation, the term \(n=0\) in (2.1) should be interpreted as \(\mathbf{S}_{s}(t) f^{(s)}_{N,0}\) as n records the number of collision operators up to time 0. Denoting by \( \mathbf{S}_s^0\) the free flow, one can derive formally the limiting Boltzmann hierarchy
and one aims at proving the convergence of one hierarchy to the other.
These series expansions have graphical representations which play a key role in the analysis as explained first in [6, 8, 17, 21, 22, 24]. This interpretation in terms of collision trees is described below.
Let us extract combinatorial information from the iterated Duhamel formula (2.1). We describe the adjunction of new particles (in the backward dynamics) by ordered trees.
Definition 2.1
(Collision trees). Let \(s>1\) be fixed. An (ordered) collision tree \(a \in \mathcal {A}_s\) is defined by a family \((a(i)) _{2\le i \le s}\) with \(a(i) \in \{1,\dots , i-1\}\).
Note that \(|\mathcal {A}_s| \le (s-1) !\).
Once we have fixed a collision tree \(a \in \mathcal {A}_s\), we can reconstruct pseudo-dynamics starting from any point in the one-particle phase space \(z_1= (x_1, v_1) \in \mathbb {T}^2\times \mathbb {R}^2\) at time t.
Definition 2.2
(Pseudo-trajectory). Given \(z_1 \in \mathbb {T}^2\times \mathbb {R}^2\), \(t>0\) and a collision tree \(a \in \mathcal {A}_s\), consider a collection of times, angles and velocities \((T_{2,s}, \Omega _{2,s}, V_{2,s}) = (t_i, \nu _i, v_i)_{2\le i\le s}\) with \(0\le t_s\le \dots \le t_2\le t\). We then define recursively the pseudo-trajectories in terms of the backward BBGKY dynamics as follows
-
in between the collision times \(t_i\) and \(t_{i+1}\) the particles follow the i-particle backward flow with specular reflection;
-
at time \(t_i^+\), particle i is adjoined to particle a(i) at position \(x_{a(i)}(t_i^+) + {\varepsilon }\nu _i\) and with velocity \(v_i\), provided \(|x_i-x_j(t_i^+)| > {\varepsilon }\) for all \(j < i\) with \( j \ne a(i)\). If \((v_i - v_{a(i)} (t_i^+)) \cdot \nu _i >0\), velocities at time \(t_i^-\) are given by the scattering laws
$$\begin{aligned} v_{a(i)}(t^-_i)&= v_{a(i)}(t_i^+) - (v_{a(i)}(t_i^+)-v_i) \cdot \nu _i \, \nu _i,\nonumber \\ v_i(t^-_i)&= v_i+ (v_{a(i)}(t_i^+)-v_i) \cdot \nu _i \, \nu _i \, . \end{aligned}$$(2.3)
We denote by \(z_i(a, T_{2,s}, \Omega _{2,s}, V_{2,s},\tau )\) the position and velocity of the particle labeled i, at time \(\tau \) (provided \(\tau < t_i\)). The configuration obtained at the end of the tree, i.e. at time 0, is \(Z_s(a, T_{2,s}, \Omega _{2,s}, V_{2,s},0)\).
Similarly, we define the pseudo-trajectories associated with the Boltzmann hierarchy. These pseudo-trajectories evolve according to the backward Boltzmann dynamics as follows
-
in between the collision times \(t_i\) and \(t_{i+1}\) the particles follow the i-particle backward free flow;
-
at time \(t_i^+\), particle i is adjoined to particle a(i) at exactly the same position \(x_{a(i)}(t_i^+)\). Velocities are given by the laws (2.3).
We denote \({\bar{Z}}_s(a, T_{2,s}, \Omega _{2,s}, V_{2,s},0)\) the initial configuration.
The definition of a pseudo-trajectory in the BBGKY dynamics is subject to the fact that particles cannot overlap. This is recorded in the next definition.
Definition 2.3
(Non overlapping sets). Given \(z_1 \in \mathbb {T}^2\times \mathbb {R}^2\) and a collision tree \(a \in \mathcal {A}_s\), the non-overlapping set is defined by
denoting
The following semantic distinction will be important later on.
Definition 2.4
(Collisions/Recollisions). In the BBGKY hierarchy, the term collision will be used only for the creation of a new particle, i.e. for a branching in the collision trees. A shock between two particles in the backward BBGKY dynamics will be called a recollision.
Note that no recollision occurs in the Boltzmann hierarchy as the particles have zero diameter.
With these notations, the iterated Duhamel formula (2.1) for the first marginal (\(s=1\)) can be rewritten
while in the limit
Lanford’s Strategy
Lanford’s proof relies then on two steps:
-
(i)
proving a short time bound for the series (2.4) expressing the correlations of the system of N particles and a similar bound for the corresponding quantities associated with the Boltzmann hierarchy;
-
(ii)
proving the convergence of each term of the series, i.e. proving that the BBGKY and Boltzmann pseudo-trajectories \(Z_s(a, T_{2,s}, \Omega _{2,s}, V_{2,s},0)\) and \({\bar{Z}}_s(a, T_{2,s}, \Omega _{2,s}, V_{2,s},0)\) stay close to each other, outside a set of parameters \((t_i, \nu _i, v_i)_{2\le i \le s}\) of vanishing measure.
Note that step (i) alone is responsible for the fact that the low density limit is only known to hold for short times (of the order of \(1/\alpha \)). This is due to the fact that the uniform bound is essentially obtained by replacing the hierarchy by the one related to an equation of the type \(\partial _t f = \alpha f^2\), neglecting all cancellations present in the collision term.
More precisely, defining the operator associated with the series (2.1)
we overestimate all contributions by considering rather the operators \(|Q_{s,s+n}|\) defined by
where \(C_{s,s+1}\) in (1.10) is replaced by
In the same way for the Boltzmann hierarchy, the iterated collision operator is denoted by
which is bounded from above by
where \( |{\bar{C}}_{s,s+1}|\) is defined as \(| C_{s,s+1} |\) above.
Notation. From now on, we shall denote by C a constant which may change from line to line, and which may depend on \(\beta \), but not on N and \(\alpha \). We will also write \(A \ll B\) for \(A \le CB\) if the constant C is small enough, and similarly \(A \gg B\) if \(A \ge CB\) and the constant C is large enough (uniformly in all the relevant parameters). Finally we write \(B_R^s\) for the ball of \(\mathbb {R}^{2s}\) of radius R, and \(B_R=B_R^1\).
We have the following continuity estimates (see [4, 6, 8]).
Proposition 2.5
There is a constant C such that for all \(s,n\in \mathbb {N}^*\) and all \(h,t\ge 0\), the operator |Q| satisfies the following continuity estimates: if \(g_s,g_{s+n}\) belong to \(L^\infty (\mathbb {D}^s)\) and \(L^\infty (\mathbb {D}^{s+n})\) respectively, then
Similar estimates hold for \(|{\bar{Q}}|\).
Sketch of proof
The estimate is simply obtained from the fact that the transport operators preserve the Gibbs measures, along with the continuity of the elementary collision operators:
-
the transport operators satisfy the identities
$$\begin{aligned} {{\mathbf {S}}}_k (t) M_{k,\beta } = M_{k,\beta } \end{aligned}$$ -
the collision operators satisfy the following bounds in the Boltzmann–Grad scaling \(N {\varepsilon }= \alpha \) (see [8])
$$\begin{aligned} |{C}_{k,k+1} | M_{k+1,\beta } (Z_k) \le C \Big ( k\beta ^{-\frac{1}{2}} + \sum _{1 \le i \le k} |v_i|\Big ) M_{k,\beta } (Z_k) \, , \end{aligned}$$
almost everywhere on \(\mathcal {D}_{\varepsilon }^k\).
Estimating the operator \(|Q_{s,s+n}|(h)\) follows from piling together those inequalities (distributing the exponential weight evenly on each occurence of a collision term). We notice indeed that by the Cauchy-Schwarz inequality
where the last inequality comes from the fact that \(k \le s+n\). Each collision operator gives therefore a loss of \( C \beta ^{-1/2} (s+n) \) together with a loss on the exponential weight, while the integration with respect to time provides a factor \(h^n/n!\). By Stirling’s formula, we have
As a consequence
The proof of Proposition 2.5 follows from this upper bound. \(\square \)
The iteration of the first estimate in Proposition 2.5 is the key to the local wellposedness of the hierarchy (see [6, 8]) : we indeed prove that, if the initial datum satisfies
the series expansion (2.1) converges (uniformly in N) on a time such that \(t \alpha \ll 1\).
The Pruning Procedure Introduced in [4]
We recall now a strategy devised in [4] in order to control the growth of collision trees. The idea is to introduce some sampling in time with a (small) parameter \(h>0\). Let \(\{n_k\}_{k \ge 1}\) be a sequence of integers, typically \(n_k = 2^k\). We then study the dynamics up to time \(t := K h\) for some large integer K, by splitting the time interval [0, t] into K intervals of size h, and controlling the number of collisions on each interval. In order to discard trajectories with a large number of collisions in the iterated Duhamel formula, we define collision trees “of controlled size” by the condition that they have strictly less than \(n_k\) branch points on the interval \([t-kh ,t-(k-1) h]\). Note that by construction, the trees are actually followed “backwards”, from time t (large) to time 0. So we decompose the iterated Duhamel formula (2.1), in the case \(s=1\), by writing
with \(J_0:=1\), \(J_k :=1+ j_1 + \dots +j_k\). The first term on the right-hand side corresponds to the smallest trees, and the second term is the remainder: it represents trees with super exponential branching, i.e. having at least \(n_k\) collisions during the last time lapse, of size h. One proceeds in a similar way for the Boltzmann hierarchy (2.2).
The main argument of [4] consists in proving that the remainder is small, even for large t (but small h). This was achieved in [4] to derive the linear Boltzmann equation with initial datum of the form (1.19). In that case, the maximum principle ensures that the \(L^\infty \) norm of the marginals are bounded at all times
Combining this uniform bound with the \(L^\infty \) estimate on the collision operator given in Proposition 2.5, one can gain smallness thanks to the factor \(h^{j_k}\) which controls the occurence of \(j_k\) collisions in the last time interval.
The conclusion of the proof in the linear case (see [4]) then comes from a comparison of the BBGKY and the Boltzmann pseudo-trajectories, through a geometric argument showing that recollisions are events with small probability (compared to the O(1) norm of the datum in \(L^\infty \)), once K is fixed.
A Priori Estimates
One of the main differences here with [4] is that the initial datum is no longer O(1) in \(L^\infty \). We summarize below the estimates at our disposal for the initial datum \( f_{N,0} \) defined in (1.18) and the associate solution \(f_N\) to the Liouville equation (1.5), compared with [4].
\(L^\infty \)-estimates. First, one has clearly
From the maximum principle, we deduce from (2.12) that for all \(t \in \mathbb {R}\),
A classical result on the exclusion (see Lemma 6.1.2 in [8]) shows the following control on the partition function introduced in (1.16)
so from (2.13), the marginals satisfy
This should be compared with the counterpart in the linear case, given in (2.11) : there is a factor N difference between the two estimates.
Much better estimates can be obtained at initial time by using the explicit structure of the measure \(f_{N,0 }\) defined by (1.18). In particular the discrepancy between the marginals \(f_{N,0}^{(s)}\) and \(f^{(s)} _0\) defined in (1.12) can be evaluated.
Proposition 2.6
There exists \(C>1\) such that as \(N\rightarrow \infty \) in the scaling \(N {\varepsilon }= \alpha \ll 1 /{\varepsilon }\)
As a consequence, if \(\alpha ^3 {\varepsilon }\ll 1\) then the initial data are bounded by
The proof of this Proposition can be found in Appendix D. A similar statement was derived in [30]. Note that contrary to estimate (2.11) in the linear case, we are unable to propagate the initial estimate (2.16) in time and to improve (2.15).
\(L^2\)-estimates. In our setting the \(L^2_\beta \)-norm (defined in (1.15)) is better behaved than the \(L^\infty \) norm. One of the specificities of dimension 2 is the fact that the normalizing factor \({{\mathcal {Z}}}_N^{-1}\) is uniformly bounded in N, in fact bounded above by \(\exp (C\alpha ^2)\). From (2.14), we indeed deduce that under the Boltzmann–Grad scaling \(N{\varepsilon }=\alpha \), one has
This upper bound and the definition of \(f_{N,0}\) in (1.18) lead to
where we used in the last inequality that \(g_{\alpha ,0}\) is mean free with respect to the measure \(M_\beta dz\) due to (1.18). The weighted \(L^2\) norm is therefore \(O(\sqrt{N})\). Since the Liouville equation is conservative, we obtain from (2.18) that
The \(L^2\) bound (2.19) is in some sense more accurate than (2.13) since it comes from the orthogonality at time 0 inherited from the structure of the initial datum. In particular, if the function \( f_{N} (t,Z_N)\) was of the same form as the initial datum for all times, meaning if
we would deduce a uniform \(L^2\) estimate on \( f_{N}^{(s)}(t)\). Unfortunately this structure is not preserved by the flow. However one inherits a trace of this structure, as will be shown in Proposition 4.2.
Estimate of the Collision Operators in \(L^2\)
Proving an analogue of Proposition 2.5 in an \(L^2\) setting is not an easy task, since one cannot compute the trace of an \(L^2\) function on a hypersurface. However (and that is actually the way to get around a similar difficulty in \(L^\infty \), see [8, 24]) composing the collision integral with free transport and integrating over time is a way of replacing the integral over the unit sphere by an integral over a volume using a change of variables of the type
(with scattering if need be). Using this idea one can hope to prove some kind of continuity estimate of \(Q_{s,s+n}\) in \(L^2\), but two additional difficulties arise:
-
(1)
the transport operators appearing in \(Q_{s,s+n}\) are not free transport operators since recollisions are possible, so the change of variables (2.21) cannot be used directly. If there is a fixed number of recollisions then one can still use a similar argument but if there is no control on the number of collisions then this method fails.
-
(2)
Computing an \(L^\infty \) bound on the collision operator \(C_{s,s+1}\) gives rise to the size of the circular boundary, hence \({\varepsilon }\), which compensates exactly (up to a factor \(\alpha \)) the factor \((N-s)\); but in \(L^2\) one only can recover \({\varepsilon }^\frac{1}{2}\), so there remains a factor \(N^\frac{1}{2}\). Typically one can expect in general an estimate of the type
$$\begin{aligned} \big \Vert |Q_{1,s}| (t) g_s\big \Vert _{L^2_\beta }\le (C\alpha t) ^{s-1} \Vert g_{s}\Vert _{L^2_\beta } N^{\frac{s-1}{2}} \end{aligned}$$so this power of N will need to be compensated (see Section ).
Decomposition of the BBGKY Solution
Starting from decomposition (2.10), we need to analyze differently the trajectories with more or less than 1 recollision in order to control the remainder. This is due to the fact that as explained in Paragraph 2.5 (Point (1)), the estimates in \(L^2_\beta \) of the collision operators \(Q_{s,s+n}\) require a precise control on the number of recollisions.
Our strategy consists in adapting (2.10) in two ways: first we truncate energies by defining
for some constant \(C_0\) to be specified later in Proposition 7.1. Second we decompose
with the leading contribution
with \(n_k = 2^k n_0\) for some \(n_0\) to be specified, and where \(J_0:=1\), \(J_k :=1+ j_1 + \dots +j_k\). The decomposition above is reminiscent of (2.10), except that the velocities have been truncated in the dominant term \(f^{(1,K)}_N\).
We then split the remainder into three parts according to the number of recollisions in the pseudo-trajectories (see Definition 2.4) and a fourth part to take into account large velocities
-
We first introduce a truncated transport operator up to the first collision. Let us rewrite Liouville’s equation (1.5) for s particles with a different boundary condition
$$\begin{aligned} {\partial }_t \varphi _s +V_s \cdot \nabla _{X_s} \varphi _s =0 \qquad \text {with} \quad \varphi _s (t, Z_s ) = 0 \quad \text {for} \quad Z_s \in \bigcup _{i,j \le s} {\partial }{{\mathcal {D}}}_{{\varepsilon }}^{s+}(i,j) \, . \end{aligned}$$
The corresponding semi-group is denoted by \({\widehat{{\mathbf {S}}}}_{s}^0\) and it coincides with the free flow \({{\mathbf {S}}}^0_s\) up to the first recollision
We define the operator \(Q^0_{s,s+n} (t)\) by replacing \({{\mathbf {S}}}_{s}\) by \({\widehat{{\mathbf {S}}}}_{s}^0\) in the iterated collision operator \(Q_{s,s+n} (t)\) given in (2.6)
With this definition, we set
-
In a similar way, we define pseudo-dynamics involving exactly one recollision.
$$\begin{aligned} \left( {\widehat{\mathbf {S}}}_{s}^1 (\tau ) \varphi _s \right) (Z_s) = {\left\{ \begin{array}{ll} \left( {{\mathbf {S}}}_s (\tau ) \varphi _s \right) (Z_s) \qquad &{} \hbox { if exactly one recollision occurs in}\ [0,\tau ]\, , \\ 0 &{} \text {otherwise} \, . \end{array}\right. } \end{aligned}$$
Note that, contrary to \({\widehat{\mathbf {S}}}_{s}^0 (\tau )\), the operator \( {\widehat{\mathbf {S}}}_{s}^1 (\tau )\) is not a semi-group, as the dynamics keeps memory of past events. In particular, there is no infinitesimal generator.
We then define the operator \(Q^1_{s,s+n} (t)\) by replacing \({{\mathbf {S}}}_{s}\) by \({\widehat{\mathbf {S}}}_{s}^0\) in the iterated collision operator \(Q_{s,s+n} (t)\), except for one iteration
With this definition, we set
-
The contribution of large velocities, i.e. those which are not in \({{\mathcal {V}}}_{J_K}\), is
(2.28)
-
We finally define
$$\begin{aligned} R_N^{K,>} (t) := R_N^{K} (t) -R_N^{K,0} (t) -R_N^{K,1} (t) - R_N^{K, vel} (t) \, , \end{aligned}$$(2.29)
which by definition corresponds to pseudo-dynamics involving at least two recollisions, with truncated velocities.
Using the notation (2.8), the counterpart of \(f^{(1,K)} _N(t) \) for the Boltzmann hierarchy is
and we define also
and
Section 3 deals with the convergence of the main part \( f^{(1,K)}_N(t)\) defined in (2.10). Since the initial datum is well behaved (see Proposition 2.6), the proof of this convergence essentially follows the same lines as in [4]. In the proof of Proposition 3.1, we shall however improve the estimates of [4] on the measure of trajectories having at least one recollision, as they will be the first step to control multiple recollisions.
Section is the main breakthrough of this paper, as it shows how exchangeability combined with the \(L^2\) estimate provides a very weak chaos property (see Proposition 4.2). We then explain, in Proposition 4.5, how to use this structure to compensate the expected loss explained in Paragraph 2.5 (Point (2)), and to obtain an estimate on \(R_N^{K,0}\), corresponding to pseudo-trajectories with super exponential branching but without recollision. This \(L^2\) continuity estimate uses crucially the integration with respect to time of the free transport (see Paragraph 2.5, Point (2)). Section 5 is a refinement of this argument to estimate the remainder \(R_N^{K,1}\) when there is one recollision. In fact, the same argument holds with any finite number of recollisions.
Section 6 deals with \(R_N^{K>}\), which corresponds to multiple recollisions (Proposition 6.1). In this case, the extra smallness coming from the geometric control of multiple recollisions compensates exactly the O(N) divergence of the \(L^\infty \)-bound (2.13). The proof relies on delicate geometric estimates which are detailed in Appendix B. This allows one to control the remainder \(R_N^{K>}\) by using \(L^\infty \) estimates from Proposition 2.5. Note that the critical number of recollisions depends on the dimension, it is 1 only in the simple case of dimension \(d=2\). The \(L^\infty \)-bound (2.13) is also used in Section 7 to control \(R_N^{K, vel}\), i.e. the large velocities.
Finally, we conclude the proof in Section 8 and state some open problems.
The parameters \(\alpha \) and K will be tuned at the very end of the proof (see Section 8) but one may keep in mind that
Convergence of the Principal Parts
We recall that the principal part of the iterated Duhamel formula (2.1) for the first marginal is given by (2.10)
and its counterpart for the Boltzmann hierarchy is
From now on, the exponential growth of the collision trees will be controlled by the sequence
for some large integer \(n_0\) to be tuned later (see Section 6.3).
The error \(f^{(1,K)} _N- {\bar{f}} ^{(1,K)} \) can be estimated as follows.
Proposition 3.1
Assume that \(g_{\alpha ,0}\) satisfies the Lipschitz bound (1.20) then, under the Boltzmann–Grad scaling \(N{\varepsilon }= \alpha \gg 1\), we have for all \(T>1\) and \(t\in [0,T]\),
The key step of the proof is Proposition 3.2 where the contribution of recollisions in the pseudo-trajectories associated with \(f^{(1,K)} _N\) is shown to be negligible. Once the recollisions have been neglected and overlaps have been removed, the pseudo-trajectories in both hierarchies are comparable and the rest of the proof is rather straightforward (see Section 3.2).
In the rest of this section, we assume that \(g_{\alpha ,0}\) satisfies the Lipschitz bound (1.20).
Geometric Control of Recollisions
We are going to prove that pseudo-trajectories involving recollisions contribute very little to \(f^{(1,K)}_{N}\) so that \( \mathbf{S}_{s}\) can be replaced by the free transport \(\widehat{\mathbf{S}}^0_{s}\), up to a small error. With the notation (2.25), \(f^{(1,K)}_{N}\) can be decomposed as follows:
with,
and the remainder encodes the occurence of at least one recollision
Proposition 3.2
The contribution of pseudo-dynamics involving (at least) a recollision is bounded by
The core of the proof is based on a careful analysis of recollisions detailed in Section 3.1.1 below. The proof of Proposition 3.2 is completed in Section 3.1.2. Thanks to the energy cut-off \({{\mathcal {V}}}_{J_K}\), we assume, in the rest of this section, that all energies are bounded by \(C_0 |\log {\varepsilon }|\).
A Local Condition for a Recollision
We start by writing a geometric condition for a recollision which involves only two collision integrals: this corresponds to writing a local condition, which will then be incorporated to the other collision integral estimates in Section 3.1.2. The following notions of pseudo-particles and parents will be useful. These notions are depicted in Figures 1 and 2.
Definition 3.3
(Pseudo-particles). Given a tree \(a \in \mathcal {A}_s\) and \(i\le s\), we define recursively, moving towards the root, the pseudo-particle \({\bar{\imath }}\) associated with the particle i to be
-
\({\bar{\imath }}= i\) as long as i exists,
-
\({\bar{\imath }}= a(i)\) when i disappears, and as long a(i) exists,
-
\({\bar{\imath }}= a\big (a(i)\big )\) when a(i) disappears, and as long as this latter exists,
-
...
When there is no possible confusion, we shall denote abusively by i the pseudo-particle.
Contrary to the case of a particle in a collision tree, whose trajectory stops at its creation time, the trajectory of a pseudo-particle exists for all times. At each collision time the pseudo-particle is liable to be deviated through a scattering operator, and may jump of a distance \({\varepsilon }\) in space (see Figure 1).
Each collision leading to the deviation of a pseudo-particle brings a new degree of freedom which will be essential to control the trajectories later on. This degree of freedom is associated with a new particle which we call parent.
Definition 3.4
(Parent). Given a collision tree \(a \in \mathcal {A}_s\) and a height in this tree, we consider a subset \({{\mathcal {I}}}\) of particles at that height. We define \(({n^*})_{n\in \mathbb {N}}\) the sequence of branching points in a at which one of the pseudo-particles associated with the particles in \({{\mathcal {I}}}\) is deviated. The family \(1^*,2^*,\dots \) of particles created in these collisions are the parents of the set \({{\mathcal {I}}}\). Note that the particles \(1^*,2^*,\dots \) may coincide with the pseudo-particles (see Figure 2).
Note that we disregard times \(t_k\) at which the pseudo-particles encounter a new particle k with no scattering (see Figure 2).
A recollision between two particles i and j imposes strong constraints on the history of these particles, especially on the last two collisions at times \(t_{1^*}\) and \(t_{2^*}\) with the particles \(1^*\) and \(2^*\) which are the first parents of i, j (see Figure 4(i)). These constraints can be expressed by different equations according to the recollision scenario (each scenario will be indexed by a number p). We can then prove the smallness of the collision integral associated with particle \(1^*\) (with the measure \( |(v_{1^*}-v_{a(1^*)} ( t_{{1^*}} ) )\cdot \nu _{{1^*}}|d t_{{1^*}} d \nu _{{1^*}}dv_{{1^*}}\)), with a singularity at small relative velocities which can be integrated out using the collision integral with respect to particle \( 2^*\). The final result is the following.
Proposition 3.5
Fix a final configuration of bounded energy \(z_1 \in \mathbb {T}^2 \times B_R\) with \(1 \le R^2 \le C_0 |\log {\varepsilon }|\), a time \(1\le t \le C_0|\log {\varepsilon }|\) and a collision tree \(a \in \mathcal {A}_s\) with \(s \ge 2\).
For all types of recollisions \(p=0,1,2\), and all sets of parents \(\sigma \subset \{2,\dots , s\}\) with \(|\sigma | = 1 \) if \(p =0\) and \(|\sigma | = 2 \) if \(p=1,2\), there exist sets of bad parameters \(\mathcal {P}_1(a, p,\sigma )\subset \mathcal {T}_{2,s} \times {{\mathbb {S}}}^{s-1} \times \mathbb {R}^{2(s-1)}\) such that
-
\(\mathcal {P}_1 (a, p,\sigma )\) is parametrized only in terms of \((t_m, v_m, \nu _m)\) for \(m \in \sigma \) and \(m < \min \sigma \);
-
its measure is small in \(( t_m, v_m, \nu _m)_{m\in \sigma }\) uniformly with respect to the other parameters
$$\begin{aligned} \int \mathbf{1}_{\mathcal {P}_1(a,p,\sigma ) } \displaystyle \prod _{m\in \sigma } \, \big | \big (v_{m}-v_{a(m)} ( t_{{m}} ) )\cdot \nu _{{m}} \big | d t_{{m}} d \nu _{{m}}dv_{{m}} \le CR^{7}s t^3{\varepsilon }\, |\log {\varepsilon }|^3\,;\nonumber \\ \end{aligned}$$(3.4) -
any pseudo-trajectory starting from \(z_1\) at t, with total energy bounded by \(R^2\) and involving at least one recollision is parametrized by
$$\begin{aligned} ( t_n, \nu _n, v_n)_{2\le n\le s }\in \bigcup _{p=0}^2 \bigcup _\sigma \mathcal {P}_1(a, p,\sigma )\,. \end{aligned}$$
Proof
Consider a pseudo-trajectory starting from \(z_1\) at t, with total energy bounded by \(R^2\) and involving at least one recollision. Let i and j be the particles involved in the first recollision. Denote by \(\theta \) the label of the time interval \(] t_{\theta +1},t_\theta [\) where this recollision occurs, and by \(1^*, 2^*\) the indices in \(\{2,\dots , s\}\) of the first two parents of the set \(\{i,j\}\) starting at height \(\theta \).
Remark 3.6
Notice that if the recollision takes place between the two first particles at play before any other collision, then there is actually no such parameter \(2^*\), but in this case only the first scenario (involving just one parent) will be possible. From now on we shall always assume that there are enough degrees of freedom as needed for the computations, since if that is not the case the result will follow simply by integrating over less variables.
\(\underline{\hbox {Self-recollision (case} p=0)}\). If the collision at time \(t_{1^*}\) involves i and j, a recollision may occur due to the periodicity (see Figure 3). In this case, the parent \(1^*\) is i or j.
This has a very small cost, we indeed have for some recollision time \(t_{rec} \ge 0\) and \(\nu _{rec}\) in \({{\mathbb {S}}}\)
assuming for instance that particle j has been created at time \(t_{1^*}\) with velocity \(v_{1^*}\), and denoting by \(v'_i, v'_j\) the velocities after the collision.
-
In the absence of scattering at time \(t_{1^*}\), we have \(v'_i= v_i \) and \(v'_j = v_{1^*}\), and the equation (3.5) for self recollision implies that \(v_{1^*}-v_i\) has to belong to a cone \(C(q, 2{\varepsilon })\) of opening \({\varepsilon }\). Because of the assumption that the total energy is bounded by \(R^2\),
$$\begin{aligned} \int \mathbf{1}_{ \{ v_{1^*}-v_i \in C(q,2{\varepsilon }) \cap B_{2R} \} } \, \, \big | \big (v_{1^*}-v_{a(1^*)} ( t_{{1^*}} ) )\cdot \nu _{{1^*}} \big | d t_{1^*} d \nu _{{1^*}}dv_{{1^*}} \le C{\varepsilon }R^3 t \, , \end{aligned}$$where \(a(1^*) = i\).
-
In the case with scattering, recall that
$$\begin{aligned} v'_i-v'_j = (v_i- v_{1^*}) - 2(v_i-v_{1^*}) \cdot \nu _{1^*} \nu _{1^*} . \end{aligned}$$
Equation (3.5) for the self recollision implies that \( v'_i-v'_j \) has to belong to \(C(q,2{\varepsilon })\). For each fixed \(\nu _{1^*}\), we conclude that \(v_i - v_{1^*}\) is in the cone \(S_{\nu _{1^*}}C(q,2{\varepsilon })\) (obtained from \(C(q,2{\varepsilon })\) by symmetry with respect to \(\nu _{1^*}\)). Because of the assumption that the total energy is bounded by \(R^2\), we have as in the previous case
Note that, since the total energy is assumed to be bounded by \(R^2 \) and we consider a finite time interval [0, t] with \(t\ge 1\), the number of q’s for which the set is not empty is at most \(O\big (R^2t^2 \big )\).
In order to obtain a bad set which depends only on the upper structure of the tree \( (a(i))_{i <1^*}\) and on the parameters \( (t_i, v_i, \nu _i)_{i <1^*}\), we define \(\mathcal {P}_1(a, 0, \{ 1^*\})\) as the union of the previous sets over all possible \(|q | \le Rt +1\). Summing over all these contributions, we end up with an upper bound for the scenario \(p =0\)
\(\underline{\text {Geometry of the first recollision.}}\) Without loss of generality, we may now assume that time \( t_{1^*}\) corresponds to the deviation/creation of the pseudo-particle i and that at \( t_{1^*}\) the collision does not involve both i and j. From now on, we denote by i and j the pseudo-particles, even if the actual particles may have disappeared through a collision (see Definition 3.3).
Denote by \(z_i\) and \(z_j\) the (pre-collisional) configuration of pseudo-particles i and j at time \(t_{2^*}\).
The condition for the recollision to hold in the backward dynamics at a time \(t_{rec} \ge 0\) then states
for some \(\nu _{rec} \in {{\mathbb {S}}}\), and \(q \in \mathbb {Z}^2\). As noticed previously, since the total energy is assumed to be bounded by \(R^2\) and we consider a finite time interval [0, t] with \(t\ge 1\), the number of q’s for which the set is not empty is at most \(O\big (R^2 t^2 \big )\). Let us now fix q and prove that the condition implies that \((t_{1^*},v_{1^*}, \nu _{1^*})\) is in a small domain depending only on \(x_i-x_j\), \(v_i\), \(v_j\) and q.
As previously we consider separately
-
the case when the particle i already exists before \(t_{1^*}\) (as depicted in Figure 4(i)) : the velocity of particle i after \(t_{1^*}\) (in the backward dynamics) is then
$$\begin{aligned} v'_i = v_i - \big ( (v_i- v_{1^*})\cdot \nu _{1^*} \big ) \, \nu _{1^*} \end{aligned}$$(i) -
the case when the particle i was created at \(t_{1^*}\) : we then get
$$\begin{aligned} v'_i = v_{1^*} \end{aligned}$$(iia)if \((v_{1^*}, \nu _{1^*}, v_i)\) is a precollisional configuration as on Figure 4(iia), and
$$\begin{aligned} v'_i = v_{1^*} + \big ( (v_i- v_{1^*})\cdot \nu _{1^*} \big ) \, \nu _{1^*} \end{aligned}$$(iib)if \((v_{1^*}, \nu _{1^*}, v_i)\) is a post-collisional configuration as on Figure 4(iib).
We denote
Next we decompose \(\delta x \) into a component along \(v_{i} - v_{j}\) and an orthogonal component, by writing
and we further rescale time as
Note that we have used the hyperbolic scaling invariance (by scaling the space and time variables by \({\varepsilon }\)), and that only the bounds on \(\tau _1\) depend now on \({\varepsilon }\)
We shall gain a factor \({\varepsilon }\) on the integral in time, thanks to the change of variable \(t_{1^*} \mapsto \tau _1\).
In these new variables, the equation for the recollision can be restated as follows
By using (B.4) with \(M = R\), we can restrict to the case \(|\tau _1| \, |v_{i} - v_{j}| \ge R\) so that
as \( \delta x_\perp \perp ( v_{i} - v_{j} )\). Since the total energy is bounded by \(R^2\), the left-hand side of (3.9) is bounded by 2R, and we get that
Given \( \delta x_\perp \) and \(\tau _1 (v_{i} - v_{j})\), the relation (3.9) forces \(v'_{i} - v_{j}\) to belong to a rectangle \({{\mathcal {R}}}(\delta x_\perp , v_i-v_j, \tau _1, q) \) of main axis \(\delta x_\perp - \tau _1 (v_{i} - v_{j})\) and of size \(2R \times \left( 2 R \min \left( \frac{4}{|\tau _1| | v_{i} - v_{j}|}, 1 \right) \right) \). The length 2R is a consequence of the cut-off on the velocities. The following lemma provides an upper bound on this constraint.
Lemma 3.7
Fix \(t \ge 1\), \(\delta x_\perp \in \mathbb {R}^2 \), \(v_{i} ,v_{j} \in B_R\) with \(1\le R^2 \le C_0 |\log {\varepsilon }| \), and \(1\le t \le C_0 |\log {\varepsilon }|\). Then
Proof of Lemma 3.7
Applying (C.10) of Lemma C.4, we deduce that
recalling that \(R^2+t \ll |\log {\varepsilon }|\). Integrating with respect to \(| v_{i} - v_{j}| \, |\tau _1|\) up to \(Rt/{\varepsilon }\), we obtain that
This completes Lemma 3.7. \(\square \)
In Lemma 3.7, the measure of the set leading to a recollision is evaluated in terms of the variable \(\tau _1\). Going back to the variables \((v_{1^*}, \nu _{1^*}, t_{1^*})\) and summing over all possible q, we therefore obtain
On the other hand, a direct computation shows that
so using the fact that \(R\ge 1 \), \(t\ge 1\), we find
\(\underline{\text {Integration of the singularity.}}\)
Now we need to integrate out the singularity \(1/ |v_{i} - v_{j}| \), when the parameters of the preceding collision \((t_{2^*}, v_{2^*}, \nu _{2^*})\) range over \([0,t] \times B_R \times {{\mathbb {S}}}\). We suppose that the second collision involves also particle i (as in Figure 4). The case where the second collision involves particle j can be dealt with similarly. Denote by \({\bar{v}}_i\) the velocity of particle i before the collision with \(2^*\) (see Figure 4). From (C.1) in Lemma C.1, we know that the singularity \(1/ |v_{i} - v_{j}|\) is integrable if particles i, j are related through the same collision. Otherwise Inequality (C.4), from Lemma C.2, implies that
and together with (3.12) this implies that
Now we would like to define bad sets which are parametrized only by \(( t_m, v_m, \nu _m)\) for \(m=1^* \) or \(m \le 2^*\).
-
Suppose that \(2^*\) is not the parent of \(1^*\) (which we will refer to as scenario \(p=1\)). Then by construction \(1^*\) will branch on one of the labels less than \(2^*\). There are exactly two particles \(a(1^*)\) and \(a(2^*)\) associated with the parents of \(1^*, 2^*\) and the recollision will take place among these four particles. By construction, the choice of parameters for \(1^*, 2^* \) leading to a recollision of type \(p=1\) can be determined only from the configurations of the particles \(a(1^*),a(2^*)\) at height \(2^* -1\).
The bad set associated with the previous scenario (labelled \(p=1\)) is denoted \(\mathcal {P}_1(a, 1, \{1^*, 2^*\})\) and defined as the union of the previous sets. We end up with the estimate
-
If \(2^*\) is the parent of \(1^*\), we have – by definition – a recollision of type \(p=2\). Only one particle involved in the recollision is fixed (it can be either \(1^*\) or \(a(1^*)\)) and the second recolliding particle j is just an obstacle which has to be chosen among the particles with label less than \(2^*\). Note that this obstacle is just transported freely between time \(t_{2^*}\) and the time of the recollision.
We then define \(\mathcal {P}_1(a, 2, \{1^*, 2^*\})\) as the union over all possible choices of \(j<2^*\) of the previous sets. This leads to the estimate
Note that \(\mathcal {P}_1(a, p, \{1^*, 2^*\})\) is empty if the parent of \(1^*\) has a label greater than \(2^*\). This ends the proof of the proposition. \(\square \)
Remark 3.8
Estimate (3.4) involves a loss with respect to \({\varepsilon }\) of the order \(|\log {\varepsilon }|^3\). The above proof shows that the integration in time over the first parent produces a first loss in \(|\log {\varepsilon }|^2\) (one of which is linked to the scattering operator), while the other power is due to a possible singularity in relative velocities, which needs to be integrated out thanks to the second parent, and the scattering operator again induces a \(|\log {\varepsilon }|\) loss.
Global Estimate
To estimate the global error due to recollisions, we have to incorporate the estimate provided in Proposition 3.5 with all the other collision integrals. We use the fact that we have now a tree with \(s-2\) or \(s-3\) branching points, neglecting the constraints that \((t_j)_{j\in \sigma }\) have to be properly chosen in between other collision times, and also the constraint on the distribution of collision times on the different time intervals \([t-kh, t-(k-1)h]\).
Proposition 3.9
We fix \(z_1 \in \mathbb {T}^2 \times \mathbb {R}^2\), \(p \in \{0,1,2\}\) and a set \(\sigma \subset \{1, \dots , s\}\) of at most 2 indices. We consider the sets \(\mathcal {P}_1 (a,p, \sigma )\) introduced in Proposition 3.5 and we denote by \(\eta := C s R^7 t^3 {\varepsilon }|\log {\varepsilon }|^3\) the right-hand side of (3.4). Then for \(t\ge 1\), one has
If we further specify that the last n collision times have to be in an interval of length \(h\le 1\) (this constraint is denoted by \(\mathcal {T}_{s-n+1, s}^h\))
Proof
We only consider the cases \(p = 1,2\) which are the most delicate. Proposition 3.9 is a consequence of the estimates on the collision operators (see Proposition 2.5) for the particles which are not in \(\sigma \) and the smallness estimate (3.4) for the particles in \(\sigma \). These estimates can be decoupled by using Fubini’s theorem and the fact that the sets \(\mathcal {P}_1(a, z_1,\sigma )\) do not depend on the whole trajectory but only on the parameters with labels less than \(2^*\) as well as on the parameters associated with \(1^*\).
In order to evaluate (3.15), we first perform the integration with respect to all the velocities and angles with labels larger than \(2^*\) except those of the particle \(1^*\). Recall that \(\mathcal {P}_1(a,z_1, \sigma )\) is independent of these parameters. We can use the same estimates as in the proof of Proposition 2.5.
and integrate over each label in \({\tilde{\sigma }} = \{ i >2^*, \quad i \not = 1^*\}\)
This bound takes into account the combinatorics of the trees up to \(2^*\). Note that the upper bound (3.17) overestimates (3.15) as we are also counting trees for which the branchings in between \(2^*\) and \(1^*\) may not be compatible with the conditions imposed by a recollision. This does not matter as the constraint on the recollision has already been encoded in \(\mathcal {P}_1(a, z_1,\sigma )\) which we will use next.
The previous step removed all the dependency on the collision trees below the level \(2^*\) and we can now use estimate (3.4) and integrate over \(1^*, 2^*\) (keeping frozen the parameters of the labels before \(2^*\))
uniformly with respect to all parameters \(( t_i,v_i,\nu _i)_{i<2^*}\). The factor \(s^2\) in the inequality comes from the choices of \(a(1^*), a(2^*)\).
Once the constraint on the recollision has been taken into account, the remaining part of the tree before \(2^*\) can be estimated by using the estimates from Proposition 2.5. This leads to an extra factor \((C s)^{2^*-1}\).
It remains to integrate over the times \((t_i)_{i \not \in \sigma }\) and we can simply remove the constraint on the times labelled by \(\sigma \). We distinguish two cases :
-
In (3.15), the time constraint \(\mathcal {T}_{2,s}\) boils down to integrating over a simplex of dimension \((s-1)-2\), the volume of which is
$$\begin{aligned} {t^{s-3}\over (s-3)!} \le C^{s} { t^{s-3}\over s^{s-3}} \end{aligned}$$by Stirling’s formula.
-
In (3.16), we have to add the condition that the last n times are in an interval of length \(h\le 1\). For \(t \ge 1\), the worst situation is when all times \((t_i)_{i\in \sigma }\) are in this small time interval, as we loose the corresponding smallness. More precisely, we get
This completes the proof of Proposition 3.9. \(\square \)
Proof of Proposition 3.2
Given \(z_1 \in \mathbb {T}^2 \times B_R\), the set of parameters leading to pseudo-trajectories with at least one recollision is partitioned into subsets \(\mathcal {P}_1(a,p,{\sigma })\) (see Proposition 3.5). We therefore have
We have seen in (2.16) that the marginals of the initial datum are dominated by a Maxwellian
Thus (3.15) can be applied to estimate \(f^{(1,K), \ge }_{N}\)
where the parameter \(\eta \) in (3.15) has been estimated by using that \(1 \le R^2\le C_0 |\log {\varepsilon }|\) and \(1 \le t \le C_0 |\log {\varepsilon }|\). Note that compared to (3.15), an extra factor \(J_K^2\) was added to take into account the sum over the possible choices for \(\sigma \).
Now recalling that \(n_k = 2 ^kn_0\), we have
so thanks to Assumption (1.20) on the initial datum \(g_{\alpha ,0}\), we conclude
Since \(2^{K^2}n_0^{5+K} \ll C^{2^K}\), this completes the proof of Proposition 3.2 (bounding \( \big | \log {\varepsilon }\big |^\frac{19}{2}\) by \( \big | \log {\varepsilon }\big |^{10}\) to simplify). \(\square \)
Proof of Proposition 3.1
Each term in the decomposition (3.3)
can be interpreted as a restriction of the domain of integration of the times, velocities and deflection angles. For \(f^{(1,K), \ge }_{N}\), the pseudo-trajectories associated with a tree a are integrated over the sets \(\mathcal {P}_1(a, p, \sigma )\) as in (3.18), instead they are integrated outside these sets in \(f^{(1,K), 0}_N\). As a consequence the pseudo-trajectories in \(f^{(1,K), 0}_N\) have no recollision.
A similar decomposition holds for the Boltzmann hierarchy: we distinguish whether the pseudo-trajectories lie on the non-overlapping sets \(G_s(a)\) or not (see Definition 2.3), and whether they lie on the pathological sets \(\mathcal {P}_1(a, p, \sigma )\) or not (this splitting is artificial as there are no recollisions in the Boltzmann hierarchy, however it will be useful to compare the different contributions). Recalling
let us write
where \({\bar{f}} ^{(1,K), 0} (t) \) corresponds to restricting the pseudo-trajectories to the sets of parameters \(^c{}\mathcal {P}_1(a, p,\sigma ) \cap G_s(a)\), while \( {\bar{f}} ^{(1,K), \ge } (t) \) corresponds to the restriction to \( \mathcal {P}_1(a, p,\sigma ) \cap G_s(a)\), and finally \({\bar{f}} ^{(1,K), \mathrm {overlap}} (t)\) corresponds to the restriction to \(^c{} G_s(a)\). As a consequence of Proposition 3.2, the term \({\bar{f}} ^{(1,K), \ge } \) is negligible
Similarly we claim that
Indeed we notice that by definition
If \((T_{2,s}, \Omega _{2,s}, V_{2,s}) \) belongs to \( \widetilde{^c{}G_s}\) and if i is the smallest integer such that
then either the corresponding pseudotrajectory before time \(t_i\) (which exists by definition of i) has suffered at least one recollision, and the result is a consequence of the proof of Proposition 3.2; or the condition (3.22) can itself be interpreted as a “recollision” (with \({\varepsilon }\) replaced by \(2{\varepsilon }\)) and the computations leading to Proposition 3.2 may again be reproduced exactly. So (3.21) follows.
The last step to conclude Proposition 3.1 is to evaluate the difference \(f^{(1,K), 0}_{N}(t) - {\bar{f}} ^{(1,K), 0} (t)\). Once recollisions and overlaps have been excluded, the only discrepancies between the BBGKY and the Boltzmann pseudo-trajectories come from the micro-translations due to the diameter \({\varepsilon }\) of the colliding particles (see Definition 2.2). At the initial time, the error between the two configurations is at most \(O(s{\varepsilon })\) after s collisions (see [4, 8])
The discrepancies are only for positions, as velocities remain equal in both hierarchies. These configurations are then evaluated either on the marginals of the initial datum \(f_{N,0}^{(s)} \) or of \(f^{(s)} _0\) which are close to each other thanks to Proposition 2.6.
The main discrepancy between \(f^{(1,K), 0}_{N}\) and \({\bar{f}}^{(1,K), 0} \) depends on
By the assumption (1.20), \(g_{\alpha ,0}\) has a Lipschitz bound \(\exp ( C \alpha ^2)\), thus combining (3.23) and the estimate of Proposition 2.6, we get
The last source of discrepancy between the formulas defining \(f^{(1,K), 0}_{N}\) and \({\bar{f}}_N^{(1,K), 0} \) comes from the prefactor \((N-1)\dots (N-s+1) {\varepsilon }^{s-1}\) which has been replaced by \(\alpha ^{s-1}\). For fixed s, the corresponding error is
which, combined with the bound on the collision operators, leads to an error of the form
Summing the previous bounds gives
where we used the bounds (3.19) for the sequence \(n_k = 2^kn_0\) .
Finally Proposition 3.1 follows by combining
-
(3.21) to control overlaps in the pseudo-trajectories,
-
(3.25) to control the difference in the parts without recollisions.
The result is proved. \(\square \)
Symmetry and \(L^2\) Bounds
In this section, we prove an upper bound on the contribution of super exponential collision trees without recollisions introduced in (2.26)
Proposition 4.1
Given \(T>1\), \(\gamma \ll 1\) and C a large enough constant (independent of \(\gamma \) and T), the parameters are tuned as follows
Then, under the Boltzmann–Grad scaling \(N{\varepsilon }= \alpha \gg 1\), we have for \(t \in [0,T]\)
The main step to derive Proposition 4.1 is to replace the \(L^\infty \) estimates on the collision kernel (Proposition 2.5) by \(L^2\) estimates. To do this, we first establish an \(L^2_\beta \) decomposition of the marginals \(f_N^{(s)}(t)\) (Proposition 4.2 in Section 4.1) and then an \(L^2\) counterpart of Proposition 2.5 (Proposition 4.5 in Section ).
Structure of Symmetric Functions in \(L^2\)
We prove in Proposition 4.2 that a structure similar to (2.20) is intrinsic to symmetric functions with suitable \(L^2\) bounds (the argument does not involve dynamics). As the density \(f_N(t)\) of the particle system is symmetric and admits \(L^2\) bounds uniform in time, we can then deduce that the higher order correlations of the marginals \(f_N^{(s)}(t, Z_s) \) are small in \(L^2\) for any time. This is a key ingredient in the proof of the main theorem.
The following proposition states a general decomposition of symmetric functions in \(L^2_\beta \).
Proposition 4.2
Let \(f_N\) be a mean free, symmetric function such that \(f_N/ M_\beta ^{\otimes N} \in L^2_\beta (\mathbb {D}^N)\). There exist symmetric functions \(g_N^m\) on \(\mathbb {D}^m\) for \(1\le m\le N\) such that for all \(s \le N\), the marginal of order s satisfies
where \({{\mathfrak {S}}}^m_s\) denotes the set of all parts of \(\{1,\dots ,s\}\) with m elements, and \( \left( {\begin{array}{c}s\\ m\end{array}}\right) \) is its cardinal. Moreover
Combining (2.17) and (2.19), we see that at any time \(t \ge 0\)
Thus Proposition 4.2 applies to the solution \(f_N(t)\) of the Liouville equation and for all \(s \le N\), the marginal of order s satisfies
with
Remark 4.3
Although the definition is not exactly the usual one (due to the linear setting), we will call cumulant of order m the function \(g_N^{m}\) as it encodes the correlations of order m. It is indeed defined by some exhaustion procedure (which is somehow comparable to the Calderón-Zygmund decomposition), which ensures that the average of \(g_N^{m}\) with respect to any of its coordinate is zero. In other words, all correlations of order less than \(m-1\) have been removed.
Note that the size of the correlations between several particles has been quantified by Pulvirenti, Simonella [22] for chaotic initial data. As in (4.6), the bounds obtained in [22] decrease with the degree of the correlations, however these estimates hold only for short times and moderate m as they are valid even far from equilibrium.
The decomposition (4.5) can be understood as a projection of \(f_N\) onto the reference measure \(M_\beta ^{\otimes N}\) and the terms in (4.6) are small because \(f_N\) is close to \(M_\beta ^{\otimes N}\) in the \(L^2\) sense (4.4). In \(d \ge 3\), the estimate (4.4) no longer holds (even for \(f_N = M_{N,\beta }\)) as the corrections induced by the exclusion are too large. Thus to generalize the previous decomposition in \(d \ge 3\), one would need to replace the reference measure \(M_\beta ^{\otimes N}\) by a more suitable one.
Proof of Proposition 4.2
Define
Step 1. The identity
comes from a simple application of Fubini’s theorem. We indeed have
since the number of possible \(\sigma \) with m elements having \({\tilde{\sigma }}\) as a subset is \( \left( {\begin{array}{c}N-k\\ m-k\end{array}}\right) \).
For \(k<N\), we have
while for \(k=N\) we just obtain 1. We therefore get (4.7).
Step 2. We prove now that
Given \(1 \le \ell \le m\), one can split the sum over \( {\sigma } \in {{\mathfrak {S}}}_m^k\) into two pieces, depending on whether \(\ell \) belongs to \( {\sigma }\) or not
The conclusion follows from the fact that the case \(k' = 0\) corresponds to
Hence we obtain
The identity (4.3) follows by integrating (4.7) with respect to \(M_\beta ^{\otimes (N-s)} dz_{s+1}\dots dz_{N}\)
Step 3. It remains to establish estimate (4.6). From (4.7) and the orthogonality condition (4.8), we also deduce that
This ends the proof of Proposition 4.2. \(\square \)
Remark 4.4
The decomposition (4.3) shows that the higher order correlations decrease in \(L^2\)-norm according to the number of particles. This is a step towards proving local equilibrium, but these estimates are not strong enough to deduce directly that the equation on the first marginal can be closed because the collision operator is too singular.
\(L^2\) Continuity Estimates for the Iterated Collision Operators
We will now establish an \(L^2\) estimate for \(Q^0_{1,J} (t)\) (see Proposition 4.5). As explained in the introduction (see Paragraph 2.5), it involves a loss in \({\varepsilon }\), which will be exactly compensated by the decay of the \(L^2_\beta \)-norm (4.6) in the expansion (4.3). This shows that the structure (2.20) is partly preserved by the collision-transport operators, as long as there is no recollision.
Statement of the Result and Strategy of the Proof
Let us first introduce some notation. As in (2.7) for \(| Q_{s,s+n}| (t)\), the operator \(| Q^0_{s,s+n}| (t)\) is obtained by considering the sum \(C^+_{s,s+1} + C^-_{s,s+1}\) instead of the difference. Let \(g_m \in L^2_\beta (\mathbb {D}^m)\), we set for \({\sigma } \in {{\mathfrak {S}}}_s^m\)
The key estimate is given by the following proposition. Note that the bound provided in (4.10) is not the best one can prove (in terms of the way the powers of t and h are divided) but suffices for our purposes.
Proposition 4.5
There is a constant C (depending only on \(\beta \)) such that for all \(J,n\in \mathbb {N}^*\) and all \( t\ge 1, h\in [0,t] \), the operator \(|Q^0|\) satisfies the following continuity estimate
Proof
To simplify the analysis, especially the treatment of large velocities, we define modified collision operators
where \(Z_{s+1}^{\pm ,i,s+1}\) denotes the configuration after the collision between i and \(s+1\) as in (1.9)
By construction, \(C^{b,\pm }_{s,s+1}\) has a bounded collision cross-section and \(C^{q,\pm }_{s,s+1}\) has a collision cross-section with quadratic growth in v. Defining accordingly \(|Q^{b,0}_{1,J}|\) and \(|Q^{q,0}_{1,J}|\), we have by the Cauchy-Schwarz inequality
where the velocity cut-off \({\mathcal V}_{J+n}\) has been dropped. Thus we find directly
-
The first factor can be bounded in \(L^\infty \) as in Proposition 2.5.
Proposition 4.6
There is a constant C (depending only on \(\beta \)) such that for all \(J,n\in \mathbb {N}^*\) and all \(h,t\ge 0\), the operator \(|Q^{q,0}|\) satisfies the following continuity estimates
The proof is omitted as it is similar to the one of Proposition 2.5 (we just have to skip the Cauchy-Schwarz estimate in (2.9)). Note that the quadratic growth in the collision cross-section is critical in the sense that it is the highest possible power giving an admissible loss estimate.
Thus (4.12) can be bounded as follows
-
The second factor can be bounded from above by relaxing the conditions on the distribution of times to retain only that the collision times have to satisfy
$$\begin{aligned} 0\le t_{J+n-1} \le \dots \le t_J \le \dots \le t_2 \le t+h \le 2t \, . \end{aligned}$$
In other words, we have
This is suboptimal in the sense that it implies that powers of h will be traded for powers of t but the smallness thanks to h already present on the right-hand side of (4.14) will be enough for our purposes. To establish Proposition 4.5, it is then enough to prove the following proposition which will be applied to \(g_m^2\).
Proposition 4.7
Let \(\varphi _m(Z_m)\) be a nonnegative symmetric function in \(L^1_\beta (\mathbb {D}^m)\). For \(J \ge m\), we have for any time \(t \ge 1\)
Thus this completes the derivation of Proposition 4.5. \(\square \)
The idea of the proof of Proposition 4.7 is to proceed by iteration: Lemma 4.8 in Paragraph 4.2.2 shows that the structure is preserved through an integrated in time transport-collision operator, the proof of Proposition 4.7 is then completed in Paragraph 4.2.3.
Evolution of the Structure (4.3) under the BBGKY Dynamics
In order to prove Proposition 4.7, we first state and prove a key lemma on the collision kernel which will be used recursively in Section 4.2.3 to prove Proposition 4.7. In order to decouple the time integrals, we introduce an exponential weight (which will play essentially the same role as the Laplace transform).
Lemma 4.8
Fix \(t>0\) and \(1 \le m \le s +1 \le J\), and let \(\varphi _m\) be a nonnegative symmetric function in \(L^1_\beta (\mathbb {D}^m)\). Then there are two symmetric functions \(\Phi ^{(m)}_m\) and \(\Phi ^{(m)}_{m-1}\) defined on \(\mathbb {D}^m\) and \(\mathbb {D}^{m-1}\) such that with notation (4.9)
Furthermore, they satisfy
and \( \Phi _{s+1}^{(s+1)} =\Phi _0^{(1)} = 0\).
Proof
To simplify the notation, we drop the superscript (m) throughout the proof.
Let \(\sigma := (i_1,\dots ,i_m)\) be a collection of ordered indices in \(\{1,\dots , s+1\}\). We first analyze the term involving \(\varphi _{m,\sigma }\) and then conclude by summing over all possible \(\sigma \)’s.
In the following, we shall use the notation \(Z_{s}^{<i>} \) for the configuration in \(\mathbb {D}^{s-1}\) defined by
When applying the collision operator \(|C^{b, \pm }_{s,s+1}|\) to \({\widehat{\mathbf {S}}}_{s+1}^0 (\tau )M_{\beta }^{\otimes (s+1)} \varphi _{m, \sigma }\), four different situations occur depending on whether the colliding particles \(s+1\) and i belong to \(\sigma \) or not. Indeed recall that the collision operator consists mainly in integrating one of the variables, namely \(x_{s+1}\), on a hypersurface \(|x_i-x_{s+1} |= {\varepsilon }\) for some \(1 \le i \le s\). Thus the collision may add some dependency in the arguments of \(g_{m,\sigma }\).
-
If \(z_{s+1}\) does not belong to \(\sigma \), i.e. the variables of \(\varphi _{m,\sigma }\):
-
either \(z_i\) does not belong to \(\sigma \) and in that case essentially nothing happens as the collision does not affect the variables in \(\sigma \) and the transport operator is an isometry in \(L^1\).
-
or \(z_i\) does belong to \(\sigma \) and in that case \(v_i\) is modified by the scattering operator but that will be shown to be harmless thanks to the energy conservation and a change of variables by the scattering operator.
-
-
If \(z_{s+1}\) does belong to \(\sigma \):
-
either \(z_i\) does not belong to \(\sigma \) then this is quite similar to the second case above,
-
or \(z_i\) belongs to \(\sigma \) then by integration on the hypersurface a variable is lost (and that case alone accounts for the term \( \Phi ^{(m)}_{m-1}\) in the lemma).
-
We turn now to a detailed analysis of these cases.
Case 1. \(s+1 \notin \sigma \):
This case corresponds to \(\sigma \in {{\mathfrak {S}}}^m_{s}\) (\(m \le s\)) and will contribute partly to the function \(\Phi _m\). Recall that \(\varphi _{m,\sigma }\) depends only on the coordinates \(Z_\sigma \) indexed by \(\sigma \).
-
Define the contribution \(\Phi _{\sigma } ^{1,\pm } \) corresponding to collisions between two particles of the background :
$$\begin{aligned} \Phi _{\sigma } ^{1,\pm } (Z_s):= & {} \int _0^{+\infty } d\tau \, e^{-{J \tau \over t} } {\widehat{\mathbf {S}}}_{s}^0 (\tau ) \Big ( \sum _{\begin{array}{c} \scriptstyle {i=1}\\ \scriptstyle {i \notin \sigma } \end{array}} ^s M_{\beta } ^{\otimes (s-1)} \, \varphi _{m,\sigma } \Big ) (V_{s}^{<i>}, X_\sigma )\\&\times \int _{{{\mathbb {S}}} \times \mathbb {R}^2} M_{\beta } ^{\otimes 2}\left( v_i^{\pm ,i,s+1}, v_{s+1}^{\pm ,i,s+1}\right) {\big ((v_i-v_{s+1}) \cdot \nu \big )_+\over 1+|v_i- v_{s+1}|} \, d\nu dv_{s+1} \, . \end{aligned}$$
Notice that by energy conservation
As the collision kernel is bounded, we deduce that
where \(\Phi _m^1\) is the first contribution to \(\Phi _m\)
Let us compute the \(L^1_\beta \) norm of \(\Phi _m^1 \). Note that \(\widehat{{\mathbf {S}}}_{m}^0\) assigns the value 0 if a configuration has a recollision in the time interval \([0,\tau ]\), so
Since \(\varphi _m \ge 0\) and \({{\mathbf {S}}}_m\) assigns the value 0 to configurations which initially overlap, we find for \(\tau \ge 0\)
where we used that the transport preserves the Lebesgue measure. Finally, we deduce that
where we used that \(s \le J\).
-
It remains to understand what happens when the collision involves one of the particles in \(\sigma \), i.e. \(i\in (i_1, \dots , i_m)\). From the energy conservation (4.18) and the fact that the collision kernel is bounded, we have
$$\begin{aligned}&M_{\beta } ^{\otimes s} (V_{s}) \sum _{\ell =1}^m \int _0^{+\infty } d\tau e^{-{J \tau \over t} } \, \int _{{{\mathbb {S}}} \times \mathbb {R}^2} d\nu dv_{s+1} \, M_{\beta } (v_{s+1})\nonumber \\&\qquad \times \Big ( {\widehat{\mathbf {S}}}_{m}^0 (\tau ) \varphi _m\Big ) \left( Z_\sigma ^{<i_\ell >},x_{i_\ell } , v_{i_\ell }^{\pm , i_\ell ,s+1} \right) { \big ((v_{i_\ell } -v_{s+1}) \cdot \nu \big )_+ \over 1+ |v_{i_\ell } - v_{s+1}|}\\&\quad \le M_{\beta } ^{\otimes s} (V_{s}) \Phi _m^{2,\pm } (Z_\sigma ) \,,\nonumber \end{aligned}$$(4.21)
where
with
The function \({\tilde{\Phi }}^{2,\pm }_m\) is symmetric with respect to the coordinates \(Z_m\). Using again the conservation of energy, we have
Since the change of variables
is an isometry and using (4.19), we deduce that for any \(\tau \ge 0\),
Then, integrating with respect to time and using that \(m \le J\), we get
From (4.21), this gives a second contribution to \(\Phi _m\) for any \(\sigma \in {{\mathfrak {S}}}^m_{s}\).
Case 2. \(s+1 \in \sigma \):
As previously, we have to distinguish if the collision with \(s+1\) involves a particle \(i \notin \sigma \) or \(i \in \sigma \). The first case will lead to a third contribution to \(\Phi _m\) and the second case to the term \(\Phi _{m-1}\).
-
We define the contribution of the collisions with particles outside \(\sigma \) as
(4.25)
As the collision kernel is bounded and using the energy conservation (4.18), we get
with
We follow now the same arguments as in (4.23) to compute the \(L^1_\beta \) norm of \(\psi _m^\pm \). Using first the space translation invariance, then the isometry (4.22) and finally (4.19) and the fact that the transport preserves the Lebesgue measure, we get
Finally the time integral leads to
Note that \(\psi _m^\pm (Z_{m-1}, z_i) \) is only symmetric over the variables \(Z_{m-1}\) and not as a function on \(\mathbb {D}^m\). However the function
is symmetric. Thus one can check that
where \({\widehat{\psi }}_m^\pm \) is the symmetric version of \(\psi _m^\pm \) :
Finally, the function \(\Phi _m^{3,\pm } (Z_m) := m {\widehat{\psi }}_m^\pm (Z_m)\) provides an upper bound for (4.25)
with
This defines the third contribution to \(\Phi _m := \Phi _m^1 + \Phi _m^{2,\pm } + \Phi _m^{3,\pm }\). Thus the upper bound (4.16) on the \(L^1_\beta \)-norm of \(\Phi _m\) follows from the estimates (4.20), (4.24) and (4.26).
-
It remains to understand what happens when the collision involves two particles in \(\sigma \), i.e. when \(i, s+1\in \sigma \). This is a more delicate situation, as we need to take a trace on the function \(\varphi _m\). The transport operator will be the key to using nevertheless an \(L^1\) bound on \(\varphi _m\). We set
$$\begin{aligned}&\Psi _{\sigma }^{2,\pm } (Z_\sigma ^{<s+1>})\nonumber \\&\quad := \sum _{i \in I_{m-1}} M_{\beta }^{\otimes (s-1)} (V_{s}^{<i>}) \, \int _0^{+\infty } d\tau e^{-{J \tau \over t} } \, \int _{{{\mathbb {S}}} \times \mathbb {R}^2} M_{\beta }^{\otimes 2}(v_{i}^{\pm ,i,s+1}, v_{s+1}^{\pm ,i,s+1 }) \nonumber \\&\qquad \times \Big ( {\widehat{\mathbf {S}}}_{m}^0 (\tau ) \varphi _m \Big ) \left( Z_\sigma ^{<i,s+1>} ,x_{i}, v_{i}^{\pm , i ,s+1}, x_{i} \pm {\varepsilon }\nu , v_{s+1}^{\pm , i,s+1}\right) \nonumber \\&\qquad \times {\big ((v_{i} -v_{s+1}) \cdot \nu \big )_+\over 1+ |v_{i} - v_{s+1}|} \, d\nu dv_{s+1} \nonumber \\&\quad \le M_{\beta }^{\otimes s} (V_{s}) \Phi _{m-1} (Z_\sigma ^{<s+1>})\,, \end{aligned}$$(4.27)
where
with
The function \(\Phi _{m-1} \) is symmetric but not the functions \(\psi ^{i,\pm }_{m-1}\). The inequality (4.27) comes from the fact that the denominator \((1+ |v_{i} - v_{m}|)\) has been removed and the exponential factor \(e^{-{J \tau \over t} }\) bounded by 1. As we shall see, the time integral is still converging thanks to the cut-off on the transport operator \(\widehat{{\mathbf {S}}}_{m}^0\).
We compute now the \(L^1_\beta \)-norm of \(\Phi _{m-1}\). Since the scattering transform
is bijective and has unit Jacobian, it is enough to study the simple case
where we have used again the conservation of energy. Define the maximal subset \(\mathcal {S}^{i,m}\) of the space \(\mathbb {D}^{m-1} \times {{\mathbb {S}}} \times \mathbb {R}^2 \times \mathbb {R}\) such that for any initial datum \((Z_{m-1}, x_{i} + {\varepsilon }\nu , v_{m} )\) no recollision takes place in the time interval \([0,\tau ]\). On the domain \({\mathcal {S}}^{i,m}\), the map
is injective. This would not be true for the transport map without the restriction to \({\mathcal {S}}^{i,m}\) due to the periodic structure of \(\mathbb {D}^m\). However, for any \(Z_m\) in the range \({\mathcal {R}}^{i,m}\) of the map \(\Gamma ^{i,m}\), the time \(\tau \) is uniquely determined as the first collision time in the flow starting from \(Z_m\). This collision will take place between i and m because the possibility of any other collision has been excluded. All the other parameters can be determined from \({\varvec{\Psi }}(\tau ) (Z_m)\).
Given \(j \in \{ 1, \dots , m\} \setminus \{i\}\), we denote by \(\omega ^{j,m}\) the permutation which swaps the coordinates \(z_j,z_m\) of \(Z_m\). Then \(\Gamma ^{i,j}= \omega ^{j,m} \circ \Gamma ^{i,m}\). These maps are of the same nature, however the ranges \({\mathcal {R}}^{i,j}\), \({\mathcal {R}}^{i',j'}\) are disjoint as soon as \(\{i,j\} \ne \{i',j'\}\). Indeed for any configuration \(Z_m\) in \(\bigcup _{j \not = i} {\mathcal {R}}^{i,j}\), one can recover the associated map, as the first collision in the flow starting from \(Z_m\) will take place between i and j. Once again this is possible because we considered the truncated transport dynamics associated with the flow \({\widehat{\mathbf {S}}}^0\). The last important feature is that the change of variables \(\Gamma ^{i,m}\) maps the measure \(\big ((v_{i} -v_{m}) \cdot \nu \big )_+ \, {\varepsilon }d\nu dv_{m}d\tau dZ_{m-1}\) to \(dZ_m\). Thus we can rewrite (4.28) as
where we used that the sets \(( \mathcal {R}^{i,j} )_{i\ne j}\) cover at most twice \(\mathbb {D}^m\).
Finally we notice that \(\Phi _{m}^{m} = 0\) because there is no loss in the number of particles only if one of the particles \(z_i\) and \(z_{m}\) corresponding to the collision integral is not part of the variables of \(\Phi _{m}\), which is impossible since it is defined on \(\mathbb {D}^{m}\). Similarly \(\Phi _{0}^{1} = 0\) because there is a loss in the number of variables only if the two variables of the collision kernel are part of the variables of the function considered, which is impossible if the function only depends on one variable.
This completes the bound (4.17) and ends the proof of Lemma 4.8. \(\square \)
Iterated \(L^1\) Continuity Estimates
To evaluate the norm of \(|Q^{b,0} _{1,J}| (t)\) and prove Proposition 4.7, we use recursively Lemma 4.8.
End of the proof of Proposition 4.7
The quantity to be controlled is of the form
Rewriting the time integrals in terms of the time increments \(\tau _i = t_i - t_{i+1}\) with the constraint \( \tau _{2} + \dots + \tau _{J} \le t \), we get
This constraint can be removed by using the inequality
which allows one to decouple the time integrals and to deal with the elementary operators
separately. A factor \(e^J\) is lost in this decoupling procedure.
We proceed now by applying \(J-1\) times the estimates of Lemma 4.8. One iteration transforms a symmetric sum of functions \(\varphi _\ell \) depending on \(\ell \) variables into similar sum of functions \(\Phi ^{(\ell )}_\ell , \Phi ^{(\ell )}_{\ell -1}\) depending on \(\ell \) or \(\ell -1\) variables with the following exceptions
-
\(\Phi ^{(\ell )}_\ell = 0\) if \(\ell = s+1\),
-
\(\Phi ^{(\ell )}_{\ell - 1} = 0\) if \(\ell = 1\).
We recall the bounds (4.16) and (4.17)
As the number of variables has to be dropped exactly by \(m-1\), the \(J-1\) iterations will lead to a sum of at most \(\left( {\begin{array}{c}J-1\\ m-1\end{array}}\right) \le 2^J\) terms. We therefore end up with
which is the expected estimate (bounding \(t^{J-m}\) by \(t^{J-1}\) and changing the constant C).
\(\square \)
Proof of Proposition 4.1
This Proposition is a straightforward consequence of Propositions 4.2 and 4.5. We have only to sum over all elementary contributions.
-
Fix k, \(j_i <n_i\) for each \( i\le k-1\) and \(j_k \ge n_k\).
By relaxing the conditions on the distribution of times to retain only the constraint on the time increments
it is enough to consider the upper bound
From the uniform \(L^2\) estimates (4.6) following from Proposition 4.2 and Stirling’s formula, we deduce that
Then, by Proposition 4.5, we conclude that
with the notation \(g_{N,\sigma }^{m} (t',Z_{J_k}) = g_N^{m} (t', Z_\sigma )\). We then sum over all \(m\in \{1,\dots , J_k\}\) to get
-
For \(\gamma \) small, the scaling assumption (4.1) implies in particular that \(\alpha ^2 th \ll 1\) and that \(\alpha ^2t^{3/2} h^{1/2} \ll 1\), recalling that \(t \ge 1\). Thus summing over all \(j_k \ge n_k\) leads to
(4.30)
where we used that \(J_{k-1} \le n_k\) as \(j_\ell \le n_\ell = 2^\ell n_0\).
Taking the sum over all possible \(j_i\) as in (3.19), we get at most \(C^k 2^{k^2}\) such terms. From the scaling assumption (4.1) and the fact that \(\alpha \ge 1\), one can choose \(h \le {\gamma ^2}/{8 C \exp (C\alpha ^2) \alpha ^4 T^3}\). This implies that
and Proposition 4.1 follows. \(\square \)
Super Exponential Branching for the Boltzmann Pseudo-dynamics
It remains then to estimate similarly the contribution of the super-exponential branching collision trees in the Boltzmann pseudo-dynamics
We can state a result analogous to Proposition 4.1
Proposition 4.9
Given \(T>1\), \(\gamma \ll 1\) and C a large enough constant (independent of \(\gamma \) and T), the parameters are tuned as follows
Then, we have for \(t\in [0,T]\)
Proof
At this stage, the constraint \({\mathcal V}_{J_K}\) is purely cosmetic and it can be removed. We use the fact that the solution (1.13) of the Boltzmann hierarchy is explicit
where \(g_\alpha \) solves the linear Boltzmann equation (1.14) and is smooth. In particular, the weighted \(L^2\) norm is a Lyapunov functional for the linearized Boltzmann equation, so
The collision operators are decomposed into \({\bar{C}}_{s,s+1}^{b, \pm }\) and \({\bar{C}}_{s,s+1}^{q, \pm }\) as in (4.11). Then, following the same arguments as in the proof of Lemma 4.8 (case 1 and first part of case 2), we get for any continuous nonnegative function \(\varphi \) in \(L^1_\beta (\mathbb {D})\)
where
By iteration and integration with respect to time which leads to a factor \(\displaystyle {t^{J-1}}/{(J-1)!}\), we deduce that
The previous estimate can be applied to the explicit form of the Boltzmann hierarchy. Combining this upper bound with Lanford’s estimate for \(|{\bar{Q}}^q_{1,J}|(t) \, |{\bar{Q}}^q_{J,J+n} | (h) M_\beta ^{\otimes (J+n)}\), we get by the Cauchy-Schwarz inequality as in (4.12)
where we used (4.34) in the last inequality.
We proceed as in (4.30), (4.31) and sum over \(j_k \ge n_k\), \(j_i<n_i\) for \(i \le k-1\),
where the last inequality follows from the condition \(h \le \frac{\gamma ^2}{8 C \alpha ^4 \exp ( C_1 \alpha ^2) T^3}\). This completes the proof of Proposition 4.9. \(\square \)
Control of Super Exponential Trees with One Recollision
In this section, we show how to modify the proof of Proposition 4.1 to take into account a finite number of recollisions (actually one here, but the argument could easily be extended to an arbitrary, finite number), and prove the following estimate for \(R_N^{K,1}\).
Proposition 5.1
Under the Boltzmann–Grad scaling \(N{\varepsilon }= \alpha \gg 1\) and with the previous notation, we have for \(T>1\) and all \(t \in [0,T]\), assuming
that
Given a function \(g_N^{m}\), let us call distinguished the particles which are in the argument of \(g_N^{m}\) and the others are the background particles. Proposition 4.7 cannot be applied as a black box: indeed, the structure (4.3) is not exactly preserved by the transport operator at the time of recollision if there is scattering between one distinguished particle and one particle of the background. We have therefore to extend Lemma 4.8 to incorporate the case of one recollision. The point is to modify locally the decomposition (4.3) to ensure that the recollision will always involve either two particles of the background or two distinguished particles, in which case it is easy to adapt the proof of Proposition 4.7 .
Extension of Lemma 4.8 to the Case of One Recollision
Note that in the pseudo dynamics describing the operator
there is exactly one collision occurring at the initial time and the particles evolve in straight lines with the exception of the two recolliding particles.
Lemma 5.2
Fix \(t>0\), \(1 \le m \le s +1 \) and let \(\varphi _m\) be a nonnegative symmetric function in \(L^1_\beta (\mathbb {D}^m)\). Then there are three symmetric functions \(\Phi _m^{(m)}\), \(\Phi _{m-1}^{(m)}\) and \(\Phi _{m+1}^{(m)}\) defined respectively on \(\mathbb {D}^m\), \(\mathbb {D}^{m-1}\) and \(\mathbb {D}^{m+1}\) such that
where \({\mathcal V}_{s+1}\) was introduced in (2.22). Furthermore, they satisfy
with \(\Phi _0^{(1)} = \Phi _{s+1}^{(s)} = \Phi _{s+1}^{(s+1)} = \Phi _{s+2}^{(s+1)} = 0\).
Unlike Lemma 4.8 which is iterated, the previous lemma will be used only once, thus there is no need to establish sharp bounds.
Proof
To simplify notation we drop the superscript (m) in the proof. We follow the main steps of the proof of Lemma 4.8.
Step 1. Localization of the transport operators.
Let us first fix (i, j) the pair of recolliding particles and denote by \(\widehat{{\mathbf {S}}}_{s+1} ^{1, (i,j)}(\tau )\) the corresponding transport operator. For a given \(\sigma \in {{\mathfrak {S}}}^m_{s+1} \), we have to distinguish two cases.
Case 1. (i, j) belongs to \(\sigma \) or \(\sigma ^c\).
If \(i,j \notin \sigma \), we have
where the transport \({\widehat{\mathbf{S}}}^0_m\) acts only on the m particles in \(\sigma \). The distribution is therefore unchanged.
If \(i,j \in \sigma \), we have
In this case then the recollision involves two distinguished particles, so the distribution is modified by the scattering. However since the scattering preserves the measure \( dvdv_1 d\nu \), both the \(L^\infty \) and \(L^1\) norms will be unchanged. Note that in both cases the velocity cut-off has been neglected.
Compared to the previous section, there is however one issue: if there is no recollision, then a point of the phase space cannot be in the image \(\mathbf{S}^0_{m} (\tau ) ({\partial }{\mathcal D}_{\varepsilon }^{m,\pm }) (i,j)\) for two different pairs (i, j), and that fact was the key argument to get the suitable \(L^1\) estimate for \(\Phi _{m}^{( m-1)}\) previously (without loosing a factor \(m^2\)). In the current situation as there is exactly one recollision, for any point in \(\mathcal {D}_{\varepsilon }^s\) there exists a unique parametrization by one point of the boundary \(\mathcal {D}_{\varepsilon }^s\) and one time. It is obtained by using the backward flow, going through the first collision (which is the recollision) and reaching another point of the boundary with a different (longer) time.
So in the end in both cases the analysis is exactly like the one performed in the previous section.
Case 2. i belongs to \(\sigma ^c\) and j to \(\sigma \) (or the symmetric situation).
Note first that this situation can only occur when \(m< s+1\).
The recollision in the transport \(\widehat{\mathbf{S}}_{s+1} ^{1, (i,j)}(\tau )\) induces a correlation between the particles \(z_i, z_j\) so the structure with m distinguished particles and \(s+1-m\) particles at equilibrium is not stable anymore. The idea is then to add particle i to the set of distinguished particles. But in order to keep some of the structure, we then need to gain additional smallness (since \(\Vert \varphi _m\Vert _{L^1_\beta }\) is expected to decay roughly as \({\varepsilon }^{m-1}\), adding a variable requires gaining a power of \({\varepsilon }\)).
For any \(\tau \le t\), a configuration \(Z_{s+1}\) obtained by backward transport \(\widehat{\mathbf{S}}_{s+1} ^{1, (i,j)}(\tau )\) will necessarily belong to the set
Note that this set does not depend on \(\tau \le t\). We then define a new function with \(m+1\) variables which will encompass the constraint on the recollision
with a velocity cut-off acting on the \(m+1\) variables.
We are going to check that
Thus the extra factor \({\varepsilon }\big | \log {\varepsilon }\big |\) will compensate partly the factor \(1/{\varepsilon }\) corresponding to the shift from m to \(m+1\). To prove (5.8) we first freeze the coordinates \(Z_\sigma \). Integrating first over \(z_i\), we recover the factor \(Ct{\varepsilon }\, \big | \log {\varepsilon }\big |\) from the constraint \(\mathcal {P}_{(i,j)}\) (as all energies are bounded by \(C_0 |\log {\varepsilon }|\)), and then (5.8) after integrating over the other coordinates.
The transport operator can be localized on \(m+1\) variables
where we used that \(\varphi _m \ge 0\).
The function (5.7) is not symmetric with respect to the i and j variables. Thus to recover the symmetry, we bound it from above by
In this way, a factor \(m^2 \le s^2\) has been lost compared to (5.8)
Finally, we can write
Step 2. Reduction to the estimates of Lemma 4.8.
Using the estimates (5.4), (5.5) and (5.10), we get
The global cut-off on the velocities has been removed and the transport operator localized so that the proof of Lemma 4.8 can be applied. Note that the first term in the right-hand side will contribute to \(\Phi _m\) and \(\Phi _{m-1}\), while the second term will contribute to \(\Phi _{m+1}\) and \(\Phi _{m}\). In the latter case, an argument of the function \(\psi _{m+1}\) is dropped and the factor \(1/{\varepsilon }\) is compensated (up to a logarithmic loss in \({\varepsilon }\)) thanks to the estimate (5.9). We therefore end up with
with
with \(\Phi _0 =0\) if \(m=1\) and \( \Phi _s = \Phi _{s+1} = 0\) if \(m=s\) or \(m=s+1\). This is exactly the expected estimate. \(\square \)
Estimate of \(R_N^{K,1}\) (Super Exponential Branching with Exactly One Recollision)
The proof of Proposition 5.1 follows the same lines as the proof of Proposition 4.1. With the notation (4.11), the iterated collision operators with quadratic and bounded collision kernels are denoted by \(|Q^{q,1} _{1,J}|\), \(|Q^{b,1} _{1,J}|\). The proof is split into three steps.
Step 1. Evaluating the norm of \(|Q^{b,1} _{1,J}|(t)\) in \(L^1_\beta \).
We use recursively Lemma 4.8, together with one iteration of Lemma 5.2. Using as previously the exponential to get rid of the constraint on the time increments, we have to control a quantity of the form
where the cut-off on the velocities in the second inequality applies only to the operator with one recollision (by using the fact that the energy is preserved by the transport operators).
We proceed now by applying \(J-2\) times the estimates of Lemma 4.8, and once the estimate of Lemma 5.2. When applying Lemma 5.2, the number of variables may shift from m to \(m+1\), but for all other iterations we either stay with the same number variables, or shift from m to \(m-1\). As the number of variables has to be dropped to 1, the total number of possible combinations is less than \(2^J\). We therefore end up with
This estimate is similar to the one of Proposition 4.7 with an extra factor \(J^3|\log {\varepsilon }|\). To compensate this logarithmic divergence, we are going to adapt the \(L^\infty \) estimates of Proposition 4.6 in order to gain a factor \({\varepsilon }\) from the recollision.
Step 2. Evaluating the norm of \(|Q^{q,1}|\) in \(L^\infty \).
Noticing that the recollision takes place either in the last time interval or before, we get the decomposition
where we used the refined estimate (3.16) and the geometric estimates of Section 3.1 in order to recover the factor \({\varepsilon }\) from the recollision. Combined with (5.11) and a Cauchy-Schwarz estimate as in (4.12), we get
The logarithmic loss in \({\varepsilon }\) is compensated by the extra \({\varepsilon }^{1 /2}\) factor from (5.12). Thus, we have obtained a counterpart of Proposition 4.5.
Step 3. Resummation.
The last step is then to sum over all possible contributions k, \(j_i <n_i\) for \( i\le k-1\), \(j_k \ge n_k\), and \(m\le J_k\). Recall from (4.6) that
Then, by (5.13), we have (rounding off the power of \(\log {\varepsilon }\))
where in one of the time intervals, the collision operator is of the type \(|Q^1_{J_{i-1},J_i}|(h)\).
We then sum over all \(m\in \{1,\dots , J_k\}\) to get
Provided that \(\alpha ^2t^{3/2}h^{1/2} \ll 1\), we can first sum over all \(j_k \ge n_k\), which leads to
Taking the sum over all possible \(j_i < 2^in_0\) for \(i\le k-1\), we get \(O(2^{k^2})\) such terms. We therefore end up with
This concludes the proof of Proposition 5.1. \(\square \)
Control of Super-Exponential Trees with Multiple Recollisions
Recall that the remainder term \(R_N^K\) is a series expansion (2.24) with elementary terms of the form
which corresponds exactly to collision trees having
-
\(j_i<n_i\) branching points on the first \(k-1\) intervals (\(i<k\));
-
\(j_k \ge n_k\) branching points on the k-th interval;
and that \(R_N^{K,>}\) is the restriction of \(R_N^K\) to pseudo-dynamics having more than one recollision, with energies bounded by \(C_0 |\log {\varepsilon }|\).
The main result of this section is the following.
Proposition 6.1
Let \(\gamma <1\) be given. Choose
Under the Boltzmann–Grad scaling \(N{\varepsilon }= \alpha \gg 1\), there holds for all \(t \in [0,T]\)
The next two paragraphs are devoted to a quantitative estimate showing that dynamics with more than one recollision are unlikely: the statement is given in Paragraph 6.1, and its proof is in Paragraphs 6.2. Finally the proof of Proposition 6.1 appears in Paragraph 6.3, combining the geometric argument with the time sampling.
Geometric Control of Multiple Recollisions: Statement of the Result
Unlike in Section 3, we need very sharp estimates to compensate the divergence of order N of the \(L^\infty \) norm given in (2.13). Thus we cannot afford to lose any power of \(|\log {\varepsilon }|\). In order to improve the bound obtained in Proposition 3.5 we shall estimate the size of trajectories having at least two recollisions rather than one. Indeed we recall that the three powers of \(|\log {\varepsilon }|\) in the analysis of one recollision are due to the integration in time of the constraint of having one recollision, as well as on the possibility of having small relative velocities (which are integrated out and create a loss of \(|\log {\varepsilon }|\) through the scattering operator). Here we shall see that the presence of a second recollision leads to a finer geometric condition which produces in general a bound of the size \({\varepsilon }^r\) with \(r>1\), hence any power of \(|\log {\varepsilon }|\) can be absorbed. However in some degenerate situations this geometric condition is ineffective (for instance when some relative velocities are too small) and in that case some specific arguments must be used, which give just a power of \({\varepsilon }\) with no additional gain – nor loss.
The presence of multiple recollisions can be encoded in the domain of integration (collision times, impact parameter and velocity of the additional particles). The analysis relies heavily on the computations leading to Proposition 3.5, but the two recollisions may be intertwined so more cases have to be considered. In the next paragraph we start by introducing a classification of the different situations that can lead to the first two recollisions in the dynamics. The proof of the technical aspects regarding each geometric case is postponed to Appendix B.
As in the case of Proposition 3.5 we analyze all possible scenarios leading to the occurrence of at least two recollisions. Each scenario is labeled by an index p and the total number of possible scenarios, whose exact value is irrelevant, is denoted in the following by \(p_0\). The next statement is the counterpart of Proposition 3.5 in the case of two recollisions, and we use the notation of that proposition. For any finite set of integers \(\sigma \) we denote by \(\sigma _-\) the smallest integer in \(\sigma \), and by \(\sigma _+\) the largest one.
Proposition 6.2
Fix a final configuration of bounded energy \(z_1 \in \mathbb {T}^2 \times B_R\) with \(1 \le R^2 \le C_0 |\log {\varepsilon }|\), a time \(1\le t \le C_0|\log {\varepsilon }|\) and a collision tree \(a \in \mathcal {A}_s\) with \(s \ge 2\).
For all types of recollisions \(0 \le p\le p_0\), and all sets of parents \(\sigma \subset \{2,\dots , s\}\) (where the length \(|\sigma | \le 5 \) depends only on p), there exist sets of bad parameters \(\mathcal {P}_2(a, p,\sigma )\subset \mathcal {T}_{2,s} \times {{\mathbb {S}}}^{s-1} \times \mathbb {R}^{2(s-1)}\) satisfying
-
(i)
for \(0 \le p\le 2\),
$$\begin{aligned} \mathcal {P}_2(a, p,\sigma ):=\Big \{(t_m, v_m, \nu _m) \in \mathcal {P}_1(a,p, \sigma \setminus \{\sigma ^+\} )\,/\, ( t_{\sigma ^+}, v_{\sigma ^+}, \nu _{\sigma ^+}) \in \mathcal {Q}(a,p,\sigma ) \Big \} \end{aligned}$$where \(\mathcal {Q}(a,p,\sigma ) \) is parametrized only in terms of \((t_m, v_m, \nu _m)\) for \(m < \sigma ^+\) and satisfies
$$\begin{aligned} \int \mathbf{1}_{\mathcal {Q}(a,p,\sigma ) } \displaystyle \big | \big (v_{\sigma ^+}-v_{a(\sigma ^+)} ( t_{{\sigma ^+}} ) )\cdot \nu _{{\sigma ^+}}\big )\big | d t_{{\sigma ^+}} d \nu _{{\sigma ^+}}dv_{{\sigma ^+}} \le CR^5 s t^2 {\varepsilon }^\frac{1}{4} |\log {\varepsilon }|^2\,; \end{aligned}$$ -
(ii)
for \(2 < p \le p_0\), \(\mathcal {P}_2(a, p,\sigma )\) is parametrized only in terms of \(( t_m, v_m, \nu _m)\) for \(m \in \sigma \) and \(m < \sigma _-\) and satisfies
$$\begin{aligned} \int \mathbf{1}_{\mathcal {P}_2(a,p,\sigma ) } \displaystyle \prod _{m\in \sigma } \,\big | \big (v_{m}-v_{a(m)} ( t_{{m}} ) )\cdot \nu _{{m}}\big )\big | d t_{{m}} d \nu _{{m}}dv_{{m}} \le C(Rt)^{r}s^2 {\varepsilon }\end{aligned}$$(6.1)for some \(r>0\);
such that any pseudo-trajectory starting from \(z_1\) at t, with total energy bounded by \(R^2\) and involving at least two recollisions, is parametrized by
Classification of Multiple Recollisions
In the case of one recollision (recall Proposition 3.5), the key to the proof was to identify two collisions related to that recollision, i.e. two degrees of freedom, for which the constraints due to the recollision lead to a set of small measure. We proceed in the same way here: we consider a pseudotrajectory involving at least two recollisions and denote by (i, j) and \((k,\ell )\) the particles involved in the first two recollisions in the backward dynamics and by \(t_{rec}\in ]t_{\theta +1}, t_\theta [\) and \({\tilde{t}}_{rec} \in ]t_{{\tilde{\theta }}+1} ,t_{{\tilde{\theta }}}[ \) the corresponding recollision times; note that the labels are not necessarily distinct, and neither are the associate pseudo-particles, using the terminology introduced in Definition 3.3. We denote the first parent (starting at height \(\theta \)) of the recolliding particles (i, j) by \(1^*\), and by \({\tilde{1}}\) the first parent (starting at height \({\tilde{\theta }}\)) of the recolliding particles \((k,\ell )\). We define similarly \(2^*,3^*,{\tilde{2}}, {\tilde{3}}\) the other parents moving up the tree to the root (they might not all be distinct).
Without loss of generality we may assume that \(t_{{\tilde{1}}} \le t_{1^*}\) and that \({\tilde{1}}\) is the parent of \(\ell \). To classify the dynamics, we shall consider separately the cases \(t_{{\tilde{1}}} < t_{1^*}\) and \(t_{{\tilde{1}}} = t_{1^*}\).
Case 1: \(t_{{\tilde{1}}} < t_{1^*}\)
We denote by \((x_k( t_{{\tilde{1}}}), v_k)\), \((x_\ell ( t_{{\tilde{1}}}), {\bar{v}}_\ell )\) the configurations of the pseudo-particles k and \(\ell \) at time \( t_{{\tilde{1}}}^-\), and by \(v_{\ell }\) the velocities of pseudo-particles \(\ell \) at time \(t_{{\tilde{1}}}^+\). With that notation, let us write the condition for the recollision \((k,\ell )\) to hold:
So defining as previously
and
we find
To compute the dependency of \( \delta {\tilde{x}}_{k \ell } ( t_{{\tilde{1}}})\) in \( t_{{\tilde{1}}}\), we will not use a decomposition as precise as (3.9), as the trajectories of \(k, \ell \) may be modified by the first recollision in the time interval \([t_{{\tilde{1}}}, t_{{\tilde{2}}}]\). Since the trajectories of \(k, \ell \) are piecewise linear, we retain only the information that
We therefore consider two situations according to the size of the relative velocity \(| v_k- {\bar{v}}_\ell |\).
\(\underline{\hbox {1.1 Relative velocities bounded from below}.}\) Suppose that \(| v_k- {\bar{v}}_\ell | \ge {\varepsilon }^\frac{3}{4}\). The relation (6.2) imposes that at time \(t_{{\tilde{1}}}\), the velocity \(v_\ell \) has to belong to a cone \(\mathcal {C}(\delta {\tilde{x}}_{k \ell } ( t_{{\tilde{1}}}))\) of axis \(\delta {\tilde{x}}_{k \ell } ( t_{{\tilde{1}}})\) with volume at most
as the velocities are bounded by R. Integrating first this constraint over \(dv_{{\tilde{1}}}d\nu _{{\tilde{1}}}\) (as in the proof of Lemma 3.7) and then over \(dt_{{\tilde{1}}}\) by using the derivative (6.3), we get
Summing over all possible \({\tilde{q}}\) gives a bound similar to (3.11)
Then we apply Proposition 3.5 to recollision (i, j) which involves parents \(1^*, 2^* < {\tilde{1}}\) (if it is a self-recollision as depicted page 21 then only one parent is involved). Note that this condition (characterized by \(\mathcal {P}_1(a,0,\{1^*\})\) or \(\mathcal {P}_1(a, p, \{1^*, 2^*\})\) with \(p=1,2\)) is independent from the previous one. We are therefore in the situation (i) of Proposition 6.2.
\(\underline{\hbox {1.2 Small relative velocities.}}\) In that case we forget about (6.2) and we consider instead the condition \(| v_k- {\bar{v}}_\ell | \le {\varepsilon }^\frac{3}{4}\). We then need to define to which degree the recollision between i and j affects the recollision between k and \(\ell \). There are four different possible situations:
-
(a.1) \(t_{rec} \in ({\tilde{t}}_{rec}, t_{{\tilde{2}}})\) and \(k\in \{i,j\}\)
-
(a.2) \(t_{rec} \in ({\tilde{t}}_{rec}, t_{{\tilde{2}}})\) and \(\ell \in \{i,j\}\)
-
(b) \(t_{rec} \in ( t_{{\tilde{2}}},t_{{\tilde{3}}})\) and \(k\in \{i,j\}\) or \(\ell \in \{i,j\}\)
-
(c) \(t_{rec} \notin ({\tilde{t}}_{rec},t_{{\tilde{3}}})\), or \(k,\ell \notin \{i,j\}\)
examples of which are depicted in Figure 5.
We therefore need to be more precise when describing the history of \((k,\ell )\). We denote by \((x_k, x_\ell )\) the positions of the pseudo-particles k and \(\ell \) at time \( t_{{\tilde{2}}}\). We denote by \(( v_i, v_j)\) (resp. \((v'_i, v'_j)\) ) the velocities of particles i, j before the recollision (resp. after) the recollision (i, j).
-
(a.1) We need a more precise geometric argument to ensure both that the first recollision occurs, and that it produces an outgoing velocity \(v_i'\) or \(v_j'\) in the ball \(B({\bar{v}}_\ell , {\varepsilon }^{3/4})\). This is provided in Lemma B.1. Note that this case can be degenerate if \({\tilde{2}} = 1^*\), which means that \({\tilde{2}}\) is also the parent of \(\ell \).
-
(a.2) Again Lemma B.1 enables us to ensure both that the first recollision occurs, and that it produces an outgoing velocity \(v_i'\) or \(v_j'\) in the ball \(B( v_k, {\varepsilon }^{3/4})\). Note that this case can be degenerate if \({\tilde{2}}\) is also the parent of k.
-
(b) We know that \( {\tilde{2}} > 1^*, 2^*\). We then integrate over \(dt_{{\tilde{2}}}dv_{{\tilde{2}}}d\nu _{{\tilde{2}}}\) the constraint of having small relative velocities \(| v_k - {\bar{v}}_\ell | \le {\varepsilon }^{3/4}\) and by (C.10) this gives a bound of the order of \(O( R^2 t {\varepsilon }^{3/4} |\log {\varepsilon }|)\). Then we apply Proposition 3.5 to recollision (i, j) which involves parents \(1^*, 2^* < {\tilde{2}}\). We are therefore in the situation (i).
-
(c) In that case combining (C.3) and (C.4), we deduce that
$$\begin{aligned} \int \mathbf{1}_{| v_k- {\bar{v}}_\ell | \le {\varepsilon }^\frac{3}{4} } \displaystyle \prod _{m= {\tilde{2}}, {\tilde{3}}} \,\big | \big (v_{m}-v_{a(m)} ( t_{{m}} ) )\cdot \nu _{{m}}\big )\big | d t_{{m}} d \nu _{{m}}dv_{{m}} \le CR^5 t^2 {\varepsilon }^{3/2} |\log {\varepsilon }| \,. \end{aligned}$$For any fixed \(\{{\tilde{2}}, {\tilde{3}}\}\), this scenario will be labelled by \(p=3\) hence
$$\begin{aligned} \int \mathbf{1}_{\mathcal {P}_2(a,3,\sigma ) } \displaystyle \prod _{m\in \sigma } \, \big | \big (v_{m}-v_{a(m)} ( t_{{m}} ) )\cdot \nu _{{m}}\big )\big | d t_{{m}} d \nu _{{m}}dv_{{m}} \le Cs R^5 t^2 {\varepsilon }^{3/2} |\log {\varepsilon }|\,. \end{aligned}$$
Note the extra factor s, which appears for the same reasons as explained in (3.14).
Case 2: \(t_{{\tilde{1}}} = t_{1^*}\)
This is a very constrained case, as all the recolliding particles have the same first parent. We separate the analysis into two subcases.
\(\underline{\hbox {2.1 Parallel recollisions}.}\) This case is depicted in Figure 6; the two recollisions take place with the same parent, but there is no direct link between the two couples of recolliding pseudo-particles (i, j) and \((k,\ell )\), meaning as previously that the trajectory of \(\ell \) and k between time \(t_{{\tilde{1}}}=t_{1^*}\) and \({\tilde{t}}_{rec}\) is unaffected by that of i or j on the same time interval.
The analysis is postponed to Lemma B.2.
\(\underline{\hbox {2.2 Recollisions in chain}.}\) In this case the two recollisions take place in chain (the trajectory of one of the recolliding particles k or \(\ell \) is affected by i or j between time \(t_{{\tilde{1}}}=t_{1^*}\) and \({\tilde{t}}_{rec}\)) (see Figure 7).
This case is dealt with in Lemma B.3 and Lemma B.4 in Appendix B.
Indexing with \(\sigma \)
So far the two recollisions have been described in terms of the recolliding particles \(i,j,k,\ell \), however in Proposition 6.2 the sets \(\mathcal {P}_2(a, p,\sigma )\) are not indexed by the recolliding particles but by the parents of these particles, i.e. by the degrees of freedom leading to these recollisions. Once the set \(\sigma \) of parents is fixed, all the recolliding particles are not necessarily prescribed. Indeed for parallel recollisions or recollisions in chain, the set \(\sigma \) could correspond only to parents of i in which case there is an extra combinatorial factor \(s^2\) for choosing the other two recolliding particles j, k.
Estimate of \(R_N^{K,>}\) (Super Exponential Trees with Multiple Recollisions)
Proposition 6.1 comes from a careful summation of all elementary contributions. We therefore need the following refinement of Proposition 3.9.
Proposition 6.3
We fix \(z_1 \in \mathbb {T}^2 \times B_R\), a label \(p\le p_0\) and a set \(\sigma \subset \{1, \dots , s\}\) of cardinal \(|\sigma |\le 5\). With the notation of Proposition 6.2, denoting \(\eta =s^2 t^r {\varepsilon }\), one has for \(t\ge 1\)
If we further specify that the last n collision times have to be in an interval of length \(h\le 1\) (this constraint is denoted by \(\mathcal {T}_{s-n+1, s}^h\)) then
Proof
The proof of Proposition 6.3 follows the same lines as the one of Proposition 3.9. The additional difficulty is to control the divergence in \(R^r\) in the estimate (6.1) on the recollisions. To do so, we decompose the total energy into blocks
Situations (i) and (ii) in Proposition 6.2 will be dealt with separately. We start with \(\mathcal {P}_2 (a,p, \sigma )\) for \(p >2\) which depends only on the configurations at time \(t_{\sigma _-}\) and on the parameters labelled by \(\sigma \). Using Proposition 2.5, the contribution of the trees after \(\sigma _-\) (without the labels in \(\sigma \)) is estimated as in (3.17)
Then for any \(R = 2^m\), we integrate with respect to the \(|\sigma | \) variables indexed by \(\sigma \) and get
with \({\hat{V}} = \{ v_i \quad i \le \sigma _- \ \text {and} \ i \in \sigma \}\). The main difference with the proof of Proposition 3.9 is that we use once again the Maxwellian tails to get
for some constant C depending only on r and \(\beta \). This controls the divergence in R arising in (6.7). An additional factor \(s^{| \sigma |}\) takes into account the choices a(i) for the labels i belonging to \(\sigma \). Finally the contribution of the collision trees before \(\sigma _-\) can be estimated by Proposition 2.5 loosing an additional \(\beta /6\) in the exponential weight.
The contribution of the sets \(\mathcal {P}_2( a,p,\sigma ) \) for \(p \le 2\) can be estimated with minor changes in the order of integration in order to decouple the contraints on both recollisions. First the combinatorics of the trees after \(\sigma _+\) is estimated, then the geometric constraint at \(\sigma _+\) is evaluated. Then the combinatorics of the trees up to \(\max (\sigma \setminus \{\sigma _+\})\), and the (independent) constraints to be \(\mathcal {P}_1(a,p,\sigma \setminus \{\sigma _+\})\) . Finally it remains to take into account the contribution of the rest of the labels. The large velocities are bounded also as in (6.8).
The final step is to integrate with respect to the remaining time variables. We only retain the condition for the times \((t_i)_{i \notin \sigma }\).
-
In the first case, we get a simplex of dimension \(s-1-|\sigma | \), the volume of which is
$$\begin{aligned} {t^{s-1-|\sigma |}\over (s-1-|\sigma |)!} \le C^{s} { t^{s-1-|\sigma |}\over s^{s-1-|\sigma |}} \,, \end{aligned}$$by Stirling’s formula.
-
In the second case, we have to add the condition that the last n times have to be in an interval of length \(h\le 1 \). The worst situation is when all times \((t_i)_{i\in \sigma }\) are in this small time interval, as we loose the corresponding smallness. More precisely, we get
$$\begin{aligned} {t^{s-1-n}\over (s-1-n)!}{h^{n-|\sigma |}\over (n-|\sigma |)!} \le C^{s} { t^{s-1-n} h^{n-|\sigma |} \over s^{s-1-|\sigma |}}. \end{aligned}$$
We thus conclude that for any R,
and
where all constants are independent of R. The factor \(s^{| \sigma |}\) comes from the summation over the possible choices of \(( a(i) )_{i \in \sigma }\). Finally, the result follows by summing over \(R= 2^m\). \(\square \)
Proof of Proposition 6.1
The occurrence of multiple recollisions in a collision tree of size s can be estimated by summing over all the possible \(\sigma \) and using Proposition 6.3
where the a priori \(L^\infty \)-bound (2.13) has been used. The factor \(s^{12}\) comes from the contribution \(s^2\) in the definition of \(\eta \), \(s^5\) in Proposition 6.3, and from the fact that there are at most \(O(s^5)\) choices for the elements of \(\sigma \).
Choosing \(n_k = 2^k n_0\), we then have, since \(\alpha ^2 t h \ll 1\),
and Proposition 6.1 follows with \(h \le {\gamma }/{\exp (C\alpha ^2) T^{3}}\) as soon as \(n_0\) is large enough. Note that this is the only argument in which \(n_0\) needs to be tuned. \(\square \)
Truncation of Large Velocities
In this section, we prove that collision trees with large velocities contribute very little to the iterated Duhamel series. As a consequence, the error term \(R_N^{K, vel}\) introduced in (2.28) vanishes. This holds also for the analogous term in the Boltzmann hierarchy
The contribution of the large energies can be estimated by the following result.
Proposition 7.1
There exists a constant \(C_0 \ge 0 \) such that for all \(t\in [0,T]\) and \(\alpha ^2 h T \ll 1\)
with the sequence \(n_k =2^kn_0\).
Proof
The remainders \(R_N^{K, vel}\) (2.28) and \({\bar{R}} ^{K, vel}\) are made of two contributions, the first one is an energy cut-off for the Duhamel series up to time 0 (with a number of collisions less than \(2^Kn_0\)) and the second one is a truncation at an intermediate time corresponding to a large number of collisions. We shall consider only the BBGKY hierarchy as \({\bar{R}} ^{K, vel}\) can be treated similarly.
For the Duhamel series up to time 0, we notice that for \(C_0\) large enough
Then using the fact that
together with Proposition 2.5, we get
From the maximum principle (2.15), we further deduce that for \(C_0\) large enough
so
as soon as \(\alpha h \ll 1\).
Recalling (3.19), since \(\alpha ^2 t h \ll 1\), we can sum the different contributions corresponding to a large number of collisions
Combining both estimates concludes the proof of Proposition 7.1. \(\square \)
End of the Proof of Theorem 1.2, and Open Problems
Proof of Theorem 1.2
In this section, we gather all the error estimates obtained in the previous section and conclude the proof of Theorem 1.2. Fix \(T>1\) and \(t \in [0,T]\).
We recall that due to (2.23) and (2.24) we have
and
Similarly
From Proposition 3.1, we know that the difference between the dominant parts is
This contribution will be small provided that the number of collisions is bounded by
Let us now gather the estimates for the remainders, under the assumption that
for some C large enough.
By Propositions 4.1 and 4.9, we have
By Proposition 5.1, the remainder for 1 recollision is bounded by
From Proposition 6.1, the remainder for multiple recollisions is bounded by
By Proposition 7.1 the remainders for large velocities satisfy, as soon as \(\alpha h \ll 1\),
which is small under (8.1), (8.2).
The convergence estimate (1.21) is then obtained by combining conditions (8.1) and (8.2)
This concludes the proof of Theorem 1.2. \(\square \)
Open Problems
In this final section, we collect some open problems related to those treated in this paper.
Finite range potentials.
We expect the same convergence results to hold if microscopic interactions are described by a repulsive compactly supported potential (instead of the singular hard-sphere interactions). The proof then involves truncated marginals and cluster estimates as in [8, 21]. With the present scaling, there is however a difficulty to control triple interactions, the size of which is critical (see the computations of Appendix B). Note that the case of a potential, non compactly supported, is rigorously analyzed for the first time in [2] in the linear case.
Higher dimensions.
We also expect the convergence results to extend to higher dimensions and it has been proven for short times in [30]. However, there are two important simplifications in dimension 2. The first one is due to the fact that the inverse partition function associated with the exclusion is bounded uniformly in N, as shown in (2.17); in particular this makes it possible to propagate somehow the initial form of the initial datum and to decompose the marginals of the solution in a quasi-orthogonal form; see Section . The second one is related to the control of recollisions: we have seen in this paper (namely in Section 6) that the probability of having pseudo-dynamics with multiple recollisions is \(O({\varepsilon })\), which balances exactly the O(N) size of the \(L^\infty \) norm of the solution, and that is not the case in higher dimension in the Boltzmann–Grad scaling since \({\varepsilon }\sim N^{\frac{1}{1-d}}\).
Spatial Domain.
The spatial domain we consider here is the torus \(\mathbb {T}^2\), which is equivalent to a rectangular box with specular reflection on the boundary. To extend the analysis to more general domains, we would need a geometric property of the free flow on these domains, stating roughly that the probability, in velocities, for two trajectories to approach at a distance \({\varepsilon }\) on a fixed time interval [0, T] is vanishing in the limit \({\varepsilon }\rightarrow 0\).
Dissipation.
The control on the higher order cumulants \(g_N^m\) is the key to improve the convergence time with respect to Lanford’s original argument. This estimate can be seen as playing the role of the dissipation on the limiting equation. We indeed have
to be compared to
for the limiting equation.
Stochastic corrections.
In [26], Spohn studied the stochastic fluctuations around the Boltzmann equation and computed the variance of the fluctuation field in a non-equilibrium state
where g is a smooth function and \(\langle \cdot \rangle \) stands for the mean. It would be of great interest to prove that the limiting field is Gaussian and to derive, even for short times, the fluctuating hydrodynamics.
References
Alexander, R.: The Infinite Hard Sphere System, Ph.D. dissertation, Dept. Mathematics, Univ. California, Berkeley (1975)
Ayi, N.: From Newton’s law to the linear Boltzmann equation without cut-off. Commun. Math. Phys. (accepted for publication)
Bardos, C., Golse, F., Levermore, C.D.: Fluid dynamic limits of kinetic equations II: convergence proofs for the Boltzmann equation. Commun. Pure Appl. Math. 46, 667–753 (1993)
Bodineau, T., Gallagher, I., Saint-Raymond, L.: The Brownian motion as the limit of a deterministic system of hard-spheres. Invent. Math. 203, 493–553 (2016)
Caflisch, R.E.: The fluid dynamic limit of the nonlinear Boltzmann equation. Commun. Pure Appl. Math. 33, 651–666 (1980)
Cercignani, C., Illner, R., Pulvirenti, M.: The Mathematical Theory of Dilute Gases. Springer, New York (1994)
DiPerna, R., Lions, P.-L.: On the Cauchy problem for Boltzmann equations: global existence and weak stability. Ann. Math. (2) 130(2), 321–366 (1989)
Gallagher, I., Saint-Raymond, L., Texier, B.: From Newton to Boltzmann : the case of hard-spheres and short-range potentials, ZLAM (2014)
Golse, F., Levermore, D.: The Stokes-Fourier and acoustic limits for the Boltzmann equation. Commun. Pure Appl. Math. 55, 336–393 (2002)
Golse, F., Saint-Raymond, L.: The incompressible Navier-Stokes limit of the Boltzmann equation for hard cutoff potentials. J. Math. Pures Appl. 91, 508–552 (2009)
Grad, H.: Principles of the kinetic theory of gases. In: Handbuch der Physik, Thermodynamik der Gase, vol. 12, pp. 205–294. Springer, Berlin (1958)
Guo, Y.: The Boltzmann equation in the whole space. Indiana Univ. Math. J. 53, 1081–1094 (2004)
Hewitt, E., Savage, L.: Symmetric measures on Cartesian products. Trans. Am. Math. Soc. 80, 470–501 (1955)
Hilbert, D.: Mathematical problems. Bull. Am. Math. Soc. 8(10), 437–479 (1902)
Hilbert, D.: Begründung der kinetischen Gastheorie. Math. Ann. 72, 562–577 (1912)
King, F.: BBGKY hierarchy for positive potentials. Ph.D. Dissertation, Dept. Mathematics, Univ. California, Berkeley (1975)
Lanford, O.E.: Time evolution of large classical systems. Lecture Notes in Physics, vol. 38, Moser, J. (ed), pp. 1–111, Springer, Berlin (1975)
Lebowitz, J.L., Percus, J.K., Sykes, J.: Time evolution of the total distribution function of a one-dimensional system of hard rods. Phys. Rev. 171(1), 224 (1968)
Liu, T.-P., Yu, S.-H.: Boltzmann equation: micro-macro decompositions and positivity of shock profiles. Commun. Math. Phys. 246, 133–179 (2004)
Perthame, B.: Introduction to the collision models in Boltzmann’s theory. In: Raviart, P.-A. (ed.) Modeling of Collisions. Masson, Paris (1997)
Pulvirenti, M., Saffirio, C., Simonella, S.: On the validity of the Boltzmann equation for short range potentials. Rev. Math. Phys. 26(2), 1450001 (2014)
Pulvirenti, M., Simonella, S.: The Boltzmann-Grad limit of a hard sphere system: analysis of the correlation error. Invent. Math. (2016). doi:10.1007/s00222-016-0682-4
Rezakhanlou, F.: Equilibrium fluctuations for the discrete Boltzmann equation. Duke Math. J. 93(2), 257–288 (1998)
Simonella, S.: Evolution of correlation functions in the hard sphere dynamics. J. Stat. Phys. 155(6), 1191–1221 (2014)
Spohn, H.: Boltzmann hierarchy and Boltzmann equation. In: Kinetic theories and the Boltzmann equation (Montecatini, 1981), pp. 207–220
Spohn, H.: Fluctuations around the Boltzman equation. J. Stat. Phys. 26(2), 285–305 (1981)
Spohn, H.: Large Scale Dynamics of Interacting Particles. Springer, Heidelberg (1991)
Uchiyama, K.: Derivation of the Boltzmann equation from particle dynamics. Hiroshima Math. J. 18(2), 245–297 (1988)
Ukai, S.: On the existence of global solutions of a mixed problem for the nonlinear Boltzman equation. Proc. Jpn. Acad. 50, 179–184 (1974)
van Beijeren, H., Lanford, O.E., Lebowitz, J., Spohn, H.: Equilibrium time correlation functions in the low-density limit. J. Stat. Phys. 22(2), 237–257 (1980)
Acknowledgements
We would like to thank Herbert Spohn and Sergio Simonella for their careful reading of our paper and very useful suggestions. T.B. thanks the grant ANR-15-CE40-0020-02.
Author information
Authors and Affiliations
Corresponding author
Appendices
Appendix A: The Linearized Boltzmann Equation and Its Fluid Limits
For the sake of completeness, we recall here some by now classical results about the linearized Boltzmann equation (1.14)
and its hydrodynamic limits as \(\alpha \rightarrow \infty \) (for \(q=0,1\)). The results below are valid in any dimension \(d \ge 2\), thus contrary to the rest of this article, we assume the space dimension to be d.
Because of the scaling invariance of the collision kernel, we shall actually restrict our attention in the sequel to the case where \(M_\beta \) is the reduced centered Gaussian, i.e. \(\beta = 1\) (and we omit the subscript \(\beta \) in the following). The collision operator (A.1) will be denoted by \(\mathcal {L}\).
A.1: The Functional Setting
The linearized Boltzmann operator \(\mathcal {L}\) has been studied extensively (since it governs small solutions of the nonlinear Boltzmann equation). In the case of non singular cross sections, its spectral structure was described by Grad [11]. The main result is that it satisfies the Fredholm alternative in a weighted \(L^2\) space. In the following we define the collision frequency
which satisfies, for some \(C>1\),
Proposition A.1
The linear collision operator \(\mathcal {L}\) defined by (A.1) is a nonnegative unbounded self-adjoint operator on \(L^2(Mdv)\) with domain
and nullspace
Moreover the following coercivity estimate holds: there exists \(C>0\) such that, for each g in \(\mathcal {D}(\mathcal {L})\cap ({\text {Ker}}(\mathcal {L}))^\perp \)
Sketch of proof
-
The first step consists in characterizing the nullspace of \(\mathcal {L}\). It must contain the collision invariants since the integrand in \( \mathcal {L}g\) vanishes identically if \(g(v) =1,v_1,v_2 , \dots ,v_d\) or \(|v|^2\). Conversely, from the identity,
$$\begin{aligned} \int \psi \mathcal {L}g Mdv= \frac{1}{4}\int (\psi +\psi _1-\psi '-\psi '_1)(g+g_1-g'-g'_1) \big ((v_{1}-v) \cdot \nu \big )_+Mdvdv_1d\nu \,, \end{aligned}$$
where we have used the classical notation
we deduce that, if g belongs to the nullspace of \(\mathcal {L}\), then
which entails that g is a linear combination of \(1,v_1\), \(v_2,\dots ,v_d\) and \(|v|^2\) (see for instance [20]).
Note that the same identity shows that \(\mathcal {L}\) is self-adjoint.
-
In order to establish the coercivity of the linearized collision operator \(\mathcal {L}\), the key step is then to introduce Hilbert’s decomposition [15], showing that \(\mathcal {L}\) is a compact perturbation of a multiplication operator :
$$\begin{aligned} \mathcal {L}g (v)=a(|v|)g(v)-\mathcal {K}g (v) \, . \end{aligned}$$
Proving that \(\mathcal {K}\) is a compact integral operator on \(L^2(Mdv)\) relies on intricate computations using Carleman’s parametrization of collisions (which we also use in this paper for the study of recollisions). We shall not perform them here (see [15]).
Because a is bounded from below, \(\mathcal {L}\) has a spectral gap, which provides the coercivity estimate. \(\square \)
Proposition A.1, along with classical results on maximal accretive operators, imply the following statement.
Proposition A.2
Let \(g_0 \in L^2(M dvdx)\). Then, for any fixed \(\alpha \), there exists a unique solution \(g_\alpha \in C(\mathbb {R}^+, L^2(Mdvdx))\cap C^1( \mathbb {R}^+_*, L^2(M dvdx)) \cap C( \mathbb {R}^+_*, L^2(M a dvdx)) \) to the linearized Boltzmann equation (A.1). It satisfies the scaled energy inequality
A.2: The Acoustic and Stokes Limit
The starting point for the study of hydrodynamic limits is the energy inequality (A.2). The uniform \(L^2\) bound on \((g_\alpha )\) implies that, up to extraction of a subsequence,
Let \(\Pi \) be the orthogonal projection on the kernel of \(\mathcal {L}\). The dissipation, together with the coercivity estimate in Proposition 1, further provides
from which we deduce that
If the Mach number \(\alpha ^q\) is of order 1, i.e. for \(q=0\), one obtains asymptotically the acoustic equations. Denoting by \(\langle \cdot \rangle \) the average with respect to the measure Mdv, we indeed have the following conservation laws
From (A.3) and (A.4) we then deduce that \((\rho , u , \theta )\) satisfy
By uniqueness of the limiting point, we get the convergence of the whole family \((g_\alpha )_{\alpha >0}\).
Since the limiting distribution g satisfies the energy equality
or equivalently
convergence is strong as soon as \(g_0 =\Pi g_0\). We thus have the following result (see [9] and references therein).
Proposition A.3
Let \(g_0\in L^2(Mdvdx)\). For all \(\alpha \), let \(g_\alpha \) be a solution to the scaled linearized Boltzmann equation (A.1) with \(q=0\). Then, as \(\alpha \rightarrow \infty \), \(g_\alpha \) converges weakly in \(L^2_{loc} (dt,L^2(Mdvdx))\) to the infinitesimal Maxwellian \(\displaystyle g=\rho +u\cdot v +\frac{1}{2} \theta (|v|^2-d)\) where \((\rho , u,\theta )\) is the solution of the acoustic equations (A.5) with initial datum \(\displaystyle (\langle g_0\rangle , \langle g_0 v\rangle , \langle g_0 \frac{1}{d}(|v|^2-d)\rangle )\).
The convergence holds strongly in \(L^\infty _t(L^2(Mdvdx))\) provided that \(g_0=\Pi g_0\).
In the diffusive regime, i.e. for \(q=1\), the moment equations state
From (A.3) and (A.4) we deduce that
referred to as incompressibility and Boussinesq constraints.
To characterize the mean motion, we then have to filter acoustic waves, i.e. to project on the kernel of the acoustic operator
where P is the Leray projection on divergence free vector fields. Define the kinetic momentum flux \(\displaystyle \Phi (v) = v\otimes v-\frac{1}{d} |v|^2 Id\) and the kinetic energy flux \(\displaystyle \Psi (v) = \frac{1}{d+2} v(|v|^2-d-2)\). As \(\Phi , \Psi \) belong to \( ({\text {Ker}}\mathcal {L})^\perp \), and \(\mathcal {L}\) is a Fredholm operator, there exist pseudo-inverses \({\tilde{\Phi }}, {\tilde{\Psi }} \in ({\text {Ker}}\mathcal {L})^\perp \) such that \(\Phi = \mathcal {L}{\tilde{\Phi }}\) and \(\Psi = \mathcal {L}{\tilde{\Psi }}\). Then,
Using the equation
the Ansatz (A.4), and taking limits in the sense of distributions, we get
These are exactly the Stokes–Fourier equations with
As previously, the limit is unique and the convergence is strong provided that the initial datum is well-prepared, i.e. if
One can therefore prove the following result.
Proposition A.4
Let \(g_0\in L^2(Mdvdx)\). For all \(\alpha \), let \(g_\alpha \) be a solution to the scaled linearized Boltzmann equation (A.1) with \(q=1\). Then, as \(\alpha \rightarrow \infty \), \(g_\alpha \) converges weakly in \(L^2_{loc} (dt,L^2(Mdvdx))\) to the infinitesimal Maxwellian \(\displaystyle g=u\cdot v +\frac{1}{2} \theta (|v|^2-(d+2) )\) where \(( u,\theta )\) is the solution of (A.6) with initial datum \((P \langle g_0 v\rangle , \langle g_0 ({|v|^2 \over d+2} - 1 )\rangle )\).
The convergence holds in \(L^\infty _t(L^2(Mdvdx))\) provided that the initial datum is well-prepared in the sense of (A.7).
Remark A.5
In both cases, the defect of strong convergence for ill-prepared initial data can be described precisely.
If the initial profile in v is not an infinitesimal Maxwellian, i.e. if \(g_0\ne \Pi g_0\), one has a relaxation layer of size \(\alpha ^{-(1+q)}\) governed essentially by the homogeneous equation
In the incompressible regime \(q=1\), if the initial moments do not satisfy the incompressibility and Boussinesq constraints, one has to superpose a fast oscillating component (with a time scale \(\alpha ^{-1}\)). For each eigenmode of the acoustic operator, the slow evolution is given by a diffusive equation.
A straightforward energy estimate then shows that the asymptotic behavior of \(g_\alpha \) is well described by the sum of these three contributions (main motion, relaxation layer and acoustic waves in incompressible regime).
Appendix B: Geometrical Lemmas
In this appendix, we prove several technical lemmas (namely Lemmas B.1, B.2, B.3 and B.4) which were key steps in Sections 3 and 6 in proving Propositions 3.5 and 6.2.
In the following we adopt the notation of those sections.
B.1: A Preliminary Estimate
Recall Equation (3.9) which is associated to the recollision of particles i, j
with the notations (3.8)
where
The distance between particles i, j at the collision time \(t_{1^*}\) is given by
The distance between the particles varies with the collision time \(t_{1^*}\) and the closer they are, the easier it is to aim (at the collision time \(t_{1^*}\)) to create a recollision at the later time \(t_{rec}\). The key idea is that for relative velocities \({\bar{v}}_{i} - v_{j} \not = 0\), the particles will never remain close for a long time so that integrating over \(t_{1^*}\) allows us to recover some smallness uniformly over the initial positions at time \(t_{2^*}\).
Suppose \(|\tau _1| |{\bar{v}}_i - v_j| \le M\). Since \(v_{1^*}\) is in a ball of size R, and \(\nu _{1^*}\) belongs to \({{\mathbb {S}}}\), we have
For later purposes, it will be useful to evaluate the integral (B.3) in terms of the integration parameter \(t_{1^*}\): we get by the change of variable \(\tau _1 = ( t_{1^*} - t_{2^*} - \lambda )/{\varepsilon }\)
The singularity in \(|{\bar{v}}_i-v_j|\) translates the fact that the distance between the particles may remain small during a long time if their relative velocity is small. This singularity can then be integrated out, up to a loss of a \(|\log {\varepsilon }|\), using an additional parent of i or j thanks to (C.4) in Lemma C.2: we obtain
To get rid of the logarithmic loss, one may use two extra degrees of freedom associated with the parents \(2^*, 3^*\) of i or j: from (C.5) and (C.8), we obtain the upper bound
Note that in the case when i and j are colliding at time \(t_{2^*}\), Lemma C.1 shows that only two integrations are necessary.
B.2: A Recollision with a Constraint on the Outgoing Velocity
The following lemma deals with the cost of the first recollision when one of the outgoing velocities is constrained to lie in a given ball. More precisely, if the first recollision occurs between particles i, j, and k is a given label, we will impose that (see Figure 8)
Lemma B.1
Fix a final configuration of bounded energy \(z_1 \in \mathbb {T}^2 \times B_R\) with \(1 \le R^2 \le C_0 |\log {\varepsilon }|\), a time \(1\le t \le C_0|\log {\varepsilon }|\) and a collision tree \(a \in \mathcal {A}_s\) with \(s \ge 2\).
There exist sets of bad parameters \(\mathcal {P}_2 (a, p,\sigma )\subset \mathcal {T}_{2,s} \times {{\mathbb {S}}}^{s-1} \times \mathbb {R}^{2(s-1)}\) for \(4 \le p \le p_1\) (for some integer \(p_1\)) and \(\sigma \subset \{2,\dots , s\}\) of cardinal \(|\sigma |\le 4\) such that
-
\(\mathcal {P}_2 (a, p,\sigma )\) is parametrized only in terms of \(( t_m, v_m, \nu _m)\) for \(m \in \sigma \) and \(m < \min \sigma \);
$$\begin{aligned} \int \mathbf{1}_{\mathcal {P}_2 (a,p,\sigma ) } \displaystyle \prod _{m\in \sigma } \, \big | \big (v_{m}-v_{a(m)} ( t_{{m}} ) )\cdot \nu _{{m}} \big | d t_{{m}} d \nu _{{m}}dv_{{m}} \le C(Rt)^r s^2 {\varepsilon }\,, \end{aligned}$$(B.7)for some constant r,
-
and any pseudo-trajectory starting from \(z_1\) at t, with total energy bounded by \(R^2\) and such that the first recollision produces a small relative velocity as in (B.6) is parametrized by
$$\begin{aligned} (t_n, \nu _n, v_n)_{2\le n\le s }\in \bigcup _{4 \le p \le p_1} \bigcup _\sigma \mathcal {P}_2(a, p,\sigma )\,. \end{aligned}$$
Before launching into the details of the proof, we first give the gist of it. Since the first recollision occurs between i, j, we get a constraint as in (B.1) on the velocity
meaning that \(v_i\) belongs to a rectangle of width \( \frac{R}{|\tau _1| |{\bar{v}}_{i} - v_{j}|}\) thanks to (3.10), which after integration over two parents leads to estimate of the type \({\varepsilon }| \log {\varepsilon }|^3\) (see Lemma 3.7). Imposing an extra condition on the velocity \(v'_i\) after the first recollision means that the recollision angle \(\nu _{rec}\) can take values only in a small set. Thus the constraint above will be stronger and \(v_i\) has to take values in a reduced set, much thinner than the rectangle considered in Lemma 3.7. The core of the proof of Lemma B.1 is to identify this reduced set and to show that after integrating over some parents its measure is less than \(O({\varepsilon })\): here and in the following, we do not try to keep track of the powers of R and t coming up in the estimates.
Proof
Throughout the proof, we suppose that the parameters associated with the first recollision between i, j satisfy
Otherwise, the estimate (B.5) applied with \(M = R^{4 \over 4 - 5 \gamma }\) leads to a suitable upper bound of order \({\varepsilon }\). As a consequence of (B.8), we deduce that \(| \tau _1|\) is large enough
After the first recollision, \(v'_i\) is given by one of the following formulas
Note that the second choice is the value \(v_j'\) and we use this abuse of notation to describe the case when \(|v'_j - v_k| \le {\varepsilon }^{3/4}\).
We expect the condition (B.6) to impose a strong constraint on the recollision angle \(\nu _{rec}\). We indeed find from (B.10) that this condition implies
We consider now three different cases according to the label k. Each different case listed below will be associated with scenarios, labelled by some p which will take values in \(4, \dots , p_1\) for some \(p_1\) we shall not attempt to compute.
\(\underline{\text {Case} \, k\ne j \text {and} \, k\ne 1^*}\)
-
If \(| v_j-v_k |> {\varepsilon }^{5/8} \gg {\varepsilon }^{3/4}\), we deduce from the constraint (B.11) that the recollision angle is in a small angular sector
$$\begin{aligned} \nu _{rec} =\pm {(v_j - v_k)^\perp \over |v_k - v_j|} + O( {\varepsilon }^{1/8}) \quad \hbox { or }\quad \nu _{rec} =\pm { v_k - v_j \over |v_k - v_j |} + O( {\varepsilon }^{1/8}) \,.\qquad \end{aligned}$$(B.12)
Plugging this Ansatz in (B.1), we get
denoting by \(\mathcal {R}_\theta \) the rotation of angle \(\theta \) and \(n' = 0,1,2,3\) depending on the identity in (B.12). This implies that \(v_i - v_{j} \) lies in a finite union of thin rectangles of size \(2R \times 4R{\varepsilon }^{1/8} \min \left( 1,\frac{1}{|\tau _1||{\bar{v}}_i-v_j|} \right) \), recalling again (3.10). We thus conclude by integrating in \((t_{1^*}, v_{1^*}, \nu _{1^*})\) and \((t_{2^*}, v_{2^*}, \nu _{2^*})\), exactly as in the proof of Proposition 3.5, that these configurations are encoded in a set \(\mathcal {P}_2(a,p, \sigma )\) (with \(|\sigma |\le 2\)) of size \(O( R^7 s t^3 {\varepsilon }^{9/8} |\log {\varepsilon }|^3)\). \(\square \)
-
If \(|v_j-v_k| \le {\varepsilon }^{5/8}\), we forget about all other constraints: we conclude by combining (C.3)–(C.4), as in the case 1.2(c) in Section 6.2, that these pseudodynamics are encoded in a set \(\mathcal {P}_2(a,p,\sigma )\) (with \(|\sigma |\le 2\)) of size \(O( R^5 s t^2 {\varepsilon }^{5/4} |\log {\varepsilon }|)\).
\(\underline{\text {Case} \,k= j}\)
If \(k= j\), then \(|v_k - v_i' |=| v_j'- v_i'| = |v_i- v_j| \le {\varepsilon }^{3/4}\), and we conclude exactly as in the previous case by combining (C.3)–(C.4), that these pseudodynamics are encoded in a set \(\mathcal {P}_2(a,p,\sigma )\) (with \(|\sigma |\le 2\)) of size \(O( R^5 s t^2 {\varepsilon }^{3/2} |\log {\varepsilon }|)\).
\(\underline{\text {Case}\, k= 1^*}\)
This is the most delicate case as \(v_i'\) and \(v_k\) are linked through the same collision. We stress the fact that the label i refers to a pseudo particle, thus many cases have to be considered (see Figure ).
We start by the case depicted in Figure (i). Denote by \(v_k = V'_* \) the velocity of particle \(1^*\) after collision at \(t_{1^*}^-\). The constraint (B.6) that \(|v_k - v'_i| \le {\varepsilon }^{3/4}\) or that \(|v_k - v'_j| \le {\varepsilon }^{3/4}\) implies that one of the following identities then holds
and we further have that \(|v_i - v_k| = | {\bar{v}}_i - v_{1^*}|\).
If \(|{\bar{v}}_i - v_{1^*}|\le {\varepsilon }^{5/8}\), then \(v_{1^*}\) has to be in a ball of radius \({\varepsilon }^{5/8}\) so we find a bound \(O(R{\varepsilon }^{5/4}t )\) on integration over \(1^*\).
If \(|{\bar{v}}_i - v_{1^*}|\ge {\varepsilon }^{5/8}\), then
Plugging this Ansatz in (B.1), we get
with \(n\in \{0,1,2,3\}\). Compared with the formulas of the same type encountered in the proof of Proposition 3.5, this one has the additional difficulty that the “unknown” \(v_i \) is on both sides of the equation. Furthermore the direction of \(v_k -v_i\) may have very fast variations when \(|v_k - v_i| = |v_{1^*} - {\bar{v}}_i|\) is small. To take this into account, we will consider different cases.
Using the notation (B.2), we define
By construction
where the latter inequality follows from (B.13). Recall that we can restrict to values such that \(|w| \ge | ({\bar{v}}_{i} - v_{j}) \tau _1| \ge R^{4 \over 4 - 5 \gamma }\) due to (B.8). With these new variables, the condition (B.13) may be rewritten
where the error term
has been estimated thanks to (B.14).
The other cases depicted in Figure obey the same equation (see (B.16) for \((ii \; a)\) and (B.26) for \((ii \; b)\)). We will analyze the solutions of this equation for all cases of Figure .
\(\blacktriangleright \) The easiest case is \((ii\, a)\) when the collision at \(t_{1^*}\) has no scattering, i.e. \(v_i = v_{1^*}\) and \(v_k = {\bar{v}}_i\). We split the analysis into two more subcases.
-
If \(| v_{1^*} - {\bar{v}}_i | \ge {1\over |w|^\gamma }\), the condition (B.15) reads
$$\begin{aligned} v_{1^*} - {\bar{v}}_i = v_j-{\bar{v}}_i +u {w\over |w|} - {u\over |w|} \mathcal {R}_{n \frac{\pi }{2} } { v_{1^*} - {\bar{v}}_i\over | v_{1^*} - {\bar{v}}_i|} + O \Big ( F ( |{\bar{v}}_{i} - v_{j}|, \tau _1, {\varepsilon }) \Big ) \,,\nonumber \\ \end{aligned}$$(B.16)
with \(n \in \{ 0,1,2,3 \}\). To analyse this equation, we implement a fixed point method and consider \(u \in [-4R,4R]\) as a parameter, forgetting its dependency on \(\tau _{rec}\) (i.e. on \(v_i\)). Due to the assumption that \(| v_{1^*} - {\bar{v}}_i | \ge {1/ |w|^\gamma }\), this imposes a constraint on u since one needs to ensure that \(| v_j-{\bar{v}}_i +u {w\over |w|} | \ge c/ |w|^\gamma \). Depending on the angle between \( v_j-{\bar{v}}_i \) and w and depending on the size of \(|v_j-{\bar{v}}_i|\), this implies that u should belong to one or two intervals in \(u \in [-4R,4R]\). Given u in one of those admissible intervals, we first look for a solution of the equation without the error term. The mapping
is Lipschitz continuous with constant \( |w|^\gamma \). We deduce by a fixed point argument that, for any admissible u
has a unique solution \({\hat{v}}_{1^*}(u)\) (which is clearly Lipschitz in u). Thus for a given u, any solution of (B.16) satisfies
Note that among the solutions \(v_{1^*}\) of (B.16), we are looking only for the solutions which are compatible with the constraint \(u = |w|/\tau _{rec}\) where \(\tau _{rec}\) is a function of \(v_{1^*}\). In particular \({\hat{v}}_{1^*}(u)\) will not correspond to a velocity compatible with this constraint. Nevertheless it is enough use the bound (B.18) as a sufficient condition and to retain only the information that \(v_{1^*}\) has to belong to a tube \(T( \delta x_\perp , v_j - {\bar{v}}_i , q,\tau _1)\) located around the curve \(u \rightarrow {\hat{v}}_{1^*}(u)\) with \(|u| \le 4 R\) and of width \(O \big ( F ( |{\bar{v}}_{i} - v_{j}|, \tau _1, {\varepsilon }) \big )\). Integrating first with respect to the collision with \(1^*\), we get
where we replaced \(F ( |{\bar{v}}_{i} - v_{j}|, \tau _1, {\varepsilon })\) by its value. Next we integrate with respect to \(|\tau _1| \) in the set \( [R, \frac{T R}{{\varepsilon }}]\) (see (B.9)) and we get after a change of variable in \(t_1^*\)
It remains then to integrate the singularity \( |v_j-{\bar{v}}_i|\). As the first recollision involves i, j, there exists always an additional parent of (i, j) to provide a degree of freedom. Thus after integration, the singularity \( |v_j-{\bar{v}}_i|\) can be controlled up to a loss \(O(|\log {\varepsilon }|)\) by application of Lemma C.2 (see also page 24). This situation will be referred to as a new scenario \(\mathcal {P}_2(a,p,\sigma )\) for some p, and \(|\sigma | \le 2\). Summing over all possible q and all possible j provides the estimate
-
If \(| v_{1^*} - {\bar{v}}_i | \le {1\over |w|^\gamma }\), then
$$\begin{aligned} \int \mathbf{1}_{ \{ | v_{1^*} - {\bar{v}}_i |\le \frac{1}{|w|^\gamma } \}} \,b(\nu _{1 ^*},v_{1 ^*}) \, dv _{1^*} d\nu _{1^*} \le {C R \over |w|^{2 \gamma }} \le {C R \over \tau _1^{2 \gamma } |v_j-{\bar{v}}_i|^{2 \gamma }}, \end{aligned}$$
by (B.14). By (B.9), we know that \(| \tau _1| \ge R^2\), thus the singularity is integrable in \(\tau _1\). Changing to the variable \(t_{1^*}\) by using (B.2), we find that
It remains then to integrate the singularity \( |v_j-{\bar{v}}_i|^{- 2 \gamma }\), which can be done with two additional parents of (i, j) since \(\gamma <1\) (see Lemma C.2). This situation will be referred to as a new scenario \(\mathcal {P}_2(a,p,\sigma )\) for some p, and \(|\sigma | \le 3\). We have
\(\blacktriangleright \) If there is scattering at time \(t_{1^*}\) of the type (i) such that the velocities are given by \(v_i = V'\) and \(v_k = v'_{1^*} = V'_*\), with the notation in (C.9), then we consider two cases depending as above on the size of \(| v_i - {\bar{v}}_i |\) compared to \( |w|^{-\gamma } \).
-
If \(| v_i - {\bar{v}}_i | = | V' - {\bar{v}}_i | \ge {1/ |w|^\gamma }\), then Identity (B.15) leads to
$$\begin{aligned} V' - {\bar{v}}_i= & {} v_j-{\bar{v}}_i +u {w\over |w|} - {u\over |w|} \mathcal {R}_{n \frac{\pi }{2} } { V'- V'_*\over | V'-V'_*|} \nonumber \\&+ O \Big ( F ( |{\bar{v}}_{i} - v_{j}|, \tau _1, {\varepsilon }) \Big ) \,. \end{aligned}$$(B.22)
We will use Carleman’s parametrization and denote \(\mu = | V'_* - {\bar{v}}_i|\) (see Figure 10). For a given \(V'_*\), we have to compute the regularity of the map which associates to \(V'\) the direction of \(V'- V'_*\). From the mapping \(V' \rightarrow \Theta (V')\) defined in (B.17), we first determine the direction of \(V'- {\bar{v}}_i\) and then rotate this direction by \(\theta \) to get
If \(\mu > {1 \over |w|^{\gamma /4 } }\), the mapping \(V' \rightarrow \mathcal {R}_\theta [\Theta (V')]\) is continuous with Lipschitz constant less than
As \(\gamma < \frac{4}{5}\) and \(|w| \ge R^{4 \over 4 - 5 \gamma }\) (B.8), we deduce by a fixed point argument that, for any \(u\le 4R\)
has a unique solution \({\hat{V}}' (u)\) (which is Lipschitz in u). Thus for a given u, any solution of (B.22) satisfies
In other words, \(V'\) has to belong to a tube \(T( \delta x_\perp , v_j - {\bar{v}}_i , q,\tau _1)\) of width \( O \Big ( F ( |{\bar{v}}_{i} - v_{j}|, \tau _1, {\varepsilon }) \Big )\) around the curve \(u \rightarrow {\hat{V}}' (u)\). By Carleman’s parametrization, we can then integrate over \(d V' d\mu \) and get an estimate of the form (B.19) when replacing F by its value
Integrating then over \(\tau _1\) leads to an upper bound analogous to (B.20)
We then conclude by integrating as usual the singularity \(1/ |v_j-{\bar{v}}_i|\) thanks to Lemma C.2. This provides a new scenario \(\mathcal {P}_2(a,p,\sigma ) \) for some p and \(|\sigma | \le 2\).
If \(\mu < {1\over |w|^{\gamma /4} }\), we only use the condition (B.1) which reads in this case
As a consequence, \(V'\) has to be in the rectangle \(\mathcal {R}( \delta x_\perp , {\bar{v}}_i-v_j, q,\tau _1)\) of size \( R \times { 4 R \over |\tau _1| \, |v_j-{\bar{v}}_i| }\). Together with the condition on \(\mu \), this leads to
Since \( 1 + \frac{\gamma }{4} >1\), we can integrate with respect to \(t_{1^*}\) and gain a factor \({\varepsilon }\). It remains then to integrate the singularity \( |v_j-{\bar{v}}_i|^{-(1+\gamma /4)}\). Since \(1+\frac{\gamma }{4} < 2\), this can be done by using (C.6) and (C.7) with two additional parents of (i, j). This provides another contribution to \(\mathcal {P}_2(a,p,\sigma ) \) with \(|\sigma | \le 3\).
-
If \(| V' - {\bar{v}}_i | \le {1\over |w|^\gamma }\). This can be dealt as in the case (B.21).
\(\blacktriangleright \) If there is scattering at time \(t_{1^*}\) of type \((ii \; b)\) such that the velocities are given by \(v_i = V'\) and \(v'_{1^*} = V'_*\) with the notation in (C.9), then as above we separate the analysis into two sub-cases, depending on the relative size of \(| v_i - {\bar{v}}_i |\) and \( |w|^{-\gamma } \).
-
Suppose that \(| V'_* - {\bar{v}}_i | \ge {1\over |w|^\gamma }\). The analogue of identity (B.15) reads
$$\begin{aligned} V' _*- {\bar{v}}_i = v_j-{\bar{v}}_i +u {w\over |w|} - {u\over |w|} \mathcal {R}_{n \frac{\pi }{2} } { V'- V'_*\over | V'-V'_*|} + O \Big ( F ( |{\bar{v}}_{i} - v_{j}|, \tau _1, {\varepsilon }) \Big ),\nonumber \\ \end{aligned}$$(B.26)
with \(n \in \{ 0,1,2,3 \}\). Denote by \(\lambda = | V' - {\bar{v}}_i|\) and consider two cases.
If \(\lambda > {1\over |w|^{\gamma /4} }\), we proceed as in (B.23) and recover the direction of \(V'- V'_*\) by
Given \(\lambda > {1 \over |w|^{\gamma /4} }\), the map \(V'_* \rightarrow \mathcal {R}_{\theta '} [\Theta (V'_*)] \) has a Lipschitz constant \( |w|^{5 \gamma /4}\) as \(| V'_* - {\bar{v}}_i | \ge {1\over |w|^\gamma }\) (see (B.24)). Since \(\gamma < \frac{4}{5}\), we deduce by a fixed point argument that, for any \(u\le 4R\)
has a unique solution \({\hat{V}}'_*(u)\) (which is Lipschitz in u) and that any solution of (B.26) takes values close to this solution
In other words, \(V'_*\) has to belong to a tube \(T( \delta x_\perp , v_j- {\bar{v}}_i, q,\tau _1)\) of size \(\delta = O \Big ( F ( |{\bar{v}}_{i} - v_{j}|, \tau _1, {\varepsilon }) \Big )\) around the smooth curve \(u \rightarrow {\hat{V}}'_*(u)\) which stretches in the direction \({w \over |w|}\). Mimicking the proof of (C.10), we can decompose the tube \(T( \delta x_\perp , v_j- {\bar{v}}_i, q,\tau _1)\) into small blocks of side length \(\delta \). Summing over these blocks, we recover that the measure of \(\{ V'_* \in T( \delta x_\perp , v_j- {\bar{v}}_i, q,\tau _1)\}\) is less than
Integrating with respect to \(t_{1^*}\) and then integrating the singularity \(|{\bar{v}}_i - v_j|\), we get a contribution of order \(R^3 {\varepsilon }^{1/8} |\log {\varepsilon }|^2\) which controls the occurence of a new scenario \(\mathcal {P}_2 (a,p,\sigma )\).
If \(\lambda < {1 \over |w|^{\gamma /4} }\), we only use the condition (B.1) which implies that \(V'_*\) has to be in the rectangle \(\mathcal {R}( \delta x_\perp , v_j - {\bar{v}}_i, q,\tau _1)\) of size \( R \times \frac{4R}{|w|}\). With the notation of Figure 10, Carleman’s parametrization \((V',V_*')\) can be evaluated in terms of the measure \(\lambda d \lambda \, d \psi d\mu \). Thus we get
together with the condition on \(\lambda \) which is independent
As a consequence
It remains then to integrate the singularity \( |v_j-{\bar{v}}_i|^{-(1+\gamma /2)}\), which can be done by using (C.6) and (C.7) with two additional parents of (i, j). This leads to another scenario to \(\mathcal {P}_2(a,p,\sigma ) \) for some p.
-
Suppose that \(| V'_* - {\bar{v}}_i | \le {1\over |w|^\gamma }\). By integration with respect to \(b(\nu _{1 ^*},v_{1 ^*}) \, dv _{1^*} d\nu _{1 ^*}\), we will gain only one power of \(|w|^{-\gamma }\) due to the scattering (see Lemma C.2). This is not integrable with respect to time \(\tau _1\) and we have therefore to use also the fact that there is a recollision between (i, j) to regain some control. Because i has only a very small deflection at time \(t_{1^*}\), this implies that a “kind of recollision” has to be triggered already before the collision with \(1^*\), i.e. at time \(t_{2^*}\).
Denote by \((y_i, u_i)\) and \((y_j,u_j)\) the positions and velocities of the pseudo-particles i and j at time \(t_{3^*}\) (see Figure 11) and set
We define also
By analogy with Eq. (B.1), we get
where the additional term comes from the small deflection at time \(t_1^*\). By assumption, this term is less or equal than \(|w|^{-\gamma }\). As previously, we have that
as it is enough to consider \( |\tau _2| |u_{i} - u_{j}| \gg 1\) (see (B.5)). Thus we get
In the remaining of the proof, we fix the parameter \(\gamma \) and a new parameter \(\alpha \) as follows
and consider two cases according to large and small values of \(\tau _1\).
-
If \( |\tau _1| \ge {1 \over |{\bar{v}}_i - v_j|^{\gamma /(\gamma -\alpha )}}\), then we get a control on the size of \(1/ |w|^\gamma \)
as \(|w| \ge |\tau _1| |{\bar{v}}_i - v_j|\) from (B.14).
Equation (B.28), imposes the condition that, at time \(t_{2^*}\), \({\bar{v}}_i - v_j\) has to be in a domain which is a kind of rectangle \(\mathcal {K}\) with axis \(\delta y _\perp - \tau _2 ( u_{i} - u_{j})\) and varying width
Recall from (B.9) that \(|\tau _1|\ge R\). Combined with the condition \(| V'_* - {\bar{v}}_i | \le {1\over |w|^\gamma }\) at time \(t_{1^*}\), we get thanks to Lemma C.2
At this stage, one has to be careful as \(\tau _1\) was defined in (B.2) by
thus \(|\tau _1| \) depends on \({\bar{v}}_{i} - v_{j}\), i.e. also on \(v_{2^*}\). In order to simplify the dependency between the variables \(v_{2^*}\) and \(t_1\), we replace \(t_{1^*}\) with the variable \(\tau _1\). This boils down to integrating with respect to \({\varepsilon }d\tau _1\). The geometric structure implies that \(\tau _1\) takes now values in a complicated domain which we will estimate from above by keeping only the constraint \( |\tau _1| \in [ R, \frac{R^2}{{\varepsilon }}]\). This decouples the variables in the integral and we finally get
The first term is integrable in \(|\tau _1|\ge R\) as \(2 \alpha >1\). The second term can be integrated first with respect to \(R \le |\tau _1| \le \frac{R^2}{{\varepsilon }}\) which provides a factor \({\varepsilon }^\alpha \), then with respect to \(t_{2^*}\) which provides an additional \({\varepsilon }| \log {\varepsilon }|\). The singularity with respect to small relative velocities can be controlled by two additional integrations. Thus the second term leads to an upper bound less than \({\varepsilon }\) and the corresponding scenarios are indexed by sets \(\sigma \) with cardinal 4.
-
If \(|\tau _1| \le {1 \over |{\bar{v}}_i - v_j|^{\gamma /(\gamma -\alpha )}}\), then we can forget about (B.28). We indeed have that
As \(\frac{ \gamma (1-\alpha )}{\gamma -\alpha } <2\), the singularity at small relative velocities is integrable by using Lemma C.2. Thus the change of variable to \(t_{1^*}\) allows us to recover an upper bound of order \({\varepsilon }\).
Throughout the proof, the bad sets were analyzed in terms of the recolliding particles, thus we have to reindex these sets in terms of the labels \(\sigma \) of the parents. A similar procedure has been done already at the end of the proof of Proposition 3.5. Given a set \(\sigma \) of parents, it may only determine the particle i, so that an extra factor \(s^2\) has to be added in (B.7) to take into account the choice of j, k. \(\square \)
B.3: Parallel Recollisions
The following result was used in Section 6.2.2 page 50 to deal with parallel recollisions when \(t_{1^* } = t_{{\tilde{1}}}\). The setting is recalled in Figure 12.
Lemma B.2
Fix a final configuration of bounded energy \(z_1 \in \mathbb {T}^2 \times B_R\) with \(1 \le R^2 \le C_0 |\log {\varepsilon }|\), a time \(1\le t \le C_0|\log {\varepsilon }|\) and a collision tree \(a \in \mathcal {A}_s\) with \(s \ge 2\).
There exist sets of bad parameters \(\mathcal {P}_2 (a, p,\sigma )\subset \mathcal {T}_{2,s} \times {{\mathbb {S}}}^{s-1} \times \mathbb {R}^{2(s-1)}\) for \(p_1 < p\le p_2\) and \(\sigma \subset \{2,\dots , s\}\) of cardinal \(|\sigma |\le 5\) such that
-
\(\mathcal {P}_2 (a, p,\sigma )\) is parametrized only in terms of \(( t_m, v_m, \nu _m)\) for \(m \in \sigma \) and \(m < \min \sigma \);
$$\begin{aligned} \int \mathbf{1}_{\mathcal {P}_2 (a,p,\sigma ) } \displaystyle \prod _{m\in \sigma } \, \big | \big (v_{m}-v_{a(m)} ( t_{{m}} ) )\cdot \nu _{{m}} \big | d t_{{m}} d \nu _{{m}}dv_{{m}} \le C(Rt)^r s^2 {\varepsilon }\,,\qquad \end{aligned}$$(B.31)for some constant \(r \ge 1\),
-
and any pseudo-trajectory starting from \(z_1\) at t, with total energy bounded by \(R^2\) and such that the first two recollisions involve two disjoint pairs of particles having the same first parent is parametrized by
$$\begin{aligned} (t_n, \nu _n, v_n)_{2\le n\le s }\in \bigcup _{p_1 < p\le p_2} \bigcup _\sigma \mathcal {P}_2(a, p,\sigma )\,. \end{aligned}$$
Proof
As in the previous section, we suppose from now on that the parameters associated with the first recollision are such that \(|\tau _1| |{\bar{v}}_i - v_j| \ge R\). Otherwise, the estimate (B.5) applied with \(M = R\) leads to the expected upper bound.
In the following, the parents of i, j will be denoted by the superscript \(\ ^*\) and those of \(k, \ell \) by the superscript \(\tilde{\ }\). Denote by \(t_* := \min (t_{2^*}, t_{{\tilde{2}}})\) the first time (before \(t_{1^*}\)) when one of the particles i, j or k has been deviated. Without loss of generality (up to exchanging j and k), we can assume that i and k are not colliding together at time \(t_*\).
We describe the recollision between (i, j) by the identity
with q an element in \(\mathbb {Z}^2\) which we fix from now on (in the end the estimates will be multiplied by \(R^2t^2\) to take this fact into account). Similarly the recollision between \((k,\ell )\) can be written
with \({\tilde{q}}\) an element in \(\mathbb {Z}^2\) which again we fix from now on, up to mutiplying again the estimates by \(R^2t^2\) at the end.
We introduce the notation
Equation (B.32) implies that \(v_i - v_j\) lies in a rectangle \(\mathcal {R}_1\) of main axis \(x_{i,j}(t_{1^*})\), and of size \(CR\times ( R{\varepsilon }/|x_{i,j}(t_{1^*})| )\). We recall that an integration of this constraint in the collision parameters of particle \(1^*\) gives a bound of the type \(\min (1, {\varepsilon }|\log {\varepsilon }|^2 / |{\bar{v}}_i - v_j|)\). On the other hand, Equation (B.33) implies that \(v_\ell - v_k\) lies in a rectangle \(\mathcal {R}_2\) of main axis \({\tilde{x}}_{i,k}(t_{1^*})\) and of size \(CR\times (R{\varepsilon }/ |{\tilde{x}}_{i,k}(t_{1^*})|)\).
Let us give the main ideas of the argument. We can rewrite these conditions with Carleman’s parametrization (C.9), with either \((v_i,v_\ell ) = (V', V'_*)\) or \((v_i, v_\ell ) = (V'_*, V')\). We will actually focus on the second situation which is the worst one. We will use the parametrization in polar coordinates as in Figure 10.
The first condition states that \(V'_*\) lies in a small rectangle of size \(CR\times (R{\varepsilon }/|x_{i,j}(t_{1^*})| )\), which we shall eventually integrate with the measure \(d\mu d \psi \). We can show that this integral provides a contribution \((R{\varepsilon }/|x_{i,j}(t_{1^*})| )(1+ |\log ({\varepsilon }/|x_{i,j}(t_{1^*})| ) |)\).
The second condition tells us that \(V'\) has to be in the intersection of the line orthogonal to \((V'_*-{\bar{v}}_i)\) passing through \({\bar{v}}_i\) and the rectangle \(v_k +\mathcal {R}_2\). We have therefore to evaluate the length of this intersection which appears when we integrate with respect to \(\lambda d\lambda \). \(\square \)
Denote by u the distance from \({\bar{v}}_i\) to the rectangle \(v_k + \mathcal R_2\) :
-
if this distance is large enough, we expect the length of the intersection to be small;
-
if the distance u is small, this imposes an additional constraint on \({\bar{v}}_i - v_k\), that we will analyse with different arguments depending on the size of \({\tilde{x}}_{i,k}(t_{1^*})\).
\(\underline{\text {Case}\, u \ge {\varepsilon }^{3/4} }\) The intersection of the line orthogonal to \((V'_*-{\bar{v}}_i)\) passing through \({\bar{v}}_i\) and the rectangle \(v_k +\mathcal {R}_2\) of width \(\frac{C R{\varepsilon }}{ |{\tilde{x}}_{i,k}(t_{1^*})|}\) (see Figure 13) is a segment of size at most
where \(\theta \) is the minimal angle between the axis of \(\mathcal {R}_2\) and any line passing through \({\bar{v}}_i\) and intersecting \(v_k+ \mathcal {R}_2\). We have
It follows from (B.34) that
Multiplying this estimate by the size of \(\mathcal {R}_1\), we get the following upper bound for the measure in \(|(v_{1^*}-{\bar{v}}_i) \cdot \nu _{1^*} | \, dv_{1^*} d\nu _{1^*}\)
-
If \(|{\tilde{x}}_{i,k}(t_{1^*})\big | \ge {\varepsilon }^{1/8}\) then the bound becomes
$$\begin{aligned} \frac{C R^5 {\varepsilon }^{\frac{9}{8}}|\log {\varepsilon }| }{ \big |x_{i,j}(t_{1^*})\big |} \, , \end{aligned}$$and we are back to the usual computations as in the proof of Proposition 3.5: we integrate over \(t_{1^*}\) then over one parent of (i, j) to kill the singularity at small relative velocities, and this gives rise in the end to
$$\begin{aligned} C R^5 (R^3t)^2 {\varepsilon }^{\frac{9}{8}} |\log {\varepsilon }|^3 \, . \end{aligned}$$
-
If \(|{\tilde{x}}_{i,k}(t_{1^*})\big | \le {\varepsilon }^{1/8}\), we have a kind of “recollision” between particles i and k at time \(t_1^*\). Denote by \({\tilde{2}}, {\tilde{3}}\) the first two parents of (i, k). We therefore get that \({\bar{v}}_i - v_k\) has to belong to the union of \((Rt)^2\) rectangles \(\mathcal {R}_3\) of size \(CR\times ( R{\varepsilon }^{1/8} /|{\tilde{x}}_{i,k}(t_{{\tilde{2}} })| )\), with
$$\begin{aligned} {\tilde{x}}_{i,k}(t_{{\tilde{2}}}) : = x_i(t_{{\tilde{2}}}) -x_k(t_{{\tilde{2}}}) +{\tilde{q}} \,. \end{aligned}$$
Combined with the condition that \(v_i \in \mathcal {R}_1\), one has to integrate
Denote by \(\sigma =\{1^*, 2^*, 3^*\} \cup \{{\tilde{2}}, {\tilde{3}} \}\) so that the cardinal \(|\sigma |\) can be 3, 4 or 5. Integrating over \(1^*\) leads to an inequality involving constraints on the pairs (i, k) and (i, j)
where we used Hölder’s inequality in order to decouple both terms: the first one provides as previously a bound \({\varepsilon }^{\frac{1}{8}}|\log {\varepsilon }|^{3}\) and the second one is bounded thanks to (C.6)–(C.7) as the singularity in the relative velocities is less than 2. Note that Hölder’s inequality was performed over the 4 variables \(\{ 2^*, 3^*, {\tilde{2}}, {\tilde{3}} \}\), but only two variables are relevant for each integral, thus the contribution of the two others is bounded from above by the factor \((R^3t)^2\).
\(\underline{\text {Case}\, u \le {\varepsilon }^{3/4}}\)
We recall that
Recalling that
the constraint \(u = \frac{ |( {\bar{v}}_i - v_k) \wedge {\tilde{x}}_{i,k}(t_{1^*}) |}{| {\tilde{x}}_{i,k}(t_{1^*})| } \le {\varepsilon }^\frac{3}{4}\) implies
Recall that the constraint (B.32) on the rectangle \({\mathcal R}_1\) produces a singularity \(\frac{R{\varepsilon }}{|x_{i,j}(t_{1^*})|} (1+ |\log ( \frac{{\varepsilon }}{|x_{i,j}(t_{1^*})| }) |) \), and we argue as follows:
-
If \(| {\tilde{x}}_{i,k}(t_{{\tilde{2}}})| \le {\varepsilon }^{\frac{5}{8}}\), we have a kind of “recollision” between particles i and k at time \(t_{{\tilde{2}}} \). We thus proceed as in Case 1 of Section 6.
-
For small relative velocities, we integrate the constraint \(|{\bar{v}}_i-v_j | \le {\varepsilon }^\frac{9}{16}\) over two parents of \(\{ i, j \}\) using (C.3), (C.4) and we find directly a bound \( {\varepsilon }^\frac{9}{8} |\log {\varepsilon }|^2\).
-
When the relative velocities are bounded from below \(|{\bar{v}}_i-v_j | \ge {\varepsilon }^\frac{9}{16}\), the contribution of rectangle \({\mathcal R}_1\) gives a bound of the order \(CR^2 {\varepsilon }^\frac{7}{16} |\log {\varepsilon }|^2\). By integrating the “recollision” (i, k) over \({\tilde{2}}, {\tilde{3}}\), we find a bound \(CR^7 t^3 {\varepsilon }^\frac{5}{8} |\log {\varepsilon }|^3\) so finally this case produces as usual (see Proposition 3.5), after integration over three parameters, the error \(CR^9 t^3 {\varepsilon }^\frac{17}{16} |\log {\varepsilon }|^5\).
-
-
If \(| {\tilde{x}}_{i,k}(t_{{\tilde{2}}}) | \ge {\varepsilon }^{\frac{5}{8}}\) then according to (B.36), \({\bar{v}}_i-v_k\) must lie in the union of \((Rt)^2\) rectangles \({\mathcal R}_4\) with axis \({\tilde{x}}_{i,k}(t_{{\tilde{2}}})\) and size \(CR \times CRt{\varepsilon }^{\frac{1}{8}}\). This condition has to be coupled with the singularity \({\varepsilon }|\log {\varepsilon }|^2/|{\bar{v}}_i-v_j| \) due to the constraint from the rectangle \(\mathcal {R}_1\). We therefore have to integrate
$$\begin{aligned} R^3 \mathbf{1}_{ \{ {\bar{v}}_i- v_k \in \mathcal {R}_4 \} } \min \left( {{\varepsilon }|\log {\varepsilon }|^2 \over |{\bar{v}}_i - v_j|}, 1 \right) . \end{aligned}$$Denote by \(\sigma =\{1^*, 2^*, 3^*\} \cup \{{\tilde{2}}\}\) where \({\tilde{2}}\) is the first parent of (i, k). In this case, the cardinal of \(\sigma \) is 3 or 4. Integrating first over \(1^*\) and then using Hölder’s inequality as in (B.35), we have
$$\begin{aligned}&\int \mathbf{1}_{ \{ {\bar{v}}_i -v_k \in \mathcal {R}_4 \} } \mathbf{1}_{ \{ v_i - v_j \in \mathcal {R}_1 \} } \, \prod _{m \in \sigma }b(\nu _m,v_m) \, dv_m d\nu _mdt_m \\&\quad \le R^3 {\varepsilon }|\log {\varepsilon }|^2 \int { \mathbf{1}_{ \{ {\bar{v}}_i- v_k \in \mathcal {R}_4 \} } \over |{\bar{v}}_i - v_j|} \, \prod _{m \in \sigma \setminus \{ 1^*\} }b(\nu _m,v_m) \, dv_m d\nu _mdt_m \\&\quad \le R^3 {\varepsilon }|\log {\varepsilon }|^2 \left( (R^3t)^2 \int \mathbf{1}_{ \{ {\bar{v}}_i -v_k \in \mathcal {R}_4 \}} b(\nu _{{\tilde{2}}},v_{{\tilde{2}}}) \, dv_{{\tilde{2}}} d\nu _{{\tilde{2}}} dt_{{\tilde{2}}} \right) ^{1/4} \\&\qquad \times \left( (R^3t) \int \frac{ 1 }{ | {\bar{v}}_{i}- v_{j}|^{4/3}} \prod _{m= 2^*,3^*} b(\nu _m,v_m) \, dv_m d\nu _mdt_m \right) ^{3/4}\\&\quad \le C(Rt)^r {\varepsilon }^{33/32} |\log {\varepsilon }|^{9/4}. \end{aligned}$$
Given a set \(\sigma \) of parents, it may only determine the particle i, so that an extra factor \(s^2\) has to be added in (B.31) to take into account the choice of j, k. This completes the proof of Lemma B.2. \(\square \)
B.4: Recollisions in Chain
The following Lemma was used in Section 6.2.2 to deal with the case when recollisions occur in chain, with \(t_{{\tilde{1}}} = t_{1^*}\), i.e. both recollisions occur without any intermediate collisions as depicted in Figure 14.
Lemma B.3
Fix a final configuration of bounded energy \(z_1 \in \mathbb {T}^2 \times B_R\) with \(1 \le R^2 \le C_0 |\log {\varepsilon }|\), a time \(1\le t \le C_0|\log {\varepsilon }|\) and a collision tree \(a \in \mathcal {A}_s\) with \(s \ge 2\).
There exist sets of bad parameters \(\mathcal {P}_2 (a, p,\sigma )\subset \mathcal {T}_{2,s} \times {{\mathbb {S}}}^{s-1} \times \mathbb {R}^{2(s-1)}\) for \(p_2 < p\le p_3\) and \(\sigma \subset \{2,\dots , s\}\) of cardinal \(|\sigma |\le 3\) such that
-
\(\mathcal {P}_2 (a, p,\sigma )\) is parametrized only in terms of \(( t_m, v_m, \nu _m)\) for \(m \in \sigma \) and \(m < \min \sigma \);
$$\begin{aligned} \int \mathbf{1}_{\mathcal {P}_2 (a,p,\sigma ) } \displaystyle \prod _{m\in \sigma } \, \big | \big (v_{m}-v_{a(m)} ( t_{{m}} ) )\cdot \nu _{{m}} \big | d t_{{m}} d \nu _{{m}}dv_{{m}} \le C(Rt)^r s^2 {\varepsilon }\,,\qquad \end{aligned}$$(B.37)for some constant \(r \ge 1\),
-
and any pseudo-trajectory starting from \(z_1\) at t, with total energy bounded by \(R^2\) and such that the first two recollisions occur in chain as in Figure 14 is parametrized by
$$\begin{aligned} (t_n, \nu _n, v_n)_{2\le n\le s }\in \bigcup _{p_2 < p\le p_3} \bigcup _\sigma \mathcal {P}_2(a, p,\sigma )\,. \end{aligned}$$
Proof
Recall that the condition for the first recollision states
with \(x_i, x_j\) the positions at time \(t_{2^*}\)
for some q in \(\mathbb {Z}^2\) of norm smaller than O(Rt) to take into account the periodicity.
When \(|\tau _1| | {\bar{v}}_i-v_j| \le R^2\), estimate (B.5) is enough to obtain an upper bound of order \({\varepsilon }\) without taking into account the second recollision. Our goal here is to prove that the constraint of having a second recollision produces an integrable function of \(|\tau _1| \, | {\bar{v}}_i-v_j| \ge R^2\), hence a bound \(O({\varepsilon })\) after integration over \(1^*\).
From (B.38), we deduce as in (3.10) that
Two cases have to be considered: \(k= 1^*\) and \(k\ne 1^*\).
\(\underline{\text {Case} \, k=1^* .}\)
The equation for the second recollision states
where
and where the ± and the translation by \(\nu _{rec}\) depend on the possible exchanges in the labels of the particles at collision times. It can be rewritten, thanks to (B.10),
We further know that \(|v_i - {v'_{1^*}}| = | {\bar{v}}_i - v_{1^*}|\).
-
If \(| {\bar{v}}_i - v_{1^*}| \ge R \, |\tau _{rec}|^{-3/4}\), then the vector in the right-hand side of (B.41) has a magnitude of order
$$\begin{aligned} |\tau _{rec}+ \tau '_{rec}| \, | v_i - {v'_{1^*}}| \ge |\tau _{rec}| \, | v_i - {v'_{1^*}}| \ge R \, |\tau _{rec}|^{1/4} \, . \end{aligned}$$
It follows that the vector \(\nu _{rec}\) has to be aligned in the direction of \(v_i - v_{1^*}'\) with a controlled error
for \(n=0,1,2,3\), recalling that \(\mathcal {R}_\theta \) is the rotation of angle \(\theta \).
Plugging the formula for \(\nu _{rec}\) into (B.38) and using (B.40), we get
This equation has the same structure as (B.13). Thus using the same arguments as in the proof of Lemma B.1, we get
-
a contribution of size \(O( |\tau _1|^{-5 /4} \; |{\bar{v}}_{i} - v_{j}|^{-5 /4}|\log | \tau _1 ({\bar{v}}_i - v_j)| )\) when the mapping \(v_i \mapsto {v_i - v_{1^*}' \over |v_i - v_{1^*}'|}\) is Lipschitz with constant strictly less than \(|w|^{\gamma }\) for some \(\gamma \in (0,1)\);
-
the same integrable contribution as in Lemma B.1 in degenerate cases when some velocities are close to each other (typically at a distance \(O(|w|^{-\gamma })\)).
Thus integrating with respect to \(t_{1^*}\) we recover the factor \({\varepsilon }\) and the singularity in \(|{\bar{v}}_{i} - v_{j}|\) is removed as usual by integration over the parents of i, j.
-
If \(| {\bar{v}}_i - v_{1^*}| \le R|\tau _{rec} |^{-3/4}\), we find that \(v_{1^*}\) has to belong to a domain of size less than \(( |\tau _1| \, | {\bar{v}}_i-v_j| )^{-3/2}\) as \(|\tau _{rec}| \ge |\tau _1| \, | {\bar{v}}_i-v_j|\). Hence again, we obtain an integrable function of \( |\tau _1| \, | {\bar{v}}_i-v_j|\), with no extra gain in \({\varepsilon }\).
\(\underline{\text {Case} \, k\ne 1^*.}\) In the following we denote by \(1^*,2^*\dots \) the parents of the set \((i,j,k,\ell )\) at time \(t_{rec}\): contrary to previous cases, and since they both have the same first parent we do not distinguish the parents of (i, j) and \((k,\ell )\) but consider them as a whole.
The position of particle k at the time \({\tilde{t}}_{rec}\) of the second recollision is given by
We have written \(x_k\) for the position of particle k at time \(t_{2^*}\). We end up with the condition for the second recollision
for some \({\tilde{q}} \in \mathbb {Z}^2\) not larger than O(Rt), and where the translation \({\varepsilon }\nu _{rec}\) arises only if the labels of particles are exchanged at \(t_{rec}\). In the following, we fix q and \({\tilde{q}} \) and will multiply the final estimate by \((R^2 t^2)^2\) to take into account the periodicity in both recollisions. Using the notation (B.39), we then rescale in \({\varepsilon }\) and write
Then Eq. (B.42) for the second recollision becomes
where \({\varepsilon }{\tilde{x}}_{jk} (t_{rec})\) stands for the relative position between j, k at time \(t_{rec}\).
As in the proof of Lemma B.1, the Eq. (B.43) implies that \(v'_i - v_k\) belongs to a rectangle \(\mathcal {R}\) of size \(2R \times \frac{2R}{|{\tilde{x}}_{jk} (t_{rec})|}\) and axis \( {\tilde{x}}_{jk} (t_{rec})\). Furthermore \(v'_i\) belongs as well to the circle of diameter \([v_j, v_i]\) by definition. Computing the intersection of the rectangle and of the circle, we obtain a constraint on the angle \(\nu _{rec}\). Then plugging this constraint in the equation for the first recollision, we will conclude as in Lemma B.1 that \(v_i\) has to belong to a very small set (Figure 15). \(\square \)
This strategy can be applied in most situations. We have however to deal separately with the two following geometries :
-
if the relative velocity \(v_i- v_j \) is small, the rectangle can contain a macroscopic part of the circle : we forget about the second recollision and just study the constraint of small relative velocities;
-
if the distance \(| {\tilde{x}}_{jk} (t_{rec}) |\) is small, then i will be close to k at the first recollision time and this will facilitate the second recollision : we then forget about the second recollision and write two independent constraints at the first recollision time.
-
Suppose that
$$\begin{aligned} | v_i- v_j | \ge {1 \over |\tau _{rec}|^{5 /8}} \quad \text {and} \quad | {\tilde{x}}_{jk} (t_{rec}) | \ge | \tau _{rec} |^{ 3 / 4} . \end{aligned}$$(B.44)
From (B.43), we deduce that a necessary condition for the second recollision to hold is that
where \(|\tau '_{rec}|\) can be bounded from below thanks to (B.44)
Using the bound from below on the relative velocity \(|v_i - v_j|\), we finally get
Define the angles \(\theta = < {\tilde{x}}_{jk}^\perp (t_{rec}), \nu _{rec} > \) and \( \alpha =< {\tilde{x}}_{jk}^\perp (t_{rec}), v_i-v_j>\). We have
so that
Recall the notation of the proof of Lemma B.1
where \({\varepsilon }w\) is the distance between \(x_i,x_j\) at time \(t_{1^*}\) and it is enough to consider \(|w| \ge R^2\) thanks to (B.5). As the derivative of \(\arccos \) is singular at \(\pm 1\), we will consider an approximation \(\arccos _{|w|}\) which coincides with \(\arccos \) on \([-1 + \frac{1}{|w|^{2 \delta }} ,1- \frac{1}{|w|^{2 \delta }} ]\) (for a given \(\delta \in (0,\frac{1}{16})\)) and is constant in the rest of \([-1,1]\) so that
Thus the angle \(\theta \) can be approximated by
with
Plugging this constraint in the equation for the first recollision, we get
As \(|w| \gg 1\), the leading term of this equation is \(v_{i} -v_j \simeq u {w\over |w|}\), but we have to analyse carefully the corrections. Compared with the formulas of the same type encountered in the proof of Lemma B.1, this one has the additional difficulty that the dependence with respect to u is very intricate. Instead of solving (B.46), we are going to look at sufficient conditions satisfied by the solutions of (B.46). In particular, u will be considered as a parameter independent of \(|\tau _{rec}|\). For a given u, we are going to solve the equation
where \({\tilde{x}}_{jk} (t_{rec})\) was originally defined in (B.43) as the relative position between j, k at time \(t_{rec}\), but is now simply a function of u
The solutions of (B.46) are such that \(u \simeq |v_{i} -v_j|\), thus from the condition (B.47) on the relative velocities, it is enough to restrict the range of the parameter u to \( u \ge \frac{1}{4} \left( {u \over |w|} \right) ^{5/8}\), i.e. \(u \in [\frac{1}{4 |w|^{5/3}}, 4R]\). We will first show that for any such u, there is a unique solution \({\hat{v}}_i (u)\) of (B.47). The solution of (B.46) will be located close to the curve \(u \rightarrow {\hat{v}}_i(u)\), thus we will then need to control the regularity of the curve \(u \rightarrow {\hat{v}}_i(u)\) to estimate the size of the tubular neighborhood around this curve.
-
For fixed u, note that \({\tilde{x}}_{jk}^\perp (t_{rec})\) is also fixed. The only dependence with respect to \(v_i\) in the right-hand side of (B.47) is via \({\bar{\theta }}_\pm \):
$$\begin{aligned} d{\bar{\theta }}_\pm \le&\frac{1}{2} |w|^\delta \, { |v_i-v_j|^2 {\tilde{x}}_{jk}^\perp (t_{rec}) \cdot dv_i - ((v_i+v_j - 2v_k) \cdot {\tilde{x}}_{jk}^\perp (t_{rec})) \;(v_i-v_j)\cdot dv_i \over |v_i-v_j|^3 | {\tilde{x}}_{jk} (t_{rec})|} \nonumber \\&- \frac{1}{2} d< {\tilde{x}}_{jk}^\perp (t_{rec}), v_i-v_j>. \end{aligned}$$(B.48)
where we used the Lipschitz bound satisfied by \(\arccos _{|w|}\). Note that second term in (B.48) controls the variation of the angle \(< {\tilde{x}}_{jk}^\perp (t_{rec}), v_i-v_j>\) and has Lipschitz constant less than \(\frac{1}{|v_i-v_j|}\). Together with the bounds (B.44), this implies that \( v_i \mapsto {\bar{\theta }}_\pm (v_i,u) \) is Lipschitz continuous with constant
We therefore conclude by Picard’s fixed point theorem that there is a unique solution \({\hat{v}}_i = {\hat{v}}_i (u)\). As \(\delta < 1/16\), we further have that any solution to (B.46) satisfies
for \(u \in [\frac{1}{4 |w|^{5/3}}, 4R]\).
-
Let us now study the regularity of \( u \mapsto {\hat{v}}_i (u)\). In (B.47), we have both an explicit dependence with respect to u and a dependence via the direction of \({\tilde{x}}_{jk} (t_{rec})\). To take into account the condition (B.44), we further restrict the range of u to
$$\begin{aligned} u \in \left[ \frac{1}{4 |w|^{5/3}}, 4R\right] \quad \text {and} \quad | {\tilde{x}}_{jk} (t_{rec}) | \ge \left( {|w| \over u} \right) ^{ 3 / 4} . \end{aligned}$$(B.49)
The derivative of \({ {\tilde{x}}_{jk} (t_{rec}) \over | {\tilde{x}}_{jk} (t_{rec})|}\) with respect to u is controlled by
as \(u \ge {1 \over 2} \left( u \over {|w|} \right) ^{5/8}\) thanks to (B.49). Thus the Lipschitz constant of \( u\mapsto {\bar{\theta }}_\pm (v_i,u)\) is less than \(\big ( |w| / u \big )^{7/8} \, |w|^\delta \). Gathering both estimates, we finally get by differentiating (B.47) with respect to \(v_i\) and u that \(u\mapsto {\hat{v}}_i(u)\) is Lipschitz continuous with constant \(1+ C \big ( |w| / u \big )^{-1/8 + \delta } u^\delta \), which is bounded as \(\delta <1/16\). The solutions of (B.46) are at a distance at most \({R \over |w|^{1+\delta } }\) from the curve \(u\mapsto {\hat{v}}_i(u)\). Thus under the condition (B.44), any recollision in chain will belong to the tubular neighborhood of \(u\mapsto {\hat{v}}_i(u)\).
In order to estimate the measure that \(v_i\) belongs to this tubular neighborhood, we proceed as in (C.10) and cover this tube by \(O( |w|^{1+\delta } )\) balls of size \({R \over |w|^{1+\delta } }\). Integrating with respect to \(dv_{1^*} d\nu _{1^*}\), we get an estimate \(O \left( \frac{|\log |w||}{|w|^{1+\delta } } \right) \). By construction \(|w| \ge |\tau _1| |{\bar{v}}_i - v_j|\) so that the remainder can be integrated with respect to \(\tau _1\). Changing to the variable \(t_{1^*}\), we obtain an upper bound of order \({\varepsilon }\). We then kill the singularity \(\frac{\big | \log |{\bar{v}}_i - v_j| \big | }{ |{\bar{v}}_i - v_j|^{1+\delta }}\) at small relative velocities by integrating with respect to two additional parents, applying (C.6) and then (C.7).
-
Suppose that \(| v_i- v_j | \le |\tau _{rec}|^{-5 /8} \). We obtain by (C.3) that
$$\begin{aligned}&\int \mathbf{1}_{ \{ | v_i- v_j | \le | \tau _{rec}|^{-5 /8} \}} |(v_{1^*} - v_i)\cdot \nu _{1^*}| d\nu _{1^*} dv_{1^*} \nonumber \\&\quad \le \int \mathbf{1}_{\{ | v_i- v_j | \le \frac{1}{|\tau _1|^{5 /8} \, |{\bar{v}}_i - v_j|^{5 /8}} \}} |(v_{1^*} - v_i)\cdot \nu _{1^*}| d\nu _{1^*} dv_{1^*} \nonumber \\&\quad \le \frac{C R^2}{|\tau _1|^{5 /8} \, |{\bar{v}}_i - v_j|^{5 /8} } \min \left( \frac{1}{|\tau _1|^{5 /8} \, |{\bar{v}}_i - v_j|^{13 /8}}, 1\right) \le \frac{C R^2}{|\tau _1|^{9 /8} \, |{\bar{v}}_i - v_j|^{77 /40}},\nonumber \\ \end{aligned}$$(B.51)
where in the last inequality, we used that \(\min (\delta , 1) \le \delta ^{4/5}\). This produces an integrable function of \(|\tau _1|\) and leads to an upper bound of order \({\varepsilon }\). The singularity in \(|{\bar{v}}_i-v_j|\) can be integrated out by applying (C.6) and then (C.7) on the parents of i, j.
-
Suppose that \(| {\tilde{x}}_{j,k} (t_{rec}) | \le | \tau _{rec}| ^{ 3 / 4} \), this condition can be interpreted as a “kind of recollision” between j and k at time \(t_{rec}\). Note that this situation is similar to the last case studied in Lemma B.1, where the size of the error depends on \(|\tau _1| |{\bar{v}}_i - v_j|\) (Figure 16).
The first recollision between i, j imposes that \( v_i - v_j\) belongs to a rectangle \(\mathcal {R}\). Integrating first the condition for the recollision between (i, j) with respect to \(b(\nu _{1 ^*},v_{1 ^*}) \, dv _{1^*} d\nu _{1 ^*}\), we gain a factor \((\tau _1 |{\bar{v}}_i - v_j|)^{-1} \). We will not use the recollision between i, k and focus on the additional constraint that the distance between j, k is less than \({\varepsilon }|\tau _{rec}| ^{ 3 / 4}\) at time \(t_{rec}\).
Denote by \({\tilde{1}}\) the first parent of (j, k). By analogy with equation (B.1), the constraint \(| {\tilde{x}}_{j,k} (t_{rec}) | \le | \tau _{rec}| ^{ 3 / 4} \) reads
with \(|\eta | \le |\tau _{rec}|^{ 3 / 4}\) and a given \(q \in \mathbb {Z}^2\) with modulus less than Rt. With the notation \({\tilde{\tau }}_{rec} = \frac{t_{rec} - t_{{\tilde{1}}}}{{\varepsilon }}\), this can be rewritten
Since \({\tilde{\tau }}_{rec} \ge \tau _{rec}\), we get
so that \(v_j - v_k\) has to belong to a rectangle \({\tilde{\mathcal {R}}}\) of width less than \(\frac{1}{( |\tau _1| |{\bar{v}}_i - v_j|)^{1/4}}\).
As in the last case of Lemma B.1, we split the proof according to the size of \(|\tau _1|\).
-
If \(|\tau _1| \ge {1 \over |{\bar{v}}_i - v_j|^6}\), we deduce that
$$\begin{aligned}\frac{1}{|\tau _1| |{\bar{v}}_i - v_j|} \le \frac{1}{|\tau _1|^{5/6}}. \end{aligned}$$
Then, we compute the cost of satisfying the previous constraints
As in the case of (B.30), the change of variable from \(t_{1^*}\) to \(\tau _1\) leads to a factor \({\varepsilon }\) and decouples the dependence between the variable \(t_{1^*}\) and \(v_{{\tilde{1}}}\) by keeping only the constraint \( |\tau _1| \ge R\). We can then complete the upper bound as usual
where the singularity is integrable in \(|\tau _1| \in [ R, + \infty ]\).
-
If \(|\tau _1| \le {1 \over |{\bar{v}}_i - v_j|^6}\), we forget about (B.52). We indeed have that
$$\begin{aligned} \int {1\over |\tau _1| \, |{\bar{v}}_i - v_j| } d\tau _1 \le {1\over |{\bar{v}}_i - v_j| } \int \frac{1}{|\tau _1|} d\tau _1 \le {C |\log |{\bar{v}}_i - v_j||\over |{\bar{v}}_i - v_j| }\,. \end{aligned}$$
The singularity at small relative velocities is controlled with two additional integration.
Given a set \(\sigma \) of parents, it may only determine the particle i, so that an extra factor \(s^2\) has to be added in (B.37) to take into account the choice of j, k. This concludes the proof of Lemma B.3. \(\square \)
B.5: Two Particles Recollide Twice in Chain Due to Periodicity
We have seen in Proposition 3.5 that a self-recollision between two particles created at the same collision has a cost \({\varepsilon }\). It may happen also that two particles have a recollision and then a second self-recollision due to periodicity (see Figure 17). This is a very constrained case which is treated in the following Lemma.
Lemma B.4
Fix a final configuration of bounded energy \(z_1 \in \mathbb {T}^2 \times B_R\) with \(1 \le R^2 \le C_0 |\log {\varepsilon }|\), a time \(1\le t \le C_0|\log {\varepsilon }|\) and a collision tree \(a \in \mathcal {A}_s\) with \(s \ge 2\).
There exists a set of bad parameters \(\mathcal {P}_2 (a, p_4,\sigma )\subset \mathcal {T}_{2,s} \times {{\mathbb {S}}}^{s-1} \times \mathbb {R}^{2(s-1)}\) and \(\sigma \subset \{2,\dots , s\}\) of cardinal \(|\sigma | \le 3\) such that
-
\(\mathcal {P}_2 (a, p_4 ,\sigma )\) is parametrized only in terms of \(( t_m, v_m, \nu _m)\) for \(m \in \sigma \) and \(m < \min \sigma \);
$$\begin{aligned} \int \mathbf{1}_{\mathcal {P}_2 (a,p_4 ,\sigma ) } \displaystyle \prod _{m\in \sigma } \, \big | \big (v_{m}-v_{a(m)} ( t_{{m}} ) )\cdot \nu _{{m}} \big | d t_{{m}} d \nu _{{m}}dv_{{m}} \le C(Rt)^r s {\varepsilon }\,,\qquad \end{aligned}$$(B.53)for some constant r,
-
and any pseudo-trajectory starting from \(z_1\) at t, with total energy bounded by \(R^2\), and such that the first two recollisions involve the same two particles which recollide twice in chain is parametrized by
$$\begin{aligned} (t_n, \nu _n, v_n)_{2\le n\le s }\in \bigcup _\sigma \mathcal {P}_2(a, p_4 ,\sigma )\,. \end{aligned}$$
Proof
We recall the equation (3.9) on the first recollision
The equation on the second recollision is
for some \({\tilde{t}}_{rec}\ge 0\), \( {\tilde{\nu }}_{rec} \in {{\mathbb {S}}}\), and \({\tilde{q}} \in \mathbb {Z}^2 \setminus \{ 0 \}\). Note that \({\tilde{q}} \not = 0\) as the second recollision occurs from the periodicity. As usual we fix \({\tilde{q}}\) and multiply the estimates in the end by \(O(R^2t^2)\) to take that into account.
The condition (B.55) implies that the vector \(v'_i - v'_j\) is located in a cone of axis \({\tilde{q}}\) and angular sector \(2{\varepsilon }\). By definition, we have
which means that \(\nu _{rec}^\perp \) is the bisector of \(v_i- v_j\) and \(v_i'- v_j'\) (see Figure 17).
From (B.54), we deduce that the direction of \(v_i- v_j\) is
From (B.55), we deduce that the direction of \(v'_i-v'_j\) is
Finally we get that \(\nu _{rec}^\perp \) is known up to an error term which can be bounded by
Note that we have introduce the square root as in the proof of Lemma B.3 for integrability purposes of the singularity \(|{\bar{v}}_i-v_j|\).
Plugging this constraint on \(\nu _{rec}\) in (B.54), we get that \(v'_i- v_j\) has to belong, for each given \(q, {\tilde{q}}\), to a rectangle \(\mathcal {R}\) of axis \(\delta x_\perp - \tau _1 ({\bar{v}}_i-v_j)\) and size \(R \times R \frac{\eta }{|\tau _1( {\bar{v}}_i-v_j)|}\). By Lemma C.4, we obtain
Taking the union of the previous rectangles for the different choices of \(q,{\tilde{q}}\), we define the set \(\mathcal {P}_2(a, p_4 ,\sigma )\) associated with the scenario of two particles recolliding twice in chain due to periodicity. By integration with respect to time, we then get
We then apply twice Lemma C.2 on two parents of i, j to integrate the singularities at small relative velocities.
Given \(\sigma \), there are at most s choices for the pair (i, j) as \(\sigma \) determines at least one of the labels. Thus the previous scenario leads to the set \(\mathcal {P}_2(a, p_4 ,\sigma )\) with measure controlled by (B.53). \(\square \)
Appendix C: Carleman’s Parametrization and Scattering Estimates
In Sections 3, 6 and Appendix B, we were faced with integrals containing singularities in relative velocities \(v_i-v_j\) and with a multiplicative factor of the type \((v^* - {\bar{v}}_{i}) \cdot \nu ^*\) where \(v_i\) is recovered from \(v^*\), \(\nu ^*\) and \({\bar{v}}_{i}\) through a scattering condition. This appendix is devoted to the proof of “tool-box” lemmas for computing these singular integrals. These lemmas are used many times in this paper.
Lemma C.1
Fix a velocity \({\bar{v}}_i\) and let \(v_i, v_j\) be the velocities after a collision (with or without scattering)
with \( \nu ^* \in {{\mathbb {S}}}\) and \(v^* \in \mathbb {R}^2\) (see Figure 18). Assume all the velocities are bounded by R then
Proof
In both cases, the velocities before and after the collision are related by \(|v_i - v_j| = |v ^* - {\bar{v}}_i|\). Inequality (C.1) follows from the fact that the singularity \(1/ |v ^* - {\bar{v}}_i|\) is integrable. \(\square \)
Lemma C.2
Fix \({\bar{v}}_i\) and \(v_j\), and define \(v_i\) to be one of the following velocities
with \( \nu ^* \in {{\mathbb {S}}}\) and \(v^* \in B_R \subset \mathbb {R}^2\) (see Figure 18). Assume all the velocities are bounded by \(R>1\) and fix \(\delta \in ]0,1[\). Then the following estimates hold, denoting \(b(\nu ^*,v ^*):= |(v ^* - {\bar{v}}_i) \cdot \nu ^*| \):
Proof
We start by recalling Carleman’s parametrization, which we shall be using many times in this Appendix: it is defined by
where \((V',V'_*)\) belong to the set \({\mathcal C}\) defined by
This map sends the measure \( b(\nu ^*,v ^*) \, dv^*d\nu ^*\) on the measure \(dV'dS(V'_*)\), where dS is the Lebesgue measure on the line orthogonal to \((V'-{\bar{v}}_i)\) passing through \({\bar{v}}_i\).
Now let us consider the case when \(|v_i-v_j| \le \delta \) and prove (C.3). What we need here is to estimate the measure of the pre-image of the small ball of center \(v_j\) and radius \(\delta \) by the scattering operator: let us study how for fixed \(v_j\), the set \(\{|v_i-v_j| \le \delta \}\) is transformed by the inverse scattering map. Notice that the most singular case concerns the case when \(v_i = V' _*\) belongs to the small ball of radius \(\delta \): indeed in the case when it is \(V'\) then the measure \( b(\nu ^*,v ^*) \, dv^*d\nu ^*\) will have support in a domain of size \(O(\delta ^2)\). So now assume that \(V' _*\) satisfies \(|V' _* -v_j|\le \delta \).
-
If \(|v_j - {\bar{v}}_i| \le \delta \), meaning that \({\bar{v}}_i\) is itself in the same ball, then for any \(V' \in B_R\), the intersection between the small ball and the line \( {\bar{v}}_i + \mathbb {R}(V'-{\bar{v}}_i)^\perp \) is a segment, the length of which is at most \(\delta \). We therefore find
$$\begin{aligned} \int \mathbf{1}_{|V' _* -v_j|\le \delta } \, b(\nu ^*,v ^*) \, dv ^* d\nu ^* \le C R^2 \delta \,. \end{aligned}$$ -
If \(|v_j - {\bar{v}}_i| >\delta \), in order for the intersection between the ball and the line \( {\bar{v}}_i + \mathbb {R}(V'-{\bar{v}}_i)^\perp \) to be non empty, we have the additional condition that \(V'-{\bar{v}}_i\) has to be in an angular sector of size \(\delta /| v_j-{\bar{v}}_i|\) (see Figure 19). We therefore have
$$\begin{aligned} \int \mathbf{1}_{|V' _* -v_j|\le \delta } \, b(\nu ^*,v ^*) \, dv ^* d\nu ^* \le C R^2 {\delta ^2\over |v_j-{\bar{v}}_i|}. \end{aligned}$$
Thus (C.3) holds.
The other estimates provided in Lemma C.2 then come from Fubini’s theorem: let us start with (C.4). We write
thanks to (C.3). The contribution of the velocities such that \(|v_i - v_j| \ge 1\) can be bounded by \(R^3 \delta \). Thus it is enough to consider
so using (C.3) again we get
from which (C.4) follows.
Next let us prove (C.5)–(C.7). We have
which gives the expected estimates. Similarly
This ends the proof of Lemma C.2. \(\square \)
Remark C.3
The proof of Lemma C.3 shows that in order to keep control on the collision integral the power \(\gamma \) of the singularity must not be too large (namely smaller than 2).
Finally the following result describes the size of a collision integral when relative velocities are prescribed to lie in a given rectangle.
Lemma C.4
Consider two pseudo-particles i, j as well as their first parent \(1^*\). Denote by \( \nu _{1^*} \in {{\mathbb {S}}}\) and \(v_{1^*} \in \mathbb {R}^2\) their scattering parameters. We assume also that all the velocities are bounded by \(R>1\). Let \(\mathcal {R}\) be a rectangle with sides of length \(\delta , \delta ' \), then
Proof
Note that if i, j are generated by the same collision, then better estimates can be obtained from Lemma C.1. The case without scattering is also straightforward. Thus from now, we assume that \(v_i\) is given by (C.2).
To derive (C.10), we suppose that \(\delta \le \delta ' \le 1\) and that the collision with \(1^*\) takes place with i which had a velocity \({\bar{v}}_i\). We cover the rectangle \(v_j + \mathcal {R}\) into \(\lfloor \delta '/\delta \rfloor \) balls of radius \(2 \delta \). Let \(\omega \) be the axis of the rectangle \(v_j + \mathcal {R}\) and denote by \(w_k = w_0 + \delta k \, \omega \) the centers of the balls which are indexed by the integer \(k \in \{ 0, \dots , \lfloor \delta '/\delta \rfloor \}\). Applying (C.3) to each ball, we get
where the log divergence in the last inequality follows by summing over k. This completes the proof of (C.10).
This completes the proof of Lemma C.4. \(\square \)
Appendix D: Initial Data Estimates
This section is devoted to the proof of Proposition 2.6 stated page 14.
Using the notation \(X_{k,N} := \{ x_k, \dots , x_N \}\), we write
where \({\mathcal D}_{{\varepsilon }}^N\) stands for the exclusion constraint on the positions (with a slight abuse of notation compared to (1.4)). The first term is estimated as in the proof of Proposition 3.3 in [8]
The exchangeability of the variables allows us to rewrite the second term as
where we used the notation
which distinguishes the interaction of the particles \(X_{s+2,N}\) with themselves and with \(X_s\), defining
The exclusion between \(s+1\) and the rest of the system is also decomposed into a term for the interaction with \(X_s\) and another one for the interaction with \(X_{s+2,N}\). Defining
we have
We deduce that
with
From (2.14) and the assumption \(N {\varepsilon }= \alpha \ll 1 /{\varepsilon }\), we get
We infer that the term \(I_1\) is bounded by the fact that \(x_{s+1}\) is close to \(X_s\)
Using the assumption \(\displaystyle \int _\mathbb {D}M_\beta g_{\alpha ,0} (z) dz = 0\), the second term is rewritten as
Plugging the identity (D.1)
we distinguish two more contributions \(I_2 (Z_s) \le I_{2,1} (Z_s) + I_{2,2} (Z_s)\) with
The term \(I_{2,1}\) takes into account two constraints : \(s+1\) is close to a particle in \(X_{s+2,N}\) and one particle in \(X_{s+2,N}\) is close to \(X_s\). Since \(N {\varepsilon }= \alpha \), we deduce that
The term \(I_{2,2}\) does not depend on \(X_s\), thus one can integrate over \(z_{s+1}\) and use again the assumption \(\displaystyle \int _\mathbb {D}M_\beta g_{\alpha ,0} (z) dz = 0\). To see this, it is enough to note that the function
is independent of \(x_{s+1}\) thanks to the periodic structure of \(\mathbb {D}^{N- s-2}\). Thus \(I_{2,2} (Z_s) = 0\).
Combining the previous estimates, we conclude Proposition 2.6. \(\square \)
Rights and permissions
About this article
Cite this article
Bodineau, T., Gallagher, I. & Saint-Raymond, L. From Hard Sphere Dynamics to the Stokes–Fourier Equations: An Analysis of the Boltzmann–Grad Limit. Ann. PDE 3, 2 (2017). https://doi.org/10.1007/s40818-016-0018-0
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s40818-016-0018-0