Интегрируемые гамильтоновы системы - Болсинов А.В.
ISBN 5-7029-0352-8
Скачать (прямая ссылка):
Ясно, что лиувиллево эквивалентные системы являются грубо лиувиллево эквивалентными (но не наоборот).
Основные понятия
65
Базой слоения Лиувилля на Q\ является некоторый одномерный граф Wh-В этом случае можно описать грубую лиувиллеву эквивалентность по-другому. Введем операцию скручивания слоения Лиувилля на Q3. Разрежем Q3 вдоль какого-то регулярного тора Лиувилля, в результате чего получим 3-многообразие с краем. Край состоит из двух торов. Склеим их обратно, применив, однако, для этого произвольный диффеоморфизм торов. Получим, вообще говоря, новое
3-многообразие со структурой Лиувиллева слоения. Скажем, что оно получено скручиванием Q3 вдоль тора Лиувилля. Две интегрируемые системы будут грубо лиувиллево эквивалентны тогда и только тогда, когда соответствующие им слоения Лиувилля получаются друг из друга в результате нескольких скручиваний.
Два последних определения, конечно, имеют смысл и для многомерных интегрируемых систем. Лиувиллеву эквивалентность интегрируемых систем можно рассматривать также и для любых инвариантных подмножеств (относительно пуассонова действия Rn). Например, в окрестности особого слоя слоения Лиувилля.
Отметим, что две интегрируемые системы с одинаковым числом степеней свободы в окрестности любых своих компактных неособых слоев (т.е. торов Лиувилля) всегда лиувиллево эквивалентны. Это сразу вытекает из теоремы Лиувилля.
Глава 2
Топология слоений, порождаемых функциями Морса на двумерных поверхностях
2.1. Простые функции Морса
Рассмотрим пространство всех гладких функций на гладком многообразии. Вопрос: как устроены типичные функции, функции общего положения? Чем они отличаются от экзотических функций? Ясно, что во многом свойства функции определяются характером ее особенностей, т. е. тех точек, в которых ее дифференциал равен нулю. Поэтому вопрос о типичности можно свести к вопросу — как устроены функции с типичными особенностями?
Рассмотрим гладкую функцию /(ж) на гладком многообразии Хп и пусть xi, ... , хп — гладкие регулярные координаты в окрестности точки х. Точка х называется критической для функции /, если дифференциал
обращается в ноль в точке х. Это эквивалентно условию обращения в ноль всех частных производных функции в данной точке. Критическая точка называется невырожденной, если второй дифференциал
невырожден в этой точке. Это эквивалентно условию, что матрица вторых частных производных имеет определитель, отличный от нуля.
Согласно известной лемме Морса [129], в окрестности каждой невырожденной критической точки всегда можно выбрать такие локальные координаты, в которых функция запишется в виде квадратичной формы:
Для каждой невырожденной критической точки число А определено однозначно и называется ее индексом. На рис. 2.1 показаны три возможных типа невырожденных критических точек для функции на двумерной поверхности: минимум, максимум, седло. Здесь же нарисованы линии уровня функции в окрестности каждой из этих особенностей. В подходящих координатах функция записывается так:
1) / = —ж2 — у2 (максимум, индекс А равен двум),
2) / = х2 + у2 (минимум, индекс А равен нулю),
3) / = —ж2 + у2 (седло, индекс А равен единице).
Л\ 2 2 2,2 , , 2
ж) = -хг - х2 - ... - жА + жА+1 + ... + хп.
Топология слоений, порождаемых функциями Морса
67
Определение 2.1. Гладкая функция называется функцией Морса, если все ее критические точки невырождены.
Имеет место важная теорема: функции Морса всюду плотны в пространстве всех гладких функций на гладком многообразии [129].
Другими словами, любую гладкую функцию сколь угодно малым шевелением можно превратить в функцию Морса. При этом сложные, вырожденные критические точки рассыпаются в объединение некоторого числа морсовских, т. е. невырожденных особенностей.
Далее известно, что если Хп — компактное замкнутое многообразие, то функции Морса образуют открытое всюду плотное в (72-топологии подмножество в пространстве гладких функций на X.
/
*'Q
Рис. 2.2
В дальнейшем через /_1(г) будем обозначать полный прообраз значения г функции /. Через а будем обозначать регулярные значения функции, т. е. такие значения, в прообразе которых нет ни одной критической точки. В этом случае f~1(a) всегда является гладким подмногообразием в Хп в силу известной теоремы о неявной функции.
Через с будем обозначать критические значения функции, т. е. такие, в прообразе которых есть хотя бы одна критическая точка.
Далее, сколь угодно малым шевелением функции Морса можно добиться, чтобы на каждом критическом уровне с, — т. е. на множестве точек ж, для которых /(ж) = с, — лежала ровно одна критическая точка. Другими словами, критические точки, попавшие на один уровень, можно развести на близкие уровни (рис. 2.2). Функции Морса, имеющие ровно по одной критической точке на каждом критическом уровне, мы будем называть простыми.
2.2. Граф Риба функции Морса
