Superconvergence analysis of BDF-Galerkin FEM for nonlinear Schrodinger equation

A nonlinear iteration scheme for nonlinear Schrodinger equation with 2-step backward differential formula (BDF) finite element method (FEM) is proposed. Energy stability is testified for the constructed scheme, which leads to the boundedness of parallel to U-h(n)parallel to(0) and root tau parallel to del U-h(n)parallel to(0). Auxiliary equation known as a time-discrete system is constructed to get rid of the restriction of tau. The solutions of the time-discrete equation in H-1-norm is deduced. On the one hand, root tau parallel to del U-n parallel to(0) reduces to the temporal error in H-2-norm. On the other hand, with the help of the boundedness about root tau parallel to del U-h(n)parallel to(0), the unconditional optimal estimate for spatial error is derived. Without any restriction of the time step, parallel to U-h(n)parallel to(0,infinity) is bounded through surmounting the difficulty of nonlinear term. By taking difference between two time levels n and n - 1 of the error equation, an unconditional superconvergence estimate is derived. At last, global superconvergence result is achieved through the known interpolated postprocessing technique. Here, tau is the time step, and U-n and U-h(n) denote the solutions of the time-discrete system and the finite element approximation equation, respectively. Furthermore, by introducing modified mass and energy functions, the numerical scheme is proved to preserve the total mass and energy in the discrete senses. Finally, numerical results are given to support the theoretical analysis.