Efficient Algorithms for Computing Rational First Integrals and Darboux Polynomials of Planar Polynomial Vector Fields
Bostan, Alin ; Chèze, Guillaume ; Cluzeau, Thomas ; Weil, Jacques-Arthur
HAL, hal-00871663 / Harvested from HAL
We present fast algorithms for computing rational first integrals with bounded degree of a planar polynomial vector field. Our approach builds upon a method proposed by Ferragut and Giacomini, whose main ingredients are the calculation of a power series solution of a first order differential equation and the reconstruction of a bivariate polynomial annihilating this power series. We provide explicit bounds on the number of terms needed in the power series. This enables us to transform their method into a certified algorithm computing rational first integrals via systems of linear equations. We then significantly improve upon this first algorithm by building a probabilistic algorithm with arithmetic complexity $\~O(N^{2 \omega})$ and a deterministic algorithm solving the problem in at most $\~O(d^2N^{2 \omega+1})$ arithmetic operations, where~$N$ denotes the given bound for the degree of the rational first integral, and where $d \leq N$ is the degree of the vector field, and $\omega$ the exponent of linear algebra. We also provide a fast heuristic variant which computes a rational first integral, or fails, in $\~O(N^{\omega+2})$ arithmetic operations. By comparison, the best previous algorithm uses at least $d^{\omega+1}\, N^{4\omega +4}$ arithmetic operations. We then show how to apply a similar method to the computation of Darboux polynomials. The algorithms are implemented in a Maple package RationalFirstIntegrals which is available to interested readers with examples showing its efficiency.
Publié le : 2016-07-04
Classification:  algorithm,  Rational first integral,  Darboux polynomials,  spectrum,  [INFO.INFO-SC]Computer Science [cs]/Symbolic Computation [cs.SC],  [INFO.INFO-CC]Computer Science [cs]/Computational Complexity [cs.CC],  [MATH.MATH-CA]Mathematics [math]/Classical Analysis and ODEs [math.CA],  [NLIN.NLIN-SI]Nonlinear Sciences [physics]/Exactly Solvable and Integrable Systems [nlin.SI]
@article{hal-00871663,
     author = {Bostan, Alin and Ch\`eze, Guillaume and Cluzeau, Thomas and Weil, Jacques-Arthur},
     title = {Efficient Algorithms for Computing Rational First Integrals and Darboux Polynomials of Planar Polynomial Vector Fields},
     journal = {HAL},
     volume = {2016},
     number = {0},
     year = {2016},
     language = {en},
     url = {http://dml.mathdoc.fr/item/hal-00871663}
}
Bostan, Alin; Chèze, Guillaume; Cluzeau, Thomas; Weil, Jacques-Arthur. Efficient Algorithms for Computing Rational First Integrals and Darboux Polynomials of Planar Polynomial Vector Fields. HAL, Tome 2016 (2016) no. 0, . http://gdmltest.u-ga.fr/item/hal-00871663/