Showing 1–50 of 55 results for author: Colombo, R M

Non Local Mixed Systems with Neumann Boundary Conditions

Authors: Rinaldo M. Colombo, Elena Rossi, Abraham Sylla

Abstract: We prove well posedness and stability in $\mathbf{L}^1$ for a class of mixed hyperbolic-parabolic non linear and non local equations in a bounded domain with no flow along the boundary. While the treatment of boundary conditions for the hyperbolic equation is standard, the extension to $\mathbf{L}^1$ of classical results about parabolic equations with Neumann conditions is here achieved. We prove well posedness and stability in $\mathbf{L}^1$ for a class of mixed hyperbolic-parabolic non linear and non local equations in a bounded domain with no flow along the boundary. While the treatment of boundary conditions for the hyperbolic equation is standard, the extension to $\mathbf{L}^1$ of classical results about parabolic equations with Neumann conditions is here achieved. △ Less

Submitted 14 February, 2025; originally announced February 2025.

MSC Class: 35M30; 35L04; 35K20

General Stability Estimates in NonLocal Traffic Models for Several Populations

Authors: Rinaldo M. Colombo, Mauro Garavello, Claudia Nocita

Abstract: We prove global existence, uniqueness and $\L1$ stability of solutions to general systems of nonlocal conservation laws modeling multiclass vehicular traffic. Each class follows its own speed law and has specific effects on the other classes' speeds. Moreover, general explicit dependencies of the speed laws on space and time are allowed. Solutions are proved to depend continuously -- in suitable n… ▽ More We prove global existence, uniqueness and $\L1$ stability of solutions to general systems of nonlocal conservation laws modeling multiclass vehicular traffic. Each class follows its own speed law and has specific effects on the other classes' speeds. Moreover, general explicit dependencies of the speed laws on space and time are allowed. Solutions are proved to depend continuously -- in suitable norms -- on all terms appearing in the equations, as well as on the initial data. Numerical simulations show the relevance and the effects of the nonlocal terms. △ Less

Submitted 28 January, 2025; originally announced January 2025.

MSC Class: 35L65; 76A30; 65M22

Nash Equilibria in Traffic Networks with Multiple Populations and Origins-Destinations

Authors: Rinaldo M. Colombo, Luca Giuzzi, Francesca Marcellini

Abstract: Different populations of vehicles travel along a network. Each population has its origin, destination and travel costs - which may well be unbounded. Under the only requirement of the continuity of the travel costs, we prove the existence of a Nash equilibrium for all populations. Conditions for its uniqueness are also provided. A few cases are treated in detail to show specific situations of inte… ▽ More Different populations of vehicles travel along a network. Each population has its origin, destination and travel costs - which may well be unbounded. Under the only requirement of the continuity of the travel costs, we prove the existence of a Nash equilibrium for all populations. Conditions for its uniqueness are also provided. A few cases are treated in detail to show specific situations of interest. △ Less

Submitted 19 November, 2024; originally announced November 2024.

Comments: 23 pages

MSC Class: 90B20; 91A80; 91B74

Non Local Hyperbolic Dynamics of Clusters

Authors: Rinaldo M. Colombo, Mauro Garavello

Abstract: The formation, movement and gluing of clusters can be described through a system of non local balance laws. Here, the well posedness of this system is obtained, as well as various stability estimates. Remarkably, qualitative properties of the solutions are proved, providing information on stationary solutions and on the propagation speed. In some cases, fragmentation leads to clusters developing i… ▽ More The formation, movement and gluing of clusters can be described through a system of non local balance laws. Here, the well posedness of this system is obtained, as well as various stability estimates. Remarkably, qualitative properties of the solutions are proved, providing information on stationary solutions and on the propagation speed. In some cases, fragmentation leads to clusters developing independently. Moreover, these equations may serve as an encryption/decryption tool. This poses new analytical problems and asks for improved numerical methods. △ Less

Submitted 14 October, 2024; originally announced October 2024.

Comments: 28 pages, 7 figures

MSC Class: 35L65; 91C20

Localized Inverse Design in Conservation Laws and Hamilton-Jacobi Equations

Authors: Rinaldo M. Colombo, Vincent Perrollaz

Abstract: Consider the inverse design problem for a scalar conservation law, i.e., the problem of finding initial data evolving into a given profile at a given time. The solution we present below takes into account localizations both in the final interval where the profile is assigned and in the initial interval where the datum is sought, as well as additional a priori constraints on the datum's range provi… ▽ More Consider the inverse design problem for a scalar conservation law, i.e., the problem of finding initial data evolving into a given profile at a given time. The solution we present below takes into account localizations both in the final interval where the profile is assigned and in the initial interval where the datum is sought, as well as additional a priori constraints on the datum's range provided by the model. These results are motivated and can be applied to data assimilation procedures in traffic modeling and accidents localization. △ Less

Submitted 26 March, 2024; originally announced March 2024.

