Вы находитесь на странице: 1из 10

УДК 517.

925
Чжан Биньбинь, И. П. Мартынов, В. А. Пронько

РАЦИОНАЛЬНЫЕ РЕШЕНИЯ Мероморфность решений ОДНОГО КЛАССА


ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ ТРЕТЬЕГО ПОРЯДКА

Работа посвящена аналитической теории обыкновенных дифференциальных уравнений. В ней


рассмотрен класс автономных дифференциальных уравнений третьего порядка. Сформулирована цель
работы – изучать аналитические свойства этого класса дифференциальных уравнений третьего порядка, а
также построить рациональные решение трёх нелинейных дифференциальных уравнений третьего порядка
их них, общие решения которых мероморфны. Нелинейные дифференциальные уравнения порядка n можно
разбить на три класса: уравнения, имеющие n - 1 положительных резонансов; уравнения, имеющие как
положительные, так и отрицательные нетривиальные резонансы; уравнения, имеющие только
отрицательные резонансы. Между тем уравнения высших порядков, у которых есть только отрицательные
резонансы, могут иметь интересные аналитические свойства: общие решения таких уравнения могут быть
рациональными функциями; решения таких уравнения могут иметь неизолированные особые точек, и др.
Поэтому возникает задача, как использовать отрицательные резонансы для получения информации об
аналитических свойствах решений дифференциальных уравнений и, в частности, для построения
n �1
двухпараметрических рациональных решений. В данной работе показано, что при общие решения

рассматриваемых уравнений не являются мероморфными. Получены три нелинейные дифференциальные


n = 1,
уравнения третьего порядка, при условии общие решения которых мероморфны. Одно уравнение из

них имеет рациональное общее решение, а два других имеют двухпараметрические рациональные решения.
Показано также, что различная резонансная структура уравнения, имеющегося рациональное общее
решение, отвечает различным представлениям решения этого уравнения в виде рядов Лорана в различных
областях плоскости комплексного переменного. В заключении перечислены полученные в основной части
результаты, которые могут быть применены в аналитической теории обыкновенных дифференциальных
уравнений.

Ключевые слова: дифференциальное уравнение, резонансы, резонансная структура, ряд Лорана,


двухпараметрическое рациональное решение, общее решение.

1. Введение. В [1] приведено автономное уравнение


� 1 �2 �
y 2 y�
y�

�=�
1 - �y y �
2
+ a1 yy �
2
+ a2 y �
y�
� 4
+ 2ay 4 y �
�+ by 3 y �
2
+ cy 6 . (1)
� u�
Получены уравнения вида (1) с мероморфными общими решениями при условиях a + b + c �0,
u Υ { 1, 2,3, } . Если u = -2, то согласно [2], [3] будем иметь
1 �1 �
a1 = 0, a2 = � 2 - 1� , n ��\ { 0} .
2 �n �
В данной работе рассмотрим уравнение (1) при u = - 2 :
3 2 2 1 �1
y 2 y�
y�

�= �+ � 2 - 1�
y y� �y �+ 2ay y �
4 4
+ by 3 y �
� 2
+ cy 6 , c �0. (2)
2 2 �n �
2

Если искать решение уравнения (2) в виде ряда


y = a ( t - t0 ) + K + h ( t - t0 )
-2 r -2
+K ,
(3)

то числа a и r будем подчинены условиям


8
ca 2 + 4 ( 3a + b ) a + - 2 = 0, c �0; (4)
n2
8
( r + 1) �
�r 2 + ( aa - 1) r + 2 - 2

- 2a ( 3a + b ) �= 0. (5)
� n �
Согласно [4]–[6] корни уравнения
8
r 2 + ( aa - 1) r + 2 - - 2a ( 3a + b ) = 0, (6)
n2
которые называют резонансами, должны быть целыми и различными, отличными от -1 (уравнение (5) уже
имеет корнем число -1 ). С уравнением (2) будем связывать набор
( 2, a ; -1, r1 , r2 ) .
(7)

a1 , a 2 a1 =1
2. Основные результаты. Пусть – корни уравнения (4). Можем считать (масштабным

y = d y1 a 2 =a .
преобразованием можно добиться желаемого результата),

