2025-11-23T01:46:16.052758

ON the stability of triangular Lagrangian points in the spatial restricted three-body problem

Sosnitskii
In the present paper, which is a development of an earlier study by the author \cite{Sosnitskii08}, we consider the stability of triangular libration points in the spatial circular restricted three-body problem and improve the result of author's work \cite{Sosnitskii08}. Unlike \cite{Sosnitskii08}, where the instability of libration points was established on the base of reduced approximate equations, we succeeded in this paper to use a new approach that made it possible to prove the instability of triangular libration points on the base of a closed complete system of equations. The relationship between the Lyapunov stability and Birkhoff stability (formal stability) is also discussed
academic

ОБ УСТОЙЧИВОСТИ ТРЕУГОЛЬНЫХ ТОЧЕК ЛАГРАНЖА В ПРОСТРАНСТВЕННОЙ ОГРАНИЧЕННОЙ ЗАДАЧЕ ТРЁХ ТЕЛ

Основная информация

  • ID статьи: 2510.13388
  • Название: ON the stability of triangular Lagrangian points in the spatial restricted three-body problem
  • Автор: С. П. Сосницкий (Институт математики Национальной академии наук Украины)
  • Классификация: astro-ph.SR (Астрофизика Солнца и звёзд)
  • Дата публикации: 15 октября 2025 г. (препринт arXiv)
  • Ссылка на статью: https://arxiv.org/abs/2510.13388

Аннотация

Данная работа развивает ранние исследования автора, рассматривая устойчивость треугольных точек Лагранжа в пространственной круговой ограниченной задаче трёх тел и улучшая результаты предыдущих работ. В отличие от предыдущих исследований, основанных на упрощённых приближённых уравнениях для установления неустойчивости точек Лагранжа, в данной работе успешно применён новый метод, основанный на полной замкнутой системе уравнений, который доказывает неустойчивость треугольных точек Лагранжа. Также обсуждается взаимосвязь между устойчивостью по Ляпунову и устойчивостью по Биркгофу (формальной устойчивостью).

Научный контекст и мотивация

Значимость проблемы

  1. Классическая задача с долгой историей: Проблема устойчивости треугольных точек Лагранжа восходит к XIX веку и остаётся не полностью решённой
  2. Теоретические ограничения: Теория КАМ, хотя и решает плоскую круговую ограниченную задачу, не даёт ожидаемых результатов при применении к пространственной круговой задаче
  3. Методологические вызовы: Существующие методы в основном полагаются на упрощённые приближённые уравнения, в них отсутствуют строгие доказательства на основе полной системы уравнений

Научная мотивация

Автор ставит целью найти новые подходы путём глубокого изучения свойств интеграла Якоби, построить специальные формы уравнений возмущённого движения и таким образом эффективно решить проблему устойчивости в рамках существующей теории устойчивости.

Основные вклады

  1. Методологическое новшество: Предложен новый метод, основанный на полной замкнутой системе уравнений, преодолевающий ограничения предыдущих подходов, зависящих от упрощённых приближённых уравнений
  2. Теоретическое доказательство: Строго доказана неустойчивость по Ляпунову треугольных точек Лагранжа L₄ и L₅ в пространственной круговой ограниченной задаче трёх тел
  3. Использование интеграла: Инновационное применение внутренней структуры интеграла Якоби для построения более точных уравнений возмущённого движения
  4. Теория устойчивости: Уточнена взаимосвязь между устойчивостью по Ляпунову и устойчивостью по Биркгофу

Подробное описание методов

Постановка задачи

Исследование устойчивости третьей частицы пренебрежимо малой массы вблизи треугольных точек Лагранжа L₄ и L₅ в пространственной круговой ограниченной задаче трёх тел, когда два основных тела с массами m₁ и m₂ движутся по круговым орбитам.

Архитектура модели

1. Основные уравнения движения

В системе координат, вращающейся с основными телами, уравнения движения имеют вид:

x'' - 2y' = x - (1-μ)(x-μ)/ρ₁₃³ - μ(x+1-μ)/ρ₂₃³
y'' + 2x' = y - (1-μ)y/ρ₁₃³ - μy/ρ₂₃³  
z'' = -(1-μ)z/ρ₁₃³ - μz/ρ₂₃³

где μ = m₂/(m₁+m₂), ρ₁₃ и ρ₂₃ — расстояния малой частицы до двух основных тел соответственно.

2. Система уравнений расстояний

Автор вводит инновационную систему уравнений расстояний (10), включающую:

  • Уравнения второго порядка для производных квадратов расстояний
  • Уравнения эволюции энергетических переменных E₁₃, E₂₃
  • Соотношение первого порядка для координаты y

3. Преобразование переменных возмущения

Определены переменные возмущения:

x₁ = ρ₁₃² - 1, x₂ = ρ₂₃² - 1
y₁ = E₁₃ + 1, y₂ = E₂₃ + 1
η = y - y₀

Технические инновации

1. Инновационное применение интеграла Якоби

Автор представляет интеграл Якоби в трёх эквивалентных формах (26)-(28), наиболее компактная из которых:

(1-μ)y₁ + μy₂ + (1-2μ)η' + 2y₀ξ' + 2(1-2μ)ξ - 4y₀η - 2(ξη'-ηξ'+ξ²+η²) = 2h*

2. Установление ключевых лемм

  • Лемма 1: Преобразование системы (19) в форму с коллективной переменной v = (1-μ)y₁ + μy₂
  • Лемма 2: Установление ключевого соотношения ζ'' = 4(h-ζ²) + O(||q*||²) + O(||q||³)

3. Стратегия замены переменных

