Главная > Лекции по небесной механике (К. ЗИГЕЛЬ, Ю. МОЗЕР)
НАПИШУ ВСЁ ЧТО ЗАДАЛИ
СЕКРЕТНЫЙ БОТ В ТЕЛЕГЕ
<< Предыдущий параграф Следующий параграф >>
Пред.
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
След.
Макеты страниц

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

Также, советуем воспользоваться поиском по сайту, мы уверены, что вы сможете найти больше информации по нужной Вам тематике

ДЛЯ СТУДЕНТОВ И ШКОЛЬНИКОВ ЕСТЬ
ZADANIA.TO

В этом и следующем параграфах мы исследуем поведение координатных функций в задаче трех тел при предположении, что в сингулярности t=t1 все три частицы сталкиваются. Хотя в общем случае это приводит к существенным особенностям в координатных функциях, тем не менее можно описать все траектории тройного столкновения в терминах подходящих разложений в ряды. Для последующего изложения удобно заменить t на переменную t1t и обозначить последнюю снова как t, а t1τ соответственно обозначить как τ. Исходные уравнения тем самым остаются неизменными. Таким образом, мы предполагаем, что девять координатных функций q=q(t) точек P1,P2,P3 являются регулярными на интервале 0<tτ, открытом слева, и мы желаем определить их поведение при t0. Так же, как в §6 и §9, выражение
I=qmq2=k=13mk(xk2+yk2+zk2)=k=13mkϱk2

играет важную роль в этом исследовании. Снова предполагаем, что центр масс системы трех частиц покоится в начале системы координат.

Поскольку t=0 соответствует тройному столкновению, когда t монотонно убывает до нуля, положительная функция I=I(t) стремится к 0 , в то время как U=U(t) стремится к +. Ввиду (6;2), это означает, что в достаточно малом интервале 0<tt0τ функция I(t) монотонно убывает совместно с t и ее производная I˙>0. Далее из (6;2) следует, что
I¨I1/414I˙2I5/4=14(8ITI˙2)I5/4+2hI1/4,I˙0I01/4I˙I1/4=14tt0(8ITI˙2)I5/4dt+2htt0I1/4dt(0<tt0),

где I0,I˙0 значения I,I˙ при t=t0. Поскольку I˙I1/4>0, левая часть (2) ограничена сверху, а согласно (6;3) подынтегральная функция в первом слагаемом справа неотрицательна. Константа h во втором слагаемом, однако, может быть отрицательной. В любом случае, чтобы установить сходимость первого интеграла вплоть до t=0, достаточно доказать, что второй интеграл сходится при t=0, и для этого мы введем оценку I снизу.

Пусть μ1 обозначает самую малую из трех масс m1,m2,m3, из неравенства Шварца следует, что
Iμ1k=13ϱk2μ13(ϱ1+ϱ2+ϱ3)2μ13r122,

и поэтому
U>m1m2r121μ2I1/2,μ2=m1m2μ13,I¨=2U+4h>μ2I1/2

при всех достаточно малых t>0. Следовательно,
(I˙2)>4μ2(I1/2)

откуда, дважды интегрируя от 0 до t, получаем
I˙24μ2I1/2,(I3/4)=34I1/4I˙μ3=32μ2,I3/4μ3t.

Из этого сходимость вышеупомянутого интеграла становится очевидной.

Дополнительно (2) теперь показывает, что функция I˙I1/4 стремится к конечному пределу δ0 при t0, и поэтому
(I3/4)=34I1/4I˙34δ,I3/4=34δt+o(t),Iϰt4/3(t0),

вместе с (3) влечет
ϰ=(34δ)4/3>0

Кроме того,
I˙δI1/4δ(34δt)1/3,I˙43ϰt1/3(t0).

Вышеуказанная асимптотическая формула для I˙ уточняет асимптотическую формулу для I, данную в (4), и формально может быть выведена из нее с помощью дифференцирования. Далее будет показано, что остается верной даже следующая формула
I¨49ϰt2/3(t0)

согласно (6;2), это эквивалентно
U29ϰt2/3.

Если мы введем функцию
(8ITI˙2)t2/3=g(t)=g

и воспользуемся (5;9),(4) и (6) совместно с (5), наше утверждение (7) сводится к тому, что
limt0g(t)=0.

