Submodular mean field games: Existence and approximation of solutions

We study mean field games with scalar Itô-type dynamics and costs that are submodular with respect to a suitable order relation on the state and measure space. The submodularity assumption has a number of interesting consequences. First, it allows us to prove existence of solutions via an application of Tarski’s fixed point theorem, covering cases with discontinuous dependence on the measure variable. Second, it ensures that the set of solutions enjoys a lattice structure: in particular, there exist minimal and maximal solutions. Third, it guarantees that those two solutions can be obtained through a simple learning procedure based on the iterations of the best-response-map. The mean field game is first defined over ordinary stochastic controls, then extended to relaxed controls. Our approach also allows us to prove existence of a strong solution for a class of submodular mean field games with common noise, where the representative player at equilibrium interacts with the (conditional) mean of its state’s distribution.