Введение новой переменной ζ̃ = ζ² - h* для преобразования системы в форму, более удобную для анализа устойчивости (42).

Экспериментальная установка

Теоретическая аналитическая база

Работа использует чисто теоретический аналитический метод без численных экспериментов, основываясь на:

  1. Анализе характеристического уравнения: Исследование характеристических корней линеаризованной системы
  2. Теории устойчивости по Ляпунову: Анализ ненулевых характеристических показателей Ляпунова
  3. Свойствах консервативных систем: Использование консервативности исходной системы

Ограничения параметров

Анализ проводится при условии 27μ(1-μ) ≤ 1, охватывающем диапазон параметров практических задач небесной механики.

Результаты исследования

Основные теоретические результаты

Структура характеристического уравнения

Характеристическое уравнение линеаризации системы (42) разлагается на:

[3/4·λ³ + y₀(1-2μ)λ² - (5-8μ+8μ²)λ + 8(1-μ+μ²) + 4y₀(1-2μ)] × [λ⁴ + λ² + 27/4·μ(1-μ)] = 0

Доказательство неустойчивости

Теорема: В рамках пространственной круговой ограниченной задачи трёх тел точки Лагранжа L₄ и L₅ неустойчивы в смысле Ляпунова.

Ключевые моменты доказательства:

  1. Все три корня кубического уравнения (44) имеют ненулевые вещественные части
  2. Система (42) обладает ненулевыми характеристическими показателями Ляпунова
  3. Вследствие консервативности исходной системы равновесное состояние неустойчиво

Теоретические находки

  1. Разделение устойчивости и резонанса: Неустойчивость не связана с резонансными явлениями, а отражает внутренние особенности теории КАМ
  2. Явление двойственной устойчивости: В пространственной круговой ограниченной задаче трёх тел формальная устойчивость (устойчивость по Биркгофу) и неустойчивость по Ляпунову могут сосуществовать
  3. Существование притягивающих траекторий: Существуют траектории, притягиваемые точкой Лагранжа как при τ→∞, так и при τ→-∞

Связанные работы

Историческое развитие

  1. Основы XIX века: Ранние работы Gascheau (1843) и Routh (1875)
  2. Теоретическое развитие XX века: Создание теории Колмогорова-Арнольда-Мозера
  3. Современные исследования: Вклады Deprit & Deprit-Bartholomé (1967), Leontovich (1962), Markeev (1978) и других

Уникальность данной работы

По сравнению с существующими работами, преимущества данного исследования заключаются в:

  1. Независимости от упрощённых приближённых уравнений
  2. Отсутствии ограничений на константу интеграла Якоби h*
  3. Предоставлении строгого доказательства на основе полной системы уравнений

Выводы и обсуждение

Основные выводы

  1. Установление неустойчивости: Строго доказана неустойчивость по Ляпунову треугольных точек Лагранжа L₄ и L₅
  2. Эффективность метода: Благодаря умелому выбору соответствующих переменных и использованию внутренних ресурсов интеграла Якоби успешно упрощен анализ устойчивости
  3. Полнота теории: На основе полной замкнутой системы уравнений преодолены ограничения приближённых методов

Ограничения

  1. Ограничения параметров: Анализ предполагает условие 27μ(1-μ) ≤ 1, которое, хотя и охватывает практические случаи, всё же имеет ограничения
  2. Теоретический характер: Чисто теоретический анализ без численной верификации
  3. Специфичность системы: Результаты специфичны для круговой ограниченной задачи трёх тел

Направления будущих исследований

  1. Расширение на более общие диапазоны параметров
  2. Исследование аналогичных явлений в эллиптической ограниченной задаче трёх тел
  3. Изучение численных методов верификации теоретических результатов

Глубокая оценка

Достоинства

  1. Теоретическая строгость: Предоставляет строгое математическое доказательство на основе полной системы уравнений
  2. Методологическое новшество: Инновационное применение глубокой структуры интеграла Якоби
  3. Значимость проблемы: Решение классической задачи небесной механики
  4. Ясность изложения: Логичная и строгая математическая аргументация

Недостатки

  1. Ограниченная область применения: Результаты применимы только к определённому диапазону параметров и конкретной постановке задачи
  2. Отсутствие численной верификации: Чисто теоретический анализ без численных экспериментов
  3. Недостаточное физическое объяснение: Физические механизмы неустойчивости требуют более глубокого анализа

Влияние

  1. Теоретический вклад: Предоставляет новые аналитические инструменты для теории устойчивости в небесной механике
  2. Методологическая ценность: Предложенный метод может быть применим к другим аналогичным задачам динамических систем
  3. Практическое значение: Имеет руководящее значение для проектирования орбит и приложений небесной механики

Области применения

  1. Исследования небесной механики: Проектирование орбит и анализ устойчивости вблизи точек Лагранжа
  2. Теория динамических систем: Исследование устойчивости гамильтоновых систем с несколькими степенями свободы
  3. Космическая инженерия: Планирование космических миссий с использованием точек Лагранжа

Библиография

Статья ссылается на важные работы в данной области, включая:

  • Arnold, V. I. (1963): Фундаментальные работы по теории КАМ
  • Kolmogorov, A. N. (1954): Пионерские исследования сохранения условно-периодических движений
  • Szebehely, V. (1967): Классический учебник по ограниченной задаче трёх тел
  • Собственные предыдущие работы автора Sosnitskii (2008, 2009)

Данная статья достигает важного теоретического прорыва в классической задаче небесной механики, строго доказывая неустойчивость по Ляпунову треугольных точек Лагранжа в пространственной круговой ограниченной задаче трёх тел посредством инновационных математических методов, внося значительный вклад в теоретическое развитие данной области.