Асимптотические свойства решений систем обыкновенных дифференциальных уравнений с малой нелинейностью тема диссертации и автореферата по ВАК РФ 01.01.02, кандидат физико-математических наук Крыжевич, Сергей Геннадьевич

• Крыжевич, Сергей Геннадьевич
• кандидат физико-математических наук
• 2000

Оглавление диссертации кандидат физико-математических наук Крыжевич, Сергей Геннадьевич

Введение.

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

1.1 Полугиперболичные системы.

1.2 Линейные неоднородные системы, имеющие экспоненциально убывающее решение.

1.3 Примеры слабо гиперболичных систем.

1.4 Свойства систем, обобщенно приводимых к гиперболичным на некотором семействе отрезков.

2 Условная устойчивость нулевых решений систем со слабо гиперболичной линейной частью

2.1 Зависимость условной устойчивости от порядка малости нелинейного возмущения.

2.2 Некоторые следствия теоремы 2.1.

2.3 О возмущениях, липшицевых по фазовым переменным

2.4 Условная устойчивость и обобщенная приводимость

2.5 Поведение решений возмущенной системы, начинающихся вне устойчивого многообразия.

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

3.1 Связь между центральными показателями линейных систем и устойчивостью нулевых решений возмущенных систем

3.2 Критерий условной неустойчивости.

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

3.4 О сохранении некратных показателей при экспоненциально малых возмущениях.

Введение диссертации (часть автореферата) на тему «Асимптотические свойства решений систем обыкновенных дифференциальных уравнений с малой нелинейностью»

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

Сформулируем основную задачу, решаемую в настоящей работе. Рассматриваются линейная система размерности п с кусочно-непрерывной при t ^ t0 матрицей коэффициентов и нелинейная гладкая по х вектор - функция /(£,#), обращающаяся в 0 при х = 0. Выясняется, каким условиям должны удовлетворять система (0.1) и возмущение /, чтобы пространству размерности к, состоящему из всех решений системы (0.1) с характеристическими показателями, меньшими некоторого заданного числа а, соответствовало к - мерное многообразие начальных данных, определяющих решения системы имеющие характеристические показатели, меньшие некоторого числа ¡3.

Основополагающие результаты в этой области были получены Ляпуновым [26] и Перроном [62]. A.M. Ляпунов в своей знаменитой диссертационой работе доказал теорему об условной устойчивости нулевого решения системы (0.2) в случае, когда система (0.1) является правильной, а функция f(t,x) при любых t ^ to удовлетворяет условию , 0) = 0 и равномерно аналитична по х в цилиндре х = A(t)x

0.1) х = A(t)x + f(t, ж),

0.2)

Я = [t0, со) х U С R х R' П где 11 — некоторая окрестность нуля в М.п. Автору в работе [21] удалось ослабить последнее требование.

О. Перроном был получен результат об условной устойчивости нулевого решения системы (0.2) в случае, когда система (0.1) гиперболична, а возмущение / удовлетворяет в некоторой окрестности нуля в К™ условию Липшица для достаточно малой положительной константы /. (Здесь и далее символ || • || обозначает некоторую векторную норму в М.п и соответствующую ей матричную норму.)

Важные результаты, связанные с рассматриваемой задачей, были получены Б. Ф. Быловым [6, 7], Р. Э. Виноградом [6, 9], Д. М. Гробма-ном [6, 10], Н. А.Изобовым [5, 7], [14] — [20], В.М.Миллионщико-вым [28] — [38], А. М.Нурматовым [42], В.А.Плиссом [46] — [49], Р.А.Прохоровой [50], А.С.Фурсовым [56] — [59] и другими авторами.

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

В главе 1 вводятся классы так назваемых слабо гиперболических линейных систем \\ГН(А,£), определенные при А > 0 и е ^ 0. Система (0.1) считается принадлежащей классу \¥Н(А, г), если существует такое число К > 0, что если вектор - функция д{1) при £ ^ £0 Удовлетворяет оценке

0.3) <ехр(-А(1+е)*) то система х = А(Ь)х + д(г)

0.4) имеет решение ср^) такое, что

И*)||<*ехр(-А*).

