Action potential and weak KAM solutions

For convex superlinear lagrangians on a compact manifold M we characterize the Peierls barrier and the weak KAM solutions of the Hamilton-Jacobi equation, as defined by A. Fathi [9], in terms of their values at each static class and the action potential defined by R. Ma né [14]. When the manifold M is non-compact, we construct weak KAM solutions similarly to Busemann functions in riemannian geometry. We construct a compactification of \documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$M/_{d_c}$\end{document} by extending the Aubry set using these Busemann weak KAM solutions and characterize the set of weak KAM solutions using this extended Aubry set.