Научная статья на тему 'О грубости и бифуркациях полиномиальных дифференциальных уравнений на окружности'

О грубости и бифуркациях полиномиальных дифференциальных уравнений на окружности Текст научной статьи по специальности «Математика»

CC BY
69
13
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ДИФФЕРЕНЦИАЛЬНОЕ УРАВНЕНИЕ НА ОКРУЖНОСТИ / ТРИГОНОМЕТРИЧЕСКИЙ ПОЛИНОМ / ГРУБОСТЬ / БИФУРКАЦИОННОЕ МНОГООБРАЗИЕ / DIFFERENTIAL EQUATION ON THE CIRCLE / TRIGONOMETRIC POLYNOMIAL / STRUCTURAL STABILITY / BIFURCATION MANIFOLD

Аннотация научной статьи по математике, автор научной работы — Ройтенберг В. Ш.

Динамическая система, заданная дифференциальным уравнением на многообразии фазовом пространстве системы, называется грубой, если топологическая структура фазового портрета не меняется при переходе к близкому уравнению. Понятие грубости возникло из представления, что существенные свойства динамической системы, описывающей реальный процесс, не должны меняться при малых изменениях параметров системы. К настоящему времени получены естественные необходимые и достаточные условия грубости динамических систем на замкнутых многообразиях любой размерности. Однако если грубость рассматривать в более узких классах динамических систем, в частности, в пространстве систем, заданных дифференциальными уравнениями с полиномиальными правыми частями, то условия грубости не исследованы даже для малых размерностей фазового пространства. В настоящей работе рассматриваются динамические системы, заданные дифференциальными уравнениями, правые части которых являются тригонометрическими полиномами степени, не превосходящей натурального числа n. Фазовым пространством таких систем является окружность. Описаны уравнения, грубые относительно пространства E(n) всех таких уравнений. Уравнение является грубым тогда и только тогда, когда его правая часть имеет только простые нули, то есть все особые точки которого гиперболические. Множество всех грубых уравнений открыто и всюду плотно в пространстве E(n). В множестве всех негрубых уравнений выделено открытое и всюду плотное подмножество, состоящее из уравнений первой степени негрубости. Оно является аналитическим подмногообразием коразмерности один в E(n) и состоит из уравнений, для которых все нули правой части простые, за исключением одного двукратного нуля.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

ON STRUCTURAL STABILITY AND BIFURCATIONS OF POLYNOMIAL DIFFERENTIAL EQUATIONS ON THE CIRCLE

A dynamical system defined by a differential equation on a manifold, the phase space of a system, is called structurally stable if the topological structure of the phase portrait does not change when passing to a close equation. The concept of structural stability emerged from the idea that the essential properties of a dynamical system describing a real process should not change with small changes in the parameters of the system. By now, natural necessary and sufficient conditions for structural stability of dynamical systems on closed manifolds of any dimension have been obtained. However, if we consider structural stability in narrower classes of dynamical systems, in particular, in the space of systems defined by differential equations with polynomial right-hand sides, the conditions of structural stability have not been studied even for small dimensions of the phase space. This paper considers the dynamic systems given by the differential equations, the right-hand parts of which are trigonometric polynomials of the degree not exceeding the number n. The phase space of such systems is a circle. We describe equations that are structurally stable with respect to the space E(n) of all such equations. An equation is structurally stable if and only if its right-hand side has only simple zeros, that is, all singular points of which are hyperbolic. The set of all structurally stable equations is open and is dense everywhere in the space E(n). In the set of all non-structurally-stable equations, an open, everywhere-dense subset consisting of equations that are first order structurally unstable is distinguished. It is an analytic submanifold of codimension one in E(n) and consists of equations for which all the zeros of the right-hand side are simple, except for one double zero.

Текст научной работы на тему «О грубости и бифуркациях полиномиальных дифференциальных уравнений на окружности»

УДК 517.925

DOI: 10.14529/mmph190203

О ГРУБОСТИ И БИФУРКАЦИЯХ ПОЛИНОМИАЛЬНЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ НА ОКРУЖНОСТИ

В.Ш. Ройтенберг

Ярославский государственный технический университет, г. Ярославль, Российская Федерация E-mail: [email protected]

