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

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

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

Аннотация научной статьи по математике, автор научной работы — Логинов Борис Владимирович, Русак Юрий Борисович, Макаров Михаил Юрьевич

В развитие результатов работы (РЖ МАТ 1992 7Б916) получены критерии устойчивости разветвляющихся стационарных и периодических решений дифференциальных уравнений в банаховых пространствах с вырожденным оператором при старшей производной.

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

Похожие темы научных работ по математике , автор научной работы — Логинов Борис Владимирович, Русак Юрий Борисович, Макаров Михаил Юрьевич

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

Текст научной работы на тему «Об устойчивости стационарных и периодических решений уравнений с вырожденным оператором при старшей производной»

Б.В. ЛОГИНОВ, Ю.Б. РУСАК, М.Ю. МАКАРОВ

ОБ УСТОЙЧИВОСТИ СТАЦИОНАРНЫХ И ПЕРИОДИЧЕСКИХ РЕШЕНИЙ УРАВНЕНИЙ С ВЫРОЖДЕННЫМ ОПЕРАТОРОМ ПРИ СТАРШЕЙ ПРОИЗВОДНОЙ

В развитие результатов работы (РЖ МАТ 1992 7Б916) получены критерии устойчивости разветвляющихся стационарных и периодических решений дифференциальных уравнений в банаховых пространствах с вырожденным оператором при старшей производной.

Исследуется устойчивость решений дифференциальных уравнений в банаховых пространствах с вырожденным оператором при старшей производной. Установленные результаты обобщают полученные нами ранее [1,2] для уравнений первого порядка и их приложений к устойчивости

разветвляющихся решений. Систематически используются наши ранние результаты [3-5] о жордановой структуре оператор-функции спектрального

гтопои^Л'гп^ ллнлоошттм но Утрпт1лмгйиилиг ТТЛЛПРГГ1^ ТТПП ТТП ТГИГ ения

неполных обобщённых жордановых наборов (ОЖН). Свойства биортогональности ОЖН-ов линейной оператор-функции спектрального параметра [3-51 позволяют определить проекторы на корневые подпространства и выписать уравнение разветвления (УР) в корневом подпространстве [1,2,7]. Они использовались при построении и исследовании УР бифурквции Андронова-Хопфа. УР в кооневом подпространстве явилось основой исследования устойчивости разветвляющихся решений [1,2], теории дифференциальных уравнений с фредгольмовым оператором при старшем дифференциальном выражении [13] и доказательств новых теорем существования точек бифуркации [14,15].

Установленные результаты поддержаны грантом № 23 - 98 по первому автору.

1. Критерий устойчивости

В вещественных банаховых пространствах , £2 рассматривается уравнение

= Дс+ /<*>'), !1/(х,ОМ*ШИЬ>о , (1)

ш и( ш

где лк - иА Ех Е^.О л-Е, - замкнутые линейные операторы (ЦЕ^Ег)); В, А;— фредгольмовы: / — нелинейный оператор достаточно гладкий по х и ( в некоторой окрестности нуля в £, при всех г г 0, Предполагается_ что в

4 Вестник УлГТУ. 2/2000

обозначениях х\>х2 ~~л~>хз ~ '•••' Xs ~ ¿¡^ привести к эквивалентному уравнению

О О О О

уравнение (1) можно (2)

'С 0 ... 'о с ...

0 с ... 0 0 0 ...

А0= ... ... ...... , А = ... ...

0 0 ... о 0 0 ...

,0 0 ... - А, ...

С А,

\ © £i —> ф Е-)

(3)

лжс-1 /

где С е ¿(^¿^-произвольный оператор, имеющий ограниченный обратный. Согласно переходу от (I) к (2) и [1,2] вводим

Определение 1. Определённое для / > 0 решение х0 (0 уравнения (1) устойчиво по Ляпунову, если для любого в > 0 существует 8 > 0 такое, что для любого

»-i

решения x(t) с ¿>"(0) = ]Г||х(1)(0)-х(йк)(0)||<S для í >0 выполнено неравенство

к=0

<т(0 < е, и асимптотически устойчиво, если a(t) 0, t ~> да.

Следуя [6] , для фредгольмова оператора В обозначим ЩВ) = span{ç„..,ç>r], N(S*)-= span{i¡/, } подпространства нулей, а {/,>" е

соответствующие биортогональные системы

<г,>=<?,,.

А'. Ч'П 1 О! ^ , ,3 — 1,..,,^ , » - 1,.„,Н УЩЛЦ« ГЧ I ичлпшн

канонический обобщенный жорданов набор ( а -жорданов набор г ОЖК)

Фредгольмова опетторз н относительно достаточно гладкой

N

(аналитической) оператор-функции В - А(А) = В - £ + если

1=1

= < >=0. = 2 ,...,Рк

= деЦ^^^ V,)] * О, к,1 = >1

Этот ОЖН биканонический, если ОЖН сопряженной оператор-функции, соответствующий элементам {ц/,)1 , также канонический 3 и три-канонический. если, кроме того,

i-/ i-» ■ J

Согласно результатам [3-5] ОЖН линейной оператор-функции В-ХА может быть всегда выбран каноническим (теорема существования канонической пары )и даже триканоническим.

0

Предложенный в [6] процесс продолжения неполного ОЖН позволяет доказать, что аналитическая оператор-функция и её линеаризация с помощью бесконечных матриц типа (3) имеют одинаковую жорданову структуру, а корневое число (сумма длин обобщённых жордановых цепочек (ОЖЦ)) не зависит от выбора пары . Однако для общего случая

аналитической оператор-функции в [3-5] даны примеры несуществования канонической пары. Этот факт не противоречит результатам для линейной оператор-функции А-/хА0, т.к., хотя линеаризованная оператор-функция обязательно имеет каноническую пару {Ф,,Г,.}, Г, может не иметь вида О,,0,...,0). Элементы, полного ОЖН нелинейной оператор-функции спектрального параметра могут не быть линейно независимыми.

Тем не менее результаты [1,2] об устойчивости решений переносятся на уравнения вида (1) с помощью линеаризации (2),(3) согласно следующему утверждению.

Лемма. ОЖЦ элементов <=N(A) относительно оператор-функции

А-Мо имеют вид Фск'> -(р®,0,...,0),Ф<а) =(^2),^Д...,0)3...где <p£\<plt2).....

к = \,...,п, ОЖН соответствующий базисным элементам {^р}" е N(B) полиномиальной оператор-функции В-уЛ, - и1 ÀL -...-ц'As.

Доказательство выполняется непосредственной проверкой. Теорема 1. Пусть операторы S и As фредгольмовы, оператор л, имеет полный ОЖН } 7 jотносительно оператор-функция Аг -h.14^, + ... +Л*~1Л1 -Вл и спектр аА{В) обобщённой задачи на собственные значения