Non Linear Hyperbolic-Parabolic Systems with Dirichlet Boundary Conditions

Authors: Rinaldo M. Colombo, Elena Rossi

Abstract: We prove the well posedness of a class of non linear and non local mixed hyperbolic-parabolic systems in bounded domains, with Dirichlet boundary conditions. In view of control problems, stability estimates on the dependence of solutions on data and parameters are also provided. These equations appear in models devoted to population dynamics or to epidemiology, for instance. We prove the well posedness of a class of non linear and non local mixed hyperbolic-parabolic systems in bounded domains, with Dirichlet boundary conditions. In view of control problems, stability estimates on the dependence of solutions on data and parameters are also provided. These equations appear in models devoted to population dynamics or to epidemiology, for instance. △ Less

Submitted 12 September, 2023; originally announced September 2023.

MSC Class: 35M30; 35L04; 35K20

Peculiarities of Space Dependent Conservation Laws: Inverse Design and Asymptotics

Authors: Rinaldo M. Colombo, Vincent Perrollaz, Abraham Sylla

Abstract: Recently, results regarding the Inverse Design problem for Conservation Laws and Hamilton-Jacobi equations with space-dependent convex fluxes were obtaine. More precisely, characterizations of attainable sets and the set of initialdata evolving at a prescribed time into a prescribed profile were obtained. Here, wepresent an explicit example that underlines deep diff erences between the space-depen… ▽ More Recently, results regarding the Inverse Design problem for Conservation Laws and Hamilton-Jacobi equations with space-dependent convex fluxes were obtaine. More precisely, characterizations of attainable sets and the set of initialdata evolving at a prescribed time into a prescribed profile were obtained. Here, wepresent an explicit example that underlines deep diff erences between the space-dependentand space-independent cases. Moreover, we add a detailed analysis of the time asymptoticsolution of this example, again underlining diff erences with the space-independent case. △ Less

Submitted 15 May, 2023; originally announced May 2023.

Comments: arXiv admin note: text overlap with arXiv:2304.05092

Initial Data Identication in Space Dependent Conservation Laws and Hamilton-Jacobi Equations

Authors: Rinaldo M. Colombo, Vincent Perrollaz, Abraham Sylla

Abstract: Consider a Conservation Law and a Hamilton-Jacobi equation with a ux/Hamiltonian depending also on the space variable. We characterize rst the attainable set of the two equations and, second, the set of initial data evolving at a prescribed time into a prescribed prole. An explicit example then shows the deep dierences between the cases of x-independent and x-dependent uxes/Hamiltonians. Consider a Conservation Law and a Hamilton-Jacobi equation with a ux/Hamiltonian depending also on the space variable. We characterize rst the attainable set of the two equations and, second, the set of initial data evolving at a prescribed time into a prescribed prole. An explicit example then shows the deep dierences between the cases of x-independent and x-dependent uxes/Hamiltonians. △ Less

Submitted 11 April, 2023; originally announced April 2023.

Well Posedness and Characterization of Solutions to Non Conservative Products in Non Homogeneous Fluid Dynamics Equations

Authors: Rinaldo M. Colombo, Graziano Guerra, Yannick Holle

Abstract: Consider a balance law where the flux depends explicitly on the space variable. At jump discontinuities, modeling considerations may impose the defect in the conservation of some quantities, thus leading to non conservative products. Below, we deduce the evolution in the smooth case from the jump conditions at discontinuities. Moreover, the resulting framework enjoys well posedness and solutions a… ▽ More Consider a balance law where the flux depends explicitly on the space variable. At jump discontinuities, modeling considerations may impose the defect in the conservation of some quantities, thus leading to non conservative products. Below, we deduce the evolution in the smooth case from the jump conditions at discontinuities. Moreover, the resulting framework enjoys well posedness and solutions are uniquely characterized. These results apply, for instance, to the flow of water in a canal with varying width and depth, as well as to the inviscid Euler equations in pipes with varying geometry. △ Less

Submitted 2 April, 2023; originally announced April 2023.

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

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

Extreme Mass Ratio Inspirals triggered by Massive Black Hole Binaries: from Relativistic Dynamics to Cosmological Rates

Authors: Giovanni Mazzolari, Matteo Bonetti, Alberto Sesana, Riccardo M. Colombo, Massimo Dotti, Giuseppe Lodato, David Izquierdo-Villalba

