Научная статья на тему 'Условия разрешимости задачи Неймана N2 для полигармонического уравнения в шаре'

Условия разрешимости задачи Неймана N2 для полигармонического уравнения в шаре Текст научной статьи по специальности «Математика»

CC BY
72
12
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ЗАДАЧА ТИПА НЕЙМАНА / ПОЛИГАРМОНИЧЕСКОЕ УРАВНЕНИЕ / УСЛОВИЯ РАЗРЕШИМОСТИ / NEUMANN-TYPE PROBLEM / POLYHARMONIC EQUATION / SOLVABILITY CONDITIONS

Аннотация научной статьи по математике, автор научной работы — Карачик В.В.

Рассмотрен класс задач типа Неймана, зависящий от натурального параметра k, для полигармонического уравнения в единичном шаре. Задачи этого класса обобщают как известную задачу Дирихле, так и задачу Неймана. В ряде работ для класса таких задач было найдено множество необходимых условий разрешимости этой задачи и было выдвинуто предположение, что наиболее полный вариант найденных необходимых условий является также и набором достаточных условий разрешимости задачи. Для задачи N1 этот факт был известен. В настоящей работе для задачи N2, для однородного m-гармонического уравнения в единичном шаре, доказывается предположение о совпадении найденного ранее множества необходимых условий с достаточными условиями разрешимости этой задачи. Сначала с помощью замены переменных задача N2 сводится к более простой задаче Дирихле N0, решение которой считается известным. Затем находятся условия, при которых сделанная замена переменных обратима. Найденные здесь условия связаны с наличием у решения задачи Дирихле членов первого порядка малости в ее разложении в окрестности нуля. Затем используются ранее полученные результаты о связи значения m-гармонической в единичном шаре функции в центре шара со значениями нормальных производных этой функции на границе шара. Полученные условия разрешимости преобразуются к условиям, связанным со значениями интегралов по сфере от полиномов от нормальных производных искомого решения на единичной сфере, коэффициенты которых являются элементами арифметического треугольника Неймана. Найденные условия совпадают с полученными ранее необходимыми условиями разрешимости задачи N2.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

SOLVABILITY CONDITIONS OF THE N2 NEUMANN-TYPE PROBLEM FOR POLYHARMONIC EQUATION IN A BALL

The Nk Neumann-type class of problems for a polyharmonic equation in the unit ball is considered. The problems of this class generalize both the well-known Dirichlet problem and the Neumann problem. In a number of works, the set of the necessary conditions for the solvability of this problem has been found for the problems of such class, and it has been assumed that the most complete version of the found necessary conditions is also a set of the sufficient conditions for the solvability of the problem. This was a known fact with regard to the N1 problem. In this study, an assumption that the found set of the necessary conditions coincides with the sufficient conditions of solvability of the N2 problem for a homogeneous m-harmonic equation in a unit ball is proved. First, by changing the variables, the N2 problem is reduced to a simpler N0 Dirichlet problem, the solution to which is considered to be known. Next, the conditions, under which the performed change of the variables is reversible, are found. The conditions found here are connected with the Dirichlet problem's solution having terms of the first order of smallness in the expansion in the neighborhood of zero. Finally, the previously obtained results are used, which concern the value of the m-harmonic function in the unit ball in the center of the ball with the values of the normal derivatives of this function at the boundary of the ball. These solvability conditions are transformed to the conditions associated with the values of the integrals over the sphere of polynomials in the normal derivatives of the desired solution on the unit sphere, the coefficients of which are the elements of the arithmetic Neumann triangle. The found conditions coincide with the previously obtained necessary conditions for the solvability of the N2 problem.

Текст научной работы на тему «Условия разрешимости задачи Неймана N2 для полигармонического уравнения в шаре»

УДК 517.956.223+517.575

DOI: 10.14529/mmph200202

УСЛОВИЯ РАЗРЕШИМОСТИ ЗАДАЧИ НЕЙМАНА N2 ДЛЯ ПОЛИГАРМОНИЧЕСКОГО УРАВНЕНИЯ В ШАР2 Е

