Showing 1–21 of 21 results for author: Garavello, M

General Renewal Equations Motivated by Biology and Epidemiology

Authors: Rinaldo M. Colombo, Mauro Garavello, Francesca Marcellini, Elena Rossi

Abstract: We present a unified framework ensuring well posedness and providing stability estimates to a class of Initial Boundary Value Problems for renewal equations comprising a variety of biological or epidemiological models. This versatility is achieved considering fairly general -- possibly non linear and/or non local -- interaction terms, allowing both low regularity assumptions and independent variab… ▽ More We present a unified framework ensuring well posedness and providing stability estimates to a class of Initial Boundary Value Problems for renewal equations comprising a variety of biological or epidemiological models. This versatility is achieved considering fairly general -- possibly non linear and/or non local -- interaction terms, allowing both low regularity assumptions and independent variables with or without a boundary. In particular, these results also apply, for instance, to a model for the spreading of a Covid like pandemic or other epidemics. Further applications are shown to be covered by the present setting. △ Less

Submitted 4 January, 2023; originally announced January 2023.

Comments: 32 pages

MSC Class: 35L65; 92D30

Autonomous Vehicles Driving Traffic: The Cauchy Problem

Authors: Mauro Garavello, Francesca Marcellini

Abstract: This paper deals with the Cauchy Problem for a PDE-ODE model, where a system of two conservation laws, namely the Two-Phase macroscopic model, is coupled with an ordinary differential equation describing the trajectory of an autonomous vehicle (AV), which aims to control the traffic flow. Under suitable assumptions, we prove a global in time existence result. This paper deals with the Cauchy Problem for a PDE-ODE model, where a system of two conservation laws, namely the Two-Phase macroscopic model, is coupled with an ordinary differential equation describing the trajectory of an autonomous vehicle (AV), which aims to control the traffic flow. Under suitable assumptions, we prove a global in time existence result. △ Less

Submitted 14 August, 2023; v1 submitted 6 December, 2022; originally announced December 2022.

Comments: 32 pages

MSC Class: 35L65; 90B20

Optimal control problems for a parabolic system modeling glioma therapy

Authors: Mauro Garavello, Elena Rossi

Abstract: In this paper we consider optimal control problems for a parabolic system modeling a therapy, based on oncolytic viruses, for the glioma brain cancer. Using several techniques typical of functional analysis, we prove the global in time well posedness of the control model, the existence of optimal controls for specific objective functionals, which are natural for cancer therapies, and we derive nec… ▽ More In this paper we consider optimal control problems for a parabolic system modeling a therapy, based on oncolytic viruses, for the glioma brain cancer. Using several techniques typical of functional analysis, we prove the global in time well posedness of the control model, the existence of optimal controls for specific objective functionals, which are natural for cancer therapies, and we derive necessary conditions for optimality. △ Less

Submitted 2 December, 2022; originally announced December 2022.

MSC Class: 35K51; 25K55; 35Q93; 49J20; 49N90

On the Coupling of Well Posed Differential Models -- Detailed Version

Authors: Rinaldo M. Colombo, Mauro Garavello, Matthew Tandy

Abstract: Consider the coupling of $2$ evolution equations, each generating a global process. We prove that the resulting system generates a new global process. This statement can be applied to differential equations of various kinds. In particular, it also yields the well posedness of a predator-prey model, where the coupling is in the differential terms, and of an epidemiological model, which does not fit… ▽ More Consider the coupling of $2$ evolution equations, each generating a global process. We prove that the resulting system generates a new global process. This statement can be applied to differential equations of various kinds. In particular, it also yields the well posedness of a predator-prey model, where the coupling is in the differential terms, and of an epidemiological model, which does not fit previous well posedness results. △ Less

Submitted 3 November, 2022; originally announced November 2022.

Comments: 46 pages

MSC Class: 34G20; 35M30; 35L65; 35F30

Infectious Diseases Spreading Fought by Multiple Vaccines Having a Prescribed Time Effect

Authors: Rinaldo M. Colombo, Mauro Garavello