Abstract: Extreme mass ratio inspirals (EMRIs) are compact binary systems characterized by a mass-ratio $q=m/M$ in the range $~10^{-9}-10^{-4}$ and represent primary gravitational wave (GW) sources for the forthcoming Laser Interferometer Space Antenna (LISA). While their standard formation channel involves relaxation processes deflecting compact objects on very low angular momentum orbits around the centra… ▽ More Extreme mass ratio inspirals (EMRIs) are compact binary systems characterized by a mass-ratio $q=m/M$ in the range $~10^{-9}-10^{-4}$ and represent primary gravitational wave (GW) sources for the forthcoming Laser Interferometer Space Antenna (LISA). While their standard formation channel involves relaxation processes deflecting compact objects on very low angular momentum orbits around the central massive black hole, a number of alternative formation channels has been proposed, including binary tidal break-up, migration in accretion disks and secular and chaotic dynamics around a massive black hole binary (MBHB). In this work, we take an extensive closer look at this latter scenario, investigating how EMRIs can be triggered by a MBHBs, formed in the aftermath of galaxy mergers. By employing a suite of relativistic three-body simulations, we evaluate the efficiency of EMRI formation for different parameters of the MBHB, assessing the importance of both secular and chaotic dynamics. By modelling the distribution of compact objects in galaxy nuclei, we estimate the resulting EMRI formation rate, finding that EMRI are produced in a sharp burst, with peak rates that are 10-100 times higher than the standard two-body relaxation channel, lasting for 10$^6$--10$^8$ years. By coupling our results with an estimate of the cosmic MBHB merger rate, we finally forecast that LISA could observe ${\cal O}(10)$ EMRIs per year formed by this channel. △ Less

Submitted 8 August, 2022; v1 submitted 11 April, 2022; originally announced April 2022.

Comments: 18 pages, 15 figures, accepted for publication in MNRAS

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 22 July, 2024; v1 submitted 29 December, 2021; originally announced December 2021.

Comments: 23 pages

Journal ref: Acta Biotheoretica, 71:1, 2023

Non Conservative Products in Fluid Dynamics

Authors: R. M. Colombo, G. Guerra, Y. Holle

Abstract: Fluid flow in pipes with discontinuous cross section or with kinks is described through balance laws with a non conservative product in the source. At jump discontinuities in the pipes' geometry, the physics of the problem suggests how to single out a solution. On this basis, we present a definition of solution for a general BV geometry and prove an existence result, consistent with a limiting pro… ▽ More Fluid flow in pipes with discontinuous cross section or with kinks is described through balance laws with a non conservative product in the source. At jump discontinuities in the pipes' geometry, the physics of the problem suggests how to single out a solution. On this basis, we present a definition of solution for a general BV geometry and prove an existence result, consistent with a limiting procedure from piecewise constant geometries. In the case of a smoothly curved pipe we thus justify the appearance of the curvature in the source term of the linear momentum equation. These results are obtained as consequences of a general existence result devoted to abstract balance laws with non conservative source terms. △ Less

Submitted 12 April, 2021; originally announced April 2021.

MSC Class: 35L65; 76N10

On a Hyperbolic-Parabolic Parasitoid-Parasite System: Well Posedness and Control

Authors: Rinaldo M. Colombo, Elena Rossi

Abstract: We develop a time and space dependent predator-prey model. The predators' equation is a non local hyperbolic balance law, while the diffusion of prey obeys a parabolic equation, so that predators "hunt" for prey, while prey diffuse. A control term allows to describe the use of predators as parasitoids to limit the growth of prey-parasites. The general well posedness and stability results here obta… ▽ More We develop a time and space dependent predator-prey model. The predators' equation is a non local hyperbolic balance law, while the diffusion of prey obeys a parabolic equation, so that predators "hunt" for prey, while prey diffuse. A control term allows to describe the use of predators as parasitoids to limit the growth of prey-parasites. The general well posedness and stability results here obtained ensure the existence of optimal pest control strategies, as discussed through some numerical integrations. The specific example we have in mind is that of Trichopria drosophilae used to fight against the spreading of Drosophila suzukii. △ Less

Submitted 31 March, 2020; originally announced March 2020.

MSC Class: 35L65; 49J20; 35M30

On The Microscopic Modeling of Vehicular Traffic on General Networks

Authors: Rinaldo M. Colombo, Helge Holden, Francesca Marcellini

Abstract: We introduce a formalism to deal with the microscopic modeling of vehicular traffic on a road network. Traffic on each road is uni-directional, and the dynamics of each vehicle is described by a Follow-the-Leader model. From a mathematical point of view, this amounts to define a system of ordinary differential equations on an arbitrary network. A general existence and uniqueness result is provided… ▽ More We introduce a formalism to deal with the microscopic modeling of vehicular traffic on a road network. Traffic on each road is uni-directional, and the dynamics of each vehicle is described by a Follow-the-Leader model. From a mathematical point of view, this amounts to define a system of ordinary differential equations on an arbitrary network. A general existence and uniqueness result is provided, while priorities at junctions are shown to hinder the stability of solutions. We investigate the occurrence of the Braess paradox in a time-dependent setting within this model. The emergence of Nash equilibria in a non-stationary situation results in the appearance of Braess type paradoxes, and this is supported by numerical simulations. △ Less

Submitted 21 February, 2020; originally announced February 2020.

Comments: 15 pages

MSC Class: 90B20; 91B74; 91D10

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

