DARBOUX POLYNOMIALS, BALANCES AND PAINLEVÉ PROPERTY

For a given polynomial differential system we provide different necessary conditions for the existence of Darboux polynomials using the balances of the system and the Painlevé property.


Introduction and statement of the main results
The Painlevé property appears studying the general solutions of the differential equations viewed as functions of complex time. More precisely, when the solutions are single-valued on its maximum domain of analytic continuation, we say that the system has the Painlevé property. In other words a differential system has the Painlevé property if its general solution has no movable critical singularities, see for more details [3]. This property imposes strong conditions, that despite the fact that it has not been proved, one believes that in this case the system is integrable. However there is no a precise algorithm to decide whether a system has the Painlevé property, and only necessary conditions can be obtained, called the Painlevé test. Most of the systems do not satisfy the Painlevé test but there is a lot of information concerning the global behavior of the system that we can obtain from the local analysis around the singularities in complex time and the lack of meromorphicity can be used to prove the nonintegrability of the system with meromorphic first integrals.
For more than half a century after its development, the Painlevé theory for differential equations was considered an interesting, if not old fashioned important part of the theory of special functions and little attention was paid to it until the early 1980's when it was discovered its relation with soliton theories. Since then, there has been a huge amount of works relating the Painlevé property with different branches of differential systems such as the integrabiity of PDE, the rational and polynomial integrability of ODE's ,... However very few is known about its relation with the Darboux theory of integrability for polynomial differential systems. The main aim of this pape is to focus on the connections between the existence of Darboux polynomials, the Painlevé property and the Kovalevskaya exponents (introduced by Sophia Kowalevskaya to compute the Laurent series solutions of the rigid body motion).
In order to state the main results of the paper we consider a polynomial differential system of the form and P (x) = (P 1 (x), . . . , P n (x)) and P i ∈ C[x 1 , . . . , x n ] for i = 1, . . . , n.
As usual C denotes the set of complex numbers, and C[x 1 , . . . , x n ] denotes the polynomial ring over C in the variables x 1 , . . . , x n . Here t can be real or complex. The maximum of the degrees of the polynomials P i for i = 1, . . . , n is called the degree of the polynomial differential system (1).
Assume that there exists a solution of the form where p = (p 1 , . . . , p n ), α = (α 1 , . . . , α n ) ̸ = (0, . . . , 0), α i ∈ C and p i ∈ R are given by one of the non-vanishing solutions of the algebraic equation For a given p there may exist different sets of values of α, called balances. The Kowalevskaya matrix associated to a balance α is where as usual DP (α) denotes the Jacobian matrix of P evaluated at α and diag(p 1 , . . . , p n ) denotes the matrix whose diagonal is equal to (p 1 , . . . , p n ) and zeroes in the rest. The eigenvalues of the matrix M are called the Kovalevskaya exponents of the balance α and are denoted by ρ = (ρ 1 , . . . , ρ n ). It can be shown that there always exists a Kowalevskaya exponent equal to −1 related to the arbitrariness of the origin of the parameterizations of the solution by the time. The eigenvector associated to the eigenvalue ρ 1 = −1 is pα = (p 1 α 1 , . . . , p n α n ). For more details see [3] or [2].
In section 2 we recall how to compute the solutions of the form (2) when the polynomial differential system is quasi-homogeneous.
A non-constant polynomial F (x 1 , . . . , x n ) is a Darboux polynomial of system (1) if it satisfies where K ∈ C[x 1 , . . . , x n ] is called the cofactor and has degree at most m−1, if m is the degree of the polynomial differential system (1). As usual ∇F denotes the gradient of the function F . We recall that F is a Darboux polynomial if and only if F (x) = 0 is an invariant hypersurface of system (1), i.e. if a solution of system (1) has a point on the hypersurface F (x) = 0, then the whole solution is contained in this hypersurface.
A polynomial F is said to be weight-homogeneous if there exists d ∈ Q and s = (s 1 , . . . , s n ) ∈ Q n such that for an arbitrary positive real a we have Here d is called the weight degree of the polynomial F and s is the weight exponent of F .
The first result of this paper is the following.
Theorem 1. Assume that the polynomial differential system (1) admits the particular solution x = αt p given in (2). If F (x) is a weight-homogeneous Darboux polynomial of weight degree d of system (1), then ∇F (α) ̸ = 0 and its cofactor K cannot be constant.
The proof of Theorem 1 is given in section 4.
Theorem 1 is closely related with Theorem 5.4 of [3] which is due to Yoshida (see [7,8]) and states: Under the assumptions of Theorem 1 if I(x) is a weight-homogeneous first integral of weight degree d of system (1) satisfying that ∇I(α) ̸ = 0, then d is a Kowalevskaya exponent of the matrix M (α) given in (4).
For the second result we need some more definitions and notation. We can write the polynomial P i (x) for i = 1, . . . , n in the form i (x) is a weight-homogeneous polynomial of weight exponent p ∈ Q n with weight degree p i + q (j) − 1, i.e.
We note that any balance of system (1) is a dominant balance taking P (0) i = P i . An example of a polynomial differential system with a dominant balance can be found in section 3.

