Convergence analysis of the formal energies of symplectic methods for Hamiltonian systems (Q283060)

The authors present a convergence analysis of the formal energies of symplectic methods for Hamiltonian systems. They first introduce some basic facts about B-series, formal vector field and backward error analysis. They prove that in contrast to the cases for the four types trees discussed in [\textit{Y.-F. Tang} et al., Comput. Math. Appl. 43, No. 8--9, 1171--1181 (2002; Zbl 1050.65128)], in the tree expansion of the formal energy of the midpoint, the coefficient sequence of bushy trees of height \( m\geq 2\) goes to \(\infty\) at great speed. The conclusion is extended to other Runge-Kutta methods.