Abstract
We give a necessary and sufficient condition for an autonomous first-order AODE to have a rational liouvillian solution. We also give an algorithm to compute a rational liouvillian general solution if it exists. The algorithm is based on the rational parametrization of the corresponding algebraic curve of the first-order autonomous AODE and the existence of a rational liouvillian element over \(\mathbb {C}\). When the corresponding algebraic curve is rational, this method covers the known cases of rational solutions and radical solutions.
Similar content being viewed by others
References
Aroca, J. M., 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, ISSAC ’05, pp. 29–36. ACM, New York (2005)
Behloul, D., Cheng, S. S.: Computation of rational solutions for a first-order nonlinear differential equation. Electron. J. Differ. Equ. 121, 1–16 (2011)
Behloul, D., Cheng, S. S.: Computation of exact solutions of abel type differential equations. Appl. Math. E-Notes, 1–7 (2020)
Chambert-Loir, A.: A Field Guide to Algebra. Springer, New York (2000)
Feng, R., Gao, X. S.: Rational general solutions of algebraic ordinary differential equations. In: Proceedings of the 2005 International Symposium on Symbolic and Algebraic Computation, ISSAC ’04. 155–162. ACM, 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, 739–762 (2006)
Chen, G., Ma, Y.: Algorithmic reduction and rational general solutions of first order algebraic differential equations. Differential Equations with Symbolic Computation, 201–212 (2005)
Grasegger, G.: Radical solutions of first order autonomous algebraic ordinary differential equations. In: Proceedings of the 39th International Symposium on Symbolic and Algebraic Computation, pp. 217–223. ACM, New York (2014)
Ngo, L. X. C., Sendra, J. R., Winkler, F.: Classification of algebraic odes with respect to rational solvability. Contemp. Math. 572, 193–210 (2012)
Ngo, L. X. C., Winkler, F.: Rational general solutions of first order non-autonomous parametrizable ODEs. J. Symb. Comput. 45, 1426–1441 (2010)
Ngo, L. X. C., Winkler, F.: Rational general solutions of planar rational systems of autonomous ODEs. J. Symb. Comput. 46, 1173–1186 (2011)
Risch, R. H.: The problem of integration in finite terms. Trans. Am. Math. Soc. 139, 167–189 (1969)
Sendra, J. R., Winkler, F., Pérez-Díaz, S.: Rational Algebraic Curves. a Computer Algebra Approach. Springer, Berlin (2008)
Singer, M. F.: Elementary solutions of differential equations. Pac. J. Math. 59(2), 535–547 (1975)
Srinivasan, V.: Liouvillian solutions of first order nonlinear differential equations. J. Pure Appl. Algebra 221, 411–421 (2017)
Vo, N. T., Grasegger Winkler, F.: Deciding the existence of rational general solutions for first-order algebraic ODEs. J. Symb. Comput. 87, 127–139 (2018)
Waerden, V. D.: Modern Algebra, vol. 1. Federick Ungar Publishing, New York (1949)
Funding
This research is funded by Vietnam National Foundation for Science and Technology Development (NAFOSTED) under grant number 101.04-2017.312.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Dat, N.T., Chau, N.L.X. Rational Liouvillian Solutions of Algebraic Ordinary Differential Equations of Order One. Acta Math Vietnam 46, 689–700 (2021). https://doi.org/10.1007/s40306-020-00404-z
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s40306-020-00404-z
Keywords
- Algebraic ordinary differential equation
- Rational liouvillian solution
- Autonomous differential equation
- Rational parametrizations
- Rational liouvillian element