close

Вход

Забыли?

вход по аккаунту

?

О числе инвариантных прямых одного класса полиномиальных векторных полей.

код для вставкиСкачать
ISSN 2410-3225 Ежеквартальный рецензируемый, реферируемый научный журнал «Вестник АГУ». Выпуск 1 (176) 2016
МАТЕМАТИКА
MATHEMATICS
УДК 517.9
ББК 22.161.6
Т 49
Тлячев В.Б.
Доктор физико-математических наук, профессор, зав. кафедрой теоретической физики инженернофизического факультета Адыгейского государственного университета, Майкоп, тел. (8772) 593908, email: stvb2006@rambler.ru
Ушхо А.Д.
Кандидат физико-математических наук, доцент кафедры теоретической физики инженернофизического факультета Адыгейского государственного университета, Майкоп, тел. (8772) 593908, email: uschho76@mail.ru
Ушхо Д.С.
Кандидат физико-математических наук, доцент кафедры математического анализа и методики преподавания математики факультета математики и компьютерных наук Адыгейского государственного
университета, Майкоп, тел. (8772) 593905, e-mail: damirubych@mail.ru
О числе инвариантных прямых одного класса
полиномиальных векторных полей
(Рецензирована)
Аннотация. Доказано, что полиномиальное векторное поле n -й степени, обладающее двумя определенными инвариантными множествами, каждое из которых состоит из n  1 параллельных между собой инвариантных прямых с различными угловыми коэффициентами k1 и k 2 соответственно, имеет при n четном
(нечетном) не более 2n  1 ( n ) инвариантных прямых.
Ключевые слова: инвариантное множество, полиномиальное векторное поле, инвариантная прямая, угловой коэффициент, параллельные прямые, аффинное преобразование, узловая точка.
Tlyachev V.B.
Doctor of Physics and Mathematics, Professor, Head of Theoretical Physics Department of Engineering-Physics
Faculty, Adyghe State University, Maikop, ph. (8772) 593908, e-mail: tlyachev@adygnet.ru
Ushkho A.D.
Candidate of Physics and Mathematics, Associate Professor of Theoretical Physics Department of EngineeringPhysics Faculty, Adyghe State University, Maikop, ph. (8772) 593908, e-mail: uschho76@mail.ru
Ushkho D.S.
Candidate of Physics and Mathematics, Associate Professor of Department of Mathematical Analysis and Methodology of Teaching Mathematics, Mathematics and Computer Science Faculty, Adyghe State University, Maikop, ph. (8772) 593905, e-mail: damirubych@mail.ru
The number of invariant lines of a class of polynomial vector fields
Abstract. It is proved that a n -th order polynomial vector field having two specific invariant sets, each consisting of n  1 parallel invariant straight lines with different angular slopes k1 and k 2 , respectively, has at even (odd) n
no more than 2n  1 ( n ) invariant straight lines.
Keywords: invariant set, polynomial vector field, invariant straight line, angular slope, parallel straight lines,
affine transformation, nodal point.
Рассмотрим систему дифференциальных уравнений
n
 dx
i j

 dt  aij x y  P( x, y ),
i  j 0


n
 dy 
b x i y j  Q( x, y ),

 dt i  j  0 ij
где aij , bij  R, ( P, Q)  1 , n  3.
– 11 –
(1)
ISSN 2410-3225 Ежеквартальный рецензируемый, реферируемый научный журнал «Вестник АГУ». Выпуск 1 (176) 2016
В работе [1] была дана оценка числа инвариантных множеств M 2k (k ) системы (1),
имеющей инвариантное множество M nk0 (k0 ) (k  k0 ) . Под символом M sk (k ) понимается так
называемое инвариантное множество [1], то есть множество, состоящее из s параллельных
между собой инвариантных прямых с угловым коэффициентом k . Введение понятия инвариантного множества позволяет, например, проводить оценку числа инвариантных прямых,
что дает возможность упростить процедуру качественного исследания динамических систем.
Лемма 1. Пусть система (1) имеет два инвариантных множества M nk11 (k1 ) и M nk21 (k 2 ) ,
где k1 , k 2  R, k1  k 2 . Тогда систему (1) можно посредством аффинного преобразования переменных x и y привести к виду
 dx
 dt  x x  1      x   n  2  Ax  By  C ,
