Procedures for searching local solutions of linear differential systems with infinite power series in the role of coefficients
- Авторлар: Abramov S.1, Ryabenko A.1, Khmelnov D.1
-
Мекемелер:
- Dorodnicyn Computing Center
- Шығарылым: Том 42, № 2 (2016)
- Беттер: 55-64
- Бөлім: Article
- URL: https://journals.rcsi.science/0361-7688/article/view/176408
- DOI: https://doi.org/10.1134/S036176881602002X
- ID: 176408
Дәйексөз келтіру
Аннотация
Construction of Laurent, regular, and formal (exponential–logarithmic) solutions of full-rank linear ordinary differential systems is discussed. The systems may have an arbitrary order, and their coefficients are formal power series given algorithmically. It has been established earlier that the first two problems are algorithmically decidable and the third problem is not decidable. A restricted variant of the third problem was suggested for which the desired algorithm exists. In the paper, a brief survey of algorithms for the abovementioned decidable problems is given. Implementations of these algorithms in the form of Maple procedures with a uniform interface and data representation are suggested.
Негізгі сөздер
Авторлар туралы
S. Abramov
Dorodnicyn Computing Center
Хат алмасуға жауапты Автор.
Email: sergeyabramov@mail.ru
Ресей, ul. Vavilova 40, Moscow, 119333
A. Ryabenko
Dorodnicyn Computing Center
Email: sergeyabramov@mail.ru
Ресей, ul. Vavilova 40, Moscow, 119333
D. Khmelnov
Dorodnicyn Computing Center
Email: sergeyabramov@mail.ru
Ресей, ul. Vavilova 40, Moscow, 119333