Abstract
The theory of decomposition of differential polynomials (DPs) is considered. For a given differential algebraic equation
the possibility to represent the differential polynomial P as the composition P = Q(x, R, R′, ..., R (q)), R = R(x, y(x), ..., y(r)(x)) of DPs Q and R is studied. It is shown that the decomposition problem is reduced to the factorization of linear ordinary differential operators (LODOs). A generic decomposition algorithm for DPs is described based on the Vandermonde differential theorem.
Similar content being viewed by others
Explore related subjects
Discover the latest articles, news and stories from top researchers in related subjects.References
Gantmakher, F.R., Teoriya matrits (The Theory of Matrices), Moscow: Nauka, 1988; New York: Chelsea, 1959.
Olver, P.J., Applications of Lie Groups to Differential Equations, New York: Springer, 1986.
Sosnin, M.V., An Algorithm for Nonparametric Decomposition of Differential Polynomials, Programmirovanie, 2001, no. 1, pp. 59–66 [Programming Comput. Software (Engl. Transl.), 2001, vol. 27, no. 1, pp. 43–49].
Sosnin, M.V., Simplification of Algebraic Differential Equations Using an Algorithm for the Decomposition of Differential Polynomials, Preprint of Inst. of Computational Mathematics, Sib. Branch of Russ. Acad. Sci., Krasnoyarsk, 2001, no. 3-01, p. 38.
Sosnin, M.V., A Complete Algorithm for Decomposition of Differential Polynomials, in Ezhegodnik Krasnoyarskogo Gos. Pedagogicheskogo Univ. (Yearbook of the Krasnoyarsk State Teachers’ Training Univ.), vol. 1, no. 2, Krasnoyarsk, pp. 48–59.
Barton, D.R. and Zippel, R.E., Polynomial Decomposition Algorithms, J. Symb. Comput., 1985, vol. 1, pp. 159–168.
Gao Xiao-Shan and Ming-Bo Zhang, Decomposition of Differential Polynomials, MMRC Research Preprints, Beijing, 2003, No. 22, pp. 163–188; available at http://www.mmrc.iss.ac.cn./pub/mm-pre.html.
Gao Xiao-Shan and Ming-Bo Zhang, Decomposition of Differential Polynomials Operators with Rational Functions Coefficients, MMRC Research Preprints, Beijing, 2004, No. 23, pp. 92–112; available at http://www.mmrc.iss.ac.cn./pub/mm-pre.html.
van Hoeij, M., Factorization of Differential Operators with Rational Functions Coefficients, J. Symb. Comput., 1997, vol. 24, pp. 537–561.
Kolchin, E., Differential Algebra and Algebraic Groups, New York: Academic, 1973.
Kozen, D. and Landau, S., Polynomial Decomposition Algorithms, J. Symb. Comput., 1985, vol. 7, pp. 445–456.
Ritt, J.F., Differential Algebra, New York: Dover, 1966.
Tsarev, S.P., An Algorithm for Complete Enumeration of All Factorization of a Linear Ordinary Differential Operator, in Proc. ISSAC’96, Lakshman, Y.N., Ed., New York: ACM Press, 1996, pp. 226–231.
Author information
Authors and Affiliations
Corresponding author
Additional information
Original Russian Text © M.V. Sosnin, 2011, published in Programmirovanie, 2011, Vol. 37, No. 4.
Rights and permissions
About this article
Cite this article
Sosnin, M.V. An algorithm for the decomposition of differential polynomials in the general case. Program Comput Soft 37, 181–186 (2011). https://doi.org/10.1134/S0361768811020101
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1134/S0361768811020101