Научная статья на тему 'Достаточные условия устойчивости решений систем обыкновенных дифференциальных уравнений с запаздываниями, зависящими от времени. Часть II. Линейные уравнения'

Достаточные условия устойчивости решений систем обыкновенных дифференциальных уравнений с запаздываниями, зависящими от времени. Часть II. Линейные уравнения Текст научной статьи по специальности «Математика»

CC BY
128
12
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
устойчивость / системы обыкновенных дифференциальных уравнений / запаздывания / зависящие от времени и от дифференцируемой функции в левой части уравнения / евклидова метрика / stability / systems of ordinary differential equations / delays that depend on time and on a differentiated function on the left side of the equation / Euclidean metric

Аннотация научной статьи по математике, автор научной работы — Бойков Илья Владимирович

Актуальность и цели. Работа посвящена анализу устойчивости в смысле Ляпунова установившихся решений систем линейных дифференциальных уравнений с коэффициентами, зависящими от времени, и с запаздываниям, зависящими от времени и от дифференцируемой функции в левой части уравнения. Рассматриваются случаи непрерывного и импульсного возмущений. Материалы и методы. Исследование устойчивости основано на применении метода «замораживания» коэффициентов, зависящих от времени, и последующем анализе устойчивости решения системы в окрестности точки «замораживания». При анализе преобразованных таким образом систем дифференциальных уравнений используются свойства логарифмических норм. Результаты. Предложен алгоритм, позволяющий получать достаточные критерии устойчивости решений конечных систем линейных дифференциальных уравнений с коэффициентами и с запаздываниями, зависящими от времени и от дифференцируемой функции в левой части уравнения. Достаточные условия получены в евклидовой метрике. Алгоритмы эффективны как в случае непрерывных, так и в случае импульсных возмущений. Выводы. Предложенный метод может быть использован при исследовании нестационарных динамических систем, описываемых системами обыкновенных линейных дифференциальных уравнений с запаздываниями, зависящими от времени и от дифференцируемой функции в левой части уравнения.

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

Похожие темы научных работ по математике , автор научной работы — Бойков Илья Владимирович

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

SUFFICIENT CONDITIONS OF SYSTEM SOLUTIONS STABILITY OF ORDINARY DIFFERENTIAL EQUATIONS WITH TIME-DELAYED SYSTEMS. PART II. LINEAR EQUATIONS

Background. The work is devoted to the analysis of stability in the sense of Lyapunov of steady-state solutions of systems of linear differential equations with timedependent coefficients and with time-dependent delays and a differentiated function on the left side of the equation. The cases of continuous and pulsed perturbations are considered. Materials and methods. The stability study is based on the application of the method of “freezing” of time-dependent coefficients and the subsequent analysis of the stability of the solution of the system in the vicinity of the “freezing” point. In the analysis of systems of differential equations thus transformed, the properties of logarithmic norms are used. Results. An algorithm is proposed that allows one to obtain sufficient criteria for the stability of solutions of finite systems of linear differential equations with coefficients and delays that depend on time and on a differentiable function on the left side of the equation. Sufficient conditions are obtained in the Euclidean metric. Algorithms are effective both in the case of continuous and in the case of impulsive perturbations. Conclusions. The proposed method can be used in the study of nonstationary dynamic systems described by systems of ordinary linear differential equations with delays that depend on time and on a differentiable function on the left side of the equation.

Текст научной работы на тему «Достаточные условия устойчивости решений систем обыкновенных дифференциальных уравнений с запаздываниями, зависящими от времени. Часть II. Линейные уравнения»

УДК 517.929

DOI 10.21685/2072-3040-2019-1-7

И. В. Бойков

ДОСТАТОЧНЫЕ УСЛОВИЯ УСТОЙЧИВОСТИ РЕШЕНИЙ

СИСТЕМ ОБЫКНОВЕННЫХ ДИФФЕРЕНЦИАЛЬНЫХ

УРАВНЕНИЙ С ЗАПАЗДЫВАНИЯМИ, ЗАВИСЯЩИМИ ОТ ВРЕМЕНИ. ЧАСТЬ II. ЛИНЕЙНЫЕ УРАВНЕНИЯ1

Аннотация.

Актуальность и цели. Работа посвящена анализу устойчивости в смысле Ляпунова установившихся решений систем линейных дифференциальных уравнений с коэффициентами, зависящими от времени, и с запаздываниям, зависящими от времени и от дифференцируемой функции в левой части уравнения. Рассматриваются случаи непрерывного и импульсного возмущений.

Материалы и методы. Исследование устойчивости основано на применении метода «замораживания» коэффициентов, зависящих от времени, и последующем анализе устойчивости решения системы в окрестности точки «замораживания». При анализе преобразованных таким образом систем дифференциальных уравнений используются свойства логарифмических норм.

