О линейных частных интегралах полиномиальных векторных полей четвертой степени с вырожденной бесконечностью. I Текст научной статьи по специальности «Математика»

МАТЕМАТИКА

УДК 517.925

О ЛИНЕЙНЫХ ЧАСТНЫХ ИНТЕГРАЛАХ ПОЛИНОМИАЛЬНЫХ ВЕКТОРНЫХ ПОЛЕЙ ЧЕТВЕРТОЙ СТЕПЕНИ С ВЫРОЖДЕННОЙ БЕСКОНЕЧНОСТЬЮ. I

© 2010 г. М.В. Долов, С.А. Чистякова

Нижегородский госуниверситет им. Н.И. Лобачевского svchistyakova@mail.ru

Поступила в редакцию 16.09.2010

Доказывается, что полиномиальное векторное поле четвертой степени с вырожденной бесконечностью имеет не более 9 линейных частных интегралов, в том числе и с комплексными коэффициентами.

Ключевые слова: полиномиальные векторные поля, алгебраические дифференциальные уравнения, частные интегралы, инвариантные множества, вырожденная бесконечность.

1. Введение

При решении различных задач теории дифференциальных уравнений линейные частные интегралы эффективно использовались в работах Л. Эйлера, К. Якоби, Ф.Г. Миндинга, Н.Н. Баутина, В.Н. Горбузова, Н.И. Вулпе, М.Н. Попа,

К.С. Сибирского, А.С. Шубэ и других авторов.

Постановка задачи в данной работе связана с [1-5].

Рассмотрим систему дифференциальных уравнений

= Р{х, у), = Q(х, у), С1.1)

at at

где P и Q - взаимно простые полиномы, max(deg P, deg Q) = n. В статье [6] показано, что при n =3 существуют вещественные системы

(1.1) с восемью вещественными линейными частными интегралами. Изучая общий случай, когда коэффициенты полиномов P и Q и переменные x, y в (1.1) комплексные, в [2] доказывается, что максимальное число различных линейных частных интегралов системы (1.1) при n = 3 равно 8.

По определению, система (1.1) вырождена на бесконечности, если

xQn (X У) - Урп (X У) = 0 (1.2)

где Pn и Qn - однородные полиномы степени n, содержащиеся в P и Q соответственно. Обозначим An совокупность систем (1.1) с вырожденной бесконечностью. В статье [4] доказано, что для системы (1.1) из A3 с взаимно простыми P и

Q максимальное число различных линейных частных интегралов равно 6.

В работе [5] доказана

Теорема. Наибольшее число интегральных прямых системы (1.1), где Р и Q - взаимно простые вещественные полиномы четвертой степени, равно 9, притом существует 10 различных связок по 9 интегральных прямых в каждой.

В [5] при доказательстве этой теоремы рассматриваются интегральные прямые у = кх + Ь, х = кку + а и утверждается, что «общее число различных к и к'-направлений не превосходит 5».

Следует заметить, что если система (1.1) из А4, то различных к и к'-направлений может быть больше пяти, в чем убеждает система

— = (х - 4)(х + 2)(у2 + х -1), щУ = ху(у2 - 9) ш ш

и ее частные интегралы: х = 4, х = -2, у = 0, у = 3, у = -3, у = х - 1, у = -х + 1, у = х/2 + 1, у = -х/2 - 1.

Кроме того, вещественная система (1.1) может иметь линейные частные интегралы с комплексными коэффициентами. Например, система

— = х(х -1) (х2 - 3х + 3),

Л

Лу = у(у -1)(у2 - Ъу + 3)

Л

