Рассматриваются системы линейных обыкновенных дифференциальных уравнений с бесконечными формальными степенными рядами в роли коэффициентов. Ряды задаются в усеченном виде, при этом степени усечения могут различаться для разных коэффициентов. В качестве средства исследования таких систем привлекаются индуцированные рекуррентные системы и литеральные обозначения незаданных коэффициентов рядов. Для случая, когда определитель ведущей матрицы индуцированной системы отличен от нуля и не содержит литералов, предлагается алгоритм построения лорановых решений системы. Ряды, входящие в решения, вновь являются усеченными. Алгоритм находит для них максимально возможное число членов, инвариантных относительно любых продолжений усеченных коэффициентов исходной системы. Представлены реализация алгоритма в виде Maple-процедуры и примеры ее использования.
Рассматриваются лорановы решения систем линейных обыкновенных дифференциальных уравнений с усеченными степенными рядами в роли коэффициентов. Лорановы ряды в решениях также усечены. В качестве средства для построения таких решений мы используем индуцированные рекуррентные системы и ранее предложили алгоритм для случая, когда индцуцированная рекуррентная система имеет невырожденную ведущую матрицу. Алгоритм находит для рядов в решениях максимально возможное число членов, инвариантных относительно любых продолжений усеченных коэффициентов исходной системы. Ниже мы представляем результаты по расширению применимости нашего алгоритма на случай, когда ведущая матрица вырождена, с привлечением алгоритма EG-исключений в качестве вспомогательного средства. Представлены реализация алгоритма в виде Maple-процедуры и примеры ее использования.
Индексирование
Scopus
Crossref
Высшая аттестационная комиссия
При Министерстве образования и науки Российской Федерации