= ес+ес+ ... + е>Ы"\ у.., г).

В общем случае, если \гР\ <; М <; [ее[б*, то после преобразования новая функция Рвов удовлетворябт неравенству

Величину б > О можно выбрать так, что

\гРи\<М, = М\

а это и обеспечивает сходимость.

Для примера рассмотрим уравнение

и пусть среднее значение функции

для всех 0<у <2п. Определим также /р = / - /, = /р(х, у) и рассмотрим замену переменной

У1 = У + гк{х, у).

Для доказательства теоремы к уравнению (3.6.5) применяется классическая процедура усреднения, и оно приводится к виду

= 8C+8F(y(0, у,, 8). (3.6.6)

После того как такое приведение осуществлено, рассматривается следующая теорема.

Теорема 2. Теорема 1 справедлива для уравнения (3.6.6) на торе 7*2, где с - постоянная, а F{yi, у2, е)-аналитическая функция.

Теперь видно, что получена квадратичная сходимость. В конечном счете это приводит к тому, что

Я = ее -Ь ес -Ь ... и после ге-кратного применения процедуры усреднения получаем

т. е.

Условие f,{y)>-0 имеет очевидный смысл и необходимо для существования последнего интеграла. Для у2 получаем, наконец, такое уравнение:

= ес + еЩх, у, в).

Повторив процесс, получим

= гс + гв{х, у„ е)

и т. д.

Можно привести очень много примеров, использующих идеи, содержащиеся в теореме Колмогорова. Тот вид (3.2.3), который, как мы. предположили, имеет функция Гамильтона Н, является немного менее общим, чем в оригинальном изложении Колмогорова, а условия невырожденности, получающиеся при этом, могут быть сделаны более наглядными и напоминают разложение гамильтониана в окрестности положения равновесия или периодического решения. Действительно, приведение к системе, обладающей инвариантными многообразиями в виде то-

Отсюда следует, что Выберем

h{x,y) = -ua, y)di.

Следовательно,

£ = е/Л1/1) + е>(х, е). Наконец, определим новую переменную

где постоянная с определяется из условия у2 (2я) - у2 (0) = 2я,

ров, очевидно похоже на нормализацию Биркгофа функции Н. То, что процедура мажорирования не может быть использована для эффективного доказательства сходимости последовательности канонических преобразований, определенных в лемме 1, не подлежит сомнению, и в действительности Арнольд и Мозер смогли обойтись без мажорирования. Гораздо более важным вопросом, требующим особого рассмотрения, является то, что обычно задача вырождена и, следовательно, не годится ни теорема Колмогорова, ни теоремы Мозера, которые будут обсуждаться в следующей главе. Если п - число степеней свободы, то отсутствие тп<Сп переменных действие в гамильтониане невозмущенного движения эквивалентно наличию т линейных связей между п ненулевыми частотами, определяемых соответствующей невозмущенной системой. Только что рассмотренный пример представляет собой первое удачное приближение к решению этого вопроса, хотя проведенное Арнольдом изучение отображения окружности на себя, начатое в работе [3], уже содержит в себе идеи, необходимые для решения вопроса в общей постановке, что и было затем сделано в работе [7].

Для системы с п степенями свободы существование одной целочисленной линейной связи между невозмзгщенными частотами соответствует наличию одного типа малых делителей при классическом использовании метода Пуанкаре. Существование п-1 таких связей соответствует невозмущенному периодическому движению. В обоих случаях можно показать существование условно-периодических движений при наличии аналитических и достаточно малых возмущений. Отсутствие некоторого числа переменных действие в невозмущенном движении, согласно Арнольду, называется собственным вырождением, и такие случаи, за исключением линейных, являются наиболее общими в физике. Для случаев собственного вырождения известен основной результат, полученный Арнольдом и справедливый также в общем случае независимо от числа отсутствующих в Hq переменных действие. В работе [4] по классической теории возмущений Арнольд привел пример, в котором встречаются вместе все известные трудности, которые могут помешать сходимости в классических теориях, подобных методу Линдстедта - Пуанкаре. Рассматривалась задача взаимного влияния планет с иррациональными средними движениями (средняя угловая скорость движения вокруг Солнца). Случай рациональных средних движений может быть рассмотрен аналогично, что и было в действительности обнаружено в работе Мозера [35]. В плоском случае задача имеет четыре степени свободы, гамильтониан нулевого порядка (описывающий кеплеровское взаимодействие) зависит только от двух импульсов, а также вводится предположение о близости частот к рациональным значениям, настолько близко, насколько это по-