Advertisement

Journal of Systems Science and Complexity

, Volume 32, Issue 1, pp 256–270 | Cite as

The Algebro-Geometric Method for Solving Algebraic Differential Equations — A Survey

  • Franz WinklerEmail author
Article

Abstract

This paper presents the algebro-geometric method for computing explicit formula solutions for algebraic differential equations (ADEs). An algebraic differential equation is a polynomial relation between a function, some of its partial derivatives, and the variables in which the function is defined. Regarding all these quantities as unrelated variables, the polynomial relation leads to an algebraic relation defining a hypersurface on which the solution is to be found. A solution in a certain class of functions, such as rational or algebraic functions, determines a parametrization of the hypersurface in this class. So in the algebro-geometric method the author first decides whether a given ADE can be parametrized with functions from a given class; and in the second step the author tries to transform a parametrization into one respecting also the differential conditions. This approach is relatively well understood for rational and algebraic solutions of single algebraic ordinary differential equations (AODEs). First steps are taken in a generalization to systems and to partial differential equations.

Keywords

Algebraic differential equation exact solution parametrization of curves 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [1]
    Winkler F, Polynomial Algorithms in Computer Algebra, Springer-Verlag, Wien, 1996.CrossRefzbMATHGoogle Scholar
  2. [2]
    Janet M, Leçons sur les systèmes d’équations aux derivées partielles, Gauthier-Villars, Paris, 1920.zbMATHGoogle Scholar
  3. [3]
    Ritt J F, Differential Algebra, American Mathematical Society, 1950.Google Scholar
  4. [4]
    Kolchin E R, Differential Algebra and Algebraic Groups, Academic Press, New York, 1973.zbMATHGoogle Scholar
  5. [5]
    Magid A R, Lectures on Differential Galois Theory, American Mathematical Society, 1997.Google Scholar
  6. [6]
    van der Put M and Singer M F, Galois Theory of Linear Differential Equations, 2nd Edition, Springer-Verlag, Berlin, 2003.zbMATHGoogle Scholar
  7. [7]
    Schwarz F, Algorithmic Lie Theory for Solving Ordinary Differential Equations, Chapman & Hall/CRC, Boca Raton, Florida, 2008.zbMATHGoogle Scholar
  8. [8]
    Behloul D and Cheng S S, Computation of all polynomial solutions of a class of nonlinear differential equations, Computing, 2006, 77: 163–177.MathSciNetCrossRefzbMATHGoogle Scholar
  9. [9]
    Behloul D and Cheng S S, Computation of rational solutions for a first-order nonlinear differential equation, Electronic Journal of Differential Equations (EJDE), 2011, 1–16.Google Scholar
  10. [10]
    Kovacic J, An algorithm for solving second order linear homogeneous differential equations, J. Symbolic Computation, 1986, 2(1): 3–43.MathSciNetCrossRefzbMATHGoogle Scholar
  11. [11]
    Singer M F, Liouvillian solutions of n-th order homogeneous linear differential equations, Amer. J. Mathematics, 1981, 103(4): 661–682.MathSciNetCrossRefzbMATHGoogle Scholar
  12. [12]
    Fuchs L, Über Differentialgleichungen, deren Integrale feste Verzweigungspunkte besitzen, Sitzungsberichte der Königlich Preuβischen Akademie der Wissenschaften zu Berlin, 1884, 11(3): 251–273.Google Scholar
  13. [13]
    Poincaré H, Sur un théorème de M. Fuchs, Acta Math., 1885, 7: 1–13.MathSciNetCrossRefzbMATHGoogle Scholar
  14. [14]
    Malmquist J, Sur les fonctions a un nombre fini des branches définies par les équations différentielles du premier ordre, Acta Math., 1920, 42(1): 317–325.MathSciNetCrossRefGoogle Scholar
  15. [15]
    Eremenko A, Meromorphic solutions of algebraic differential equations, Russian Mathematical Surveys, 1982, 37(4): 61–95.MathSciNetCrossRefzbMATHGoogle Scholar
  16. [16]
    Matsuda M, First Order Algebraic Differential Equations — A Differential Algebraic Approach, LNM 804, Springer-Verlag, Berlin, 1980.CrossRefzbMATHGoogle Scholar
  17. [17]
    Eremenko A, Rational solutions of first-order differential equations, Annales Academiae Scientiarum Fennicae, 1990, 23(1): 181–190.MathSciNetzbMATHGoogle Scholar
  18. [18]
    Hubert E, The general solution of an ordinary differential equation, Proc. Internat. Symposium on Symbolic and Algebraic Computation (ISSAC 1996), Ed. by Lakshman Y N, ACM Press, New York, 1996, 189–195.Google Scholar
  19. [19]
    Feng R and Gao X S, Rational general solutions of algebraic ordinary differential equations, Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation (ISSAC 04) Ed. by Gutierrez J, 155–162, ACM Press, New York, 2004.CrossRefGoogle Scholar
  20. [20]
    Feng R and Gao X S, A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs, J. Symbolic Computation, 2006, 41(7): 739–762.MathSciNetCrossRefzbMATHGoogle Scholar
  21. [21]
    Chen G and Ma Y, Algorithmic reduction and rational general solutions of first order algebraic differential equations, Differential Equations with Symbolic Computation, Eds. by Wang D and Zheng Z, 201–212, Birkhäuser, Basel, 2005.CrossRefGoogle Scholar
  22. [22]
    Ngô L X C and Winkler F, Rational general solutions of first order non-autonomous parametrizable ODEs, J. Symbolic Computation, 2010, 45(12): 1426–1441.MathSciNetCrossRefzbMATHGoogle Scholar
  23. [23]
    Ngô L X C and Winkler F, Rational general solutions of planar rational systems of autonomous ODEs, J. Symbolic Computation, 2011, 46(10): 1173–1186.MathSciNetCrossRefzbMATHGoogle Scholar
  24. [24]
    Ngô L X C and Winkler F, Rational general solutions of parametrizable AODEs, Publ. Math. Debrecen, 2011, 79(3–4): 573–587.MathSciNetzbMATHGoogle Scholar
  25. [25]
    Huang Y, Ngô L X C, and Winkler F, Rational general solutions of higher order algebraic ODEs, Journal of Systems Science and Complexity, 2013, 26(2): 261–280.MathSciNetCrossRefzbMATHGoogle Scholar
  26. [26]
    Grasegger G, Lastra A, Sendra J R, et al., A solution method for autonomous first-order algebraic partial differential equations, J. Computational and Applied Mathematics, 2016, 300: 119–133.MathSciNetCrossRefzbMATHGoogle Scholar
  27. [27]
    Grasegger G, Lastra A, Sendra J R, et al., Rational general solutions of systems of first-order algebraic partial differential equations, J. Computational and Applied Mathematics, 2018, 331: 88–103.MathSciNetCrossRefzbMATHGoogle Scholar
  28. [28]
    Vo N T, Grasegger G, and Winkler F, Deciding the existence of rational general solutions for first-order algebraic ODEs, J. Symbolic Computation, 2018, 87: 127–139.MathSciNetCrossRefzbMATHGoogle Scholar
  29. [29]
    Vo N T, Grasegger G, and Winkler F, Computation of all rational solutions of first-order algebraic ODEs, Advances in Applied Mathematics, 2018, 98: 1–24.MathSciNetCrossRefzbMATHGoogle Scholar
  30. [30]
    Grasegger G and Vo N T, An algebraic-geometric method for computing Zolotarev polynomials, Proc. Internat. Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Ed. by Burr M, 173–180, ACM Press, New York, 2017.CrossRefGoogle Scholar
  31. [31]
    Sendra J R and Winkler F, Tracing index of rational curve parametrizations, Computer Aided Geometric Design, 2001, 18(8): 771–795.MathSciNetCrossRefzbMATHGoogle Scholar
  32. [32]
    van der Waerden B, Algebra, Vol. I, Springer-Verlag, New York, 1991.CrossRefGoogle Scholar
  33. [33]
    Artin M and Mumford D, Some elementary examples of unirational varieties which are not rational, Proc. London Mathematical Society, 1972, 25(3): 75–95.MathSciNetCrossRefzbMATHGoogle Scholar
  34. [34]
    Sendra J R, Winkler F, and Pérez-Díaz S, Rational Algebraic Curves — A Computer Algebra Approach, Springer-Verlag, Heidelberg, 2008.CrossRefzbMATHGoogle Scholar
  35. [35]
    Carnicer M, The Poincaré problem in the nondicritical case, Annals of Mathematics, 1994, 140(2): 289–294.MathSciNetCrossRefzbMATHGoogle Scholar
  36. [36]
    Kamke E, Differentialgleichungen: Lösungsmethoden und Lösungen I, Teubner B G, Stuttgart, 1983.zbMATHGoogle Scholar
  37. [37]
    Lastra A, Sendra J R, Ngô L X C, et al., Rational general solutions of systems of autonomous ordinary differential equations of algebro-geometric dimension one, Publ. Math. Debrecen, 2015, 86(1–2): 49–69.MathSciNetCrossRefzbMATHGoogle Scholar
  38. [38]
    Aroca J M, Cano J, Feng R, et al., Algebraic General Solutions of Algebraic Ordinary Differential Equations, Proceedings of the 30th International Symposium on Symbolic and Algebraic Computation (ISSAC 05), Ed. by Kauers M, 29–36, ACM Press, New York, 2005.Google Scholar
  39. [39]
    Vo N T and Winkler F, Algebraic general solutions of first-order algebraic ODEs, Proc. of 17th Workshop on Computer Algebra in Scientific Computing (CASC-2015), Ed. by Gerdt V P, et al., LNCS, Springer-Verlag, 2015, 9301: 479–492.MathSciNetCrossRefzbMATHGoogle Scholar
  40. [40]
    Ngô L X C, Sendra J R, and Winkler F, Classification of algebraic ODEs with respect to rational solvability, Contemporary Mathematics, 2012, 572: 193–210.MathSciNetCrossRefzbMATHGoogle Scholar
  41. [41]
    Ngô L X C, Sendra J R, and Winkler F, Birational transformations preserving rational solutions of algebraic ordinary differential equations, J. Computational and Applied Mathematics, 2015, 286: 114–127.MathSciNetCrossRefzbMATHGoogle Scholar
  42. [42]
    Ngo L X C, Nguyen K A, van der Put M, et al., Equivalence of differential equations of order one, J. Symbolic Computation, 2015, 71: 47–59.MathSciNetCrossRefzbMATHGoogle Scholar
  43. [43]
    Grasegger G and Winkler F, Symbolic solutions of first order algebraic ODEs, Computer Algebra and Polynomials, Eds. by Gutierrez J, Schicho J, and Weimann M, LNCS 8942: 94–104, Springer Switzerland, 2015.Google Scholar
  44. [44]
    Huang Y, Ngô L X C, and Winkler F, Rational general solutions of trivariate rational differential systems, Mathematics in Computer Science, 2012, 6(4): 361–374.MathSciNetCrossRefzbMATHGoogle Scholar

Copyright information

© Institute of Systems Science, Academy of Mathematics and Systems Science, Chinese Academy of Sciences and Springer-Verlag GmbH Germany, part of Springer Nature 2019

Authors and Affiliations

  1. 1.Research Institute for Symbolic ComputationJ. Kepler UniversityLinzAustria

Personalised recommendations