Ввиду (6;3) получаем, что g(t)0. Чтобы доказать (9), воспользуемся уже полученной сходимостью первого интеграла в (2) вплоть до t=0, что совместно с (4) и (5) также влечет сходимость
0τg(t)dtt=G.

Поэтому неотрицательная функция g должна удовлетворять
limt0g(t)=0.

Теперь, если бы (9) было ложным, то, поскольку g(t) непрерывна в интервале 0<tτ, существовали бы достаточно маленькое положительное число ε и последовательность τ,τ1,τ2,, монотонно убывающая к 0 , такая, что
g(τ2j)=ε,g(τ2j1)=2ε,εg(t)2ε(τ2jtτ2j1;j=1,2,).

Следовательно, на каждом из этих интервалов функция g будет возрастать на величину ε. Чтобы прийти к противоречию, оценим производную
g˙=(8I˙T+8IT˙2I˙)t2/323gt1

сверху.

Во-первых, (4), (5) и (6) показывают, что
I=O(t4/3),I1=O(t4/3),I˙=O(t1/3)(t0).

Поэтому, объединив (8) и (10), получим
T=18I1(gt2/3+I˙2)=O(t2/3)(τ2jtτ2j1;j),

так что ввиду (5;10) каждая координата удовлетворяет оценке
q˙=O(t1/3),

и также
U=Th=O(t2/3),T˙=U˙=O(t5/3),rkl1=O(t2/3)(rkl1)=rkl3{(xkxl)(x˙lx˙k)+(ykyl)(y˙ly˙k)++(zkzl)(z˙lz˙k)}=O(t4/3t1/3)=O(t5/3),

и
I¨=2T+2h=O(t2/3),

все это верно при τ2jtτ2j1,j. Из этих оценок вместе с (10) и (11) видно, что
g˙<bt1(τ2jtτ2j1;j=1,2,)

для некоторой положительной константы b.
Из (10) и (12) теперь получаем
ε=g(τ2j1)g(τ2j)=τ2jτ2j1g˙(t)dt<bτ2jτ2j1dtt,τ2jτ2j1g(t)dtt>ετ2jτ2jdtt>ε2b1,

что при суммировании по j противоречит сходимости интеграла G. Это доказывает утверждение (9) и (7) и, в свою очередь, приводит к оценкам
rkl1=O(t2/3),q˙=O(t1/3)(t0),

которые до этого момента были известны только на интервалах τ2j tτ2j1 при j.

Важным следствием (8),(9) и (6;3) является асимптотическая формула
pq˙qp˙=o(t1/3)(t0),

верная для любых двух координат p и q. Это, в частности, еще раз доказывает, что в случае тройного столкновения все три константы угловых моментов равны нулю.
Поскольку согласно (1) и (4)
q=O(t2/3),

удобно ввести
q¯=qt2/3,p¯=pt2/3(t>0).

Тогда
q¯=O(1),p¯=O(1)(t0),

и (14) переходит в
p¯q¯˙q¯p¯˙=(pq˙qp˙)t4/3=o(t1)(t0).

В общем случае, когда f — однородная функция степени u по координатам q, пусть f¯ обозначает соответствующую функцию по переменным q¯, такую, что
f¯=ft2u/3.

Тогда из (4) и (6)
I¯=It4/3ϰ,I¯˙=I˙t4/343It7/3=o(t1)(t0),

в то время как с другой стороны
I¯=q¯mq¯2,12I¯˙=q¯mq¯q¯˙

поэтому (15), (16) и (17) дают
12p¯I¯˙I¯p¯˙=q¯mq¯(p¯q¯˙q¯p¯˙)=o(t1),I¯p¯˙=o(t1),p¯˙=o(t1).

Таким образом, для каждой координаты q получим
q¯˙=o(t1)(t0)

В дополнение к треугольнику , образованному (5) тремя частицами P1,P2,P3, рассмотрим треугольник ¯, вершины которого P¯1, P¯2,P¯3 соответствуют координатам q¯. Таким образом, новый треугольник получается из исходного расширением в отношении 1 к t2/3. При тройном столкновении вырождается к точке начала координат, в то время как в конце будет показано, что большой треугольник ¯ также имеет определенное предельное положение при t0. Сначала мы покажем, что длины всех трех сторон ¯ имеют положительные пределы, которые также будут вычислены. Для этого рассмотрим уравнения движения
mq¨=Uq

