Журнал вычислительной математики и математической физики, 2023, T. 63, № 1, стр. 145-153

Исследование динамики системы двух связанных тел в плоскости круговой орбиты с применением методов компьютерной алгебры

С. А. Гутник 12*, В. А. Сарычев 3**

1 МГИМО МИД России
119454 Москва, пр-т Вернадского, 76, Россия

2 МФТИ
141701 М. о., Долгопрудный, Институтский пер., 9, Россия

3 ИПМ им. М.В. Келдыша РАН
125047 Москва, Миусская пл., 4, Россия

* E-mail: s.gutnik@inno.mgimo.ru
** E-mail: vas31@rambler.ru

Поступила в редакцию 25.04.2022
После доработки 25.04.2022
Принята к публикации 17.09.2022

Полный текст (PDF)

Аннотация

Методы компьютерной алгебры применяются для определения равновесных ориентаций системы двух тел, соединенных сферическим шарниром, движущихся в центральном ньютоновом силовом поле по круговой орбите под действием гравитационного момента. Главное внимание уделяется изучению равновесных ориентаций связки двух тел в плоскости круговой орбиты. С применением символьного дифференцирования были получены дифференциальные уравнения движения в форме уравнений Лагранжа II рода. Предложен метод преобразования системы тригонометрических уравнений, определяющих равновесия, в систему алгебраических уравнений, которая, в свою очередь, путем вычисления результанта была сведена к одному алгебраическому уравнению 12 степени от одной неизвестной. Корни полученного алгебраического уравнения определяют равновесные ориентации связки двух тел в плоскости круговой орбиты. Проведена символьная факторизация полученного алгебраического уравнения на три полиномиальных множителя, каждый из которых задает определенный класс равновесных конфигураций. Классификация областей с равным числом положений равновесия выполнялась с использованием алгебраических методов построения дискриминантной гиперповерхности. Уравнения дискриминантной гиперповерхности, которая определяет границы областей с равным числом положений равновесия в пространстве параметров задачи, были получены с использованием символьных вычислений определителя матрицы результанта. Число положений равновесия системы двух тел в зависимости от параметров определялось путем численного анализа действительных корней полученных алгебраических уравнений.Библ. 16. Фиг. 2.

Ключевые слова: система двух тел, круговая орбита, уравнения Лагранжа, положения равновесия, алгебраические уравнения, компьютерная алгебра, результант, дискриминантная гиперповерхность.

ВВЕДЕНИЕ

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

Исследование равновесных ориентаций связки тел, движущихся в центральном ньютоновом силовом поле по круговой орбите, представляет значительный практической интерес для создания составных схем гравитационной системы ориентации спутников, которые могут функционировать на орбите продолжительное время без расходования энергии и рабочего тела. Действие стабилизатора на спутник позволяет получить новые положения равновесия системы двух тел и ввести диссипацию в систему, что представляет большой интерес для практики. Подробное рассмотрение динамики различных типов составных схем гравитационных систем ориентации представлено в [1].

В работе [2] главное внимание было уделено исследованию существования равновесных ориентаций системы двух тел в случаях, когда одна из главных осей инерции как первого, так и второго тела совпадает с нормалью к плоскости орбиты, радиусом-вектором или касательной к орбите. Для определения равновесных ориентаций связки двух тел проводилась декомпозиция системы 12 алгебраических уравнений на ряд подсистем. Для решения каждой из подсистем алгебраических уравнений применялись алгоритмы построения базисов Гребнера. В [2] также представлен обзор результатов последних исследований по данной теме.

В работе [3] был получен широкий класс пространственных равновесных ориентаций системы спутник-стабилизатор с использованием комбинации методов компьютерной и линейной алгебры при определенных ограничениях на параметры задачи в случае, когда сферический шарнир расположен на пересечении главных центральных осей инерции спутника и стабилизатора.

В работе [4] исходная система 12 алгебраических уравнений, определяющая равновесия системы двух тел, была решена с применением методов построения базисов Гребнера для такой комбинации значений инерциальных и геометрических параметров двух тел, при которой коэффициенты алгебраической системы, определяющей равновесные ориентации, зависят только от одного параметра.

Задача нахождения всех пространственных положений равновесия двух соединенных сферическим шарниром тел на круговой орбите в общем виде до сих пор не решена. Подробное исследование задачи о пространственных положениях равновесия системы двух связанных осесимметричных тел проведено в работе [5].

Динамика движения двух соединенных шарниром тел в плоскости круговой орбиты в случае, когда сферический шарнир расположен на пересечении главных центральных осей инерции спутника и стабилизатора, исследовалась в работах [6]–[10].

В работе [11] проведено исследование равновесных ориентаций системы двух связанных тел в плоскости перпендикулярной плоскости круговой орбиты в случае, когда сферический шарнир расположен на линии пересечения двух плоскостей, образуемых главными центральными осями инерции спутника и стабилизатора. Для исследования равновесных ориентаций применялся метод редукции полиномов с использованием символьного вычисления результанта.

Основное внимание в представленной работе уделяется исследованию равновесных ориентаций связки двух тел в плоскости круговой орбиты, когда сферический шарнир расположен на линии пересечения двух плоскостей, образуемых главными центральными осями инерции спутника и стабилизатора. Для исследования равновесных ориентаций применялся подход, предложенный в работе [11], сводящийся к преобразованию системы тригонометрических уравнений, определяющих положения равновесия в систему алгебраических уравнений, для решения которой применялись символьные методы вычисления определителей матриц результантов.

Классификация областей с равным числом положений равновесия выполнялась с применением алгебраических методов построения дискриминантной гиперповерхности. Число положений равновесия системы двух тел в зависимости от параметров определялось путем численного анализа действительных корней полученных алгебраических уравнений.

1. УРАВНЕНИЯ ДВИЖЕНИЯ

Рассмотрим задачу о движении системы двух тел, соединенных сферическим шарниром, по круговой орбите [11]. Для записи уравнений движения системы двух тел введем следующие правые системы координат (фиг. 1): $OXYZ$ – орбитальная система координат; ось $OZ$ направлена вдоль радиуса-вектора, соединяющего центр масс C Земли и центр масс O системы двух тел; ось $OX$ направлена вдоль вектора линейной скорости центра масс $O$, ось $OY$ совпадает с нормалью к плоскости орбиты. Оси систем координат ${{O}_{1}}{{x}_{1}}{{y}_{1}}{{z}_{1}}$ и ${{O}_{2}}{{x}_{2}}{{y}_{2}}{{z}_{2}}$ направлены вдоль главных центральных осей инерции спутника и стабилизатора соответственно (фиг. 1). Ориентацию системы координат ${{O}_{i}}{{x}_{i}}{{y}_{i}}{{z}_{i}}$ относительно орбитальной системы координат определим с использованием самолетных углов тангажа ${{\alpha }_{i}},$ рыскания ${{\beta }_{i}}$ и крена ${{\gamma }_{i}}$ (см. [1])

$\begin{gathered} a_{{11}}^{{(i)}} = \cos {{\alpha }_{i}}\cos {{\beta }_{i}}, \\ a_{{12}}^{{(i)}} = \sin {{\alpha }_{i}}\sin {{\gamma }_{i}} - \cos {{\alpha }_{i}}\sin {{\beta }_{i}}\cos {{\gamma }_{i}}, \\ a_{{13}}^{{(i)}} = \sin {{\alpha }_{i}}\cos {{\gamma }_{i}} + \cos {{\alpha }_{i}}\sin {{\beta }_{i}}\sin {{\gamma }_{i}}, \\ \end{gathered} $
(1.1)
$\begin{gathered} a_{{21}}^{{(i)}} = \sin {{\beta }_{i}}, \\ a_{{22}}^{{(i)}} = \cos {{\beta }_{i}}\cos {{\gamma }_{i}}, \\ a_{{23}}^{{(i)}} = - \cos {{\beta }_{i}}\sin {{\gamma }_{i}}, \\ \end{gathered} $
$\begin{gathered} a_{{31}}^{{(i)}} = - \sin {{\alpha }_{i}}\cos {{\beta }_{i}}, \\ a_{{32}}^{{(i)}} = \cos {{\alpha }_{i}}\sin {{\gamma }_{i}} + \sin {{\alpha }_{i}}\sin {{\beta }_{i}}\cos {{\gamma }_{i}}, \\ a_{{33}}^{{(i)}} = \cos {{\alpha }_{i}}\cos {{\gamma }_{i}} - \sin {{\alpha }_{i}}\sin {{\beta }_{i}}\sin {{\gamma }_{i}}. \\ \end{gathered} $
Индекс $i = 1$ $(i = 2)$ относится к телу 1 – спутнику (телу 2, стабилизатору).

Фиг. 1.

Основные системы координат.

