• Ешқандай Нәтиже Табылған Жоқ

Требуется найти функцию G2m,n(x,y) следующей задачи Дирихле в области Ω =r {x: x <r}⊂Rn (n∈N r, >0), удовлетворяющую уравнению

N/A
N/A
Protected

Academic year: 2022

Share "Требуется найти функцию G2m,n(x,y) следующей задачи Дирихле в области Ω =r {x: x <r}⊂Rn (n∈N r, >0), удовлетворяющую уравнению"

Copied!
6
0
0

Толық мәтін

(1)

О ПРЕДСТАВЛЕНИИ ФУНКЦИИ ГРИНА ЗАДАЧИ ДИРИХЛЕ ДЛЯ ПОЛИГАРМОНИЧЕСКОГО УРАВНЕНИЯ

Б.Д. Кошанов

Институт математики, информатики и механики МОН РК, Алматы, Казахстан E-mail: [email protected]

Аннотация

В работе построен явный вид функции Грина задачи Дирихле для полигармонических уравне- ний в пространстве произвольной размерности в шаре.

Задача

G

. Требуется найти функцию G2m,n(x,y) следующей задачи Дирихле в области Ω =r

{

x: x <r

}

Rn (nN r, >0), удовлетворяющую уравнению

) ( ) ,

, (

2 x y x y

G mn

mx = −

∆ δ , (1) и краевым условиям

2 , ( , ) 0

r

i i m n

x x

G x y

n ∈∂Ω

∂ =

∂ , i=0,1,2,...,m−1. (2) Имеет место следующая

Теорема 1. а) В случае нечетного n, а также при четных n, если 2m<n, функ- ция Грина задачи Дирихле (1),(2) представима в виде

{

2 2 2

2 , ( , ) 2 , 2

m n m n

m n m n

y y

G с x y x y x r

r y

 

 

= − − − −

 

 

2 2

2 2 2

1

2 2 1

(2 )(2 2 )...(2 2 2 ) (1 ) (1 )

( 2) !

m k n m k

k k

k k

y y y x r

m nт n m k n x r

r y r r k

− −

=

− − − + − ⋅ ⋅ − , (3)

где 2 , 1

2

1 ( )2

( 1)!2 (2 )(2( 1) )...(2 ) 2

m n m m n

Г n c = m m n m− −n n π .

б) В случае когда n четное и 2mn функция Грина представима в виде

( ) ( ) ( ) ∑

( )

=

= 1

1 , 2 0

, 2 ,

2 ,

2 , , , ,

m

j j

n m n

m n

m n

m x y x y g x y g x y

G

ε

, (4)

где

y x y

с x y

x mn m n

n

m, ( , )= 2 ,2 ln −

ε

2 ,

 

  −

 

  −

=

x y

r y y

r x с y

y x g

n m n

m n

m

( , ) ln

2 ,

2 0

,

2 ,

 ×

 

 −

 

 

 −

 

  −

=

j

jr n j

j m n

m j

n

m

r

r x r

y y r x

с y y x

g

2

2 ) 2

( 2 ,

2 ,

2

( , ) 1 1

(2)

44

( )

 

  

  −

− +

− −

× x y

r n y

j m n

m n j m

j

ln ) ) 1 (

2 )...(

) 1 ( 2 )(

2

! ( 2

( ) ( ) ( ) ( ( ) )

1 , 1 2 ,

2 2

... 2 2 2

! 1 1 1

2

2

1

1

2

= −

 

 

 

 − − − − +

− + −

− ∑

=

m k j

j n m n

m k j k j

j

k

k j j

,

( )

2 1

2 , 2 1 2

1

( ) ( 1)2

2

n

m n n

m

c Г m Г m n π

= −

− +

Основной результат работы теоремы 1 докажем в случае а).

Известна следующая

Лемма 1. [3] В пространстве нечетной размерности и в пространстве четной размер- ности при

2 m < n

фундаментальное решение уравнения (1) задается формулой:

( )

mn m n

n

m, x y =с , xy 2

2 ,

ε

, (5)

где

( )

( ) ( ) ( ( ) ) ( ( ) ) ( )( )

2 2 2

, 2

2 2 )!