В.В. Карачик

Южно-Уральский государственный университет, г. Челябинск, Российская Федерация E-mail: karachik@susu.ru

Рассмотрен класс задач типа Неймана, зависящий от натурального параметра к, для полигармонического уравнения в единичном шаре. Задачи этого класса обобщают как известную задачу Дирихле, так и задачу Неймана. В ряде работ для класса таких задач было найдено множество необходимых условий разрешимости этой задачи и было выдвинуто предположение, что наиболее полный вариант найденных необходимых условий является также и набором достаточных условий разрешимости задачи. Для задачи N этот факт был известен. В настоящей работе для задачи N2, для однородного m -гармонического уравнения в единичном шаре, доказывается предположение о совпадении найденного ранее множества необходимых условий с достаточными условиями разрешимости этой задачи. Сначала с помощью замены переменных задача N2 сводится к более простой задаче Дирихле N0, решение которой считается известным. Затем находятся условия, при которых сделанная замена переменных обратима. Найденные здесь условия связаны с наличием у решения задачи Дирихле членов первого порядка малости в ее разложении в окрестности нуля. Затем используются ранее полученные результаты о связи значения m -гармонической в единичном шаре функции в центре шара со значениями нормальных производных этой функции на границе шара. Полученные условия разрешимости преобразуются к условиям, связанным со значениями интегралов по сфере от полиномов от нормальных производных искомого решения на единичной сфере, коэффициенты которых являются элементами арифметического треугольника Неймана. Найденные условия совпадают с полученными ранее необходимыми условиями разрешимости задачи N2.

Ключевые слова: задача типа Неймана; полигармоническое уравнение; условия разрешимости.

Введение. Пусть S = {xе Ш" :| x |< 1} - единичный шар в Ш", n > 2 , а OS = {xе Ш" :| x |= 1} -

единичная сфера, где | x | xj2 + x2 +... + x", . В работе [1] были найдены необходимые условия разрешимости следующего класса краевых задач типа Неймана Nk, зависящего от параметра k е N о для полигармонического уравнения

Dmu = f ( x), x е S ; (1)

O ku Э k+1u Эк+m-1u

n u = j(x),T"k+ru = j2(x),---,Tnt+m-hos = jm(x), xîos, (2)

OV OV OV

где —--внешняя нормальная производная к единичной сфере, m е N. Класс задач Nk является

Ov

частным случаем краевых задач для полигармонического уравнения с нормальными производными высокого порядка в граничных условиях, рассмотренных в [2]. Задача N0 является задачей Дирихле, которая, безусловно разрешима, а задача N1 совпадает с задачей Неймана [3, 4]. В работе [5] А.В. Бицадзе выписал необходимые и достаточные условия разрешимости задачи N1 при m = 1, 2 и показал, что она решается в квадратурах.

Исследования разрешимости некоторых постановок задач типа Неймана в единичном шаре, кроме перечисленных выше работ, можно найти также для бигармонического уравнения (в частности задачи N1 и N2) в работах [6-11], а для полигармонического уравнения в работах [12,

13]. В работе [14] для краевых задач для полигармонического уравнения с нормальными производными в граничных условиях получено достаточное условие фредгольмовости этих задач и приведена формула их индекса. В [15] исследовались полиномиальные решения задачи Дирихле для полигармонического уравнения при полиномиальных данных и приведены формулы, позволяющие легко строить полиномиальные решения задачи.

Задача М2. Исследуем частный случай задачи (1)-(2) - задачу М2 для однородного полигармонического уравнения, которую можно переписать в виде

Лти = 0, х е 5; Л[2]и |Э5 = р(х),..., Л[т+1]и |Э5 = рт (х), х е Э5 , (3)

п ^

где Л = V х, — , ^т] = ф -1) ... ^ - т +1) - т -я факториальная степень t, причем ^0] = 1, и

1=1 Эх,

