In this paper we review and systematize the mathematical theory on justification of sixth-order thin-film equations as reduced models for various fluid-structure interaction systems in which fluids are lubricating underneath elastic structures. Justification is based on careful examination of energy estimates, weak convergence results of solutions of the original fluid-structure interaction systems to the solution of the sixth-order thin-film equation, and quantitative error estimates which provide even strong convergence results.
Starting from Beris-Edwards system for the liquid crystal, we present a rigorous derivation of Ericksen-Leslie system with general Ericksen stress and Leslie stress by using the Hilbert expansion method.
In this paper, we rigorously derive the compressible one-fluid Navier-Stokes equation from the scaled compressible two-fluid Navier-Stokes-Maxwell equations locally in time under the assumption that the initial data are well prepared. We justify the singular limit by proving the uniform decay of the error system, which is obtained by elaborate energy estimates.
We provide a rigorous derivation of the compressible Reynolds system as a singular limit of the compressible (barotropic) Navier-Stokes system on a thin domain. In particular, the existence of solutions to the Navier-Stokes system with non-homogeneous boundary conditions is shown that may be of independent interest. Our approach is based on new a priori bounds available for the pressure law of hard sphere type. Finally, uniqueness for the limit problem is established in the 1D case.
We introduce a spatially extended transport kinetic FitzHugh-Nagumo model with forced local interactions and prove that its hydrodynamic limit converges towards the classical nonlocal reaction-diffusion FitzHugh-Nagumo system. Our approach is based on a relative entropy method, where the macroscopic quantities of the kinetic model are compared with the solution to the nonlocal reaction-diffusion system. This approach allows to make the rigorous link between kinetic and reaction-diffusion models.
Reactions with enzymes are critical in biochemistry, where the enzymes act as catalysis in the process. One of the most used mechanisms for modeling enzyme-catalyzed reactions is the Michaelis-Menten (MM) kinetic. In the ODE level, i.e. concentrations are only on time-dependent, this kinetic can be rigorously derived from mass action law using quasi-steady-state approximation. This issue in the PDE setting, for instance when molecular diffusion is taken into account, is considerably more challenging and only formal derivations have been established. In this paper, we prove this derivation rigo…
We consider the full Navier-Stokes-Fourier system in the singular regime of small Mach and large Reynolds and Peclet numbers, with ill prepared initial data on an unbounded domain in the three dimensional Euclidean space with a compact boundary. We perform the singular limit in the framework of weak solutions and identify the Euler-Boussinesq system as the target problem.
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 primitive equations of large-scale oceanic dynamics form a fundamental model in geophysical flows. It is well-known that the primitive equations can be formally derived by the hydrostatic approximation. On the other hand, the mathematically rigorous derivation of the primitive equations without coupling with the temperature is also known. In this paper, we generalize the above result from the mathematical point of view. More precisely, we prove that the scaled Boussinesq equations with rotation converge to the full primitive equations in a strong sense, globally in time, with the convergen…
In this work we upscale a prototypical kinetic transport equation which models a cell population moving in a fibrous environment with a chemo- or haptotactic signal influencing both the direction and the magnitude of the cell velocity. The presented approach to scaling does not rely on orthogonality and treats parabolic and hyperbolic scalings in a unified manner. It is shown that the steps of the formal limit procedures are mirrored by rigorous operations with finite measures provided that the measure-valued position-direction fiber distribution enjoys some spacial continuity.
In this article, we investigate the kinetic/fluid coupling on a toy model. We obtain it rigorously from a hydrodynamical limit. The idea is that at the level of the full kinetic model, the coupling is obvious. We then investigate the coupling obtained when passing into the limit. We show that, especially in presence of a shock stuck on the interface, the coupling involves a kinetic layer known as the Milne problem. Due to this layer, the limit process is quite delicate and some blow-up techniques are needed to ensure its strong convergence.
In this paper, we rigorously derive the governed equations describing the motion of stable stratified fluid, from the mathematical point of view. Specially, we prove that the scaled Boussinesq equations strongly converge to the viscous primitive equations with density stratification as the aspect ration parameter goes to zero, and the rate of convergence is of the same order as the aspect ratio parameter. Moreover, in order to obtain this convergence result, we also establish the global well-posedness of strong solutions to the viscous primitive equations with density stratification.
We derive the Whitham equations from the water waves equations in the shallow water regime using two different methods, thus obtaining a direct and rigorous link between these two models. The first one is based on the construction of approximate Riemann invariants for a Whitham-Boussinesq system and is adapted to unidirectional waves. The second one is based on a generalisation of Birkhoff's normal form algorithm for almost smooth Hamiltonians and is adapted to bidirectional propagation. In both cases we clarify the improved accuracy on the fully dispersive Whitham model with respect to the lo…
In this paper we are interested in a rigorous derivation of the Kuramoto-Sivashinsky equation (K--S) in a Free Boundary Problem. As a paradigm, we consider a two-dimensional Stefan problem in a strip, a simplified version of a solid-liquid interface model. Near the instability threshold, we introduce a small parameter $\varepsilon$ and define rescaled variables accordingly. At fixed $\varepsilon$, our method is based on: definition of a suitable linear 1D operator, projection with respect to the longitudinal coordinate only, Lyapunov-Schmidt method. As a solvability condition, we derive a self…
The aim of this paper is to provide the analysis result for the partial differential equations arising from the rigorous derivation of the degenerate parabolic-elliptic Keller-Segel system from a moderately interacting stochastic particle system. The rigorous derivation is divided into two articles. In this paper, we establish the solution theory of the degenerate parabolic-elliptic Keller-Segel problem and its non-local version, which will be used in the second paper for the discussion of the mean-field limit. A parabolic regularized system is introduced to bridge the stochastic particle mode…
The goal of this paper is to apply the recently developed theory of buckling of arbitrary slender bodies to a tractable yet non-trivial example of buckling in axially compressed circular cylindrical shells, regarded as three-dimensional hyperelastic bodies. The theory is based on a mathematically rigorous asymptotic analysis of the second variation of 3D, fully nonlinear elastic energy, as the shell's slenderness parameter goes to zero. Our main results are a rigorous proof of the classical formula for buckling load and the explicit expressions for the relative amplitudes of displacement compo…
In order to improve the frequency dispersion effects of irrotational shallow water models in coastal oceanography, several full dispersion versions of classical models were formally derived in the literature. The idea, coming from G. Whitham in [21], was to modify them so that their dispersion relation is the same as the water waves equations. In this paper we construct new shallow water approximations of the velocity potential then deducing ones on the vertically averaged horizontal component of the velocity. We make use of them to derive rigorously from the water waves equations two new Hami…
We use variational convergence to derive a hierarchy of one-dimensional rod theories, starting out from three-dimensional models in nonlinear elasticity subject to local volume-preservation. The densities of the resulting $Γ$-limits are determined by minimization problems with a trace constraint that arises from the linearization of the determinant condition of incompressibility. While the proofs of the lower bounds rely on suitable constraint regularization, the upper bounds require a careful, explicit construction of locally volume-preserving recovery sequences. After decoupling the cross-se…
We consider the kinetic Cucker-Smale model with local alignment as a mesoscopic description for the flocking dynamics. The local alignment was first proposed by Karper, Mellet and Trivisa \cite{K-M-T-3}, as a singular limit of a normalized non-symmetric alignment introduced by Motsch and Tadmor \cite{M-T-1}. The existence of weak solutions to this model is obtained in \cite{K-M-T-3}. The time-asymptotic flocking behavior is shown in this article. Our main contribution is to provide a rigorous derivation from mesoscopic to mascroscopic description for the Cucker-Smale flocking models. More prec…
We analyze a linear 3D/3D fluid-structure interaction problem between a thin layer of a viscous fluid and a thin elastic plate-like structure with the aim of deriving a simplified reduced model. Based on suitable energy dissipation inequalities quantified in terms of two small parameters, thickness of the fluid layer and thickness of the elastic structure, we identify the right relation between the system coefficients and small parameters which eventually provide a reduced model on the vanishing limit. The reduced model is a linear sixth-order thin-film equation describing the out-of-plane dis…
In the context of finite elasticity, we propose plate models describing the spontaneous bending of nematic elastomer thin films due to variations along the thickness of the nematic order parameters. Reduced energy functionals are deduced from a three-dimensional description of the system using rigorous dimension-reduction techniques, based on the theory of Gamma-convergence. The two-dimensional models are nonlinear plate theories in which deviations from a characteristic target curvature tensor cost elastic energy. Moreover, the stored energy functional cannot be minimised to zero, thus reveal…
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（湖南大学智能信息处理与应用数学湖南省重点实验室）
The goal of this paper is twofold. On the one hand, we introduce a quasi-homogeneous version of the classical ideal MHD system and study its well-posedness in critical Besov spaces $B^s_{p,r}(\mathbb{R}^d)$, $d\geq2$, with $1<p<+\infty$ and under the Lipschitz condition $s>1+d/p$ and $r\in[1,+\infty]$, or $s=1+d/p$ and $r=1$. A key ingredient is the reformulation of the system \textsl{via} the so-called Elsässer variables. On the other hand, we give a rigorous justification of quasi-homogeneous MHD models, both in the ideal and in the dissipative cases: when $d=2$, we will derive them from a n…
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 investigate the interaction of fluid flow with a thin porous elastic layer. We consider two fluid-filled bulk domains which are separated by a thin periodically perforated layer consisting of a fluid and an elastic solid part. Thickness and periodicity of the layer are of order $ε$, where $ε$ is small compared to the size of the bulk domains. The fluid flow is described by an instationary Stokes equation and the solid via linear elasticity. The main contribution of this paper is the rigorous homogenization of the porous structure in the layer and the reduction of the layer to …
Using a modified WKB approach, we present a rigorous semi-classical analysis for solutions of nonlinear Schroedinger equations with rotational forcing. This yields a rigorous justification for the hydrodynamical system of rotating superfluids. In particular it is shown that global-in-time semi-classical convergence holds whenever the limiting hydrodynamical system has global smooth solutions and we also discuss the semi-classical dynamics of several physical quantities describing rotating superfluids.
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 prove that the unique entropy solution to a scalar nonlinear conservation law with strictly monotone velocity and nonnegative initial condition can be rigorously obtained as the large particle limit of a microscopic follow-the-leader type model, which is interpreted as the discrete Lagrangian approximation of the nonlinear scalar conservation law. More precisely, we prove that the empirical measure (respectively the discretised density) obtained from the follow-the-leader system converges in the 1-Wasserstein topology (respectively in $L^1_{loc}$) to the unique Kruzkov entropy solution of t…
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…
In this article we will introduce a new model to describe the leading order behavior of an ideal and axisymmetric fluid moving in a very narrow domain. After providing a formal derivation of the model, we will prove the well-posedness and provide a rigorous mathematical justification for the formal derivation under a new sign condition. Finally, a blowup result regarding this model will be discussed as well.
We are interested by the behaviour of a 1D single heavy particle, interacting with an environment made of very fast particles in a thermal state. Assuming that the interactions are instantaneous, we construct an appropriate quantum jump process for the density operator of the heavy particle. In a weak-coupling limit (many interactions with few effect), we show that the solutions of jump process converge in law in the appropriate space towards the solution of a Lindbald master equation. To the best of our knowledge, it seems to be the first rigorous derivation of a dissipative quantum evolution…
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 provide a rigorous derivation of an effective rheology for dilute viscous suspensions of self-propelled particles. We derive at the limit an effective Stokes system with two additional terms. The first term corresponds to an effective viscosity that matches the famous Einstein's formula $μ_{eff}=(1+ \frac{5}{2} λ)μ$. The second additional term derived is an effective active stress $σ_1$ that appears as a forcing term $λ\, \text{div} \, σ_1$ in the fluid equation. We then investigate the effects of this term depending on the micro-swimmers nature and their distribution in the fluid.
We consider the dynamics of the 3D N-body Schrödinger equation in the presence of a quadratic trap. We assume the pair interaction potential is N^{3β-1}V(N^{β}x). We justify the mean-field approximation and offer a rigorous derivation of the 3D cubic NLS with a quadratic trap. We establish the space-time bound conjectured by Klainerman and Machedon [30] for β in (0,2/7] by adapting and simplifying an argument in Chen and Pavlović [7] which solves the problem for β in (0,1/4) in the absence of a trap.
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…
We study the 3-D compressible barotropic radiation fluid dynamics system describing the motion of the compressible rotating viscous fluid with gravitation and radiation confined to a straight layer. We show that weak solutions in the 3-D domain converge to the strong solution of the rotating 2-D Navier-Stokes-Poisson system with radiation for all times less than the maximal life time of the strong solution of the 2-D system when the Froude number is small or to the strong solution of the rotating pure 2-D Navier- Stokes system with radiation.
Population cross-diffusion systems of Shigesada-Kawasaki-Teramoto type are derived in a mean-field-type limit from stochastic, moderately interacting many-particle systems for multiple population species in the whole space. The diffusion term in the stochastic model depends nonlinearly on the interactions between the individuals, and the drift term is the gradient of the environmental potential. In the first step, the mean-field limit leads to an intermediate nonlocal model. The local cross-diffusion system is derived in the second step in a moderate scaling regime, when the interaction potent…
We consider the 3D quantum many-body dynamics describing a dilute bose gas with strong confining in one direction. We study the corresponding BBGKY hierarchy which contains a diverging coefficient as the strength of the confining potential tends to $\infty$. We find that this diverging coefficient is counterbalanced by the limiting structure of the density matrices and establish the convergence of the BBGKY hierarchy. Moreover, we prove that the limit is fully described by a 2D cubic NLS and obtain the exact 3D to 2D coupling constant.
We formally derive the hydrodynamic limit of a system modelling a bosons gas having a condensed part, made of a quantum kinetic and a Gross-Pitaevskii equation. The limit model, which is a two-fluids Euler system, is approximated by an isentropic system, which is then studied. We find in particular some conditions for the hyperbolicity, and we study the weak solutions. A numerical example is given at the end.
We consider the 2d and 3d many body Schrödinger equations in the presence of anisotropic switchable quadratic traps. We extend and improve the collapsing estimates in Klainerman-Machedon [24] and Kirkpatrick-Schlein-Staffilani [23]. Together with an anisotropic version of the generalized lens transform in Carles [3], we derive rigorously the cubic NLS with anisotropic switchable quadratic traps in 2d through a modified Elgart-Erdös-Schlein-Yau procedure. For the 3d case, we establish the uniqueness of the corresponding Gross-Pitaevskii hierarchy without the assumption of factorized initial dat…
By using a set of scaling limits, the authors in \cite{ADFL,SS} proposed a framework of deriving the Hall-MHD equations from the two-fluids Euler-Maxwell equations for electrons and ions. In this paper, we derive the Hall-MHD equations from the Navier-Stokes-Maxwell equations with generalized Ohm's law in a mathematically rigorous way via the spectral analysis and energy methods.
We consider the dynamics of N bosons in one dimension. We assume that the pair interaction is attractive and given by N^{β-1}V(N^β\cdot) where \int V\leqslant 0. We develop new techniques in treating the N-body Hamiltonian so that we overcome the difficulties generated by the attractive interaction and establish new energy estimates. We also prove the optimal 1D collapsing estimate which reduces the regularity requirement in the uniqueness argument by half a derivative. We derive rigorously the one dimensional focusing cubic NLS with a quadratic trap as the N->\infty limit of the N-body dynami…