Динамическая система, заданная дифференциальным уравнением на многообразии - фазовом пространстве системы, называется грубой, если топологическая структура фазового портрета не меняется при переходе к близкому уравнению. Понятие грубости возникло из представления, что существенные свойства динамической системы, описывающей реальный процесс, не должны меняться при малых изменениях параметров системы. К настоящему времени получены естественные необходимые и достаточные условия грубости динамических систем на замкнутых многообразиях любой размерности. Однако если грубость рассматривать в более узких классах динамических систем, в частности, в пространстве систем, заданных дифференциальными уравнениями с полиномиальными правыми частями, то условия грубости не исследованы даже для малых размерностей фазового пространства. В настоящей работе рассматриваются динамические системы, заданные дифференциальными уравнениями, правые части которых являются тригонометрическими полиномами степени, не превосходящей натурального числа n. Фазовым пространством таких систем является окружность. Описаны уравнения, грубые относительно пространства E(n) всех таких уравнений. Уравнение является грубым тогда и только тогда, когда его правая часть имеет только простые нули, то есть все особые точки которого - гиперболические. Множество всех грубых уравнений открыто и всюду плотно в пространстве Е(и). В множестве всех негрубых уравнений выделено открытое и всюду плотное подмножество, состоящее из уравнений первой степени негрубости. Оно является аналитическим подмногообразием коразмерности один в E(n) и состоит из уравнений, для которых все нули правой части простые, за исключением одного двукратного нуля.

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

Введение

Понятие грубой динамической системы, задаваемой векторным полем, топологическая структура которой не меняется при малых возмущениях поля, было введено А.А. Андроновым и Л.С. Понтрягиным в 1937 году и в дальнейшем стало предметом многочисленных исследований. Грубые системы важны и как математический объект, и с точки зрения приложений. К настоящему времени получены естественные необходимые и достаточные условия грубости в пространстве векторных полей с С1-топологией на любом замкнутом многообразии [1-2], а также показано, что на многообразиях размерности > 3 грубые системы не типичны [3].

В отличие от общей ситуации, описание векторных полей (дифференциальных уравнений) на окружности, грубых относительно пространства всех векторных полей класса Cr (r е N и {<», о} ), и их бифуркаций - весьма простая задача [4]. Однако в «меньшем» пространстве дифференциальных уравнений с правыми частями, являющимися тригонометрическими полиномами степени < n , эта задача уже нетривиальна. Она будет рассмотрена в настоящей работе.

Формулировка результатов

На окружности S1 = R 12жЪ рассмотрим дифференциальное уравнение

Р = а(р), (1)

где

а(Р) = Xо« + i<пач cospsin 1 Р (2)

Ройтенберг В.Ш. О грубости и бифуркациях полиномиальных

дифференциальных уравнений на окружности

- тригонометрический полином степени < n (n е N). Уравнение (1) отождествим с его правой частью - функцией a , а также с упорядоченным набором чисел aij-, выписанных в лексикографическом порядке пар номеров (i, j), 0 < i + j < n , а множество E(n) таких уравнений с пространством Rv А у .

Уравнение a е E(n) называется грубым относительно множества AcE(n), если a еЛ и существует такая его окрестность U(a) в Л , что для любого уравнения a eU(a) существует

гомеоморфизм haa : S1 ® S1, переводящий траектории уравнения a в траектории уравнения a . Уравнение a е E(n), грубое относительно E(n), будем называть просто грубым уравнением.

Пусть S0 = S0E(n) - множество уравнений a е E(n), для которых функция a(j) либо не имеет нулей, либо имеет только простые нули. Обозначим S°m (m = 0,1,...,n) подмножество в

S0E(n) , состоящее из уравнений, у правых частей которых 2m нулей, то есть имеющих 2m гиперболических особых точек.

Теорема 1. 1) Множество S0E(n) открыто и всюду плотно в E(n).

2) Уравнение a е E(n) является грубым тогда и только тогда, когда принадлежит S0E(n); при этом для любого a е S0E(n) гомеоморфизмы haa, фигурирующие в определении грубости, можно выбрать так, что

lim max \h a(j)-j|= ^ (3)

a®a jE[0,2^]

где haa : R ® R - гомеоморфизм, накрывающий гомеоморфизм ha a.

3) Множества S°m (m = 0,1,...,n) непустые; они совпадают с классами топологической эквивалентности уравнений из S0E(n) = Х° uS° и... иХ^

Пусть S1 = S1E(n) - множество уравнений a е E(n), для которых все нули функции a( j) -простые, за исключением одного двукратного нуля.

Теорема 2. 1) Множество S1E(n) открыто и всюду плотно в