Кроме того, введены более узкие классы 8Н(Л,е) линейных систем, для которых упомянутое выше решение (р{£) может быть найдено по конкретным формулам (1.17).

Главным результатом диссертации является теорема 4.1, обобщающая теоремы Ляпунова, Перрона и Гробмана, а также позволяющая рассмотреть ряд малоисследованных проблем, связанных с условной устойчивостью про первому приближению. В частности, результаты вышеупомянутой теоремы применимы в ситуации, когда матрица коэффициентов системы (0.1) неограничена, или, например, в случае, когда коэффициент неправильности системы (0.1) велик, но возмущение /(¿,ж) в системе (0.2) имеет достаточно высокий порядок малости по х в окрестности нуля.

Утверждение теоремы 4.1 сводится к следующему. Если линейная часть (0.1) системы (0.2) принадлежит классу \¥Н(А,е), а возмущение /(¿, х) удовлетворяет некоторому условию малости по х, также зависящему от А и £, то нулевое решение системы (0.2) условно устойчиво по первому приближению.

При доказательстве этой теоремы использован новый вариант метода последовательных приближений, сходимость которого обеспечивается тем, что система (0.1) принадлежит классу \¥Н(А,г).

В главе 1 приведены результаты, показывающие, что введенные классы слабо гиперболичных систем достаточно широки, и обосновывающие тем самым практическую ценность теоремы 4.1. Исследовано, как меняются константы А и е слабой гиперболичности системы (0.1) при линейных преобразованиях фазовых координат. Приведен ряд результатов о существовании у линейных неоднородных систем ограниченных решений и решений с неположительным характеристическим показателем. Показано, каким образом, используя данные теоремы, можно привести необходимые и достаточные условия слабой гиперболичности линейной системы. Решена задача В.М. Миллионщикова [36].

В параграфе 3 главы 1 выяснено, что в классы ШН(А, е) входят системы, приводимые к гиперболическим на каждом из отрезков семейства, дающего в объединении луч [¿о, сю)

Утверждения теорем 1.2, 1.6 и 2.4 показывают связь между константами слабой гиперболичности системы (0.1) и ее коэффициентом неправильности.

Теоретическую ценность полученных результатов иллюстрирует теорема 2.7. С использованием свойств классов 8Н(А,г) доказывается предельный случай теоремы Былова-Винограда [б, теорема 15.2.1]. Выяснено, что если в условии интегральной разделенности [6, с.208, формула (15.4)] положить соответствующую константу а равной нулю и допустить в условии самой теоремы обобщенные ля-пуновские преобразования вместо ляпуновских, то при возмущениях порядка малости выше первого утверждение об условной устойчивости нулевого решения остается справедливым.

Исследовано поведение решений, начинающихся вне устойчивых поверхностей. Методами, близкими к тем, что используются при изучении свойств решений систем с гиперболической линейной частью, получаются результаты о свойствах решений систем со слабо гиперболической линейной частью, начинающихся вне устойчивой поверхности ]У8, близкие к теореме 2.2 из книги [45].

В первом параграфе главы 3 доказывается необходимость условий устойчивости решений нелинейных систем по первому приближению, предложенных Б. Ф. Быловым, Р. Э. Виноградом, Д. М. Гроб-маном и В. В. Немыцким в книге [6]. Основной результат этого параграфа представляет собой обобщение известной теоремы В. М. Миллионщикова о достижимости центральных показателей, приведенной в работе [29].

В параграфе 2 этой главы изучается задача о сохранении спектра линейной системы при добавлении линейного возмущения с экспоненциально убывающей по норме матрицей коэффициентов. Показано, что для того, чтобы для систем (0.2) с фиксированной линейной частью и произвольными возмущениями порядка малости выше 1 было справедливо утверждение теоремы об условной устойчивости по первому приближению необходимо, чтобы при добавлении экспоненциально убывающих линейных возмущений количество ее отрицательных показателей не уменьшалось. Таким образом, требования, изложенные в статье [42], также являются необходимыми и для условной устойчивости нулевых решений систем вида (0.2).

Исследованы достаточные условия сохранения характеристических показателей линейной системы, полученные В.М. Миллионщи-ковым. В частности, получен критерий принадлежности линейной системы классу GROD [34] в зависимости от свойств ее фундаментальной матрицы. Показано, что в случае, когда все характеристические показатели линейной системы имеют кратность 1, необходимые условия сохранения спектра, полученные A.M. Нурматовым, и достаточные условия Миллионщикова совпадают.

Итак, в работе получены следующие основные результаты.

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

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

Выяснено, что этот результат обобщает теоремы Ляпунова, Перрона и Гробмана и дает критерий условной устойчивости по первому приближению для нелинейных систем в зависимости от малости их нелинейной части. Одним из следствий этой теоремы является утверждение, обобщающее теорему Былова-Винограда.

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

Заключение диссертации по теме «Дифференциальные уравнения», Крыжевич, Сергей Геннадьевич

Заключение

Сформулируем основной результат диссертационной работы полученный в главе 2, в виде одной теоремы, обобщающей теоремы 2.1, 2.3, 2.10, 2.12 и следствие 2.1.

