Symbolic Computations of First Integrals for Polynomial Vector Fields - Archive ouverte HAL
Article Dans Une Revue Foundations of Computational Mathematics Année : 2020

Symbolic Computations of First Integrals for Polynomial Vector Fields

Résumé

In this article, we show how to generalize to the Darbouxian, Liouvillian and Riccati case the extactic curve introduced by J. Pereira. With this approach, we get new algorithms for computing, if it exists, a rational, Darbouxian, Liouvillian orRiccati first integral with bounded degree of a polynomial planar vector field. We give probabilistic and deterministic algorithms. The arithmetic complexity of our probabilistic algorithm is in O (N omega+1), where N is the bound on the degree of a representation of the first integral and omega epsilon [2; 3] is the exponent of linear algebra. This result improves previous algorithms. Our algorithms have been implemented in Maple and are available on the authors' websites. In the last section, we give some examples showing the efficiency of these algorithms.

Dates et versions

hal-03033720 , version 1 (01-12-2020)

Identifiants

Citer

Guillaume Chèze, Thierry Combot. Symbolic Computations of First Integrals for Polynomial Vector Fields. Foundations of Computational Mathematics, 2020, 20 (4), pp.681-752. ⟨10.1007/s10208-019-09437-9⟩. ⟨hal-03033720⟩
37 Consultations
0 Téléchargements

Altmetric

Partager

More