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

DOI10.1016/J.CPC.2007.12.001zbMATH Open1196.37005arXiv1312.7102OpenAlexW1976039329MaRDI QIDQ710260FDOQ710260

Authors: Ivan I. Shevchenko 

Publication date: 18 October 2010

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

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.

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

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

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)

Cites Work

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

Cited In (2)

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

Uses Software

• Maple
• REDUCE

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)