On the dynamics of WKB wave functions whose phase are weak KAM solutions of H-J equation

In the framework of toroidal Pseudodifferential operators on the flat torus $\Bbb T^n := (\Bbb R / 2\pi \Bbb Z)^n$ we begin by proving the closure under composition for the class of Weyl operators $\mathrm{Op}^w_\hbar(b)$ with simbols $b \in S^m (\mathbb{T}^n \times \mathbb{R}^n)$. Subsequently, we consider $\mathrm{Op}^w_\hbar(H)$ when $H=\frac{1}{2} |\eta|^2 + V(x)$ where $V \in C^\infty (\Bbb T^n;\Bbb R)$ and we exhibit the toroidal version of the equation for the Wigner transform of the solution of the Schr\"odinger equation. Moreover, we prove the convergence (in a weak sense) of the Wigner transform of the solution of the Schr\"odinger equation to the solution of the Liouville equation on $\Bbb T^n \times \Bbb R^n$ written in the measure sense. These results are applied to the study of some WKB type wave functions in the Sobolev space $H^{1} (\mathbb{T}^n; \Bbb C)$ with phase functions in the class of Lipschitz continuous weak KAM solutions (of positive and negative type) of the Hamilton-Jacobi equation $\frac{1}{2} |P+ \nabla_x v_\pm (P,x)|^2 + V(x) = \bar{H}(P)$ for $P \in \ell \Bbb Z^n$ with $\ell >0$, and to the study of the backward and forward time propagation of the related Wigner measures supported on the graph of $P+ \nabla_x v_\pm$