Optimal Error Bounds on the Exponential Wave Integrator for the Nonlinear Schrödinger Equation with Low Regularity Potential and Nonlinearity

DOI10.1137/23M155414XMaRDI QIDQ6184514zbMATH OpenOpenAlexFDO

Authors Weizhu Bao, Chushan Wang

Publication date 25 January 2024

Published in SIAM Journal on Numerical Analysis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2302.09262

zbMATH Keywords

exponential wave integratorextended Fourier pseudospectral methodlow regularity nonlinearitylow regularity potentialnonlinear Schrödinger equationoptimal error bound

Mathematics Subject Classification ID

Smoothness and regularity of solutions to PDEs (35B65) Time-dependent Schrödinger equations and Dirac equations (35Q41) NLS equations (nonlinear Schrödinger equations) (35Q55) Fourier integral operators applied to PDEs (35S30) Error bounds for initial value and initial-boundary value problems involving PDEs (65M15) Spectral, collocation and related methods for initial value and initial-boundary value problems involving PDEs (65M70) Closed and approximate solutions to the Schrödinger, Dirac, Klein-Gordon and other equations of quantum mechanics (81Q05)

Abstract: We establish optimal error bounds for the exponential wave integrator (EWI) applied to the nonlinear Schr"odinger equation (NLSE) with $L^{i}nfty$-potential and/or locally Lipschitz nonlinearity under the assumption of $H^2$-solution of the NLSE. For the semi-discretization in time by the first-order Gautschi-type EWI, we prove an optimal $L^2$-error bound at $O(au)$ with $au>0$ being the time step size, together with a uniform $H^2$-bound of the numerical solution. For the full-discretization scheme obtained by using the Fourier spectral method in space, we prove an optimal $L^2$-error bound at $O(au+h^2)$ without any coupling condition between $au$ and $h$, where $h>0$ is the mesh size. In addition, for $W^{1,4}$-potential and a little stronger regularity of the nonlinearity, under the assumption of $H^3$-solution, we obtain an optimal $H^1$-error bound. Furthermore, when the potential is of low regularity but the nonlinearity is sufficiently smooth, we propose an extended Fourier pseudospectral method which has the same error bound as the Fourier spectral method while its computational cost is similar to the standard Fourier pseudospectral method. Our new error bounds greatly improve the existing results for the NLSE with low regularity potential and/or nonlinearity. Extensive numerical results are reported to confirm our error estimates and to demonstrate that they are sharp.

Recommendations

• An explicit and symmetric exponential wave integrator for the nonlinear Schrödinger equation with low regularity potential and nonlinearity
• Uniform and optimal error estimates of an exponential wave integrator sine pseudospectral method for the nonlinear Schrödinger equation with wave operator
• Uniform Error Bound of an Exponential Wave Integrator for Long-Time Dynamics of the Nonlinear Schrödinger Equation with Wave Operator
• Long-time error bounds of low-regularity integrators for nonlinear Schrödinger equations
• Optimal error bounds on time-splitting methods for the nonlinear Schrödinger equation with low regularity potential and nonlinearity

Cites work

