3.1. Неподвижные точки и кривая нулевой скорости

Описанная выше система имеет три точки равновесия, одна типа центр, а две другие типа седло-центр. Координаты точек в нерегуляризованных переменных $(q_1,q_2,p_1,p_2)$ :
$$\begin{array}{c}O\to (0,0,0,0),L_1\to (3^{-1/3},0,0,3^{-1/3}),\\ L_2\to (-3^{-1/3},0,0,-3^{-1/3}),\end{array}$$

и в ЛЧ-переменных $(Q_1,Q_2,P_1,P_2)$ :
$$\begin{array}{l}{L}_1\to (6^{-1/2},0,0,\frac{1}{3}{6}^{-1/2}),L_2\to (0,6^{-1/2},\frac{1}{3}{6}^{-1/2},0),\\ L_1^{\prime }\to (-6^{-1/2},0,0,-\frac{1}{3}{6}^{-1/2}),L_2^{\prime }\to (0,-6^{-1/2},-\frac{1}{3}{6}^{-1/2},0).\end{array}$$

Очевидно, гравитирующий центр теперь является регулярной точкой, точнее, точкой равновесия системы типа центр-центр (столкновение превращается в равновесие в силу замены времени (9)). Число точек равновесия удваивается из-за двойного накрытия.

В декартовых переменных собственные числа точек $L_1$ и $L_2$ равны ${\overline{\lambda }}_1=i\overline{\omega }=i(-1+2\sqrt{7}{)}^{1/2}$ и ${\overline{\lambda }}_2=(1+2\sqrt{7}{)}^{1/2}$, т.е. точки являются центром по первой координате и седлом по второй. В этих точках значения интеграла Якоби и гамильтониана равны соответственно $c_H=3^{4/3}$ и $h=$ $=\frac{1}{18}$. Заметим, что собственные числа в регуляризованной задаче равны ${\lambda }_i=\frac{2}{3}{\overline{\lambda }}_i({\lambda }_1\approx \pm i1.38106,{\lambda }_2\approx \pm 1.67219)$.

Для $h<\frac{1}{18}$ кривая нулевой скорости замкнута и определяется выражением $\frac{1}{2}(Q_1^2+Q_2^2)-6(Q_1^2+Q_2^2){(Q_1^2-Q_2^2)}^2$. При энергиях $h>\frac{1}{18}$ появляются ляпуновские п. о. которые, естественно, неустойчивы. В этом случае существование финитного движения не является необходимым следствием только топологии задачи. Ниже будет показано, как устойчивые и неустойчивые многообразия взаимодействуют с открытой структурой траекторий. Во-первых, рассмотрим низкие уровни энергии, а затем изучим локальное поведение вблизи точек либрации. После этого в следующем разделе будут приведены некоторые предварительные результаты численных экспериментов.

3.2. Низкие уровни энергии и периодические орбиты Хилла

При малых энергиях гамильтониан (12) описывает малое возмущение гармонического осциллятора. Система с гамильтонианом $H_1+H_2$ эквивалентна задаче Кеплера во вращающейся системе отсчета и, следовательно, интегрируема. Член $H_6$ нарушает интегрируемость. Так как неподвижная точка, соответствующая гравитирующему центру, является эллиптической с резонансом $1-1$, то для построения нормальных форм оказываются пригодными методы, изложенные в [12]. В частности, они позволяют получить определенное число простых периодических орбит, то есть п. о., которые являются неподвижными точками отображения Пуанкаре. Применяя теорему 1 из [12], получим следующий результат.

