УДК 517.929.4
doi: 10.21685/2072-3040-2023-1-6
Устойчивость решений систем параболических уравнений с запаздываниями
И. В. Бойков
Пензенский государственный университет, Пенза, Россия [email protected]
Аннотация. Актуальность и цели. Работа посвящена анализу устойчивости в смысле Ляпунова установившихся решений систем линейных параболических уравнений с коэффициентами, зависящими от времени, и с запаздываниям, зависящими от времени. Рассматриваются случаи непрерывного и импульсного возмущений. Материалы и методы. Метод исследования устойчивости решений систем линейных параболических уравнений состоит в следующем. Применив преобразование Фурье к исходной системе параболических уравнений, приходим к определенной в спектральной области системе нестационарных обыкновенных дифференциальных уравнений с запаздываниями, зависящими от времени. Сначала устойчивость полученной системы исследуется методом замороженных коэффициентов в метрике пространства Rn n-мерных векторов. Затем полученные утверждения распространяются на пространство ¿2. Применение равенства Парсеваля позволяет вернуться в область оригиналов и получить достаточные условия устойчивости решений систем линейных параболических уравнений. Результаты. Предложен алгоритм, позволяющий получать достаточные условия устойчивости решений конечных систем линейных параболических уравнений с коэффициентами и с запаздываниями, зависящими от времени. Достаточные условия устойчивости выражены через логарифмические нормы матриц, составленных из коэффициентов системы параболических уравнений. Они получены в метрике пространства L2. Алгоритмы построения достаточных условий устойчивости эффективны как в случае непрерывных, так и в случае импульсных возмущений. Выводы. Предложен метод построения достаточных условий устойчивости решений конечных систем линейных параболических уравнений с коэффициентами и запаздываниями, зависящими от времени. Метод может быть использован при исследовании нестационарных динамических систем, описываемых системами линейных параболических уравнений с запаздываниями, зависящими от времени.
Ключевые слова: устойчивость по Ляпунову, системы параболических уравнений, запаздывания, логарифмическая норма
Для цитирования: Бойков И. В. Устойчивость решений систем параболических уравнений с запаздываниями // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. 2023. № 1. С. 69-84. doi: 10.21685/2072-30402023-1-6
Stability of solutions for systems of delayed parabolic équations
I.V. Boykov
Penza State University, Penza, Russia [email protected]
© Бойков И. В., 2023. Контент доступен по лицензии Creative Commons Attribution 4.0 License / This work is licensed under a Creative Commons Attribution 4.0 License.
Abstract. Background. The study is devoted to the analysis of stability in the sense Lya-punov steady state solutions for systems of linear parabolic equations with coefficients depending on time, and with delays depending on time. The cases of continuous and impulsive perturbations are considered. Materials and methods. A method for studying the stability of solutions to systems of linear parabolic equations is as follows. Applying the Fourier transform to the original system of parabolic equations, we arrive at a system of non-stationary ordinary differential equations defined in the spectral region. First, the stability of the resulting system is studied by the method of frozen coefficients in the metric of the space Rn of n-dimensional vectors. Then the resulting statements are extended to the space L2. The application of the Parseval equality allows us to return to the
domain of the originals and obtain sufficient conditions for the stability of solutions to systems of linear parabolic equations. Results. An algorithm is proposed that allows one to obtain sufficient stability conditions for solutions of finite systems of linear parabolic equations with time-dependent coefficients and with time-dependent delays. Sufficient stability conditions are expressed in terms of the logarithmic norms of matrices composed of the coefficients of the system of parabolic equations. They are obtained in the metric of the space L2 . Algorithms for constructing sufficient stability conditions are efficient, as in the case continuous, and in the case of impulsive perturbations. Conclusions. A method for constructing sufficient stability conditions for solutions of finite systems of linear parabolic equations with time-dependent coefficients and delays. The method can be used in the study non-stationary dynamical systems described by systems of linear parabolic equations with delays depending from time.
Keywords: Lyapunov stability, systems of parabolic equations, delays, logarithmic norm
For citation: Boykov I.V. Stability of solutions for systems of delayed parabolic equations.
Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki = University proceedings. Volga region. Physical and mathematical sciences. 2023;(1):69-84. (In Russ.). doi: 10.21685/2072-3040-2023-1-6
Введение
Исследованию устойчивости решений систем параболических уравнений посвящена обширная литература, подробная библиография которой приведена в монографиях [1-6] и обзорах [7, 8]. Отметим также статьи [9-17], в которых представлены различные постановки задач устойчивости решений систем параболических уравнений и различные методы исследования устойчивости. Отметим, что наряду с регулярными рассматриваются критические случаи [18].
Основным методом исследования устойчивости решений систем уравнений в частных производных является второй метод Ляпунова и основным алгоритмом исследования устойчивости решений систем уравнений в частных производных является построение обобщенных функционалов Ляпунова -Красовского.
В работах [6, 19, 20] для исследования устойчивости систем обыкновенных дифференциальных уравнений и систем уравнений в частных производных применяется первый метод Ляпунова. Полученные условия устойчивости применимы как в регулярном, так и в критических случаях.
В данной работе этот метод распространяется на исследование устойчивости решений систем параболических уравнений с запаздыванием, зависящим от времени.
1. Вспомогательные утверждения
Пусть X — банахово пространство; K — оператор, действующий из X в X; B(а,г) = {х,aе X :||х — а|| < г}; Л(K) - логарифмическая норма линейного оператора K, определяемая [21] выражением
Л(K) = Нт1 + hK || —1)/ И,
где И X 0 означает, что h стремится к нулю, убывая.
Для матриц в часто используемых пространствах логарифмические нормы известны.
Пусть дана комплексная матрица А = {ау}, /, у = 1,2,..., п, в п -мерном пространстве Яп векторов х = (х1,...,хп) с нормой
llxl1 = Z 1 xk k=1
IIXI2 =
1/2
Z|xk k=1
, x 3 = max 1 xk
1<k<n
Логарифмическая норма матрицы A равна [22]:
r n ^
Л1( A) = max
j
Reiajj} + Z
I a,
ч
, Л2( A) = ^
(a aT \
A + A
' =1Mj r
Л3 (A) = max
ReK} + ^
J=1, J &
здесь ^тах ((А + А ) / 2) - наибольшее собственное значение матрицы (А + АТ) / 2.
2. Устойчивость решений систем линейных обыкновенных дифференциальных уравнений с запаздываниями
Рассмотрим систему линейных неавтономных дифференциальных уравнений с запаздываниями:
dx (t) n n
X = Zajj(t)Xj(t) + Zbij (t)Xj(t -hj(t)), i = 1,2,...,n,
dt
(1)
1=1 1=1
где а^(X), Ъу (X), /, у = 1,2,...,п, - непрерывные функции; И/у(X) — непрерывные функции, удовлетворяющие следующим условиям: 0<И* < Иу < Иу (X)<
<Ну < Н\ /, у = 1,2,...,п, при 0 < X < ~
*
Пусть при — Н < X < 0 выполняется условие
X(X) = П(X), / = 1,2,...,п, (2)
где ),/ = 1,2,...,п, - непрерывные функции.
Будем считать, что при условиях (2) система уравнений (1) имеет уста* * *
новившееся решение х ^) = (х ^), - •, хп ^)), I > 0.
Пусть А(0 = {ау (0},Б(0 = [Ьу (0},I, ] = 1,2,..,п.
Устойчивость решений систем уравнений вида (1) в пространстве Яп п-мерных векторов X = (х1,..,хп) с нормой || х || исследовалась в работах [19, 20]. Ниже приведем несколько утверждений об устойчивости решений систем уравнений вида (1). При этом конкретную норму не указываем, так как приведенные ниже условия устойчивости имеют общий вид.
Теорема 1 [20]. Пусть задача Коши (1), (2) имеет установившееся ре*
шение х (¿). Пусть А^) = {а,у (0}, Б^) = {Ьу (0}, I,у = 1,2,..,п, - функции, непрерывные при t > 0 . Пусть при всех t > 0 выполнено условие
Л(А^) ) + |\Б(Г )|| < 0.
*
Тогда решение х ) устойчиво. Пусть при всех t > 0 выполнено условие
Л(А(Г) ) + |)|| <—^) <—у* < 0. (3)
*
Тогда решение х ^) асимптотически устойчиво и, более того,
\\и ^ )||=)/2| щ|,
*
где и^) = x(t) — х ^), x(t) - решение возмущенной системы; ид - возмущение начальных условий при t = 0 .
Теорема 2 [20]. Пусть задача Коши (1), (2) имеет установившееся ре*
шение х (^ . Пусть А(0 = {а,у(0}, Б(0 = {Ьгу(0}, I,у = 1,2,..,п , - функции, непрерывные при t > 0 . Пусть при всех t, 0 < t < выполняется условие (3). Тогда установившееся решение системы уравнений (1) асимптотически устойчиво при импульсном возмущении.
3. Устойчивость решений систем параболических уравнений
Для простоты обозначений ограничимся рассмотрением системы
дщ ^, хь х2) = д2и^, х1, х2) + д 2Ul(t, х1, хг) + (/) д , х1, х2) +
-Т--а,1( )-—2-+ а,2(t)-^-+ а,3( )-—2-+
д дх2 дх1дх2 дх|
+аг 4 (t)д 1щ2( ,х1, х2) + + а15 (t)д 2u2(t, х1, х2) + а,6 (t)д 2u2(t ,2, ^ + дх2 дх1дх2 дх2
,-ди^, хь х2) ди2 (t, хь х2) . .ди^, хь х2)
+а,7 (t) 1 ; 1 2 + а,8(t) 2\' 1 2 + ау9 (t) 1 2 +
дх1 дх1 дх2
ди (t х х )
+а,ю^) 2 ' 1 2 + а^Ои^,х1,х2) + а,12(0и2^,х1,х2), I = 1,2, (4) дх2
с начальными условиями
u^ (0, x) = фу (x), i = 1, 2.
(5)
Отметим, что приведенные ниже утверждения легко переносятся на системы линейных параболических уравнений более общего вида.
Будем считать, что начальная задача (4), (5) имеет при X > 0 единствен* * *
ное решение и (X,х) = (щ(X,х),и2^,х)).
На протяжении всего этого раздела предполагается, что решение
**
и (X, х) задачи Коши (4), (5) и производная ди (X, х)/ «X суммируемы с квадратом по пространственным переменным.
Исследование устойчивости решения задачи Коши (4)-(5) будем проводить в банаховом пространстве X вектор-функций g (х1, х2) = = (gl(хь х2), g2(х1, х2)) с нормой
: max i=1,2
j j 1 gi (xb x2)|
dx1dx2
—^—^
1/2
При каждом фиксированном значении X норма вектор-функции и (X, х) определяется формулой
I u (t, x) ||= max i=1,2
j j I Ui (t, xb x2)|2 dx1dx2
—^—^
1/2
Дадим начальным условиям возмущение, полагая
щ (0, х) = ф/ (х) + (х), / = 1,2. (6)
Обозначим через и(X,х) решение начальной задачи (4), (6). Пусть
*
й($, х) = и (X, х) + w(X, х). Тогда начальная задача (4), (6) трансформируется в следующую:
dwi (t, xb x2) = a 3 w1(t, x1, x2)
dt
• = ai1(t)
3x2
+ ai 2(t)
3 W1(t, xb x2) 3x13x2
+ ai 3(t)
3 W1(t, x1, x2)
эx
+
+ai 4(t)
3 W2(t, x1, x2)
3x2
+ + ai5(t)
3 W2(t, x1, x2)
3x13x2
+ ai6(t)
3 W2(t, xb x2)
3x2
+
+ai7 (t) 3W1(t, x1, x2) + ai8 (t) 3w2 (t, x1, x2) + ai9 (t) +
3xi
3xi
3x2
. . 3w2 (t, xb x2) / ч / ч
+a,10 (t)---+ am (t)W1 (t, x1, x2) + a,12 (t)W2 (t, xb x2), i = 1,2, (7)
3x2
Wj (0, x) = у, (x), i = 1,2.
(8)
Применяя к начальной задаче (7), (8) преобразование Фурье по пространственным переменным, приходим к задаче Коши для системы обыкновенных дифференциальных уравнений (ОДУ) с параметром ю(ю = (о^, Ю2)):
дЖ( (Оь= А^,^02)ж^,^02), (9)
дt
Ж у (0, о1, (2) = (®1,02), У = 1,2, (10)
здесь Ж(^ю1,ю2) = (((^01,Ю2), Ж2(^ю1,ю2)). Через Ж,^,ю1,о2), I = 1,2, обозначены преобразования Фурье функций ^ (t, х1, х2), I = 1,2, по пространственным переменным. Через А(^о^,02) = {ак1(t,01,Ю2)}, к,I = 1,2, обозначена матрица с элементами:
2
ац^, 01,0^) = — ац^о + ацО^кк + +а1з(Ош2 — а1,п(0 +1 (ап(0м1 + а^^) al2(t, к>1,02) = — а14(00 + а15(0о>1Ю2 +
+а1б(Ош2 — аи2(0 + /(О18(0а>1 + ац0(Ош2) a2l(t, ®1,02) = — a2l(t )Ю12 + а—^) «2 +
+а23 ^ )®2 — а2,п (t) + Ка27 (t )0 + а29 (t ) 0) а— (, ®1, ®2) = — а24 (t )®2 + а25 (t ) ®2 +
+а2б(Ош2 — ац2(0 +1 ^(О^ + а2Д0(Ою2)
* *
Зафиксируем произвольное значение < Ю1, Ю2 < ^ и исследуем устойчивость решений системы ОДУ (9) с фиксированными значениями
(о*,0*).
Для этого достаточно исследовать устойчивость тривиального решения системы уравнений
дЖ(^ ю*, ю2) * *чт„, * *ч /11Ч
-2 = A(t,0*а^Ж^,0*®2). (11)
дt
Пусть при всех t >0 выполняется условие
Л(А(^ м*, ш2)) <—'0*, ®2)<0. (12)
Замечание 1. Здесь можно не указывать конкретную логарифмическую норму, так как представляемые ниже утверждения об устойчивости решения
системы (11) справедливы в произвольных банаховых пространствах. Однако при переходе к исследованию устойчивости решений системы уравнений параболического вида более удобным является использование пространств
2
2-мерных векторов V = (1^2) с одной из норм: 1 = ^ или
к=1
113
= max . Для определенности остановимся на последней норме.
1<к <2
Из неравенства Винтнера [16] следует, что при выполнении условия (12)
* *
система ОДУ (9) при каждом фиксированном значении (о, Ю2) устойчива:
W (t, ю*, Ю2)
—J Y(x,o1',m2)d т
< e 0
W(0,ю*,ю2) < W(0,ю*,ю2)
р * *
Если выполнено следующее условие: 1у(т,Ю1,^2)^т = то система
0
уравнений (9) асимптотически устойчива и, более того, справедливо неравенство
W (t, ю*, Ю2)
—J Y(T,o!,K>2)d т
< e 0
W (0, ю*, ю2)
(13)
Очевидно, что неравенство (13) выполняется при каждом (ю^, Ю2). Ограничившись исследованием в пространстве Л3, проведем следующие вкладки:
| Жк(X,Ю1,®2)|< тах | Щ(X,01 02) |< тах| Щ(0,Ю1,®2)|<
I=1,2 /=1,2
<|Ж1(0, Ю1, Ю2)| + Щ2(0, Ю1, Ю2)|; Жк(X,Ю!,Ю2)|2< 2(((0,Ю1,Ю2)|2 +1 Щг(0,Ю1,Ю2)|2),к = 1,2;
j j I Wk(t,ю1,ю2)|2 dM1dю2 < 2 j j I W1(0,ю1,ю2)|2 dM1dю2 +
—^—^
—^—^
+
j j I W2(0, ю1, ю2)|2 dM1dю2
—^—^
к = 1,2;
j j I Wk(t,«1,M2)I2 dM1dю2
—^—^
1/2
< 2
1/2
j j I W1(0,01, M2)I2 dG^dю2 +
—^—^
n1/2
+
j j I W2(0, ю1, M2)I2 dro1dю2
< 21| W(0,ю1,ю2) ||, к = 1,2.
Воспользовавшись равенством Парсеваля, из последнего неравенства имеем
|| (г,х) ||2< 2(|| х) ||2 +1| ^(0,х) ||2) < < 4тах || (0,х) ||2< 4 || (0,х) ||2 .
I=1,2
Из полученного неравенства следует устойчивость установившегося решения задачи Коши (4), (5).
Остановимся на вопросе об асимптотической устойчивости решения задачи Коши (4), (5).
Пусть при всех г >0, Ю[, Ю2 выполняется условие
Л(А(г, Ю1, Ю2)) < -У(г)<0, |у(т)йт =
(14)
0
Покажем, что в этом случае имеет место асимптотическая устойчивость решений задачи Коши (4), (5).
Для этого достаточно показать, что для любого как угодно малого £ >0 найдется такое Т , что при г > Т выполняется неравенство || ^(г, х) ||<£ . Пусть
-,1/2
£0
( ^ ^ ^ ^ Л
! | | | Ж1(0,ю1,ш2)|2 йщйш2 + | | | Ж2(0,щ,ш2)|2 йщйш2
—^—^
—^—^
Рассмотрим уравнение (11). Из неравенства (12) следует, что
г
Ж (г, щ1, ш2) < ехр <! — J у(т)й т | Ж (0, щ1, ш2)
Яз
отсюда
Ж (г,щ*,щ2)|< ехр|—|у(т)йт1[|Ж(0,ш*,щ2)1 + |Ж1(0, щ*,®2) I
I = 1,2.
Следовательно,
| щ, ш2)|2 < ехр \ — 2| у (т)й т |
I Ж1(0,Щ,Ш2)1 + |Ж1(0,Ш*,Щ>)1
I = 1,2.
Отсюда, учитывая, что (ш*, ©2) - произвольно фиксированные точки,
имеем
I I | Ж(г,Ш1,Щ2)|2 йщйШ2 <
—^—^
<
2expi—2J y(i)d t!
J J I ^1(0,ю1,ю2)|2 dW1dw2 +
—^—^
+ J J I W2(0, ю1, W2)|]2 dro1dw2
—^—^
/ = 1,2.
(15)
Из (15) следует, что
W (t, Wi, W2)
< 2exp
—2 J Y(T)d xi £0.
(16)
Так как |у(т)^т = — из (15), то для любого £ >0 существует такое Т ,
0
что при X > Т (X, Ю, Ю2) < £ • Воспользовавшись равенством Парсеваля, заканчиваем доказательство асимптотической устойчивости задачи Коши (4), (5).
Теорема 3. Пусть задача Коши (4), (5) при всех X > 0 имеет установив*
шееся решение х (X, хь Х2). Пусть при всех < Ю], Ю2 < — выполнены условия
—
Л(Л(Г, Ю1, Ю2)) < -У(Х, Ю1, Ю2) < 0 ( Л(Л(Г, Юь Ю2)) < -у(X), |у(т)аТ = - ).
Тогда установившееся решение задачи Коши устойчиво (асимптотически устойчиво).
4. Устойчивость решений систем параболических уравнений с запаздываниями по времени
Изложим метод исследования устойчивости решений систем параболических уравнений с запаздываниями по времени на примере системы уравнений
диуxhx2) = ^ (t)d2u1(t,x1,x2) d\(t,x1,x2)
dt
■ = a
y1(t)-
dx
• + a
j 2(t )-
dx2
+
+aj3 (t)д 2u2(t,2x1, x2) + a} 4 (t)д ^ f, x2) + aj5 (t) ^U^^ +
dx1
dx2
dx
+a (t) дul(t, xl, x2) + a (t) du2(t, xl, x2) + a (t) дu2(t, xl, x2) + +aj6 (t)-dx--+ aj7 (t)-dx--+ aj8(t)-:--+
dx1
+aj 9 (t )u (t, x1, x2) + aj10 (t >2 (t, x1, x2) + bj1 (t)
dx2
d u1(t — m(t), x1, x2) dx?
+
+b (t) д \(t -m(t), xb Х2) + д 2U2(t -n2(t), xi, X2) +
+bj 2 (t)-d"2-+ bj 3 (t)-d"2-+
dx2 dxj
+b (t) д2U2(t -n2(t),xi,x2) + b (t) ди^(t -T|i(t),xbx2) +
+bj4 (t) a*| +bj 5 (t) axl +
+b (t)ди1 (t-ni(t),xi,x2) + b ( )du2(t — П2(t),xi,x2) + +bj 6 (t)-д^2-+bj 7 (t)-д^-
+b )ди^ — уXx1, x2) + bj9(t )ui(t — ni(t), xi, x2) + дx2
+bjio(t)U2(t — n2(t),xi,x2), j = i,2. (i7)
Обозначим через u (t, x) вектор и (t, x) = (ui(t, x), U2(t, x)).
Пусть H = max sup | ni (t) |.
i<i<2o<t
Непрерывная вектор-функция ф(^ xi, x2) = (9i(t, xi, x2), ф2^, xi, x2)),
2
определенная в области [to — H, to] x , называется начальной функци-
ей для системы (i7):
Щ(t,xi,x2) = 92(t,xi,x2), i = i,2. (i8)
Решение u(t,xi,x2) системы уравнений (i7) с начальной функцией (i8)
обозначим через Uф.
Будем считать, что решение начальной задачи (i7), (i8) существует при всех t > 0.
На протяжении этого раздела будем считать, что вектор-функция u(t,xi,x2) суммируема с квадратом по пространственным переменным.
Определение 1. Решение Uф(t,x),x = (xi,x2) системы уравнений (i7), определенное при всех t > to — H , называется устойчивым, если для любого £ >0 существует такое 5(e) > 0, что из неравенства
f f b(t, x) — y(t, x)|2 dx
J——^ 1
i/2
<5(£)
при t е [^ — Н, ¿0] следует, что решение и^ ^, х) определено при всех t > ^ < Х1, Х2 < ^ и выполняется неравенство
-|1/2
|uф(t, x) — uv (t, x)| dx
< £ при t > to .
Определение 2. Решение иф (t, х) называется асимптотически устойчивым, если выполнены условия предыдущего определения и, кроме того, для любой начальной функции х), удовлетворяющей условию
К (X, х) - "V (X, х)|2 ¿Х
выполняется равенство
1/2
<5, te[to — H,to], — < x1, x2<'
lim
t
J— J— J u9 (t, x) — uv (t, x)|2 dx
1/2
= 0.
Исследуем устойчивость тривиального решения системы уравнений (17) при возмущении:
Щ(t,x1,x2) = ф, (t,x1,x2), i = 1,2, te [— H,0], < x1, x2 <
(19)
Здесь и ниже полагаем ^ =0.
Применим к начальной задаче (17), (19) преобразование Фурье по пространственным переменным. Положим Ю = ((Ю, Ю2), -— < Ю], Ю2 < —• В результате приходим к задаче Коши:
ди}- (X, ю)
—U2(t, W)
= —U1(t,W) ((О®2 + aj2(t)W2 — aj9(t)) — i((t)® + aj6(t)ffl2)
ij 3 (t )W2 + aj 4 (t)®2 — aj10(t)) — i (aj 7 (t + aj8 (t )®2)] — bj1(t)ro12 + bj 2 (t )w2 — bj 9 (t)) — i (bj 5(t)®1 + bj 6 (t )W2 ) —
—u1(t — m(t), w)
-u2(t—m(t), w)
bj 3(t + bj 4(t )W2 — bj10 (t)
—i (bj7 (t)W + bj8 (t)W )], j = 1,2,
при начальных условиях
(X,Ю|,Ю2) = Фу (X,Ю|,Ю2), Xе [-Я,0], (о^, о^)е (-—, —)2.
В начальной задаче (20), (21) ю рассматривается как параметр. Введем матрицы: матрицу
С (X, Ю) = {си (X, Ю)}, к, I = 1,2,
(20)
(21)
с элементами:
с12 =" С21 =-с22 = —
(an(t )®2 +a^(t )w2 —a19(t)) — /'(^(t )W +a16(t )W2)
(a13(t )®2 +a14(t )®2 — an0(t)) — i(a17(t+a18(t)W2)
(an(t )®2 + an (t )w2 — a29 (t)) — i(a25 (t)w + a26 (t)W2)
(a23(t)w2 + a24(t)®2 — an0(t)) — /'^(Ow + a28(t)W2)
и матрицу
с элементами:
, ю) = -
¿12^, Ю) =-
й2l(t, Ю) =
ю) = {4/ (t, ю)}, к, I = 1,2,
(ЬЦЮю? + Ьц^)ю2 -Ь^)) -)Ю1 + &1б(0Ю2)
(Ьуз(0ю2 + Ьу4(t)ю2 -Ьу 10(t)) -/(Ь;7(0Ю1 + Ьу^Ою^)
(Ьц(Г)®2 + Ьц (t)ю2 - Ь29^)) -КЬ25()ю1 + Ь26^)ю2)
22
^, Ю) =
(Ь23 ()®2 + Ь24(t)ю2 - Ь210()) -г(Ь27()ю1 + Ь28^)ю2)
Зафиксируем произвольное значение (ю*, Ю2) и исследуем в метрике пространства Л3 устойчивость тривиального решения системы уравнений (20). Из результатов работы [20] следует, что если
7^, ю) = Л (С ^, ю)) + |рЦ, ю)|| < 0,
* * *
то при каждом фиксированном ю = (ю^, ю2) выполняется неравенство
и ^, ю )
<
и (0, ю )
t > 0.
Следовательно, ||и (t, ю)|| < ||и (0, ю)|| при всех < ю1, ю2 < ^ . Интегрируя предыдущее неравенство по переменным (ю1, ю2) и повторяя рассуждения, приведенные в предыдущем разделе, приходим к неравенству
\р^, ю)|| < 2ехр | 2171 (т, ю)йт 11р(0, ю)|| < 21р(0, ю)||,
(22)
из которого следует, что решение задачи Коши (20), (21) устойчиво.
Применяя равенство Парсеваля к обеим частям неравенства (22), по аналогии с рассуждениями предыдущего раздела имеем
(18).
||и и, х)|| < 2 |и (0, х)\\. (23)
Из неравенства (23) следует устойчивость решения задачи Коши (17),
Если выполнено условие
Л (С ^, ю)) + | , ю)|| <-у^),
7^) > 0, | ^)dt =
то имеет место асимптотическая устойчивость задачи Коши (19), (20). 80
Действительно, из предыдущих рассуждений вытекает неравенство ||u (t, x)|| < 2exp j— 2 J у (i)d т|| |u(0, x)|| <£,
из которого следует асимптотическая устойчивость задачи Коши (i7), (i8). Таким образом, доказано следующее утверждение. Теорема 4. Пусть выполнены следующие условия:
1) начальная задача (i7), (i8) имеет при tе [0;установившееся
*
решение x (t);
2) выполнены условия:
Л(C(t, w)) +1|5(t, w)|| < —y(t) < 0, t е [0, , < ю1, © < ^, Л(Л^,w)) + ||5(t,w)||<—y<0, tе [0,—^<0^,©2 .
Тогда установившееся решение начальной задачи (i7), (i8) устойчиво (асимптотически устойчиво).
Замечание. В работе [23] получены достаточные условия устойчивости решений систем ОДУ с разрывными правыми частями. Воспользовавшись этими результатами и повторяя рассуждения, приведенные выше, можно получить достаточные условия устойчивости и асимптотической устойчивости решений систем параболических уравнений с запаздываниями и с разрывными правыми частями.
Заключение
Предложен метод построения достаточных условий устойчивости решений систем линейных параболических уравнений с запаздыванием. Метод основан на трансформации преобразованием Фурье исходной системы нелинейных параболических уравнений к соответствующей системе обыкновенных дифференциальных уравнений с запаздываниями и исследовании устойчивости последней. Достаточные условия выражаются через коэффициенты исходной системы параболических уравнений. Предложенный метод может быть распространен на другие виды уравнений математической физики.
Список литературы
1. Хенри Д. Геометрическая теория полулинейных параболических уравнений. М. : Мир, i985. 376 с.
2. Сиразетдинов Т. К. Устойчивость систем с распределенными параметрами. М. : Наука, i987. 232 с.
3. Шестаков А. А. Обобщенный прямой метод Ляпунова для систем с распределенными параметрами. М. : Наука, i990. 320 с.
4. Gil' M. I. Norm estimations for operator-valued functions and applicaions. Marcel Dek-ker, i995. 355 p.
5. Пу Т. Нелинейная экономическая динамика. Ижевск : Издательский дом. Удмурд-ский университет, 2000. 200 с.
6. Бойков И. В. Устойчивость решений дифференциальных уравнений. Пенза : Изд-во ПГУ, 2008. 244 с.
7. Крейн С. Г., Хазан М. И. Дифференциальные уравнения в банаховом пространстве // Итоги науки и техники. Математический анализ. 1983. Т. 21. С. 130-264.
8. Эйдельман С. Д. Параболические уравнения. Дифференциальные уравнения с частными производными // Итоги науки и техники. Серия Современные проблемы математики. Фундаментальные направления. 1990. Т. 63. С. 201-313.
9. Бойков И. В., Паксялева О. Г., Романова Л. Д. Устойчивость решений дифференциальных уравнений в частных производных параболического типа // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. 2009. № 4. С. 20-26.
10. Бойков И. В., Рязанцев В. А. Критерии устойчивости решений дифференциальных уравнений в частных производных параболического типа // Журнал Средневолж-ского математического общества. 2012. Т. 14, № 3. С. 12-20.
11. Kolev D., Donchev T., Nakagawa K. Weakened condition for the stability to solutions of parabolic equations with "maxima"// Journal of Prime Research in Mathematics. 2013. Vol. 9. Р. 148-158.
12. Алхутов Ю. А., Денисов В. Н. Необходимое и достаточное условие стабилизации к нулю решения смешанной задачи для недивергентных параболических уравнений // Труды Московского математического общества. 2014. Т. 75, № 2. С. 277308.
13. Nguyen Thieu Huy, Vu Thi Ngoc Ha, Pham Truong Xuan. Boundedness and stability of solutions to semi-linear equations and applications to fluid dynamics // Communications on Pure and Applied Analysis. 2016. Vol. 15 (6). P. 2103-2116. doi: 10.3934/ cpaa.2016029
14. Butuzov V. F., Nefedov N. N., Recke L., Schneider K. R. Existence, asymptotics, stability and region of attraction of a periodic boundary layer solution in case of a double root of the degenerate equation // Comput. Math. Math. Phys. 2018. Vol. 58. Р. 12.
15. Кащенко С. А. Усреднение по пространственной переменной в нелинейных параболических системах // Труды Московского математического общества. 2019. Т. 80, № 1. С. 63-86.
16. Zhabko A. P., Shindyapin A. I., Provotorov V. V. Stability of weak solutions of parabolic systems with distributed parameters on the graph // Вестник Санкт-Петербургского университета. Прикладная математика. Информатика. Процессы управления. 2019. Т. 15, № 4. С. 457-471. doi:10.21638/11702/spbu10.2019.404
17. Erhardt A. H. Stability of Weak Solutions to Parabolic Problems with Nonstandard Growth and Cross-Diffusion // Axioms. 2021. Vol. 10. P. 14. doi: 10.3390/axioms 10010014
18. Колесов Ю. С. Исследование устойчивости решений параболических уравнений второго порядка в критическом случае // Известия Академии наук СССР. Сер.: Математика. 1969. Т. 33, № 6. С. 1356-1372.
19. Бойков И. В. Устойчивость установившихся решений систем нелинейных неавтономных дифференциальных уравнений с запаздываниями // Дифференциальные уравнения. 2018. Т. 54, № 4. С. 435-457.
20. Бойков И. В. Достаточные условия устойчивости систем обыкновенных дифференциальных уравнений с запаздываниями, зависящими от времени. I. Линейные уравнения // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. 2018. № 4. С. 5-21.
21. Далецкий Ю. Л., Крейн М. Г. Устойчивость решений дифференциальных уравнений в банаховом пространстве. М. : Наука, 1970. 536 с.
22. Деккер К., Вервер Я. Устойчивость методов Рунге-Кутты для жестких нелинейных дифференциальных уравнений. М. : Мир, 1988. 334 с.
23. Boykov I., Roudnev V., Boykova A. Stability of solutions to systems of nonlinear differential equations with discontinuous right-hand sides: Applications to Hopfield artificial neural networks // Mathematics. 2022. Vol. 10 (9). Р. 1524. doi:10.3390/math10091524
References
1. Khenri D. Geometricheskaya teoriya polulineynykh parabolicheskikh uravneniy = Geometric theory of semilinear parabolic equations. Moscow: Mir, 1985:376. (In Russ.)
2. Sirazetdinov T.K. Ustoychivost' sistem s raspredelennymi parametrami = Stability of systems with distributed parameters. Moscow: Nauka, 1987:232. (In Russ.)
3. Shestakov A.A. Obobshchennyy pryamoy metod Lyapunova dlya sistem s raspredelennymi parametrami = Generalized direct Lyapunov method for systems with distributed parameters. Moscow: Nauka, 1990:320. (In Russ.)
4. Gil' M.I. Norm estimations for operator-valued functions and applicaions. Marcel Dek-ker, 1995:355.
5. Pu T. Nelineynaya ekonomicheskaya dinamika = Nonlinear economic dynamics. Izhevsk: Izdatel'skiy dom. Udmurd-skiy universitet, 2000:200. (In Russ.)
6. Boykov I.V. Ustoychivost' resheniy differentsial'nykh uravneniy = Stability of solutions to differential equations. Penza: Izd-vo PGU, 2008:244. (In Russ.)
7. Kreyn S.G., Khazan M.I. Differential equations in a Banach space. Itogi nauki i tekhni-ki. Matematicheskiy analiz = Results of science and technology. Mathematical analysis. 1983;21:130-264. (In Russ.)
8. Eydel'man S.D. Parabolic equations. Partial differential equations. Itogi nauki i tekhniki. Seriya Sovremennye problemy matematiki. Fundamental'nye napravleniya = Results of science and technology. Series modern problems of mathematics. Fundamental directions. 1990;63:201-313. (In Russ.)
9. Boykov I.V., Paksyaleva O.G., Romanova L.D. Stability of solutions to partial differential equations of parabolic type. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki = University proceedings. Volga region. Physical and mathematical sciences. 2009;(4):20-26. (In Russ.)
10. Boykov I.V., Ryazantsev V.A. Stability criteria for solutions of partial differential equations of parabolic type. Zhurnal Srednevolzhskogo matematicheskogo obshchestva = Journal of the Middle Volga Mathematical Society. 2012;14(3):12-20. (In Russ.)
11. Kolev D., Donchev T., Nakagawa K. Weakened condition for the stability to solutions of parabolic equations with "maxima". Journal of Prime Research in Mathematics. 2013;9:148-158.
12. Alkhutov Yu.A., Denisov V.N. A necessary and sufficient condition for the stabilization to zero of the solution of a mixed problem for nondivergent parabolic equations. Trudy Moskovskogo matematicheskogo obshchestva = Proceedings of Moscow Mathematical Society. 2014;75(2):277-308. (In Russ.)
13. Nguyen Thieu Huy, Vu Thi Ngoc Ha, Pham Truong Xuan. Boundedness and stability of solutions to semi-linear equations and applications to fluid dynamics. Communications on Pure and Applied Analysis. 2016;15(6):2103-2116. doi:10.3934/cpaa.2016029
14. Butuzov V.F., Nefedov N.N., Recke L., Schneider K.R. Existence, asymptotics, stability and region of attraction of a periodic boundary layer solution in case of a double root of the degenerate equation. Comput. Math. Math. Phys. 2018;58:12.
15. Kashchenko S.A. Averaging over a spatial variable in nonlinear parabolic systems. Trudy Moskovskogo matematicheskogo obshchestva = Proceedings of Moscow Mathematical Society. 2019;80(1):63-86. (In Russ.)
16. Zhabko A.P., Shindyapin A.I., Provotorov V.V. Stability of weak solutions of parabolic systems with distributed parameters on the graph. Vestnik Sankt-Peterburgskogo uni-versiteta. Prikladnaya matematika. Informatika. Protsessy upravleniya = Bulletin of Saint-Petersburg University. Applied Mathematics. Computer science. Management processes. 2019;15(4):457-471. doi:10.21638/11702/spbu10.2019.404
17. Erhardt A.H. Stability of Weak Solutions to Parabolic Problems with Nonstandard Growth and Cross-Diffusion. Axioms. 2021;10:14. doi:10.3390/axioms 10010014
18. Kolesov Yu.S. Investigation of the stability of solutions of second-order parabolic equations in the critical case. Izvestiya Akademii nauk SSSR. Ser.: Matematika = Proceed-
ings of the Academy of Sciences of the USSR. Series: Mathematics. 1969;33(6):1356-1372. (In Russ.)
19. Boykov I.V. Stability of steady-state solutions to systems of nonlinear nonautonomous delay differential equations. Differentsial'nye uravneniya = Differential equations. 2018;54(4):435-457.
20. Boykov I.V. Sufficient conditions for the stability of systems of ordinary differential time-dependent delay equations. Part 1. Linear equations. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki = University proceedings. Volga region. Physical and mathematical sciences. 2018;(4):5-21. (In Russ.)
21. Daletskiy Yu.L., Kreyn M.G. Ustoychivost' resheniy differentsial'nykh uravneniy v banakhovom prostranstve = Stability of solutions to differential equations in a Banach space. Moscow: Nauka, 1970:536. (In Russ.)
22. Dekker K., Verver Ya. Ustoychivost' metodov Runge-Kutty dlya zhestkikh nelineynykh differentsial'nykh uravneniy = Stability of Runge-Kutta methods for stiff nonlinear differential equations. Moscow: Mir, 1988:334. (In Russ.)
23. Boykov I., Roudnev V., Boykova A. Stability of solutions to systems of nonlinear differential equations with discontinuous right-hand sides: Applications to Hopfield artificial neural networks. Mathematics. 2022;10(9):1524. doi:10.3390/math10091524
Информация об авторах / Information about the authors
Илья Владимирович Бойков
доктор физико-математических наук, профессор, профессор кафедры высшей и прикладной математики, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40)
Il'ya V. Boykov
Doctor of physical and mathematical sciences, professor, professor of the sub-department of higher and applied mathematics, Penza State University (40 Krasnaya street, Penza, Russia)
E-mail: [email protected]
Автор заявляет об отсутствии конфликта интересов / The author declares no conflicts of interests.
Поступила в редакцию / Received 10.01.2023
Поступила после рецензирования и доработки / Revised 20.02.2023 Принята к публикации / Accepted 11.03.2023