KAM theorem of symplectic algorithms for Hamiltonian systems (Q1805850)

A solid basis of general mathematical theory is developed concerning the symplectic numerical algorithms compatible to integrable Hamiltonian systems. It is proved that those symplectic algorithms retain the nonresonant invariant tori densely filled with space orbits (case of quasi-periodicity) implying only slight deformations to them. In the phase space the Cantor set \(D_t\) formed by the analytic manifold of those tori has a Lebesgue measure \(mD_t\) that tends to \(mD\) as the time step \(t\) tends to zero. The algorithm possesses \(n\) independent smooth invariant functions in involution.