Propagating the nonlinear Schroedinger equation

We derive an exact propagation scheme for nonlinear Schroedinger equations. This scheme, analogous to the propagation of linear Schroedinger equations, results from a special operator whose properties ensure the correct propagation. Using this scheme we prove the correctness of higher-order integrators for the Gross-Pitaevskii equation and its multi-component generalizations.