справедливо равенство Л['] и =-- на Э5. Рассмотрим т -гармоническую в 5 функцию

Эп'

V = Л[2]и . Относительно этой функции получим следующую задачу:

Л^ = 0, хе 5, V|э5 = р(х),(Л-= р2(х),...,(Л-2)[т-1]V|э^ = <Рт(х), хе Э5, приводящуюся к задаче Дирихле, которая безусловно разрешима, и решение которой будем считать известным и таким, что V е Ст-1(5) . Рассмотрим уравнение V =

л[2]и

относительно функции и(х) в т -гармонических в 5 функциях. Докажем, что это уравнение разрешимо тогда и только тогда, когда т -гармоническая в 5 функция v(х) в своем разложении в окрестности нуля не имеет членов нулевого и первого порядка малости, а значит задача М2 разрешима. Действительно, если уравнение V =

л[2]и

разрешимо, то раскладывая функции и(х) и v(х) в ряд Тейлора в окрестности нуля и(х) = Vи' (х) и

'=0

v(х) = V и1 (х), учитывая единственность этого разложения и возможность почленного диффе-

'=0

ренцирования ряда для однородных многочленов и1 (х) и vi (х) степени ' получаем равенство vi (х) = Л[2]и'(х). Значит, так как Л[2]и' (х) = 0 при ' = 0,1, то получаем необходимость условий v0 (х) = v1 (х) ° 0. Достаточность этих условий следует из формулы

и(х) = - — + < + С0 (х) + С (х),

•>0 t ^0 t

где С' (х) - произвольные однородные полиномы степени '. Правая часть этой формулы корректна, поскольку v(х) = 0(| х |2), | х |® 0, а значит, несобственные интегралы сходятся. Проверим, что Л[2]и = V . Действительно, так как

n ^ n

Av(tx) = V x1 —v(tx) = tV XjVx (tx) = tDtv(tx), tl dx. 1

1=1

A[2]Cl (x) = 0 , то будем иметь

Л[2]и = -(Л -1)|1 Л + Л(1- -2 v(tx)) Л =

= -(Л - 1)М х) - v(0)) + Л(1 v(tx) |0 + Ю (1 v(tx) - -1 v(tx)) л) =

t -10 г t2

= -(Л - 1М х) + Лv( х) = v( х). Поэтому при условиях v0(х) = х) ° 0 т -гармоническая в 5 функция и(х) существует и для нее выполнены граничные условия (3). Что и требовалось доказать.

Вспомогательные утверждения. В работе [16] доказано следующее утверждение.

и

Карачик В.В.

Условия разрешимости задачи Неймана М2 для полигармонического уравнения в шаре

Теорема 1. Для любой m -гармонической в S функции V е верно равенство

=—I* + ^^ Л + - + Л[т-1]^,

Л) ■> С»

т-1

где числа 1) - коэффициенты многочлена Нт-1 (1) = т ^т 1) 1' (считаем Н° = 1), такого что

/=°

Н[т-1](1) =

(-1)

т -1

(2т - 2)!!

(1-2)-(1-2т + 2).

(4)

Следует заметить, что если рассмотреть дискретную производную многочлена Р(1) в виде Р(1) (1) = Р(1 +1) - Р(1), то из (4) буде м иметь

^^ = 1(Н[т-1])(г)(°).

/!

(5)

Из теоремы 1 вытекает, что для функции w(х) = Ли(х), при т -гармонической в й функции и( х), верна формула

т -1 т

1 (-1) т^л^

w(°) = -

( (2т-2)!!-'^/=' где числа р/'' находятся из равенств

р?> = (-1)

Лк)

,(*) = , пк-/ ( 2к - / -1) (2к - 2/ +1)!!

[ / -1 ) 2к - 2/ +1 Эти числа составляют целочисленный треугольник Неймана Р [1]

1

(6)

Р=

-1 1

-3 1

