Академический Документы
Профессиональный Документы
Культура Документы
925
Чжан Биньбинь, И. П. Мартынов, В. А. Пронько
них имеет рациональное общее решение, а два других имеют двухпараметрические рациональные решения.
Показано также, что различная резонансная структура уравнения, имеющегося рациональное общее
решение, отвечает различным представлениям решения этого уравнения в виде рядов Лорана в различных
областях плоскости комплексного переменного. В заключении перечислены полученные в основной части
результаты, которые могут быть применены в аналитической теории обыкновенных дифференциальных
уравнений.
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
Доказательство. Пусть 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 )
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)
Лемма 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) удовлетворят только такие пары целых чисел и
Первую и последнюю пары можно не рассматривать, так как масштабным преобразованием переменной у
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), найдем и коэффициенты Запишем соответствующие уравнения и наборы
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)
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. а) Общее решение уравнения (18) является рациональной функцией. б) Уравнения (19) и (20)
имеют двухпараметрические рациональные решения
1
y= .
( t - C1 ) ( t - C2 ) (27)
Справедливость утверждения а) следует из (24), а утверждения б) из того, что все решения уравнения
y�2
y�
�=2 - 2 y2
y (28)
C1 , C2
Уравнение (28) имеет общее решение (27), – произвольные постоянные.
Лемма 4. Соотношения
y�
� y2
2 y = u�
+ u 2 , 2u = - -2
y� y� (29)
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)
Теорема 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
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
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)
3 ( t - b1 )
y= ,
( t - b1 ) + b2 ( t - C1 ) + b3
3
где
8
bk r = -k , k = 1, 2,3.
В этом случае произвольные постоянные отвечают резонансам
Заключение. Получены три нелинейные дифференциальные уравнения третьего порядка (18) – (20),
общие решения которых мероморфны. Уравнение (18) имеет рациональное общее решение, а два других
имеют двухпараметрические рациональные решения. Показано, что различная резонансная структура
уравнения (18) отвечает различным представлениям решения (24) этого уравнения в виде рядов Лорана в
различных областях плоскости комплексного переменного.
СПИСОК ЛИТЕРАТУРЫ
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.