Предложение 1. Для достаточно малых $h$ задача Хилла имеет две простые периодические орбиты с предельным периодом $2\pi$. Это классические прямая и обратная п.о. Хилла. На сечении Пуанкаре $Q_2=0,{\dot{Q}}_2>0$ они являются неподвижными точками с координатами ${\dot{Q}}_1=0$ и $Q_1=$ $=\sqrt{h}(1+O(h))$ (прямая п.о.) и $Q_{-}=-\sqrt{h}(1+O(h)$ ) (обратная п.о.). Более того, любая другая периодическая орбита имеет период $\pi /h+O(1)$. Ширина стохастического слоя не превышает $O(\exp (-c/h))$ при некотором $c>0$.
ДОКАЗАТЕЛЬСТВО.
Сначала приведем гамильтониан к нормальной форме Густавсона. Начнем с некоторых общих предположений. Пусть $z_j=(1/\sqrt{2})(Q_j+P_j)$, $j=1,2$, и определим
$$\begin{array}{c}{N}_j=z_j{\overline{z}}_j,j=1,2,M_1=2\mathrm{Im}\left({\overline{z}}_1{z}_2\right),\\ M_2=2\mathrm{Re}\left({\overline{z}}_1{z}_2\right),M_3=N_2-N_1,J=N_1+N_2.\end{array}$$

В новых переменных $z_j$ гамильтониан имеет вид
$$H=J+\sum _{m=2}^{m^{\ast }}{K}_m(J,M_1,M_2,M_3)+O_{2m^{\ast }+1}(\left|z_1\right|,\left|z_2\right|),$$

где $K_m$ — однородные функции порядка $m$, а $O_k$ обозначает члены порядка $k$. Из соотношения $M_1^2+M_2^2+M_3^2=J^2$ следует, что $K_m(J,M_1,M_2,M_3)=J^m{\hat{K}}_m(\mathit{x})$, где ${\hat{K}}_m(\mathit{x})=K_m(1,\mathit{x})$ — полином, определенный на единичной сфере ${\mathbb{S}}^2$, а $\mathit{x}=(x_1,x_2,x_3)=(\frac{M_1}{J},\frac{M_2}{J},\frac{M_3}{J})$.

В нашем очень простом частном случае ${\hat{K}}_2(\mathit{x})=-2x_1$. До этого порядка гамильтониан зависит только от $J=\frac{1}{2}(Q_1^2+Q_2^2+P_1^2+P_2^2)$ и $M_1=$ $=Q_1{P}_2-Q_2{P}_1-$ энергии и интеграла момента задачи Кеплера. После ввода нового времени $\tau =Jt$, где $t$ обозначает время, используемое в (12), поток на ${\mathbb{S}}^2$ для нового гамильтониана до второго порядка по $J$ задается уравнением $\frac{dx}{d\tau }=abl{a}_x{\hat{K}}_2(\mathit{x})\wedge \mathit{x}$. Таким образом полюсы $(\pm 1,0,0)$ неподвижны на ${\mathbb{S}}^2$ и указанный поток является просто вращением вдоль параллелей, связанных с указанными полюсами с периодом $\pi$ по $\tau$ и, так как $J=h+O\left(h^2\right)$, периодом $\pi /h$ по $t$. Положение неподвижных точек на сечении Пуанкаре следует из исследования гармонического осциллятора.

Если ввести остаток (члены $O\left(J^3\right)$ ), то картина немного изменится, но, в силу теоремы о неявной функции, неподвижные точки сохранятся. Любые другие п. о. не могут иметь период меньше, чем $\frac{\pi }{h}+O(1)$. Кроме того, полный гамильтониан можно записать с помощью $J,M_1$ и двух соответствующих им углов, скажем, $\phi$ и $\psi$ соответственно. Пока возмущение мало, частота по $\phi$ близка к единице. Стандартное усреднение (см. [14]) по переменной $t$ приводит к тому, что система может быть сведена к интегрируемой, исключая область размером $O(\exp (-c/h))$, для некоторого $c>0$. Это и доказывает последнее утвержление теоремы.

Заметим, что для получения более точных оценок для периода, нежели $O(1)$, нужно рассматривать нормальные формы до шестого порядка. Далее мы увидим, как эти периодические орбиты продолжаются до более высоких энергий и какую роль они играют.
3.3. Локальное поведение вблизи точек либрации

