CC BY
8О бифуркациях трехмерных диффеоморфизмов с негрубым гетероклиническим контуром, содержащим седло-фокусы
С. В. Гонченко, И. И. Овсянников
НИИ Прикладной математики и кибернетики ННГУ,
603005, Россия, Нижний Новгород, ул. Ульянова, 10
gosv100@uic.nnov.ru, ivan.i.ovsyannikov@gmail.com
Получено 23 ноября 2009 г.
В статье изучаются бифуркации трехмерных диффеоморфизмов с негрубыми гетеро-клиническими контурами, которые приводят к рождению диких гиперболических аттракторов лоренцевского типа. Известно, что такие аттракторы могут быть получены при малых периодических возмущениях классического аттрактора Лоренца, они допускают гомокли-нические касания, однако не содержат устойчивых периодических траекторий.
Ключевые слова: гомоклиническая и гетероклиническая траектория, бифуркация, странный аттрактор, седло-фокус
S. V. Gonchenko, 1.1. Ovsyannikov On bifurcations of three-dimensional diffeomorphisms with a non-transversal
heteroclinic cycle containing saddle-foci
We study bifurcations of of three-dimensional diffeomorphisms with non-transversal heteroclinic cycles which lead to the birth of wild hyperbolic Lorenz-like attractors. As known, such attractors can be appeared under small periodic perturbations of the classical Lorenz attractor and they allow homoclinic tangencies, however, do not contain stable periodic orbits.
Keywords: homoclinic and heteroclinic orbit, bifurcation, strange attractor, saddle-focus
Mathematical Subject Classification 2000: 37C05, 37C29, 37G25, 37G35
Введение
Открытие динамического хаоса по праву считается одним из главных достижений науки за последние 50 лет. Как известно, математическим образом динамического хаоса является странный аттрактор, концепция которого разрабатывалась (а по большому счету, разрабатывается еще до сих пор) при участии крупнейших математиков мира.
Весьма значительный вклад в развитие теории странных аттракторов был сделан Л. П. Шильниковым. Так, им были заложены основы теории спирального хаоса [1, 2] и предложен ряд сценариев его возникновения [3]; была разработана математическая теория аттракторов Лоренца (совместно с Афраймовичем и Быковым, [4, 5]), а также установлены как глобальные [6], так и локальные [7] бифуркации, приводящие к рождению лоренцевских аттракторов. Хорошо известные и часто встречающиеся в приложениях сценарии перехода к хаосу, связанные с разрушением двумерного тора, так называемый «тор-хаос», или с исчезновением седло-узлового периодического движения, также получили свое математическое обоснование в работах Шильникова с соавторами [8, 9, 10].
Особо отметим работы Шильникова и его сотрудников по тематике, связанной с исследованием хаотической динамики систем, допускающих гомоклинические касания. Как известно из работы Ньюхауса [11] (а в многомерном случае [12]), такие системы плотны в открытых областях из пространства динамических систем, так называемых областях Нью-хауса. Поэтому существование гомоклинических касаний и сопутствующих им бифуркационных явлений нужно рассматривать как неотъемлемое свойство громадного большинства странных аттракторов конкретных систем (исключение составляют, пожалуй, только системы, обладающие гиперболическими аттракторами или аттракторами Лоренца). По этой причине, совокупность хаотических явлений в таких системах часто характеризуется термином «гомоклинический хаос». Понять структуру и закономерности гомоклинического хаоса— это, безусловно, доминирующая задача в теории динамического хаоса, вообще. Среди многочисленных результатов, полученных здесь, отметим только лишь те, которые связаны с классификацией странных аттракторов, допускающих гомоклинические касания.
Прежде всего, был выделен класс так называемых квазиаттракторов, (Афраймо-вич и Шильников, [13]), т. е. нетривиальных притягивающих множеств, которые кажутся «странными» только лишь «на физическом уровне». Дело в том, что их сколь угодно малые возмущения приводят к появлению периодических аттракторов. Это означает, что кажущееся хаотическим при наблюдении поведение траекторий может являться в действительности «периодическим плюс (неизбежные) ошибки» (экспериментальные или вычислительные). Можно сказать, что квазиаттракторы встречаются в приложениях «сплошь и рядом» — это многочисленные аттракторы, наблюдаемые в конкретных системах (прежде всего, малой размерности). Таковыми являются странные аттракторы в отображении Эно, в цепях Чуа, многие типы спиральных и тор-хаос аттракторов, аттракторы Ресслера и т. п. Основным характерным признаком этих аттракторов является наличие (или возможность возникновения) таких гомоклинических касаний, бифуркации которых приводят к рождению устойчивых периодических траекторий. Таким образом, квазиаттракторы можно часто распознать, используя критерий Гонченко-Тураева-Шильникова [14, 15], показывающий, возможно ли рождение устойчивых периодических траекторий при данной гомоклиниче-ской бифуркации.
Другой вид «гомоклинического хаоса» представлен так называемыми дикими гиперболическими аттракторами,1 которые были введены в работе Тураева и Шильникова [16].
хЭтот термин восходит к Ш. Ньюхаусу [11], который ввел понятие «дикого гиперболического множества» — равномерно гиперболического базисного множества, чьи устойчивое и неустойчивое инвариантные множества (усы) имеют касание. Ньюхаус показал, что свойство наличия касания является сохраняющим-
Так же, как и в случае с квазиаттракторами, системы с дикими гиперболическими аттракторами принадлежат областям Ньюхауса. Однако ни сама система, ни все близкие к ней не содержат устойчивых периодических траекторий.
В той же работе [16] был приведен пример системы, обладающей диким спиральным аттрактором, который содержит состояние равновесия типа седло-фокус и, помимо этого, допускает также гомоклинические касания.2 Другой весьма важный тип диких гиперболических аттракторов составляют так называемые дикие лоренцевские аттракторы (wild Lorenz attractions), которые могут быть получены, в частности, при периодических возмущениях систем с аттракторами Лоренца. Хорошо известно, что сами аттракторы Лоренца не допускают гомоклинических касаний. Однако последние могут появляться при неавтономных периодических возмущениях, но устойчивые периодические траектории здесь все равно не возникают. Основной причиной этого обстоятельства является то, что дикие лоренцев-ские аттракторы обладают так называемой псевдогиперболической структурой3 [16, 18]. Напомним, что, по определению, псевдогиперболическое множество отображения f — это такое компактное инвариантное множество A С M, что для каждой точки x Е A касательное пространство разлагается в прямую сумму TxM = T\ ® T2 двух подпространств, таких, что f на Ti является сильно сжимающим («сильно» означает здесь, что любые возможные сжатия в трансверсальных направлениях являются более слабыми), а f на T2 растягивает (экспоненциально) площади. По сути, здесь определяется некоторый тип нормальной гиперболичности, ср. с [19, 20], а значит псевдогиперболичность сохраняется при малых гладких возмущениях4. Кроме того, условие растяжения площадей на T2 очевидно запрещает устойчивые периодические траектории.
Весьма важным свойством диких лоренцевских аттракторов является то, что они могут рождаться в результате локальных бифуркаций периодических траекторий. Как показано в
[7], это возможно в тех случаях, когда периодическая траектория имеет три или более мультипликатора на единичной окружности. Последнее обстоятельство говорит о том, что соответствующие аттракторы могут быть обнаружены в конкретных моделях, которые содержат достаточное количество параметров, чтобы обеспечить вырождение указанного типа.
Одной из таких моделей является трехмерное отображение Эно
Х = У, У = z, Z = Mi + Bx + М2У - z2, (1)
в котором присутствуют три независимых параметра, Mi, М2 и B .В работе [21] (см. также [22]) было показано, что отображение (1) обладает (глобальным) диким лоренцевским аттрактором в некоторой открытой области параметров. Подробнее об этом см. § 3.
Нужно отметить, что еще в работе [14] было анонсировано, что бифуркации многомерных систем с гомоклиническими касаниями коразмерности один могут приводить к странным аттракторам (лоренцевского типа). Однако в этом случае исходная система с го-моклиническим касанием должна иметь, как минимум, размерность четыре — для отобра-
ся, и, следовательно, системы с дикими гиперболическими множествами образуют открытые области (в CТ-топологии с r > 2) в пространстве динамических систем.
2Основу конструкции составлял четырехмерный поток, имеющий две гомоклинические петли к состоянию равновесия O типа седло-фокус с характеристическими корнями Л1 > 0, Л2,3 = — v ± iu, Л4 < — v < 0, такими, что A1 — 2v > 0 и div(O) = ^2 Ai < 0. Заметим, что условия на характеристические корни Ai таковы, что из гомоклинической петли не может родиться устойчивое периодическое движение [17].
3Так же, как и спиральный аттрактор из [16].
Определение псевдогиперболичности для потоков — вполне аналогично (см., например, [16, 18]), и поэтому мы его не приводим. Однако заметим, что в случае потоков псевдогиперболичность сохраняется также и при малых неавтономных периодических возмущениях [18].
жений, или пять — для потоков. Условие коразмерности один означает, что предполагается выполненным только одно негрубое условие — существование гомоклинического касания. Все остальные накладываемые условия — общего положения, в частности, касание должно быть квадратичным.
Однако недавно, в работах [22, 23], было показано, что глобальные бифуркации трехмерных диффеоморфизмов могут также приводить к рождению диких лоренцевских аттракторов.
Рис. 1. Примеры трехмерных диффеоморфизмов, имеющих (а) гомоклиническое касание многообразий неподвижной точки типа седло-фокус (2,1), (б) негрубый гетероклиническим контур, содержащий две неподвижные точки, седло и седло-фокус, типа (2,1).
При этом в работе [22] изучались бифуркации в случае гомоклинического касания многообразий неподвижной точки типа седло-фокус (2,1), с мультипликаторами = = Ае±^, V = 7, где 0 <А< 1 0 < ^ < п, см. рис. 1а. Но в отличие от [14], исходный
диффеоморфизм /о из [22] должен иметь дополнительное вырождение — якобиан отображения в седловой неподвижной точке равен единице, т. е. А2^ = 1. В работе [23] изучались бифуркации в случае негрубого гетероклинического контура, содержащего две неподвижные точки 0\ и О2 типа (2,1), причем одна из них — седло-фокус, а другая — седло, см. рис. 1б; причем выполняется важное дополнительное условие общего положения: якобиан отображения в одной из точек О1 или О2 —больше единицы, а в другой — меньше единицы. В обоих случаях изучались бифуркации отображений первого возвращения, определенных вблизи некоторой точки гомоклинического или, соответственно, гетероклинического касания. Основной технический результат работ [22, 23] состоял в том, что отображения первого возвращения /^ при больших к (время возвращения) и в соответствующих областях параметров е могут быть приведены к виду, асимптотически близкому к (1). А это, в свою очередь, означает, что указанные глобальные бифуркации могут порождать дикие лорен-цевские аттракторы и даже, в ситуации негрубого гетероклинического контура [23], могут приводить к сосуществованию счетного множества таких аттракторов.
В настоящей работе мы продолжаем эту тематику и проводим исследования близкие, по духу к [23]. Однако здесь мы изучаем глобальные бифуркации в случае трехмерных
(а)
(б)
диффеоморфизмов, имеющих негрубый гетероклинический контур, содержащий две неподвижные точки 0l и 02, которые обе являются седло-фокусами типа (2,1) (см. рис. 2).
Содержание работы. В § 1 приводится постановка задачи, формулируются основные результаты, включающие теоремы 1 и 2, причем доказательство теоремы 2 приводится здесь же. В § 2 обсуждается динамика трехмерных отображений Эно (в основном — отображения (1)) и приводятся основные результаты, касающиеся существования у них диких гиперболических аттракторов. В § 3 приводится доказательство теоремы 1.
1. Формулировка основных результатов
Рассмотрим Ог-гладкий (г > 5) трехмерный ориентируемый диффеоморфизм ^0, удовлетворяющий следующим условиям (см. рис. 2):
(A) ^о имеет две неподвижные точки О1 и О2, которые обе являются седло-фокусами типа (2,1);
(B) ^о имеет непостоянный якобиан и, более того, в одной из неподвижных точек этот якобиан меньше единицы, а в другой — больше единицы;
(C) инвариантные многообразия Ши(О1) и ШЯ(О2) пересекаются трансверсально в точках некоторой гетероклинической траектории Г12, а Ши(О2) и Ш8(О1) имеют квадратичное касание в точках некоторой гетероклинической траектории Г21.
Рис. 2. Пример диффеоморфизма с негрубым гетероклиническим контуром, содержащим две неподвижные точки типа седло-фокус (2,1).
Условие (А) означает, что устойчивые многообразия точек О1 и О2 двумерны, а неустойчивые — одномерны; кроме того, устойчивые мультипликаторы (меньшие едини-
цы по модулю) этих точек — комплексно-сопряженные, а неустойчивые — действительные (и положительные, в силу того, что ^о ориентируемо). Таким образом, мы полагаем, что мультипликаторы точки О1 образуют тройку (А1е-г^,А1е+г^,71), а точки О2 — тройку (А2е-гф, А2е+г'ф,72), где 0 < Аз < 1 <Ъ,$ = 1,2 и ф,ф е (0,п).
Замечание 1. Условие (Б) означает, что итерации близких к ^0 диффеоморфизмов растягивают объемы вблизи одной из неподвижных точек и сжимают их вблизи другой. Такого сорта потоки называются обычно «потоками со знакопеременной дивергенцией». Соответствующего стандартного термина для отображений нет, но мы, следуя [24], будем говорить в этом случае о диффеоморфизмах и, соответственно, контурах смешанного типа.
Диффеоморфизмы, близкие к ^о и удовлетворяющие условию (С) (условия (А) и (В) — это условия грубости и выполняются для всех близких систем), образуют в пространстве Ог-гладких диффеоморфизмов локально-связную бифуркационную поверхность Ньег коразмерности один. Мы будем рассматривать семейства диффеоморфизмов, которые транс-версальны 'Ньег. Будем обозначать такие семейства как Ее, предполагая, что диффеоморфизм ^о семейства удовлетворяет условиям (А)-(С).
Пусть и — некоторая достаточно малая фиксированная окрестность контура О = = {О1, О2, Г12, Г21}. Очевидно, и может быть представлена в виде объединения двух малых окрестностей и1 и и2 неподвижных точек О1 и О2 с некоторым конечным числом малых окрестностей тех точек гетероклинических траекторий Г12 и Г21, которые которые не попали в и и и2. Мы будем изучать, в рамках семейств Ее, бифуркации так называемых однообходных периодических траекторий из и. Каждая точка такой траектории может быть рассмотрена как неподвижная точка соответствующего отображения первого возвращения.
Однако прежде чем исследовать собственно бифуркации, нужно понять, какие управляющие параметры е следует рассматривать. Их необходимое количество мы определим, согласно [25], равным так называемой эффективной размерности задачи ё1ше, которая показывает, какое максимальное число нулевых ляпуновских показателей (единичных мультипликаторов для периодических траекторий) может появиться у траекторий близких систем. В нашем случае ё1ше = 3. Это связано с тем, что контур О содержит седло-фокусы (поэтому, в отличие от случая с седлами [26], здесь не существует гладкого глобального двумерного центрального многообразия) и, в силу условия (В), трехмерные объемы могут как сжиматься, так и растягиваться. Таким образом, специфика данной задачи такова, что для более-менее полного исследования бифуркаций требуется наличие не менее трех управляющих параметров. В данной работе мы будем рассматривать трехпараметрические семейства, т.е. будем полагать, что е = (е1,е2,ез).
В качестве первого управляющего параметра е1 мы, естественно, выбираем параметр расщепления ц инвариантных многообразий Ши(О2) и Шз(О1) относительно некоторой точки (квадратичного касания, в силу условия (В)) траектории Г21.
Заметим, что диффеоморфизмы на Ньег обладают О-модулями, т. е. непрерывными инвариантами топологической сопряженности на множестве неблуждающих траекторий [27]. По определению О-модуля, любое изменение его значения влечет изменение (бифуркацию) в множестве неблуждающих траекторий — периодических, гомоклинических и т. п. Это означает, что О-модули являются естественными бифуркационными параметрами, и их следует, по необходимости, включать в множество управляющих параметров. В нашем случае наиболее важными О-модулями (у диффеоморфизмов на Нш) являются ф и ф — угловые аргументы комплексных мультипликаторов неподвижных точек О1 и О2 соответственно. В качестве управляющего параметра е2 мы возьмем один из них. Будем предполагать, для
определенности, что
£2 = р(е) - р(0) .
Заметим, наконец, что поскольку мы имеем дело со случаем отображений «смешанного типа», необходим еще один управляющий параметр, £3, который бы контролировал значения якобианов Ji := A2Yi и J2 : = А^2 отображения Fe в точках Oi и O2 соответственно. Как мы покажем ниже, удобно выбирать £3 следующим образом:
£3 = ^(Fe) - 5(Fo), (1.1)
где S(F) —функционал, определяемый как S(F) = — jD ^ .
in J2
Следующая теорема показывает, какую форму могут принимать отображения первого возвращения (при соответствующих значениях параметров).
Теорема 1. Пусть Fe —трехпараметрическое семейство диффеоморфизмов, определенное выше. Начало координат £ = 0 пространства параметров £ является пределом последовательности открытых областей , таких, что при £ £ отображение первого возвращения Tij некоторой открытой области Vij С U по траекториям диффеоморфизма Fe может быть приведено с помощью гладких замен координат и параметров к виду
X = Y + o(1)i,j^+œ,
Y = Z + 0(l)i,j^+<Xl, (1.2)
Z = Mi + BX + M2Y — Z2 + o(1)i,j^+œ,
где координаты (X,Y,Z) в Vij и новые параметры (Mi,M2,B) (последние диффеоморф-но выражаются через изначальные параметры £ £ Д^) могут принимать произвольные конечные значения, B —произвольные положительные, при i,j ^ +то. Через o(1) мы обозначили функции от (X,Y, Z,Mi ,M2,B), конкретный вид которых не имеет особого значения, но важно, что они стремятся к нулю при i,j ^ +œ вместе со своими производными до порядка (г — 2) включительно.
Геометрия действия отображения первого возвращения
Tij = T21T02T12T0i : Vij С П+ ^ П1 ^ П+ ^ П2 ^ П+ (1.3)
проиллюстрирована на рис. 3. Здесь M-, M+ и M-, M+ — некоторые точки траекторий Г12 и Г21 соответственно, взятые при £ = 0, при этом M+ = Fq1 (M2) и M+ = Fq2 (M-) для некоторых целых qi и q2, а П+ С Us, П- С Us, s = 1, 2 — некоторые их малые окрестности. Tos — это так называемое локальное отображение, которое определяется как ограничение диффеоморфизма Fe на окрестность точки Os, т. е. Tos = Fe\цз. Глобальные отображения Ti2 : П- ^ П+ и T2i : П- ^ П+ определяются как Ti2 = Fqi\п- и T2i = Fq2\п-. О более точных деталях и соответствующих аналитических конструкциях см. § 3.
Заметим, что для больших i и j мы будем иметь следующие соотношения (см. также более точные формулы (3.11), (3.17) и (3.18)):
Mi ~ Yi2^(Р + O(\A2\j + \li\~i)) ,
M2 ~ (AiYi)i(A2Y2)j cos(i^i + f3i) cos(j^2 + ^2) , (1.4)
B ~ (A2Yi)i(A2Y2)j = Ji(£)iJ2(£)j,
Рис. 3.
где @1 и в2 —некоторые константы (инварианты диффеоморфизма ^о). Области Дц из теоремы 1 соответствуют тем значениям исходных параметров е, при которых рескейлинг-параметры М1 ,М2 и В принимают конечные значения (например, ||(М1 ,М2,В)\\ < Ь для некоторого заранее выбранного положительного Ь). Очевидно, при больших г и ], мы можем получить любые конечные значения параметров М1 и М2 произвольно малым и независимым варьированием значений параметров ц и ф1 соответственно (или ц и ^>2). Ясно, что это возможно только благодаря тому, что множители 72г72^' и (А171 )г(А172) ~ ВА—гА— являются асимптотически большими при г,] ^ ж. То же самое касается и параметра В. Действительно, так как ,11 и ,12 положительны, мы можем прологарифмировать последнее соотношение из (1.4). В результате получим 1пВ ~ г 1п,11 + ] 1п,12. В силу (1.1), это соотношение можно переписать в таком виде:
т^^-’фз-ЗД)). (1.5)
Поскольку 5(*Ъ) = 1п |^1 (0)|/ 1п и(0)| < 0 по условию (В), то соотношение (1.5) всегда можно выполнить путем варьирования значений параметра ез для больших г и ]. Заметим, что здесь мы должны брать заданную бесконечную последовательность целых г (для которых значения ео8(гф>1 + в1) асимптотически малы).
Теорема 1 показывает, что трехмерное отображение Эно (1) является нормальной формой для соответствующих отображений первого возвращения (оно получается, если пренебречь о(1)-членами в (1.2)). Таким образом, мы можем изучить бифуркации однообходных
периодических траекторий в семействе Е£, при е € Дц, с помощью стандартного анализа бифуркаций неподвижных точек конкретного отображения (1). На этом пути можно получать разные результаты — в частности, теорему о каскаде диких гиперболических аттракторов лоренцевского типа, вполне аналогичную соответствующей теореме из [22]:
В пространстве параметров е в любой окрестности начала координат е = 0 существует счетное множество открытых областей Ьц, таких, что Ьц С Дц и диффеоморфизм Ее имеет при е € Ьц (локальный) дикий лоренцевский аттрактор5 при значениях параметров е € Ьц.
Действительно, этот результат непосредственно вытекает из теоремы 1 вследствие того, что 1) дикий аттрактор Лоренца существует у отображения (1) для значений параметров (М1,М2,В) из некоторой открытой области [21] (см. также § 2) и 2) такие аттракторы устойчивы по отношению к возмущениям класса С2 [18].
Однако здесь можно получить и более сильный результат: о существовании счетного множества диких лоренцевских аттракторов:
Теорема 2. В любой окрестности точки е = 0 в пространстве параметров существуют открытые области N, в которых плотны такие значения е, что соответствующий диффеоморфизм Ее имеет счетное множество сосуществующих диких гиперболических аттракторов лоренцевского типа.
Доказательство. Заметим, что области N из теоремы — это, по существу, некоторые области Ньюхауса: по определению, в таких областях плотны значения параметров, отвечающих существованию гомоклинических касаний. Однако в нашем случае области N обладают определенной спецификой. Дело в том, что, как вытекает из работ [12] и [28], в любой окрестности точки е = 0 в пространстве параметров существуют области Ньюхауса N, в которых плотны такие значения параметров е, что соответствующий диффеоморфизм Ее имеет негрубый гетероклинический контур исходного типа, т. е. условия (А)-(С) выполняются и для ^е. При этом новые траектории О1(е),О2 (е) и 012 (е) будут близки к соответствующим траекториям исходного диффеоморфизма ^о; однако новая негрубая гетероклиническая траектория О12 (е) (квадратичного касания многообразий Ш^(О^е)) и Ши(О2(е))), хотя и целиком расположена в и, не будет близка к О21 (по отношению к О21 она будет многообходной). Теперь, очевидно, доказательство теоремы можно провести с помощью стандартной процедуры вложенных областей. Действительно, из теоремы 1 вытекает, что вблизи любого значения е € N, такого, что Ее имеет негрубый гетероклинический контур, в N найдется открытая область т значений параметров, отвечающая существованию дикого лоренцевского аттрактора. Поскольку щ принадлежит N, в ней существуют другие значения е, которые соответствуют новому негрубому гетероклиническому контуру исходного типа. Соответственно, можно найти меньшую открытую подобласть щ С щ, отвечающую существованию уже двух разных аттракторов лоренцевского типа. Повторяя эту процедуру, мы приходим к искомому результату.
Замечание 2. Пусть NWLa СN — это то подмножество параметров, при которых диффеоморфизм ¥е имеет счетное множество диких лоренцевских аттракторов. По доказательству теоремы 2, подмножество ^ьа получается как счетное пересечение открытых плотных подмножеств из N.
5Этот аттрактор является локальным и «однообходным», поскольку принадлежит ^ и является аттрактором только для отображения первого возвращения Т1^.
Это означает, что NWLa является в N подмножеством второй категории (или массивным подмножеством). Соответственно, свойство иметь счетное множество сосуществующих диких гиперболических аттракторов лоренцевского типа является типичным свойством систем из указанных областей Ньюхауса.
2. О динамических свойствах трехмерных отображений Эно
В этом параграфе основное внимание будет уделено вопросам, связанным с исследованием динамических свойств трехмерного квадратичного отображения (1). Это отображение можно рассматривать как естественное трехмерное обобщение хорошо известного двумерного отображения Эно у = г, г = М1 + М2У — г2; действительно, как и последнее, отображение (1) квадратичное, имеет постоянный якобиан, равный В, и, более того, при В = 0 оно, по координатам (у, г), вырождается как раз в двумерное отображение Эно.
В работе [21] (см. также [22]) было показано, что
отображение (1) обладает (глобальным) диким гиперболическим аттрактором в некоторой открытой области параметров.
Основная идея доказательства этого утверждения состояла в том, чтобы проверить выполнение условий из работы [7], в которой было показано, в частности, что если (трехмерное) отображение имеет неподвижную точку с триплетом ( —1, —1, +1) мультипликаторов, то его квадрат может быть локально вложен в поток с точностью до малых членов; при этом соответствующая локальная нормальная потоковая форма в определенных случаях совпадает с системой Мариока-Шимицу
Применительно к отображению (1) этот результат звучит как следующее утверждение [21, 22]:
Лемма 1. Для значений параметров (М1, М2, В), близких к (М1 = —1/4, М2 = 1,В = = 1), вторая итерация отображения (1) в некоторой окрестности одной из двух неподвижных точек совпадает с отображением за время 1 вдоль траекторий потока (2.1) с точностью до малых корректирующих членов. Более того, координаты (х, у, г) и параметры А и а могут принимать произвольные конечные значения.
Заметим, что в [29, 30] было численно установлено (доказательство, не использующее помощь компьютера, было проведено недавно в [31]), что поток (2.1) содержит аттрактор Лоренца для значений параметров из некоторой открытой области. Применяя этот результат к трехмерному отображению Эно, можно получить (в силу леммы 1), что вблизи значения (М1 = —1/4,М2 = 1,В = 1) параметров существует область с дикими аттракторами лоренцевского типа.
Более того, численные исследования в [21] показали, что такие (дикие лоренцевские) аттракторы могут существовать и в достаточно больших областях параметров и иметь значительные размеры. На рисунке 4 показаны полученные численно «3D-картинки», являющиеся по сути портретом итераций (отображения (1)) всего лишь одной начальной точки
х = У,
у = х(1 — г) — Ау, г = —аг + х2,
(2.1)
для значений параметров М\ = 0, М2 = 0.85, В = 0.7 (рис. слева) и М\ = 0, М2 = 0.815, В = = 0.7 (рис. справа). Отметим также, что аттрактор справа на рис. 4 аналогичен аттрактору Лоренца с лакуной (наблюдаемому, например, в системе (2.1), см. [29, 30]).
Рис. 4. Портреты аттракторов трехмерного отображения Эно (1), найденные численно при Mi = = 0,B = 0.7, M2 = 0.85 (слева) и Mi = 0,B = 0.7, M2 = 0.815 (справа). На рисунке слева показаны проекция аттрактора на плоскость (x,y) и его сечения плоскостями z = const. На правом рисунке показана замкнутая линия (выглядящая как «восьмерка»), которая является седловой замкнутой инвариантной кривой, лежащей внутри лакуны.
Итак, мы отмечаем, что отображение (1), несмотря на то, что оно крайне просто по форме, демонстрирует весьма интересную динамику. Здесь мы выделяем, конечно, ту ее сторону, которая относится к странным аттракторам, см. также работу [21], где соответствующие вопросы рассмотрены достаточно подробно. Однако существует еще один момент, который делает отображения типа (1) весьма актуальными в теории бифуркаций. Дело в том, что трехмерное отображение Эно (1) мы можем также отнести к классу «гомоклинических отображений», которые имеют естественное происхождение в динамике как нормальные формы отображений первого возвращения вблизи гомоклинических касаний.6 Хорошо известно, что такие одномерные и двумерные квадратичные отображения, как отображение параболы (называемое еще логистическим отображением) у = = Mi — у2, стандартное отображение Эно (x,y) = (y,M\ — Bx — у2), отображение
Мира (Х,у) = (у, Mi + M2y — x2), а также так называемое обобщенное отображение Эно (Х,у) = (у, Mi — Bx — у2 + £1Ху + £2у3), возникают естественным образом при исследовании бифуркаций квадратичных гомоклинических касаний: мы отсылаем читателя к книге
[32], в которой собрано достаточно много материала по этой тематике (см. также [15]).
Что касается трехмерных отображений, то еще с работы [14] (см. также [33, 34]), было известно, что трехмерное отображение вида
x = у, у = z, z = M1 + Bx + M2z — у2 (2.2)
6Естественно, само отображение первого возвращения определено в достаточно малой окрестности выбранной гомоклинической точки при малых же значениях параметров возмущения. Однако часто бывает, что к этому отображению, записанному в исходных координатах и с исходными параметрами, можно применить так называемый рескейлинг-метод, когда координаты и параметры «растягиваются» с большим масштабным фактором, пропорциональным времени возвращения K, при этом новые координаты и параметры могут принимать произвольные конечные значения. Тогда, отбрасывая в новом отображении асимптотически малые (при K, ^ то) члены, можно получить отображение достаточно простого вида, которое, однако, обладает всеми основными свойствами динамики исходного отображения первого возвращения.
является нормальной формой отображения первого возвращения в случае квадратичного гомоклинического касания многообразий неподвижной точки типа седло-фокус (2,2).7
3. Доказательство теоремы 1
Хорошо известно ([26], [15]), что в окрестности Ul неподвижной точки Oí можно ввести такие Cr-координаты (x,y) = (xí,x2,y), в которых локальное отображение Toi(е) := Fe\u1 при всех достаточно малых значениях е имеет вид
T X = \iRvx + 0(||x||2\y\) ( )
To1 : y = 71У + 0(||x||y2) , (31)
_ / cos ш — sin ш \
где Rv =1 sin ш cos ш J — (2 х2)-матрица поворота на угол ш. Аналогичные координаты
существуют ив U2, так что отображение T02 (е) := Fe\u2 при всех достаточно малых е имеет вид:
и = \2Rф и + 0(||u||2|v\) ( )
To2 : V = Y2V + 0(||u||v2) • (3)
В этих координатах локальные устойчивые и неустойчивые многообразия точек Oí и 02 имеют такие уравнения: W¿c(01): {y = 0}, W¡Joc(01): {x = 0}, Wfoc(02): {v = 0}, WJoc(02): {и = 0}. При е = 0 выберем пару точек M- = (0, 0,y-) £ U1 и M+ = (и+ ,и+, 0) £ U2 траектории Г12 и пару точек M- = (0, 0,v-) £ U2 и M+ = (x+,x+, 0) £ Ui траектории Г21. Очевидно, существуют такие целые qi и q2, что M+ = Fqi(M-) и M+ = F0q2 (M-). Пусть П+ и П- —некоторые малые окрестности точек M+ и M- на U¡, l = 1, 2. Тогда глобальные отображения T12(е) := Fqi\п- : П- ^ П+ и Т21(е) := Fe2\п- : П- ^ П+ будут определены при всех достаточно малых е ив координатах (3.1)—(3.2) могут быть записаны в следующем виде:
: и — и+ = A(1)x + 6(1)(y — y-)+0(||x||2 + ||x|Hy — y-\ + (y — y-)2) (33)
V = (c(1))Tx + d(1)(y — y-) + 0(||x||2 + ||x|| • |y — y-1 + (y — y-)2) ,
Т . х — х+ = А(2)и + Ъ(2)(у — V }+О(||и||2 + ||и|| ■ \у — V | + ( — V )2)
21 ’ у = Ц + (с(2) }Ти + ^(2) (V — V-}2 + 0(||и||2 + ||и|| ■ IV — и-\ + IV — v-\3} ’ (
где = 0, поскольку Ши(Оі) и Шв(Оі} пересекаются трансверсально в точке М+, и ^2) = 0, поскольку касание между Ши(О2} и Ш5(Оі} —квадратичное.
Также будем считать, что Ь(2) = (Ь, 0}Т и с(2) = (с, 0}. Этого всегда можно добиться с помощью соответствующего ортогонального поворота координат (жі,ж2} и (иі,и2}. При этом формы (3'1)—(3'2) локальных отображений не изменятся. Поскольку Ті2 и Т2і —диффеоморфизмы, то их якобианы Jl2 и J21, вычисленные в точках М- и М- соответственно,
7Заметим, что отображение (2.2) можно рассматривать как обратное для (1). В этом случае новые параметры (М1,М2,В) из (2.2) будут связаны со старыми из (1) следующим образом:
д тпею
М1
д тпею М2 т^пею 1
М1 М2 =—д, В =-.
Тогда, например, в соответствии с леммой 1, мы можем утверждать, что отображение (2.2) имеет дикий лоренцевский репеллер для значений параметров (М1, М2, В), близких к (М1 = —1/4, М2 = 1,В = 1).
не равны нулю, т. е.
J12 = det
^і
у сіі) с2і} ^(і) )
Отсюда, в частности, вытекает, что
/ (2) (2)
= 0, J21 = det
b = 0, с = 0 a22' = 0
11
12
a
(2) (2)
21
22
0
b 0 0
= 0.
(3.5)
(3.6)
Заметим, что если локальные отображения Т01 и Т02 заданы в нормальной форме (3.1) и (3.2) соответственно, то существуют удобные представления для их итераций (см. [15], [26]); отображение Тл(е): (хо,уо) ^ (%и,Ук) при всех достаточно больших к может быть записано в таком (перекрестном) виде:
Xk = Rkvx0 + Af pik(xo, yk, є),
У0 = ЪкУк + A’k Y-k p2k (xo, Ук, є),
и, соответственно, отображения Т^(є): (uo,Vo) ^ (uk,Vk) —в виде:
Uk = AlkRk^uo + A2kp3k(uo,Vk, є), vo = Y-k Vk + Ak Y-k p4k (uo ,Vk ,є),
(3.7)
(3.8)
где функции рк и их производные до порядка (г — 2) включительно равномерно ограничены по к.
Теперь, используя формулы (3.3), (3.4), (3.7) и (3.8), получаем следующее выражение для отображения первого возвращения Т= Т2\Т^2Т12Т^ : П+1 ^ П+1:
и — и+ = А(1)Х\RiVx + Ь(1)(у — у-) + 0(А^||х||2 + А*Ц|х|| • |у — у-1 + (у — у-)2),
72 j(v + Aj2p4j) = (с(1))тAlRi^x + d(1)(y - у ) +
+O(A2i
x
2
+ A1NxN -|у - у \ + (у - у )2),
X - x+ = A(2) A32Rj^u + b(2) (V - V-) + O(A23 ||u||2 + A2||u|| ф - v-\ + (V - v-)2)
(3.9)
Y- і(у + A1p2i) = ß + (c(2))тAj2Rj^u + d(2)(v - v )2+
+O(A
2j
u
+ A2||u|| • |v - v \ + |v - v |3)
Сделаем следующую замену (сдвиг) координат
un
її _ 2
= u — u + (Xij, Vnew = V — V + Gij, x^
ij ^new
= x - x+ + a3 , ynew = у - у + ,
в которой коэффициенты аіз = О(Аі + А^ + 7 -і + І72І- 3} подберем таким образом, чтобы занулить свободные члены в уравнениях для х, и и V, а также линейный член по V в уравнении для у. После этого коэффициент перед V в уравнении для Х2 может стать отличным от нуля (а именно, того же порядка, что и аіз)—обратить его снова в нуль можно с помощью дополнительного поворота координат (хі,Х2} на соответствующий малый угол. В результате система (3.9) примет вид
u = A(1)A1 Rivx + Ь(1)у + O(Aii||x||2 + A1||x|| • у + у2),
Y-jV(1 + O(A2)) = (c(1))TA1_RiVx + d(1)у + O(A2i|x|2 + Ai||x|| • у + у2),
x = A(2)Aj2Rj^u + b(2)V + O(A2311u|2 + A2||u|| • |V| + V2),
7-іу(і + O(A1)) = M + (c(2))TA2Rj^u + d(2)V2 + O(A2j||u||2 + A2||u|| • |V| + |V|3)
(3.10)
с
2
2
где новые коэффициенты и матрицы (А(і), Ь(і), гі(і) и т.д.) могут отличаться от исходных на величины порядка а3. Кроме того,
М = ї + А3(с(2)}Ти+(1 + ...} — у-(1 + ...}, (3.11)
где многоточия обозначают члены, которые стремятся к нулю при і, і ^ ж
Рассмотрим второе уравнение из (3.10). Так как = 0, то при всех больших і и і можно ввести новые координаты у и V, в которых это уравнение примет линейный вид ^-3V = гі(і)у (т.е. упеш —это правая часть уравнения, деленная на гі(і), а vnew — соответственно, левая, деленная на 72~3). Далее, с помощью замены координат вида ип^ = и — — (ь(і)/гі(і)}72_3 v + О(7-23 v2}, исключаем из уравнений для и все члены, которые зависят только от у. В результате система (3.10) принимает вид:
и = А(і)АіКі^х + О(А2і|х|2 + Аі||х|| ■ |у\},
V = у,
ЬЧ - . (312)
x = A(S)ASRj^u + ^ 00 ^ v + O(a23||u||2 + AS||u|| • |v| + v2),
о / ...............12
Y-iy(1 + O(AÍ)) = M + (c(2))TAÍRj^u + d(2)V2 + O(A23||U||2 + AS||U|| • |v| + |v|3).
Заметим, что последние замены координат могут привести к появлению (в четвертом уравнении системы) линейного по v члена порядка (ASy—3). Мы снова его занулим с помощью дополнительного сдвига координат (x, y, u, v) на малую величину того же порядка — так что в (3.12) такого члена нет.
Из первых двух уравнений системы (3.12) координаты U и v легко выражаются через x и у. Подставив соответствующие выражения в последние два уравнения, получим для отображения Tij : (x, у) ^ (X, у) такое его представление в явном виде:
Xi = bd(i) y2 у + O(A3A\ ||x|| + y23 у2),
x2 = Ki(i,j)A32Aixi + K2(i,j)A32Aix2 + O(ASA2i||x||2 + A2,A1y2||x|| • у + yS3у2), (3 13)
YГiy(1 + O(A1)) = M + cA32^i(Ci(i^,j^)xi + C2(i^,j^)x2) +
+d(2)(d(i))2Y23у2 + O^Afllxll2 + A2A1y2||x|| • \у\ + yS3|у|3), где Ki(i,j), l = 1, 2,—некоторые равномерно ограниченные по i,j коэффициенты, и
Ci(i<p,jtf) = cos i^(a(ii) cos jф — a2i} sin jrf) + sin iipfaH cos jф — aSS sin jrf), 14)
C2(ip, jф) = — sin i^(ayi cos jф — aSi sin jф) + cos i<^(aiS) cos jф — a2S) sin jф).
Заметим, что C2 + CS = (aii cos jф — a2i) sin jф)2 + (aiS) cos jф — aSS sin jф)2. Поскольку a2s) =0 (в силу (3.6)), то Ci и Cs, вообще говоря, одновременно в нуль не обращаются.8
Будем рассматривать теперь такие пары целых i и j, что величина Jj = (AiYi)i(ASY2)j = = (Ji)i(Js)j остается равномерно ограниченной по i,j. Этого всегда можно добиться, поскольку ln Ji • ln J2 < 0 по предположению, см. формулу (1.5).
Введем в (3.13) новые координаты (так называемые рескейлинг-координаты) следующим образом:
. ъ%ъ23 v П„ ьъ%ъ\,г х КАъгъ3 х ,01^
V —--------------^ ч —-т~\—т~т Y* Хо —-----------——ГГ—-А.. (о.15)
¿(2)(¿(1))2 cd^(d^)2
80 (2) (2) (2) (2) п 4.-1 (2) / (2) и
За исключением случая аЦ а22 — а21 а12 = 0, при котором зф = а12/а22. Но даже в этом случае мы всегда можем выбирать такие з, при которых О2 + 0| = 0.
Тогда система (3.13) перепишется в следующем виде:
У = Z + Oj), X = + Oji), (3 )
Z = M\ + М2У + Jij (C2(iф, j^) + • • •) X — Z2 + O^Ai),
где
Mi = —d(2) (d(i) )272i72j M, M2 = c(Ai7i )i(A272)j Ci(iy,j^)^ (3.17)
Поскольку коэффициент перед M в (3.17) —асимптотически большой при i,j ^ ж, то параметр Mi при больших i,j может принимать любые конечные значения при варьировании ц вблизи тех значений, при которых M обращается в нуль, см. (3.11).
Заметим, что коэффициент (Ai7i)i(A272)j = JijA—jA—i в формуле (3.17) для M2 — асимптотически большой (для тех i и j, при которых Jij — равномерно ограничено). Поэтому при варьировании ф вблизи тех значений, при которых Ci(iy,jtf) =0 (а такие значения ф плотны на любом интервале из (0,^)), можно получать произвольные конечные значения параметра M2.
В том случае, когда все коэффициенты в (3.16) равномерно ограничены, соответствующие отображения в рескейлинг-координатах будут асимптотически близки к отображению типа Эно с якобианом
B = bd(i) Ki (i,j )C2 ^ф^ф).1^ •
Однако отображение (3.16) есть не что иное, как отображение первого возвращения Tj, область определения которого в первоначальных координатах (xi,x2,y) отвечает ограниченным значениям (У,Х, Z) в силу (3.15). Якобиан J(Tj) отображения Tj в исходных координатах может быть легко вычислен [35] (когда локальные отображения T01 и T02 приведены к нормальной форме, (3.1) и (3.2) соответственно):
J (Tij ) = J (Ti )J (TO2 )J (Ti2 )J (T2i ) = Jij J (T12 (M- ))J (T2i (M— ))(1 + •• •)•
Отметим, что все замены координат, которые мы делали для приведения отображения Tij к виду (3.16), представляли собой линейные преобразования и преобразования, близкие к тождественному при i,j ^ +ж. Таким образом, якобиан отображения (3.16) совпадает с J(Tij), с точностью до асимптотически малых при i,j ^ +ж членов. Таким образом, bd(i)Ki(i,j)C2(iv,j^) = J(T12(M— ))J(T2i(M—))(1 + • • •) и, соответственно,
B = J (Ti2 (M- ))J (T2i (M— ))(A2 7i)i(A272)j (3.18)
Теперь, чтобы завершить доказательство теоремы 1, достаточно сделать замену X на bd(i) Ki (i,j )Xnew, после которой отображение (3.16) примет искомый вид (1.2).
Работа поддержана грантами РФФИ No.07-01-00566, No.07-01-00715 и No.10-01-00429, а также региональным грантом РФФИ No.09-01-97016-p Поволжье.
Список литературы
[1] Шильников Л. П. Об одном случае существования счетного множества периодических движений // Докл. АН СССР, 1965, т. 160, №3, с. 558-561.
[2] Шильников Л. П. К вопросу о структуре расширенной окрестности грубого состояния равновесия типа седло-фокус // Матем. сб., 1970, т. 81, №1, с. 92-103.
[3] Шильников Л. П. Теория бифуркаций и турбулентность // Методы качественной теории дифференциальных уравнений: Межвуз. тематич. сб. науч. тр. Горький: ГГУ, 1986. С. 150-163.
[4] Афраймович В. С., Быков В. В., Шильников Л. П. О возникновении и структуре аттракторов Лоренца // Докл. АН СССР, 1977, т. 234, №2, с. 336-339.
[5] Афраймович В. С., Быков В. В., Шильников Л. П. О притягивающих негрубых предельных
множествах типа аттрактора Лоренца // Тр. Моск. матем. об-ва, 1982, т. 44, с. 150-212.
[6] Шильников Л. П. Теория бифуркаций и квазигиперболические аттракторы // УМН, 1981, т. 36, вып. 4, с. 240-241.
[7] Shilnikov A. L., Shilnikov L. P., Turaev D. V. Normal forms and Lorenz attractors // Internat.
J. Bifur. Chaos Appl. Sci. Engrg., 1993, vol. 3, pp. 1123-1139.
[8] Афраймович В. С., Шильников Л. П. Инвариантные торы, их разрушение и стохастичность // Методы качественной теории дифференциальных уравнений: Межвуз. тематич. сб. науч. тр., Горький: ГГУ, 1983, с. 3-26.
[9] Афраймович В. С., Шильников Л. П. О некоторых глобальных бифуркациях, связанных с исчезновением неподвижной точки типа седло-узел // Докл. АН СССР, 1974, т. 219, №6, с. 12811285.
10] Лукьянов В. И., Шильников Л. П. О некоторых бифуркациях динамических систем с гомокли-ническими структурами // Докл. АН СССР, 1978, т. 243, №1, с. 26-29.
11] Newhouse S.E. The abundance of wild hyperbolic sets and non-smooth stable sets for diffeomor-phisms // Publ. Math. Inst. Hautes Etudes Sci., 1979, vol. 50, pp. 101-151.
12] Гонченко С. В., Тураев Д. В., Шильников Л. П. О существовании областей Ньюхауса вблизи систем с негрубой гомоклинической кривой Пуанкаре (многомерный случай) // Докл. РАН, 1993, т. 329, №4, с. 404-407.
13] Afraimovich V. S., Shilnikov L. P. Strange attractors and quasiattractors // Nonlinear dynamics and turbulence / G. I. Barenblatt, G.Iooss, D.D. Joseph. Boston: Pitman, 1983. P. 1-34.
14] Гонченко С. В., Тураев Д. В., Шильников Л. П. Динамические явления в многомерных системах с негрубой гомоклинической кривой Пуанкаре // Докл. РАН, 1993, т. 330, №2, с. 144-147.
15] Gonchenko S.V., Shilnikov L.P., Turaev D.V. On dynamical properties of multidimensional diffeomorphisms from Newhouse regions: I // Nonlinearity, 2008, vol. 21, pp. 923-972.
16] Тураев Д. В., Шильников Л. П. Пример дикого странного аттрактора // Матем. сб., 1998, т. 189, №2, c. 137-160.
17] Овсянников И. М., Шильников Л. П. О системах с гомоклинической кривой седло-фокуса // Матем. сб., 1986, т. 130, №4, c. 552-570.
18] Тураев Д. В., Шильников Л. П. Псевдогиперболичность и задача о периодических возмущениях аттракторов лоренцевского типа // Докл. РАН, 2008, т. 418, № 1, с. 23-27.
19] Fenichel N. Persistence and smoothness of invariant manifolds for flows // Indiana Univ. Math. J., 1971, vol. 21, №3, pp. 193-226.
20] Hirsch M., Pugh C., Shub M. Invariant manifolds. Lect. Notes Math., vol. 583. Berlin: Springer, 1977. 149 p.
21] Gonchenko S. V., Ovsyannikov 1.1., Simo C., Turaev D.V. Three-dimensional Henon-like maps and wild Lorenz-like attractors // Internat. J. Bifur. Chaos Appl. Sci. Engrg., 2005, vol. 15, pp. 34933508.
22] Gonchenko S. V., Meiss J. D., Ovsyannikov 1.1. Chaotic dynamics of three-dimensional Henon maps that originate from a homoclinic bifurcation // Regul. Chaotic Dyn., 2006, vol. 11, pp. 191-212.
[23] Gonchenko S. V., Shilnikov L. P., Turaev D. V. On global bifurcations in three-dimensional diffeomorphisms leading to wild Lorenz-like attractors // Regul. Chaotic Dyn., 2009, vol. 14, pp. 137147.
[24] Гонченко С. В., Стенькин О. В., Шильников Л. П. О существовании счетного множества устойчивых и неустойчивых инвариантных торов у систем из областей Ньюхауса с гетероклиниче-скими касаниями // Нелинейная динамика, 2006, т. 2, № 1, с. 3-25.
[25] Turaev D. V. On dimension of nonlocal bifurcational problems // Internat. J. Bifur. Chaos Appl. Sci. Engrg., 1996, vol. 6, pp. 919-948.
[26] Shilnikov L. P., Shilnikov A. L., Turaev D. V., Chua L. O. Methods of qualitative theory in nonlinear dynamics: P. I. River Edge, NJ: World Sci. Publ., 1998;
Shilnikov L. P., Shilnikov A. L., Turaev D. V., Chua L. O. Methods of qualitative theory in nonlinear dynamics: P. II. River Edge, NJ: World Sci. Publ., 2002.
[27] Gonchenko S.V. Dynamics and moduli of П-conjugacy of 4^-diffeomorphisms with a structurally unstable homoclinic orbit to a saddle-focus fixed point // Methods of qualitative theory of differential equations and related topics. (Amer. Math. Soc. Transl. Ser. 2, vol. 200.) Providence, RI: AMS, 2000. P. 107-134.
[28] Гонченко С. В., Тураев Д. В., Шильников Л. П. Об областях Ньюхауса двумерных диффеоморфизмов, близких к диффеоморфизму с негрубым гетероклиническим контуром // Труды МИАН, 1997, т. 216, с. 76-125.
[29] Шильников А. Л. Бифуркации и хаос в системе Мариока-Шимицу // Методы качественной теории дифференциальных уравнений: Межвуз. тематич. сб. науч. тр., Горький: ГГУ, 1986, с. 180-193.
[30] Shilnikov A. L. On bifurcations of the Lorenz attractor in the Shimuizu-Morioka model // Phys. D, 1993, vol. 62, pp. 338-346.
[31] Tigan G., Turaev D. On the Lorenz attractor in the Shimuizu-Morioka model // Nonlinearity (submitted for publication).
[32] Гомоклинические касания: Сб. ст. / С. В. Гонченко, Л. П. Шильников. М.-Ижевск: НИЦ «Регулярная и хаотическая динамика», Инст. компьютер. исслед., 2007. 524 с.
[33] Gonchenko S. V., Shilnikov L. P., Turaev D. V. Dynamical phenomena in systems with structurally unstable Poincare homoclinic orbits // Chaos, 1996, vol. 6, no. 1, pp. 15-31.
[34] Гонченко С. В., Тураев Д. В., Шильников Л. П. О динамических свойствах диффеоморфизмов с гомоклиническими касаниями // Итоги науки и техн. Сер. Соврем. мат. и ее прил. Темат. обз., 2003, т. 7, с. 92-118.
[35] Gonchenko S. V., Gonchenko V. S., Tatjer J. C. Bifurcations of three-dimensional diffeomorphisms with non-simple quadratic homoclinic tangencies and generalized Henon maps // Regul. Chaotic Dyn., 2007, vol. 12, pp. 233-266.
