First-Order Mean Field Games with Time-Measurable and C 1,1 Hamiltonians: Analysis and Approximation
Abstract
We introduce and analyze a numerical framework for a class of first-order, non-local Mean Field Game (MFG) systems with two sources of low regularity: the time-dependent data are merely measurable, and the Hamiltonian is only of class C1,1 with respect to the momentum variable. The proposed method combines a semi-Lagrangian approximation of the Hamilton--Jacobi--Bellman equation with a Lagrange--Galerkin discretization of the continuity equation. Temporal measurability is handled by averaging the data over the time-grid intervals and using the stability theory of L1-viscosity solutions. The limited regularity of the Hamiltonian is addressed through arguments from nonsmooth analysis, based in particular on Clarke's generalized differential calculus. We prove that the discrete solutions converge, up to some subsequence, to a solution of the MFG system. As a consequence, the numerical approximation also provides a constructive existence result. Under a monotonicity assumption on the coupling terms, we show that the solution to the MFG system is unique, implying the convergence of the whole sequence of discrete solutions. Finally, numerical experiments in one and two spatial dimensions illustrate the robustness of the method, including a linear--quadratic example with a running cost that is discontinuous in time and for which we compute an exact solution.
Related
- Viscosity-variational inequality solutions of fully nonlinear second-order stationary mean field games with nonseparable and nondifferentiable Hamiltonians
- A Framework for Arbitrary-Order Electromagnetic Field Approximation Based on Analytical Solutions of Maxwell's Equations
- High-order smoothness and high-order collocation approximation for Volterra integral equation with multiscale and nonlinear exponent kernel
- Well-balanced second-order approximation of the compressible atmospheric Euler equations
- A Robust High-order Approximation of the Gray Thermal Radiative Transfer Equations
BibTeX
@misc{carlini2026firstorder,
title = {{First-Order Mean Field Games with Time-Measurable and $C ^1,1$ Hamiltonians: Analysis and Approximation}},
author = {Elisabetta Carlini and Valentina Coscetti and Francisco J. Silva},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.28335},
eprint = {2610.28335},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.28335},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - First-Order Mean Field Games with Time-Measurable and C ^1,1 Hamiltonians: Analysis and Approximation
AU - Elisabetta Carlini
AU - Valentina Coscetti
AU - Francisco J. Silva
PY - 2026
DA - 2026/10/20
PB - arXiv
DO - 10.48550/arxiv.2610.28335
UR - https://arxiv.org/abs/2610.28335
AB - We introduce and analyze a numerical framework for a class of first-order, non-local Mean Field Game (MFG) systems with two sources of low regularity: the time-dependent data are merely measurable, and the Hamiltonian is only of class C^1,1 with respect to the momentum variable. The proposed method combines a semi-Lagrangian approximation of the Hamilton--Jacobi--Bellman equation with a Lagrange--Galerkin discretization of the continuity equation. Temporal measurability is handled by averaging the data over the time-grid intervals and using the stability theory of L^1-viscosity solutions. The limited regularity of the Hamiltonian is addressed through arguments from nonsmooth analysis, based in particular on Clarke's generalized differential calculus. We prove that the discrete solutions converge, up to some subsequence, to a solution of the MFG system. As a consequence, the numerical approximation also provides a constructive existence result. Under a monotonicity assumption on the coupling terms, we show that the solution to the MFG system is unique, implying the convergence of the whole sequence of discrete solutions. Finally, numerical experiments in one and two spatial dimensions illustrate the robustness of the method, including a linear--quadratic example with a running cost that is discontinuous in time and for which we compute an exact solution.
ER -