Abstract
In this paper, we propose a package for symbolic construction of exponential–logarithmic solutions to linear differential equations whose coefficients are represented in incomplete form, i.e., as power series for which only a finite number of initial terms is known. The series involved in the solutions are also represented in incomplete form. For each such series, the maximum possible number of initial terms is constructed, which are uniquely determined by known terms of coefficients of a given equation. Additionally, the truncation degree of each series in a solution should not exceed a value specified by the user. It ensures the termination of the computation even when any number of the terms of the series involved in the solution can be defined by known terms of the coefficients of a given equation.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.Notes
The package and Maple sessions with usage examples are available at http://www.ccas.ru/ca/TruncatedSeries.
REFERENCES
Abramov, S.A., Ryabenko, A.A., and Khmelnov, D.E., Truncated series and formal exponential-logarithmic solutions of linear ordinary differential equations, Comput. Math. Math. Phys., 2020, vol. 60, no. 10, pp. 1609–1620.
Abramov, S.A., Ryabenko, A.A., and Khmelnov, D.E., Linear ordinary differential equations and truncated series, Comput. Math. Math. Phys., 2019, vol. 59, no. 10, pp. 1649–1659.
Abramov, S.A., Ryabenko, A.A., and Khmelnov, D.E., Regular solutions of linear ordinary differential equations and truncated series, Comput. Math. Math. Phys., 2020, vol. 60, no. 1, pp. 1–14.
Bruno, A.D., Asymptotic behavior and expansions of solutions of an ordinary differential equation, Russ. Math. Surv., 2004, vol. 59, no. 3, pp. 31–80.
Coddington, E.A. and Levinson, N., Theory of Ordinary Differential Equations, Krieger, 1984.
Malgrange, B., Sur la réduction formelle des équations différentielles a singularités irrégulières, Université Scientifique et Médicale de Grenoble, 1979.
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.
Barkatou, M., Rational Newton algorithm for computing formal solutions of linear differential equations, Lect. Notes Comp. Sci., 1989, vol. 358, pp. 183–195.
Barkatou, M. and Richard-Jung, F., Formal solutions of linear differential and difference equations, Program. Comput. Software, 1997, vol. 23, no. 1, pp. 17–30.
Lutz, D.A. and Schäfke, R., On the identification and stability of formal invariants for singular differential equations, Linear Algebra Its Appl., 1985, vol. 72, pp. 1–46.
Frobenius, G., Integration der linearen Differentialgleichungen mit veränder Koefficienten, J. Reine Angew. Math., 1873, vol. 76, pp. 214–235.
Heffter, L., Einleitung in die Theorie der linearen Differentialgleichungen, Leipzig: Teubner, 1894.
Abramov, S.A., Barkatou, M.A., and Pfluegel, E., Higher-order linear differential systems with truncated coefficients, Proc. CASC, 2011, pp. 10–24.
Abramov, S.A., Ryabenko, A.A., and Khmelnov, D.E., Procedures for searching local solutions of linear differential systems with infinite power series in the role of coefficients, Program. Comput. Software, 2016, vol. 42, pp. 55–64.
Abramov, S.A., Khmelnov, D.E., and Ryabenko, A.A., Procedures for searching Laurent and regular solutions of linear differential equations with the coefficients in the form of truncated power series, Program. Comput. Software, 2020, vol. 54, no. 2, pp. 18–29.
Abramov, S., Khmelnov, D., and Ryabenko, A., Truncated and infinite power series in the role of coefficients of linear ordinary differential equations, Proc. CASC, 2020 pp. 63–76.
Maple online help. http://www.maplesoft.com/support/help.
TruncatedSeries package. http://www.ccas.ru/ca/TruncatedSeries.
ACKNOWLEDGMENTS
We are grateful to Maplesoft (Waterloo, Canada) for consultations and discussions.
Funding
This work was supported in part by the Russian Foundation for Basic Research, grant no. 19-01-00032.
Author information
Authors and Affiliations
Corresponding authors
Additional information
Translated by Yu. Kornienko
Rights and permissions
About this article
Cite this article
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 Soft 47, 144–152 (2021). https://doi.org/10.1134/S036176882102002X
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S036176882102002X