{В-А{гфр~(В-рА, ~us ' А^ -и'Аз)<р = 0 (4)

лежит в левой полуплоскости Rpî и ! и <= г* <п\\ < о (хотя бы од^а точ^а cr Jïï) попадает в правую полуплоскость). Тогда тривиальное решение линейного однородного уравнения (1) асимптотически устойчиво (неустойчиво). Теорема 2. Пусть оператор FîXj) в (2) непрерывно дифференцируем по X к

t для t > 0 и X из некоторой окрестности Ое Ф...Ш£, до порядка L

--»-'

I

включительно, где L - максимальная длина ОЖЦ базисных элементов {Фк ) f е N{A,) относительно оператор-функции А. + AAf, + .,. + Я*~''А,- ВЛ1, причём j|DJF(AV)|j= o(j|X!!) при ||ДГ||->о,/ = 1,...,! равномерно по />о (в автономном случае F(X) непрерывно дифференцируем по X до порядка L ). Если фредгольмов оператор в имеет полный ОЖН относительно оператор-функции В-АА,_., -X5AS и спектр <тА(В) обобщённой задачи на

wODCTBvHHUw ЗПЗЧСНИЯ (4) ЛСЖ1ГГ В ЛвБОИ ПОЛУПЛОСКОСТИ Г А ОТ Я бы Одни е7Ч#

■ У \

точка попадает в ггоавую полуплоскогттЛ тп тпивняпьнгм» пршрнир ^авнечия

i ' - .----------f} - ~ --------------jr

( 1 ) асимптотически устойчиво (неустойчиво).

Так как уравнение (1) имеет решение не для любых начальных данных, асимптотическая устойчивость нулевого решения в теореме 2 подразумевается относительно класса решений с допустимыми начальными данными.

2. Устойчивость стационарных решений

Так же, как в работах [1,2], теоремы 1,2 позволяют исследовать устойчивость стационарных и периодических разветвляющихся решений уравнения

+ ^ = Bx-R(x,e), R(Q,e) = О, Ä,(0,0) = 0 (5)

