Интегральное представление решения задачи Рикьера для полигармонического уравнения в n-мерном шаре Текст научной статьи по специальности «Математика»

УДК 517.956.223

Е.В. Бородачева, В.Б. Соколовский1

ИНТЕГРАЛЬНОЕ ПРЕДСТАВЛЕНИЕ РЕШЕНИЯ ЗАДАЧИ РИКЬЕРА ДЛЯ ПОЛИГАРМОНИЧЕСКОГО УРАВНЕНИЯ В N -МЕРНОМ ШАРЕ

Для к + 1-гармонического уравнения в те-мерном шаре найден явный вид решения задачи Рикьера — задачи о нахождении в этом шаре решения этого уравнения по заданным на границе шара значениям искомого решения и и степеней лапласиана от первой до к-й включительно от и.

В первой части приводится точная постановка рассматриваемой задачи, формулируется основной результат (вид решения ее), а также указывается идея его доказательства.

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

Содержание третьей части составляет доказательство основного результата. Оно основано на использовании свойств операторов, введенных во второй части.

Ключевые слова: дифференциальные уравнения, полигармоническое уравнение, полигармонические функции, бигармоническое уравнение, краевые задачи, задача Рикьера для полигармонического уравнения.

1. Постановка задачи. Формулировка основного результата

Пусть М" - п-мерное евклидово пространство, Д - п-мерный оператор Лапласа (п-мерный лапласиан), Дк+1 — (к + 1)-я степень его, определяемая индуктивно:

Дк+1 = Д(Дк) (к £ М).

Функцию и | О ^ М, являющуюся в области О С М" решением уравнения Дк+1и = 0 (к £ М), называют (к+1)-гармонической в О, а это уравнение - полигармоническим, или, точнее, (к + 1)-гармоническим уравнением. Полигармоническое уравнение и его частные случаи рассматривались в разное время с различных точек зрения многими авторами. Отметим лишь работы [1-9]. Задача Рикьера

!© Бородачева Е.В., Соколовский В.Б., 2015

Бородачева Елена Валериевна ([email protected]), кафедра уравнений математической физики, Самарский государственный университет, 443011, Российская Федерация, г. Самара, ул. Акад. Павлова, 1.

Соколовский Валерий Борисович ([email protected]), кафедра функционального анализа и теории функций, Самарский государственный университет, 443011, Российская Федерация, г. Самара, ул. Акад. Павлова, 1.

для этого уравнения состоит в нахождении (к + 1)-гармонической в области G функции по заданным на границе области значениям степеней лапласиана этой функции от нулевой до к-й включительно (за нулевую степень лапласиана принимается тождественный оператор).

Обозначим через Q открытый шар в R" единичного радиуса с центром в точке 0, через S - сферу, ограничивающую его; Q = Q U S - замыкание шара Q.

В настоящей работе найден явный вид решения в интегральной форме задачи Рикьера

Ак+1п = 0 в Q; u = f0, Au = f1,..., Ak u = fk на S (1)

(здесь Apu(x) в точках x € S понимается как предел lim Apu(y), y € Q).

y^x

Через h*(x) обозначается далее решение задачи Дирихле Au = 0 в Q, u = h на S;как известно, оно дается интегралом Пуассона.

Основной результат представляет следующая

Теорема. Пусть функции f0(x), fi(x),..., fk(x) € C(S). Тогда решение задачи (1) записывается в виде:

