A macroscopic traffic flow model with finite buffers on networks: Well-posedness by means of Hamilton-Jacobi equations

Overview & Synopsis

We introduce a model dealing with conservation laws on networks and coupled boundary conditions at the junctions. In particular, we introduce buffers of fixed arbitrary size and time dependent split ratios at the junctions , which represent how traffic is routed through the network, while guaranteeing spill-back phenomena at nodes. Having defined the dynamics at the level of conservation laws, we lift it up to the Hamilton-Jacobi (H-J) formulation and write boundary datum of incoming and outgoing junctions as functions of the queue sizes and vice-versa. The Hamilton-Jacobi formulation provides the necessary regularity estimates to derive a fixed-point problem in a proper Banach space setting, which is used to prove well-posedness of the model. Finally, we detail how to apply our framework to a non-trivial road network, with several intersections and finite-length links.