Функция Грина задачи Дирихле для полигармонического уравнения в шаре при полиномиальных данных Текст научной статьи по специальности «Математика»

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2014. Т. 14, вып. 4, ч. 2 УДК 517.956.223+517.575

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

В. В. Карачик

Доктор физико-математических наук, профессор кафедры математического и функционального анализа, ЮжноУральский государственный университет, Челябинск, karachik@susu.ru

Рассматривается классическая задача Дирихле для полигармонического уравнения в единичном шаре. Для задачи Дирихле с полиномиальной правой частью и нулевыми граничными данными построено полиномиальное решение. Примененный подход основан на представлении Альманси полигармонических функций, а также на полученном ранее явном представлении гармонических компонент, выраженных через заданную полигармоническую функцию. В случае гармонического уравнения из полученной формулы следует известное представление решения задачи Дирихле через функцию Грина.

Ключевые слова: полигармоническое уравнение и полиномы, задача Дирихле.

Хорошо известна [1] классическая задача Дирихле для неоднородного полигармонического уравнения в единичном шаре S = {x G Rn : |x| < 1}:

dm-1 u

Дт u(x) = Q(x), x G S ; U| ds = fo(s), ..., » m-1 = /m_i(s), s G dS,

dvm 1 |ds

где v — внешняя нормаль к единичной сфере dS. Множество работ посвящено этой задаче. Из последних отметим работы [2,3], посвященные представлению функции Грина задачи Дирихле для полигармонического уравнения и ее свойствам.

Настоящая работа является продолжением исследований автора, начатых в [4-8] по построению важного класса решений задачи Дирихле — полиномиальных решений. В основе предлагаемого подхода лежит представление Альманси. Имеются многочисленные работы, посвященные обобщению представления Альманси на дифференциальные операторы, отличные от оператора Лапласа (см., напр., [1, 7, 8]). В работе [5] были построены полиномиальные решения задачи Дирихле, а также обобщенной третьей краевой задачи для уравнения Пуассона, а в работе [6] исследовалась задача Дирихле для бигармонического уравнения в единичном шаре. Настоящая работа является обобщением этих исследований на задачу Дирихле для l-гармонического уравнения Д1и^) = Q(x), x G S.

Рассмотрим следующую однородную краевую задачу для неоднородного l-гармонического уравнения в единичном шаре S = {x G Rn : |x| < 1}:

dl 1 u

Д1и^) = Q(x), x G S ; U| ds = 0, ..., тп_г =° (1)

1 dvl-1 |ds

с полиномиальной правой частью Q(x) и при n ^ 3.

Пусть (a, b)k = a(a + b) ••• (a + (k — 1)b) — обобщенный символ Похгаммера с соглашением (a,b)o = 1. При b =1 пишут (a, 1)k = (a)k = a(a + 1) ■ ■ ■ (a + k — 1). Факториальную степень

n

определим равенством t[k] = t(t — 1) ■ ■ ■ (t — k + 1) [9]. Введем оператор Au(x) = xkuXk (x). Отметим

k=i

важное свойство оператора Л.

d k u

Лемма 1. На единичной сфере dS имеет место равенство ——¡- = Л^]u|ds.

dvk |ds

Исследуем задачу Дирихле (1) при Q(x) = |x|2sRm-2s(x), где Rm-2s(x) — однородный гармонический полином степени m — 2s. Докажем следующее утверждение.

Лемма 2. Решение vs(x) однородной задачи Дирихле (1) при Q(x) = |x|2sRm-2s(x) имеет вид

v.(x) = (|xfs+21 — ,(' + ') g (—1)l-1-i (' — 1) ^ (2)

где Cm>s,i = (2s + 2, 2)i (2m — 2s + n, 2)i.

Доказательство. Пусть полином г>я (х) определяется формулой

-я(х) =

|х|2я+21Дт_2я(х) — > ; нт-2Дх) ),

С

1-1

^ Л 1 '2г н^ ¿=0

(3)

где нт_2я(х) — однородные гармонические полиномы степени т — 28. Используя значение константы из условия теоремы, получим:

1

А1 (х) = --А1 (|х|2я+21 Дт_2в(®)) = |х|2*Дт_2я (х),

С

т.е. полином (х) — решение уравнения из (1) при ф(х) = |х| Дто_2я(х). Будем подбирать однородные полиномы нт_2я (х) так, чтобы выполнялись однородные граничные условия из (1). Тогда

г-1

будем иметь Лт_2я(х) — ^ Нт_2я(х) = 0 ^ = 0. Далее, используя лемму 1 и для краткости

¿=0

изложения обозначения 6^ = т + 2% — 28 и 6 = т + 21, получим:

г_1

6Дт_2я(х) — ^ 6гЯт_2я(х) =0 ^ (Л[1]-я)|05 =0 ^ =0,

г=0

1_1

_1

-я

6[1_1] Лт_2я(х) — ^ б[_1]Нт_2я(х) = 0 ^ (Л^1-я)|0* = 0 ^ , = 0,

¿=0

д_

и поэтому для определения _2я(х) необходимо решить следующую систему уравнений:

г_1

Е

¿=0

_2я (х) = 6,] Дт_2я (х), 3 = 0, ... ,1 — 1.

(4)

Определитель Р этой системы уравнений относительно _2я (х) имеет вид

Р =

61

60 61

6г_]

6

[1_1] г_1

= W [60,61 ,...,6г_1 ]= Ц (6, — 6,),

где W[60, 61,..., 61_1] — определитель Вандермонда порядка 1. Поскольку 6^ — 6, = 2(% — 3), то полу-г_1

чим Р = П(2й)". Обозначим через определитель, получающийся из определителя Р заменой

¿=1

столбца с номером % на столбец свободных членов системы (4). Тогда имеем:

1 ••• 1 1 1 ••• 1

Рг_1 = Дт_2я (х)

60

6,_

¿_2

6 6,.

6г_]

[1_1]

6!___21] 6^г_1] 6;г_1]

6

[1_1]

г_1

= Ято_25(х^[60,..., 6г_2, 6,6г,..., 6г_1], % = 1,..., 1. Вычислим определитель Вандермонда W[60,...,6^_2,6,6^,...,61_1 ]. Имеем:

W[60,..., 6г_2,6,6г,..., 6г_1 ] = W[60,..., 6г_1 ]

¿_2 г_1

П(6 — 6, )П(6,- — 6)

3=0_£=г_

¿_2 г_1

П(6<_1 — 6,- )Г№ — 6г_1)

3=0 ,=г

г_1

= W[60,... ,6г_1 ]

(—1)1_г П (6 — 6з) ( 1)1_< /? 1Ч 1 _^р^-1_= р(—1)1 1 — Л п (8 + з)

(2% — 2)!!(21 — 2%)!! (1 — 1)! ^ — 1) 1=1 ( + 3),

1

1

1

1

6

0

0

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2014. Т. 14, вып. 4, ч. 2 где учтено, что 6т = т + 2 г — 28 и 6 = т + 21. Отсюда вытекает, что

(х) = = (*)' ('+')(—1 — 0 тл^

при г = 1,... ,1. Подставляя полученные значения (х) в формулу (3), получим:

Ых) = ^С^х! (|х|2^+2, — 1 Г8 + Л £( —Л — Л _+М .

— \ V 1 / ¿_о V 1 / 8 + 1 г/

Отсюда следует равенство (2), утверждаемое в лемме. □

Преобразуем полученное решение.

Лемма 3. Решение (2) однородной задачи Дирихле (1) при ф(ж) = |ж|2вДто_25(ж) можно записать в виде

*-(*) = (|х|2 — 1)' Е (8 + 1) (|х|2 — 1)т, (5)

¿=о V + /

где Ст,в,г = (28 + 2, 2), (2т — 28 + п, 2),. Доказательство. Рассмотрим многочлен

р(т)=т—+ч £(—1 -л т

1 / V г /8 +1 — г

у ¿=о 4 у

Тогда в соответствии с (2) имеет место равенство

V*(х) = —--Р(|х| ). (6)

Преобразуем полином Р(т). Поскольку

то

—Тт— = тг I = I ттГ<И,

8 +1 — г Уо ./о

Р(т) = т*+' — 1(8 + Г ^ . Л тт(—*)'_1_<^ = т*+' — + ^ Г (т —

1 / Л г ) \ I / Jо

Не трудно видеть, что

-1 г 1

1 / (т — «),_1 ^ = 1 / (т — «),_1 = -Ц- (т — «),_1«5+11 + Щ—11[ (т — *)'_2 =

оо

8 + 1 8 + 1

о 8 + 1

1 (т — 1),_1 + _1(1_1)_(т — £)'_2Г+2 1 + Ш__2) Г (т — ¿)'_3^ = ... =

8 + 1(т 1) +(8 + 1)(8 + 2) « о +(8 + 1)(8 + 2^о (т 4

_(т — ^_+_—_ (т — г)о^+г_1 ^ = 118^

1|8|к=о (8 + к + 1)1(1 — 1 — к)!+ (8 + 1 — 1)|Уо (т > а 1|8! к=о (8 + к + 1)1(1 — 1 — к)!

= 118! V (т — ^ = V ^8 + ^ (т — 1У

1|8! ¿о (8 + 1—^)У! (8 + 1)! ¿V У(т 1) '

Поэтому

Р(т) = т' + ' — Е (' +') (т — 1)7 = £ (8 +') (т — 1)7 = (т — 1)' Е (8 + ¡) (т — 1)к'

7=о ^ ^ ' 7=' ^ ^ ' к=о V + /

Подставляя полученное значение Р(т) в формулу (6), получим (5). □

Теперь можно построить полином ио(х) — решение задачи Дирихле (1) при ф(ж) = фто(ж) — однородный полином степени т.

о

Лемма 4. Решение (2) однородной задачи Дирихле (1) при Q(x) = Qm(x) можно записать в

u0 (*) = (№ -1)1 ¿ х

s=0

х V lxl2i ( - 1 + s -V( 1)j m - 2s + 2j + n/2 -1 (7)

= ™ V l - 1 j !(1 + ^ - j)!(m - 2s + j + n/2 - 1)в+1+Г

Доказательство. Разложим однородный полином Qm(x) по формуле Альманси, а затем применим к каждому слагаемому лемму 3, где s заменяется на k и решение каждой такой однородной задачи обозначается через vk(x). Используя представление Rm-2k(x) из [5], решение u0(x) рассматриваемой задачи запишем в виде

[m/2] [m/2] _ ( ) k

u,(x)= £ Vk (x) = (|x|2 - 1)^ /i + 1 )(|x|2 - 1Г =

k=0 k=0 ' ' i=0 [m/2]

/i i2 ,4/ 2m - 4k + n - 2

= (|x|2 -1)1

k=0 (2, 2)k(2k + 2, 2)/(2m - 2k + n, 2)/

^ í -< N s I / N k

(-1)s|x|2sAs+kQm(x) A /k + 1

S=0 (2, 2)s(2m - 4k - 2s + n - 2, 2)s+k+i Vi + 1

e i+; (ixi2 - 1)s=

= (|x|2 - 1)/ yy МГ^ - 4k + n - 2)|x|2S AS+k Qm(x) f A + Л (|x|2 - 1)i = k=0 S=0 (2' 2)s(2, 2)k+/(2m - 4k - 2s + n - 2, 2)s+k+/+i i=0 Vi + 4

2 - 1)/ V ArQm(x) ^ (-1)s(m - 2r + 2s + n/2 - 1)|x|2s ^ (|x|2 - 1)* 111 4r+/ ¿0 s!(m - 2r + s + n/2 - 1)r+/+i ¿ (i + 1)!(r - s - i)!'

В полученном выражении участвует следующий полином:

(t - 1)*

m

m(

Rm(t) = ^-(i + 1)!(m - i)!"

i=0

Преобразуем его. Воспользуемся обозначением т = т * /i! и следующим равенством:

1 1 ^

= Л I т*(1 - т)/-1,!dT

(% +1)!

Тогда, используя свойства бета функции Эйлера В(х), будем иметь:

Rm(t) = ±Х tm-fa - т )/-1'' ^ = ^ 0 (1 - т Q ((t - *>т )* *

= ^ /1(1 - т)/-1'!((t - 1)т + 1)m ¿т = ^ Г(1 - т)/-1'!(¿т + 1 - т)m ¿т =

m! 0 m! 0

1 ^ [\Ил ^М-1+m-i, _ 1 ^ B(i + 1,; + m -

Y^ f i(1 - т)/-1+m-i, = 1 + 1,1 + m - ¿) ti =

(1 -1)! ¿0 i!(m - i)U0 ( ) (1 -1)! ¿0 i!(m - i)!

1 y (1 - 1 + m - i)! ¿i.

—' i m — -) i!

(1 - 1)!(1 + m)! i=0 (m - i)!

Подставляя значение полинома Rr-S(|x|2) в (8), найдем:

U0(x) = (|x|2 - 1)^ ^Qm^Pr (|x|2), (9)

4r+/ r=0

X

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2014. Т. 14, вып. 4, ч. 2

где обозначено

2) = 1 ^ (—1Г(т — 2г + 28 + п/2 — 1)|х|2* ^ (1 — 1+ г — 8 — г)! 2т И (1 — 1)! 8!(т — 2г + 8 + п/2 — 1)г+г+1 (1 + г — 8)! ¿о (г — 8 — г)!

Теперь преобразуем полином Рг(|х|2). Имеем:

2) = 1 ^ (—1)з(т — 2г + 28 + п/2 — 1) ^ (1 — 1 + г)! |х|2г_2т = И (1 — 1)! ¿о 8!(т — 2г + 8 + п/2 — 1)г+,+1 (1 + г — 8)! ¿о г! 11

= 1 ^ (1 — 1 + г)! (—1)*(т — 2г + 28 + п/2 — 1) 2г_2т =

А—/ г! А—/ 81( т — 2г + 8 + п/2 — 1) (1 + г — 8)!

(1 — 1)! г! 8|(т — 2г + 8 + п/2 — 1)г+,+1 (1 + г — 8)!

(1 — 1+ г — г)! | |2г^А (—1)*(т — 2г + 28 + п/2 — 1) = 2^(/ — 1)!(г — г)||х|

,=о (1 — 1)|(г — г)! 1 1 8|(т — 2г + 8 + п/2 — 1)г+,+1 (1 + г — 8)!

Заменяя г на 8 и 8 на 3 получим:

8

2

Р(|х|2) = £ С — 1 + 8 — ^ £( — 1)7 т — 28 + 3 + п/2 — 1

т=о х 1 — 1 ) 3 !(т — 28 + 3 + п/2 — 1)в+г+1 (1 + 8 — 3 )Г

Подставляя полученное значение Р*(|х|2) в (9) получим (7). □

Еще немного преобразуем полученное решение -ио(х).

Теорема 1. Решение однородной задачи Дирихле (1) при ф(ж) = фто(ж) записывается в виде

ио(х) = (|х|2 — 1), V (8 + 1 — Л ^(х))^(—1)^Я 7-„ ' (10)

Т^Л 1 — 1 / (8 + 1)! (т — 28 + к + п/2)*+, ' ;

Доказательство. Воспользуемся леммой 4 для записи решения ио (х) задачи (1) при ф(ж) = (х). В формуле (7) обозначим константу

= £(—1)7

А* + 23 — 1

7=о 3 !(1 + 8 — 3 )!(А* + 3 — 1)*+,+1'

где А* = т — 28 + п/2, и преобразуем ее к более простому виду. Для этого воспользуемся формулой замечания 1 из работы [6], в которой было сделано предположение о виде решения ио(х). Из нее следует, что

А ■ = (—1)г_(1 + 8 — г)т__(11)

( А) г!(1 + 8)!(А* + г)*+,' (11)

Докажем эту формулу методом математической индукции. Пусть г = 0. Тогда

А = ^ (—1)7 А* + 23 — 1 = А* — 1 = (1 + 8)о

31(1 +8 — 3 )|(А* + 3 —1)*+,+1

и, значит, формула (11) верна при г = 0. Пусть формула (11) верна при некотором г £ Мо. Докажем ее верность и при г + 1. Используя предположение индукции, найдем:

А = V1 (—1)7 (А* + 23 — 1) = . + (—1)т+1(А* + 2г + 1)

А*,т+1 =2^ 31(, + 8 — 3)|(А + 3 — 1).,,,, = +

7=о 3!(1 + 8 — 3)!(А* + 3 — 1)*+,+1 ' (г + 1)!(1 + 8 — г — 1)!(А* + г)*+,+1

_ (—1)т(1 + 8 — г)г + (—1)т+1(А* + 2г + 1) =

инд. г!(1 + 8)|(А* + г)*+, (г + 1)!(1 + 8 — г — 1)!(А* + г)*+,+1

_ г+1 (А* + 2г + 1)(1 + 8) — (А* + г + 8 + 1)(г + 1) = (—1)

(А* + г)*+,+1 (1 + 8 — г — 1)!(г + 1)!

. _ (а. + г)(/ + 8) —

= (—1)

т+1 (А* + г)(1 + 8) — (А* + г)(г + 1) _ (—1)т+1 (А* + г)(1 + 8 — г — 1)

(А* + г)*+,+1 (1 + 8 — г — 1)!(г + 1)! (А* + г)*+,+1 (1 + 8 — г — 1)!(г + 1)! 554 Научный отдел

(-l)i+1(l + s - i - 1) <+1 (l + s - i - l)i+i

= (-1Г

(Ав + % + 1)я+1 (1 + 8 — % — 1)!(% +1)! 4 ; (% + 1)!(1 + 8)!(Ая + % + 1)я+1'

т.е. формула (11) верна и при % + 1. Подставляя значение из (11) в формулу (7) и учитывая, что Ч — 1 + 8 — А (1 + 8 — %)г (1 — 1 + 8)! 8! /1 — 1 + 8\ /V

l - 1 у i! (l - 1)!s! i!(s - i)! V l - W \i

и As = m - 2s + n/2, и заменяя индекс i на k, получим:

«о (x) = (|x|2 - 1)'E ? (-1)'^(l - 1 +1 - ОЁ+Й

~ 's + l - А AsQm(x) ^ Л |x|2k

= ( I x | 2 - 1)T l-1

n4 l - 1 У 4s+' (s + l)!^ \kj (m - 2s + k + n/2)s+''

s=0 4 y v ' k=0 \ / \

Теорема доказана. □

Из полученной формулы (10) при l = 1, 2 следуют формулы (23) и (17) из работ [5,6] соответственно. Пусть функция v(x), заданная в S, может быть записана в виде v0(x) = (|x|2 - 1)'S(x), где S(x) e C'-1 (S) и l e N. Тогда она удовлетворяет однородным условиям Дирихле на dS: V|dS = 0,

dv d'-1v тт , ,

—— = 0,..., . = 0. На основании этого утверждения полином u0(x) из теоремы 1 удо-dv |ds dv'-1 |ds

влетворяет всем однородным условиям Дирихле из (1). Еще немного преобразуем многочлен u0(x), являющийся решением задачи Дирихле (1) при Q(x) = Qm(x) так, чтобы затем иметь возможность получить формулу для неоднородного полинома Q(x). Лемма 5. Имеет место равенство

Mx) = M-gg.f (1 -(2Ss^r1 A'Q"(tx)t"/2-1 - (12)

Доказательство. Пользуясь формулой (10), запишем:

„ (х)= (|х|2 — 1)1 ^ Ая дт (х) к (8\ (8 + 1)(8 + 2) ■■■ (8 + 1 — 1) | 2к (13)

и0(х)= 2(21 — 2)!! ¿0 2я(28 + 21)!! 1) ^ (А — 28 + к)в+1 |х| , (13)

где А = т + п/2. Преобразуем внутреннюю сумму в полученном выражении. Используя определение символа Похгаммера (а)к, данное после формулы (1), свойство гамма функции Г(х + 1) = хГ(х) и связь гамма Г(х) и бета В(х) функций Эйлера можем записать:

1 1 Г(т + п/2 — 28 + к)

(А — 28 + к)я+г (А — 28 + к) ■■■ (А — 8 + к + 1 — 1) Г(т + п/2 — 8 + к + 1)

= В(8 + 1,т + п/2 — 28 + к) = 1 [1 (1 ,)я+1_1 ,т+п/2+к_2я_1

= г(7+7) =(8 +1 —1)^0 (1 —0 * ^

С помощью этого равенства запишем внутреннюю сумму в (13) в виде 8 ^(1 — ;т+п/2_2я_1 ¿(—1)^^ |х|2к^ = 8 ^(1 — ^)я+1_1(1 — £ |х|2)я £т_2яГ/2_1

Следовательно, многочлен u0(x) можно записать в форме

? ^ Г1 (1 - t)s+'-1(1 - t|xi2)s 2(2l - 2)!! (2s + 2l)!!(2s)!!

u0(x) = SMf Г (1 - t)S+'-1(1 - t|x|2 )s asq (tx)tn/2-1 dt «0(x) = 2(2l - 2)!! Z^ I (2s + 2l)!!(2s)!! A Qm(tx)t dt'

что совпадает с формулой (12). □

Получим решение задачи Дирихле (1) с неоднородным многочленом ^(х).

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2014. Т. 14, вып. 4, ч. 2 Теорема 2. Решение задачи Дирихле (1) можно записать в виде

и(х)=22—$ ¡: Е(1 - 52)2 ^Г' — 04)

Замечание. Функцию (оператор) Грина задачи Дирихле (1) в единичном шаре в случае полиномиальных функций ф(ж) можно записать в виде

О^аН^Н Е (1 — Я)281+—0Г1 а"/2_1(Д50)(«)

и тогда решение (14) задачи Дирихле в шаре (1) имеет вид

и, (х) = / О [ф](х; а) ¿а. (15)

Зо

Теорема 3. Формула (15) при 1 = 1 совпадает с представлением решения однородной задачи Дирихле в единичном шаре через функцию Грина О(х,С)

и1(х)= [ О[д](ж; а) ¿а = —- [ О(х,СМС) ¿С, ./о

где О(х,С) = Е(х,С) —Е(х/ | х | ,С | х |), Е(х,С) = (п—2)_11 х—С 12_п — элементарное решение уравнения Лапласа, а — площадь единичной сферы в .

Доказательство. Пусть ф(х) = |х где — один из полиномов ортогональной

системы гармонических полиномов [10] с нормировкой (Я(г)(х))2^8 = . Из леммы 2 следует,

(■1 |х|2к+2 — 1

С Г|х|2к Я« (х)(х; а) ¿а = 7 7-- Я(г)(х). (16)

Уо 11 1 * ] (2к + 2)(2к + 28 + п) * ^ V 7

В [5, теорема 13] было показано, что

1 Г е (х,с )|с12к Ят) (С) ¿с = |х|2к+2 н(т)(х) н(т)(х)

^ * (2к + 2)(2к + 28 + п) (2к + 2)(28 + п — 2)

Далее, поскольку при |х| < |С| справедливо представление (см. [5, лемма 11])

" Ж

28 . .. _ *=о т=1

е (х,с) =Е '28+п—2 Е н(т)(х)н(т) (с ),

где Л, * = 28 + п—2 (*+_33) [9], то в силу равномерной сходимости ряда по |С| < 1 и ортогональности

п — 2 \ п 3 /

полиномов Я() (х) на единичной сфере имеем:

- [ Е(х/|х|,С|х|)|С|2кЯт)(С) ¿С =

|х/|х||_(2т+п_2) ^т

т / т _(2т+п_2) 1 г

Е | ^ + п — 2 Е ^(х/ |х | )£ [ Я«(С | х | ) | С | 2кЯ«(С) ¿С =

о 2т + п — 2 (х/|х|'иий<,

т=о 7 = 1 |51 <1

1 Ь-т

ч / 2к + т + * +п_1

ос ^т /»1 л

тс ЕЯт(х) I г2'+""+-+"_' ¿=1 (С) * =

т=о Т=1

я(т) (х)

(28 + п — 2)(2к + 28 + п)'

Таким образом, в силу (16)

/ 0(х,с)|С|2кЯ(.)(С) ¿с = „|х|2к+аЯ"(х) , — я("(х) - 1 ) =

Л * (2к + 2)(2к + 28 + п) 28 + п — 2\2к + 2 2к + 28 + п/

|х|2к+2 — 1 г1

= 7 ---Г Я^ (х)= / С Г|х|2к яяг)(х)(х; а) ¿а.

(2к + 2)(2к + 28 + п) я к ' ]0 и 1 я ' ;

Поскольку любой полином ^(х) в силу формулы Альманси может быть разложен по полиномам вида |х|2кН(г)(х), то теорема доказана. □

Библиографический список

1. Nicolescu N. Problème de l'analyticité par rapport a un opérateur linéaire // Studia Math. 1958. Vol. 16. P. 353363.

2. Кальменов Т. Ш., Сураган Д. О новом методе построения функции Грина задачи Дирихле для полигармонического уравнения // Дифференц. уравнения. 2012. T. 48, № 3. C. 441-445.

3. Кангужин Б. Е., Кошанов Б. Д. Представление и свойства функции Грина задачи Дирихле для полигармонических уравнений // Матем. журн. 2008. Т. 8, № 1(27). С. 50-58.

4. Карачик В. В. Об условиях разрешимости задачи Неймана для полигармонического уравнения в единичном шаре // Сиб. журн. индустр. матем. 2013. Т. 16, № 4. C. 61-74.

5. Карачик В. В. Построение полиномиальных решений некоторых краевых задач для уравнения Пуассона //

Журн. вычисл. матем. и матем. физ. 2011. Т. 51, № 9. C. 1674-1694.

6. Карачик В. В., Антропова Н. А. Полиномиальные решения задачи Дирихле для бигармонического уравнения в шаре // Дифференц. уравнения. 2013. Т. 49, № 2. C. 250-254.

7. Карачик В. В. Об одном разложении типа Альманси // Матем. заметки. 2008. Т. 83, № 3. С. 370-380.

8. Карачик В. В. Применение формулы Альманси к построению полиномиальных решений задачи Дирихле для уравнения второго порядка // Изв. вузов. Матем. 2012. Т. 6. С. 24-35.

9. Бейтмен Г., Эрдейи А. Высшие трансцендентные функции. М. : Наука, 1966.

10. Karachik V. V. On one set of orthogonal harmonic polynomials // Proc. Amer. Math. Soc. 1998. Vol. 126, № 12. P. 3513-3519. DOI: 10.1090/S0002-9939-98-05019-9.

Green Function of the Dirichlet Boundary Value Problem for Polyharmonic Equation

in a Ball Under Polynomial Data

V. V. Karachik

South Ural State University, 76, pr. Lenina, Chelyabinsk, 454080, Russia, karachik@susu.ru

The classical Dirichlet boundary value problem for the polyharmonic equation in the unit ball is considered. For this problem with polynomial right-hand side and zero boundary data a polynomial solution is constructed. Our approach is based on the Almansi representation of polyharmonic functions and on the previously obtained an explicit representation of the harmonic components, expressed through the given polyharmonic function. In the case of the harmonic equation the known representation of the solution through the Green function is obtained.

Keywords: Polyharmonic equation, polyharmonic polynomials, Dirichlet problem.

References

1. Nicolescu N. Problème de l'analyticité par rapport a un opérateur linéaire. Studia Math., 1958, vol. 16, pp. 353363.

2. Kal'menov T. S., Suragan D. On a new method for constructing the Green function of the Dirichlet problem for the polyharmonic equation. Differ. Equations, 2012, vol. 48, no. 3. pp. 441-445. DOI: 10.1134/S0012266112 030160.

3. Kanguzhin B. E., Koshanov B. D. The Green function representation and properties in the Dirichlet problem for polyharmonic equations. Math. J., 2008, vol. 8, no. 1. pp. 50-58.

4. Karachik V. V. On Solvability Conditions for the Neumann Problem for a Polyharmonic Equation in the Unit Ball. J. Appl. Industr. Math., 2014,

vol. 8, no. 1, pp. 1-14. DOI: 10.1134/S1990478914010074.

5. Karachik V. V. Construction of polynomial solutions to some boundary value problems for Poisson's equation. Comput. Math. Math. Phys., 2011, vol. 51, no. 9, pp. 1567-1587. DOI: 10.1134/s0965542511090120.

6. Karachik V. V., Antropova N. A. Polynomial Solutions of the Dirichlet Problem for the Biharmonic Equation in the Ball. Differ. Equations, 2013, vol. 49, no. 2, pp. 251256. DOI: 10.1134/S0012266113020122.

7. Karachik V. V. On an expansion of Almansi type. Math. Notes, 2008, vol. 83, no. 3-4, pp. 335-344. DOI: 10.1134/S000143460803005X.

8. Karachik V. V. Application of the Almansi formula for

Изв. Сарат. ун-та. Нов. сер. Сер. Математика. Механика. Информатика. 2014. Т. 14, вып. 4, ч. 2

constructing polynomial solutions to the Dirichlet problem for a second-order equation. Russ. Math., 2012, vol. 56, no. 6, pp. 20-29. DOI: 10.3103/S1066369X120 60035.

9. Bateman H., Erdelyi A. Higher transcendental

functions. Vol. 2. New York, McGraw-Hill, 1953. 10. Karachik V. V. On one set of orthogonal harmonic polynomials. Proc. Amer. Math. Soc., 1998, vol. 126, no 12, pp. 3513-3519. DOI: 10.1090/S0002-9939-98-05019-9.

УДК 517.984

БАЗИСЫ РИССА ИЗ СОБСТВЕННЫХ И ПРИСОЕДИНЕННЫХ ФУНКЦИЙ ИНТЕГРАЛЬНЫХ ОПЕРАТОРОВ С РАЗРЫВНЫМИ ЯДРАМИ, СОДЕРЖАЩИМИ ИНВОЛЮЦИЮ

В. П. Курдюмов1, А. П. Хромов2

1 Кандидат физико-математических наук, доцент кафедры дифференциальных уравнений и прикладной математики, Саратовский государственный университет им. Н. Г. Чернышевского, KurdyumovVP@yandex.ru

2Доктор физико-математических наук, профессор кафедры дифференциальных уравнений и прикладной математики, Саратовский государственный университет им. Н. Г. Чернышевского, KhromovAP@info.sgu.ru

При предположении существования обратного к интегральному оператору, ядро которого терпит разрывы на диагоналях единичного квадрата, доказана базисность Рисса его собственных и присоединенных функций в пространстве Ь2[0,1].

Ключевые слова: базис Рисса, резольвента, краевое условие.

В данной работе исследуется вопрос о базисности Рисса в Х2 [0,1] собственных и присоединенных функций (с. п. ф.) интегрального оператора:

х 1

А/ = «У А(х,Ь)/(Ь) ¿Ь +У ¿2(1 - х,Ь)/(Ь) ¿Ь, (1)

0 1-х

где «2 = 1, А^ (х,Ь)(г = 1,2) имеют непрерывные производные:

dxk dt1

(0 < k + l < 2, l < 1)

при х > Ь для А1 (х, Ь), при х < Ь для А2(х, Ь), и А1 (х, х — 0) = А2(х, х + 0) = 1. Таким образом, ядро оператора А терпит разрыв на диагоналях Ь = х и Ь = 1 — х.

Оператор (1) и более общего вида интегральные операторы с ядрами, допускающими разрывы самих ядер или некоторых их производных впервые рассматривались одним из авторов [1]. В дальнейшем таким операторам было уделено много внимания (см., напр., [2-4]).

В [5] для решения вопроса о базисности Рисса с.п.ф. оператора (1) было проведено сведение этого оператора к оператору А в пространстве вектор-функций размерности 2 и установлена базисность Рисса с.п.ф. оператора (1) при дополнительном предположении существования оператора А-1. В настоящей работе базисность Рисса с. п. ф. оператора (1) устанавливается лишь при предположении существования обратного к оператору (1),что упрощает доказательство основного результата.

1. СВЕДЕНИЕ К ОПЕРАТОРАМ В ПРОСТРАНСТВЕ ВЕКТОР-ФУНКЦИИ

Сведем оператор А к оператору в пространстве вектор-функции размерности 2. Введем следующий оператор:

1

А / = (А /)(х) = А / (х) = / А(х, ь)/ (ь) ¿ь,

0

где /(х) = (/1(х),/2(х))т (Т — знак транспонирования),

•г , , /ае(х,Ь)А1 (х,Ь) е(х,Ь)А2(1 — х, 1 — Ь) \ (х' ) = I е(Ь,х)А2(х,Ь) ае(Ь,х)А1(1 — х, 1 — Ь) ) '

е(х, Ь) = 1 при х > Ь, е(х, Ь) = 0 при х < Ь.