A rational approach to the Prelle-Singer algorithm
The Prelle-Singer procedure [Trans. Am. Math. Soc. 279, 215-229 (1983; Zbl 0527.12016)] is a development of \textit{G. Darboux}'s method (1878) for finding elementary first integrals of a differential system \(\dot x = P(x,y)\), \(\dot y = Q(x,y)\) where \(P\) and \(Q\) are polynomials over \(\mathbb C\). When this procedure -- as presented by the first author [J. Symb. Comput. 16, 423-443 (1993; Zbl 0793.34002)] -- is applied to a differential system \(\dot x = P(x,y)\), \(\dot y = Q(x,y)\) where \(P\) and \(Q\) are polynomials over \(\mathbb Q \) there may appear algebraic numbers during the calculation which are not needed in the final result. In this paper the authors present a method which avoids algebraic extensions of \(\mathbb Q\) in this case and describe a partial implementation in REDUCE.
- First integrals of autonomous systems of differential equations and the Prelle-Singer procedure
- An extension of the Prelle-Singer method and a Maple implementation
- Computing closed form solutions of first order ODEs using the Prelle- Singer procedure
- Finding elementary first integrals for rational second order ordinary differential equations
- Computing closed form solutions of first order ODEs using the Prelle- Singer procedure
- An extension of the Prelle-Singer method and a Maple implementation
- On the differential simplicity of polynomial rings.
- Bounding the degree of solutions of differential equations
- [QPSI]. A MAPLE package for the determination of quasi-polynomial symmetries and invariants
- On the Darboux integrability of polynomial differential systems
- Non-wandering points of vector fields and invariant sets of functions
- An efficient method for computing Liouvillian first integrals of planar polynomial vector fields
- Symbolic computations of first integrals for polynomial vector fields
- Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time
- Algebraic solutions of holomorphic foliations: an algorithmic approach
- A family of foliations with one singularity
- A family of quadratic polynomial differential systems with invariant algebraic curves of arbitrarily high degree without rational first integrals
- Efficient algorithms for computing rational first integrals and Darboux polynomials of planar polynomial vector fields
- First integrals of autonomous systems of differential equations and the Prelle-Singer procedure
- On integrals, Hamiltonian and metriplectic formulations of polynomial systems in 3D
- The Prelle-Singer method and Painlevé hierarchies
- Algebraic integrability with bounded genus
- Rational first integrals of separable differential equations
- An algebraic algorithm for the resolution of singularities of foliations
- On the classification of simple quadratic derivations over the affine plane
- Algebraic solutions of plane vector fields
This page was built for publication: A rational approach to the Prelle-Singer algorithm
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1360962)
