Rational integration of the Lotka–Volterra system

Abstract The Lotka–Volterra system of autonomous differential equations consists in three homogeneous polynomial equations of degree 2 in three variables. This system, or the corresponding vector field V(A,B,C) , depends on three non-zero parameters and writes V(A,B,C)=V x ∂ x +V y ∂ y +V z ∂ z where V x =x(Cy+z), V y =y(Az+x), V z =z(Bx+y). Similar systems of equations have been studied by Volterra in his mathematical approach of the competition of species. For us, V(A,B,C) is a normal form of a factorisable quadratic system and the study of its first integrals of degree 0 is of great mathematical interest. A first integral is a non-constant function f which satisfies the identity V x ∂f ∂x +V y ∂f ∂y +V z ∂f ∂z =0. As V(A,B,C) is homogeneous, there is a foliation whose leaves are homogeneous surfaces in the three-dimensional space (or curves in the corresponding projective plane), such that the trajectories of the vector field are completely contained in a leaf. A first integral of degree 0 is then a function on the set of all leaves of the previous foliation. In the present paper, we give all values of the triple (A,B,C) of parameters for which V(A,B,C) has an homogeneous rational first integral of degree 0 . Our proof essentially relies on ideas of algebra and combinatorics, especially in proving that some conditions are necessary.

[1]  J. Strelcyn,et al.  On the non-existence of constants of derivations: the proof of a theorem of Jouanolou and its development , 1995 .

[2]  J. Strelcyn,et al.  Integrals of quadratic ordinary differential equations in R3: The Lotka-Volterra system , 1990 .

[3]  Michael F. Singer,et al.  Elementary first integrals of differential equations , 1983 .

[4]  M. Poincaré,et al.  Sur Ľintégration algébrique des équations différentielles du premier ordre et du premier degré , 1891 .

[5]  J. Moulin-Ollagnier,et al.  Polynomial first integrals of the Lotka-Volterra system , 1997 .

[6]  G. Darboux,et al.  Mémoire sur les équations différentielles algébriques du premier ordre et du premier degré , 1878 .

[7]  J. Jouanolou,et al.  Equations de Pfaff algébriques , 1979 .

[8]  A. L. Neto,et al.  The topology of integrable differential forms near a singularity , 1982 .

[9]  Jean Moulin Ollagnier,et al.  Algorithms and Methods in Differential Algebra , 1996, Theor. Comput. Sci..

[10]  Michael F. Singer,et al.  Liouvillian First Integrals of Differential Equations , 1988, ISSAC.

[11]  Integrability and alegbraic solutions for the 2-D lotka-Volterra system , 1999 .

[12]  J. Strelcyn,et al.  On first integrals of linear systems, Frobenius integrability theorem and linear representations of Lie algebras , 1990 .

[13]  R. Risch The problem of integration in finite terms , 1969 .

[14]  Dominique Cerveau,et al.  Formes intégrables holomorphes singulières , 1982 .

[15]  M. Rosenlicht,et al.  On Liouville’s theory of elementary functions , 1976 .