Symbolic computation of the Birkhoff normal form in the problem of stability of the triangular libration points

DOI10.1016/J.CPC.2007.12.001MaRDI QIDQ710260zbMATH OpenOpenAlexFDO

Authors Ivan I. Shevchenko

Publication date 18 October 2010

Published in Computer Physics Communications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1312.7102

zbMATH Keywords

computer algebranormal formsHamiltonian dynamicscircular restricted three-body problemLagrange solutionstriangular libration points

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Software, source code, etc. for problems pertaining to dynamical systems and ergodic theory (37-04) Software, source code, etc. for problems pertaining to mechanics of particles and systems (70-04)

Abstract: The problem of stability of the triangular libration points in the planar circular restricted three-body problem is considered. A software package, intended for normalization of autonomous Hamiltonian systems by means of computer algebra, is designed so that normalization problems of high analytical complexity could be solved. It is used to obtain the Birkhoff normal form of the Hamiltonian in the given problem. The normalization is carried out up to the 6th order of expansion of the Hamiltonian in the coordinates and momenta. Analytical expressions for the coefficients of the normal form of the 6th order are derived. Though intermediary expressions occupy gigabytes of the computer memory, the obtained coefficients of the normal form are compact enough for presentation in typographic format. The analogue of the Deprit formula for the stability criterion is derived in the 6th order of normalization. The obtained floating-point numerical values for the normal form coefficients and the stability criterion confirm the results by Markeev (1969) and Coppola and Rand (1989), while the obtained analytical and exact numeric expressions confirm the results by Meyer and Schmidt (1986) and Schmidt (1989). The given computational problem is solved without constructing a specialized algebraic processor, i.e., the designed computer algebra package has a broad field of applicability.

Recommendations

• Hamiltonian normalization in the restricted many-body problem by computer algebra methods
• Computer-assisted estimates for Birkhoff normal forms
• The restricted three body problem revisited
• Computer Algebra Implementation of Lie Transforms for Hamiltonian Systems: Application to the Nonlinear Stability ofL4
• Symbolic computation of a homological equation of an arbitrary order and reduction of Hamiltonian system to its normal form

Cites work

• scientific article; zbMATH DE number 4089917 (Why is no real title available?)
• scientific article; zbMATH DE number 52062 (Why is no real title available?)
• scientific article; zbMATH DE number 3303847 (Why is no real title available?)
• A new algorithm for the Lie transformation
• Algorithms for normalization of Hamiltonian systems by means of computer algebra
• Canonical transformations depending on a small parameter
• Computer Algebra Implementation of Lie Transforms for Hamiltonian Systems: Application to the Nonlinear Stability ofL4
• Libration points in celestial mechanics and cosmodynamics
• Numeric deduction in symbolic computation. Application to normalizing transformations
• Stability of the Lagrange solutions of the restricted three-body problem for the critical ratio of the masses
• The restricted three-body problem: plane periodic orbits. Transl. from the Russian by Balint Erdi. With a preface by Victor G. Szebehely
• The stability of the Lagrange triangular point and a theorem of Arnold
• The stability of the Lagrangian point L4
• Versal normal form of the Hamiltonian function of the restricted problem of three bodies near \({\mathcal L}_ 4\)

Cited in

(2)

• Program for Birkhoff-Gustavson normal form for \(N\) degrees of freedom -- BIRKHOFF 1.2
• Computer-assisted estimates for Birkhoff normal forms

Describes a project that uses

Uses Software

• REDUCE
• Maple

This page was built for publication: Symbolic computation of the Birkhoff normal form in the problem of stability of the triangular libration points

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q710260)