допускает одиннадцать линейных частных интегралов: х = 0, х = 1, у = 0, у = 1, х = (з ± г'л/З )/ 2 ,

у = (з ±/л/з)/2, у = х, у-

1 - /л/3 3 - /л/3

У =------------х + -

і + /л/3 з + /73

-х +-

2

2

2

2

Основным результатом настоящей работы является

Теорема 1.1. Для системы (1.1) из А4 число линейных частных интегралов не более 9.

Работа состоит из трех частей. В I части доказана теорема 1.1 в случае, когда система (1.1) из А4 имеет инвариантное множество Ь, являющееся объединением четырех различных инвариантных множеств Ф4 = 0, deg Ф4 =1 таких, что для любых двух множеств Ф4 = 0, Фу = 0 из Ь выполнено условие ^(Ф ^ , Ф у )/ 0( X, у) = 0. Другие случаи изучаются частях II и III.

2. Вспомогательные утверждения

Если система (1.1) из Ап, то в силу (1.2) правые части (1.1) имеют вид

р = хф„-1 (х, у) + рп-1( х, у) + • • • + ро, б = УФп-1( X у) + %-1( X У) + • + #о ’

где фу, р qj - однородные полиномы степени у.

Пусть система (1.1) из Ап имеет частный интеграл

Ф j (х, у) = ajх + bjу + = 0 , (2.1)

где ау, Ьу, Су е С, тогда для всех х

а у (хфп-1 + рп-1 + к + Ро ) +

+ Ъ і (ууп_і + дп_і + к + д0) =

(а х+ъ у)( м-2 - мП-2) -

= (С - С)Фи-1(X У)-Поскольку тах (ёе§ Р, ёе§ 2) = п , то

ф„_1 (X, у) ф 0 . Поэтому полином ф„_!(X, у) , deg фп_і = п -1 делится на а^х + Ъуу. Теорема доказана.

Теорема 2.2. Пусть система (1.1) из Ап имеет инвариантное множество Ь\, являющееся объединением п различных инвариантных множеств (2.1) с условием (2.3). Тогда всякое инвариантное множество Ь, пересечение которого с Ь\ не содержит инвариантных множеств (2.1), не может быть объединением хотя бы двух инвариантных множеств (2.1) с условием

(2.3).

Доказательство. Пусть это не так. Тогда наряду с Ь\ инвариантное множество Ь содержит хотя бы два инвариантных множества (2.1), не входящих в Ь[ и удовлетворяющих условию

(2.3). Без ограничения общности можно считать, что Ь\ = 0 {у = а у}, где а, попарно раз-

у=1

личны, Ь = {х = 0} и {х = в} , р Ф 0. Отсюда и из тожеств вида (2.2) следует, что

^ х, у) = Х( у-а!)( у-а2)...(у-а„) X = соші;,

Р( х, у) -

(2.4)

(2.2)

= (|ау х + Ъу у + су ) х

X (фп-1 + Мп-2 + к + м0>).

Здесь М1 ^ ^ - однородные полиномы степени 5, 5 = 0,1,...,п-2.

Теорема 2.1. Если система (1.1) из Ап имеет инвариантные множества Ь8, являющиеся объединением инвариантных множеств (2.1) таких, что для любых двух множеств Ф4 = 0 м Фу = 0, содержащихся в Ьв, выполнено условие

Б(Ф ,, Ф V)/ х, у) = 0, (2.3)

то попарно различных величин к = а^Ь5 не более п-1.

Доказательство. Так как частные интегралы системы (1.1) определены с точностью до постоянного множителя, то в силу условия (2.3) ау = ац, Ьу = Ьв и су Ф св. Полагая в тождестве (2.2) у = V, у = 5 и сравнивая в этих тождествах однородные полиномы степени п-1, будем иметь

= х х -Р)(Рп-2 (X У) + к + Ро (X У)) = где Ру(х,у) - однородные полиномы степени у. Согласно (2.4) и (1.2), имеем

Хуп-1 = хрп-2 (X, у) = фи-!(X, у).

Следовательно, фп(х, у) = 0. Получили противоречие. Теорема доказана.

Из теоремы 2.2 и приведенных выше рассуждений вытекает

Лемма 2.1. Пусть система (1.1) из Ап имеет инвариантное множество Ь, являющееся объединением п различных инвариантных множеств (2.1), удовлетворяющих условию (2.3), и у (1.1) есть хотя бы одно инвариантное множество (2.1), не принадлежащее Ь. Тогда линейной невырожденной заменой переменных с точностью до обозначений система (1.1) приводится к виду

X = х( уп 1 + р( х, у)) = Р( х, у),

У = (У - а1)(У - а2)к(у -ап) = б(х,у),

(2.5)

где

а, = соп8І

попарно

различны,

deg р(х, у) < п - 2, при этом у (2.5) нет част-

ных интегралов у = кх + I, у = кх + 11, к Ф 0, к Ф да, 1\ Ф I.

3. Системы (1.1) из А4 с инвариантным множеством, являющимся объединением

четырех инвариантных множеств (2.1) с условием (2.3)

