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

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

Для того, чтобы доказать это утверждение, рассмотрим, как обычно, преобразование $T$ поверхности $S$ в соответствующей окрестности инвариантной точки. Пусть $\sigma$ будет очень маленькая область около инвариантной точки, граница которой пересекается каждым радиусом только однажды. Образы ${\sigma }_n(n=1,2,\dots )$ области $\sigma$ при преобразованиях $T^n$ должны все содержать внутри себя инвариантную точку, и для некоторого значения $n{\sigma }_n$ должна достичь границы $S$; в противном случае сумма всех этих областей представляла бы собой инвариантную область $\overline{\sigma }$, граница которой была бы инвариантной кривой исключенного типа согласно рассуждению $\mathrm{\S }4$. Точки области ${\sigma }_n$ остаются в $S$ по крайней мере при $n$ повторениях операции $T^{-1}$.

Будем теперь все более и более уменьшать диаметр области $\sigma$. Предельное замкнутое множество $\left({}^7\right)$, полученное таким образом, связно содержит инвариантную точку и точки границы $S$ и будет оставаться в $S$ после любого числа повторений преобразования $T^{-1}$. Если мы повторим это же рассуждение, но заменив $T$ на $T^{-1}$, то получим второе подобное же множество, остающееся внутри $S$ при всех последовательных повторениях преобразования $T$. Очевидно, что эти два связных множества соответствуют двум связным семействам движений, обладающих указанными свойствами.

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

Имея в виду это свойство, рассмотрим множество ${\mathrm{\Sigma }}_{\alpha }$ всех точек, остающихся в $S$ при бесконечном повторении преобразования $T^{-1}$ и связанных с инвариантной точкой множеством точек того же рода. Согласно с только что доказанным, множество ${\mathrm{\Sigma }}_{\alpha }$ доходит до границы $S$. Представим себе какую-нибудь регулярную кривую $AB$, проведенную из точки $A$ на границе $S$, имеющую вначале (точка $A$ ) направление внутрь области по радиусу и нигде не поворачивающую вправо от радиального направления ${}^8)$. Все точки, лежащие вне ${\mathrm{\Sigma }}_{\alpha }$, доРис. 7 стижимы от границы $S$ при помощи таких кривых $AB$, не имеющих общих точек с ${\mathrm{\Sigma }}_{\alpha }$ (рис. 7). Для доказательства этой «левосторонней достижимости» множества ${\mathrm{\Sigma }}_{\alpha }$ с границы $S$ предположим противное, т.е. что имеется одна или несколько областей недостижимых точек (см. область ${\sigma }^{\ast }$ на рисунке); эти области будут, очевидно, ограничены отчасти отрезками радиуса, от которых они будут лежать вправо (если смотреть по направлению внутрь по радиусу). Преобразование $T^{-1}$, очевидно, переводит эти недостижимые области в их собственные части, так как оно вращает радиальные направления по часовой стрелке по отношению к радиальному направлению. Но это невозможно вследствие существования инвариантного поверхностного интеграла.
Iусть нам дано неустойчивое движение общего устойчивого типа, с переменными периодами в формальных рлдах, и предположим для определенности, что вращение возрастает влесте с удалением от этого периодического движения. Тогда замкнутые связные семейства движений ${\mathrm{\Sigma }}_{\alpha }$ и ${\mathrm{\Sigma }}_{\omega }$, остающиеся в области неустойчивости соответственно при убывании и возрастании $t$ и достигающие границы этой области, являются соответственно достижимыми от этой границы (с левой и с правой стороны).

Возвращаемся к виду ${\mathrm{\Sigma }}_{\alpha }$ на $S$. Множество ${\mathrm{\Sigma }}_{\alpha }$ должно бесконечно завиваться вправо вокруг неподвижной точки, начиная от точки его пересечения с границей $S$. Чтобы установить этот факт, целесообразно рассматривать полярные координаты $\vartheta$ и $r$ как прямоугольные координаты, причем ось $\vartheta$ направлена налево, а ось $r$ вверх. Тогда поверхность $S$ представится в виде бесконечной полосы, и область этой полосы, расположенная вправо и выше связного множества ${\mathrm{\Sigma }}_{\alpha }$, не может простираться налево от той точки ${\mathrm{\Sigma }}_{\alpha }$, которая лежит на границе $S$; иначе, очевидно, имелись бы недостижимые области исключенного типа.

