Percival Lagrangian approach to the Aubry–Mather theory

We present some streamlined proofs of some of the basic results in the Aubry–Mather theory (existence of quasi-periodic minimizers, multiplicity results when there are gaps among minimizers) based on the study of hull functions. We present results in arbitrary number of dimensions.We also compare the proofs and results with those obtained in other formalisms.