Optimal error bounds on time-splitting methods for the nonlinear Schrödinger equation with low regularity potential and nonlinearity

Abstract

We establish optimal error bounds on time-splitting methods for the nonlinear Schrödinger equation with low regularity potential and typical power-type nonlinearity $f(\rho )={\rho }^{\sigma }$, where $\rho :=|\psi {|}^2$ is the density with $\psi$ the wave function and $\sigma >0$ the exponent of the nonlinearity. For the first-order Lie-Trotter time-splitting method, optimal $L^2$-norm error bound is proved for $L^{\infty }$-potential and $\sigma >0$, and optimal $H^1$-norm error bound is obtained for $W^{1,4}$-potential and $\sigma \ge 1/2$. For the second-order Strang time-splitting method, optimal $L^2$-norm error bound is established for $H^2$-potential and $\sigma \ge 1$, and optimal $H^1$-norm error bound is proved for $H^3$-potential and $\sigma \ge 3/2$ (or $\sigma =1$). Compared to those error estimates of time-splitting methods in the literature, our optimal error bounds either improve the convergence rates under the same regularity assumptions or significantly relax the regularity requirements on potential and nonlinearity for optimal convergence orders. A key ingredient in our proof is to adopt a new technique called \textit{regularity compensation oscillation} (RCO), where low frequency modes are analyzed by phase cancellation, and high frequency modes are estimated by regularity of the solution. Extensive numerical results are reported to confirm our error estimates and to demonstrate that they are sharp.

arXiv comment34 pages, 8 figures

References in corpus (14)

• Quantum liquid droplets in a mixture of Bose-Einstein condensates
• Observing the Rosensweig instability of a quantum ferrofluid
• Mathematical theory and numerical methods for Bose-Einstein condensation
• Ultradilute low-dimensional liquids
• Computational methods for the dynamics of the nonlinear Schrodinger/Gross-Pitaevskii equations
• Derivation of the Cubic Non-linear Schrödinger Equation from Quantum Dynamics of Many-Body Systems
• Anderson Localization of Expanding Bose-Einstein Condensates in Random Potentials
• Josephson effect between trapped Bose-Einstein condensates
• Dynamics of one-dimensional quantum droplets
• Error estimates of a Fourier integrator for the cubic Schrödinger equation at low regularity
• Error estimates of a regularized finite difference method for the logarithmic Schrödinger equation
• Resonance based schemes for dispersive equations via decorated trees
• Regularized numerical methods for the logarithmic Schrodinger equation
• Optimal error bounds on the exponential wave integrator for the nonlinear Schrödinger equation with low regularity potential and nonlinearity

Cited by in corpus (4)

• Strong Error Bounds for Trotter & Strang-Splittings and Their Implications for Quantum Chemistry
• An explicit and symmetric exponential wave integrator for the nonlinear Schrödinger equation with low regularity potential and nonlinearity
• An extended Fourier pseudospectral method for the Gross-Pitaevskii equation with low regularity potential
• A Lawson-time-splitting extended Fourier pseudospectral method for the Gross-Pitaevskii equation with time-dependent low regularity potential