E(n)\ S0E(n) и является вложенным аналитическим подмногообразием E(n) коразмерности один.

2) Уравнение a е E(n) является грубым относительно E(n)\ S0E(n) тогда и только тогда, когда принадлежит S1E(n); при этом для любого a е S1E(n) гомеоморфизмы haä, фигурирующие в определении грубости, можно выбрать удовлетворяющими условию (3).

Доказательство теоремы 1

Открытость S0E(n), грубость уравнения a е S0E(n) и тот факт, что гомеоморфизм haä можно выбрать удовлетворяющим условию (3), очевидны. Докажем плотность

S0E(n) в E(n). Пусть уравнение a е E(n). Покажем, что в любой его окрестности U(a) есть уравнение из S0E(n). Без ограничения общности можно считать, что a( j) -ненулевая функция. Так как a(j) - аналитическая функция, то она имеет конечное число нулей конечной кратности. Поэтому при достаточно малом u> 0 уравнение j = a(j) + u принадлежит U (a) nS0E(n).

Докажем, что из грубости уравнения a е E(n) следует, что a е S0E(n). Предположим противное: a е

E(n)\ S0E(n). Пусть U(a) - окрестность, фигурирующая в определении грубости. Поскольку в U(a) есть уравнение из S0E(n), то a(j) имеет конечное число нулей, все они имеют нечетную кратность, причем хотя бы один из них, для определенности j0 , имеет кратность 2m +1 > 3. Тогда a(j) = l(j-j0)2m+1 + о(( j- j0)2m+1), где l Ф 0 . Уравнение au :

Вестник ЮУрГУ. Серия «Математика. Механика. Физика» 2019, том 11, № 2, С. 20-24

Математика

р = а(р) —/^п I) 8ш( ^ — р°) при достаточно малом /> 0 принадлежит и (а) и имеет больше особых точек, чем а . Поскольку гомеоморфизм ка переводит особые точки уравнения а/ в

особые точки уравнения а , то получаем противоречие. Тем самым а е 1°Е(п).

Уравнение рр = 1 принадлежит 1°. Для любого т = 1,...,п уравнение р = а°°(р), где

т—1 р ;

а°т (Р) = П sin(р— р°), р° = —, принадлежит 1°т .

у=° п

Пусть уравнение а е1°Е(п) представлено в виде (1)-(2) и а(р) Ф °. Запишем а(р) при ре (—р,р) в виде а(р) = а^(р/2)), где

(1 — г2)' (21)] 1

а(0 = V а,"1'' 2 ^ ' = —У а/ .

^ '] Пл. +2\'+} (Л.1_+2\п к °£'+]£п (1 + ' ) (1 + ' ) к=0

Функция а(г) имеет не более 2п нулей. Соответственно, и а(р) имеет не более 2п нулей, то есть ае1°т при некотором т = °,1,...,п. Если ае1°Е(п) и а(р) = °, то функция а* (р) = а(р + е) имеет столько же нулей, что и а(р), а при достаточно малом е> ° а* (р) Ф °. Таким образом, каждое уравнение а е1°Е(п) принадлежит одному из множеств 1°т, т = °,1,...,п . Очевидно, что 1°т - классы топологической эквивалентности.

Теорема 1 доказана.

Доказательство теоремы 2

Открытость 1*Е(п) в Е(п)\ 1°Е(п) очевидна.

Докажем плотность. Пусть уравнение а еЕ(п)\ 1°Е(п)\ 1*Е(п). Покажем, что в любой его окрестности и (а) есть уравнение из 1*Е(п). Если функция а(р) ненулевая, то она имеет нуль р° кратности к > 2 . Если а(р) ° °, то возьмем р° = ° . Рассмотрим уравнение а^ : рр = а/ (р), где а/рр) = а(р) —/Ь(р), Ь(р) = 1 — cos(р —р°). Тогда найдется такое 8> что при всех / е (°, 8) ацеи(а), а р° - двукратный нуль функции ац (р). Фиксируем е (°, 8) и выберем такое ° <е< тт{8 —/°,р}, что на дуге [р° — е,р° +е] нет других нулей функции а/рр), / е [/°,1° + е). Функция /(р) = а(р) / Ь(р) определена в точках дуги I = [р° + е, р° — е + 2р]. Если а(р) ° °, то а е Е*Е(п) п и (а). Если а(р) - ненулевая функция, то производная