Abstract: We propose a framework for the description of the effects of vaccinations on the spreading of an epidemic disease. Different vaccines can be dosed, each providing different immunization times and immunization levels. Differences due to individuals' ages are accounted for through the introduction of either a continuous age structure or a discrete set of age classes. Extensions to gender differences… ▽ More We propose a framework for the description of the effects of vaccinations on the spreading of an epidemic disease. Different vaccines can be dosed, each providing different immunization times and immunization levels. Differences due to individuals' ages are accounted for through the introduction of either a continuous age structure or a discrete set of age classes. Extensions to gender differences or to distinguish fragile individuals can also be considered. Within this setting, vaccination strategies can be simulated, tested and compared, as is explicitly described through numerical integrations. △ Less

Submitted 29 December, 2021; originally announced December 2021.

Comments: 23 pages

Well Posedness and Control in a NonLocal SIR Model

Authors: Rinaldo M. Colombo, Mauro Garavello

Abstract: SIR models, also with age structure, can be used to describe the evolution of an infective disease. A vaccination campaign influences this dynamics immunizing part of the susceptible individuals, essentially turning them into recovered individuals. We assume that vaccinations are dosed at prescribed times or ages which introduce discontinuities in the evolutions of the S and R populations. It is t… ▽ More SIR models, also with age structure, can be used to describe the evolution of an infective disease. A vaccination campaign influences this dynamics immunizing part of the susceptible individuals, essentially turning them into recovered individuals. We assume that vaccinations are dosed at prescribed times or ages which introduce discontinuities in the evolutions of the S and R populations. It is then natural to seek the 'best' vaccination strategies in terms of costs and/or effectiveness. This paper provides the basic well posedness and stability results on the SIR model with vaccination campaigns, thus ensuring the existence of optimal dosing strategies. △ Less

Submitted 16 October, 2019; originally announced October 2019.

Comments: 31 pages

MSC Class: 35L65; 49J20; 92D30

A multiscale model for traffic regulation via autonomous vehicles

Authors: Mauro Garavello, Paola Goatin, Thibault Liard, Benedetto Piccoli

Abstract: Autonomous vehicles (AVs) allow new ways of regulating the traffic flow on road networks. Most of available results in this direction are based on microscopic approaches, where ODEs describe the evolution of regular cars and AVs. In this paper, we propose a multiscale approach, based on recently developed models for moving bottlenecks. Our main result is the proof of existence of solutions for ope… ▽ More Autonomous vehicles (AVs) allow new ways of regulating the traffic flow on road networks. Most of available results in this direction are based on microscopic approaches, where ODEs describe the evolution of regular cars and AVs. In this paper, we propose a multiscale approach, based on recently developed models for moving bottlenecks. Our main result is the proof of existence of solutions for open-loop controls with bounded variation. △ Less

Submitted 20 April, 2020; v1 submitted 9 October, 2019; originally announced October 2019.

Journal ref: Journal of Differential Equations, Elsevier

On the optimization of conservation law models at a junction with inflow and flow distribution controls

Authors: Fabio Ancona, Annalisa Cesaroni, Giuseppe Maria Coclite, Mauro Garavello

Abstract: The paper proposes a general framework to analyze control problems for conservation law models on a network. Namely we consider a general class of junction distribution controls and inflow controls and we establish the compactness in $L^1$ of a class of flux-traces of solutions. We then derive the existence of solutions for two optimization problems: (I) the maximization of an integral functional… ▽ More The paper proposes a general framework to analyze control problems for conservation law models on a network. Namely we consider a general class of junction distribution controls and inflow controls and we establish the compactness in $L^1$ of a class of flux-traces of solutions. We then derive the existence of solutions for two optimization problems: (I) the maximization of an integral functional depending on the flux-traces of solutions evaluated at points of the incoming and outgoing edges; (II) the minimization of the total variation of the optimal solutions of problem (I). Finally we provide an equivalent variational formulation of the min-max problem (II) and we discuss some numerical simulations for a junction with two incoming and two outgoing edges. △ Less

Submitted 21 July, 2018; v1 submitted 19 March, 2018; originally announced March 2018.

Comments: 29 pages, 14 figures

A Game Theoretic Approach to Hyperbolic Consensus Problems

Authors: Rinaldo M. Colombo, Mauro Garavello

