MINIMAL POLYNOMIAL BASIS OF CENTROAFFINE COMITANTS OF THE TWO-DIMENSIONAL SYSTEM OF DIFFERENTIAL EQUATIONS WITH NONLINEARITIES OF THE FOURTH DEGREE CIUBOTARU Stanislav Institute of Mathematics and Computer Science of A.S.M. Reviewer: CALIN IU., dr. Keywords: system of differential equations, minimal polynomial basis, transvectant, comitants, invariants. Let us consider the system of differential equations with nonlinearities of the fourth degree ππ₯ π π π = π1 (π₯ 1 , π₯ 2 ) + π4 (π₯ 1 , π₯ 2 ) (π = 1, 2) (1) ππ‘ π π where π1 and π4 are homogeneous polynomials of degree 1 and 4, respectively, in π₯ 1 and π₯ 2 with real coefficients. We denote by A the 14-dimensional coefficient space of system (1), by π ∈ π ⊆ π΄ππ(2, β) a linear transformation of the phase plane of (1) and by ππ (π) its linear representation in the space A. Definition 1. [1] A polynomial K(a, x) in coefficients of system (1) and coordinates of vectors π₯ ∈ β2 is called a comitant of system (1) with respect to a group Q if there exists a function π: π βΆ β such that πΎ(ππ (π), π β π₯) ≡ π(π)πΎ(π, π₯) for every π ∈ π, π ∈ π΄ and π₯ ∈ β2 . If Q is the group πΊπΏ(2, β), then the comitant is called πΊπΏ(2, β) - comitant or centroaffine comitant. In what follows only GLcomitants are considered. If a comitant does not depend on the coordinates of the vectors x, then it is called invariant. We say that a homogeneous comitant K(a; x) has the character (r; g; d) if it has the weight g, the degree d with respect to the coefficients of system (1) and the degree r with respect to the coordinates of the vector π₯ ∈ β2. Definition 2. [2] Let f and π be polynomials in the coordinates of the vector π₯ = (π₯ 1 , π₯ 2 ) ∈ β2 of the degrees π and π, respectively. The polynomial π (π, π)(π) = (π − π)! (π − π)! ππ π ππ π π ∑(−1)β ( ) 1 π−β 2 β 1 β β π(π₯ ) π(π₯ ) π(π₯ ) π(π₯ 2 )π−β π! π! β=0 is called the transvectant of index k of polynomials f and π. If polynomials f and π are GL-comitants of system (1), then the transvectant of the index k ≤min(r; π) is a GL-comitant of the system (1). We shall consider the following polynomials: 1 πππ1 πππ2 (2) π π = ππ1 π₯ 2 − ππ2 π₯ 1 , ππ = ( 1 + 2 ) , (π = 1, 4) π ππ₯ ππ₯ which in fact are GL-comitants of the first degree with respect to the coefficients of system (1). Using the comitants (2) as elementary "bricks" and the notion of transvectant we have constructed 409 irreducible GL-comitants of system (1) and hence, the next result is proved: Theorem 1. A minimal polynomial basis of πΊπΏ(2, β)-comitants (respectively, of πΊπΏ(2, β) −invariants) of system (1) up to 15 degree consists from 409 elements (respectively, 176 elements) which must be of the following 98 (respectively, 37) characters: (2, -1, 1) – 1, (3, 0, 2) – 2, (9, 0, 3) – 1, (0, 6, 4) – 6, (7, 1, 4) – 1, (5, 5, 5) – 1, (5, 2, 5) – 1, (3, 6, 6) – 1, (1, 10, 7) – 20, (0, 6, 7) – 10, (0, 9, 8) – 16, (1, 10, 9) – 2, (1, 10, 10) – 1, (0, 9, 11) – 1, (0, 18, 13) – 3, (5, -1, 1) – 1, (5, -1, 2) -1, (0, 3, 3) – 3, (2, 5, 4) – 6, (0, 3, 4) – 1, (7, 4, 5) – 1, (0, 3, 5) – 3, (5, 5, 6) – 1, (3, 9, 7) – 1, (1, 4, 7) – 2, (1, 7, 8) – 2, (0, 9, 9) – 5, (0, 9, 10) – 3, (0, 6, 11) – 1, (0, 15, 13) – 1, (3, 0, 1) – 1, (0, 0, 2) – 1, (2, 2, 3) – 4, (4, 4, 4) – 6, (2, 2, 4) – 3, (0, 6, 5) – 6, (2, 2, 5) – 2, (0, 6, 6) – 8, (5, 8, 7) – 1, (0, 3, 7) – 1, (0, 6, 8) – 5, (1, 7, 9) – 1, (0, 6, 10) – 1, (0, 18, 12) – 4, (0, 12, 13) – 1, (2, 2, 2) – 3, (1, 4, 3) – 2, (4, 1, 3) – 3, (6, 3, 4) – 2, (4, 1, 4) – 1, (2, 5, 5) – 9, (0, 9, 6) – 7, (2, 5, 6) – 5, (0, 9, 7) – 15, (0, 12, 8) – 15, (1, 4, 8) – 1, (0, 6, 9) – 3, (1, 16, 11) – 2, (1, 16, 12) – 1, (0, 18, 14) – 1, (4, 1, 2) – 1, (3, 3, 3) – 6, (6, 0, 3) – 1, (1, 4, 4) – 8, (1, 1, 4) – 1, (4, 4, 5) – 3, (2, 8, 6) – 12, (1, 4, 6) – 4, (2, 8, 7) – 5, (2, 11, 8) – 4, (1, 13, 9) – 5, (0, 15, 10) – 14, (0, 15, 11) – 5, (0, 15, 12) – 3, (0, 15, 14) – 1, (6, 0, 2) – 2, (1, 1, 2) – 1, (5, 2, 3) – 3, (7, 1, 3) – 1, (1, 1, 3) – 2, (3, 0, 3) – 1, (3, 3, 4) – 6, (5, 2, 4) – 1, (1, 7, 5) – 11, (3, 6, 5) – 9, (1, 4, 5) – 9, (3, 3, 5) – 1, (4, 7, 6) – 2, (1, 7, 6) – 20, (3, 3, 6) – 1, (0, 3, 6) – 1, (1, 7, 7) – 7, (3, 6, 7) – 1, (1, 10, 8) – 7, (3, 9, 8) – 1, (3, 12, 9) – 1, (0, 12, 9) – 19, (1, 13, 10) – 2, (0, 12, 10) – 5, (1, 13, 11) – 1, (0, 12, 11) – 3, (0, 12, 12) – 1, (0, 9, 12) – 1, (0, 21, 15) – 1, (0, 18, 15) – 1. Remark. Besides each of the characters given in theorem above, we have also indicated the number of the irreducible comitants (or invariants) having this character. References: 1. K. S. Sibirsky, Introduction to the Algebraic Theory of Invariants of Differential Equations. Manchester University Press, 1988. 2. G. B. Gurevich, Foundations of the Theory of Algebraic Invariants. Noordhoff, Groningen, 1964.