A Volterra equation approach to the local limit of nonlocal traffic models

TL;DR

This paper proves the convergence of nonlocal traffic flow models to local conservation laws by analyzing a Volterra equation approach, extending previous results to more general kernels and initial data.

Contribution

It establishes the convergence of the original nonlocal solutions to the local limit for a broader class of kernels and initial conditions, using a Fourier-based Volterra equation analysis.

Findings

Proved convergence of $u_ ext{ε}$ to the local limit under mild assumptions.

Extended convergence results beyond exponential kernels.

Used Fourier analysis of Volterra equations to establish stability.

Abstract

We consider a class of nonlocal conservation laws modeling traffic flow, given by $ \partial_t u_\varepsilon + \partial_x(V(u_\varepsilon \ast \gamma_\varepsilon)\, u_\varepsilon) = 0 $ with $ \gamma_\varepsilon(\cdot) := \varepsilon^{-1}\gamma(\cdot/\varepsilon) $ for a suitable convex convolution kernel $\gamma$. Since the work of Colombo et al. (Arch. Ration. Mech. Anal., 2023), thanks to uniform $ \mathrm{L}^\infty $- and TV-estimates, it is known that $ w_\varepsilon := u_\varepsilon \ast \gamma_\varepsilon $ converges to the entropy solution of the local scalar conservation law $ \partial_t u + \partial_x(V(u)\, u) = 0 $ as $\varepsilon \searrow 0$. However, the convergence of $ \{u_\varepsilon\}_{\varepsilon > 0} $ itself has not been fully addressed so far. In this direction, a known result applies specifically to the case of an exponential kernel, where the identity $ \varepsilon \partial_x w_\varepsilon = w_\varepsilon - u_\varepsilon $ is fundamental. In this work, we address this gap in the literature and prove that $ \{u_\varepsilon\}_{\varepsilon > 0} $ converges to the same limit $u$ under the mild additional assumption that the initial datum belongs to $\mathrm L^1(\mathbb{R})$. Our analysis exploits, through a Fourier approach, the stability properties of the more general Volterra-type equation $\partial_xw_\varepsilon=\gamma'_\varepsilon\ast u_\varepsilon-\gamma_\varepsilon(0)u_\varepsilon$, thereby deducing the convergence of $u_\varepsilon$ from that of $w_\varepsilon$.