MINIMAL POLYNOMIAL BASIS OF CENTROAFFINE COMITANTS

advertisement
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.
Download