n �2.
Будем считать сначала

Обозначим
M 1 = 1 - a, M 2 = 1 - aa ,
8 8 (8)
N1 = 2 - 2
- 2 ( 3a + b ) , N 2 = 2 - 2 - 2a ( 3a + b ) .
n n
Из (4) найдем
2 �4 � a +1� 4 �
c= � 2 - 1�
, 3a + b = 1- �
� , (9)
a �n � 2a � n2 �
а тогда
� 4 �� 1� � 4�
N1 = �
1- 2 �
�1- �, N2 = � (1- a ) .
1- 2 � (10)
� n �
� a � � n �
Имеет место
a , M 1 , M 2 , N1 , N 2
Лемма 1. Числа связаны равенствами

1) N 2 = -a N1 ,
M1 M 2 n2
2) + = 2 ,
N1 N 2 n - 4
(11)
1 1 n2
3) + = 2 , n �2.
N1 N 2 n - 4

Равенства (11) легко проверить, если учесть (8)–(10).


n �1,
Лемма 2. Если то общее решение уравнения (2) не является мероморфным.
3

Доказательство. Пусть n > 2, n ��. Чтобы корни уравнения (6) были целыми и различными, отличными
от -1, необходимо N1 �2, N 2 �2. Тогда получим

n2 4 1 1 1 1
= 1+ 2 = + � + �1.
n -4
2
n - 4 N1 N 2 N1 N2

Получено противоречие. Значит надо считать n =2 . Тогда формулы (11) не имеют места, уравнение (4)
будет иметь единственный корень a . Уравнение (2) будет иметь вид
3 2 2 3 4
y 2 y�
y�

�= �- y �+ 2ay 4 y �
y y� + by 3 y �
� 2
+ cy 6 , c �0. (12)
2 8
Уравнение (12) заменим системой
�y �= uy,

� 3 2 1 4
+ u + ( 2au �
+ 2au 2 + bu 2 ) y + cy 2 .
(13)
�uu �
�= u�
� 2 2
Вводя в систему (13) параметр l по формулам

y ( t ) = y ( z ) , t = l z, u ( t ) = l v ( z )

и находя решение полученной системы в виде рядов по степеням параметра l

y = y0 + l y1 + l 2 y2 + K , v = v0 + l v1 + l 2 v2 + K , yk = yk ( z ) , vk = vk ( z ) , k = 0,1, 2,K ,

получим

3 v0�
2
v � cd 2
y0�= 0, v0�
�= + 2ad 0 + , y0 = d .
2 v0 v0 v0

v0 = w-1 ,
Полагая найдем

1 w�
2
w�
�= + 2ad ww�
- cd 2 w3 . (14)
2 w
c = -2 a 2 .
Согласно [7] для однозначности решений уравнения (14) необходимо

M = 1 - aa , N = -2a ( 3a + b ) ca = -4 ( 3a + b )
Тогда для уравнения (6). Так как из (4), то

� ca �
N = -2a �
�- �= - aa .
2

� 4 �
k, m
Пусть – корни уравнения

r 2 - ( 1 - aa ) r - a 2a 2 = 0.

k + m = 1 - aa , k �
m = - a 2a 2 .
Тогда Отсюда получим

( k + m - 1)
2
+ km = 0,
(15)

k �-1, m �-1, k �m. k , m ��, k �-1, m �-1, k �m.


где Из (15) видим, что не существует таких что
4

Лемма 2 доказана.
n = 1.
Пусть теперь Тогда уравнение (2) примет вид

3 2
y�
y�

�= �+ 2ay 2 y �
y� �+ byy �
2
+ cy 4 , c �0. (16)
2
n =1
При из (11) получим

9
N 2 = -3 + , N1 �-3.
N1 + 3 (17)

( N1 , N2 ) N1 N2 :
Условию (17) удовлетворят только такие пары целых чисел и

( 6, -2 ) , ( -2, 6 ) , ( -4, -12 ) , ( -6, -6 ) , ( -12, -4 ) .

