Showing 1–18 of 18 results for author: Serre, D

Compensated Integrability in bounded domains ; Applications to gases

Authors: Denis Serre

Abstract: An accurate functional inequality for Div-BV positive symmetric tensors $A$ in a bounded domain $U\subset\mathbb{R}^n$ arises whenever the tangential part of the normal trace $γ_νA\sim A\vecν$ is a finite measure over $\partial U$. The proof involves an extension operator to a neighbourhood of $\bar U$. The resulting inequality depends upon the domain only through the $C^3$-regularity of… ▽ More An accurate functional inequality for Div-BV positive symmetric tensors $A$ in a bounded domain $U\subset\mathbb{R}^n$ arises whenever the tangential part of the normal trace $γ_νA\sim A\vecν$ is a finite measure over $\partial U$. The proof involves an extension operator to a neighbourhood of $\bar U$. The resulting inequality depends upon the domain only through the $C^3$-regularity of $\partial U$, some constant involving the curvature and its first derivatives.This abstract statement applies to several models of Gas Dynamics (Euler system, Hard Spheres dynamics), as the boundary condition (slip, or reflection) tells us that $A\vecν$ is parallel to $\vecν$, where $A$ is the mass-momentum tensor. △ Less

Submitted 23 December, 2024; v1 submitted 19 September, 2024; originally announced September 2024.

Mixed determinants, Compensated Integrability and new {\em a priori} estimates in Gas dynamics

Authors: Denis Serre