(2)

 dy  y  y        y   Mx  Ny  L ,
1
n2
 dt
где 0  1     n2 , 0  1     n2 , BM  0 .
Доказательство. Прежде всего, отметим, что указанное условие принадлежности k1 и
k 2 множеству R не уменьшает общности рассмотрения леммы. Следуя работе [2], применим
к системе (1) преобразование
 x  x  y,
(3)

 y  k1 x  k 2 y
и замену переменной t  (k 2  k1 ) . В результате система (1) трансформируется в систему
 dx
 d   x  a1      x  an 1 a1 x  a2 y  a3 ,
(4)

d
y
   y  b     y  b  b x  b y  b ,
1
n 1
1
2
3
 d
где b1a2  0 , a1  a2    an1 , b1  b2    bn1 .
Таким образом, согласно [2], преобразование (3) переводит инвариантные прямые
k1
k2
множества M n
y  bi  0 (в изоклины бесконечности
1 ( k1 ) ( M n1 ( k 2 ) ) в изоклины нуля


x  ai  0 ), i  1, k  1 .
Применим к системе (4) операцию параллельного переноса
x  x  a1 ,
~
~
 y  y  b1.
В результате получим систему
x ~~
 d~
~
~
~
 d  x  x  1     x   n  2  Ax  By  C ,
 ~
 dy  ~
y ~
y  1      ~
y   n  2 M~
x  N~
y  L ,
 d
где 0  1     n2 , 0  1     n2 , BM  0 .
Лемма доказана.
Учитывая лемму 1, будем в дальнейшем рассматривать систему
 dx
 dt  xx  1     x   n  2 By  C   P  x, y ,

 dy  y  y       y   Mx  L   Q  x, y ,
1
n2
 dt
– 12 –
(5)
(6)
ISSN 2410-3225 Ежеквартальный рецензируемый, реферируемый научный журнал «Вестник АГУ». Выпуск 1 (176) 2016
являющуюся частным случаем системы (2) и имеющую два инвариантных множества:
M n01 (0)  y  0, y  1  0,, y   n2  0, M n1 ()  x  0, x  1  0,, x   n2  0.
В силу взаимной простоты P ( x, y ) и Q ( x, y ) справедливы условия на коэффициенты
системы (6): CL  0,  i   L / M ,  i  C / B, i  1, n  2 .
Для удобства дальнейших рассуждений будем называть состояние равновесия U системы (6) узловой точкой, если через точку U проходят две инвариантные прямые множества
M n01 (0)  M n1 () . Состояние равновесия V системы (6), не являющееся узловой точкой,
будем называть внеузловой точкой. Очевидно, что система (6) имеет единственную внеузловую точку V ( L / M ;C / B) , причем через точку V не проходит ни одна инвариантная прямая, принадлежащая множеству M n01 (0)  M n1 () .
Теорема 1. Пусть система (6) имеет инвариантную прямую g , не принадлежащую
множеству M n01 (0)  M n1 () . Тогда: 1) g проходит через вершины прямоугольника  , образованного инваринатными прямыми x  0, x   n  2  0, y  0, y   n  2  0 ; 2) g проходит через внеузловую точку V ( L / M ;C / B) .
Доказательство. Пусть g – инвариантная прямая системы (6), причем
g  M n01 (0)  M n1 () . Тогда g пересекает каждую инвариантную прямую множества
M n01 (0)  M n1 () в точке, являющейся состоянием равновесия системы (6). Однако каждое
состояние равновесия системы (6) является либо узловой точкой, либо внеузловой точкой.
Так как единственной внеузловой точкой системы (6) является точка V ( L / M ;C / B) ,
через которую не проходит ни одна инвариантная прямая, принадлежащая множеству
M n01 (0)  M n1 () , то g пересекает инвариантные прямые множества M n01 (0)  M n1 ()
только в узловых точках, а значит, проходит через вершины O(0;0), F (0;  n  2 ), G ( n  2 ;  n  2 ),
H ( n  2 ;0) прямоугольника  .
В силу того, что g не параллельна ни одной из главных изоклин L0 : Mx  L  0 и
L : By  C  0, прямая g пересекает обе изоклины L0 и L в точке V ( L / M ;C / B) .
Теорема доказана.
Следствие 1. Система (6) имеет не более 2n инвариантных прямых.
Следствие 2. Если состояние равновесия V  L / M ;C / B  системы (6) не принадлежит
ни одной из прямых OG и FH , то эта система не имеет инвариантной прямой, не принадлежащей множеству M n01 (0)  M n1 () .
Пример 1. Система дифференциальных уравнений
 dx
 dt  x x  5 y  2 ,

 dy  y  y  7  x  3
 dt
