Содержание к диссертации
Введение
Глава 1. Необходимые и достаточные условия существования периодических решений систем дифференциальных уравнений 17
1.1. Основные определения и вспомогательные результаты 17
1.2. Разбиение пространства Мп(1{) на прямую сумму трех подпространств и решение уравнения в бесконечномерном подпространстве 28
Глава 2. Ненулевые решения векторных уравнений 49
2.1. Необходимое условие существования ненулевых решений векторных уравнений 49
2.2. Решение векторного уравнения в случае линейной независимости строк матрицы линейной части 53
2.3. Поиск решения векторного уравнения в случае линейной зависимости строк матрицы линейной части 55
2.4. Метод выделения параметра : 66
Глава 3. Периодические решения систем дифференциальных уравнений специального вида 76
3.1. Решение системы дифференциальных уравнений в бесконечномерном подпространстве 76
3.2. Достаточные условия существования периодических решений систем дифференциальных уравнений специального вида 82
Заключение 96
Литература 97
- Разбиение пространства Мп(1{) на прямую сумму трех подпространств и решение уравнения в бесконечномерном подпространстве
- Решение векторного уравнения в случае линейной независимости строк матрицы линейной части
- Поиск решения векторного уравнения в случае линейной зависимости строк матрицы линейной части
- Достаточные условия существования периодических решений систем дифференциальных уравнений специального вида
Введение к работе
Актуальность темы. В данной работе рассматриваются автономные нелинейные системы дифференциальных уравнений, зависящие от параметра, с матрицей при производных. Матрица при производных предполагается постоянной. Предполагается, что система имеет тривиальное решение при любом значении параметра. Задачей исследования является определение условий существования ненулевого периодического решения данной системы с заранее неизвестным периодом, который находится в окрестности заданного числа.
Проблема нахождения периодического решения является одной из основных проблем в качественной теории дифференциальных уравнений. Системы дифференциальных уравнений моделируют различные процессы в физике, химии, экономике, биологии и других науках [1, 18, 23, 35, 44, 68]. В частности, системы дифференциальных уравнений с особенными матрицами при производных необходимо исследовать при анализе моделей в теории автоматического регулирования и линейных электрических цепей [47]. Такие системы возникают при использовании метода слабой аппроксимации [73] и метода сферических гармоник [36, 53]. Исследование таких моделей во многих случаях требует решение проблемы нахождения периодического решения в зависимости от значения параметра.
Изучению периодических решений систем дифференциальных уравнений посвящено большое количество работ. Однако общего подхода к решению проблемы не существует. Так, в случае неособенной матрицы при производных недостаточно изучены критические случаи, при рассмотрении которых требуется привлекать свойства нелинейных членов системы.
В случае систем с особенной матрицей при производных даже вопрос о существовании решения в смысле классического определения остается открытым.
Исходя из вышеперечисленного, можно сделать вывод, что определение условий существования ненулевого периодического решения системы дифференциальных уравнений с заранее неизвестным периодом, который находится в окрестности заданного числа, является достаточно важной задачей. Все это подтверждает актуальность данной работы.
Цель работы. Рассмотрим систему дифференциальных уравнений вида А— + Вх + /(х,Л) = 0, (0.1) dr в которой хек", А, В - постоянные матрицы, матрица А в общем случае может быть особенной, ЛеЯ ", Л- параметр, функция /(х,Л) непрерывна по х, Л и /(0,Л) = 0 при любом значении Л. Предполагаем, что справедливо представление f(x, Л) = С(х, Л) + D(x, Л), где С(х, Л) - форма порядка s 1 относительно переменных х, Л: С(рс,іЛ) = і!С{х,Л), (0.2) й(х,Л) - конечная сумма форм более высокого порядка, чем s, относительно тех же переменных, С(0, Л) = 0, )(0, Л) = 0. Ставится задача - определить условия существования ненулевого со -периодического решения системы (0.1) в окрестности нулевого решения, когда решение представимо в виде тригонометрического ряда. При этом величина периода со принадлежит окрестности некоторого известного числа.
Рассмотрим кратко основные результаты, имеющиеся по данной проблеме.
В случае неособенной матрицы при производных проблема существования периодических решений и их бифуркаций рассматривалась в обширной литературе. Отметим работы В.В. Немыцкого, В.В. Степанова [37], И.Г. Малкина [33, 34], В.А. Плисса, М.А. Красносельского [26], исследовавших общие вопросы существования периодических решений систем, А.А. Андронова [3, 4], изучавшео динамические системы на плоско ста, а также работы Е. Хопфа, А. Пуанкаре, Дж. Хейла [61], Н.А. Бобылева [5, 6], С. А. Вавилова [14, 15], М.Т. Терехина [54-56] и других авторов [2, 13,39,40,45,46,81,82].
Рассмотрим подробнее некоторые работы, в которых период искомого решения является переменной величиной.
Так, в работе С.А. Вавилова, СВ. Юхневича [15] рассматривается система
x = Ax + if(x,s). (0.3)
Предполагается, что невозмущенная система х-Ах имеет периодическое решение периода р и исследуется вопрос о существовании периодического решения системы (0.3) при всех достаточно малых значениях параметра є.
Период искомого решения р{е) удовлетворяет условию \іт\р(є)-р Система исследуется путем построения операторных уравнений и применением метода итерации при нахождении решения и периода р(є).
Аналогичная задача рассматривается в работе [16], причем предполагается аналитичность нелинейного возмущения по л: и е.
Система (0.3) при условии, что характеристическое уравнение невозмущенной системы х = Ах имеет кратные корни, исследуется в работе А. А. Бойчука [8]. Используется разработанный автором метод решения краевых задач [7]. Отыскивается периодическое решение с периодом, близким периоду решения порождающей (невозмущенной) системы. Отметим, что если в качестве порождающего решения взять нулевое решение системы (0.3), то доказывается, что единственным периодическим решением в работах [8, 15, 16] является нулевое решение.
В работе А.Д. Брюно [12] для исследования автономных систем предлагается метод нормальных форм. С его помощью система преобразуется к интегрируемой системе или к системе, имеющей более простой вид, при этом требуется определить вид нормализующего преобразования.
= 0.
Несколько работ посвящено исследованию неавтономной системы вида
M + Bx+f(t,x,Z) = Q. (0.4)
При А = Е в работе В.Н. Лаптинского [30] методом сжатых отображений определены условия существования периодического решения системы (0.4) в виде тригонометрического полинома с наперед заданным числом гармоник и остаточным членом. В работе [29] тем же автором методом последовательных приближений без использования свойств фундаментальной матрицы системы линейного приближения доказана теорема о существовании и единственности периодического решения.
Методом последовательных приближений в работах Е.Н. Розенвассера [43, С. 357] и Л. Чезари [62, С. 202] доказано существование периодического решения системы (0.4) в виде суммы тригонометрического полинома и остатка ряда, коэффициенты полинома определяются как решение трансцендентного уравнения.
В случае особенной матрицы при производных вопрос существования периодического решения системы дифференциальных уравнений исследовался гораздо меньше. Рассмотрим литературу, посвященную сингулярным дифференциальным уравнениям.
Большинство авторов [9-11, 17, 27, 38, 63, 74-76, 78, 79, 83] рассматривают линейные дифференциально-алгебраические уравнения вида Ах + Вх = /. Существуют точные и приближенные методы решения дифференциально-алгебраических уравнений. Точные методы основаны на разбиении исходного уравнения на два уравнения, одно из которых является дифференциальным уравнением, разрешенным относительно производных.
Линейные однородные сингулярные уравнения вида Ах = Вх рассматривались в работах [27, 78, 79, 83]. В работе С.Г. Крейна и В.Б. Осипова [27] рассматривается случай, когда матрица В невырожденная, а матрица А вырожденная. Находится множество решений данного уравнения, полученные результаты используются для исследования систем уравнений в частных производных, неразрешенных относительно производных.
В работах A. Cordunenu [78] и Е. Griepentrog [79] рассмотрен случай, когда det 4 = 0 и det = 0. Исходная система приводится либо к системе дифференциальных, либо к системе алгебраических линейных уравнений. Кроме того, в работе [79] ищется решение сингулярной системы вида Ах = Вх + f , причем предполагается, что матрицы А и В перестановочные. С использованием обратных матриц Дразина, основное пространство разбивается на два подпространства, и определяются условия существования решения системы, причем полученное решение не обязательно оказывается дифференцируемым.
Общее решение системы Ax = Bx + f построено в книге Ф.Р. Ган-тмахера [17]. На основании теории сингулярных пучков матриц, с помощью строго эквивалентных преобразований пучок матриц ЯА + В приводится к канонической квазидиагональной форме. Исходная система при этом распадается на несколько отдельных подсистем. После решения подсистем делается вывод, что для совместности исходной системы в общем случае должны выполнятся некоторые определенные линейные конечные и дифференциальные зависимости (с постоянными коэффициентами) между правыми частями уравнений. Если это условие выполнены, то общее решение системы линейно зависит как от произвольных постоянных, так и от произвольных функций. Характер условий совместности и вид решений (в частности, количество произвольных постоянных и произвольных функций) определяются минимальными индексами и элементарными делителями пучка ЛА + В, поскольку от этих индексов и делителей зависит каноническая форма системы Ax = Bx + f [17, С. 331].
В работе В.В. Овчаренко [38] для решения системы Ах = Вх + / осуществляются преобразования пучка матриц ЯА + В с помощью унимоду-лярных форм [28, С. 371].
Изучению дифференцально-алгебраических уравнений посвящено несколько работ Ю.Е. Бояринцева [9-11]. Так, в работах [9, 11] исследуются системы A(t)x = B{t)x + f{t) с прямоугольными матрицами A(t) и В(і). На
Р решения накладываются дополнительные условия Uda(s))C(s)x(s) = а, где а а - заданный вектор, C(s) - заданная матрица с непрерывными на [а, Р\ элементами, a(s) - заданная матрица, элементы которой суть вещественные на [a, /J\ функции с ограниченной полной вариацией, интеграл рассматривается в смысле интеграла Стилтьеса. С помощью обратных матриц Дразина находятся формулы общих решений системы, а также доказываются теоремы о существовании и единственности решений. Исследуются вопросы управляемости и наблюдаемости подобных систем.
В работе [10] автор рассматривает автономную систему Ах = Вх + f(t). Строятся две цепочки матриц, позволяющие свести эту систему к системе, разрешенной относительно производной. Приводятся общее решение исходной системы, а также теоремы существования и единственности.
В работе В.А. Еременко [19] изучается вопрос о понижении порядка системы P(t)x = B(t)x + f(t) с периодическими коэффициентами и матрицей P(t) постоянного ранга. Выделены классы систем, для которых матрица редуцированной системы не вырождена, а также классы систем, для которых матрица вырождена, но возможна повторная редукция. Установлены условия несовместимости исходной системы.
В работах В.П. Скрипника [49-52] изучаются системы вида (A(t)x) +F(t,x) = 0. Так, в работе [52] изучаются измеримые решения вырожденных систем, причем решения понимаются в некотором обобщенном смысле, а именно решение х не является дифференцируемым, но дифференцируемой почти всюду является функция A(t)x. Решение вырожденной системы строится как предел последовательности решений невырожденных систем. Основным условием существования решения является условие устойчивости. Тем же методом доказывается существование решения в работах [50, 51]. В работе [49] для доказательства существования решения требуется, чтобы A(f) имела особую структуру, была абсолютно непрерывной и имела ограниченную производную.
В работе Н.А. Сидорова [48] рассматривается система A(l)x = B(t)x + C(t) в банаховом пространстве в окрестности особой точки операторного коэффициента A(t). Производится разбиение банахова пространства на бесконечномерные части, методами теории ветвления строятся малые и большие решения системы.
В.Ф. Чистяков в работе [63] исследовал линейные системы вида Ax(t) = Bx(t) + f(t) с вырожденной или прямоугольной матрицей Л. Используется метод понижения порядка исходной системы путем преобразования ее к виду x(t) = Bx(i)+f(t). Доказаны теоремы о существовании реше уО; ний, являющихся непрерывно дифференцируемыми функциями. Указана структура решения, которая в общем случае содержит произвольные постоянные и функции. В работах [64, 65] В.Ф. Чистяков доказал локальную теорему существования и единственности решений нелинейной системы Ax = f(t,x) в случае, когда каноническое представление матричной пары (A,f x) не содержит нильпотентных блоков степени выше единицы. Н.В.Зубов в работе [20] рассматривал системы вида Ax = F(j,x), где F(t,x) - вещественная, дважды непрерывно дифференцируемая по всем аргументам вектор-функция. Методом последовательных приближений доказана теорема существования и единственности системы. Зависимость решений сингулярных систем дифференциальных уравнений от параметра изучала СП. Зубова в работе [21].
В работах [71, 84] исследуется устойчивость решений сингулярных систем дифференциальных уравнений. Так, в работе А.А. Щеглова [71] исследуется устойчивость в смысле Ляпунова тривиального решения алгеб-ро-дифференциальных систем вида A{t)x + 5(/) = 0, где A(t), B(t) - (nxri)-матрицы, t є Т = [О, + од), det/4(0 = 0, V/ є Т. В работе [84] исследуется устойчивость однородной линейной системы Ах = Вх с вырожденной матрицей А. С помощью анализа уравнения Ляпунова получено условие устойчивости данной системы.
Г.П. Размыслович в работе [42] исследует задачу A{t)x = /(/),
(0) = °, t О, где x =Rn, А - вырожденная матрица. Показано, что эта задача имеет решение тогда и только тогда, когда для любого / 0 выполняется равенство [Е-AA )f(t) = 0, где АА А = А. В этом случае общее решение описываемой задачи имеет вид хф = х0+$А /(т)с1т + [[Е-А А)ц(т)с1т о о
где и - произвольная вектор-функция.
В работе СП. Зубовой и СА. Филатова [22] получено необходимое и
dx достаточное условие существования решения задачи А— + Bx(i) = /(/),
dt
JC(0) = JC° , где A - замкнутый линейный фредгольмов оператор, имеющий
плотную область определения. Найден вид решения.
Работа [77] посвящена исследованию асимптотического поведения
tx = f(x,y) решении системы вида ( где х = (х1,...,х„), y = (yit...,ym). В ис [0 = g(x,y)
следовании используется теория потоков.
В работе П.А. Шаманаева [66] формулируются достаточные условия приводимости нелинейных систем дифференциальных уравнений, не разрешенных относительно производных, к линейной системе с постоянной матрицей. Тот же автор в работе [67] формулирует достаточные условия приводимости системы x = A(t)x + Dx + f(t,x,x) к системе y = B(t)y, где
B«) = (E-D)-lA(t).
Периодические решения сингулярных систем дифференциальных уравнений рассматриваются в работах [69, 72, 80]. В работе [72] рассматривается система (0.4) в линейном случае в предположении, что матрица А особенная. В работе Ю.Д. Шлапака [69] рассматривается линейная система P(i)x = B(t)x, причем элементы матриц P{t) и B{t) имеют непрерывные производные всех порядков по / є (- оо;+оо) и являются периодическими по t функциями периода 1. Определяются условия приводимости системы с помощью периодической невырожденной замены переменных к виду Р0у = Д)(0.У, где Ро - постоянная матрица. Полученный результат применяется для получения алгоритма, позволяющего исследовать вопрос о периодических решениях исходной системы. Система Р0У = А0(0У разбивается на систему алгебраических уравнений и систему дифференциальных уравнений, разрешенных относительно производных. Вопрос о существовании периодических решениях сингулярной системы сводится к вопросу о периодических решениях системы, разрешенной относительно производных. В работе [80] доказано условие существования и единственности со-периодического решения системы Ах + Вх = f(t,x). При этом требуется существование некоторого Я, при котором матрица ЛА+В обратима, а матрицы (ЯА + В) 1А и (АА + В) ХВ перестановочные.
Методика исследования В диссертации поиск ненулевого со-периодического решения системы (0.1) путем замены переменной сводится к поиску ненулевого 271-периодического решения некоторой измененной системы. Решение измененной системы ищется в виде тригонометрического ряда. Путем разбиения основного пространства на три подпространства, используя метод сжатых отображений, показывается, что ненулевое 2л периодическое решение измененной системы определяется через ненулевые решения нелинейного векторного уравнения. Исследование нелинейного векторного уравнения производится с помощью разложения форм в степенные ряды и метода неподвижной точки.
Содержание работы. Во введении содержатся обоснование актуальности темы, цели работы, краткое изложение результатов, полученных другими авторами, приводится методика исследования, краткое содержание работы и апробация результатов.
Диссертация состоит из трех глав. В первой главе исследуется система (0.1) и находятся необходимые и достаточные условия существование периодических решений этой системы. С помощью замены переменных, вопрос о существовании »-периодических решений системы (0.1) сводится к вопросу о существовании 2л-периодических решений системы вида dx А— + о0Вх+Ш,х,Л) = 0, (0.3) at где /J{в,х, Л) = вВх + (о)0 + 6)f(x, Л), со = 2ягу0 + 2nd . Число CDQ считаем известным, в- некоторый параметр. Решения системы (0.3) ищется в пространстве М„ тригонометрических рядов вида +00 х = aQ+ ak cos kt + bk sin kt, (0.4) k=i где ao, ak, bu - w-мерные векторы. Путем разбиения пространства М„ на три подпространства получены условия существования периодических решений системы (0.1).
В §1.1 дается определение 2л-периодического решения системы (0.3) и соответствующего «-периодического решения системы (0.1). На множестве М„ введены различные операции и рассмотрены свойства оператора В , определяемого равенством В х = Ах + со0Вх. Для оператора В на множестве М„ введены понятия собственного элемента и собственного значения.
В теореме 1.1 доказано, что оператор В обратим на множестве М„ при условии отсутствия у него нулевого собственного значения. В теореме 1.2 доказано необходимое и достаточное условие существования собственного элемента, соответствующего нулевому собственному значению оператора В . Рассмотрено пространство Мп{1\) рядов вида (0.4), коэффициенты которых удовлетворяют условию {a0,aubx,...,ak,bk,...)є/І5 доказаны некоторые свойства этого пространства. В теореме 1.3 доказано необходимое условие существования малого ненулевого 27Г-периодического решения системы (0.3).
В §1.2, используя свойства оператора В , строится разбиение пространства М„ на три подпространства, одно из которых содержит бесконечную часть ряда (0.4), а другие конечную. При этом система (0.3) заменяется равносильной ей системой. Доказано существование решения системы (0.3) в бесконечномерном подпространстве и исследованы некоторые свойства этого решения. Определены необходимые и достаточные условия существования периодических решений системы (0.1). Показана связь между решением системы (0.1) в классическом смысле и решением в смысле определения, данного в работе. В отличие от работы [26] рассматривается уравнение с параметром ЛеЯ" . В диссертации рассматриваются нелинейные системы, в то время как в работах [19, 63, 65, 76] рассматриваются линейные системы. В работе [79] предполагается выполненным условие коммутативности матриц А и В, в диссертации это условие не требуется. В отличие от работ [31, 32] период решения не является фиксированным. В работе [56] исследуется неавтономная система, при этом период решения является фиксированным, в то время как в диссертации исследуется автономная система с переменным периодом.
Во второй главе рассматривается нелинейное векторное уравнение вида Mj3 + G(a,J3,A) + F(a,j3,A) = 0, (0.5) гдеЛ/-((р+/)х/)-матрица, a&Rp, j3eRl, ЛєІІт, G(a,J3,A), F(a,j3,A) (р+/)-мерные вектор-функции, удовлетворяющие условиям G(ta,tp,tX) = tsG(a,p,X), (0.6) шР{а,р,Х) ( } -° ыг где у = {а, р, Л) є RP+l+m. Числа р и / определяются свойствами оператора В . С помощью элементарных преобразований строк системы и разложения вектор-функций в степенные ряды получены условия существования ненулевых решений системы (0.5). В § 2.1 доказано необходимое условие существования ненулевых решений уравнения (0.5) и в предположении выполнения этого условия путем замены переменной уравнение (0.5) приведено к виду
В{УІ К +1 А/(4Ю + ОО0 = о. (0.8)
i=2
Здесь В\у[) - (/?+/)х(р+/+/я)-матрица, ЬЬ(&У\) - форма /-го порядка от Ду,, Ay1eRp+l+m.
В § 2.2 рассматривается случай, когда rangB(y\) = p + l. В теореме 2.3 доказано достаточное условие существования ненулевого решения уравнения (0.5).
В § 2.3 изложен алгоритм поиска решения векторного уравнения в случае линейной зависимости строк матрицы линейной части, то есть когда 0 rangB(yl) p + l, или В(уі) = 0. Доказаны теоремы о существовании ненулевого решения уравнения (0.5) и о наличии множеств, в которых нет решения уравнения (0.5).
В § 2.4 доказано существования ненулевого решения векторного уравнения методом выделения параметра. Показано применение теории нелинейных векторных уравнений к вопросу о существовании ненулевых периодических решений систем дифференциальных уравнений. Доказаны теоремы о существовании ненулевого й»-периодического решения системы (0.1) и о наличии множеств, в которых нет решения системы (0.3). Получен вид ненулевого 2тг-периодического решения системы (0.3) и доказана непрерывность по / данного решения. В главе 3 рассматривается система - = Вх+/(х,Л), (0.9) ат в которой xeR", В - постоянная матрица, ЛеЯш, Л - параметр. На функцию f(x, Л) накладываются те же условия, что и для системы (0.1).
Предполагается, что матрица В имеет собственные значения ±itol,...,±itol, такие, что существуют натуральные числа /»!,...,/ ,, при которых выполняется равенство р1ю1=...= р to . Ставится задача - определить условия существования ненулевых периодических решений системы (0.9). При этом период ищется в окрестности числа toQ = -—, где p = HOK(Pl,...,Pl).
Система (0.9) является более конкретным видом системы (0.1). С использованием результатов главы 1, получены необходимые и достаточные условия существования периодических решений системы (0.9). Получены некоторые дополнительные свойства системы (0.9). Приведены примеры доказательства существования ненулевого периодического решения системы дифференциальных уравнений с матрицей при производных.
В отличие от работы А.Ф.Измаилова [24] в диссертации допускается наличие кратных собственных значений у матрицы В.
В работе [15] период искомого решения р(Х) удовлетворяет условию ІітІр(Л)-р \ = 0, а в работе [8] предполагается выполнение оценки \Р(Л) -р \ = 0(л), где р период решения системы х = Вх, в то время как в диссертации выполнение этих условий не требуется.
Необходимые сведенья по теории обыкновенных дифференциальных уравнений взяты из [41, 60], по функциональному анализу - из [25, 26], по линейной алгебре - [28], по тригонометрическим рядам - из [57, 59].
Апробация диссертации. Полученные результаты докладывались на заседаниях научно-исследовательского семинара по качественной теории дифференциальных уравнений в Рязанском государственном педагогическом университете им. С.А. Есенина, а также на следующих конференциях.
1. IX Всероссийская научно-техническая конференция студентов, молодых ученых и специалистов "Новые информационные технологии в научных исследованиях и в образовании" в Рязанской государственной радиотехнической академии (апрель 2004).
2. Научная конференция "Герценовские чтения - 2004" (г. Санкт-Петербург, апрель 2004).
3. Воронежская весенняя математическая школа "Понтрягинские чтения XV" (г. Воронеж, май 2004).
4. Международная научная конференция "Современные проблемы математики, механики, информатики" (г. Тула, ноябрь 2004).
Основные результаты исследования опубликованы в работах [85-95].
Разбиение пространства Мп(1{) на прямую сумму трех подпространств и решение уравнения в бесконечномерном подпространстве
Из определения є получим, что К 1. Следовательно, оператор Г(0,х,Л) является сжимающим по х. Тогда по принципу сжимающих отображений во множестве У„(є) существует единственное решение уравнения (1.12). Так как система (1.4) и уравнение (1.12) эквивалентны их = 0 является решением уравнения (1.12), то получаем, что во множестве Y„(e) существует только нулевое решение уравнения (1.4). Теорема доказана.
Учитывая связь между системой (1.4) и системой (1.1), получаем верность следующего утверждения. Следствие. В случае выполнения условия теоремы 1.3 у системы (1.1) нет малых периодических решений с периодом, принадлежащим окрестности числа 2псоо. Теорема 1.4. Если для любого положительного COQ оператор В не имеет нулевого собственного значения, то у системы (1.1) нет ненулевых периодических решений в достаточно малой окрестности нуля. Доказательство. Предположим, что у уравнения (1.1) есть ненулевое периодическое решение в достаточно малой окрестности нуля. Тогда, учитывая связь между системой (1.4) и системой (1.1), получим, что существует такое соо, при котором у системы (1.4) существует решение. Из теоремы 1.3 следует, что при этом со0 оператор В имеет нулевое собственное значение. А это противоречит условию теоремы. Получившееся противоречие доказывает утверждение теоремы. Теорема доказана. В 1.1 показано, что необходимым условием существования ненулевого у-периодического решения системы (1.1) является существование такого положительного соо, при котором оператор В имеет нулевое собственное значение. Далее предполагаем а о таким, что у оператора В существует нулевое собственное значение. Тогда из теоремы 1.2 следует, что или det В = 0, или существует такое натуральное к, что det L(k) = 0. Обозначим М = {kl,...,kq\ множество всех натуральных корней уравнения dstL(k) = О. Будем считать, что при любом к, єМ матрица L(k) представлена в жордановой форме. Пусть к,.еМ. Так как detZ(it/) = 0, то kerL(kt) - непустое множество.
В этом случае справедливо представление Е1п = Е? Ф Е) Ф Ef, где Ef =kerZ(Ar/), Е? - инвариантное пространство относительно преобразования L(kj )х = у, Е] такое, что любой ненулевой вектор у є Е) удовлетворяет условию у Е Ф Е? . Может оказаться, что множество Е) содержит только нулевой вектор.
Пусть rang L(kt ) = 2п-гІУ О rt 2п. В этом случае в пространстве Е? существуют г, линейно независимых векторов (а),Ь)), ... , (а,4, ), образующих базис этого пространства. Предположим, что векторы (wj.v,1), ... , (up, v,"1 ) составляют базис пространства Е). Базисные векторы пространств Е?, Е), Е? можно выбрать попарно ортогональными в силу предположения относительно матрицы Ь(к,). При любом ve{l,...,r,} вектор (а ,Ь") определяет собственный элемент оператора В hj =а"со&к +b]sinktt, соответствующий нулевому собственному значнию. При этом а],Ц выбираем таким образом, чтобы Ш\
При любом //Gfl,...,/»,} вектор (ufiV?) определяет элемент gf =uf coskj + vf sinkjt множествам». При этом tfj",v/ выбираем таким Предположим, что detB = 0. Тогда кет В - непустое множество. В этом случае справедливо представление Еп=Е Е1 Е2, где Е = кег5, Е2 -инвариантное пространство относительно преобразования Вх = у, Ех такое, что любой ненулевой вектор у є Ех удовлетворяет условию у ЕЕ2. Пусть rang В = п-г0, 0 п. Тогда Е содержит г0 линейно независимых векторов ( 7 з), , (ао ) которые образуют базис пространства Е. Предположим, что векторы (UQ), ... , (и) составляют базис пространства Е . Базисные векторы пространств Е , Е Е также считаем попарно ортогональными. При любом і/є{і,...,г0} вектор (ао) определяет собственный элемент оператора В h$ = OQ , соответствующий нулевому собственному значению. Значение а выбираем таким образом, чтобы / = с?0 =\. При =1 о" любом //є {l,...,w0} вектор (и ) определяет элемент go =UQ множества М„. Значение UQ выбираем таким образом, чтобы
Решение векторного уравнения в случае линейной независимости строк матрицы линейной части
Решение системы (2.39) ищем в виде x(a,P) = Px(a,p) + S(a,P), где S(a,P) некоторый конечный тригонометрический многочлен, зависящий от параметров a, aeRp и Д р є Rl, числа ри/ определяются свойствами оператора В х = Ах + со0Вх.
При этом параметр # рассматриваем в виде функции 6 = 6(а,Р,Л) такой, что нелинейная часть системы (2.39) представляется в виде /х{в,х,Л) = Сх{а,р,х,Л) + Вх{а,р,х,Л), где Сх(а,р,х,Л) - форма порядка s \ относительно переменных а,р,х,Л, йх{а,Р,х,Л) - конечная сумма форм более высокого порядка, чем s, относительно тех же переменных, Рассмотрим систему Мр+G(or, Д Я) + F(or, Д Я) = 0, удовлетворяющую условиям (2.2) и (2.3). Предполагая, что rangM = r, 0 г /, приведем эту систему к виду (2.4). Вопрос о существовании малого ненулевого 2 -периодического решения системы (2.38) могут решить следующие теоремы. Если для любого у, \у\ = 1, выполняется Н0(у)Ф0, то существует число а О такое, что любая точка множества {у: у = (а, J3, Л), О \у\ сг} не определяет ненулевого 2л-периодического решения системы (2.39). Доказательство. Так как выполняются все условия теоремы 1.8, то существует число єх 0 такое, что при любом фиксированном є е(0,ех] и любых фиксированных сг с, /? е, Л , определена единственная функция Рх(а, Р) - р(а, /?, Л), удовлетворяющая условию \\ р(а, Д Л\\ є. Тогда для существования ненулевого малого а -периодического решения системы (2.38) с коэффициентами из множества 1\ необходимо и достаточно, чтобы система (2.1) имело решение такое, что а + /? 0. Однако по теореме 2.2 существует число х 0 такое, что во множестве {у: 0 х} нет решения системы (2.1). Следовательно, в этом множестве любая точка у = (а, /?, Л) не определяет ненулевого 2л-периодического решения системы (2.39). Теорема доказана. Теорема 2.12. Предположим, что выполняются следующие условия 1) существует у , у =1, такой, что Н0(у ) = 0, где у\ =[а ,/3 ,Х) 3) rangB(y l) = p + l, где В(у1) - матрица Якоби для вектор-функции Я0(/) = Ов точке у . Тогда у системы (2.38) существует ненулевое со -периодического решения. Доказательство. Как и в доказательстве теоремы 2.11, получим, что для существования ненулевого малого 5 -периодического решения системы (2.38) с коэффициентами из множества 1\ необходимо и достаточно, чтобы система (2.1) имело решение такое, что ог + /? = 0. Из теоремы 2.3 и замечания к ней следует, что у системы (2.1) существует решение у = \а,р,Л), причем будет выполнено неравенство а+ /3 О. Тогда у системы (2.39) существует ненулевое 2тг-периодическое решение вида x(a,P,X) = p(a,P,A) + S{a,P). Соответствующее ему «-периодическое решение системы (2.38) будет искомым. Теорема доказана. Замечание. Аналогично можно доказать существование ненулевого СУ-периодического решения системы (2.38) в случае выполнения условий теоремы 2.7. Вопрос о непрерывности найденного решения решает следующая теорема. Теорема 2.13. Ненулевое 27с-периодическое решение системы (2.39), существование которого установлено согласно теореме 2.12, является непрерывной по t функцией. Доказательство. Ненулевое 2л;-периодическое решение системы (2.39) х(а,р,Л) принадлежит пространству М„(/,). Пусть х{а, Р,Л) = colon{xl{t),...ixn{t)) = aQ + akcoskt + bksinkt. Согласно определению пространства Mn(lx), ряд я0 + ]К1+Ы сходится. Тогда для любові го і є {і,...,и} тригонометрический ряд, определяющий функцию ,(/), сходится равномерно. Следовательно, для любого /є {l,...,л} функция x,(t) является непрерывной по /. Отсюда х(а,р,Л) является непрерывной по /. Теорема доказана. Следствие. Пусть функция х(а,р,Л) Мп(1х) является 2тс периодическим решением системы (2.39). Тогда соответствующее ей со 2л гласно замене переменной / = - -г «-периодическое решение системы (2.38) является непрерывной по т функцией.
Поиск решения векторного уравнения в случае линейной зависимости строк матрицы линейной части
В работах [71, 84] исследуется устойчивость решений сингулярных систем дифференциальных уравнений. Так, в работе А.А. Щеглова [71] исследуется устойчивость в смысле Ляпунова тривиального решения алгеб-ро-дифференциальных систем вида A{t)x + 5(/) = 0, где A(t), B(t) - (nxri)-матрицы, t є Т = [О, + од), det/4(0 = 0, V/ є Т. В работе [84] исследуется устойчивость однородной линейной системы Ах = Вх с вырожденной матрицей А. С помощью анализа уравнения Ляпунова получено условие устойчивости данной системы. Г.П. Размыслович в работе [42] исследует задачу A{t)x = /(/), (0) = , t О, где x =Rn, А - вырожденная матрица. Показано, что эта задача имеет решение тогда и только тогда, когда для любого / 0 выполняется равенство [Е-AA )f(t) = 0, где АА А = А. В этом случае общее решение описываемой задачи имеет вид хф = х0+$А /(т)с1т + [[Е где и - произвольная вектор-функция. В работе СП. Зубовой и СА. Филатова [22] получено необходимое и dx достаточное условие существования решения задачи А— + Bx(i) = /(/), JC(0) = JC , где A - замкнутый линейный фредгольмов оператор, имеющий плотную область определения. Найден вид решения. Работа [77] посвящена исследованию асимптотического поведения решении системы вида ( где х = (х1,...,х„), y = (yit...,ym). В ис- следовании используется теория потоков. В работе П.А. Шаманаева [66] формулируются достаточные условия приводимости нелинейных систем дифференциальных уравнений, не разрешенных относительно производных, к линейной системе с постоянной матрицей. Тот же автор в работе [67] формулирует достаточные условия приводимости системы x = A(t)x + Dx + f(t,x,x) к системе y = B(t)y, где
Периодические решения сингулярных систем дифференциальных уравнений рассматриваются в работах [69, 72, 80]. В работе [72] рассматривается система (0.4) в линейном случае в предположении, что матрица А особенная. В работе Ю.Д. Шлапака [69] рассматривается линейная система P(i)x = B(t)x, причем элементы матриц P{t) и B{t) имеют непрерывные производные всех порядков по / є (- оо;+оо) и являются периодическими по t функциями периода 1. Определяются условия приводимости системы с помощью периодической невырожденной замены переменных к виду Р0у = Д)(0.У, где Ро - постоянная матрица. Полученный результат применяется для получения алгоритма, позволяющего исследовать вопрос о периодических решениях исходной системы. Система Р0У = А0(0У разбивается на систему алгебраических уравнений и систему дифференциальных уравнений, разрешенных относительно производных. Вопрос о существовании периодических решениях сингулярной системы сводится к вопросу о периодических решениях системы, разрешенной относительно производных. В работе [80] доказано условие существования и единственности со-периодического решения системы Ах + Вх = f(t,x). При этом требуется существование некоторого Я, при котором матрица ЛА+В обратима, а матрицы (ЯА + В) 1А и (АА + В) ХВ перестановочные.
Методика исследования В диссертации поиск ненулевого со-периодического решения системы (0.1) путем замены переменной сводится к поиску ненулевого 271-периодического решения некоторой измененной системы. Решение измененной системы ищется в виде тригонометрического ряда. Путем разбиения основного пространства на три подпространства, используя метод сжатых отображений, показывается, что ненулевое периодическое решение измененной системы определяется через ненулевые решения нелинейного векторного уравнения. Исследование нелинейного векторного уравнения производится с помощью разложения форм в степенные ряды и метода неподвижной точки.
Содержание работы. Во введении содержатся обоснование актуальности темы, цели работы, краткое изложение результатов, полученных другими авторами, приводится методика исследования, краткое содержание работы и апробация результатов.
Диссертация состоит из трех глав. В первой главе исследуется система (0.1) и находятся необходимые и достаточные условия существование периодических решений этой системы. С помощью замены переменных, вопрос о существовании »-периодических решений системы (0.1) сводится к вопросу о существовании 2л-периодических решений системы вида
Достаточные условия существования периодических решений систем дифференциальных уравнений специального вида
Из определения є получим, что К 1. Следовательно, оператор Г(0,х,Л) является сжимающим по х. Тогда по принципу сжимающих отображений во множестве У„(є) существует единственное решение уравнения (1.12). Так как система (1.4) и уравнение (1.12) эквивалентны их = 0 является решением уравнения (1.12), то получаем, что во множестве Y„(e) существует только нулевое решение уравнения (1.4). Теорема доказана.
Учитывая связь между системой (1.4) и системой (1.1), получаем верность следующего утверждения. Следствие. В случае выполнения условия теоремы 1.3 у системы (1.1) нет малых периодических решений с периодом, принадлежащим окрестности числа 2псоо. Теорема 1.4. Если для любого положительного COQ оператор В не имеет нулевого собственного значения, то у системы (1.1) нет ненулевых периодических решений в достаточно малой окрестности нуля.
Доказательство. Предположим, что у уравнения (1.1) есть ненулевое периодическое решение в достаточно малой окрестности нуля. Тогда, учитывая связь между системой (1.4) и системой (1.1), получим, что существует такое соо, при котором у системы (1.4) существует решение. Из теоремы 1.3 следует, что при этом со0 оператор В имеет нулевое собственное значение. А это противоречит условию теоремы. Получившееся противоречие доказывает утверждение теоремы. Теорема доказана.
В 1.1 показано, что необходимым условием существования ненулевого у-периодического решения системы (1.1) является существование такого положительного соо, при котором оператор В имеет нулевое собственное значение. Далее предполагаем а о таким, что у оператора В существует нулевое собственное значение. Тогда из теоремы 1.2 следует, что или det В = 0, или существует такое натуральное к, что det L(k) = 0.
Обозначим М = {kl,...,kq\ множество всех натуральных корней уравнения dstL(k) = О. Будем считать, что при любом к, єМ матрица L(k) представлена в жордановой форме. Пусть к,.еМ. Так как detZ(it/) = 0, то kerL(kt) - непустое множество. В этом случае справедливо представление Е1п = Е? Ф Е) Ф Ef, где Ef =kerZ(Ar/), Е? - инвариантное пространство относительно преобразования L(kj )х = у, Е] такое, что любой ненулевой вектор у є Е) удовлетворяет условию у Е Ф Е? . Может оказаться, что множество Е) содержит только нулевой вектор. Пусть rang L(kt ) = 2п-гІУ О rt 2п. В этом случае в пространстве Е? существуют г, линейно независимых векторов (а),Ь)), ... , (а,4, ), образующих базис этого пространства. Предположим, что векторы (wj.v,1), ... , (up, v,"1 ) составляют базис пространства Е). Базисные векторы пространств Е?, Е), Е? можно выбрать попарно ортогональными в силу предположения относительно матрицы Ь(к,). При любом ve{l,...,r,} вектор (а ,Ь") определяет собственный элемент оператора В hj =а"со&к +b]sinktt, соответствующий нулевому собственному значению. При этом а],Ц выбираем таким образом, чтобы Ш\ При любом //Gfl,...,/»,} вектор (ufiV?) определяет элемент gf =uf coskj + vf sinkjt множествам». При этом tfj",v/ выбираем таким Предположим, что detB = 0. Тогда кет В - непустое множество. В этом случае справедливо представление Еп=Е Е1 Е2, где Е = кег5, Е2 -инвариантное пространство относительно преобразования Вх = у, Ех такое, что любой ненулевой вектор у є Ех удовлетворяет условию. Пусть rang В = п-г0, 0 п. Тогда Е содержит г0 линейно независимых векторов ( 7 з), , (ао ) которые образуют базис пространства Е. Предположим, что векторы (UQ), ... , (и) составляют базис пространства Е . Базисные векторы пространств Е , Е Е также считаем попарно ортогональными. При любом і/є{і,...,г0} вектор (ао) определяет собственный элемент оператора В h$ = OQ , соответствующий нулевому собственному значению. Значение а выбираем таким образом, чтобы / = с?0 =\. При любом //є {l,...,w0} вектор (и ) определяет элемент go =UQ множества М„. Значение UQ выбираем таким образом, чтобы Обозначим пространство, образованное элементом hf, символом V0yt, пространство, образованное элементом gf, символом Vtf, /є{о,..., }.
