CC BY
59
УДК 517.9:5
Вестник СПбГУ. Сер. 1. Т. 1 (59). 2014. Вып. 4
ОЦЕНКИ ЛЯПУНОВСКОЙ РАЗМЕРНОСТИ АТТРАКТОРОВ ОБОБЩЕННЫХ СИСТЕМ РЕССЛЕРА
Г. А. Леонов, Т. А. Алексеева
Санкт-Петербургский государственный университет,
Российская Федерация, 198504, Санкт-Петербург, Старый Петергоф, Университетский пр., 28 Национальный исследовательский университет «Высшая школа экономики», Российская Федерация, 190008, Санкт-Петербург, ул. Союза Печатников, 16
Рассмотрены обобщения одной из классических систем Ресслера. Показана эффективность построения функций Ляпунова для оценок размерности аттракторов этих систем. С их помощью получены оценки ляпуновских размерностей аттракторов обобщенных систем Рес-слера. Для локальных ляпуновских размерностей аттракторов указанных систем приведены точные формулы. В предельном случае получено совпадение топологической, хаусдорфовой, фрактальной и ляпуновской размерностей аттракторов. Показано, что при стандартных значениях параметров Ресслера, формулы локальных ляпуновских размерностей в нулевой точке совпадают со значениями, полученными в численных экспериментах. Библиогр. 16 назв. Ил. 2.
Ключевые слова: функции Ляпунова, система Ресслера, ляпуновская размерность, аттрактор.
Эффективность построения функций Ляпунова [1-12] для оценки размерностей аттракторов динамических систем была продемонстрирована, когда с их помощью были получены формулы ляпуновской размерности для аттракторов Хенона, Чири-кова и Лоренца [11, 12].
В настоящей статье мы рассмотрим другое свидетельство эффективности построения функций Ляпунова в теории размерностей аттракторов. Здесь также будут представлены точные формулы локальной ляпуновской размерности в точке (0,0,0). В настоящее время хорошо известна следующая цепочка неравенств [7-9]:
где К, К, ё1шр К, К — соответственно топологическая, хаусдорфова,
фрактальная и ляпуновская размерности аттрактора К.
Здесь мы рассмотрим следующие обобщения системы Ресслера:
К < К < р К < ь К,
(1)
и = —су — сх,
У = и,
(2)
Ьх + а(у — у2),
и = —У — х,
У = си,
(3)
Ьх + а(у — у2),
и = —су — сх,
у = си,
(4)
Ьх + а(у — у2),
где a, b, c — положительные параметры. При c =1 эти системы являются одной из классических систем Ресслера [13-16]. Из полученных здесь оценок ляпуновской размерности следует, что при c ^ 0 все неравенства (1) переходят в равенство, и в пределе
2 = dimT K = dimL K.
Заметим, что без введения функций Ляпунова (u(u,y, z) = 0 в теореме 3) здесь имеет место только оценка dim^ K < 3.
Теорема 1. Пусть K — ограниченное инвариантное множество систем (2), (3) и (4). Тогда для (2) и (3) имеет место оценка
dinib К < 3--26 -, (5)
Ь + Vb2 + 2л/с(а + 26)
а для (4) — оценка
dinib К < 3--; 26 =, (6)
Ь + ^Ъ2 + 2 с(а + 26)
где dimL K — ляпуновская 'размерность множества K.
Теорема 2. Для локальной ляпуновской размерности в точке (0, 0, 0) для систем (2) и (3) имеет место равенство
gbR
^(0,0,0) = 3-12С_ 462 + 26Д_Д2, (7)
где
R = R(a, 6, с) = 36с(3а + 26) - 863 + 12VP, P = P(a, b, c) = c[9c(3a + 2b)2 + 12c(c - b2) + 12b3(a + b)], а для системы (4) — равенство
(8)
6bR
dimL(0,0,0) = 3-------, (9)
M ' ' ; 12c2 - 4b2 + 2ЬД - Д2 ' V ;
где
Д = Д(а, b, c) = 36c2(3a + 2b) - 8b3 + 12 VP, P = P(a, b, c) = c2[9c2(3a + 2b)2 + 12c2(c2 - b2) + 12b3(a + b)],
(10)
Для стандартных значений параметров а = 0.386, Ь = 0.2, изменяя параметр с на множестве (0,1], получим оценки ляпуновских размерностей аттракторов обобщенной системы Ресслера (2), изображенные на рис. 1.
Аналогичные оценки для системы (4) изображены на рис. 2.
При с =1 значение локальной ляпуновской размерности, определенное по формуле (7), с точностью до заданной погрешности вычислений совпадает с соответствующим значением, полученным в численных экспериментах [16].
При с ^ 0 получим, что
dimL K - dimL(0,0, 0) ^ 0.
Рис. 2. Оценки размерностей аттракторов обобщенной системы Ресслера (4) (а = 0.386, Ь = 0.2).
Легко видеть, что при с = 0 системы (2)-(4) имеют инвариантную двумерную поверхность. Поэтому при с = 0
К = К = 2.
Для доказательства теорем 1 и 2 напомним необходимые основные факты о ля-пуновской размерности. Рассмотрим непрерывно дифференцируемое отображение Е открытого множества и С И". Обозначим через ТХЕ матрицу Якоби отображения Е в точке х. Пусть К С и — ограниченное инвариантное множество: ЕК = К.
Обозначим через а (А) сингулярные числа (п х п)-матрицы А, так что а\(А) >
«2(А) > ... > ап(А).
Определение 1. Локальной ляпуновской размерностью отображения Е в точке х € К назовем число
ё1шь(Е, х) = ] + в,
где j — наибольшее целое число из [0, n] такое, что
ai(TxF )a2(TxF) ...aj (Tx F) > 1,
и такое число s G [0,1), что
ai(TxF )a2(TxF)... aj (Tx F )asj+i(Tx F) = 1.
По определению dimL(F,x) = 0, если a1(TxF) < 1, и dimL(F,x) = n, если ai(TxF )a2(TxF) ...an(Tx F) > 1.
Определение 2. Ляпуновская размерность отображения F на множестве K — число
dimL(F, K) = supdimL(F,x). к
Определение 3. Локальная ляпуновская размерность однопараметрической группы отображений Ft в точке x G K — число
dinibx= lim dinibif14, ж).
Определение 4. Ляпуновская размерность отображений Ft на множестве K — число
dimL K = supdimL x. к
Рассмотрим дифференциальное уравнение
dx
— = /(*), х £ R™, (И)
с непрерывно дифференцируемой вектор-функцией f (x). Будем предполагать, что для любого начального данного xo существует решение (11) x(t,xo), определенное на t G [0, Здесь x(0,xo) = xo.
Обозначим через Ft(xo) = x(t,xo) оператор сдвига вдоль решений уравнения (11) и предположим, что множество K С Rn ограничено и инвариантно: FtK = K, Vt G R1 .
Сформулируем утверждения, которые будут использованы в дальнейшем. Пусть J(x) —матрица Якоби вектор-функции f (x),
Рассмотрим также невырожденную (n х п)-матрицу S.
Обозначим Ai(x, S) > A2(x, S) > ... > An(x, S) собственные значения матрицы
-^5и(х)8-1 + (5и(х)8-1)*У (12)
Здесь * —знак транспонирования.
Теорема 3 [5, 11]. Пусть для целого ] € [1, п] и в € [0,1] существуют непрерывно дифференцируемая функция и(х) и невырожденная матрица Б такие, что
А1(х,Б) + Х2(х, Б) + ... + Аз (х, Б) + вАз+1(х,Б) + и(х) < 0, Ух € Ип. (13)
Тогда dimL К < ] + в.
Здесь и = (grаdи(х))*/(х).
Лемма 1 [7]. Пусть 4 = ехр(А£) и вещественная матрица А имеет простые собственные значения
> ... >
Тогда локальная ляпуновская 'размерность отображения Р4 в точке х равна ] + в, причем числа ] и в определяются из равенства
+ ... + Ие^- + вКе^+х = 0.
Докажем теорему 1.
Доказательство. Покажем справедливость утверждения теоремы для системы (2). Введем в рассмотрение невырожденную матрицу
= diag ( ——, 1, V ] .
)
Тогда выполняется равенство
/0 -уГс /0 -с -<Л
б^-1 0 0,^1 0 0
\0 ^а(1 - 2у) -Ь / \0 а(1 - 2у) -Ьу
где J — матрица Якоби правой части системы (2), V — ненулевой варьируемый параметр. Отсюда следует, что собственными значениями матрицы (12) являются числа
А2 = 0, А1,з = | (-6 ± л/АЫ) ,
где А(у) = Ъ2 + -¿2 + г/2а2( 1 — 2у)2. Очевидно, что Ах > Л2 > Л3. Введем обозначения
£(у) = к[(а + Ь)у - ау2], п = ка - ^202а2, Д0 = Д(0).
Выберем функцию Ляпунова в виде
к(1-8) ( Ъ у, г) = --- ( г--и
2с и запишем соотношение (13):
2(А1 + А2 + в Аз + V) = -(1 + з)Ь + (1 - в) [лЩу) + £(у)
Очевидно, что
Р2
1 ( п + кЬ\2 (п + кЬ)2
п2 . 1 ( п + кЬ\2 (п + кЬ)2 л2а 1 (п + кЬ)2 <02ДО + -— -ц [у-1^— +—л—- < б2А0 + — + У——>-. 402 \ 2п ) 4п 4#2 4п
Выберем параметры k, в, v следующим образом:
1
а=4foV!
а + b
2л/Ъ2 + 2л/Н(а + 2Ь)'
а + 2b
В этом случае
г] = 46>Va2
а + b
> 0,
1
(гу + kb)2 4п
Ь2 + 2л/с(а + 26).
Отсюда и из теоремы 3 следует оценка (5).
Для систем (3) и (4) имеет место аналогичная схема доказательства. В случае системы (3) —S = diag ^1, г/j, функция Ляпунова — v(u,y, z) = fc(-12 s-) (z — bu), оценка ляпуновской размерности — (5). В случае системы (4) — S = diag(1,1, v), функция Ляпунова — v(u, у, z) = fc(-12 s-) (cz — bu), оценка ляпуновской размерности — (6).
Теорема 1 доказана.
Докажем теорему 2.
Доказательство. Рассмотрим стационарное решение системы (2): u = y = z = 0. Линеаризация системы (2) в окрестности этой точки приводит к характеристическому полиному матрицы Якоби А3 + bX2 + сА + с(а + b). Корни этого полинома, которые соответствуют собственным значениям матрицы Якоби, находим в помощью пакета MAPLE 16. В результате получим собственные числа
Re(Xi) = Re(X2)
12с - 4Ь2 - 46Д - Д2 12Д '
А3
2Д2 -46Д+ 862 - 24с 12Д '
для которых выполняются неравенства Ке(Ах) > Ке(А2) > Ие(Аз). Здесь Д и Р вычисляются по формулам (8).
Используя лемму 1, получим формулу (7) для локальной ляпуновской размерности решения и = у = г = 0.
Таким образом, для системы (2) получена следующая оценка ляпуновской размерности аттрактора К:
3 -
6bR
12с - 4b2 + 2bR - R2
< dimL K < 3 -
2b
b + ^Ь2 + 2л/с(а + 26)'
Аналогично доказывается справедливость соотношений (7)—(8) для системы (3) и (9)-(10) для системы (4).
v
b
Литература
1. Леонов Г. А. Об оценках хаусдорфовой размерности аттракторов // Вестн. ЛГУ, 1991. Сер. 1. Вып. 3. С. 41-44.
2. Леонов Г. А. Об одном способе исследования глобальной устойчивости нелинейных систем // Вестн. ЛГУ, 1991. Сер. 1. Вып. 4. С. 11-14.
3. Leonov G.A., Boichenko V. A. Lyapunov's direct method in the estimation of the Hausdorff dimension of attractors // Acta appl. math., 1992. Vol.26. P. 1-60.
4. Boichenko V.A., Leonov G. A. Lyapunov functions, Lozinskii norms and Hausdorff Measure in the qualitative theory of differential equations // Amer. Math. Soc. Trans, 1999. Vol. 193. Ser. 2. P. 1—27.
5. Леонов Г. А. Формулы ляпуновской размерности аттракторов Хенона и Лоренца // Алгебра и анализ, 2001. Т. 13. Вып.3. С. 155-170.
6. Леонов Г. А., Полтинникова М. С. О ляпуновской размерности аттрактора диссипативного отображения Чирикова // Тр. СПбМО, 2002. Т. 10. С. 186-198.
7. Leonov G. A. Strange Attractors and Classical Stability Theory. St. Petersburg: St. Petersburg Univ. Press, 2008. 160 p.
8.Leonov G. A. Strange Attractors and Classical Stability Theory // Nonlin. Din. and Sist. Theory, 2008. Vol.8. N1. P. 49-96.
9. Boichenko V.A., Leonov G.A., Reitmann V. Dimension Theory for Ordinary Differential Equation. Stuttgart, Teubner, 2005.
10. Leonov G.A., Pogromsky A. Y., Starkov K.E. Erratum to "Dimension formula for the Lorenz attractor" [Phys. Lett. A 375 (8) (2011) 1179-1182] // Phys. Lett. A. Section A: General, Anatomic and Solid Stat. Phys, 2012. Vol.376. P. 3472-3474.
11. Леонов Г. А. Функции Ляпунова в теории размерности аттракторов // ПММ, 2012. Т. 76. Вып. 2. С. 180-196.
12. Леонов Г. А. Формулы ляпуновской размерности аттракторов обобщенной системы Лоренца // Доклады Академии наук, 2013. Т. 450, №1. С. 13-18.
13. Rоssler O.E. Continuous chaos — four prototype equations // Ann. New York Acad. Ski, 1979. Vol. 316. P. 376-392.
14. Rossler O. E. An equation for continuous chaos. Phys Lett A, 1976. Vol. 57, N 5. P. 397-398.
15. Alligood K. T., Sauer T. D., Yorke J. A. Chaos: An Introduction to Dynamical Systems, Springer, 2000. 604 p.
16. Kuznetsov N. V., Mokaev T.N., Vasilyev P. A. Numerical justification of Leonov conjecture on Lyapunov dimension of Rossler attractor // Communications in Nonlinear Science and Numerical Simulation, 2014. Vol. 19, Issue 4. P. 1027-1034.
Статья поступила в редакцию 26 июня 2014 г.
Сведения об авторах
Леонов Геннадий Алексеевич — член-корреспондент РАН; leonov@math.spbu.ru Алексеева Татьяна, Анатольевна — кандидат физико-математических наук, доцент; tatyanalexeeva@gmail.com
THE ESTIMATES OF LYAPUNOV DIMENSION IN ATTRACTORS OF GENERALIZED ROSSLER SYSTEMS
Gennadiy A. Leonov, Tatyana A. Alexeeva
St.Petersburg State University, Universitetskiy pr., 28, St.Petersburg, Stariy Petergof, 198504, Russian Federation National Research University Higher School of Economics, ul. Souza Pechatnikov, 16, St. Petersburg, 190008, Russian Federation tatyanalexeeva@gmail.com, leonov@math.spbu.ru
Some generalization of one classical Rossler systems are reviewed and efficacy of Lyapunov functions plotting for the estimates of these systems attractors dimensions is demonstrated. The estimates of Lyapunov dimension of attractors for generalized Rossler systems are obtained with their help. For the local Lyapunov dimensions of attractors for the indicated systems the accurate formulas are cited. For the extreme occurrence the congruency of topological, Hausdorff, fractal and Lyapunov dimensions of attractors is obtained. It is also demonstrated, that under standard values of Rossler parameters, the formules of local Lyapunov dimensions at zero point are congruent with the meanings obtained in numerical experiments. Refs 16. Figs 2.
Keywords: Lyapunov functions, Rossler system, Lyapunov dimension, attractor.