Рассмотрим здесь общую схему для соответствующей задачи о точке бифуркации, т.е. вопрос об устойчивости стационарных решений (5), ответвляющихся от тривиального х = 0. Пусть фредгольмов оператор В имеет подпространство нулей N(B) = span{<pl,...,<pn}, <<p],Yk>=öjk, j,k = \,...,n и

дефектное подпространство N* (As) = span{y/^..,у/п}, <zk,y/j >= S^, j,k = , и *о00 стационарное решение (5) . Полагая у = х-х0(е), сводим (5) к виду

A,yw +- + А\У(Х) = Я,(у,£), где В{с)у = Ву - Rx(xü(e\s)y, =

+ -Кх(хй(е),£)у, и проверим выполнение условий теоремы 2. Если

лгтлпотлп-/Кт?1п/ттт1ст А i ^А л. А __ J? тп/р#»т ПАпиоЙ Г"УЫГТ-Г та TAtJtCP V — П

Vll^^u 4 V|/' ^^ iUU^XlA I Mlj^ I • . .1 fr l> IUUVV X tAVV41iui|l -l м »V i*vv * - v j

то для малых s. А. будет также иметь полный ОЖН относительно оператор-фикции Аг + zAs_x +...+ T,'iAi - tsB(s) . Действительно, в силу необходимого и достаточною условия цолниты иЖН [6, gj L j, [3-5] оператор As + zä^ + ... + ri_1J41 -г*В обратим для малых т. Тогда для малых е оператор Л, + тАг_, +■... и- г'т ЛА} -tsB(s) также обратим, и наше утверждение справедливо. Поэтому из теоремы 2 следует принцип линеаризованной устойчивости : ответвляющееся от тривиального х = 0 решение х0(£) уравнения

О.'чЛ .Л — fi

и l^A J IV^Aj О J ~~~ V J

устойчиво, если спектр <тл(В -Ях(ха(€),£)) оператор-функции

(7>

(т.е. спектр <ул(В-(я,,(е),£)) производной Фреше оператора (6) на решении х0 (а)) лежит в левой полуплоскости, и неустойчиво, если

существует хотя бы одна точка ц{е) е аА(В- (х0 (г), £)) в правой

полуплоскости.

Поэтому доказано следующее утверждение Теорема 3. Пусть корневые числа к(А1-А1_1,...-А1,В) = д, + + и к(В:А. а ! + « Тот-тта метол диаграммы Ньютона,

применённый к равнению разветвления в корневом подпространстве

оператор-функции (7) позволяет вычислить главные члены асимптотики

л

P-^Pt собственных значений м(£) задачи *=i

(В-Rx(х0{е),*) - /Ц 4-. - Г'4УР = 0, (8)

ответвляющихся от собственного значения /<0) = 0,и, тем самым, определить устойчивость (неустойчивость) стационарного решения (е).

Теорема 3 служит основой получения критериев устойчивости разветвляющихся решений, связанных с соответствующим УР. Теорема 4. Пусть ОЖЦ базисных элементов относительно оператор-функции 5-/¿4, -ц'А; имеют единичные длины, т.е. p¡= 1,

i~\,...,n и корневое число k(As-As_1,...,-AvB) = q1+... + qn оператора А, конечно. Пусть далее элементам е N(B) отвечает полный канонический ОЖН оператор-функции B~Rx{x{e),£) с длинами ОЖЦ г, <г2 <>...<,гп. Тогда стационарное решение jc(í) уравнения (5) устойчиво, если для соответствующего решения £(¿0 х-УР (9) главные члены асимптотики собственных значений v^s), j = \,...,n, определяемые главной частью матрицы Якоби 3 = t( .

/ J„*r _ п /„/_\ _Чгг Г-Т» /-./_\ _Ч1-1 -..... : ..Г ~1 _ Л sr¡\

TT* f ЛТЛ'Р ЛТНМПГУТЛ ТЛ Tí Г ТТГ УЛ г»ЛТТ*Л-Л««ЛАТТГТТ ?Л ТГЛЛ»Г»Т TI 1ТЛ1 ?ÍWT»AtíttirínA a/»T»Tf VIV!*ft

fimwiui и i uri ца i VJ ■ пп di l> nwuj\vbiDunnmL nav 1 ri y f< nL.j ь i iíidu, wujin ли ал vui

один из них положителен.

действительно, согласно методу ляпунова-шмидта. стационарное уравнение (6) записывается в виде системы

Rr=R( í.s<t*.>. ¿ = 1 и. П0>

" 'V ч - / X . 3 j ' j J - С - í i- » ' 4

y-l

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

где + j >Zj , Г = B~]. Подставляя решение x-x(^e) первого

уравнения (10) во второе и используя равенства Т'ук =у/к, к = , получаем х -УР стационарных решений

s< >= - < >= 0 . * = I--.» • С10

i vía.; pililo. ЛКООп a-ja i ; iímmi опд

Опять применяя лемму Шмидта [6], сводим задачу на собственные значения (8) (см.[6,§32] к эквивалентному /¿-УР

Uu.é\ = Yl У и* sdetífl .fí/,*YI = detf< иЛ +... (12)

. i »

+

Так как р1 -1, без ограничения общности можем принять, что

<Ах<р},ц/к >= . Применяя метод диаграммы Ньютона, находим, что задача

на собственные значения (8) имеет точно п А -собственных значений. Из линейного свойства определителя следует, что главные части асимптотики собственных значений ц^е) , / = 1,...,и (определяемые из (12)) и главные

части и,(е) (определяемые из (9)) совпадают.

Следствие . В условиях теоремы 4 устойчивость стационарного решения х(е) уравнения (5) определяется принципом линеаризованной устойчивости для системы обыкновенных дифференциальных уравнений ^ = где /(£,£)-правая часть х-УР (11).

3. Устойчивость периодических решений

Здесь рассматривается устойчивость периодических решений (5) бифуркации Андронова-Хопфа [8-12], когда спектр <гА(В) пересекает мнимую ось в конечном множестве собственных значений ±/кга, г = \,...,т, кратности пг, где натуральные числа, не имеющие нетривиальных общих делителей.

Мы строим [8-12] УР -периодических решений, где 0 при

Следуя АЛуанкаре [16] на основе замены переменных ? - ^хтг , - у(гХзадача о периодических решениях сводится к нахождению 2п •

И "Л

и^рпчудгп^^лйЛ рчи!.ш1Г1 у^хпцяОпарЬиш ЗгроспСппЛ'/ I * •'-1

и }\Г) = ау- & Ак — = ¿И',, —щ - к\у,а} = 4-=! (*т i-1 /=о

1

= (Г'г1 гг\')\гт\~- ¡Л — Р {!; V— V-'? )УЖ} - - 'О' ■> - } }