Теорема 4.1. Пусть А > 0, е ^ 0, II — некоторая окрестность начала координат в Мп, а система (0.1) слабо гиперболична с константами А и е. Предположим, что возмущение /(£,#), определенное в цилиндре Н = [£о5°°) х и, таково, что

1. /(£,0) = 0 для любого £ ^ £0;

2. для некоторого а ^ 1 выполнено: а. /(£,ж) принадлежит классу См по х в области Н для любого целого числа М такого, что 0 М < а; б. для любого мулътииндекса т, удовлетворяющего условию \т\ < а, выполнено: яН / в. если мулътииндекс т таков, что \т\ — М < а М 1, то д\т\х д\т\* Цг)\\хг - х2 а-М. ?

3. существуют такие числа /3 ^ 0 и I > 0, что Ь(Ь) ^ /ехр(—(ЗЬ) при достаточно больших

Пусть справедливо неравенство Л

Если системы (0.1) и (0.2) удовлетворяют перечисленным выше условиям, то при достаточно малых I в случае, когда (4.1) обращается в равенство, и при любых I в противном случае справедливо следующее утверждение об условной устойчивости системы (0.2).

Существует См - гладкое и взаимно однозначное отображение д некоторой окрестности нуля из в К" такое, что выполнены следующие условия.

1. д(0) = 0.

2. Если Ф(£) = (Х[(£),., Хп(£)) — нормальная фундаментальная система решений (0.1) такая, что характеристические показатели вектор - функций Х\(£),.,Хп(£) равны Ах,., Лп соответственно, а а > 1, то ] = (Х^о),., Х^(£0)) — матрица Якоби отображения д в точке 0. Если

У. = 1, то для функции Ь(у) — д(у) — Ту справедливо условие Липшица причем константа И определяется исключительно свойствами системы (0.1).

3. Для любого .то, для которого существует уо Е такое, что х0 = д(у0), (4.2) решение системы (0.2) с начальными данными а(*о) = % (4.3) имеет при I —>■ +оо характеристический показатель, не превосходящий —А.

4- Существуют а > 0 и 7 > 0 такие, что для любого удовлетворяющего условию ||т0|| < сг, и такого, что равенство (4.2) не выполнено ни для какого уо, решение соответствующей задачи Коши для уравнения (0.2) с начальными данными (4.3) не удовлетворяет ни при каком I ^ оценке х(£)|| < 7ехр(—А£).

Замечание Доказательство данной теоремы в случае, когда (4.1) не обращается в равенство, аналогично доказательству теоремы 2.1, а в противном случае — доказательству теоремы 2.3. Справедливость утверждения пункта 4 этой теоремы доказывается тем же способом, что и теорема 2.10.

Автор благодарит своего научного руководителя В.А. Плисса за постановку задач и внимание к работе.

Список литературы диссертационного исследования кандидат физико-математических наук Крыжевич, Сергей Геннадьевич, 2000 год

1. Адрианова Л. Я. Введение в теорию линейных систем дифференциальных уравнений. С.Пб.: Изд. С.-Петербургского университета, 1992., 240 стр.

2. Агафонов А.Г. О точках непрерывности показателей Ляпунова неоднородного уравнения // Успехи мат. наук. 1994. Т.49, Вып.4. С.93.

3. Барабанов А.Е. О свойствах старших <т-показателей // Дифферент уравнения. 1982. Т.18, №5. с.739-744.

4. Басов В.П. О структуре решения правильной системы // Вестн. Ленингр. ун-та. 1952. №12. с.3-8.

5. Батан С.Н., Изобов H.A. О неустойчивости характеристических показателей линейных дифференциальных систем при перронов-ских возмущениях // Дифференц. уравнения 1996. Т.32, №10. с.1341-1347.

6. Былое Б.Ф., Виноград Р.Э., Гробман Д.М., Немыцкий В.В. Теория показателей Ляпунова и ее приложение к вопросам устойчивости. М.: Наука. 1966. 576 стр.

7. Былое Б.Ф., Изобов H.A. Необходимые и достаточные условия устойчивости характеристических показателей линейной системы // Дифференц. уравнения. 1969. Т.5, №10. с.1794 1803.

8. Ветохин А.H. К одной задаче В.М. Миллионщикова // Дифферент уравнения. 1997. Т.ЗЗ, №11. с.1575.

9. Виноград Р.Э. Новое доказательство теоремы Перрона и некоторые свойства правильных систем // Успехи мат. наук. 1954. Т.9, Вып.2. с.129 136.