Abstract: We introduce the use of conservation laws to develop strategies in multi-player consensus games. First, basic well posedness results provide a reliable analytic setting. Then, a general non anticipative strategy is proposed through its rigorous analytic definitions and then tested by means of numerical integrations. We introduce the use of conservation laws to develop strategies in multi-player consensus games. First, basic well posedness results provide a reliable analytic setting. Then, a general non anticipative strategy is proposed through its rigorous analytic definitions and then tested by means of numerical integrations. △ Less

Submitted 12 January, 2018; originally announced January 2018.

A Riemann solver at a junction compatible with a homogenization limit

Authors: Mauro Garavello, Francesca Marcellini

Abstract: We consider a junction regulated by a traffic lights, with n incoming roads and only one outgoing road. On each road the Phase Transition traffic model, proposed in [6], describes the evolution of car traffic. Such model is an extension of the classic Lighthill-Whitham-Richards one, obtained by assuming that different drivers may have different maximal speed. By sending to infinity the number of c… ▽ More We consider a junction regulated by a traffic lights, with n incoming roads and only one outgoing road. On each road the Phase Transition traffic model, proposed in [6], describes the evolution of car traffic. Such model is an extension of the classic Lighthill-Whitham-Richards one, obtained by assuming that different drivers may have different maximal speed. By sending to infinity the number of cycles of the traffic lights, we obtain a justification of the Riemann solver introduced in [9] and in particular of the rule for determining the maximal speed in the outgoing road. △ Less

Submitted 20 December, 2017; originally announced December 2017.

Comments: 19 pages

MSC Class: 35L65; 90B20

The Godunov Method for a 2-Phase Model

Authors: Mauro Garavello, Francesca Marcellini

Abstract: We consider the Godunov numerical method to the phase-transition traffic model, proposed in [6], by Colombo, Marcellini, and Rascle. Numerical tests are shown to prove the validity of the method. Moreover we highlight the differences between such model and the one proposed in [1], by Blandin, Work, Goatin, Piccoli, and Bayen. We consider the Godunov numerical method to the phase-transition traffic model, proposed in [6], by Colombo, Marcellini, and Rascle. Numerical tests are shown to prove the validity of the method. Moreover we highlight the differences between such model and the one proposed in [1], by Blandin, Work, Goatin, Piccoli, and Bayen. △ Less

Submitted 15 March, 2017; originally announced March 2017.

Comments: 13 pages

MSC Class: 35L65; 90B20

Polynomial Profits in Renewable Resources Management

Authors: Rinaldo M. Colombo, Mauro Garavello

Abstract: A system of renewal equations on a graph provides a framework to describe the exploitation of a biological resource. In this context, we formulate an optimal control problem, prove the existence of an optimal control and ensure that the target cost function is polynomial in the control. In specific situations, further information about the form of this dependence is obtained. As a consequence, in… ▽ More A system of renewal equations on a graph provides a framework to describe the exploitation of a biological resource. In this context, we formulate an optimal control problem, prove the existence of an optimal control and ensure that the target cost function is polynomial in the control. In specific situations, further information about the form of this dependence is obtained. As a consequence, in some cases the optimal control is proved to be necessarily bang--bang, in other cases the computations necessary to find the optimal control are significantly reduced. △ Less

Submitted 7 March, 2017; originally announced March 2017.

Optimal strategies for a time-dependent harvesting problem

Authors: G. M. Coclite, M. Garavello, L. V. Spinolo

Abstract: We focus on an optimal control problem, introduced by Bressan and Shen as a model for fish harvesting. We consider the time-dependent case and we establish existence and uniqueness of an optimal strategy, and sufficient conditions for optimality. We also consider a related differential game that models the situation where there are several competing fish companies and we prove existence of Nash eq… ▽ More We focus on an optimal control problem, introduced by Bressan and Shen as a model for fish harvesting. We consider the time-dependent case and we establish existence and uniqueness of an optimal strategy, and sufficient conditions for optimality. We also consider a related differential game that models the situation where there are several competing fish companies and we prove existence of Nash equilibria. From the technical viewpoint, the most relevant point is establishing the uniqueness result. This amounts to prove precise a-priori estimates for solutions of suitable parabolic equations with measure-valued coefficients. All the analysis is developed in the case when the fishing domain is one-dimensional. △ Less

