Skip to main content

Polynomial General Solutions for First Order Autonomous ODEs

  • Conference paper
Book cover Computer Algebra and Geometric Algebra with Applications (IWMM 2004, GIAE 2004)

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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)

    Chapter  Google Scholar 

  2. Bronstein, M.: On Solutions of Linear Ordinary Differential Equations in their Coefficient Field. J. Symb. Comput. 13(4) (1992)

    Google Scholar 

  3. 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)

    Article  MATH  Google Scholar 

  4. Cano, J.: An Algorithm to Find Polynomial Solutions of y′ = R(x,y). Private communication (2003)

    Google Scholar 

  5. Carnicer, M.M.: The Poincaré Problem in the Nondicritical Case. Ann. of Math. 140, 289–294 (1994)

    Article  MATH  MathSciNet  Google Scholar 

  6. 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)

    Chapter  Google Scholar 

  7. Cox, D., Little, J., O’Shea, D.: Ideals, Varieties, and Algorithms. Springer, New York (1991)

    Google Scholar 

  8. 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

    Google Scholar 

  9. 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)

    Chapter  Google Scholar 

  10. Hubert, E.: The General Solution of an Ordinary Differential Equation. In: Proc. ISSAC 1996, pp. 189–195. ACM Press, New York (1996)

    Chapter  Google Scholar 

  11. Kean, C.: Taylor Polynomial Solutions of Linear Differential Equations. Appl. Math. Comput. 142(1), 155–165 (2003)

    Article  MathSciNet  Google Scholar 

  12. Kolchin, E.R.: Differential Algebra and Algebraic Groups. Academic Press, New York (1950)

    Google Scholar 

  13. Kovacic, J.J.: An Algorithm for Solving Second Order Linear Homogeneous Differential Equations. J. Symb. Comput. 2(1), 3–43 (1986)

    Article  MATH  MathSciNet  Google Scholar 

  14. Li, Z.M., Schwarz, F.: Rational Solutions of Riccati-like Partial Eifferential Equations. J. Symb. Comput. 31(6), 691–716 (2001)

    Article  MATH  MathSciNet  Google Scholar 

  15. 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)

    Article  MATH  Google Scholar 

  16. Risch, R.H.: The Problem of Integration in Finite Terms. Trans. Amer. Math. Soc. 139, 167–189 (1969)

    Article  MATH  MathSciNet  Google Scholar 

  17. Ritt, J.F.: Differential Algebra. In: Amer. Math. Sco. Colloquium, New York (1950)

    Google Scholar 

  18. Singer, M.F.: Liouillian First Integrals of Differential Equations. Trans. Amer. Math. Soc. 333(2), 673–688 (1992)

    Article  MATH  MathSciNet  Google Scholar 

  19. Ulmer, F., Calmet, J.: On Liouvillian Solutions of Homogeneous Linear Differential Equations. In: Proc. ISSAC 1990, pp. 236–243. ACM Press, New York (1990)

    Chapter  Google Scholar 

  20. Van der Put, M., Singer, M.: Galois Theory of Linear Differential Equations. Springer, Berlin (2003)

    MATH  Google Scholar 

  21. Winkler, F.: Polynomial Algorithm in Computer Algebra. Springer, Heidelberg (1996)

    Google Scholar 

  22. Wu, W.T.: Mathematics Mechanization. Science Press/Kluwer, Beijing (2000)

    MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics