CC BY
23
МАТЕМАТИКА
УДК 517.925
О ЛИНЕЙНЫХ ЧАСТНЫХ ИНТЕГРАЛАХ ПОЛИНОМИАЛЬНЫХ ВЕКТОРНЫХ ПОЛЕЙ ЧЕТВЕРТОЙ СТЕПЕНИ С ВЫРОЖДЕННОЙ БЕСКОНЕЧНОСТЬЮ. III
© 2011 г. М.В. Долов, С.А. Чистякова
Нижегородский госуниверситет им. Н.И. Лобачевского
Поступила в редакцию 16.09.2010
Доказывается, что полиномиальное векторное поле четвертой степени с вырожденной бесконечностью имеет не более 9 линейных частных интегралов, в том числе и с комплексными коэффициентами.
Ключевые слова: полиномиальные векторные поля, алгебраические дифференциальные уравнения, частные интегралы, инвариантные множества, вырожденная бесконечность.
Введение
Работа является непосредственным продолжением статей [1] и [2]. Нумерация пунктов и формул сквозная.
Как и в [1], рассматривается система дифференциальных уравнений
= Р(х, у), = д(х, у), (1.1)
ш ш
где Р и 0 - взаимно простые полиномы,
max(deg Р, deg 0 = п.
По определению, система (1.1) вырождена
на бесконечности, если
х0п (х у) - урп (х у) = 0
где Рп и 0 - однородные полиномы степени п, содержащиеся в Р и 0 соответственно. Ап - совокупность систем (1.1) с вырожденной бесконечностью.
В настоящей работе (часть III) изучаются системы из А4, такие, что наибольшее число инвариантных множеств
Фу (х, у) = а у- + Ьуу + Су = 0, (2.1)
где О], Ъ], С] е С и для любых двух множеств = 0 и Фу = 0 выполнено условие
Щф, Ф, )/ Щ х, у) = 0, (2.3)
не более двух, и приводится полное доказательство теоремы 1.1 [1].
7. Системы из А4 с одним инвариантным множеством, являющимся объединением двух инвариантных множеств (2.1) с условием (2.3) при отсутствии других инвариантных множеств с условием (2.3)
В этом пункте изучаются системы (1.1), вырожденные на бесконечности при п = 4, такие, что среди частных интегралов (2.1) имеются только два полинома, удовлетворяющих условию (2.3).
Лемма 7.1. Пусть система (1.1) из А4 имеет не менее трех инвариантных множеств (2.1), при этом только два инвариантных множества (2.1) удовлетворяют условию (2.3). Тогда линейной невырожденной заменой переменных с точностью до обозначений система (1.1) приводится к виду Шх
= х
{у(ах2 + Ьху + су 2) + р2о х 2 + рп ху +
+ Р02 у 2 + Р10 х + Р01 у + Роо ) = P, = у (у - о)(ах2 + Ьху + су2 +
ш
(7.1)
+ Чю х + 401 у + %0 ) = Q,
где |о| + |Ъ| + |с|> 0, а ф 0, Р и 0 - взаимно просты и такие, что у (7.1) нет инвариантных множеств у = кх + I, у = кх + /ь к ф 0, I ф /ь к ф да.
Доказательство аналогично лемме 6.1.
(7.2)
Лемма 7.2. Система (7.1) имеет частный интеграл у = кх + l, к Ф 0, к Ф да , тогда и только тогда, когда для всех х
I 2 3 2
кх ((о + Ьк + ек )кх + (p20 + px1k + p02k +
+ (о + 2Ьк + Зек2) l) х2 +
+ (pio + кр01 + Ipn + 2к1р02 + (Зек + Ь) l ) х +
+ el3 + P0212 + Poil + Poo ) = (кх +1) х х (кх +1— а) ((о + Ьк + ек2)х2 +
+ (bl + 2еЫ + ^10 + ^01к) х + el + q0il + <00 ), при этом l (l — а) (el + <0^ + <00) = 0, где |с| +
+ |?0i| + l^ool > 0.
Доказательство. Тождество (7.2) является следствием подстановки решения y = kx + l в дифференциальное уравнение, соответствующие системе (7.1). Лемма доказана.
Заметим, что при с = q01 = q00 = 0 полиномы P и Q имеют общий множитель х.
Из леммы 7.2 следует, что l принимает не более четырех различных значений: l е {0, а} либо является корнем уравнения
el + q01l + q00 = 0 (7.3) Полагая в тождестве (7.2) l = 0 и сравнивая коэффициенты при одинаковых степенях х в правой и левой частях, можно показать, что справедлива
Лемма 7.3. Система (7.1) имеет частный интеграл у = кх, к Ф 0, к Ф да, тогда и только тогда, когда выполнены равенства
k (P02 - qoi + ac) + к(Pu - qio + ab) + + p20 + aa = 0,
k ( P01- qoo + aqoi)+P10+aio =0, poo = -aqoo •
Таким образом, Р и 0 имеют общий делитель, тождественно не равный постоянной. Противоречие доказывает лемму. Лемма доказана.
Лемма 7.5. Система (7.1) имеет частный интеграл у = кх + а, к ф 0, в том и только том случае, если выполнены равенства
k (Po2 - %i) + k(Pii - qio) + Р20 = 0 k ( Poi + 2 Po2a - 2qoia - qoo) +
+Pio+Piia-aqio =0, a2( P02- qoi)+a( Poi- qoo)+Poo =0
(7.5)
(7.4)
Лемма 7.4. Система (7.1) (с взаимно простыми P и Q) не имеет частных интегралов y = k1x, y = k2x, y = k3x, где kj Ф 0 и попарно различны.
Доказательство. Допустим противное. Тогда, в силу леммы 7.3, выполнены равенства
P02 = qoi-ac, Pii = qio-ab,
P20 = -aa,
P0i =-aq0i + q00, Pi0 =-aqio,
P00 = -aq00.
Подставляя эти значения pj в (7.1), будем иметь
P = x (y-a) x X (ax2 + bxy + cy2 + qw x + qo y + %))•
Доказательство. Полагая в (7.2) l = а и сравнивая коэффициенты при одинаковых степенях x в правой и левой частях, получим равенства (7.5). Лемма доказана.
Лемма 7.6. Система (7.1) не допускает частных интегралов у = к1х + а, у = к2х + а, у = к3х + а, к Ф 0 и попарно различны.
Доказательство. Пусть это не так. Тогда по
лемме 7.5 Р02 = q0b Р11 = q^ Р20 = ° Р01 = qoo, p10 = 0, p00 = 0. Отсюда и из (7.1) имеем
dx
— = ху х dt
х (ох2 + Ьху + еу2 + х + <01У + 400 ) = р-
Таким образом, полиномы P и Q в (7.1) не взаимно просты. Лемма доказана.
Лемма 7.7. Система (7.1) имеет частный интеграл у = кх + l, где Ы Ф 0, l Ф а, тогда и только тогда, когда выполнено равенство
(7.3) и
к 2( P02 — el + ае — <01) +
+ к (р | + аЬ — Ы) +
+ р20 + ао — al = 0,
к 2( P01 +а<01 + 2lP 02 —
— 2l е + За^ — 21<q| ) + к(Pi о + P^ ¡l + аЫ — (7.6)
— (2l — а) (Ы + < q)) — о1(1 — а) = 0,
к(—cI +1 (P^ + 2ае — 4q\) +
+ l (P01 +а<01) + P00) —
— l (l — а)(Ы + q q) = 0.
Доказательство. Равенства (7.6) следуют из тождества (7.2), если сравнить коэффициенты при одинаковых степенях х в правой и левой частях. Лемма доказана.
Лемма 7.8. Система (7.1) не имеет частных интегралов у = к1х + l, у = к2х + l, у = к3х + l, где
l Ф 0, l Ф a, l - решение уравнения (7.3), kj Ф 0 и попарно различны.
Доказательство. Допустим противное. Тогда, в силу леммы 7.7, выполнены равенства P02 - qoi = c(l - a), Pli - qw = b(l - a),
P20 = a(l -a), poi +aqoi -
- 2lq01 + 2lp02 = cl (2l - 3a),
Pio + Pill -(2l -a)qi0 = 2bl(l-a), (7.7)
l (P02 - q0i) +l(P0i +aq0i) +
+ P00 = cl (l - 2a), al(l -a) = 0, l (l -a)(bl + qi0) = 0.
Так как l Ф 0, l Ф a, то a = 0, qi0 = -bl. Согласно первому и четвертому равенствам (7.7), имеем P0i + aq0i = -acl. Из полученных равенств следует, что Pi0 = P20 = P00 = 0 . Поэтому полиномы P и Q имеют общий множитель y. Полученное противоречие доказывает лемму.
Лемма 7.9. Пусть корни l и l1 уравнения
ст + q0iT + q00 = 0 (7.8)
такие, что ll1 Ф 0, l Ф l1 и l, l1 отличны от a Ф 0. Тогда система (7.1) не имеет частных интегралов вида y = k1x, y = k2x, y = k3x + a, y = k¿¡x + a, y = k5x + l, y = k6x + l, y = k7x + + l1, y = k8x + l1, где kj Ф 0, j = i, 8 , и попарно различны.
Доказательство. Допустим противное. Тогда, в силу лемм 7.3, 7.5, 7.7, выполнены равенства
P0i - q00 +aq0i = 0
Pi0 +aqi0 = 0 P00 =-aqoo, P0i+2aPo2- 2aqoi- qoo = ° Pio +aPii -aqio = °
(7.9)
(7.10)
a2 (P02- qoi) + a(Poi- qoo)+Poo = 0 (7.11)
(7.12)
(7.13)
(7.14)
(7.15)
l (P02 q0i) + l(P0i +aq0i) + + Poo = cl — 2acl , l(l -a)(bl + qi0) = 0,
li (P02 - q0i) + li(P0i +aq0i) + + Poo = cli — 2acli , li(li -a)(bli + qio) = 0.
Так как ¡¡\ ф 0, I ф ¡ь I ф а, /1 ф а, то в силу (7.13), (7.15) имеем Ъ = д10 = 0. Отсюда и из вторых равенств (7.9) и (7.10) следует р!0 = ри = 0. Из первых равенств (7.9) и (7.10) находим, что
2р02 = 3д0ь Используя это равенство и первое уравнение (7.9), из (7.11) получим р00 = а2дш/2. Так как в силу (7.9) р00 = -ад00, то ад01 = -2д00. Таким образом, р02 - д01 = #ш/2 = -д00/а. Отсюда и из (7.12) имеем
2 ^ "2 О О
/ 400 — а/^00 + а 400 + ас/ — 2а с1 = 0. (7.16)
Согласно (7.8), с/2 =—401/ — 400. Так как 401 = —2^00 / а, то с/2 = (2/ — а)^ / а. Отсюда и из (7.16) получаем 400(/ — а) = 0. Поскольку / ф а, то д00 = 0. При д00 = 0 уравнение
(7.8) имеет решение т = / = 0. Полученное противоречие доказывает лемму. Лемма доказана.
Лемма 7.10. Пусть уравнение (7.8) имеет корни / и ¡1, такие, что /Д ф 0, / ф /\ и /,
¡1 отличны от а ф 0. Тогда система (7.1) не имеет частных интегралов вида у = к1х, у = к2х, у = к3х + а, у = к4х + /, у = к5х + /, у = к6х + ¡1, у = к7х + ¡1, где к] ф 0 и попарно различны.
Доказательство. Допустим противное. Тогда, в силу лемм 7.3, 7.5, 7.7, выполнены все равенства (7.9)-(7.15) кроме, быть может, (7.10). Из равенств (7.9) и (7.11) при а ф 0 имеем а(Р02 — 2^01) = 400 . Отсюда и из первого уравнения (7.9), с учетом условия леммы с/2 + 401/ + 400 = 0, согласно (7.12), будем иметь
(/ + 2а/ — 3а )400 + 2а/(/ — а)^01 = 0. (7.17)
Аналогично из (7.14) находим, что (/1 + 2а/1 — 3а )400 + 2а/1(/1 —а)^01 = 0. (7.18)
Рассматривая (7.17) и (7.18) как систему относительно д00, д01, видим, что определитель этой системы
А = 3а2 (/1 — / )(а2 — (/ + /1)а + //1). (7.19)
При А ф 0 значения д00 = д01 = 0. Поэтому уравнение (7.8) имеет решение ¡ = ¡\ = 0. Так как это невозможно, то А = 0. Поскольку а(/ — /1) Ф 0, то в силу (7.19) / = /1 = а . Полученное противоречие доказывает лемму. Лемма доказана.
Лемма 7.11. Если выполнены условия леммы
7.10, то система (7.1) не имеет частных интегралов вида у = к\х, у = к2х + а, у = к3х + а, у = к4х + ¡, у = к5х + ¡, у = к6х + ¡ь у = к7х + ¡ь где к] Ф 0 и попарно различны.
Доказательство. Допустим противное. Тогда выполнены все равенства (7.10)—(7.15) и в силу леммы 7.3 р00 = -ад00. Согласно первому уравнению (7.10) Р01 = 400 + 2а</01 — 2аР02 . Используя эти равенства, а также соотношения
(7.8), (7.11), (7.12) и (7.14), получим систему уравнений
аР02 —а401 + 400 = 0 / (/ — 2а) Р02 + ад01/ + (2/ — 3а)400 = 0,
Щ — 2а) Р02 + 0401/1 + (2/1 — 3а)400 = 0.
Рассматривая р02, д01, д00 как искомые величины, найдем определитель этой системы
— А1 = 3а(/1 — /) (а2 — (/ + /1 )а + //1 ).
Далее, повторяя рассуждения значительной части доказательства леммы 7.10, получим противоречие. Лемма доказана.
Лемма 7.12. Если выполнены условия леммы
7.10, то система (7.1) не имеет частных интегралов вида у = к\х, у = к2х, у = к3х + а, у = к^х + а, у = к5х + ¡, у = к6х + ¡, у = к7х + ¡ь где к] Ф 0 и попарно различны.
Доказательство. Допустим противное. Тогда выполнены равенства (7.8)—(7.13). Из этих равенств следует, что 410 = — Ь/, Р10 = аЬ/, Р11 = —2Ь/, 2Р02 = 3^01. По условию леммы с/2 + 401/ + 400 = 0. Отсюда и из равенств (7.9),
(7.11), (7.12) получим систему
Р01 +а401 — 400 = 0
2 Р01 +а401 — 4400 = 0
2/р01 + / (3/ — 2а)401 + 2(/ — 3а)400 = 0.
Определитель А этой системы равен
— 6(а — /) . Так как А ф 0, то 400 = 401 = Р01 = 0. Отсюда следует, что уравнение (7.8) имеет нулевое решение. Полученное противоречие доказывает лемму.
Теорема 7.1. Система (7.1) имеет не более 9 линейных частных интегралов.
Доказательство. Линейные частные интегралы системы (7.1), отличные от х = 0, у = 0, у = а, имеют вид у = ] + ¡, где к] Ф 0, к] Ф да. По лемме 7.2 ¡ является решением уравнения
/(/ — а) (с/2 + 401/ + 400) = 0, где |с| + |^0г| + |д00| > 0, величины к] попарно различны. Согласно леммам 7.4, 7.6, 7.8, состояния покоя (0,0), (0,а), (0,А), (0,¡2), где ¡1, ¡2 - корни уравнения (7.3), могут принадлежать не более чем двум инвариантным множествам у = кх + ¡, отличным от х = 0, у = 0, у = а.
Если корни уравнения (7.3) различны и отличны от нуля и а Ф 0, то в силу лемм 7.4, 7.6, 7.8-7.11 число линейных частных интегралов системы (7.1) не более 9. Если уравнение (7.3) имеет кратный корень, то в силу лемм 7.4, 7.6 и 7.8 число линейных частных интегралов не более 9. Теорема доказана.
8. Системы из А4, не имеющие инвариантных множеств (2.1) с условием (2.3)
Здесь, в отличие от предыдущего, рассматриваются системы (1.1), при п = 4 вырожденные на бесконечности и не имеющие частных интегралов (2.1), удовлетворяющих условию (2.3).
Лемма 8.1. Пусть система (1.1) из А4 не имеет частных интегралов (2.1), удовлетворяющих условию (2.3), и допускает хотя бы два инвариантных множества (2.1). Тогда линейной невырожденной заменой с точностью до обозначений система (1.1) приводится к виду
Шх /37 2 2 7 3 2
— = х 1ах + Ьху + сху + ау + Р20х +
+ РмхУ + Р02У 2 + Pl0x + Р01У + Р00 ) = P, dy
(8.1)
— = y (ax + bx y + cxy + dy + q20x + dt
+ qiixy+qo2y2 + qiox + qoiy + qoo )=Q,
где |a| + |è| + |c| + \d\ > 0, P и Q - взаимно просты, при этом (8.1) не допускает частных интегралов y = kx + l, y = kx + l1, l Ф l1, конечное k ф 0.
Применяя к системе (8.1) тождество (2.2), можно показать, что справедлива
Лемма 8.2. Система (8.1) имеет частный интеграл y = kx + l, k ф 0, k ф да, тогда и только тогда, когда для всех х
kx {Ax3 + (B + p2o + pnk + po2k2 ) x2 +
+ (¡pu + 2klpo2 + Pio + kpoi + С ) x +
+ dl + po2¡ + poi¡ + poo) ^ (kx +1) x x {ax + (B + q2o + qnk + qo2k ) x +
+ (¡qii + 2klqo2 + qio + kqoi + С ) x +
+ d¡3 + qo2¡2 + qoi¡ + qoo ),
где
(8.2)
A = a + bk + ck2 + dk3, B = b¡ + 2ck¡ + 3d¡k2, С = c¡2 + 3k¡ 2d,
(8.3)
при этом ¡ является решением уравнения
/ (ш/ + 402/ + 401/ + 400) = 0. (8.4)
Полагая в тождестве (8.2) ¡ = 0 и сравнивая коэффициенты при одинаковых степенях х в правой и левой частях полученного тождества, можно показать, что справедлива
Лемма 8.3. Система (8.1) имеет инвариантное множество у = кх, где конечное к Ф 0, тогда и только тогда, когда выполнены равенства
k (Ро2 -402) + k(Pl1 -4ll) + Р20 -420 = 0, (8 5)
k(p01 - q01) + p10 - q10 = 0, p00 = q00-Методом от противного с использованием леммы 8.3 устанавливается
Лемма 8.4. Система (8.1) не допускает частных интегралов y = k1x, y = k2x, y = k3x, где конечные kj ф 0 и попарно различны.
Если в правой и левой частях тождества (8.2) приравнять коэффициенты при одинаковых степенях х, то можно доказать, что имеет место Лемма 8.5. Система (8.1) имеет инвариантное множество y = kx + l, где конечное k ф 0, l - корень уравнения
3 2
dl + 402і + q01l + 400 =0, (86)
тогда и только тогда, когда выполнены равен-
ства
p02 - q02 - ld - 0 Р11 - 411 - cl - 0
p20 - 420 - bl - 0
a = 0,
Из равенств (8.11) и (8.6) следует, что 2l P02 + P01l + 2q01l + 3q00 = 0. Отсюда и из предыдущего равенства с учетом (8.6) находим
P00 = 2(q00 + q01l + l (q02 + ld)) = °.
При a = p20 = p10 = p00 = 0 полиномы P и Q в
(8.1) имеют общий делитель у. Полученное противоречие доказывает лемму.
Лемма 8.7. Пусть уравнение (8.6) имеет три различных корня l1, l2, l3, lj Ф 0, тогда не существует систем (8.1), допускающих частные интегралы у = к1х, у = к2х + l1, у = к3х + l1, у = к4х + l2, у = к5х + l2, у = кбх + 1з, у = к7х + 1з, где к Ф 0 и попарно различны.
Доказательство. Пусть это не так. Тогда, в силу леммы 8.3, q00 = p00 и, согласно лемме 8.5, имеем
3 2
к (р02 — q02 — ld) + к (p11 — q11 — cl) +
+ к(р20 — q20 — bl) — al — 0 22
к (3>dl + 3q02l — 2p02l + q01 — р01) +
+ к(2cl + 2qnl -p11l + -p10) + (8.7)
+ l (bl + q20) = к (p02l + (p01 + q01)l + p00 + 2q00 )-
— l(cl + 4ц1 + 4ю) = 0.
Лемма 8.6. Состояние покоя (0, l), где l Ф 0 -корень уравнения (8.6), не может принадлежать инвариантным множествам y = k1x + l, y = k2x + l, y = k3x + l, y = k4x + l, где конечные kj Ф 0 попарно различны.
Доказательство. Допустим противное. Тогда в силу леммы 8.5 с учетом (8.7) имеем
clj + #111/ + 410 - 0
(8.16)
(8.17)
(8.8)
(8.9)
(8.10)
2lp02 — 3lq02 — 3dl + p01 — q01 - °> (811)
q10 — p10 — p11l + 2q11l + 2cl2 - 0 (812)
q20 + bl — 0, (8.13)
p02l + l( p01 + q01) + p00 + 2q00 — 0, (814) cl2 + q11l + q10 — 0. (8.15)
Из уравнений (8.10) и (8.13) находим, что p20 = 0. Согласно (8.12) и (8.15), получим равенство p10 + q10 + p11/ — 0. Отсюда и из (8.9),
(8.15) следует, что p10 = 0. Из (8.14) с учетом
(8.8) и (8.6) имеем
— p00 — p02l + 2q00 + l( p01 + q01) — — l (q02 + ld) + lq01 + 2q00 + lpa — ^ + q00.
P02lj + lj (P01 + q01) + P00 + 2q00 = 0 для j = 1, 2, 3. Поскольку lj попарно различны, то
е = q11 = q10 = P02 =
= P01 + q01 = P00 + 2q00 = 0.
Из равенств P00 + 2q00 = 0 и p00 = q00 вытекает, что q00 = 0. Поэтому среди величин lj, удовлетворяющих уравнению (8.6), есть хотя бы одна нулевая. Полученное противоречие доказывает лемму.
Лемма 8.8. Система (8.1) не может иметь частных интегралов у = к1х + l1, у = к2х + l1, у = к3х + l1, у = к4х + l2, у = к5х + l2, у = к6х + l2, у = к7х + l3, у = к8х + l3, у = к9х + l3, где конечные к Ф 0 попарно различны; l1, l2, l3 - попарно различны и lj Ф 0.
Доказательство. Допустим противное. Тогда выполнены соотношения (8.16), (8.17) и
(8.11)-(8.13) при l = lj, j = 1, 2, 3. Поэтому d = 0. При d = 0 уравнение (8.6) имеет попарно различные корни только при q02 = q01 = q00 = 0. При таких значения коэффициентов P и Q в
(8.1) имеют общий множитель х. Противоречие доказывает лемму.
Лемма 8.9. Пусть l1, l2, l3 - попарно различные корни уравнения (8.6), lj Ф 0, тогда система
(8.1) не имеет частных интегралов вида у = к1х + l1, у = к2х + l1, у = к3х + l1, у = к4х + l2, у = к5х + l2, у = к6х + l2, у = к7х + l3, у = к8х + l3, где конечные к ф 0 попарно различны.
Доказательство. Допустим противное. Тогда, в силу леммы 8.5, имеют место равенства
(8.11)-(8.13) для l = l1 и l = l2, а (8.14), (8.15) для
l = l1, l = l2 и l = l3. Следовательно, выполнены равенства (8.17). Из уравнения (8.11) с учетом
2
(8.17) имеем 3lj-q02 + 3dlj + 2q01 = 0. Отсюда и из (8.6) вытекает, что q01lj = 3q00 для j = 1, 2.
Поэтому q00 = q01 = 0 и уравнение (8.6) имеет нулевое решение lj, либо d = q02 = q01 = q00 = 0, что невозможно, ибо P и Q имеют общий множитель, отличный от тождественной постоянной. Полученное противоречие доказывает лемму.
Теорема 8.1. Если полиномы P и Q взаимно просты и система (8.1) не допускает линейных частных интегралов с условием (2.3), то у этой системы число линейных частных интегралов не более 9.
Доказательство. Так как у системы (8.1) нет частных интегралов, удовлетворяющих условию (2.3), то всякий линейный частный интеграл, отличный от х = 0, у = 0, имеет вид у = кх + ls, где конечные к Ф 0 и попарно различны. По лемме 8.2 ls является решением уравнения (8.4), при этом среди коэффициентов в (8.4) есть ненулевые, ибо P и Q взаимно просты. Таким образом, к е{0, lY, l2, l3} , где l1, l2,
l3 - решения уравнения (8.6). Если lj Ф 0 попарно различны, то, в силу лемм 8.4, 8.6-8.9, число линейных частных интегралов системы (8.1) не более 9.
Пусть среди величин lj есть либо равные, либо хотя бы одно lj = 0. Тогда с точностью до обозначений могут быть случаи: а) l3 = 0, l1 Ф l2, А4 Ф 0; б) 1з = 0, l1 = l2 Ф 0; в) 1з = 4= 0, Д Ф 0; г) А = l2 = 1з = 0; д) lj Ф 0, l1 = l2 Ф 0, 1з ф Д; е) l1 = l2 = l3 Ф 0.
Пусть реализуется случай а). Покажем, что система (8.1) не допускает частных интегралов у = к1х + l1, у = к2х + l1, у = к3х + l1, у = к4х + l2, у = к5х + l2, у = к6х + l2, у = к7х, у = к8х, где конечные к Ф 0 попарно различны. Допустим противное. Тогда, в силу леммы 8.3, имеем p01 = q01, p10 = q10, p00 = q00. Согласно лемме 8.5, выполнены равенства (8.11)—(8.15) при l = l1 и
l = l2. Отсюда и из условия а) l3 = 0, l1 Ф l2, l1l2 Ф 0, согласно (8.11), следует, что d = 0, q00 = 0. Поэтому уравнение (8.6) имеет вид
q02l2 + q01l = 0, где | q02| + | q01| > 0, так как P и Q взаимно просты. Таким образом, в случае а) система (8.1) не допускает линейных частных интегралов указанного вида.
В случаях б), в) и е), согласно леммам 8.4 и 8.6, число различных линейных частных интегралов системы (8.1) не более 7.
Если реализуется случай г), то, в силу леммы 8.4, число линейных частных интегралов системы (8.1) не более 4.
Пусть реализуется случай д) lj Ф 0, j —1,3,
l1 = l2 Ф 0, l3 Ф l1. Покажем, что система (8.1) не может допускать частных интегралов вида y = k1x + l1, y = k2x + l1, y = k3x + lb y = k4x + l3, y = k5X + l3, y = k(X + l3, y = k7x, y = k8x, где конечные kj Ф 0 попарно различны. Допустим противное. Тогда, в силу леммы 8.3, p01 = q01, p10 = q10, p00 = q00 и, согласно лемме 8.5, имеют место соотношения (8.11)-(8.15) при l = l1 и
l = l3, где l1 Ф l3. Так как l1 Ф l3, l1l3 Ф 0, то с учетом равенств p0i = q0i, Р10 = qi0, P00 = q00, согласно (8.11)—(8.15), имеем
(2Po2 - 3^02 - 3dlj)lj — 0,
(3c/j + 2q„ - P11) lj — 0,
blj + q20 — 0, (8.18)
p02l j + 2ljq01 + 3q00 — 0, cl2j + q11lj + 410 — 0, j = 1,3
При l1 Ф l3, l1l3 Ф 0 из первого уравнения
(8.18) находим J = 0, 2p02 = 3q02. Отсюда и из
четвертого уравнения (8.18) имеем 3^02lj + + 4q01lj + 6q00 — 0 при j = 1, 3. Отсюда с учетом (8.6) при d = 0 следует, что q01lj + 3q00 — 0
для j = 1,3. Поэтому q01 = q00 = 0. Для d = q01 = = q00 = 0 и взаимно простых P и Q корни уравнения (8.6) не удовлетворяют условиям изучаемого случая д). Таким образом, в случае д) система
(8.1) не допускает восьми линейных частных интегралов указанного вида. Теорема доказана.
9. Доказательство теоремы 1.1 [1]
Рассмотрим систему (1.1) с взаимно простыми полиномами P и Q, max(deg P, deg Q) = 4. Заметим, что максимальное число инвариантных множеств, входящих в объединение L инвариантных множеств (2.1), таких, что для любых двух множеств (2.1) из L выполнено условие (2.3), равно 4.
Пусть система (1.1) имеет такое инвариантное множество и вырождена на бесконечности. Тогда по теореме 2.2 [1] у этой системы нет других инвариантных множеств (2.1) с условием (2.3). По теореме 3.1 [1] число линейных частных интегралов такой системы (1.1) из А4 не более 9.
Пусть система (1.1) не имеет четырех инвариантных множеств (2.1), любые два из которых удовлетворяют условию (2.3), но имеет хотя бы одно объединение инвариантных множеств (2.1), содержащих три множества (2.1),
любые два из которых удовлетворяют условию
(2.3). Тогда, по лемме 4.1 [2], такое объединение одно. Согласно теоремам 4.1 [2] и 5.1 [2] число линейных частных интегралов системы
(1.1) в этом случае не более 9.
Пусть система (1.1) из А4 не имеет трех инвариантных множеств (2.1), любые два из которых удовлетворяют условию (2.3), и допускает хотя бы одно объединение инвариантных множеств (2.1), содержащее два инвариантных множества (2.1), удовлетворяющих условию
(2.3). Тогда, согласно теоремам 6.1 [2] и 7.1, число линейных частных интегралов системы
(1.1) в этом случае не более 9.
Если у системы (1.1) из А4 нет инвариантных множеств (2.1), удовлетворяющих условию
(2.3), то, по теореме 8.1, у такой системы число линейных частных интегралов не более 9. Теорема доказана.
Работа поддержана грантом НК-13П-13.
Список литературы
1. Долов М.В., Чистякова С.А. О линейных частных интегралах полиномиальных векторных полей четвертой степени с вырожденной бесконечностью. I // Вестник ННГУ. 2010. № 6. С. 132-137.
2. Долов М.В., Чистякова С.А. О линейных частных интегралах полиномиальных векторных полей четвертой степени с вырожденной бесконечностью. II // Вестник ННГУ. В печати.
ON LINEAR PARTICULAR INTEGRALS OF POLYNOMIAL VECTOR FIELDS OF FOURTH DEGREE WITH DEGENERATE INFINITY. III
M.V. Dolov, S.A. Chistyakova
It is proved that a polynomial vector field of fourth degree with degenerate infinity has no more than nine linear particular integrals, including those with complex coefficients.
Keywords: polynomial vector fields, algebraic differential equations, particular integrals, invariant sets, degenerate infinity.
