Improved uniform error bounds of the time-splitting methods for the long-time (nonlinear) Schrödinger equation

Bao, Weizhu; Cai, Yongyong; Feng, Yue

doi:10.1090/mcom/3801

Improved uniform error bounds of the time-splitting methods for the long-time (nonlinear) Schrödinger equation
HTML articles powered by AMS MathViewer

by Weizhu Bao, Yongyong Cai and Yue Feng HTML | PDF

Math. Comp. 92 (2023), 1109-1139 Request permission

Abstract:

We establish improved uniform error bounds for the time-splitting methods for the long-time dynamics of the Schrödinger equation with small potential and the nonlinear Schrödinger equation (NLSE) with weak nonlinearity. For the Schrödinger equation with small potential characterized by a dimensionless parameter $\varepsilon \in (0, 1]$, we employ the unitary flow property of the (second-order) time-splitting Fourier pseudospectral (TSFP) method in $L^2$-norm to prove a uniform error bound at time $t_\varepsilon =t/\varepsilon$ as $C(t)\widetilde {C}(T)(h^m +\tau ^2)$ up to $t_\varepsilon \leq T_\varepsilon = T/\varepsilon$ for any $T>0$ and uniformly for $\varepsilon \in (0,1]$, while $h$ is the mesh size, $\tau$ is the time step, $m \ge 2$ and $\tilde {C}(T)$ (the local error bound) depend on the regularity of the exact solution, and $C(t) =C_0+C_1t$ grows at most linearly with respect to $t$ with $C_0$ and $C_1$ two positive constants independent of $T$, $\varepsilon$, $h$ and $\tau$. Then by introducing a new technique of regularity compensation oscillation (RCO) in which the high frequency modes are controlled by regularity and the low frequency modes are analyzed by phase cancellation and energy method, an improved uniform (w.r.t $\varepsilon$) error bound at $O(h^{m-1} + \varepsilon \tau ^2)$ is established in $H^1$-norm for the long-time dynamics up to the time at $O(1/\varepsilon )$ of the Schrödinger equation with $O(\varepsilon )$-potential with $m \geq 3$. Moreover, the RCO technique is extended to prove an improved uniform error bound at $O(h^{m-1} + \varepsilon ^2\tau ^2)$ in $H^1$-norm for the long-time dynamics up to the time at $O(1/\varepsilon ^2)$ of the cubic NLSE with $O(\varepsilon ^2)$-nonlinearity strength. Extensions to the first-order and fourth-order time-splitting methods are discussed. Numerical results are reported to validate our error estimates and to demonstrate that they are sharp.

References

