Symbolic Computations of First Integrals for Polynomial Vector Fields

10/23/2017
by   Guillaume Chèze, et al.
0

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 or Riccati 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 ^ω+1), where N is the bound on the degree of a representation of the first integral and ω ∈ [2; 3] is the exponent of linear algebra. This result improves previous algorithms.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/20/2020

An Efficient Method for Computing Liouvillian First Integrals of Planar Polynomial Vector Fields

Here we present an efficient method to compute Darboux polynomials for p...
research
05/08/2020

On the complexity of computing integral bases of function fields

Let 𝒞 be a plane curve given by an equation f(x,y)=0 with f∈ K[x][y] a m...
research
09/28/2021

Bit Complexity of Jordan Normal Form and Spectral Factorization

We study the bit complexity of two related fundamental computational pro...
research
07/20/2020

Nonobtuse triangulations of PSLGs

We show that any planar straight line graph (PSLG) with n vertices has a...
research
12/19/2017

Computing effectively stabilizing controllers for a class of nD systems

In this paper, we study the internal stabilizability and internal stabil...
research
10/26/2018

On the complexity of class group computations for large degree number fields

In this paper, we examine the general algorithm for class group computat...
research
10/25/2018

Counting points on hyperelliptic curves with explicit real multiplication in arbitrary genus

We present a probabilistic Las Vegas algorithm for computing the local z...

Please sign up or login with your details

Forgot password? Click here to reset