КАМ-теория и проблемы устойчивости - Мозер Ю.
ISBN 5-93972-056-0
Скачать (прямая ссылка):
О
/"(") - (/")* = о,
и исключая (/")*, получим
1
!v(v) ~ ^"(и) = J E(v> v+i ve) dO ф О,
О
что и требовалось.
212
Построение инвариантных кривых и множеств Мезера
Отметим, что эти рассуждения могут быть немедленно обобщены на
подынтегральные функции F(x0, х±, р), для которых FXlP = О, Fpp > 0,
FXoXl < 0, то есть для подынтегральных функций вида F =
= а(х0, р) + Ь(х0, xi).
§ 6. Теория возмущений
В общем случае предельное решение и* для минимального и(в\ a, v) является
разрывным. Однако, если а - диофантово иррациональное число, то есть для
некоторых постоянных со, т выполнено неравенство
|"-|| ^ c0q~T (20)
для всех рациональных чисел, и если h достаточно близко к h°(x0, х±), для
которого существует гладкое решение и0(в) вида
h\(u0, и+о) + h°2(u~о, и0) = 0; и0(в + 1) = и0(6) + 1, (21)
то уравнение (10) также имеет гладкое решение. Это соответствует теореме
об инвариантных кривых, доказанной итерационным методом, использующим
последовательные преобразования. Это можно считать простейшей ситуацией
приложения теории КАМ.
Обратим внимание на то, что подобный результат справедлив для уравнения
Эйлера (11): его решением и(в; a, v) является С'0О-функция. Однако,
учитывая выше упомянутые обстоятельства, можно доказать оценки \и\с-2,гз
^ М, (3 € (0, 1), которые не зависят от v и поэтому приводят к С*2'^-
решению и* для v = 0, соответствующему дважды дифференцируемой
инвариантной кривой. Несмотря на то, что этот результат не является
неожиданным, его доказательство требует иного подхода, независимого от
теории преобразований, так как уравнение (11) выражает инвариантность
соответствующих кривых только для v = 0, но не для v > 0. Этот путь
приводит к более простой итерационной процедуре, которая также применима
для задач более высокой размерности.
Сформулируем результат. Предположим, что щ(в) = в является решением
уравнения (21). Это не ограничение, потому что указанное равенство
достигается с помощью преобразования в -> ио(в). Положим
Л?(б, в + а) +Л§(0-а, в) =0.
(22)
§6. Теория возмущений
213
Кроме того, будем считать, что h°(xо, х±) - функция класса С°° в полосе
\х± - Хо - а| < р и удовлетворяет там условию (2). Затем рассмотрим
возмущенную функцию
h(x0, xi, А) = h°(x0, xi) + \h1(x0, xi, A)
с С^-функцией h1, удовлетворяющей тому же условию периодичности, что и в
(2). Наша задача - оценить решение и = и(в; а, г/, А) уравнения (11) для
достаточно малого |А|.
Теорема. При сделанных предположениях для заданного е > О и /3 Е (0, 1)
существует положительная постоянная А* = А* (е) такая, что для |А| < А*
решение и = и(в\ а, v, А), нормированное условием и = = 0 для 0 = 0,
удовлетворяет оценке
| U - в |С2,?) < ?
для всех v > 0.
Мы не будем здесь давать доказательство этой теоремы. Оно использует
квадратично сходящуюся итерационную процедуру, но не теорию
преобразований. Мы хотим явно указать, что доказательство использует
решение линейного разностно-дифференциального уравнения
Lv = g, (23)
где L - оператор, определенный уравнением (13). Правая часть - g -
полагается гладкой и имеющей период 1, от решения v также требуется,
чтобы оно имело период 1. Отметим, что Ьи$ = 0, то есть щ > 0 является
решением однородного уравнения. Из этого заключаем, что обязательным
условием совместности является
1
Juegde = 0. (24)
о
Необходимо отметить, что общим решением Lv = 0 периода 1 является v = pug
с постоянной /х, и что уравнение (23) при условии совместности (24) имеет
гладкое решение.
Для того чтобы доказать первое утверждение, положим z = ^ и перепишем
разностно-дифференциальное уравнение для z. Соответствующая формула
ueL(uez) = -v(u2eze) +V(h12(u~, и)щщ (Vz-)), (25)
214
Построение инвариантных кривых и множеств Мезера
где разностный оператор V определяется как
= (р+ - (р = (р(в + а) - 1р(в).
Умножая это выражение на г и интегрируя, получаем 1 1
J vL(v) d0 = J {vUqZq - hi2(u~, u)u0Ug (Vz-)2} d8. (26)
о 0
Поскольку hi2 < 0, из Lv = 0 заключаем, что zg = 0, то есть z = const.
To же тождество (25) может быть использовано для получения априорной
оценки для решения (23) и, таким образом, может быть использовано для
доказательства существования.
Полагая с-1 ^ ug ^ с, из уравнения (26) получим
11 1
/ vsde = / vL(v) d0 ^ 8с 2 J | Vz
о о
и так как v = щг, то 1
\Vz~\2dO <: 5 о о
или
1 11
J\Vz~\2 de ^S-'c3 j zgde = S~1c3 J\vz-)(V~1g)de
1 1
j\Vz\2 d0 ^5~2c6 j |V_1gfd0.
о 0
С помощью таких ^-независимых оценок возможно доказать теорему,
приведенную выше.
Литература
[1] V. Bangert, Mather sets for twist maps and geodesics on tori,
preprint to appear in Dynamics Reported.
[2] J. Mather, Existence of quasi-periodic orbits for twist
homeomorphisms of the annulus, Topology 21 (1982), 457-467.
[3] J. Moser, Recent developments in the theory of Hamiltonian systems,
SIAM Reviews 28 (1986), 459-485.
МИНИМАЛЬНЫЕ СЛОЕНИЯ НА ТОРЕ1
В этой работе рассматриваются слоения коразмерности 1 на торе Тт, листы
которых являются минималями (minimals) нелинейной вариационной задачи.
