The algebro-geometric method: Solving algebraic differential equations by parametrizations

Falkensteiner, Sebastian; Mitteramskogler, Johann; Sendra, J.; Winkler, Franz

doi:10.1090/bull/1773

The algebro-geometric method: Solving algebraic differential equations by parametrizations
HTML articles powered by AMS MathViewer

by Sebastian Falkensteiner, Johann J. Mitteramskogler, J. Rafael Sendra and Franz Winkler HTML | PDF

Bull. Amer. Math. Soc. 60 (2023), 85-122 Request permission

Abstract:

We present a survey of the algebro-geometric method for solving algebraic ordinary differential equations by means of parametrizations of the associated algebraic sets. In particular, we deal with equations of order one, and also systems of algebro-geometric dimension one. Various classes of solutions are treated symbolically, such as rational, algebraic, and power series solutions. We also consider classes of algebraic transformations of the associated algebraic sets preserving the solutions of the differential equations. Two Maple packages, implementing some of these solution methods, are presented.

References

J. M. Aroca, J. Cano, R. Feng, and X. S. Gao, Algebraic general solutions of algebraic ordinary differential equations, ISSAC’05, ACM, New York, 2005, pp. 29–36. MR 2280526, DOI 10.1145/1073884.1073891
F. Boulier, J. Cano, S. Falkensteiner and J.R. Sendra, Puiseux series and algebraic solutions of first order autonomous AODEs—a MAPLE package, in Maple in Mathematics Education and Research (MC 2020), pp. 89–103. Springer International Publishing, 2021.
José Cano, An extension of the Newton-Puiseux polygon construction to give solutions of Pfaffian forms, Ann. Inst. Fourier (Grenoble) 43 (1993), no. 1, 125–142 (English, with English and French summaries). MR 1209698, DOI 10.5802/aif.1324
José Cano, Sebastian Falkensteiner, and J. Rafael Sendra, Algebraic, rational and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one, Math. Comput. Sci. 15 (2021), no. 2, 189–198. MR 4260681, DOI 10.1007/s11786-020-00478-w
José Cano, Sebastian Falkensteiner, and J. Rafael Sendra, Existence and convergence of Puiseux series solutions for autonomous first order differential equations, J. Symbolic Comput. 108 (2022), 137–151. MR 4292378, DOI 10.1016/j.jsc.2020.06.010
José Cano, Sebastian Falkensteiner, and J. Rafael Sendra, Algebraic, rational and Puiseux series solutions of systems of autonomous algebraic ODEs of dimension one, Math. Comput. Sci. 15 (2021), no. 2, 189–198. MR 4260681, DOI 10.1007/s11786-020-00478-w
David A. Cox, John Little, and Donal O’Shea, Using algebraic geometry, 2nd ed., Graduate Texts in Mathematics, vol. 185, Springer, New York, 2005. MR 2122859
Guoting Chen and Yujie Ma, Algorithmic reduction and rational general solutions of first order algebraic differential equations, Differential equations with symbolic computation, Trends Math., Birkhäuser, Basel, 2005, pp. 201–212. MR 2187381, DOI 10.1007/3-7643-7429-2_{1}2
Dominique Duval, Rational Puiseux expansions, Compositio Math. 70 (1989), no. 2, 119–154. MR 996324
A. Eremenko, Rational solutions of first-order differential equations, Ann. Acad. Sci. Fenn. Math. 23 (1998), no. 1, 181–190. MR 1601867
S. Falkensteiner, Power series solutions of AODEs—Existence, uniqueness, convergence and computation, PhD Thesis, available online at www.risc.jku.at/publications/download/risc_6202/20-13.pdf, 2020.
Ruyong Feng and Xiao-shan Gao, Rational general solutions of algebraic ordinary differential equations, ISSAC 2004, ACM, New York, 2004, pp. 155–162. MR 2126938, DOI 10.1145/1005285.1005309
Ruyong Feng and Xiao-Shan Gao, A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs, J. Symbolic Comput. 41 (2006), no. 7, 739–762. MR 2232199, DOI 10.1016/j.jsc.2006.02.002
Sebastian Falkensteiner and J. Rafael Sendra, Solving first order autonomous algebraic ordinary differential equations by places, Math. Comput. Sci. 14 (2020), no. 2, 327–337. MR 4096370, DOI 10.1007/s11786-019-00431-6
Georg Grasegger, Alberto Lastra, J. Rafael Sendra, and Franz Winkler, Rational general solutions of systems of first-order algebraic partial differential equations, J. Comput. Appl. Math. 331 (2018), 88–103. MR 3720262, DOI 10.1016/j.cam.2017.10.010
G. Grasegger, Symbolic solutions of first-order algebraic differential equations, PhD Thesis, available online at https://epub.jku.at/obvulihs/content/titleinfo/753082?lang=en, 2015.
E. Hubert, The general solution of an ordinary differential equation, in Proceedings of the 1996 international symposium on symbolic and algebraic computation, pp. 189–195, 1996.
E. L. Ince, Ordinary Differential Equations, Dover Publications, New York, 1944. MR 0010757
Michael Kalkbrener, A generalized Euclidean algorithm for computing triangular representations of algebraic varieties, J. Symbolic Comput. 15 (1993), no. 2, 143–167. MR 1218756, DOI 10.1006/jsco.1993.1011
E. R. Kolchin, Differential algebra and algebraic groups, Pure and Applied Mathematics, Vol. 54, Academic Press, New York-London, 1973. MR 0568864
Jerald J. Kovacic, An algorithm for solving second order linear homogeneous differential equations, J. Symbolic Comput. 2 (1986), no. 1, 3–43. MR 839134, DOI 10.1016/S0747-7171(86)80010-4
Alberto Lastra, J. Rafael Sendra, Lam Xuan Chau Ngô, and Franz Winkler, Rational general solutions of systems of autonomous ordinary differential equations of algebro-geometric dimension one, Publ. Math. Debrecen 86 (2015), no. 1-2, 49–69. MR 3300577, DOI 10.5486/PMD.2015.6032
J.J. Mitteramskogler, AGADE—a Maple package for computing rational general solutions of parametrizable first-order algebraic ODEs, in Maple in Mathematics Education and Research (MC 2020), pp. 268–287. Springer International Publishing, 2021.
Johann J. Mitteramskogler and Franz Winkler, Symbolic solutions of algebraic ODEs: a comparison of methods, Publ. Math. Debrecen 100 (2022), no. 1-2, 143–166. MR 4389251, DOI 10.5486/pmd.2022.9100
L. X. C. Ngô, Rational general solutions of first-order algebraic ODEs, PhD Thesis, available online at www.risc.jku.at/publications/download/risc_4390/Dissertation-final.pdf, 2011.
Ngo Lam Xuan Chau and Ha Trong Thi, Möbius transformations on algebraic ODEs of order one and algebraic general solutions of the autonomous equivalence classes, J. Comput. Appl. Math. 380 (2020), 112999, 9. MR 4102762, DOI 10.1016/j.cam.2020.112999
L. X. C. Ngô, J.R. Sendra, and F. Winkler, Birational transformations on algebraic ordinary differential equations, RISC Report Series 12–18, Research Institute for Symbolic Computation (RISC), Johannes Kepler University Linz, 2012.
L. X. Châu Ngô, J. Rafael Sendra, and Franz Winkler, Classification of algebraic ODEs with respect to rational solvability, Computational algebraic and analytic geometry, Contemp. Math., vol. 572, Amer. Math. Soc., Providence, RI, 2012, pp. 193–210. MR 2953830, DOI 10.1090/conm/572/11361
L. X. C. Ngô, J. R. Sendra, and F. Winkler, Birational transformations preserving rational solutions of algebraic ordinary differential equations, J. Comput. Appl. Math. 286 (2015), 114–127. MR 3336231, DOI 10.1016/j.cam.2015.03.007
L. X. Châu Ngô and Franz Winkler, Rational general solutions of first order non-autonomous parametrizable ODEs, J. Symbolic Comput. 45 (2010), no. 12, 1426–1441. MR 2733387, DOI 10.1016/j.jsc.2010.06.018
Lâm Xuân Châu Ngô and Franz Winkler, Rational general solutions of parametrizable AODEs, Publ. Math. Debrecen 79 (2011), no. 3-4, 573–587. MR 2907990, DOI 10.5486/pmd.2011.5121
L. X. Châu Ngô and Franz Winkler, Rational general solutions of planar rational systems of autonomous ODEs, J. Symbolic Comput. 46 (2011), no. 10, 1173–1186. MR 2831479, DOI 10.1016/j.jsc.2011.06.002
Joseph Fels Ritt, Differential Algebra, American Mathematical Society Colloquium Publications, Vol. XXXIII, American Mathematical Society, New York, N. Y., 1950. MR 0035763, DOI 10.1090/coll/033
Daniel Robertz, Formal algorithmic elimination for PDEs, Lecture Notes in Mathematics, vol. 2121, Springer, Cham, 2014. MR 3307172, DOI 10.1007/978-3-319-11445-3
Josef Schicho, Rational parametrization of surfaces, J. Symbolic Comput. 26 (1998), no. 1, 1–29. MR 1633577, DOI 10.1006/jsco.1997.0199
J. Rafael Sendra and Franz Winkler, Parametrization of algebraic curves over optimal field extensions, J. Symbolic Comput. 23 (1997), no. 2-3, 191–207. Parametric algebraic curves and applications (Albuquerque, NM, 1995). MR 1448694, DOI 10.1006/jsco.1996.0083
J. Rafael Sendra, Franz Winkler, and Sonia Pérez-Díaz, Rational algebraic curves, Algorithms and Computation in Mathematics, vol. 22, Springer, Berlin, 2008. A computer algebra approach. MR 2361646, DOI 10.1007/978-3-540-73725-4
N. Thieu Vo, Georg Grasegger, and Franz Winkler, Deciding the existence of rational general solutions for first-order algebraic ODEs, J. Symbolic Comput. 87 (2018), 127–139. MR 3744343, DOI 10.1016/j.jsc.2017.06.003
N. T. Vo, Rational and algebraic solutions of first-order algebraic ODEs, PhD Thesis, available online at www.risc.jku.at/publications/download/risc_5387/PhDThesisThieu.pdf, 2016.
Joachim von zur Gathen and Jürgen Gerhard, Modern computer algebra, 3rd ed., Cambridge University Press, Cambridge, 2013. MR 3087522, DOI 10.1017/CBO9781139856065
Ngoc Thieu Vo and Franz Winkler, Algebraic general solutions of first order algebraic ODEs, Computer algebra in scientific computing, Lecture Notes in Comput. Sci., vol. 9301, Springer, Cham, 2015, pp. 479–492. MR 3447539, DOI 10.1007/978-3-319-24021-3_{3}5
Robert J. Walker, Algebraic curves, Springer-Verlag, New York-Heidelberg, 1978. Reprint of the 1950 edition. MR 513824, DOI 10.1007/978-1-4612-6323-4
F. Winkler, Polynomial algorithms in computer algebra, Texts and Monographs in Symbolic Computation, Springer-Verlag, Vienna, 1996. MR 1408683, DOI 10.1007/BF01191382
Oscar Zariski, On Castelnuovo’s criterion of rationality $p_{a}=P_{2}=0$ of an algebraic surface, Illinois J. Math. 2 (1958), 303–315. MR 99990
Daniel Zwillinger, Handbook of differential equations, 2nd ed., Academic Press, Inc., Boston, MA, 1992. MR 1149384