Если бы далее ${\mathrm{\Sigma }}_{\alpha }$ не простиралось неограниченно вправо, то оно при этом представлении было бы целиком заключено между двумя вертикальными прямыми. Но результаты $\S 2$ гл. VI показывают, что две точки, из которых одна лежит на оси $r=0$, а другая вблизи нее, движутся в направлении оси $\vartheta$ со скоростями столь различными, что могут разойтись на сколь угодно большое расстояние. Поэтому при достаточном повторении преобразования $T^{-1}$ кривая ${\mathrm{\Sigma }}_{\alpha }$ (все образы которой при преобразовании $T^{-1}$ лежат внутри $S$ ) распространится на полосу, сколь угодно широкую в направлении $\vartheta$, и, таким образом, пересечет ${\mathrm{\Sigma }}_{\alpha }$. Итак, ${\mathrm{\Sigma }}_{\alpha }$ и ее образ ограничат область, которая останется внутри $S$ при всех повторениях преобразования $T^{-1}$. Но это приведет нас так же, как прежде, к инвариантной области $\overline{\sigma }$. Следовательно, ${\mathrm{\Sigma }}_{\alpha }$, распространяется бесконечно далеко в направлениях отрицательных $\vartheta$. Отсюда следует, что ${\mathrm{\Sigma }}_{\alpha }$ оборачивается бесконечное множество раз вокруг инвариантной точки в направлении часовой стрелки, в то время как ${\mathrm{\Sigma }}_{\omega }$ оборачивается бесконечное число раз в противоположном направлении. Отсюда очевидно, что множества ${\mathrm{\Sigma }}_{\alpha }$ и ${\mathrm{\Sigma }}_{\omega }$ должны пересекаться бесконечное множество раз.

Докажем теперь, что множества ${\mathrm{\Sigma }}_{\alpha },T^{-1}\left({\mathrm{\Sigma }}_{\alpha }\right),T^{-2}\left({\mathrm{\Sigma }}_{\alpha }\right)$ асимптотически стремятся к точке $O$ равномерным образом. Иначе существовали бы значения $n_1,n_2,\dots$, такие, что $lim{n}_i=\mathrm{\infty }$ и что $T^{-n_i}\left({\mathrm{\Sigma }}_{\alpha }\right)$ простирались бы за пределы круга фиксированного радиуса $r=r_0$. Следовательно, существовали бы подмножества множеств $T^{-n_i}\left({\mathrm{\Sigma }}_{\alpha }\right)$, замкнутые, связанные с точкой $O$ и имеющие по крайней мере одну точку на окружности $r=r_0$. Такое подмножество ${\mathrm{\Sigma }}_{\alpha }^i$ и его образы $T^k\left({\mathrm{\Sigma }}_{\alpha }^i\right)$ целиком расположены внутри области $S$. Устремляя $n_i$ к бесконечности, мы получаем, таким образом, множество ${\mathrm{\Sigma }}_{\alpha \omega }$, замкнутое и связанное с $O$, простирающееся от $O$ до некоторой точки на $r=r_0$ и такое, что все его образы (при преобразованиях $T$ и $T^{-1}$ ) находятся внутри $S$. Кроме того, каждая точка, не принадлежащая множеству ${\mathrm{\Sigma }}_{\alpha \omega }$, должна быть достижима извне как справа, так и слева от радиального направления. Отсюда заключаем, что ${\mathrm{\Sigma }}_{\alpha \omega }$ должно состоять из радиальных отрезков. Но это невозможно. В самом деле, $T\left({\mathrm{\Sigma }}_{\alpha \omega }\right)$ не имело бы этого свойства, так как $T$ вращает всякое радиальное направление влево; между тем то же рассуждение показывает, что $T\left({\mathrm{\Sigma }}_{\alpha \omega }\right)$ должно обладать этим свойством $\left({}^9\right)$.
Мы можем резюмировать эти заключения следующим образом. Семейства ${\mathrm{\Sigma }}_{\alpha }$ и ${\mathrm{\Sigma }}_{\omega }$ движений оборачиваются бесконечно много раз по или против часовой стрелки соответственно вокруг периодического движения, в зависимости от того, достижимы ли они слева или справа и, таким образом, пересекаются в бесконечном множестве общих движений. Движения, принадлежащие ${\mathrm{\Sigma }}_{\alpha }u{\mathrm{\Sigma }}_{\omega }$, являются соответственно отрицательно и положительно асимптотическими к данному периодическому движению, тогда как бесконечно многие общие движения являются асимптотическими в обоих направлениях к данному периодическому движению.

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