Rational first integrals of separable differential equations
Differential algebra (12H05) Rings of differential operators (associative algebraic aspects) (16S32) Algebraic aspects (differential-algebraic, hypertranscendence, group-theoretical) of ordinary differential equations in the complex domain (34M15) Symbolic computation and algebraic computation (68W30)
Let \(\mathbb{K}\) be a field of characteristic zero and let \(\mathbb{K}(x)\) be a differential field, equipped with a derivation \(\delta_x=d/dx\). Finding a rational first integral of an ordinary differential equation of the form \(dy/dx=p(x,y)\), where \(p(x,y)\in\mathbb{K}(x,y)\), is a central problem in the algebraic theory of ODEs that goes back to Darboux. Its computation is related to the existence of enough Darboux polynomials, which are difficult to calculate.\N\NThe paper under review focus on a particular kind of ODE, namely a separable one, in which \(p(x,y)=f(x)g(y)\) with \(f(x)\) and \(g(y)\) being nonvanishing rational functions. Its main result is an explicit characterization of the existence of rational first integrals of separable ODEs in terms of the Hermite reductions of \(f(x)\) and \(g(y)\). The authors further show that a rational first integral of a separable ODE can only have one of a few different forms in terms of such Hermite reductions.\N\NSuch concrete results allow the authors to develop an algorithm to decide whether there exists a rational first integral of a separable ODE and compute it (if it exists). It is shown to be of complexity \(\mathcal{O}(\ell M(\ell) \log(\ell))\), where \(\ell\) is the maximum of the degrees of the numerators and denominators of \(f(x)\) and \(g(y)\) and \(M(n)\) is the cost of multiplying to polynomials of degree less than \(n\).
- A new algorithm for finding rational first integrals of polynomial vector fields
- A rational approach to the Prelle-Singer algorithm
- A rational function decomposition algorithm by near-separated polynomials
- Additive decompositions in primitive extensions
- Algebraic solutions of holomorphic foliations: an algorithmic approach
- Algebraic solutions of plane vector fields
- An efficient method for computing Liouvillian first integrals of planar polynomial vector fields
- Computation of Darboux polynomials and rational first integrals with bounded degree in polynomial time
- Efficient algorithms for computing rational first integrals and Darboux polynomials of planar polynomial vector fields
- Elementary First Integrals of Differential Equations
- Equations de Pfaff algébriques
- Generalized Hermite reduction, creative telescoping and definite integration of D-finite functions
- Hermite Reduction for D-finite Functions via Integral Bases
- scientific article; zbMATH DE number 1467743 (Why is no real title available?)
- Integrability of plane quadratic vector fields
- Lazy Hermite reduction and creative telescoping for algebraic functions
- Liouvillian First Integrals of Differential Equations
- Modern computer algebra
- Mémoire sur les équations différentielles algébriques du premier ordre et du premier degré.
- Necessary conditions for the existence of invariant algebraic curves for planar polynomial systems
- On Liouville's theory of elementary functions
- Rational first integrals in the Darboux theory of integrability in \(\mathbb C^n\)
- Reducing hyperexponential functions over monomial extensions
- Symbolic computations of first integrals for polynomial vector fields
- Symbolic integration I: Transcendental functions
- Toward effective Liouvillian integration
This page was built for publication: Rational first integrals of separable differential equations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6985429)