Первую и последнюю пары можно не рассматривать, так как масштабным преобразованием переменной у
N1 N 2
можно получить уравнение вида (16), для которого соответствующие числа и поменяются местами.

Итак, имеем

( N1 , N 2 ) : ( 1� ( -3) ) , ( -2 �2, -2 �6 ) , ( -2 �
( -2 ) , -2 � 3) .
3, -2 �

a a, b, c.
Используя (8) и (11), найдем и коэффициенты Запишем соответствующие уравнения и наборы

вида (7) для них:


3 2
y�
y�

�= �+ 4y 2 y �
y� �- 8 yy �
2
+ 2 y 4 , ( 2,1; -1, -2,1) , ( 2,3; -1, -2, -3) ; (18)
2
3 2
y�
y�

�= �+ 2y 2 y �
y� �- 4yy �
2
- 2 y 4 , ( 2,1; -1, -2, 2 ) , ( 2, -3; -1, -2, 6 ) ; (19)
2
3 2
y�
y�

�= �- 6 y 4 , ( 2,1; -1, -2,3 ) , ( 2, -1; -1, -2,3 ) .
y� (20)
2
Имеет место
Лемма 3. Уравнения (18) – (20) имеют соответственно первые интегралы
y�2
2 y�
y�
�=2 - 2 y2 - ,
y t -h (21)

y�
2
y�
�=2 - 2 y2 ,
y+h (22)

( yy�
�- 2 y �- 2 y ) ( yy �
2 3
�- 2 y �+ 2 y ) = hy �,
2 3 3
(23)

где h – произвольная постоянная интегрирования.


Справедливость леммы 3 легко проверить непосредственно, если дифференцированием соотношений (21)–
(23) устранить исключить постоянную h.
Теорема 1. Общие решениея уравнений (18) – (20) мероморфны.
5

yw = 3 ( t - h ) ,
Доказательство. Полагая для уравнения (21) получим:

y� 1 w� 1 w�
� w�
2
y�
2
2 y�
= - , - - + = - 2y - � ,
y t -h w ( t - h) w w y t -h y
2 2 2

w�

откуда w�
�= 6 ( t - h ) . Поэтому 2 y = w .
3h = C1 + C2 + C3 ,
Считая найдем

w = ( t - C1 ) ( t - C2 ) ( t - C3 ) ,

C1 , C2 , C3
где – произвольные постоянные, а тогда

1 1 1
y= + + .
( t - C1 ) ( t - C2 ) ( t - C2 ) ( t - C3 ) ( t - C3 ) ( t - C1 ) (24)

1
Для (22) положим y = - h. Тогда
w
= 2 ( hw - 1) .
2
w�

(25)

Решения уравнения (25) при h �0 легко выразить через эллиптическую функцию Вейерштрасса.
= uy,
y�
Полагая в (20) для функции u получим уравнение

uu �

�= 2u �
u�
�+ 2u 2 u �
�- 3uu �
2
- u5 ,
(26)

которое согласно [3] имеет общее решение, являющееся мероморфным. При этом наборы вида (7) для (26)
будут такими:

( 1, -1; -1,1, 2 ) , ( 1, -2; -1, -2,3) , ( 1,1; -1,1,6 ) .


Так как вычеты решений уравнения (26) являются целыми числами, то согласно лемме из [8] все решения
y�= uy
уравнения являются мероморфными.

Теорема 1 доказана.
Следствие 1. а) Общее решение уравнения (18) является рациональной функцией. б) Уравнения (19) и (20)
имеют двухпараметрические рациональные решения
1
y= .
( t - C1 ) ( t - C2 ) (27)

Справедливость утверждения а) следует из (24), а утверждения б) из того, что все решения уравнения
y�2
y�
�=2 - 2 y2
y (28)

являются решениями уравнений (19) и (20).


6

C1 , C2
Уравнение (28) имеет общее решение (27), – произвольные постоянные.

Лемма 4. Соотношения
y�
� y2
2 y = u�
+ u 2 , 2u = - -2
y� y� (29)

являются преобразованием Бэклунда [9, c.15] между уравненияем (18) и уравнениеям


