О предельном поведении решений систем дифференциальных уравнений с запаздывающим аргументом

УДК 517.929.4 Вестник СПбГУ. Прикладная математика. Информатика... 2018. Т. 14. Вып. 2 МБС 34К20

0 предельном поведении решений систем дифференциальных уравнений с запаздывающим аргументом

С. Е. Купцова1, С. Ю. Купцов2, Н. А. Степенко1

1 Санкт-Петербургский государственный университет, Российская Федерация, 199034, Санкт-Петербург, Университетская наб., 7—9

2 ООО «ОГС Руссия», Российская Федерация, 197227, Санкт-Петербург, Гаккелевская ул., 21а

Для цитирования: Купцова С. Е., Купцов С. Ю., Степенко Н. А. О предельном поведении решений систем дифференциальных уравнений с запаздывающим аргументом // Вестник Санкт-Петербургского университета. Прикладная математика. Информатика. Процессы управления. 2018. Т. 14. Вып. 2. С. 173-182. https://doi.org/10.21638/11702/spbu10.2018.210

Работа посвящена исследованию предельного поведения решений систем нелинейных дифференциальных уравнений с запаздывающим аргументом. Рассматривается случай, в котором все решения системы имеют одно предельное положение, которое, в свою очередь, может не являться инвариантным множеством рассматриваемой системы. Вводится понятие асимптотического положения покоя. На базе прямого метода Ляпунова, пользуясь методом функционалов Красовского, были получены достаточные условия существования асимптотического положения покоя в системах дифференциально-разностных уравнений. Также найдены новые достаточные условия асимптотической устойчивости нулевого решения систем дифференциально-разностных уравнений. Ключевые слова: дифференциальные уравнения с запаздыванием, асимптотическое положение покоя, функции Ляпунова, устойчивость по Ляпунову.

1. Введение. Дифференциальные уравнения с запаздывающим аргументом широко применяются для описания и моделирования различных динамических процессов, в которых необходимо учитывать зависимость скорости процесса не только от текущего, но и от прошлых состояний системы. Развитие теории устойчивости движений систем дифференциально-разностных уравнений, берущее начало в работах Н. Н. Красовского [1], Р. Беллмана и К. Л. Кука [2], Дж. Хейла [3] и В. И. Зубова [4, 5], по сей день остается актуальной темой исследований. В предложенной статье затрагивается вопрос появления в системах дифференциально-разностных уравнений асимптотических положений покоя. Понятие асимптотического положения покоя для систем дифференциальных уравнений было введено В. И. Зубовым [6], в связи с необходимостью изучения таких движений, которые имеют предельное поведение при неограниченном возрастании времени, причем сами предельные множества не являются инвариантными множествами исходных дифференциальных уравнений. Изучение таких движений для систем дифференциальных уравнений проводилось в [7-10], для систем разностных уравнений — в [11, 12]. В настоящей работе это понятие распространяется на системы дифференциальных уравнений с запаздывающим аргументом.

2. Основные обозначения и определения. Рассмотрим систему уравнений

х = /

© Санкт-Петербургский государственный университет, 2018

где х(Ь) = (ж^),.хп(Ь))т — неизвестный п-мерный вектор; Н > 0 — запаздывание; /(¿, х, у) = (/1,..., /п)т — п-мерная вектор-функция, относительно которой предполагаем, что она определена и непрерывна на множестве Ь ^ 0, х € Яп, у € Яп и удовлетворяет условию Липшица по всем аргументам, начиная со второго, т. е. для любого числа Н > 0 найдется число Ь = Ь(Н) ^ 0 такое, что для любых п-мерных векторов х, X, у, у, удовлетворяющих условию ||х|| ^ Н, ||х|| ^ Н, ||у|| ^ Н, ||у|| ^ Н, для любого £ ^ 0 выполнено

Ц/(г,х,у) - /(ь,х,т < Ь(!х - хЦ + Цу - у)Ц).

Под ||^|| здесь и далее понимается евклидова норма вектора.

