1: \begin{proof}

2: Possibly after extracting a subsequence, we assume that $\mu_{sc}$

3: is the semiclassical measure associated with a sequence of eigenstates

4: $(\psi_{\hbar})_{\hbar\in S}$. The support property of $\mu_{sc}$

5: comes from the fact that the operator $P(\hbar)$ is elliptic outside

6: $\cE$. As a result, for any $f\in C_{c}^{\infty}(T^{*}X)$ vanishing

7: near $\cE$, one can construct a symbol $g\in S^{-\infty,0}(T^{*}X)$

8: such that \[

9: \Oph(f)=\Oph(g)P(\hbar)+\cO_{L^{2}\to L^{2}}(\hbar^{\infty}).\]

10: Applying this equality to the eigenstates $\psi_{\hbar}$, we get

11: $\left\Vert \Oph(f)\psi_{\hbar}\right\Vert =\cO(\hbar^{\infty})$,

12: proving the support property of $\mu_{sc}$.

13: 

14: To prove the flow invariance, we need to compare the quantum time

15: evolution with the classical one. Denote by $U_{\hbar}^{t}=\exp\left\{ -i\frac{t\, P(\hbar)}{\hbar}\right\} $

16: the propagator generated by the Hamiltonian $P(\hbar)$: it solves

17: the time-dependent Schrödinger equation, and thus provides the quantum

18: evolution. Let us state \textbf{Egorov's theorem}, which is a rigorous

19: form of quantum-classical correspondence in terms of observables:\begin{equation}

20: \forall f\in C_{c}^{\infty}(T^{*}X),\;\forall t\in\IR,\qquad U_{\hbar}^{-t}\Op_{\hbar}(f)U_{\hbar}^{t}=\Op_{\hbar}(f\circ g^{t})+\cO_{f,t}(\hbar),\qquad\hbar\to0.\label{eq:Egorov}\end{equation}

21: Since $\psi_{\hbar}$ is an eigenstate of $U_{\hbar}^{t}$, we directly

22: get \[

23: \mu_{\hbar,\varphi_{\hbar}}(f)=\mu_{\hbar,\varphi_{\hbar}}(f\circ g^{t})+\cO_{f,t}\left(\hbar\right)\Longrightarrow\mu_{sc}(f)=\mu_{sc}(f\circ g^{t}).\]

24: 

25: \end{proof}

26: