О ПРЕДСТАВЛЕНИИ ФУНКЦИИ ГРИНА ЗАДАЧИ ДИРИХЛЕ ДЛЯ ПОЛИГАРМОНИЧЕСКОГО УРАВНЕНИЯ
Б.Д. Кошанов
Институт математики, информатики и механики МОН РК, Алматы, Казахстан E-mail: [email protected]
Аннотация
В работе построен явный вид функции Грина задачи Дирихле для полигармонических уравне- ний в пространстве произвольной размерности в шаре.
Задача
G
. Требуется найти функцию G2m,n(x,y) следующей задачи Дирихле в области Ω =r{
x: x <r}
⊂Rn (n∈N 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 22 , ( , ) 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 четное и 2m≥n функция Грина представима в виде
( ) ( ) ( ) ∑
−( )
=
−
−
= 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
22 ) 2
( 2 ,
2 ,
2
( , ) 1 1
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
11
2
= −
− − − − +
− + −
− ∑
−=
−
m k j
j n m n
m k j k j
j
k
k j j
,
( )
2 12 , 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 nn
m, x y =с , x− y 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
для всех 10≤k ≤m− функции
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
=
∆
mxg
kmnx y
. (7)Доказательство. Действительно, функцию gk2m,n(x,y) перепишем в следующем виде
)
, ( ) , ( )
,
(
02 2 , 2,
2
x y g x y f x y
g
k mn m kn k=
− ,где
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 km
x .
По теореме Альманзи [2] функция 02 2 ,
( , ) y x
g
m− k n представляется в виде:) , ( )
,
(
21 0 ,
2 02
y x x
y x
g
j jk m
j n
k
m
∑
− −ψ
=
−
=
,где
ψ
j( x , y )
- гармонические функции, т.е. удовлетворяет уравнению∆
xψ
j( x , y ) = 0
. Тогда для функцииg
k2m,n( x , y )
справедливо представление) ,
~ ( )
, ( ) , ( )
,
(
21 0 2
1 2 0 ,
2
x y x x y f x y x x y
g
j jm
j k
j k j
m
j n
k m
∑ ψ ∑
−ψ
=
−
−
=
=
=
,где
ψ ~
j( x , y )
- некоторые гармонические функции.Следовательно, согласно теореме Альманзи [2] функция
g
k2m,n( x , y )
для всех1
0 ≤ k ≤ m −
удовлетворяет полигармоническому уравнению (7). Таким образом, лемма 2 доказана.Введем обозначение:
2 2
2 2 2
2 2 2
) , ( ,
) ,
( x y X x
2r Y x y Y
X y
x
yy 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)Данное тождество следует из следующих цепочек равенств:
= +
−
− +
−
=
−
−
−
=
−
22 ( , )
2 2(
22
( , ) 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
yy y
y x r
y y
y r
y
= +
−
−
=
− +
− +
−
=
2 2 22 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
x − y − − = − − = − − − = −
=
.Так как 2
1
2
≤ Y
Z
при x≠ y, то в пространстве нечетной размерности и в пространстве четной размерности при 2m<n фундаментальное решение уравнения (1) разлагаем в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 mY 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
=
∆
mxg
jmnx 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 jj 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) nm 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
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
xiG
mn x ri
.
Утверждения лемм 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 jn 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) nm
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
=
( )
( )
nm 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)
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