1 (

1 2

4 ...

2 2 1

2 2

1 2

1 2

n m n

m m

n m

n m

n n n

m n m

n m m

n m с

π π



 

 Γ

− ⋅

− ⋅

= − Γ



 

 − Γ

=

( ) .

Γ

- гамма функция.

Лемма 2. В случае нечетного

n

и в случае четного

n

при

2 m < n

для всех 1

0≤kmфункции

g

k2m,n

( x , y )

k k r k x r y n

k m

k k

n

m r r

y x y r с y y x

g 2 2 2

) ( 2 2 , 2

2 ( , ) ⋅(1− ) (1− )





 −

=

, (6)

где

( ) 2 ! ( 2 )( 2 ( 1 ) )...( 2 ( 1 ) )

1

,

2

m n m n m k n

k с

с

k k mn

− − − − + −

= −

, (

k = 1 ,..., m − 1

) яв-

ляются решениями однородного полигармонического уравнения:

0 ) ,

,

(

2

=

mx

g

kmn

x y

. (7)

Доказательство. Действительно, функцию gk2m,n(x,y) перепишем в следующем виде

)

, ( ) , ( )

,

(

02 2 , 2

,

2

x y g x y f x y

g

k mn m kn k

=

,

(3)

где

f

2k

( x , y )

-многочлен степени

2 k

от

x

при фиксированном

y

. Нам известно, что 02 2 ,

( , )

y x

g

m− k n удовлетворяет

02 2 ,

( , ) = 0 y x g

m k n k

m

x .

По теореме Альманзи [2] функция 02 2 ,

( , ) y x

g

m− k n представляется в виде:

) , ( )

,

(

2

1 0 ,

2 02

y x x

y x

g

j j

k m

j n

k

m

ψ

=

=

,

где

ψ

j

( x , y )

- гармонические функции, т.е. удовлетворяет уравнению

x

ψ

j

( x , y ) = 0

. Тогда для функции

g

k2m,n

( x , y )

справедливо представление

) ,

~ ( )

, ( ) , ( )

,

(

2

1 0 2

1 2 0 ,

2

x y x x y f x y x x y

g

j j

m

j k

j k j

m

j n

k m

∑ ψ ∑

ψ

=

=

=

=

,

где

ψ ~

j

( x , y )

- некоторые гармонические функции.

Следовательно, согласно теореме Альманзи [2] функция

g

k2m,n

( x , y )

для всех

1

0 ≤ km

удовлетворяет полигармоническому уравнению (7). Таким образом, лемма 2 доказана.

Введем обозначение:

2 2

2 2 2

2 2 2

) , ( ,

) ,

( x y X x

2

r Y x y Y

X y

x

y

y r

y

− = =

=

=

,

2 2 2

2 2

) , ( )

1 ( ) 1

( Z x y Z

r

ry

rx

= =

при

x , y ∈ Ω

r (8)

Очевидно, справедливо тождество

2 2

2

Y Z

X − = −

при любых

x , y ∈ Ω

r. (9)

Данное тождество следует из следующих цепочек равенств:

= +

− +

=

=

2

2 ( , )

2 2

(

2

2

( , ) 2 | | 4

)

2 2 2

2 2 2

4 2 2

2

r x x y y x r r

x y

x Y

X

y

y y

y x r

y y

y r

y

= +

=

− +

− +

=

2 2 2

2 2 2 2

2 2 2 2

2

2 ( , ) 2 ( , ) r y

r y x x

r y r x

y y x

y x x

2 2

2 2

2 2

2 2 2

2 2

2 2

2 2

2

( 1 ) ( 1 ) ( 1 )( ) ( 1 )( 1 ) Z

r y r

r x r

r x y r

r y r

xy − − = − − = − − − = −

=

.

Так как 2

1

2

Y

Z

при xy, то в пространстве нечетной размерности и в пространстве четной размерности при 2m<n фундаментальное решение уравнения (1) разлагаем в

(4)

46

( )   =

 

 −

=

=

2

2

2 2 2

, 2 2

, 2 ,

2

, 1

n m n

m n m n m n m n

m

Y

Y Z с с X

y ε x

( )( ) ( ) ( )( )

+



  +

 

− 

− + −

− − +

= ...

2 2 2

2 2

! 2

1 2

1 2 1

2 2 2 2

2 2 2

,

2 Y

Z n

m n m Y

Z n Y m

с mn m n

( ( ) ) ( ) +

 

 

 

 − − + +

− + −

1

2 1 2

1 2 1

... 2 2 2

! 1

1

m m

Y m Z

n m n

m m

( ) ( )

+

 



 

 − − +

− + −

m m

Y m Z

n m n

m

m 2

2

2 1 ... 2 2 2

! 1

( ( ) ) ( )



 + 



 



 

 − −



 

 − − +

− +

+ −

+ +

..

...

2 1 2

2 ... 2 2 2

! 1

1 1

2

1 2 m

m

Y m Z n m m

n m n

m

m .

Поскольку функции

k k r k x r y n

k m

k k

n

m

r r

y x y r с y y x

g

2 2 2

) ( 2 2 , 2

2

( , ) ⋅ ( 1 − ) ( 1 − )

 

 

 −

=

,

где

( ) 2 ! ( 2 )( 2 ( 1 ) )...( 2 ( 1 ) ) 1

,

2

m n m n m k n

k с

с

k k mn

− − − − + −

= −

, (

k = 1 ,..., m − 1

)

являются решениями однородного полигармонического уравнения (7):

0 ) ,

,

(

2

=

mx

g

jmn

x y

, то функция Грина имеет вид:

( )





 −

=

n m

n m n m n

m n

m r

y x y r с y

y с x

y x G

2 2 , 2

2 2

, 2 ,

2 ,

=

 ⋅

 

 −

= r j j

j x r y n

j m m

j

j

r r

y x y r

с y

2 2 2

) ( 2 2 2 1

1

) 1

( ) 1

(

( ) ( ) ( ( ) ) ( ( ) )

(m k) n

m k

k k

n

m

r

y x y r y n k

m n

m n m с k

=

 

 

 −

− +

= ∑ −

2 2 , 2

2

2

1 2

...

1 2

2

!

1

(5)

k k r k x r

y 2) (1 2) r2 1

( − − . (10)

На основании равенства (10) для функции Грина выполняются краевые условия (2):

( ) , 0 , 0 , 1 , ..., 1

,

2

= = −

=

m i

y x

n

xi

G

mn x r

i

.

Утверждения лемм 2 и 3 дают доказательство теоремы 1.

Согласно теореме 1 функция Грина Задачи Дирихле (1)-(2) в случае нечетной размерности пространства и в случае четной размерности пространства при

2 m < n

представляется по формуле

( ) −

 

 

 −

=

n m

n m n m n

m n

m

r

y x y r d y

y x d y x G

2 2 2 ,

2 2

, 2 ,

2

,

=

 ⋅

 

 −

= ry j rx j j

n j m m

j

j

r r

y x y r

d y

2 2 2

) ( 2 2 2 1

1

) 1 ( ) 1 (

( ) ( ) ( ( ) ) ( ( ) )

(m k) n

m

k k

k n

m

r

y x y r y n k

m n

m n m d k

=

 

 

 −

− +

= ∑ −

2 2 2 ,

2

2

1 2

...

1 2 2

! 1

k k r k x r

y2) (1 2) r2 1

( − − . (11)

Из (11) следует

 ×

 

− 

= − m−n

m m

m n

m n

m Y

Y Z n n

m n m d m

y x

G 2 2

2 ,

2 ,

2 2

) 2 )...(

) 1 ( 2 )(

2 (

! ) 1 ) (

, (

( ) ( )

=





 +

 

 +

+



 

− −



 

−

+

 





+



 

−

− +

× ...

) 2 )(

1 (

2 1 1 2

1 1 2 1

2

2 2 2

2 2

Y Z m

m

n n Y

Z m

n

( ) ( ) ( ( ) ) ( )

=











 

 +

+



 

 + −



 

 +

− +

= −

=1 2

2 2

,

2 ( 1)...( )

2 1 ...

2 1 1 2

2

2 ...

1 2 2

! 1

i

i n

m m

m n

m Y

Z i

m m

n i n

n Y

Z n n

m n m d m

=

( )

( )

n

m n m m

Y Z m

m

n

2

2 2

2

!

! 1 1 2

π

 

 

 Γ 

 

 

 

 

 

 

 +

+

 

 

 + −

 

 

  + + ∑

=1 2

2

) )...(

1 (

2 1 ...

2 1 1 2

i

i

Y Z i

m m

n i n

n

. (12)

(6)

48Таким образом, на основании формулы (12) верна следующая

Теорема 2. Функция Грина Задачи Дирихле (1)-( 2) в случае нечетной размерности пространства и в случае четной размерности пространства при 2m<n положительно определена при четном

m

и отрицательно определена при нечетном

m

(

m

- показа- тель степени оператора Лапласа полигармонического уравнения).

Замечания.

Явное представление функции Грина задачи Неймана для неоднородного поли- гармонического уравнения в комплексной плоскости имеются в работе [4]. Методика настоящей работы позволяет строить функцию Грина для полигармонических урав- нений не только для шара, но для полуплоскости и других канонических областях [5].

Отметим, что отдельные результаты работы могут быть обобщены на эллиптические уравнения с постоянными коэффициентами.

ЛИТЕРАТУРА

1. Берс Л., Джон Ф., Шехтер М. Уравнения с частыми производными. М.: Мир, 1966.

2. Соболев С. Л. Введение в теорию кубатурных формул. М.: Наука, 1974.

3. Бицадзе А.В. Уравнения математической физики. М.: Наука, 1985.

4. Begehr H., Vanegas C.J., Iterated Neumann problem for the higher order Poisson equation. Math. Nachr. 279 (2006), p.38-57.

5. Кальменов Т.Ш., Кошанов Б.Д., Искакова У.А. Структура спектра краевых задач для дифференциальных уравнений, Препринт, Алматы, 2005, 54с.

6. Kalmenov T.Sh., Koshanov B.D., M.Y. Nemchenko Green function representation for the Dirichlet problem of the polyharmonic equation in a sphere. Complex variables and Elliptic equations, volume 53 number 2, February 2008

Ақпарат көздері

СӘЙКЕС КЕЛЕТІН ҚҰЖАТТАР

Об одной краевой задаче для уравнения Пуассона с граничным оператором дробного порядка в смысле Адамара-Маршо.

Бұл жұмыста бiртектi емес бигармония- лық теңдеу үшiн кейбiр шеттiк есептердiң шешiмдiлiгi

Мы будем использовать символ Σ − n 1 для обозначения класса уровня n семейства мно- жеств Иерархии Ершова, тогда, как обычно Σ 0 n обозначается

Теорема 2 Необходимым и достаточным условием существования непрерывного ре- шения неоднородной сопряженной задачи Трикоми для любой правой части

Как доказано далее, задачи Дирихле некорректна не только для волнового уравнения, но и для общих гиперболических уравнений.. В работах автора изучены

Если справедливы условия I и II, то фундаментальная система решений уравнения (3) на отрезке [0,1] существует и выражается формулами [2]:...

In work is defined a class of linear systems of differential equations with final exponents of the first and second orders which are wider, than a class of quite regular linear systems

Сонымен, ароматты және алифатты нитрилдерді гидрлеуде пәрменділікті арттыру үшін және ең жоғары шығыммен мақсатты өнім – біріншілік аминдерді алу