• A Fourier integrator for the cubic nonlinear Schrödinger equation with rough initial data
• A fully discrete low-regularity integrator for the nonlinear Schrödinger equation
• A general framework of low regularity integrators
• A new error analysis of Crank-Nicolson Galerkin FEMs for a generalized nonlinear Schrödinger equation
• A splitting method for the nonlinear Schrödinger equation
• Analysis and computation for ground state solutions of Bose-Fermi mixtures at zero temperature
• Computational methods for the dynamics of the nonlinear Schrödinger/Gross-Pitaevskii equations
• Crank-Nicolson Galerkin approximations to nonlinear Schrödinger equations with rough potentials
• Derivation of the cubic nonlinear Schrödinger equation from quantum dynamics of many-body systems
• Effective one particle quantum dynamics of electrons: a numerical study of the Schrödinger-Poisson-X\(_\alpha\) model
• Eigenvalues and Eigenfunctions of a Bose System of Hard Spheres and Its Low-Temperature Properties
• Error analysis of a class of semi-discrete schemes for solving the Gross-Pitaevskii equation at low regularity
• Error estimates at low regularity of splitting schemes for NLS
• 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
• Error estimates of local energy regularization for the logarithmic Schrödinger equation
• Exponential integrators
• Finite difference discretization of the cubic Schrödinger equation
• Fractional error estimates of splitting schemes for the nonlinear Schrödinger equation
• scientific article; zbMATH DE number 4028001 (Why is no real title available?)
• scientific article; zbMATH DE number 2001571 (Why is no real title available?)
• Improved uniform error bounds of the time-splitting methods for the long-time (nonlinear) Schrödinger equation
• LOCAL APPROXIMATION FOR THE HARTREE–FOCK EXCHANGE POTENTIAL: A DEFORMATION APPROACH
• Low regularity exponential-type integrators for semilinear Schrödinger equations
• Mathematical theory and numerical methods for Bose-Einstein condensation
• Methods for the Numerical Solution of the Nonlinear Schroedinger Equation
• Numerical integrators for continuous disordered nonlinear Schrödinger equation
• Numerical solution of the Gross--Pitaevskii equation for Bose--Einstein condensation
• On fully discrete Galerkin methods of second-order temporal accuracy for the nonlinear Schrödinger equation
• On splitting methods for Schrödinger-Poisson and cubic nonlinear Schrödinger equations
• On the splitting method for the nonlinear Schrödinger equation with initial data in \(H^1\)
• Optimal error estimates of finite difference methods for the Gross-Pitaevskii equation with angular momentum rotation
• Optimal H¹ Estimates for two Time-discrete Galerkin Approximations of a Nonlinear Schrödinger Equation
• Order Estimates in Time of Splitting Methods for the Nonlinear Schrödinger Equation
• Regularized numerical methods for the logarithmic Schrödinger equation
• Regularized Numerical Methods for the Nonlinear Schrödinger Equation with Singular Nonlinearity
• Resonance-based schemes for dispersive equations via decorated trees
• Spectral Methods and Their Applications
• Spectral methods. Algorithms, analysis and applications.
• Symmetric exponential integrators with an application to the cubic Schrödinger equation
• The nonlinear Schrödinger equation. Self-focusing and wave collapse
• Uniform and optimal error estimates of an exponential wave integrator sine pseudospectral method for the nonlinear Schrödinger equation with wave operator

Cited in

(11)

• Optimal error bounds on time-splitting methods for the nonlinear Schrödinger equation with low regularity potential and nonlinearity
• A Lawson-time-splitting extended Fourier pseudospectral method for the Gross-Pitaevskii equation with time-dependent low regularity potential
• An extended Fourier pseudospectral method for the Gross-Pitaevskii equation with low regularity potential
• An explicit and symmetric exponential wave integrator for the nonlinear Schrödinger equation with low regularity potential and nonlinearity
• Low regularity full error estimates for the cubic nonlinear Schrödinger equation
• Optimal error bounds on an exponential wave integrator Fourier spectral method for fractional nonlinear Schrödinger equations with low regularity potential and nonlinearity
• Low regularity estimates of the Lie-Trotter time-splitting Fourier spectral method for the logarithmic Schrödinger equation
• Error estimates of an exponential wave integrator for the nonlinear Schrödinger equation with singular potential
• Space-time Legendre-Gauss-lobatto collocation method for the two-dimensional Schrödinger equation
• Operator-guided neural networks for efficient inverse modeling of nonlinear Schrödinger equations
• A second-order energy-stable low-regularity integrator for the Navier--Stokes equations

This page was built for publication: Optimal Error Bounds on the Exponential Wave Integrator for the Nonlinear Schrödinger Equation with Low Regularity Potential and Nonlinearity

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6184514)