КАМ-теория и проблемы устойчивости - Мозер Ю.
ISBN 5-93972-056-0
Скачать (прямая ссылка):
ни эллиптическими и вообще не принадлежат ни к одному из типов уравнений,
для которых построена сколько-нибудь содержательная теория. Напротив, эта
система весьма вырожденная и ее решение не единственно. Метод Нэша был
сформулирован в форме абстрактной теоремы о неявной функции Дж. Шварцем
[4]. Упомянем также работу [5] и приложение этих идей в работе [6].
Второй пример, который мы рассмотрим, связан с проблемой устойчивости
движения в небесной механике, а точнее, с проблемой нахождения условно-
периодических движений в задаче трех или более тел. Эта проблема известна
в течение нескольких столетий и связана с так называемыми трудностями
малых знаменателей. Первые шаги к преодолению этих трудностей сделал К.
JI. Зигель [7], [8]. Однако его результаты не могут быть использованы для
получения конкретных результатов о дифференциальных уравнениях небесной
механики.
В 1954г. А. Н. Колмогоров (см. [9], [10]) анонсировал некоторые новые
теоремы о системах дифференциальных уравнений Гамильтона, а в последующие
годы В. И. Арнольд [13] опубликовал доказательства этих теорем и получил
замечательные приложения к проблеме п тел [12]. Соответствующую задачу
также можно свести к исследованию системы нелинейных дифференциальных
уравнений в частных производных, которая ранее не поддавалась изучению,
несмотря на ряд предпринятых серьезных попыток.
Было бы трудно подробнее охарактеризовать здесь каждую из этих двух
проблем.
Оказывается, однако, что оба результата могут быть получены, по существу,
одним и тем же методом (хотя первоначальный подход Нэша представляется
иным). Поэтому мы собираемся изложить сначала идеи этого метода, оставляя
в стороне конкретные проблемы, о которых говорилось выше, и применить его
к более простой задаче, а именно к нелинейной теории положительных
симметричных систем уравнений в частных производных1, которые в линейном
случае были введены К. О. Фридрихсом в [14]. Вполне возможно, что
существует другой подход для изучения этих уравнений, но мы используем
эти
1Различие между этими задачами, которое действительно позволяет считать
задачу о симметричных системах существенно более простой, автор объясняет
в начале главы 3. - Прим. перев.
60
Быстро сходящийся метод итераций
уравнения в первую очередь для иллюстрации нашего метода. Полученные
результаты будут применены к изучению инвариантных многообразий векторных
полей, рассматривавшихся Н. Н. Боголюбовым и Ю. А. Митропольским [15],
Дилиберто [16] и Кайнером [18]1. Совсем недавно новое приложение этого
метода было найдено П. Рабиновичем в его диссертации, защищенной в 1966
г. в Нью-йоркском университете. Он установил существование периодического
решения у гиперболических дифференциальных уравнений второго порядка,
содержащих нелинейные члены высших порядков.
Последняя глава содержит обсуждение результатов А. Н. Колмогорова и В. И.
Арнольда, относящихся к небесной механике. Доказательства даются только
для упрощенного варианта задачи2.
Глава 1 Приближенные решения
В этой главе мы покажем, как построить решение нелинейной задачи с
помощью итерационного процесса, в котором на каждом шагу строятся
приближенные решения некоторого линейного уравнения. Ряд методов
нахождения таких приближенных решений линейных уравнений будет рассмотрен
в следующей главе.
Мы хотим подчеркнуть, что для выяснения сходимости процесса
предпочтительнее работать с приближенным, а не с точным решением
линеаризованных уравнений. Дело в том, что полезно сохранять высокий
порядок гладкости у приближенного решения. Оказывается, что естественный
итерационный процесс может разойтись, если на каждом шагу рассматривать
точные решения линейных уравнений.
Цель настоящей главы состоит в том, чтобы точно сформулировать эти идеи и
дать определения приближенных решений линейных и нелинейных задач. Хотя
эти понятия применяются в весьма разнообразных ситуациях, здесь мы
ограничимся простейшим случаем векторных функций на торе и квадратичных
интегральных норм.
1Недавние исследования Куики [20], касающиеся вопроса об инвариантных по-
верхностях при весьма общих предположениях, будут опубликованы в
ближайшее время.
2Имеется в виду задача о возмущении векторного поля на торе. - Прим.
перев.
Глава 1
61
§ 1. Приближение функций более гладкими функциями
а) Рассмотрим вещественные функции v(x) от п переменных Xi, ... , хп
класса С°°, имеющие период 2ж по каждой переменной. С помощью оператора
Лапласа
дх1
определим для таких функций набор скалярных произведений
д = уд(1 1 9x1
и=1 V
(v,w)p = j v(-A)pwdx (1.1)
для p = 0, 1, ... , г. В этой формуле интегрирование ведется в пределах 0
xv 27г, a dx есть сокращенная запись для элемента объема dx, ... , dxn.
При р > 0 выражение (1.1) не будет положительно определенным, так как при
v = const ||ц|| = (v, v)1!2 = 0. Однако выражение (v, w)0 + + (v, w)p
задает уже настоящее скалярное произведение, а выражение
(\\v\\l + IMIp) - невырожденную норму. В дальнейшем, там, где это не
