Semi-classical propagation of singularity for Stokes system

We study the quasi-mode of Stokes system posed on a smooth bounded domain with Dirichlet boundary condition. We prove that the high energy L2 norm of solutions concentrate on the bi-characteristic of Laplace operator as matrix-valued Radon measure. Moreover, we prove that the support of such measure is invariant under Melrose-Sj"ostrand flow.