CC BY
30
Онлайн-доступ к журналу: http: / / mathizv.isu.ru
Серия «Математика»
2018. Т. 23. С. 46-63
УДК 517.925 MSG 34К18, 34D23
DOI https://doi.org/10.26516/1997-7670.2018.23.46
Области притяжения точек равновесия нелинейных систем: устойчивость, ветвление и разрушение решений*
Н. А. Сидоров
Иркутский государственный университет Д. Н. Сидоров
Институт систем энергетики им. Л. А. Мелентъева СО РАН Институт солнечно-земной физики СО РАН
Хунанъский университет
Аннотация. Рассмотрена динамическая модель, состоящая из дифференциального уравнения в банаховых пространствах и нелинейного операторного уравнения относительно двух элементов из разных банаховых пространств. Предполагается, что система имеет стационарные решения (точки покоя). Ставится задача Коши с начальным условием на одну из неизвестных функций. На вторую функцию, играющую роль управления соответствующего нелинейного динамического процесса, начальные условия не ставятся. Получены достаточные условия, при выполнении которых задача имеет глобальное классическое решение стабилизирующееся на бесконечности к точке покоя. При соответствующих достаточных условиях показано, что решение можно построить методом последовательных приближений. Если условия основной теоремы не выполнены, то задача может иметь несколько решений. Некоторые из них могут разрушиться за конечное время, а другие стабилизироваться к точке покоя. Приведены примеры иллюстрирующие построенную теорию.
* Работа выполнена в рамках программы развития основных научных направлений ИГУ на 2015-2019 гг., проект «Сингулярные операторно-дифференциальные системы уравнений и математические модели с параметрами», частично поддержана программой международного научно-технического сотрудничества Китая и России, грант N0. 201.5DFR708.50, грантом ГФЕН N0. 61673398 и программой фундаментальных исследований СО РАН, рег. № АААА-А17-117030310442-8, научный проект III.17.3.1.
Ю. Ли
Ключевые слова: динамические модели, точки покоя, устойчивость, стабилизация, blow-up, ветвление, задача Коши, бифуркация.
Памяти дорогого друга и коллеги профессора Бориса Владимировича Логинова посвящается
Введение
Рассмотрим систему
A^ = F (х,и), (0.1)
0 = G (х,и). (0.2)
Здесь линейный оператор А : D С X —> Е имеет ограниченный обратный, нелинейные операторы F : X + U —> Е, G : X + U —>U непрерывны в окрестностях \\х — Хо\\х < т\\и — щ\\и < Г2 вещественных банаховых простанств X,U; Е - линейное вещественное нормированное пространство. Предполагается, что справедливы разложения операторов
F(a;, и) = F(a;o, щ) + А\(х — xq) + А 2 (и — щ) + R(a;, и); (0.3) ||R(a;,«)|| = о(\\х — жо|| + ||и — зд||); (0.4)
п
G(х,и) = G(xo,uo) + (G(xo,uo); (х — xq,u — uo)) + г(x,u); (0.5)
k=1
\\r(x,u)\\u = o((\\x -x0\\ + \\u- u0\\)n). (0.6)
В разложениях (0.3), (0.5) стоят производные и дифференциалы Фреше, вычисленные в точке (xq,Uq)
OF (х,и)
Ао :
2 • —
дх д¥(х, и)
€ С(Х -»• Е)]
x=xo,u=v-o
^■3 • =
А4 :
ди dG(x, и)
€ C(U -»• Е)]
X = XQ,U=UQ
■4 • —
дх dG(x, и)
€ С{Х
x=xo,u=v-o
ди
€ C(U
иу иу
X = XQ,U=UQ
dk (G(xo,uq); (х — xq,u — щ)) =
Ci dkG(х,и)
i+j=k
(х — хоУ (и — иоУ;
х=хо,и=ио
г раз jраз
Очевидно, что для разрешимости системы (0.1)—(0.2) необходимо, чтобы операторное нелинейное уравнение (0.2) имело вещественное решение. Поэтому в работе предполагается, что элементы хо, щ из вещественных банаховых пространств X и U удовлетворяют операторным уравнениям F(x,v) = 0, G(x,v) = 0. Таким образом, Xq,v,q — стационарное решение системы (0.1), (0.2) (точка равновесия или точка покоя модели).
При моделировании многих задач энергетики (см. обзоры, например, в монографиях [3; 15; 17; 18]), возникает частный случай системы (0.1)—(0.2), когда X = Е = Rra, U = Rm — конечномерные пространства. В работах [15; 17; 18] их называли «алгебро-дифференциальными системами» и рассматривали с начальным условием Коши
ж(0) = А, (0.7)
где А — элемент из окрестности точки равновесия xq. Строились решения x(t), u(t) на полуоси [0,+оо) такие, чтобы
lim (||®(t)|| + ||u(i)||)=0.
i—>+oo
Функции u(t) выбирались так, чтобы решение x(t), u(t) при t —> +оо стабилизировалось к точке покоя xq,Uq. Такая задача важна для решения проблем автоматического регулирования. В классических работах российских математиков (А. И. Лурье, Е. А. Барбашин и др.) заложены основы современной теории автоматического регулирования. В ряде работ (см., например, [15; 17; 18;20]) в этой области проведены интересные результаты численных расчетов конкретных моделей энергетики и демонстрируется сложность проблемы, связанная с возможностью бифуркации и разрушения решения (blow-up), см., например, работы [15; 18] и их библиографию. Поэтому исследование вопросов разрешимости задачи Коши (0.1), (0.2),(0.7) с точками равновесия и приближенных методов ее решения представляют теоретический и практический интерес.
Эта задача играет важную роль и в математическом моделировании нелинейных динамических систем с использованием подхода «вход» -«выход» [14; 19; 22], когда и - «вход», а «выход» у = h(x,v). При этом выход в случае замкнутого контура должен удовлетворять заданному критерию в виде уравнения G(у) = 0. (см. рис. 1)
Рис. 1. Схема динамической системы с замкнутым контуром [17].
В работах [15; 17; 18] рассматривались только модели вида (0.1), (0.2) с обыкновенными дифференциальными уравнениями и проводились расчеты, демонстрирующие сложность проблемы связанной с анализом устойчивости и возможным разрушением решения. В настоящей работе рассмотрены нелинейные дифференциально-операторные системы в общем виде, что позволило с единой точки зрения исследовать модели «вход-выход» как с дифференциальными, так и с интегро-дифференци-альными связями.
Не ограничевая общности пусть далее (0,0) - точка равновесия системы (0.1), (0.2), т.е. в формулах (0.3) - (0.6) и далее Жо = 0, щ = 0, F(0,0) = 0, G(0,0) = 0.
Определение 1. Областью притяжения точки равновесия (0, 0) системы (0.1), (0.2) назовем шар ||ж|| < г такой, что при любом А из этого шара существуют решения х : [0, +оо) —> X, и : [0, +оо) —>■ U с начальным условием ж(0) = А, стабилизирующиеся к нулю на положительной полуоси.
Если область притяжения точки равновесия не пуста (г > 0), то стационарное решение (0,0) системы (0.1), (0.2) будем называть асимптотически устойчивым.
Цели работы: построение достаточных условий непустоты области притяжения положения равновесия, доказательство теоремы существования и единственности решения задачи (0.1), (0.2) с начальным условием ж(0) = А; разработка метода последовательных приближений решения задачи Коши на полуоси [0,+оо). Кроме того, впервые приводятся достаточные условия разветвления решения задачи Коши для системы (0.1), (0.2) с анализом устойчивости отдельных ветвей этого решения.
Основная часть работы (п. 1-4) посвящена случаю, когда линейные операторы А, Ад имеют ограниченные обратные. Важную роль в пп. 1-3 будет играть спектр линейного ограниченного оператора
M = A-1(AI-A2AJ1A3), (0.8)
действующего из X в X.
В п. 3 в предположении, что Re X < —I < 0 при всех Л € <т(М) доказана теорема 1 о существовании и единственности на полуоси [0, оо)
и асимптотической устойчивости решения задачи Коши при достаточно малой норме ||ж(0)||. В п. 4 приведена схема последовательных приближений искомого решения. В п. 5 рассмотрены классы систем вида (0.1), (0.2) при условии, что А4 = 0, т.е. \х=и=о = 0. Показано,
что в этом случае может происходить ветвление решения задачи Коши, когда существует несколько решений ж(£), и(Ь) с условием ж(0) = А. Некоторые из ветвей продолжаются на всю полуось [0, +оо) и стабилизируются к нулю при £ —>■ +оо, а другие могут разрушаться (уходят в бесконечность). Приводятся иллюстративные примеры.
1. Редукция нелинейной системы в окрестности точки равновесия к одному дифференциальному уравнению
Пусть Сг{х,и) = А3Ж + А4 и + г (ж ,и), где ||г(ж,«)|| = о(||ж|| + ||и||).
Лемма 1. Пусть оператор А4, где А4 = \ х=и=о — производная
Фреше, имеет ограниченный обратный. Тогда для любого шара : ||ж|| < Г\ найдется шар ¿>2 : ||и|| < Г2 такой, что при любом ж € 5*1 уравнение (0.2) имеет единственное непрерывное решение и(х) в шаре Б2. При, этом имеет место асимптотическое представление решения при |\х\| —> 0 :
и = -А^1А3ж + о(||ж||), (1.1)
где Аз = ^
— производная Фреше по переменной ж.
х=и=0
Доказательство. Уравнение (0.2) в силу обратимости оператора А4 сводится к виду и = Ф(и, ж). Здесь Ф(и, ж) = — А^"1Азж — А^1г(х,и). Поэтому для Уд € (0,1) найдется окрестность ||и|| < в которой оператор Ф будет равномерно по ж из шара ||ж|| < Г\ сжимающим: ||Ф(«1, ж) — Ф(и2,х)\\ < д\\и1— и2\\- Кроме того, в этой окрестности имеет место неравенство ||Ф(и,ж)|| < дг2 + ||Ф(0,ж)||. Так как Ф(0,0) = 0, то в силу непрерывности Ф(0, ж) найдется г в интервале (0, Г\] такое, что ||Ф(0,ж)|| < (1 — д)Г2 при ||ж|| < г. Таким образом, при любых ж из шара ||ж|| < г и У и из шара ||и|| < г 2 оператор Ф будет сжимающим и переводит шар <5(0, Г2) в себя. Следовательно, на основании принципа сжимающих отображений последовательность {ип}, где ип = Ф(ип-\х), х € 5(0, г), ио = 0, сходится равномерно по ж к решению и(ж) единственному в шаре ||и|| < Г2- Так как очевидно ип(ж) ~ — А^:Азж при ||ж|| —> 0, то имеем асимптотику
и(ж) ~ —А^1А3ж (1.2)
при | |ж| | —У 0. □
С помощью леммы 1 устанавливается
Лемма 2. Существует окрестность ||ж|| < г, ||и|| < Г2, в которой система (0.1), (0.2) однозначно сводится к одному дифференциальному уравнению
А £ = /<*). (1.3)
Здесь отображение / : <5(0, г) С X —> Е2 := ¥(х,и(х)) имеет представление
¡(х) = Агх - А2А^1А3х + Цх). (1.4)
Нелинейное отображение Ь : X —>■ Е удовлетворяет оценке
\\Ь(х)\\=о(\\х\\).
Доказательство. Для доказательства достаточно в представление (0.3) отображения ¥(х,и) подставить функцию и(ж), определенную в лемме 1 из уравнения (0.2). □
Замечание 1. Зная функцию ж(£) можно найти и соответствующее и(Ь). Действительно, пусть ж(£)— решение построенного в лемме 2 дифференциального уравнения (1.3). Тогда функция и(Ь) на основании леммы 1 имеет асимптотику ~ —А^*Азж(£) при ||ж|| —> 0.
2. Априорная оценка решения задачи Коши
Рассмотрим систему (0.1), (0.2) с начальным условием Коши
ж(0) = А.
Лемма 3. Пусть ж : [0, +оо) —> X — решение задачи Коши для системы (0.1), (0.2), где в начальном условии ||Д|| — достаточно мала. Пусть КеХ < —I < 0 при всех X € <т(М). Тогда найдутся С > 1 и е € (0,1), при которых || ехрМ£|\с{х^х) < Се~и и ||ж(£)||х < ||Д||е(е_г^ при всех £ € [0, +оо).
Доказательство. Используя лемму 1 методом последовательных приближений из уравнения (0.2) найдем функцию и(Ь) как функцию ж. Подставив эту функцию в правую часть уравнения (0.1) придем к уравнению (1.3). Учитывая тождество А-1/(ж) = Мж+А-1£(ж), перепишем результат в виде
^ =Мж + А~1Ь(х), ж(0) = А. (2.1)
Поэтому
x(t) = exp Mi А + f expM(i - s)A~1L(x(s))ds =: Ф(ж,£) (2.2) Jo
— суть интегральное уравнение Вольтерра для определения искомого решения x(t) задачи Коши. Известно (см., например, [4]), что операторная экспонента ввиду условий леммы 3 на спектр <т(М) удовлетворяет оценке
\\expMt\\c{x^x) <Се~и,С>1. Поэтому очевидно выполнится неравенство
Mt)\\ < Се"г4||А|| +С||А"1|| f e~l^\\L(x(s))\\ds.
Jo
Для Ve > 0 ввиду оценки ||£(ж)|| = о(||ж||) существует 5 = 5(e) > О такое, что ||А_1||||Ь(ж)|| < -§||ж|| при ||ж|| < 5. Поэтому до тех пор пока ||ж(«)|| < 5 будет справедливо и неравенство ег*||ж(£)|| < С||Д|| + С fo els jj\\x(s)\ \ ds. Отсюда в виду неравенства Гронуолла-Беллмана
elt\\x(t)\\ < C\\A\\eti£ds = C||A||e£i.
Таким образом, ||ж(£)|| < C||A||e(£_i)i при t > 0. Выберем е € (0,1). Тогда ||ж(£)|| < С||А||е-(г-£)4 < С||А|| при t € (0,+оо). Пусть в начальном условии ж(0) = А выбрано достаточно малое А, а именно ||А|| < Т.к. С > 1, то ||ж(0)|| < S. Тогда ||ж(£)|| < S при Vi € [0,+оо) и условие ||ж|| <5, использованное в процессе оценок, выполнится. Более того, sup ||ж(£)|| < 5 и при Vi* € [0, оо) ||ж(£*)|| < 5. Таким образом,
0<i<oo
лемма 3 справедлива, непрерывное решение существует и единственно на интервале [0, +оо). Лемма 3 доказана. □
Априорная оценка решения обосновывает возможность продолжения локального непрерывного решения задачи Коши на весь интервал [0,+оо). В монографии [6] при обосновании возможности непрерывного продолжения решения использовалось также наличие априорной оценки решения. Априорная оценка решения, как правило, используется при доказательстве нелокальных теорем существования методом продолжения по параметру, см., например, п. 14 в [13].
3. Существование, единственность и асимптотическая устойчивость решения
Теорема 1. Пусть (0,0) — точка равновесия системы (0.1), (0.2). Пусть Re А < —I < 0 при всех А € с(М), ||Д|| — достаточно мала.
Тогда система (0.1), (0.2) с условием ж(0) = А имеет единственное решение х : [0,+оо) —> X, и : [0,+оо) —> U. Более того, lim (||ж(£)|| +
í—S-+oo
IHí)||) = o.
Доказательство. В силу лемм 1, 2 и очевидной справедливости теоремы Пикара для уравнения (2.1) задача Коши (0.1), (0.2), x(to) = Xq имеет единственное локальное решение при Vio € [0, оо). Следовательно, множество значений аргументов t, при которых локальное решение непрерывно продолжается, открыто в любом интервале [¿о,+оо).
Так как решение рассматриваемой задачи Коши при достаточно малой ||ж(0)|| на основании леммы 3 удовлетворяет априорной оценке ж(t) < 5 при Vi € (0, +оо) и не достигает значений 5, то множество значений аргументов t, на которое может быть продолжено решение, будет и замкнутым. Поэтому на основании известных фактов о методе продолжения по параметру (см., например, [13], п. 14) решение уравнения (2.1) непрерывно продолжается на весь интервал [0,+оо). При этом ввиду лемм 1, 2 и 3 искомые функции ж(t),u(t) стабилизируются при t —> +оо к точке равновесия (0, 0). □
Дополнительная информация об операторе Ь(ж) в уравнении (2.2) позволяет оценить снизу достаточную малость ||ж||, заложенную в условиях теоремы 1. Действительно, пусть найдена положительная непрерывно убывающая функция q(r), q(0) = 0 такая, что
\\L{xi) - Цх2)\\ < q{r)\\xi - ж2||
при любых Ж1,Ж2 из шара ||ж|| < г. Тогда для оператора Ф в уравнении (2.2) имеем оценку
||Ф(жь£) -Ф(ж2,*)|| < < СЦА"1!! f e-l^\\L{Xl{s)) - L{x2{s))\\ds <
Jo
< j\\A-l\\q(r) sup ||Ж1(5)-Ж2(5)||.
' 0<s<oo
Выберем г* > 0 такое, чтобы при Vr < г* имело место неравенство
j\\A-l\\q(r)<q* <1.
Тогда оператор Ф будет сжимающим в шаре S(0,r*). При этом при ||ж|| < г* и Vi € [0, +оо)
||Ф(ж,^|| < 11Ф(ж,í) - Ф(0,Щ + ||Ф(0,*)|| < q*r*+
+ || expMíA|| < q*r* +С\\А||.
Выберем теперь ||Д|| < ^ • При таком достаточно малом начальном значении Д сжимающий оператор Ф переводит шар S(0,r*) в себя и следовательно задача Коши (2.1) имеет единственное глобальное решение.
Пример 1.
{ ^af1 = z) + x4t, z) + v2{t, z), l ж(0,z) = A(z), t € [0, +oo), * € [0,1], [ u(t, z) + Jq1 zsu(t, s) ds + x2(t, z) + v2(t, z) = 0,
|Д(-г)| < £ — достаточно мало. Здесь А = Ai = I, A3 = 0, X = Е = U = С[од]. Оператор А4 = I + J* zs[-] ds имеет ограниченный обратный
2 Г1
К1 = 1 - з уо zs[-]ds,
М = —I. Если \x(t,z)\ — достаточно мала, то последовательность
{un(t,z)},
где
2 Г1
Un{t,z) = -X2(t,z)—V2n_l(t,z) + - / zs{x2(t,s) + Un-i(t,s)} ds,
3 Jo
v,o(t,z) = 0, сходится и позволяет найти решение u(t,z) интегрального уравнения как функцию от x(t,z). Подставляя это решение в дифференциальное уравнение, задачу сводим к одному дифференциальному уравнению вида:
^bA = -x{t,z) + 0{\\x\\2), x(0,z)=A(z).
При этом ||и|| = б>(||ж||2).
Таким образом, эта модель, состоящая из дифференциального и интегрального уравнения, удовлетворяет условиям теоремы 1 и имеет на полуоси [0, оо) единственное непрерывное решение x(t,z), u(t,z), стабилизирующееся при t —>■ +00 к точке покоя (0,0), если max |Д(-г)| достаточно мал. ~ ~
4. О построении решения нелинейной системы методом последовательных приближений
В условиях теоремы 1 искомое решение x(t),u(t) системы (0.1), (0.2) с условием ж(0) = А можно строить без предварительного сведения системы к одному дифференциальному уравнению. Действительно, введем две последовательности {xn(t)}, {un(t)} с условиями жга(0) = А, п = 0,1,... , где ||Д|| -достаточно мала. Пусть v,q = 0, а ||Д|| достаточно мала, жn(t) - решение задачи Коши А^ = ¥(xn,un-i), жга(0) = А,п = 1,2,... . Решение жn(t) очевидно существует и единственно при t > 0 на основании теоремы 1.
Далее построим функции ип по формуле ип = ип-\ +wn, где v,q = 0. Учитывая обратимость оператора A4, функции wn найдем из линейного уравнения А4«;га + G(xn, ип-\) = 0 ,п = 1,2,.... Тогда в условиях теоремы 1 lim xn(t) = ж(t), lim un(t) = u(t), lim (||ж(£)|| + ||«(í)||) = 0.
n—>oo n—>oo t—>oo
Условие малости ||Д|| является существенным, так как в противном случае решение дифференциального нелинейного уравнения может уйти в бесконечность в точке t* (см. ниже примеры).
Пример 2. Рассмотрим систему
гма = _zj£_u(t) + x2it)j \ 0 = 2u(t) - x(t) + 2u(t) sin u(t) - x(t) sin-u(í)
с начальным условием ж(0) = Д, 0 < t < +00. Заменой u(t) = ^ф- эта система сведется к задаче Коши
Г x(t) = -x{t)+x2{t), \ ж(0) = Д.
Легко проверить, что последняя имеет точное решение
- А
X(t) е*(1 — Д) + Д'
Покажем, что точка t* = In может оказаться точкой разрушения (blow-up) построенного решения. Рассмотрим 4 случая.
Случай 1. Если Д € (0,1), то точка blow-up t* — комплексное число, решение непрерывно при t € (0, +00) и стабилизируется к точке покоя ж = 0 при t —> +00 (см. рис. 2).
Случай 2. Если Д € (—оо,0), то точка blow-up отрицательна, а на полуоси [0, +оо) решение непрерывно и стабилизируется к точке покоя ж = 0 при t —> +00 (см. рис. 3).
Случай 3. Если 1 < Д < оо, то при t* = In -^гу, где > 0, решение разрушится. При t > t* оно непрерывно и тоже стабилизируется к точке покоя ж = 0 при t +00 (см. Рис. 4).
Случай 4■ При А = 0 и А = 1 получим стационарные решения. На основании вышеизложенного можно сделать следующий вывод. В примере 2 при А € (—оо, 1) решение задачи Коши при £ > 0 существует, единственно и стабилизируется к точке покоя при £ —>■ +оо. Отметим, что при А > 1 решение задачи Коши разрушается за конечный промежуток времени равный 1п д^у.
Замечание 2. Отсутствие вещественных точек покоя может порождать решения со счетным множеством точек разрушения.
5. О ветвлении решения задачи Коши
Пусть теперь в (0.1), (0.2) Е = X = Г1, и = А - единичная матрица п х п. Широкий класс таких систем, встречающихся в приложениях, имеет вид (5.1), (5.2).
п т
^ = Е ЯгкХк + Е Ьгкик + Кг{х]и),
к= 1 к= 1 Жг(0) = Аг,1 = 1, . . . ,П
(5.1)
0 = дк(х;и), к = 1,... ,т, (5.2)
где
ж := (жь ..., хп)Т, «:=(«!,..., ит)т, т < п. Пусть Ег(ж,и) = о(||ж|| + |Н|),
дк(х,и) = Ак{хк,ик) + х^к+1гк(х,и), к = !,-■■ ,т,
Ак(хк,ик) := ^2ткзх^к~8и&к + о{{\хк\ + Ы)^), «=о
гк(х,и) = о(1) при ||ж|| + ||«|| —> 0, Л^ > 2.
Будем искать малые решения и = и(ж) —>■ 0 при ||ж|| —>■ 0 системы (5.2) в виде произведений щ = х1и}1(х), г = 1,... , т с условием
¿>¿(0)1 /0.
г=1
Тогда функции ии^ должны удовлетворять системе вида
Хкк ткзУ0к{хк) + х^к + 1гк(х, Х1Ь)1, ..., X ти}т) = 0, «=0
к = 1,..., т. После сокращения на ж^ придем к системе
ГПкзЪиКХк) + хкгк{х, Ж1-Ш1, . . . , Жт^т) = 0, к = 1, . . . , ГП.
«=0
Поэтому необходимо вектор «;(0) = («^(О),... ,гут(0))т состоит из корней полиномов
Щ
^ ткзЬ)3к(0) = 0, к = 1,..., т.
з=О
Пусть к = 1,...,т — простые корни соответствующих полиномов. На основании теоремы о неявной функции этим корням будет отвечать малое решение системы (5.2) вида
ик{х) = xkw*k + гк{х), к = 1,...,т,
где \тк{х)\ = о(| |ж| |). Функции гк(ж) при малых ж можно уточнить методом последовательных приближений. Подставляя ик(ж) в дифференциальные уравнения (5.1) получим, как и при доказательстве леммы 2, дифференциальную систему относительно вектор-функции ж (t) :
dx п
= J2cikxk + о(||ж||)
к=О
с условиями жДО) = Ai, г = 1,..., п. Здесь
с = Г aik,i = 1, • • • ,п, к = m + 1,... ,п, гк \ aik + bikw*k, i = 1, • • • , п, к = 1, • • • , m.
Введем матрицу M = {cik}™k=l. В итоге, как и при доказательстве теоремы 1, можно сделать
Вывод. Пусть ^fc=i l^fcl — достаточно мало. Если при этом все собственные числа матрицы M имеют отрицательные вещественные части, то решение задачи (5.1), (5.2) существует, единственное и стабилизируется к точке покоя (0, 0) при t +оо. Так как полиномы mksWsk, к = 1,..., m могут иметь несколько простых корней, при которых соответствующая матрица M имеет только собственные числа с отрицательными вещественными частями, то решение задачи (5.1), (5.2) в общем случае может иметь несколько устойчивых решений x(t). Простым корням этих полиномов, при которых у матрицы M есть собственное число с положительной вещественной частью, будет отвечать неустойчивое решение ж (i).
Пример 3.
= ах + (Зи + и2 + ж3, ж(0) = А,
ах2 + 2Ьхи + и2 = 0,0 < t < оо.
Здесь (0, 0) — точка покоя. Полагая и — ссс 2 с const, получим квадратное уравнение с2 + 26с + а = 0. Следовательно, и определится двузначно по формуле
«1,2 =x(t)(-b± л/Ъ2 -а). (5.3)
Пусть а <Ъ2. Подставим найденные значения функции и в дифференциальное уравнение. Тогда задача определения функции x(t) сведется
к решению двух задач Коши
Г ^г = (а + (3(-Ъ ± VW^7i)x± + (-Ъ ± + ж|,
\ ж±(0) = А.
Пусть а + /?(—b — л/Ь2 — а) < 0. Тогда ветвь ж_(£) при малом |А| существует при t > 0 и стабилизируется к нулю при t —> +00.
6. Возможные обобщения
В данной работе для простоты рассматривались только автономные системы. Это ограничение можно ослабить.
Например, если имеется система
Г А^ = (Ai + Ai(t))x(t) + (А2 + A2(t))u(t) + Щх, и, t), \ 0 = А3Ж + Ад и + г (ж, и, t),
где Ai(t) —)• 0, A2(i) —> 0 при t —> +00, ||К(ж,и,^|| = о(||ж|| + ||и||) и ||г(ж, и, i)|| = о(||ж|| + ||«||) при ||ж|| + ||и|| —> 0 равномерно по t > 0, то результаты теоремы 1 сохраняются.
В теории систем (0.1), (0.2) наиболее сложным оказался случай, когда производная Фреше -^G(x,u) в точке покоя не обратима и следовательно для отображения G(x,u) = 0 не выполнена теорема о неявном операторе.
В п. 5 рассмотрен только один случай, когда это условие не выполнено и происходит ветвление решения. Другие более сложные случаи ветвления решений могут быть исследованы с помощью результатов современной аналитической теории ветвления решений нелинейных уравнений, полученных в работах В. А. Треногина, Б. В. Логинова, Н. А. Сидорова, А. Д. Брюно, J. Toland и др. Не менее интересной является проблема анализа систем (0.1), (0.2) с разрывом в окрестности точек покоя, когда не выполнено условие устойчивости по первому приближению и надо привлекать более тонкие методы, например методы, связанные с построением функции Ляпунова, оценивать расположение потенциальных точек blow-up привлекая, например, вариант метода выпуклых мажорант Л. В. Канторовича из работ [11; 19; 22].
В этом случае при разработке алгоритмов анализа устойчивости и построения оценок областей притяжения точек покоя электроэнерегети-ческих систем типа вход-выход целесообразно использовать методы основанные на теории вектор-функции Ляпунова и теории систем с разрывными правыми частями, построенной в работах В. М. Матросова, см., например, [7; 8] и развитой в его научной школе.
Наконец, определенный интерес представляет система (0.1), (0.2) с точками покоя при необратимом операторе А. В этом случае стандартная задача Коши может не иметь классических решений и целесообразно вводить другие начальные условия. Если необратимый оператор А
допускает скелетное разложение конечной длины, то новые корректные начальные условия для задачи (0.1), (0.2) можно поставить, используя результаты работ [12; 21-23].
Список литературы
1. Барбашин Е. А. Введение в теорию устойчивости / Е. А. Барбашин. -М. : Либроком, 2014. - 230 с.
2. Вайнберг М. М. Теория ветвления решений нелинейных уравнений / М. М. Вайнберг, В. А. Треногин. - М. : Наука, 1969. - 528 с.
3. Комплекс интеллектуальных средств для предотвращения крупных аварий в электроэнергетических системах / Н. И. Воропай, В. Г. Курбадкий, Н. В. То-мин, Д. А. Панаседкий, Д. Н. Сидоров, А. В. Жуков, Д. Н. Ефимов, А. Б. Осак, В. А. Спиряев, А. В. Домышев. - Новосибирск : Наука, 2016. - 332 с.
4. Даледкий Ю. Л. Устойчивость решений дифференциальных уравнений в банаховых пространствах / Ю. Л. Даледкий, М. Г. Крейн. - М. : Наука, 1970. -534 с.
5. Демидович Б.П. Лекдии по математической теории устойчивости / Б. П. Де-мидович. - М. : Наука, 1967. - 471 с.
6. Еругин Н.П. Книга для чтения по общему курсу дифференциальных уравнений / Н. П. Еругин. - М.: Наука и техника, 1972. - 668 с.
7. Матросов В. М. Принцип сравнения с вектор-функдией Ляпунова. III / В. М. Матросов // Дифференд. уравнения. - 1969. - N 5 (7). - С. 1171-1185.
8. Матросов В. М. О дифференциальных уравнениях и неравенствах с разрывными правыми частями. I / В. М. Матросов // Дифференц. уравнения. -1967. - N.3(3). - С. 395-409.
9. Сидоров Н. А. Точки бифуркации нелинейных уравнений / Н. А. Сидоров,
B. А. Треногин // Нелинейный анализ и нелинейные дифференциальные уравнения / под ред. В. А. Треногина, А. Ф. Филиппова // М. : Физматлит, 2013. -
C. 5-50.
10. Сидоров Д. Н. Методы анализа интегральных динамических моделей. Теория и приложения / Д. Н. Сидоров. - Иркутск: Изд-во ИГУ, 2013. - 293 с.
11. Сидоров Д. Н. Существование и разрушение главных по Канторовичу непрерывных решений интегральных уравнений / Д. Н. Сидоров // Дифференц. уравнения. - 2014. - N 50(9). - С. 1231-1237. https://doi.org/10.1134/S0012266114090080
12. Сидоров H.A. Общие вопросы регуляризации в задачах ветвления / Н. А. Сидоров. - Иркутск : Изд-во ИГУ, 1982. - 312 с.
13. Треногин В. А. Функциональный анализ / В. А. Треногин. - М. : Физматлит,
2002. - 488 с.
14. Халил Х.К. Нелинейные системы / X. К. Халил ; пер. с англ. под ред. А. Л. Фрадкова. - 3-е изд. - М. : Ин-т компьтер. исслед., 2009. - 832 с.
15. Ayasun S. Computation of singular and singularity induced bifurcation points of differential-algebraic power system model / S. Ayasun, С. O. Nwankpa, H. G. Kwatny // IEEE Transactions on Circuits and Systems - I: Fundamental Theory and Applications. - 2004. - N 51 (8). - P. 1525-1538. https://doi.org/10.1109/TCSI.2004.832741
16. Buffoni B. Analytic Theory of Global Bifurcation: An Introduction / Princeton series in applied mathematics / B. Buffoni, J. Toland. - Princeton University Press,
2003. - 169 p. https://doi.org/10.1515/9781400884339
17. Machowski J. Power system dynamics. Stability and control / J. Machowski, J. W. Bialek, J. R. Bumby. - Oxford : John Wiley, 2008. - 658 p.
18. Milano F. Power system modelling and scripting / F. Milano. - Berlin: Springer, 2010. - 578 p. https://doi.org/10.1007/978-3-642-13669-6
19. Sidorov D. Convex majorants method in the theory ol nonlinear Volterra equations / D. Sidorov, N. Sidorov // Banach J. ol Mathematical Analysis. -2012. - Vol. 6, N 1. - P. 1-10. https://doi.org/10.15352/bjma/1337014661
20. Sjoberg J. Model reduction ol nonlinear differential-algebraic equations / J. Sjoberg, K. Fujimoto, T. Glad // IFAC Proceedings Volumes. - 2007. - Vol. 40, Issue 12. - P. 176-181. https://doi.org/10.3182/20070822-3-ZA-2920.00030
21. Lyapunov-Schmidt methods in nonlinear analysis and applications. / N. Sidorov, B. Loginov, A. Sinitsyn, M. Falaleev. - Springer Series: Mathematics and Its Applications, Vol. 550, 2013. - 568 p. https://doi.org/10.1007/978-94-017-2122-6
22. Sidorov D. Integral Dynamical Models: Singularities, Signals and Control / D. Sidorov ; ed. by L. O. Chua. —Singapore, London : World Scientific Publ., 2015. - Vol. 87 of World Scientific Series on Nonlinear Science, Series A. - 258 p. https://doi.org/10.1142/9789814619196_bmatter
23. Sidorov D. N. Solution of irregular systems of partial differential equations using skeleton decomposition of linear operators / D. N. Sidorov, N. A. Sidorov // Vestn. YuUrGU. Ser. Matem. modelirovanie i programmirovanie. - 2017. - Vol. 10, N 2. - P. 63-73. https://doi.org/10.14529/mmpl70205
Сидоров Николай Александрович, доктор физико-математических наук, профессор, Институт математики, экономики и информатики, Россия, 664003, г. Иркутск, ул. К. Маркса, 1, (e-mail: sidorovisu@gmail.com);
Сидоров Денис Николаевич, доктор физико-математических наук, ведущий научный сотрудник, Институт систем энергетики им. JI. А. Мелентьева СО РАН, Россия, 664033, г. Иркутск, ул. Лермонтова, 130, тел.: +7 (3952) 500 646 ext. 258; Институт солнечно-земной физики СО РАН, Россия, 664033, г. Иркутск, ул. Лермонтова, 126-а, (e-mail: dsidorov@isem.irk.ru);
Ли Юн, доктор наук, профессор, колледж электроэнергетики и информатики, Хунаньский университет, Чанша 410082, КНР, тел.: +86 15211076213, (e-mail: yongli@hnu.edu.cn).
Поступила в редакцию 10.02.18
N. A. Sidorov, D. N. Sidorov, Li Yong
Areas of Attraction of Equilibrium Points of Nonlinear Systems: Stability, Branching and Blow-up of Solutions
Abstract. The dynamical model consisting of the differential equation with a nonlinear operator acting in Banach spaces and a nonlinear operator equation with respect to two elements from different Banach spaces is considered. It is assumed that the system has stationary solutions (rest points). The Cauchy problem with the initial condition with respect to one of the unknown functions is formulated. The second function playing the role of controlling the corresponding nonlinear dynamic process, the initial conditions are
not set. Sufficient conditions are obtained for which the problem has the global classical solution stabilizing at infinity to the rest point. Under suitable sufficient conditions it is shown that a solution can be constructed by the method of successive approximations. If the conditions of the main theorem are not satisfied, then several solutions can exists. Some of them can blow-up in a finite time, while others stabilize to a rest point. Examples are given to illustrate the constructed theory.
Keywords: dynamical models, rest point, stability, blow-up, branching, Cauchy problem, bifurcation.
References
1. Barbashin E.A. Introduction to stability theory. M., Libercom, 2014. 230 p. (in Russian)
2. Vainberg M.M., Trenogin V.A. A Theory of branching of solutions of non-linear equations. Leyden, 1974.
3. Voropai N.I., Kurbatsky V.G. et al. Complex of intelligent tools for preventing major accidents in electric power systems. Novsibirsk, Nauka, 2016. 332 p. (in Russian)
4. Daleckii Ju.L., Krein M.G. Stability of solutions of differential equations in Banach space. Ser. "Translations of Mathematical Monographs", vol. 43. Rhode Island, AMS Publ., 2002. 386 p.
5. Demidovich B.P. Lectures on mathematical stability theory. Moscow, Nauka Publ., 1967. 471 p. (in Russian)
6. Erugin N.P. The Book for Reading on General Course of Differential Equations. Minsk, Nauka i Tekhnika Publ., 1972. 668 p. (in Russian)
7. Matrosov V.M. The comparison principle with a vector-valued Ljapunov function. III. Differ. Uravn., 1969, vol. 5, no 7, pp. 1171-1185.
8. Matrosov V.M. Differential equations and inequalities with discontinuous right member. I. Differ. Uravn., 1969, vol. 3, no 3, pp. 395-409.
9. Sidorov N.A., Trenogin V.A. Bifurcation points of nonlinear equation. In the book "Nonlinear analysis and nonlinear differential equations". Edts V.A. Trenogin and A.F. Filippov. Moscow, Fizmatlit Publ., 2013, pp. 5-50. (in Russian)
10. Sidorov D.N. Methods of analysis of integral dynamical models. Theory and applications. Irkutsk, ISU Publ., 2013. 293 p. (in Russian)
11. Sidorov D.N. Existence and blow-up of Kantorovich principal continuous solutions of nonlinear integral equations. Differential Equations, 2014, vol. 50, issue 9, pp. 1217-1224. https://doi.org/10.1134/S0012266114090080
12. Sidorov N.A. General issues of regularization in branching problems. Irkutsk, ISU Publ., 1982. 312 p. (in Russian)
13. Trenogin V.A. Functional analysis. Moscow, Fizmatlit Publ., 2002. 488 p. (in Russian)
14. Khalil H.K. Nonlinear systems. Prentice hall, 1991.
15. Ayasun S., Nwankpa C.O., Kwatny H.G. Computation of singular and singularity induced bifurcation points of differential-algebraic power system model. IEEE Transactions on Circuits and Systems - I: Fundamental Theory and Applications, 2004, vol. 51, no 8, pp. 1525-1538. https://doi.org/10.1109/TCSI.2004.832741
16. Buffoni В., Toland J. Analytic Theory of Global Bifurcation: An Introduction. Princeton series in applied mathematics. Princeton University Press, 2003. 169 p. https://doi.org/10.1515/9781400884339
17. Machowski J., Bialek J.W., Bumby J.R. Power system dynamics. Stability and control. Oxford, John Wiley, 2008. 658 p.
18. Milano F. Power system modelling and scripting, Berlin, Springer, 2010. 578 p. https://doi.org/10.1007/978-3-642-13669-6
19. Sidorov D., Sidorov N. Convex majorants method in the theory of nonlinear Volterra equations. Banach J. of Mathematical Analysis, 2014, vol. 6, no 1, pp. 1-10. https://doi.org/10.15352/bjma/1337014661
20. Sjoberg J., Fujimoto K., Glad T. Model reduction of nonlinear differential-algebraic equations. IFAC Proceedings Volumes, vol. 40, issue 12, 2007, pp. 176-181. https://doi.org/10.3182/20070822-3-ZA-2920.00030
21. Sidorov N., Loginov B., Sinitsyn A., Falaleev M. Lyapunov-Schmidt methods in nonlinear analysis and applications. Springer Series: Mathematics and Its Applications, 2013, vol. 550. 568 p. https://doi.org/10.1007/978-94-017-2122-6
22. Sidorov D. Integral Dynamical Models: Singularities, Signals and Control; Ed. by L. O. Chua, Singapore, London: World Scientific Publ., 2015, vol. 87 of World Scientific Series on Nonlinear Science, Series A. 258 p. https://doi.org/10.1142/9789814619196_bmatter
23. Sidorov D.N., Sidorov N.A. Solution of irregular systems of partial differential equations using skeleton decomposition of linear operators. Vestn. YuUrGU. Ser. Matem. modelirovanie i programmirovanie, 2017, vol. 10, no 2, pp. 63-73. https://doi.org/10.14529/mmpl70205
Sidorov Nikolai Aleksandrovich, Doctor of Sciences (Physics and Mathematics), Professor, Institute of Mathematics, Economics and Informatics, Irkutsk State University, 1, K. Marx st., Irkutsk, 664003, Russian Federation; (e-mail: sidorovisu@gmail.com)
Sidorov Denis Nikolaevich, Doctor of Sciences (Physics and Mathematics), Lead Research Fellow, Melentiev Energy Systems Institute SB RAS, 130, Lermontov st., Irkutsk, 664033, Russian Federation, tel. (+7) 500 646 ext. 258;
Institute of Solar-Terrestrial Physics SB RAS, 126a, Lermontov st., Irkutsk, 664033, Russian Federation, (e-mail: dsidorov@isem.irk.ru);
Li Yong, PhD (Power Engineering), College of Electrical and Information Engineering, Hunan University, Changsha 410082, People's Republic of China, tel. +86 15 211076213, (e-mail: yongli@hnu.edu.cn).
Received 10.02.18