з пространствах ¥(¿3 1п -периодических Б-раз непрерывно дифференцируемых (непрерывных) функций т со значениями в Е^Е^+гЕ^

! §? ™ Г ■ • Т7 Л Тлт»*¥п т* 11.ЛТТЛПЛ.ПЛ ЛГТА1ТЛ.?.Л*?Я Л 1ГТТ

11)' Л'1 о ла-и/к/юь 1/льдью11л -т шш ич^х^

следующий результат.

Теорема 5. Пусть спектр о-А(В) на мнимой оси состоит только из

собственных значений ±¿кга, г-1.....т, кратности пг {кг натуральные числа

без нетривиальных общих делителей), изолированных от остальных частей стл(В), лежащих в левой полуплоскости, оператор В.Чфредгольмов и выполнены предположения теоремы 4 (с единственной цепочкой

бесконечной длины). Тогда устойчивость "^-периодических решений уравнения (5) определяется принципом линеаризованной устойчивости для системы обыкновенных дифференциальных уравнений, в правой части которой стоит выражение соответствующего УР.

Для доказательства этой теоремы используется факт, что экспоненты Флоке к в этой ситуации могут быть определены [17] как собственные

значения 2л-периодической задачи Bu-Rу(у,и,Е)и = А(к)и, А(к) = Л,лг+Агк2 +

... + А,к\ и(0) = «(2/г).

Замечания

10 .Использование мультипликаторов Флоке для полугрупп операторов с ядрами (см.серию известных работ Г.А.Свиридюка [18,19]) явится предметом нашей дальнейшей работы. 2°.Результаты устойчивости для уравнения (5) в условиях групповой инвариантности могут быть получены на основе работы [2].

СПИСОК ЛИТЕРАТУРЫ

1. Логинов Б.В. Об устойчивости решений дифференциальных уравнений с вырожденным , оператором при производной// Известия Акад. н$ук УзССР. Физ.-мат. 1988. №1.С. 29-32 ; Письмо в редакцию. 1988. №2. С.78.

2. Loginov B.V., Rousak Yu.B. Generalized Jordan structure in the problem of the stability of bifurcating solutions/ZNonlinear Analysis. TMA. 1991.V.17. ХаЗ.Р. 219-232 .

3. Логинов Б.В., Русак Ю.Б. Обобщённая жорданова структура в теории ветвления. Прямые и обратные задачи для дифференциальных уравнений с частными производными / Ред. М.С.Салахитдинов. : Ташкент, 1978. С. 133-148.

