arXiv subjects

Yohance A. P. Osborne

Publications and source records attributed to Yohance A. P. Osborne.

7 recordsLinked to original sources

arXiv2026

Numerical analysis of first-order mean field games under displacement monotonicity

We introduce a particle method for the numerical approximation of time-dependent first-order Mean Field Games (MFGs) systems with non-separable, displacement monotone Hamiltonians and terminal costs, for arbitrary time-horizons and (possibly) singular initial player distributions in $\mathcal{P}_2(\mathbb{R}^d)$. The numerical scheme is based on an implicit Euler discretization in time and sampling in space of the characteristic Hamiltonian/Pontryagin system associated with the continuous MFGs system. We prove convergence of the approximations of the player distribution in the $L^{\infty}(\mathcal{W}_2)$-metric and the approximations for the gradient of the value function along optimal trajectories in the $L^{\infty}{(L^2)}$-norm as the number of spatial samples tends to infinity jointly with the temporal time-step vanishing. The error bound that we establish for this convergence further implies rates of convergence of the scheme for a range of spatial sampling techniques. Provided that the Lagrangian and terminal costs are additionally locally Lipschitz continuous, we also establish an asymptotic error bound in the $L^{\infty}(L^1)$-norm for the approximations of the value function along optimal trajectories. This is the first work in the literature on rigorous numerical approximation and analysis of first-order MFG systems that handles non-separable Hamiltonians and potentially singular initial agent distributions for arbitrary long time horizons. We illustrate the performance of the scheme in numerical experiments for a range of initial agent distributions, time horizons and space dimensions.

math.NA↗

arXiv2025

Rates of convergence of finite element approximations of second-order mean field games with nondifferentiable Hamiltonians

We prove a rate of convergence for finite element approximations of stationary, second-order mean field games with nondifferentiable Hamiltonians posed in general bounded polytopal Lipschitz domains with strongly monotone running costs. In particular, we obtain a rate of convergence in the $H^1$-norm for the value function approximations and in the $L^2$-norm for the approximations of the density. We also establish a rate of convergence for the error between the exact solution of the MFG system with a nondifferentiable Hamiltonian and the finite element discretizations of the corresponding MFG system with a regularized Hamiltonian.

math.NA↗

arXiv2025

A posteriori error bounds for finite element approximations of steady-state mean field games

We analyze a posteriori error bounds for stabilized finite element discretizations of second-order steady-state mean field games. We prove the local equivalence between the $H^1$-norm of the error and the dual norm of the residual. We then derive reliable and efficient estimators for a broad class of stabilized first-order finite element methods. We also show that in the case of affine-preserving stabilizations, the estimator can be further simplified to the standard residual estimator. Numerical experiments illustrate the computational gains in efficiency and accuracy from the estimators in the context of adaptive methods.

math.NA↗

arXiv2025

Regularization of Stationary Second-order Mean Field Game Partial Differential Inclusions

Mean field Game (MFG) Partial Differential Inclusions (PDI) are generalizations of the system of Partial Differential Equations (PDE) of Lasry and Lions to situations where players in the game may have possibly nonunique optimal controls, and the resulting Hamiltonian is not required to be differentiable. We study second-order MFG PDI with convex, Lipschitz continuous, but possibly nondifferentiable Hamiltonians, and their approximation by systems of classical MFG PDE with regularized Hamiltonians. Under very broad conditions on the problem data, we show that, up to subsequences, the solutions of the regularized problems converge to solutions of the MFG PDI. In particular, we show the convergence of the value functions in the $H^1$-norm and of the densities in $L^q$-norms. Under stronger hypotheses on the problem data, we also show rates of convergence between the solutions of the original and regularized problems, without requiring any higher regularity of the solutions. We give concrete examples that demonstrate the sharpness of several aspects of the analysis.

math.OC↗

arXiv2024

Finite element approximation of time-dependent mean field games with nondifferentiable Hamiltonians

The standard formulation of the PDE system of Mean Field Games (MFG) requires the differentiability of the Hamiltonian. However in many cases, the structure of the underlying optimal problem leads to a convex but nondifferentiable Hamiltonian. For time-dependent MFG systems, we introduce a generalization of the problem as a Partial Differential Inclusion (PDI) by interpreting the derivative of the Hamiltonian in terms of the subdifferential set. In particular, we prove the existence and uniqueness of weak solutions to the resulting MFG PDI system under standard assumptions in the literature. We propose a monotone stabilized finite element discretization of the problem, using conforming affine elements in space and an implicit Euler discretization in time with mass-lumping. We prove the strong convergence in $L^2(H^1)$ of the value function approximations, and strong convergence in $L^p(L^2)$ of the density function approximations, together with strong $L^2$-convergence of the value function approximations at the initial time.

math.NA↗

arXiv2024

Near and full quasi-optimality of finite element approximations of stationary second-order mean field games

We establish a priori error bounds for monotone stabilized finite element discretizations of stationary second-order mean field games (MFG) on Lipschitz polytopal domains. Under suitable hypotheses, we prove that the approximation is asymptotically nearly quasi-optimal in the $H^1$-norm in the sense that, on sufficiently fine meshes, the error between exact and computed solutions is bounded by the best approximation error of the corresponding finite element space, plus possibly an additional term, due to the stabilization, that is of optimal order with respect to the mesh size. We thereby deduce optimal rates of convergence of the error with respect to the mesh-size for solutions with sufficient regularity. We further show full asymptotic quasi-optimality of the approximation error in the more restricted case of sequences of strictly acute meshes. Our third main contribution is to further show, in the case where the domain is convex, that the convergence rate for the $H^1$-norm error of the value function approximation remains optimal even if the density function only has minimal regularity in $H^1$.

math.NA↗

arXiv2024

Analysis and Numerical Approximation of Stationary Second-Order Mean Field Game Partial Differential Inclusions

The formulation of Mean Field Games (MFG) typically requires continuous differentiability of the Hamiltonian in order to determine the advective term in the Kolmogorov--Fokker--Planck equation for the density of players. However, in many cases of practical interest, the underlying optimal control problem may exhibit bang-bang controls, which typically lead to nondifferentiable Hamiltonians. We develop the analysis and numerical analysis of stationary MFG for the general case of convex, Lipschitz, but possibly nondifferentiable Hamiltonians. In particular, we propose a generalization of the MFG system as a Partial Differential Inclusion (PDI) based on interpreting the derivative of the Hamiltonian in terms of subdifferentials of convex functions. We establish existence of a weak solution to the MFG PDI system, and we further prove uniqueness under a similar monotonicity condition to the one considered by Lasry and Lions. We then propose a monotone finite element discretization of the problem, and we prove strong $H^1$-norm convergence of the approximations to the value function and strong $L^q$-norm convergence of the approximations of the density function. We illustrate the performance of the numerical method in numerical experiments featuring nonsmooth solutions.

math.NA↗