基于哈密顿动力系统新变分原理的保辛算法之二：算法保辛性质证明

文献[1]给出了哈密顿系统的一个新的变分原理,并基于此变分原理,通过选择一个时间步长两端不同广义位移或广义动量为独立变量,给出了四种不同类型的求解哈密顿动力系统的数值方法。本文将分别证明这四类数值方法都是保辛的数值方法