Submitted 18 February, 2016; originally announced February 2016.

Comments: 44 pages

MSC Class: 35K61; 35Q93; 49J20; 49N25; 49N90

Differential Equations Modeling Crowd Interactions

Authors: Raul Borsche, Rinaldo M. Colombo, Mauro Garavello, Anne Meurer

Abstract: Nonlocal conservation laws are used to describe various realistic instances of crowd behaviors. First, a basic analytic framework is established through an "ad hoc" well posedness theorem for systems of nonlocal conservation laws in several space dimensions interacting non locally with a system of ODEs. Numerical integrations show possible applications to the interaction of different groups of ped… ▽ More Nonlocal conservation laws are used to describe various realistic instances of crowd behaviors. First, a basic analytic framework is established through an "ad hoc" well posedness theorem for systems of nonlocal conservation laws in several space dimensions interacting non locally with a system of ODEs. Numerical integrations show possible applications to the interaction of different groups of pedestrians, and also with other "agents". △ Less

Submitted 30 May, 2014; originally announced May 2014.

Comments: 26 pages, 5 figures

Stability and Optimization in Structured Population Models on Graphs

Authors: Mauro Garavello, Rinaldo M. Colombo

Abstract: We prove existence and uniqueness of solutions, continuous dependence from the initial datum and stability with respect to the boundary condition in a class of initial--boundary value problems for systems of balance laws. The particular choice of the boundary condition allows to comprehend models with very different structures. In particular, we consider a juvenile-adult model, the problem of the… ▽ More We prove existence and uniqueness of solutions, continuous dependence from the initial datum and stability with respect to the boundary condition in a class of initial--boundary value problems for systems of balance laws. The particular choice of the boundary condition allows to comprehend models with very different structures. In particular, we consider a juvenile-adult model, the problem of the optimal mating ratio and a model for the optimal management of biological resources. The stability result obtained allows to tackle various optimal management/control problems, providing sufficient conditions for the existence of optimal choices/controls. △ Less

Submitted 26 March, 2014; originally announced March 2014.

Comments: 22 pages, 7 figures

MSC Class: 35L50; 92D25

Conservation laws in the modeling of moving crowds

Authors: Rinaldo M. Colombo, Mauro Garavello, Magali Lécureux-Mercier, Nikolay Pogodaev

Abstract: This paper is a proceeding of the conference hyp2012 that was held in Padova in June 2012. Models for crowd dynamics are presented and compared. Well posedness results allow to exhibit the existence of optimal controls in various situations. A new approach not based on partial differential equations is also briefly considered. This paper is a proceeding of the conference hyp2012 that was held in Padova in June 2012. Models for crowd dynamics are presented and compared. Well posedness results allow to exhibit the existence of optimal controls in various situations. A new approach not based on partial differential equations is also briefly considered. △ Less

Submitted 2 November, 2012; originally announced November 2012.

A Class of Non-Local Models for Pedestrian Traffic

Authors: Rinaldo M. Colombo, Mauro Garavello, Magali Lécureux-Mercier

Abstract: We present a new class of macroscopic models for pedestrian flows. Each individual is assumed to move towards a fixed target, deviating from the best path according to the instantaneous crowd distribution. The resulting equation is a conservation law with a nonlocal flux. Each equation in this class generates a Lipschitz semigroup of solutions and is stable with respect to the functions and parame… ▽ More We present a new class of macroscopic models for pedestrian flows. Each individual is assumed to move towards a fixed target, deviating from the best path according to the instantaneous crowd distribution. The resulting equation is a conservation law with a nonlocal flux. Each equation in this class generates a Lipschitz semigroup of solutions and is stable with respect to the functions and parameters defining it. Moreover, key qualitative properties such as the boundedness of the crowd density are proved. Specific models are presented and their qualitative properties are shown through numerical integrations. △ Less

Submitted 20 April, 2011; v1 submitted 15 April, 2011; originally announced April 2011.

The Aw-Rascle traffic model with locally constrained flow