Результаты. Предложен алгоритм, позволяющий получать достаточные критерии устойчивости решений конечных систем линейных дифференциальных уравнений с коэффициентами и с запаздываниями, зависящими от времени и от дифференцируемой функции в левой части уравнения. Достаточные условия получены в евклидовой метрике. Алгоритмы эффективны как в случае непрерывных, так и в случае импульсных возмущений.

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

Ключевые слова: устойчивость, системы обыкновенных дифференциальных уравнений, запаздывания, зависящие от времени и от дифференцируемой функции в левой части уравнения, евклидова метрика.

I. V. Boykov

SUFFICIENT CONDITIONS OF SYSTEM SOLUTIONS STABILITY OF ORDINARY DIFFERENTIAL EQUATIONS WITH TIME-DELAYED SYSTEMS. PART II. LINEAR EQUATIONS

Abstract.

Background. The work is devoted to the analysis of stability in the sense of Lya-punov of steady-state solutions of systems of linear differential equations with time-dependent coefficients and with time-dependent delays and a differentiated function on the left side of the equation. The cases of continuous and pulsed perturbations are considered.

1 Работа выполнена при финансовой поддержке РФФИ. Грант 16-01-00594.

© Бойков И. В., 2019. Данная статья доступна по условиям всемирной лицензии Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), которая дает разрешение на неограниченное использование, копирование на любые носители при условии указания авторства, источника и ссылки на лицензию Creative Commons, а также изменений, если таковые имеют место.

Materials and methods. The stability study is based on the application of the method of "freezing" of time-dependent coefficients and the subsequent analysis of the stability of the solution of the system in the vicinity of the "freezing" point. In the analysis of systems of differential equations thus transformed, the properties of logarithmic norms are used.

Results. An algorithm is proposed that allows one to obtain sufficient criteria for the stability of solutions of finite systems of linear differential equations with coefficients and delays that depend on time and on a differentiable function on the left side of the equation. Sufficient conditions are obtained in the Euclidean metric. Algorithms are effective both in the case of continuous and in the case of impulsive perturbations.

Conclusions. The proposed method can be used in the study of nonstationary dynamic systems described by systems of ordinary linear differential equations with delays that depend on time and on a differentiable function on the left side of the equation.

Keywords: stability, systems of ordinary differential equations, delays that depend on time and on a differentiated function on the left side of the equation, Euclidean metric.

Введение

Данная работа является продолжением статьи [1], в которой были получены достаточные условия устойчивости решений систем уравнений вида

d (А n n

-d-1 = Yan(t)xj(t) + Tpij(t)xj(t-h(t)), i = 1,2,...,n, (1)

j=1 j=1

где by (t), i, j = 1,2,..., n, - непрерывные функции; h(t) - непрерывная функция, удовлетворяющая следующиму условию:

0 < h(t) < H* +1 при 0 < t <

Достаточные условия устойчивости решений систем уравнений вида (1) получены для произвольного n-мерного пространства Rn и выражены через коэффициенты при неизвестных в правой части системы. Отметим, что система уравнений (1) является частным случаем системы

= fk (t, X1 (t),..., Xn (t), X1(t - hk1 (t)),..., Xn (t - hkn (t))), (2)

k = 1,2,...,n, t > -o.

В работе [2] в метрике пространства Rn векторов x = (x1,..., xn) с нормой || x ||з= max | Xk | получены достаточные условия устойчивости решений

1<k <n

систем нелинейных неавтономных обыкновенных дифференциальных уравнений вида (2) с запаздываниями, зависящими от времени, и с начальным множеством ф(-) = (ф1 (t),...,фп(t)), -o -H < t < -o, где x(t) = ф(-) при -о -H < t < -o, x(t) = (x1(t),...,xn(t)), ф(-) = (Ф1 (t),...,Фп(t)) - непрерывная вектор-функция. Подобное решение обозначим через Xф (-).

Достаточные условия устойчивости были выражены через логарифмические нормы множества матриц, построенных на вектор-функциях

^ (7, X! (7),..., хп (7), X! ( - ),..., хп (7 - Нпп (7))))

с элементами

(/к(7,Х1(7),...,Хп(7),х^-),...,Хп(7-^(7))), к = 1,...,п.

Соответствующие логарифмические нормы были ассоциированы с метрикой пространства Яп. Логарифмическая норма матрицы А = {агу},

3

г,у = 1,2,.,п, в пространстве Кп с нормой || х ||з= тах | Хк | определяется

в [3, 4] формулой Л( A) = max

1<к <n

f n >

«ii + Z i aij

j=1, j

При получении достаточных условий устойчивости решений систем уравнений вида (2) в работе [2] существенно использовались свойства упомянутой выше метрики пространства К.

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

Ниже исследуются вопросы устойчивости в эвклидовой метрике решений систем уравнений следующего вида:

— (,) п п