имеет внеузловую точку V (3;2) , через которую не проходит ни одна из прямых
OG : 5 y  7 x  0 и FH : 5 y  7 x  35  0 .
Согласно следствию 2 система не имеет инвариантной прямой, не принадлежащей
множеству x  0, x  5  0, y  0, y  7  0 .
Теорема 2. Если система (6) имеет инвариантные прямые
2 : y 
 n2
x   n  2  0 , то n – нечетно.
 n2
– 13 –
1 : y 
 n2
x  0,
 n2
ISSN 2410-3225 Ежеквартальный рецензируемый, реферируемый научный журнал «Вестник АГУ». Выпуск 1 (176) 2016
Доказательство. Так как по условию  1 и  2 инвариантные прямые системы (6), то
выполняются равенства:
  n2



 


(7)
x  1      n  2 x   n  2 Mx  L    x  1      B n  2 x  C ,
  n2

  n2

  n2


 

  
  n2
 
x   n  2     n  2 x   n  2  1      n  2 x   n  2   n 3 Mx  L  

  n2

   n2
  n2
(8)


 n2
x  B n  2  C  x   1      x   n  2 .
   B
 n2


Перепишем равенства (7) и (8) в виде:
  n2 


  n2 
n2

 


 
 
 x  1 n  2     x   n 3 n  2 Mx  L    x  1     x   n 3  B n  2 x  C , (9)
 n2 
 n2 

  n2


 1
n2
  n2 


  n2 
n2

  1       x   n  2   n 3   Mx  L  
 x  n  2
n2 
n2 

 n2
 n2




(10)


 n2
   B
x  B n  2  C  x   1      x   n 3 .
 n2


n2
в правой и левой частях равенств (9) и (10), имеем:
Приравнивая коэффициенты при x
 
M  n  2 
  n2 
n2
B
 n2
,
 n2
(11)
n2
 

M  1  n  2    B n  2 .
(12)
 n2
  n2 
Из (11) и (12) получаем, что (1) n  2  1 , откуда следует, что n – нечетно. Теорема доказана.
n2
Лемма 2. Система (6) не имеет изолированных периодических решений, а состояние
равновесия V  L / M ;C / B  этой системы является центром или седлом.
Доказательство. Единственным состоянием равновесия системы (6), не принадлежащим ни одной инвариантной прямой множества M n01 (0)  M n1 () , является
V  L / M ;C / B  , причем это состояние равновесия простое. Поэтому воспользуемся крите1
n  2

рием Дюлака, взяв в качестве функции Дюлака функцию вида D( x, y )    ( x   i )( y   i ) ,
i
0



где  0   0  0.




By  C    Mx  L  

