Abstract
In this paper we study time-splitting spectral approximations for the linear Schrödinger equation in the semiclassical regime, where the Planck constant ϵ is small. In this regime, the equation propagates oscillations with a wavelength of O(ϵ), and finite difference approximations require the spatial mesh size h=o(ϵ) and the time step k=o(ϵ) in order to obtain physically correct observables. Much sharper mesh-size constraints are necessary for a uniform L2-approximation of the wave function. The spectral time-splitting approximation under study will be proved to be unconditionally stable, time reversible, and gauge invariant. It conserves the position density and gives uniform L2-approximation of the wave function for k=o(ϵ) and h=O(ϵ). Extensive numerical examples in both one and two space dimensions and analytical considerations based on the Wigner transform e ven show that weaker constraints (e.g., k independent of ϵ, and h=O(ϵ)) are admissible for obtaining “correct” observables. Finally, we address the application to nonlinear Schrödinger equations and conduct some numerical experiments to predict the corresponding admissible meshing strategies.