Abstract
Previously, we proposed algorithms that allow one to find Laurent and regular solutions of linear differential equations with coefficients in the form of truncated formal power series. The solutions contain truncated power series as well. In this paper, we propose some automatic means for confirming the impossibility of obtaining a larger number of terms in these solutions without some additional information on a given equation. The confirmation has the form of a counterexample to the assumption about the possibility of obtaining some additional terms of the solution.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.REFERENCES
Bryuno, A.D., Asymptotic behaviour and expansions of solutions of an ordinary differential equation, Russ. Math. Surv., 2004, vol. 59, no. 3, pp. 429–480.
Abramov, S.A., Barkatou, M.A., and Pfluegel, E., Higher-order linear differential systems with truncated coefficients, Proc. Computer Algebra in Scientific Computing, 2011, pp. 10–24.
Abramov, S.A., Ryabenko, A.A., and Khmelnov, D.E., Linear ordinary differential equations and truncated series, Comput. Math. Math. Phys., 2019, vol. 59, pp. 1649–1659.
Abramov, S.A., Khmelnov, D.E., and Ryabenko, A.A., Laurent solutions of linear ordinary differential equations with coefficients in the form of truncated power series, Materialy 3-i mezhdunarodnoi konferentsii “Komp’yuternaya algebra” (Proc. 3rd Int. Conf. Computer Algebra), Moscow: RUDN Univ., 2019, pp. 75–82.
Abramov, S.A., Ryabenko, A.A., and 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. Software, 2020, vol. 46, pp. 67–75.
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, pp. 1–14.
Abramov, S.A., Khmelnov, D.E., and Ryabenko, A.A., Truncated and infinite power series in the role of coefficients of linear ordinary differential equations, Lect. Notes Comput. Sci., 2020, vol. 12291, pp. 63–76.
Maple online help. http://www.maplesoft.com/support/help.
Khmelnov, D.E., Ryabenko, A.A., and Abramov, S.A., Automatic confirmation of exhaustive use of information on a given equation, Computer algebra: 4th International Conference Materials, Moscow: MAKS Press, 2021, pp. 69–72.
Abramov, S.A., Ryabenko, A.A., and 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, 2021, vol. 47, pp. 144–152.
Abramov, S.A., Khmelnov, D.E., and Ryabenko, A.A., The TruncatedSeries package for solving linear ordinary differential equations having truncated series coefficients, Maple in Mathematics Education and Research, Springer Nature Switzerland, 2021, pp. 19–33.
TruncatedSeries website. http://www.ccas.ru/ca/TruncatedSeries.
ACKNOWLEDGMENTS
We are grateful to M. Petkovšek (University of Ljubljana, Slovenia) for helpful advices, as well as Maplesoft (Waterloo, Canada) for consultations and discussions.
Funding
This work was supported in part by the Russian Foundation for Basic Research, project 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. Exhaustive Use of Information on an Equation with Truncated Coefficients. Program Comput Soft 48, 116–124 (2022). https://doi.org/10.1134/S0361768822020025
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768822020025