Пусть $({{a}_{i}},{{b}_{i}},{{c}_{i}})$ – координаты сферического шарнира P в связанной с телом системе координат ${{O}_{i}}{{x}_{i}}{{y}_{i}}{{z}_{i}}$; ${{A}_{i}},\;{{B}_{i}},\;{{C}_{i}}$ – главные центральные моменты инерции тел, $M = {{{{M}_{1}}{{M}_{2}}} \mathord{\left/ {\vphantom {{{{M}_{1}}{{M}_{2}}} {({{M}_{1}} + {{M}_{2}}}}} \right. \kern-0em} {({{M}_{1}} + {{M}_{2}}}})$; ${{M}_{i}}$ – масса i-го тела. Рассмотрим случай, когда шарнир расположен на линии пересечения двух плоскостей, образуемых главными центральными осями инерции спутника и стабилизатора, когда ${{b}_{1}} = {{b}_{2}} = 0$ и равновесные ориентации системы двух тел находятся в плоскости орбиты (${{\alpha }_{1}} \ne 0,$ ${{\alpha }_{2}} \ne 0,$ ${{\beta }_{1}} = {{\beta }_{2}} = {{\gamma }_{1}} = {{\gamma }_{2}} = 0$). Тогда координаты сферического шарнира в связанных с каждым телом системе координат будут иметь значения $({{a}_{1}},0,{{c}_{1}})$ и $({{a}_{2}},0,{{c}_{2}})$. В этом случае имеют место выражения для кинетической энергии

(1.2)
$\begin{gathered} T = \frac{1}{2}[{{B}_{1}} + M(a_{1}^{2} + c_{1}^{2})]{{({{{\dot {\alpha }}}_{1}} + {{\omega }_{0}})}^{2}} + \frac{1}{2}[{{B}_{2}} + M(a_{2}^{2} + c_{2}^{2})]{{({{{\dot {\alpha }}}_{2}} + {{\omega }_{0}})}^{2}} - \\ - \;M[({{a}_{1}}{{a}_{2}} + {{c}_{1}}{{c}_{2}})\cos ({{\alpha }_{1}} - {{\alpha }_{2}}) - ({{a}_{1}}{{c}_{2}} - {{a}_{2}}{{c}_{1}})\sin ({{\alpha }_{1}} - {{\alpha }_{2}})]({{{\dot {\alpha }}}_{1}} + {{\omega }_{0}})({{{\dot {\alpha }}}_{2}} + {{\omega }_{0}}) \\ \end{gathered} $
и силовой функции

(1.3)
$\begin{gathered} U = \frac{3}{2}M\omega _{0}^{2}{{[({{a}_{1}}\sin {{\alpha }_{1}} - {{c}_{1}}\cos {{\alpha }_{1}}) - ({{a}_{2}}\sin {{\alpha }_{2}} - {{c}_{2}}\cos {{\alpha }_{2}})]}^{2}} - \frac{3}{2}\omega _{0}^{2}({{A}_{1}} - {{C}_{1}}){{\sin }^{2}}{{\alpha }_{1}} - \\ \, - \frac{3}{2}\omega _{0}^{2}({{A}_{2}} - {{C}_{2}}){{\sin }^{2}}{{\alpha }_{2}} + M\omega _{0}^{2}[({{a}_{1}}{{a}_{2}} + {{c}_{1}}{{c}_{2}})\cos ({{\alpha }_{1}} - {{\alpha }_{2}}) - ({{a}_{1}}{{c}_{2}} - {{a}_{2}}{{c}_{1}})\sin ({{\alpha }_{1}} - {{\alpha }_{2}})]. \\ \end{gathered} $

Используя выражения для кинетической энергии (1.2) и силовой функции (1.3), определяющей действие гравитационного поля Земли на систему двух тел, уравнения движения этой системы можно записать в форме уравнений Лагранжа II рода, используя возможности символьного дифференцирования в системе Mathematica 12.1 [12], в следующем виде:

$\begin{gathered} ({{B}_{1}} + M(a_{1}^{2} + c_{1}^{2})){{{\ddot {\alpha }}}_{1}} - M(({{a}_{1}}{{a}_{2}} + {{c}_{1}}{{c}_{2}})\cos ({{\alpha }_{1}} - {{\alpha }_{2}}) - ({{a}_{1}}{{c}_{2}} - {{a}_{2}}{{c}_{1}})\sin ({{\alpha }_{1}} - {{\alpha }_{2}})){{{\ddot {\alpha }}}_{2}} - \\ \, - M(({{a}_{1}}{{a}_{2}} + {{c}_{1}}{{c}_{2}})\sin ({{\alpha }_{1}} - {{\alpha }_{2}}) + ({{a}_{1}}{{c}_{2}} - {{a}_{2}}{{c}_{1}})\cos ({{\alpha }_{1}} - {{\alpha }_{2}}))(\dot {\alpha }_{2}^{2} + 2{{{\dot {\alpha }}}_{2}}) + \\ \end{gathered} $
(1.4)
$\begin{gathered} \, + 3({{A}_{1}} - {{C}_{1}})\sin {{\alpha }_{1}}\cos {{\alpha }_{1}} - 3M({{a}_{1}}{\kern 1pt} \cos {{\alpha }_{1}} + {{c}_{1}}{\kern 1pt} \sin {{\alpha }_{1}})(({{a}_{1}}\sin {{\alpha }_{1}} - {{c}_{1}}{\kern 1pt} \cos {{\alpha }_{1}}) - \\ \, - ({{a}_{2}}{\kern 1pt} \sin {{\alpha }_{2}} - {{c}_{2}}\cos {{\alpha }_{2}}{\kern 1pt} )) = 0, \\ - \;M(({{a}_{1}}{{a}_{2}} + {{c}_{1}}{{c}_{2}})\cos ({{\alpha }_{1}} - {{\alpha }_{2}}) - ({{a}_{1}}{{c}_{2}} - {{a}_{2}}{{c}_{1}})\sin ({{\alpha }_{1}} - {{\alpha }_{2}})){{{\ddot {\alpha }}}_{1}} + ({{B}_{2}} + M(a_{2}^{2} + c_{2}^{2})){{{\ddot {\alpha }}}_{2}} + \\ \end{gathered} $
$\begin{gathered} + \;3({{A}_{2}} - {{C}_{2}})\sin {{\alpha }_{2}}\cos {{\alpha }_{2}} + M(({{a}_{1}}{{a}_{2}} + {{c}_{1}}{{c}_{2}})\sin ({{\alpha }_{1}} - {{\alpha }_{2}}) + ({{a}_{1}}{{c}_{2}} - {{a}_{2}}{{c}_{1}})\cos ({{\alpha }_{1}} - {{\alpha }_{2}}))(\dot {\alpha }_{1}^{2} + 2{{{\dot {\alpha }}}_{1}}) + \\ \, + 3M({{a}_{2}}{\kern 1pt} \cos {{\alpha }_{2}} + {{c}_{2}}{\kern 1pt} \sin {{\alpha }_{2}})(({{a}_{1}}{\kern 1pt} {\kern 1pt} \sin {{\alpha }_{1}} - {{c}_{1}}{\kern 1pt} \cos {{\alpha }_{1}}) - ({{a}_{2}}{\kern 1pt} {\kern 1pt} \sin {{\alpha }_{2}} - {{c}_{2}}{\kern 1pt} \cos {{\alpha }_{2}})) = 0. \\ \end{gathered} $
В уравнениях (1.4) точкой обозначено дифференцирование по $\tau = {{\omega }_{0}}{\kern 1pt} t$, где $t$ – время.

2. ПОЛОЖЕНИЯ РАВНОВЕСИЯ

Положив в уравнениях (1.4) ${{\alpha }_{1}} = {\text{const}},$ ${{\alpha }_{2}} = {\text{const}},$ получим при условиях ${{A}_{i}} \ne {{B}_{i}} \ne {{C}_{i}}$ уравнения

(2.1)
$\begin{gathered} (({{A}_{1}} - {{C}_{1}}){\text{/}}M)\sin {{\alpha }_{1}}\cos {{\alpha }_{1}} - ({{a}_{1}}{\kern 1pt} \cos {{\alpha }_{1}} + {{c}_{1}}{\kern 1pt} \sin {{\alpha }_{1}})({{a}_{1}}{\kern 1pt} \sin {{\alpha }_{1}} - {{c}_{1}}{\kern 1pt} \cos {{\alpha }_{1}}) + \\ \, + ({{a}_{1}}{\kern 1pt} \cos {{\alpha }_{1}} + {{c}_{1}}{\kern 1pt} \sin {{\alpha }_{1}})({{a}_{2}}{\kern 1pt} \sin {{\alpha }_{2}} - {{c}_{2}}{\kern 1pt} \cos {{\alpha }_{2}}) = 0, \\ (({{A}_{2}} - {{C}_{2}}){\text{/}}M)\sin {{\alpha }_{2}}{\kern 1pt} \cos {{\alpha }_{2}} - ({{a}_{2}}{\kern 1pt} \cos {{\alpha }_{2}} + {{c}_{2}}{\kern 1pt} \sin {{\alpha }_{2}})({{a}_{2}}{\kern 1pt} \sin {{\alpha }_{2}} - {{c}_{2}}{\kern 1pt} \cos {{\alpha }_{2}}) + \\ \, + ({{a}_{2}}{\kern 1pt} \cos {{\alpha }_{2}} + {{c}_{2}}{\kern 1pt} {\kern 1pt} \sin {{\alpha }_{2}})({{a}_{1}}{\kern 1pt} \sin {{\alpha }_{1}} - {{c}_{1}}{\kern 1pt} \cos {{\alpha }_{1}}) = 0, \\ \end{gathered} $
позволяющие определить положения равновесия системы спутник-стабилизатор в орбитальной системе координат в плоскости орбиты. Тригонометрическую систему уравнений (2.1) относительно двух неизвестных самолетных углов ${{\alpha }_{1}},\;{{\alpha }_{2}}{\kern 1pt} $аналитически решить не удается.

Для решения системы (2.1) воспользуемся следующей универсальной заменой синусов и косинусов углов ${{\alpha }_{1}}{\kern 1pt} {\kern 1pt} $и ${{\alpha }_{2}}{\kern 1pt} $через их тангенсы:

(2.2)
$\sin {{\alpha }_{i}} = \frac{{\operatorname{tg} {{\alpha }_{i}}}}{{\sqrt {1 + {{{\operatorname{tg} }}^{{\text{2}}}}{{\alpha }_{i}}} }} = \frac{{{{t}_{i}}}}{{\sqrt {1 + t_{i}^{2}} }},\quad \cos {{\alpha }_{i}} = \frac{1}{{\sqrt {1 + {{{\operatorname{tg} }}^{{\text{2}}}}{{\alpha }_{i}}} }} = \frac{1}{{\sqrt {1 + t_{i}^{2}} }},$
где ${{t}_{i}} = \operatorname{tg} {{\alpha }_{i}}$.

Подставляя выражения (2.2) в уравнения системы (2.1) и вводя обозначения ${{d}_{1}} = {{({{A}_{1}} - {{C}_{1}})} \mathord{\left/ {\vphantom {{({{A}_{1}} - {{C}_{1}})} M}} \right. \kern-0em} M},$ ${{d}_{2}} = {{({{A}_{2}} - {{C}_{2}})} \mathord{\left/ {\vphantom {{({{A}_{2}} - {{C}_{2}})} {M,}}} \right. \kern-0em} {M,}}$ получаем два уравнения от двух неизвестных ${{t}_{1}}$ и ${{t}_{2}}$:

(2.3)
$\begin{gathered} {{d}_{1}}{{t}_{1}} - ({{a}_{1}} + {{c}_{1}}{\kern 1pt} {{t}_{1}})({{a}_{1}}{\kern 1pt} {{t}_{1}} - {{c}_{1}}{\kern 1pt} ) = ({{a}_{1}} + {{c}_{1}}{\kern 1pt} {{t}_{1}})({{c}_{2}} - {{a}_{2}}{\kern 1pt} {{t}_{2}})\frac{{\sqrt {1 + t_{1}^{2}} }}{{\sqrt {1 + t_{2}^{2}} }}, \\ {\kern 1pt} {{d}_{2}}{{t}_{2}} - ({{a}_{2}} + {{c}_{2}}{{t}_{2}})({{a}_{2}}{\kern 1pt} {{t}_{2}} - {{c}_{2}}{\kern 1pt} ) = ({{a}_{2}} + {{c}_{2}}{\kern 1pt} {{t}_{2}})({{c}_{1}} - {{a}_{1}}{\kern 1pt} {{t}_{1}})\frac{{\sqrt {1 + t_{2}^{2}} }}{{\sqrt {1 + t_{1}^{2}} }}. \\ \end{gathered} $

Систему уравнений (2.3) можно упростить. Для этого сначала умножим левую (правую) часть первого уравнения (2.3) на левую (правую) часть второго уравнения, а затем разделим левую (правую) часть первого уравнения (2.3) на левую (правую) часть второго уравнения соответственно. В результате получим алгебраическую систему двух уравнений относительно двух неизвестных ${{t}_{1}}$ и ${{t}_{2}}$:

(2.4)
${{\bar {a}}_{0}}t_{1}^{3} + {{\bar {a}}_{1}}t_{1}^{2} + {{\bar {a}}_{2}}{{t}_{1}} + {{\bar {a}}_{3}} = 0,\quad {{\bar {b}}_{0}}t_{1}^{2} + {{\bar {b}}_{1}}{{t}_{1}} + {{\bar {b}}_{2}} = 0,$
где

$\begin{gathered} {{{\bar {a}}}_{0}} = {{c}_{1}}({{c}_{2}}(a_{1}^{2} - a_{2}^{2})t_{2}^{3} + {{a}_{2}}(a_{1}^{2} - a_{2}^{2} + 2c_{2}^{2} + {{d}_{2}})t_{2}^{2} + {{c}_{2}}(a_{1}^{2} - c_{2}^{2} + 2a_{2}^{2} - {{d}_{2}}){{t}_{2}} + {{a}_{2}}(a_{1}^{2} - c_{2}^{2})), \\ {{{\bar {a}}}_{1}} = {{a}_{1}}({{c}_{2}}(a_{1}^{2} - a_{2}^{2} - 2c_{1}^{2} - {{d}_{1}})t_{2}^{3} + {{a}_{2}}(a_{1}^{2} - a_{2}^{2} - 2c_{1}^{2} + 2c_{2}^{2} - {{d}_{1}} + {{d}_{2}})t_{2}^{2} + \\ \, + {{c}_{2}}(a_{1}^{2} + 2a_{2}^{2} - 2c_{1}^{2} - c_{2}^{2} - {{d}_{1}} - {{d}_{2}}){{t}_{2}} + {{a}_{2}}(a_{1}^{2} - 2c_{1}^{2} - c_{2}^{2} - {{d}_{1}})), \\ \end{gathered} $
$\begin{gathered} {{{\bar {a}}}_{2}} = {{c}_{1}}({{c}_{2}}(c_{1}^{2} - a_{2}^{2} - 2a_{1}^{2} + {{d}_{1}})t_{2}^{3} + {{a}_{2}}(c_{1}^{2} - a_{2}^{2} - 2a_{1}^{2} + 2c_{2}^{2} + {{d}_{1}} + {{d}_{2}})t_{2}^{2} - \\ \, - {{c}_{2}}(2a_{1}^{2} - 2a_{2}^{2} - c_{1}^{2} + c_{2}^{2} - {{d}_{1}} + {{d}_{2}}){{t}_{2}} - {{a}_{2}}(2a_{1}^{2} - c_{1}^{2} + c_{2}^{2} - {{d}_{1}})), \\ \end{gathered} $
$\begin{gathered} {{{\bar {a}}}_{3}} = {{a}_{1}}({{c}_{2}}(c_{1}^{2} - a_{2}^{2})t_{2}^{3} - {{a}_{2}}(a_{2}^{2} - c_{1}^{2} - 2c_{2}^{2} - {{d}_{2}})t_{2}^{2} + {{c}_{2}}(2a_{2}^{2} + c_{1}^{2} - c_{2}^{2} - {{d}_{2}}){{t}_{2}} + {{a}_{2}}(c_{1}^{2} - c_{2}^{2})), \\ {{{\bar {b}}}_{0}} = {{a}_{1}}{{c}_{1}}{{d}_{2}}{{t}_{2}},\quad {{{\bar {b}}}_{1}} = {{a}_{2}}{{c}_{2}}{{d}_{1}}t_{2}^{2} + ((a_{2}^{2} - c_{2}^{2}){{d}_{1}} + (a_{1}^{2} - c_{1}^{2}){{d}_{2}} - {{d}_{1}}{{d}_{2}}){{t}_{2}} - {{a}_{2}}{{c}_{2}}{{d}_{1}},\quad {{{\bar {b}}}_{2}} = - {{a}_{1}}{{c}_{1}}{{d}_{2}}{{t}_{2}}. \\ \end{gathered} $

Исключая из системы (2.4) ${{t}_{1}}$ с использованием понятия результанта [13], [14] системе Wolfram Mathematica алгебраическое уравнение 12 порядка относительно переменной ${{t}_{2}}$, которое после факторизации представляет собой произведение трех полиномов

(2.5)
$P({{t}_{2}}) = {{P}_{1}}({{t}_{2}}){{P}_{2}}({{t}_{2}}){{P}_{3}}({{t}_{2}}) = 0,$
где ${{P}_{1}}({{t}_{2}})$ и ${{P}_{2}}({{t}_{2}})$ полиномы второго порядка и имеют следующий вид:
(2.6)
${{P}_{1}}({{t}_{2}}) = {{a}_{1}}{{с}_{1}}{{d}_{1}}{{({{a}_{2}}{{t}_{2}} - {{с}_{2}})}^{2}} = 0,$
(2.7)
${{P}_{2}}({{t}_{2}}) = {{a}_{2}}{{с}_{2}}t_{2}^{2} + (a_{2}^{2} - с_{2}^{2} + {{d}_{2}}){{t}_{2}} + {{a}_{2}}{{с}_{2}} = 0,$
${{P}_{3}}({{t}_{2}})$ – является полиномом 8 порядка
(2.8)
${{P}_{3}}({{t}_{2}}) = {{p}_{0}}t_{2}^{8} + {{p}_{1}}t_{2}^{7} + {{p}_{2}}t_{2}^{6} + {{p}_{3}}t_{2}^{5} + {{p}_{4}}t_{2}^{4} + {{p}_{5}}t_{2}^{3} + {{p}_{6}}t_{2}^{2} + {{p}_{7}}{{t}_{2}} + {{p}_{8}} = 0,$
коэффициенты которого представляют собой полиномы от шести параметров системы ${{a}_{1}},\;{{a}_{2}},$ ${{c}_{1}},\;{{c}_{2}},$ ${{d}_{1}},\;{{d}_{2}}$:
$\begin{gathered} {{p}_{0}} = c_{2}^{4}d_{1}^{2}(a_{1}^{2} - a_{2}^{2})(a_{2}^{2} - c_{1}^{2}), \\ {{p}_{1}} = 2{{a}_{2}}c_{2}^{3}{{d}_{1}}({{d}_{2}}(a_{1}^{2} - c_{1}^{2})(a_{1}^{2} - a_{2}^{2} + c_{1}^{2}) + {{d}_{1}}(2a_{2}^{2}(a_{1}^{2} - a_{2}^{2}) + c_{1}^{2}(c_{2}^{2} - a_{1}^{2} - {{d}_{2}}) + (2a_{2}^{2} - a_{1}^{2})(c_{1}^{2} + c_{2}^{2} + {{d}_{2}}))), \\ \end{gathered} $
$\begin{gathered} {{p}_{2}} = c_{2}^{2}(d_{2}^{2}(a_{1}^{2} - a_{2}^{2} + c_{1}^{2}){{(a_{1}^{2} + c_{1}^{2})}^{2}} + 2{{d}_{1}}{{d}_{2}}(a_{1}^{2} - c_{1}^{2})(3a_{2}^{2}(a_{1}^{2} - a_{2}^{2} + c_{1}^{2} + c_{2}^{2} + {{d}_{2}}) - \\ - \;(a_{1}^{2} + c_{1}^{2})(c_{2}^{2} + {{d}_{2}})) + d_{1}^{2}(6a_{2}^{4}(a_{1}^{2} - a_{2}^{2}) + c_{1}^{2}{{(c_{2}^{2} + {{d}_{2}})}^{2}} - a_{1}^{2}a_{2}^{2}(7c_{2}^{2} + 6c_{1}^{2} + 6{{d}_{2}}) + 2a_{2}^{4}(8c_{2}^{2} + \\ \, + 3c_{1}^{2} + 6{{d}_{2}}) + a_{1}^{2}(c_{2}^{4} - 2c_{1}^{2}c_{2}^{2} + 2c_{2}^{2}{{d}_{2}} + d_{2}^{2}) - a_{2}^{2}(6c_{2}^{4} + 7c_{1}^{2}c_{2}^{2} + 6{{d}_{2}}(c_{1}^{2} + c_{2}^{2}) + 6d_{2}^{2}))), \\ \end{gathered} $
$\begin{gathered} {{p}_{3}} = 2{{a}_{2}}{{c}_{2}}(d_{2}^{2}(a_{1}^{2} - a_{2}^{2} + c_{1}^{2} + c_{2}^{2} + {{d}_{2}}){{(a_{1}^{2} + c_{1}^{2})}^{2}} + {{d}_{1}}({{d}_{2}}(a_{1}^{2} - c_{1}^{2})(3a_{1}^{2}a_{2}^{2} - 3{{(a_{2}^{2} - {{d}_{2}})}^{2}} + 2{{d}_{2}}(a_{1}^{2} - c_{1}^{2}) - \\ \, - 2c_{1}^{2}(a_{1}^{2} + c_{1}^{2}) - 3c_{2}^{2}(c_{2}^{2} + 2{{d}_{2}}) + 3a_{2}^{2}(c_{1}^{2} + 3c_{2}^{2})) + d_{1}^{2}((c_{1}^{2} + 2c_{2}^{2} + 2{{d}_{2}}){{(c_{2}^{2} + {{d}_{2}})}^{2}} - 2a_{2}^{6} + a_{1}^{2}(2a_{2}^{4} - \\ \, - 2a_{2}^{2}c_{1}^{2} - 4a_{2}^{2}c_{2}^{2} - 3a_{2}^{2}{{d}_{2}} - 4c_{1}^{2}c_{2}^{2} + c_{2}^{4} + 2c_{2}^{2}{{d}_{2}} + d_{2}^{2}) - a_{2}^{2}(4c_{2}^{2}(c_{1}^{2} + 3c_{2}^{2}) + 3{{d}_{2}}(c_{1}^{2} + 6c_{2}^{2}) + 6d_{2}^{2}))), \\ \end{gathered} $
$\begin{gathered} {{p}_{4}} = d_{2}^{2}{{(a_{1}^{2} + c_{1}^{2})}^{2}}(a_{1}^{2}a_{2}^{2} - {{(a_{2}^{2} - c_{2}^{2})}^{2}} + 2{{d}_{2}}(a_{2}^{2} - c_{2}^{2}) + a_{2}^{2}(c_{1}^{2} + 2c_{2}^{2}) + c_{2}^{2}(a_{1}^{2} + c_{1}^{2}) - d_{2}^{2}) + \\ + \;{{d}_{1}}(2{{d}_{2}}(a_{1}^{2} - c_{1}^{2})(a_{2}^{2} - c_{2}^{2} - {{d}_{2}})(a_{1}^{2}(a_{2}^{2} + c_{2}^{2}) + a_{2}^{2}(c_{1}^{2} + 8c_{2}^{2} + 2{{d}_{2}}) + c_{1}^{2}c_{2}^{2} - {{(c_{2}^{2} + {{d}_{2}})}^{2}} - a_{2}^{4}) + \\ \end{gathered} $
$\begin{gathered} + \;d_{1}^{2}(a_{2}^{6}(c_{1}^{2} + 16c_{2}^{2} + 4{{d}_{2}}) - a_{2}^{8} - (c_{2}^{4} - c_{1}^{2}c_{2}^{2} + 2c_{2}^{2}{{d}_{2}} + d_{2}^{2}){{(c_{2}^{2} + {{d}_{2}})}^{2}} - 2a_{2}^{4}((c_{2}^{2} + {{d}_{2}})(c_{1}^{2} + 18c_{2}^{2}) + \\ \, + 3d_{2}^{2}) + a_{2}^{2}(4d_{2}^{2} + 36c_{2}^{4}{{d}_{2}} - 2c_{2}^{4}(c_{1}^{2} - 8c_{2}^{2}) + d_{2}^{2}(c_{1}^{2} + 24c_{2}^{2})) + a_{1}^{2}(a_{2}^{6} - a_{2}^{4}(c_{1}^{2} + 2c_{2}^{2} + 2{{d}_{2}}) + \\ \, + c_{2}^{2}(c_{2}^{4} - c_{1}^{2}c_{2}^{2} + 2c_{2}^{2}{{d}_{2}} + d_{2}^{2}) + a_{2}^{2}(d_{2}^{2} - 2c_{2}^{4} - 12c_{1}^{2}c_{2}^{2}))), \\ \end{gathered} $
$\begin{gathered} {{p}_{5}} = 2{{a}_{2}}{{c}_{2}}(d_{2}^{2}(a_{1}^{2} + a_{2}^{2} + c_{1}^{2} - c_{2}^{2} - {{d}_{2}}){{(a_{1}^{2} + c_{1}^{2})}^{2}} + {{d}_{1}}({{d}_{2}}(a_{1}^{2} - c_{1}^{2})(2(a_{1}^{2} + c_{1}^{2})(a_{2}^{2} - {{d}_{2}}) + \\ \, + 3{{(a_{2}^{2} - {{d}_{2}})}^{2}} - 3c_{2}^{2}(a_{1}^{2} + 3a_{2}^{2} + c_{1}^{2} - c_{2}^{2} - 2{{d}_{2}})) + d_{1}^{2}(2a_{2}^{6} + a_{2}^{4}(c_{1}^{2} - 12c_{2}^{2} - 6{{d}_{2}}) - \\ \end{gathered} $
$\begin{gathered} - \;(2c_{2}^{4} - 2c_{1}^{2}c_{2}^{2} + 4c_{2}^{2}{{d}_{2}} - c_{1}^{2}{{d}_{2}} + 2d_{2}^{2})(c_{2}^{2} + {{d}_{2}}) + 2a_{2}^{2}(6c_{2}^{4} - 2c_{1}^{2}c_{2}^{2} + 9c_{2}^{2}{{d}_{2}} - c_{1}^{2}{{d}_{2}} + 3d_{2}^{2}) + \\ \, + a_{1}^{2}(a_{2}^{4} + d_{2}^{2} + c_{2}^{2}(2c_{2}^{2} - 2c_{1}^{2} + 3{{d}_{2}}) - 2a_{2}^{2}(2c_{1}^{2} + 2c_{2}^{2} + {{d}_{2}})))), \\ \end{gathered} $
$\begin{gathered} {{p}_{6}} = a_{2}^{2}(d_{2}^{2}(a_{1}^{2} + c_{1}^{2} - c_{2}^{2}){{(a_{1}^{2} + c_{1}^{2})}^{2}} + 2{{d}_{1}}{{d}_{2}}(a_{1}^{2} - c_{1}^{2})(a_{1}^{2}(a_{2}^{2} - 3c_{2}^{2} - {{d}_{2}}) + a_{2}^{2}(c_{1}^{2} - 3c_{2}^{2}) + 3c_{2}^{4} - \\ \, - 3c_{1}^{2}c_{2}^{2} + 3c_{2}^{2}{{d}_{2}} - c_{1}^{2}{{d}_{1}}) + d_{1}^{2}(a_{1}^{2}(a_{2}^{4} + d_{2}^{2} + 6c_{2}^{2}{{d}_{2}} - 6c_{1}^{2}c_{2}^{2} + 6c_{2}^{4} - a_{2}^{2}(2c_{1}^{2} + 7c_{2}^{2} + 2{{d}_{2}})) + \\ \, + a_{2}^{2}(16c_{2}^{4} - 7c_{1}^{2}c_{2}^{2} + 12c_{2}^{2}{{d}_{2}} - 2c_{1}^{2}{{d}_{1}}) + a_{2}^{4}(c_{1}^{2} - 6c_{2}^{2}) - 6c_{2}^{2}(c_{2}^{2} + {{d}_{2}})(c_{2}^{2} - c_{1}^{2} + {{d}_{2}}) + c_{1}^{2}d_{2}^{2})), \\ \end{gathered} $
$\begin{gathered} {{p}_{7}} = - 2a_{2}^{3}{{с}_{2}}{{d}_{1}}({{d}_{2}}(a_{1}^{2} - c_{1}^{2})(a_{1}^{2} + c_{1}^{2} - c_{2}^{2}) + {{d}_{1}}(a_{1}^{2}(a_{2}^{2} - {{d}_{2}}) + c_{1}^{2}(2a_{1}^{2} + a_{2}^{2} - {{d}_{2}}) - \\ \, - 2c_{2}^{2}(a_{1}^{2} + a_{2}^{2} + c_{1}^{2} - c_{2}^{2} - {{d}_{2}}))), \\ {{p}_{8}} = - a_{2}^{4}d_{1}^{2}(a_{1}^{2} - c_{2}^{2})(c_{1}^{2} - c_{2}^{2}). \\ \end{gathered} $
По определению результанта каждому корню ${{t}_{2}}$ уравнения (2.5) соответствует один общий корень ${{t}_{1}}$ системы (2.4). Число действительных корней полученного алгебраического уравнения четно и не превышает 12. Подставляя значение действительного корня ${{t}_{2}}$ алгебраического уравнения (2.5) в уравнения системы (2.4), найдем совпадающий корень ${{t}_{1}}$ этих уравнений.

Можно показать, что каждому действительному корню уравнений (2.4) и (2.5) соответствуют 4 равновесных решения исходной системы (2.1). Так как общее число действительных корней уравнения (2.5) не превышает 12, то система двух связанных тел спутник–стабилизатор в плоскости орбиты может иметь не более 48 равновесных ориентаций в орбитальной системе координат. Используя уравнения (2.4)(2.8) для каждого набора системных параметров, мы можем определить все плоские равновесные ориентации системы спутник–стабилизатор в орбитальной системе координат.

3. ИССЛЕДОВАНИЕ ПОЛОЖЕНИЙ РАВНОВЕСИЯ

Уравнения (2.4)(2.8) позволяют определить все равновесные ориентации системы спутник–стабилизатор, движущейся по круговой орбите при заданных значениях параметров ${{a}_{1}},\;{{a}_{2}},\;{{c}_{1}},\;{{c}_{2}},\;{{d}_{1}},\;{{d}_{2}}$.

Проведем подробное исследование решений системы алгебраических уравнений (2.6)–(2.8). В случае ${{P}_{1}}({{t}_{2}}) = 0$ имеет место кратный корень $\operatorname{tg} {{\alpha }_{2}} = {{{{c}_{2}}} \mathord{\left/ {\vphantom {{{{c}_{2}}} {{{a}_{2}}}}} \right. \kern-0em} {{{a}_{2}}}}$. Величину $\operatorname{t} {\text{g}}{{\alpha }_{1}}$ находим из квадратного уравнения (2.4), при значениях параметров, обеспечивающих условие неотрицательности его дискриминанта. Из вида коэффициентов второго уравнения системы (2.4) следует, что дискриминант этого уравнения представляет собой сумму квадратов двух величин и не отрицателен при любых значениях параметров задачи.

Уравнение (2.7) ${{P}_{2}}({{t}_{2}}) = 0$ при условии существования двух действительных корней определяет два значения $\operatorname{tg} {{\alpha }_{2}}$. Величину $\operatorname{tg} {{\alpha }_{1}}$ находим из квадратного уравнения (2.4). Заметим, что равновесные решения в этом случае определяются только геометрическими и инерционными характеристиками второго тела.

Для исследования числа положений равновесия системы спутник–стабилизатор в случае ${{P}_{3}}({{t}_{2}}) = 0$ определим в пространстве 6 параметров области с одинаковым числом вещественных корней этого алгебраического уравнения 8 порядка. Для этого выделим в пространстве параметров области с одинаковым числом вещественных корней уравнения (2.7) путем построения дискриминантной гиперповерхности полинома ${{P}_{3}}({{t}_{2}})$. Эта гиперповерхность содержит компоненту коразмерности 1, которая является границей областей с одинаковым числом вещественных корней. Множество особых точек дискриминантной гиперповерхности в пространстве параметров задается следующей системой алгебраических уравнений:

(3.1)
${{P}_{3}}({{t}_{2}}) = 0,\quad P_{3}^{'}({{t}_{2}}) = 0.$
Символ “штрих” обозначает дифференцирование по переменной ${{t}_{2}}$.

Исключая переменную из системы (3.1) путем символьного вычисления определителя матрицы результанта 15-го порядка уравнений (3.1) с использованием матричных функций системы Wolfram Mathematica, получим выражение для гиперповерхности, которое имеет очень громоздкий вид и в данной статье не приводится.

Другим способом определить число действительных корней полинома можно путем вычисления i-х субдискриминантов [15], [16].

Рассмотрим несколько более простых случаев.

Случай 1: ${{a}_{1}} = {{a}_{2}} = {{c}_{1}} = {{c}_{2}} = a$. В этом случае, перейдя к новым параметрам в уравнении (2.4) ${{d}_{{01}}} = ({{B}_{1}} - {{A}_{1}})){\text{/}}M{{a}^{2}}$ и ${{d}_{{02}}} = ({{B}_{2}} - {{A}_{2}})){\text{/}}M{{a}^{2}}$, получим из уравнения (2.8) алгебраическое уравнение 4 степени

(3.2)
${{P}_{4}}({{t}_{2}}) = {{p}_{{00}}}t_{2}^{4} + {{p}_{{01}}}t_{2}^{3} + {{p}_{{02}}}t_{2}^{2} + {{p}_{{03}}}{{t}_{2}} + {{p}_{{04}}} = 0,$
где
$\begin{gathered} {{p}_{{00}}} = 4({{d}_{{01}}}{{d}_{{02}}} + {{d}_{{01}}} - {{d}_{{02}}})({{d}_{{01}}}{{d}_{{02}}} + {{d}_{{01}}} + {{d}_{{02}}}),\quad {{p}_{{01}}} = - 4({{d}_{{02}}} + 2)(d_{{01}}^{2}d_{{02}}^{2} - d_{{01}}^{2}{{d}_{{02}}} - 2d_{{01}}^{2} + 2d_{{02}}^{2}), \\ {{p}_{{02}}} = (d_{{01}}^{2}d_{{02}}^{4} + 4d_{{02}}^{4} - 16d_{{01}}^{2}d_{{02}}^{2} + 24(d_{{01}}^{2} - d_{{02}}^{2})),\quad {{p}_{{03}}} = 4({{d}_{{02}}} - 2)(d_{{01}}^{2}d_{{02}}^{2} + d_{{01}}^{2}{{d}_{{02}}} - 2d_{{01}}^{2} + 2d_{{02}}^{2}), \\ {{p}_{{04}}} = 4({{d}_{{01}}}{{d}_{{02}}} - {{d}_{{01}}} - {{d}_{{02}}})({{d}_{{01}}}{{d}_{{02}}} - {{d}_{{01}}} + {{d}_{{02}}}). \\ \end{gathered} $
Определим теперь условия существования действительных корней уравнения (3.2). Для этого вычислим дискриминант полинома ${{P}_{4}}({{t}_{2}})$, который задает на плоскости ${{d}_{{01}}},\;{{d}_{{02}}}$, уравнение дискриминантной кривой. Границы областей с равным числом действительных корней на плоскости параметров ${{d}_{{01}}},\;{{d}_{{02}}}$, определяются следующей системой алгебраических уравнений:
(3.3)
${{P}_{4}}({{t}_{2}}) = 0,\quad P_{4}^{'}({{t}_{2}}) = 0.$
Исключим переменную ${{t}_{2}}$ из системы (3.3) путем символьного вычисления определителя результанта этих уравнений и получим уравнение дискриминантной кривой в виде
(3.4)
${{P}_{5}}({{d}_{{01}}},{{d}_{{02}}}) = 1024d_{{02}}^{{12}}{{P}_{6}}({{d}_{{01}}},{{d}_{{02}}}){{P}_{7}}({{d}_{{01}}},{{d}_{{02}}}){{P}_{8}}({{d}_{{01}}},{{d}_{{02}}}) = 0.$
Здесь
$\begin{gathered} {{P}_{6}}({{d}_{{01}}},{{d}_{{02}}}) = (d_{{01}}^{2}{{({{d}_{{02}}} + 1)}^{2}} - d_{{02}}^{2}),\quad {{P}_{7}}({{d}_{{01}}},{{d}_{{02}}}) = ((d_{{01}}^{2}d_{{02}}^{2} + 4({{d}_{{01}}} - {{d}_{{02}}}{{)}^{2}})((d_{{01}}^{2}d_{{02}}^{2} + 4({{d}_{{01}}} + {{d}_{{02}}}{{)}^{2}}), \\ {{P}_{8}}({{d}_{{01}}},{{d}_{{02}}}) = (d_{{01}}^{4}{{(d_{{02}}^{2} + 8)}^{2}} + 16d_{{01}}^{2}d_{{02}}^{2}(d_{{02}}^{2} + 10) + 64(d_{{02}}^{4} - 108)). \\ \end{gathered} $
Проверим теперь, как изменяется число равновесных решений при пересечении одной из кривых (3.4). Это можно сделать численно, определив число действительных решений в одной точке из каждой области, ограниченной кривыми (3.4) на плоскости $({{d}_{{01}}},{{d}_{{02}}})$. Численный анализ показал, что только кривая ${{P}_{8}}({{d}_{{01}}},{{d}_{{02}}})$ разделяет области с различным числом действительных корней уравнения (3.2). При пересечении границ кривых заданными уравнениями ${{P}_{6}}({{d}_{{01}}},{{d}_{{02}}}) = 0$ и ${{P}_{7}}({{d}_{{01}}},{{d}_{{02}}}) = 0$ смены числа действительных корней уравнения (3.2) не происходит. На фиг. 2 показаны области с одинаковым числом действительных решений уравнения (3.2), равным 4 и 2, где существуют 16 и 8 равновесных ориентаций системы двух связанных тел соответственно. Границы этих областей задаются уравнением ${{P}_{8}}({{d}_{{01}}},{{d}_{{02}}}) = 0$. Кривые границ областей на фиг. 2 построены с использованием функции ContourPlot в системе Wolfram Mathematica.

Фиг. 2.

Области с равным числом положений равновесия в плоскости орбиты.

Таким образом, для случая 1 ${{a}_{1}} = {{a}_{2}} = {{b}_{1}} = {{b}_{2}} = a$ существуют только 16 и 8 равновесных ориентаций системы спутник-стабилизатор в орбитальной системе координат в плоскости орбиты.

Случай 2: ${{a}_{1}} \ne 0;$ ${{a}_{2}} \ne 0;$ ${{c}_{1}} \ne 0;$ ${{c}_{2}} = 0$. В этом случае уравнения (2.1) примут следующий вид:

(3.5)
$\begin{gathered} ({{d}_{1}} - a_{1}^{2} + c_{1}^{2})\sin {{\alpha }_{1}}\cos {{\alpha }_{1}} + {{a}_{1}}{{c}_{1}}{\kern 1pt} ({{\cos }^{2}}{{\alpha }_{1}} - {{\sin }^{2}}{{\alpha }_{1}}) + {{a}_{2}}{\kern 1pt} ({{a}_{1}}{\kern 1pt} \cos {{\alpha }_{1}} + {{c}_{1}}{\kern 1pt} \sin {{\alpha }_{1}})\sin {{\alpha }_{2}} = 0, \\ \cos {{\alpha }_{2}}{\kern 1pt} \text{[}({{d}_{2}} - a_{2}^{2})\sin {{\alpha }_{2}} + {{a}_{2}}{\kern 1pt} {\kern 1pt} ({{a}_{1}}{\kern 1pt} \sin {{\alpha }_{1}} - {{c}_{1}}{\kern 1pt} \cos {{\alpha }_{1}})] = 0. \\ \end{gathered} $
Из второго уравнения (3.5) следуют два случая:
(3.6)
${\kern 1pt} \cos {{\alpha }_{2}} = 0\quad ({{\sin }^{2}}{{\alpha }_{2}} = 1),$
(3.7)
${\kern 1pt} \sin {{\alpha }_{2}} = - \frac{{{{a}_{2}}}}{{({{d}_{2}} - a_{2}^{2})}}({{a}_{1}}{\kern 1pt} \sin {{\alpha }_{1}} - {{c}_{1}}{\kern 1pt} \cos {{\alpha }_{1}})\quad ({\text{при}}\quad {{d}_{2}} \ne a_{2}^{2}).$
В случае (3.6) первое уравнение перепишем в виде
${\kern 1pt} ({{d}_{1}} - a_{1}^{2} + c_{1}^{2})\sin {{\alpha }_{1}}\cos {{\alpha }_{1}} + {{a}_{1}}{{c}_{1}}{\kern 1pt} ({{\cos }^{2}}{{\alpha }_{1}} - {{\sin }^{2}}{{\alpha }_{1}}) = \mp {{a}_{2}}{\kern 1pt} ({{a}_{1}}\cos {{\alpha }_{1}} + {{c}_{1}}\sin {{\alpha }_{1}}),$
после чего, проведя универсальную замену (2.2) синуса и косинуса угла ${{\alpha }_{1}}{\kern 1pt} $ через тангенс, получим алгебраическое уравнение 4 порядка относительно ${{t}_{1}} = \operatorname{t} {\text{g}}{{\alpha }_{1}}$
(3.8)
$\begin{gathered} {{P}_{9}}({{t}_{1}}) = c_{1}^{2}(a_{1}^{2} - a_{2}^{2})t_{1}^{4} - 2{{a}_{1}}{{c}_{1}}(a_{2}^{2} - a_{1}^{2} + c_{1}^{2} + {{d}_{1}})t_{1}^{3} + ({{(c_{1}^{2} - a_{1}^{2} + {{d}_{1}})}^{2}} - a_{1}^{2}a_{2}^{2} - 2a_{1}^{2}c_{1}^{2} - a_{2}^{2}c_{1}^{2})t_{1}^{2} - \\ \, - 2{{a}_{1}}{{c}_{1}}(a_{1}^{2} + a_{2}^{2} - c_{1}^{2} - {{d}_{1}}){{t}_{1}} + a_{1}^{2}(c_{1}^{2} - a_{2}^{2}) = 0. \\ \end{gathered} $
Из вида уравнения (3.8) следует, что число его действительных корней не превышает 4, а следовательно, число различных положений равновесия системы двух связанных тел не превышает, как и в предыдущем случае 16.

Рассмотрим теперь случай (3.7). Подставляя значения $\sin {{\alpha }_{2}}$ из (3.7) в первое уравнение системы (3.5) получим однородное тригонометрическое уравнение, которое преобразуется в квадратное относительно $\operatorname{tg} {{\alpha }_{1}}$, с учетом того, что $\cos {{\alpha }_{2}} \ne 0$

(3.9)
${\kern 1pt} {{a}_{1}}{{c}_{1}}{{d}_{2}}{\kern 1pt} {{\operatorname{tg} }^{{\text{2}}}}{{\alpha }_{1}} + [a_{1}^{2}{{d}_{2}} + a_{2}^{2}{{d}_{1}} - ({{d}_{1}} + c_{1}^{2}){{d}_{2}}{\text{]}}\operatorname{tg} {{\alpha }_{1}} - {{a}_{1}}{{c}_{1}}{{d}_{2}} = 0.$
Из вида коэффициентов уравнения (3.9) следует, что дискриминант этого уравнения представляет собой сумму квадратов двух величин и не отрицателен при допустимых для случая (3.7) значениях параметров задачи $({{d}_{2}} \ne a_{2}^{2})$. Отсюда получается, что уравнение (3.9) имеет два действительных корня, а следовательно, для случая (3.7) существует 8 различных положений равновесия системы двух связанных тел.

Другие 3 случая, когда один из параметров ${{a}_{1}},\;{{a}_{2}}$ или ${{c}_{1}}$ равны нулю, рассматриваются аналогично случаю 2 и подробно будут исследованы в отдельной статье.

Случай 3. ${{a}_{1}} \ne 0;$ ${{a}_{2}} \ne 0;$ ${{c}_{1}} = 0;$ ${{c}_{2}} = 0$. Уравнения (2.1) в этом случае упрощаются и их можно переписать в виде:

(3.10)
$\begin{gathered} \cos {{\alpha }_{1}}[(({{A}_{1}} - {{C}_{1}}){\text{/}}M) - a_{1}^{2})\sin {{\alpha }_{1}} + {{a}_{1}}{\kern 1pt} {{a}_{2}}\sin {{\alpha }_{2}}] = 0, \\ \cos {{\alpha }_{2}}[(({{A}_{2}} - {{C}_{2}}){\text{/}}M) - a_{2}^{2})\sin {{\alpha }_{2}} + {{a}_{1}}{\kern 1pt} {{a}_{2}}\sin {{\alpha }_{1}}] = 0. \\ \end{gathered} $
Уравнения (3.10) определяют равновесные ориентации системы двух связанных тел в плоскости орбиты, когда сферический шарнир расположен на пересечении главных центральных осей инерции спутника и стабилизатора.

Если уравнения (3.10) переписать с учетом введения новых параметров m1 = $ = {{{{a}_{1}}{{a}_{2}}} \mathord{\left/ {\vphantom {{{{a}_{1}}{{a}_{2}}} {[({{A}_{1}} - {{C}_{1}}){\text{/}}M - a_{1}^{2}]}}} \right. \kern-0em} {[({{A}_{1}} - {{C}_{1}}){\text{/}}M - a_{1}^{2}]}}$ и ${{m}_{2}} = {{{{a}_{1}}{{a}_{2}}} \mathord{\left/ {\vphantom {{{{a}_{1}}{{a}_{2}}} {[({{A}_{2}} - {{C}_{2}}){\text{/}}M - a_{2}^{2}]}}} \right. \kern-0em} {[({{A}_{2}} - {{C}_{2}}){\text{/}}M - a_{2}^{2}]}}$, то в результате можно получить, что система (3.10) имеет следующие 4 типа решений:

(3.11)
$\begin{gathered} \sin {{\alpha }_{1}} = 0,\quad \sin {{\alpha }_{2}} = 0,\quad \cos {{\alpha }_{1}} = 0,\quad \cos {{\alpha }_{2}} = 0, \\ \cos {{\alpha }_{1}} = 0,\quad (\sin {{\alpha }_{1}} + {{m}_{2}}\sin {{\alpha }_{2}}) = 0,\quad \cos {{\alpha }_{2}} = 0,\quad ({{m}_{1}}\sin {{\alpha }_{1}} + \sin {{\alpha }_{2}}) = 0. \\ \end{gathered} $
Решения (3.11) при ${\text{|}}{{m}_{1}}{\text{|}} < 1,$ ${\text{|}}{{m}_{2}}{\text{|}} < 1,$ ${{m}_{1}}{{m}_{2}} \ne 1$ в зависимости от знаков параметров определяют в каждом случае 16 различных положений равновесия системы двух связанных тел. В работе [6] были определены все положения равновесия, которые задаются уравнениями (3.10). С использованием интеграла энергии в качестве функции Ляпунова получены достаточные условия устойчивости положений равновесия. Рассмотрена возможность обеспечения асимптотической устойчивости положений равновесия при наличии диссипации.

ЗАКЛЮЧЕНИЕ

В настоящей работе проведено исследование движения системы двух тел, соединенных сферическим шарниром, движущихся по круговой орбите под действием гравитационного момента.

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

Полученные результаты могут быть использованы на этапе предварительного проектирования гравитационных систем управления ориентацией искусственных спутников Земли.

Список литературы

  1. Сарычев В.А. Вопросы ориентации искусственных спутников. Итоги науки и техники. Сер. Исследование космического пространства. Т. 11. М.: ВИНИТИ, 1978.

  2. Гутник С.А., Сарычев В.А. Исследование стационарных движений системы двух связанных тел на круговой орбите с применением методов компьютерной алгебры // Ж. вычисл. матем. и матем. физ. 2020. Т. 60. № 1. С. 80–87.

  3. Гутник С.А., Сарычев В.А. Применение методов компьютерной алгебры для исследования динамики системы двух связанных тел на круговой орбите // Программирование. 2019. Т. 45. № 2. С. 32–40.

  4. Gutnik S.A., Sarychev V.A. Symbolic computations of the equilibrium orientations of a system of two connected bodies moving on a circular orbit around the Earth // Math. in Comput. Scie. 2021. V. 15. № 3. P. 407–417.

  5. Сарычев В.А. Положения равновесия системы двух соединенных сферическим шарниром осесимметричных тел на круговой орбите // Космические исследования. 1999. Т. 37. № 2. С. 176–181.

  6. Сарычев В.А. Положения относительного равновесия двух тел, соединенных сферическим шарниром, на круговой орбите// Космические исследования. 1967. Т. 5. № 3. С. 360–364.

  7. Сарычев В.А., Сазонов В.В. Оптимальные параметры пассивных систем ориентации спутников // Космические исследования. 1976. Т. 14. № 2. С. 198–208.

  8. Сарычев В.А., Мирер С.А. Оптимальные параметры гравитационной системы спутник–стабилизатор // Космические исследования. 1976. Т. 14. № 2. С. 209–219.

  9. Sarychev V.A., Mirer S.A., Sazonov V.V. Plane oscillations of a gravitational system satellite-stabilizer with maximal speed of response // Acta Astronautica. 1976. V. 3. № 9–10. P. 651–669.

  10. Gutnik S.A., Sarychev V.A. Symbolic investigation of the dynamics of a system of two connected bodies moving along a circular orbit // In: England M., Koepf W., Sadykov T.M., Seiler W.M., Vorozhtsov E.V. Eds. CASC 2019. LNCS. Springer, Cham, 2019. V. 11661. P. 164–178.

  11. Гутник С.А., Сарычев В.А. Символьные методы вычисления положений равновесия системы двух связанных тел на круговой орбите // Программирование. 2022. Т. 48. № 2. С. 16–22.

  12. Wolfram Mathematica website. http://www.wolfram.com/mathematica

  13. Курош А.Г. Курс высшей алгебры. М.: Наука, 1971. 432 с.

  14. Сушкевич А.К. Основы высшей алгебры. М.: ОНТИ, 1937. 476 с.

  15. Батхин A.Б. Параметризация дискриминантного множества многочлена // Программирование. 2016. № 2. С. 8–21.

  16. Батхин A.Б. Параметризация множества, определяемого обобщенным дискриминантом многочлена // Программирование. 2018. № 2. С. 5–17.

Дополнительные материалы отсутствуют.