Abstract
The paper studies construction of formal exponential-logarithmic solutions for a system of ordinary linear differential equations the coefficients of which are algorithmically defined formal power series. The construction of all such solutions is generally algorithmically undecidable problem. We propose an algorithm and its implementation in Maple that make it possible to construct a basis of the space of solutions of the full-rank system if the dimension of this space is known.
Similar content being viewed by others
References
Abramov, S.A. and Barkatou, M., Computable infinite power series in the role of coefficients of linear differential systems, Proc. of CASC’2014, 2014, pp. 1–12.
Abramov, S.A. and Khmelnov, D.E., Regular solutions of linear differential systems with power series coefficients, Programming Comput. Software, 2014, vol. 40, no. 2, pp. 98–105.
Abramov, S.A., Barkatou, M., and Pflügel, E., Higherorder linear differential systems with truncated coefficients, Proc. of CASC’2011, 2011, pp. 10–24.
Barkatou, M., An algorithm to compute the exponential part of a formal fundamental matrix solution of a linear differential system, Applicable Algebra Eng. Commun. Computing, 1997, vol. 8, pp. 1–23.
Tournier, E., Solutions formelles d’équations différentielles. Le logiciel de calcul formel DESIR étude théorique et réalisation, Thése d’état, Université de Grenoble, 1987.
Pflügel, E., DESIR-II, RT 154, IMAG, Grenoble, 1996.
Lutz, D.A. and Schäfke, R., On the identification and stability of formal invariants for singular differential equations, Linear Algebra Its Applications, 1985, vol. 72, pp. 1–46.
Abramov, S.A. and Khmelnov, D.E., Linear differential and difference systems: EGδ and EGσ eliminations, Programming Comput. Software, 2013, vol. 39, no. 2, pp. 91–109.
Abramov, S.A., Barkatou, M., and Khmelnov, D.E., On full rank differential systems with power series coefficients, J. Symbolic Computation (in press).
Abramov, S.A., Bronstein, M., and Khmelnov, D.E., On regular and logarithmic solutions of ordinary linear differential systems, Proc. of CASC’05, 2005, pp. 1–12.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © A.A. Ryabenko, 2015, published in Programmirovanie, 2015, Vol. 41, No. 2.
Rights and permissions
About this article
Cite this article
Ryabenko, A.A. On exponential-logarithmic solutions of linear differential systems with power series coefficients. Program Comput Soft 41, 112–118 (2015). https://doi.org/10.1134/S0361768815020073
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768815020073