/'(р) = [а'(р)Ь(р) — а(р)Ь'(р)]/Ь2(р) - непостоянная аналитическая функция на I. Поэтому / (р) имеет конечное число критических точек, а потому и конечное число критических значений. Следовательно, существует число / е (/°,1° +е), не являющееся критическим значением. Если ат (р) = ° , то /(р) = а(р) / Ь(р) = /, а /'(р) = [а'(р) — /Ь'(р)]/ Ь(р) Ф ° , и потому (а/ )'(р) Ф °. Тем самым все нули функции а/ (р) на I простые, и уравнение ат е1'Е(п) п и (а).

Докажем, что 11Е(п) - аналитическое подмногообразие в Е(п), следуя методу из [5]. Пусть а° е Е*Е(п) и р° - двукратный нуль а° (р). Функция а: 81 X Е(п) ® Я, определенная равенством а(р, а):= а(р), является аналитической. Так как ар(р°,а°) = °, арр(р°, а°) Ф °, то по теореме о неявной функции существуют число е > ° , окрестность V(а°) уравнения а° в Е(п) и аналитическая функция р: V(а°) ® (р° — е, р° — е), такие, что для любых ре (р° — е,р° — е), а е V(а°):

а"(р) Ф ° и а' (р) = ар(р,а) = ° о р = р(а). (4)

Ройтенберг В.Ш. О грубости и бифуркациях полиномиальных

дифференциальных уравнений на окружности

Определим аналитическую функцию g :V (a0) ® R, положив g (a) := a(çp(a), a) = a(çp(a)). Пусть h :p = 1. Тогда a0 + th : р = a0 (ç) +t,

gVo)h = dttlt=o g(ao + th) = dtU [ao(Ф^о + th)) +1] = a'«)dttI t=o PH + th) +1 = 1Ф 0 . Таким образом, g'(a0 ) Ф 0 . Уменьшив при необходимости окрестность V(a0 ), мы можем считать, что "a е V(a0) g'(a) Ф 0 и все нули функции a(ç), не принадлежащие интервалу (ç0 -e, ç0 -e), простые. Отсюда и из (4) получаем, что S1E(«) n V(a0) = g_1(0), и потому S1E(n) - вложенное аналитическое подмногообразие коразмерности один.

Ясно, что при переходе векторного поля через бифуркационное многообразие S1E(n) происходит седло-узловая бифуркация - две гиперболические особые точки сливаются в одну и исчезают.

Грубость уравнения a е S1E(n) относительно E(n)\ S0E(n) и тот факт, что гомеоморфизм ha a можно выбрать удовлетворяющим условию (3), очевидны.

Покажем, что из грубости уравнения a относительно E(n) \ S0E(n) следует его принадлежность к S1E(n). Пусть U(a) - окрестность, фигурирующая в определении грубости. Поскольку в U (a) есть уравнение из S1E(n), то a(ç) имеет конечное число нулей, один из них, для определенности ç0, имеет четную кратность: a(ç) = l(ç- ç0)2m + o((ç- ç0)2m), где l Ф 0, а остальные имеют нечетною кратность. При n = 1 отсюда следует, что a е S1E(n). Пусть n > 2 и a eE(n)\ S0E(n)\ S1E(n). Возможны только следующие случаи: а) m > 2 или б) m = 1 и a(ç) имеет нуль ç нечетной кратности 2k +1 > 3. Рассмотрим уравнение a^ : <р = a^ (ç), где в случае а):

aß (<) = a(ç) - m(sgn l)(1 - cos(ç- ç, )),

а в случае б):

am (ç) = a(ç) - m(sgn \ )(1 - cos(ç - <o ))(1 - cos(ç- <\)), \ = d2k+1a(çl ) / dç2k+1. При достаточно малом m > 0 ç0 - двукратный нуль функции am (ç), a m&U (a) и am (ç) имеет больше нулей чем a(ç). Но это противоречит существованию гомеоморфизма ha . Из

полученного противоречия следует, что уравнение a, грубое относительно E(n) \ S0E(n), принадлежит S1E(n) .

Теорема 2 доказана.

Заключение

В работе описано множество S0E(n) дифференциальных уравнений на окружности

S1 = R /2pZ, с правыми частями, являющимися тригонометрическими многочленами степени, не превосходящей заданного числа n, грубые относительно пространства E(n) всех таких систем. Показано, что грубые уравнения типичны в E(n) . Установлено, что в бифуркационном множестве E(n)\ S0E(n) всюду плотно аналитическое бифуркационное подмногообразие коразмерности один.

Литература

