К теории переопределенных систем дифференциальных уравнений в частных производных второго порядка с одной слабой сингулярной и двумя сверхсингулярными линиями
Автор: Шоймкулов Б.М.
Журнал: Вестник Пермского университета. Математика. Механика. Информатика @vestnik-psu-mmi
Рубрика: Математика
Статья в выпуске: 4 (51), 2020 года.
Бесплатный доступ
Исследована переопределенная система дифференциальных уравнений в частных производных второго порядка с одной слабой сингулярной и двумя сверхсингулярными линиями. Найдено условие совместности для переопределенных систем дифференциальных уравнений в частных производных второго порядка с одной слабой сингулярной и двумя сверхсингулярными линиями. При выполнении условия совместности найдены интегральные представления многообразия решений в явном виде через три произвольных постоянных, для которой можно поставить задачи с начальными данными (задачи типа Коши).
Дифференциальные уравнения, системы дифференциальных уравнений, частные производные, переопределенная, сингулярные, сверхсингулярные, линия
Короткий адрес: https://sciup.org/147246578
IDR: 147246578 | DOI: 10.17072/1993-0550-2020-4-24-28
Текст научной статьи К теории переопределенных систем дифференциальных уравнений в частных производных второго порядка с одной слабой сингулярной и двумя сверхсингулярными линиями
Через D обозначим треугольную область, ограниченную отрезками
Г j = {0 < x < а о , y = 0},
Г2 = {0 < x < а 0, y = x}, Г = { x = а 0,0 < y < а 0}.
В области D рассмотрим переопределенную систему дифференциальных уравнений d2 v = a j( x, y) dv ! b( x, y) dv + dx2 (x - y) a dx (x - y) a dy c i( x, y) f.(x, y)
(x - y)a+1 (x - y)a+1 ’ d2 v _ a 2( x, y) dv b 2( x, y) dv (1)
йxdy (x - y)в dx (x - y)в dy c 2( x, y) „ f2(x, y)
(x - y)в+1 (x - y)в+1, d2 v _ a 3( x, y) dv b3( x, y) dv dy2 (x - y)Y dx (x - y)Y dy c з( x, y ) f;( x, y )
. (x - y)Y+1 (x - y)Y+1, где a = соnst < 1, в = ^nst > 1, Y = соnst > 1,
a j ( x , y ), c j ( x , y ) f j ( x , y )(1 < j < 3) - заданные функции класса C 1( D ) n C ( D ),
v ( x , y ) e C 2 ( D ) - неизвестная функция.
Пусть в системе (1) коэффициенты a j ( x , y ), c j ( x , y )(1 < J < 3) и правые части f ( x , y )(1 < j < 3) удовлетворяют условиям совместности:
aз(x,y),bз(x,y),cз(x,y), f,(x,y) e Cx(D), a2 (x,y),b2 (x, y),c2 (x,y), f 2 (x,y) e C1 (D), (2)
a1(x,y),b1(x, y),c1(x,y), f1(x, y) e Cy (D), d r a 2( x, y), a 2 (x, y) b 2 (x, y) c 2( x, y) = бx L(x - y)eJ (x - y)2в (x - y)в+1“ (3)
= _a a 1( x , y ) a з (x , y ) b 1( x , y )
dy L(x - y)aj (x - y)a+Y ’ jd. b2(x,y), + ajxybjxy) + dx L( x - y)eJ (x - y)a+в
+ bjxybtxy) = d_ b 1 (x , y ) + (4)
( x - y )2 в d y ( x - y ) a
(У^^уЬ^У) b 1 ( x , y ) b з( x , y ) c 1( x , y )
( x - y ) a + в ( x - y ) a + Y ( x - y ) a + 1,
d r c 2 ( x , У ) 1 ajxyctxy)
d x ( x - y ) e + 1 ( x - y ) “ + e + 1
b 2 ( x , У ) c 2 ( x , У ) = 5 c i ( x , У ) ,
(x - y)2■+1 дy L(x - y)“■ a1( x, y ) c 2(x, y ) b1(x, y ) c 3( x, y )
( x - y ) “ + e + 1 ( x - y ) “ + Y + 1 ’
А г f 2( x , y ) ]+ a 2( x , y ) f .( x , y ) + д x ( x - y ) e + 1 ( x - y ) “ + e + 1
bSxyfSxy) = А г f ( x ’ у ) i+
( x - y )2 ■ + 1 д у L( x - y) a +1J
+ a 1 ( x , y ) f , ( x , y ) b 1( x , y ) f ,( x , y )
(x - y ) a+e+1 (x - y ) a+Y+1 ’ д . a з( x, y), + a1( x, y) a 3( x, y) + дx LCx - y)Y j (x - y)a+Y
д 2 u = g 1( x ’ У ) д u + f X x ’ y )
д x2 ( x - у ) “ д у ( x - у ) “ ’
. д 2 u = g 2( x ’ У ) д u , f 2( x ’ У ) (11)
дx ду (x - у)в ду (x - у)в ’ д2 u g з( x ’ у) д u fз( x ’ y)
д У2 ( x - У ) Y д У ( x - У ) Y ■
Применяя операции перекрестного дифференцирования, для системы (11) находим условия совместности в следующем
виде:
a 2( x ’ У ) b 3( x ’ У ) c 3( x ’ У ) =
( x - y ) e + Y ( x - y ) Y + 1
= д a 2 ( x , y ) , a 2 ( x , y ) a 2 ( x , y ) д y ( x - y ) e ( x - y ) 2 e
a з ( x , y ) b 2 ( x , y )
(x - У ) в+Y ’ д . b з( x ’ y) + a з( x ’ y) b1( x ’ y)
д x L( x - y ) Y^ ( x - y ) a + +
= _д_ r b 2( x ’ У) , a 2( x ’ У ) b 2( x ’ У ) ду L(x -y)ej (x - y)2e c 2(x ’ У )
(x - y) e+1’ д_ r c з( x ’ У ) , + a з( x ’ У ) c1(x ’ У ) + дx L( x - y)Y+1J (x - y)a+Y+1
b3(x’ У)c2(x’ У) = 2r c2(x, У) , (x - y)e+Y+1 дy L( x - y)e+1J a 2( x, y) c 2( x, y) b 2( x ’ y) c з( x ’ y)
(x - y )2 e+1 (x - y)e+Y+1 ’ д r f;(x ’ У ) 1 a 3(x ’ У ) fXx ’ У)
д x L( x - y ) Y +1J ( x - y ) “ + Y + 1
b 3( x ’ У ) f 2( x ’ У ) = д r f 2( x ’ У ) 1 + ( x - y ) + Y + 1 д У ( x - У ) + 1
a 2( x ’ У ) f 2( x ’ У ) b 2( x ’ У ) f 3( x ’ У )
( x - y ) 2 e + 1 ( x - y ) e + Y + 1 ■
Тогда, вводя новую функцию v (x, y) = (x - y )-1 u и используя равенства g 1 (x, y) = b1 (x, y), g2 (x’ y) = b2 (x’ y) + (x - y)e-1 ’ g3 (x ’ y) = b (x ’ y) - 2(x - y)Y-1 из системы (1) по-
лучим систему дифференциальных уравнений в частных производных второго порядка вида
А Г g 2( x ’ У ) 1 + g 2( x ’ У ) g 2( x ’ У ) = д x ( x - y ) в ( x - у )2 в
= А г g 1( x ’ У) 1 + g 1( x ’ У ) g 3( x ’ У ) ду L(x - У)“j (x - У)а+Y ’ д г f>( x ’ У ) g 2( x ’ У ) f>(x ’ У ) = дx (x - y)в (x - у)2в
= _д_ Г f . ( x ’ У ) 1 + g 1( x ’ У ) f з ( x ’ У ) д у ( x - У) а ( x - У) а + Y ’
_д_ г g з( x ’ у ) л = _д_ г g 2( x ’ у ) 1 д x ( x - y ) Y д у ( x - у ) в ’
2 г f C xy . л + g з ( x ’ у ) f ; ( x ’ у ) = д x ( x - y ) Y ( x - y ) в +7
= д г f > ( x ’ У ) , + g 2 ( x ’ У ) f з ( x ’ У ) д У L( x - У ) в ( x - У ) в + Y
Если будем использовать функцию
W ( x , у ) = —, тогда из двух последних урав-д У
нений системы (11) получим дW _ g2(x’у) w .fx’yjO дx (х - У) : (х - У): ’ (16)
д W _ g з ( x ’ У ) w + fxyy) _ д У ( x - У ) Y ( x - y ) Y
Интегрирование начнем со второго уравнения системы (16). В этом случае соответствующее однородное уравнение второй системы (16) запишем в виде д ln W _ g з (x, y)
■ дУ (x - y)Y
После интегрирования получим
W ( x ’ y ) = exp( v ( x ’ y ) + g з (0’0) V ( x , y )) ^ ( x ), ( 17)
где v (x, y) = Ууg з( x ’T) gз(0,0) dt, i (x - T)Y ’
V ( x ’ y ) =--------------г ’
( Y - 1)( x - y ) Y -1’
^( x) - произвольно дифференцируемая функция.
Дифференцируя равенство (17), после подставляя во второй уравнений системы (16), для нахождения произвольной функции ^ ( x ) имеем: |
^ 1 ( x ) = exp( ® 2 ( x ,0) - g 2 (0,0) щв ( x ,0) - - g з (0,0)< ( x ,0))[ c 1 + f f ^0) • (24) β 0 t |
^ '( x ) = f 3 ( y 'exp( ® j ( x , y ) g 3(0,0 И ( x , y )) . ( x - У ) Y Интегрируя, находим yy f ( x , т ) ^ ( x ) = J (x_ ту ех^( ^ ( x , т ) (18)
Значение ^ ( x ) подставляя в (17) получаем W ( x, y ) = exp ( щ ( x, y ) + + g з (0,0) щ ( x , y » • г / \ У f a ( x , т ) / , 3 (19)
00 ( x - T ) Y
Пусть g 3(0,0) < 0 и функция g 3( x , y ) удовлетворяет условию типа Гельдера g з ( x , y ) - g з (0,0) ^ H i ( x ~ y ) Y 1, (20) H = const > 0, y > Y - 1, и функция f ( x , y ) обращается в нуль с асимптотической формулой f з ( x , у ) = o [( x - y ) Y 2 ] , Y 2 > Y - 1 . (21) Далее, от функции W ( x , y ) потребуем, чтобы она удовлетворяла первому уравнению системы (16), отсюда находим условие d , , g 2( x , У ) _ д Щ ( x , У ) g з(0, °) ) . d y ( x - y ) в d x ( x - y ) Y У f ( x , т ) • [ ^ i( x ) + L ex p ( ® i ( x , T ) 0 ( x - T )7 g з (0,0) ® 1 7 ( x , т )) d T ) + 2 • x - y • exp( - ® 1 ( x , y ) - g з ', 0 ■■ ( x , y ))} = = я f 3 ( , У х'exp ( ® 1 ( x , У ) (22) d x ( x - y ) 7 - g з (0,°) №7 ( x , y ))] . Учитывая (22) из первого уравнения системы (16) получим обыкновенное дифференциальное уравнение первого порядка с двумя сверхсингулярными линиями вида dvAy = ( g^x -O) + g W) . ( x ) + dx x β x γ (23) „ eX P ( g з (0,0)< ( x ,0)) . x β |
где щ ( x ,0) = j g ‘ ( t ,0) - g 2( 0,0) dt , 0 t e Щ ( x ,0) =--- Ц-,
c – произвольная постоянная. Пусть функция g 2 ( x ,0) удовлетворяет условию
H2 = const > 0, y > в - 1, и функция f2 ( x ,0) в окрестности точек x = 0 обращается в нуль, и ее поведение определяется следующей асимптотической формулой:
и g 2 (0,0) > 0 . Тогда, подставляя (24) в (19) и учитывая y
0 из первой уравнений системы (11) получим условие 122 [ W ( x , y )] = | [ g ^ xy O W W ( x , y ) + d x d У ( x - У ) (28) , f .( x , У ) ! ( x - y)a L Используя условие (28) для нахождения произвольной функции ^ 2 ( x ) получим дифференциальное уравнение вида d ‘^ 2( x > = g( е„( щ ( x ,0) - dx2 x a ‘ g 2(0,0) щ 2 в ( x ,0))[ c 1 +J ‘ • (29) β 0 t • exp ( - щ ( t ,0) + g2 (0,0) Щ ( t ,0)) dt ] + + f , ( x ,0) 1 . x α Дважды интегрируя (29) по переменной x , произвольную функцию уу, ( x ) находим в виде ^ ( x ) = c 'r l x z t toWs fe^ t + J t a exp( g 2 (0,0) щв ( t ,0)) J g 1 ( t ,0) f ‘ ( t ,0) exp ( Щ ( x ,0) - g 2 (0,0) щв ( x ,0))^ (30) J ‘ t a + в ( x - 1 ) - ‘ expim t ,0) - g ‘ (0,0) Щ ( t ,0)) x ( x - 1 ) f 1 ( t ,0) , + J------------- dt + c2x + c 3. |
Общее решение уравнение (23) имеет вид |
0 t |
Подставляя значение (//2 ( x ) из (30) в (27) учитывая (19), будем иметь
и
и ( x , у ) = y f ( x , s )<xp(-m,( x , s >)
0 ( x - s ) Y exp( g 3 (0,0) < ( x , s ))
• W j Y ( x , s ) ds + c [exp( ® 2 ( x ,0) -
- g 2 (0,0) ® f ( x ,0) - g з (0,0)< ( x ,0)) •
y
• J exp( ^ ( x , т ) + g 3 (0,0) ® f ( x , т )) d т +
+ x (x - t ) g i ( t ,0)exp( « 2 (^ +
0 ta exp( g 2 (0,0) ® 2 в ( t ,0))
+ J k ( x , у , t ) f 2 ( t ,0) dt +
+ J ( x - t ) f , ( t ,0) dt + α
0 t
+ c2x + c 3.
⋅
где
y
W Y ( x , s ) = J exp ( ^ ( x , s ) + g 3 (0,0) a Y ( x , s )) ds ,
s
1 У
K ( x , у , t ) = [—J exp ( a ( x , т ) + g 3 (0,0)( ®Y ( x , т ) - t " 0
-
- < ( x ,0)) d т + ( x t ) gt ,0) ] exp ( ® 2 ( x ,0) -
-
- ® 2 ( t ,0) - g 2 (0,0)( ® 2 e ( x ,0) - ^ ( t ,0))),
-
C , c 2, c3 - произвольные постоянные .
Таким образом, доказано:
Теорема 1. Пусть в системе (11) a < 1, в > 1, Y > 1, функции gу (x, у), f (x, у) (1 < j < 3) удовлетворяют условиям (12), (13), (14), (15), (20), (21), (22), (25), (26), (28) и g3(0,0)<0, g2(0,0) > 0 в области D . Тогда любое решение системы (11) из класса C2 (D) представимо в виде (31).
Замечание 1 . Решение вида (31) в окрестности у = x , при выполнении всех условий теоремы 1 непрерывно.
Теорема 2. Пусть в системе (1) a < 1, в > 1, Y > 1, функции aj (x, у), bj (x, у), с} (x, у), fj (x, у)(1 < j < 3) удовлетворяют условиям (2), (3), (4), (5), (6), (7), (8), (9), (10), и выполнены все условия теоремы 1. Тогда любое решение системы (1) из класса C 2(D) представимо в виде
v ( x , у ) = ( x - у ) - 1 и ( x , у ) , (32)
где функция и ( x , у ) имеет вид (31).
Замечание 2 . Решение вида (32) в окрестности y = x при выполнении всех условий теоремы 2 неограниченно.
Список литературы К теории переопределенных систем дифференциальных уравнений в частных производных второго порядка с одной слабой сингулярной и двумя сверхсингулярными линиями
- Wilczynski E.J. Projective Differential Geometry of Curves and Ruled Surfaces. Leipzig: B.G. Teubner, 1906. 324 p.
- Appel P. Fonctons hypergeometriges of hyperspheriges Polynomes d'Hermite / P. Appel, M.J. Kampe de Feriet. Paris: Gauthier-Villars, 1926.434 p.
- Архутик Г.М. Регулярная особая точка линейных уравнений в полных дифференциалах высших порядков // Изв. АН БССР. Сер. физ.-мат. наук. 1979. № 3. С. 46-54.
- Михайлов Л.Г. Некоторые переопределенные системы уравнений в частных производных с двумя неизвестными функциями. Душанбе: Дониш, 1986. 116 с.
- Begehr H. Transformations, transmutations and kernel functions / H. Begehr, R.P. Gilbert. Vol. 2. Harlow: Longman, 1993. 268 p.