Héctor Sánchez-Morgado

We consider Lagrangians that are defined only on the horizontal distribution of a sub-riemannian manifold. The associated Hamiltonian is neither strictly convex nor coercive. We prove a result on homogenization of the Hamilton–Jacobi equation following the approach in Contreras et al (2015 Calc. Var. Partial Differ. Equ. 52 237–52). To establish the result, we need to extend weak KAM and Aubry–Mather theories to the sub-riemannian setting. We obtain a Tonelli theorem to dispend of the Lagrangian dynamics tools used in standard weak KAM theory. In the way towards our main result we observe that, the long time convergence of the Lax-Oleinik semigroup, and the vanishing discount convergence of the discounted value function hold.

In this paper, we focus on stationary (ergodic) mean-field games (MFGs). These games arise in the study of the long-time behavior of finite-horizon MFGs. Motivated by a prior scheme for Hamilton–Jacobi equations introduced in Aubry–Mather's theory, we introduce a discrete approximation to stationary MFGs. Relying on Kakutani's fixed-point theorem, we prove the existence and uniqueness (up to additive constant) of solutions to the discrete problem. Moreover, we show that the solutions to the discrete problem converge, uniformly in the nonlocal case and weakly in the local case, to the classical solutions of the stationary problem.

We extend weak KAM theory to Lagrangians that are defined only on the horizontal distribution of a sub-Riemannian manifold. The main tool is Tonelli's theorem which allows dispending on a Lagrangian dynamics.

Free time minimizers of the action (called"semi-static" solutions by Ma\~ne) play a central role in the theory of weak KAM solutions to the Hamilton-Jacobi equation (see Fathi). We prove that any solution to Newton's three-body problem which is asymptotic to Lagrange's parabolic homothetic solution is eventually a free time minimizer. Conversely, we prove that every free time minimizer tends to Lagrange's solution, provided the mass ratios lie in a certain large open set of mass ratios. We were inspired by the work of Da Luz-Maderna who had shown that every free time minimizer for the N-body problem is parabolic, and therefore must be asymptotic to the set of central configurations. We exclude being asymptotic to Euler's central configurations by a second variation argument. Central configurations correspond to rest points for the McGehee blown-up dynamics. The large open set of mass ratios are those for which the linearized dynamics at each Euler rest point has a complex eigenvalue.

We consider Tonelli Lagrangians on a graph, define weak KAM solutions, which happen to be the fixed points of the Lax-Oleinik semi-group, and identify their uniqueness set as the Aubry set, giving a representation formula. Our main result is the long time convergence of the Lax Oleinik semi-group. Weak KAM solutions are viscosity solutions, and in the case of Hamiltonians called of eikonal type in [CS], we prove that the converse holds.