RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ЛИЧНЫЙ КАБИНЕТ
Ближайшие семинары
Календарь семинаров
Список семинаров
Архив по годам
Регистрация семинара

Поиск
RSS
Ближайшие семинары





Для просмотра файлов Вам могут потребоваться








Семинар по аналитической теории дифференциальных уравнений
27 апреля 2016 г. 14:30, г. Москва, МИАН, комн. 440 (ул. Губкина, 8)
 


Поиск решений линейных дифференциальных систем произвольного порядка с формальными рядами в роли коэффициентов

С. А. Абрамов

Количество просмотров:
Эта страница:45

Аннотация: Рассматриваются задачи построения лорановых, регулярных и экспоненциально-логарифмических решений линейных обыкновенных дифференциальных систем полного ранга. Система может иметь произвольный порядок. Предполагается, что коэффициентами систем являются формальные степенные ряды, заданные алгоритмически. Показывается, что первые две из названных задач построения решений алгоритмически разрешимы, третья — нет. Можно указать ограниченный вариант третьей задачи, для которого требуемый алгоритм существует: если заданные система S и неотрицательное целое d таковы, что для S гарантировано существование d линейно независимых решений, то мы можем построить d таких решений. Показывается также, что многие алгоритмические задачи, связанные с показателями ветвления решений заданной системы, неразрешимы, даже если предполагаемое значение r показателя ветвления фиксировано. Это, в частности, позволяет усилить утверждение, что мы не можем вычислить размерность пространства всех экспоненциально-логарифмических решений системы, хотя и способны построить базис подпространства регулярных решений. Фактически же не существует алгоритма, который вычисляет эту размерность даже в том случае, когда кроме самой системы заранее известен список всех показателей ветвлений экспоненциально-логарифмических решений этой системы. Обнаруживается и разрешимая задача: если заданные система S и неотрицательные целые r, d таковы, что для S гарантировано существование d линейно независимых решений с показателем ветвления r, то мы можем построить d таких решений системы S.

ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru
 
Обратная связь:
 Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2017