= ^ (7)ху (7) + ^ (7)ху (г -Ъ(0), г = 1,2,...,п, (3)

- У=1 У=1

к = 1,2,. ,.,п, 7> с начальным множеством ф(7) = (ф1 (7),...,фп(7)), 70 -Н < г < 70, где х(7) = ф(7) при 70 -Н < 7 < 70, х(7) = (х1(7),.,хп(7)), ф(7) = (ф1 (7),..., фп (7)) - непрерывная вектор-функция.

Здесь и ниже полагаем ^ =0.

Напомним определения устойчивости и асимптотической устойчивости.

Определение 1. Решение хф (7) системы уравнений (3) называется устойчивым, если для любого £ >0 существует такое 5(е) > 0, что из неравенства |ф(0 -у(0| < 8(£) на начальном множестве следует | хф(7) - х^(7) |< £ при 7 > ¿0, где ) - непрерывная начальная вектор-функция.

Определение 2. Устойчивое решение хф (7) называется асимптотически устойчивым, если Пт | хф(7) - х^ (7) |= 0 для любой непрерывной началь-

г

ной функции ), удовлетворяющей при достаточно малом 61 >0 условию |ф(7))|< 61.

Наряду с этими определениями имеет смысл рассмотреть случай, когда возмущение носит импульсный характер. В этом случае можно определить функцию ) следующим образом: ) = ф(У) при ¿0 -Н < t < ¿0, ^(^о) = ф(tо) + 6. При этом определения устойчивости и асимптотической устойчивости остаются прежними.

Приведем определения, используемые в статье.

Пусть X - банахово пространство; К — оператор, действующий из X в X; В(а,г) = {х,ае Х:|| х — а ||< г}; £(а,г) = {х,ае Х:|| х — а ||= г}; Л(К) -логарифмическая норма линейного оператора К, определяемая [3, 4] выражением Л(К) = НтИ^0(|| I + ИК || —1)/ И, где символ И 0 означает, что И стремится к нулю, убывая.

Для матриц в часто используемых пространствах логарифмические нормы известны.

Пусть дана вещественная матрица А = {агу }, 7, ] = 1,2,..., п, в п -мерном пространстве Л^, 7 = 1,2,3, векторов х = (х1,...,хп) соответственно с нормой

I = ZI xk i' к=1

llxll 2 =

1/2

Z 1 Хк к=1

, x 3 = max | Хк

1<к<п

Логарифмическая норма матрицы А равна [3, 4]:

( п \ (

Л1( A) = max

j

ajj + Z i=1 ,i

j

Л2( A) = ID

A + A

T Л

л3( A) = max

an + Z

j=1, j

Здесь Xтах ((А + АТ)/2) - наибольшее собственное значение матрицы

(A + AT ) / 2.

1. Линейные уравнения. Импульсное возмущение

Рассмотрим систему линейных неавтономных уравнений с запаздыва-

ниями:

dxi (t) dt

= ZaiJ (t)xj (t) + ZbiJ (t)xj (t - hi (t)), i = 1,2,..., n,

(4)

7=1 7=1

где ац(¿), Ьу (¿), 7,7 = 1,2,...,п, И^ (¿), 7 = 1,2,...,п, - непрерывные функции, удовлетворяющие следующим условиям:

0 < И* < И] < И](¿) < И] < И*, 7 = 1,2,...,п, при 0 < t <

x

*

Пусть при —Н < t < 0 выполняются условия

х а ) = П ^), I = 1,2,..., и, (5)

где (t), I = 1,2,..., и, - непрерывные функции.

Будем считать, что при условиях (5) система уравнений (4) имеет * * *

установившееся решение х ^) = (Х1^),•••,хп^)), t > 0.

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

*

Будем исследовать устойчивость установившегося решения х ^) при возмущении х0 =(х°,^.,хИ), возникшем в момент времени ^ =0:

х( (0) = х* (0) + хг0,I = 1,2,..., п. (6)

Исследовать устойчивость будем в пространстве п -мерных векторов Яп (х = (х1,...,хп)) с нормой || х Ц2 .

*

Введем новые переменные щ ^) выражением х{ ^) = х{ ^) + и{^), I = 1,2,..., п.

В результате система уравнений (4) принимает вид с1и О) п п

-щ!^ = Ту (tи ^) + ^и ^ — И (t)), I = 1,2,..., п, (7)

/=1 /=1

причем щ ^) = 0 при -го < t <0.

Возмущения (6) трансформируются в начальные условия:

щ() = 0, -го < t <0, I = 1,2,...,п; щ (0) = х0, I = 1,2,...,п. (8)

Исследуем устойчивость тривиального решения системы уравнений (7) при начальных условиях (8).

Пусть 5 - достаточно малое положительное число. Пусть || и(0) ||<5, и (0) = (и1(0),..., ип (0)).

Найдем условия, при которых траектория решения задачи Коши (7), (8)

при || и(0) ||<5 не покидает шар 5(0,5).

* *

Обозначим через ^1,...,t.■k. корни уравнения И,-(t) = t, 7 = 1,2,...,п.