Authors: Mauro Garavello, Paola Goatin

Abstract: We consider solutions of the Aw-Rascle model for traffic flow fulfilling a constraint on the flux at $x=0$. Two different kinds of solutions are proposed: at $x=0$ the first one conserves both the number of vehicles and the generalized momentum, while the second one conserves only the number of cars. We study the invariant domains for these solutions and we compare the two Riemann solvers in terms… ▽ More We consider solutions of the Aw-Rascle model for traffic flow fulfilling a constraint on the flux at $x=0$. Two different kinds of solutions are proposed: at $x=0$ the first one conserves both the number of vehicles and the generalized momentum, while the second one conserves only the number of cars. We study the invariant domains for these solutions and we compare the two Riemann solvers in terms of total variation of relevant quantities. Finally we construct ad hoc finite volume numerical schemes to compute these solutions. △ Less

Submitted 30 June, 2010; originally announced June 2010.

Comments: 24 pages

MSC Class: 90B20; 35L65

Entropy type conditions for Riemann solvers at nodes

Authors: Mauro Garavello, Benedetto Piccoli

Abstract: This paper deals with conservation laws on networks, represented by graphs. Entropy-type conditions are considered to determine dynamics at nodes. Since entropy dispersion is a local concept, we consider a network composed by a single node $J$ with $n$ incoming and $m$ outgoing arcs. We extend at $J$ the classical Kružkov entropy obtaining two conditions, denoted by (E1) and (E2): the first… ▽ More This paper deals with conservation laws on networks, represented by graphs. Entropy-type conditions are considered to determine dynamics at nodes. Since entropy dispersion is a local concept, we consider a network composed by a single node $J$ with $n$ incoming and $m$ outgoing arcs. We extend at $J$ the classical Kružkov entropy obtaining two conditions, denoted by (E1) and (E2): the first requiring entropy condition for all Kružkov entropies, the second only for the value corresponding to sonic point. First we show that in case $n \ne m$, no Riemann solver can satisfy the strongest condition. Then we characterize all the Riemann solvers at $J$ satisfying the strongest condition (E1), in the case of nodes with at most two incoming and two outgoing arcs. Finally we focus three different Riemann solvers, introduced in previous papers. In particular, we show that the Riemann solver introduced for data networks is the only one always satisfying (E2). △ Less

Submitted 27 May, 2009; originally announced May 2009.

Comments: 35 pages

MSC Class: 90B20; 35L65

On the 1D Modeling of Fluid Flowing through a Junction

Authors: Rinaldo M. Colombo, Mauro Garavello

Abstract: Consider a fluid flowing through a junction between two pipes with different sections. Its evolution is described by the 2D or 3D Euler equations, whose analytical theory is far from complete and whose numerical treatment may be rather costly. This note compares different 1D approaches to this phenomenon. Consider a fluid flowing through a junction between two pipes with different sections. Its evolution is described by the 2D or 3D Euler equations, whose analytical theory is far from complete and whose numerical treatment may be rather costly. This note compares different 1D approaches to this phenomenon. △ Less

Submitted 4 March, 2009; originally announced March 2009.

Comments: 21 pages, 6 figures

MSC Class: 35L65

Verification Theorems for Hamilton-Jacobi-Bellman equations

Authors: Mauro Garavello

Abstract: We study an optimal control problem in Bolza form and we consider the value function associated to this problem. We prove two verification theorems which ensure that, if a function $W$ satisfies some suitable weak continuity assumptions and a Hamilton-Jacobi-Bellman inequality outside a countably $\mathcal H^n$-rectifiable set, then it is lower or equal to the value function. These results can b… ▽ More We study an optimal control problem in Bolza form and we consider the value function associated to this problem. We prove two verification theorems which ensure that, if a function $W$ satisfies some suitable weak continuity assumptions and a Hamilton-Jacobi-Bellman inequality outside a countably $\mathcal H^n$-rectifiable set, then it is lower or equal to the value function. These results can be used for optimal synthesis approach. △ Less

Submitted 17 October, 2002; v1 submitted 5 September, 2001; originally announced September 2001.

Comments: 29 pages, 3 figure

MSC Class: 49K15;93C15;49L25