Table of Contents
Fetching ...

A Control Theoretical Approach to Mean Field Games and Associated Master Equations

Alain Bensoussan, Ho Man Tai, Tak Kwong Wong, Sheung Chi Phillip Yam

TL;DR

The work extends mean field game theory beyond linear–quadratic settings by establishing global well-posedness for a broad class of MFGs under a small mean field effect, via a forward–backward SDE framework. It develops a robust probabilistic approach that yields local and global existence, Jacobian-flow stability, and regularity of the value function, then uses these results to justify a classical master equation in $R^d$. A key novelty is imposing structural, easily verifiable cost-function assumptions that yield displacement-like monotonicity through the cost terms themselves, enabling quadratic-growth costs and extending to nonlinear drifts and non-separable costs. The results offer a rigorous pathway to master-equation solvability with explicit lifespans for local existence when the mean-field impact is non-negligible, and they provide a detailed regularity theory for linear-functional derivatives essential for mean-field control applications.

Abstract

We prove the global-in-time well-posedness for a broad class of mean field game problems, which is beyond the special linear-quadratic setting, as long as the mean field sensitivity is not too large. Through the stochastic maximum principle, we adopt the FBSDE approach to investigate the unique existence of the corresponding equilibrium strategies. The corresponding FBSDEs are first solved locally in time, then by controlling the sensitivity of the backward solutions with respect to the initial condition via some suitable apriori estimates for the corresponding Jacobian flows, the global-in-time solution is warranted. Further analysis on these Jacobian flows will be discussed to establish the regularities, such as linear functional differentiability, of the respective value functions that leads to the ultimate classical well-posedness of the master equation on $\mathbb{R}^d$. To the best of our knowledge, it is the first article to deal with the mean field game problem, as well as its associated master equation, with general cost functionals having quadratic growth under the small mean field effect. In this current approach, we directly impose the structural conditions on the cost functionals, rather than conditions on the Hamiltonian. The advantages of this are threefold: (i) compared with imposing conditions on Hamiltonian, the structural conditions imposed in this work are easily verified, and less demanding on the regularity requirements of the cost functionals while solving the master equation; (ii) the displacement monotonicity is basically just a direct consequence of small mean field effect in the structural conditions; and (iii) when the mean field effect is not that small, we can still provide an accurate lifespan for the local existence. The method in this work can be readily extended to the case with nonlinear drift and non-separable cost functionals.

A Control Theoretical Approach to Mean Field Games and Associated Master Equations

TL;DR

The work extends mean field game theory beyond linear–quadratic settings by establishing global well-posedness for a broad class of MFGs under a small mean field effect, via a forward–backward SDE framework. It develops a robust probabilistic approach that yields local and global existence, Jacobian-flow stability, and regularity of the value function, then uses these results to justify a classical master equation in . A key novelty is imposing structural, easily verifiable cost-function assumptions that yield displacement-like monotonicity through the cost terms themselves, enabling quadratic-growth costs and extending to nonlinear drifts and non-separable costs. The results offer a rigorous pathway to master-equation solvability with explicit lifespans for local existence when the mean-field impact is non-negligible, and they provide a detailed regularity theory for linear-functional derivatives essential for mean-field control applications.

Abstract

We prove the global-in-time well-posedness for a broad class of mean field game problems, which is beyond the special linear-quadratic setting, as long as the mean field sensitivity is not too large. Through the stochastic maximum principle, we adopt the FBSDE approach to investigate the unique existence of the corresponding equilibrium strategies. The corresponding FBSDEs are first solved locally in time, then by controlling the sensitivity of the backward solutions with respect to the initial condition via some suitable apriori estimates for the corresponding Jacobian flows, the global-in-time solution is warranted. Further analysis on these Jacobian flows will be discussed to establish the regularities, such as linear functional differentiability, of the respective value functions that leads to the ultimate classical well-posedness of the master equation on . To the best of our knowledge, it is the first article to deal with the mean field game problem, as well as its associated master equation, with general cost functionals having quadratic growth under the small mean field effect. In this current approach, we directly impose the structural conditions on the cost functionals, rather than conditions on the Hamiltonian. The advantages of this are threefold: (i) compared with imposing conditions on Hamiltonian, the structural conditions imposed in this work are easily verified, and less demanding on the regularity requirements of the cost functionals while solving the master equation; (ii) the displacement monotonicity is basically just a direct consequence of small mean field effect in the structural conditions; and (iii) when the mean field effect is not that small, we can still provide an accurate lifespan for the local existence. The method in this work can be readily extended to the case with nonlinear drift and non-separable cost functionals.
Paper Structure (24 sections, 28 theorems, 394 equations, 1 figure)

This paper contains 24 sections, 28 theorems, 394 equations, 1 figure.

Key Result

Lemma 2.3

Let $t \in[0,T]$, $\mathbb{L}(s) \in C\scalerel*[5pt]{{\hbox{$\left(\right.\n@space$}}}{ \ensurestackMath{\addstackgap[1pt]{{\hbox{$\left(\right.\n@space$}}}}}t,T;\mathcal{P}_2(\mathbb{R}^{d})\scalerel*[5pt]{{\hbox{$\left)\right.\n@space$}}}{ \ensurestackMath{\addstackgap[1pt]{{\hbox{$\left)\rig where the process $\scalerel*[5pt]{{\hbox{$\left(\right.\n@space$}}}{ \ensurestackMath{\addstackg

Figures (1)

  • Figure 1: Concatenation scheme

Theorems & Definitions (57)

  • Remark 2.1
  • Lemma 2.3
  • Lemma 2.4
  • Lemma 2.5
  • Lemma 3.1: Local Forward Estimate
  • Lemma 3.2: Local Backward Estimate
  • Lemma 3.3: Local Solution to FBSDE and its Bound
  • Remark 3.4
  • proof
  • Lemma 3.5
  • ...and 47 more