Now we study the relation between the Kovalevskaya exponents and Darboux polynomials.
Theorem 2. Assume that the polynomial differential system (1) admits a dominant balance {α, p} such that the Kovalevskaya matrix diagonalizes. Then the following statements hold.
(a) If the eigenvalues (ρ 1 , . . . , ρ n ) (the Kovalevskaya exponents ) of M (α) are Z-independent and F (x) is a Darboux polynomial of system (1), Moreover we explore some connections between Painlevé property and Darboux polynomials. The first result connecting the Painlevé property with the Darboux polynomials is the following.
Theorem 3. Assume that the polynomial differential system (1) satisfies the Painlevé property. Then if the system has a Darboux polynomial its cofactor K must satisfy K(α) ∈ Z for all balances α of the system.
We also consider a kind of converse result of Theorem 3.
Theorem 4. Assume that the polynomial differential system (1) admits a dominant balance {α, p} and it has a Darboux polynomial with cofactor K such that K (0) (α) ̸ ∈ Z. Then system (1) cannot satisfy the Painlevé property. 2. Quasi-homogeneous polynomials differential systems The polynomial differential system (1) is quasi-homogeneous if there exists s = (s 1 , . . . , s n ) ∈ N n and r ∈ N such that for an arbitrary positive real a we have P i (a s 1 x 1 , . . . , a s n x n ) = a s i −1+r P i (x 1 , . . . , x n ) for i = 1, . . . , n. We call s = (s 1 , . . . , s n ) the weight exponent of system (1) and r the weight degree with respect to the weight exponent s. In particular the case that s = (1, . . . , 1) we say that system (1) is a homogeneous polynomial differential system of degree r.
If a polynomial differential system (1) is quasi-homogeneous with weight exponent s and weight degree r > 1 then the system is invariant under the change of variables where This fact implies that in this case there exists solutions of the form (2) with p i = s i /(1 − r) for i = 1, . . . , n and the coefficients α i satisfying (3). The integrability of quasi-homogeneous polynomial differential systems have been investigated by several authors, see for instance [2,3,5,6,8,9,10].

proof of Theorem 1
We first introduce two auxiliary results.
Lemma 5. Let F (x) be a Darboux polynomial with cofactor K of system (1) andx(t) = (x 1 (t), . . . ,x n (t)) a particular solution of system (1). If K = k 0 ∈ C n , thenū(t) = e −k 0 t ∇F (x(t)) is a solution of the adjoint equation, that is, Proof. Let HF be the Hessian of the matrix of the polynomial F . To show thatū is a solution of the adjoint equation, we compute its time derivative. Note thaṫ This completes the proof of the lemma.
The following lemma will be the central tool in the nonintegrability results. Its proof uses Lemma 5. Lemma 6. Let F (x) be a Darboux polynomial with cofactor K = k 0 ∈ C n of system (1). For a solutionx(t) of the polynomial differential system (1), let u(t) be the solution of the variational equationu = DP (x(t))u. Then the function I = e −k 0 t ∇F (x(t)) · u is a Darboux invariant of this variational equation.
This completes the proof of the lemma. Now we continue with the proof of the theorem. We proceed by contradiction. Consider system (1) which admits the particular solution x = αt p . Assume that it has a weight-homogeneous Darboux polynomial F (x) such that ∇F (α) ̸ ≡ 0 and with cofactor K = k 0 . We can apply Lemma 6. The existence of F (x) implies the existence of a first integral I = e −k 0 t ∇F (αt p )u ̸ ≡ 0 for the variational equation

