Rational general solutions of algebraic ordinary differential equations

ABSTRACT

We give a necessary and sufficient condition for an algebraic ODE to have a rational type general solution. For an autonomous first order ODE, we give an algorithm to compute a rational general solution if it exists. The algorithm is based on the relation between rational solutions of the first order ODE and rational parametrizations of the plane algebraic curve defined by the first order ODE and Padé approximants.

References

1. Abramov, S. and Kvashenko, K., Fast algorithm to search for the rational solutions of linear differential equations with polynomial coefficients, Proc. ISSAC1991, 267--270, ACM Press, 1991.
2. Abhyankar, S. S. and Bajaj, C., Automatic parameterization of rational curves and surfaces, III: algebraic plane curves, Comp. Aided Geo. Design, 5, 309-321, 1988.
3. Bronstein, M., Linear ordinary differential equations: breaking through the order 2 barrier, Proc. ISSAC1992, 42--48, ACM Press, 1992.
4. Bronstein, M. and Fredet, A., Solving linear ordinary differential equations over C(x, e∫ f(x)dx), Proc. ISSAC1999, 173-179, ACM Press, 1999.
5. Bronstein, M. and Lafaille, S., Solutions of linear ordinary differential equations in terms of special functions, Proc. ISSAC2002, ACM Press, 2002.
6. Barkatou, M.A., On rational solutions of systems of linear differential equations, J. Symbolic Computation, 28(4/5), 547-568, 1999.
7. Barkatou, M. A. and Pflugel, E., An algorithm computing the regular formal solutions of a system of linear differential equations, J. Symbolic Computation, 28(4-5), 569-587, 1999.
8. Boucher, D., About the polynomial solutions of homogeneous linear differential equations depending on parameters, Proc. ISSAC1999, 261-268, ACM Press, 1999.
9. Cerveau, D. and Lins Neto, A., Holomorphic foliations in C P(2) having an invariant algebraic curve, Ann. Inst. Fourier, 41(4), 883--903, 1991.
10. Carnicer, M.M., The Poincare problem in the nondicritical case, Ann. Math., 140, 289--294, 1994.
11. Cano, J., An algorithm to find polynomial solutions of y' = R(x,y), 2003, private communication.
12. Cormier, O., On Liouvillian solutions of linear differential equations of order 4 and 5, Proc. ISSAC2001, 93--100, ACM Press, 2001.
13. Feng R. and Gao, X.S., Polynomial general solution for first order ODEs with constant coefficients, poster at ISSAC2003.
14. Gao, X.S., Implicitization for differential rational parametric equations, J. Symbolic Computation, 811--824, 36(5), 2003.
15. Gao, X.S. and Chou, S.C., On the normal parameterization of curves and surfaces, Int. J. Comput. Geometry and App., 1, 125--136, 1991.
16. Gao, X.S. and Chou, S.C., Computations with parameter equations, Proc. ISSAC1991, 122--127, ACM Press, 1991.
17. George, A. and Baker, J.R., Essentials of Pade approximants, ACM Press, New York, 1975.
18. Hubert, E., The general solution of an ordinary differential equation, Proc. ISSAC1996, 189--195, ACM Press, 1996.
19. Kolchin, E.R., Differential algebra and algebraic groups, ACM Press, New York, 1973.
20. Kovacic, J.J., An algorithm for solving second order linear homogeneous differential equations, J. Symbolic Computation, 2(1), 3--43, 1986.
21. Li, Z.M. and Schwarz, F., Rational solutions of Riccati-like partial differential equations, J. Symbolic Computation, 31, 691--719, 2001.
22. Pflugel, E., An algorithm for computing exponential solutions of first order linear differential Systems, Proc. ISSAC1997, 164--171, ACM Press, 1997.
23. Poincare, H., Sur l'integration algebrique des equations diff. du premier ordre, Rendiconti del circolo matematico di Palermo, t.11, 193--239, 1897.
24. Risch, R.H., The problem of integration in finite terms, Trans. AMS, 139, 167--189, 1969.
25. Ritt, J.F., Differential algebra, Amer. Math. Sco. Colloquium, New York, 1950.
26. Sendra, J.R. and Winkler, F., Tracing index of rational curve parametrization, Comp. Aided Geo. Design, 18(8), 771--795, 2001
27. Sendra, J.R. and Winkler, F., Parametrization of algebraic curves over optimal field extensions, J. Symbolic Computation, 23, 191-2-7, 1997.
28. Singer, M.F., Liouillian solutions of nth order homogeneous linear differential equations, Amer. J. Math., 103(4), 661-682, 1981.
29. Singer, M.F., Liouillian first integrals of differential equations, Trans. Amer. Math. Sco., 333(2), 673--688, 1992.
30. Singer, M.F., Ulmer, F., Liouvillian solutions of third order linear differential equations: new bounds and necessary conditions, Proc. ISSAC1992, 57--62, ACM Press, 1992.
31. Ulmer, F. and Calmet, J., On Liouvillian solutions of homogeneous linear differential equations, Proc. ISSAC1990, 236--243, ACM Press, 1990.
32. van Hoeij, M., Rational parametrizations of algebraic curves using a canonical divisor. J. Symbolic Computation, 23, 209--227, 1997.
33. van Hoeij, M., Ragot, J.F., Ulmer, F. and Weil, J.A., Liouvillian solutions of linear differential equations of order three and higher. J. Symbolic Computation, 28, 589--610, 1999.
34. Van der Put, M. and Singer, M. Galois theory of linear differential equations, Springer, Berlin, 2003.
35. Van der Waerden, Modern algebra, Vol 1, New York, 1970.

Index Terms

• Computing methodologies

  • Symbolic and algebraic manipulation

    • Symbolic and algebraic algorithms

      • Algebraic algorithms