Придерживаясь терминологии из [13], обозначим через РС([а,Ь],Яп) бесконечномерное пространство кусочно-непрерывных на отрезке [а, Ь] п-мерных вектор-функций с конечным числом точек разрыва первого рода, через х(Ь, ¿о,ф) — решение системы (1), удовлетворяющее следующим начальным условиям: х(Ь, ¿о,ф) = ф(Ь) при £ € [¿о — Н, ¿о], ф € Р С( [¿о — Н, ¿о], Яп). Здесь и далее будем предполагать, что ¿0 € Я+, где Я+ = {ь € Я1 | Ь ^ 0}. Известно [3], что при выполнении условий, наложенных на правую часть системы, найдется в > 0 такое, что х(Ь,2о,ф) будет продолжимо, по крайней мере, на множество [¿о — Н, ¿о + в], причем х^^о,ф) будет непрерывной функцией на отрезке [¿о,Ьо + в].

Под состоянием системы в момент Ь ^ ¿о будем понимать сегмент решения х(1,1о, ф), принадлежащий отрезку [Ь — Н,Ь], т. е.

хг(¿о, ф) : в ^ х(г + ¿о, ф), в € [-Н, 0].

При этом начальное состояние системы определим следующим образом:

хг0 (¿о,ф): в ^ Ф^о + в), в € [-Н, 0].

Обозначим X = РС([-Н, 0],Яп) и пусть ф — произвольный элемент множества X. Введем норму ф таким образом:

Цф(Щк = вир Цф(1 + в)||.

зе[-й,о]

Определение 1. Положение х = 0 назовем асимптотическим положением покоя для траекторий системы (1), если существует е > 0 такое, что при ЦфЦн < е решение х(1,1о,ф) системы (1) будет определено на множестве Ь ^ ¿о, и

Цх

Определение 2. Положение х = 0 назовем асимптотическим положением покоя в целом, если все решения системы (1) определены на множестве t ^ ¿о и обладают свойством (2).

Рассмотрим непрерывную и положительную на множестве t ^ 0 функцию А(Ь). Определение 3. Функцию Ш(¿, х) назовем отрицательно определенной на множестве ЦхЦ ^ А(Ь), если

1) Ш(¿,х) непрерывна по всем своим аргументам на множестве Ь ^ 0, х € Яп;

2) Ш(¿,х) ^ —Ш1 (х) на множестве ЦхЦ ^ А(Ь), где Ш1(х) — непрерывная и положительно определенная в Яп функция.

Пусть при каждом t G R+ на множестве X определен функционал V(t, ф). Под функционалом будем понимать отображение V : R+ х X ^ R1.

Определение 4. Функционал V(t, ф) будем называть непрерывным на множестве R}_ х X, если для любых е > 0, t G R+ и ф G X существует число 5 > 0 такое, что для любых т G R}_ и ф G X, удовлетворяющих соотношению \t-r\ + |ф—ф\\н < 5, выполнено \V(t,y>) — V(т,ф)\ < е.

После подстановки в функционал решения x(t, to, ф) получим функцию времени v(t) = V(t,xt(to,v>)).

Определение 5. Под производной функционала V(t,xt) вдоль решений системы (1) будем понимать функционал W(t,xt), обладающий для всех ф G PC([to — h,t0],Rn) следующим свойством:

V(t) = W (t,xt(to ,ф),

причем тождество должно выполняться для всех тех t ^ t0, для которых в этом равенстве определена правая часть, за исключением, быть может, конечного числа точек разрыва первого рода. Такой функционал W(t,xt), если он существует, будем обозначать V\(1)(t,xt). Сам же функционал V(t,xt) в этом случае будем называть дифференцируемым вдоль решений системы (1).

3. Достаточные условия существования асимптотического положения покоя в целом. Предположим, что для каждого H > 0 функция f (t,x,y) является равномерно ограниченной по отношению к t ^ 0 на множестве ||x|| ^ H, ||y|| ^ H. Справедлива следующая теорема.

Теорема 1. Если для системы (1) существуют непрерывные на множестве R1 х X функционалы V(t,xt) и W(t,xt) такие, что

1) Vi(Hx^H) ^ V(t,xt) ^ V2(||xt||h), где функции V1 (r) и V2(r) положительно определены на множестве r ^ 0 и V1(r) ^ при r ^

2) V\(1)(t,xt) = W(t, xt) ^ W]^(t,x), где функция W1 (t,x) отрицательно определена на множестве ||x|| ^ Л(t);

3) для любого t ^ 0 найдется x* G Rn, для которого W^t, x*) = 0 и существует

число M ^ 0 такое, что sup W1 (т, x) dт ^ M;

J 11 ^ I ) o