Всюду в дальнейшем рассматриваются системы (1.1), принадлежащие А4, и изучается вопрос о наибольшем числе линейных частных интегралов (2.1) таких систем. При п = 4 всякое инвариантное множество, объединяющее инвариантные множества (2.1) с условием (2.3), содержит не более 4 инвариантных множеств (2.1). Поэтому возможны случаи:

1) Среди Фу = 0 есть 4 полинома, удовлетворяющих условию (2.3), т.е. с точностью до обозначений а1 = а2 = а3 = а4, Ь1 = Ь2 = Ь3 = Ь4, а Су, 7 = 1,4 , попарно различны.

2) Наибольшее число инвариантных множеств (2.1), удовлетворяющих условию (2.3), равно 3.

3) Наибольшее число инвариантных множеств (2.1) с условием (2.3) есть 2.

4) Среди Фу = 0 нет полиномов, удовлетворяющих (2.3).

В п. 3 изучается случай 1). В силу теоремы 2.2 и леммы 2.1 справедлива

Лемма 3.1. Пусть система (1.1) из А4 имеет не менее пяти линейных частных интегралов, при этом а1 = а2 = а3 = а4, Ь1 = Ь2 = Ь3 = Ь4, су

для 7 = 1,4 попарно различны. Тогда линейной невырожденной заменой с точностью до обозначений система (1.1) приводится к виду

йх /32 2

= х( у + «20 х + апху + а02 у +

Ж

+ аю х + ао\у + аоо ) = р йу

= (у-а1)(у-а2) х

а02 (кх +/) + (а\§ + каох) х + + аоо ) —

= (кх +1 - а,1)(кх +1 - а2)х х (кх +1 - аз) (кх +1 - а4 ).

Отсюда следует, что I е {а1, а2, а3, а4}. Полагая I = 0/ и сравнивая коэффициенты при одинаковых степенях х в правой и левой частях этого тождества, можно убедиться, что справедлива

Лемма 3.2. 1) Для того чтобы система (3.1) допускала частный интеграл у = кх + а1, к Ф 0, необходимо и достаточно, чтобы выполнялись равенства

2

Аф + 0цк + 0-20 = 0,

Ах + В) к + а^а + 010 = о, (3.2)

где

Аа + + аоо + = 0,

А = а02 + а2 + аз + а4,

— ^2^3 — ^2^4 — а^а4 ■

(3.3)

12а4

*,30,4 ■

2) Система (3.1) имеет инвариантное множество у = кх + а2, к Ф 0, тогда и только тогда, когда

2

А2к + ацк + ^20 — 0,

(2а2 А2 + В2) к + ^11^2 + а^ — 0, (3.4)

где

А2а2 + Вг аг + а00 + а1аза4 — 0,

Аг = а0 2 + а +аз + а4,

В2 — ^01 — ща — — 0304.

(3.5)

3) Система (3.1) имеет инвариантное множество у = кх + а3, к Ф 0 в том и только том случае, если

2

А3 к + ацк + «20 = 0,

(2аз А3 + Б3) к + а11аз + а10 = 0, (3.6)

(3.1)

Аза3 + Взаз + а00 + а^а4 = 0,

где

х (у-аз)(у-а4 ) = где Р и Q - взаимно просты, ау попарно различны, а j е С, при этом у (3.1) нет частных интегралов у = кх + I, у = кх + 11, IФ 11, к Ф 0, к Ф да.

В силу тождества (2.2) система (3.1) допускает частный интеграл у = кх + I, к Ф 0, к Ф да тогда и только тогда, когда

I 3 2

Ах1(Ах + /) + ^20 х + ацх (кх + /) +

В3 — а01 — а-^о — ата^ — аоа^.

(3.7)

4) Система (3.1) имеет инвариантное множество у = кх + а4, к Ф 0 тогда и только тогда, когда

2

А4к + ацк + а20 — 0,

(2а4 А4 + В4) к + а^а4 + аш — 0, (3.8)

где

А4а4 + В4а4 + аоо + а1а2аз — 0,

А4 — + а- + ат + аз

02 + а1

1а2

В 4 — ^01 — а-а2 — а-аз — а2аз.

(3.9)

+

Лемма 3.3. Пусть система (3.1) имеет инвариантные множества у = к[ ^ х + а j,

у = х + а j, к}7'^ Ф к2, к}7'^7'^ Ф 0 . Тогда

