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

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

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

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

Короткий адрес: https://sciup.org/147246578

IDR: 147246578   |   УДК: 517.956   |   DOI: 10.17072/1993-0550-2020-4-24-28

Integral representation of solution manifolds for over determined systems with one weak singular and two super singular lines

In this paper, a over determined system of second-order partial differential equations with one weak singular and two super singular line is investigated. A compatibility condition is found for over determined systems of second-order partial differential equations with one weak singular and two super singular line. Under the condition of compatibility, introducing a new function, we come to a over determined system of partial differential equations of the second order with one weak singular and two super singular line of a simpler form. The integral representation of the manifold of solutions of the redefined second-order partial differential system with one weak singular and two super singular line is found explicitly through three arbitrary constants, for which initial data problems( Cauchy type problems) can be posed.

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

Через 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.