Преобразуем равенство v(0) = Л[2]и (°) к аналогичному виду. Для факториальных полиномов кк Р[к] (1) = т Р(к)1[ ], соответствующих Рк (1) ° т Р(к 1', верно представление [ 17]

Р[к] (1) ° т р(к 1[''] = (1, -2)к ° 1(1 ■- 2) - (1 - 2к + 2)

/=1

где (а,Ь)1 = а(а + Ь)--- (а + (I - 1)6) - обобщенный символом Похгаммера. Лемма 1. При к, s е n справедливо следующее равенство

" ' sл

1[к 1=тп+<]к['-<].

Доказательство. Проведем индукцию по s . При s = 1 лемма верна

1[к]1[1] = 1[к] (1 - к + к) = к1[к] + 1[к+1]. Пусть лемма верна при некотором целом s > 1. Тогда

ич=(1-s)m (s 1я[к+']к[4-<]=т \s 1к[4-<](1[к+'+1]+

/=0 v ) «+1/

/=° V )

+(к+/ - s)1[k+/])=т -1 Jk[s-'+l]1[k+']+т ^

.^-/+1] 1_к+/]=

/=° ^

= т ([/ -1) + [S^)к['+1-']1[к+'] = т (S + 11[к+']к['+1-'].

/=° V V [* Шаг индукции доказан, а значит, лемма верна.

/=о [ ' )

(7)

3

Замечание 2. Если в формуле из леммы 1 заменить индекс суммирования ' ® 5 -', то будем иметь

Л[к]Л[5] = V Г 5Л[к+5-']к[']. 1=01' /

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Первое условие разрешимости задачи М2. В силу леммы 1 при 5 = 2 имеем Л[к ]Л[2] = к [2]Л[к ] + 2кЛ[к+1] + Л[к+2] и, значит, по теореме 1 можно записать

1 т-1 1 т-1

1 г __ Г

v(0) ="Lfas V h(m~1)A[l]v(x)dsx =—f V h(m~1)A[l]A[2]u(x)dsx =

Wn 1=0 —n 1=0

i m—1

= —f V h1(m—1) (a[1+2] + 21A[1+1] + 1[2]A[1])u( x) dsx =

—n 1=0

i m+1 m m—1

=—fa, ( V ^ + 2 V (1 — 1УЙ—1) + V 1(1 — 1)h(m—1))A[l]u (x) dsx.

—n 1=2 1=2 1=2

Если добавить нулевые члены h^ 1) во вторую сумму и нулевые члены h^ 1) и hm+11) в третью, то будем иметь

1 m+1

v(0) =—fas V (h,—2—1} + 2(1 — 1)h,(_m1—1} +1(1 — 1)h(m—1))A[1 ]u(x)dsx.

—n 1=2

Используя формулу (5) найдем

h/—2" 1) + 2(1 — 1)Ай—1) +1(1 — 1)h,(m—1) = (1-12)7 (Hm—1] (l) +

+2(H[m—1])(1)(1) + (H[m—1])(2)(1))(1—2)(0) = X

x(H[m —1](1) + (H[m —1])(1)(1) + (H[m —1])(1)(1 + 1))°'—2)(0) = 2)7 X

x(H[m —1] (l + 1) + (H[m —1])(1) (l + 1))(1—2) (0) = (1—2)7 (H[m—1] l + 2))('—2) (0). Отсюда находим

1 m+1 1

v(0) = — fas V 7^(H[m—1](1 + 2))(1—2)(0)A[1 ]u(x)dsx =

—n 1=2 (1 2)-

i m—1 i

= — fas V ^[m—1] (l + 2))(1) (0) A[1+2]u(x) dsx. — aS 17

i m—1 i

1 Г ,„ _yf)

"n 1=0

\m—1

(—1)"

Из (4) с учетом (7) получаем H[m—1] (l + 2) =-P[m—1] (l), а значит

(2m 2)77

1 i l^m —1 m—1 i

v(0)= -L-(—1-f Vip« 1](0)A[1+2]u(x)dsx =

