Continuity, Uniqueness and Long-Term Behavior of Nash Flows Over Time

TL;DR

This paper analyzes a dynamic traffic model, proving the uniqueness and continuity of Nash flow equilibria over time, and demonstrating that equilibria tend to a steady state under constant inflow conditions.

Contribution

It establishes the first comprehensive results on the uniqueness, continuity, and long-term behavior of Nash flows over time in a single-commodity network.

Findings

Uniqueness of journey times in equilibria.

Continuity of equilibrium flows under small perturbations.

Equilibria converge to a steady state with constant inflow.

Abstract

We consider a dynamic model of traffic that has received a lot of attention in the past few years. Users control infinitesimal flow particles aiming to travel from an origin to a destination as quickly as possible. Flow patterns vary over time, and congestion effects are modeled via queues, which form whenever the inflow into a link exceeds its capacity. Despite lots of interest, some very basic questions remain open in this model. We resolve a number of them in the single-commodity setting: - We show uniqueness of journey times in equilibria. - We show continuity of equilibria: small perturbations to the instance or to the traffic situation at some moment cannot lead to wildly different equilibrium evolutions. - We demonstrate that, assuming constant inflow into the network at the source, equilibria always settle down into a "steady state" in which the behavior extends forever in a linear fashion. One of our main conceptual contributions is to show that the answer to the first two questions, on uniqueness and continuity, are intimately connected to the third. To resolve the third question, we substantially extend the approach of Cominetti et al., who show a steady-state result in the regime where the input flow rate is smaller than the network capacity.