Abstract
Algebraic ordinary differential equations are described by polynomial relations between the unknown function and its derivatives. There are no general solution methods available for such differential equations. However, if the hypersurface determined by the defining polynomial of an algebraic ordinary differential equation admits a parametrization, then solutions can be computed and the solvability in certain function classes may be decided. After an overview of methods developed in the last decade we present a new and rather general method for solving algebraic ordinary differential equations.
G. Grasegger was supported by the Austrian Science Fund (FWF): W1214-N15, project DK11.
F. Winkler was partially supported by the Spanish Ministerio de Economía y Competitividad under the project MTM2011-25816-C02-01.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Aroca, J.M., Cano, J., Feng, R., Gao, X.-S.: Algebraic general solutions of algebraic ordinary differential equations. In: Kauers, M. (ed.) ISSAC’05. Proceedings of the 30th International Symposium on Symbolic and Algebraic Computation, Beijing, China, pp. 29–36. ACM Press, New York (2005)
Feng, R., Gao, X.-S.: Rational general solutions of algebraic ordinary differential equations. In: Gutierrez, J. (ed.) Proceedings of the 2004 International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 155–162. ACM Press, New York (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)
Grasegger, G.: A procedure for solving autonomous AODEs. Technical report 2013–05, Doctoral Program “Computational Mathematics”. Johannes Kepler University Linz, Austria (2013)
Harrison, M.: Explicit solution by radicals, gonal maps and plane models of algebraic curves of genus 5 or 6. J. Symb. Comput. 51, 3–21 (2013)
Huang, Y., Ngô, L.X.C., Winkler, F.: Rational general solutions of trivariate rational differential systems. Math. Comput. Sci. 6(4), 361–374 (2012)
Huang, Y., Ngô, L.X.C., Winkler, F.: Rational general solutions of higher order algebraic ODEs. J. Syst. Sci. Complex. 26(2), 261–280 (2013)
Hubert, E.: The general solution of an ordinary differential equation. In: Lakshman, Y.N. (ed.) Proceedings of the 1996 International Symposium on Symbolic and Algebraic Computation (ISSAC), pp. 189–195. ACM Press, New York (1996)
Kamke, E.: Differentialgleichungen: Lösungsmethoden und Lösungen. B. G. Teubner, Stuttgart (1997)
Ngô, L.X.C., Sendra, J.R., Winkler, F.: Classification of algebraic ODEs with respect to rational solvability. In: Computational Algebraic and Analytic Geometry. Contemporary Mathematics, vol. 572, pp. 193–210. American Mathematical Society, Providence, RI (2012)
Ngô, L.X.C., Winkler, F.: Rational general solutions of first order non-autonomous parametrizable ODEs. J. Symb. Comput. 45(12), 1426–1441 (2010)
Ngô, L.X.C., Winkler, F.: Rational general solutions of parametrizable AODEs. Publicationes Mathematicae Debrecen 79(3–4), 573–587 (2011)
Ngô, L.X.C., Winkler, F.: Rational general solutions of planar rational systems of autonomous ODEs. J. Symb. Comput. 46(10), 1173–1186 (2011)
Ritt, J.F.: On algebraic functions, which can be expressed in terms of radicals. Trans. Am. Math. Soc. 24, 21–30 (1924)
Ritt, J.F.: Differential Algebra. Colloquium publications, vol. 33. American Mathematical Society, New York (1950)
Schicho, J., Sevilla, D.: Effective radical parametrization of trigonal curves. Computational Algebraic and Analytic Geometry. volume 572 of Contemporary Mathematics, pp. 221–231. American Mathematical Society, Providence, RI (2012)
Sendra, J.R., Sevilla, D.: Radical parametrizations of algebraic curves by adjoint curves. J. Symb. Comput. 46(9), 1030–1038 (2011)
Sendra, J.R., Sevilla, D.: First steps towards radical parametrization of algebraic surfaces. Comput. Aided Geom. Des. 30(4), 374–388 (2013)
Sendra, J.R., Winkler, F.: Tracing index of rational curve parametrizations. Comput. Aided Geom. Des. 18(8), 771–795 (2001)
Sendra, J.R., Winkler, F., Pérez-Díaz, S.: Rational Algebraic Curves, A Computer Algebra Approach. In: Algorithms and Computation in Mathematics, vol. 22. Springer, Heidelberg (2008)
Walker, R.J.: Algebraic Curves. Springer, Heidelberg (1978). Reprint of the 1st ed. 1950 by Princeton University Press
Zwillinger, D.: Handbook of Differential Equations, 3rd edn. Academic Press, San Diego (1998)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this chapter
Cite this chapter
Grasegger, G., Winkler, F. (2015). Symbolic Solutions of First-Order Algebraic ODEs. In: Gutierrez, J., Schicho, J., Weimann, M. (eds) Computer Algebra and Polynomials. Lecture Notes in Computer Science(), vol 8942. Springer, Cham. https://doi.org/10.1007/978-3-319-15081-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-319-15081-9_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-15080-2
Online ISBN: 978-3-319-15081-9
eBook Packages: Computer ScienceComputer Science (R0)