Conservation Laws with Coinciding Smooth Solutions but Different Conserved Variable

Authors: Rinaldo M. Colombo, Graziano Guerra

Abstract: Consider two hyperbolic systems of conservation laws in one space dimension with the same eigenvalues and (right) eigenvectors. We prove that solutions to Cauchy problems with the same initial data differ at third order in the total variation of the initial datum. As a first application, relying on the classical Glimm-Lax result, we obtain estimates improving those in by Saint Raymond on the dista… ▽ More Consider two hyperbolic systems of conservation laws in one space dimension with the same eigenvalues and (right) eigenvectors. We prove that solutions to Cauchy problems with the same initial data differ at third order in the total variation of the initial datum. As a first application, relying on the classical Glimm-Lax result, we obtain estimates improving those in by Saint Raymond on the distance between solutions to the isentropic and non-isentropic inviscid compressible Euler equations, under general equations of state. Further applications are to the general scalar case, where rather precise estimates are obtained, to an approximation by Di Perna of the p-system and to a traffic model. △ Less

Submitted 18 January, 2018; originally announced January 2018.

MSC Class: 35L65; 35Q35; 76N99

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.

Non Local Conservation Laws in Bounded Domains

Authors: Elena Rossi, Rinaldo M. Colombo

Abstract: The well posedness for a class of non local systems of conservation laws in a bounded domain is proved and various stability estimates are provided. This construction is motivated by the modelling of crowd dynamics, which also leads to define a non local operator adapted to the presence of a boundary. Numerical integrations show that the resulting model provides qualitatively reasonable solutions. The well posedness for a class of non local systems of conservation laws in a bounded domain is proved and various stability estimates are provided. This construction is motivated by the modelling of crowd dynamics, which also leads to define a non local operator adapted to the presence of a boundary. Numerical integrations show that the resulting model provides qualitatively reasonable solutions. △ Less

Submitted 14 November, 2017; originally announced November 2017.

IBVPs for Scalar Conservation Laws with Time Discontinuous Fluxes

Authors: Rinaldo M. Colombo, Elena Rossi

Abstract: The initial boundary value problem for a class of scalar non autonomous conservation laws in one space dimension is proved to be well posed and stable with respect to variations in the flux. Targeting applications to traffic, the regularity assumptions on the flow are extended to a merely $\mathbf{L}^{\infty}$ dependence on time. These results ensure, for instance, the well posedness of a class of… ▽ More The initial boundary value problem for a class of scalar non autonomous conservation laws in one space dimension is proved to be well posed and stable with respect to variations in the flux. Targeting applications to traffic, the regularity assumptions on the flow are extended to a merely $\mathbf{L}^{\infty}$ dependence on time. These results ensure, for instance, the well posedness of a class of vehicular traffic models with time dependent speed limits. A traffic management problem is then shown to admit an optimal solution. △ Less

Submitted 10 July, 2017; originally announced July 2017.

On the Braess Paradox with Nonlinear Dynamics and Control Theory

Authors: Rinaldo M. Colombo, Helge Holden

Abstract: We show the existence of the Braess paradox for a traffic network with nonlinear dynamics described by the Lighthill-Whitham-Richards model for traffic flow. Furthermore, we show how one can employ control theory to avoid the paradox. The paper offers a general framework applicable to time-independent, uncongested flow on networks. These ideas are illustrated through examples. We show the existence of the Braess paradox for a traffic network with nonlinear dynamics described by the Lighthill-Whitham-Richards model for traffic flow. Furthermore, we show how one can employ control theory to avoid the paradox. The paper offers a general framework applicable to time-independent, uncongested flow on networks. These ideas are illustrated through examples. △ Less

Submitted 27 March, 2017; originally announced March 2017.

MSC Class: 35L65 (Primary); 90B20 (Secondary)

Journal ref: Published in J. Optim. Theory Appl. (2016) 168:216-230

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.

Uniqueness of the $1$D Compressible to Incompressible Limit

Authors: Rinaldo M. Colombo, Graziano Guerra

Abstract: Consider two compressible immiscible fluids in 1D in the isentropic approximation. The first fluid is surrounded and in contact with the second one. As the Mach number of the first fluid vanishes, the coupled dynamics of the two fluids results as the compressible to incompressible limit and is known to satisfy an ODE--PDE system. Below, a characterization of this limit is provided, ensuring its un… ▽ More Consider two compressible immiscible fluids in 1D in the isentropic approximation. The first fluid is surrounded and in contact with the second one. As the Mach number of the first fluid vanishes, the coupled dynamics of the two fluids results as the compressible to incompressible limit and is known to satisfy an ODE--PDE system. Below, a characterization of this limit is provided, ensuring its uniqueness. △ Less

Submitted 10 December, 2016; originally announced December 2016.

MSC Class: 35L65; 35Q35; 76N99

Modeling Crowd Dynamics through Hyperbolic - Elliptic Equations

