Abstract
For a first order autonomous ODE, we give a polynomial time algorithm to decide whether it has a polynomial general solution and to compute one if it exists. Experiments show that this algorithm is quite effective in solving ODEs with high degrees and a large number of terms.
Partially supported by NKBRP of China and by a USA NSF grant CCR-0201253.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Boucher, D.: About the Polynomial Solutions of Homogeneous Linear Differential Equations Depending on Parameters. In: Proc. ISSAC 1999, pp. 261–268. ACM Press, New York (1999)
Bronstein, M.: On Solutions of Linear Ordinary Differential Equations in their Coefficient Field. J. Symb. Comput. 13(4) (1992)
Barkatou, M.A., Pflgel, E.: An Algorithm Computing the Regular Formal Solutions of a System of Linear Differential Equations. J. Symb. Comput. 28(4-5), 569–587 (1999)
Cano, J.: An Algorithm to Find Polynomial Solutions of y′ = R(x,y). Private communication (2003)
Carnicer, M.M.: The Poincaré Problem in the Nondicritical Case. Ann. of Math. 140, 289–294 (1994)
Cormier, O.: On Liouvillian Solutions of Linear Differential Equations of Order 4 and 5. In: Proc. ISSAC 2001, pp. 93–100. ACM Press, New York (2001)
Cox, D., Little, J., O’Shea, D.: Ideals, Varieties, and Algorithms. Springer, New York (1991)
Feng, R.Y., Gao, X.S.: Polynomial General Solution for First Order ODEs with Constant Coefficients. MM Research Preprints 22, 24–29 (2003), Available at http://www.mmrc.iss.ac.cn/pub/mm-pre.html
Feng, R.Y., Gao, X.S.: Rational General Solutions of Algebraic Ordinary Differential Equations. In: Proc. ISSAC 2004, pp. 155–162. ACM Press, New York (2004)
Hubert, E.: The General Solution of an Ordinary Differential Equation. In: Proc. ISSAC 1996, pp. 189–195. ACM Press, New York (1996)
Kean, C.: Taylor Polynomial Solutions of Linear Differential Equations. Appl. Math. Comput. 142(1), 155–165 (2003)
Kolchin, E.R.: Differential Algebra and Algebraic Groups. Academic Press, New York (1950)
Kovacic, J.J.: An Algorithm for Solving Second Order Linear Homogeneous Differential Equations. J. Symb. Comput. 2(1), 3–43 (1986)
Li, Z.M., Schwarz, F.: Rational Solutions of Riccati-like Partial Eifferential Equations. J. Symb. Comput. 31(6), 691–716 (2001)
Poincaré, H.: Sur L’intégration Algébrique des Équations Différentielles du Premier Ordre et du Premier Degré. Rend. Circ. Mat. Palermo 11, 193–239 (1897)
Risch, R.H.: The Problem of Integration in Finite Terms. Trans. Amer. Math. Soc. 139, 167–189 (1969)
Ritt, J.F.: Differential Algebra. In: Amer. Math. Sco. Colloquium, New York (1950)
Singer, M.F.: Liouillian First Integrals of Differential Equations. Trans. Amer. Math. Soc. 333(2), 673–688 (1992)
Ulmer, F., Calmet, J.: On Liouvillian Solutions of Homogeneous Linear Differential Equations. In: Proc. ISSAC 1990, pp. 236–243. ACM Press, New York (1990)
Van der Put, M., Singer, M.: Galois Theory of Linear Differential Equations. Springer, Berlin (2003)
Winkler, F.: Polynomial Algorithm in Computer Algebra. Springer, Heidelberg (1996)
Wu, W.T.: Mathematics Mechanization. Science Press/Kluwer, Beijing (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Feng, R., Gao, XS. (2005). Polynomial General Solutions for First Order Autonomous ODEs. In: Li, H., Olver, P.J., Sommer, G. (eds) Computer Algebra and Geometric Algebra with Applications. IWMM GIAE 2004 2004. Lecture Notes in Computer Science, vol 3519. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11499251_2
Download citation
DOI: https://doi.org/10.1007/11499251_2
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-26296-1
Online ISBN: 978-3-540-32119-4
eBook Packages: Computer ScienceComputer Science (R0)