u�

�+ 4uu �
�+ 3u �
2
+ 6u 2 u �
+ u 4 = 0,
(30)

которое согласно [10] имеет общее решение


1 1 1
u= + + .
t - C1 t - C2 t - C3
Доказательство. Дважды дифференцируя первое равенство из (29) получим:
= u�
2 y� �+ 2uu �
, 2 y�
�= u�

�+ 2uu �
�+ 2u �
2
.
(31)

y�
, y�

Подставляя из (31) во второе равенство (29), Из (29) и (31) для функции u получим (30).

С другой стороны,
y�

� y�

2
2 y2 y�

=-
2u � + 2 - 4y + .
y� y� y�2

Используя первое соотношение из (29), для у получим уравнение (18). Лемма 4 доказана.
Предположим, что в (24) будемт
C1 < C 2 < C 3 .
(32)

b = C2 - C1 , g = C3 - C1 . bg �0, 0 < b < g .


Обозначим Очевидно, что в силу (32)

Теорема 2. Локальные представления общего решения (24) уравнения (18) в виде рядов Лорана имеют
вид: ?
0 �t - C1 < b < g ,
1) если то

b +g �
�k 1 1 1 �
( t - C1 ) + ��� m +1 k - m +1 - k + 2 - k + 2 �( t - C1 ) ;
-1 k
y=-
bg k =0 �m=0 b g b g � (33)

b < t - C1 < g ,
2) если то

( t - C1 ) � � � bk ( t - C1 ) �
k -1

bk �
s
k
� �
k
�b �
y=� -� - 1 + ��
� + �
�, s = �� �;
k =0 ( t - C1 )
k +2
k =0 g k +1 g ( t - C1 ) � k =1 �
�( t - C1 )
k
gk �

� k =0 �g � (34)
� �

t - C1 > g ,
3) если то
k


b k + g k + �b mg k - m
3
y= +� m =0
. (35)
( t - C1 ) ( t - C1 )
2 k +2
k =1
7

Доказательство. 1) В первом случае заметим, что


t - C1 t - C1
< 1, < 1.
b g
Поэтому
( t - C1 )
k

1 1 1 1 1
=
t - C2 t - C1 - b
=- �
b t - C
=-
b
� bk
;
1- 1 k =0
b
(36)
1 � (t -C )
k
1 1
= = - � k1 .
t - C3 t - C1 - g g k =0 g

С учетом (36) в этом случае из (24) получим (33).


2) Во втором случае будем иметь:

b t - C1
< 1, < 1.
t - C1 g

Тогда
1 1 1 1 �
bk
= = � =� ;
t - C2 t - C1 - b t - C1 1 - b k = 0 ( t - C1 )
k +1

t - C1
(37)
1 � (t -C )
k
1 1
= = - � k1 .
t - C3 t - C1 - g g k =0 g

С учетом (37) в этом случае из (24) получим (34).


t - C1 > g ,
3) Если то

b g
< 1, < 1.
t - C1 t - C1

Тогда
1 �
bk 1 �
gk
=� ; =� .
t - C2 k = 0 ( t - C1 ) k +1
t - C3 k = 0 ( t - C1 ) k +1 (38)

С учетом (38) в этом случае из (24) получим (35).


Теорема 2 доказана.
1 1
Замечание 1. Разложению (33) отвечает набор ( 1, a ; -1, 0,1) , где a = - - ; разложению (34) отвечает
b g
( 2,1; - 1, - 2,1) ; ( 2,3; - 1, - 2, - 3) .
набор разложению (35) отвечает набор

Замечание 2. Решение (24) можно представить в виде

3 ( t - b1 )
y= ,
( t - b1 ) + b2 ( t - C1 ) + b3
3

где
8

3b1 = C1 + C2 + C3 , b2 = C1C2 + C2C3 + C3C1 - 3b12 , b3 = -C1C2C3 + b13 + b1b2 .

bk r = -k , k = 1, 2,3.
В этом случае произвольные постоянные отвечают резонансам