(к}^ ^) Л]- + ап = 0, (3.10)

(3.11)

(3.12)

2 А аі + В = °:

а11 а j + а10 = 0 ,

Аі(к1(1) )2 + а11к1(1) + а20 = 0, А1(к21) )2 + а11^21) + а20 = 0, (2 А1а1+вх) к1 + — 0,

чию с взаимной простотой правых частей (3.1). Лемма доказана.

Лемма 3.5. Система (3.1) может иметь не более четырех инвариантных множеств вида у = к1х + а л, у = х + а ^,

&00 + / ау — ауАу — 0, (3.13)

где у = 1, 2, 3, 4; А1, В1 имеют вид (3.3), А2, В2 -вид (3.5), А3, В3 - вид (3.7) и А4, В4 - вид (3.9), при этом Ау Ф 0.

Доказательство. При у = 1, согласно лемме 3.2, имеем

к1 Ф к2, к^ Ф 0; у = кзх + а j, у = к4х + аj кз Ф к4, кзк4 Ф 0,

(3.17)

(3.14)

(3.15)

где 5,у є {1,2,3,4}, 5 Фу.

Доказательство. Допуская противное, без ограничения общности считаем 5 = 1, у = 2. Пусть наряду с (3.17) при 5 = 1, у = 2 система

(3.1) имеет инвариантные множества у = к5х + аз, у = квX + аз,

(3.18)

к5 ф к6 ’ к5к6 ф 0 Тогда в силу леммы 3.3 имеем

(2 А1а1 + В1) к21} + ОцО*! + — 0,

+ Б1а1 + а00 + а2«з«4 = 0. (3.16)

Из равенств (3.14) и из условия Ф

получаем (3.10). При к1(1) Ф из (3.15) следует (3.11) и (3.12) для у = 1. Из соотношений

(3.16) и (3.11) вытекает равенство (3.13). Допустим А1 = 0. Тогда, в силу (3.10)-(3.14), параметры а11 = а10 = а20 = В1 = 0, а00 = -а2а3а4. Для А1 = В1 = 0, согласно (3.3), а01 = а2а3 + а2а4 + + а3а4, а02 = -(а2 + а3 + а4). Следовательно, в

(3.1) полином 3 2 2

у + «20 х + апху + а02 у + а10 х + а01 у + а00 =

= (У-а2 )(У-а3 )(у-а4 )■

Поэтому правые части (3.1) имеют общий делитель (у -а,2)(у — аз)(у -а4). Полученное противоречие доказывает, что А1 Ф 0.

В случаях у = 2, 3, 4 доказательство аналогично изложенному выше. Лемма доказана.

Лемма 3.4. Состояние покоя (0,ау), у = 1,4,

системы (3.1) наряду с х = 0, у = ау может принадлежать не более чем двум инвариантным множествам у = к1х + ау, у = к2х + ау, к1 Ф к2, к1к2 Ф 0.

Доказательство. Допустим противное. Тогда без ограничения общности полагаем у = 1. Так как первое уравнение (3.2) имеет не менее трех решений, то (в силу леммы 3.2) А1 = а11 = а20 = 0. Отсюда для у = 1, согласно (3.11) и

(3.12), имеем В1 = а10 = 0. Далее повторяем рассуждения леммы 3.3 и приходим к противоре-

2 А^а^ + Ві — 2 ^2^2 + В2 —

— 2 Азаз + В3 — 0.

(3.19)

(3.20)

Подставляя в (3.19) вместо Ау, Ву их значения из (3.3), (3.5) и (3.7), получаем

(2^02 + Заз + 3^4 )(а^ — а2) — 0, (2а02 + За2 + За4 )^ — аз) — 0.

Из равенств (3.20) вытекает, что выполнено хотя бы одно из соотношений а1 = а2, а1 = а3, а2 = а3. Последнее невозможно, ибо в (3.1) величины ау парно различны. Лемма доказана.

Лемма 3.6. Пусть система (3.1) имеет инвариантные множества

у = к^х + а1з у = ^2х + щ, к-^ Ф к2, к-^к2 ф 0, у = кзх + а2, у = £4х + а,2,

(3.21)

кз Ф £4, к^к4 Ф 0.

(3.22)

Тогда

к\ + к2 = кз + к4 = а а = а10 = 0, (3.23)

