Birkhoff normal form for splitting methods applied to semilinear Hamiltonian PDEs. I: Finite-dimensional discretization (Q849060)

For the Hamiltonian system \[ \dot{z}=J\nabla H(z) \] associated to function \(H\in C^{\infty}(U_{k},C)\) the authors consider that \(H\) has the form \(H=H_{0}+P\), where \(H_{0}\) is an infinite harmonic operator and \(P\) is a nonlinearity of order at least 3. Using the splitting of the operator and imposing other conditions the main result (stability over long time) is proved, and applied to the Schrödinger equation and the nonlinear wave equation.