— (2m — 2)!h as 1=0 1! [m —1l] x

1 i i\m—1 m—1 i / i\m—1 m—1

1 (—1) f Vp(m—1)A[l+2]u(x)dsx =—1)-f V p(m—1)j,+1(x)dsx

(Оп (2т-2)!!->(Оп (2т-2)!!->^ где было учтено, что = 0 , а коэффициенты р(т-1 находятся из (6). Значит, первое доста-

точное условие v(0) = 0 разрешимости задачи М2 приводится к виду

^ (л(т-1>2(х) + ••• + Ртт-Рт (х))<5х = 0. (8)

Второе условие разрешимости задачи М2. Выясним, что означает условие х) ° 0 в терминах граничных функций задачи (3). Воспользуемся теоремой 6 из [18].

Карачик В.В. Условия разрешимости задачи Неймана М2

для полигармонического уравнения в шаре Теорема 2. Пусть w(х) - гармоническая в £ и непрерывная в £ функция, тогда имеет место равенство

{Хи (Х)н(Х) = gvG(v)(в>( х)|х=°,

где [0(Г)(х):пе №,п1 > — >пп,Уп = °,1} - полная система гармонических полиномов [18, теорема 2], а gv > 0 - некоторая константа.

Используя эту теорему, в примере 4 из [18], была доказана следующая формула

1 г 1

- dsx= -Нх' (0).

(Оп •,|Х|=1 п '

Пусть н1( х) - однородный полином первой степени в разложении х) в окрестности нуля, тогда в силу формулы выше для гармонической в й и непрерывной в £ функции н(х) верно утверждение

(х) ° 0 о "Н1 (х)Нх (Х)Н(Х)dsx = °, где Н1(х) - произвольный однородный гармонический полином первой степени. Заметим, что для т -гармонической (т > 1) в £ функции v(х) это не так, например, для функции

v(х) = хI (1-1 х |2). Это так, поскольку под интегралом суммируются однородные составляющие 1-го порядка всех гармонических компонент из разложения Альманси функции v(х).

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

Лемма 2. Пусть т -гармоническая в £ функция V е Ст-1(£) , тогда

V (х) ° 0 о "Н1 (х) | Н1 (Х)(Л - 3) — (Л - 2т + 1)v(X) dsx = 0, где Н1 (х) - однородный гармонический полином степени 1.

Доказательство. В силу следующего свойства (Л + 2т)Ати =ДтЛи оператора Л функция

V( х) = (Л - 3) — (Л - 2т +1>( х)

является т -гармонической в й и непрерывной в й и пусть ее разложение Альманси в й имеет вид

V(х) = т?(0) (х)+1 х |2 V® (х) +—+1 х |2т-2 т?(т-1) (х), где 1Р(')(х) - гармонические в £ функции. Это возможно в силу звездности области £. Рассмотрим гармоническую в £ функцию х) = (х) + V® (х) + — + т?(т-1) (х). Докажем, что х) обладает свойствами

V (х) = (- 1)т-1 (2т - 2)!! V (х), (х) = л?1 (х), где н1( х) и 1Р1( х) - однородные полиномы 1-го порядка в разложении х) и у( х) в окрестности нуля. Если это так, то

МХ) dsx = 0

и поскольку

V (х) ° 0 о V (х) ° 0 о (х) ° 0 о "Н1 (х) | Н1 (£М£) dsx = I |э£Н1(Х)н(Х) dsx= |Э£Н1ХЖ£) dsx,

Jд£ ^^ С, Jд£

то утверждение леммы будет доказано.

Нетрудно видеть, что поскольку Л | х |2' V(') (х) =| х |2' (Л + 2/)v(') (х), то можно записать

т -1 т -1

т |х |2' Vе0 (х) = 0(х) = (Л - 3)—(Л - 2т +1)т |х |2' V0}(х) =

'=0 '=0 т -1

= т |х |2' (Л - 3 + 2') — (Л - 2т +1 + 2'>(0 (х) '=0

и, значит, в силу единственности разложения функции в формулу Альманси имеем

v(i) (x) = (Л - 3 + 20... (Л - 2m +1 + 2i)v(i) (x).

Поскольку v (x) = v}0) (x) и v1 (x) = v1(0) (x), то отсюда следует

V (x) = V'1(0) (x) = (Л - 3)... (Л - 2m + 1)v1(0) (x) = (-2)... (-2m + 2)v1 (x) и значит v1 (x) ° 0 ^ V1 (x) ° 0 . Кроме того, из этой формулы будем также иметь

m-1 m-1 m-1

М x) = Z vf( x) = v<0>( x) + X fЧx) = V1( x) + X (2i - 2)...(2i - 2m + 2)vf}(x) = x)

