经典力学中的 Kato 微扰展开及 Deprit 生成元的显式表达式

本文探讨了 Deprit 算符形式体系中 Poincare-Lindstedt 微扰级数的结构，并建立了其与 Kato 预解式展开的联系。通过对平均化和积分微扰算符的不变定义及其正则恒等式的讨论，揭示了 Deprit 生成元中的规律模式。该模式利用 Kato 级数以及微扰算符与 Liouville 算符预解式的 Laurent 系数之间的关系得到解释。这种纯正则方法使级数系统化，并导出了任意微扰阶数下 Deprit 生成元的显式表达式：$$G = - \hat{\mathsf S}_H H_i.$$ 其中，$\hat{\mathsf S}_H$ 是受扰 Liouville 算符的偏伪逆。相应的 Kato 级数提供了一种相当有效的计算算法。受扰与未受扰平均算符之间的正则联系允许描述生成元和变换后哈密顿量中的模糊性，而 Gustavson 积分被证明对归一化风格不敏感。文中使用了非微扰示例进行说明。