10. Гробман Д.М. Характеристические показатели систем, близких к линейным // Мат. сб. 1952. Т.ЗО, №1. с.121 166.

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

12. Иванов Б.Ф. Частотный критерий ограниченности решений одного класса линейных систем // Дифференц. уравнения 1997. Т.ЗЗ, №5. с.704 705.

13. Иванов Б.Ф. Частотный критерий гладкости по параметрам решений одного класса линейных систем // Дифференц. уравнения 1997. Т.ЗЗ, №7. с.1001.

14. Изобов H.A. О старшем показателе системы с экспоненциальными возмущениями // Дифференц. уравнения 1969. Т.5, №7. с.1186-1192.

15. Изобов H.A. К теории показателей Ляпунова линейных и квазилинейных дифференциальных систем // Матем. заметки. 1980. Т.28, №3. с.459-476.

16. Изобов H.A. Экспоненциальные показатели линейных систем и их вычисление // ДАН БССР. 1982. Т.26, №1. с.5-8.

17. Изобов H.A. Экспоненциальные показатели и устойчивость по первому приближению // Весщ Акадэмп Навук БССР. 1982. Сер. ф1з.-мат. навук, №6. с.9-16.

18. Изобов H.A. Верхняя граница показателей Ляпунова дифференциальных систем с возмущениями высшего порядка // ДАН БССР. 1982. Т.26, №5. с.389-392.

19. Изобов H.A. О младшем показателе двумерной линейной системы с перроновским возмущением // Дифференц. уравнения 1997. Т.ЗЗ, №5. с.623 631.

20. Изобов H.A., Степанович О.П. О свойствах коэффициента неправильности линейных систем // Дифференц. уравнения 1990. Т.26, №11. с.1899-1905.

21. Крыжевич С.Г. Обобщение теоремы Ляпунова об условной устойчивости на случай неаналитичности // Вестн. С.-Петерб. ун-та. 1998. Сер.1, Вып.4, с.32-38.

22. Крыжевич С.Г. Об условной устойчивости неаналитических систем обыкновенных дифференциальных уравнений // Вторая международная конференция «Дифференциальные уравнения и их применения». С.-Петербург. Тезисы. 1998. с.126.

23. Крыжевич С.Г. О достаточных условиях сходимости метода последовательных приближений // Третья Санкт-Петербургская ассамблея молодых ученых и специалистов. Тезисы. 1998. С.56.

24. Крыжевич С.Г. Условная устойчивость систем обыкновенных дифференциальных уравнений и полугиперболические системы // Дифференц. уравнения. 2000. Т.36, Ж, с.39-47.

25. Крыжевич С.Г. Интегральная разделенность и условная устойчивость решений обыкновенных дифференциальных систем по первому приближению // Вестник молодых ученых. 2000. Сер. Прикладная математика и механика. №3. с.34-49.

26. Ляпунов A.M. Общая задача об устойчивости движения. М., Наука, 1956. Т.2, 474 стр.

27. Мазаник С.А. Об асимптотической эквивалентности при возмущении диагональной системы // Дифференц. уравнения. 1994. Т.ЗО. №4. с.728.

28. Миллионщиков В.М. Доказательство достижимости центральных показателей линейных систем // Сибирский математический журнал. 1969. Т.10, №1 с.99-104.

29. Миллионщиков В.М. Грубые свойства линейных систем дифференциальных уравнений // Дифференц. уравнения. 1969. Т.5, №10. с.1775-1784.

30. Миллионщиков В.М. Вариант теоремы об условной устойчивости по первому приближению // Дифференц. уравнения. 1987. Т.23, №6. с.1097-1098.

31. Миллионщиков В.М. Две задачи о показателях Ляпунова линейных неоднородных систем // Дифференц. уравнения. 1992. Т.28, №6. с.1085 1086.

32. Миллионщиков В.М. Линейные системы, обобщенно приводимые к упорядочение-диагональному виду // Дифференц. уравнения. 1993. Т.29, №11. с.2020.

33. Миллионщиков В.М. Соотношение между двумя классами линейных дифференциальных систем // Дифференц. уравнения. 1994. Т.ЗО, №6. с.1093-1094.

34. Миллионщиков В.М. О вспомогательных показателях n экспоненциально инвариантных системах // Дифференц. уравнения. 1995. Т.31, №11. с.1932.

35. Миллионщиков В.М. О вспомогательных показателях и условной устойчивости по первому приближению // Дифференц. уравнения. 1995. Т.31, №11. с.1933.

36. Миллионщиков В.М. Нерешенная задача о классах линейных систем // Дифференц. уравнения. 1995. Т.31, №11. с.1935.

