ula_53的积分，可以用常数formula_54来转换为对formula_50的积分。将formula_45的积分式对formula_45求导，可以得到一个固定了formula_54的恒等式：被积函数是formula_60和formula_61的泊松括号。对于两个正则共轭量，比如formula_60和formula_61，在任何正则坐标系内都恒等于1。所以于是formula_54就是周期的倒数。formula_50对于所有的formula_45，都是一个随时间线性增大的变量。formula_50是