Authors: Rinaldo M. Colombo, Maria Gokieli, Massimiliano D. Rosini

Abstract: Inspired by the works of Hughes [17, 18], we formalize and prove the well posedness of a hyperbolic--elliptic system whose solutions describe the dynamics of a moving crowd. The resulting model is here shown to be well posed and the time of evacuation from a bounded environment is proved to be finite. This model also provides a microscopic description of the individuals' behaviors. Inspired by the works of Hughes [17, 18], we formalize and prove the well posedness of a hyperbolic--elliptic system whose solutions describe the dynamics of a moving crowd. The resulting model is here shown to be well posed and the time of evacuation from a bounded environment is proved to be finite. This model also provides a microscopic description of the individuals' behaviors. △ Less

Submitted 21 October, 2016; originally announced October 2016.

Optimization in Structure Population Models through the Escalator Boxcar Train

Authors: Rinaldo M. Colombo, Piotr Gwiazda, Magdalena Rosinska

Abstract: The Escalator Boxcar Train (EBT) is a tool widely used in the study of balance laws motivated by structure population dynamics. This paper proves that the approximate solutions defined through the EBT converge to exact solutions. Moreover, this method is rigorously shown to be effective also in computing optimal controls. As preliminary results, the well posedness of classes of PDEs and of ODEs co… ▽ More The Escalator Boxcar Train (EBT) is a tool widely used in the study of balance laws motivated by structure population dynamics. This paper proves that the approximate solutions defined through the EBT converge to exact solutions. Moreover, this method is rigorously shown to be effective also in computing optimal controls. As preliminary results, the well posedness of classes of PDEs and of ODEs comprising various biological models is also obtained. A specific application to welfare policies illustrates the whole procedure. △ Less

Submitted 28 January, 2016; originally announced January 2016.

Comments: 25 pages

Stability of the 1D IBVP for a Non Autonomous Scalar Conservation Law

Authors: Rinaldo M. Colombo, Elena Rossi

Abstract: We prove the stability with respect to the flux of solutions to initial-boundary value problems for scalar non-autonomous conservation laws in one space dimension. Key estimates are obtained through a careful construction of the solutions. We prove the stability with respect to the flux of solutions to initial-boundary value problems for scalar non-autonomous conservation laws in one space dimension. Key estimates are obtained through a careful construction of the solutions. △ Less

Submitted 24 October, 2016; v1 submitted 22 January, 2016; originally announced January 2016.

MSC Class: 35L65; 35L04

Journal ref: Proceedings of the Royal Society of Edinburgh: Section A Mathematics 149 (2019) 561-592

Isentropic Fluid Dynamics in a Curved Pipe

Authors: Rinaldo M. Colombo, Helge Holden

Abstract: In this paper we study isentropic flow in a curved pipe. We focus on the consequences of the geometry of the pipe on the dynamics of the flow. More precisely, we present the solution of the general Cauchy problem for isentropic fluid flow in an arbitrarily curved, piecewise smooth pipe. We consider initial data in the subsonic regime, with small total variation about a stationary solution. The pro… ▽ More In this paper we study isentropic flow in a curved pipe. We focus on the consequences of the geometry of the pipe on the dynamics of the flow. More precisely, we present the solution of the general Cauchy problem for isentropic fluid flow in an arbitrarily curved, piecewise smooth pipe. We consider initial data in the subsonic regime, with small total variation about a stationary solution. The proof relies on the front-tracking method and is based on [1]. △ Less

Submitted 4 November, 2015; originally announced November 2015.

MSC Class: 35L65

$\mathbf{BV}$ Solutions to $1$D Isentropic Euler Equations in the Zero Mach Number Limit

Authors: Rinaldo M. Colombo, Graziano Guerra

Abstract: Two compressible immiscible fluids in 1D and in the isentropic approximation are considered. The first fluid is surrounded and in contact with the second one. As the Mach number of the first fluid vanishes, we prove the rigorous convergence for the fully non--linear compressible to incompressible limit of the coupled dynamics of the two fluids. A key role is played by a suitably refined wave front… ▽ More Two compressible immiscible fluids in 1D and in the isentropic approximation are considered. The first fluid is surrounded and in contact with the second one. As the Mach number of the first fluid vanishes, we prove the rigorous convergence for the fully non--linear compressible to incompressible limit of the coupled dynamics of the two fluids. A key role is played by a suitably refined wave front tracking algorithm, which yields precise $\mathbf{BV}$, $\mathbf{L}^1$ and weak* convergence estimates, either uniform or explicitly dependent on the Mach number. △ Less

Submitted 5 September, 2015; originally announced September 2015.

MSC Class: 35L65; 35Q35; 76N99

Rigorous Estimates on Balance Laws in Bounded Domains

Authors: Rinaldo M. Colombo, Elena Rossi

