SearcharxivSearch

arXiv subjects

Laure Saint-Raymond

Publications and source records attributed to Laure Saint-Raymond.

At least 19 recordsLinked to original sources

Derivation of the Boltzmann equation from hard-sphere dynamics (after Y. Deng, Z. Hani, and X. Ma)

Consider a microscopic system of $N$ hard spheres that are initially independent (modulo the exclusion condition on particle positions) and identically distributed in $\mathbb{R}^3$. When the number $N$ of particles goes to infinity and the diameter $\varepsilon$ of the particles goes to zero, and under the weak density assumption $N\varepsilon^2=1$, it has been known since the work of Lanford that the empirical measure for the particles converges to the solution of the Boltzmann equation in a short time interval. In particular, the particles remain dynamically independent, in this limit and in the short time interval where the correlations induced by their collisions remain under control. In a recent work, Y. Deng, Z. Hani and X. Ma successfully obtained the same convergence result in arbitrary large time; more precisely, the convergence result holds for any time interval on which the Boltzmann equation has a regular solution. In this note, we explain a few elements of their proof.

math.AP

Statistical dynamics of a hard sphere gas: fluctuating Boltzmann equation and large deviations

We present a mathematical theory of dynamical fluctuations for the hard sphere gas in the Boltzmann-Grad limit. We prove that: (1) fluctuations of the empirical measure from the solution of the Boltzmann equation, scaled with the square root of the average number of particles, converge to a Gaussian process driven by the fluctuating Boltzmann equation, as predicted in [67]; (2) large deviations are exponentially small in the average number of particles and are characterized, under regularity assumptions, by a large deviation functional as previously obtained in [61] for dynamics with stochastic collisions. The results are valid away from thermal equilibrium, but only for short times. Our strategy is based on uniform a priori bounds on the cumulant generating function, characterizing the fine structure of the small correlations.

math.AP

Cluster expansion for a dilute hard sphere gas dynamics

In [7], a cluster expansion method has been developed to study the fluctuations of the hard sphere dynamics around the Boltzmann equation. This method provides a precise control on the exponential moments of the empirical measure, from which the fluctuating Boltzmann equation and large deviation estimates have been deduced. The cluster expansion in [7] was implemented at the level of the BBGKY hierarchy, which is a standard tool to investigate the deterministic dynamics [11]. In this paper, we introduce an alternative approach, in which the cluster expansion is applied directly on real trajectories of the particle system. This offers a fresh perspective on the study of the hard sphere dynamics in the low density limit, allowing to recover the results obtained in [7], and also to describe the actual clustering of particle trajectories.

math.AP

Dynamics of dilute gases: a statistical approach

The evolution of a gas can be described by different models depending on the observation scale. A natural question, raised by Hilbert in his sixth problem, is whether these models provide consistent predictions. In particular, for rarefied gases, it is expected that continuum laws of kinetic theory can be obtained directly from molecular dynamics governed by the fundamental principles of mechanics. In the case of hard sphere gases, Lanford showed that the Boltzmann equation emerges as the law of large numbers in the low density limit, at least for very short times. The goal of this survey is to present recent progress in the understanding of this limiting process, providing a complete statistical description.

math.AP

Long-time derivation at equilibrium of the fluctuating Boltzmann equation

We study a hard sphere gas at equilibrium, and prove that in the low density limit, the fluctuations converge to a Gaussian process governed by the fluctuating Boltzmann equation. This result holds for arbitrarily long times. The method of proof builds upon the weak convergence method introduced in the companion paper [8] which is improved by considering clusters of pseudo-trajectories as in [7].

math.AP

Lenard-Balescu correction to mean-field theory

In the mean-field regime, the evolution of a gas of $N$ interacting particles is governed in first approximation by a Vlasov type equation with a self-induced force field. This equation is conservative and describes return to equilibrium only in the very weak sense of Landau damping. However, the first correction to this approximation is given by the Lenard-Balescu operator, which dissipates entropy on the very long timescale $O(N)$. In this paper, we show how one can derive rigorously this correction on intermediate timescales (of order $O(N^r)$ for $r<1$), close to equilibrium.

math-ph

Long-time correlations for a hard-sphere gas at equilibrium

It has been known since Lanford [19] that the dynamics of a hard sphere gas is described in the low density limit by the Boltzmann equation, at least for short times. The classical strategy of proof fails for longer times, even close to equilibrium. In this paper, we introduce a duality method coupled with a pruning argument to prove that the covariance of the fluctuations around equilibrium is governed by the linearized Boltzmann equation globally in time (including in diffusive regimes). This method is much more robust and simple than the one devised in [4] which was specific to the 2D case.

math.AP

Fluctuation theory in the Boltzmann--Grad limit

We develop a rigorous theory of hard-sphere dynamics in the kinetic regime, away from thermal equilibrium. In the low density limit, the empirical density obeys a law of large numbers and the dynamics is governed by the Boltzmann equation. Deviations from this behaviour are described by dynamical correlations, which can be fully characterized for short times. This provides both a fluctuating Boltzmann equation and large deviation asymptotics.

math.AP

A microscopic view on the Fourier law

The Fourier law of heat conduction describes heat diffusion in macroscopic systems. This physical law has been experimentally tested for a large class of physical systems. A natural question is to know whether it can be derived from the microscopic models using the fundamental laws of mechanics.

math.AP

Near-critical reflection of internal waves