Не ограничивая общности, можно считать, что все корни различные.

*

Расположим их в порядке возрастания ^ 1 < • • • < tnk < го. Не ограничивая

' ' п

*

общности можно считать, что 0<

Исследуем устойчивость решения задачи Коши (7)-(8) в промежутке

*

времени [0, ¿ц].

Здесь нужно рассмотреть в отдельности несколько случаев:

*

1) в промежутке времени (0, И- ^)< t, 7 = 1,2,...,п;

*

2) в промежутке времени (0,И-^)> t, 7 = 1,2,...,п;

*

3) в промежутке времени (0, ¿ц) выполняются как неравенства

Ну (^) < t, так и неравенства Н/ (^) > t. Не ограничивая общности, можно

считать, что ) > I и Ну ^) < t при у Ф1.

Рассмотрим каждый случай в отдельности. Первый случай.

Покажем, что при выполнении условий

Л(А(0)+ IIВ(0 II < -X < 0, tе [0,£), (9)

траектория решения задачи Коши (7), (8) не покидает шар В(0,5).

Доказательство проведем от противного. Пусть в момент времени

*

Т е [0,¿ц) траектория решения задачи Коши (7), (8) покидает шар В(0,5).

*

При t е [Т, ¿ц) уравнение (7) можно записать следующим образом: И (А п п

Щ= (Т»у (0 + Трч (Т»у и -Н(0) + gi(0,7 = 1,2,.,п, (10)

dt . , . , J=1 J=1

где

gi ^ ) = £ (у(t) - ау (Т) )иу ^) +

у=1

п

( (0 -Ъч (Т))иу (t -Н(t)), 7 = 1,2,...,п.

у=1

В операторной форме уравнение (10) имеет вид

^ = А(Т )и (t) + ВЦ, Т, и Ц), Н(t)) + О Ц), (11)

dt

где

А(Т) = {ау(Т)}, ВЦ,Т,и^),Н(t) = (^^^,Т,и(t),Н(t)),...,Ьп(t,Т,иЦ),Н(t)))Т ,

п

О (0 = (Й(0,..., gn Ц))Т, Ь (t, Т, и (0, Н(0) = ^ (Т)иу (t - Н^^ (t)), 7 = 1,2,., п.

у=1

*

Уравнение (11) имеет решение при tе [Т,¿ц)

t t u(t) = еА(Т)(t-Т)и(Т) +1еА(Т)(t-5)В(5,Т,и(5),Л(5))И5 +1еА(Т)(t-5)О(5)И5. (12) Т Т

Переходя в (12) к нормам, имеем

|| иЦ) ||< еЛ(А(Т))(t-Т) || и(Т) || + \еЛ(А(Т))(t-5) || В(5,Т ,и(5),Л(5)) || +

Т

t

+

T

]еЛ(A(T))(t-II G(s) II ds. (13)

Для дальнейшего необходимо оценить || В( я,Т, и (я), И(я)) ||. Пусть Т >0. Нетрудно видеть, что существует промежуток времени [Т,Т + АТ] такой, что

|| В{$, Т, и (я), И{з)) ||2 = ¿|Т% (Т )и- (t - И Ц ))|2 < ¡=1 -=1

< ТТI ьа (Т) I2 ТI и7 ( - И (t)) |2< || и(Т) ||2 ТТI ъ- (Т) I2.

I=1 ■=1 ■=1 I=1 ■=1

Следовательно, существует промежуток времени [Т, Т + АТ ], АТ < АТ, такой, что

|| В{з,Т, и (я), И{з)) ||2 < || и (я) ||2 ТТ IЪ- (Т) I2 . (14)

!=1 -=1

Из построения вектор-функции G(s) следует, что для любого как угодно малого е(е >0) найдется такой промежуток времени [Т,Т + А2Т], А2Т <А1Т, что

||О (я)|| < £Рх(я) Р. (15)

Из формул (13)-(15) следует, что

t

|| u(t) ||< еЛ(А(Т))(t-Т)

|| и(Т) || + \еЛ(А(Т))(t-я)(|| В(Т) || +е) || и(я) || ds, (16) Т

отсюда стандартными рассуждениями получаем оценку

|| и(t) ||< е(Л(А(Т))+||В(Т)"+е) || и(Т) ||,

из которой следует, что траектория решения задачи Коши (7), (8) не покидает шар В(0,5) в момент времени Т.

Рассмотрим случай, когда Т = 0. В этом случае

п п п

|| В(я,Т,и(8),И(8)) ||2 < ТI Т IЪ- (Т) I2 ТI и- ( - Иг ()) I2 .

г=1 -=1 ¿=1

*

Так как по предположению И^)<t, I = 1,2,...,п, 0<t<ц, и || и(0) ||= 5, то И(0) = 0, I = 1,2,...,п, и для любого как угодно малого £1(81 >0) найдется промежуток времени [Т, Т + А3Т ] такой, что

Т I иу Ц - Н (t)) |2=| | иЦ - Н7 Ц)) 112 < (1 + е) 11 иЦ) 112 .

