Searching for Laurent Solutions of Systems of Linear Differential Equations with Truncated Power Series in the Role of Coefficients

S. A. Abramov; Абрамов С. А.; A. A. Ryabenko; Рябенко А. А.; D. E. Khmelnov; Хмельнов Д. Е.

doi:10.31857/S0132347423020036

ПОИСК ЛОРАНОВЫХ РЕШЕНИЙ СИСТЕМ ЛИНЕЙНЫХ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ С УСЕЧЕННЫМИ СТЕПЕННЫМИ РЯДАМИ В РОЛИ КОЭФФИЦИЕНТОВ

Авторы: Абрамов С.А.¹, Рябенко А.А.¹, Хмельнов Д.Е.¹
Учреждения:
1. Федеральный исследовательский центр “Информатика и управление” РАН
Выпуск: № 5 (2023)
Страницы: 35-46
Раздел: КОМПЬЮТЕРНАЯ АЛГЕБРА
URL: https://rjeid.com/0132-3474/article/view/675733
DOI: https://doi.org/10.31857/S0132347423020036
EDN: https://elibrary.ru/GYMMYQ
ID: 675733

Цитировать

Полный текст

Открытый доступ
Доступ закрыт

Доступ предоставлен
Доступ закрыт

Доступ платный или только для подписчиков

Аннотация
Об авторах
Список литературы
Дополнительные файлы
Статистика

Аннотация

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

Список литературы

Abramov S.A., Barkatou M.A., Khmelnov D.E. On full rank differential systems with power series coefficients // J. of Symbolic Computation. 2015. V. 68. P. 120–137.
Абрамов С.А., Хмельнов Д.Е. Регулярные решения линейных дифференциальных систем с коэффициентами в виде степенных рядов // Программирование. 2014. № 2. С. 75–85.
Рябенко А.А. Экспоненциально-логарифмические решения линейных дифференциальных систем с коэффициентами в виде степенных рядов // Программирование. 2015. № 2. С. 54–62.
Абрамов С.А., Рябенко А.А., Хмельнов Д.Е. Линейные обыкновенные дифференциальные уравнения и усеченные ряды // Ж. выч. мат. и мат. физ. 2019. Т. 59. № 10. С. 66–77.
Абрамов С.А., Рябенко А.А., Хмельнов Д.Е. Регулярные решения линейных обыкновенных дифференциальных уравнений и усеченные ряды // Ж. выч. мат. и мат. физ. 2020. Т. 60. № 1. С. 4–17.
Абрамов С.А., Рябенко А.А., Хмельнов Д.Е. Усеченные ряды и формальные экспоненциально-логарифмические решения линейных обыкновенных дифференциальных уравнений// Ж. вычисл. матем. и матем. физ. 2020. Т. 60. № 10. С. 1664–1675.
Abramov S.A., Barkatou M.A., Pfluegel E. Higher-order linear differential systems with truncated coefficients // In Proc. of CASC’2011, 2011. P. 10–24.
Abramov S.A., Barkatou M.A. On Strongly Non-Singular Polynomial Matrices // In: Schneider C., Zima E. (eds) Advances in Computer Algebra. Springer Proceedings in Mathematics & Statistics. 2018. V. 226. P. 1–17.
Абрамов С.А., Рябенко А.А., Хмельнов Д.Е. Процедуры поиска лорановых и регулярных решений линейных дифференциальных уравнений с усеченными степенными рядами в роли коэффициентов // Труды ИСП РАН. 2019. Т. 31. № 5. С. 233–248.
Maple online help // http://www.maplesoft.com/support/help/
Abramov S., Khmelnov D., Ryabenko A. Truncated and infinite power series in the role of coefficients of linear ordinary differential equations // Proc. CASC’2020. Lecture Notes in Computer Science. 2020. V. 12291. P. 63–76.
Abramov S., Khmelnov D., Ryabenko A. The TruncatedSeries Package for Solving Linear Ordinary Differential Equations Having Truncated Series Coefficients// In: Maple in Mathematics Education and Research, Springer Nature Switzerland. 2021. P. 19–33.
Абрамов С.А., Рябенко А.А., Хмельнов Д.Е. Процедуры поиска усеченных решений линейных дифференциальных уравнений с бесконечными и усеченными степенными рядами в роли коэффициентов// Программирование. 2021. № 2. С. 56–65.
Абрамов С.А., Рябенко А.А., Хмельнов Д.Е. Процедуры поиска локальных решений линейных дифференциальных систем с бесконечными степенными рядами в роли коэффициентов // Программирование. 2016. № 2. С. 75–86.
Abramov S. EG-eliminations. J. of Difference Equations and Applications. 1999. V. 5. P. 393–433.