Abstract
Let a linear homogeneous ordinary differential equation with polynomial coefficients over a field \(\mathbb{K}\) be given. For a singular point of the equation, the fundamental system of formal solutions that contain a finite number of power series with coefficients belonging to the algebraic extension of \(\mathbb{K}\) can be constructed by known algorithms. In this paper, an algorithm is suggested for construction of a space of formal solutions such that all series containing in these solutions have m-hypergeometric coefficients. The implementation of the algorithm in the computer algebra system Maple is discussed.
Similar content being viewed by others
REFERENCES
Kamke, E., Differentialgleichungen Lösungsmethoden und Lösungen, Leipzig, 1959. Translated under the title Spravochnik po obyknovennym differentsial'nym uravneniyam, Moscow, 1961.
Tournier, E., Solutions formelles d'équations différentielles. Le logiciel de calcul formel DESIR, Étude théorique et réalisation, Thèse d'État, Grenoble: Université I de Grenoble, 1987.
Chudnovsky, D.V. and Chudnovsky, G.V., On Expansion of Algebraic Functions in Power and Puiseux Series II, J. Complexity, 1987, vol. 3, pp. 1–25.
Pflugel, E., DESIR-II, RT 154, IMAG, Grenoble, 1996.
Ryabenko, A.A., Special Formal Series Solutions of Linear Ordinary Differential Equations, Proc. EPSAC'00, Moscow, 2000, pp. 356–366.
Abramov, S.A., m-Sparse Solutions of Linear Ordinary Differential Equations with Polynomial Coefficients, Discrete Math., 2000, vol. 217, pp. 3–15.
Petkovšek, M., Hypergeometric Solutions of Linear Recurrences with Polynomial Coefficients, Symbolic Computation, 1992, vol. 14, pp. 243–264.
Petkovšek, M. and Salvy, B., Finding All Hypergeometric Solutions of Linear Differential Equations, Proc. ISSAC'93, New York: ACM, 1993, pp. 27–33.
Abramov, S.A., Rational Solutions of Linear Difference and q-Difference Equations with Polynomial Coefficients, Programmirovanie, 1995, no. 6, pp. 3–11.
Ryabenko, A.A., Maple-Package for Symbolic Construction of Solutions of Linear Ordinary Differential Equations in the Form of Power Series, Programmirovanie, 1999, no. 5, pp. 71–80.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Ryabenko, A.A. Formal Solutions of Linear Ordinary Differential Equations Containing m-Hypergeometric Series. Programming and Computer Software 28, 92–101 (2002). https://doi.org/10.1023/A:1014880918779
Issue Date:
DOI: https://doi.org/10.1023/A:1014880918779