у=1

Следовательно,

|| В(5,Т,и(5),Н(5)) ||2<|| В(Т) ||2 (1 + е1) || и(t) ||2 .

Подставляя (15) и это неравенство в (13) и проводя стандартные преобразования, имеем

|| и (t) ||< ехр{(Л(А(0))+1| В(0) || +е2)t} || и (0) ||,

tе [0,Л3Т], где е2 =|| В(0) || (1 + е1) + е.

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

Отсюда следует, что при выполнении неравенства (9) траектория решения задачи Коши (7), (8) не покидает шар В(0,5).

Рассмотрим второй случай. В этом случае система дифференциальных уравнений (7) имеет вид

^=Та« (Оиу (о, (17)

7=1

*

и ее устойчивость при tе [0,¿ц] исследуется стандартными методами [1, 2, 5]. В результате убеждаемся, что при выполнении условия

Л(А(0) <-х <0^ е [0, ¿1*1) (18)

траектория решения задачи Коши (7), (8) не покидает шар В(0,5).

Рассмотрим третий случай. В этом случае система уравнений (7)

имеет вид

dui (t) -Д

Z°1 J (t)uj (t),

dt . . у=1

Ии (¿) п п

= Ту Ц)иу (t) + ТЬ7у ^)иу ^ - Н (t)), 7 = 2,., п. (19)

7=1 7=1

В операторном виде система уравнений (19) имеет вид ИиЦ)

dt

где

■ = A(T )u (t) + B~ (t, T, u(t), h(t)) + G(t), (20)

B~ (t,T, u (t), h(t)) = (( (t, T, u(t), h(t)),..., b- (t,T, u (t), h(t)) )T:

b- (t,T,u(t), h(t)) = 0, b- (t,T,u(t), h(t)) = Ybij (T)uj (t - hi (t)), i = 2,3,..., n.

J=1

Повторяя рассуждения, проведенные при исследовании первого случая, убеждаемся, что при выполнении условия

Л(А(Х))+ II В-(0||< -X < 0, Хе [0,¿1*1), (21)

траектория решения задачи Коши (8), (19) не покидает шар В(0,5). Здесь

В-(Х) = {Ъг-(Х)}, Ъ- (0 = 0, 7 = 1,2,..,п, Ъ-(Х) = Ъу(х), 7 = 2,3,..,п, 7 = 1,2,..,п.

Анализируя неравенства (8), (18), (21), убеждаемся в том, что при

выполнении условий (8) траектория решения задачи Коши (7)-(9) не

*

покидает шар В(0,5) при Хе[0,Хц].

Замечание. Сопоставляя проведенные выше рассуждения и результаты

*

работ [2, 5], можно показать, что при Хе [0,Хц] справедливо неравенство

|| и(Х) ||< ехр{(Л(А(Х))+1В(Х) ||) Х / 2} | х(0) ||< ехр{(Л(А(Х))+1| В( Х) ||)Х / 2}5.

* *

Рассмотрим интервал времени [ Хц,Х^]. Как и выше, в этом интервале нужно рассмотреть три случая:

* *

1) в промежутке времени ( Хц,Х12) выполняются неравенства И( Х)>Х, 7 = 1,2,..,п;

2) в промежутке времени ( Хц,Х^) выполняются неравенства И7( Х)<Х, 7 = 1,2,..,п;

3) в промежутке времени ( Хц,Х^) имеют место как неравенства

И7 ( Х) > Х, так и неравенства И ( Х) < Х. Не ограничивая общности, ниже будем

считать, что И1 ( Х) < Х и И7 ( Х) > Х при 7 Ф1.

Рассмотрим каждый случай в отдельности. Первый случай.

В этом случае система уравнений (8) имеет вид - (Х) п п

-и^- = 2 ац (Х>7 (Х) + 2 Ъц (Х)и7 (Х - И (Х)), 7- = 1,2,.., п. (22)

7=1 7=1

Исследуем траекторию решения уравнения (22) при начальном условии

и7 ( Х) I * = и7 ( Х*1). (23)

Х_Х11

*

Выше было показано, || и- ( Х) ||<5, 7 = 1,2, ,.,п, при 0 <Х< Хц, и, кроме

*

того, || и7 (Х) ||< 5, 7 = 1,2,..,п, при 0<Х < Хц. Покажем, что при выполнении условия

Л(А(Х)) <-х, X <0, Хе [ Х*1, Х*2 ], (24)

траектория решения задачи Коши (22), (23) не покидает шар В(0,5).

Доказательство проведем от противного. Предположим, что в момент времени Т траектория решения задачи Коши (22), (23) покидает шар 5(0,5).

При t е [Т, ¿12 ] уравнение (22) можно представить в виде Ии

— = А(Т )и Ц) + ВЦ ,Т, иЦ), ИЦ)) + ОЦ). (25)