u(x)= g*0(x) — £ р2-1 {jP0— 9i(px) dp; (2)

i=1 ! о ( )!

здесь gk = fk, функции gp с номерами p = к — 1, к — 2,... ,l (l = [k++1 ] - целая часть числа k+1) вычисляются по функциям gk,gk-i,... ,gp+i с помощью рекуррентных соотношений

k-P i Р-1 Aj+iAi-i 1 ( — gp(x) = fp(x)^^J2 iPt—y-J p2-1 gp+i(px)dP, (3)

i—1 j—i-1 о

а функции gp с номерами p = l — 1, l — 2, . . . , 1 - с помощью рекуррентных соотношений

p 1 p-1 Aj+iAi-1 1 (n- 1)i+j

gp(x) = fpU + ^T, -fi—yj n2-1 gp>+i(nx)dn (4)

i—1 j—i 1

о

где Лвт = („—в)! - число размещений из ш элементов по в (0! = 1); за функцию до(х) принимаем /о(х).

Доказательство теоремы состоит в проверке того, что функция (2) удовлетворяет в П уравнению задачи (1), а на Б - граничным условиям ее. Для вычисления степеней лапласиана от и(х) вводятся дифференциальные и интегральные операторы определенного вида.

2. О некоторых дифференциальных

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

Пусть Н(П) - линейное пространство гармонических в П функций. Нетрудно убедиться, что из гармоничности в П функции Н(х) следует гармоничность в П / п / / функции (к (х),х) =^2, кч(х)х^ (здесь Н - производная функции к как отображе-

г=1

ния из П в М). Поэтому для каждого целого ш имеет смысл дифференциальный

оператор Бт | Н(О) ^ Н(О,), задаваемый условием:

БтН = (Н (х),х)+(2 + т - Н(х) У Н(х) € Н(О). (5)

Далее, из гармоничности в О функции Н(х) следует гармоничность в О функции

1

I Р2- • ^^ Н(рх) йр

о

при каждом целом неотрицательном I. Поэтому для каждого I € N и {0} имеет смысл интегральный оператор .11 | Н(О) ^ Н(О), задаваемый условием:

1 1

.Н(х)^ р2-1 • Нрх) йр У Н(х) € Н(О). (6)

о

Введем также оператор 3-1 | Н(О) ^ Н(О) условием:

3-1Н = -Н(х) У Н(х) € Н(О). (7)

Замечание. Если Н € Н (О) П С (О), то Н € Н (О) П С (О).

Операторы Вт (т € Z) и 3\ (I € N и {0, -1}) обладают рядом любопытных свойств. Для решения задачи (1) используются лишь свойства, выражаемые следующими леммами.

Лемма 1. Пусть т € N и и(х) = (1 - 11хЦ2)тк(х), где Н € Н(О). Тогда

Дм = -4т(1 - 11х112)т-1ВтН + 4т(т - 1)(1 - ЦхЦ2)т-2Н(х). (8)

Доказательство проводится непосредственным вычислением лапласиана от и(х). А именно имеем:

и, = т(1 - ||^^^||^^)т-1 (-2х,)Н(х) + (1 - Цх112)тк[(х), ии = т(т - 1)(1 - ||x||2)m-24x2iН(x) - 2т(1 - ЦхЦ2)т-1 Н(х)+ +т(1 - ЦхЦ2)™-1 (-2х,)Н,(х) + т(1 - ||х||2)т-1(-2х,)Н, + (1 - ЦхЦ2)тНи, Ди = -4т(1 - ЦхЦ2)"1-1^' (х),х) - 2тп(1 - ЦхЦ2)т-1Н--4т(т - 1)(1 - ЦхЦ2)^2^ - ЦхЦ2 - 1)Н(х) = = -4т(1 - ЦхЦ2)"-1^', х) + (2+ т - 1)Н) + 4т(т - 1)(1 - ЦхЦ2)т-2Н,

откуда в силу (5) следует (8), что и требовалось доказать.

Лемма 2. Пусть Н(х) € Н(О). Тогда для любого т € Z и для любого I € N^0}

Пт(.Н) = -31-1Н + (т - I - 1)3,Н = 31(БтН). (9)

Доказательство. I. Сначала докажем первое из равенств (9) для I = 0. В этом случае в силу (7) оно принимает вид:

От.оН) = Н +(т - 1)1оН.

Чтобы найти Пт(3оН), предварительно находим (.оН) ,х). Имеем:

1

Л-11

1о Н(х) = J р2 1 Н(рх) йр,

1 1 --**,,=/р.-рх),х^ = / р. ^р» ¿Р = Р п Н-Р^

О О

1

- П J рп-1Н-рх) ¿р = Н-х) - П Н.

О

Отсюда, согласно (5), находим:

п / п \

От(Л°Н) = Н(х) - 2 Joh + + т - Л°Н = Н(х) + -т - 1)Л°Н,

что и требовалось доказать. Аналогично доказывается второе из равенств (9) для I = 0.

II. Теперь докажем первое из равенств (9) для I ^ 1. Имеем в этом случае:

1 ^ ЛН = I рп-1 Н(рх) ¿р,

О

1 1

(№',х) = I рп-1 (рх),х) ¿р = 1 рп ^^ ¿Н(рх) ¿р =

00 1

= Р2 ^Ь-рх)1 - / (Пр2-1 ^ + р2 Н-рх) ¿р =

О

1

„-1 -Р - V '

- ■ р2-1 -р 1 (2-р - 1) + 1-р - 1) + 0 Н(рх) ¿р

= - (П> + 0 ^ - л-Н

Пт(М) = ((^Н) ,х)+ (т - ^ ЛН =

= - (П> + 0 ^ - Л-Н + (2+ т - 0 ^ = 1Н + -т - 1 - 1)^-

Аналогично доказывается второе из равенств (9) для I ^ 1. Лемма доказана. Следствие. Если Н € Н-0) П С-0), то Вт-ЛН) допускает продолжение по непрерывности на 0.