Abstract: The initial-boundary value problem for a general balance law in a bounded domain is proved to be well posed. Indeed, we show the existence of an entropy solution, its uniqueness and its Lipschitz continuity as a function of time, of the initial datum and of the boundary datum. The proof follows the general lines in Bardos, Leroux and Nédélec (1979), striving to provide a rigorous treatment and det… ▽ More The initial-boundary value problem for a general balance law in a bounded domain is proved to be well posed. Indeed, we show the existence of an entropy solution, its uniqueness and its Lipschitz continuity as a function of time, of the initial datum and of the boundary datum. The proof follows the general lines in Bardos, Leroux and Nédélec (1979), striving to provide a rigorous treatment and detailed references. △ Less

Submitted 8 April, 2015; originally announced April 2015.

MSC Class: 35L50; 35L65

NonLocal Systems of Balance Laws in Several Space Dimensions with Applications to Laser Technolog

Authors: Rinaldo M. Colombo, Francesca Marcellini

Abstract: For a class of systems of nonlinear and nonlocal balance laws in several space dimensions, we prove the local in time existence of solutions and their continuous dependence on the initial datum. The choice of this class is motivated by a new model devoted to the description of a metal plate being cut by a laser beam. Using realistic parameters, solutions to this model obtained through numerical in… ▽ More For a class of systems of nonlinear and nonlocal balance laws in several space dimensions, we prove the local in time existence of solutions and their continuous dependence on the initial datum. The choice of this class is motivated by a new model devoted to the description of a metal plate being cut by a laser beam. Using realistic parameters, solutions to this model obtained through numerical integrations meet qualitative properties of real cuts. Moreover, the class of equations considered comprises a model describing the dynamics of solid particles along a conveyor belt. △ Less

Submitted 1 April, 2015; originally announced April 2015.

A Traffic Model Aware of Real Time Data

Authors: Rinaldo M. Colombo, Francesca Marcellini

Abstract: Nowadays, traffic monitoring systems have access to real time data, e.g. through GPS devices. We propose a new traffic model able to take into account these data and, hence, able to describe the effects of unpredictable accidents. The well posedness of this model is proved and numerical integrations show qualitative features of the resulting solutions. As a further motivation for the use of real t… ▽ More Nowadays, traffic monitoring systems have access to real time data, e.g. through GPS devices. We propose a new traffic model able to take into account these data and, hence, able to describe the effects of unpredictable accidents. The well posedness of this model is proved and numerical integrations show qualitative features of the resulting solutions. As a further motivation for the use of real time data, we show that the inverse problem for the Lighthill-Whitam and Richards (LWR) model is ill posed. △ Less

Submitted 9 November, 2014; originally announced November 2014.

Comments: 21 pages, 8 figures

MSC Class: 35L65; 90B20

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

A Mixed ODE-PDE Model for Vehicular Traffic

Authors: Rinaldo M. Colombo, Francesca Marcellini

Abstract: We present a traffic flow model consisting of a gluing between the Lighthill-Whitham and Richards macroscopic model with a first order microscopic follow the leader model. The basic analytical properties of this model are investigated. Existence and uniqueness are proved, as well as the basic estimates on the dependence of solutions from the initial data. Moreover, numerical integrations show some… ▽ More We present a traffic flow model consisting of a gluing between the Lighthill-Whitham and Richards macroscopic model with a first order microscopic follow the leader model. The basic analytical properties of this model are investigated. Existence and uniqueness are proved, as well as the basic estimates on the dependence of solutions from the initial data. Moreover, numerical integrations show some qualitative features of the model, in particular the transfer of information among regions where the different models are used. △ Less

Submitted 20 February, 2014; originally announced February 2014.

Hyperbolic predators vs parabolic preys

Authors: Rinaldo M. Colombo, Elena Rossi

Abstract: We present a nonlinear predator-prey system consisting of a nonlocal conservation law for predators coupled with a parabolic equation for preys. The drift term in the predators' equation is a nonlocal function of the prey density, so that the movement of predators can be directed towards region with high prey density. Moreover, Lotka-Volterra type right hand sides describe the feeding. A theorem e… ▽ More We present a nonlinear predator-prey system consisting of a nonlocal conservation law for predators coupled with a parabolic equation for preys. The drift term in the predators' equation is a nonlocal function of the prey density, so that the movement of predators can be directed towards region with high prey density. Moreover, Lotka-Volterra type right hand sides describe the feeding. A theorem ensuring existence, uniqueness, continuous dependence of weak solutions and various stability estimates is proved, in any space dimension. Numerical integrations show a few qualitative features of the solutions. △ Less

Submitted 10 February, 2014; originally announced February 2014.

Comments: 35 pages, 7 figures

MSC Class: 35L65; 35M30; 92D25

The Compressible to Incompressible Limit of 1D Euler Equations: the Non Smooth Case

Authors: Rinaldo M. Colombo, Graziano Guerra, Veronika Schleper

