We consider the linear Schrödinger equation on a one-dimensional torus and its time-discretization by splitting methods. Assuming a non-resonance condition on the stepsize and a small analytical size of the potential, we show the conservation over exponentially long time of the energies associated with the double eigenvalues of the Laplace operator for asymptotically large modes. The result relies on a normal form theorem whose proof uses standard techniques of classical perturbations theory, extended here to an infinite dimensional context. To cite this article: G. Dujardin, E. Faou, C. R. Acad. Sci. Paris, Ser. I 344 (2007).

Nous considérons la semi-discrétisation en temps de lʼéquation de Schrödinger linéaire sur un tore de dimension un par une méthode de splitting. Sous une condition de non-résonance sur le pas de temps et sous lʼhypothèse que le potentiel est petit et analytique, nous montrons la conservation des énergies associées aux valeurs propres doubles du Laplacien sur des temps exponentiellement longs et pour des modes asymptotiquement grands. Le résultat repose sur un théorème de forme normale dont la preuve utilise la théorie classique des perturbations, appliquée ici à un problème de dimension infinie. Pour citer cet article : G. Dujardin, E. Faou, C. R. Acad. Sci. Paris, Ser. I 344 (2007).