CC BY
9Нелинейная динамика. 2012. Т. 8. № 2. С. 323-343. Полнотекстовая версия в свободном доступе http://nd.ics.org.ru
УДК: 517.938
М8С 2010: 34С23, 34С14, 37С05, 37С40
О бифуркациях потери симметрии в обратимых системах
Л. М. Лерман, Д. В. Тураев
Представлен обзор результатов по локальным бифуркациям обратимых систем (потоков и диффеоморфизмов), связанных с появлением пары аттрактор-репеллер при бифуркации от симметричных состояний равновесия (для потоков) и неподвижных точек (для диффеоморфизмов). Рассматриваются бифуркации коразмерности 1 в системах малой размерности (2, 3 и 4).
Ключевые слова: обратимая (реверсивная) система, обратимый диффеоморфизм, бифуркация, симметричный, состояние равновесия, неподвижная точка, потеря симметрии
1. Введение
Обратимые системы служат математическими моделями различных процессов в физике, в частности — в механике [19, 31]. Обычно обратимость — следствие некоторых специальных свойств рассматриваемого процесса. Например, если в дифференциальное уравнение входят только четные производные, как часто бывает в уравнениях Эйлера-Лагранжа и их обобщениях, то соответствующая система дифференциальных уравнений первого порядка будет обратимой относительно некоторой инволюции фазового пространства. Достаточно
Получено 20 мая 2012 года
Л. М. Лерман благодарит за финансовую поддержку при написании данной работы Российский фонд фундаментальных исследований (гранты 10-01-00429а, 11-01-00001а), а также грант Правительства Российской Федерации для государственной поддержки научных исследований, договор 11.G34.31.0039.
Д. В. Тураев благодарен за частичную поддержку гранту RPG-279 фонда Леверхульма.
Лерман Лев Михайлович lermanl@mm.unn.ru
Механико-математический факультет и НИИ прикладной математики и кибернетики Нижегородский государственный университет им. Н. И. Лобачевского 603950, Россия, г. Нижний Новгород, пр. Гагарина, д. 23
Тураев Дмитрий Владимирович d.turaev@imperial.ac.uk
Department of Mathematics, Imperial College of Science, Technology and Medicine, London SW7 2AZ ____________НЕЛИНЕЙНАЯ ДИНАМИКА. 2012. T. 8. №2. С. 323-343
общее определение обратимой системы на гладком многообразии М таково (см. [7, 25]). Предполагается, что на М действует инволюция, то есть диффеоморфизм Я: М ^ М, такой, что Я2 = гйм. Векторное поле V на М называется обратимым, или реверсивным,, относительно инволюции Я, если выполнено тождество ВЯ о v(x) = -и(Ях), х € М. Это тождество влечет основное свойство обратимой системы: если х(Ь) — решение системы, то Х1 (Ь) = Ях(-Ь) также является ее решением. При изучении обратимой системы важную роль играет множество неподвижных точек инволюции Ргх(Я), которое ниже предполагается гладким подмногообразием в М. Всюду далее в этой работе мы предполагаем все векторные поля и диффеоморфизмы достаточно гладкими, не оговаривая это специально.
Траектория векторного поля, инвариантная относительно действия инволюции, называется симметричной. Такая траектория обязана пересекать Ргх(Я). Легко видеть, что траектория может пересекать Ргх(Я) не более чем в двух точках, причем пересечение в двух точках влечет периодичность траектории, при этом она пересекает Ргх(Я) ровно через каждые полпериода [7, 32]. Состояние равновесия р является симметричным, если р € Ргх(Я). Симметричные траектории, отличные от периодических, пересекают Ргх(Я) в единственной точке: например, гомоклинические траектории к симметричным состояниям равновесия. Асимметричные траектории системы встречаются парами: 7,Я(7). Известно. что поведение обратимой системы вблизи симметричных траекторий напоминает поведение траекторий гамильтоновой системы, а поведение асимметричных траекторий может быть произвольным, как в любой диссипативной системе.
Существует аналог обратимых систем для случая дискретного времени — это обратимые диффеоморфизмы. Снова предполагается, что на гладком многообразии М гладко действует инволюция Я. Диффеоморфизм Т: М ^ М называется обратимым, если выполнено тождество Т-1 = Я о Т о Я. Отметим, что обратимый диффеоморфизм является суперпозицией двух инволюций: Т = (Я о Т-1) о Я. Такое представление позволяет строить обратимые диффеоморфизмы с различными свойствами.
Аналогично случаю потока, вводится понятие симметричных и асимметричных траекторий. Однако характеристические свойства симметричных траекторий здесь несколько иные, чем в случае обратимых потоков. Так, траектория обратимого диффеоморфизма симметрична тогда и только тогда, когда она пересекает Ргх(Я) и Е1х(Т о Я) не более чем в двух точках, при этом она пересекает это множество в точности в двух точках тогда и только тогда, когда эта траектория симметрична и периодична (с периодом > 1). Эта траектория имеет нечетный период, если и только если она пересекает оба множества. Любая симметричная периодическая траектория периода 2р содержит точку множества Ргх(Я) П Тр(Е1х(Я)) или Егх(Т о Я) П Тр(Ргх(Т о Я)), а симметричная траектория периода 2р + 1 содержит точку из Ргх(Я) П Тр(Е1х(Т о Я)) (подробнее см. в [19]).
В прикладных задачах, описываемых обратимыми системами, часто наблюдается такое явление: в некоторой области изменения параметров система демонстрирует устойчивый симметричный режим, но при переходе через критическое значение параметра у нее возникает пара из асимметричных асимптотически устойчивого и асимптотически неустойчивого режимов, симметричных друг другу. Нас будут интересовать именно такие бифуркации, и мы будем называть их бифуркациями потери симметрии. Цель данной работы в основном методическая: представить основные локальные бифуркации обратимых систем, связанные с рождением таких пар. Поскольку результаты по бифуркациям обратимых систем рассеяны по различным работам [16, 20, 30], мы решили написать небольшой обзор в надежде, что это будет полезно как специалистам, так (в основном) и тем, кто хотел бы ознакомиться с имеющими здесь результатами и дополнить их своими исследования-
ми. Мы ограничиваемся самыми простыми бифуркациями — коразмерности 1, в системах малой размерности (2, 3 и 4).
2. Обратимые двумерные потоки
Начнем с бифуркаций симметричных состояний равновесия в двумерных системах. Ввиду локальности задачи, всегда можно предполагать, что координаты (х, у) в окрестности состояния равновесия выбраны так, что действие инволюции в этих координатах линейно (это всегда можно сделать по теореме Бохнера-Монтгомери [2]). Основной случай здесь — это инволюция Я(х,у) = (х, -у). Действительно, есть только два случая, когда линейная инволюция не приводится к данному виду линейной заменой координат, а именно: Я(х,у) = (х,у) и Я(х,у) = (-х, -у). В первом случае единственная обратимая система — это х = 0, у = 0, и ее динамика тривиальна. Во втором случае система х = = Р(х,у), у = Q(x, у) обратима тогда и только тогда, когда обе функции Р и Q — четные: Р(-х, -у) = Р(х,у), Q(—x, -у) = Q(x, у). Симметричное состояние равновесия — всегда неподвижная точка инволюции. В рассматриваемом случае такая точка единственна (это начало координат), и, значит, для существования симметричного равновесия необходимо наложить на систему два независимых условия типа равенства (Р(0, 0) =0 и Q(0, 0)) = 0 в выбранных координатах). Таким образом, если инволюция имеет вид Я(х,у) = (-х, -у), то существование симметричного равновесия — это бифуркация коразмерности 2, а их мы здесь не рассматриваем.
Итак, мы считаем, что инволюция имеет вид Я(х,у) = (х, -у). Тогда система х = = Р(х, у), у = Q(x, у) обратима тогда и только тогда, когда Р(х, -у) = -Р(х, у), Q(x, -у) = = Q(x, у). Мы будем считать, что рассматриваемое векторное поле достаточно гладкое. Тогда условие обратимости записывается в виде Р(х,у) = у/(х,у2), Q(x,y) = д(х,у2), где / и д — произвольные достаточно гладкие функции (и д(0, 0) =0). Таким образом, обратимая система в окрестности симметричного состояния равновесия имеет вид
Матрица линеаризации А обратимого векторного поля (2.1) в симметричном состоянии равновесия в нуле имеет вид
где а = /(0,0) и Ь = д'х{0,0), а собственные числа матрицы А равны А^2 = ±л/—а(3. В общем случае ав = 0, и состояние равновесия является либо седлом (если ав < 0), либо центром (если ав > 0). В последнем случае собственные числа чисто мнимые, что означает, что траектории из малой окрестности состояния равновесия должны вращаться вокруг него и, следовательно, пересекать линию у = 0 более чем в одной точке. Так как у = 0 — линия неподвижных точек инволюции Я, то все эти траектории замкнуты, то есть состояние равновесия окружено непрерывным семейством периодических траекторий и действительно является центром (в частности, оно устойчиво по Ляпунову).
Вырожденный случай отвечает ав = 0, при этом А^2 = 0 — двукратное собственное значение. Если а = 0, то функция / не обращается в нуль в окрестности начала координат, поэтому как сама система, так и любая достаточно близкая к ней обратимая система
Х = V/(х,у2), у = д(х,у2).
(2.1)
(2.2)
могут иметь равновесия только при у = 0, то есть только симметричные равновесия. Соответственно, асимптотически устойчивых равновесий в этом случае возникать не может. Вообще, система в данном случае интегрируема в окрестности нуля: интегральные кривые задаются уравнением
у2
— = р(х, С),
где С — произвольная постоянная, а гладкая функция р определяется как решение задачи Коши
йр д(х, 2р)
с1,х /(ж, 2р) ’
р(0,С)= С
(напомним, что / = 0). Соответственно, динамика в этом случае всегда консервативна. В частности, если имеется невырожденное параболическое состояние равновесия (то есть д'х (0, 0) = = 0 и /(0, 0) = 0, д1Х£Х(0, 0) = 0), то при общем однопараметрическом возмущении в классе обратимых систем в одну сторону по параметру состояние равновесия исчезает, а в другую — равновесие распадается на симметричные центр и седло с симметричной петлей сепаратрисы, охватывающей центр, полностью аналогично бифуркации параболического равновесия в гамильтоновых системах.
В случае а = 0 ситуация отличается от гамильтоновой. Мы рассматриваем только бифуркации коразмерности 1, то есть мы будем в дальнейшем предполагать в = 0 в матрице А. В этом случае дХ = 0, поэтому мы можем сделать замену переменной х так, что д(х,у2) = х. Тогда произвольная обратимая система, близкая к (2.1), принимает вид
х = у(е + ах + Ъу2 + С(х2 + у4)), у = х, (2.3)
где е — малый параметр. Нормировкой у У 5, х Х52, Ь т/5 на малый масштабный фактор 5 система приводится к виду
Х = У (Е + аХ + ЪУ2 + 0(5)), У = X,
где параметр Е = е/52 может пробегать произвольные конечные значения. Несложно проверить, что для типичных значений а и Ъ (это Ъ > 0 или Ъ < 0,а = 0,а2 = 8|Ъ|, см. ниже) малые члены 0(5) не влияют на бифуркации фазовых портретов при изменении Е. Таким образом, если мы эти члены отбросим и вернемся к неотмасштабированным переменным, то получим версальное семейство:
х = у(е + ах + Ъу2), у = х.
Деформации фазового портрета показаны на рисунке 1. Симметричное состояние равновесия в нуле не исчезает при изменении е, но меняет устойчивость: при е < 0 это центр, а при е > 0 — седло. Других симметричных равновесий здесь не возникает, зато при переходе в область Ъе < 0 из нуля рождается пара асимметричных состояний равновесия, лежащих на оси х = 0. При Ъ > 0 оба асимметричных равновесия — седла, их сепаратрисы совпадают и образуют контур, ограничивающий ячейку, заполненную периодическими траекториями. Как мы видим, динамика в случае Ъ > 0 консервативна (хотя дивергенция векторного поля в асимметричных седлах отлична от нуля при а = 0 и интегрирующий множитель имеет, соответственно, особенность в этих точках). По-настоящему неконсервативная динамика возникает в случае Ъ < 0. Здесь при а = 0 одно из асимметричных равновесий, рождающихся при е > 0, асимптотически устойчиво, а другое — асимптотически неустойчиво.
Случай Ь > О
Случай Ъ < О, О < а2 < 8|&|
Случай Ь < О, а2 > 8|Ь|
Рис. 1. Фазовые портреты версальных семейств.
Отметим, что хотя топологический тип состояний равновесий при е > 0 один и тот же при всех а = 0, фазовые портреты при а2 > 8|Ъ| и 0 < а2 < 8|Ъ| различны (в частности, асимметричные состояния равновесия — узлы при а2 > 8|Ъ| и фокусы при 0 < а2 < 8|Ъ|). Разные типы имеет и симметричное состояние равновесия при е = 0: это центр при 0 < а2 < 8|Ъ|, а при а2 > 8| Ъ| оно неустойчиво и имеет эллиптический и параболический секторы.
Бифуркации в общих двупараметрических семействах обратимых векторных полей на плоскости изучены в [30] (см. также недавнюю книгу [16]), там же повторены результаты
[20], касающиеся бифуркаций коразмерности 1; в обеих работах были использованы другие версальные семейства.
3. Двумерные обратимые диффеоморфизмы
Теперь рассмотрим аналог описанных бифуркаций для двумерных обратимых отображений в окрестности симметричной неподвижной точки. Такие отображения возникают, в частности, как отображения Пуанкаре в окрестности симметричной периодической траектории трехмерного обратимого векторного поля. Удобно выбрать секущую к симметричной периодической траектории 7 таким образом, чтобы она была R-инвариантна и содержала все точки множества Fix(R) из некоторой малой окрестности точки ее пересечения с 7. Заметим, что получаемое отображение Пуанкаре сохраняет ориентацию, и именно такие обратимые отображения в окрестности симметричной неподвижной точки мы будем рассматривать. Как и в рассмотренном выше случае обратимых векторных полей на плоскости, мы считаем, что в подходящих координатах (x, у) около неподвижной точки (0, 0) инволюция действует как R: (x,y) ^ (x, -у).
Матрица линеаризации A обратимого отображения T в симметричной неподвижной точке удовлетворяет соотношению RAR = A-1, поэтому если Л — ее собственное число, то Л-1 также является собственным числом. Таким образом, в общем случае имеем либо эллиптическую точку (Л^2 = в±га, а = 0,п), либо ориентируемое седло (Л^2 = {Л, Л-1}, 0 < Л < 1), либо неориентируемое седло (Л1>2 = {Л, Л-1}, — 1 < Л < 0).
Динамика обратимого отображения возле эллиптической точки напоминает динамику вблизи равновесия типа центр: в общем случае эллиптическая точка окружена семейством замкнутых инвариантных КАМ-кривых [25], которые заполняют множество почти полной меры в малой окрестности неподвижной точки. Ограничение отображения на КАМ-кривую сопряжено повороту на иррациональный угол; при удалении от неподвижной точки число вращения меняется монотонно, то есть число вращения различно на различных КАМ-кри-вых. Однако КАМ-кривые заполняют окрестность неподвижной точки не полностью: рациональным числам вращения отвечают резонансные зоны между КАМ-кривыми, и динамика в этих зонах в типичном случае хаотическая. Заметим также, что при изменении аргумента а комплексных собственных чисел Л12 (если отображение зависит от параметра) эллиптическая точка непрерывно бифурцирует: когда а/2п проходит через рациональное значение p/q от неподвижной точки рождаются точки периода q (и формируется соответствующая резонансная зона). Хотя все это очень напоминает поведение вблизи эллиптической точки сохраняющих площадь отображений, имеется и существенное отличие: в резонансных зонах могут возникать асимметричные асимптотически устойчивые и асимптотически неустойчивые периодические точки [13].
Переход от эллиптической точки к седлу происходит при значениях параметров, отвечающих двукратному собственному числу Л^2 = 1 или Л^2 = —1. В типичном однопараметрическом семействе обратимых диффеоморфизмов здесь имеется жорданова клетка матрицы линеаризованного отображения, то есть матрица A имеет только один собственный вектор, который мы обозначим £. Так как в силу обратимости А£ = Л£ влечет A(R£) = Л-1Д£ и, в нашем случае, Л = Л-1, то получаем, что либо R£ = £, либо R£ = — —£. В первом случае (так же, как в случае обратимых векторных полей с а = 0 в (2.2)) бифуркации в общем однопараметрическом семействе обратимых диффеоморфизмов аналогичны соответствующим бифуркациям симплектических диффеоморфизмов плоскости при переходе через параболическую точку. Так, если Л = 1 и R£ = £, то данное отображение (а также любое близкое к нему обратимое гладкое отображение) в окрестности симметричной неподвижной точки можно привести к следующему виду [22]:
х = х + 2у + hn(x + у) + ..., у = у + hn(x + у) + ..., (3.1)
где функция Нп — полином порядка п, а многоточия означают члены порядка п + 1 и выше, то есть с точностью до членов сколь угодно высокого порядка отображение в окрестности нуля аппроксимируется сохраняющим площадь отображением. В общем однопараметрическом семействе функция кп(п) имеет вид Н(и) = е + аи2 + ..., где а = 0. Аналогичная консервативная нормальная форма может быть выписана и в случае Л = —1:
х = -х -2у - Кп{х + у) + ..., у = -у - Кп{х + у)+ • • •, (3.2)
где Нп — нечетный полином порядка п. В общем однопараметрическом семействе такая функция Нп(и) имеет вид Н(и) = еи + аи3 + ..., а = 0.
Отметим, что хотя мы и получаем консервативные аппроксимации сколь угодно высокого порядка, полностью консервативной динамика не становится: возле симметричных эллиптических траекторий, которые рождаются при данных бифуркациях, хаотическая динамика в резонансных зонах, вообще говоря, неконсервативна, как мы уже отмечали. Кроме того, неконсервативное поведение возникает в стохастическом слое вблизи расщепленных сепаратрис (см. ниже).
Рассмотрим теперь случай К£ = —£. Заметим, что если отображение обратимо относительно инволюции Л, то К' = Т о К тоже является инволюцией, и отображение обратимо также и относительно К': (Т о К) о Т о (Т о К) = К о Т-1 о Т о К о Т-1 = Т-1. В случае Л = —1, если К£ = —£, то АК£ = £, где А — матрица линеаризации отображения Т в неподвижной точке. Поэтому в координатах, в которых инволюция К' линейна, мы получаем К'£ = £, и поэтому отображение вновь приводится к нормальной форме (3.2).
Остается рассмотреть случай К£ = —£ с Л = 1. Как известно, отображение вблизи неподвижной точки с мультипликаторами, равными единице, может быть аппроксимировано, до любого конечного порядка малости, сдвигом на единицу времени по траекториям некоторой автономной системы дифференциальных уравнений [29]. Такая система называется потоковой нормальной формой. Если у(и) — векторное поле на плоскости переменных и = (х,у), такое, что сдвиг на единицу времени по траекториям соответствующей системы аппроксимирует отображение Т вблизи неподвижной точки с точностью до членов степени п, то сдвиг на единицу времени по траекториям системы, заданной векторным полем w(u) = = —Ку(Ки), аппроксимирует отображение КТ-1К также с точностью до членов степени п. Если Т реверсивно, то Т = КТ-1К; таким образом, имеем, что сдвиг на единицу времени по траекториям системы, заданной векторным полем w, аппроксимирует сдвиг по траекториям системы, заданной векторным полем V, (и отображение Т) с точностью до членов степени п; следовательно, то же самое верно и для векторного поля (V + w)/2. Последнее векторное поле обратимо по конструкции, поэтому получаем, что реверсивное отображение вблизи неподвижной точки с мультипликаторами, равными единице, имеет обратимую потоковую нормальную форму до любого порядка малости.
Неподвижная точка отображения отвечает состоянию равновесия потоковой нормальной формы, матрица линеаризации в состоянии равновесия получается логарифмированием матрицы линеаризации исходного отображения в неподвижной точке (см. подробнее в [26]). Соответственно, потоковая нормальная форма для обратимого отображения вблизи неподвижной точки с парой мультипликаторов, равных единице, имеет вид (2.1). Более того, случай К£ = — £ отвечает а = 0 (2.2), поэтому нормальная форма может быть записана в виде (2.3).
Таким образом, бифуркации рассматриваемых отображений происходят так же, как изображено на рисунке 2. Конечно, траектории отображения не совпадают с фазовыми кривыми потоковой нормальной формы, но отслеживают их с достаточно малыми поправка-
ми. В частности, паре из асимптотически устойчивого и неустойчивого равновесий в случае Ъ < 0 отвечают асимптотически устойчивая и асимптотически неустойчивая неподвижные точки отображения, то есть мы имеем здесь бифуркацию потери симметрии. Седловым состояниям равновесия в нормальной форме отвечают седловые неподвижные точки в исходном отображении, симметричным состояниям равновесия типа центр — эллиптические неподвижные точки, симметричным периодическим траекториям — КАМ-кривые (для иррациональных чисел вращения, удовлетворяющих диофантовым условиям).
Важное отличие от случая векторных полей состоит в том, что устойчивые и неустойчивые сепаратрисы для типичного отображения не совпадают, как в нормальной форме (случаи Ъ > 0 и Ъ < 0, а2 > 8|Ъ|), а пересекаются трансверсально, что приводит к хаотической динамике в малой окрестности сепаратрис (образуется так называемый стохастический слой). При этом в общих однопараметрических семействах таких диффеоморфизмов появляются вторичные касания устойчивой и неустойчивой сепаратрис. Это приводит к тому, что в стохастическом слое сосуществуют асимптотически устойчивые, асимптотически неустойчивые и эллиптические периодические траектории (так называемое явление смешанной динамики, для которого характерно, что консервативное и неконсервативное поведение в каком-то смысле неотделимы друг от друга) [6, 21]. Таким образом, даже в случае Ъ > 0, когда динамика в нормальной форме консервативна, в исходном отображении можно обнаружить неконсервативное поведение.
4. Обратимые 3-мерные и 4-мерные векторные поля
Рассмотрим теперь трехмерное обратимое относительно гладкой инволюции К векторное поле V, имеющее симметричное состояние равновесия О. Пусть О находится в начале координат. По теореме Бохнера-Монтгомери всегда можно так выбрать координаты (х,у,г), что действие инволюции К в окрестности начала координат будет линейным. Линеаризация поля V в точке О есть линейный оператор А, удовлетворяющий тождеству КА = = —АК. Спектр такого оператора состоит из чисел (0, Л, —Л) (заметим, что КА = —АК влечет ёе1(А) = — ёе1(А) = 0 из-за нечетности размерности пространства).
Далее нужно рассмотреть два различных случая в зависимости от размерности множества неподвижных точек инволюции — подпространства Е1х(К). Эти случаи — ё1ш(^гх(К)) = = 1 и ё1ш(^гх(К)) = 2 (как и раньше, мы не рассматриваем случай ё1ш(^гх(К)) = 0, потому что наличие состояния равновесия в единственной неподвижной точке инволюции — это явление коразмерности 3 для векторных полей в трехмерном пространстве; случай ё1ш(^гх(К)) = 3 также неинтересен, так как единственное векторное поле, обратимое относительно тождественного отображения, — это V = 0).
Тогда можно считать, что инволюция действует как К: (х, у, г) ^ (—х, —у, г), и общий вид такого обратимого векторного поля следующий:
где функции ¡‘,д,Ь,1,2 — четные по (х,у) (инвариантные относительно действия инволюции). Линия Егх(К) в данном случае — ось г. Система имеет состояние равновесия на этой оси при условии f (0, 0,г) =0 и д(0, 0, г) = 0. Это два уравнения относительно одной переменной г; следовательно, наличие у системы вида (4.1) симметричного состояния равновесия — это явление коразмерности 1. Соответственно, мы должны рассматривать бифуркации в однопараметрических семействах систем вида (4.1). При этом, поскольку
х = / (х, у, г), у = д(х,у,г), г = хЬ (х,у,г)+уЬ,2(х,у,г),
(4.1)
мы не рассматриваем здесь бифуркации коразмерности 2 и выше, в момент существования симметричного состояния равновесия мы будем накладывать на систему дополнительные условия типа неравенства. В частности, предполагая, что в момент бифуркации симметричное состояние равновесия находится в нуле, мы потребуем, чтобы следующий 2-вектор был ненулевым:
д("[,д\0,0,0) ф 0. (4.2)
дх
Поскольку / и д — четные по (х,у) функции, то матрица линеаризации А системы (4.1) в нуле имеет вид
0 0 а\
0 0 а
в1 в 0
где а1 = Д(0, 0, 0), а = дх(0, 0, 0), в1 = Н1(0, 0, 0) и в = Ь2(0, 0, 0). В силу (4.2) имеем а2 + а2 = 0, и мы всегда можем выбрать координаты (х,у) так, чтобы а1 = 0 и а = 0. Мы также предположим в = 0, и тогда дополнительной заменой переменной у добиваемся в1 = 0. Таким образом, система принимает вид
х = л + ..., у = аг + ..., г = ву + ..., (4.3)
где л — малый параметр, многоточия обозначают члены второго порядка малости и выше, четные по (х,у) в уравнениях для х и у и нечетные по (х,у) в уравнении для г, и коэффициенты а и в — ненулевые.
Симметричное состояние равновесия у этой системы существует при л = 0, при этом собственные числа матрицы линеаризации А равны 0, ±А, где Л = \J-aj3. В случае а[3 < 0 (квазигиперболический случай) собственные числа (Л, —Л) ненулевые и вещественные. Здесь в окрестности нуля имеется гладкое центральное многообразие: гладкая инвариантная кривая, которая при л = 0 касается в нуле оси х — собственного направления, отвечающего нулевому собственному числу. Трансверсально центральному многообразию поведение сед-ловое: мы имеем сжатие по направлению, отвечающему собственному числу —Л, и растяжение по направлению, отвечающему Л; при всех малых л все траектории с начальными условиями вне центрального многообразия покидают окрестность нуля либо при Ь — +ю, либо при Ь —— —сю. Таким образом остается исследовать поведение на центральном многообразии. Хорошо известно (см. [16]), что локальное центральное многообразие обратимого векторного поля в окрестности симметричного состояния равновесия инвариантно относительно действия инволюции. Это означает в нашем случае, что центральное многообразие — это гладкая инвариантная кривая вида {у = р(х,л),г = д(х,л)}, где р — нечетна, а ц -четна по х. Ограничение системы на такую кривую имеет вид х = ф(х,л) с четной по х функцией ф. В общем случае имеем
х = л + ах2 + о(х2'),
где а = 0. Таким образом, система (4.3) имеет при л = 0 состояние равновесия типа седло-седло [26], которое при ал < 0 распадается на два асимметричных седла разных типов, соединенных симметричной гетероклинической траекторией, а при ал > 0 равновесие исчезает. Иными словами, бифуркация седло-седла в обратимых трехмерных векторных полях в случае ё1ш(^гх(К)) = 1 практически не отличается от общего случая.
Отметим, что центрально-неустойчивое многообразие седло-седла при л = 0 двумерно, поэтому его неустойчивая часть (где все траектории выходят из седло-седла) может трансверсально пересекать линию неподвижных точек инволюции в некоторой точке, отличной от нуля. Соответствующая траектория симметрична и, следовательно, образует гомоклини-ческую траекторию к седло-седлу, то есть принадлежит пересечению неустойчивой части центрально-неустойчивого многообразия с устойчивой частью центрально-устойчивого многообразия. В общем случае можно предполагать это пересечение трансверсальным. Тогда при исчезновении седло-седла рождается симметричная седловая периодическая траектория. Если в бифуркационный момент имеется более одной симметричной гомоклинической траектории, то при исчезновении седло-седла рождается нетривиальное симметричное гиперболическое множество. Если седло-седло имеет асимметричную гомоклиническую траекторию, то существует и другая асимметричная гомоклиническая траектория, симметричная исходной. Из этой пары после исчезновения седло-седла также рождается нетривиальное симметричное гиперболическое множество (о бифуркациях гомоклинических петель седло-седла см. в [27]).
Рассмотрим теперь квазиэллиптический случай. Здесь ав > 0 в (4.3) и состояние равновесия при л = 0 имеет одно нулевое и пару чисто мнимых комплексно-сопряженных чисел (где и = \Jaj3). Здесь, вообще говоря, не существует одномерного центрального многообразия, то есть редукцию к меньшей размерности полностью провести нельзя. Тем не менее, достаточно подробное исследование можно выполнить с помощью метода нормальных форм: нерезонансные члены можно убивать нормализующими преобразованиями, которые не меняют вид инволюции К: (х, у, г) — (—х, —у, г). Таким образом, с точностью до членов сколь угодно высокого порядка малости система (4.3) приводится (ср. [16]) к нормальной форме
( х = л + /(х2,у2 + г2),
< у = худ(х2,у2 + г2') — П(х2, у2 + г2)г, (4.4)
( г = хгд(х2,у2 + г2) + П(х2,у2 + г2)у,
где /(0, 0) = 0, 0(0, 0) = и = 0, и мы будем предполагать д(0, 0) = 0. В полярных координатах у + гг = тегф система записывается
х = л + р(х2,т2), г = хтд(х2,т2'), ф = 0(х2,т2)=0,
и мы видим, что в нормальной форме эволюция переменных (х, т) не зависит от ф, а эволюция переменной ф тривиальна. Система для переменных (х, т) обратима относительно инволюции х — —х. В главном порядке (после дополнительного масштабирования) эта система превращается в
х = л + ах2 + Ът2, Т = хт. (4.5)
Будем считать, что коэффициенты а и Ъ отличны от нуля. Мы получаем 4 случая в зависимости от комбинаций знаков а и Ъ. Их легко изучить, соответствующие фазовые портреты в полуплоскости т ^ 0 приведены на рисунке 2. Заметим, что система (4.5) возникает как частный случай нормальной формы для бифуркаций состояний равновесия с собственными числами (0, ±ги) в семействах общих и бездивергентных векторных полей; более подробный ее анализ см. в [4, 9, 10, 15, 18].
Фазовые портреты нормальной формы (4.4) получаются из фазовых портретов системы (4.5) вращением вокруг оси х. Так, асимметричным состояниям равновесия (устойчивым,
Г
*
X
©
а < О, Ъ > О
/х = О
Рис. 2. Фазовые портреты нормальных форм.
неустойчивым, седловым) системы (4.5) на оси т = 0 отвечают асимметричные состояния равновесия такого же типа в системе (4.4) (точнее, седла становятся седло-фокусами: седла, устойчивые на оси х, приобретают двумерное неустойчивое многообразие, а неустойчивые на оси х — двумерное устойчивое многообразие). Симметричным состояниям равновесия (седла и центры) на оси (х = 0,т = 0) отвечают симметричные периодические траектории системы (4.4). Симметричным периодическим траекториям системы (4.5) (случаи Ъ < 0,л > 0) отвечают симметричные двумерные инвариантные торы (4.4). При малых сохраняющих обратимость возмущениях (в частности, при переходе от нормальной формы к полной исходной системе) состояния равновесия и периодические траектории системы (4.5) сохраняются. Симметричные двумерные инвариантные торы все, вообще говоря, не сохраняются, но на их месте остается множество почти полной меры, заполненное
КАМ-торами (см. [25]). Гетероклиническая связка (отрезок оси х) между асимметричными седло-фокусами в случаях а < 0,л > 0 не сохраняется в полной системе (которая не обязана, в отличие от нормальной формы (4.4), иметь вращательную симметрию), но может существовать для дискретной последовательности значений параметра л — эта связка симметрична и возникает, когда одномерная неустойчивая сепаратриса седло-фокуса пересекает одномерную же линию Ргх(К), то есть это явление коразмерности 1. Отметим также, что в случае а < 0, Ъ < 0, л > 0 в нормальной форме (4.4) двумерные сепаратрисы седло-фокусов совпадают. Это вырождение бесконечной коразмерности, обусловленное вращательной симметрией, поэтому в исходной системе следует ожидать расщепления двумерных сепаратрис и возникновения их трансверсальных пересечений. Более того, одномерные сепаратрисы могут ложиться на двумерные, то есть подобно тому, как это происходит в случае бифуркаций состояний равновесия с собственными числами (0, ±ги) в векторных полях общего типа [15, 28], образуются гомоклинические петли седло-фокуса и шильниковский хаос.
Перейдем к случаю ё1ш(^гх(К)) = 2. Здесь предполагается (без ограничения общности), что инволюция действует как К: (х,у,г) — (х,у, —г), и общий вид гладкого обратимого векторного поля следующий:
Прежде чем начинать исследование бифуркаций, сделаем несколько общих замечаний о поведении систем вида (4.6). Во-первых, отличные от состояний равновесия траектории всегда пересекают плоскость неподвижных точек инволюции г = 0 трансверсально. Поэтому для любой симметричной периодической траектории, т. е. такой траектории, которая пересекает г = 0 дважды, все близкие траектории также будут пересекать г = 0 дважды и, следовательно, будут симметричными периодическими траекториями. Таким образом, симметричные периодические траектории системы (4.6) всегда заполняют открытые области. Другое наблюдение состоит в том, что симметричные состояния равновесия здесь определяются единственным соотношением Н(х, у, 0) = 0, то есть в общем случае такие равновесия заполняют кривые на плоскости г = 0. Нулевое собственное число отвечает направлению, касательному к этой линии. Трансверсально кривой состояний равновесия поведение в типичном случае либо около седла (при Н'х / + Ыуд > 0), либо около центра (при Ых/ + Ыуд < 0). Все траектории вблизи линии центров вращаются вокруг этой линии, то есть они — симметричные периодические. Линия седловых равновесий является пересечением инвариантных двумерных устойчивого и неустойчивого многообразий. Если какая-либо траектория из неустойчивого многообразия пересекает плоскость г = 0, то, по обратимости, эта траектория и принадлежит устойчивому многообразию, и образует гомоклиническую петлю. Более того, так как пересечение траектории с плоскостью г = 0 всегда трансверсально, то все близкие траектории в неустойчивом многообразии также обязаны пересекать эту плоскость, то есть симметричные гомоклинические петли также образуют однопараметрические семейства. Очевидно, поверхности, образованные семействами гомоклинических петель, ограничивают области, заполненные симметричными периодическими траекториями.
Как мы видим, для исследования динамики системы вида (4.6) необходимо найти линии симметричных состояний равновесия, определить области, заполненные симметричными периодическими траекториями, и понять, каким образом симметричные траектории соседствуют в фазовом пространстве с несимметричными траекториями. Последние не пересекают плоскость г = 0 и, следовательно, лежат целиком по одну сторону от нее. По обратимости, поведение в области г < 0 полностью восстанавливается по поведению в области
х = г/(х,у,г2), у = гд(х,у,г2), г = Н(х,у,г2).
(46)
z > 0. Для исследования траекторий, лежащих в области z > 0, мы можем сделать замену переменных z2 = и и времени zdt = dr. Система принимает вид
x = f (x, y, и), y = g(x, y,u), U = 2h(x, y, u).
В принципе, здесь возможно любое, сколь угодно сложное поведение, но, как мы увидим, при переходе состояния равновесия через бифуркацию потери симметрии в случае коразмерности 1 эта система в главном порядке линейна, и ее неблуждающее множество состоит из единственного равновесия, что позволяет исследовать соответствующую бифуркацию достаточно полно.
Перейдем к рассмотрению бифуркаций симметричных состояний равновесия. Отметим, что так как такие состояния равновесия составляют кривые, то тип состояния равновесия может изменяться при движении вдоль кривой, то есть бифуркации могут здесь происходить, даже когда система не зависит от параметров (ср. [8]). Тем не менее, мы заинтересованы в первую очередь в бифуркации потери симметрии, а она в данном классе систем оказывается явлением коразмерности 1. Действительно, пусть (xo,yo, 0) — состояние равновесия (то есть h(xo, yo, 0) =0). Если хотя бы одна из функций f, g не обращается в нуль в точке (xo,yo, 0), то система в малой окрестности этой точки интегрируема. Пусть, например, f (xo,yo, 0) = 0. Тогда мы можем переписать систему (4.6) в окрестности точки (xo,yo, 0) в виде
dy = д(х, у, и) ¿и = 2Цх,у,и)
dx f(x, у, и) ’ dx f(x, у, и) ’
где и = z2. Пусть и = p(x,C\,C2), y = q(x,C\,C2) — решение задачи Коши y(x0) = C\, u(xo) = C2 для этого уравнения. Вблизи y = yo, и = 0, x = xo числа C\, C2 являются гладкими функциями от (x,y,и = z2), и они, очевидно, служат интегралами системы (4.6). Мы можем, в частности, принять C\ за новую переменную y. Тогда система (4.6) в окрестности точки (xo ,yo, 0) примет вид
x = zf (x,y,z2), y = 0, z2 = p(x,y,C).
Соответственно, на каждой инвариантной плоскости y = const мы имеем здесь интегрируемую систему, и задача о бифуркациях сводится к исследованию перестроек в семействах двумерных консервативных систем.
Таким образом, для того чтобы могла произойти бифуркация потери симметрии, необходимо потребовать f (xo,yo, 0) =0 и g(xo,yo, 0) = 0. Вместе с условием h(xo,yo, 0) = 0 это три условия на две переменные xo и yo, то есть мы действительно имеем дело с вырождением коразмерности 1. Не уменьшая общности, полагаем xo = yo = 0. Заметим, что матрица линеаризации системы (4.6) в симметричном состоянии равновесия при выполнении условий f = g = 0 имеет вид
/ \
0 0 0
0 0 0 •
уа в 0 j
Эта матрица имеет два независимых собственных вектора, e = (в, -а, 0) и f = (0, 0,1), отвечающих нулевому собственному числу, причем
Re = e, Rf = -f (4..7)
(если а = в = 0, возьмем е = (1, 0, 0)). Как мы видим, наличие пары собственных векторов, удовлетворяющих условию (4.7), служит необходимым условием для бифуркации потери симметрии.
Наложим на систему вблизи нуля дополнительное условие типа неравенства:
(К )2 + (у )2 = 0.
Мы всегда можем выбрать координаты (х,у) так, чтобы Н'у = 0. Тогда мы можем выбрать переменную у так, что у = Н(х,у, г2). При этом условии потребуем д'х = 0, что позволяет выбрать переменную х так, что х = д(х,у,г2). Система (4.6) принимает вид
Х = г(е + ах + Ьу + ег2 + 0(х2 + у2 + г4)), у = гх, г = у, (4.8)
где е — малый параметр. Потребуем е = 0. Тогда, после нормировки переменных г и у, мы
можем считать е = —1. Получаем, что в главном порядке рассматриваемая бифуркация описывается нормальной формой
х = г(е + ах + Ьу — г2), у = гх, г = у. (4.9)
При е > 0 у этой системы имеется пара асимметричных состояний равновесия вне
плоскости г = 0:
0± = (0,0, ±л/ё).
Матрица линеаризации в 0+ равна
а\[г Ьл/е ■ —2е
Ф 0 0
0 1 0
Ее характеристический многочлен равен
Л3 — а.л/еХ2 — Ьб\ -\- 2Е \/~Ё.
Получаем, что точка 0+ асимптотически устойчива при
а < 0, Ь < 0, аЬ > 2. (4.10)
Соответственно, точка 0- — асимптотически неустойчива в той же области значений параметров а, Ь. Для значений а и Ь из внутренней части дополнения к области (4.10) состояния
равновесия 0± — седловые (0+ — с двумерным неустойчивым многообразием, 0- — с одномерным).
Отметим, что динамика нормальной формы (4.9) (и, следовательно, исходной системы в окрестности рассматриваемого состояния равновесия) достаточно проста. Действительно, пусть г > 0. После замены и = г2, г ЛЬ = йт система (4.9) становится линейной:
х = е + ах + Ьу — и, у = х, и = 2у.
Соответственно, при а, Ь из области
{аЬ = 2}и {а > 0}и{Ь > 0} (4.11)
те ее траектории, которые не уходят на бесконечность, должны стремиться к состоянию равновесия (x = 0,y = 0,u = е). Для системы (4.9) это означает, что ее траектории либо уходят на бесконечность (для исходной системы это означает уход из малой окрестности нуля), либо стремятся к состоянию равновесия, либо пересекают плоскость неподвижных точек инволюции z = 0. По обратимости, то же самое верно и для траекторий из области z < 0. Так как траектория, пересекающая z = 0 дважды, обязательно периодическая, получаем, что при a,b из области (4.11) все ограниченные траектории либо симметричные периодические, либо стремятся к состоянию равновесия. При этом фазовое пространство разбивается на области, заполненные либо симметричными периодическими траекториями, либо (при a,b из области (4.10) и е > 0) траекториями, соединяющими репеллер O-
с аттрактором O+, либо неограниченными траекториями; границы областей составлены из линии симметричных состояний равновесия и сепаратрис седел (симметричных и, если есть, асимметричных).
В заключение рассмотрим пример коразмерности 1 бифуркации нарушения симметрии в четырехмерных векторных полях (следуя [16, 33]). Здесь dim(_F¿x(R)) = 2, и матрица линеаризации А векторного поля в симметричном состоянии равновесия имеет двойное нулевое собственное число (с жордановой клеткой) и пару чисто мнимых. Рассматривается случай, когда существует базис £о,£ъ£2,£з, такой, что
А£о = °, Аа = Со, А6 = -^£з, Аь =
Що = -£о, R6 = 6, R6 = Í2, Щз = -Ь
(можно убедиться, что такой базис существует для открытого множества обратимых систем с парой нулевых собственных чисел у матрицы А). В координатах х^о + y£i + и& + v^3 действие R задается как R(x,y,u,v) = (-x,y,u, -v). Убивая резонансные члены и отбрасывая члены высокого порядка малости, получаем укороченную нормальную форму [16]:
' x = y,
y = x(a + ay + bx2 + c(u2 + v2)),
< (4-12)
U = -vu + xu,
^ V = uu + xv.
Удобно перейти к цилиндрическим координатам (x, y, s cos 9, s sin 9). Для переменных (x, y, s) получаем трехмерную автономную систему
Íx = y,
y = x(y + ay + bx2 + cs2),
S = sx
(здесь уравнение для 9 — 9 = u). В этой системе имеется инвариантная плоскость s = 0, и при b^ < 0 в ней рождаются асимметричные состояния равновесия с x = 0, которые образуют пару аттрактор-репеллер при a > 0,b < 0. Так же, как и система (4.9), данная нормальная форма может иметь области, заполненные симметричными периодическими траекториями. Учитывая вращение по переменной 9, получаем, что в системе (4.12) им отвечают симметричные двумерные инвариантные торы — в исходной системе получаем область, где множество почти полной меры занято двумерными КАМ-торами.
5. Обратимые 3-мерные диффеоморфизмы
Далее мы рассмотрим реверсивные и сохраняющие ориентацию диффеоморфизмы М3. Симметричная периодическая точка такого диффеоморфизма является неподвижной точкой отображения Пуанкаре Т; это отображение обратимо относительно некоторой инволюции Я, и неподвижная точка симметрична относительно Я. По определению обратимости. (Т о Я)2 = гй, то есть Я' = Т о Я — тоже инволюция. Так как Т = (Т о Я) о Я, то Т является произведением двух инволюций. Поэтому симметричная неподвижная точка О отображения Т (то есть такая точка, что ТО = О и ЯО = О) является также и неподвижной точкой инволюции Я', то есть О € ^гх(Я) П Егх(Я') (верно и обратное). Отметим, что в случае, когда реверсивный диффеоморфизм получен как отображение Пуанкаре обратимого относительно линейной инволюции четырехмерного потока в окрестности симметричной периодической траектории, мы всегда имеем ё1ш(^гх(Я)) = ё1ш(^гх(Я')), и именно этот случай мы будем здесь рассматривать.
Если ё1ш(^гх(Я)) = (Иш(Егх(Я')) = 0, то наличие симметричной неподвижной точки у трехмерного отображения — это явление коразмерности 3, и мы такие вырожденные случаи здесь не рассматриваем. Поэтому мы будем считать, что ё1ш(^гх(Я)) = (Иш(Егх(Я')) = = 1 или ё1ш(^гх(Я)) = <Иш(Пх(Я')) = 2 (в случае ё1ш(^гх(Я)) = 3, имеем Я = гй по теореме Бохнера-Монтгомери, и в этом случае отображение Т должно само быть инволюцией, то есть его динамика тривиальна).
Начнем со случая, когда множества ^гх(Я) и Егх(Т о Я) одномерны. Этот случай встречается, например, когда четырехмерное обратимое векторное поле имеет симметричную периодическую траекторию 7, а множество ^гх(Я) одномерно (пример такой ситуации дает одна из моделей кельтского камня [1, 14]). Тогда, выбирая секущую к 7, содержащую ^гх(Я) и инвариантную относительно инволюции, получим рассматриваемый случай; пересечение траектории 7 на секущей дает симметричную неподвижную точку.
Так как ^гх(Я) и Егх(Т о Я) одномерны, наличие у них пересечения (рассматриваемой симметричной неподвижной точки О) — это случай коразмерности 1 (в общем однопараметрическом семействе обратимых диффеоморфизмов гладкие кривые ^гх(Я) и Егх(Т о Я) гладко зависят от параметра). Как всегда, будем считать, что инволюция Я в окрестности неподвижной точки О действует линейно. По обратимости, если Л - мультипликатор точки
О (собственное число матрицы линеаризации А отображения Т в О), то Л-1 тоже должно быть ее мультипликатором. Для трехмерного сохраняющего ориентацию отображения это означает, что один из мультипликаторов должен быть равен 1. Так как в невырожденном случае ^гх(Я) и Е1х(Т о Я) не касаются друг друга в точке О, мы можем считать, что собственный вектор е, отвечающий единичному мультипликатору, не лежит в Ргх(Я). Отсюда следует, что Яе = —е (так как, по обратимости, АЯе = Яе, то вектор £ = Яе + е удовлетворяет АЯ£ = £ и Я£ = £, т. е. он принадлежит пересечению ^гх(Я) и касательной к Е1х(Т о Я) и, следовательно, равен нулю).
Другие два мультипликатора образуют пару Л и Л-1. Если Л вещественно и отлично от ±1, то центральное многообразие одномерно, поэтому мы имеем случай седло-седла [18, 26]. При отсутствии дополнительных вырождений мы имеем здесь практически такой же сценарий, как и в случае нереверсивных (то есть общего вида) диффеоморфизмов: на центральном многообразии отображение сопряжено сдвигу на единицу времени по траекториям потока
х = ц + х2 + ....
обратимого относительно инволюции х -— —х; при ц > 0 получаем две симметричные
неподвижные точки относительно R, эти точки сливаются в одну при ц = 0 и исчезают при ц < 0.
Второй случай Л = в±ш более интересен. Если ш/п иррационально (или рационально, ш/2п = m/n, но n достаточно велико), то диффеоморфизм вблизи неподвижной точки можно аппроксимировать потоковой нормальной формой с точностью до членов достаточно высокого порядка (до членов порядка n — 1). Линейная часть потоковой нормальной формы имеет вид
{х = 0.
У = шг,
z = —шу,
а инволюция R в этих координатах действует как
х —х, у — —у, z — г.
Нелинейные члены должны быть нерезонансными и удовлетворять условию обратимости. Поэтому получаем нормальную форму (4.4). Как мы объясняли, трехмерные фазовые портреты для нормальной формы получаются из изображенных на рисунке 2 вращением относительно оси х. Состояниям равновесия системы (4.4) отвечают неподвижные точки исходного отображения; в частности, паре из асимптотически устойчивого и асимптотически неустойчивого асимметричных равновесий отвечает пара аттрактор-репеллер и в исходном отображении. Симметричные двумерные инвариантные торы нормальной формы (4.4) (замкнутые кривые на рис. 2) отвечают симметричным двумерным КАМ-торам исходного отображения (при диофантовых наборах чисел вращения; резонансные зоны, по аналогии со случаем двумерных отображений, должны отвечать хаотической динамике, причем смешанного типа, то есть сосуществованию консервативных и неконсервативных динамических режимов). Симметричная седловая периодическая траектория системы (4.4) (на рис. 2 это седловое состояние равновесия на линии (х = 0,г = 0)) соответствует замкнутой нормальногиперболической симметричной инвариантной кривой исходного отображения (нормальногиперболические многообразия сохраняются при малых возмущениях [11], поэтому она сохраняется при переходе от потоковой нормальной формы к исходному отображению). Симметричная эллиптическая периодическая траектория системы (4.4) (на рис. 2 это состояние равновесия типа центр на линии (х = 0,г = 0)) отвечает симметричной замкнутой инвариантной кривой исходного отображения, для дискретной последовательности значений параметра ц, отвечающих диофантовым числам вращения, а при других значениях параметра она, вообще говоря, должна разваливаться на резонансы (мы здесь не исследуем детальную картину того, как это происходит в данном случае).
Перейдем кслучаю dim(Fix(R)) = dim(Fix(ToR)) = 2. В типичном случае поверхность Егх(Тo R) пересекает плоскость Fix(R) в окрестности симметричной неподвижной точки O трансверсально по гладкой кривой £, проходящей через O. По конструкции линия £ заполнена симметричными неподвижными точками отображения Т, то есть Т = id на £. В этом случае касательный вектор к £ является собственным вектором матрицы линеаризации A отображения Т в точке O, и этому вектору отвечает единичный мультипликатор. Оставшиеся два мультипликатора образуют пару Л, Л-1. В общем случае Л = ±1, и пара {Л, Л-1} лежит либо на единичной окружности, либо на вещественной прямой. В первом случае точку называют квазиэллиптической, а во втором — квазигиперболической. Очевидно, что если точка O квазиэллиптическая, то и все близкие неподвижные точки на кривой £ такие
же; то же и в случае квазигиперболической точки. Кривая квазигиперболических точек является нормально-гиперболическим инвариантным многообразием и служит пересечением инвариантных двумерных устойчивого и неустойчивого многообразий. Вблизи линии квази-эллиптических точек поведение в невырожденном случае описывается КАМ-теорией [25]: здесь множество почти полной меры заполнено инвариантными замкнутыми КАМ-кри-выми, окружающими линию £. Как и в случае эллиптических точек двумерных обратимых отображений, в резонансных зонах вблизи линии квазиэллиптических точек следует ожидать хаотического поведения и нарушения консервативности (то есть смешанной динамики).
При движении по кривой неподвижных точек возможен переход от квазигиперболи-ческого к квазиэллиптическому типу (см. [7]). При этом у соответствующей неподвижной точки возникает двойной мультипликатор Л = —1, либо Л обращается в единицу, то есть получаем трехкратный единичный мультипликатор. Подчеркнем, что переход мультипликатора через ±1 здесь происходит без изменения параметров системы; иными словами, мы имеем «бифуркацию коразмерности 0». В невырожденном случае кратным мультипликаторам отвечает полная жорданова клетка в матрице линеаризации отображения. Случай трехкратного Л =1 с полной жордановой клеткой рассмотрен в [24]. Там было, в частности, показано, что вблизи точки перехода квазигиперболические неподвижные точки имеют симметричные гомоклинические траектории. При этом поведение здесь аналогично поведению отображения Пуанкаре гамильтоновой системы вблизи параболической периодической траектории, то есть динамика здесь в основных чертах консервативна (тем не менее, в хаотическом слое вблизи трансверсальных гомоклинических траекторий опять следует ожидать смешанную динамику). Аналогичные результаты получаются и для случая двойного Л = —1 с жордановой клеткой, а также для бифуркаций прохождения через резонанс р
±2тгг —
(Л = е 4 в квазиэллиптической точке).
Таким образом, бифуркацию потери симметрии следует ожидать только при возникновении дополнительного вырождения, то есть в случаях коразмерности 1 как минимум. Один из таких случаев отвечает трехкратному единичному мультипликатору с неполной жордановой клеткой. Пусть обратимое отображение Т имеет неподвижную точку в начале координат, и А — матрица линеаризации Т в неподвижной точке. Двумерные поверхности Вгх(Я) и Вгх(Т о Я) либо пересекаются трансверсально в неподвижной точке, либо касаются; в любом случае они имеют общий касательный вектор е, который служит собственным вектором матрицы А и отвечает единичному мультипликатору: Ае = е. Предположим (это дополнительное условие коразмерности 1), что имеется еще один собственный вектор £, такой, что А£ = £. Очевидно, что либо Я£ = £ (тогда мы имеем нетрансверсальное пересечение Вгх(Я) и Вгх(То Я)), либо вектор £ трансверсален Вгх(Я), и тогда его можно выбрать так, что Я£ = —£. Мы рассмотрим только последний случай, в силу следующих соображений. Так как йеЬ(А) = 1 в силу реверсивности и ориентируемости, то все три собственных числа матрицы А равны единице. Чтобы не увеличивать коразмерность, мы предполагаем А = = гй, то есть других собственных векторов у А нет. Как мы уже отмечали, отображение Т вблизи неподвижной точки со всеми мультипликаторами, равными 1, аппроксимируется до членов сколь угодно высокого порядка сдвигом на единицу времени по траекториям потоковой нормальной формы. Матрица В линейной части векторного поля нормальной формы равна логарифму А, так что Ве = В£ = 0. Нормальная форма в этом случае может быть неконсервативной только при условии (4.7), поэтому мы и предполагаем Я£ = £. При этом условии потоковая нормальная форма приводится к виду (4.8). Отсюда мы, в частно-
сти, получаем, что при условии (4.10) данная бифуркация ведет (в исходном отображении) к рождению от кривой симметричных неподвижных точек пары из асимптотически устойчивой и асимптотически неустойчивой асимметричных неподвижных точек O±. Областям в фазовом пространстве нормальной формы, заполненным траекториями, соединяющими репеллер O- с аттрактором O+, отвечают области такого же поведения в исходном отображении, а областям, заполненным симметричными периодическими траекториями, в исходном отображении отвечают области, где множество большой меры занимают симметричные КАМ-кривые.
По поводу других случаев коразмерности 1 заметим, что, как мы видели, мы не можем ожидать бифуркации потери симметрии в случае коразмерности 1, если Fix(R) и Fix(ToR) пересекаются нетрансверсально. Поэтому мы можем считать, что имеется кривая неподвижных точек, и, соответственно, бифуркации могут происходить либо при переходе мультипликатора Л через —1, либо при переходе через резонанс в квазиэллиптической точке. Можно показать, что при переходе Л через —1 нормальная форма консервативна во всех случаях коразмерности 1, то есть бифуркации потери симметрии в этих случаях не происходит. Бифуркации коразмерности 1 резонансных квазиэллиптических точек, насколько нам известно, на сегодняшний день не рассматривались.
Список литературы
[1] Борисов А. В., Мамаев И. С. Странные аттракторы в динамике кельтских камней // Неголоном-ные динамические системы: Интегрируемость, хаос, странные аттракторы: Сб. ст. / А. В. Борисов, И. С. Мамаев. М.-Ижевск: Инст. компьютерн. исслед., 2002. С. 296-326.
[2] Bochner S., Montgomery D. Locally compact groups of differentiable transformations // Ann. of Math. (2), 1946, vol. 47, no. 4, pp. 639-653.
[3] Bibikov Yu. N. Local theory of nonlinear analytic ordinary differential equations. (Lecture Notes in Math., vol. 702.) Berlin-Heidelberg: Springer, 1979. 147 pp.
[4] Broer H. W. Quasiperiodic flow near a codimension one singularity of a divergence free vector field in dimension three // Dynamical systems and turbulence (Warwick, 1980). (Lecture Notes in Math., vol. 898.) Berlin-New York: Springer, 1981. P. 75-89.
[5] Broer H. W., Huitema G. B., Sevryuk M. B. Quasi-periodic motions in families of dynamical systems: Order amidst chaos. (Lecture Notes in Math., vol. 1645.) Berlin: Springer, 1996. 196pp.
[6] Delshams A., Gonchenko S. V., Gonchenko V. S., Lazaro J. T., Sten’kin O. Abundance of attracting, repelling and elliptic periodic orbits in two-dimensional reversible maps. arXiv:1201.5357v1 [math.DS], 25 Jan 2012.
[7] Devaney R. L. Reversible diffeomorphisms and flows // Trans. Amer. Math. Soc., 1976, vol. 218, pp.89-113.
[8] Fiedler B., Liebscher S., Alexander J.C. Generic Hopf bifurcation from lines of equilibria without parameters: 1. Theory // J. Differential Equations, 2000, vol. 167, no. 1, pp. 16-35.
[9] Гаврилов Н. К. О некоторых бифуркациях состояния равновесия с одним нулевым и парой чисто мнимых корней // Методы качественной теории дифференциальных уравнений: Межвуз. темат. сб. научн. трудов / Е. А. Леонтович-Андронова. Горький: ГГУ, 1978. С. 33-40.
[10] Гаврилов Н. К. О некоторых бифуркациях состояний коразмерности два бездивергентных векторных полей чисто мнимых корней // Методы качественной теории дифференциальных уравнений: Межвуз. темат. сб. научн. трудов / Е. А. Леонтович-Андронова. Горький: ГГУ, 1985. С. 46-54.
[11] Fenichel N. Persistence and smoothness of invariant manifolds for flows // Indiana Univ. Math. J., 1971, vol. 21, no. 3, pp. 193-226.
[12] Glebsky L.Yu., Lerman L.M. On the small stationary self-localized solutions for generalized 1D Swift-Hohenberg equation // Chaos, 1995, vol. 5, no. 3, pp. 424-431.
[13] Gonchenko S.V., Lamb J., Rios I., Turaev D.V. Attractors and repellers near generic reversible elliptic points: Preprint.
[14] Гонченко А. С., Гонченко С. В., Казаков А. О. Новые результаты о хаотической динамике «кельтского камня» // Нелинейная динамика (в печати).
[15] Holmes Ph., Guckenheimer J. Nonlinear oscillations, dynamical systems, and bifurcations of vector fields. 2nd ed. (Appl. Math. Sci., vol. 42.) New York: Springer, 1983. 480 pp. [Гукенхеймер Дж., Холмс П. Нелинейные колебания, динамические системы и бифуркации векторных полей. М.-Ижевск: Инст. компьютерн. исслед., 2002. 560 с.]
[16] Haragus M., Iooss G. Local bifurcations, center manifolds, and normal forms in infinite-dimensional dynamical systems. Universitext. London: Springer; Les Ulis: EDP Sciences, 2011. 329 pp.
[17] Iooss G., Peroueme M.-C. Perturbed homoclinic solutions in reversible 1 : 1 resonance vector fields // J. Differential Equations, 1993, vol. 102, no. 1, pp. 62-88.
[18] Kuznetsov Yu. A. Elements of applied bifurcation theory. 3rd ed. (Appl. Math. Sci., vol. 112.) New York: Springer, 2004. 631 pp.
[19] Lamb J. S. W., Roberts J. A. G. Time-reversal symmetry in dynamical systems: A survey // Phys. D, 1998, vol. 112, nos. 1-2, pp. 1-39.
[20] Lamb J. S. W., Capel H. W. Local bifurcations on the plane with reversing point group symmetry // Chaos Solitons Fractals, 1995, vol. 5, no. 2, pp. 271-293.
[21] Lamb J.S.W., Stenkin O.V. Newhouse regions for reversible systems with infinitely many stable, unstable and elliptic periodic orbits // Nonlinearity, 2004, vol. 17, no. 4, pp. 1217-1244.
[22] Lerman L. Breaking hyperbolicity for smooth symplectic toral diffeomorphisms // Regul. Chaotic Dyn., 2010, vol. 16, nos. 2-3, pp. 196-211.
[23] Lerman L. Isoenergetical structure of integrable Hamiltonian systems in extended neighborhoods of simple singular points: Three degrees of freedom // Methods of qualitative theory of differential equations and related topics: Supplement / L. Lerman, G. Polotovsky, L. Shilnikov. (Amer. Math. Soc. Transl. Ser.2, vol. 200.) Providence, RI: AMS, 2000. P. 219-242.
[24] Peroueme M.-C. Bifurcation from a periodic orbit for a strongly resonant reversible autonomous vector field // SIAM J. Math. Anal., 1993, vol. 24, no. 6, pp. 1577-1596.
[25] Sevryuk M. B. Reversible systems. (Lecture Notes in Math., vol. 1211.) Berlin: Springer, 1986. 319 pp.
[26] Шильников Л. П., Шильников А. Л., Тураев Д. В., Чуа Л. Методы качественной теории в нелинейной динамике: В 2-х тт. М.-Ижевск: «Регулярная и хаотическая динамика», 2003; 2010. 442с.; 548с.
[27] Шильников Л. П. Об одном новом типе бифуркаций многомерных динамических систем // Докл. АН СССР, 1969, т. 182, №1, с. 53-56.
[28] Shilnikov A., Nicolis G., Nicolis С. Bifurcation and predictability analysis of a low-dimensional atmospheric circulation model // Internat. J. Bifur. Chaos Appl. Sci. Engrg., 1995, vol. 5, no. 6, pp.1701-1711.
[29] Takens F. Forced oscillations and bifurcations // Applications of global analysis: 1 (Utrecht, 1973). (Comm. Math. Inst. Rijksuniv. Utrecht, vol.3.) Utrecht: Math. Inst. Rijksuniv. Utrecht, 1974. P. 159. (См. также: Global analysis of dynamical systems / H.W. Broer, B.Krauskopf, G.Vegter. Bristol: IOP Publ., 2001. P. 2-61.)
[30] Teixeira M. A. Singularities of reversible vector fields // Phys. D, 1997, vol. 100, nos. 1-2, pp. 101-118.
[31] Тхай В.Н. Обратимые механические системы // Нелинейная механика / В. М. Матросов, В. В. Румянцев, А. В. Карапетян. М.: Физматлит, 2001. С. 131-146.
[32] Vanderbauwhede A., Fiedler B. Homoclinic period blow-up in reversible and conservative system // Z. Angew. Math. Phys., 1992, vol. 43, no. 2, pp. 291-318.
[33] Wang L.-J. Homoclinic and heteroclinic orbits for the 02 or 02iu singularity in the presence of two reversibility symmetries // Quart. Appl. Math., 2009, vol. 67, no. 1, pp. 1-38.
On symmetry breaking bifurcations in reversible systems
Lev M.Lerman1, Dmitry V. Turaev2
1 N. I. Lobachevski State University of Nizhni Novgorod
Faculty of Mechanics and Mathematics
pr. Gagarina 23, Nizhnii Novgorod, 603950, Russia
2Department of Mathematics, Imperial College of Science, Technology and Medicine, London SW7 2AZ 1lermanl@mm.unn.ru, 2d.turaev@imperial.ac.uk
We review results on local bifurcations in reversible systems (flows and diffeomorphisms) which lead to the creation of pairs attractor-repellor at bifurcations from symmetric equilibria (for flows) and fixed points (for diffeomorphisms). We consider bifurcations of co-dimension 1 in systems of small dimensions (2,3, and 4).
MSC 2010: 34C23, 34C14, 37G05, 37G40
Keywords: reversible system, reversible diffeomorphism, bifurcation, symmetric equilibrium, symmetric fixed point, loss of symmetry
Citation: Rus. J. Nonlin. Dyn., 2012, vol. 8, no. 2, pp. 323-343 (Russian)