Заключение. Получены три нелинейные дифференциальные уравнения третьего порядка (18) – (20),
общие решения которых мероморфны. Уравнение (18) имеет рациональное общее решение, а два других
имеют двухпараметрические рациональные решения. Показано, что различная резонансная структура
уравнения (18) отвечает различным представлениям решения (24) этого уравнения в виде рядов Лорана в
различных областях плоскости комплексного переменного.

СПИСОК ЛИТЕРАТУРЫ

1. Ванькова, Т. Н. Аналитические свойства решений некоторых классов дифференциальных уравнений третьего и


высших порядков: дис. ... канд. физ.-мат. наук: 01.01.02 / Т. Н. Ванькова. –Гродно, 2013. – 105 с.
2. Carton–Lebrun C. Simplifiées de Painlevé dont les solutions sont à points critiques isolés fixes / С. Carton–Lebrun //
Bull. de Sci roy. Belg. –1969. –Vol. 55, № 10. –P. 883–915.
3. Мартынов, И. П. Аналитические свойства решений одного дифференциального уравнения третьего порядка / И.
П. Мартынов // Дифференц. уравнения. –1985. –T. 21, № 5. –С. 764–771.
4. Мартынов, И. П. О дифференциальных уравнениях с подвижными критическими особыми точками / И. П.
Мартынов // Дифференц. уравнения. –1973. –T. 9, № 10. –С. 1780–1791.
5. Ablowitz, M. J. A connection between nonlinear evolution equations and ordinary differential equation of P-type. I / M.J.
Ablowitz, A. Ramani, H. Segur // J. Math. Phys. –1980. –Vol. 21, № 4. –P. 715–721.
6. Ванькова, Т. Н. О некоторых аналитических свойствах решений алгебраических дифференциальных уравнений/
Т.Н. Ванькова [и др.] // Веснік Гродзенскага дзяржаўнага ўніверсітэта імя Янкі Купалы. Серыя 2. Матэматыка. Фізіка.
Інфарматыка, вылічальная тэхніка і ўпраўление. Біялогія. – 2008. – № 1 (64). – С. 8 – 16.
7. Bureau, F. J. Differential equations with fixed critical points / F. J. Bureau // Annals of Mathematics. – 1964. – Vol. 64. –
P. 229–364.
8. Колесникова, Н. С. Об одном классе дифференциальных уравнений третьего порядка с неподвижными
критическими точками / Н. С. Колесникова, Н. А. Лукашевич // Дифференц. уравнения. –1972. –T. 8, № 11. –С. 2082–
2086.
9. Цегельник, В. В. Некоторые аналитические свойства и приложения решений уравнений Пенлеве-типа / В. В.
Цегельник. – Минск : Изд. центр БГУ, 2007. – 224 с.
10. Андреева, Т. К. О применении рядов Лорана для представления решений дифференциальных уравнений / Т. К.
Андреева, И. П. Мартынов, В. А. Пронько // Научные исследования преподавателей факультета математики и
информатики: сборник научных статей / Учреждение образования “Гродненский гос. ун-т им. Я.Купалы”; отв. ред. И.П.
Мартынов; ред.кол.: М.Н. Гончарова, Ю.М. Вувуникян, А.А. Гринь, В.К. Бойко. –Гродно : ГрГУ, 2010. –С. 37–40.

The rational solutions of a class third-order differential equations


Zhang Binbin1, I.P. Martynov2, V.A. Pronko3
1
Yanka Kupala State University of Grogno (Belarus)
Ozheshko St., 22, 230023, Grogno, Belarus; email: binbinzhanghkj@163.com
9

2
Yanka Kupala State University of Grogno (Belarus)
Ozheshko St., 22, 230023, Grogno, Belarus; email: martynov@grsu.by
3
Yanka Kupala State University of Grogno (Belarus)
Ozheshko St., 22, 230023, Grogno, Belarus; email: v.a.pronko@gmail.com

Abstract. The study is devoted to the analytical theory of ordinary differential equations. In the paper, the class of autonomous

third-order differential equations is considered. It is formulated the aim of the research – to study the analytical properties of this

class of third-order differential equations, as well as to construct rational solutions of three non-linear third-order differential

