Дифференциальные уравнения

система бесконечного порядка - бесконечная совокупность дифференциальных уравнений [img: http://localhost:8080/file/020536-37.jpg] содержащая бесконечное множество неизвестных функций xk(t), k=1,2,..., и их производные. Решением такой системы наз. множество функций {xk(t)}, обращающих все уравнения системы в тождества. Система (1) наз. счетной, в отличие от несчетной системы [img: http://localhost:8080/file/020536-38.jpg] где а пробегает нек-рое несчетное множество значений. Система вида (2) содержит в себе несчетное множество функций {xa(t)}, подлежащих определению, и их производные. Рассматриваются также Д. у., содержащие бесконечное множество неизвестных функций двух и более аргументов и их частные производные. Начало развитию теории систем Д. у. вида (1) положила работа А. Н. Тихонова [1]. Основным ее результатом является доказательство теоремы существования решения системы (1) в предположении, что ее правые части определены при произвольных значениях х 1, х 2,...([img: http://localhost:8080/file/020536-39.jpg]), непрерывны по отношению к x1, х 2,... при фиксированном значении t, измеримы по t при фиксированных х 1, х 2,... и ограничены некоторыми суммируемыми на сегменте [t0, t0+a2]. функциями Mi(t), i=1, 2,... При дополнительных предположениях о выполнении обобщенных условий Липшица [img: http://localhost:8080/file/020536-40.jpg] и о сходимости и равномерной ограниченности рядов [img: http://localhost:8080/file/020536-41.jpg] доказана теорема единственности решения xi(t), i=1, 2,..., системы (1) при заданных начальных условиях такого, что ряд [img: http://localhost:8080/file/020536-42.jpg] сходится. Дальнейшее развитие теория счетных систем получила в направлении исследований условий ограниченности решений (см. [2]), аналитической зависимости от параметра, устойчивости по Ляпунову и других свойств решений (см. [2]). Особенно глубоко изучены линейные и квазилинейные счетные системы дифференциальных уравнений. К изучению систем бесконечного порядка плодотворно применяются операторные методы. Так, например, вместо системы (1) рассматривается операторное уравнение [img: http://localhost:8080/file/020536-43.jpg] где x(t)- бесконечномерный вектор нек-рого банахова пространства В, f(t, x)- бесконечномерная вектор-функция со значениями в том же пространстве, производная рассматривается в смысле Фреше. В частности, для уравнения (3) были получены следующие результаты (см. [3]). Если f(t, x)- ограниченный оператор, то из Выполнения локальной теоремы существования и отрицательности генерального показателя (см. [3]) следует неограниченная продолжимость решений с достаточно близкими к нулю начальными значениями. Если [img: http://localhost:8080/file/020536-44.jpg] (где А- бесконечномерная постоянная матрица) - ограниченный оператор, то в гильбертовом пространстве ограниченность всех решений при [img: http://localhost:8080/file/020536-45.jpg] имеет место тогда и только тогда, когда оператор Аподобен косоэрмитову. В этом же случае найдено явное выражение решения задачи Коши с начальными условиями x(t0)=x0 в виде [img: http://localhost:8080/file/020536-46.jpg] где е Аt- операторная экспонента. Если [img: http://localhost:8080/file/020536-47.jpg] где Аимеет прежнее значение, a f(t)- непрерывная T-периодическая вектор-функция, то существует единственное периодическое решение, когда спектр s(А)оператора Ане содержит точек мнимой оси 2kpi/Т, k=0, [img: http://localhost:8080/file/020536-48.jpg] 1, [img: http://localhost:8080/file/020536-49.jpg] 2,... Для случая [img: http://localhost:8080/file/020536-50.jpg] найдены условия устойчивости по Ляпунову в нуле в виде требования [img: http://localhost:8080/file/020536-51.jpg] при достаточно малом q>0 и расположении спектра оператора Ав левой открытой полуплоскости.