Так как ( DP )x  ( DQ )y   n  2
  0, то система не имеет изоли   n2
( y  i ) 
 (x i ) 
 i
0
y
 x  i  0
рованных периодических решений, а простое состояния равновесия V  L / M ;C / B  может
быть только центром или седлом [3]. Лемма доказана.
Следствие 3. Если через внеузловую точку V  L / M ;C / B  проходит хотя бы одна
инвариантная прямая системы (6), то эта точка непременно является простым седлом.
Пример 2. Система дифференциальных уравнений
 dx
 dt  x x  4  y  1,

 dy  y  y  2 x  2 
 dt
– 14 –
ISSN 2410-3225 Ежеквартальный рецензируемый, реферируемый научный журнал «Вестник АГУ». Выпуск 1 (176) 2016
имеет инвариантные множества M 20 (0)  y  0, y  2  0 и M 2 ()  x  0; x  4  0, а также
две инвариантные прямые 2 y  x  0, 2 y  x  4  0, проходящие через внеузловую точку
V (2;1) – простое седло.
Пример 3. Кроме очевидных четырех инвариантных прямых, система дифференциальных уравнений
 dx
8

 dt  x x  6 y  3 ,



 dy  y  y  4 x  2
 dt
имеет лишь одну инвариантную прямую 3 y  2 x  12  0, проходящую через внеузловую
 8
точку V  2;  . Согласно следствию 3 эта точка – простое седло.
 3
Вернемся к примеру 1 и покажем, что внеузловая точка V (3;2) является центром.
С помощью параллельного переноса
 x  x  3,

y  y  2
система из примера 1 приводится к системе
 dx
2
 dt  24 y  11xy  x y,
(13)

 dy  10 x  3xy  xy 2 .
 dt
Для состояния равновесия (0;0) системы (13) находим, что  (0;0)  0 ,
0 24
(0;0) 
 240  0. Поэтому точка (0;0) является центром или кратным фокусом
 10 0