37. Миллионщиков В.М. О системах Ляпунова Перрона и степенных вспомогательных показателях // Дифференц. уравнения. 1998. Т.34, №6. с.856.

38. Миллионщиков В.М. Плотность систем Ляпунова Перрона в пространстве гладких линейных расширений динамических систем // Успехи мат. наук. 1998. Т.53, Вып.4. с.145-146.

39. Морозов О.И. Некоторые достаточные условия полуустойчивости сверху показателей Ляпунова линейных систем I // Дифференц. уравнения. 1992. Т.28, №8. с.1312-1317.

40. Морозов О.И. Некоторые достаточные условия полуустойчивости сверху показателей Ляпунова линейных систем II // Дифференц. уравнения. 1992. Т.28, №8. с.1724-1732.

41. Морозов О.И. Некоторые достаточные условия полуустойчивости сверху показателей Ляпунова линейных систем III // Дифференц. уравнения. 1992. Т.28, №8. с.2049-2053.

42. Hyp матов A.M. Необходимые условия устойчивости характеристических показателей Ляпунова линейных дифференциальныхсистем при экспоненциально убывающих возмущениях // Дифферент уравнения. 1989. Т.25, №3. с.335-336.

43. Нурматов A.M. Необходимые условия устойчивости характеристических показателей Ляпунова линейных дифференциальных систем при экспоненциально убывающих возмущениях // Деп. в ВИНИТИ 12.03.87, №1811-В 87.

44. Панфилов П.Г. О почти периодическом решении линейной сингулярно возмущенной системы // Дифференц. уравнения 1997. Т.ЗЗ, №4. с.563.

45. Плисс В.А. Интегральные множества периодических систем дифференциальных уравнений. М.: Наука, 1977, 304 стр.

46. Плисс В.А. Равномерно ограниченные решения линейных систем дифференциальных уравнений // Дифференц. уравнения. 1977. Т.13, №5. с.883-891.

47. Плисс В.А. Множества линейных систем дифференциальных уравнений с равномерно ограниченными решениями // Дифференц. уравнения. 1980. Т.16, №9. с.1599-1616.

48. Плисс В.А. Об устойчивости произвольной системы по отношению к малым в смысле С1 возмущениям // Дифференц. уравнения. 1980. Т.16, №10. с.1891-1892.

49. Плисс В.А. Связь между различными условиями структурной устойчивости // Дифференц. уравнения. 1981. Т.17, №5. с.828-835.

50. Прохорова P.A. Грубость LP дихотомий // Дифференц. уравнения. 1999. Т.35, т. с.856-857.

51. Рахимбердиев М.И. Об экспоненциальной разделенности систем линейных дифференциальных уравнений // Успехи мат. наук. 1994. Т.49, Вып.4. с.141.

52. Сергеев И.Н. Точные верхние границы подвижности показателей Ляпунова системы дифференциальных уравнений и поведение показателей при возмущениях, стремящихся к нулю на бесконечности // Дифференц. уравнения. 1980. Т.16, №3. с.438-448.

53. Феклин В.Г. О показателях роста линейных неоднородных систем // Дифференц. уравнения. 1996. Т.32, №6. с.852.

54. Феклин В.Г. О характеристических векторах решений линейных неоднородных систем // Дифференц. уравнения. 1997. Т.33, №6. с.850.

55. Феклин В.Г. О точности оценки характеристических векторов решений линейных неоднородных систем // Дифференц. уравнения. 1997. Т.ЗЗ, №6. с.857.

56. Фурсов A.C. Критерий существования решения с малым ростом у линейной неоднородной системы // Дифференц. уравнения. 1993. Т.29, №11. с.2011-2012.

57. Фурсов A.C. Об одном характеристическом свойстве правильных систем // Дифференц. уравнения. 1994. Т.30, №6. с.1096.

58. Фурсов A.C. Оценки наименьшего показателя некоторого класса линейных неоднородных систем // Дифференц. уравнения. 1995. Т.31, т. с.1598 1599.

59. Фурсов A.C. Обобщенно дихотомические системы // Успехи мат. наук. 1995. Т.50, Вып.4. с.96.

60. Эдварде Р. Функциональный анализ. М.: Мир, 1969, 1072 стр.

61. Kryzhevich S. G. Asymptotic characteristics of motions for the systems with small nonlinearity // Proceedings of the XXVII Summer School Nonlinear Oscillations in Mechanical Systems, held in Saint-Petersburg, September, 1-8, 1999.

62. Perron 0. Uber Stabiiitat und asymptotisches Verhalten der Integrale von Differentialgleichungssystemen // Math. Z., 29, 1929. 129— 160.