Abstract
We consider a wide class of semilinear Hamiltonian partial differential equations and their approximation by time splitting methods. We assume that the nonlinearity is polynomial, and that the numerical trajectory remains at least uniformly integrable with respect to an eigenbasis of the linear operator (typically the Fourier basis). We show the existence of a modified interpolated Hamiltonian equation whose exact solution coincides with the discrete flow at each time step over a long time. While for standard splitting or implicit–explicit schemes, this long time depends on a cut-off condition in the high frequencies (CFL condition), we show that it can be made exponentially large with respect to the step size for a class of modified splitting schemes.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
U.M. Ascher, S. Reich, The midpoint scheme and variants for Hamiltonian systems: advantages and pitfalls, SIAM J. Sci. Comput. 21, 1045–1065 (1999).
H.F. Baker, Alternants and continuous groups, Proc. Lond. Math. Soc. 3, 24–47 (1905).
D. Bambusi, B. Grébert, Birkhoff normal form for PDE’s with tame modulus, Duke Math. J. 135(3), 507–567 (2006).
D. Bambusi, E. Faou, B. Grébert, Ground state stability of fully discrete numerical schemes for the nonlinear Schrödinger equation, in preparation.
G. Benettin, A. Giorgilli, On the Hamiltonian interpolation of near to the identity symplectic mappings with application to symplectic integration algorithms, J. Stat. Phys. 74, 1117–1143 (1994).
T. Cazenave, Semilinear Schrödinger Equations. Courant Lecture Notes in Mathematics, vol. 10 (New York University, New York, 2003). Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence.
D. Cohen, E. Hairer, C. Lubich, Conservation of energy, momentum and actions in numerical discretizations of nonlinear wave equations, Numer. Math. 110, 113–143 (2008).
R. Courant, K. Friedrichs, H. Lewy, Über die partiellen Differenzengleichungen der mathematischen Physik, Math. Ann. 100, 32–74 (1928).
A. Debussche, E. Faou, Modified energy for split-step methods applied to the linear Schrödinger equation, SIAM J. Numer. Anal. 47, 3705–3719 (2009).
G. Dujardin, E. Faou, Normal form and long time analysis of splitting schemes for the linear Schrödinger equation with small potential, Numer. Math. 106(2), 223–262 (2007).
E. Faou, Geometric numerical integration of Hamiltonian PDEs and applications to computational quantum mechanics, Eur. Math. Soc., to appear.
E. Faou, B. Grébert, E. Paturel, Birkhoff normal form for splitting methods applied to semilinear Hamiltonian PDEs. Part I: Finite-dimensional discretization, Numer. Math. 114, 429–458 (2010).
E. Faou, B. Grébert, E. Paturel, Birkhoff normal form for splitting methods applied to semilinear Hamiltonian PDEs. Part II: Abstract splitting, Numer. Math. 114, 459–490 (2010).
L. Gauckler, C. Lubich, Nonlinear Schrödinger equations and their spectral discretizations over long times, Found. Comput. Math. 10, 141–169 (2010).
L. Gauckler, C. Lubich, Splitting integrators for nonlinear Schrödinger equations over long times, Found. Comput. Math. 10, 275–302 (2010).
B. Grébert, Birkhoff normal form and Hamiltonian PDEs, Séminaires Congr. 15, 1–46 (2007).
E. Hairer, C. Lubich, The life-span of backward error analysis for numerical integrators, Numer. Math. 76, 441–462 (1997).
E. Hairer, C. Lubich, Spectral semi-discretisations of weakly nonlinear wave equations over long times, Found. Comput. Math. 8, 319–334 (2008).
E. Hairer, C. Lubich, G. Wanner, Geometric Numerical Integration. Structure-Preserving Algorithms for Ordinary Differential Equations, 2nd edn. (Springer, Berlin, 2006).
E. Hansen, A. Ostermann, Exponential splitting for unbounded operators, Math. Comput. 78, 1485–1496 (2009).
F. Hausdorff, Die symbolische Exponentialformel in der Gruppentheorie, Berichte Sächsischen Akad. Wissensch. 58, 19–48 (1906).
T. Jahnke, C. Lubich, Error bounds for exponential operator splittings, BIT Numer. Math. 40, 735–744 (2000).
B. Leimkuhler, S. Reich, Simulating Hamiltonian Dynamics, Cambridge Monographs on Applied and Computational Mathematics, vol. 14 (Cambridge University Press, Cambridge, 2004).
C. Lubich, From quantum to classical molecular dynamics: reduced models and numerical analysis, Eur. Math. Soc. (2008).
C. Lubich, On splitting methods for Schrödinger-Poisson and cubic nonlinear Schrödinger equations, Math. Comput. 77, 2141–2153 (2008).
J. Moser, Lectures on Hamiltonian systems, Mem. Am. Math. Soc. 81, 1–60 (1968).
S. Reich, Backward error analysis for numerical integrators, SIAM J. Numer. Anal. 36, 1549–1570 (1999).
A. Stern, E. Grinspun, Implicit–explicit variational integration of highly oscillatory problems. Preprint (2008).
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jerry Marsden and Arieh Iserles.
Rights and permissions
About this article
Cite this article
Faou, E., Grébert, B. Hamiltonian Interpolation of Splitting Approximations for Nonlinear PDEs. Found Comput Math 11, 381–415 (2011). https://doi.org/10.1007/s10208-011-9094-4
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10208-011-9094-4
Keywords
- Hamiltonian interpolation
- Backward error analysis
- Splitting integrators
- Nonlinear Schrödinger equation
- Nonlinear wave equation
- Long-time behavior