A first-order Fourier integrator for the nonlinear Schrödinger equation on $\mathbb {T}$ without loss of regularity
HTML articles powered by AMS MathViewer
- by Yifei Wu and Fangyan Yao HTML | PDF
- Math. Comp. 91 (2022), 1213-1235 Request permission
Abstract:
In this paper, we propose a first-order Fourier integrator for solving the cubic nonlinear Schrödinger equation in one dimension. The scheme is explicit and can be implemented using the fast Fourier transform. By a rigorous analysis, we prove that the new scheme provides the first-order accuracy in $H^\gamma$ for any initial data belonging to $H^\gamma$, for any $\gamma >\frac 32$. That is, up to some fixed time $T$, there exists some constant $C=C(\|u\|_{L^\infty ([0,T]; H^{\gamma })})>0$, such that \begin{equation*} \|u^n-u(t_n)\|_{H^\gamma (\mathbb {T})}\le C \tau , \end{equation*} where $u^n$ denotes the numerical solution at $t_n=n\tau$. Moreover, the mass of the numerical solution $M(u^n)$ verifies \begin{equation*} \left |M(u^n)-M(u_0)\right |\le C\tau ^5. \end{equation*} In particular, our scheme does not cost any additional derivative for the first-order convergence and the numerical solution obeys the almost mass conservation law. Furthermore, if $u_0\in H^1(\mathbb {T})$, we rigorously prove that \begin{equation*} \|u^n-u(t_n)\|_{H^1(\mathbb {T})}\le C\tau ^{\frac 12-}, \end{equation*} where $C= C(\|u_0\|_{H^1(\mathbb {T})})>0$.References
- 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
- Jean Bourgain and Dong Li, On an endpoint Kato-Ponce inequality, Differential Integral Equations 27 (2014), no. 11-12, 1037–1072. MR 3263081
- B. Cano and A. González-Pachón, Exponential time integration of solitary waves of cubic Schrödinger equation, Appl. Numer. Math. 91 (2015), 26–45. MR 3312322, DOI 10.1016/j.apnum.2015.01.001
- 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
- J. Certaine, The solution of ordinary differential equations with large time constants, Mathematical methods for digital computers, Wiley, New York, 1960, pp. 128–132. MR 0117917
- David Cohen and Ludwig Gauckler, One-stage exponential integrators for nonlinear Schrödinger equations over long times, BIT 52 (2012), no. 4, 877–903. MR 2995211, DOI 10.1007/s10543-012-0385-1
- Clémentine Courtès, Frédéric Lagoutière, and Frédéric Rousset, Error estimates of finite difference schemes for the Korteweg–de Vries equation, IMA J. Numer. Anal. 40 (2020), no. 1, 628–685. MR 4050553, DOI 10.1093/imanum/dry082
- 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
- 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
- Massimiliano Gubinelli, Rough solutions for the periodic Korteweg–de Vries equation, Commun. Pure Appl. Anal. 11 (2012), no. 2, 709–733. MR 2861805, DOI 10.3934/cpaa.2012.11.709
- Ernst Hairer, Christian Lubich, and Gerhard Wanner, Geometric numerical integration, 2nd ed., Springer Series in Computational Mathematics, vol. 31, Springer-Verlag, Berlin, 2006. Structure-preserving algorithms for ordinary differential equations. MR 2221614
- Joseph Hersch, Contribution à la méthode des équations aux différences, Z. Angew. Math. Phys. 9a (1958), 129–180 (French). MR 102923, DOI 10.1007/BF01600630
- Marlis Hochbruck, Christian Lubich, and Hubert Selhofer, Exponential integrators for large systems of differential equations, SIAM J. Sci. Comput. 19 (1998), no. 5, 1552–1574. MR 1618808, DOI 10.1137/S1064827595295337
- Marlis Hochbruck and Alexander Ostermann, Explicit exponential Runge-Kutta methods for semilinear parabolic problems, SIAM J. Numer. Anal. 43 (2005), no. 3, 1069–1090. MR 2177796, DOI 10.1137/040611434
- Marlis Hochbruck and Alexander Ostermann, Exponential Runge-Kutta methods for parabolic problems, Appl. Numer. Math. 53 (2005), no. 2-4, 323–339. MR 2128529, DOI 10.1016/j.apnum.2004.08.005
- Marlis Hochbruck and Alexander Ostermann, Exponential integrators, Acta Numer. 19 (2010), 209–286. MR 2652783, DOI 10.1017/S0962492910000048
- Martina Hofmanová and Katharina Schratz, An exponential-type integrator for the KdV equation, Numer. Math. 136 (2017), no. 4, 1117–1137. MR 3671599, DOI 10.1007/s00211-016-0859-1
- Helge Holden, Kenneth H. Karlsen, Knut-Andreas Lie, and Nils Henrik Risebro, Splitting methods for partial differential equations with rough solutions, EMS Series of Lectures in Mathematics, European Mathematical Society (EMS), Zürich, 2010. Analysis and MATLAB programs. MR 2662342, DOI 10.4171/078
- Helge Holden, Kenneth H. Karlsen, Nils Henrik Risebro, and Terence Tao, Operator splitting for the KdV equation, Math. Comp. 80 (2011), no. 274, 821–846. MR 2772097, DOI 10.1090/S0025-5718-2010-02402-0
- Helge Holden, Christian Lubich, and Nils Henrik Risebro, Operator splitting for partial differential equations with Burgers nonlinearity, Math. Comp. 82 (2013), no. 281, 173–185. MR 2983020, DOI 10.1090/S0025-5718-2012-02624-X
- Liviu I. Ignat, A splitting method for the nonlinear Schrödinger equation, J. Differential Equations 250 (2011), no. 7, 3022–3046. MR 2771254, DOI 10.1016/j.jde.2011.01.028
- 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
- Tosio Kato and Gustavo Ponce, Commutator estimates and the Euler and Navier-Stokes equations, Comm. Pure Appl. Math. 41 (1988), no. 7, 891–907. MR 951744, DOI 10.1002/cpa.3160410704
- Marvin Knöller, Alexander Ostermann, and Katharina Schratz, A Fourier integrator for the cubic nonlinear Schrödinger equation with rough initial data, SIAM J. Numer. Anal. 57 (2019), no. 4, 1967–1986. MR 3992056, DOI 10.1137/18M1198375
- Dong Li, On Kato-Ponce and fractional Leibniz, Rev. Mat. Iberoam. 35 (2019), no. 1, 23–100. MR 3914540, DOI 10.4171/rmi/1049
- Yongsheng Li, Yifei Wu, and Fangyan Yao, Convergence of an embedded exponential-type low-regularity integrators for the KdV equation without loss of regularity, Ann. Appl. Math. 37 (2021), no. 1, 1–21. MR 4284062, DOI 10.4208/aam.OA-2020-0001
- 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
- Alexander Ostermann, Frédéric Rousset, and Katharina Schratz, Error estimates of a Fourier integrator for the cubic Schrödinger equation at low regularity, Found. Comput. Math. 21 (2021), no. 3, 725–765. MR 4269650, DOI 10.1007/s10208-020-09468-7
- A. Ostermann, F. Rousset, and K. Schratz, Fourier integrator for periodic NLS: low regularity estimates via discrete Bourgain spaces, arXiv:2006.12785, 2020.
- Alexander Ostermann and Katharina Schratz, Low regularity exponential-type integrators for semilinear Schrödinger equations, Found. Comput. Math. 18 (2018), no. 3, 731–755. MR 3807360, DOI 10.1007/s10208-017-9352-1
- Alexander Ostermann and Chunmei Su, A Lawson-type exponential integrator for the Korteweg–de Vries equation, IMA J. Numer. Anal. 40 (2020), no. 4, 2399–2414. MR 4167050, DOI 10.1093/imanum/drz030
- David A. Pope, An exponential method of numerical integration of ordinary differential equations, Comm. ACM 6 (1963), 491–493. MR 0153118, DOI 10.1145/366707.367592
- 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
- Y. Wu and X. Zhao, Optimal convergence of a first order low-regularity integrator for the KdV equation, arXiv:1910.07367, 2019.
- Y. Wu and X. Zhao, Embedded exponential-type low-regularity integrators for KdV equation under rough data, arXiv:2008.07053, 2020.
Additional Information
- Yifei Wu
- Affiliation: Center for Applied Mathematics, Tianjin University, 300072 Tianjin, People’s Republic of China
- Email: yerfmath@gmail.com
- Fangyan Yao
- Affiliation: School of Mathematical Sciences, South China University of Technology,Guangzhou, Guangdong 510640, People’s Republic of China
- MR Author ID: 1422543
- ORCID: 0000-0002-4988-7015
- Email: yfy1357@126.com
- Received by editor(s): October 8, 2020
- Received by editor(s) in revised form: July 14, 2021, September 16, 2021, and September 21, 2021
- Published electronically: December 14, 2021
- Additional Notes: The authors were partially supported by NSFC 12171356 and 11771325.
- © Copyright 2021 American Mathematical Society
- Journal: Math. Comp. 91 (2022), 1213-1235
- MSC (2020): Primary 65M12, 65M15, 35Q55
- DOI: https://doi.org/10.1090/mcom/3705
- MathSciNet review: 4405493