On the use of the autonomous Birkhoff equations in Lie series perturbation theory

In this article, we present the Lie transformation algorithm for autonomous Birkhoff systems. Here, we are referring to Hamiltonian systems that obey a symplectic structure of the general form. The Birkhoff equations are derived from the linear first-order Pfaff–Birkhoff variational principle, which is more general than the Hamilton principle. The use of 1-form in formulating the equations of motion in dynamics makes the Birkhoff method more universal and flexible. Birkhoff’s equations have a tensorial character, so their form is independent of the coordinate system used. Two examples of normalization in the restricted three-body problem are given to illustrate the application of the algorithm in perturbation theory. The efficiency of this algorithm for problems of asymptotic integration in dynamics is discussed for the case where there is a need to use non-canonical variables in phase space.