A semi-discrete scheme for the stochastic nonlinear Schrödinger equation

We study the convergence of a semi-discretized version of a numerical scheme for a stochastic nonlinear Schrödinger equation. The non-linear term is a power law and the noise is multiplicative with a Stratonovich product. Our scheme is implicit in the deterministic part of the equation as is usual for conservative equations. We also use an implicit discretization of the noise which is better suited to Stratonovich products. We consider a subcritical nonlinearity so that the energy can be used to obtain an a priori estimate. However, in the semi discrete case, no Ito formula is available and we have to use a discrete form of this tool. Also, in the course of the proof we need to introduce a cut-off of the diffusion coefficient, which allows to treat the nonlinearity. Then, we prove convergence by a compactness argument. Due to the presence of noise and to the implicit discretization of the noise, this is rather complicated and technical. We finally obtain convergence of the discrete solutions in various topologies.