dt

Здесь использованы обозначения, введенные выше. Рассмотрим промежуток времени [Т,Т + ЛТ], (Т + ЛТ < ¿12), причем величина ЛТ будет уточнена ниже. На этом промежутке времени И7 Ц)> t, 7 = 1, 2,...,п. Следовательно, t - И Ц) < 0, 7 = 1, 2,...,п. Это означает, что В(^Т,иЦ),ИЦ)) = 0 при t е [Т,Т + ЛТ] и система уравнений (25) вырождается в систему

и— = А(Т )и (t) + О Ц). (26)

dt

Системы, подобные системе (26), исследовались в работах [1, 2, 5]. Повторяя приведенные в них рассуждения, можно показать, что при выполнении условия

Л(А(0) <-х <0, tе [¿1*1,¿1*2], (27)

траектория решения задачи Коши (8), (26) не покидает шар В(0,5). Можно, следуя [2, 5], показать, что

,(t)|| < (A(t))(t-t*1)/2 ц u(t*i) у, te[t*i,t*2].

Рассмотрим второй случай. Пусть Ну (t)< t, tе (¿1*1,¿1*2). Покажем, что при выполнении условия

Л(A(t))+1| ВЦ) ||< -х < 0, tе [£,¿12], (28)

траектория решения системы уравнений Ц) _ п

= Yj^ij (t)uj (t) + Ypij (t)uj (t - hi (t)) (29)

dt

J=1 J=1

при начальных условиях

щ (t )| * = щ (tn), (30)

t=tn

где || (¿ц) ||<5, не покидает шар В(0,5).

Доказательство проведем от противного. Пусть в момент времени Т,

* *

¿ц < Т < ¿12, траектория решения задачи Коши (29), (30) покидает шар

В(0,5). Систему уравнений (29) при tе [Т,Т + ЛТ], Т + ЛТ < ¿12, можно представить в виде уравнения

dU-(t) = A(T )u (t) + B (t ,T, u (t), h(t)) + G (t),

dt

(31)

в котором использованы введенные выше обозначения.

* *

Так как ¿ц < Т < Т + ЛТ < ^2, то t - И (0 > 0, 7 = 1,2,...,п, при tе [Т,Т + ЛТ].

Рассмотрим норму

2

||B(t, T, u (t), h(t ))||2 = Y

i=1

Y% (T )u j (t - h (t))

j=1

<

< ЁЁ\Ь7у (Т )|2 Ё |иу ^ - Н Ц ))|2.

7=1 у=1 у=1

Так как функции Н(t), 7 = 1,2,...,п, непрерывны, то при tе [Т,Т + ЛТ] они достигают своих наибольших значений. Пусть 0 < < Н (t) < , 7 = 1,2,...,п, tе [Т,Т + ЛТ]. Пусть А = шт1<7<па, В = шах1<г<Л.

Функции -7 Ц) непрерывны при t е [А, В]. Следовательно, функция

^ ) = Ё Ё\Ъу (Т )|2 Ё-у ^ - Н ^ ))|2

7=1 у=1 у=1

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

непрерывна при Т < t < Т + ЛТ и достигает своего максимального значения в этом сегменте. Пусть максимальное значение достигается при

Т* е [Т,Т + ЛТ]. Очевидно,

Ё|иу(Т* -Н(Т*))|2=||и(Т* -Н(Т*)) ||2<||и(Т) ||2, у=1

так как точка t = Т - первая точка на интервале (0,Т], в которой || иЦ) ||= 5. Следовательно,

У(0 < ЁЁ I Ъу (Т) |2| и у (Т * - Нц (Т)) |2< || и (Т) ||2 ЁЁI Ъу (Т) |2 7=1 у=1 7=1 у=1

и существует интервал [Т, Т + ЛТ ], ЛТ < ЛТ, в котором

* . ,

||B(t, T, и (t), h(t ))|| <| \и (t )||

1/2

YY| J )f

i=1 j=1

= | и (t )||| |B(t )||. (32)

Нетрудно видеть, что для любого как угодно малого £, £ >0, существует интервал [Т, Т + ], <ЛТ, в котором

II О(X) ||<£|| и(X) ||. (33)

Переходя в (31) к норме и учитывая неравенства (32), (33), имеем при Xе [Т,Т + Л2Т]:

