Abstract
We consider linear ordinary differential equations with power series in the role of coefficients. It is assumed that some or all of the series are truncated. A series of the form \(\varSigma \, a_ix^i\) can also be given completely using an algorithm that computes \(a_i\) from i. The equation may contain both types of coefficients—truncated and represented algorithmically. Algorithms and commands that implement them in Maple as the TruncatedSeries package are proposed, which make it possible to find Laurent, regular and exponential-logarithmic solutions. In cases where, due to the presence of truncated coefficients, the information about the equation is incomplete, commands of our package find the maximum possible number of terms of those series that are involved in the solutions. If all the coefficients of the given equation are algorithmically represented series then the commands allow finding any specified number of initial terms of the series involved in the solutions.
Supported by RFBR grant, project 19-01-00032.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Abramov, S.A., Barkatou, M.A.: Computable infinite power series in the role of coefficients of linear differential systems. In: Gerdt, V.P., Koepf, W., Seiler, W.M., Vorozhtsov, E.V. (eds.) CASC 2014. LNCS, vol. 8660, pp. 1–12. Springer, Cham (2014). https://doi.org/10.1007/978-3-319-10515-4_1
Abramov, S., Barkatou, M., Khmelnov, D.: On full rank differential systems with power series coefficients. J. Symbolic Comput. 68(1), 120–137 (2015). https://doi.org/10.1016/j.jsc.2014.08.010
Abramov, S.A., Barkatou, M.A., Pflügel, E.: Higher-order linear differential systems with truncated coefficients. In: Gerdt, V.P., Koepf, W., Mayr, E.W., Vorozhtsov, E.V. (eds.) CASC 2011. LNCS, vol. 6885, pp. 10–24. Springer, Heidelberg (2011). https://doi.org/10.1007/978-3-642-23568-9_2
Abramov, S., Bronstein, M., Petkovšek, M.: On polynomial solutions of linear operator equations. In: Proceedings ISSAC 1995, pp. 290–296 (1995). https://doi.org/10.1145/220346.220384
Abramov, S.A., Khmelnov, D.E.: Regular solutions of linear differential systems with power series coefficients. Program. Comput. Softw. 40(2), 98–106 (2014). https://doi.org/10.1134/S0361768814020029
Abramov, S.A., Ryabenko, A.A., Khmelnov, D.E.: Procedures for searching local solutions of linear differential systems with infinite power series in the role of coefficients. Program. Comput. Softw. 42(2), 55–64 (2016). https://doi.org/10.1134/S036176881602002X
Abramov, S., Khmelnov, D., Ryabenko, A.: Laurent solutions of linear ordinary differential equations with coefficients in the form of truncated power series. In: Computer Algebra, Moscow, 17–21 June 2019, International Conference Materials, pp. 75–82 (2019)
Abramov, S.A., Ryabenko, A.A., Khmelnov, D.E.: Linear ordinary differential equations and truncated series. Comput. Math. Math. Phys. 59(10), 1649–1659 (2019). https://doi.org/10.1134/S0965542519100026
Abramov, S.A., Ryabenko, A.A., Khmelnov, D.E.: Procedures for searching Laurent and regular solutions of linear differential equations with the coefficients in the form of truncated power series. Program. Comput. Softw. 46(2), 67–75 (2020). https://doi.org/10.1134/S0361768820020024
Abramov, S.A., Ryabenko, A.A., Khmelnov, D.E.: Regular solutions of linear ordinary differential equations and truncated series. Comput. Math. Math. Phys. 60(1), 1–14 (2020). https://doi.org/10.1134/S0965542520010029
Abramov, S.A., Khmelnov, D.E., Ryabenko, A.A.: Truncated and infinite power series in the role of coefficients of linear ordinary differential equations. In: Boulier, F., England, M., Sadykov, T.M., Vorozhtsov, E.V. (eds.) CASC 2020. LNCS, vol. 12291, pp. 63–76. Springer, Cham (2020). https://doi.org/10.1007/978-3-030-60026-6_4
Abramov, S.A., Ryabenko, A.A., Khmelnov, D.E.: Truncated series and formal exponential-logarithmic solutions of linear ordinary differential equations. Comput. Math. Math. Phys. 60(10), 1609–1620 (2020). https://doi.org/10.1134/S0965542520100024
Abramov, S., Khmelnov, D., Ryabenko, A.: Truncated series (in Russian). In: Differential Equations and Related Questions of Mathematics, Works of the XII Prioksky Scientific Conference, 19–20 June 2020, pp. 8–19 (2020). http://kolomnamath.ru/download/Kolomna_Sbornik_2020.pdf
Abramov, S.A., Ryabenko, A.A., Khmelnov, D.E.: Procedures for constructing truncated solutions of linear differential equations with infinite and truncated power series in the role of coefficients. Program. Comput. Software 47(2), 144–152 (2021). https://doi.org/10.1134/S036176882102002X
Abramov, S., Petkovšek, M.: Special power series solutions of linear differential equations. In: Proceedings FPSAC 1996, pp. 1–8 (1996)
Barkatou, M.A.: Rational Newton algorithm for computing formal solutions of linear differential equations. In: Gianni, P. (ed.) ISSAC 1988. LNCS, vol. 358, pp. 183–195. Springer, Heidelberg (1989). https://doi.org/10.1007/3-540-51084-2_17
Coddington, E., Levinson, N.: Theory of Ordinary Differential Equations. Krieger (1984)
Frobenius, G.: Über die Integration der linearen Differentialgleichungen durch Reihen. Journal für die reine und angewandte Mathematik 76, 214–235 (1873). https://doi.org/10.1515/crll.1873.76.214
Heffter, L.: Einleitung in die Theorie der linearen Differentialgleichungen mit einer unabhängigen Variablen. BG Teubner, Leipzig (1894)
Ince, E.: Ordinary Differential Equations. Longmans, London, New York, Bombay (1926)
Kamke, E.: Differentialgleichungen. Lösungsmethoden und Lösungen I. Gewöhnliche Differentialgleichungen, Leipzig (1942)
Malgrange, B.: Sur la réduction formelle des équations différentielles à singularités irrégulières. Université Scientifique et Médicale de Grenoble (1979)
Schlesinger, L.: Handbuch der Theorie der linearen Differentialgleichungen, vol. 1. Teubner, Leipzig (1895)
Singer, M.F.: Formal solutions of differential equations. J. Symbolic Comput. 10(1), 59–94 (1990). https://doi.org/10.1016/S0747-7171(08)80037-5
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Abramov, S.A., Khmelnov, D.E., Ryabenko, A.A. (2021). The TruncatedSeries Package for Solving Linear Ordinary Differential Equations Having Truncated Series Coefficients. In: Corless, R.M., Gerhard, J., Kotsireas, I.S. (eds) Maple in Mathematics Education and Research. MC 2020. Communications in Computer and Information Science, vol 1414. Springer, Cham. https://doi.org/10.1007/978-3-030-81698-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-030-81698-8_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-81697-1
Online ISBN: 978-3-030-81698-8
eBook Packages: Computer ScienceComputer Science (R0)