Normal form and long time analysis of splitting schemes for the linear Schrodinger equation with small potential
Résumé
We consider the linear Schrodinger equation on a one dimensional torus and its time-discretization by splitting methods. Assuming a non-resonance condition on the stepsize and a small size of the potential, we show that the numerical dynamics can be reduced over exponentially long time to a collection of two dimensional symplectic systems for asymptotically large modes. For the numerical solution, this implies the long time conservation of the energies associated with the double eigenvalues of the free Schrodinger operator. The method is close to standard techniques used in finite dimensional perturbation theory, but extended here to infinite dimensional operators.