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

УДК 517.929 © К. М. Чудинов

О ТОЧНОСТИ ДОСТАТОЧНЫХ УСЛОВИЙ УСТОЙЧИВОСТИ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ С ЗАПАЗДЫВАНИЕМ

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

Ключевые слова: уравнение с последействием, устойчивость, точные условия.

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

X(t) + a(t)x(t — r(t)) = 0, t ^ 0, (1)

для которого ниже везде полагаем a(t) ^ 0 и r(t) ^ 0 для всех t ^ 0.

В случае a(t) = a, r(t) = и следующий факт давно является математическим фольклором: если 0 < аи < п/2, то уравнение экспоненциально устойчиво; если 0 ^ аи ^ п/2, то устойчиво по Ляпунову; если аи > п/2, то неустойчиво. Этот результат обобщен [1] на случай r(t) = и, a(t) = a(t + и): в частности, необходимым и достаточным условием асимптотической устойчивости оказывается справедливость неравенств 0 < a(t) dt < п/2.

Первый эффективный признак устойчивости уравнения с переменным запаздыванием был получен А.Д. Мышкисом [2]: уравнение (1) является асимптотически устойчивым, если infa(t) > 0 и supt^0 a(t) supt^0 r(t) < 3/2. Это условие устойчивости, в отличие от приведенных выше, не является необходимым, но константа 3/2 является точной: если увеличить ее на любое число е > 0, утверждение об устойчивости становится, вообще говоря, неверным. Результат Мышкиса многократно переоткрывался, уточнялся и обобщался. Несколько основных достижений такого рода рассмотрены работе [3], авторы которой, как и некоторые другие исследователи в последние годы, рассматривают константы п/2 и 3/2 как фундаментальные и поднимают вопросы о существовании настолько же фундаментальных констант для необходимых условий неустойчивости.

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

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

x(n + 1) — x(n) + b(n)x(n — h(n))=0, n = 0,1,2,..., (2)

являющееся дискретным аналогом уравнения (1). Здесь b(n) ^ 0, h(n) € N U {0}. К сегодняшнему дню получено несколько точных достаточных условий устойчивости уравнения (2) в виде оценок сверху суммы коэффициентов b(n) на промежутке определенной длины (возможно, зависящей от n). В качестве верхних границ области устойчивости выступают как константы п/2 и 3/2, так и другие числа. Обратим внимание на следующий результат [4]. Пусть h(n) = р. Тогда уравнение (2) асимптотически устойчиво, если Ь(п) = оо и limra^00 Yln-2pb(k) < 2.

Этот результат соотнесем со следующим [5] признаком устойчивости для периодического уравнения вида (1). Пусть r(t) = и и a(t) = a(t + 2и). Уравнение (1) асимптотически устойчиво, если 0 < /02ш a(t) dt < 2.

Нетрудно показать, что оба последних признака устойчивости являются точными. Например, в первом случае положим

bin) = <№’ П = fc(2p + 1);''' ’ k(-2p + + A

I 0, n = k(2p + 1) + р + 1,... , (k + 1)(2р + 1) — 1.

Имеем: Yl^Lo Ь{п) = оо, limra^00 Yln-2p b(k) = 2 + e, решения неограниченно растут.

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

Теорема 1. Уравнение (1) устойчиво по Ляпунову, если supt^o 1^-2ш a(s) ds ^ 2; экспоненциально устойчиво, если J0°° a(t) dt = оо и lim^oo /^_2ш a(s) ds < 2.

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

Т еорема 2. Для любых Q > 2и и е > 0 найдется неустойчивое уравнение (1), для которого lim^oo Ип a(s) ds < 2 + е-

Аналогами теорем 1 и 2 являются следующие.

Теорема 3. Уравнение (2) устойчиво по Ляпунову, если supn ^fc=n-2p a(k) ^ 2; экспоненциально устойчиво, если^fc=o a(n) = то и supra^n=n-2p a(k) < 2.

Теорема 4. Для любых Q ^ 2р +1 и е> 0 найдется неустойчивое уравнение (2), для которого Нт^-юо Y^k=n-п aW < 2 + e.

Отметим некоторый недостаток приведенных теорем. Для этого приведем наиболее сильную из теорем о 3/2 для уравнения (1) [6]: неравенство lim a(s) ds < 3/2 влечёт оценку

функции Коши (по другой терминологии, фундаментального решения) уравнения (1) в виде неравенства |C(t, s)| ^ N exp | —a f^a(r) drj, где N, a > 0. Зависимость длины промежутка интегрирования от t, в частности, позволяет рассматривать уравнения с неограниченным запаздыванием. Длина промежутка в теореме 1 постоянна, хотя ее доказательство показывает, что это условие можно снять. Вопрос в том, как сделать это оптимальным образом.

Теоремы 1-4 естественным образом обобщаются на случай уравнения с несколькими запаздываниями.

Список литературы

1. Зверкин A.M. К теории линейных дифференциальных уравнений с запаздывающим аргументом и периодическими коэффициентами // ДАН СССР. 1959. Т. 128. № 5. С. 882-885.

2. Мышкис А.Д. О решениях линейных однородных дифференциальных уравнений первого порядка устойчивого типа с запаздывающим аргументом // Математический сборник. 1951. Т. 28. № 3. С. 641-658.

3. Berezansky L., Braverman E. On some constants for oscillation and stability of delay equations // Proc. Amer. Math. Soc. 2011. Vol. 139. № 11. P. 4017-4026.

4. Yu J.S., Cheng S.S. A stability criterion for a neutral difference equation with delay // Appl. Math. Lett. 1994. Vol. 7. № 6. P. 75-80.

5. Шиманов С.Н., Долгий Ю.Ф. О существовании зоны устойчивости для одного уравнения с запаздыванием // Устойчивость и нелинейные колебания: межвуз. сб. научн. тр. Уральск. гос. ун-та. Свердловск, 1988. С. 11-18.

6. Малыгина В.В. Некоторые признаки устойчивости уравнения с запаздывающим аргументом // Дифференциальные уравнения. 1992. Т. 28. № 10. С. 1716-1723.

Поступила в редакцию 15.02.2012

K. M. Chudinov

On sharpness of sufficient conditions of stability for differential equations with delay

For stability of nonautonomous linear scalar equations with retarded argument and nonnegative coefficient, we consider conditions that have the form of an upper estimate for the integral of the coefficient over a certain interval. It is demonstrated that 2 is the least upper bound for the set of values of the integral that guarantee stability for some lenth of the interval of integration. The analogous result is obtained for a difference equation.

Keywords: differential equation with several delays, stability, effective conditions, explicit conditions.

Mathematical Subject Classifications: 34K20, 39A30

Чудинов Кирилл Михайлович, к.ф.-м.н., доцент, Пермский национальный исследовательский политехнический университет, 614990, Россия, г. Пермь, Комсомольский пр., 29. E-mail: cyril@list.ru

Chudinov Kirill Mikhailovich, Candidate of Physics and Mathematics, Associate Professor, Perm National Research Polytechnic University, Komsomolskii pr., 29, Perm, 614990, Russia