Пусть Н-х) € Н-0),т € N. Для каждого целого неотрицательного р, не превосходящего т, введем семейство из р +1 гармонических в 0 функций

7 т,р 7 т,р 7 т Р

Но ,Н1 ,..., Нр'р условиями:

Нт'Р(х) = Лт-Р-1Н, -10)

Р-1 АЗ+1Л*-1

НТ'Р(х)=^2 I Лт-Р+3 Н -г = Т~р); -11)

3=1-1 л )'

здесь Лт = , т! - число размещений из т по е. Например, если т = 1, то для

О ~ (т-з)!

р = 0 это семейство состоит из одной функции Н¿'° = .7°Н; для р = 1 оно состоит из двух функций: НО'1 = З^Н = -Н и Н1'1 = Л°Н.

Лемма 3. Пусть т € N. Тогда для каждого целого р = 0,т - 1

Нт'Р = Нт

т-РНО = НО

^т-рНт 'Р = Н0 'Р+ , -12)

-Пт-р-Нт,р + КЛ _ НТ'Р+1 (г _ ГГр), (13)

Н^ _ (14)

Доказательство основано на использовании (9):

П нт'Р _ П (7 Н) _ 7 Н _ нтР+1

Пт-рН0 Пт-р(7т-р-1Н) 7 т-р-2Н Н0 ,

то есть проверено равенство (12). Равенство (14) следует из (11):

Нтр _ 1т-1Н У р _ 0, т.

Проверяя равенство (13), рассмотрим его сначала для г _ 1. В этом случае оно принимает вид:

П , Нт,р + Нт,р _ Нт,р+1

Пт-р- 1Н1 + Н0 _ Н1 .

Укажем преобразования, приводящие левую часть этого равенства к правой. Используя (10) и (11), получим:

р-1 А>+1Л0

П нт,р + Нт,р _ \ ~ р 3 б (7 Н) + 7 Н _

Пт-р- 1Н1 + Н0 / J 1|о| Пт-р- 1 (7 т-р+3Н) + 7т-р- 1Н

з=о ' 1

_ - Лр+1Л0 - Лр+1Л0 , _

У у Ю 7т-р+з-1Н - / у (— 2 - 3)'7т-р+з Н + 7т-р-1Н _

3=0 1 1 3=0 1 1

- Лр+1Л0 - Лр+1Л°

_ 1|о| 7т-(р+1)+з Н + ^ -1|о| (2 + Л7т-(р+1)+3 + 1Н + 7т-(р+1)Н.

з=0 | | з=0 | |

Располагая слагаемые правой части последнего равенства по возрастанию индекса оператора 7, приводим ее к виду:

р-1

Л + 1)7т-(р+1)Н + ^2(Лр+1 + Лр(1 + з))7т-(р+1)+з Н + Лр (1 + р7т-1Н.

з=1

Используя легко проверяемое тождество Лзр+1 + Лзр (1 + з) _ окончательно

получаем:

-1

Пт-р-1 Нт 'Р + Но'р _ Лр+17т-(р+1)Н + Лр+17т-(р+1)+з Н + Лр +17т-1Н _

з=1

р ЛЗ+1 Л0 Лр+1Лз

1|0|

з=0

что, согласно (11), и есть Нг0''р+1. Тем самым равенство (13) для г _ 1 доказано.

Теперь проверим (13) для г > 1. Преобразования, приводящие левую часть к правой, в этом случае таковы:

ЕЛр+1Лз Т 1

10 7т-(р+1)+з Н,

р-1 Лз+1 Л-1

-П Нт,р + Нт,р _ _ р 3 П (7 Н) +

Пт-р-гНъ + Нг-1 'М ' 1М Пт-р-г(7т-р+з Н) +

з=-1 г|(г - 1)|

^ Лр+1Л3г2 _ - Лр+1 Л-1

+ (г - 1)|(г - 2)| 7т-р+3Н _ ^ г|(г - 1)| 7т-(р+1)+3Н+

3 — Ъ 2 3 — ъ 1

- Л3р+1Л3-1 р-1 Лр+1Л3Т2

+ г|(г _ 1)| (г + 3 + 1)7т-(р+1)+3+1Н + (г_ 1)|(^ 2)| 7т-(р+1)+3 + 1Н.

3=1-1 |( )| 3=ъ-2 ( )( )|

Располагая слагаемые правой части последнего равенства по возрастанию индекса оператора Т, приведем ее к виду:

(Дг Дг-1 Дг-1 Дг-2 \

АрАг-1 , Ар Аг-2 \ т ,

г!(г - 1)! + (г - 1)!(г - 2)^ Тт-(р+1)+г-1 к+ - (Ар+1А- АрА-1 АрАгг\ )

+ Т, (+ ^(г + ,) + (г - Щ--2)] ^^к+

+ ^^Т^(г + р) + (г - 1)!(г - 2)^ ^

Учитывая устанавливаемые непосредственно тождества

Аг Аг-1 Дг

Ар , Ар _ Ар+ 1

И + (г -1)! _ г! '

Др+1 аг1 , ара- (г,,) , ара- _ Ар++1АГ1

г!(г - 1)! + г!(г - 1)!( + ,) + (г - 1)!(г - 2)! г!(г - 1)! '

Др Дг-1 др дг-2 др+1 дг-1

арар-1 (г , р) , арар-1 _ Ар+1Ар

г!(г - 1)Г Р) (г - 1)!(г - 2)! г!(г - 1)! '

окончательно получим:

дг р-1 Д3 + 1 Дг-1

Г) ит,р I ит,р _ р+1 Т и I р+1 3 т 7 .

