Устойчивость периодических точек диффеоморфизма плоскости в случае наличия гомоклинической орбиты

УДК 517.925.53 Вестник СПбГУ. Математика. Механика. Астрономия. 2019. Т. 6 (64). Вып. 1 МБС 37С75, 37С29, 34С37

Устойчивость периодических точек диффеоморфизма плоскости в случае наличия гомоклинической орбиты*

Е. В. Васильева

Санкт-Петербургский государственный университет,

Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9

Для цитирования: Васильева Е. В. Устойчивость периодических точек диффеоморфизма плоскости в случае наличия гомоклинической орбиты // Вестник Санкт-Петербургского университета. Математика. Механика. Астрономия. 2019. Т. 6(64). Вып. 1. С. 44-52. https://doi.org/10.21638/11701/spbu01.2019.103

Рассматривается диффеоморфизм плоскости в себя с неподвижной гиперболической точкой в начале координат и нетрансверсальной гомоклинической к ней точкой. Периодические точки, лежащие в достаточно малой окрестности гомоклинической точки, делятся на однообходные и многообходные в зависимости от расположения орбиты периодической точки по отношению к орбите гомоклинической точки. Из работ Ш. Ньюхауса, Л. П. Шильникова, Б. Ф. Иванова и других авторов следует, что при определенном способе касания устойчивого многообразия с неустойчивым в окрестности нетрансверсальной гомоклинической точки может лежать бесконечное множество устойчивых периодических точек, но, по крайней мере один из характеристических показателей этих точек стремится к нулю с ростом периода. Из прежних работ автора следует, что при ином способе касания устойчивого многообразия с неустойчивым в окрестности нетрансверсальной гомоклинической точки может лежать бесконечное множество устойчивых однообходных периодических точек, характеристические показатели которых отделены от нуля. В данной работе показано, что при определенных условиях, наложенных, прежде всего, на способ касания устойчивого многообразия с неустойчивым, любая окрестность нетрансверсальной гомоклинической точки может содержать счетное множество устойчивых двухобходных периодических точек с отделенными от нуля характеристическими показателями.

Ключевые слова: диффеоморфизм плоскости, гиперболическая точка, нетрансверсаль-ная гомоклиническая точка, устойчивость.

В предлагаемой работе изучается С -'--диффеоморфизм плоскости в себя с неподвижной гиперболической (седловой) точкой в начале координат, предполагается наличие нетрансверсальной гомоклинической к ней точки. Известно, что в произвольной окрестности нетрансверсальной гомоклинической точки может лежать бесконечное множество периодических точек исходного диффеоморфизма. Периодические точки, которые лежат в достаточно малой окрестности гомоклинической точки, делятся на однообходные и многообходные в зависимости от расположения орбиты периодической точки в окрестности гомоклинической точки.

Основная цель данной работы показать, что в произвольной окрестности нетрансверсальной гомоклинической точки может лежать бесконечное множество

* Работа выполнена при финансовой поддержке РФФИ (грант №16-01-00452).

(¡5 Санкт-Петербургский государственный университет, 2019

многообходных (точнее двухобходных) устойчивых периодических точек, характеристические показатели которых отделены от нуля. Ранее структура окрестности нетрансверсальной гомоклинической точки изучалась в работах Ш. Ньюхауса, Л. П. Шильникова, Б. Ф. Иванова и других авторов [1—4]. Из перечисленных работ следует, что при определенных условиях, наложенных, прежде всего, на способ касания устойчивого многообразия с неустойчивым, в окрестности нетрансверсальной гомоклинической точки может лежать бесконечное множество устойчивых периодических точек, но, по крайней мере один из характеристических показателей у этих точек стремится к нулю с ростом периода.

Предлагаемая работа является продолжением работ [5, 6]. В указанных статьях рассматривались диффеоморфизмы с неподвижной гиперболической точкой в начале координат и нетрансверсальной гомоклинической к ней точкой, при этом на способ касания устойчивого многообразия с неустойчивым накладывались несколько иные условия, чем в [1—4]. Показано, что в произвольной окрестности нетрансвер-сальной гомоклинической точки может лежать бесконечное множество устойчивых однообходных периодических точек, характеристические показатели которых отделены от нуля. Пример диффеоморфизма с такими свойствами приведен в [7].

Пусть ] — диффеоморфизм плоскости в себя с гиперболической неподвижной точкой в начале координат, т.е. f (0) = 0. Считаем, что ] линеен в некоторой ограниченной окрестности V начала координат, точнее, если (х, у) € V, то