Abstract: We prove a rigorous convergence result for the compressible to incompressible limit of weak entropy solutions to the isothermal 1D Euler equations. We prove a rigorous convergence result for the compressible to incompressible limit of weak entropy solutions to the isothermal 1D Euler equations. △ Less

Submitted 19 August, 2013; originally announced August 2013.

Comments: 16 pages

MSC Class: 35L65; 35Q35

A Numerical Approach to Scalar Nonlocal Conservation Laws

Authors: Paulo Amorim, Rinaldo M. Colombo, Andreia Teixeira

Abstract: We address the study of a class of 1D nonlocal conservation laws from a numerical point of view. First, we present an algorithm to numerically integrate them and prove its convergence. Then, we use this algorithm to investigate various analytical properties, obtaining evidence that usual properties of standard conservation laws fail in the nonlocal setting. Moreover, on the basis of our numerical… ▽ More We address the study of a class of 1D nonlocal conservation laws from a numerical point of view. First, we present an algorithm to numerically integrate them and prove its convergence. Then, we use this algorithm to investigate various analytical properties, obtaining evidence that usual properties of standard conservation laws fail in the nonlocal setting. Moreover, on the basis of our numerical integrations, we are lead to conjecture the convergence of the nonlocal equation to the local ones, although no analytical results are, to our knowledge, available in this context. △ Less

Submitted 24 March, 2013; originally announced March 2013.

MSC Class: 35L65

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.

Nonlocal Crowd Dynamics Models for several Populations

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

Abstract: This paper develops the basic analytical theory related to some recently introduced crowd dynamics models. Where well posedness was known only locally in time, it is here extended to all of $\reali^+$. The results on the stability with respect to the equations are improved. Moreover, here the case of several populations is considered, obtaining the well posedness of systems of multi-D non-local co… ▽ More This paper develops the basic analytical theory related to some recently introduced crowd dynamics models. Where well posedness was known only locally in time, it is here extended to all of $\reali^+$. The results on the stability with respect to the equations are improved. Moreover, here the case of several populations is considered, obtaining the well posedness of systems of multi-D non-local conservation laws. The basic analytical tools are provided by the classical Kruzkov theory of scalar conservation laws in several space dimensions. △ Less

Submitted 17 October, 2011; originally announced October 2011.

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.

An Analytical Framework to Describe the Interactions Between Individuals and a Continuum

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

Abstract: We consider a discrete set of individual agents interacting with a continuum. Examples might be a predator facing a huge group of preys, or a few shepherd dogs driving a herd of sheeps. Analytically, these situations can be described through a system of ordinary differential equations coupled with a scalar conservation law in several space dimensions. This paper provides a complete well posedness… ▽ More We consider a discrete set of individual agents interacting with a continuum. Examples might be a predator facing a huge group of preys, or a few shepherd dogs driving a herd of sheeps. Analytically, these situations can be described through a system of ordinary differential equations coupled with a scalar conservation law in several space dimensions. This paper provides a complete well posedness theory for the resulting Cauchy problem. A few applications are considered in detail and numerical integrations are provided. △ Less

Submitted 5 October, 2010; originally announced October 2010.

Coupling conditions for the 3x3 Euler system

Authors: Rinaldo M. Colombo, Francesca Marcellini

Abstract: This paper is devoted to the extension to the full $3\times3$ Euler system of the basic analytical properties of the equations governing a fluid flowing in a duct with varying section. First, we consider the Cauchy problem for a pipeline consisting of 2 ducts joined at a junction. Then, this result is extended to more complex pipes. A key assumption in these theorems is the boundedness of the to… ▽ More This paper is devoted to the extension to the full $3\times3$ Euler system of the basic analytical properties of the equations governing a fluid flowing in a duct with varying section. First, we consider the Cauchy problem for a pipeline consisting of 2 ducts joined at a junction. Then, this result is extended to more complex pipes. A key assumption in these theorems is the boundedness of the total variation of the pipe's section. We provide explicit examples to show that this bound is necessary. △ Less

Submitted 4 November, 2009; originally announced November 2009.

Comments: 21 pages, 6 figures

MSC Class: 35L65 76N10

A 2-phase traffic model based on a speed bound

Authors: Rinaldo M. Colombo, Francesca Marcellini, Michel Rascle

Abstract: We extend the classical LWR traffic model allowing different maximal speeds to different vehicles. Then, we add a uniform bound on the traffic speed. The result, presented in this paper, is a new macro- scopic model displaying 2 phases, based on a non-smooth 2x2 system of conservation laws. This model is compared with other models of the same type in the current literature, as well as with a kin… ▽ More We extend the classical LWR traffic model allowing different maximal speeds to different vehicles. Then, we add a uniform bound on the traffic speed. The result, presented in this paper, is a new macro- scopic model displaying 2 phases, based on a non-smooth 2x2 system of conservation laws. This model is compared with other models of the same type in the current literature, as well as with a kinetic one. Moreover, we establish a rigorous connection between a microscopic Follow-The-Leader model based on ordinary differential equations and this macroscopic continuum model. △ Less

