-
Kermack-McKendrick type models for epidemics with nonlocal aggregation terms
Authors:
Marco Di Francesco,
Fatemeh Ghaderi Zefreh
Abstract:
We propose an approach to model spatial heterogeneity in SIR-type models for the spread of epidemics via \emph{nonlocal aggregation terms}. More precisely, we first consider an SIR model with spatial movements driven by nonlocal aggregation terms, in which the inter-compartment and intra-compartment interaction terms are distinct, and modelled through smooth interaction kernels. For the Cauchy pro…
▽ More
We propose an approach to model spatial heterogeneity in SIR-type models for the spread of epidemics via \emph{nonlocal aggregation terms}. More precisely, we first consider an SIR model with spatial movements driven by nonlocal aggregation terms, in which the inter-compartment and intra-compartment interaction terms are distinct, and modelled through smooth interaction kernels. For the Cauchy problem of said model we provide a full well-posedness theory on $\R^2$ for $L^1\cap L^\infty \cap H^1$ initial conditions. The existence part is achieved by considering an approximated model with artificial linear diffusion, for which existence and uniqueness is proven via Duhamel's principle and Banach fixed point, and by providing suitable uniform estimates on the approximated solution in order to pass to the limit via classical compactness techniques. To prove uniqueness, we use classical $L^2$-stability which relies on the $H^1$-regularity of the solution. In the second part of the paper we provide a brief, general discussion on the steady states for these type of models, and display a specific example of non-trivial steady states for an SIS model with aggregations (driven by a single repulsive-attractive potential), the existence of which is determined by a threshold condition for a suitable "space-dependent" basic reproduction rate. We complement the analysis with numerical simulations on the SIS model.
△ Less
Submitted 2 April, 2025; v1 submitted 7 October, 2024;
originally announced October 2024.
-
A system of continuity equations with nonlocal interactions of Morse type
Authors:
Marco Di Francesco,
Valeria Iorio
Abstract:
We study a system of two continuity equations with nonlocal velocity fields using interaction potentials of both attractive and repulsive Morse type. Such a system is of interest in many contexts in multi-population modelling. We prove existence, uniqueness and stability in the 2-Wasserstein spaces of probability measures via Jordan-Kinderlehrer-Otto scheme and gradient flow solutions in the spiri…
▽ More
We study a system of two continuity equations with nonlocal velocity fields using interaction potentials of both attractive and repulsive Morse type. Such a system is of interest in many contexts in multi-population modelling. We prove existence, uniqueness and stability in the 2-Wasserstein spaces of probability measures via Jordan-Kinderlehrer-Otto scheme and gradient flow solutions in the spirit of the Ambrosio-Gigli-Savaré theory. We then formulate a deterministic particle scheme for this model and prove that gradient flow solutions are obtained in the many particle limit by discrete densities constructed out of moving particles satisfying a suitable system of ODEs. The ODE system is formulated in a non standard way in order to bypass the Lipschitz singularity of the kernel, with difference quotients of the kernel replacing its derivative.
△ Less
Submitted 26 June, 2024;
originally announced June 2024.
-
Measure solutions, smoothing effect, and deterministic particle approximation for a conservation law with nonlocal flux
Authors:
M. Di Francesco,
S. Fagioli,
E. Radici
Abstract:
We consider a class of nonlocal conservation laws with an interaction kernel supported on the negative real half-line and featuring a decreasing jump at the origin. We provide, for the first time, an existence and uniqueness theory for said model with initial data in the space of probability measures. Our concept of solution allows to sort a lack of uniqueness problem which we exhibit in a specifi…
▽ More
We consider a class of nonlocal conservation laws with an interaction kernel supported on the negative real half-line and featuring a decreasing jump at the origin. We provide, for the first time, an existence and uniqueness theory for said model with initial data in the space of probability measures. Our concept of solution allows to sort a lack of uniqueness problem which we exhibit in a specific example. Our approach uses the so-called \emph{quantile}, or \emph{pseudo-inverse} formulation of the PDE, which has been largely used for similar types of nonlocal transport equations in one-space dimension. Partly related to said approach, we then provide a deterministic particle approximation theorem for the equation under consideration, which works for general initial data in the space of probability measures with compact support. As a crucial step in both results, we use that our concept of solution (which we call \emph{dissipative measure solution}) implies an instantaneous \emph{measure-to-$L^\infty$} smoothing effect, a property which is known to be featured as well by local conservation laws with genuinely nonlinear fluxes.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
The approximation of the quadratic porous medium equation via nonlocal interacting particles subject to repulsive Morse potential
Authors:
Marco Di Francesco,
Valeria Iorio,
Markus Schmidtchen
Abstract:
We propose a deterministic particle method for a one-dimensional nonlocal equation with interactions through the repulsive Morse potential. We show that the particle method converges as the number of particles goes to infinity towards weak measure solutions to the nonlocal equation. Such a results is proven under the assumption of initial data in the space of probability measures with finite secon…
▽ More
We propose a deterministic particle method for a one-dimensional nonlocal equation with interactions through the repulsive Morse potential. We show that the particle method converges as the number of particles goes to infinity towards weak measure solutions to the nonlocal equation. Such a results is proven under the assumption of initial data in the space of probability measures with finite second moment. In particular, our method is able to capture a measure-to-$L^\infty$ smoothing effect of the limit equation. Moreover, as the Morse potential is rescaled to approach a Dirac delta, corresponding to strongly localised repulsive interactions, the scheme becomes a particle approximation for the quadratic porous medium equation. We show that in the joint limit (localised repulsion and increasing number of particles) the reconstructed density converges to a weak solution of the porous medium equation. The strategy relies on various estimates performed at the particle level, including $L^p$ estimates and an entropy dissipation estimate, which benefit from the particular structure of our particle scheme and from the absolutely continuous reconstruction of the density from the particle locations.
△ Less
Submitted 19 January, 2024;
originally announced January 2024.
-
The mathematical theory of Hughes' model: a survey of results
Authors:
Debora Amadori,
Boris Andreianov,
Marco Di Francesco,
Simone Fagioli,
Théo Girard,
Paola Goatin,
Peter Markowich,
Jan F. Pietschmann,
Massimiliano D. Rosini,
Giovanni Russo,
Graziano Stivaletta,
Marie-Therese Wolfram
Abstract:
We provide an overview of the results on Hughes' model for pedestrian movements available in the literature.
After the first successful approaches to solving a regularised version of the model, researchers focused on the structure of the Riemann problem, which led to local-in-time existence results for Riemann-type data and paved the way for a WFT (Wave-Front Tracking) approach to the solution s…
▽ More
We provide an overview of the results on Hughes' model for pedestrian movements available in the literature.
After the first successful approaches to solving a regularised version of the model, researchers focused on the structure of the Riemann problem, which led to local-in-time existence results for Riemann-type data and paved the way for a WFT (Wave-Front Tracking) approach to the solution semigroup. In parallel, a DPA (Deterministic Particles Approximation) approach was developed in the spirit of follow-the-leader approximation results for scalar conservation laws. Beyond having proved to be powerful analytical tools, the WFT and the DPA approaches also led to interesting numerical results.
However, only existence theorems on very specific classes of initial data (essentially ruling out non-classical shocks) have been available until very recently. A proper existence result using a DPA approach was proven not long ago in the case of a linear coupling with the density in the eikonal equation. Shortly after, a similar result was proven via a fixed point approach.
We provide a detailed statement of the aforementioned results and sketch the main proofs. We also provide a brief overview of results that are related to Hughes' model, such as the derivation of a dynamic version of the model via a mean-field game strategy, an alternative optimal control approach, and a localized version of the model. We also present the main numerical results within the WFT and DPA frameworks.
△ Less
Submitted 17 May, 2023;
originally announced May 2023.
-
Second order two-species systems with nonlocal interactions: existence and large damping limits
Authors:
Marco Di Francesco,
Simone Fagioli,
Valeria Iorio
Abstract:
We study the mathematical theory of second order systems with two species, arising in the dynamics of interacting particles subject to linear damping, to nonlocal forces and to external ones, and resulting into a nonlocal version of the compressible Euler system with linear damping. Our results are limited to the $1$ space dimensional case but allow for initial data taken in a Wasserstein space of…
▽ More
We study the mathematical theory of second order systems with two species, arising in the dynamics of interacting particles subject to linear damping, to nonlocal forces and to external ones, and resulting into a nonlocal version of the compressible Euler system with linear damping. Our results are limited to the $1$ space dimensional case but allow for initial data taken in a Wasserstein space of probability measures. We first consider the case of smooth nonlocal interaction potentials, not subject to any symmetry condition, and prove existence and uniqueness. The concept of solutions relies on a stickiness condition in case of collisions, in the spirit of previous works in the literature. The result uses concepts from classical Hilbert space theory of gradient flows (cf. Brezis [7]) and a trick used in [4]. We then consider a large-time and large-damping scaled version of our system and prove convergence to solutions to the corresponding first order system. Finally, we consider the case of Newtonian potentials -- subject to symmetry of the cross-interaction potentials -- and external convex potentials. After showing existence in the sticky particles framework in the spirit of [4], we prove convergence for large times towards Dirac delta solutions for the two densities. All the results share a common technical framework in that solutions are considered in a Lagrangian framework, which allows to estimate the behavior of solutions via $L^2$ estimates of the pseudo-inverse variables corresponding to the two densities. In particular, due to this technique, the large-damping result holds under a rather weak condition on the initial data, which does not require well-prepared initial velocities. We complement the results with numerical simulations.
△ Less
Submitted 12 October, 2022;
originally announced October 2022.
-
Particle approximation of one-dimensional Mean-Field-Games with local interactions
Authors:
Marco Di Francesco,
Serikbolsyn Duisembay,
Diogo Aguiar Gomes,
Ricardo Ribeiro
Abstract:
We study a particle approximation for one-dimensional first-order Mean-Field-Games (MFGs) with local interactions with planning conditions. Our problem comprises a system of a Hamilton-Jacobi equation coupled with a transport equation. As we deal with the planning problem, we prescribe initial and terminal distributions for the transport equation. The particle approximation builds on a semi-discre…
▽ More
We study a particle approximation for one-dimensional first-order Mean-Field-Games (MFGs) with local interactions with planning conditions. Our problem comprises a system of a Hamilton-Jacobi equation coupled with a transport equation. As we deal with the planning problem, we prescribe initial and terminal distributions for the transport equation. The particle approximation builds on a semi-discrete variational problem. First, we address the existence and uniqueness of a solution to the semi-discrete variational problem. Next, we show that our discretization preserves some previously identified conserved quantities. Finally, we prove that the approximation by particle systems preserves displacement convexity. We use this last property to establish uniform estimates for the discrete problem. We illustrate our results for the discrete problem with numerical examples.
△ Less
Submitted 6 September, 2021;
originally announced September 2021.
-
The one-sided Lipschitz condition in the follow-the-leader approximation of scalar conservation laws
Authors:
Marco Di Francesco,
Graziano Stivaletta
Abstract:
We consider the follow-the-leader particle approximation scheme for a $1d$ scalar conservation law with nonnegative $L^\infty_c$ initial datum and with a $C^1$ concave flux, which is known to provide convergence towards the entropy solution $ρ$ to the corresponding Cauchy problem. We provide two novel contributions to this theory. First, we prove that the one-sided Lipschitz condition satisfied by…
▽ More
We consider the follow-the-leader particle approximation scheme for a $1d$ scalar conservation law with nonnegative $L^\infty_c$ initial datum and with a $C^1$ concave flux, which is known to provide convergence towards the entropy solution $ρ$ to the corresponding Cauchy problem. We provide two novel contributions to this theory. First, we prove that the one-sided Lipschitz condition satisfied by the approximating density $ρ^n$ is a discrete version of an entropy condition; more precisely, under fairly general assumptions on $f$ (which imply concavity of $f$) we prove that the continuum version $\left(f(ρ)/ρ\right)_x\leq 1/t$ of said condition allows to select a unique weak solution, despite $\left(f(ρ)/ρ\right)_x\leq 1/t$ is apparently weaker than the classical Oleinik-Hoff one-sided Lipschitz condition $f'(ρ)_x\leq 1/t$. Said result relies on an improved version of Hoff's uniqueness proof. A byproduct of it is that the entropy condition is encoded in the particle scheme prior to the many-particle limit, which was never proven before. Second, we prove that in case $f(ρ)=ρ(A-ρ^γ)$ the one-sided Lipschitz condition can be improved to a discrete version of the classical (and sharp) Oleinik-Hoff condition. In order to make the paper self-contained, we provide proofs (in some cases alternative ones) of all steps of the convergence of the particle scheme.
△ Less
Submitted 26 February, 2021;
originally announced March 2021.
-
Many-particle limit for a system of interaction equations driven by Newtonian potentials
Authors:
Marco Di Francesco,
Antonio Esposito,
Markus Schmidtchen
Abstract:
We consider a discrete particle system of two species coupled through nonlocal interactions driven by the one-dimensional Newtonian potential, with repulsive self-interaction and attractive cross-interaction. After providing a suitable existence theory in a finite-dimensional framework, we explore the behaviour of the particle system in case of collisions and analyse the behaviour of the solutions…
▽ More
We consider a discrete particle system of two species coupled through nonlocal interactions driven by the one-dimensional Newtonian potential, with repulsive self-interaction and attractive cross-interaction. After providing a suitable existence theory in a finite-dimensional framework, we explore the behaviour of the particle system in case of collisions and analyse the behaviour of the solutions with initial data featuring particle clusters. Subsequently, we prove that the empirical measure associated to the particle system converges to the unique 2-Wasserstein gradient flow solution of a system of two partial differential equations (PDEs) with nonlocal interaction terms in a proper measure sense. The latter result uses uniform estimates of the $L^m$-norms of a piecewise constant reconstruction of the density using the particle trajectories.
△ Less
Submitted 25 August, 2020;
originally announced August 2020.
-
Convergence of the follow-the-leader scheme for scalar conservation laws with space dependent flux
Authors:
Marco Di Francesco,
Graziano Stivaletta
Abstract:
This paper deals with the derivation of entropy solutions to Cauchy problems for a class of scalar conservation laws with space-density depending fluxes from systems of deterministic particles of follow-the-leader type. We consider fluxes which are product of a function of the density $v(ρ)$ and a function of the space variable $φ(x)$. We cover four distinct cases in terms of the sign of $φ$, incl…
▽ More
This paper deals with the derivation of entropy solutions to Cauchy problems for a class of scalar conservation laws with space-density depending fluxes from systems of deterministic particles of follow-the-leader type. We consider fluxes which are product of a function of the density $v(ρ)$ and a function of the space variable $φ(x)$. We cover four distinct cases in terms of the sign of $φ$, including cases in which the latter is not constant. The convergence result relies on a local maximum principle and on a uniform $BV$ estimate for the approximating density.
△ Less
Submitted 23 May, 2019; v1 submitted 11 January, 2019;
originally announced January 2019.
-
Measure solutions to a system of continuity equations driven by Newtonian nonlocal interactions
Authors:
J. A. Carrillo,
M. Di Francesco,
A. Esposito,
S. Fagioli,
M. Schmidtchen
Abstract:
We prove global-in-time existence and uniqueness of measure solutions of a nonlocal interaction system of two species in one spatial dimension. For initial data including atomic parts we provide a notion of gradient-flow solutions in terms of the pseudo-inverses of the corresponding cumulative distribution functions, for which the system can be stated as a gradient flow on the Hilbert space…
▽ More
We prove global-in-time existence and uniqueness of measure solutions of a nonlocal interaction system of two species in one spatial dimension. For initial data including atomic parts we provide a notion of gradient-flow solutions in terms of the pseudo-inverses of the corresponding cumulative distribution functions, for which the system can be stated as a gradient flow on the Hilbert space $L^2(0,1)^2$ according to the classical theory by Brézis. For absolutely continuous initial data we construct solutions using a minimising movement scheme in the set of probability measures. In addition we show that the scheme preserves finiteness of the $L^m$-norms for all $m\in [1,+\infty]$ and of the second moments. We then provide a characterisation of equilibria and prove that they are achieved (up to time subsequences) in the large time asymptotics. We conclude the paper constructing two examples of non-uniqueness of measure solutions emanating from the same (atomic) initial datum, showing that the notion of gradient flow solution is necessary to single out a unique measure solution.
△ Less
Submitted 25 June, 2019; v1 submitted 24 October, 2018;
originally announced October 2018.
-
Deterministic particle approximation for nonlocal transport equations with nonlinear mobility
Authors:
M. Di Francesco,
S. Fagioli,
E. Radici
Abstract:
We construct a deterministic, Lagrangian many-particle approximation to a class of nonlocal transport PDEs with nonlinear mobility arising in many contexts in biology and social sciences. The approximating particle system is a nonlocal version of the follow-the-leader scheme. We rigorously prove that a suitable discrete piece-wise density reconstructed from the particle scheme converges strongly i…
▽ More
We construct a deterministic, Lagrangian many-particle approximation to a class of nonlocal transport PDEs with nonlinear mobility arising in many contexts in biology and social sciences. The approximating particle system is a nonlocal version of the follow-the-leader scheme. We rigorously prove that a suitable discrete piece-wise density reconstructed from the particle scheme converges strongly in $L^1_{loc}$ towards the unique entropy solution to the target PDE as the number of particles tends to infinity. The proof is based on uniform BV estimates on the approximating sequence and on the verification of an approximated version of the entropy condition for large number of particles. As part of the proof, we also prove uniqueness of entropy solutions. We also provide a specific example of non-uniqueness of weak solutions and discuss about the interplay of the entropy condition with the steady states. Finally, we produce numerical simulations supporting the need of a concept of entropy solution in order to get a well-posed semigroup in the continuum limit, and showing the behaviour of solutions for large times.
△ Less
Submitted 26 January, 2018;
originally announced January 2018.
-
Multiple large-time behavior of nonlocal interaction equations with quadratic diffusion
Authors:
Marco Di Francesco,
Yahya Jaafra
Abstract:
In this paper we consider a one-dimensional nonlocal interaction equation with quadratic porous-medium type diffusion in which the interaction kernels are attractive, nonnegative, and integrable on the real line. Earlier results in the literature have shown existence of nontrivial steady states if the $L^1$ norm of the kernel $G$ is larger than the diffusion constant $\varepsilon$. In this paper w…
▽ More
In this paper we consider a one-dimensional nonlocal interaction equation with quadratic porous-medium type diffusion in which the interaction kernels are attractive, nonnegative, and integrable on the real line. Earlier results in the literature have shown existence of nontrivial steady states if the $L^1$ norm of the kernel $G$ is larger than the diffusion constant $\varepsilon$. In this paper we aim at showing that this equation exhibits a "multiple" behavior, in that solutions can either converge to the nontrivial steady states or decay to zero for large times. We prove the former situation holds in case the initial conditions are concentrated enough and "close" to the steady state in the $\infty$-Wasserstein distance. Moreover, we prove that solutions decay to zero for large times in the diffusion-dominated regime $\varepsilon\geq \|G\|_{L^1}$. Finally, we show two partial results suggesting that the large-time decay also holds in the complementary regime $\varepsilon< \|G\|_{L^1}$ for initial data with large enough second moment. We use numerical simulations both to validate our local asymptotic stability result and to support our conjecture on the large time decay.
△ Less
Submitted 7 June, 2018; v1 submitted 23 October, 2017;
originally announced October 2017.
-
Nonlinear degenerate cross-diffusion systems with nonlocal interaction
Authors:
M. Di Francesco,
A. Esposito,
S. Fagioli
Abstract:
We investigate a class of systems of partial differential equations with nonlinear cross-diffusion and nonlocal interactions, which are of interest in several contexts in social sciences, finance, biology, and real world applications. Assuming a uniform "coerciveness" assumption on the diffusion part, which allows to consider a large class of systems with degenerate cross-diffusion (i.e. of porous…
▽ More
We investigate a class of systems of partial differential equations with nonlinear cross-diffusion and nonlocal interactions, which are of interest in several contexts in social sciences, finance, biology, and real world applications. Assuming a uniform "coerciveness" assumption on the diffusion part, which allows to consider a large class of systems with degenerate cross-diffusion (i.e. of porous medium type) and relaxes sets of assumptions previously considered in the literature, we prove global-in-time existence of weak solutions by means of a semi-implicit version of the Jordan-Kinderlehrer-Otto scheme. Our approach allows to consider nonlocal interaction terms not necessarily yielding a formal gradient flow structure.
△ Less
Submitted 4 October, 2017;
originally announced October 2017.
-
Sorting Phenomena in a Mathematical Model For Two Mutually Attracting/Repelling Species
Authors:
Martin Burger,
Marco Di Francesco,
Simone Fagioli,
Angela Stevens
Abstract:
Macroscopic models for systems involving diffusion, short-range repulsion, and long-range attraction have been studied extensively in the last decades. In this paper we extend the analysis to a system for two species interacting with each other according to different inner- and intra-species attractions. Under suitable conditions on this self- and crosswise attraction an interesting effect can be…
▽ More
Macroscopic models for systems involving diffusion, short-range repulsion, and long-range attraction have been studied extensively in the last decades. In this paper we extend the analysis to a system for two species interacting with each other according to different inner- and intra-species attractions. Under suitable conditions on this self- and crosswise attraction an interesting effect can be observed, namely phase separation into neighbouring regions, each of which contains only one of the species. We prove that the intersection of the support of the stationary solutions of the continuum model for the two species has zero Lebesgue measure, while the support of the sum of the two densities is simply connected.
Preliminary results indicate the existence of phase separation, i.e. spatial sorting of the different species. A detailed analysis in one spatial dimension follows. The existence and shape of segregated stationary solutions is shown via the Krein-Rutman theorem. Moreover, for small repulsion/nonlinear diffusion, also uniqueness of these stationary states is proved.
△ Less
Submitted 22 March, 2018; v1 submitted 13 April, 2017;
originally announced April 2017.
-
A deterministic particle approximation for non-linear conservation laws
Authors:
Marco Di Francesco,
Simone Fagioli,
Massimiliano D. Rosini,
Giovanni Russo
Abstract:
We review our analytical and numerical results obtained on the microscopic Follow-The-Leader (FTL) many particle approximation of one-dimensional conservation laws. More precisely, we introduce deterministic particle schemes for the Hughes model for pedestrian movements and for two vehicular traffic models, that are the scalar Lighthill-Whitham-Richards model (LWR) and the $2\times2$ system Aw-Ras…
▽ More
We review our analytical and numerical results obtained on the microscopic Follow-The-Leader (FTL) many particle approximation of one-dimensional conservation laws. More precisely, we introduce deterministic particle schemes for the Hughes model for pedestrian movements and for two vehicular traffic models, that are the scalar Lighthill-Whitham-Richards model (LWR) and the $2\times2$ system Aw-Rascle-Zhang model (ARZ). Their approximation is performed by a set of ODEs, determining the motion of platoons of possible fractional vehicles or pedestrians seen as particles. Convergence results of the schemes in the many particle limit are stated. The numerical simulations suggest the consistency of the schemes.
△ Less
Submitted 2 November, 2016; v1 submitted 1 November, 2016;
originally announced November 2016.
-
Follow-the-leader approximations of macroscopic models for vehicular and pedestrian flows
Authors:
Marco Di Francesco,
Simone Fagioli,
Massimiliano D. Rosini,
Giovanni Russo
Abstract:
We review recent results and present new ones on a deterministic follow-the-leader particle approximation of first and second order models for traffic flow and pedestrian movements. We start by constructing the particle scheme for the first order Lighthill-Whitham-Richards (LWR) model for traffic flow. The approximation is performed by a set of ODEs following the position of discretised vehicles s…
▽ More
We review recent results and present new ones on a deterministic follow-the-leader particle approximation of first and second order models for traffic flow and pedestrian movements. We start by constructing the particle scheme for the first order Lighthill-Whitham-Richards (LWR) model for traffic flow. The approximation is performed by a set of ODEs following the position of discretised vehicles seen as moving particles. The convergence of the scheme in the many particle limit towards the unique entropy solution of the LWR equation is proven in the case of the Cauchy problem on the real line. We then extend our approach to the Initial-Boundary Value Problem (IBVP) with time-varying Dirichlet data on a bounded interval. In this case we prove that our scheme is convergent strongly in $L^1$ up to a subsequence. We then review extensions of this approach to the Hughes model for pedestrian movements and to the second order Aw-Rascle-Zhang (ARZ) model for vehicular traffic. Finally, we complement our results with numerical simulations. In particular, the simulations performed on the IBVP and the ARZ model suggest the consistency of the corresponding schemes, which is easy to prove rigorously in some simple cases.
△ Less
Submitted 21 October, 2016;
originally announced October 2016.
-
Deterministic particle approximation of scalar conservation laws
Authors:
Marco Di Francesco,
Simone Fagioli,
Massimiliano D. Rosini
Abstract:
In this paper 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. The result is complemented with s…
▽ More
In this paper 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. The result is complemented with some numerical simulations.
△ Less
Submitted 19 May, 2016;
originally announced May 2016.
-
Deterministic particle approximation of the Hughes model in one space dimension
Authors:
M. Di Francesco,
S. Fagioli,
M. D. Rosini,
G. Russo
Abstract:
In this paper we present a new approach to the solution to a generalized version of Hughes' models for pedestrian movements based on a follow-the-leader many particle approximation. In particular, we provide a rigorous global existence result under a smallness assumption on the initial data ensuring that the trace of the solution along the turning curve is zero for all positive times. We also focu…
▽ More
In this paper we present a new approach to the solution to a generalized version of Hughes' models for pedestrian movements based on a follow-the-leader many particle approximation. In particular, we provide a rigorous global existence result under a smallness assumption on the initial data ensuring that the trace of the solution along the turning curve is zero for all positive times. We also focus shortly on the approximation procedure for symmetric data and Riemann type data. Two different numerical approaches are adopted for the simulation of the model, namely the proposed particle method and a Godunov type scheme. Several numerical tests are presented, which are in agreement with the theoretical prediction.
△ Less
Submitted 10 June, 2016; v1 submitted 19 February, 2016;
originally announced February 2016.
-
Many particle approximation of the Aw-Rascle-Zhang second order model for vehicular traffic
Authors:
M. Di Francesco,
S. Fagioli,
M. D. Rosini
Abstract:
We consider the Follow-The-Leader approximation of the Aw-Rascle-Zhang (ARZ) model for traffic flow in a multi-population formulation. We prove rigorous convergence to weak solutions of the ARZ system in the many particle limit in presence of vacuum. The result is based on uniform $\mathbf{BV}$ estimates on the discrete particle velocity. We complement out result with numerical simulations of the…
▽ More
We consider the Follow-The-Leader approximation of the Aw-Rascle-Zhang (ARZ) model for traffic flow in a multi-population formulation. We prove rigorous convergence to weak solutions of the ARZ system in the many particle limit in presence of vacuum. The result is based on uniform $\mathbf{BV}$ estimates on the discrete particle velocity. We complement out result with numerical simulations of the particle method compared with some exact solutions to the Riemann problem of the ARZ system.
△ Less
Submitted 13 August, 2016; v1 submitted 9 November, 2015;
originally announced November 2015.
-
Rigorous derivation of nonlinear scalar conservation laws from follow-the-leader type models via many particle limit
Authors:
Marco Di Francesco,
Massimiliano D. Rosini
Abstract:
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 mea…
▽ More
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 the conservation law. The initial data are taken in $L^1\cap L^\infty$, nonnegative, and with compact support, hence we are able to handle densities with vacuum. Our result holds for a reasonably general class of velocity maps (including all the relevant examples in the applications, e.g. in the Lighthill-Whitham-Richards model for traffic flow) with possible degenerate slope near the vacuum state. The proof of the result is based on discrete BV estimates and on a discrete version of the one-sided Oleinik-type condition. In particular, we prove that the regularizing effect $L^1\cap L^\infty \mapsto BV$ for nonlinear scalar conservation laws is intrinsic of the discrete model.
△ Less
Submitted 18 January, 2015; v1 submitted 28 April, 2014;
originally announced April 2014.
-
Asymptotic Behavior of Gradient Flows Driven by Nonlocal Power Repulsion and Attraction Potentials in One Dimension
Authors:
Marco Di Francesco,
Massimo Fornasier,
Jan-Christian Hütter,
Daniel Matthes
Abstract:
We study the long time behavior of the Wasserstein gradient flow for an energy functional consisting of two components: particles are attracted to a fixed profile $ω$ by means of an interaction kernel $ψ_a(z)=|z|^{q_a}$,and they repel each other by means of another kernel $ψ_r(z)=|z|^{q_r}$. We focus on the case of one space dimension and assume that $1\le q_r\le q_a\le 2$.
Our main result is th…
▽ More
We study the long time behavior of the Wasserstein gradient flow for an energy functional consisting of two components: particles are attracted to a fixed profile $ω$ by means of an interaction kernel $ψ_a(z)=|z|^{q_a}$,and they repel each other by means of another kernel $ψ_r(z)=|z|^{q_r}$. We focus on the case of one space dimension and assume that $1\le q_r\le q_a\le 2$.
Our main result is that the flow converges to an equilibrium if either $q_r<q_a$ or $1\le q_r=q_a\le4/3$,and if the solution has the same (conserved) mass as the reference state $ω$. In the cases $q_r=1$ and $q_r=2$, we are able to discuss the behavior for different masses as well, and we explicitly identify the equilibrium state, which is independent of the initial condition. Our proofs heavily use the inverse distribution function of the solution.
△ Less
Submitted 10 January, 2014;
originally announced January 2014.
-
Equivalence of gradient flows and entropy solutions for singular nonlocal interaction equations in 1D
Authors:
Giovanni A. Bonaschi,
José A. Carrillo,
Marco Di Francesco,
Mark A. Peletier
Abstract:
We prove the equivalence between the notion of Wasserstein gradient flow for a one-dimensional nonlocal transport PDE with attractive/repulsive Newtonian potential on one side, and the notion of entropy solution of a Burgers-type scalar conservation law on the other. The solution of the former is obtained by spatially differentiating the solution of the latter. The proof uses an intermediate step,…
▽ More
We prove the equivalence between the notion of Wasserstein gradient flow for a one-dimensional nonlocal transport PDE with attractive/repulsive Newtonian potential on one side, and the notion of entropy solution of a Burgers-type scalar conservation law on the other. The solution of the former is obtained by spatially differentiating the solution of the latter. The proof uses an intermediate step, namely the $L^2$ gradient flow of the pseudo-inverse distribution function of the gradient flow solution. We use this equivalence to provide a rigorous particle-system approximation to the Wasserstein gradient flow, avoiding the regularization effect due to the singularity in the repulsive kernel. The abstract particle method relies on the so-called wave-front-tracking algorithm for scalar conservation laws. Finally, we provide a characterization of the sub-differential of the functional involved in the Wasserstein gradient flow.
△ Less
Submitted 15 October, 2013;
originally announced October 2013.
-
Condensation phenomena in nonlinear drift equations
Authors:
Jose' A. Carrillo,
Marco Di Francesco,
Giuseppe Toscani
Abstract:
We study nonnegative, measure-valued solutions to nonlinear drift type equations modelling concentration phenomena related to Bose-Einstein particles. In one spatial dimension, we prove existence and uniqueness for measure solutions. Moreover, we prove that all solutions blow up in finite time leading to a concentration of mass only at the origin, and the concentrated mass absorbs increasingly the…
▽ More
We study nonnegative, measure-valued solutions to nonlinear drift type equations modelling concentration phenomena related to Bose-Einstein particles. In one spatial dimension, we prove existence and uniqueness for measure solutions. Moreover, we prove that all solutions blow up in finite time leading to a concentration of mass only at the origin, and the concentrated mass absorbs increasingly the mass converging to the total mass as time goes to infinity. Our analysis makes a substantial use of independent variable scalings and pseudo-inverse functions techniques.
△ Less
Submitted 8 July, 2013;
originally announced July 2013.
-
Mean field games with nonlinear mobilities in pedestrian dynamics
Authors:
Martin Burger,
Marco Di Francesco,
Peter Markowich,
Marie-Therese Wolfram
Abstract:
In this paper we present an optimal control approach modeling fast exit scenarios in pedestrian crowds. In particular we consider the case of a large human crowd trying to exit a room as fast as possible. The motion of every pedestrian is determined by minimizing a cost functional, which depends on his/her position, velocity, exit time and the overall density of people. This microscopic setup lead…
▽ More
In this paper we present an optimal control approach modeling fast exit scenarios in pedestrian crowds. In particular we consider the case of a large human crowd trying to exit a room as fast as possible. The motion of every pedestrian is determined by minimizing a cost functional, which depends on his/her position, velocity, exit time and the overall density of people. This microscopic setup leads in the mean-field limit to a parabolic optimal control problem. We discuss the modeling of the macroscopic optimal control approach and show how the optimal conditions relate to Hughes model for pedestrian flow. Furthermore we provide results on the existence and uniqueness of minimizers and illustrate the behavior of the model with various numerical results.
△ Less
Submitted 18 April, 2013;
originally announced April 2013.
-
Curves of steepest descent are entropy solutions for a class of degenerate convection-diffusion equations
Authors:
Marco Di Francesco,
Daniel Matthes
Abstract:
We consider a nonlinear degenerate convection-diffusion equation with inhomogeneous convection and prove that its entropy solutions in the sense of Kružkov are obtained as the - a posteriori unique - limit points of the JKO variational approximation scheme for an associated gradient flow in the $L^2$-Wasserstein space. The equation lacks the necessary convexity properties which would allow to dedu…
▽ More
We consider a nonlinear degenerate convection-diffusion equation with inhomogeneous convection and prove that its entropy solutions in the sense of Kružkov are obtained as the - a posteriori unique - limit points of the JKO variational approximation scheme for an associated gradient flow in the $L^2$-Wasserstein space. The equation lacks the necessary convexity properties which would allow to deduce well-posedness of the initial value problem by the abstract theory of metric gradient flows. Instead, we prove the entropy inequality directly by variational methods and conclude uniqueness by doubling of the variables.
△ Less
Submitted 3 August, 2012;
originally announced August 2012.
-
Stationary states of quadratic diffusion equations with long-range attraction
Authors:
M. Burger,
M. Di Francesco,
M. Franek
Abstract:
We study the existence and uniqueness of nontrivial stationary solutions to a nonlocal aggregation equation with quadratic diffusion arising in many contexts in population dynamics. The equation is the Wasserstein gradient flow generated by the energy E, which is the sum of a quadratic free energy and the interaction energy. The interaction kernel is taken radial and attractive, nonnegative and in…
▽ More
We study the existence and uniqueness of nontrivial stationary solutions to a nonlocal aggregation equation with quadratic diffusion arising in many contexts in population dynamics. The equation is the Wasserstein gradient flow generated by the energy E, which is the sum of a quadratic free energy and the interaction energy. The interaction kernel is taken radial and attractive, nonnegative and integrable, with further technical smoothness assumptions. The existence vs. nonexistence of such solutions is ruled by a threshold phenomenon, namely nontrivial steady states exist if and only if the diffusivity constant is strictly smaller than the total mass of the interaction kernel. In the one dimensional case we prove that steady states are unique up to translations and mass constraint. The strategy is based on a strong version of the Krein-Rutman theorem. The steady states are symmetric with respect to their center of mass x0, compactly supported on sets of the form [x0 -L, x0+L], C^2 on their support, strictly decreasing on (x0, x0+L). Moreover, they are global minimizers of the energy functional E. The results are complemented by numerical simulations.
△ Less
Submitted 28 March, 2011;
originally announced March 2011.
-
Singular convergence of nonlinear hyperbolic chemotaxis systems to Keller--Segel type models
Authors:
M. Di Francesco,
D. Donatelli
Abstract:
In this paper we deal with diffusive relaxation limits of nonlinear systems of Euler type modeling chemotactic movement of cells toward Keller--Segel type systems. The approximating systems are either hyperbolic--parabolic or hyperbolic--elliptic. They all feature a nonlinear pressure term arising from a \emph{volume filling effect} which takes into account the fact that cells do not interpenetr…
▽ More
In this paper we deal with diffusive relaxation limits of nonlinear systems of Euler type modeling chemotactic movement of cells toward Keller--Segel type systems. The approximating systems are either hyperbolic--parabolic or hyperbolic--elliptic. They all feature a nonlinear pressure term arising from a \emph{volume filling effect} which takes into account the fact that cells do not interpenetrate. The main convergence result relies on compensated compactness tools and is obtained for large initial data under suitable assumptions on the approximating solutions. In order to justify such assumptions, we also prove an existence result for initial data which are small perturbation of a constant state. Such result is proven via classical Friedrichs's symmetrization and linearization. In order to simplify the coverage, we restrict to the two--dimensional case with periodical boundary conditions.
△ Less
Submitted 24 July, 2008;
originally announced July 2008.