и выразим их в терминах q¯ вместо q.
При объединении соотношений
U¯=Ut2/3,U¯q¯=Uqt4/3q¨=(q¯t2/3)=q¯¨t2/3+43q¯˙t1/329q¯t4/3=(q¯˙t4/3)t2/329q¯t4/3

получаем
(q¯˙t4/3)t2/329q¯=m1U¯q¯.

Теперь вычислим среднее значение для обеих частей этого дифференциального уравнения на интервале от t до 2t, где 0<2tτ. Проведенное с помощью (18) интегрирование по частям приводит к оценке
t2t(q¯˙t4/3)t2/3dt=q¯˙t4/3t2/3|t2t23t2tq¯˙t4/3t1/3dt=o(t)(t0),

в то время как для tt2t также
q¯(t)q¯(t)=ttq¯˙dt=o(1).

Чтобы оценить среднее значение функции U¯q¯, воспользуемся соотношением
U¯q¯(t)U¯q¯(t)=ttU¯q¯dt,U¯q¯=p¯U¯q¯p¯p¯˙

и согласно (13) и (18) тогда получим
r¯kl1=O(1),U¯q¯p¯=O(1),U¯˙q¯=o(t1),U¯q¯(t)U¯q¯(t)=o(1)(t0).

Таким образом, (19) вместе с (20) и (21) приводят к формуле
29q¯=m1U¯q¯+c(1)(t0).

Разумеется, это уже не дифференциальное уравнение, а скорее алгебраическое соотношение, которому асимптотически удовлетворяют координаты q¯.

В §6 уже было показано, что в случае тройного столкновения, три частицы движутся в фиксированной плоскости, которую можно принять за плоскость z=0, поэтому z1,z2,z3 тождественно равны 0 и нужно рассматривать только шесть координат xk,yk(k=1,2,3). С помощью взятия производных или с помощью прямых вычислений получаем, что соответствующие шесть уравнений (23) инвариантны при произвольных вращениях координатных осей в плоскости (x,y). Теперь введем новые координаты Xk,Yk вместо x¯k,y¯k(k=1,2,3) с тем же началом координат, как и раньше, но с новой осью абсцисс, которая всегда параллельна направлению вектора P3P1. В этой новой движущейся системе координат Y1=Y3, а (23) приводит к трем уравнениям
29Y1=m2(Y1Y2)r¯123+m3(Y1Y3)r¯133+o(1),29Y2=m1(Y2Y1)r¯123+m3(Y2Y3)r¯233+o(1),29Y3=m1(Y3Y1)r¯133+m2(Y3Y2)r¯233+o(1)

и к трем аналогичным уравнениям для X1,X2,X3. Согласно (15) все шесть координат Xk(t),Yk(t)(k=1,2,3) остаются ограниченными при t0. Рассмотрим произвольную последовательность значений для t0, по которой эти координаты стремятся к определенным пределам X^k,Y^k. Тогда расстояния r¯kl=rklt2/3 тоже имеют пределы r^kl, которые ввиду (22) все положительны. Так как Y1=Y3, вычитание третьего уравнения в (24) из первого приводит к соотношению
m2(Y^1Y^2)(r^123r^233)=0.

Следовательно, либо r^12=r^23, либо Y^1=Y^2.

Если r^12eqr^23, тогда Y^1=Y^2 и, поскольку также Y^1=Y^3 и m1Y^1+ +m2Y^2+m3Y^3=0, следовательно, Y^k=0 для всех трех ординат. Таким образом, в этом случае при t0 по рассматриваемой последовательности три точки P¯1,P¯2,P¯3 стремятся к предельным положениям на оси абсцисс новой системы координат. В другом случае r^12=r^13 в то время как предыдущий анализ, повторенный относительно системы координат с осью абсцисс, параллельной P1P2, показывает, что также r^13= =r^23. Поэтому предельное положение во втором случае является равносторонним треугольником. Таким образом, мы видим, что при t0 по выбранной последовательности либо все три угла треугольника ¯ стремятся к π3, либо один угол стремится к π и два других к 0 . Кроме того, поскольку при t>0 углы являются непрерывными функциями от t, их предельные значения не зависят от выбора последовательности t0. Две возможные конфигурации в дальнейшем будем называть равносторонним случаем и коллинеарным случаем. Дополнительно, положим
m1+m2+m3=M