The general solution of the variational equation is of the form
is a polynomial in log t and can be expressed in terms of the generalized eigenvectors of the Kowalevskaya matrix K = Df (α)−diag(p 1 , . . . , p n ) and ρ i are the Kowalevskaya exponents, for more details see section 3.8.2 of [3]. This general solution contains n arbitrary parameters. We can therefore evaluate I on this solution to obtain If K is semi-simple (i.e., it can be diagonalized), then k = n and the eigenvectors β (i) form a set of n linearly independent vectors which at least one of them, say i = j is such that ∇F (α)β (j) ̸ = 0, otherwise I would be zero. Since I is constant in time, we get a contradiction.
If K is not semi-simple, then there is a complete set of generalized eigenvectors γ (1) , . . . , γ (n) for K for which at least one of them satisfies ∇F (α)γ (i) ̸ = 0 and the contradiction follows. This completes the proof of the theorem.

Proof of the remaining results
In this section we provide the proof of Theorems 2, 3 and 4. To prove Theorem 2 we will use the following theorem which is Theorem 5.7 in [3]. We continue to decompose any polynomial as in (6).
Proof of Theorem 2. The proof of both statements will be done by contradiction.
To prove statement (a) we assume that there is a Darboux polynomial F (x) such that K (0) (α) is a rational number. Then it follows from Theorem 7 that there exist integers i 2 , . . . , i m such that i 2 ρ 2 + . . . + i n ρ n =d where d ∈ Q. This relation can be written as j 1 ρ 1 + j 2 ρ 2 + . . . + j n ρ n = 0 for some integers j 1 , . . . , j n . However this is impossible because ρ 1 , . . . , ρ n are Z-independent.
To prove statement (b) we assume that there is a Darboux polynomial F (x) such that K (0) (α) is a non-negative integer. Then it follows from Theorem 7 that there exist integers i 2 , . . . , i m such that i 2 ρ 2 + . . . + i n ρ n =d whered ∈ Z. This relation can be written asdρ 1 + i 2 ρ 2 + . . . + i n ρ n = 0 for some naturals i 1 , . . . , i n . However this is impossible because ρ 1 , . . . , ρ n are N-independent.
To prove Theorem 3 we will use again Theorem 7 and the following result proved in [3].
is analytic and assume that it satisfies the Painlevé property. Then for all possible balances {α, p} the Kovalevskaya matrix K diagonalizes and the Kovalevskaya exponents (ρ 1 , . . . , ρ n ) are integers.
Proof of Theorem 3. It follows from Proposition 8 that for all possible balances {α, p} the Kovalevskaya matrix K diagonalizes and the Kovalevskaya exponents ρ = (−1, ρ 2 , . . . , ρ n ) = (−1,ρ) are integers. Now we apply Theorem 7 and from the notation and definitions introduced there we conclude that and the proof is completed.
Proof of Theorem 4. It follows from Theorem 7 thatρ·m ̸ ∈ Z (we have used the notations and definitions introduced there). Therefore there must exists at least one Kovalevskaya exponent which is not an integer number, and so it follows from Proposition 8 that system (1) cannot satisfy the Painlevé property.

Conclusions
Theorem 1 provides two necessary conditions for the existence of a Darboux polynomial for the polynomial differential system (1), one of them related with the balances of the system. Theorem 2 provides two necessary conditions for the existence of a Darboux polynomial of system (1), but now one of these conditions is related with the balances of the systemẋ = P (0) (x) instead of the balances of system (1).
Theorems 3 and 4 provide necessary conditions for the existence of a Darboux polynomial of system (1) using the Painlevé property.
Theorem 7 due to Goriely provides different necessary conditions for the existence of a Darboux polynomial of system (1) distinct to the ones given in Theorems 1-4.