Abstract
We consider discretized Hamiltonian PDEs associated with a Hamiltonian function that can be split into a linear unbounded operator and a regular nonlinear part. We consider splitting methods associated with this decomposition. Using a finite-dimensional Birkhoff normal form result, we show the almost preservation of the actions of the numerical solution associated with the splitting method over arbitrary long time and for asymptotically large level of space approximation, provided the Sobolev norm of the initial data is small enough. This result holds under generic non-resonance conditions on the frequencies of the linear operator and on the step size. We apply these results to nonlinear Schrödinger equations as well as the nonlinear wave equation.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Bambusi D.: Birkhoff normal form for some nonlinear PDEs. Comm. Math. Phys. 234, 253–283 (2003)
Bambusi, D.: A Birkhoff normal form theorem for some semilinear PDEs. Hamiltonian Dynamical Systems and Applications, pp. 213–247. Springer, Berlin (2007)
Bambusi D., Delort J.-M., Grébert B., Szeftel J.: Almost global existence for Hamiltonian semilinear Klein-Gordon equations with small Cauchy data on Zoll manifolds. Comm. Pure Appl. Math. 60(11), 1665–1690 (2007)
Bambusi D., Grébert B.: Birkhoff normal form for PDE’s with tame modulus. Duke Math. J. 135(3), 507–567 (2006)
Bazzani A.: Normal forms for symplectic maps of R 2n. Celestial Mech. 42(1–4), 107–128 (1987)
Bazzani A., Marmi S., Turchetti G.: Nekhoroshev estimate for isochronous nonresonant symplectic maps. Celestial Mech. Dynam. Astronom. 47(4), 333–359 (1989)
Cohen D., Hairer E., Lubich C.: Long-time analysis of nonlinearly perturbed wave equations via modulated Fourier expansions. Arch. Ration. Mech. Anal. 187, 341–368 (2008)
Cohen D., Hairer E., Lubich C.: Conservation of energy, momentum and actions in numerical discretizations of nonlinear wave equations. Numer. Math. 110, 113–143 (2008)
Debussche, A., Faou, E.: Modified energy for split-step methods applied to the linear Schrödinger equation (2009, preprint). http://hal.archives-ouvertes.fr/hal-00348221/fr/
Deuflhard P.: A study of extrapolation methods based on multistep schemes without parasitic solutions. Z. Angew. Math. Phys. 30, 177–189 (1979)
Dujardin G., Faou E.: 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)
Faou, E., Grébert, B.: Resonances in long time integration of semi linear Hamiltonian PDEs. http://arxiv.org/abs/0904.1459
Faou, E., Grébert, B., Paturel, E.: Birkhoff normal form for splitting methods applied to semi linear Hamiltonian PDEs. Part II. Abstract splitting Numerische Mathematik (2008). doi:10.1007/s00211-009-0257-z
Gauckler, L., Lubich, C.: Nonlinear Schrödinger equations and their spectral discretizations over long times. Found. Comput. Math. (2009, to appear)
Gauckler, L., Lubich, C.: Splitting integrators for nonlinear Schrödinger equations over long times. Found. Comput. Math. (2009, to appear)
Gradinaru V.: Strang splitting for the time-dependent Schrödinger equation on sparse grids. SIAM J. Numer. Anal. 46, 103–123 (2007)
Grébert, B.: Birkhoff normal form and Hamiltonian PDEs, Partial differential equations and applications, Sémin. Congr., vol. 15, pp. 1–46. Soc. Math. France, Paris (2007)
Grébert, B., Imekraz, R., Paturel, E.: Normal forms for semi linear quantum harmonic oscillators. Comm. Math. Phys. (2009, to appear)
Hairer E., Lubich C.: Spectral semi-discretisations of weakly nonlinear wave equations over long times. Found. Comput. Math. 8, 319–334 (2008)
Hairer, E., Lubich, C., Wanner, G.: Geometric Numerical Integration. Structure-Preserving Algorithms for Ordinary Differential Equations, 2nd edn. Springer, Berlin (2006)
Kuksin, S., Pöschel, J.: On the inclusion of analytic symplectic maps in analytic Hamiltonian flows and its applications. Seminar on Dynamical Systems (St. Petersburg, 1991), pp. 96–116. Progr. Nonlinear Differential Equations Appl., vol. 12. Birkhauser, Basel (1994)
Lubich, C.: From quantum to classical molecular dynamics: reduced models and numerical analysis. Zürich Lectures in Advanced Mathematics. European Mathematical Society, 153p (2008)
Shang Z.: Resonant and Diophantine step sizes in computing invariant tori of Hamiltonian systems. Nonlinearity 13, 299–308 (2000)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Faou, E., Grébert, B. & Paturel, E. Birkhoff normal form for splitting methods applied to semilinear Hamiltonian PDEs. Part I. Finite-dimensional discretization. Numer. Math. 114, 429–458 (2010). https://doi.org/10.1007/s00211-009-0258-y
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00211-009-0258-y