2^02 + 3(аз + а4) = 0, а01 = 30,30,4, (3.24) 2(а!а2 + аза4) = (а! + а2)(аз + а4), (3.25)

2а00 = 2^0.2 - 2а1а3а4 - а^аз - а^а4. (3.26) Доказательство. В силу леммы 3.3, с учетом

(3.12) имеем ацЫ1 = ацЫ2 . Отсюда получаем

а11 = 0, так как в (3.1) величины ау попарно различны. При а11 = 0, согласно (3.12), а10 = 0, и в силу первых уравнений (3.2) и (3.4) к + к2 = кз + к 4 = 0. Следовательно, выполнены равенства (3.23).

Полагая в (3.13)у = 1, 2 и заменяя А1 и А2 из

(3.3) и (3.5), будем иметь

а^2 + аза4 + (а! + а2) (а0 2 +а3 +а4) = 0.

Отсюда и из первого соотношения (3.20) следует равенство (3.25). Первое соотношение (3.24) вытекает из (3.20). Поэтому 2 А = = 2а2 — аз -а4 . Отсюда с учетом (3.25), (3.11),

(3.3) находим а01 = 3аза4 .

Равенство (3.26) вытекает из (3.11), (3.5) и из первого соотношения (3.25). Лемма доказана.

Система дифференциальных уравнений

Шх ,з 2 ч Шу

— = х (у3 + х2 - 3 у), аі аі

(у2 +1)( у2 -1),

2а02 + 3а! + 3а4 = 2а02 + 3а! + Заз = 0. Последнее невозможно. Поэтому ац Ф 0. Из формул (3.3), (3.5), (3.7) и (3.9) имеем

А — Аі + а і — а, А3 — Аі + а і — аз,

2, ^з А4 — Аі + аі — а4,

(3.30)

допускающая частные интегралы х = 0, у = -і,

у = I, у = 1, у = -1, у = г + V - г х, у = 7 - V - 7х ,

у = 41 х - г, у = -л/7 х - г, удовлетворяет как условиям, так и утверждению леммы 3.6.

Лемма 3.7. Если система (3.1) имеет инвариантные множества (3.17), то максимальное число различных линейных частных интегралов системы (3.1) равно 9.

Доказательство. Достаточно показать, что у системы (3.1) нет других инвариантных множеств вида у = кх +1, к Ф 0, отличных от (3.17). Допустим противное, при этом, как и в лемме 3.5, считаем 5 = 1, у = 2. Согласно лемме 3.4,

IФ а1, IФ а2, и при этом, в силу леммы 3.1, к Ф ку, ] = 1,4 . Поэтому без ограничения общности полагаем I = а3. По лемме 3.6 а11 = а10 = 0. Отсюда с учетом (3.2), (3.4) и (3.6) получаем

(3.19) и (3.20). Следовательно, либо а1 = а2, либо а1 = а3, либо а2 = а3. Полученное противоречие доказывает лемму.

Лемма 3.8. Система (3.1) не может иметь одновременно 5 частных интегралов вида у = к1х + а1, у = к2х + а1, у = к3х + а2, у = к4х + а3, у = к5х + а4, где ку Ф 0 и попарно различны.

Доказательство. Допустим противное. Тогда, в силу лемм 3.2 и 3.3, имеем

2+ В1 = 0, аца1 + @10 = 0, (3.27)

А2к3 + ацк3 + а2о = 0,

Азк4 + ацк4 + а20 = 0, (3.28)

А4к2 + ап^5 + а20 = 0,

(2^2 А2 + В2 ) + ац (а — 0*1) = 0,

(2аз А3 + В3 ) + ац(аз — а,1) = 0, (3.29)

(2а4 А4 + В 4 ) + ац (а — ) = 0,

где Ау, Ву определяются из формул (3.3), (3.5), (3.7) и (3.9) соответственно, при этом, согласно лемме 3.2, А1 Ф 0. Покажем, что ац Ф 0. Допустим, что а11 = 0, тогда из (3.29) имеем

2а2 А2 + В*2 — 2аз А3 + В3 — 2а4 А4 + В4 — 0.

Отсюда с учетом (3.5), (3.7) и (3.9) следует,

что