> (X) = (%), О

где

0 < А < 1 <

Предположим, что

Ал2 < 1.

Ясно, что существует такая 7 > 2, что А^Т1 = 1.

Как обычно, через Шя(0), Ш"(0) обозначим устойчивое и неустойчивое многообразия нулевой точки. Известно, что устойчивое и неустойчивое многообразия гиперболической точки диффеоморфизма ] определяются как

Ws(0) = {z е R2 : lim II fk(z) ||= öl

[ k^+ж J

Wu(0) = { z е R2 : lim || f-k(z) ||= 0

где fk, f-k — степени диффеоморфизмов f и f-1.

Предполагается наличие нетрансверсальной гомоклинической точки, а именно, предполагается, что в пересечении устойчивого и неустойчивого многообразий лежит отличная от нуля точка w, причем эта точка является точкой касания этих многообразий.

Из определения гомоклинической точки следуют равенства lim || fk(w) ||= lim || f-k(w) ||=0.

Пусть wi и W2 — две такие точки из орбиты гомоклинической точки w, что wi е V, w2 е V, и их координаты имеют вид wi = (0,у°), w2 = (x°, 0). Из определения

гомоклинической точки следует, что существует натуральное число ш такое, что

/и (IV! ) = *Ш2.

Предположим, что при некоторых Л, р таких, что Л<Л < 1, 1 < р < р, справедливо включение

V' = {

Предположим, что

х° > 0, у° > 0.

Пусть { }

и ={(х,у) : |х| <в, У - У°| <в}

— такая окрестность точки т1, что и С VI, /ш(и) С V', /(и) р| V' = 0, /ш-1(и) р| V1 = 0 и множества и, /(и), ..., /ш(и) попарно не пересекаются. Обозначим через Ь сужение /ш ^. Ясно, что Ь — отображение класса Са матрица ВЬ(0) невырожденная.

Периодическая точка исходного диффеоморфизма и € и называется одно-обходной периодической точкой, если существует натуральное число з такое, что /3Ь(и) = и, причем (ш + з) —наименьший период, и для любого к = 1,2, ..., з — 1 /кЬ(и) € V;.

Периодическая точка и € и исходного диффеоморфизма называется в-обходной или многообходной периодической точкой (в > 1), если существуют натуральные числа ]1, 32, ..., Зэ такие, что /3"Ь.../32Ь/31Ь(и) = и, причем (вш + 31 + 32 +... + Зэ) — наименьший период, и для любого к = 1, 2, ... ,в — 1 имеем /3кЬ.../32Ь/31Ь(и) € и и для любого к =1, 2, ..., в, I = 1, 2 ,..., Зк — / 1Ь/3к-Ь.../31 Ь(и) € V'.

В данной работе изучаются многообходные периодические точки с в = 2; такие точки называются двухобходными.

Запишем отображение Ь в координатах:

+ Г;(х,у — у°У

Ь

где (х, у — у0), (х,у — у0) — С '-функции, определенные в и. Ясно, что (0, 0) = Г2(0, 0) = 0.

В работах [1-4] исследовалась окрестность гомоклинической точки и предполагалось, что существует г > 1 такая, что

= ¿НЛ-1 '

Из указанных работ следует, что при выполнении условий (5), которые определяют способ касания устойчивого многообразия с неустойчивым, в окрестности гомоклинической точки может лежать бесконечное множество устойчивых периодических точек, но по крайней мере один из характеристических показателей у этих точек стремится к нулю с ростом периода. В работах [5, 6] показано, что при ином способе касания устойчивого многообразия с неустойчивым окрестность гомо-клинической точки может содержать бесконечное множество однообходных устойчивых периодических точек, характеристические показатели которых отделены от нуля. Вопрос об устойчивости многообходных периодических точек в этих работах

не рассматривался. Основная цель данной работы —показать, что в случае, когда условия (5) не выполняются, в произвольной окрестности гомоклинической точки может лежать бесконечное множество двухобходных устойчивых периодических точек, характеристические показатели которых отделены от нуля.

Предположим, что координатные функции отображения Ь имеют вид

(х,У - У°) = ах + Ь(у - у0) + у>1 (х,у - у0),

Р2

где а, Ь, с — действительные числа такие, что

Ь < 0, с > 0,

а д, ф1, ^2 —непрерывно дифференцируемые функции одной или двух переменных, определенные в окрестности начала координат, равные нулю вместе со своими производными первого порядка в начале координат. Предположим, что производные первого порядка этих функций ограничены ^ в окрестности II.

Характер касания устойчивого многообразия с неустойчивым в точке и>2 определяется свойствами функции д. Опишем свойства этой функции с помощью последовательностей. Пусть аи, £и —положительные, стремящиеся к нулю последовательности, причем последовательность аи убывает. Пусть Ди — отрицательная, стремящаяся к нулю последовательность. Предположим, что

аи - £к > аи+1 + £к+1

для любого к.

Пусть 7, р — не зависящие от к положительные постоянные, причем 1 < 7 < 7. Пусть тк — строго возрастающая последовательность натуральных чисел, а пи — такая последовательность натуральных чисел, что

пи = 1к ти + рк,

где 1 < ^и < 1, \ри \< р.

Предположим, что при любых к справедливы неравенства

10х0 тах

< £и.

хи =

хи

Апк пк+тк ) Атк лпк

Обозначим

АПк (х0 + ЬДи) + А(тк+Пк)а(х0 + Ьаи) (1 - а2А(тк +Пк)) 1,

Атк (х0 + Ьаи) + А(тк +Пк)а(х0 + ЬДи) (1 - а2А(тк+Пк)) — . Пусть для любого к выполняются неравенства

\лтк (схи + д(аи)) - (у0 + Ди) | < 0.1еил-Пк,

\лПк

Вестник СПбГУ. Математика. Механика. Астрономия. 2019. Т. 6(64)- Вып. 1 47

Предположим, что существует такая постоянная а > 1 + 0.5 (7 - 7), что при любом к и £ € (аи - еи, аи + еи) справедливо неравенство

dg

dt

< ¡j-a

Если функция g удовлетворяет неравенствам (11), (12), то условия (5) не выполняются.

Из (11), (12) следует

lim И-тк К)-1 = lim (Ak)-1 =0.

Определим 6k = 10Ank |Ak |. Пусть

Bk = {(x,y) : Ix - xkI < 6k, ly - (y° + Ok)| <£k} .

Ясно, что при достаточно больших номерах к будем иметь Bk С U.

Лемма 1. Пусть выполнены условия (1)-(4), (6)-(12), тогда существует номер к° такой, что при к > к° справедливы включения

fnkLfmkL

где cl(Bk) —замыкание Bk.

Доказательство. Пусть (x,y) е cl(Bk), ясно, что x = xk + u, y = y° + ok + v, где |u| < 6k, |v| < £k. Обозначим

ясно, что

x = xk + Amfc [au + bv + tpi (xk + u,ok + г>)] ,

y = nmk (cxk + g(ok)) + Mmk [cu + g(ok + v) - g(ok) + <f2(xk + u)].

При любом фиксированном к к функциям g, yi, y2 можно применить теорему о среднем значении, в результате, с учетом (12), получим

b(xk + u)| < 0.5 (|xk| + |u|) < (Ankx° + 6k) ,

+ v) - g(ok)K£k^-a(mk +nk).