Пусть для равностороннего случая r^12=r^13=r^23=r. Тогда из (24) получим
29Y^kr3=MY^k(k=1,2,3),

и поскольку не все Y^k равны нулю, из этого следует, что
r3=92M

Таким образом, r имеет вполне определенное значение, и из (7) также получим
ϰ=92(m1m2+m1m3+m2m3)r1.

Если, дополнительно, ориентация системы координат выбрана так, чтобы при прохождении треугольника в положительном направлении вершины P¯1,P¯2,P¯3 проходили в таком порядке, тогда
X^1X^3=r,X^2X^3=12r,Y^1Y^3=0,Y^2Y^3=32r0=k=13mkX^k=MX^112m2rm3r,0=k=13mkY^k=MY^1+32m2r

X^1=12m2+m3Mr,X^2=m3m12Mr,X^3=m1+12m2Mr,Y^1=Y^3=3m22Mr,Y^2=3m1+m32Mr.

В коллинеарном случае обозначим самую длинную сторону r^13= =X^1X^3=a, таким образом r^12=X^1X^2=ϱa,r^23=X^2X^3=σa, где ϱ+σ=1,0<ϱ<1. Тогда соответствующие уравнения (24) для абсцисс имеют вид
29X^1a2=m2ϱ2+m3,29X^2a2=m1ϱ2+m3σ2,29X^3a2=m1m2σ2

и при вычитании дают
29a3=m1+m2(ϱ2+σ2)+m3,29σa3=m1(1ϱ2)+m2σ2+m3σ2.

Исключение a приводит к уравнению пятой степени по ϱ
m1σ2(ϱ31)+m2(ϱ3σ3)+m3ϱ2(1σ3)=0(σ=1ϱ).

Если записать это уравнение в виде
m1+m2σm1+m2σ2=m3+m2ϱm3+m2ϱ2,

то можно увидеть, что на интервале 0ϱ1 левая часть как функция от ϱ монотонно убывает от 1 до 0 , а правая часть в то же время монотонно возрастает от 0 до 1 . Следовательно, (28) имеет в точности одно положительное решение ϱ<1, и тогда из (27) однозначно определяется длина a. Из уравнения (7) теперь следует, что
ϰ=92(m1m2ϱ1+m1m3+m2m3σ1)a1,

а координаты задаются соотношениями
0=k=13mkX^k=MX^1m2ϱam3a,X^1=m2ϱ+m3Ma,X^2=m3σm1ϱMa,X^3=m1+m2σMa,Y^1=Y^2=Y^3=0.

Эти значения соответствуют случаю, когда при t=0 точка P¯2 лежит между P¯1 и P¯3. Две другие ситуации в коллинеарном случае получаются из этой циклической перестановкой m1,m2,m3.

Таким образом, мы доказали, что в равностороннем и в коллинеарном случае координаты Xk,Yk точек P¯k(k=1,2,3) имеют вполне определенные предельные значения, которые не зависят от рассматриваемой изначально последовательности t0. Следовательно, относительно движущейся системы косрдинат, треугольник ¯ стремится к предельному положению, которое в обоих случаях зависит только от значений m1,m2,m3.

В этом параграфе мы вывели те результаты Зундмана [1], которые относятся к тройному столкновению; в частности, теорему о том, что при расширении в отношении 1 к t2/3 стороны треугольника имеют определенные пределы, которые соответствуют либо равностороннему, либо коллинеарному случаю. Однако из этого не следует, что старые координаты x¯k,y¯k точек P¯k(k=1,2,3) сами имеют предельные значения. Чтобы доказать это, осталось показать, что при t0 угол между старой и новой системами координат также стремится к пределу. Кроме того, полностью аналогично случаю простого столкновения в этом случае можно получить подходящие разложения в ряды для координат xk,yk и тем самым определить в совокупности все возможные траектории тройного столкновения. Все это будет получено в следующем параграфе.

1
Оглавление
email@scask.ru