в2 - В1 + (аз + ^4 )(^2 —

В3 - В1 + (а2 + а4 )(аз — а1),

В4 - В1 + (а2 +аз )(а4 — а!).

Так как В1 = —2а^, то

2 ^2^2 + В2 = (^2 — а у) X х (2 Ау — 2а2 + аз + ) =

= (а2 —ау)(2а02 + 3аз + 3а4 ),

2 Азаз + В3 = (аз — х х (2 Ау — 2аз + а2 + а4 ) =

= (аз — а^ )(2а02 + 3а2 + 3а4 ),

2 + В4 = (^4 — ) х

х (2 Ау — 2а4 + а2 + аз ) =

= (а4 —а!)(2а02 + 3а2 + 3аз ). Используя эти равенства, согласно (3.29), имеем

к'з = —ац / (2а02 + Заз + 3а4 ^4 = —ац / (2а02 + За2 + За4 кз = —ац / (2а02 + За2 + Заз )■ Подставляя найденные значения кз, к4, к5 в уравнения (3.28) и учитывая (3.30) и (3.3), будем иметь

а 11 (а02 + 2аз + 2^4 — =

2

= а20 (2^02 + 3аз + 3а4 ) ,

2

а 11 (ао2 + 2а2 + 2а4 — а^) =

2

= а20 (2а02 + 3а2 + 3а4 ) 5 2

а 11 (а02 + 2а2 + 2аз — а^) =

2

= а20 (2а02 + 3а2 + 3а3) ■

Если из первого равенства вычесть второе и третье, то с учетом неравенства ау Ф ал у Ф 5, получим 2

2а 11 = 3^20 (4^02 + 3а,2 + Заз + 6а4 ) =

= 3^20 (4^02 + За2 + +6аз + За4 ).

Отсюда следует, что а3 = а4. Полученное противоречие доказывает лемму.

Теорема 3.1. Максимальное число линейных частных интегралов системы (3.1) с взаимно простыми правыми частями равно 9.

Доказательство. Приведенный после леммы 3.6 пример показывает, что существуют систе-

мы (3.1) с девятью линейными частными интегралами.

Допустим, что система (3.1), кроме х = 0, у = а1, у = а2, у = а3, у = а4, имеет не менее 5 частных линейных интегралов у = кух + 1у, ] = 1, 5, где ку Ф 0 и, в силу леммы 3.1, попарно различны. Так как 1у е {а1,а2,а3,а4}, то среди 1у есть равные. Если равны только две величины 1у, то, в силу лемм 3.4 и 3.8, число различных линейных частных интегралов не более 9. В противном случае, в силу лемм 3.4, 3.5 и 3.7, максимальное число различных линейных частных интегралов системы

(3.1) равно 9. Теорема доказана.

Работа поддержана грантом НК-13П-13.

Список литературы

1. Долов М.В. О числе алгебраических инвариантных кривых полиномиальных векторных полей // Дифференц. уравнения. 2004. Т. 40, № 6. С. 838-839.

2. Долов М.В., Павлюк Ю.В. К вопросу об алгебраической интегрируемости полиномиальных векторных полей // Тр. СВМО. 2004. Т. 6, № 1. С. 40-50.

3. Долов М.В., Бубнова И.В. Системы с линейными частными интегралами // Изв. РАЕН. Дифференц. уравнения. 2006. № 11. С. 79-80.

4. Долов М.В., Чистякова С.А. О числе линейных интегралов кубической системы с вырожденной бесконечностью // Тр. СВМО. 2007. Т. 9, № 2. С. 62-74.

5. Латипов Х.Р., Косс М.Ш. Об интегральных прямых одного дифференциального уравнения // IX Межд. конф. по нелинейным колебаниям. Качественные методы теории нелинейных колебаний. Киев: Наукова думка, 1984. Т. 2. С. 219-222.

6. Любимова Р.А. Об одном дифференциальном уравнении с интегральными прямыми // Дифференц. и интегральные уравнения. Горький: ГГУ, 1977. С. 19-22.

ON LINEAR PARTIAL INTEGRALS OF POLYNOMIAL VECTOR FIELDS OF THE FOURTH DEGREE WITH DEGENERATE INFINITY. I.

M.V. Dolov, S.A. Chistyakova

It is proved that a polynomial vector field of the fourth degree with degenerate infinity has no more than nine linear partial integrals including those with complex coefficients.

Keywords: polynomial vector fields, algebraic differential equations, partial integrals, invariant sets, degenerate infinity.