The paper studies the convergence, as N tends to infinity, of a system of N coupled Hamilton-Jacobi equations, the Nash system. This system arises in differential game theory. We describe the limit problem in terms of the so-called "master equation", a kind of second order partial differential equation stated on the space of probability measures. Our first main result is the well-posedness of the master equation. To do so, we first show the existence and uniqueness of a solution to the "mean field game system with common noise", which consists in a coupled system made of a backward stochastic Hamilton-Jacobi equation and a forward stochastic Kolmogorov equation and which plays the role of characteristics for the master equation. Our second main result is the convergence, in average, of the solution of the Nash system and a propagation of chaos property for the associated "optimal trajectories".

No abstract

Abstract. We analyze a (possibly degenerate) second order mean field games system of partial differential equations. The distinguishing features of the model considered are (1) that it is not uniformly parabolic, including the first order case as a possibility, and (2) the coupling is a local operator on the density. As a result we look for weak, not smooth, solutions. Our main result is the existence and uniqueness of suitably defined weak solutions, which are characterized as minimizers of two optimal control problems. We also show that such solutions are stable with respect to the data, so that in particular the degenerate case can be approximated by a uniformly parabolic (viscous) perturbation.