Wigner measures supported on weak KAM tori (Q464288)

From the abstract: ``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.'' The paper is organized as follows. In Section 2, there is a summary of the Weyl quantization on the torus, along with a result on \(L^2\)-continuity. In Section 3, one finds a brief overview of weak KAM theory and Aubry-Mather theory, along with the selection procedure that associates a weak KAM solution with its companion measure. Section 4 contains the definition of our class of wave functions and the description of the main properties. Section 5 is devoted to the proof of Theorem 1.1. and 1.2.