i=0 i=1 i=1 и значит V1 (x) ° 0 ^ w1 (x) ° 0 . Лемма доказана.

Преобразуем условие ортогональности из леммы 2. Пусть H1(x) - однородный гармонический полином первой степени. С помощью (7), учитывая что v = Л[2]и , запишем

m

¡дзН1(Х)(Л-3)...(Л-2m + 1)v(X) dsx= ^(^П (Л-2 j + 1)Л (X) ds^ =

j=1

mm

= LH1(X)I рТ\Л-1)[j] Ли (X) dsx = ¡dsH1(X)Z Л[ j+1]u (X) dsx = j=1 j=1

m

= iash1(X)Z P ГЧ (X) ds%

j=1

и значит второе достаточное условие разрешимости задачи N2 примет вид

jasH1(X)(p1(m) j(X) +... + pmm)jm (X)) dsx = 0. (9)

Итак, достаточные условия разрешимости задачи N2 при условии v е Cm-1(S) имеют вид (8)-(9). Заметим, что условия (8)-(9), согласно результатам работы [1], являются и необходимыми условиями разрешимости задачи N2. Например, для 3-гармонического уравнения (m = 3) условия (8)-(9) с помощью строк треугольника Неймана P записываются в виде

jas(-j(X) + j(X))dsX= 0, fasH1(X)(3j(X)-3j(X)+ j(X))dsX= 0.

Литература

1. Карачик, В.В. Класс задач типа Неймана для полигармонического уравнения в шаре / В.В. Карачик // Вычислительная математика и математическая физика. - 2020. - Т. 60, № 1. - С. 132-150.

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

3. Бицадзе, А.В. К задаче Неймана для гармонических функций / А.В. Бицадзе // ДАН СССР. - 1990. - Т. 311, № 1. - C. 11-13.

4. Карачик, В.В. Об арифметическом треугольнике, возникающем из условий разрешимости задачи Неймана / В.В. Карачик // Математические заметки. - 2014. - Т. 96, № 2. - С. 228-238.

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

6. Turmetov, B. On solvability of the Neumann boundary value ргоЫеш for non-homogeneous bi-harmonic equation / B. Turmetov, R. Ashurov // British Journal of Mathematics & Computer Science. -2014. - Iss. 4. - P. 557-571.

7. Карачик В.В. Обобщённая третья краевая задача для бигармонического уравнения / В.В. Карачик // Дифференциальные уравнения. - 2017. - Т. 53, № 6. - C. 761-770.

8. Turmetov, B. On solvability of some boundary value problems for a biharmonic equation with periodic conditions / B. Turmetov, V. Karachik // Filomat. - 2018. - Vol. 32, Iss. 3. - P. 947-953.

9. Popivanov, P. Boundary value problems for the biharmonic operator in the unit ball / P. Popivanov // AIP Conference Proceedings. - 2019. - Vol. 2159. - Iss. 1. - 030028.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Карачик В.В. Условия разрешимости задачи Неймана N2

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

10. Карачик, В.В. О задаче Дирихле-Рикье для бигармонического уравнения / В.В. Карачик, Б.Т. Торебек // Математические заметки. - 2017. - Т. 102, № 1. - С. 39-51.