4) Л(Ь) G Co([0, , Л(Ь) > 0 и Л(ф ^ 0 при t ^ тогда x = 0 является асимптотическим положением покоя в целом для траекторий системы (1).

Замечание! Из того что функция W1 (t,x) отрицательно определена на множестве ||x|| ^ Л(t), следует, что точка x*, о которой идет речь в третьем условии теоремы, удовлетворяет условию ||x*|| < Л(ф, а также то, что будут выполнены неравенства

sup W1

для всех t ^ 0 и x G Rn.

Замечание 2. Если выполнено W1(t, 0) = 0, то x* из третьего условия теоремы можно взять равным нулю для всех t ^ 0.

Доказательство. Рассмотрим произвольный момент to ^ 0 и произвольную кусочно-непрерывную на [to — h, to] начальную функцию фф. По условиям теоремы функционалы V(t, xt) и W(t, xt) заданы и непрерывны на множестве R+ х X, следовательно, для v(t) = V (t, xt(to,^)) равенство V(t) = w(t) = W (t,xt(to ,ф) будет

выполнено на всем интервале существования решения г € \г,о,Т(го,ф), за исключением, быть может, конечного числа точек разрыва первого рода. Следовательно, для всех а, Ь из \ро,Т(го,ф) выполнено

ь

у

а

Ясно, что указанный Т(го, ф) может быть равен

1. Покажем продолжимость решения х(г, го, ф) на интервал Пусть это не

так, тогда найдется момент г* ^ го такой, что решение х(г, го, ф) определено на множестве г € [го,г*) и не определено при г = г*. Тогда, с одной стороны, либо существуют некоторое число Но > 0 и последовательность ти ^ г* —0 такие, что \\х(ти, го, ф)\\ ^ Но для любого к ^ 1, что противоречит теореме существования и единственности решения основной начальной задачи [3], либо

\\х(г,го,ф)\\ ^при г ^ г* — о,

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

у

С другой стороны, используя второе условие теоремы, имеем

ж(г,хг(го,ф)) < Ж1(г,х(г,го,ф)).

Применяя соотношение (3), третье условие теоремы и принимая во внимание замечание 1, придем к противоречию с условием (4):

г г

у

г0 г0

2. Ограниченность решения х(г, го, ф) следует из полученной оценки (5) и первого условия теоремы. Таким образом, ограниченность каждого решения системы (1) установлена, т. е. существует постоянная Н1 = Н1(го,ф) > 0 такая, что \\х(г,го,ф)\\ ^ Н1 для любого г ^ го.

3. Покажем, что \\х(г, го, ф\\ ^ 0 при г ^ Пусть это не так, тогда существуют постоянная величина а > 0 и последовательность ги ^ при к ^ такие, что \\х(ги, го, ф\\ ^ а для любого к > 0. Для решения х(г, го, ф) возможны две ситуации:

(A) существует Т1 ^ го + Н такой, что \\х(г,го, ф\\ ^ Х(г) для любого г ^ Т1;

(B) существует последовательность интервалов (ти,ти), ти ^ при к ^ такая, что \\х(г,го,ф)\\ < Х(г) для любого г € (ти,ти) и \\х(г,го,ф)\\ ^ Х(г) для любого

г € [ти,ти+1 ].

Ситуация (А) содержит два случая:

(А1) существуют постоянная а1 > 0 и момент Т2 ^ го + Н такие, что \\х(г,го,ф\\ € [а1, Н{] для всех г ^ Т2;

(А2) существует последовательность ги ^ при к ^ такая, что

\\х(ги,го, ф\\ ^ 0 при к ^

Рассмотрим случай (A1). Функция X(t) ^ 0 при t ^ следовательно, най-

дется момент T3 такой, что X(t) < а\ при t ^ T3. Обозначим T = max{Ti,T2,T3}. Таким образом, при t ^ T решение x(t,to,ц>) находится на множестве ||x|| ^ A(t), где функция W\(t, x) отрицательно определена. Тогда существует положительно определенная в Rn функция W(x) такая, что W\(t, х) ^ —W(x) на множестве ||ж|| ^ A(t). Положим

7 = min W(x), 7 > О,

ai ^ У x У

и воспользуемся равенством (3) в пределах от T до t и вторым условием теоремы: t t v(t)-v(T) < j Wi(r,x(r,i0,v))dT < - j W{x{T,t0,<p))dT < -7{t-T).

T T

Это неравенство при t > T + будет противоречить неотрицательности v(t).

В случае (A2) обязательно найдется последовательность отрезков [тк, тк], ti ^ Ti, тк —> +оо при к +оо такая, что || x{rk,t0, у>)|| = f, || x(rk,t0, (fi)\\ = а и \\x(t,t0, (fi)\\ G Щ, а] при t G [тк, тк]. Положим

ß = min W(x), ß > О,

^ ^ II x II f^a

и воспользовавшись соотношением (3), получим неравенство

t m

j

k=1

где m{t) —> +00 при t —> +00. Положим m; = sup |/¿(t, ж, y)| на множестве t ^ 0, ||ж|| ^ Hu II y II ^ H1, Mi = \Jm2 + ... + то2 и, пользуясь теоремой Лагранжа о конечных приращениях [14], оценим длины отрезков [тк ,тк]:

| < \\х(тк,г0,ф) -х(тк,г0,ф)\\ = \/(xi(Tk) -хфп))2 + ... + (хп^к

^ < |^(rfc,t0, <р) - x(rk,t0, <¿011 = у/(жi(rfc) - Жl(rfc))2 + . .. + (хп(тк) - Xп(тк))2

= (тк - rk)yjfi (а, ж(а), ж(а - м) + • • • + я (е„, *(&), ж(е„ - м) <

< (гк - ткт? + ... + ш2п = М\(тк — Тк).

Здесь Хг(т) есть г-я координата вектор-функции х(т, 1о,ф) и ф € [тк,тк], г = 1,...,п. Отсюда оценим длины отрезков [тк ,тк]:

Тк-тк> для любого к > 1.

Следовательно, правая часть неравенства (6) стремится к —то при Ь ^ что

противоречит неотрицательности функции «(¿). Таким образом, ситуация (А) невозможна.

В ситуации (В) существуют ^ ¿о такое, что А(£) < Ц для любого £ ^ а также система отрезков [СтФ"1], £,т —+оо при то —> +оо такая, что ||ж(^т, ¿о, у)|| = ||ж(^т, ¿о, у) || = а и ||ж(4, ¿о, у) || ^ [§, «] Для любого £ € [£т, Не умаляя общности,

считая, что Т1 > Ь* и £1 > Ь*, представим отрезок [т\, Ь] в виде объединения множеств 11 и 12, где

ч

II = и^"] и 12 = [Т1,*]\II.

т=1

Принимая во внимание третье условие теоремы и замечание 1, оценим

Ш1

12 12 /2 и 11

Теперь воспользуемся равенством (3), вторым условием теоремы и оценкой (8):

г

у(г) < у(т1) + ! Ш1(т,х(т,го,ф)) йт < у(т1)+ ! Ж1 (т,х(т,Ьо,у)) йт +

Т1 /1

Г Ч(г) 7

+ Ш1(т,х(т,Ьо,ч>)) ¿т < у(п)+М / Ш1(т,х(т,Ьо,ч>)) йт <

/2

ч

< у(п)+М - в (£т - £т) — -Ю при Ь — + Ю,

т=1

в силу того, что £т — £т ^ а/2М1 и д(Ь) — при Ь — Таким образом, в этой ситуации вновь получаем противоречие с условием неотрицательности функции у(Ь). Теорема доказана.

4. Об асимптотической устойчивости. Рассмотрим систему (1) и предположим, что она имеет нулевое решение, а также откажемся от предположения равномерной ограниченности компонент вектор-функции ](Ь,х,у) относительно Ь ^ 0 на множестве ||х|| ^ Н, ||у|| ^ Н.

Теорема 2. Если для системы (1) существуют непрерывные на множестве К+ х X функционалы V(Ь,хг) и Ш(Ь,хг) такие, что

1) V1(У|||х(Ь)||) ^ V(Ь,хг) ^ V2(У|||хг||ь), где функции V1(r) и V2(r) положительно определены на множестве 0 ^ г ^ Н;

2) V\(1)(Ь,хг) = Ш(Ь,хг) ^ W1(t,x), где функция W1 отрицательно определена на множестве Х(Ь) ^ ||х|| ^ Н;

3) для любого Ь ^ 0 найдется х* € Еп, для которого Ш1(Ь, х*) = 0 и существует

число М ^ 0 такое, что вир Ш1(т,х) йт ^ М;

0 II II

4) Х

> 0 и Х(Ь) —> 0 при Ь —> тогда нулевое решение

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

Доказательство. Покажем, что нулевое решение системы (1) устойчиво по Ляпунову, т. е. для любого е > 0, для любого Ьо ^ 0 существует 6 = 6(е, Ьо) > 0 такое, что для любой функции у(Ь), удовлетворяющей соотношению ЦуЦь < 6, выполнено \\х(Ь, Ь0, у) || < е для всех Ь ^ Ь0.

Рассмотрим произвольное е > 0 и определим число

П = V

В силу положительной определенности функции У2(г), найдем число Д € (0, е) такое, что

тах У2

Пользуясь третьим условием теоремы и замечанием 1, определим момент ¿1 ^ 0 так, чтобы

/т]

эир И7!

г

Из четвертого условия теоремы следует, что существует момент Ь2 ^ 0 такой, что Х(г) < Д при г ^ ¿2- Положим Т = тах{*о, ¿1, ¿2} и, пользуясь теоремой об интегральной непрерывности [3], найдем 5 € (0, е] такое, что ||х(г,г0,¥)\\ < Д при \\ф\\к < 5 для любого г € [¿0 ,Т].

Рассмотрим произвольную начальную функцию удовлетворяющую условию \\Щ\к < и покажем, что ||ж(£)|| = ¿о, || < е Для любого £ ^ ¿о- Пусть это не так, тогда найдется момент Т2 ^ Т такой, что ||ж(Т2)|| = е. В этом случае для интегральной кривой х{Ь) возможны две ситуации:

(A) существует Т\ € [Т, Т2) такой, что ||ж(Т1)|| = Л(Т\) и ||ж(£)|| ^ А(£) для всех

г € (ТиТ2);

(B) найдется система интервалов (тк,тк) € [Т,Т2), к = 1,...,т, такая, что ||ж(г)|| < х(г) при t € (тк,тк) и ||ж(г)|| > х(г) при t е [тк,тк+1].

В ситуации (А), используя второе условие теоремы и соотношения (3), (9), (10), придем к следующему противоречию:

П ^ ^Т) < у(Т-1 ) < п.

В ситуации (В), воспользовавшись третьим условием теоремы, замечанием 1, а также соотношениями (3) и (11), получим

Т2 Т2

у(Т2) < у(Т) + [ ^(¿,ж(£))сЙ: < у(Т) + [ эир < у(Т) + -.

ТТ

Следовательно, применяя (9) и (10), придем к такому противоречию:

77 < ь(Т2) < ь(Т) + \ <1 + 1 = 1.

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

ЗамечаниеЗ. Отметим, что применение приведенных теорем может быть полезно в случае исследования поведения решений систем с возмущениями

х = Г (г, х(г), х(г — н)) + я(г, хг),

если относительно системы х = Г(г,х(г),х(г — Н)) известно, что она имеет асимптотически устойчивое в целом нулевое решение и вектор возмущений таков, что

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

х= —2х3

t

и функционал V = x4(t) + f x6(s) ds. Нетрудно убедиться в том, что функционал

t-h

является непрерывным! в смысле определения 4 и удовлетворяет первому условию теоремы 1, где Vi(||x||) = ||x||4, а V2(||x||h) = \\x\\h + h||x||h. Рассмотрим функционал W(t,xt) = —7x6(t) + 4x3(t)x3(t — h) + 4x3(t)e-t — x6(t — h). Он также является непрерывным в смысле определения 4. На произвольном решении x(t) = x(t,to,у) уравнения (12) функция v(t), которую можно найти, пользуясь основными правилами дифференцирования, совпадает с W(t, xt(to,ф)), за исключением, быть может, конечного набора точек, которые порождаются точками разрыва первого рода начальной функции у. Тогда, исходя из определения 5, действительно выполнено

V\(12)(t,xt)= W (t,xt).

При этом будем иметь

W(t, xt) = —7x6(t) + 4x3(t)x3(t — h)+ 4x3(t)e-t — x6(t — h) =

= —3x6(t) — (2x3(t) — x3(t — h)) + 4x3(t)e-t < < —3x6(t)+4\x(t)\3 e-t = W1(t,x(t)). В качестве функций Wi (t,x) и X(t) из условий теоремы 1 возьмем

W^t.x) = -Зх6 +А\х\3е-г и A(i) = 2e"3, тогда будут справедливы оценки

W\(t,x) ^ ~2х6 на множестве \х\ ^

т. е. функция Wi(t,x) отрицательно определена на множестве \x\ ^ X(t), и

+^

/ sup W1(t,x) dT < 32 e-2T dr

I \x\<2e~f I

'-2T - 16,

т. е. выполнено третье условие теоремы 1. С учетом замечания 2 выполнены все условия теоремы 1, и значит, положение х = 0 является для уравнения (12) асимптотическим положением покоя в целом.

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

Литература

1. Красовский Н. Н. Некоторые задачи теории устойчивости движения. М.: Гос. изд-во физ.-мат. лит., 1959. 211 с.

2. Беллман Р., Кук К. Дифференциально-разностные уравнения / пер. с англ. А. М. Зверки-на, Г. А. Каменского; под ред. Л. Э. Эльсгольца. М.: Мир, 1967. 548 с.

3. Хейл Дж. Теория функционально-дифференциальных уравнений / пер. с англ. С. Н. Ши-манова; под ред. А. Д. Мышкиса. М.: Мир, 1984. 421 с.

4. Зубов В. И. Лекции по теории управления. М.: Наука, 1975. 496 с.

5. Зубов В. И. К теории линейных стационарных систем с запаздывающим аргументом // Изв. вузов. Математика. 1958. № 6. С. 86—95.

6 Зубов В. И. Колебания и волны. Л.: Изд-во Ленингр. ун-та, 1989. 416 с.

7. Купцова С. Е. Асимптотически инвариантные множества // Процессы управления и устойчивость: Труды 37-й междунар. науч. конференции аспирантов и студентов / под ред. А. В. Платонова, Н. В. Смирнова. СПб.: Изд-во С.-Петерб. ун-та, 2006. С. 50-56.

8. Зубов С. B. О расчетной устойчивости одного класса нелинейных систем // Процессы управления и устойчивость: Труды 37-й междунар. науч. конференции аспирантов и студентов / под ред. А. В. Платонова, Н. В. Смирнова. СПб.: Изд-во С.-Петерб. ун-та, 2006. С. 29-33.

9. Тихомиров О. Г., Темкина Е. В. Асимптотическое положение покоя для систем однородных нестационарных дифференциальных уравнений // Вестн. С.-Петерб. ун-та. Сер. 10. Прикладная математика. Информатика. Процессы управления. 2014. Вып. 2. С. 58-65.

10. Ekimov A. V., Svirkin M. V. Analysis of asymptotic equilibrium state of differential systems using Lyapunov function method // 2015 Intern. conference "Stability and control processes" in memory of V. I. Zubov (SCP). Saint Petersburg: IEEE, 2015. P. 45-47.

11. Купцова С. Е. Асимптотические положения покоя в системах разностных уравнений // Системы управления и информационные технологии. 2014. № 2 (56). C. 67-71.

12. Kuptsov S. Yu., Kuptsova S. E., Zaranik U. P. On asymptotic quiescent position of nonlinear difference systems with perturbations // 2015 Intern. conference "Stability and control processes" in memory of V. I. Zubov (SCP). Saint Petersburg: IEEE, 2015. P. 20-22.

13. Kharitonov V. L. Time-delay systems: Lyapunov functionals and matrices. Basel: Birkhauser, 2013. 311 p.

14. Кудрявцев Л. Д. Курс математического анализа: в 3 т. 2-е изд., перераб. и доп. М.: Высшая школа, 1988. Т. 1. 712 c.

Статья рекомендована к печати проф. А. П. Жабко.

Статья поступила в редакцию 2 ноября 2017 г.; принята к печати 15 марта 2018 г. Контактная информация:

Купцова Светлана, Евгеньевна — канд. физ.-мат. наук, доцент; sekuptsova@yandex.ru Купцов Сергей Юрьевич — канд. физ.-мат. наук; srgkuptsov@yandex.ru Степенко Николай Анатольевич — канд. физ.-мат. наук, доцент; nick_st@mail.ru

On the limiting behavior of a time-delay system's solutions

S. E. Kuptsova1, S. Yu. Kuptsov2, N. A. Stepenko1

1 St. Petersburg State University, 7-9, Universitetskaya nab., St. Petersburg, 199034, Russian Federation

2 OOO "OGS Russia", 21a, Gakkelevskaya str., St. Petersburg, 197227, Russian Federation

For citation: Kuptsova S. E., Kuptsov S. Yu., Stepenko N. A. On the limiting behavior of a time-delay system's solutions. Vestnik of Saint Petersburg University. Applied Mathematics. Computer Science. Control Processes, 2018, vol. 14, iss. 2, pp. 173-182. https://doi.org/10.21638/11702/ spbu10.2018.210

In the present paper, we study motions of time-delay systems that have limiting behavior for an unbounded increase in time in the case when the limit sets might not be invariant with respect to initial differential-difference equations. The concept of an asymptotic quiescent position for the trajectories of time-delay systems is introduced. By the use of the Lyapunov functionals method, sufficient conditions for the existence of an asymptotic quiescent position for systems of differential-difference equations were obtained. In the case when a general

system has a trivial solution, new sufficient conditions for its asymptotic stability are obtained. Namely, the condition of the negativity of the time-derivative of Krasovskii functionals is weakened.

Keywords: Time-delay systems, asymptotic stability, asymptotic quiescent position, Lyapu-nov functions.

References

1. Krasovskii N. N. Nekotorye zadachi teorii ustoichivosti dvizhenia [Some problems of the theory of stability of motions]. Moscow, State Publ. of Phys. and Math. Literature, 1959, 211 p.

2. Bellman R., Cooke K. L. Differencial-difference equations. New York, Academic Press, 1963, 482 p.

3. Hale J. Theory of functional differential equations. New York, Springer Press, 1977, 365 p.

4. Zubov V. I. Lektsii po teorii upravlenia [Lectures on theory of control]. Moscow, Nauka Publ., 1975, 496 p.

5. Zubov V. I. K teorii lineinyh statsionarnyh sistem s zapazdyvayuschim argumentom [To the theory of linear time-delay systems]. Izvestiia visshikh uchebnih zavedenii. Matematika [Proc. of Higher Educational Institutions. Mathematics], 1958, no. 6, pp. 86—95.

6. Zubov V. I. Kolebania i volny [Oscillations and waves]. Leningrad, Leningr. State University Publ., 1989, 416 p.

7. Kuptsova S. E. Asimptoticheski invariantnye mnojestva [An asymptotically invariant sets]. Control Processes and Stability

8. Zubov S. V. O raschotnoi ustoichivosty odnogo klassa nelineinyh sistem [On the rated stability of a class of nonlinear systems]. Control Processes and Stability

9. Tikhomirov O. G., Temkina E. V. Asimptoticheskoe polojenie pokoia dlia sistem odnorodnyh nestatsyonarnyh differentialnyh uravnenii [Asymptotic quiescent position for systems of homogeneous non-autonomous differential equations]. Vestnik of Saint Petersburg University. Series 10. Applied Mathematics. Computer Science. Control Processes, 2014. iss. 2, pp. 58-65.

10. Ekimov A. V., Svirkin M. V. Analysis of asymptotic equilibrium state of differential systems using Lyapunov function method. 2015 Intern. conference "Stability and control processes" in memory of V. I. Zubov (SCP). Saint Petersburg, IEEE, 2015, pp. 45-47.

11. Kuptsova S. E. Asimptoticheskie polojenia pokoia v sistemah raznostnyh uravnenii [The asymptotic rest positions in the systems of difference equations]. Sistemy upravleniia i informatsionnye tekhnologii [Control Systems and Information Technology], 2014, vol. 56, no. 2, pp. 67-71.

12. Kuptsov S. Yu., Kuptsova S. E., Zaranik U. P. On asymptotic quiescent position of nonlinear difference systems with perturbations. 2015 Intern. conference "Stability and control processes" in memory of V. I. Zubov (SCP). Saint Petersburg, IEEE, 2015, pp. 20-22.

13. Kharitonov V. L. Time-delay systems: Lyapunov functionals and matrices. Basel, Birkhauser Press, 2013, 311 p.

14. Kudryavtsev L. D. Kurs matematicheskogo analiza [A course in mathematical analysis]. In 3 vol. Moscow, Vysshaya shkola Publ., 1988, vol. 1, 712 p.

Author's Information:

Kuptsova Svetlana E. — PhD Sci. in physics and mathematics, associate professor; sekuptsova@yandex.ru

Kuptsov Sergey Yu. — PhD Sci. in physics and mathematics; srgkuptsov@yandex.ru

Stepenko Nikolai A. — PhD Sci. in physics and mathematics, associate professor; nick_st@mail.ru