Birkhoff normal form and splitting methods for semi linear Hamiltonian PDEs. Part I: Finite dimensional discretization

We consider {\em 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 {\em actions} of the numerical solution associated with the splitting method over arbitrary long time, provided the Sobolev norms of the initial data is small enough, and for asymptotically large level of space approximation. This result holds under {\em generic} non resonance conditions on the frequencies of the linear operator and on the step size. We apply this results to nonlinear Schr\"odinger equations as well as the nonlinear wave equation.}

[1]  Dario Bambusi,et al.  Almost global existence for Hamiltonian semilinear Klein‐Gordon equations with small Cauchy data on Zoll manifolds , 2005, math/0510292.

[2]  P. Deuflhard A study of extrapolation methods based on multistep schemes without parasitic solutions , 1979 .

[3]  David Cohen,et al.  Long-Time Analysis of Nonlinearly Perturbed Wave Equations Via Modulated Fourier Expansions , 2008 .

[4]  Guillaume Dujardin,et al.  Normal form and long time analysis of splitting schemes for the linear Schrödinger equation with small potential , 2007, Numerische Mathematik.

[5]  Dario Bambusi,et al.  A Birkhoff normal form theorem for some semilinear PDEs , 2008 .

[6]  Dario Bambusi,et al.  Birkhoff normal form for partial differential equations with tame modulus , 2006 .

[7]  C. Lubich From Quantum to Classical Molecular Dynamics: Reduced Models and Numerical Analysis , 2008 .

[8]  Ernst Hairer,et al.  Spectral Semi-discretisations of Weakly Non-linear Wave Equations over Long Times , 2008, Foundations of Computational Mathematics.

[9]  B. Grébert,et al.  Birkhoff Normal Form and Hamiltonian Pdes , 2007 .

[10]  Dario Bambusi,et al.  Birkhoff Normal Form for Some Nonlinear PDEs , 2003 .

[11]  Ernst Hairer,et al.  Conservation of energy, momentum and actions in numerical discretizations of non-linear wave equations , 2008, Numerische Mathematik.

[12]  Ludwig Gauckler,et al.  Nonlinear Schrödinger Equations and Their Spectral Semi-Discretizations Over Long Times , 2010, Found. Comput. Math..

[13]  B. Grébert,et al.  LONG TIME BEHAVIOR FOR SOLUTIONS OF SEMILINEAR SCHRÖDINGER EQUATION WITH HARMONIC POTENTIAL AND SMALL CAUCHY DATA ON R. by Benôıt Grébert, Rafik Imekraz, Eric Paturel , 2008 .

[14]  Vasile Gradinaru,et al.  Strang Splitting for the Time-Dependent Schrödinger Equation on Sparse Grids , 2007, SIAM J. Numer. Anal..

[15]  Ludwig Gauckler,et al.  Splitting Integrators for Nonlinear Schrödinger Equations Over Long Times , 2010, Found. Comput. Math..

[16]  Zaijiu Shang,et al.  Resonant and Diophantine step sizes in computing invariant tori of Hamiltonian systems , 2000 .

[17]  E. Hairer,et al.  Geometric Numerical Integration: Structure Preserving Algorithms for Ordinary Differential Equations , 2004 .