Georgios D. Akrivis, Finite difference discretization of the cubic Schrödinger equation, IMA J. Numer. Anal. 13 (1993), no. 1, 115–124. MR 1199033, DOI 10.1093/imanum/13.1.115
Xavier Antoine, Weizhu Bao, and Christophe Besse, Computational methods for the dynamics of the nonlinear Schrödinger/Gross-Pitaevskii equations, Comput. Phys. Commun. 184 (2013), no. 12, 2621–2633. MR 3128901, DOI 10.1016/j.cpc.2013.07.012
Weizhu Bao and Yongyong Cai, Mathematical theory and numerical methods for Bose-Einstein condensation, Kinet. Relat. Models 6 (2013), no. 1, 1–135. MR 3005624, DOI 10.3934/krm.2013.6.1
Weizhu Bao and Yongyong Cai, Uniform and optimal error estimates of an exponential wave integrator sine pseudospectral method for the nonlinear Schrödinger equation with wave operator, SIAM J. Numer. Anal. 52 (2014), no. 3, 1103–1127. MR 3199421, DOI 10.1137/120866890
Weizhu Bao, Yongyong Cai, and Yue Feng, Improved uniform error bounds on time-splitting methods for long-time dynamics of the nonlinear Klein-Gordon equation with weak nonlinearity, SIAM J. Numer. Anal. 60 (2022), no. 4, 1962–1984. MR 4458900, DOI 10.1137/21M1449774
W. Bao, Y. Cai, and Y. Feng, Improved uniform error bounds on time-splitting methods for the long-time dynamics of the weakly nonlinear Dirac equation, arXiv:2203.05886.
Weizhu Bao, Yongyong Cai, and Jia Yin, Super-resolution of time-splitting methods for the Dirac equation in the nonrelativistic regime, Math. Comp. 89 (2020), no. 325, 2141–2173. MR 4109563, DOI 10.1090/mcom/3536
Weizhu Bao, Yongyong Cai, and Jia Yin, Uniform error bounds of time-splitting methods for the nonlinear Dirac equation in the nonrelativistic regime without magnetic potential, SIAM J. Numer. Anal. 59 (2021), no. 2, 1040–1066. MR 4244541, DOI 10.1137/19M1271828
Weizhu Bao, Yue Feng, and Jia Yin, Improved uniform error bounds on time-splitting methods for the long-time dynamics of the Dirac equation with small potentials, Multiscale Model. Simul. 20 (2022), no. 3, 1040–1062. MR 4490286, DOI 10.1137/22M146995X
Weizhu Bao, Dieter Jaksch, and Peter A. Markowich, Numerical solution of the Gross-Pitaevskii equation for Bose-Einstein condensation, J. Comput. Phys. 187 (2003), no. 1, 318–342. MR 1977789, DOI 10.1016/S0021-9991(03)00102-5
Weizhu Bao, Shi Jin, and Peter A. Markowich, On time-splitting spectral approximations for the Schrödinger equation in the semiclassical regime, J. Comput. Phys. 175 (2002), no. 2, 487–524. MR 1880116, DOI 10.1006/jcph.2001.6956
Weizhu Bao and Jie Shen, A fourth-order time-splitting Laguerre-Hermite pseudospectral method for Bose-Einstein condensates, SIAM J. Sci. Comput. 26 (2005), no. 6, 2010–2028. MR 2196586, DOI 10.1137/030601211
Christophe Besse, Brigitte Bidégaray, and Stéphane Descombes, Order estimates in time of splitting methods for the nonlinear Schrödinger equation, SIAM J. Numer. Anal. 40 (2002), no. 1, 26–40. MR 1921908, DOI 10.1137/S0036142900381497
J. Bourgain, Fourier transform restriction phenomena for certain lattice subsets and applications to nonlinear evolution equations. I. Schrödinger equations, Geom. Funct. Anal. 3 (1993), no. 2, 107–156. MR 1209299, DOI 10.1007/BF01896020
J. Bourgain, Growth of Sobolev norms in linear Schrödinger equations with quasi-periodic potential, Comm. Math. Phys. 204 (1999), no. 1, 207–247. MR 1705671, DOI 10.1007/s002200050644
T. Buckmaster, P. Germain, Z. Hani, and J. Shatah, Effective dynamics of the nonlinear Schrödinger equation on large domains, Comm. Pure Appl. Math. 71 (2018), no. 7, 1407–1460. MR 3812076, DOI 10.1002/cpa.21749
N. Burq, P. Gérard, and N. Tzvetkov, Strichartz inequalities and the nonlinear Schrödinger equation on compact manifolds, Amer. J. Math. 126 (2004), no. 3, 569–605. MR 2058384, DOI 10.1353/ajm.2004.0016
Rémi Carles, On Fourier time-splitting methods for nonlinear Schrödinger equations in the semiclassical limit, SIAM J. Numer. Anal. 51 (2013), no. 6, 3232–3258. MR 3138106, DOI 10.1137/120892416
F. Castella, Ph. Chartier, F. Méhats, and A. Murua, Stroboscopic averaging for the nonlinear Schrödinger equation, Found. Comput. Math. 15 (2015), no. 2, 519–559. MR 3320932, DOI 10.1007/s10208-014-9235-7
Thierry Cazenave, Semilinear Schrödinger equations, Courant Lecture Notes in Mathematics, vol. 10, New York University, Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2003. MR 2002047, DOI 10.1090/cln/010
Elena Celledoni, David Cohen, and Brynjulf Owren, Symmetric exponential integrators with an application to the cubic Schrödinger equation, Found. Comput. Math. 8 (2008), no. 3, 303–317. MR 2413146, DOI 10.1007/s10208-007-9016-7
Philippe Chartier, Florian Méhats, Mechthild Thalhammer, and Yong Zhang, Improved error estimates for splitting methods applied to highly-oscillatory nonlinear Schrödinger equations, Math. Comp. 85 (2016), no. 302, 2863–2885. MR 3522973, DOI 10.1090/mcom/3088
Wenbin Chen, Xingjie Li, and Dong Liang, Energy-conserved splitting FDTD methods for Maxwell’s equations, Numer. Math. 108 (2008), no. 3, 445–485. MR 2365825, DOI 10.1007/s00211-007-0123-9
Wenbin Chen, Xingjie Li, and Dong Liang, Energy-conserved splitting finite-difference time-domain methods for Maxwell’s equations in three dimensions, SIAM J. Numer. Anal. 48 (2010), no. 4, 1530–1554. MR 2684346, DOI 10.1137/090765857
David Cohen, Ernst Hairer, and Christian Lubich, Modulated Fourier expansions of highly oscillatory differential equations, Found. Comput. Math. 3 (2003), no. 4, 327–345. MR 2009682, DOI 10.1007/s10208-002-0062-x
J. Colliander, M. Keel, G. Staffilani, H. Takaoka, and T. Tao, Almost conservation laws and global rough solutions to a nonlinear Schrödinger equation, Math. Res. Lett. 9 (2002), no. 5-6, 659–682. MR 1906069, DOI 10.4310/MRL.2002.v9.n5.a9
Arnaud Debussche and Erwan Faou, Modified energy for split-step methods applied to the linear Schrödinger equation, SIAM J. Numer. Anal. 47 (2009), no. 5, 3705–3719. MR 2576517, DOI 10.1137/080744578
M. Delfour, M. Fortin, and G. Payre, Finite-difference solutions of a nonlinear Schrödinger equation, J. Comput. Phys. 44 (1981), no. 2, 277–288. MR 645840, DOI 10.1016/0021-9991(81)90052-8
Guillaume Dujardin, Exponential Runge-Kutta methods for the Schrödinger equation, Appl. Numer. Math. 59 (2009), no. 8, 1839–1857. MR 2536086, DOI 10.1016/j.apnum.2009.02.002
Guillaume Dujardin and Erwan Faou, Normal form and long time analysis of splitting schemes for the linear Schrödinger equation with small potential, Numer. Math. 108 (2007), no. 2, 223–262. MR 2358004, DOI 10.1007/s00211-007-0119-5
László Erdős, Benjamin Schlein, and Horng-Tzer Yau, Derivation of the cubic non-linear Schrödinger equation from quantum dynamics of many-body systems, Invent. Math. 167 (2007), no. 3, 515–614. MR 2276262, DOI 10.1007/s00222-006-0022-1
Erwan Faou, Geometric numerical integration and Schrödinger equations, Zurich Lectures in Advanced Mathematics, European Mathematical Society (EMS), Zürich, 2012. MR 2895408, DOI 10.4171/100
Erwan Faou, Ludwig Gauckler, and Christian Lubich, Sobolev stability of plane wave solutions to the cubic nonlinear Schrödinger equation on a torus, Comm. Partial Differential Equations 38 (2013), no. 7, 1123–1140. MR 3169740, DOI 10.1080/03605302.2013.785562
Erwan Faou, Pierre Germain, and Zaher Hani, The weakly nonlinear large-box limit of the 2D cubic nonlinear Schrödinger equation, J. Amer. Math. Soc. 29 (2016), no. 4, 915–982. MR 3522607, DOI 10.1090/jams/845
Erwan Faou, Benoît Grébert, and Eric Paturel, Birkhoff normal form for splitting methods applied to semilinear Hamiltonian PDEs. I. Finite-dimensional discretization, Numer. Math. 114 (2010), no. 3, 429–458. MR 2570074, DOI 10.1007/s00211-009-0258-y
Ludwig Gauckler and Christian Lubich, Nonlinear Schrödinger equations and their spectral semi-discretizations over long times, Found. Comput. Math. 10 (2010), no. 2, 141–169. MR 2594442, DOI 10.1007/s10208-010-9059-z
Ludwig Gauckler and Christian Lubich, Splitting integrators for nonlinear Schrödinger equations over long times, Found. Comput. Math. 10 (2010), no. 3, 275–302. MR 2628827, DOI 10.1007/s10208-010-9063-3
Ernst Hairer, Christian Lubich, and Gerhard Wanner, Geometric numerical integration, Springer Series in Computational Mathematics, vol. 31, Springer, Heidelberg, 2010. Structure-preserving algorithms for ordinary differential equations; Reprint of the second (2006) edition. MR 2840298
Sebastian Herr, Daniel Tataru, and Nikolay Tzvetkov, Strichartz estimates for partially periodic solutions to Schrödinger equations in $4d$ and applications, J. Reine Angew. Math. 690 (2014), 65–78. MR 3200335, DOI 10.1515/crelle-2012-0013
Marlis Hochbruck and Alexander Ostermann, Exponential integrators, Acta Numer. 19 (2010), 209–286. MR 2652783, DOI 10.1017/S0962492910000048
Tobias Jahnke and Christian Lubich, Error bounds for exponential operator splittings, BIT 40 (2000), no. 4, 735–744. MR 1799313, DOI 10.1023/A:1022396519656
Christian Lubich, On splitting methods for Schrödinger-Poisson and cubic nonlinear Schrödinger equations, Math. Comp. 77 (2008), no. 264, 2141–2153. MR 2429878, DOI 10.1090/S0025-5718-08-02101-7
Robert I. McLachlan and G. Reinout W. Quispel, Splitting methods, Acta Numer. 11 (2002), 341–434. MR 2009376, DOI 10.1017/S0962492902000053
Zai-jiu Shang, Resonant and Diophantine step sizes in computing invariant tori of Hamiltonian systems, Nonlinearity 13 (2000), no. 1, 299–308. MR 1734634, DOI 10.1088/0951-7715/13/1/314
J. Shen, T. Tang, and L.-L. Wang, Spectral Methods: Algorithms, Analysis and Applications, Springer-Verlag Berlin Heidelberg, 2011.
Gilbert Strang, On the construction and comparison of difference schemes, SIAM J. Numer. Anal. 5 (1968), 506–517. MR 235754, DOI 10.1137/0705041
Catherine Sulem and Pierre-Louis Sulem, The nonlinear Schrödinger equation, Applied Mathematical Sciences, vol. 139, Springer-Verlag, New York, 1999. Self-focusing and wave collapse. MR 1696311
Terence Tao, Nonlinear dispersive equations, CBMS Regional Conference Series in Mathematics, vol. 106, Published for the Conference Board of the Mathematical Sciences, Washington, DC; by the American Mathematical Society, Providence, RI, 2006. Local and global analysis. MR 2233925, DOI 10.1090/cbms/106
Mechthild Thalhammer, High-order exponential operator splitting methods for time-dependent Schrödinger equations, SIAM J. Numer. Anal. 46 (2008), no. 4, 2022–2038. MR 2399406, DOI 10.1137/060674636
Mechthild Thalhammer, Convergence analysis of high-order time-splitting pseudospectral methods for nonlinear Schrödinger equations, SIAM J. Numer. Anal. 50 (2012), no. 6, 3231–3258. MR 3022261, DOI 10.1137/120866373
W.-M. Wang, Bounded Sobolev norms for linear Schrödinger equations under resonant perturbations, J. Funct. Anal. 254 (2008), no. 11, 2926–2946. MR 2414227, DOI 10.1016/j.jfa.2007.11.012
J. A. C. Weideman and B. M. Herbst, Split-step methods for the solution of the nonlinear Schrödinger equation, SIAM J. Numer. Anal. 23 (1986), no. 3, 485–507. MR 842641, DOI 10.1137/0723033