[3]. Принимая во внимание лемму 2, приходим к выводу, что (0;0) – центр. Отметим, что
(0;0) – центр в том числе и потому, что векторное поле системы (13) симметрично относительно прямой y  0 .
Пример 4. Для системы дифференциальных уравнений
 dx
 dt  xx  5 y  2,

 dy  y  y  7 ( x  3
 dt
внеузловая точка V (3;2) является простым седлом и через эту точку не проходит ни одна из
прямых 5 y  7 x  35  0 и 5 y  7 x  0 . Следовательно, данная система не имеет инвариантной
прямой, не принадлежащей множеству x  0, x  5  0, y  0, y  7  0 .
Замечание 1. В работе [4] построена кубическая система дифференциальных уравнений, имеющая предельный цикл и четыре инвариантных прямых. В терминах инвариантных
множеств необходимое условие существования предельного цикла у кубической системы,
обладающей четырьмя инвариантными прямыми, заключается в том, что эта система имеет
два инвариантных множества M 2k1 ( k1 ) и M 2k 2 (k 2 ) , где k1  k 2 . При этом предельный цикл
расположен внутри параллелограмма, образованного инвариантными прямыми множества
M 2k1 (k1 )  M 2k 2 (k 2 ) .
Впрочем, кубическая система не имеет предельных циклов, если она обладает не менее
пятью инвариантными прямыми [5].
– 15 –
ISSN 2410-3225 Ежеквартальный рецензируемый, реферируемый научный журнал «Вестник АГУ». Выпуск 1 (176) 2016
Будем говорить, что система (1) индуцирует направление m на прямой изоклине L , если
угловой коэффициент касательных к траекториям системы (1) в точках прямой L равен m .
k1
k2
Теорема 3. Пусть система (1) имеет два инвариантных множества M n
1 ( k1 ) и M n1 ( k 2 ) ,
а также две прямые изоклины L1 : y  k1 x  b1  0, L2 : y  k 2 x  b2  0, где k1 , k 2  R, k1  k 2 .
Если на прямой L1 ( L2 ) индуцировано направление k 2 ( k1 ), то система (1) при n четном
(нечетном) имеет не более 2n - 1 ( 2n ) инвариантных прямых.
Справедливость теоремы следует из леммы 1 и теоремы 2.
Пример 5. Система дифференциальных уравнений
 dx
 dt  xx  1 x  2 y  5,

 dy  y  y  1 y  2x  5
 dt
имеет
два
инвариантных
множества
M 30 (0)  y  0, y  1  0, y  2  0,
M 3 ()  x  0, x  1  0, x  2  0 и одну инвариантную прямую y  x  0, не принадлежащую множеству M 30 (0)  M 3 () .
Пример 6. Система дифференциальных уравнений
 dx
 dt  xx  1 x  2  x  32 x  3,

 dy  y  y  1 y  2 y  32 y  3
 dt
имеет
два
инвариантных
множества
M 40 (0)  y  0, y  1  0, y  2  0, y  3  0,
M 4 ()  x  0, x  1  0, x  2  0, x  3  0 и две инвариантные прямые
y  x  0,

0
y  x  3  0, не принадлежащие множеству M 4 (0)  M 4 () .
Примечания:
References:
1. Тлячев В.Б., Ушхо А.Д., Ушхо Д.С. Об инвариантных множествах полиномиального векторного поля n-й степени // Вестник Адыгейского государственного
университета.
Сер.
Естественноматематические и технические науки. 2014. Вып.
4 (147). С. 22-33. URL: http://vestnik.adygnet.ru
2. Ушхо Д.С. О прямых изоклинах кубической дифференциальной системы // Труды ФОРА. 2003. №
8. С. 7-21. URL: http://fora.adygnet.ru
1. Tlyachev V.B., Ushkho A.D., Ushkho D.S. Invariant
sets of the n -th order polynomial vector field //
The Bulletin of the Adyghe State University. Ser. Natural-Mathematical and Technical Sciences. 2014. Iss.
4 (147). P. 22-33. URL: http://vestnik.adygnet.ru
3. Баутин Н.Н., Леонтович Е.А. Методы и приемы
качественного исследования динамических систем
на плоскости. Изд. 2, доп. М.: Наука, 1990. 488 с.
4. Ушхо Д.С., Ушхо А.Д. О сосуществовании предельных циклов и линейных частных интегралов
кубических дифференциальных систем на плоскости // Труды ФОРА. 2004. № 9. С. 20-24. URL:
http://fora.adygnet.ru
5. Горбузов В.Н., Тыщенко В.Ю. Частные интегралы
систем обыкновенных дифференциальных уравнений // Математический сборник. 1992. Т. 183, № 3.
С. 76-94.
2. Ushkho D.S. On straight isoclinal lines of cubic differential system // Works of Physical Society of Adyghea Republic. 2003. No. 8. P. 7-21. URL:
http://fora.adygnet.ru
3. Bautin N.N., Leontovich E.A. Methods and techniques
of the qualitative study of dynamical systems on the
plane. 2nd ed., enl. M.: Nauka, 1990. 488 pp.
4. Ushkho D.S., Ushkho A.D. About existing of limiting
cycles and line particular integrals of cubic differential
systems on plane // Works of Physical Society of
Adyghea Republic. 2004. No. 9. P. 20-24. URL:
http://fora.adygnet.ru
5. Gorbuzov V.N., Tyshchenko V.Yu. Particular integrals of systems of ordinary differential equations //
Mat. Sb. 1992. Vol. 183, No. 3. P. 76-94.
– 16 –
Документ
Категория
Без категории
Просмотров
3
Размер файла
317 Кб
Теги
инвариантная, поле, полиномиальной, векторных, одного, класс, прямые, числа
1/--страниц
Пожаловаться на содержимое документа