Weak KAM for commuting Hamiltonians

For two commuting Tonelli Hamiltonians, we recover the commutation of the Lax-Oleinik semi-groups, a result of Barles and Tourin (2001 Indiana Univ. Math. J. 50 1523-44), using a direct geometrical method (Stoke's theorem). We also obtain a 'generalization' of a theorem of Maderna (2002 Bull. Soc. Math. France 130 493-506). More precisely, we prove that if the phase space is the cotangent of a compact manifold then the weak KAM solutions (or viscosity solutions of the critical stationary Hamilton-Jacobi equation) for G and for H are the same. As a corollary we obtain the equality of the Aubry sets and of the Peierls barrier. This is also related to works of Sorrentino (2009 On the Integrability of Tonelli Hamiltonians Preprint) and Bernard (2007 Duke Math. J. 136 401-20).