11. Карачик, В.В. Об одной задаче типа Неймана для бигармонического уравнения / В.В. Карачик // Математические труды. - 2016. - Т. 19, № 2. - С. 86-108.

12. Карачик, В.В. Полиномиальные решения задачи Дирихле для 3-гармонического уравнения в шаре / В.В. Карачик // Журнал Сибирского федерального университета. Серия: Математика и физика. - 2012. - Т. 5, № 4. - С. 527-546.

13. Карачик, В.В. Задача Рикье-Неймана для полигармонического уравнения в шаре /

B.В. Карачик // Дифференциальные уравнения. - 2018. - Т. 54, № 5. - С. 653-662.

14. Кошанов, Б.Д. Краевая задача с нормальными производными для эллиптического уравнения высокого порядка на плоскости / Б.Д. Кошанов, А.П. Солдатов // Дифференциальные уравнения. - 2016. -Т. 52, № 12. - С. 1666-1681.

15. Карачик, В.В. Решение задачи Дирихле для полигармонического уравнения в шаре при полиномиальных данных / В.В. Карачик // Дифференциальные уравнения. - 2015. - Т. 51, № 8. -

C. 1038-1047.

16. Карачик, В.В. О свойстве среднего для полигармонических функций в шаре / В.В. Карачик // Математические труды. - 2013. - Т. 16, № 2. - C. 69-88.

17. Карачик, В.В. Интегральные тождества на сфере для нормальных производных полигармонических функций / В.В. Карачик // Сибирские электронные математические известия. - 2017. - Т. 14. - C. 533-551.

18. Карачик, В.В. О некоторых специальных полиномах и функциях / В.В. Карачик // Сибирские электронные математические известия. - 2013. - Т. 10. - С. 205-226.

Поступила в редакцию 1 марта 2020 г.

Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2020, vol. 12, no. 2, pp. 13-20

DOI: 10.14529/mmph200202

SOLVABILITY CONDITIONS OF THE N2 NEUMANN-TYPE PROBLEM FOR POLYHARMONIC EQUATION IN A BALL

V.V. Karachik

South Ural State University, Chelyabinsk, Russian Federation E-mail: karachik@susu.ru

The Nk Neumann-type class of problems for a polyharmonic equation in the unit ball is considered. The problems of this class generalize both the well-known Dirichlet problem and the Neumann problem. In a number of works, the set of the necessary conditions for the solvability of this problem has been found for the problems of such class, and it has been assumed that the most complete version of the found necessary conditions is also a set of the sufficient conditions for the solvability of the problem. This was a known fact with regard to the N1 problem. In this study, an assumption that the found set of the necessary conditions coincides with the sufficient conditions of solvability of the N2 problem for a homogeneous m -harmonic equation in a unit ball is proved. First, by changing the variables, the N2 problem is reduced to a simpler N0 Dirichlet problem, the solution to which is considered to be known. Next, the conditions, under which the performed change of the variables is reversible, are found. The conditions found here are connected with the Dirichlet problem's solution having terms of the first order of smallness in the expansion in the neighborhood of zero. Finally, the previously obtained results are used, which concern the value of the m-harmonic function in the unit ball in the center of the ball with the values of the normal derivatives of this function at the boundary of the ball. These solvability conditions are transformed to the conditions associated with the values of the integrals over the sphere of polynomials in the normal derivatives of the desired solution on the unit sphere, the coefficients of which

which are the elements of the arithmetic Neumann triangle. The found conditions coincide with the previously obtained necessary conditions for the solvability of the N2 problem.

Keywords: Neumann-type problem; polyharmonic equation; solvability conditions

References

1. Karachik V.V. Class of Neumann-Type Problems for the Polyharmonic Equation in a Ball. Computational Mathematics and Mathematical Physics, 2020, Vol. 60, no. 1, pp. 144-162. DOI: 10.1134/S096554251912011X

