Classical and weak solutions to local first-order mean field games through elliptic regularity (Q2693058)

Summary: We study the regularity and well-posedness of the local, first-order forward-backward mean field games system, assuming a polynomially growing cost function and a Hamiltonian of quadratic growth. We consider systems and terminal data that are strictly monotone in density and study two different regimes depending on whether there exists a lower bound for the running cost function. The work relies on a transformation due to \textit{P.-L. Lions} [Courses at the Collège de France, \url{www.college-de-france.fr.}; with \textit{P. E. Souganidis}, Atti Accad. Naz. Lincei, Cl. Sci. Fis. Mat. Nat., IX. Ser., Rend. Lincei, Mat. Appl. 31, No. 3, 611--625 (2020; Zbl 1460.35020)], which gives rise to an elliptic partial differential equation with oblique boundary conditions, that is strictly elliptic when the coupling is unbounded from below. In this case, we prove that the solution is smooth. When the problem is degenerate elliptic, we obtain existence and uniqueness of weak solutions analogous to those obtained by \textit{P. Cardaliaguet} and \textit{P. J. Graber} [ESAIM, Control Optim. Calc. Var. 21, No. 3, 690--722 (2015; Zbl 1319.35273)] for the case of a terminal condition that is independent of the density. The weak solutions are shown to arise as viscous limits of classical solutions to strictly elliptic problems.