Fri, 14 Sep 2018

10:00 - 11:00
L3

Deterministic particle approximation for local and nonlocal transport equations

Marco Di Francesco
(University of L' Aquila)
Abstract

The derivation of first-order nonlinear transport PDEs via interacting particles subject only to deterministic forces is crucial in the socio-biological sciences and in the real world applications (e.g. vehicular traffic, pedestrian movements), as it provides a rigorous justification to a "continuum" description in situations more naturally described by a discrete approach. This talk will collect recent results on the derivation of entropy solutions to scalar conservation laws (arising e.g. in traffic flow) as many particle limits of "follow-the-leader"-type ODEs, including extensions to the case with Dirichlet boundary conditions and to the Hughes model for pedestrian movements (the results involve S. Fagioli, M. D. Rosini, G. Russo). I will then describe a recent extension of this approach to nonlocal transport equations with a "nonlinear mobility" modelling prevention of overcrowding for high densities (in collaboration with S. Fagioli and E. Radici). 

Introduction
Alber, M Godin, C Maini, P Merks, R Mjolsness, E Bulletin of Mathematical Biology volume 81 issue 8 3214-3218 (22 Aug 2019)
An internal language for autonomous categories
Mackie, I Román, L Abramsky, S Applied Categorical Structures volume 1 issue 3 311-343 (Sep 1993)
Linearity, Sharing and State: a fully abstract game semantics for Idealized Algol with active expressions Extended Abstract
Abramsky, S McCusker, G Electronic Notes in Theoretical Computer Science volume 3 2-14 (1996)
Applicative communicating processes in first order logic
Bellia, M Degano, P Levi, G Dameri, E Martelli, M Lecture Notes in Computer Science volume 137 1-14 (27 May 1982)
New foundations for the geometry of interaction
Abramsky, S Jagadeesan, R Proceedings - Symposium on Logic in Computer Science 211-222 (01 Jun 1992)
Preface
Abramsky, S Curien, P Theoretical Computer Science volume 115 issue 1 1-2 (Jul 1993)
Games and full abstraction for the lazy /spl lambda/-calculus
Abramsky, S McCusker, G Proceedings 11th Annual IEEE Symposium on Logic in Computer Science 234-243 (01 Jan 1995)
Abstract Interpretation, Logical Relations, and Kan Extensions
ABRAMSKY, S Journal of Logic and Computation volume 1 issue 1 5-40 (01 Jul 1990)
Concurrent games and full completeness
Abramsky, S Mellies, P Proceedings - Symposium on Logic in Computer Science 431-442 (01 Jan 1999)
Subscribe to