Обозначим

6k = Amk [(|a| + 1) 6k + (|6| + 1) £k + Ankx° + Ok] , £k = 0.1£kH-nk + Mmk [(|c| + 1) 6k + £kM-a(mk+nk) + Ankx° .

Определим последовательность множеств

Bk = {

Ясно, что при достаточно больших номерах к будем иметь Вк С U. Легко видеть, что

\х-хк\ <6к, \у-(у° + Ак) | <-fc,

следовательно fmkL(c\(Bk)) с Вк .

Пусть (ж,у) £ Вк, ясно, что х = хк + и, у = у0 + Ак + v, где |й| < 6к, И < ек. Обозначим

^ \ _ fnkj^ I х

,У/ J V У

ясно, что

X = хк + ХПк [ам + bv + tpi (хк + ü,Ak+v)},

Jj = цПк (схк + g(Ak)) + цПк [сй+ g(Ak + v) - д(Ак) + (р2(хк + й)] . Из последних равенств, с учетом условий (9)—(12), имеем

\W-xk\ <ХПк [(Н + 1) Jfc + (|Ь| + + Хткх° + |Afc|] <Sk,

\V- (у°+°к) | < 0,1ек + ¡лПк [(\с\ + 1)6к+-к+Хткх°] < ек.

Последние неравенства выполняются для достаточно больших номеров к. Включения (13) доказаны. Лемма доказана.

Легко видеть, что для любого к Вк р| Вк = 0, где Вк определено в (14). Теорема 1. Пусть f —диффеоморфизм плоскости в себя с неподвижной гиперболической точкой в начале координат и нетрансверсальной гомоклинической к ней точкой. Пусть выполнены условия (1)-(4), (6)-(12), тогда в любой окрестности гомоклинической точки w1 лежит счетное множество двухобходных устойчивых периодических точек, характеристические показатели которых отделены от нуля.

Доказательство. Из включений (13) следует, что при достаточно больших номерах к множество Вк содержит неподвижную точку пк отображения fПк LfmkL, которая является периодической точкой диффеоморфизма f. Пусть йк = fmkL(uk), ясно, что йк G Вк. Обозначим

О к=В (ГкЬГкЬ(ик)) = ВркЬ{чк)ВГкЬ{чк).

В дальнейшем DetOk —определитель матрицы Ок, а TrOк —ее след. Ясно, что

O _ (Xnkа2(к) XnkЬ2(к)\ (Xmkа1(к) XmkЬ1(к)\ 'к _ \^nk С2(к) pnk д2(к)) ел(к) f,mk д1(к)) '

где lim ai(h) _ а, lim Ь^(к) _ Ь, lim ci(h) _ с, lim gi{h) _0, i _ 1, 2, \д1(к)\ <

к^+ж к^+ж к^+ж к^+ж

a

Очевидно, что

DetOk _ (X^)(mk+nk) (а2(кЫк) - Ь2(к)с2(к)) ЫкЫк) - Ь1(к)а(к)),

Tr0 k = A(mk+nk)a1(k)a2(k) + Amk jnk bi(k)c2(k)+

+ Ank jmk Ь2(к)с!(к) + J(mk+nk)gl(k)g2(k),

или, с учетом условий (12), получим

DetOk = (Aj)(mk+nk) (Ьс)2 (1 + dk),

Тгвk = Amk jnkЬс [1 + (Aj-i)(nk-mk) + щ] , где lim dk = lim щ =0.

k^+w k^+w

Пусть Рг(к), i = 1, 2, —собственные числа матрицы Ok. Ясно, что

( 2 Л°-5

(н(к) = 0.5Tr0k т 0.5 ^(TrOk)2 - 4DetO^ .

Легко видеть, что

|pi (к) | = 0.5Amk jnk ^

1 | /л -i )(nk-mk) . .

1 + (Aj ) + nk +

(1 - (Aj-i)(nk-mk))2 + Фk

°.5

где lim фk =0.

k^+w

Ясно, что

|pl(k)| = Amk jnk Mqk,

где qk определяются последними соотношениями. Из условий (9) следует, что qk положительны, ограничены и отделены от нуля. Очевидно, что

откуда

|р2(к)| = Ank jmk MQk,

где Qk положительны, ограничены и отделены от нуля.

Известно, что характеристические показатели Vi(k), i = 1, 2, точек uk определяются как

Vi(k) = (mk + nk + 2w)-i ln |pi(k)|.

В результате получаем, с учетом условий (2), (9), что для достаточно больших номеров к имеют место следующие неравенства:

щ(к) < -0.25 (7 - 7) (1 + 7)-11пМ,

v2(k) < 0.25(1 + 7)-i ln(Aj). Последние неравенства доказывают теорему.

Литература

1. Иванов Б. Ф. Устойчивость траекторий, не покидающих окрестность гомоклинической кривой // Дифференц. уравнения. 1979. Т. 15, №8. С. 1411-1419.

2. Гонченко С. В., Тураев Д. В., Шильников Л. П. Динамические явления в многомерных системах с негрубой гомоклинической кривой Пуанкаре // Докл. Академии наук. 1993. Т. 330, №2. С. 144-147.

3. Гонченко С. В., Шильников Л. П. О динамических системах с негрубыми гомоклинически-ми кривыми // Доклады АН СССР. 1986. Т. 286, №5. С. 1049-1053.

4. Newhouse Sh. Diffeomorphisms with infinitely many sinks // Topology. 1973. Vol. 12. P. 9-18.

5. Васильева Е. В. Устойчивые периодические точки двумерных диффеоморфизмов класса C1 // Вестник С.-Петерб. ун-та. Сер. 1. Математика. Механика. Астрономия. 2007. Вып. 2. С. 20-26.

6. Васильева Е. В. Диффеоморфизмы многомерного пространства с бесконечным множеством устойчивых периодических точек // Вестник С.-Петерб. ун-та. Сер. 1. Математика. Механика. Астрономия. 2012. Вып. 3. С. 3-13.

7. Плисс В. А. Интегральные множества периодических систем дифференциальных уравнений. М.: Наука, 1977. 304 с.

Статья поступила в редакцию 23 августа 2018 г.;

после доработки 13 сентября 2018 г.; рекомендована в печать 27 сентября 2018 г.

Контактная информация:

Васильева Екатерина Викторовна — д-р физ.-мат. наук, доц.; ekvas1962@mail.ru

Stability of periodic points of diffeomorphism of a plane in the case of a homoclinic orbit

E. V. Vasileva

St. Petersburg State University, Universitetskaya nab., 7—9, St. Petersburg, 199034, Russian Federation

For citation: Vasileva E. V. Stability of periodic points of diffeomorphism of a plane in the case of a homoclinic orbit. Vestnik of Saint Petersburg University. Mathematics. Mechanics. Astronomy, 2019, vol. 6

We consider a diffeomorphism of a plane into itself with a fixed hyperbolic point at the origin and a non-transversal homoclinic point to it. Periodic points lying in a sufficiently small neighborhood of the homoclinic point are divided into single-pass and multi-pass, depending on the location of the orbit of the periodic point with respect to the orbit of the homoclinic point. From the works of S. Newhouse, L. P. Shil'nikov, B. F. Ivanov and a number of other authors it follows that for a certain method of tangency of the stable and unstable manifold an arbitrarily small neighborhood of the nontransversal homoclinic point can contain an infinite set of stable periodic points, but at least one of the characteristic exponents of these points tends to zero with increasing period. From the previous works of the author it follows that for the other method of tangency of the stable and unstable manifold, an arbitrarily small neighborhood of the nontransversal homoclinic point can contain an infinite set of stable single-pass periodic points. Characteristic exponents of these points are separated from zero. In this paper it is shown that under certain conditions imposed, first of all, on the method of tangency of the stable and unstable manifold, an arbitrarily small neighborhood of the nontransversal homoclinic point can contain a countable set of multi-pass (exactly two-pass) stable periodic points. Characteristic exponents of these points are separated from zero.

Keywords : diffeomorphism of the plane, hyperbolic point, nontransversal homoclinic point, stability.

References

1. Ivanov B. F., "Stability of the Trajectories That Do Not Leave the Neighborhood of a Homoclinic Curve", Differ. Uravn. 15

2. Gonchenko S.V., Turaev D.V., Shil'nikov L. P., "Dynamical Phenomena in Multidimensional Systems with a Structurally Unstable Homoclinic Poincare Curve", Doklady Mathematics 17(3), 410—415 (1993).

3. Gonchenko S.V., Shil'nikov L. P., "Dynamical Systems with Structurally Unstable Homoclinic Curve", Dokl. Akad. Nauk SSSR 286

4. Newhouse Sh., "Diffeomorphisms with Infinitely Many Sinks", Topology 12, 9-18 (1973).

5. Vasil'eva E.V., "Stable Periodic Points of Two-dimensional C-'--Diffeomorphisms", Vestnik St. Petersburg Univ.: Math. 40(2), 107-113 (2007).

6. Vasil'eva E. V., "Diffeomorphisms of Multidimensional Space with Infinite Set of Stable Periodic Points", Vestn. St. Petersburg Univ.: Math. 45(3), 115-124 (2012).

7. Pliss V.A., Integral Sets of Periodic Systems of Differential Equations

Received: August 23, 2018 Revised: September 13, 2018 Accepted: September 27, 2018

Author's information:

Ekaterina V. Vasileva — ekvas1962@mail.ru