Submitted 15 September, 2009; originally announced September 2009.

Comments: 19 pages, 12 figures

MSC Class: 35L65;90B20

Smooth and discontinuous junctions in the p-system

Authors: Rinaldo M. Colombo, Francesca Marcellini

Abstract: Consider the p-system describing the subsonic flow of a fluid in a pipe with section a = a(x). We prove that the resulting Cauchy problem generates a Lipschitz semigroup, provided the total variation of the initial datum and the oscillation of a are small. An explicit estimate on the bound of the total variation of a is provided, showing that at lower fluid speeds, higher total variations of a a… ▽ More Consider the p-system describing the subsonic flow of a fluid in a pipe with section a = a(x). We prove that the resulting Cauchy problem generates a Lipschitz semigroup, provided the total variation of the initial datum and the oscillation of a are small. An explicit estimate on the bound of the total variation of a is provided, showing that at lower fluid speeds, higher total variations of a are acceptable. An example shows that the bound on TV(a) is mandatory, for otherwise the total variation of the solution may grow arbitrarily. △ Less

Submitted 10 September, 2009; originally announced September 2009.

Comments: 27 pages, 4 figures

MSC Class: 35L65;76N10

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

Control of the Continuity Equation with a Non Local Flow

Authors: Rinaldo M. Colombo, Michael Herty, Magali Mercier

Abstract: This paper focuses on the optimal control of weak (i.e. in general non smooth) solutions to the continuity equation with non local flow. Our driving examples are a supply chain model and an equation for the description of pedestrian flows. To this aim, we prove the well posedness of a class of equations comprising these models. In particular, we prove the differentiability of solutions with resp… ▽ More This paper focuses on the optimal control of weak (i.e. in general non smooth) solutions to the continuity equation with non local flow. Our driving examples are a supply chain model and an equation for the description of pedestrian flows. To this aim, we prove the well posedness of a class of equations comprising these models. In particular, we prove the differentiability of solutions with respect to the initial datum and characterize its derivative. A necessary condition for the optimality of suitable integral functionals then follows. △ Less

Submitted 16 February, 2009; originally announced February 2009.

MSC Class: 35L65; 49K20; 93C20

On General Balance Laws with Boundary

Authors: Rinaldo M. Colombo, Graziano Guerra

Abstract: This paper is devoted to general balance laws (with a possibly non local source term) with a non-characteristic boundary. Basic well posedness results are obtained, trying to provide sharp estimates. In particular, bounds tend to blow up as the boundary tends to be characteristic. New uniqueness results for the solutions to conservation and/or balance laws with boundary are also provided. This paper is devoted to general balance laws (with a possibly non local source term) with a non-characteristic boundary. Basic well posedness results are obtained, trying to provide sharp estimates. In particular, bounds tend to blow up as the boundary tends to be characteristic. New uniqueness results for the solutions to conservation and/or balance laws with boundary are also provided. △ Less

Submitted 29 October, 2008; originally announced October 2008.

Comments: 36 pages, 3 figures

MSC Class: 35L50; 35L65

Stability and Total Variation Estimates on General Scalar Balance Laws

Authors: Rinaldo M. Colombo, Magali Mercier, Massimiliano D Rosini

Abstract: Consider the general scalar balance law $\partial_t u + \Div f(t, x,u) = F(t,x,u)$ in several space dimensions. The aim of this note is to estimate the dependence of its solutions from the flow $f$ and from the source $F$. To this aim, a bound on the total variation in the space variables of the solution is obtained. This result is then applied to obtain well posedness and stability estimates fo… ▽ More Consider the general scalar balance law $\partial_t u + \Div f(t, x,u) = F(t,x,u)$ in several space dimensions. The aim of this note is to estimate the dependence of its solutions from the flow $f$ and from the source $F$. To this aim, a bound on the total variation in the space variables of the solution is obtained. This result is then applied to obtain well posedness and stability estimates for a balance law with a non local source. △ Less

Submitted 14 October, 2008; originally announced October 2008.

Modeling and Optimal Control of Networks of Pipes and Canals

Authors: R. M. Colombo, G. Guerra, M. Herty, V. Sachers

Abstract: This paper deals with the optimal control of systems governed by nonlinear systems of conservation laws at junctions. The applications considered range from gas compressors in pipelines to open channels management. The existence of an optimal control is proved. From the analytical point of view, these results are based on the well posedness of a suitable initial boundary value problem and on tec… ▽ More This paper deals with the optimal control of systems governed by nonlinear systems of conservation laws at junctions. The applications considered range from gas compressors in pipelines to open channels management. The existence of an optimal control is proved. From the analytical point of view, these results are based on the well posedness of a suitable initial boundary value problem and on techniques for quasidifferential equations in a metric space. △ Less

Submitted 25 February, 2008; originally announced February 2008.

Comments: 22 pages

MSC Class: 35L65; 49J20