-ит-р-гПг + пЧ-1 _ г! Тт-(р+1)+г-1к + г!(г - 1)! Тт-(р+1)+зк+

! 3=г

др+1Дг-1 р Д3+1 Дг-1

, Ар+1Ар Т к _ ^ Ар+1А3 т к

+ г!(г- 1)! Тт-(р+1)+рк _ г!(г_ 1)! Тт-(р+1)+3к

•V 1Ч з=г-1 ''

а это выражение согласно (11) и есть Нт'р+1. Лемма доказана.

Лемма 4. Пусть т £ М, I _ [т+1] , Ь™' _ Тт-1к. Тогда р-я степень лапласиана с р _ 0,1,... ,1 - 1 от функции

( ) 1 (1 -\\х\\2)т 0

ит(х) _ - 4т —т— н°

вычисляется по формуле

др«т _--"У (1 - \\Х\\2')т-р-г Нтр{х). (15)

т 4т-р (т-р-г)! г к ' к '

г=0 У 1 '

Доказательство. При р _ 0 формула (15) тривиальна для любого т £ N.

Если т _ 1 или т _ 2, то I - 1 _ 0. В этом случае значений р, для которых Дрит вычисляется по (15), только одно: р _ 0, а для него (15), как отмечалось, тривиальна. Следовательно, лемма верна для т _ 1 и т _ 2.

Если т > 2, то лемма доказывается индукцией по р от 1 до I - 1.

I. База индукции. Она устанавливается вычислением Дит с помощью лемм 1 и 3:

|2\т-1 /1 N„.112-1 т—2

Д 1 ( (1 -\\х\\2)т-1 ( п ,т,0)+4 ( 1)(1 -\\х\\2)т-2 о\

Дит _ 4т-:-(-итНо ) + 4т(т - 1)-:-ко'

4т у т! т! )

1 ( (1 -\\х\\2)т-1 кт,1 , (1 -\\х\\2)т-2 кт,1Л

1т-1 ^ (т - 1)! 0 + (т - 2)!

что совпадает с (15) при р = 1. Тем самым база индукции установлена. Заметим, что отсюда следует также справедливость леммы для т = 3 и т = 4.

II. Индуктивный шаг. Допустим, что (15) верна для р = д (д =1,1 — 2), и докажем, что тогда она верна и для р = д+1. Используя предположение индукции, линейность лапласиана и лемму 1, находим:

= Д(Д1 „) = — 4^ ± - ЬГ"1 (х)) =

1 ( Е 4

¿ = 0 V

4(т — д — ^ ' -(—Вт-^НТ'1)+

4т-д = V (т — д — г)!

¿=о

—д (1—

(т — д — г)!

1 ^л(т „ г)(1 — ||х||2)т—1—г—1( В )

(1 — ||х||2)т —1—® —2 \

+4(т — д — г)(т — д — г — 1)---—-Н™'1 I .

2 )т — д—г — 2

Располагая слагаемые в правой части последнего равенства по убыванию степеней бинома (1 — ||х||2), получим:

_ ( (1 — ||х||2)т—1—1

4т—1—1\ (т — д — 1)!

Д1+1и =__^ (1 — ИХ|Г Г " - (_ В НТ'1) +

Д ит = Лт.-п-1 1 „ 1М ( В™ — 1 Н0 ) +

+е ачмрг-1-1—- {_вт—,—,нт-+)+"-^Г"*—;т2 ч.

г=1 (т — д — 1 — г)! 4 г г 1 (т — 2д — 2)! 1

Применяя теперь лемму 3, окончательно будем иметь:

Д1+1и =__1 П1 — ||х||2)™—(1+1) н™'1+1 +

Д и™ = 4т—1—1\ (т — д — 1)! Н° +

+ * (1 — ЦхЦ2)™-^1- нтл+1 + (1 — ||Ж||2)™—2)—2 +Л + г=1 (т — д — 1 — г)! г + (т — 2д — 2)! 1+1 ¡,

что совпадает с (15) при р = д +1. Таким образом, индуктивный шаг выполним, и, значит, формула (15) верна для всех р =1, 2,... ,1 — 1. Лемма доказана.

Следствие. Пусть Н(х) € Н(П) П С(П) и р = 0,1 — 1. Тогда на Б Дрит = 0. Лемма 5. Пусть т € N,1 = [т+1 ], НТ'° = 1т—1Н. Тогда р-я степень лапласиана с р = 1,1 + 1,. .., т от функции

2 )т

ит(х) = ■-—зг— К

1 (1 — ||х||2Г то

4т

вычисляется по формуле

1 т— (1 _ ||х| I2 )т—Р—г

Д'и™ = — ' т—р —,)! >т"(х1 И6)

г=о

Доказательство. Если т =1 или т = 2, то I = 1. В этом случае утверждение леммы доказывается непосредственным вычислением степеней лапласиана с помощью формул (8), (12), (14). А именно

Ди1 = Д (—1(1 — ||х||2)Н0' = —1(4(—В1Н1 ' °)) = — Н0

это значит, что утверждение леммы выполняется для т = 1. Далее,

Ди2 = Д (-' . <1—Н2'°) =