4. Русак Ю.Б. Об обобщённой жордановой структуре оператор-функции и сопряжённой к ней// Известия Акад. j наук УзССР, Физ.-матД;978,№2. С. 15-19 .

5. Русак Ю.Б. О роли обобщённой жордановой структуры в теории ветвления: Кандидатская диссертация / Инст. мат. АН УзССР. Ташкент, 1979.

6. Вайнберг М.М., Треногин В.А. Теория ветвления решений нелинейных уравнений, М.: Наука, 1969. С. 524; English translation, Wolters-Noordhoff, Ley den. 1974.

7. Loginov B.V. Branching equation in the root subspace// Nonlinear Analysis. TMA.1998.V.32 . №3. P. 439-448.

8. Loginov B.V. On the determination of branching equation in nonstationary

hrancbifwr Hv its mrum «vmrrsAtrv wfnHprn Г.глпп AnqivQt ч anrj РгпЫртч nf

Math. Modelling. Proc. XI Russian Coloq., Samara University. 1993. P. 112-124.

9. Loginov B.V. Bifurcation equation of nonstationary branching induced by spatial variables// Uzbek Math. J. 1995. №1. P. 58-67.

10. Lofiipov В V TVfermin-attnn nf fhff hranr.hina Amiatinn bv its oroim

symmetry-Andronov-Hopf bifurcation// Nonlinear Analysis. TMA. 1997. 28. №12.P. 2033-2047.

11. Loginov В.V., Trenogin V.A. Branching equation of Andronov-Hopf bifurcation under group symmetry conditions// CHAOS, Amer. Inst. Phys.. 1997. 7 (2). P. 225-238.

12. Логинов Б.В., Макаров М.Ю. О роли обобщённой жордановой структуры при построении и исследовании уравнения разветвления бифуркации Андронова-Хопфа// Вестник Самарской эконом, акад. 1999. №1. С. 224-233.

13. Сидоров Н.А., Благодатская Е.Б. Дифференциальные уравнения с фредгольмовым оператором при старшем дифференциальном выражении// ДАН СССР.1991. С. 1087-1090; Engl. transl.Soviet Dokl.Math.V.36 (1991).

14. Loginov B.V.,Sidorov N. A. .Trenogin V.A. Existence of bifurcation at the presence of one Jordan chain of an odd length// Uzbek Math. J. 1993. №3. C. 64-68.

15. Логинов Б.В.,Сидоров H.A.,Русак Ю.Б. Теорема существования точки бифурации в присутствии одной обобщённой жордановой цепочки нечётной длины // Математ. моделирование. Росс. Акад. Наук, 1997. Т.9,№10.С.30-31.

16. Poincare Н. Les methodes nouvelles de la mecanique celeste. Paris, Gauthier-Viliars, 1892.

17. CrandailM.G., Rabinowitz P.H. The Hopf bifurcation theorem in infinite dimensions // Archive for Rat. Mech. Anal. 1997. V.67. 1. P. 53-72.

IX r^ISlTiMiI"1 Д X/" ллтттлтт тдл1»г1ггу ПАТппчпчттг ЛТТЙЛОФЛПЛП/А/лпауи ИЖСП"1

Ю. ^РИ^яДдуд 1 IV. uvij^vn LVVf'n.rj uujiVrpVuu UUW^uTOpGu/V J WilVAfl "uul.

наук. 1994. Т. 49, №4. С. 47-74; Engl, trans!. Russian Math. Surveys ( i VV4).

19. Свиридюк Г.А. Фазовое пространство нелинейных уравнений типа Соболева с относительно сильным секторналышм оператором// Алгебра и анализ. 1994. Т.6, № 5 . С.252-271. Engl, transl. V.6 (1995).

Логинов Борис Владимирович, доктор физико-математических наук, профессор кафедры Высшая математика» Ульяновского государственного технического университета, окончил механико-математический факультет Ташкентского государственного университета, Имеет монографии и статьи в области нелинейного ■функционального анализа и его приложении.

Русак Юрий Борисович, кандидат физико-математических наук, окончил механико-математический факультет Ташкентского государственного университета. Имеет статьи в области нелинейного функционального анализа и его приложений.

та капая [ЗгЛиД ягОлпгкиц шикмМ /и н икО-м шОеМСИП И ЧССКО^О фаКуЛ Ъгпс ¡¡¡¿л

Ульяновского государственного университета. Имеет работы в области нелинейного функционального анализа.

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