Wigner measures supported on weak KAM tori

In the setting of the Weyl quantization on the flat torus \(\mathbb{T}^n \) , we exhibit a class of wave functions with uniquely associated Wigner probability measure, invariant under the Hamiltonian dynamics and with support contained in weak KAM tori in phase space. These sets are the graphs of Lipschitz-continuous weak KAM solutions of negative type of the stationary Hamilton-Jacobi equation. Such Wigner measures are, in fact, given by the Legendre transform of Mather’s minimal probability measures.