  We consider a recent formulation of weak KAM theory proposed by Evans. As
well as for classical integrability, for one dimensional mechanical Hamiltonian
systems all the computations can be explicitly done. This allows us on the one
hand to illustrate the geometric content of the theory, on the other hand to
prove new lower bounds which extend also to the generic n degrees of freedom
case.
