We develop a rigorous formalism for the description of the kinetic evolution of infinitely many hard spheres. On the basis of the kinetic cluster expansions of cumulants of groups of operators of finitely many hard spheres the nonlinear kinetic Enskog equation and its generalizations are justified. It is established that for initial states which are specified in terms of one-particle distribution functions the description of the evolution by the Cauchy problem of the BBGKY hierarchy and by the Cauchy problem of the generalized Enskog kinetic equation together with a sequence of explicitly defined functionals of a solution of stated kinetic equation is an equivalent. For the initial-value problem of the generalized Enskog equation the existence theorem is proved in the space of integrable functions.
New forms of non-relativistic and relativistic hydrodynamic equations as derived by the renormalization-group method - possible functional ansatz in the moment method consistent with Chapman-Enskog theory -
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.
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.
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…
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…
We consider the Vlasov equation in any spatial dimension, which has long been known to be an infinite-dimensional Hamiltonian system whose bracket structure is of Lie-Poisson type. In parallel, it is classical that the Vlasov equation is a mean-field limit for a pairwise interacting Newtonian system. Motivated by this knowledge, we provide a rigorous derivation of the Hamiltonian structure of the Vlasov equation, both the Hamiltonian functional and Poisson bracket, directly from the many-body problem. One may view this work as a classical counterpart to arXiv:1908.03847, which provided a rigor…
We derive rigorously the 2D periodic focusing cubic NLS as the mean-field limit of the 3D focusing quantum many-body dynamics describing a dilute Bose gas with periodic boundary condition in the $x$-direction and a well of infinite-depth in the $z$-direction. Physical experiments for these systems are scarce. We find that, to fulfill the empirical requirement for observing NLS dynamics in experiments, namely, the kinetic energy dominates the potential energy, it is necessary to impose an extra restriction on the system parameters. This restriction gives rises to an unusual coupling constant.
We consider the cubic nonlinear Schrödinger equation (NLS) in any spatial dimension, which is a well-known example of an infinite-dimensional Hamiltonian system. Inspired by the knowledge that the NLS is an effective equation for a system of interacting bosons as the particle number tends to infinity, we provide a derivation of the Hamiltonian structure, which is comprised of both a Hamiltonian functional and a weak symplectic structure, for the nonlinear Schrödinger equation from quantum many-body systems. Our geometric constructions are based on a quantized version of the Poisson structure i…
A longstanding problem in mathematical physics is the rigorous derivation of the incompressible Euler equation from Newtonian mechanics. Recently, Han-Kwan and Iacobelli arXiv:2006.14924 showed that in the monokinetic regime, one can directly obtain the Euler equation from a system of $N$ particles interacting in $\mathbb{T}^d$, $d\geq 2$, via Newton's second law through a supercritical mean-field limit. Namely, the coupling constant $λ$ in front of the pair potential, which is Coulombic, scales like $N^{-θ}$ for some $θ\in (0,1)$, in contrast to the usual mean-field scaling $λ\sim N^{-1}$. As…
We consider a linear system that consists of a linear wave equation on a horizontal hypersurface and a parabolic equation in the half space below. The model describes longitudinal elastic waves in organic monolayers at the water-air interface, which is an experimental setup that is relevant for understanding wave propagation in biological membranes. We study the scaling regime where the relevant horizontal length scale is much larger than the vertical length scale and provide a rigorous limit leading to a fractionally-damped wave equation for the membrane. We provide the associated existence r…
We have explained and comprehensively illustrated in Part I that the generalized Pauli constraints suggest a natural extension of the concept of active spaces. In the present Part II, we provide rigorous derivations of the theorems involved therein. This will offer in particular deeper insights into the underlying mathematical structure and will explain why the saturation of generalized Pauli constraints implies a specific simplified structure of the corresponding many-fermion quantum state. Moreover, we extend the results of Part I to non-fermionic multipartite quantum systems, revealing that…
Mathematical matrix theory of the field in n-dimensional metric space: rigorous derivation of the equations of the field with application in electromagnetic-gravitational fields
