Related papers: Liouvillian integrability of three dimensional vec…

We consider complex rational vector fields in dimension $n>2$ (equivalently, differential forms of degree $n-1$ in $n$ variables) which admit a Liouvillian first integral. Extending a classical result by Singer for $n=2$, our main result…

As shown in a previous paper, whenever a rational vector field on $\mathbb C^n$, $n>2$, is Liouvillian integrable, then it admits a first integral obtained by two successive integrations from a one-form with coefficients in a finite…

M.F. Singer [Liouvillian first integrals of differential equations, Trans. Amer. Math. Soc. 333 (1992), 673--688] proved the equivalence between Liouvillian integrability and Darboux integrability for two dimensional polynomial differential…

Here we present an efficient method to compute Darboux polynomials for polynomial vector fields in the plane. This approach is restricetd to polynomial vector fields presenting a Liouvillian first integral (or, equivalently, to rational…

Darboux's theorem and Jouanolou's theorem deal with the existence of first integrals and rational first integrals of a polynomial vector field. These results are given in terms of the degree of the polynomial vector field. Here we show that…

The classical Liouvile integrability means that there exist $n$ independent first integrals in involution for $2n$-dimensional phase space. However, in the infinite-dimensional case, an infinite number of independent first integrals in…

We consider complex rational vector fields that admit a first integral whose logarithmic derivative lies in a finite extension of the rational function field $K$. In view of the Prelle-Singer theorem, these are the rational vector fields…

Let $\mathcal{F}$ be a foliation defined on a complex projective manifold $M$ of dimension $n$ and admitting a holomorphic vector field $X$ tangent to it along some non-empty Zariski-open set. In this paper we prove that if $X$ has…

Prelle and Singer showed in 1983 that if a system of ordinary differential equations defined on a differential field $K$ has a first integral in an elementrary field extension $L$ of $K$, then it must have a first integral consisting of…

We prove that foliations on the projective plane admitting a Liouvillian first integral but not admitting a rational first integral always have invariant algebraic curves of degree bounded by a function of the degree of the foliation. We…

We apply the Darboux theory of integrability to polynomial ODE's of dimension 3. Using this theory and computer algebra, we study the existence of first integrals for the 3-dimensional Lotka-Volterra systems with polynomial invariant…

We describe a procedure to construct polynomial in the momenta first integrals of arbitrarily high degree for natural Hamiltonians $H$ obtained as one-dimensional extensions of natural (geodesic) $n$-dimensional Hamiltonians $L$. The…

We prove a Darboux-Jouanolou type theorem on the algebraic integrability of polynomial differential $r$-forms over arbitrary fields ($r\geq 1$). We also investigate the Darboux's method for producing integrating factors.

We consider Lotka-Volterra systems in three dimensions depending on three real parameters. By using elementary algebraic methods we classify the Darboux polynomials (also known as second integrals) for such systems for various values of the…

We extend to the $n$-dimensional ellipsoid contained in $\R^{n+1},$ the Darboux theory of integrability for polynomial vector fields in the $n$-dimensional sphere (Llibre et al., 2018). New results on the maximum number of invariant…

Consider a planar polynomial vector field $X$, and assume it admits a symbolic first integral $\mathcal{F}$, i.e. of the $4$ classes, in growing complexity: Rational, Darbouxian, Liouvillian and Riccati. If $\mathcal{F}$ is not rational, it…

We show that for a natural polynomial Hamiltonian system the existence of a single Darboux polynomial (a partial polynomial first integral) is equivalent to the existence of an additional first integral functionally independent with the…

Here we present an efficient method for finding and using a nonlocal symmetry admitted by a rational second order ordinary differential equation (rational 2ODE) in order to find a Liouvillian first integral (belonging to a vast class of…

We provide the necessary and sufficient conditions of Liouvillian integrability for Li\'{e}nard differential systems describing nonlinear oscillators with a polynomial damping and a polynomial restoring force. We prove that Li\'{e}nard…

We study the class of planar polynomial vector fields admitting Darboux first integrals of the type $\prod_{i=1}^r f_i^{\alpha_i}$, where the $\alpha_i$'s are positive real numbers and the $f_i$'s are polynomials defining curves with only…