Abstract
There exist several methods for computing exact solutions of algebraic differential equations. Most of the methods, however, do not ensure existence and uniqueness of the solutions and might fail after several steps, or are restricted to linear equations. The authors have presented in previous works a method to overcome this problem for autonomous first order algebraic ordinary differential equations and formal Puiseux series solutions and algebraic solutions. In the first case, all solutions can uniquely be represented by a sufficiently large truncation and in the latter case by its minimal polynomial.
The main contribution of this paper is the implementation, in a MAPLE package named FirstOrderSolve, of the algorithmic ideas presented therein. More precisely, all formal Puiseux series and algebraic solutions, including the generic and singular solutions, are computed and described uniquely. The computation strategy is to reduce the given differential equation to a simpler one by using local parametrizations and the already known degree bounds.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Aroca, J.: Puiseux Solutions of Singular Differential Equations, pp. 129–145. Birkhäuser Basel, Basel (2000)
Aroca, J., Cano, J., Feng, R., Gao, X.S.: Algebraic general solutions of algebraic ordinary differential equations. In: Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, pp. 29–36. ACM (2005)
Briot, C., Bouquet, J.: Recherches sur les proprietés des équations différentielles. J. de l’Ecole Polytechnique 21(36), 133–198 (1856)
Cano, J.: The newton polygon method for differential equations. In: Li, H., Olver, P.J., Sommer, G. (eds.) GIAE/IWMM -2004. LNCS, vol. 3519, pp. 18–30. Springer, Heidelberg (2005). https://doi.org/10.1007/11499251_3
Cano, J., Falkensteiner, S., Sendra, J.R.: Existence and convergence of Puiseux series solutions for first order autonomous differential equations. J. Symb. Comput. (2020). https://doi.org/10.1016/j.jsc.2020.06.010
Della Dora, J., Richard-Jung, F.: About the newton algorithm for non-linear ordinary differential equations. In: Proceedings of the 1997 International Symposium on Symbolic and Algebraic Computation, ISSAC 1997, pp. 298–304. ACM, New York (1997). https://doi.org/10.1145/258726.258817
Duval, D.: Rational Puiseux expansion. Compositio Mathematica 70(2), 119–154 (1989)
Falkensteiner, S.: Power series solutions of AODEs - existence, uniqueness, convergence and computation. Ph.D. thesis, RISC Hagenberg, Johannes Kepler University Linz (2020)
Feng, R., Gao, X.S.: Rational general solutions of algebraic ordinary differential equations. In: Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation, pp. 155–162. ACM (2004)
Feng, R., Gao, X.S.: A polynomial time algorithm for finding rational general solutions of first order autonomous ODEs. J. Symb. Comput. 41(7), 739–762 (2006)
Fine, H.: On the functions defined by differential equations, with an extension of the Puiseux polygon construction to these equations. Am. J. Math. 11, 317–328 (1889). https://doi.org/10.2307/2369347
Fine, H.: Singular solutions of ordinary differential equations. Am. J. Math. 12, 295–322 (1890). https://doi.org/10.2307/2369621
Grigoriev, D., Singer, M.: Solving ordinary differential equations in terms of series with real exponents. Trans. A.M.S. 327, 329–351 (1991). https://doi.org/10.2307/2001845
Stadelmeyer, P.: On the computational complexity of resolving curve singularities and related problems. Ph.D. thesis, RISC, Johannes Kepler University Linz (2000)
Vo, N., Grasegger, G., Winkler, F.: Deciding the existence of rational general solutions for first-order algebraic ODEs. J. Symb. Comput. 87, 127–139 (2018)
Walker, R.: Algebraic Curves. Princeton University Press, Princeton (1950)
Acknowledgements
The first author was supported by the bilateral project ANR-17-CE40-0036 and DFG-391322026 SYMBIONT. The second author was partially supported by Agencia Estatal de Investigación PID2019-105621GB-I00. The third and fourth authors were partially supported by FEDER/Ministerio de Ciencia, Innovación y Universidades Agencia Estatal de Investigación/MTM2017-88796-P (Symbolic Computation: new challenges in Algebra and Geometry together with its applications). The third author was also supported by the Austrian Science Fund (FWF): P 31327-N32. The fourth author is member of the Research Group ASYNACS (Ref. CT-CE2019/683).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2021 Springer Nature Switzerland AG
About this paper
Cite this paper
Boulier, F., Cano, J., Falkensteiner, S., Sendra, J.R. (2021). Puiseux Series and Algebraic Solutions of First Order Autonomous AODEs – A MAPLE Package. In: Corless, R.M., Gerhard, J., Kotsireas, I.S. (eds) Maple in Mathematics Education and Research. MC 2020. Communications in Computer and Information Science, vol 1414. Springer, Cham. https://doi.org/10.1007/978-3-030-81698-8_7
Download citation
DOI: https://doi.org/10.1007/978-3-030-81698-8_7
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-81697-1
Online ISBN: 978-3-030-81698-8
eBook Packages: Computer ScienceComputer Science (R0)