|| и(Х) ||< еЛ(А(Т))('-Т) || и(Т) || +1еЛ(А(Т))(-Т)£ || и(,) || Ж.

Т

Отсюда стандартными рассуждениями получаем неравенство

11 и(X) 11< ехр{(Л(А(Т))+11 В(Т) 11 +£)(Х -Т)} 11 и(Т) 11,

справедливое при Хе [Т, Т + Л2Т].

Из этого неравенства следует, что при X = Т траектория решения задачи Коши (29), (30) не покидает шар В(0,5) в момент времени Т.

Более того, повторяя рассуждения, приведенные ранее (и в работах

* *

[2, 5]), можно показать, что при ^е [ ^ц,^]

|| и ( 0 ||< ехр{(Л(А(Т))+ || В(Т) || +£)(X - £) / 2} || и ( £) ||.

Третий случай сводится к двум предыдущим. Его рассмотрение опускается.

Таким образом, показано, что при выполнении неравенства

Л(А(0)+1| В(01|< -X <0, ге [ £,£],

* *

в промежутке времени [ ^ц,^] траектория решения задачи Коши (7), (8) не покидает шар В(0, 5) и, более того, выполняется неравенство

|| и(0||<ехр{(Л(А(0)+1| В( 0 ||)^-£) /2} || и( ) ||, Xе [*п,£].

* *

Продолжая подобные рассуждения в интервалах [ ^2,^3], ..., * * *

[tnk -1,tnk ], [(„к ,го], убеждаемся в справедливости неравенства

|| и(X) ||< ехр{(Л(А(Т))+1| В(Т) ||У / 2} || и(0) ||,

из которого следует асимптотическая устойчивость решения задачи Коши (7), (8) и, следовательно, задачи Коши (4), (5).

Таким образом, доказано следующее утверждение.

Теорема 1.1. Пусть функции ау(X), Ьу(X), 1,у = 1,2,.,п, Н(X),

1 = 1,2,...,п, непрерывны при Xе [0,го). Пусть выполняется неравенство

Л(А(^))+1| В(Г) ||< -X <0^е [0,го).

Тогда установившееся решение системы уравнений (4) асимптотически устойчиво в евклидовой метрике.

2. Линейные уравнения. Возмущенные начальные условия

Рассмотрим систему дифференциальных уравнений (4) при начальных

условиях (5). Как и в разд. 1, будем считать, что задача Коши (4), (5) имеет

* * *

установившееся решение x (t) = (xi (t),...,xn(t)), t > 0.

*

Исследуем устойчивость установившегося решения x (t) при возмущении начальных условий вектором j(t) = (fji(t),...,jn(t)) с нормой

|| nf(t) 11< 5, где 5(5 > 0) - достаточно малое число. Функции nfi (t), i = 1,2,..., n,

*

определены и непрерывны в сегменте [—H , 0]. В результате начальное условие имеет вид

f(t ) = (fi(t),..., fn (t)), (34)

где j i (t) = f i (t) + j i (t), i = 1, 2,..., n.

*

Введем новые переменные ui (t) = xi (t) — xi (t), i = 1,2,., n. В результате задача Коши (4), (34) примет вид

du; (t) -Дл

—^ = Yaaij(t)Uj(t) + Ypij(t)Uj(t — hi(t)), i = 1,2,.,n, (35)

j=1 j=1

щ(t) = fji(t)te [—H,0], i = 1,2,.,n. (36)

Исследуем устойчивость задачи Коши (35), (36).

По аналогии с предыдущим разделом обозначим через

* * *

t11 < t1 2 < ••• < tnk корни уравнений hi(t) = t, i = 1,2,...,n.

' ' ' n

*

Рассмотрим сегмент [0,tn]. Как и в разд. 1, необходимо рассматривать три случая:

*

1) в промежутке времени (0, tn) выполняются неравенства hj (t)< t,

j = 1,2,.,n;

*

2) в промежутке времени (0, tn) выполняются неравенства hj (t) > t, j = 1,2,.,n;

*

3) в промежутке времени (0, tn) выполняются как неравенства

hj (t) < t, так и неравенства h (t) > t. Для определенности будем считать, что

h1(t)> t и hj (t)< t при j Ф1.

Исследование первого случая ничем не отличается от аналогичного исследования, проведенного в предыдущем разделе. Следовательно, при выполнении условия

Л(A(t))+1| B(t) ||< —X < 0, te [0,t*1], (37)

траектория решения задачи Коши (35), (36) не покидает шар B(0,5) и, более того,

|| u(t) ||< ехр{(Л(A(t))+1| B(t) ||)t / 2} || u(0) ||, te [0,t1*1]. (38)

Известия высших учебных заведений. Поволжский регион Рассмотрим второй случай.

В этом случае система уравнений (35), (36) имеет вид - (А п п

= Xаа(0«/(0 + XЬу (ОА/('-И(0), г = 1,2,.,п. (39)

у=1 /=1

Покажем, что при выполнении условий (37) траектория решения задачи Коши (36), (38) не покидает шар В(0,5).

Доказательство проведем от противного. Пусть в момент времени Т

траектория решения задачи Коши (36), (38) покидает шар В(0,5). Уравнение

*

(39) при tе [Т,7ц] можно записать в следующем виде:

= А(Т)и(7) + В(7,Т,П(7), И(7)) + О(7),

где все обозначения очевидны.

По аналогии с предыдущим разделом оценим ||В(7,Т,П(0,И(7))||. Очевидно, при 7 - И/ (7) < 0, у = 1,., п,

п п п

||В(7,Т,П(7),И(7))||2 < XX I ЬЧ (Т) |2 X I П/ (7 - И (7)) |2 < г=1 /=1 /=1

<11 В(Т) II2 52 =|| В(Т) ||2|и(Т) II2 .

Из этого неравенства следует, что для любого как угодно малого £4(24 > 0) найдется такой промежуток времени [Т, Т + Л4Т], в течение которого | и(Т) ||< (1 + £4) || «(7) || и 7 - И/(7) < 0, у = 1,2,.,п. Следовательно, при 7 е [Т, Т + Л4Т]

|| В(7,Т,П(7),И(7)) ||< (1 + £4) || В(Т) || || и(7) ||.

Повторяя рассуждения, проведенные в предыдущем разделе, убеждаемся в том, что при выполнении условий (37) траектория решения задачи Коши (35), (36) не покидает шар В(0,5) и выполняется неравенство (38). Третий случай исследуется по аналогии с предыдущими.

* *

Аналогично исследуется устойчивость на интервалах [7ц, 712], .,

* * *

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

[7п,Щ-1, 7п,Щ ], [7п,п^ ,

Таким образом, доказана справедливость следующего утверждения. Теорема 2.1. Пусть функции ау(7), Ьу^), г,у = 1,2,.,п, И(7),

г = 1,2,.,п, непрерывны при 7е [0,Пусть выполнено условие

Л(А(7))+1| В(7) ||2<-Х <0, 7е [0,~].

Тогда установившееся решение задачи Коши (4), (34) асимптотически устойчиво в евклидовой метрике.

Библиографический список

1. Бойков И. В. Достаточные условия устойчивости систем обыкновенных дифференциальных уравнений с запаздываниями, зависящими от времени. Часть I. Линейные уравнения / И. В. Бойков // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. - 2018. - № 4 (48). - С. 3-19.

2. Бойков, И. В. Устойчивость установившихся решений систем нелинейных неавтономных дифференциальных уравнений с запаздываниями / И. В. Бойков // Дифференциальные уравнения. - 2018. - Т. 54, № 4. - С. 435-457.

3. Далецкий, Ю. Л. Устойчивость решений дифференциальных уравнений в банаховом пространстве / Ю. Л. Далецкий, М. Г. Крейн. - Москва : Наука, 1970.

4. Деккер, К. Устойчивость методов Рунге-Кутты для жестких нелинейных дифференциальных уравнений / К. Деккер, Я. Вервер. - Москва : Мир, 1988.

5. Бойков, И. В. Устойчивость решений дифференциальных уравнений / И. В. Бойков. - Пенза : Изд-во ПГУ, 2008. - 244 с.

References

1. Boykov I. V. Izvestiya vysshikh uchebnykh zavedeniy. Povolzhskiy region. Fiziko-matematicheskie nauki [University proceedings. Volga region. Physical and mathematical sciences]. 2018, no. 4 (48), pp. 3-19. [In Russian]

2. Boykov I. V. Differentsial'nye uravneniya [Differential equations]. 2018, vol. 54, no. 4, pp. 435-457. [In Russian]

3. Daletskiy Yu. L., Kreyn M. G. Ustoychivost' resheniy differentsial'nykh uravneniy v ba-nakhovom prostranstve [Stability of solutions of differential equations in a Banach space]. Moscow: Nauka, 1970. [In Russian]

4. Dekker K., Verver Ya.Ustoychivost' metodov Runge-Kutty dlya zhestkikh nelineynykh differentsial'nykh uravneniy [Stability of Runge-Kutta methods for rigid nonlinear differential equations]. Moscow: Mir, 1988. [In Russian]

5. Boykov I. V. Ustoychivost' resheniy differentsial'nykh uravneniy [Stability of solutions of differential equations]. Penza: Izd-vo PGU, 2008, 244 p. [In Russian]

Бойков Илья Владимирович

доктор физико-математических наук, профессор, заведующий кафедрой высшей и прикладной математики, Пензенский государственный университет (Россия, г. Пенза, ул. Красная, 40)

E-mail: boikov@pnzgu.ru

Boykov Il'ya Vladimirovich Doctor of physical and mathematical sciences, professor, head of the subdepartment of higher and applied mathematics, Penza State University (40 Krasnaya street, Penza, Russia)

Образец цитирования:

Бойков, И. В. Достаточные условия устойчивости решений систем обыкновенных дифференциальных уравнений с запаздываниями, зависящими от времени. Часть II. Линейные уравнения / И. В. Бойков // Известия высших учебных заведений. Поволжский регион. Физико-математические науки. -2019. - № 1 (49). - С. 63-77. - БО! 10.21685/2072-3040-2019-1-7.

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