Abstract: We extend the scope of our recent Compensated Integrability theory, by exploiting the multi-linearity of the determinant map over ${\bf Sym}_n(\mathbb{R})$. This allows us to establish new {\em a priori} estimates for inviscid gases flowing in the whole space ${\mathbb R}^d$. Notably, we estimate the defect measure (Boltzman equation) or weighted spacial correlations of the velocity field (Euler s… ▽ More We extend the scope of our recent Compensated Integrability theory, by exploiting the multi-linearity of the determinant map over ${\bf Sym}_n(\mathbb{R})$. This allows us to establish new {\em a priori} estimates for inviscid gases flowing in the whole space ${\mathbb R}^d$. Notably, we estimate the defect measure (Boltzman equation) or weighted spacial correlations of the velocity field (Euler system). As usual, our bounds involve only the total mass and energy of the flow. △ Less

Submitted 13 February, 2023; originally announced February 2023.

Symmetric Divergence-free tensors in the calculus of variations

Authors: Denis Serre

Abstract: Divergence-free symmetric tensors seem ubiquitous in Mathematical Physics. We show that this structure occurs in models that are described by the so-called "second" variational principle, where the argument of the Lagrangian is a closed differential form. Divergence-free tensors are nothing but the second form of the Euler--Lagrange equations. The symmetry is associated with the invariance of the… ▽ More Divergence-free symmetric tensors seem ubiquitous in Mathematical Physics. We show that this structure occurs in models that are described by the so-called "second" variational principle, where the argument of the Lagrangian is a closed differential form. Divergence-free tensors are nothing but the second form of the Euler--Lagrange equations. The symmetry is associated with the invariance of the Lagrangian density upon the action of some orthogonal group. △ Less

Submitted 7 September, 2021; v1 submitted 3 September, 2021; originally announced September 2021.

Projective properties of Divergence-free symmetric tensors, and new dispersive estimates in gas dynamics

Authors: Denis Serre

Abstract: The class of Divergence-free symmetric tensors is ubiquitous in Continuum Mechanics. We show its invariance under projective transformations of the independent variables. This action, which preserves the positiveness, extends Sophus Lie's group analysis of Newtonian dynamics.When applied to models of gas dynamics --~such as Euler system or Boltzmann equation,~-- in combination with Compensated Int… ▽ More The class of Divergence-free symmetric tensors is ubiquitous in Continuum Mechanics. We show its invariance under projective transformations of the independent variables. This action, which preserves the positiveness, extends Sophus Lie's group analysis of Newtonian dynamics.When applied to models of gas dynamics --~such as Euler system or Boltzmann equation,~-- in combination with Compensated Integrability, this yields new dispersive estimates. The most accurate one is obtained for mono-atomic gases. Then the space-time integral of $tρ^\frac1d p$ is bounded in terms of the total mass and moment of inertia alone. △ Less

Submitted 2 August, 2021; originally announced August 2021.

$L^2$-type Lyapunov functions for hyperbolic scalar conservation laws

Authors: Denis Serre

Abstract: We prove the decay of the L 2-distance from the solution u(t) of a hyperbolic scalar conservation law, to some convex, flow-invariant target sets. We prove the decay of the L 2-distance from the solution u(t) of a hyperbolic scalar conservation law, to some convex, flow-invariant target sets. △ Less

Submitted 1 June, 2021; originally announced June 2021.

Asymptotic stability of scalar multi-D inviscid shock waves

Authors: Denis Serre

Abstract: In several space dimensions, scalar shock waves between two constant states u $\pm$ are not necessarily planar. We describe them in detail. Then we prove their asymptotic stability, assuming that they are uniformly non-characteristic. Our result is conditional for a general flux, while unconditional for the multi-D Burgers equation. In several space dimensions, scalar shock waves between two constant states u $\pm$ are not necessarily planar. We describe them in detail. Then we prove their asymptotic stability, assuming that they are uniformly non-characteristic. Our result is conditional for a general flux, while unconditional for the multi-D Burgers equation. △ Less

Submitted 17 March, 2021; originally announced March 2021.

Hard spheres dynamics: weak vs hard collisions

Authors: Denis Serre

Abstract: We consider the motion of a finite though large number $N$ of hard spheres in the whole space $\mathbb{R}^n$. Particles move freely until they experience elastic collisions. We use our recent theory of Compensated Integrability in order to estimate how much the particles are deviated by collisions. Our result, which is expressed in terms of hodographs, tells us that only $O(N^2)$ collisions are si… ▽ More We consider the motion of a finite though large number $N$ of hard spheres in the whole space $\mathbb{R}^n$. Particles move freely until they experience elastic collisions. We use our recent theory of Compensated Integrability in order to estimate how much the particles are deviated by collisions. Our result, which is expressed in terms of hodographs, tells us that only $O(N^2)$ collisions are significant. △ Less

Submitted 21 February, 2020; originally announced February 2020.

Source-solutions for the multi-dimensional Burgers equation

Authors: Denis Serre, Ecole Normale Supérieure de Lyon

Abstract: We have shown in a recent collaboration that the Cauchy problem for the multi-dimensional Burgers equation is well-posed when the initial data u(0) is taken in the Lebesgue space L 1 (R n), and more generally in L p (R n). We investigate here the situation where u(0) is a bounded measure instead, focusing on the case n = 2. This is motivated by the description of the asymptotic behaviour of soluti… ▽ More We have shown in a recent collaboration that the Cauchy problem for the multi-dimensional Burgers equation is well-posed when the initial data u(0) is taken in the Lebesgue space L 1 (R n), and more generally in L p (R n). We investigate here the situation where u(0) is a bounded measure instead, focusing on the case n = 2. This is motivated by the description of the asymptotic behaviour of solutions with integrable data, as t $\rightarrow$ +$\infty$. MSC2010: 35F55, 35L65. Notations. We denote $\times$ p the norm in Lebesgue L p (R n). The space of bounded measure over R m is M (R m) and its norm is denoted $\times$ M. The Dirac mass at X $\in$ R n is $δ$ X or $δ$ x=X. If $ν$ $\in$ M (R m) and $μ$ $\in$ M (R q), then $ν$ $\otimes$ $μ$ is the measure over R m+q uniquely defined by $ν$ $\otimes$ $μ$, $ψ$ = $ν$, f $μ$, g whenever $ψ$(x, y) $\not\equiv$ f (x)g(y). The closed halves of the real line are denoted R + and R --. * U.M.P.A., UMR CNRS-ENSL \# 5669. 46 all{é}e d'Italie, △ Less

Submitted 18 February, 2020; originally announced February 2020.

On the upper semicontinuity of a quasiconcave functional

Authors: Luigi De Rosa, Denis Serre, Riccardo Tione

Abstract: In the recent paper \cite{SER}, the second author proved a divergence-quasiconcavity inequality for the following functional $ \mathbb{D}(A)=\int_{\mathbb{T}^n} det(A(x))^{\frac{1}{n-1}}\,dx$ defined on the space of $p$-summable positive definite matrices with zero divergence. We prove that this implies the weak upper semicontinuity of the functional $\mathbb{D}(\cdot)$ if and only if… ▽ More In the recent paper \cite{SER}, the second author proved a divergence-quasiconcavity inequality for the following functional $ \mathbb{D}(A)=\int_{\mathbb{T}^n} det(A(x))^{\frac{1}{n-1}}\,dx$ defined on the space of $p$-summable positive definite matrices with zero divergence. We prove that this implies the weak upper semicontinuity of the functional $\mathbb{D}(\cdot)$ if and only if $p>\frac{n}{n-1}$. △ Less

Submitted 15 June, 2019; originally announced June 2019.

Comments: 16 pages

Estimating the number and the strength of collisions in molecular dynamics

Authors: Denis Serre

Abstract: We consider the motion of a finite though large number of particles in the whole space R n. Particles move freely until they experience pairwise collisions. We use our recent theory of divergence-controlled positive symmetric tensors in order to establish two estimates regarding the set of collisions. The only information needed from the initial data is the total mass and the total energy. We consider the motion of a finite though large number of particles in the whole space R n. Particles move freely until they experience pairwise collisions. We use our recent theory of divergence-controlled positive symmetric tensors in order to establish two estimates regarding the set of collisions. The only information needed from the initial data is the total mass and the total energy. △ Less

Submitted 14 March, 2019; originally announced March 2019.

Multi-dimensional Burgers equation with unbounded initial data: well-posedness and dispersive estimates

Authors: Denis Serre, Luis Silvestre

Abstract: The Cauchy problem for a scalar conservation laws admits a unique entropy solution when the data $u_0$ is a bounded measurable function (Kruzhkov). The semi-group $(S_t)_{t\ge0}$ is contracting in the $L^1$-distance. For the multi-dimensional Burgers equation, we show that $(S_t)_{t\ge0}$ extends uniquely as a continuous semi-group over $L^p(\mathbb{R}^n)$ whenever $1\le p<\infty$, and… ▽ More The Cauchy problem for a scalar conservation laws admits a unique entropy solution when the data $u_0$ is a bounded measurable function (Kruzhkov). The semi-group $(S_t)_{t\ge0}$ is contracting in the $L^1$-distance. For the multi-dimensional Burgers equation, we show that $(S_t)_{t\ge0}$ extends uniquely as a continuous semi-group over $L^p(\mathbb{R}^n)$ whenever $1\le p<\infty$, and $u(t):=S_tu_0$ is actually an entropy solution to the Cauchy problem. When $p\le q\le \infty$ and $t>0$, $S_t$ actually maps $L^p(\mathbb{R}^n)$ into $L^q(\mathbb{R}^n)$. These results are based upon new dispersive estimates. The ingredients are on the one hand Compensated Integrability, and on the other hand a De Giorgi-type iteration. △ Less

Submitted 18 August, 2018; originally announced August 2018.

Comments: This article supersedes arXiv:1807.10474. arXiv admin note: text overlap with arXiv:1807.10474

MSC Class: 35F55; 35L65

Multi-dimensional scalar conservation laws with unbounded integrable initial data

Authors: Denis Serre

Abstract: We discuss the minimal integrability needed for the initial data, in order that the Cauchy problem for a multi-dimensional conservation law admit an entropy solution. In particular we allow unbounded initial data. We investigate also the decay of the solution as time increases, in relation with the nonlinearity. The main ingredient is our recent theory of divergence-free positive symmetric tensor.… ▽ More We discuss the minimal integrability needed for the initial data, in order that the Cauchy problem for a multi-dimensional conservation law admit an entropy solution. In particular we allow unbounded initial data. We investigate also the decay of the solution as time increases, in relation with the nonlinearity. The main ingredient is our recent theory of divergence-free positive symmetric tensor. We apply in particular the so-called compensated integrability to a tensor which generalizes the one that L. Tartar used in one space dimension. It allows us to establish a Strichartz-like inequality, in a quasilinear context. This program is carried out in details for a multi-dimensional version of the Burgers equation. △ Less

Submitted 27 July, 2018; originally announced July 2018.

Compensated integrability. Applications to the Vlasov--Poisson equation and other models in mathematical physics

Authors: Denis Serre

Abstract: We extend our analysis of divergence-free positive symmetric tensors (DPT) begun in a previous paper. On the one hand, we refine the statements and give more direct proofs. Next, we study the most singular DPTs, and use them to prove that the determinant is the only quantity that enjoys an improved integrability. Curiously, these singularities are intimately related to the Minkowski's Problem for… ▽ More We extend our analysis of divergence-free positive symmetric tensors (DPT) begun in a previous paper. On the one hand, we refine the statements and give more direct proofs. Next, we study the most singular DPTs, and use them to prove that the determinant is the only quantity that enjoys an improved integrability. Curiously, these singularities are intimately related to the Minkowski's Problem for convex bodys with prescribed Gaussian curvature. We then cover a list of models of mathematical physics that display a divergence-free symmetric tensor ; the most interesting one is probably that of nonlinear Maxwell's equations in a relativistic frame. The case of the wave equation is the occasion to highlight the role of the positivity assumption. Last, but not least, we show that the Vlasov--Poisson equation for a plasma is eligible for our theory. △ Less

Submitted 7 May, 2018; v1 submitted 7 March, 2018; originally announced March 2018.

Divergence-free positive symmetric tensors and fluid dynamics

Authors: Denis Serre

Abstract: We consider $d\times d$ tensors $A(x)$ that are symmetric, positive semi-definite, and whose row-divergence vanishes identically. We establish sharp inequalities for the integral of $(\det A)^{\frac1{d-1}}$. We apply them to models of compressible inviscid fluids: Euler equations, Euler--Fourier, relativistic Euler, Boltzman, BGK, etc... We deduce an {\em a priori} estimate for a new quantity, nam… ▽ More We consider $d\times d$ tensors $A(x)$ that are symmetric, positive semi-definite, and whose row-divergence vanishes identically. We establish sharp inequalities for the integral of $(\det A)^{\frac1{d-1}}$. We apply them to models of compressible inviscid fluids: Euler equations, Euler--Fourier, relativistic Euler, Boltzman, BGK, etc... We deduce an {\em a priori} estimate for a new quantity, namely the space-time integral of $ρ^{\frac1n}p$, where $ρ$ is the mass density, $p$ the pressure and $n$ the space dimension. For kinetic models, the corresponding quantity generalizes Bony's functional. △ Less

Submitted 14 November, 2017; v1 submitted 30 April, 2017; originally announced May 2017.

The role of the Hilbert metric in a class of singular elliptic boundary value problem in convex domains

Authors: Denis Serre

Abstract: In a recent paper [7], we were led to consider a distance over a bounded open convex domain. It turns out to be the so-called Thompson metric, which is equivalent to the Hilbert metric. It plays a key role in the analysis of existence and uniqueness of solutions to a class of elliptic boundary-value problems that are singular at the boundary. In a recent paper [7], we were led to consider a distance over a bounded open convex domain. It turns out to be the so-called Thompson metric, which is equivalent to the Hilbert metric. It plays a key role in the analysis of existence and uniqueness of solutions to a class of elliptic boundary-value problems that are singular at the boundary. △ Less

Submitted 2 February, 2017; originally announced February 2017.

Expansion of a compressible gas in vacuum

Authors: Denis Serre

Abstract: Tai-Ping Liu \cite{Liu\_JJ} introduced the notion of "physical solution' of the isentropic Euler system when the gas is surrounded by vacuum. This notion can be interpreted by saying that the front is driven by a force resulting from a Hölder singularity of the sound speed. We address the question of when this acceleration appears or when the front just move at constant velocity. We know from \cit… ▽ More Tai-Ping Liu \cite{Liu\_JJ} introduced the notion of "physical solution' of the isentropic Euler system when the gas is surrounded by vacuum. This notion can be interpreted by saying that the front is driven by a force resulting from a Hölder singularity of the sound speed. We address the question of when this acceleration appears or when the front just move at constant velocity. We know from \cite{Gra,SerAIF} that smooth isentropic flows with a non-accelerated front exist globally in time, for suitable initial data. In even space dimension, these solutions may persist for all $t\in\R$ ; we say that they are {\em eternal}. We derive a sufficient condition in terms of the initial data, under which the boundary singularity must appear. As a consequence, we show that, in contrast to the even-dimensional case, eternal flows with a non-accelerated front don't exist in odd space dimension. In one space dimension, we give a refined definition of physical solutions. We show that for a shock-free flow, their asymptotics as both ends $t\rightarrow\pm\infty$ are intimately related to each other. △ Less

Submitted 7 April, 2015; originally announced April 2015.

The numerical measure of a complex matrix

Authors: Thierry Gallay, Denis Serre

Abstract: We introduce and carefully study a natural probability measure over the numerical range of a complex matrix $A \in M_n(\C)$. This numerical measure $μ_A$ can be defined as the law of the random variable $<AX,X> \in \C$ when the vector $X \in \C^n$ is uniformly distributed on the unit sphere. If the matrix $A$ is normal, we show that $μ_A$ has a piecewise polynomial density $f_A$, which can be iden… ▽ More We introduce and carefully study a natural probability measure over the numerical range of a complex matrix $A \in M_n(\C)$. This numerical measure $μ_A$ can be defined as the law of the random variable $<AX,X> \in \C$ when the vector $X \in \C^n$ is uniformly distributed on the unit sphere. If the matrix $A$ is normal, we show that $μ_A$ has a piecewise polynomial density $f_A$, which can be identified with a multivariate $B$-spline. In the general (nonnormal) case, we relate the Radon transform of $μ_A$ to the spectrum of a family of Hermitian matrices, and we deduce an explicit representation formula for the numerical density which is appropriate for theoretical and computational purposes. As an application, we show that the density $f_A$ is polynomial in some regions of the complex plane which can be characterized geometrically, and we recover some known results about lacunas of symmetric hyperbolic systems in $2+1$ dimensions. Finally, we prove under general assumptions that the numerical measure of a matrix $A \in M_n(\C)$ concentrates to a Dirac mass as the size $n$ goes to infinity. △ Less

Submitted 8 September, 2010; originally announced September 2010.

Comments: 41 pages, 5 figures

MSC Class: 47A12; 28A33; 44A12; 65D07; 35L40; 60F05

Shock waves for radiative hyperbolic--elliptic systems

Authors: Corrado Lattanzio, Corrado Mascia, Denis Serre

Abstract: The present paper deals with the following hyperbolic--elliptic coupled system, modelling dynamics of a gas in presence of radiation, $u_{t}+ f(u)_{x} +Lq_{x}=0, -q_{xx} + Rq +G\cdot u_{x}=0,$ where $u\in\R^{n}$, $q\in\R$ and $R>0$, $G$, $L\in\R^{n}$. The flux function $f : \R^n\to\R^n$ is smooth and such that $\nabla f$ has $n$ distinct real eigenvalues for any $u$. The problem of existence of… ▽ More The present paper deals with the following hyperbolic--elliptic coupled system, modelling dynamics of a gas in presence of radiation, $u_{t}+ f(u)_{x} +Lq_{x}=0, -q_{xx} + Rq +G\cdot u_{x}=0,$ where $u\in\R^{n}$, $q\in\R$ and $R>0$, $G$, $L\in\R^{n}$. The flux function $f : \R^n\to\R^n$ is smooth and such that $\nabla f$ has $n$ distinct real eigenvalues for any $u$. The problem of existence of admissible radiative shock wave is considered, i.e. existence of a solution of the form $(u,q)(x,t):=(U,Q)(x-st)$, such that $(U,Q)(\pm\infty)=(u_\pm,0)$, and $u_\pm\in\R^n$, $s\in\R$ define a shock wave for the reduced hyperbolic system, obtained by formally putting L=0. It is proved that, if $u_-$ is such that $\nablaλ_{k}(u_-)\cdot r_{k}(u_-)\neq 0$,(where $λ_k$ denotes the $k$-th eigenvalue of $\nabla f$ and $r_k$ a corresponding right eigenvector) and $(\ell_{k}(u_{-})\cdot L) (G\cdot r_{k}(u_{-})) >0$, then there exists a neighborhood $\mathcal U$ of $u_-$ such that for any $u_+\in{\mathcal U}$, $s\in\R$ such that the triple $(u_{-},u_{+};s)$ defines a shock wave for the reduced hyperbolic system, there exists a (unique up to shift) admissible radiative shock wave for the complete hyperbolic--elliptic system. Additionally, we are able to prove that the profile $(U,Q)$ gains smoothness when the size of the shock $|u_+-u_-|$ is small enough, as previously proved for the Burgers' flux case. Finally, the general case of nonconvex fluxes is also treated, showing similar results of existence and regularity for the profiles. △ Less

Submitted 15 June, 2006; originally announced June 2006.

Comments: 32 pages

Report number: Roma01.Math MSC Class: 74J30; 35L65