Содержание
Введение...........................................................................................................3
1 Вводные понятия и постановка задачи................................................4
1.1 Задача трех тел...................................................................................4
1.1.1 О задаче n тел.................................................................................4
1.1.2 Уравнение движений в задаче трёх тел...................................5
1.2 Точки либрации задачи трёх тел......................................................8
1.3 Постановка задачи.............................................................................10
2 Вспомогательные сведения из теории гамильтоновых систем...11
2.1 Гамильтоновые системы..................................................................11
2.2 Линейные автономные гамильтоновые системы и их
спектральные свойства...........................................................................12
2.3 Линейные неавтономные гамильтоновые системы и их
спектральные свойства...........................................................................15
2.4 Задача о параметрическом резонансе..........................................17
2.4.1 Резонансы в задаче об устойчивости ЛПГС.........................17
2.4.2 Задача о параметрическом резонансе....................................18
2.4.3 Анализ случая Р 3.........................................................................20
3 Приближённое исследование прямолинейных точек либрации. .23
3.1 Построение точек либрации............................................................23
3.2 Переход к гамильтоновой форме...................................................25
3.3 Линеаризация задачи.......................................................................28
3.4 Исследование резонансных свойств матрицы Якоби...............29
3.5 Исследование главных резонансов...............................................31
Заключение...................................................................................................39
Список использованных источников и литературы...........................40
2
Введение
В этой работе говорится о знаменитой задаче небесной
механики – задаче трех тел. Как и в любой другой науке здесь
есть задача - задача N тел, которая полностью не может быть
решена по каким-либо обстоятельствам. Этим обусловлено
особое внимание ученых всего мира, хотя сам вопрос является
достаточно важным для того, чтобы познать еще больше
окружающий мир, точнее увидеть прошлое нашей планеты,
Солнечной системы, галактики и т.д., а также предугадать
будущее таковых.
В этой задаче описывается движение каких-
либо небесных тел, на которые оказывают свое влияние
различные
физические
силы,
притяжение тел друг к другу.
в
том
числе
взаимное
Размеры тел (материальных
точек), их плотность и другие их свойства влияют друг на друга
и на построение орбиты тела малой массы. Притягиваясь то к
одному, то к другому телу будет вырисовываться один из трех
вариантов траекторий, которые описываются системой формул,
которая
является
важным
объектом
в
данной
работе.
Разбирается сама эта система в разных формах записи, её
решения, свойства.
Сам же вопрос и состоит как раз-таки в том, какой именно
вариант траектории будет. Зная достаточно много данных об
этих материальных точках, можно ещё что-то прогнозировать,
но, а если данных недостаточно, то система остается не
разрешимой однозначно. Однако для некоторых конкретных
случаев задача рассмотрена и имеет полученные учеными
решения. Некоторые из них мы также рассмотрим. Эти
постоянные решения называются точками либрации либо
3
точками Лагранжа. Буду применять первое наименование, так
как оно более употребляемое.
1 Вводные понятия и постановка задачи
1.1 Задача трех тел
1.1.1 О задаче n тел
Среди
всевозможных
научных
сфер,
в
которых
применяется теория гамильтоновых систем и их методы,
находит себе место небесная механика. Вопросами небесной
механики занимались такие учёные, как И.Ньютон, Л.Эйлер,
Ж.Л.Лагранж
исследованию
динамических
и
др.
Подвергать
большое
моделей,
анализу,
разнообразие
которые
изучению,
многообразных
описывают
движение
материальных точек.
Классической
задачей
здесь
является
задача
n
тел,
которая занимает особое и важное место в науке. В чём же
состоит
такая
особенность?
В
вакуумном
пространстве,
подобному космосу, находятся n тел, взаимодействующих друг
с другом и влияющих друг на друга (на движение) по закону
Ньютона о всемирном тяготении. Могут быть даны начальные
условия, но где будут находится тела в последующие моменты
времени нужно определить.
Если говорить о том, при каких n задача точно разрешена,
то не трудно доказать, что для одного или двух тел. Если n=1
(имеется одно и только одно тело), то этот случай полностью
совпадает с первым законом Ньютона, который называется
законом инерции. Он гласит, что любая материальная точка, на
которую не действую силы извне, будет находиться в состоянии
4
покоя (сохранять состояние покоя) или двигаться равномерно и
прямолинейно.
Если
же
n=2,
то
этот
случай
соответствует
закону
всемирного тяготения, который говорит о том, что тела
двигаются в фиксированной плоскости, а их орбиты являются
эллипсами, параболами или гиперболами. Вид орбиты будет
зависеть от параметров, которые будут заданы.
А если n=3 и более, то возникают сложности. Они связаны
с математическими расчётами.
решена
полностью,
точно
Такая задача не может быть
и
аналитически,
а
лишь
приближенно.
Важную
роль
играет
как
раз-таки
задача
трёх
тел,
состоящая в рассмотрении движения тела М 3 малой массы m3
относительно двух других массивных тел М 1 и М 2 с массами m1 и m2
соответственно. Массы всех трёх тел выбраны произвольным
образом.
Однозначно можно сказать одно – тела с большей массой
воздействую (притягивают) на тело малой массы гораздо
сильнее, чем наоборот. Обратное воздействие не так заметно,
но оно есть. Если тело имеет настолько малую массу в
сравнении с другими, то оно практически не оказывает
никакого влияния на две материальные точки, словно его
масса равно нулю. В этом случае М 1 и М 2 называются основными
точками, а М 3 – пассивно-гравитирующее тело. Так как М 3 не
оказывает влияния на М 1 и М 2, то материальные точки М 1 и М 2
должны подчиняться закону задачи двух тел, а значит они
должны двигаться в фиксированной плоскости по одной из трёх
орбит, которые представляют собой эллипс, параболу или
гиперболу.
5
Далее
рассматривается
ограниченная
эллиптическая
предполагает,
что
М 1и М 2
так
задача
двигаются
называемая
трёх
по
тел,
плоская
которая
траектории
вида
эллипс, а М 3 находится в плоскости их движения во всё время.
Так же известно, что эксцентриситет лежит в пределах 0 ≤ε<1.
Задача трех тел в отличие от задачи двух тел не имеет
общего
решения,
которое
разрешает
прогнозировать
положение любого из трех тел для каждого последующего
момента времени t для любых значений скоростей и координат
тел в начальный момент времени t = 0. Ученые обнаружили,
что нельзя решить задачу в общем виде, то есть получить
решение в виде конечных аналитических формулировок.
1.1.2 Уравнение движений в задаче трёх тел
Общая задача трёх тел в небесной механике задаётся
системой
обыкновенных
дифференциальных
уравнений порядка два
{
q̈1=γ m 2
q̈2=γ m 1
q̈3=γ m 1
где mi —
q2 −q1
q3−q 1
|q2 −q1|
|q3−q 1|
+γ m3
3
q1 −q2
3
|q1 −q2|
q1 −q3
3
|q1 −q3|
+γ m3
+γ m2
3
q3−q 2
3
|q3−q 2|
q2−q 3
3
|q2−q 3|
массы, γ –
гравитационная
радиус-векторы, которые определяют
постоянная, qi —
положение тел, знак
точка обозначает производную по t.
Имеем тем самым 9 нелинейных уравнений за счёт того,
что все тела располагаются в пространстве и имеют три
координаты их положения в нём.
6
Необычный интерес рождается в связи с поведением трёх
тел в окрестности точек либрации – стационарных решений
задачи.
При
этом
0 ≤ ε<1 и 0≤μ ≤ 1,
где
μ
–
параметр
масс.
В
частности, вероятны всевозможные бифуркации. Одновременно
с этим в литературе чаще встречается заинтересованность в
описании всевозможных сценариев бифуркации в окрестности
треугольных точек либрации и куда реже в прямолинейных.
Пускай М 1 и М 2−гравитирующие тела такие, что вокруг тела
М 1 движется тело М 2по эллипсу. Тогда у третьего тела М 3
движение в координатах Нехвилла будет описано системой
дифференциальных уравнений:
{
ξ -2 η '= {1} over {1+ ecosv} {∂ Ω} over {∂ξ} , # η +2 ξ '=
1
∂Ω
,
1+ecosv ∂ η
(1)
где
Ω=
m2
ξ 2 +η2
1−μ μ
1
2
2
+W , W =
+ , μ=
,0<μ ≤ ,r 1= ( ξ ) +η2 , r 2 =¿ ( ξ −1 ) +η2.
2
r1 r 2
m1 +m2
2
√
Будем
считать
v=t
в
уравнениях
√
(1)
и
запишем
в
развернутом виде:
{
ξ -2 η =ρ left (ξ-μ+ {μ-1} over {{left ({ξ} ^ {2} + {η} ^ {2} right )} ^ {{3
(2)
1
m
1
где ρ ( t , ε )= 1+ εcost , μ= m +m .
0
1
7
Массы m1 и m2 двигаются вокруг общего центра масс по
круговым орбитам. m3 слишком мала относительно m1 и m2,
чтобы влиять наих закон движения. Значит есть точка
равновесия для М 3.
Точки М 1 , М 2 иМ 3 двигаются по некоторым траекториям
Р 1 , Р2 и Р 3соответственно.
Эти
тела
находятся
в
вершинах
равностороннего треугольника, размер которого произволен,
и будут в последующем двигаться таким образом, что будет
всё время образовываться треугольник (См. рис 1). Такая
точка равновесия называется треугольной.
Будучи в одной плоскости, все три точки неизменно
располагаются на одной прямой, которая вращается вокруг
их
центра
масс.
И
такие
решения
получили
прямолинейных точек. (См. рис 2).
Рис 1.
Рис 2.
8
название
1.2 Точки либрации задачи трёх тел
Обратимся вновь к системе (1). Если приравнять правую
часть к нулю, то будут найдены пять постоянных решений этой
системы, которые называются точками либрации или точками
Лагранжа – это точки системы двух массивных тел и тела
малой массы, на которое действуют только силы гравитации со
стороны других тел и никаких других сил. Эти точки делятся на
два типа: L1 , L2 , L3 – прямолинейные, L4 и L5 – треугольные точки
либрации (см. рис.3). В плоскости (ξ, η) точки либрации L1 , L2 , L3
находятся на прямой η = 0, найти их в явном виде пока что не
представляется
возможным,
что
вызывает
ещё
больший
интерес, можно лишь приближенно. Координаты двух других
точек L4 и L5можно найти в явном виде точно, и они будут
следующие: L4
Убедимся
( 12 , √23 ), L ( 12 ,− √23 ).
5
в
правильности
найденных
координат
подстановкой их в систему уравнений. Подставим L4
систему (1)
9
( 12 , √23 )
в
{
(
μ−1
ξ ' '−2 η'=ρ ξ−μ+
2
( ( ξ −1 )
(ξ + η )
μ−1
η '' +2 ξ '=ρ η+
(
3
2 2
2
μ
ξ−
3
2 2
+η
( ξ−1 )
3
2 2
)
μ
η−
(ξ + η )
2
( ( ξ−1 )
2
+η
3
2 2
η
)
)
)
и проверим равенства.
{(
0=ρ
0=ρ
{
(
1
−μ+
2
√3+
2
0=ρ
0=ρ
(
(
μ−1
1 3
2 +
4 4
(
3
2
+
μ
1 3
2 +
4 4
) (
μ−1 √ 3
μ
−
3
1 3 2 2
1 3
+
+
4 4
4 4
)
(
μ
+ )
( 12 −μ + μ−1
2
2
√ 3 + √ 3(μ−1) − √ 3 μ
2
2
2
)
,
)
3
2
)
√3
)
3
2
2
)
¿ ,
.
{0=0
0=0
Аналогично можно подставить координаты точки L5 и
убедиться в том, что она тоже является решением системы (1).
Спектральные
свойства всех пяти
точек важны и в
практическом, и в теоретическом планах. Особую важность
составляет вопрос об их устойчивости и того, как устойчивость
взаимосвязана с параметрами µ и ε. Треугольные точки
либрации могут быть и устойчивыми, и неустойчивыми. И
нужно отметить тот факт, что прямолинейные точки будут
неустойчивы при всех µ и малых ε. Вообще говоря, треугольным
точкам посвящено много научных работ, а вот прямолинейные
изучены
меньше.
Хоть
они
10
и
остаются
формально
неустойчивыми, наука говорит о том, что с помощью каких-то
технических хитростей можно добиться их устойчивости.
1.3 Постановка задачи
Перед тем как приступить непосредственно к изложению
и разбору задачи трех тел и задачи о параметрическом
резонансе, то есть к основному содержанию работы, абсолютно
необходимо
изучить
некоторые
вспомогательные
вопросы,
чтобы войти в курс дела и лучше понимать, о чем будет идти
речь. А точнее цели описываются далее.
Вопрос
нахождения
точек
либрации
очень
актуален,
поскольку космос и всё, что с ним связано, интересовали людей
раньше и продолжают интересовать сегодня. Точки либрации
притягивают особое внимание из-за современной возможности
отправки космических аппаратов в космос. Эти точки помогают
спланировать
траекторию
и
поставить
задачи
для
космического аппарата в плане того, как долететь до какоголибо космического тела типа комет и т.д. и облететь массивные
тела типа планет.
Данная работа посвящена больше вопросу построения
областей устойчивости прямолинейных точек либрации – это
три из пяти точек. Ставится задача трех тел, рассмотрение
задачи
с
точки
Рассматриваются
эллиптической
зрения
точки
задачи
теории
либрации
трех
тел,
гамильтоновых
плоской
вопрос
об
систем.
ограниченной
устойчивости
гамильтоновых систем, зависящих от параметра. При этом
особое
внимание
уделяется
рассмотрению
критических
случаев. Перед рассмотрением задачи о параметрическом
резонансе,
нужно
привести
вспомогательные
которые касаются данного вопроса.
11
сведения,
2 Вспомогательные сведения из теории
гамильтоновых систем
2.1 Гамильтоновые системы
Основным вопросом будет устойчивость прямолинейных
точек либрации как в круговой, так и в эллиптической задаче
трёх тел системы
{
ξ -2 η '= {1} over {1+ ecosv} {∂ Ω} over {∂ ξ} , # η +2 ξ '=
1
∂Ω
,
1+ecosv ∂ η
(1)
где
m2
ξ 2 +η2
1−μ μ
1
2
2
Ω=
+W , W =
+ , μ=
,0<μ ≤ ,r 1= ( ξ ) +η2 , r 2 =¿ ( ξ −1 ) +η2
2
r1 r 2
m1 +m2
2
√
√
в её линейной постановке. Иначе говоря, нужно перейти
от нелинейной системы (1) к линеаризованной в окрестности
точки системе. Далее будет реализован переход к системе
Гамильтона.
Система Гамильтона – это частный случай динамической
системы, в которой силы не зависят от скорости.
Динамическая система – это система, для которой задана
функциональная зависимость между положением в фазовом
пространстве и временем каждого элемента этой системы.
12
Пусть
H(u,v,t)
–
скалярная
вещественная
функция
N
N
u¿ ( u 1 ,… , u N ) ∈ R ,v=( v 1 ,… , v N ) ∈ R и t∈ R .Будем
переменных
предполагать,
что
H(u,v,t)
дважды
непрерывно
дифференцируема по u и v и непрерывна по t. Гамильтоновыми
системами называют системы дифференциальных уравнений
вида
u' j =
∂ H ' −∂ H
,v =
( j=1 , … , N ).
∂v j j ∂u j
(2)
Чтобы
определить
линейную
гамильтоновую
систему
(ЛГС) нужно положить
H'
x= u , H ' ( x ,t )= u' ;
v
Hv
( )
()
(3)
H 'u1
H 'v 1
u1
v1
'
'
здесь u= ⋮ , v= ⋮ , H u= ⋮ , H v = ⋮ .
uN
vN
H 'u N
H 'v N
() () ( ) ( )
Тогда систему (2) можно записать в равносильном виде:
dx
'
2N
= J H ( x ,t ) , x ∈ R ,
dt
(4)
где
(5)
здесь I – единичная (N× N ) матрица.
13
J= 0 I
−I 0
(
)
detJ =det J −1=1, J −1= J ¿ =− J , ( Jx , x ) =0для ∀ x ∈ R2 N .
(6)
Гамильтонова система (4) будет линейной, если H’(x,t)
является линейной по х, то есть
H’(x,t)=A(t)x,
(7)
где A(t) – некоторая квадратная матрица.
Можно (7) представить в виде
dx
= JA ( t ) x , x ∈ R2 N ,
dt
(8)
где A(T) – вещественная непрерывная по t.
2.2 Линейные автономные гамильтоновые системы и их
спектральные свойства
Вещественную матрицу B порядка 2N× 2 N будем называть
гамильтоновой,
некоторой
если
она
представима
симметрической
матрице
в
A.
виде
B=JA
при
Симметрическую
матрицу A порядка 2N× 2 N можно представить в виде
A
A= 1
A2
(
( A2 )
A3
T
)
,
в которой A j −матрицапорядка N × N , при этом матрицы A1 и A3
являются симметрическими. Вещественную матрицу B порядка
2N× 2 N будем называть гамильтоновой матрицей, если она в
некотором базисе пространства R2 N представима в виде:
14
~
B= JA ,
(9)
где A – симметрическая (2N× 2 N ¿ матрица, а J – матрица
(5).
Теперь поговорим о спектральных свойствах постоянной
гамильтоновой матрицы. Собственные значения матрицы JA
являются решениями характеристического уравнения
p ( λ ) ≡ det ( JA− λI )=0.
(10)
Теорема 1. Многочлен
p ( λ ) является четной функцией,
т.е. p ( −λ )=p ( λ ). Для участвующих в операторе JA матриц J и A
имеют место равенства:
¿
( JA ) = A¿ J =− AJ .
(11)
Здесь
учитывается
симметричность
матрицы
А.
Из
теоремы 1 следует, что характеристический многочлен (10)
содержит только четные степени, т.е. имеет вид:
(12)
p ( λ )= λ2N + a1 λ2 N−2 +a 2 λ2 N−4 +…+a N −1 λ2 +a n .
Теорема 2. Пусть матрица JA имеет собственное
значение λ. Тогда – λ , λ́ ,− λ́ также являются собственными
значениями этой матрицы, причем той же алгебраической и
геометрической
кратности
и
того
же
индекса.
Если
оператор JA имеет нулевое собственное значение λ=0,то
алгебраическая
кратность
этого
является четным числом.
15
собственного
значения
Собственные
значения
возникают
комплексными
четверками ± α ± βi, вещественными парами ± α, чисто мнимыми
парами ± ωiили в виде нулевого собственного значения четной
алгебраической кратности (рис. 1).
рис.1
Рассмотрим
устойчивость
автономной
линейной
гамильтоновой системы:
dx
= JAx , x ∈ R2 N
dt
(13)
Система имеет особенности, которые влияют на свойства
ее устойчивости. Линейная гамильтонова система не может
быть асимптотически устойчивой.
G 1. Если матрица JA имеет собственное значение λ=α+iβ с
отрицательной вещественной частью, то она имеет собственное
значение −λ=−α−iβ с положительной вещественной частью.
Поэтому у матрицы JA не могут все собственные значения
иметь отрицательные вещественные части и, следовательно, у
системы (13) не может выполняться признак асимптотической
устойчивости.
16
Теорема 2. Пусть матрица JA имеет собственное
значение с ненулевой вещественной частью. Тогда система
(13) неустойчива.
Теорема 3. Пусть все собственные значения матрицы
JA имеют нулевую вещественную часть. Тогда если все эти
собственные значения являются полупростыми, то система
(13)
является
устойчивой
асимптотически).
собственных
Если
значений
по
же
Ляпунову
хотя
является
бы
одно
(но
из
неполупростым,
не
этих
то
система (13) неустойчива.
2.3 Линейные неавтономные гамильтоновые системы и
их спектральные свойства
Рассмотрим
линейную
неавтономную
гамильтонову
систему вида (8):
dx
= JA ( t ) x , x ∈ R2 N ,
dt
(14)
в
котором
A(t)
–
вещественная
непрерывная
симметрическая (2N× 2 N ¿ матрица, а J – матрица (5). Будем
предполагать, что A(t) является Т-периодической матрицей:
A ( t +T ) ≡ A ( t ).
Систему
(14)
будем
называть
линейной
периодической гамильтоновой системой (ЛПГС).
Пусть X(t) – фундаментальная матрица решений системы
(14),
а
V=X(T)
устойчивости
собственных
–
ее
системы
значений
матрица
(14)
монодромии.
определяется
матрицы
монодромии
Характер
свойствами
V,
т.е.
мультипликаторами системы (14). В свою очередь, собственные
17
значения
матрицы
V
являются
решениями
характеристического уравнений
p ( μ ) ≡det ( V −μI )=0.
(15)
Степень многочлена p ( μ ) является четным числом.
Многочлен
P ( z )=a0 z n +a1 z n−1 +…+a n−1 z +an ,
(16)
где a0 ≠ 0, называется возвратным, если ak=an−k ( k=0, 1,… , n ) .
Пусть многочлен (17) является возвратным. В этом случае
уравнение
a0 z n +a1 z n−1 +…+an−1 z+ an =0
(17)
также
будем
называть
возвратным.
Имеют
место
следующие свойства возвратного уравнения (17).
Возвратное уравнение (17) не имеет нулевой корень
Пусть возвратное уравнение (17) имеет корень z 0.
z=0.
1
Тогда число z = z также является корнем этого уравнения той
0
же кратности.
Пусть возвратное уравнение (17) четной степени
имеет корень z=1 или z=-1. Тогда этот корень имеет четную
кратность.
18
Рассмотрим теперь вопрос об устойчивости линейной
периодической гамильтоновой системы (14).
Система (14) имеет свои особенности, которые влияют на
свойства
ее
устойчивости.
Укажем
некоторые
из
этих
особенностей.
Как и в автономном случае, линейная периодическая
гамильтонова система (14) не может быть асимптотически
устойчивой,
т.е.
линейная
периодическая
гамильтонова
система (14) не может быть асимптотически устойчивой.
Справедливость
этого
утверждения
вытекает
из
приводимых ниже свойства G1 и признаков устойчивости
системы (14).
G1. Если система (14) имеет мультипликатор μ0 такой, что
|μ0 ∨¿ 1, она имеет мультипликатор 1/μ0 , модуль которого больше
единицы.
Поэтому
у
системы
(14)
не
могут
все
мультипликаторы μ удовлетворять неравенству |μ∨¿ 1.
Признаки
мультипликатор
устойчивости.
μ0
такой,
Пусть
что
μ0 ≠ 1.
система
(14)
имеет
Тогда
система
(14)
неустойчива.
Таким образом, система (14) может быть устойчивой
только тогда, когда все ее мультипликаторы удовлетворяют
равенству |μ∨¿ 1, т.е. являются числами вида μ=e iφ.
Теорема 4. Пусть все мультипликаторы системы (14)
удовлетворяют
равенству
|μ∨¿ 1.
Тогда
если
все
эти
мультипликаторы являются полупростыми, то система (14)
является устойчивой по Ляпунову. Если же хотя бы один из
этих
мультипликаторов
является
система (14) неустойчива.
19
неполупростым,
то
2.4 Задача о параметрическом резонансе
2.4.1 Резонансы в задаче об устойчивости ЛПГС
Для невозмущенной автономной системы (14) матрица
монодромии V в T-периодической задаче имеет вид
При этом мультипликаторы µ системы (14)
собственными значениями
λ
V=eTJ A .
0
связаны с
матрицы J A0 равенствомμ=e Tλ.
В силу указанных выше свойств линейных гамильтоновых
систем и в соответствии с теорией возмущений линейных
операторов
(см.,
например,
[1]),
верно,
следующее:
если
матрица J A0 имеет хотя бы одно собственное значение с
ненулевой вещественной частью, то возмущенная ЛПГС
dx
2N
= JA ( t , ε ) x , x ∈ R ,
dt
(18)
в которой A ( t , ε ) – вещественная симметрическая матрица и
Т-периодическая по t матрица (т.е. А(t+T, ε)≡ А ( t , ε ) ¿, а матрица J
определена равенством (5), будет неустойчивой при всех малых
| ε |.
Пусть
все
собственные
значения
матрицы
J A0
являются чисто мнимыми, а именно, ими являются числа:
± i ω1 ,i ω 2 ,… , i ω N ,
(19)
где ω j ≥ 0. Если некоторое собственное
значение
i ωm
имеет алгебраическую кратность k, то в списке (19) число i ωm
встречается ровно k раз. В этом случае при
ε
=0 все
мультипликаторы ЛПГС (18) по модулю равны единице. Как
20
было отмечено выше, особый интерес представляют ситуации,
когда некоторые из этих
мультипликаторов
являются
кратными.
Кратные мультипликаторы системы (14) возникают
(см., например, [2]) при выполнении одного из условий:
S1) среди чисел (19) имеется хотя бы одно i ωm такое, что:
0
i ωm =
0
π k0
принекоторомцелом неотрицательномk0 ;
T
(20)
S2) среди чисел (19) имеется хотя бы одна пара i ωm
i ω l ( m0 ≠l0 )
0
0
и
такая, что:
i ωm -i ω l
0
0
=
2 π k0
T
при
некотором
целом
k0.
(21)
Замечание
1.
Равенство
(20)
означает,
что
соответствующий мультипликатор системы (14) равен 1
(если
k0
-
четно)
или
-1
(если
k0−¿ нечетно)
четной
кратности. Отсюда следует, что при выполнении равенства
(20) невозмущенная система (14) не обладает свойством
сильной устойчивости.
Замечание
2.
Равенство
(21)
означает,
что
соответствующий мультипликатор системы (15) является
кратным, при этом он равен
μ0 =e T ω i =eT ω i .
m0
(22)
21
l0
Если
при
этом
ωm
числа
и
0
ω l не
удовлетворяют
0
πk
соотношению вида (20) (т.е. ω m , ω l ≠
при любых целых k), то
0
0
T
для мультипликатора (22) выполнено: μ0 ≠ ± 1.
Условие S2 охватывает и случай, когда матрица J A0 имеет
кратное чисто мнимое собственное значение. А именно, этот
случай имеет место, если равенство (21) выполнено при k0=0:
тогда ω m0 i =ω l0 i.
2.4.2 Задача о параметрическом резонансе
Задачу
исследования
устойчивости
системы
(18)
в
условиях типа S1 или S2, часто называют (см., например,[1])
задачей
о
параметрическом
резонансе,
а
сами
эти
соотношения называют параметрическими резонансами. При
этом соотношение типа (20) называют простым резонансом, а
соотношение типа (21) - комбинационным резонансом.
Задаче
исследования
устойчивости
линейных
гамильтоновых систем с периодическим возмущением и, в
частности, задаче о параметрическом резонансе посвящено
множество работ. Большинство исследований основаны на
методах нормализации линейных гамильтоновых систем и на
преобразовании гамильтониана системы (1) путём замены
переменных.
Другие подходы исследования задачи о параметрическом
резонансе
линейных
различных
основаны
на классической
операторов.
теории
Исследования
направлениях.
Основную
возмущений
продолжаются
сложность
в
здесь
представляет задача построения формул первого приближения
для
мультипликаторов
возмущённой
периодической гамильтоновой системы.
22
неавтономной
Задача
о
параметрическом
резонансе
для
ЛПГС
(1)
изучается в следующих основных случаях, соответствующих
условиям S1 и S2:
Р 1. Матрица
J A0 имеет кратное собственное значение
λ=i ω0 , где ω0 ≥ 0и ω0 ≠
πk
при натуральных k.
T
Р 2. Матрица J A0 имеет два простых собственных значения
λ1 =i ω1 и λ2 =i ω2 , где ω1 , ω 2 >0и ω1 , ω 2 ≠
этом ω 1−ω2=
πk
при натуральных k, при
T
2 π k0
при некотором k0.
T
Р 3. Матрица
λ=i ω0 , где ω0=
J A0 имеет
простое собственное значение
π k0
при натуральных k0.
T
Будем предполагать, что остальные (отличные от ± i ω0 в
случаях Р 1 и Р 3 и от ± i ω1 и ± i ω2 в случаях Р 2.
Случаи Р 1 и Р 3 соответствую условию (21), а случай Р 3 –
условию (20); впрочем, если в случае Р 1 имеем ω0 =0, то он
соответствует обоим условиям (20) и (21).
Нам удобно систему (1) представить в виде:
dx
= J [ A0+ ε S1 ( t ) +S2 ( t , ε ) ] x , x ∈ R2 N ,
dt
(23)
в котором J - это матрица (5),
симметрическая
матрица,
A 0 ≡ A ( t ,0 )-
–
S1 ( t ) и S2 ( t , ε )
постоянная
вещественные,
симметрические и Т-периодические по t матрицы, при этом
матрица
S2 ( t , ε )
является
гладкой
по
ε
и
удовлетворяет
2
соотношению: ||S2 ( t , ε )||O ( ε ) при ε→0 равномерно по t.
23
2.4.3 Анализ случая Р 3
Рассмотрим более детально случай Р 3 .
Здесь
матрица
монодромии
V 0=e J A T
0
«невозмущённой»
системы
dx
= J A0 x , x ∈ R2 N
dt
(24)
имеет полупростое собственное значение μ0 кратности 2,
где τ=1 (если k0 чётно) или τ=−1 (если k0 нечётно).
Матрица монодромии V (ε) «возмущённой» системы (23)
при малых | ε | имеет пару собственных значений μ1 ( ε ) и μ 2 ( ε )таких,
что
μ1 ( 0 ) =μ2 ( 0 ) =τ .
Функции
непрерывно
μ1 ( ε ) и μ 2 ( ε )
дифференцируемы и представимы в виде
3
3
( )
( )
μ1 ( ε )=τ +μ(11) ( ε ) +O ε 2 , μ 2 ( ε )=τ +μ(12 ) ( ε ) + O ε 2
Приведём
утверждения
(25)
относительно
вычисления
коэффициентов μ1( j ) в формулах (25). С этой целью отметим, что в
рассматриваемом случаи имеется ненулевой вектор e+ ig ∈C 2 N ,
где e , g ∈ R2 N такой, что:
J A 0 ( e +ig )=i ω0 ( e +ig ).
(26)
При этом векторы e , g ∈ R2 N будут собственными и для
матрицы
монодромии
V 0=e J A T ,
0
отвечающими
собственному значению τ кратности 2.
24
полупростому
Лемма 1. Имеет место соотношение: ( e , Jg ) ≠ 0.
Положим
ν=
1
.
( e , Jg )
(27)
Число
( e , Jg ),
а
следовательно,
и
число
ν,
является
вещественным. Определим матрицу:
B=ντ
[
a b1
,
b2 −a
]
(28)
в котором числа a , b1 иb 2 определяются равенствами:
T
1
a=∫ {cos ( 2 ω 0 t ) ( S1 ( t ) e , J g )− sin ( 2 ω 0 t ) [ ( S1 ( t ) g , J g ) −( S1 ( t ) e , J e ) ]}dt ,(29)
2
0
T
b1 =∫ ¿ ¿
0
b2 =b1 −[ ( S 0 e , Je ) + ( S0 g , Jg ) ] ;
(31)
T
здесь S0 =∫ S1 ( t ) dt , S1 – матрица из (23).
0
Теорема 5. Коэффициенты μ1(1 ) и μ(12) в формулах (25) – это
собственные значения матрицы (28).
Положим
Δ=a 2 +b1 b2 .
(32)
25
Собственные значения λ1 и λ2 матрицы (28) – это числа
λ1,2 =±ντ √ Δ , которые могут быть как вещественными, так и чисто
мнимыми. Следовательно, коэффициенты μ1(1 ) и μ(12) в формулах (25)
– это числа
μ1(1 )=ντ √ Δ ,μ (12 )=−μ(11 ) .
(33)
Приведём некоторые следствия теоремы 5.
Следствие 1. В случае Р 3 мультипликатор μ0 системы
(24) равен τ=1 или τ=−1 и является полупростым кратности
2. Система (24) не является сильно устойчивой. Для малых |ε|
мультипликатор
μ0 расщепляется
в
соответствии
с
формулами (25) и (33).
Следствие 2. Пусть Δ<0.Тогда для данного возмущения
S1 ( t ) системы (23) при малых |ε| мультипликатор
(24) остаётся на единичной окружности:
τ системы
|μ1 ( ε )|=|μ2 ( ε )|=1. В
этом случае система (23) остаётся устойчивой.
Следствие 3. Пусть Δ>0.Тогда для данного возмущения
S1 ( t ) системы (23) при малых ненулевых |ε| мультипликатор
системы
(24)
покидает
единичную
τ
окружность:
|μ1 ( ε )|<1 и|μ2 ( ε )|>1. В этом случае система (23) не устойчива при
малых ненулевых |ε|.
26
3 Приближённое исследование прямолинейных
точек либрации
3.1 Построение точек либрации
Обратимся к системе (1) или (2).
{
ξ -2 η '= {1} over {1+ ecosv} {∂ Ω} over {∂ξ} , # η +2 ξ '=
1
∂Ω
,
1+ecosv ∂ η
(1)
где
Ω=
m2
ξ 2 +η2
1−μ μ
1
2
2
+W , W =
+ , μ=
,0<μ ≤ ,r 1= ( ξ ) +η2 , r 2 =¿ ( ξ −1 ) +η2.
2
r1 r 2
m1 +m2
2
√
Будем
считать
v=t
в
уравнениях
√
(1)
и
запишем
в
развернутом виде:
{
ξ -2 η =ρ left (ξ-μ+ {μ-1} over {{left ({ξ} ^ {2} + {η} ^ {2} right )} ^ {{3}
(2)
В плоскости (ξ,η) точки либрации L1 , L2 и L3 находятся на
прямой
η
=
представляется
0,
найти
их
возможным,
в
явном
что
и
виде
пока
вызывает
что
интерес
не
и
важность данного вопроса. Координаты можно представить в
виде
L1 ( ξ 1 ( μ ) ,0, 0, ξ 1 ( μ ) ) ,
L2 ( ξ 2 ( μ ) ,0, 0, ξ 2 ( μ ) ) ,
27
L3 ( ξ 3 ( μ ) ,0, 0, ξ 3 ( μ ) ) .
Приравняем правую часть уравнений (1) к нулю и решим
полученную систему. Пусть η = 0, тогда из первого уравнения
получим
ξ−μ+
μ−1
3
|ξ|
ξ−
μ
3
|ξ−1|
( ξ−1 )=0.
(3)
Знак при ξ и его значение влияет на раскрытие модулей,
т.е. (3) распадётся на три случая (уравнения), которые будут
соответствовать одной из прямолинейных точек либрации:
L1 ( ξ <0 ) , L2 ( 0< ξ <1 ) , L 3 ( ξ >1 ) .
Убрав знак модуля и сократив нужные элементы, получим:
ξ−μ+
μ−1
μ
−
=0
2
2
ξ
( ξ −1 )
Приведём к общему основанию и приравняем числитель к
0:
ξ 3 ( ξ 2−2 ξ +1 )−μ ξ 2 ( ξ 2−2 ξ +1 ) + ( μ−1 ) ( ξ 2−2 ξ +1 ) −μ ξ 2 =0
ξ 5−2 ξ 4 + ξ 3−μ ξ 4 +2 μ ξ 3−μ ξ 2 +μ ξ 2 −2 ξμ+μ−ξ 2 +2 ξ −1−μ ξ 2=0
ξ 5−ξ 4 ( 2+μ )+ ξ 3 ( 1+2 μ ) −ξ 2 ( μ−μ+ 1+μ ) −ξ ( 2 μ−2 ) +μ−1=0
ξ 5−ξ 4 ( 2+μ )+ ξ 3 ( 1+2 μ ) −ξ 2 ( 1+ μ )−2 ξ ( μ−1 )+ μ−1=0
При различном расположении точек либрации получим
уравнения для нахождения координат:
L1 ( ξ <0 ) :ξ 5−ξ 4 ( 2+μ )+ ξ 3 ( 1+2 μ ) −ξ 2 ( μ−1 ) +2 ξ ( μ−1 )−μ+1=0 ;
28
L2 ( 0< ξ <1 ) : ξ 5−ξ 4 ( 2+μ )+ ξ 3 ( 1+2 μ ) + ξ 2 ( μ−1 )−2 ξ ( μ−1 )+ μ−1=0
L3 ( ξ >1 ) :ξ 5−ξ 4 ( 2+μ )+ ξ 3 ( 1+2 μ ) −ξ 2 ( μ +1 )−2 ξ ( μ−1 )+μ−1=0
Будем рассматривать точки L1 , L2 и L3 при различных μ. Из
каждого
полученного
уравнения
сразу
просчитаем
приблизительное (или точное по возможности) значение ξ .
Результаты приведены ниже.
Для L1 ( ξ <0 ) :
μ
ξ
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
−0.9416−0.8828−0.8232−0.762 −0.6984−0.6308−0.5567−0.4710−0.359
Табл.1
Для L2 ( 0< ξ <1 ) :
μ
ξ
0.1
0.2
0.3
0.4 0.5
0.70903 0.63808 0.5861 0.5416
0.5
0.6
0.7
0.8
0.9
0.4584 0.4139 0.3619 0.29096
Табл. 2
Для L3 ( ξ >1 ) :
μ
ξ
0.1
0.2
0.3
0.4
0.5
0.6
0.7
0.8
0.9
1.3597 1.47105 1.5567 1.6308 1.6984 1.76205 1.8232 1.8828 1.9416
Табл. 3
Динамические свойства точек либрации значительны в
практическом и теоретическом планах. Тут в отдельности
значимы и интересны вопросы об устойчивости по Ляпунову
точек
либрации
и,
в
частности,
зависимости
свойств
устойчивости от параметров ε и μ, вопросы существования в
окрестностях точек либрации периодических и ограниченных
решений, условия качественных перестроек (бифуркациях)
поведения решений системы (1). Зафиксируем то, что точки
либрации L1 , L2 и L3 неустойчивы
при небольших ε и всех μ.
Наряду с этим точки либрации L4 и L5могут быть устойчивыми и
неустойчивыми
и,
значит,
в
разнообразные бифуркации.
29
их
окрестностях
допустимы
Для
определенности
Дальнейшие
рассуждения
будем
рассматривать
точку
будут
верны
остальных
и
для
L1.
прямолинейных точек.
3.2 Переход к гамильтоновой форме
Обратимся вновь к системе
1
∂Ω
,
1+ecosv ∂ η
{
ξ -2 η '= {1} over {1+ ecosv} {∂ Ω} over {∂ ξ} , # η +2 ξ '=
(1)
где
Ω=
m2
ξ 2 +η2
1−μ μ
1
2
2
2
2
+W , W =
+ , μ=
,0<μ ≤ ,r 1= ( ξ ) +η , r 2 =¿ ( ξ −1 ) +η .
2
r1 r 2
m1 +m2
2
√
√
В системе (1) произведем замену x1 =ξ , x 2=η , x 3=ξ '−η , x4 =η'+ ξ .
Следовательно,
ξ ¿ x 1 , η¿ x 2 , ξ '=x 3 +η=x 3 + x2 , η'=x 4−ξ=x 4−x 1.
Поэтому
ξ '' находим
∂Ω
∂Ω
=ρ
++2 η'−η'=η' + ρ
=x 4
из (1 )
∂ξ
∂ξ
|
x'1 =ξ '=x 3 + x2 , x '2=η'=x 4−x 1 , x '3=ξ ''−η '=
|
и
'
''
'
x 4=η + ξ =ρ
∂Ω
∂Ω
∂Ω
'
'
'
−2 ξ +ξ =ρ
−ξ =−x 3−x 2 + ρ
∂η
∂η
∂η
Тогда система (1) запишется в виде:
x'1 =x2 + x 3
x'2 =−x1 + x 4
∂Ω
x 3=−x 1 + x4 + ρ
∂ x1
∂Ω
x '4 =−x2 −x 3 + ρ
,
∂ x2
{
(2)
30
x 21+ x 22
Ω ( x 1 , x 2)=
+W ,
2
где
(3)
W=
1−μ μ
+ ,
r1 r 1
(4)
2
2
r 1 = ( x1 ) + x 22 , r 2= ( x 1−1 ) + x22 .
√
√
(5)
Гамильтоновой системой четвертого порядка называется
система вида
∂H
∂ x3
∂H
x '2=
∂ x4
−∂ H
x '3=
∂ x1
−∂ H
x '4 =
∂ x2
{
x '1=
(6)
где H ( x1 , x2 , x 3 , x 4 , t ) – функция Гамильтона.
Для системы (2) в качестве функции H ( x1 , x2 , x 3 , x 4 , t ) возьмем
функцию
H=
1 2 2 2
ecosv
1
p ξ +p η +p ζ )+ pξ η−p η ξ +
( ξ 2 +η2 + ζ 2 ) −
W,
(
2
1+ecosv
2 ( 1+ ecosv )
гдеp ξ =ξ '−η , pη =η' +ξ ,p ζ =ζ ', т.е.
x 21 +x 22 + x23 + x 24
H ( x1 , x2 , x 3 , x 4 , t ) =
+ x 2 x 3−x 1 x 4−ρ Ω ( x 1 , x 2 ).
2
(7)
31
Лемма 2. Функция (7) является функцией Гамильтона
системы (2).
Доказательство: Используем (9), чтобы получить из (10)
систему (5). По отдельности распишем каждую из четырех
строчек системы, находя их частные производные.
'
x2 + x 2 + x2 + x 2
∂H
x =
=H 'x = 1 2 3 4 + x 2 x 3−x 1 x 4−ρ Ω ( x 1 , x 2 ) =x3 + x 2 +0+0=x 3 +x 2
∂ x3
2
x
'
1
(
(
3
x 21 + x22 + x 23+ x 24
∂H
'
x =
=H x =
+ x2 x3 −x 1 x 4 −ρ Ω ( x 1 , x 2
∂ x4
2
'
2
4
2
2
2
)
))
3
'
x4
¿ x 4 +0−x 1 +0=x 4−x 1
'
2
x +x +x +x
−∂ H
∂Ω
x =
=−H 'x =− 1 2 3 4 + x 2 x 3−x 1 x 4−ρ Ω ( x 1 , x 2 ) =− x 1−x 4 +0−ρ
=¿
∂ x1
2
∂ x1
x
'
3
1
(
(
2
)
1
x 21+ x 22 + x23 + x 24
−∂ H
'
x =
=−H x =−
+ x 2 x 3−x 1 x 4−ρ Ω ( x 1 , x 2
∂ x2
2
'
4
) (
))
(
'
x2
=− x2 + x 3+ 0−ρ
∂Ω
=−
∂ x2
)
Тем самым получили (2), что и требовалось доказать.
3.3 Линеаризация задачи
Линеаризованное в точке L1 ( ξ 1 ( μ ) ,0, 0, ξ 1 ( μ ) ) уравнение для
системы (2) имеет вид:
dh
= F ' ( L1 ) h , гдеh ∈ R4 , F '−матрица Якоби.
dt
0
1 1
−1
0 0
F ' ( L1 )=
ρ a1 a2 0
a3 ρa4 −1
(
(8)
'
a 1=−1+ ( Ω'x )x ,где x 1=ξ 1 ( μ ) , x 2=0, x4 =ξ 1 ( μ )
1
1
x 21 +x 22
( 1−μ )
Ω=
+
+
2
( x 1 )2 + x 22
√
μ
2
√( x −1) + x
1
2
2
32
0
1
1
0
)
Ω'x =x 1−
1
2
1
2 3
2
√ ( ( x ) +x )
2
1
Ω'x =x 2−
1
2
−
√( ( x −1) +x )
2
√( ( x ) + x )
2
1
'
( Ω'x )x =1−
√
μ∙
−
2 3
2
2
2
1
( 1−μ ) ∙ ∙2 x2
2
1
1
2
( 1−μ ) ∙ ∙2 ( x 1 ) μ∙ ∙2 ( x1 −1 )
1
∙2 x 2
2
2 3
2
√ (( x −1) + x )
2
1
3
2
( ( x1 )2 + x22 )
3
a1=−1+1−
3
( 1−μ ) ( ξ 1 ) −3 ( 1−μ ) ( ξ 1 )
6
(ξ 1)
( 1−μ ) ( x 1 )
2
2
2
( 1−μ ) x2
2 3
2
√( ( x ) + x )
2
1
3
2
2 3
2
2
μ x2
−
2 3
2
√( ( x −1 ) + x )
2
1
√ ( ( x ) + x ) ∙ 2( x )
2
2
1
2
1
−μ
1
3
3
−
μ ( x1 −1 )
−
3
√ ( ( x ) +x ) √( ( x −1) + x )
1
=x 2−
( 1−μ ) ( ( x1 ) + x22 ) − ( 1−μ ) ( x 1 ) ∙
1
=x1 −
3
−
3
μ ( ξ 1−1 ) −3 μ ( ξ 1 −1 )
=
6
( ξ 1−1 )
2 3
2
√ ( ( x −1) + x ) −μ ∙ ( x
2
1
(( x
−( 1−μ )−3 ( 1−μ )
3
( ξ 1)
−
−μ−3
( ξ 1 −1
'
a 2=( Ω'x )x
1
'
( Ω'x )x =
1
2
3
2
3
2
2
2
( 1−μ ) ( x 1 ) ∙ ∙ ( x 1 ) + x22 ∙ 2 x 2 μ ( x 1−1 ) ∙ ∙ ( x1 −1 ) + x22 ∙ 2 x 2
√
( ( x1 ) 2 + x22 )
2
+
3
√
2 3
2
2
( ( x −1 ) + x )
1
a 2=0
'
a 3=( Ω'x )x =a❑2 =0
2
1
'
a 4=−1+ ( Ω 'x )x
2
' '
x2 x
2
(Ω )
2
√
3
2
( 1−μ ) ( ( x1 ) + x22 ) −x 2 ( 1−μ ) ∙
=1−
2
2
−( 1−μ ) ∙ ( ξ 1 )
6
(ξ 1)
3
3
−
μ ( ξ 1−1 )
6
( ξ 1−1 )
=
2
2
√( x ) + x ∙ 2 x
1
2 3
2
(( x ) + x )
1
a4=
3
2
−μ ∙
2
−
√ (( x −1) + x ) −x μ ∙ 32
2
1
2 3
2
( ( x −1 )
1
−1−μ
μ
−
.
3
3
( ξ 1 ) ( ξ 1−1 )
Таким образом, линеаризованная в окрестности точки L1
система (8) имеет вид
'
dh
4
=F ( L 1 ) h , h ∈ R ,
dt
(9)
33
2
2
+x
0
1 1
−1
0 0
F ' ( L1 )=
ρ a1 0 0
ρa4 −1
0
(
где
0
1
,
1
0
)
(10)
ачисла a1 и a4 определяютсяформулами
a 1=
2 ( 1−μ )
3
( ξ 1)
+
2μ
−1−μ
−
, a4=
3
3
( ξ 1)
( ξ 1−1 )
μ
3
( ξ 1−1 ) .
3.4 Исследование резонансных свойств матрицы Якоби
Для исследования задачи определим топологический тип
прямолинейных
точек
через
нахождение
собственных
значений матрицы Якоби. Рассмотрим один из трех случаев.
Найдём
различных
собственные
значениях
характеристическое
значения
параметра
матрицы
масс
(10)
μ ∈ [ 0,1 ) и ρ=1,
при
решив
λ 4−( a1 +a4−2 ) λ2 + ( a1 +a1 a4 + a4 +1 ) =0.
уравнение
Приближённые результаты приведены в таблице 4.
Значени
Значения
я μиξ
a 1 и a4
ξ=−0.9416
a1=¿ μ=0
.1
2.1834
ξ=−0.8828
a1=¿ μ=0
.2
2.3855
ξ=−0.8232
a1=¿ μ=0
.3
2.6087
μ=0 .4
ξ=−0.762
a1=¿ 2.8584
ξ=−0.6984
a1=¿ μ=0
.5
3.1397
ξ=−0.6308
a1=¿ μ=0.
6
Хар.
Собствен
уравнение
4
ные значения
2
a4=¿1.09
λ + 3.0917 λ −2.4753=0 λ1,2 =± 0.8123
17
λ3.4 =± 1.9369i
λ + 3.1927 λ −3.0381=0 λ1,2 =± 0.8759
a4=¿1.19
28
a4=¿1.30
44
a4=¿1.42
92
a4=¿1.56
99
a4=¿1.73
34
4
2
λ3.4 =± 1.98995i
λ + 3.3043 λ −3.7071=0 λ1,2 =± 0.9407
4
2
λ3.4 =± 2.0468i
λ + 3.4292 λ −4.5144=0 λ1,2 =± 1.0078
4
2
λ3.4 =± 2.1083i
λ + 3.5698 λ −5.4988=0 λ1,2 =± 1.078
4
2
λ3.4 =± 2.1753i
λ + 3.73195 λ −6.7313=0λ1,2 =± 1.1532
4
2
195
3.4639
ξ=−0.5567
a1=¿ μ=0
.7
a4=¿1.92
3.8489
μ=0 .8
λ3.4 =± 2.2498i
λ + 3.9245 λ −8.3313=0 λ1,2 =± 1.2361
4
44
ξ=−0.471
a1=¿ -
λ3.4 =± 2.3351i
λ1,2 =± 1.5901
λ + 1.6415 λ −10.54396=0
4
a4=¿2.16
4.3309
55
ξ=−0.3597
a1=¿ μ=0
.9
2
λ3.4 =± 2.0421i
λ + 4.5068 λ −14.0741=0λ1,2 =± 1.45701
4
a4=¿2.50
5.0135
2
2
67
λ3.4 =± 2.5748i
Табл.4
На основе полученных данных можем сделать вывод о
топологическом типе точки, он имеет вид (1, 2, 1).
Напомним, что в системе (9) имеет место резонанс,
соответствующий
случаю
Р 3,
'
F ( L1 ) имеетсобственныезначения± i ω 0 ,где ω0 =
У нас T =2 π, следовательно, ω 0=
если
матрица
π k0
, k0−натуральноечисло .
T
k0
. Случаи k0=1, k0=2, k0=3 быть не
2
могут. Нам подходит k0=4.Для этого нужно взять значение
μ=0 .22.
Вообще
говоря,резонанс возникаетпри T=2 π m,
а
T =2 π
называется главным резонансом.
Около μ=0 .2 есть
такое
μ
, при
котором
возникает
резонанс. Найдем его приближенно методом перебора (см.
табл. 5).
a 1=¿ μ=0 .21 ξ=−0.8769
2.4067
a 1=μ=0 .22 ξ=−0.871
2.42803
a4=¿1.203
λ 4+ 3. 2034 λ 2−3 .0996=0λ1,2 =± 0.8829
4
λ3.4 =± 1.9955i
λ1,2 =± 0.8887
λ + 3. 21401 λ −3 . 1617=0
a4=¿1.214
01
4
2
λ3.4 =± 2.0009i
Табл.5
Аналогично для μ=0 .6(см. табл. 6):
a 1=¿ μ=0.
ξ=−0.6238
6
3.4983
a4=¿1.74
91
λ 4+ 3. 7492 λ 2−6 .86803=0λ1,2 =± 1.1608
λ3.4 =± 2.2576i
35
Табл.6
И для μ=0 .7(см .табл .7):
a 1=¿ μ=0 .69 ξ=−0.5645
a4=¿1.90
3.80704
λ 4+ 3. 9035 λ 2−8 .1502=0λ1,2 =± 1.2274
35
λ3.4 =± 2.3259i
Табл.7
Из
таблицы
5
получаем,
что
при
μ=0 .22собственные
значения имеют вид λ=±2i. А это значит, что ω 0=
π k0 π k0 k0
=
= =2,
T
2π 2
следовательно, k0=4. Так как k0 – чётное число, то число из
пункта 2.4.3 τ=1.
3.5 Исследование главных резонансов
Исследуем задачу о гиперболичности. Система будет не
автономной, если ρ ≠ 1. Когда ε=0, то мы имеем круговую
задачу, а интересует нас эллиптическая задача при малых
ε,
т.е. рассматриваем задачу о гиперболичности системы для
значений (μ , ε), которые лежат на вертикальной прямой Р,
которая проходит через точку с координатами (μ0 ,0 ¿ (См.
рисунок 5). Поэтому расширим задачу и будет исследовать
гиперболичность для значений (μ , ε) , которые лежат на μ0 + mε ,
где m – некоторый фиксированный коэффициент. Простыми
словами, мы хотим подняться вверх на плоскости, для чего
делаем замену μ=μ0 +mε =0,22 +mε
36
Рис.5
Для того, чтобы приближенно построить мультипликаторы
возмущенной
системы
нужно
сначала
построить
мультипликаторы невозмущенной системы. Так как система
автономна, то ее матрица монодромии V в T-периодической
задаче является матричной экспонентой V =e TJB (μ ). Поэтому ее
мультипликаторы определяются равенствами p = e T λ, где λ –
собственные значения матрицы JB(µ).
Разберем случаи, когда матрица JB(µ) имеет пару
простых чисто мнимых собственных значений ±iω 0 , где
ω 0=±
π k0
T
при некотором натуральном k0. Другими словами
(учитывая, что в нашем случае T = 2π), критическим случаем
может быть только ситуация, когда матрица JB(µ) имеет пару
собственных значений ±
k0 i
2
при некотором натуральном k0.
Отсюда вытекает вопрос: есть ли такие e T λ=1 при T = 2π, 4 π, …?
Рассмотрим нашу систему в линеаризованном виде:
0
1 1
−1 0 0
h'=
ρa1 0 0
0 ρa4 −1
(
0
1
h , h ∈ R4
1
0
)
(11)
37
Т.е. она имеет вид:
h'=B ( ε, μ ,t ) h , h ∈ R 4 ,
(12)
0
1 1
−1
0 0
где B ( ε , μ ,t )=F ' ( L1 ) =
ρa1 0 0
0 ρa4 −1
(
0
1
.
1
0
)
Поскольку μ ( ε )=μ0 +mε, то (4.1) принимает уточненный вид:
h'=B ( ε, μ (ε) ,t ) h ,h ∈ R4
(13)
Введем обозначение JA= B ( ε , μ( ε) , t ).
Матрица
λ=i ω0 , где ω0=
JA
имеет
простое
собственное
значение
π k0
при некоторомнатуральномk0 . Исходя из таблицы 1
T
предыдущего пункта данной работы, можно обратить внимание
на то, что существуют такие μ, при котором возникает сильный
резонанс – при μ=0 .22 с периодом Т=2 π . Разберём этот случай.
Линейная система в круговой задаче (4.2) (где ρ=1 ¿ имеет
четыре мультипликатора μ1 =μ2 =1, μ3 <1, μ 4 >1 ( См.рис . 6 ) .
Рис. 6
Мультипликаторы определяются формулой μ=eωT .
38
Поэтому μ1 =μ2 =e2 i∗2 π =1, μ3=e0.88∗2π >1, μ 4=e−0.88∗2 π <1.
Введём определение.
Определение
1.
x'=B0 x
Систему
назовём
сильно
гиперболичной с топологическим типом (1, 2, 1), если при
всех
малых
x'=B0 x+ ε S1 ( t ) x также
εсистема
имеет
топологический тип (1, 2, 1).
Используя
известную
1
2
3
=1−q +q −q +…,
1+q
следовательно,
формулу
1
2
2
=1−εcost + ε cos t−…,
1+ε cost
получим
ρ=
разложения
1
≈1−ε cost .
1+ εcost
И
можно
представить
параметр масс в виде μ=μ0 +mε , где m выбрано произвольно.
Рассмотрим основную линейную систему h'=B0 ( μ ) h+ S1 h ,где
0
0
S1 ( t ) =B'ε ( ε, t ) |ε=0=
f 1 (m)
0
(
f 1 ( m ,t )=
(
a1 ( μ 0 +mε )
1+ εcost
0
0
0
f 2 (m)
'
)
ε=0
0
0
0
0
(
, f 2 (m , t )=
0
0
0
0
)
,
a 4 ( μ0 +mε )
1+ε cost
'
)
.
ε=0
0
1
1
−1
0
0
В нашем случае матрица B= ρa ( μ)
0
0
1
ρa4 ( μ ) −1
0
(
0
−1
B ( ε , t )= a1 ( μ 0 +mε )
1+ εcost
0
(
1
0
0
a4 ( μ0 +mε )
1+ εcost
1 0
0 1
)
0 1
−1 0
39
0
1
имеет вид:
1
0
)
Поэтому B ( ε , μ , t ) =B0 ( μ )+ ε S1 +… ,
0
1
1
−1
0
0
где B0 =B ( 0, t ) =
a1 ( μ 0 )
0
0
a
μ
−1
0
4 ( 0)
(
0
1
.
1
0
)
Найдём собственные векторы матрицы
0
1
1
−1
0
0
B0=
a1 ( μ0 )
0
0
a4 ( μ0 ) −1
0
(
0
0
1
1
1
−1
0
0
=
0
0
1 −2,42803
0
1,21401 −1
0
)(
0
1
1
0
)
Так как собственные значения λ=± 2i , имеем B0 z=z ∙2 i .
0
1
1
−1
0
0
−2,42803
0
0
0
1,21401 −1
(
0
1
1
0
z1
z1
z2
z
=2 i 2 .
z3
z3
z4
z4
)( ) ( )
z 2 + z 3=2i
−1+ z =2i z
Пусть z 1=1, тогда −2.4+ z4 =2 i z2
4
3
1.2 z 2−z 3=2 i z 4
{
Подстановкой одного уравнения в другое и т.д. находим
z 2 =0.67850375 i , z 3=1.39251875 i , z 4=−0.3570075 .
1
0
0
+i 0.7 .
При этом z=e+ig=
0
1.4
−0.36
0
( )( )
Лемма 3. Имеет место соотношение: ( e , Jg ) ≠ 0.
0
0
0
0
Проверим лемму. Jg= −1 0
0 −1
(
40
1
0
0
0
0 0
1,4
1 0.7 = 0
0 1.4
0
0 0
−0,7
)( ) ( )
1
1,4
( e , Jg )= 0 , 0 =1.4 +0.2=1.6≠0
0
0
−0.6 −0,7
(
)
Положим
ν=
1
0
e=
, g=
0
−0.36
1
1
=
≈0.6 ≠0∈ R ( т .к ( e , Jg ) ∈ R ) .
( e , Jg ) 1.6
0
1,4
0.7 , Jg= 0 ,
1.4
0
0
−0,7
( ) () ( )
( )( ) ( )
0
0
0
Je= 0
−1 0
0 −1
1
0
0
0
0
1
0
1
0
= −0.36 .
0
0
−1
0 −0.36
0
Пользуясь схемой из п. 2.4.3, видим, что из (29)-(31) (того
же пункта) следует, что далее нужно вычислить векторы
( S1 e , Jg ),( S1 g , Jg ) , ( S1 e , Je ) .
0
0
0
0
S1 e=
0.51m+2.43cost
0
0
−0.98m+1.3cost
(
0
0
0
0
0
0
0
0 −0.36 =¿
0
,
0 −1
0
0
0
0.35m−0.47cost
)( ) (
0
1,4
0
=0,
( S1 e , Jg ) = 0.51m+2.43 cost , 0
0
0
−0,7
(
(
)
0
1,4
0
, 0 =0.48m−0.64 cost ,
( S1 g , Jg ) =
0
0
−0.69m+0.91 cost −0,7
)
41
)
0
0
=−0.51m+2.4 cost .
( S1 e , Je ) = 0.51m+ 02.43cost , −0.36
−1
0
0
(
)
Просчитав скаляры, сможем использовать их в формулах
(29)-(31) для нахождения коэффициентов, чтобы найти матрицу
(28).
T
T
1
a=∫ {cos ( 2 ω 0 t ) ( S1 ( t ) e , J g )− sin ( 2 ω 0 t ) [ ( S1 ( t ) g , J g ) −( S1 ( t ) e , J e ) ]}dt=∫ {cos ( 4 t ) ∙
2
0
0
T
b1 =∫ ¿ ¿
0
b2 =b1 −[ ( S 0 e , Je ) + ( S0 g , Jg ) ] ;
T
здесь S0 =∫ S1 ( t ) dt , S1 – матрица из (23).
0
0
0
0
0
S0 =∫ S1 ( t ) dt=
0.1.02 mπ
0
0
0
−1.96mπ
(
T
0
0
0
0
S0 e=
0.1 .02 mπ
0
0
−1.96mπ
(
0
0
0
0
0
0
0
0
0
0 ,
0
0
)
0
1
0
0
0
0
=
,
0
0
1.02mπ
0 −0.36
0
)( ) ( )
0
0
0
−0.36
( S0 e , Je ) = 1.02 mπ , −1 =−1.02mπ ,
0
0
(
(
)
)
0
1.4
0
, 0 =0.96mπ .
( S0 g , Jg ) = 1.43mπ
0
−1.37mπ −0.7
b2 =b1 −[ ( S 0 e , Je ) + ( S0 g , Jg ) ]=−0.03mπ− (−1.02mπ+0.96mπ )=−0.03mπ+0.06mπ
Подставили эти числа в формулу (32) пункта 2.4.3:
42
Δ=a 2 +b1 b2 =(−0,03∗0,03 ) mπ=−0.0009 m2 π 2 <0 для ∀ m.
Собственные
значения
матрицы–
λ1 и λ2
это
числа
λ1,2 =± 0.6 √ −0.0009m2 π2 =± 0.6∗0.03mπi=±0.18mπi , которые являются
чисто
мнимыми.
Следовательно,
коэффициенты
μ1(1 ) и μ(12)
в
формулах (25) – это числа
μ1(1 )=ντ √ Δ=0.18mπi ,μ (12 )=−μ (11 )=−0.18mπi.
В нашем случае Р 3 мультипликатор τ системы равен τ=1 и
является
полупростым.
Система
не
является
сильно
устойчивой. Для малых |ε| мультипликатор τ расщепляется.
Опираясь на следствие 2 (п.2.4.3) и того факта, что Δ<0
можно сделать вывод о гиперболичности системы.
Таким образом, доказаны две теоремы. Рассмотрим две
линейные
x'=В0 x , x ∈ R 4
системы
,
(14)
0
1
1
−1
0
0
где B0 = J A0 =
a1 ( μ 0 )
0
0
a4 ( μ 0 ) −1
0
(
a 1=
2 ( 1−μ )
3
( ξ 1)
+
2μ
3
( ξ 1−1 )
0
1
,
1
0
)
−1−μ
−
, a4=
3
( ξ 1)
μ
3
( ξ 1−1 )
и
x'=В0 ( ε , μ ( ε ) , t)x , x ∈ R4
при
всех
малых
ε.
(15)
Здесь μ0 ≈ 0.22.
Теорема 1.
В задаче о 2 π−¿периодиических решениях
линейной системе ( 14 ) имеет место сильный резонанс.
А
именно,
λ=±i ω0 , ω 0=
матрица
В0
имеет
π k0
k
=¿ 0 при k0=4.
T
2
43
собственные
значения
Теорема 2.
В задаче о2 π−¿периодиических решениях
линейная система (14) является сильно гиперболичной.
Другими
словами,
топологический
тип
автономной
системы (14) совпадает с топологическим типом неавтономной
системы.
44
Список использованных источников и
литературы
1. Давыдова
Э.В.
треугольных
Исследование
точек
Международная
спектральных
либрации
научная
задачи
конференция
свойств
трех
тел,
«Уфимская
осенняя математическая школа»: Тезисы докладов. Уфа:
Изд-во БашГУ, 2019. - 279 с.
2. Давыдова
Э.В.
О
спектральных
свойствах
прямолинейных точек либрации ограниченной задачи
трех
тел.
Международная
научная
конференция
«Уфимская осенняя математическая школа»: Тезисы
докладов. Уфа: Аэтерна, 2020. - 276 с.
3.
Демин В.Г. Судьба Солнечной системы. М.: Наука,
1975.
4.
Дубошин Г.Н. Небесная механика: Аналитические и
качественные методы. М.: Наука, 1964.
46
5.
Дубошин Г.Н. Небесная механика. Основные задачи и
методы. Учебник для студентов университетов, обучающихся
по специальности "Астрономия". Издание 3-е, дополненное. М:
Наука, 1975 . 800 с.
6.
Дубошин Г.Н., «Справочное руководство по небесной
механике и астродинамике», М.: «Наука», 1976.
7.
Каноненко А. Пять замечательных точек // Наука и
жизнь. 1973. № 1. С. 42–46.
8.
Като Т. Теория возмущений линейных матриц (Мир,
М., 1975)
9.
Лукьянов
ограниченной
Л.Г.
О
законе
эллиптической
сохранения
задаче
энергии
трех
в
тел.
Астрономический журнал, 2005.
10. Лукьянов Л.Г., Ширмин Г.И. Лекции по небесной
механике. Учебное пособие для высших учебных заведений.
Алматы: “Эверо”, 2009. 277 с.
11. Лукьянов Л.Г., Ширмин Г.И. Поверхности Зундмана и
устойчивость
по
Хиллу
в
задаче
трех
тел.
Письма
Астрономический журнал, т. 33, № 8, с. 618-630, 2007
47
в
Отзывы:
Авторизуйтесь, чтобы оставить отзыв