Дифференциальные Уравнения На Торе

потоки на торе,- класс динамических систем. Примером может служить поток, порожденный групповыми сдвигами тора (как Ли группы )на элементы к.-л. Однопараметрич. Подгруппы тора. В терминах "угловых", или "циклических", координат на торе, отсчитываемых по модулю 1 (их можно рассматривать как обычные координаты в евклидовом пространстве Rn, из к-рого тор Т п получается как факторгруппа по целочисленной решетке Z п), этот поток описывается так. За время tточка х=( х 1,. ., х п )переходит в точку где w=(w1, . ., wn) - набор так наз. Базисных частот. Все траектории этого потока являются квазипериодическими функциями времени. Их свойства определяются арифметич. Свойствами базисных частот. Так, траектории периодичны, если все wi кратны одному и тому же числу.

В другом крайнем случае, когда wi линейно независимы над Z (т. Е. Никакая нетривиальная линейная комбинация с целыми ki не равна нулю), каждая траектория всюду плотно заполняет тор (говорят об иррациональной обмотке тора), а поток эргодичен (по отношению к Хаара мере на Т n. Мера Хаара естественным образом получается из меры Лебега в Rn при факторизации по Z п и сохраняется при сдвигах Tt). И даже строго эргодичен. Его спектр дискретен. Подобные потоки часто возникают в различных вопросах. Напр., для интегрируемых гамильтоноеых систем"типичные" финитные (т. Е. Остающиеся в конечной области фазового пространства) движения приводят как раз к ним (соответствующие торы суть многообразия уровня системы первых интегралов, см.

[8]). Обычно такие инвариантные торы с иррациональными обмотками имеются также и у гамильтоновых систем, достаточно близких к интегрируемым (этот вопрос тесно связан с малыми знаменателями). Для двумерного тора T2 А. Пуанкаре (Н. Poincare, [1]), А. Данжуа [2] (см. Также [3]) и X. Кнезером ([4], модифицированное изложение см. В [5], [6]) полностью выяснены возможные типы качественного поведения траекторий потоков без положений равновесия. (Из всех замкнутых поверхностей только на торе и Клейна поверхности возможны такие потоки, причем изучение потоков на последней в основном сводится к изучению потоков на торе, являющемся ее двулистной накрывающей поверхностью). Об этих потоках известно следующее. Если на поверхности имеется двусвязная область ("кольцо Кнезера",) к-рая ограничена двумя замкнутыми траекториями и внутри к-рой траектории свиваются с одной из них и навиваются на другую в противоположном направлении (см.

Рис.), то качественное поведение траекторий на поверхности напоминает поведение траекторий в ограниченной области на плоскости. В частности, все непериодич. Траектории в обе стороны по времени стремятся к периодическим. Более интересен случай (возможный лишь на торе), когда колец Кнезера нет. Это эквивалентно существованию замкнутой трансверсали L(т. Е. Замкнутой кривой, нигде не касающейся векторного поля), к-рую каждая траектория пересекает бесконечное число раз. На Lопределено отображение исследования S- гомеоморфизм, переводящий точку в первую по времени точку пересечения проходящей через хположительной полутраектории с L. Характеристикой каскада {Sn}на Lслужит число вращения Пуанкаре a. (см., например, [3].

Оно отчасти зависит от конкретного выбора L. Совершенно инвариантной характеристикой исходного потока является асимптотический цикл [14]). Согласно теореме Данжуа, если S- класса С 2 (что гарантировано при соответствующей гладкости трансверсали и исходного потока на торе) и a. Иррационально, то Sтопологически сопряжен с поворотом окружности на угол 2pa, т. Е. На Lможно так ввести циклич. Координату х, что Sпредставится в виде mod 1. (Если S- класса С 1, то это не обязательно так, см. [2].) Тогда разбиение тора на траектории с точностью до гомеоморфизма является таким же, как и в случае (1) (однако это не относится к скорости движения по ним). Гладкость замены координат, гарантируемая теоремой Данжуа, зависит (помимо гладкости S)от арифметических свойств числа вращения а.

При почти всех а из следует, что замена координат принадлежит классу С n-2 [9], но для чисел вращения, очень быстро приближающихся рациональными числами, замена координат, вообще говоря, не гладкая, даже если преобразование Sаналитическое (см. [7]). Если исходный поток на Т 2 имеет интегральный инвариант, то колец Кнезера быть не может, a S(независимо от рациональности или иррациональности а) гладко сопряжено с поворотом окружности. Таким образом, при отсутствии положений равновесия на торе существуют циклич. Координаты х, у того же класса гладкости, что и сам поток, в к-рых последний принимает вид. (здесь a- число вращения, отвечающее замкнутой трансверсали х=const). При достаточной гладкости f и надлежащих свойствах aпоток (2) можно привести к (1) (с n=2 и w=(1, a)) посредством нек-рого диффеоморфизма, в общем же случае это не всегда возможно, и даже эргодические свойства потока (2) могут отличаться от свойств потоков (1) (возможен непрерывный спектр, хотя перемешивание в гладком случае невозможно).

См. [10] (опущенные доказательства восстановлены в [11], [12]) и [13]. Лит.:[1] Пуанкаре А., О кривых, определяемых дифференциальными уравнениями, пер. С франц., М.- Л., 1947. [2] Denjоу A., "J. Math, pures et appl.", ser. 9, 1932, t. 11, № 4, p. 333-75. [3] Коддингтон Э. А., Левинсон Н., Теория обыкновенных дифференциальных уравнений, пер. С англ., М., 1958. [4] Knescr H., "Math. Ann.", 1924, Bd 91, № 1-2, S. 135-54. [5] Eeinhart В. L., "Amer. J. Math." 1959, v. 81, № 3, p. 617-31. [6] Aepplу А., Маrkus L. "Amer. J. Math.", 1963, v. 85, JVi 4, p. 633-54. [7] Apнольд В. И., "Изв. АН СССР. Сер. Матем.", 1961, т. 25, № 1, с. 21-86. [81 е г о же, "Сиб. Матем. Ж.", 1963, т. 4, № 2, с. 471-74. [9] Herman M. R., "С. Г. Acad. Sci.", 1976, t. 283, №8, p. 579 - 82. [10] Колмогоров А. Н., "Докл.

АН СССР", 1953, т. 93, № 5, с. 763-66. [11] Sternberg S., "Amer. J. Math.", 1957, v. 79, № 2, p. 397-402. [12] Шкловер М. Д., "Изв. ВУЗов. Математика", 1967, № 10, с. 113-24. [13] Кочергин А. В., "Докл. АН СССР", 1972, т. 205, № 3, с. 515-18. [14] Schwartzman S., "Ann. Math.", 1957, v. 66, JN5 2, p. 270-84. Д. В. Аносов..