CC BY
12
УДК 517.925 Вестник СПбГУ. Математика. Механика. Астрономия. 2017. Т. 4 (62). Вып. 3
МЯО 34С10, 34Б20
ОБ УСТОЙЧИВОСТИ НУЛЕВОГО РЕШЕНИЯ СУЩЕСТВЕННО НЕЛИНЕЙНОГО ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ ВТОРОГО ПОРЯДКА В СЛУЧАЕ ЦЕНТРА*
4=
Ю. Н. Бибиков, В. А. Плисс, Н. В. Трушина
Санкт-Петербургский государственный университет,
Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9
Изучаются малые периодические по времени возмущения существенно нелинейного дифференциального уравнения второго порядка. Предполагается, что восстанавливающая сила содержит как консервативную, так и диссипативную части. При этом все решения дифференциального уравнения — периодические, т.е. невозмущенное уравнение является осциллятором. Особенность рассматриваемой задачи состоит в том, что частота невозмущенных колебаний является бесконечно малой функцией амплитуды.
Рассматривается вопрос об устойчивости нулевого решения возмущенного уравнения. Автономные возмущения были изучены еще Ляпуновым. Он показал, что дело сводится к вычислению постоянной, от знака которой зависит асимптотическая устойчивость нулевого решения или его неустойчивость. Подход Ляпунова, основанный на исключении времени из системы, неприменим к неавтономным возмущениям, в частности, к периодическим.
С помощью модификации метода Ляпунова получены следующие результаты. Вводятся переменные «действие — угол». Построено полиномиальное преобразование переменной «действие», позволяющее вычислить постоянную Ляпунова. В общем случае изучена структура этого преобразования. Оказалось, что «длина» полинома преобразования является периодической функцией показателя консервативной части восстанавливающей силы в невозмущенном уравнении (наименьший период равен 4). Библиогр. 6 назв.
Ключевые слова: устойчивость, периодические возмущения, осциллятор, существенно нелинейные дифференциальные уравнения.
0. Постановка задачи. Рассматривается дифференциальное уравнение
при следующих предположениях:
1) р/ч — несократимая дробь, р и ц — нечетные числа, р > ц;
2) X(х, у,£) —достаточно гладкая по х, у в окрестности точки (х = 0, у = 0) функция, непрерывная и периодическая по £ (в частности, от £ не зависящая);
3) разложение X(х, у, £) по степеням х, у не содержит членов порядка ниже, чем р +1, если переменной х приписывать порядок ц, а переменной у — порядок (р + ч)/2;
4) выполняется неравенство а2 < 2(р + ц)/ц.
Из условия 3 следует, что порядок х(р-9)/2дх равен порядку хр/ч, т. е. равен р. Рассмотрим невозмущенное уравнение, соответствующее (0.1), т.е. уравнение
1 + 1' + ах 2ч х = X (х, х, Ь)
(0.1)
£
у— я
(0.2)
х + х ч + ах 2ч х = 0.
Оно эквивалентно системе
(0.3)
* Работа выполнена при частичной финансовой поддержке РФФИ (грант №16-01-00452). (¡5 Санкт-Петербургский государственный университет, 2017
траектории которой определяются дифференциальным уравнением
р р — д
ус!у + ах 2ч у)(1х = 0.
Интегрируя это уравнение подстановкой у = гх(р+ч)/24, находим
Р + Ч о е±я е±я I 2а ^-у + ах^Г
-у + адх2«у + дх ч = А ехр —¡= р+д —— (0.4)
2 | V лл х 21
где А — положительная постоянная, Д = — а?. Согласно условию 4 имеем Д > 0.
Так как Д > 0, функция в левой части — определенно положительная. Если при этом (р + ц)/2 — четное число, то кривые, определяемые уравнением (0.4), — замкнутые, охватывающие начало координат.
При а = 0 уравнение (0.1) исследовано в работе [1].
В дальнейшем предполагается, что а = 0. Уравнение (0.1) эквивалентно системе Гх = у,
\. * Р_± ^ (0.5)
[у = —XI — аух 2ч + X (ж, г/,£).
Рассмотрим функцию
т/ Р + Ч 2 , Е±а Е±2 V = —-—у + а</ж 2ч у + </ж я
и ее производную в силу системы (0.5)
V — я ( ч \
БУ = -ах~У + Пр + д)у + адх~ ) Х(х, г/, 4).
Возможны случаи: 1) (р + ц)/2 — четное число, соответственно (р — ц)/2 нечетно, 2) (р + ц)/2 — нечетное число, соответственно (р — ц)/2 четно.
Во втором случае вопрос об устойчивости положения равновесия решается в первом приближении: если а > 0, положение равновесия асимптотически устойчиво; если а < 0, оно неустойчиво. В этом случае особая точка (0,0) системы (0.3) является фокусом.
Заметим, что в случае Д < 0 особая точка (0,0) системы (0.3) является узлом (устойчивым при а > 0 и неустойчивым при а < 0), если (р + ц)/2 нечетно, и седлом, если (р + ц)/2 четно. Поэтому при Д < 0 вопрос об устойчивости положения равновесия х = 0 тоже решается в первом приближении.
Осталось рассмотреть случай 1. Точка (0,0) является центром для системы (0.3). При сделанных предположениях относительно функции X ее можно рассматривать как малое периодическое возмущение осциллятора (0.2).
В настоящей работе рассматривается вопрос об устойчивости положения равновесия х = 0 уравнения (0.1). При ц = 1 для автономных возмущений этот вопрос был исследован еще А.М.Ляпуновым [2]. Его исследования были продолжены Г.В.Каменковым [3]. В частности, он показал, что вместо ляпуновских переменных «действие — угол» можно использовать обычные косинус и синус.
1. Разделение переменных. Следуя работе [4], введем в рассмотрение функции С (у), 5(у), удовлетворяющие системе (0.3), т.е.
ГС'(у) = 5 (у), ( )
Л , р р— о \ /
[¿"(у) = -Ся(<р) - аБС—((р). Положим А = (р + ц)/2, С(0) = 0. Тогда в силу (0.4) будем иметь
+ адвсЪ + дС^
о
р+я
р + д 2 а Е^Б + аС-
2
ехР \ агс^£ ———~— / = В(С, в) > 0. (1.2)
„Р+Я.
С 21
Следовательно, 5(0) = е7™/^". функции С(у), 5(у>) — периодические. Обозначим их период через 2ш. Введем в системе (0.5) переменные «действие — угол», т.е. координаты (г, у), г > 0, согласно формулам
х = гчС{^р), у = г^^у). (1.3)
Получим систему
(г^С, г Ь
(1.4)
СХ (гчС\ г^БЛ
ф = г 2 —
г^В^Б)
которую можно представить в виде
Г?1 = а8(у, ¿)гя + а8+1(у, ¿)гя+1 + • • • = Д(г, у, £), 1 у = га + 6я-1(у, ¿)г8-1 + • • • = га + Ф(г, у, £),
(1.5)
где а = (р — ц)/2, в > а + 2, а многоточием обозначены члены порядка по г выше выписанных.
Эту систему можно трактовать как систему с «медленным временем» [5]. Первые результаты в этом направлении принадлежат Ю. А. Митропольскому [6].
Лемма. Существует формальный ряд
г = р + ^_а(у, ¿)ря-а + ... = р + %, у, *), (1.6)
приводящий систему (1.5) к виду
Р = ^ + ... = Р (Р), 1 (1.7)
у = ра + (Ья_1 + )р8-1 + ... = ра + д(р, у, £),
где дя — постоянные.
Доказательство. Второе уравнение системы (1.7) получается из второго уравнения системы (1.5) заменой (1.6). Дифференцируя равенство (1.6) по t при учете равенств (1.5) и (1.7), получим соотношение для определения функции h(p, у, t):
дh Р-ч dh dh ^ dh „ „
+ st ^ p ™
Далее используем представление произвольной периодической по у, t функции
= F + + (1.9)
где F — среднее значение F(<p, t) по у, t; F(<p) — среднее значение разности F(f, t)—F по t.
Приравнивая в соотношении (1.8) коэффициенты при ps, получим уравнение
. dhs
— + — (1.10)
Положим gs = as и разобьем уравнение (1.10) на два следующих: dh dh
Первое из этих уравнений определяет hs-a(у) как первообразную as(y). Рассматривая у как параметр во втором уравнении, определим hs (у, t).
Приравнивая в (1.8) коэффициенты при р1 (г > s), получим уравнения
^ + ^ = a,(y,i) - - Gj(y, t), (1.11)
где Gi являются известными функциями, если уже определены hj при j < г. При этом hs-a = 0, ... , hs-i = 0. Например, если s = а + 2, будем иметь
dhs-a
Gs+1 = sashs—a--^ (6s_i + ahs-a) . (1-12)
ау
Положим Fi = cii — Gi, gi = Fi, а каждое из уравнений (1.11) разобьем на два следующих:
_ й dhj_ _ gi
с>у ~ U dt ~ U
откуда hi-a и hi определяются квадратурами.
Таким образом, последовательно с возрастанием г > а + 2 определим все hi-a и hi, что и доказывает лемму.
Пусть ge ^первая ненулевая среди постоянных gs,gs+i,.... Обрывая ряд (1.6) на членах порядка г = в для hi и порядка в — а для hi-a, получим вместо системы (1.7) систему
р = geрв +..., у = ра +...,
где многоточием отмечены бесконечно малые при р ^ 0 по сравнению с выписанными слагаемыми функции. Так как устойчивость нулевого решения уравнения (0.1) по
отношению к х и х эквивалентна в силу (0.4) и (1.3) устойчивости по отношению к переменной г, а значит, и р, то справедлива следующая теорема.
Теорема 1. Если дв < 0, то нулевое решение уравнения (0.1) асимптотически устойчиво, а если дв > 0, то оно неустойчиво.
Замечание. Число в — нечетное. Действительно, в противном случае, считая в замене (1.3) г < 0, пришли бы к противоположному заключению об устойчивости нулевого решения уравнения (0.1), что невозможно.
Частный случай. Пусть ц = 1. Тогда р = 3 + М, Ц1 =2 + 21, 1 = 0,1,2, ... . Представим X (х, х, £) в виде
X = а(£)х4+41 + 6(£)х2+21 х + ф)х2 + .. . ,
где многоточием обозначены члены более высокого порядка, чем 4 + 41, если переменной х приписать в соответствии с заменой (1.3) измерение 1, а переменной х — измерение, равное 2 + 21.
В рассматриваемом случае имеем
а =1 + 21, в = 3 + 21, в — а = 2.
В системе (1.5) получаем
ая = а(£)С4+41(у)5(у) + 6(*)С2+2г (у)52 (у) + с(£)53 (у)В-1,
9в = а8.
Так как среднее значение С 2+2152 больше нуля, то в случае общего положения дя = 0, а замена (1.6) имеет вид
г = Р + ^2Р2 + (у, £)р3+21.
Таким образом, при ц =1 наблюдается цикличность переменной р в формулах вычисления постоянной дв. Длина цикла равна 4.
Как увидим далее, подобная цикличность имеет место и при ц > 1.
2. Исследование цикличности при д >1. Представим функцию X(х, х, £) в
виде
X = а(£)хп + 6(£)хт± + ф)ж2 + . .. ,
где многоточием обозначены члены более высокого порядка, чем выписанные, в соответствии с приписываемым им измерением. При этом выписанные члены должны иметь порядок больший, чем порядок хр/ч, т. е. больший, чем р. Переменная х2 имеет порядок р + ц > р +1. Соответственно, т и п должны удовлетворять неравенствам
цп > р + 1, цт -\---— > р + 1
или
. Р+ 1 . р-д + 2 . .
п > -, то > -. (2.1)
~ д ~ 2д У >
Зафиксируем нечетное ц > 3. Разобьем множество нечетных р > ц на классы вычетов по модулю 4ц: р = р + 4ц1, I = 0,1, 2,... Положим р = ц + 2к, где & = 1,..., ц — 1, ц +1,..., 2ц — 1, причем к/ц — несократимая дробь. Случаи & = 0 и к = ц
исключены, так как они соответствуют ц = 1. При этом к —нечетное число, так как (р — ц)/2 нечетно по предположению. Таким образом, получаем
p = q + 2k + 4ql.
Используя (2.1), вычислим наименьшие возможные значения m и n. Представим m и n в виде m = m + 21, n = n + 41. В результате получим 4 случая:
I : то = 1, п = 2 при к = 1, .. ., —;
II : то = 1, п = 3 при к = -Ц^—,...,</ — 2;
III : то = 2, n = 4 при к = q + 2, .. ., —^—;
IV : то = 2, n = 5 при к = ^ —,. .., 2q — 1.
При q = 3 реализуются только случаи I и IV: имеем либо p = 5 + 121, m = 1 + 21, n = 2 + 41, либо p = 13 + 121, m = 2 + 21, n = 5 + 41. Начиная с q = 5, реализуются все 4 случая.
Рассмотрим в разложении функции X(x,X,t) член A(t)x2dX. В разложении Д(г, у, t) ему соответствует член
B-1A(t)C 2d(y)S2 (y)r2dq+1.
Предположим, что Л(t) ^ 0, если d — наименьшее из возможных. Заметим, что m =1+21 при k G [1, q — 1) и m = 2 + 21 при k G (q +1, 2q — 1]. И в том, и в другом случаях имеем d = 1 + I.
Рассмотрим величину g2qd+1 при d = 1 + I. В общем случае g2qd+1 = 0, так как указанный выше член разложения Д(г, у, t) является одним из слагаемых суммы, определяющей величину g2qd+1. При этом может оказаться, что существуют ß < 2qd + 1, для которых gß = 0 (см. конец параграфа). Тем не менее будем вычислять gi вплоть до g2qd+1. Тогда индексы i функций h(у, t) и индексы j = г — (p — q)/2 функций hj (у) будут удовлетворять неравенствам
^^ + 2<i<2qd+l,
2 1 (2.2) 2 <j < -((M+l)q-p + 2).
Обозначая через ]2 наибольшее значение для j в (2.2), находим ]2 = ^((4ci+1 )q — q — 2k — 4ql + 2) или
j2 = 2q +1 — k. (2.3)
Наименьшим значением j для j будет номер, отвечающий либо xn, либо xmX в зависимости от того, чей порядок ниже. Порядок xn равен nq, а порядок xmX равен mq + (p + q)/2. Рассмотрим их разность Д = (n — m — 1)q — k. В случаях I и III имеем Д < 0, а в случаях II и IV — Д > 0.
Соответственно, в случаях I и III получаем
p + q p — q
3\=nq- —--1--—
ji = (n - 1)q +1 - 2k. (2.4)
В обозначениях леммы § 1 запишем ji = s — a. В случаях II и IV будем иметь
. p + q (p + q Л p — q
3\ = mqЛ-----—--1--—
или
ji = m q +1 — k. (2.5)
Как было установлено в теореме 1, вопрос об устойчивости нулевого решения решается знаком первого ненулевого коэффициента g в.
Из (2.3) и (2.5) следует, что в случае IV получаем ji = j2. Тогда (1.6) имеет вид
г = hh{ip)pb + +
где ji вычисляется по формуле (2.5). При этом в формуле (1.10) можем записать as = + = B-1A(t)C2d(y)S'2(y) + ... . Из теоремы 1 вытекает следующая теорема.
Теорема 2. При Aq + 1 + 4q£ < p < 5q — 2 + Aqi, t = 0,1, 2,..., нулевое решение уравнения (0.1) асимптотически устойчиво, если as(t) < 0, и неустойчиво, если
TÏJt) >0.
Замечание. В работе [1] показано, что в случае I первая ненулевая постоянная gs имеет индекс s < 2dq +1. Таким образом, в случае I оценка (2.3) не является точной в отличие от случая IV.
Литература
1. Бибиков Ю.Н., Букаты В. Р., Трушина Н.В. Об устойчивости положения равновесия при периодических возмущениях осциллятора со степенной восстанавливающей силой с рациональным показателем // Прикладная математика и механика. 2016. Т. 80, вып. 6. С. 626—636.
2. Ляпунов А. М. Исследование одного из особенных случаев задачи об устойчивости движения / Собр. соч. в двух томах. М.; Л.: Изд-во АН СССР, 1956. Т. 2. С. 272-331.
3. Каменков Г. В. Устойчивость и колебания нелинейных систем // Избранные труды в двух томах. М.: Наука, 1972. Т. 2. С. 1-214.
4. Бибиков Ю.Н., Плисс В. А. Бифуркация положения равновесия осциллятора с нелинейной восстанавливающей силой третьего порядка // Вестн. С.-Петерб. ун-та. Сер. 1. Математика. Механика. Астрономия. 2015. Т. 60(2), вып. 2. С. 171-175.
5. Моисеев Н.Н. Асимптотические методы нелинейной механики. М.: Наука, 1969. 379 с.
6. Митропольский Ю. А. Проблемы асимптотической теории нестационарных колебаний. М.: Наука, 1964. 432 с.
Статья поступила в редакцию 15 февраля 2017 г.; рекомендована в печать 30 марта 2017 г.
С в е д е н и я о б а в т о р а х
Бибиков Юрий Николаевич — доктор физико-математических наук, профессор; bibicoff@yandex.ru Плисс Виктор Александрович —доктор физико-математических наук, член-корреспондент РАН, профессор; anna1918@mail.ru, vapliss@yandex.ru
Трушина Наталия Валерьевна — аспирант; n.v.trushina@gmail.com
ON THE STABILITY OF THE ZERO SOLUTION OF AN ESSENTIALLY NON-LINEAR DIFFERENTIAL EQUATION OF THE SECOND ORDER
Yury N. Bibikov, Victor A. Pliss, Natalia V. Trushina
St. Petersburg State University, Universitetskaya nab., 7—9, St. Petersburg, 199034, Russian Federation; bibicoff@yandex.ru; anna1918@mail.ru, vapliss@yandex.ru; n.v.trushina@gmail.com
Small periodic in time perturbations of an essentially non-linear differential equation of the second order, are studied. It is supposed that the restoring force of the unperturbed equation consists of both conservative and dissipative parts, the first one being a root function. It is also supposed that all solutions of the unperturbed equation are periodic. Thus, the unperturbed equation is an oscillator. Peculiarity of the problem under consideration is that the frequency of oscillations is an infinitely small function of the amplitude.
A problem of zero-solution stability is considered. Lyapunov investigated the case of autonomous perturbations. He showed that the asymptotic stability or the instability depends on the sign of a certain constant and presented a method of its calculation. Liapunov's approach can not be applied to non-autonomous, in particular to periodic perturbations because it is based on the possibility to exclude the time variable from the system.
Through modification of Lyapunov's method the following results are obtained.
"Action — angle" variables are introduced. A polynomial transformation of the action variable that permits to calculate Lyapunov's constant is presented. In general case the structure of the polynomial transformation is studied. It appears that the "length" of the polynomial is a periodic function of the exponent of a root function in the conservative part of the restoring force in unperturbed equation. The least period is equal to 4. Refs 6.
Keywords: stability, periodic perturbation, oscillator, essentially nonlinear differential equations.
References
1. Bibikov Yu., Bukaty V., Trushina N., "On the stability of the equilibrium position of an oscillator with power restoring force with a rational exponent", Applied Mathematics and Mechanics 80, issue 6, 626-636 (2016).
2. Lyapunov A.M., Investigation of one particular case of the problem of stability of motion. Collected works in 2 vol. (Izd. AN SSSR, Moscow; Leningrad, 1956, 2, 272-331) [in Russian].
3. Kamenkov G. V., Stability and oscillations of nonlinear systems. Collected works in 2 vol. (Nauka, Moscow, 1972, 2, 214p.) [in Russian].
4. Bibikov Yu.N., Pliss V.A., "Bifurcation of the state of equilibrium of an oscillator with nonlinear restoring force of Third order", Vestnik St. Petersburg University: Mathematics 48, Issue 2, 57-60 (2015).
5. Moiseev N.N., Asymptotic methods of nonlinear mechanics (Nauka, Moscow, 1969, 379 p.) [in Russian].
6. Mitropolsky Yu. A., Problems of asymptotic theory of nonstationary oscillations (Nauka, Moscow, 1964, 432p.) [in Russian].
Для цитирования: Бибиков Ю.Н., Плисс В. А., Трушина Н. В. Об устойчивости нулевого решения существенно нелинейного дифференциального уравнения второго порядка в случае центра // Вестник СПбГУ. Математика. Механика. Астрономия. 2017. Т. 4(62). Вып. 3. С. 394-401. DOI: 10.21638/11701/spbu01.2017.304
For citation: Bibikov Yu.N., Pliss V. A., Trushina N.V. On the stability of the zero solution of an essentially non-linear differential equation of the second order. Vestnik SPbSU. Mathematics. Mechanics. Astronomy, 2017, vol. 4(62), issue 3, pp. 394-401. DOI: 10.21638/11701/spbu01.2017.304