Хорошо известно, что гамильтониан (12) вблизи точек $L_i$ в базисе собственных векторов имеет вид:
$$H(q_1,q_2,p_1,p_2)=\frac{\omega }{2}(q_1^2+p_1^2)+\frac{{\lambda }_2}{2}(p_2^2-q_2^2)+\sum _{|\mathit{k}|+|\mathit{l}|⩾3}{c}_{k\mathit{l}}{\mathit{q}}^{\mathit{k}}{\mathit{p}}^{\mathit{l}},$$

где $k,\mathit{l}\in (\mathbb{N}\cup 0{)}^2,|\mathit{k}|=k_1+k_2$ и ||$bl\mid =l_1+l_2$. Существует (комплексная) замена переменных, которая приводит гамильтониан к виду
$$H(x_1,x_2,y_1,y_2)=i\omega x_1{y}_1-{\lambda }_2{x}_2{y}_2+\sum _{|\mathit{k}|+|\mathit{l}|⩾3}{C}_{\mathit{k}\mathit{l}}{\mathit{x}}^{\mathit{k}}{\mathit{y}}^{\mathit{l}}$$

с $k,l$ такими же, как и выше. Квадратичную часть (18) можно выразить в виде
$$H_q=H_c+H_s.$$

Рис. 3. Линейная динамика вблизи $L_i$. Верхний левый рисунок показывает седловую часть, а верхний правый — типа центр. Внизу изображены инвариантные многообразия, выходящие из п. о. $p_1$ вокруг $L_1$

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

На рис. 3 мы постарались проиллюстрировать линейное поведение вблизи точек либрации. На верхних рисунках $(x_1,x_2)$ обозначают либо $(x_1,y_1)$, либо $(x_2,y_2)$. Если $h_c=0$ и $h=h_s={\lambda }_2{x}_2{y}_2=0$, то оси $x_2=0$ и $y_2=0$ являются линейно неустойчивым $W_{L_i}^U$ и устойчивым $W_{L_i}^S$ направлениями соответственно. Если $h_{s}eq0$, то мы находимся на гиперболах вблизи устойчивых/неустойчивых многообразий, соответствующих точке равновесия (рис. 3 слева вверху).

При $h=h_{c}eq0,h_s=0$, если $x_2=y_2=0$, то находимся на плоскости $x_1,y_1$, где существует семейство неустойчивых периодических орбит линейной системы. Эти п.о. образуют касательную к центральному многообразию плоскость. Если только $y_2=0$, движение является комбинацией п.о. и оси $x_2$. Так образуются два неустойчивых полуцилиндра $W_{p.o.}^U$. Комбинация п.о. и оси $y_2$ дает два устойчивых полуцилиндра $W_{p.o}^S$.

В переменных $(x_i,y_i)$, или в $(q_i,p_i)$, при учете членов высшего порядка цилиндры будут искривлены (рис. 3 , внизу), однако только что описанная топология сохранится. Более того, достаточно далеко от точек седло-центр $(L_i$ ) искривление может привести к довольно сложным и запутанным изгибам. В интегрируемых гамильтоновых системах устойчивые и неустойчивые цилиндры данной п. о. будут совпадать или являться соответственно неустойчивыми или устойчивыми многообразиями другого инвариантного гиперболического объекта (в конечном счете того же самого и, возможно, неограниченного). Так или иначе, при воздействии возмущения, $W_{p.o\text{. }}^U$ и $W_{p.o}^S$. расщепляются и пересекаются друг с другом, образуя гомоклинические и/или гетероклинические орбиты. Численные результаты следующего раздела дают некоторую предварительную информацию об этих фактах. В п. 7 представлены некоторые такие пересечения и их динамические следствия. В п. 8 обсуждается взаимодействие с сохраняющейся КАМструктурой, а также более детально рассматривается нелинейное поведение многообразий, линейное поведение которых было рассмотрено только что.