This paper provides the first rigorous derivation of a binary-ternary Boltzmann equation describing the kinetic properties of a dense hard-spheres gas, where particles undergo either binary or ternary instantaneous interactions, while preserving momentum and energy. An important challenge we overcome in deriving this equation is related to providing a mathematical framework that allows us to detect both binary and ternary interactions. Furthermore, this paper introduces new algebraic and geometric techniques in order to eventually decouple binary and ternary interactions and understand the way they could succeed one another in time.
In this paper we show global well-posedness near vacuum for the binary-ternary Boltzmann equation. The binary-ternary Boltzmann equation provides a correction term to the classical Boltzmann equation, taking into account both binary and ternary interactions of particles, and may serve as a more accurate description model for denser gases in non-equilibrium. Well-posedness of the classical Boltzmann equation and, independently, the purely ternary Boltzmann equation follow as special cases. To prove global well-posedness, we use a Kaniel-Shinbrot iteration and related work to approximate the sol…
In this paper, we present a rigorous derivation of a new kinetic equation describing the limiting behavior of a classical system of particles with three particle elastic instantaneous interactions, which are modeled using a non-symmetric version of a ternary distance. The ternary collisional operator we derive can be seen as the first step towards obtaining a toy model for a non-ideal gas where higher order interactions are taken into account.
Moment estimates and well-posedness of the binary-ternary Boltzmann equation
Courant Institute of Mathematical Sciences, New York University（纽约大学柯朗数学科学研究所）；Department of Mathematics, The University of Texas at Austin（德克萨斯大学奥斯汀分校数学系）；Department of Mathematics, Emory University（埃默里大学数学系）
We present the arising of the Fick cross-diffusion system of equations for fluid mixtures from the multi-species Boltzmann in a rigorous manner in Sobolev spaces. To this end, we formally show that, in a diffusive scaling, the hydrodynamical limit of the kinetic system is the Fick model supplemented with a closure relation and we give explicit formulae for the macroscopic diffusion coefficients from the Boltzmann collision operator. Then, we provide a perturbative Cauchy theory in Sobolev spaces for the constructed Fick system, which turns out to be a dilated parabolic equation. We finally pro…
In this paper, we rigorously derive a Boltzmann equation for mixtures from the many body dynamics of two types of hard sphere gases. We prove that the microscopic dynamics of two gases with different masses and diameters is well defined, and introduce the concept of a two parameter BBGKY hierarchy to handle the non-symmetric interaction of these gases. As a corollary of the derivation, we prove Boltzmann's propagation of chaos assumption for the case of a mixtures of gases.
We study the stationary Boltzmann equation in a thin slab for a rarefied gas for which the molecular mean free path is comparable to the film thickness. We prove that there exists a solution which converges, in the hydrodynamic limit, to a density Maxwellian -- this density is obtained as the solution to the generalized Reynolds equation. The convergence is proved using a truncated Hilbert expansion by carefully estimating the remainder.
The rigorous derivation of the Uehling-Uhlenbeck equation from more fundamental quantum many-particle systems is a challenging open problem in mathematics. In this paper, we exam the weak coupling limit of quantum N-particle dynamics. We assume the integral of the microscopic interaction is zero and we assume W^{4,1} per-particle regularity on the coressponding BBGKY sequence so that we can rigorously commute limits and integrals. We prove that, if the BBGKY sequence does converge in some weak sense, then this weak-coupling limit must satisfy the infinite quantum Maxwell-Boltzmann hierarchy in…
In this work, we mainly concern the limiting behavior of the electromagnetic field of two species Vlasov-Maxwell-Botlzmann system in diffusive limits. As knudsen numbers goes to zero, the electric magnetic and magnetic field may perserve or vanish. We verify rigorously Navier-Stokes, Navier-Stokes-Poisson and Navier-Stokes Maxwell limit of the two species Vlasov-Maxwell-Boltzmann system on the torus in three dimension. The justification is based on the unified and uniform estimates of solutions to the dimensionless Vlasov-Maxwell-Boltzmann. The uniform estimates of solutions are obtained by em…
A Rigorous Derivation of the Vlasov-Navier-Stokes Model from Multicomponent Boltzmann Equations
Hunan University（湖南大学）；School of Mathematics, Hunan University（湖南大学数学学院）；Hunan Provincial Key Laboratory of Intelligent Information Processing and Applied Mathematics, Hunan University（湖南大学智能信息处理与应用数学湖南省重点实验室）
A rigorous derivation of point vortex systems from kinetic equations has been a challenging open problem, due to singular layers in the inviscid limit, giving a large velocity gradient in the Boltzmann equations. In this paper, we derive the Helmholtz-Kirchhoff point-vortex system from the hydrodynamic limits of the Boltzmann equations. We construct Boltzmann solutions by the Hilbert-type expansion associated to the point vortices solutions of the 2D Navier-Stokes equations. We give a precise pointwise estimate for the solution of the Boltzmann equations with small Strouhal number and Knudsen …
In gas dynamics, the connection between the continuum physics model offered by the Navier-Stokes equations and the heat equation and the molecular model offered by the kinetic theory of gases has been understood for some time, especially through the work of Chapman and Enskog, but it has never been established rigorously. This paper established a precise bridge between this two models for a simple linear Boltzman-like equation. Specifically a special class of solutions, the grossly determined solutions, of this kinetic model are shown to exist and satisfy closed form balance equations represen…
The Boltzmann-Enskog equation for a hard sphere gas is known to have so called microscopic solutions, i.e., solutions of the form of time-evolving empirical measures of a finite number of hard spheres. However, the precise mathematical meaning of these solutions should be discussed, since the formal substitution of empirical measures into the equation is not well-defined. Here we give a rigorous mathematical meaning to the microscopic solutions to the Boltzmann-Enskog equation by means of a suitable series representation.
We investigate the diffusion asymptotics of the Boltzmann equation for gaseous mixtures, in the perturbative regime around a local Maxwellian vector whose fluid quantities solve a flux-incompressible Maxwell-Stefan system. Our framework is the torus and we consider hard-potential collision kernels with angular cutoff. As opposed to existing results about hydrodynamic limits in the mono-species case, the local Maxwellian we study here is not a local equilibrium of the mixture due to cross-interactions. By means of a hypocoercive formalism and introducing a suitable modified Sobolev norm, we bui…
In this paper we present a rigorous derivation of the Boltzmann equation in a compact domain with diffuse reflection boundary conditions. We consider a system of $N$ hard spheres of diameter $ε$ in a box $Λ:= [0, 1] \times (R/Z)^2$. When a particle meets the boundary of the domain, it is instantaneously reinjected into the box with a random direction, and conserving kinetic energy. We prove that the first marginal of the process converges in the scaling $Nε^2 = 1$, $ε\rightarrow 0$ to the solution of the Boltzmann equation, with the same short time restriction of Lanford's classical theorem.
In the paper the possible approaches to the rigorous derivation of the Boltzmann kinetic equation with hard sphere collisions from underlying dynamics are considered. In particular, a formalism for the description of the evolution of infinitely many hard spheres within the framework of marginal observables in the Boltzmann--Grad scaling limit is developed. Also we give consideration to one more approach of the description of the kinetic evolution of hard spheres in terms of a one-particle distribution function governed by the non-Markovian generalization of the Enskog equation and the Boltzman…
A rigorous derivation of the incompressible Euler equations with the no-penetration boundary condition from the Boltzmann equation with the diffuse reflection boundary condition has been a challenging open problem. We settle this open question in the affirmative when the initial data of fluid are well-prepared in a real analytic space, in 3D half space. As a key of this advance we capture the Navier-Stokes equations of $$\textit{viscosity} \sim \frac{\textit{Knudsen number}}{\textit{Mach number}}$$ satisfying the no-slip boundary condition, as an $\textit{intermediary}$ approximation of the Eu…
We study Boltzmann-Fermi-Dirac equation when quantum effects are taken into account in dilute gas dynamics. By employing new estimates on trilinear terms of collision kernels, we prove the global existence of the classical solution to Boltzmann-Fermi-Dirac equation near equilibrium. Furthermore, the limit from Boltzmann-Fermi-Dirac equation to incompressible Navier-Stokes-Fourier equations is justified rigorously. The corresponding formal analysis was given in the thesis of Zakrevskiy \cite{Zakrevskiy}
We consider a Boltzmann model introduced by Bertin, Droz and Greegoire as a binary interaction model of the Vicsek alignment interaction. This model considers particles lying on the circle. Pairs of particles interact by trying to reach their mid-point (on the circle) up to some noise. We study the equilibria of this Boltzmann model and we rigorously show the existence of a pitchfork bifurcation when a parameter measuring the inverse of the noise intensity crosses a critical threshold. The analysis is carried over rigorously when there are only finitely many non-zero Fourier modes of the noise…
In this paper we present a formal analysis of the long-time asymptotics of a particular class of solutions of the Boltzmann equation, known as homoenergetic solutions, which have the form $f\left( x,v,t\right)=g\left( v-L\left( t\right) x,t\right)$ where $L\left( t\right) =A\left(I+tA\right) ^{-1}$ with the matrix $A$ describing a shear flow or a dilatation or a combination of both. We began this study in \cite{JNV1}. Homoenergetic solutions satisfy an integro-differential equation which contains, in addition to the classical Boltzmann collision operator, a linear hyperbolic term. In \cite{JNV…
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.
In this paper we study a class of solutions of the Boltzmann equation which have the form $f\left( x,v,t\right) =g\left( v-L\left( t\right) x,t\right) $ where $L\left( t\right) =A\left( I+tA\right) ^{-1}$ with the matrix $A$ describing a shear flow or a dilatation or a combination of both. These solutions are known as homoenergetic solutions. We prove existence of homoenergetic solutions for a large class of initial data. For different choices for the matrix $A$ and for different homogeneities of the collision kernel, we characterize the long time asymptotics of the velocity distribution for t…
In this paper, we provide the first rigorous derivation of hydrodynamic equations from the Boltzmann equation for inelastic hard spheres with small inelasticity. The hydrodynamic system that we obtain is an incompressible Navier-Stokes-Fourier system with self-consistent forcing terms and is thus the first hydrodynamic system that properly describes rapid granular flows. To do that, we write our Boltzmann equation in nondimensional form introducing the dimensionless Knudsen number which is intended to tend to 0. The difficulties are then manyfold, the first one coming from the fact that the or…
This paper justifies the compressible Euler and acoustic limits from quantum Boltzmann equation with Fermi-Dirac statistics (briefly, BFD) rigorously. This limit was formally derived in Zakrevskiy's thesis \cite{Zakrevskiy} by moment method. We employ the Hilbert approach. The forms of the classical compressible Euler system and the one derived from BFD are different. Our proof is based on the analysis of the nonlinear implicit transformation of these two forms, and a few novel nonlinear estimates.
The Boltzmann H-theorem implies that the solution to the Boltzmann equation tends to an equilibrium, that is, a Maxwellian when time tends to infinity. This has been proved in varies settings when the initial energy is finite. However, when the initial energy is infinite, the time asymptotic state is no longer described by a Maxwellian, but a self-similar solution obtained by Bobylev-Cercignani. The purpose of this paper is to rigorously justify this for the spatially homogeneous problem with Maxwellian molecule type cross section without angular cutoff.
We justify the Villani conjecture on the smoothing effect for measure value solutions to the space homogeneous Boltzmann equation of Maxwellian type cross sections. This is the first rigorous proof of the smoothing effect for any measure value initial data except the single Dirac mass, which gives the optimal description on the regularity of solutions for positive time, caused by the singularity in the cross section. The main new ingredient in the proof is the introduction of a time degenerate coercivity estimate by using the microlocal analysis.
The Boltzmann equation is studied without the cutoff assumption. Under a perturbative setting, a unique global solution of the Cauchy problem of the equation is established in a critical Chemin-Lerner space. In order to analyse the collisional term of the equation, a Chemin-Lerner norm is combined with a non-isotropic norm with respect to a velocity variable, which yields an apriori estimate for an energy estimate. Together with local existence following from commutator estimates and the Hahn-Banach extension theorem, the desired solution is obtained. Also, the non-negativity of the solution i…
A nonlinear Poisson--Boltzmann equation with transmission boundary conditions at the interface between two materials is investigated. The model describes the electrostatic potential generated by a vector of ion concentrations in a periodic multiphase medium with dilute solid particles. The key issue is that the interfacial transfer allows jumps and thus discontinuous solutions of the problem. Based on variational techniques, we derive the homogenisation of the discontinuous problem subject to inhomogeneous transmission interface conditions. Moreover, we establish a rigorous residual error esti…
A linear Boltzmann equation with nonautonomous collision operator is rigorously derived in the Boltzmann-Grad limit for the deterministic dynamics of a Rayleigh gas where a tagged particle is undergoing hard-sphere collisions with heterogeneously distributed background particles, which do not interact among each other. The validity of the linear Boltzmann equation holds for arbitrary long times under moderate assumptions on spatial continuity and higher moments of the initial distributions of the tagged particle and the heterogeneous, non-equilibrium distribution of the background. The empiric…
We provide a rigorous derivation of the Boltzmann equation as the mesoscopic limit of systems of hard spheres, or Newtonian particles interacting via a short-range potential, as the number of particles $N$ goes to infinity and the characteristic length of interaction $\e$ simultaneously goes to $0,$ in the Boltzmann-Grad scaling $N \e^{d-1} \equiv 1.$ The time of validity of the convergence is a fraction of the average time of first collision, due to a limitation of the time on which one can prove uniform estimates for the BBGKY and Boltzmann hierarchies. Our proof relies on the fundamental id…
Consider 3D Boltzmann equation in convex domains with diffusive-reflection boundary condition. We study the hydrodynamic limits as the Knudsen number and Strouhal number $ε\rightarrow 0^+$. Using the Hilbert expansion, we rigorously justify that the solution of stationary/evolutionary problem converges to that of the steady/unsteady Navier-Stokes-Fourier system. This is the first paper to justify the hydrodynamic limits of nonlinear Boltzmann equations with hard-sphere collision kernel in bounded domain in the $L^{\infty}$ sense. The proof relies on a novel analysis on the boundary layer effec…
For multispecies ions, we study boundary layer solutions of charge conserving Poisson-Boltzmann (CCPB) equations [50] (with a small parameter ǫ) over a finite one-dimensional (1D) spatial domain, subjected to Robin type boundary conditions with variable coefficients. Hereafter, 1D boundary layer solutions mean that as ǫ approaches zero, the profiles of solutions form boundary layers near boundary points and become flat in the interior domain. These solutions are related to electric double layers with many applications in biology and physics. We rigorously prove the asymptotic behaviors of 1D b…
Boltzmann's equation provides a microscopic model for the evolution of dilute classical gases. A fundamental problem in mathematical physics is to rigorously derive Boltzmann's equation starting from Newton's laws. In the 1970s, Oscar Lanford provided such a derivation, for the hard sphere interaction, on a small time interval. One of the subtleties of Lanford's original proof was that the strength of convergence proven at positive times was much weaker than that which had to be assumed at the initial time, which is at odds with the idea of propagation of chaos. Several authors have addressed …
Despite its conceptual and practical importance, the rigorous derivation of the steady incompressible Navier-Stokes-Fourier system from the Boltzmann theory has been {an} outstanding {open problem} for general domains in 3D. We settle this open question in {the} affirmative, in the presence of a small external field and a small boundary temperature variation for the diffuse boundary condition. We employ a recent quantitative $L^{2}-L^{\infty }$ approach with new $L^{6}$ estimates for the hydrodynamic part $\mathbf{P}f$ of the distribution function. Our results also imply the validity of Fourie…
