К теории переопределенных систем дифференциальных уравнений в частных производных второго порядка с одной слабой сингулярной и двумя сверхсингулярными линиями

Бесплатный доступ

Исследована переопределенная система дифференциальных уравнений в частных производных второго порядка с одной слабой сингулярной и двумя сверхсингулярными линиями. Найдено условие совместности для переопределенных систем дифференциальных уравнений в частных производных второго порядка с одной слабой сингулярной и двумя сверхсингулярными линиями. При выполнении условия совместности найдены интегральные представления многообразия решений в явном виде через три произвольных постоянных, для которой можно поставить задачи с начальными данными (задачи типа Коши).

Дифференциальные уравнения, системы дифференциальных уравнений, частные производные, переопределенная, сингулярные, сверхсингулярные, линия

Короткий адрес: 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)

  • - g3 (0,0) щ ( x , т )) d T + ^ j ( x ).

Значение ^ ( x ) подставляя в (17) получаем

W ( x, y ) = exp ( щ ( x, y ) + + g з (0,0) щ ( x , y » •

г / \ У f a ( x , т )     /    ,    3     (19)

  • [ ^ i ( x ) + L        ex p( щ ( x , T )

00 ( x - T ) Y

  • - g 3(0,0) ® 1 Y ( x , т )) d T ].

Пусть 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 β

  • exp( - ® 2 ( t ,0) + g 2 (0,0) щ в ( t ,0) dt ],

где        щ ( x ,0) = j g ( t ,0) - g 2( 0,0) dt ,

0           t e

Щ ( x ,0) =--- Ц-,

  • 2         ( в - 1) x e - 1

c – произвольная постоянная.

Пусть функция g 2 ( x ,0) удовлетворяет

условию

  • g 2 ( x ,0) - g 2 (0,0) ^ H 2 x Y з,        (25)

H2 = const 0, y в - 1,

и функция f2 ( x ,0) в окрестности точек x = 0 обращается в нуль, и ее поведение определяется следующей асимптотической формулой:

  • f , ( x ,0) = o [ x Y 4 ], y 2 a + в - 1,      (26)

и g 2 (0,0) 0 .

Тогда, подставляя (24) в (19) и учитывая y

  • u ( x , y ) = J W ( x , т ) d r + ^ 2 ( x ) ,        (27)

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.
Статья научная