Введение 3
Постановка задачи 5
Обзор литературы 7
Глава 1. Метод Ляпунова-Красовского 9
1.1 Описание метода 9
1.2 Достаточные условия устойчивости 10
Глава 2. Метод Ляпунова-Разумихина 13
2.1 Вспомогательные утверждения 13
2.2 Достаточные условия асимптотической устойчивости 15
2.3 Исследование робастности 18
2.4 Случай смешанного запаздывания 20
Выводы 23
Заключение 23
Список литературы 24
Многие математические модели в естественных науках, инженерии и экономике описываются с помощью дифференциальных уравнений. Обыкновенные дифференциальные уравнения подразумевают зависимость скорости от текущего состояния объекта и, быть может, момента времени. Однако скорость некоторых процессов зависит не только от текущего, но и от некоторого предыдущего состояния.
Например, известно [2], что обыкновенное дифференциальное уравнение П. Ф. Ферхюльста хорошо описывает динамику популяции простейших микроорганизмов, но не подходит для моделирования численности большинства млекопитающих. Этот процесс описывается уже дифференциально-разностным уравнением, которое предложил Г. Хатчинсон [14], запаздывание в нем учитывает тот факт, что особь полноценно вступает во внутривидовую конкуренцию при достижении репродуктивного возраста.
Для таких математических моделей исследуют устойчивость по Ляпунову [8] положений равновесия. Для этого анализируют, как изменяется траектория движения при малых изменениях начальных данных от положения равновесия. Это позволяет анализировать и прогнозировать естественные процессы, проектировать надежные системы, строить стабилизирующие управления объектами и решать другие задачи.
Часто математическая модель задана системой дифференциальных уравнений, которые затруднительно проинтегрировать аналитически. В таком случае рассматривают некоторое приближение системы в окрестности положения равновесия. Доказано [8], что при выполнении определенных условий свойства устойчивости совпадают для исходной и приближенной систем, поэтому разумно исследовать свойства аппроксимирующих систем.
Наиболее изученным классом таких систем являются линейные системы дифференциальных уравнений. Для них известны способы построения решений и критерии устойчивости. Однако возможна ситуация, когда первое в широком смысле приближение не содержит линейных членов, в этом случае появляются однородные уравнения порядка выше 1.
Для анализа устойчивости в работе используется прямой метод Ляпунова. Рассматриваются два способа обобщения этого метода на дифференциально-разностные системы: подход Н. Н. Красовского [7] и подход Б. С. Разумихина [10]. Красовский предложил рассматривать функционалы, зависящие от участка траектории. Этот подход позволяет получить критерий устойчивости и является более общим, но функционалы исследовать сложнее, чем функции. Разумихин же предложил исследовать функции, но рассматривать их производные вдоль непрерывных функций, удовлетворяющих специальному условию. Этот подход позволяет получить лишь достаточные условия, но для некоторых классов систем осуществляется намного проще. В работе используются оба подхода.
Задержки в моделируемых процессах имеют разную природу, поэтому в дифференциально-разностных уравнениях используются различные запаздывания. Широко распространено постоянное запаздывание, например, оно используется в уже упомянутой модели Хатчинсона. Кроме того, запаздывание может линейно возрастать с течением времени, например, при моделировании перемешивания содержимого смесительного бака [5], движения по кольцевой дороге [17] или работы информационного сервера [4].
В работе исследуется устойчивость одного класса однородных дифференциально-разностных систем с линейно возрастающим запаздыванием. Работа имеет следующую структуру. После введения идут постановка задачи и обзор литературы по данной теме. Далее следует основная часть, состоящая из двух глав. Первая глава посвящена подходу Красовского. В ней построен функционал Ляпунова-Красовского для одного однородного уравнения с линейно возрастающим запаздыванием, и на его основе получены достаточные условия устойчивости нулевого решения этого уравнения. Во второй главе рассматривается подход Разумихина, и на его основе получены достаточные условия асимптотической устойчивости нулевого решения одной однородной системы с линейно возрастающим запаздыванием. Кроме того, во второй главе исследуются робастная устойчивость и система со смешанным запаздыванием. В конце работы представлены выводы и заключение.
В результате работы получены достаточные условия устойчивости и асимптотической устойчивости для некоторых классов систем однородных дифференциальных уравнений с линейно возрастающим запаздыванием.
Также построен функционал, с помощью которого можно анализировать устойчивость нулевого решения одного класса однородных дифференциальных уравнений с линейно возрастающим запаздыванием.
[1] Беллман Р., Кук К. Дифференциально-разностные уравнения. М.: Мир, 1967. 548 с.
[2] Братусь А. С., Новожилов А. С., Платонов А. П. Динамические системы и модели биологии. М: ФИЗМАТЛИТ, 2010. 400 с.
[3] Гребенщиков Б. Г., Новиков С. И. О неустойчивости системы с линейным запаздыванием, приводимой к сингулярно возмущенной системе // Известия вузов. Математика, 2010. Вып. 2, С. 3-13
[4] Жабко А. П., Чижова О. Н. Анализ устойчивости однородного дифференциально-разностного уравнения с линейным запаздыванием // Вестник СпбГУ, 2015. Сер. 10. Вып. 3. C. 105-115
[5] Жабко А. П., Чижова О. Н. Гибридный метод анализа устойчивости линейных дифференциально-разностных систем с линейно возрастающим запаздыванием // Вестник ТГУ, 2015. Т. 20. Вып. 4. C. 843-850
[6] Зубов В. И. Устойчивость движения. М.: Высшая школа, 1984. 232 с.
[7] Красовский Н. Н. Некоторые задачи теории устойчивости движения. М.: ГИЗ ФИЗМАТЛИТ, 1959. 211 с.
[8] Ляпунов A.M. Общая задача устойчивости движения. Л.: Гостехиздат, 1950. 472 с.
[9] Меденников И. П. Прямой метод анализа устойчивости систем с линейно возрастающим запаздыванием // Вестник СпбГУ, 2014. Сер. 10. Вып. 3. C. 125-140
[10] Разумихин Б. С. Применение метода Ляпунова к задачам устойчивости систем с запаздыванием // АиТ, 1960. Т. 21. Вып. 6. С. 740-748.
[11] Харитонов В. Л. Функционалы Ляпунова с заданной производной. I. Функционалы полного типа // Вестник СпбГу, 2005. Сер. 10. Вып. 1. С. 110-117
[12] Харитонов В. Л. Функционалы Ляпунова с заданной производной. II. Матрицы Ляпунова // Вестник СпбГу, 2005. Сер. 10. Вып. 2. С. 199-207
[13] Эльсгольц Л. Э., Норкин С. Б. Введение в теорию дифференциальных уравнений с отклоняющимся аргументом. М.: Наука, 1971. 296 с.
[14] Hutchinson G. Circular causal systems in ecology // Annals of the New York Academy of Sciences. 1948. no. 50. p. 221-246.
[15] Kharitonov V. L.,ZhabkoA. P. Lyapunov-Krasovskii approach to the robust stability analysis of time-delay systems // Automatica, 2003. Vol. 39. P. 15-20.
...