Д2и = Д(Ди2) = -_Д ((1 -\\х\\2)Н20'1 + Н1'1) = -_Д ((1 -\\х\\2)Н20'1)

= -4 (-адО'1) = -'0'2;

1

"4

это значит, что утверждение леммы выполняется для т = 2.

Для т > 2 и р = !,т - 1 утверждение леммы доказывается индукцией по р от ! до т - 1.

I. База индукции. При р = ! формула (16) для т = 21 и т = 21 -1 принимает соответственно вид:

Д 1 ^ (1 ЧИР)- ,2«,«( ) (17)

Ди21 = - -^-ЬЧ (х), (17)

¿=0 v

лI 1 V! (1 -\\х\\2) 1 \2г-1,г/ ч /10ч

Д и2« 1 = -(1_ ^ г), ' '(Ч (18)

¿=0

Используя доказанную для Д-1 ит формулу (15), вычисляем Д«и_ с помощью (8):

1-1 ( -

Ди_ = Д(Д-^ = -^ ¿=0^"(т-!' +1 - г), к

1 —1 и_ = - 4т-г+1

( -4(т - ! +1 -

¿=0

«и =Д(Д«-1и)= 1 ^ Д^(1 -\\х\\2Г-1+1— — 1 (

_____ ^-4(т - 1 + 1 - гу(т -] +1 - .), Вт-1+1-гН^-Ч

1 ^г , , 1 л(1 -\\х\\2)_-г-Ч

+_(т - ! +1 - г)(т - ! - г)^_JJxl+_:_T_Ь_-Л .

(т - ! +1 - г), ' у

Располагая слагаемые в правой части последнего равенства по убыванию степеней бинома (1 -\\х\\2), получим:

Д 1 { (1 -\\х\\2)_-« ( п ,_,«-1)+

Д и_ = - -(т - ) (-В_-1+1Н' )+

^Ч1 - \\х\\2)Г'" " " , п ит,«-1 I ит'«-1\ I

+ ^ (т -! - г), ^т-^1^ + ^-1 )+

1

|2\_-2г

+(т - 21 + 2)(т - 21 + .,<1^

Преобразуя полученное выражение с помощью (12)—(14), окончательно находим:

Д =__^ ( (1 -\\х\\2)_-1 « + - (1 - ЦхЦ2Г-1- ,

Д и_ = (т - !), '0 + ¿=1 (т - ! - г)! ' +

(1 _ ихI2)™-2«

+(т - 21 + 2)(т - 21 + 1/ (т - 2! + 2), >

что совпадает с (17) для т = 2! и с (18) для т = 2! - 1. Тем самым формула (16) для р = ! доказана.

II. Индуктивный шаг. Допустим, что формула (16) верна для р = д (д = = 1,т — 2) и докажем, что тогда она верна и для р = д + 1. Используя предположение индукции и (8), находим:

=д(д* ит)=—^ Е т——д—у— к* (х))=

1 "^Т-1 { ? л(1 — 11 X 11 2)т

' — д — 1 / £

¿=0 у

—4(т — д — г)---—-Вт-ч^Нт,<1+

лт— п / ^ I Ч " / -\| ^т—д—:":

4т * ^ у (т — д — г)! '

(1 — 11 х 11 2)т — д—¿ — 2 \ +4(т — д — г)(т — д — г — 1)---—-И,"1'* ) .

(т — д — г)! ¿

Располагая слагаемые в правой части равенства по убыванию степеней бинома (1 — 11 х11 2), получим:

дп+1м =__^ { (1 — 11 х 11 2)т—П—1 (_В "п)+

Д и" = 4т—п—1\ (т — д — 1)! ( Пт—д И )+

т—п—1 (1 |Х|\2)т—д—— + V"4 (1 11х11 )_( П И"'* + И"'* )

+ ¿=1 (т — д — 1 — г)! (—Пт—д^И + ^ ^ .

Преобразуя полученное выражение с помощью (12)—(14), окончательно будем иметь:

ДП+1ит = — ^ { (1 -ЦХЦ2)т—:—1 С-1 + Т (1 — ' ' Х ' ' 2)т —*"Г: НТП+Л ,

1

что совпадает с (16) при р = д + 1. Тем самым установлено, что индуктивный шаг выполним, и (16) доказана для р = 1,т — 1. Отсюда следует справедливость (16) и для р = т :

Д"ит = Д(Дт—1ит) = Д ^ — 4 Е (1 —1 '—1 12? ^' НТ'т—1^ = = Д (—1(1 — 11 х 11 2)Н"'т—^ = — 4 (—4АСт—^ = —К'т.

Лемма доказана.

Следствие 1. Для р = т Дрит = И в П, для р > т Дрит =0 в П. Действительно, согласно (16), Дтит = —И"'" = —,1—1Н = И в П. Так как И(х) гармоническая в П функция, то при р > т Дрит = Др—т(Дтит) = Др—тИ =

= 0 в П. _

Следствие 2. Пусть И(х) € Н(П) П С(П), и р = 1,т. Тогда на Б

Дри =__— ит'Р

Д = 4"—р ' т—р.

3. Доказательство основного результата

Покажем, что функция (2) удовлетворяет в П уравнению

Дк+1

и = 0. Так как

д0 = /о, то эта функция и(х) есть сумма /(х) и функций

и:(х) = — 4г • (1 — 1 'х 11 2): ^—1д* (г = М).

4: г!

Напомним, что через /* условились обозначать решение задачи Дирихле Дм = = 0 в О, и = / на функции д* (г = 1,к) определяются через функции дг, задаваемые рекуррентными соотношениями (3), (4). Итак, в О

к

и(х) = /*(х) + иг(х).

г=1

Учитывая, что по следствию 1 из леммы 5 Дк+1 иг = 0 в О для любого г = 1, к, отсюда находим:

к

Дк+1и = Дк+1/0* +^Дк+1мг = 0 в О,

г=1

то есть функция (2) удовлетворяет уравнению задачи (1).

Теперь покажем, что она удовлетворяет и граничным условиям этой задачи. Для этого вычислим Дри У р = 1, к. Через I далее будем обозначать целую часть числа .

1. Случай р < I. В этом случае для г = 2р +1, 2р + 2,..., к Дриг =0 на 5 по следствию из леммы 4. Для г = 1,... ,р — 1 Дриг = 0 в О по следствию 1 из леммы 5. Так как для х £ 5 Дриг(х) = Иш Дриг(у) (у £ О), то и на 5 Дриг = 0

у^х

для г = 1,... ,р — 1. Поэтому на 5 будем иметь:

к 2р Дри = ^ Дриг = £ Дриг.

г=1 г=р

Для г = р,р +1,..., 2р, по следствию 2 из леммы 5 на 5

дрм. =__—(д*)г'р

Д и = ^г-р (дг )г-р.

Следовательно, на 5

2р 1 р 1 р 1

Дри = В—^ (д*)г-р) = т,(—1 (д*+р))г+р'р = —(д* )р,р — £ 1 (д*+р^р'р.

г=р г=0 г=1

Для дальнейшего преобразования полученного выражения используются имеющие место в О равенства, полученные с помощью (4), (10) и (11):

р 1 р-1 ЛЗ+1 Аг-1

< *\р,р _ Т * — * — -Р* I 1 р з т *

— (др)о = —^-1др = др = !р + ~\Г~1)Гдр+г,

г=1 з=г-1 ''

р-1 лр+1л1г1

(др+г)г+Р'Р = =- гцг — 1)! ^г+3 д*р+г. (19)

Так как д**,...,д* £ С (О), то эти равенства имеют место и на 5. Поэтому на 5

р 1 р 1

дри = /*+£ 1 (д;+г)г+р,р—£ 1 (д;+г)г+р,р = /; = /р.

г=1 г=1

2. Случай р ^ I. В этом случае по следствию 1 из леммы 5 Дриг = 0 для г = 1, . . . , р - 1 в О, а, значит, и на 5. Поэтому на 5

к к Дри = ^Дриг =^Дриг.

Но для г = р,р + 1,р + 2,..., к по следствию 2 из леммы 5 на Б

ЛРу- =__— (о*У'р

А и = 4—р (0г )-р .

Следовательно, на Б

к ( 1 \ к-р 1 к-р 1 Ари = £ -Т— (о№р = - £ 4(о;+р)Г+р'р = -(о*)Р'р - £ 4(ои^.

г=р ^ ' г=0 1=1

Далее используется вытекающее из (3), (10) равенство

к-р 1 р-1 АЗ+1 А1-1 < *\р,р _ т * _ * — -е* I 1 р з т *

-(0р)о = -7-1ор = 0р = !р ~\Т~1)Г0р+4,

г=1 з=г-1 ''

а также равенство (19), вытекающее из (11). С их помощью находим на Б :

к-р 1 к-р 1

дри = /*+£ 1 (о;+г):+р'р - £ 1 (о^* = /* = /р.

Тем самым доказано, что Ари = /р на Б при каждом р = 1,к; равенство и(х) = = /о(х) на Б очевидно. Следовательно, функция (2) удовлетворяет граничным условиям задачи (1). Теорема доказана.

Замечание 1. Найденное решение и(х) задачи (1) принадлежит классу Ак(11) функций у(х) таких, что V, Ау,..., Ак V £ С (£1). Действительно, из (2) видно, что оно представлено в виде линейной комбинации функций

(1 -\\х\\2)1.1зо* (г = 0~к, з = -1,к - 1, р = 0к).

В силу лемм 1 и 2 степени лапласиана от первой до к-й включительно от и(х) также представимы в виде линейной комбинации этих функций. Из принадлежности функций /0, /1,..., /к классу С (Б) следует принадлежность классу С (11) функций /*,...,/*, что влечет принадлежность классу С (11) функций о* (р = 0,к) и, значит, принадлежность классу С(11) функций 7о* (з = -1, к - 1, р = 0, к). Отсюда и следует, что и, Аи,..., Аки £ С(11).

Аналогично устанавливается, что если /о, /1,..., /к £ С1'а(Б) (I ^ 2, 0 < а ^ 1), то решение (2) задачи (1) принадлежит классу А1^а(11) функций у(х) таких, что у, АУ,..., Аку £ С1а(й).

Замечание 2. Нетрудно доказать, что найденное решение (2) задачи (1) — единственное в классе Ак (11). Для этого, очевидно, достаточно доказать, что единственным в этом классе решением однородной задачи

Ак+1и = 0 в 1; и = 0, Аи = 0,..., Аки = 0 на Б (20)

является функция, тождественно равная 0 в 1. Это можно установить индукцией по к.

Пусть и0(х) £ А1(11) — решение задачи (20) с к = 1. Тогда у0 = Аи0 £ С(11) — решение задачи Дирихле Ау = 0 в 1; V = 0 на Б. Поэтому Уо(х) = 0 в 11. Это значит, что ио — решение задачи Дирихле Аи = 0 в 1; и = 0 на Б. Следовательно, ио(х) = 0 в 11. Допустим теперь, что единственным в классе Ар(11) решением задачи (20) с к = р является функция, тождественно равная нулю в 11, и пусть и0(х) £ Ар+1(И) — решение задачи (20) с к = р + 1. Тогда у0 = Ар+1и0 £ С(11) — решение задачи Дирихле Ау = 0 в 1, V = 0 на Б. Поэтому уо = 0 в 11. Следовательно, ио — решение из класса Ар(11) задачи (20) с к = р. В силу предположения индукции тогда ио(х) = 0 в 11.

Литература

[1] Nicolesco M. Les fonctions polyharmoniques. P., 1936.

[2] Векуа И.Н. Новые методы решения эллиптических уравнений. М.; Л. 1948. 296 с.

[3] Дезин А.А. Вторая краевая задача для полигармонического уравнения в пространстве W2m) // Доклады АН СССР. 1954. Т. 96. № 5. С. 901-903.

[4] Бицадзе А.В. О некоторых свойствах полигармонических функций // Дифференциальные уравнения. 1988. T. 24. № 5. C. 825-831.

[5] Карачик В.В. Об одной задаче для полигармонического уравнения в шаре // Сибирский математический журнал. 1991. T. 32. № 5. C. 51-58.

[6] Mouctafa K. Damlakhi. Riquier problem in a biharmonic space // Tamkang Journal of mathematics. 2003. V. 34. № 2. P. 99-104.

[7] Карачик В.В. Решение задачи Дирихле для полигармонического уравнения в шаре // Вестник Национального исследовательского ядерного университета МИФИ. 2014. 3:6. C. 649-655.

[8] Карачик В.В. Построение полиномиальных решений задачи Дирихле для полигармонического уравнения в шаре // Журнал вычислительной и математической физики. 2014. 54:7. C. 1149-1170.

[9] Гулящих И.А. Задача Неймана для полигармонического уравнения в единичном шаре // Вестн. Южно-Урал. ун-та. Сер.: Матем. Мех. Физ. 2015. 7:2. C. 70-72.

References

[1] Nicolesco M. Les fonctions polyharmoniques. P., 1936 [in French].

[2] Vekua I.N. New methods for solving elliptic equations. M.-L., 1948, 296 p. [in Russian].

[3] Dezin A.A. Second boundary value problem for a polyharmonic equation in the space of W2m). Doklady AN SSSR [Reports of the Academy of Sciences of the USSR], 1954, Vol. 96, no. 5, pp. 901-903 [in Russian].

[4] Bitsadze A.V. On some properties of polyharmonic functions. Differentsial'nye uravneniia [Differential equations], 1988, Vol.24, no. 5, pp. 825-831 [in Russian].

[5] Karachik V.V. On a problem for polyharmonic equation in a ball. S'ibirskii matematicheskii zhurnal [Siberian Mathematical Journal], 1991, Vol. 32, no. 5, pp. 51-58 [in Russian].

[6] Mouctafa K. Damlakhi. Riquier problem in a biharmonic space. Tamkang Journal of mathematics, 2003, Vol. 34, no. 2, pp. 99-104 [in English].

[7] Karachik V.V. Solution of the Dirichlet problem for polyharmonic equation in a ball. Vestnik Natsional'nogo issledovatel'skogo iadernogo universiteta "MIFI" [Bulletin of the National Nuclear Research University "MEPhI"], 3:6 (2014), pp. 649-655 [in Russian].

[8] Karachik V.V. Construction of polynomial solutions of the Dirichlet problem for polyharmonic equations in a ball. Zhurnal vychislitel'noi i matematicheskoi fiziki [Journal of computational and mathematical physics], 54:7 (2014), pp. 1149-1170 [in Russian].

[9] Gulayshih I.A. Neumann problem for a polyharmonic equation in unit ball. Vestn. luzhno-Ur. un-ta. Ser. Matem. Mekh. Fiz. [Vestnik of South Ural State University. Series: Mathematics. Mechanics. Physics], 2015, 7:2, pp. 70-72 [in Russian].

E.V. Borodacheva, V.B. Sokolovskiy2

INTEGRAL REPRESENTATIONS OF SOLUTIONS OF RIQUIER FOR POLYHARMONIC EQUATIONS IN N -DIMENSIONAL BALL

The solution of Riquier's problem — the problem of finding in n-dimensional ball of solving k + 1 - harmonic equation for given values on the boundary of the desired solution u and powers of the Laplacian from one to k inclusive of this decision is obtained. The first part provides an exact statement of the problem, the main result (form of the solution of it), and the idea of this proof is stated. The second part introduces a family of some differential and integral operators in the space of harmonic functions in the ball used in the proof of the main result; some properties of these operators are set. The content of the third part is the proof of the main result. It is based on the properties of operators introduced in the second part.

Key words: differential equations, polyharmonic equation, polyharmonic functions, biharmonic equation, boundary value problems, the problem of Riquier for a polyharmonic equation.

Статья поступила в редакцию 28/V/2015. The article received 28/V/2015.

2Borodacheva Elena Valerievna ([email protected]), Department of Equations of Mathematical Physics, Samara State University, 1, Acad. Pavlov Street, Samara, 443011, Russian Federation.

Sokolovskiy Valeriy Borisovich ([email protected]), Department of Functional Analysis and the Theory of Functions, Samara State University, 1, Acad. Pavlov Street, Samara, 443011, Russian Federation.