Studying the stability of equilibrium solutions in the planar circular restricted four-body problem

Abstract

The Newtonian circular restricted four-body problem is considered.We have obtained nonlinear algebraic equations, determining equilibrium solutions in the rotating frame, and found six possible equilibrium configurations of the system. Studying the stability of equilibrium solutions, we have proved that the radial equilibrium solutions are unstable while the bisector equilibrium solutions are stable in Liapunov’s sense if the mass parameter μ belongs (0, μ0), where μ0 is 0 a sufficiently small number, and μ ≠ μj , j = 1, 2, 3. We have also proved that for μ = μ1 and μ = μ3 the resonance conditions of the third and the fourth orders, respectively, are fulfilled and for these values of μ the bisector equilibrium are unstable and stable in Liapunov’s sense, respectively. All symbolic and numerical calculations are done with the computer algebra system Mathematica.

Розглядається кругова зрiзана проблема ньютонiвської динамiки для чотирьох тiл. Отримано нелiнiйнi алгебраїчнi рiвняння, що визначають рiвноважнi розв’язки вiдносно обертаючої системи вiдлiку, та знайдено шiсть рiвноважних конфiгурацiй системи. При вивченнi стiйкостi рiвноважних розв’язкiв доведено, що радiальнi рiвноважнi розв’язки є нестiйкими, проте бiсекторнi рiвноважнi розв’язки є стiйкими за Ляпуновим, якщо параметр маси μ належить (0, μ0), де μ0 - досить мале число, і μ ≠ μj , j = 1, 2, 3. Також доведено, що для μ = μ1 та μ = μ3 умови резонансу вiдповiдно третього та четвертого порядкiв виконано, iдля цих значень µ бiсекторнi рiвноважнi розв’язки є вiдповiдно нестiйкими та стiйкими за Ляпуновим. Усi символьнi та числовi обчислення виконано за допомогою системи комп’ютерної алгебри "Математика".