2. Karachik V.V. A problem for the polyharmonic equation in the sphere. Siberian Mathematical Journal, 1991, Vol. 32, Iss. 5, pp. 767-774. DOI: 10.1007/BF00971175

3. Bitsadze A.V. K zadache Neymana dlya garmonicheskikh funktsiy (To the Neumann problem for harmonic functions). DAN SSSR, 1990, Vol. 311, no. 1, pp. 11-13. (in Russ.).

4. Karachik V. V. On the arithmetic triangle arising from the solvability conditions for the Neumann problem. Mathematical Notes, 2014, Vol. 96, pp. 217-227. DOI: 10.1134/S0001434614070232

5. Bitsadze A.V. Some properties of polyharmonic functions. Differential Equations, 1988, Vol. 24, no.5,pp.543-548.

6. Turmetov B., Ashurov R. On Solvability of the Neumann Boundary Value Problem for Non-homogeneous Biharmonic Equation. British Journal of Mathematics & Computer Science, 2014, Vol. 4, Iss. 4, pp. 557-571. DOI: 10.9734/BJMCS/2014/6825

7. Karachik V.V. Generalized third boundary value problem for the biharmonic equation. Differential Equations, 2017, Vol. 53, no. 6, pp. 756-765.

8. Turmetov B., Karachik V. On solvability of some boundary value problems for a biharmonic equation with periodic conditions. Filomat, 2018, Vol. 32, Iss. 3, pp. 947-953. DOI: 10.2298/FIL1803947T

9. Popivanov P. Boundary value problems for the biharmonic operator in the unit ball. AIP Conference Proceedings, 2019, Vol. 2159, Iss. 1, 030028. DOI: 10.1063/1.5127493.

10. Karachik V.V., Torebek B.T. On the Dirichlet-Riquier problem for biharmonic equations. Mathematical Notes, 2017, Vol. 102, no. 1-2, pp. 31-42. DOI: 10.1134/S0001434617070045

11. Karachik V.V. A Neumann-type problem for the biharmonic equation. Siberian Advances in Mathematics, 2017, Vol. 27, no. 2, pp. 103-118. DOI: 10.3103/S105513441702002X

12. Karachik V.V. Polynomial Solutions to Dirihlet Boundary Value Problem for the 3-harmonic Equation in a Ball. Zhurnal Sibirskogo federal'nogo universiteta. Seriya: Matematika i fizika (Journal of Siberian Federal University. Mathematics & Physics), 2012, Vol. 5, no. 4, pp. 527-546.

13. Karachik V.V. Riquier-Neumann problem for the polyharmonic equation in a ball. Differential Equations, 2018, Vol. 54, no. 5, pp. 648-657. DOI: 10.1134/S0012266118050087

14. Koshanov B.D., Soldatov A.P. Boundary value problem with normal derivatives for a highorder elliptic equation on the plane. Differential Equations, 2016, Vol. 52, no. 12, pp. 1594-1609. DOI: 10.1134/S0012266116120077

15. Karachik V.V. Solution of the Dirichlet problem with polynomial data for the polyharmonic equation in a ball. Differential Equations, 2015, Vol. 51, no. 8, pp. 1033-1042. DOI: 10.1134/S0012266115080078

16. Karachik V.V. On the mean value property for polyharmonic functions in the ball. Siberian Advances in Mathematics, 2014, Vol. 24, no. 3, pp. 169-182. DOI: 10.3103/S1055134414030031

17. Karachik V.V. Integral identities on the sphere for normal derivatives of a polyharmonic function. Sibirskie Èlektronnye Matematicheskie Izvestiya (Siberian Electronic Mathematical Reports), 2017, Vol. 14, pp. 533-551. DOI: 10.17377/semi.2017.14.046

18. Karachik V.V. On some special polynomials and functions. Sibirskie Èlektronnye Matematicheskie Izvestiya (Siberian Electronic Mathematical Reports), 2013, Vol. 10, pp. 205-226.

Received March 1, 2020

i Надоели баннеры? Вы всегда можете отключить рекламу.