Internal waves describe the (linear) response of an incompressible stably stratified fluid to small perturbations. The inclination of their group velocity with respect to the vertical is completely determined by their frequency. Therefore the reflection on a sloping boundary cannot follow Descartes' laws, and it is expected to be singular if the slope has the same inclination as the group velocity. In this paper, we prove that in this critical geometry the weakly viscous and weakly nonlinear wave equations have actually a solution which is well approximated by the sum of the incident wave packet, a reflected second harmonic and some boundary layer terms. This result confirms the prediction by Dauxois and Young, and provides precise estimates on the time of validity of this approximation.

math.AP

Attractors for two dimensional waves with homogeneous Hamiltonians of degree 0

The density stratification in an incompressible fluid is responsible for the propagation of internal waves. In domains with topography, these waves exhibit interesting features. In particular, numerical and lab experiments show that, in two dimensions, for generic forcing frequencies, these waves concentrate on attractors. The goal of this paper is to analyze mathematically this behavior, using tools from spectral theory and microlocal analysis. The same results apply also to inertial waves in rotating fluids.

math-ph

Mathematical study of degenerate boundary layers: A Large Scale Ocean Circulation Problem

This paper is concerned with a complete asymptoticanalysis as $\mathfrak{E} \to 0$ of the stationary Munk equation $\partial\_xψ-\mathfrak{E} Δ^2 ψ=τ$ in a domain $Ω\subset \mathbf{R}^2$, supplemented with boundaryconditions for $ψ$ and $\partial\_n ψ$. This equation is a simplemodel for the circulation of currents in closed basins, the variables$x$ and $y$ being respectively the longitude and the latitude. A crudeanalysis shows that as $\mathfrak{E} \to 0$, the weak limit of $ψ$ satisfiesthe so-called Sverdrup transport equation inside the domain, namely$\partial\_x ψ^0=τ$, while boundary layers appear in the vicinity ofthe boundary.These boundary layers, which are the main center of interest of thepresent paper, exhibit several types of peculiar behaviour. First, thesize of the boundary layer on the western and eastern boundary, whichhad already been computed by several authors, becomes formally verylarge as one approaches northern and southern portions of the boudary,i.e. pieces of the boundary on which the normal is vertical. Thisphenomenon is known as geostrophic degeneracy. In order to avoid suchsingular behaviour, previous studies imposed restrictive assumptionson the domain $Ω$ and on the forcing term $τ$. Here, we provethat a superposition of two boundary layers occurs in the vicinity ofsuch points: the classical western or eastern boundary layers, andsome northern or southern boundary layers, whose mathematicalderivation is completely new. The size of northern/southern boundarylayers is much larger than the one of western boundary layers($\mathfrak{E}^{1/4}$ vs. $\mathfrak{E}^{1/3}$). We explain in detail how the superpositiontakes place, depending on the geometry of the boundary.Moreover, when the domain $Ω$ is not connex in the $x$ direction,$ψ^0$ is not continuous in $Ω$, and singular layers appear inorder to correct its discontinuities. These singular layers areconcentrated in the vicinity of horizontal lines, and thereforepenetrate the interior of the domain $Ω$. Hence we exhibit some kindof boundary layer separation. However, we emphasize that we remainable to prove a convergence theorem, so that the singular layerssomehow remain stable, in spite of the separation.Eventually, the effect of boundary layers is non-local in severalaspects. On the first hand, for algebraic reasons, the boundary layerequation is radically different on the west and east parts of theboundary. As a consequence, the Sverdrup equation is endowed with aDirichlet condition on the East boundary, and no condition on the Westboundary. Therefore western and eastern boundary layers have in factan influence on the whole domain $Ω$, and not only near theboundary. On the second hand, the northern and southern boundary layerprofiles obey a propagation equation, where the space variable $x$plays the role of time, and are therefore not local.

math.AP

Derivation of an ornstein-uhlenbeck process for a massive particle in a rarified gas of particles

We consider the statistical motion of a convex rigid body in a gas of N smaller (spherical) atoms close to thermodynamic equilibrium. Because the rigid body is much bigger and heavier, it undergoes a lot of collisions leading to small deflections. We prove that its velocity is described, in a suitable limit, by an Ornstein-Uhlenbeck process. The strategy of proof relies on Lanford's arguments [17] together with the pruning procedure from [3] to reach diffusive times, much larger than the mean free time. Furthermore, we need to introduce a modified dynamics to avoid pathological collisions of atoms with the rigid body: these collisions, due to the geometry of the rigid body, require developing a new type of trajectory analysis.

math.AP

One-sided convergence in the Boltzmann-Grad limit

We review various contributions on the fundamental work of Lanford deriving the Boltzmann equation from hard-sphere dynamics in the low density limit. We focus especially on the assumptions made on the initial data and on how they encode irreversibility. The impossibility to reverse time in the Boltzmann equation (expressed for instance by Boltzmann's H-theorem) is related to the lack of convergence of higher order marginals on some singular sets. Explicit counterexamples single out the microscopic sets where the initial data should converge in order to produce the Boltzmann dynamics.

math.PR

From hard sphere dynamics to the Stokes-Fourier equations: An $L^2$ analysis of the Boltzmann-Grad limit

We derive the linear acoustic and Stokes-Fourier equations as the limiting dynamics of a system of N hard spheres of diameter $ε$ in two space dimensions, when N $\rightarrow$ $\infty$, $ε$ $\rightarrow$ 0, N $ε$ = $α$ $\rightarrow$ $\infty$, using the linearized Boltzmann equation as an intermediate step. Our proof is based on Lanford's strategy [18], and on the pruning procedure developed in [5] 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 pri-ori 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.

math.AP

On Collision Invariants for Linear Scattering

In this article, we extend the result of Boltzmann on characterisation of collision invariants from the case of hard disks to a class of two-dimensional compact, strictly-convex particles.

math-ph