Semiclassical measures for the Schrödinger equation on the torus

Abstract

In this article, the structure of semiclassical measures for solutions to the linear Schrödinger equation on the torus is analysed. We show that the disintegration of such a measure on every invariant lagrangian torus is absolutely continuous with respect to the Lebesgue measure. We obtain an expression of the Radon-Nikodym derivative in terms of the sequence of initial data and show that it satisfies an explicit propagation law. As a consequence, we also prove an observability inequality, saying that the $L^2$-norm of a solution on any open subset of the torus controls the full $L^2$-norm.

We extended Theorem 1 to the case with potential. We added Theorem 4 and modified the organisation of the paper