1. Hayashi, S. Connecting Invariant Manifolds and the Solution of C1 Stability and Q-Stability Conjectures for Flows / S. Hayashi // Annals of Mathematics. Second Series. - 1997. - Vol. 145, no. 1. -P.81-137.

2. Robinson, C. Structural stability of vector fields / C. Robinson // Annals of Mathematics. Second Series. - 1974. - Vol. 99, no. 1. - P. 154-175.

3. Abraham, R. Non-genericity of Q-stability / R. Abraham, S. Smale // Global Analysis, Proc. of Symposia in Pure Mathematics. 14. - Publ. Am. Math. Soc, 1970. - P. 5-8.

Вестник ЮУрГУ. Серия «Математика. Механика. Физика» 2019, том 11, № 2, С. 20-24

Математика

4. Палис, Ж. Геометрическая теория динамических систем. Введение / Ж. Палис, В. Мелу. -М.: Мир, 1986. - 301 с.

5. Sotomayor, J. Generic one-parameter families of vector fields on two-dimensional manifolds / J. Sotomayor // Publications Mathématiques de l'Institut des Hautes Études Scientifiques. - 1974. -Vol. 43. - Issue 1. - P. 5-46.

Поступила в редакцию 14 марта 2019 г.

Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2019, vol. 11, no. 2, pp. 20-24

DOI: 10.14529/mmph 190203

ON STRUCTURAL STABILITY AND BIFURCATIONS OF POLYNOMIAL DIFFERENTIAL EQUATIONS ON THE CIRCLE

V.Sh. Roitenberg

Yaroslavl State Technical University, Yaroslavl, Russian Federation E-mail: [email protected]

A dynamical system defined by a differential equation on a manifold, the phase space of a system, is called structurally stable if the topological structure of the phase portrait does not change when passing to a close equation. The concept of structural stability emerged from the idea that the essential properties of a dynamical system describing a real process should not change with small changes in the parameters of the system. By now, natural necessary and sufficient conditions for structural stability of dynamical systems on closed manifolds of any dimension have been obtained. However, if we consider structural stability in narrower classes of dynamical systems, in particular, in the space of systems defined by differential equations with polynomial right-hand sides, the conditions of structural stability have not been studied even for small dimensions of the phase space. This paper considers the dynamic systems given by the differential equations, the right-hand parts of which are trigonometric polynomials of the degree not exceeding the number n. The phase space of such systems is a circle. We describe equations that are structurally stable with respect to the space E(n) of all such equations. An equation is structurally stable if and only if its right-hand side has only simple zeros, that is, all singular points of which are hyperbolic. The set of all structurally stable equations is open and is dense everywhere in the space E(n). In the set of all non-structurally-stable equations, an open, everywhere-dense subset consisting of equations that are first order structurally unstable is distinguished. It is an analytic submanifold of codimension one in E(n) and consists of equations for which all the zeros of the right-hand side are simple, except for one double zero.

Keywords: differential equation on the circle; trigonometric polynomial; structural stability; bifurcation manifold.

References

1. Hayashi S. Connecting Invariant Manifolds and the Solution of C1 Stability and Q-Stability Conjectures for Flows. Annals of Mathematics. Second Series, 1997, Vol. 145, no. 1, pp. 81-137. DOI: 10.2307/2951824

2. Robinson C. Structural stability of vector fields. Annals of Mathematics. Second Series, 1974, Vol. 99, no. 1, pp. 154-175. DOI: 10.2307/1971016

3. Abraham R., Smale S. Non-genericity of Q-stability. Global Analysis, Proc. of Symposia in Pure Mathematics, 14, Publ. Am. Math. Soc., 1970, pp. 5-8.

4. Palis Zh., Melu V. Geometricheskaya teoriya dinamicheskikh sistem. Vvedenie (Geometric Theory of Dynamical Systems. An Introduction). Moscow: Mir Publ., 1986, 301 p. (in Russ.). [Palis J., Melo W. Geometric Theory of Dynamical Systems. An Introduction. Springer, 1982, 198 p. DOI: 10.1007/978-1-4612-5703-5]

5. Sotomayor J. Generic one-parameter families of vector fields on two-dimensional manifolds. Publications Mathématiques de l'Institut des Hautes Études Scientifiques, 1974, Vol. 43, Issue 1, pp. 5-46. DOI: 10.1007/BF02684365

Received March 14, 2019

i Надоели баннеры? Вы всегда можете отключить рекламу.