Global-in-Time Well-Posedness for Heterogeneous Mean Field Games
Establish global-in-time well-posedness for the heterogeneous mean field game system—defined by coupled HJB–FPK equations under Lipschitz continuity of drifts in state and mean-field arguments, bounded nondegenerate diffusion coefficients, and compact state space—thereby extending local well-posedness results from time horizons T ≤ δ0 to arbitrary time horizons T.
References
For $T \leq \delta_0$ (local well-posedness horizon), $e{L_b T}$ remains bounded; extending to arbitrary $T$ requires global well-posedness (still largely open; cf.).
Extending the population equilibrium construction to the infinite horizon would require substantially stronger a priori estimates and a compactness argument as T\longrightarrow+\infty. In particular, one would need estimates on the population distributions that are uniform with respect to the population horizon on every fixed compact time interval, together with appropriate stability properties for the value functions and the associated optimal feedbacks on increasingly long horizons. The discussion at the end of Section~\ref{sec:MFG-system} outlines a possible compactness approach based on a sequence of finite-horizon equilibria, but a complete global-in-time existence theory remains an open problem.