Polynomial first integrals via the Poincaré series (Q2566266)

The author determines polynomial ordinary differential systems which have a polynomial first integral. One typical result is Theorem 5: The system \[ \begin{aligned} \dot{x}= -y + \lambda _2x^3+ \lambda_3 x^2y + \lambda _4 xy^2 + \lambda _5 y^3, \\ \dot{y}= x + \lambda _6x^3+ \lambda_7 x^2y - \lambda _3 xy^2 + \lambda _8 y^3, \end{aligned} \] has a polynomial first integral if and only if it satisfies one of the following conditions (i) \( \lambda _7 + 3\lambda_2= \lambda _4 + 3 \lambda _8=0,\) (Hamiltonian case), (ii) \( \lambda _4 + \lambda_7= \lambda _5 + \lambda _6 = \lambda _2 + \lambda _8=0,\) \(\lambda _5=0,\) and \(\lambda_4=\frac{m+2}{m-2} \lambda_2\) (reversible case) with \(m \in \mathbb N.\) Moreover, the Hamiltonian case has a polynomial first integral of degree 4 and the reversible case has a polynomial first integral of degree \(m.\)