equations, whose general solutions are meromorphic. Nonlinear differential equations of n-th order can be divided into the

following three classes: equations having positive resonances; equations having both positive and negative nontrivial resonances;

and equations that only have negative resonances.The analytical properties of higher orders equations of which have only

negative resonances can be interesting. For example, general solutions to such equations can be rational functions; solutions to

such equations maybe have non-isolated singular points, and so on. In the main part, the problems arises as how to use negative

resonances to obtain information about the analytic properties of solutions of differential equations and, in particular, to construct
two-parameter rational solutions. In this paper, it is shown that general solutions of the discussing equations are not meromorphic

for n �1 . Under the condition n = 1, three nonlinear third-order differential equations are obtained, whose general solutions are

meromorphic. One of them has a rational general solution, and the other two have two-parameter rational solutions. It is also

shown that the different resonant structure of the equation, which has rational general solution, corresponds to different

representations of Laurent series in various regions of the complex plane. In conclusion, the results obtained in the main part are

listed that can be applied in the analytical theory of ordinary differential equations.

Keywords: differential equation, resonances, resonant structure, Laurent series, two-parameter rational solution, general solution.

References

1. Vankova, T. N. Analytical properties of solutions of certain classes of differential equations of the third and higher orders
[Analiticheskie svoistva reshenii nekotorykh klassov differentsial'nykh uravnenii tret'ego i vysshikh poriadkov]. PhD thesis,
Phys.-Math. Sciences: 01.01.02. Grodno, 2013, 105 p.
2. Carton–Lebrun C. Simplified solutions of Painlevé with fixed isolated critical points [Simplifiées de Painlevé dont les
solutions sont à points critiques isolés fixes]. Bull. de Sci roy. Belg., 1969. vol. 55, No. 10, pp. 883-915.
3. Martynov, I. P. Analytic properties of solutions of a third-order differential equation [Analiticheskie svoistva reshenii
odnogo differentsial'nogo uravneniia tret'ego poriadka]. Differential equations, 1985, vol. 21, No. 5, pp.764-771.
4. Martynov, I. P. On differential equations with movable critical singular points [O differentsial'nykh uravneniiakh s
podvizhnymi kriticheskimi osobymi tochkami]. Differential equations, 1973, vol. 9, No. 10, pp. 1780-1791.
5. Ablowitz, M. J., Ramani, A., Segur, H. A connection between nonlinear evolution equations and ordinary differential
equation of P-type I. J. Math. Phys., 1980, vol. 21, No. 4, pp. 715-721.
6. Vankova, T. N., [et al.]. On some analytic properties of solutions of algebraic differential equations [O nekotorykh
analiticheskikh svoistvakh reshenii algebraicheskikh differentsial'nykh uravnenii]. Vesnik of Yanka Kupala State University of
Grodno. Series 2. Mathematics, Physics, Informatics, Computer Technology and its Control. Biology, 2008, No. 1(64), pp. 8-16.
7. Bureau, F. J. Differential equations with fixed critical points. Annals of Mathematics, 1964, vol. 64, pp. 229-364.
8. Kolesnikova, N. S., Lukashevich, N. A. On a class of third-order differential equations with fixed critical points [Ob
10

odnom klasse differentsial'nykh uravnenii tret'ego poriadka s nepodvizhnymi kriticheskimi tochkami]. Differential equations,
1972, vol. 8, No. 11, pp. 2082-2086.
9. Tsegelnik, V. V. Some analytic properties and applications of solutions of Painlevé-type equations [Nekotorye
analiticheskie svoistva i prilozheniia reshenii uravnenii Penleve-tipa]. Minsk, 2007, 224 p.
10. .Andreeva, T. K., Martynov, I. P., Pronko, I. P. On the application of Laurent series for representing solutions of
differential equations[O primenenii riadov Lorana dlia predstavleniia reshenii differentsial'nykh uravnenii ]. Scientific research
of teachers of the faculty of mathematics and computer science: collection of scientific articles, institution education “Yanka
Kupala State University of Grodno State”, open ed. I.P. Martynov. -Grodno: GrSU, 2010, pp. 37–40.