This article is concerned with the dynamics of a mixture of gases. Under the assumption that all the gases are isothermal and inviscid, we show that the governing equations have an elegant conservation-dissipation structure. With the help of this structure, a multicomponent diffusion law is derived mathematically rigorously. This clarifies a long-standing non-uniqueness issue in the field for the first time. The multicomponent diffusion law derived here takes the spatial gradient of an entropic variable as the thermodynamic forces and satisfies a nonlinear version of the Onsager reciprocal relations.
A Type-I model of a multicomponent system of fluids with non-constant temperature is derived as the high-friction limit of a Type-II model via a Chapman-Enskog expansion. The asymptotic model is shown to fit into the general theory of hyperbolic-parabolic systems, by exploiting the entropy structure inherited through the asymptotic procedure. Finally, by deriving the relative entropy identity for the Type-I model, two convergence results for smooth solutions are presented, from the system with mass-diffusion and heat conduction to the corresponding system without mass-diffusion but including h…
We consider a nonlinear Schroedinger equation in two spatial dimensions subject to a periodic honeycomb lattice potential. Using a multi-scale expansion together with rigorous error estimates, we derive an effective model of nonlinear Dirac type. The latter describes the propagation of slowly modulated, weakly nonlinear waves spectrally localized near a Dirac point.
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.
In this paper, a diffusion-aggregation equation with delta potential is introduced. Based on the global existence and uniform estimates of solutions to the diffusion-aggregation equation, we also provide the rigorous derivation from a stochastic particle system while introducing an intermediate particle system with smooth interaction potential. The theoretical results are compared to numerical simulations relying on suitable discretization schemes for the microscopic and macroscopic level. In particular, the regime switch where the analytic theory fails is numerically analyzed very carefully a…
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.
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
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…
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…
This paper revisits the modeling of multicomponent diffusion within the framework of thermodynamics of irreversible processes. We briefly review the two well-known main approaches, leading to the generalized Fick-Onsager multicomponent diffusion fluxes or to the generalized Maxwell-Stefan equations. The latter approach has the advantage that the resulting fluxes are consistent with non-negativity of the partial mass densities for non-singular and non-degenerate Maxwell-Stefan diffusivities. On the other hand, this approach requires computationally expensive matrix inversions since the fluxes a…
We review our recent result on the rigorous derivation of the renormalized Gibbs measure from the many-body Gibbs state in 1D and 2D. The many-body renormalization is accomplished by simply tuning the chemical potential in the grand-canonical ensemble, which is analogous to the Wick ordering in the classical field theory.
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 present a rigorous derivation of the point vortex model starting from the two-dimensional nonlinear Schr{ö}dinger equation, from the Hamiltonian perspective, in the limit of well-separated, subsonic vortices on the background of a spatially-infinite strong condensate. As a corollary, we calculate to high accuracy the self-energy of an isolated elementary Pitaevskii vortex, for the first time.
