A new estimate on Evans' Weak KAM approach

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.