Научная статья на тему 'КРАЕВАЯ ЗАДАЧА С НЕЛОКАЛЬНЫМ ГРАНИЧНЫМ УСЛОВИЕМ ИНТЕГРАЛЬНОГО ВИДА ДЛЯ МНОГОМЕРНОГО УРАВНЕНИЯ IV ПОРЯДКА'

КРАЕВАЯ ЗАДАЧА С НЕЛОКАЛЬНЫМ ГРАНИЧНЫМ УСЛОВИЕМ ИНТЕГРАЛЬНОГО ВИДА ДЛЯ МНОГОМЕРНОГО УРАВНЕНИЯ IV ПОРЯДКА Текст научной статьи по специальности «Математика»

CC BY
39
6
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
КРАЕВАЯ ЗАДАЧА / НЕЛОКАЛЬНОЕ УСЛОВИЕ / УРАВНЕНИЕ ВЫСОКОГО ПОРЯДКА / АПРИОРНЫЕ ОЦЕНКИ / ГРАНИЧНЫЕ УСЛОВИЯ ИНТЕГРАЛЬНОГО ВИДА / УРАВНЕНИЕ БУССИНЕСКА / РЕГУЛЯРНЫЕ РЕШЕНИЯ / ЕДИНСТВЕННОСТЬ / СУЩЕСТВОВАНИЕ

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

Исследуется разрешимость в классе регулярных (имеющих все обобщенные по С.Л. Соболеву суммируемые с квадратом производные, входящие в соответствующее уравнение) решений нелокальной задачи с интегральным по пространственным переменным условием для линейного уравнения высокого порядка. Обозначается, что вначале подобные задачи изучались для уравнений высокого порядка либо в одномерном случае, либо при выполнении некоторых условий малости на величину T. Также приведен перечень новых работ для многомерного случая. В данной работе приводятся новые результаты о разрешимости нелокальной задачи с интегральными по пространственным переменным условиями для уравнения высокого порядка: а) в многомерном по пространственным переменным случае; б) при отсутствии условий малости на величину T; однако это условие есть на ядро K(x; y; t). Метод исследования основан на получении априорных оценок решения поставленной задачи, из которых следует его существование и единственность в данном пространстве.

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

BOUNDARY VALUE PROBLEM WITH A NONLOCAL BOUNDARY CONDITION OF INTEGRAL FORM FOR A MULTIDIMENSIONAL EQUATION OF IV ORDER

The aim of this paper is to study the solvability of solution of non-local problem with integral condition in spatial variables for high-order linear equation in the classe of regular solutions (which have all the squared derivatives generalized by S.L. Sobolev that are included in the corresponding equation). It is indicated that at first similar problems were studied for high-order equations either in the one-dimensional case, or under certain conditions of smallness by the value of T. A list of new works for the multidimensional case is also given. In this paper, we present new results on the solvability of non-local problem with integral spatial variables for high-order equation a) in the multidimensional case with respect to spatial variables; b) in the absence of smallness conditions by the value T; however, this condition exists for the kernel K(x; y; t). The research method is based on obtaining a priori estimates of the solution of the problem, which implies its existence and uniqueness in a given space.

Текст научной работы на тему «КРАЕВАЯ ЗАДАЧА С НЕЛОКАЛЬНЫМ ГРАНИЧНЫМ УСЛОВИЕМ ИНТЕГРАЛЬНОГО ВИДА ДЛЯ МНОГОМЕРНОГО УРАВНЕНИЯ IV ПОРЯДКА»

Научная

статья

DOI: 10.18287/2541-7525-2021-27-1-15-28

УДК 517.956.6

Дата: поступления статьи: 12.01.2021 после рецензирования: 17.02.2021 принятия статьи: 28.02.2021

В.Б. Дмитриев

E-mail: dmitriev_v.b@mail.ru. ORCID: https://orcid.org/0000-0002-9788-7036

КРАЕВАЯ ЗАДАЧА С НЕЛОКАЛЬНЫМ ГРАНИЧНЫМ УСЛОВИЕМ ИНТЕГРАЛЬНОГО ВИДА ДЛЯ МНОГОМЕРНОГО УРАВНЕНИЯ

IV ПОРЯДКА

АННОТАЦИЯ

Исследуется разрешимость в классе регулярных (имеющих все обобщенные по С.Л. Соболеву суммируемые с квадратом производные, входящие в соответствующее уравнение) решений нелокальной задачи с интегральным по пространственным переменным условием для линейного уравнения высокого порядка. Обозначается, что вначале подобные задачи изучались для уравнений высокого порядка либо в одномерном случае, либо при выполнении некоторых условий малости на величину Т. Также приведен перечень новых работ для многомерного случая. В данной работе приводятся новые результаты о разрешимости нелокальной задачи с интегральными по пространственным переменным условиями для уравнения высокого порядка: а) в многомерном по пространственным переменным случае; б) при отсутствии условий малости на величину Т; однако это условие есть на ядро К{х,у,Ь). Метод исследования основан на получении априорных оценок решения поставленной задачи, из которых следует его существование и единственность в данном пространстве.

Ключевые слова: краевая задача; нелокальное условие; уравнение высокого порядка; априорные оценки; граничные условия интегрального вида; уравнение Буссинеска; регулярные решения; единственность; существование.

Цитирование. Дмитриев В.Б. Краевая задача с нелокальным граничным условием интегрального вида для многомерного уравнения IV порядка // Вестник Самарского университета. Естественнонаучная серия. 2021. Т. 27, № 1. С. 15-28. Б01: http://doi.org/10.18287/2541-7525-2021-27-1-15-28.

Информация о конфликте интересов: автор и рецензенты заявляют об отсутствии конфликта интересов.

© Дмитриев В.Б., 2021 Виктор Борисович Дмитриев — кандидат физико-математических наук.

Введение

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

Отметим, что работы, связанные с исследованием разрешимости нелокальных задач для дифференциальных уравнений в частных производных с граничными условиями интегрального вида, многочисленны. Однако среди них преобладают работы, в которых изучается одномерный по пространственным переменным случай. Важный шаг был сделан в работах А.И. Кожанова и Л.С. Пулькиной [1-3], где была доказана однозначная разрешимости краевых задач с нелокальным граничным условием интегрального вида для многомерных гиперболических уравнений второго порядка.

Многочисленные работы по исследованию уравнений высокого (выше второго) порядка в своем большинстве связаны с изучением классических начальных и начально-краевых задач. Например, математическая модель стержня Рэлея [6], описывающая продольные колебания толстого короткого стержня с учетом поперечного движения стержня; уравнение Кортевега - де Фриза [7], моделирующее процесс распространения длинных волн на поверхности воды; уравнения, описывающие нестационарные волны в стратифицированных и вращающихся жидкостях [8]. В книге «Неклассические уравнения математической физики высокого порядка» [9] приведен обширный перечень работ, посвященных этим вопросам. Примеры явлений, математические модели которых основаны на уравнениях высокого порядка, приведены также в монографии [10].

В работе автора [11] доказана однозначная разрешимость краевой задачи для уравнения высокого порядка в прямоугольнике Q = {(х,т) : 0 < x < l, 0 < т < T}, при этом фигурирует производная четвёртого порядка по времени. Однако в этой работе рассмотрен случай одной пространственной переменной и есть ограничения на коэффициенты уравнения. А также есть условия малости как на ядро K(y), фигурирующее в нелокальном условии, так и на величину T.

Отметим здесь также работы Н.С. Попова [12-14], работу А.И. Кожанова и А.В. Дюжевой [15], работы Т.К. Юлдашева [16-18]. В работе [19] для доказательства разрешимости задачи для уравнения четвертого порядка вводится понятие обобщенного решения и доказывается его существование и единственность в выбранном пространстве.

В настоящей работе представлен новый результат о разрешимости нелокальной задачи с граничным условием интегрального вида условиями для уравнения высокого порядка: а) в многомерном по пространственным переменным случае; б) при отсутствии условий малости на величину T; однако это условие есть на ядро K(x,y,t). Притом целью настоящей работы является доказательство существования и единственности регулярного решения — именно решения, имеющего все обобщенные по С.Л. Соболеву производные, входящие в уравнение.

Структурно настоящая работа состоит из четырех частей. В первой из них дается постановка изучаемой задачи. Во второй части приведены основные обозначения и неравенства, используемые в работе, а также сформулирована теорема существования и единственности решения. В третьей и четвертой частях доказываются априорные оценки, с их помощью обосновывается верность теоремы.

1. Постановка задачи

Пусть О — ограниченная область пространства К" с гладкой (для простоты — бесконечно дифференцируемой) границей Г, Qт = {(х,т) : х € О С К", 0 < т < Т} - цилиндр конечной высоты Т, Б = Г х (0, Т) — его боковая граница. Обозначим Ао, А и В — операторы, действие которых на функцию и(х, Ь) определяется равенствами

П д ( \ A0u = dxr[ aij (X't) Ux4 ^ Au = Aou + a(x,t)i

i,j = l 1

" д ( \ Ви = дхГ\ (х, Ь) и*А + Ь(х, Ь)и

1,3=1 1 ^ '

(здесь и далее по повторяющимся индексам ведется суммирование в пределах от 1 до п). Исследована разрешимость начально-краевой задачи для уравнения высокого порядка

Ьи = Аоии + а(х,Ь)ии + Ви = / (х,Ь) (1.1)

с эллиптическим оператором Ао и оператором В произвольного типа с интегральным краевым условием. Или, более сжато:

Ьи = Аии + Ви = /.

Краевая задача: найти функцию и(х,Ь), являющуюся в цилиндре Qт решением уравнения

Ьи = / (х,Ь), (1.2)

и такую, что для нее выполняются условия:

и(х, 0)= щ(х, 0) = 0, х € О, (1.3)

n ,,

l(x,t)es aij (х,т) Uxj Vi\(x,t)es = K(x,y,t) u(y,t) dy\(x,t)es ■ (1-4)

du(x, t)

V 7 i,j=l

Здесь ац (х, г), Ъц (х, г)(г,] = 1,... ,п), а(х, г), Ъ(х, г), /(х, г), и К(х, у, г) — заданные при х € О., у € О, г € [0, Т] функции. Далее, потребуем выполнения условий:

ац(х,г)££ > к0\£\2, а(х,г) < -а0 < 0, £ € Мп, х € О, (1.5)

К(х,у,г)\ < Ег(у,г), \Кг(х,у,1)\ < Д2Ы),

\ки(х,у,г)\ < Ез(у,г), Ух,у € о, г € [0,Т]. (1.6)

Здесь ко > 0, ао > 0, — некоторые числа, К\(у,г), В,2(у,г), Кз(у,г) — заданные при у € О, г € [0,Т] функции.

Заметим, что уравнение (1.2) близко по типу к уравнениям составного типа и, в частности, содержит известное уравнение Буссинеска.

Перейдем к содержательной части работы.

2. Основные обозначения

Пусть V^т) есть следующее пространство функций:

V(^ту(х,г): у(х,г) € Ьж(0,Т; Ш22(О)),

Уг(х,г) € Ь^(0,Т; Ш^(О)), ь„(х,1) € Ь2 (0,Т;

норму в этом пространстве определим естественным образом:

1Мк = 1М1ь2(0,Т ;^22(П)) + ¡Мь^^Т ;^22(П)) + Ьы\\ь2(0,Т ;^22(П)).

Получены условия на функции ац(х,г),Ъц(х,г), а(х,г),Ъ(х,г),/(х,г) и К(х,у,г), при выполнении которых рассматриваемая краевая задача имеет единственное классическое решение из V(дт). При получении априорных оценок решений мы будем использовать элементарное неравенство

а2 + Ъ2

\аЪ\ < ^^, (2.1)

верное для вещественных а и Ъ, а также "неравенство Коши с 6":

2\аЪ\ < 6а2 + 1 Ъ2. (2.2) 6

Мы также будем использовать неравенство

! \и\ ¿в < с^! (\Уи\ + \и\) 3х, (2.3)

дП П

справедливое для любой функции и € и области О с гладкой границей [20, с. 77].

Также нам понадобится второе основное неравенство для эллиптических операторов [21]:

п ,, П ,,

Е/<(х,г) 3х + Е (х,г) 3х ^ Со\Ии\\ь2(П) + сЛu\\L2(n), (2.4)

в котором числа со и С1 определяются лишь оператором А и областью О .

Теорема. Пусть выполняются условия

а,ц (х,Ь) € С 1(дт ),ац (х,Ь) = ац1(х,г),ац (х,Ь) € С 1(О),

ъц (х,г) € с (Щ,Ъ,(х,г) € с (О), у г € = 1,...,п,х € О, (2.5)

К (х,у,г), Кг(х,у,г), Кы(х,у,г) € С (О х О х [0,Т]), (2.6)

Е1(у,г), Я2(у,г), Из (у,г) € Ь^(0,Т; Ь2(О)). (2.7)

Пусть также выполняются условия (1.5), (1.6) и условия

ко > 1 c 1 sup If Rl(y,t)

2 te[0,T] \ J

Ri(y,t) dy

ao > 3 с\Q\2 sup if Ri(y,t) dy | ; 2 te [o,T 1 \ J

a(x,t) e C1(Qt), b(x,t) e C(Q), Wt e [0,T], sup \Va(x,t)\2 dx < ж. (2.8)

te[0,T] 7

Тогда краевая задача (1.2)-(1.4) имеет решение u(x,t), принадлежащее пространству V(QT), и это решение единственно.

3. Доказательство

Доказательство основывается на априорной оценке. Установим ее наличие.

4. Априорная оценка

Умножим уравнение (1.1), записанное в переменных (х,т), на функцию —ит(х,т), результат проинтегрируем по области Qт и по переменной т в пределах от 0 до Ь:

г г г

Аиттит dx dт = J ! В иит dxdт — J J / ит dxdт.

о п о п о п

г , "

у^ ац (х, т) (иХтих,т)т dx dт = о п 13=1

г

/" Л Л "

аз(х,т)(их^их,тЖ=о dx + а^т(х,т) их.,тих,т dxdт.

п ^^ о п ^^

t t 2 a(x,r) (u2 )T dx dr = 2 a(x,r) u2\TT=0 dx — ^ aT (x,r) u2 t

о п п о п

Интегрируя по частям и используя условие (1.4), нетрудно получить следующее неравенство: " г "

аз (х,т )(ихтихт) 1т=о dx - I I > азт(х,т) и^тих

J aij (х,т ) (uXiT uXj t )\Т=0 dx — J J aijT (x,r ) uXiT uXj t dx dr—

Q ij = 1 0 Q ij = 1

t

— —J a(x,r ) u2 \T=0 dx + — J j aT (x,r ) uT dx dr—

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

o n

Q K(x,y,r) u(y,r) dy| ds dr—

J J XI dx-i^ bij (x,t) ux^J ut dx dr—

0 Q ij=1 t

— 2 J j b(x,r) (u2 )T dx dr = f (x, r) uT dx dr.

0 Q

Обозначим

Il = j J uT i J K(x,y,r) u(y,r) dy | ds dr, 0 dQ \Q

t

Ii = J J uTT I J K(x,y,T) u(y,T) dy I dsdr.

0 d J \ J

Получаем

г

11 = J ! иТ ! (Ктт (х,у,т) и(у,т)+2 Кт (х,у,т) ит (у,т)+

о дП П

+К(х, у, т) итт (у, т3у 3в 3т. Далее, это слагаемое оценим следующим образом, используя неравенство (2.3):

0 dJ J

< c

|Ii| <J J Ut I j (Rs(y,T) lu(y,T)l + 2 Ri (y,T) Ut (y,T)l +

J

+Ri(y,T) Iutt(y,TdydsdT < J j(\Ur I + I^UT |) J (Rs(y,T) Iu(y,T )| +2 Ri(y,T) Ut (y,T )| +

\ит \ + \ уит о П П

+Е,1(у,т) \итт(у, т3у3х3т.

Аналогично оценим слагаемое /2, которое у нас появится ниже:

г

Обозначим

|Ii| < cj J (Iutt I + IVutt I) J (Rs(y,T) Iu(y,T)I +2 Ri (y,T) Iut (y,T)I + 0 J J

+Ri(y,T) Utt(y,TdydxdT.

zi(t) = J aij(x,T) (uXiTuXjt)|t=t dx - 1J a(x,T) u2 It=t dx > J ij=1 J

>ко ¿/ uUx,t) dx + a0/ ui(x,t) dx.

После оценок получаем

zi(t) < zi(0) +

^ ' aijT (x> T ) UXiT UXj T dx dT

0J

i,j=i

+

+c j j (Iut I + IVut |) У Ыз(у,т) Iu(y,T)I + 2 Ri(y,T) Ыу,^

0 J J ^

)

+Ri(y,T) Iutt(y,T)| dydxdT+

1

+ 2

aT (x, t) u2 dx dT

0J

+

+

0 j i,j=i t

П д ( \ У= д^уbij (x, T) Uxj J Ut dx dT

b(x, t) uuT dx dT

0J

+

f (x, t) uT dx dT

+

0J

Используя неравенства (2.1), (2.2), а также условия (1.5), (1.6), (2.5)—(2.8), получаем

t

zi(t) ^ zi(0) + S"2 J J u2t(x,t) dx dT + Pi ^ j j uXiXj (x,T) dx dT+

0J

i,j=1

(4.1)

0J

t

t

t

t

t

t t

2 j^. I / I „.2

+ / / \Vut(x,T)\ dx dr + / / uT(x,T) dx dr+

0 7 0 7

г

+ .! / и2(х,т) ¿хйт + J ! /2 (х, т) dxdт^j, (4.2)

о п о п

где число ¿1 — произвольное положительное число, Р\ есть число, определяющееся коэффициентами оператора В, а также областью Qт и числом ¿1.

Умножим уравнение (1.1), записанное в переменных (х,т), на функцию —итт(х,т), результат проинтегрируем по области Qт и по переменной т в пределах от 0 до Ь:

г г г

Аитт итт dxdт = J J Виитт dxdт — J J / итт dxdт.

о п о п о п

Интегрируя по частям, получаем следующее равенство:

г , "

^ ^ а13 (х, т ) их.тт их, тт dx dт +

о п {'3=1

г

^ ит

о дп \п , тт

г г г

а(х,т) и?тт dxdт — J J Виитт dx dт = — J J / итт dxdт. о п о п о п

Здесь появляется слагаемое 12, которое мы оценили выше. При этом основную трудность представляет слагаемое, содержащее множитель Я.1(у,т), которое оценим в итоге следующим образом, используя неравенство Коши — Буняковского, а также элементарное неравенство (2.1):

г

+ J j utt i J K(x,y,r) u(y,r) dy] ds dr—

cj J (\utt \ + \Vutt\) J (Ri(y,r) \utt (y,r)\^ dydxdr

0 7 7

22

t

< с J J (\utt\ + \Vutt\) ( У Rl(y,T) dy J \uIt(y,T)\dy I dxdr <

0 7 7 7

< с sup ij R21(y,T) dy j fif \u2tt(y,T)\dy] J ( \utt\ + \^Utt\) dxdT <

T e[0'T] / 0 \7 /7

< с\n\2 sup ij R2(y,T) dyWn U1t (y,T)\dy] x

Te[°'T] \7 J 0 \7 J

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

x < I J \utT\2 dxdT j + i J\WutT\2 dxdT j < <

77

< с\П\1 sup If Rl(y,T) dy] x

тфТ U J t t г г о , , , , з

x< j j U'xiT T(x,T) dxdT + 2 J J u^t (x,T) dxdT.

07

2

2

zi(t) = aij(x,T) uX.TTuXjTT dx d,T — / a(x,r) u2t dxdT ^

0J

Обозначим

о П 4'ц=1

п г г

^ J J иХтт(х,т) 3х 3т + ао J J и2тт(х,т) 3х3т. ®=1 о п о П

После оценок получаем, используя неравенства (2.1), (2.2), а также условия (1.5), (1.6), (2.5)-(2.8), с учетом того, что z2(0) =0:

zi(t) <

0J

+

f uTT dx dT

0J

+

t

+c J J ( IUttI + IVUttI) J ( Rs(y,T) Iu(y,T)I+

0 J J

+2 Ri(y,T) Iut (y,T )|) dydxdT + c |П|1 sup \ R\(y,r) dy 1 x y те [0,T] I J /

x<

0J

(x,T) dxdT +2 J J u'2TT (x,T) dxdT^

0J

0J

uX- X- (x,T) dxdT + / I^uT (x,T )| dxdT+

0J

0J

^ St j j utt (x,t ) dxdT+

n t .

+P

i,j=i

(x, T) dx dT + u (x, T) dx dT + f (x, T) dx dT +

0 J 0 J

+c |fi|1 sup I R\ (y,T) dy] x те[0,T] \ J /

+u

0J

i=i

1 uXiTT(x,T) dxdT UTrT(x,T) dxdT.

0J

0J

(4.3)

Теперь для получения оценок умножим уравнение (1.1), записанное в переменных (х, т), на Ао ит (х,т), интегрируя, имеем

(¿0 uT) t dx dT —

0J

0 j i,j = i t

n Of \

У= dxi\aijT (x,t) UXj tJ ¿0 Ut dx dT+

+ / a(x,T) uTT ¿0 uT dxdT + BuA0 uT dxdT = f ¿0 uT dxdT

и далее, вводя обозначение zз(t) = /(Аоиг(х,г))23х, используя неравенства (2.1), (2.2), а также условия

П

(1.5), (1.6), (2.5)-(2.8), получаем

г , г

¿3(г) ^ 2з(0) + 63 J ! и^(х,т) 3х 3т + Рз | J !(Аоит(х,т))23х 3т+ о П о П

t

t

B u uTT dx dr

t

i

u

X TT

t

х

t

t

t

n t t + j j иX Xj (x,T) dxdT + J j \4u,t (x,T )\2 dxdT+

ij=1 0 7 0 7

t t t

+ Ut(x,t) dxdT + и (x,T) dxdT + f (x,T) dxdT . (4.4)

.

т v

0 7 0 7 0 7

Складывая (4.2)-(4.4), получаем для величины p(t) = z1(t) + z2(t) + z3(t) следующую оценку:

t

p(t) < p(0) + (52 + Si + 52) J J uTt (x,r) dxdr+

07

n t t

uX.x. (x,r) dxdr + I I \Wut(~ -

(Е/У < х, (x,r) dxdr + WUt (x,r)? dxdr+

i,j = 10 7 0 7

t t t + JJ UT (x,T) dxdT + JJ U(x,T) dxdT + JJ f \x,T) dxdT) +

0 7 0 7 0 7

+с\fi\1 sup I Rl(y,T) dy ] x

T 6[0T] \J7 '

t t г г* , , , , з

x< j j uXiTT (x,r) dxdr + J J и1T (x,r) dxdr. (4.5)

07

Число Р4 определяется числами Р1, Р2 и Р3. Далее, выписывая выражение в определении р(Ь), получаем

/ Е aij(x,T) (их.тих,т)\T=t dx — 2 J a(x,r) и1 T=t dx+ 7 ij=1 7

t n t

+ j / £ aij(x,T) ^ттUxTT dxdT — j ja(x,T) uTt dx dT + f(A°Ut(x, t)?dx <

0 7 i,j = 1 0 7 7

t

< p(0)+ (51 + Si + Si) J J uTt(x,r) dxdr+ 07

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

n t t +P4 f j j uX.Xj (x,r) dxdr + J j \Чит(x,r)\2 dx dr+

i'j=1 0 7 0 7

t t t + JJ и (x,T) dxdT + JJ ^) dxdT + JJ f \x,T) dxdT) +

0 7 0 7 0 7

+с M1 sup I Rl(y,T) dy] x

T£[0T] \l J

1 П t 3 t 1

x< ^ X/ u2x.tt(x,r) dxdr и1T(x,r) dxdr. (4.6)

1=1 о п о п

Теперь, учитывая оценки для г^Ь), г2(Ь), гз(Ь) и приводя подобные слагаемые, получаем

ко J их.г(х,Ь) dx + ао J и'2(х,1) dx + J(Аоuг(x,t))2dx+

+

k0 — 2 c I^I2 S11I3 ] 1J R\(y,r) dy j I J uX.TT(x,r) dx dr+

a0 — 3 c IQI1 sup [ I Ri(y,r) 2 T e[0,T] 1 J

n t

^ p(0) + P4 ( y^ j j u2X.X. (x,r) dx dr + j j IWuT (x,r)|T dx dr+

i,j=i0 J

dy j — St — St — St I / / vTTT (x, r) dx dr ^

0J t

(4.7)

+ ] У и2 (х,т) 3х3т + ! j и2(х,т) 3х3т + у j /2(х,т) 3х3т о П о П о П

В силу условий теоремы и произвольности чисел 61, 62, 63 мы можем выбрать их так, чтобы все коэффициенты в левой части были положительны, то есть чтобы выполнялось неравенство

2

я2(у,т) 3у | - 62 - 62 - 63 > 0.

a0 — 3 c |fi|1 sup If R\(y,r) 2 Te[0,T] \ J

Имеют место представления

T

T (

u(

1.(х,т) = ! щ(х, £)3£ = J J (х,и)3,и3,£.

о о о

т т £

иХн (х,т) = ! их.£(х, £)3£ = ! J их.и„(х,и)3,и3£.

о о о

т т £

ихх (х, т) = ! их.,х,£(х, £)3£ = ! J их.,х,ии(х, V)3и 3£.

о о о

Из этих равенств, вновь из второго основного неравенства для эллиптических операторов и леммы Гронуолла [22, с. 23], следует оценка

У и2х^(х,г) 3х + J и2г(х,г) 3х + J (Аоиг(х,г))2 3х+

t

t

+ Е/ J UXiTT (x,r) dxdr + J J UIt (x,r) dxdr < K0 \\f \\l2(qt ).

i=i 0 J 0 J

Теперь умножим уравнение (1.1), записанное в переменных (x,r), на ¿0 uTT(x,r), имеем t t t

(¿0 Utt )i dxdT + f f a(x,r) uTT ¿0 uTT dxdr + f fBuA0 uTT dxdr =

(4.8)

0J

0J

0J

f ¿0 uTT dx dr.

0J

Обозначим второе слагаемое в левой части через Jl и преобразуем его:

г г п

Jl = / а(х,т) итт Ао итт3х 3т = / / а(х,т) итт (ац(х,т) их^тт)х. 3х3т =

0J

0J

i,j=i

aij (x, r) uXjTTvi ■ a(x, r) uTT ds dr—

0 dJ

i,j = i

2

t

t

07

0 д7

aij (x,r) uXjTTl^ a(x,r) итт j dx dr =

,j=i X

a(x,r) utt i J K(x,y,r) u(y,r) dy] ds dr— \7 ) TT

n

(x, T) ^ ^ aij (x: T) UXj TT ux.tt dx dr. i,j=1

n

Utt aij (x,r) ax. (x, t) Ux,tt dxdr.

i,j=1

a(

0 7 i,j=1 t

07

Далее, оцениваем:

0 д7 t

< с J J \ \a(x, т)итт\ + \а

07

а(х,т) итт I J К (х,у,т) и(у,т) dy\ ds dт

\п ) тт

( ^ \а(х, т) итт\ + \а(х, т) Уитт\ + \итт Уа(х, тх

х I (Яз(у,т) \и(у,т )\ + 2 Я2 (у, т) \ит (у, т )\ + п

+Е1(у,т) \итт (у, т¿у ¿в ¿т. Заметим, что из условий (2.8) следует, что

J \а(х,г)\2 dx<G, !\Уа(х,г)\2 ¿х < С У € [0, Т ] пп

для некоторого числа С. Как уже было сказано выше, основную трудность представляет слагаемое, содержащее множитель Я.1(у,т), которое оценим в итоге следующим образом, используя неравенство Коши — Буняковского, а также элементарное неравенство (2.1):

г

У J (^\a(x,r) Utt \ + \a(x,r) Vutt \ + \итт Va(x,r )\j J (Ri(y,T) \utt (y,T dy dx dr <

0 7 7

t

< с У У ^ \a(x,r) Utt\ + \a(x,r) Vutt\ + \utt Va(x,r)\)(J R2(y,T) dyx

0 7 7

x J \uIt (y, r )\dy) 2 dxdr < с sup I J R\(y,r) dy] J ¡J^ (y,r )\dy] x

7 T£[0'T] \ 7 J 0 \7 /

xj ( \ a(x, r) итт \ + \ a(x, r) Vutt \ + \utt Va(x,r)\) dxdr < 7

< с sup |y R\(y,r) dy] У |У \и1т (y, r) \ dy ] x

T £ [0'T ] V 7 J 0 \7 J

x{ ^ I \a(x,r) \2 dx] ^ У \итт \2 dx] + ^ У \Va(x,r) \2 dx] ^ У \итт \2 dx] + + I \a(x,r)\2 dx I I \Vutt\2 dx I \ dr < сО2 sup I Ri(y,r) dy\ x

u / u / J те [0T] U )

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

t

t

t t ( in , , , , 5

x< I I u2XiTT (x,r) dxdr +2 J J uT-T (x,r) dxdr.

0J

Тогда имеем:

(¿0 uTT )T dxdr — J J a(x, r) aj (x,r) uXi TT uXj TT dxdr—

0 J 0 j ij=i

У ^ aij (x, r) aXi (x, r) uTTuXj TT dx dr ^ ,j=i

^ Ia(x, r) uTTI + Ia(x, r) VuTT| + IuTT Va(x, rx x j (Rs(y,r) Iu(y,r)| + 2Rt(y,r) Ut(y,r)| +

J

t

+Ri(y,r) IuTT (y,r dy ds dr + J j BuAо uTT dxdr+

0 j i,j=i t

< cJj \a(x,T) u

0J

\итт (у,т ау ав ат + J J виАог>

оП г

+ J J / Ао итт 3х 3т. оП

г

Интегрируя по частям и оценивая выражение справа сверху, вводя обозначение д(г) = / / (Ао итт) 3х3т

оП

и замечая, что д(0) = 0, используя неравенства (2.1), (2.2), а также условия (1.5), (1.6), (2.5)-(2.8), получаем следующую оценку:

г

д(г) ^ 62 J ! (Ао итт)2 3х 3т+ оП

п г г

2хъх,(х,т) 3х3т +/ /\^ит(х т)\2

4,3 = 1 \

+P5 ( ^^ J J uX.Xj (x,r) dxdr + J J IVuT(x,r)IT dx dr+

i,j=i 0 j 0 J

n t t t

+ J j uXiTT (x,r) dxdr + J j u'TT dxdr + j j uT (x,r) dxdr+

0 J 0 J 0 J

i,j=i

t t t .2

+ u2(x, T) dx dT + f2(x, T) dx dT + f ¿0 uTT dx dT, (4.9)

о

о П о П о П

где число 64 — произвольное положительное число, Р5 есть число, определяющееся коэффициентами оператора В, а также областью дт и числом 64. Тогда из (4.1)-(4.9) вытекает неравенство

г

<г(х,г 3х+1 ^г) 3х+/(Аоиг(х, ^+±ц <тт(х,т) 3х 3т+

4=1 П П П 4=1 о П

г г

+ 1 I и2т(х,т) 3х 3т + ^ J(AоUтт(х,т))2 3х 3т < К1 \\/\\ь2^т).

о П о П

Эта оценка после перехода в ней к супремуму по г € [0, Т] и дает требуемую оценку

\\u\v < К \\/\\ь2(вт). (4.10)

Единственность решений краевой задачи (1.2)-(1.4) в пространстве V очевидна из априорной оценки (4.10). Теорема полностью доказана.

t

t

Заключение

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

Литература

[1] Кожанов А.И., Пулькина Л.С. Краевые задачи с интегральным граничным условием для многомерных гиперболических уравнений // Доклады РАН. 2005. Т. 404, № 5. С. 589-592. URL: https://www.elibrary.ru/item.asp?id=9157033.

[2] Кожанов А.И., Пулькина Л.С. О разрешимости краевой задачи с нелокальным граничным условием интегрального вида для многомерных гиперболических уравнений // Дифференц. уравнения. 2006. Т. 42, № 9. С. 1166-1179. URL: https://www.elibrary.ru/item.asp?id=9296592.

[3] Кожанов А.И., Пулькина Л.С. О разрешимости краевых задач с нелокальным граничным условием интегрального вида для многомерных гиперболических уравнений // Доклады Академии наук. 2005. T. 404, № 5.

[4] Абдрахманов А.М., Кожанов А.И. Задача с нелокальным граничным условием для одного класса уравнений нечетного порядка // Изв. вузов. Математика. 2007. № 5. С. 3-12. URL: http://mi.mathnet.ru/ivm1386.

[5] Абдрахманов А.М. О разрешимости краевой задачи с интегро-дифференциальным граничным условием для некоторых классов уравнений составного типа // Мат. заметки ЯГУ. 2011. Т. 18, Вып. 2. С. 3-10. Available at: https://www.elibrary.ru/item.asp?id=18379047.

[6] Стретт Дж.В. (лорд Рэлей) Теория звука // ГИТТЛ. 1955. Т. 1. C. 273-274.

[7] Свешников А.Г., Боголюбов А.Н., Кравцов В.В. Лекции по математической физике. Москва: Изд-во МГУ, 1993. 313 с.

[8] Габов С.А., Свешников А.Г. Линейные задачи теории нестационарных внутренних волн. Москва: Наука. 1990. 344 с.

[9] Егоров И.Е., Федоров В.Е. Неклассические уравнения математической физики высокого порядка. Новосибирск: Изд-во ВЦ СО РАН, 1995. 133 с.

10] Корпусов М.О. Разрушение в неклассических волновых уравнениях. Москва: URSS, 2010. 237 c.

11] Дмитриев В.Б. Краевая задача с нелокальным граничным условием для уравнения четвертого порядка // Вестник СамГУ. Естественнонаучная серия. 2016. Вып. 3-4. C. 32-50. URL: https://journals.ssau.ru/est/article/view/4256.

12] Попов Н.С. О разрешимости краевых задач для многомерных параболических уравнений четвертого порядка с нелокальным граничным условием интегрального вида // Математические заметки СВФУ. 2016. Т. 23, № 1. С. 79-86. URL: http://mi.mathnet.ru/svfu17.

13] Попов Н.С. O разрешимости краевой задачи для многомерных псевдогиперболических уравнений с нелокальным граничным условием интегрального вида // Математические заметки СВФУ. 2014. Т. 21, № 2. С. 69-80. URL: https://www.s-vfu.ru/universitet/rukovodstvo-i-struktura/instituty/niim/mzsvfu/issues/2014-2/ 69-80.pdf.

14] Попов Н.С. Разрешимость краевой задачи для псевдопараболического уравнения с нелокальными интегральными условиями // Дифференциальные уравнения. 2015. Т. 51, № 3. С. 359-372. DOI: https://doi.org/10.1134/S0374064115030073.

15] Кожанов А.И., Дюжева А.В. Нелокальные задачи с интегральным смещением для параболических уравнений высокого порядка // Известия Иркутского государственного университета. Естественнонаучная серия. Серия Математика. 2021. Т. 36. С. 14-28. DOI: https://doi.org/10.26516/1997-7670.2021.36.14.

16] Юлдашев Т.К. Нелокальная краевая задача для неоднородного псевдопараболического интегро-дифференциального уравнения с вырожденным ядром // Вестн. Волгогр. гос. ун-та. Сер. 1. Мат. Физ. 2017. Вып. 1 (38). C. 42-54. DOI: https://doi.org/10.15688/jvolsu1.2017.L5.

17] Юлдашев Т.К. Об одной краевой задаче для трехмерного аналога дифференциального уравнения Буссинеска // Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки. 2016. T. 158, Кн. 3. C. 424-433. URL: http://mi.mathnet.ru/uzku1377.

18] Юлдашев Т.К. Об одном интегро-дифференциальном уравнении Фредгольма в частных производных третьего порядка // Изв. вузов. Матем. 2015. № 9. C. 74-79. URL: http://mi.mathnet.ru/ivm9038.

19] Бейлин А.Б. Пулькина Л.С. Задачи о колебаниях стержня с нелинейным затуханием второго порядка // Вестник Самарского университета. Естественнонаучная серия. 2015. № 3 (125). C. 9-20.

[20] Ладыженская О.А. Краевые задачи математической физики. Москва: Наука, 1973. 408 с.

[21] Ладыженская О.А., Уральцева Н.Н. Линейные и квазилинейные уравнения эллиптического типа. Москва: Наука, 1973.

[22] Гординг Л. Задача Коши для гиперболических уравнений. Москва: Изд. ИЛ, 1961. 122 с.

[23] Треногин В.А. Функциональный анализ. Москва: Наука, 1980.

[24] Якубов С.Я. Линейные дифференциально-операторные уравнения и их приложения. Баку: Элм, 1985.

DOI: 10.18287/2541-7525-2021-27-1-15-28 Submited: 12.01.2021

Revised: 17.02.2021 Accepted: 28.02.2021

V.B. Dmitriev

E-mail: dmitriev_v.b@mail.ru. ORCID: https://orcid.org/0000-0002-9788-7036

BOUNDARY VALUE PROBLEM WITH A NONLOCAL BOUNDARY CONDITION OF INTEGRAL FORM FOR A MULTIDIMENSIONAL

EQUATION OF IV ORDER

ABSTRACT

The aim of this paper is to study the solvability of solution of non-local problem with integral condition in spatial variables for high-order linear equation in the classe of regular solutions (which have all the squared derivatives generalized by S.L. Sobolev that are included in the corresponding equation). It is indicated that at first similar problems were studied for high-order equations either in the one-dimensional case, or under certain conditions of smallness by the value of T. A list of new works for the multidimensional case is also given. In this paper, we present new results on the solvability of non-local problem with integral spatial variables for high-order equation a) in the multidimensional case with respect to spatial variables; b) in the absence of smallness conditions by the value T; however, this condition exists for the kernel K(x,y,t). The research method is based on obtaining a priori estimates of the solution of the problem, which implies its existence and uniqueness in a given space.

Key words: boundary value problem; non-local condition; high-order equation; priori estimates; integral boundary conditions; Boussinesq equation; regular solutions; uniqueness; existence.

Citation. Dmitriev V.B. Boundary value problem with a nonlocal boundary condition of integral form for a multidimensional equation of IV order. Vestnik Samarskogo universiteta. Estestvennonauchnaia seriia = Vestnik of Samara University. Natural Science Series, 2021, vol. 27, no. 1, pp. 15-28. DOI: http://doi.org/10.18287/2541-7525-2021-27-l-15-28. (In Russ.)

Information about the conflict of interests: author and reviewers declare no conflict of interests.

© Dmitriev V.B., 2021 Victor Borisovich Dmitriev — Candidate of Physical and Mathematical Sciences.

References

[1] Kozhanov A.I., Pul'kina L.S. Boundary value problems with integral conditions for multidimensional hyperbolic equations. Doklady Mathematics, 2005, vol. 72, no. 2, pp. 743-746. Available at: https://www.elibrary.ru/item.asp?id=13480468 [English; Russian original]

[2] Kozhanov A.I., Pul'kina L.S. On the solvability of boundary value problems with a nonlocal boundary condition of integral form for multidimensional hyperbolic equations. Differential Equations, 2006, vol. 42, no. 9, pp. 1233-1246. DOI: http://doi.org/10.1134/S0012266106090023. [Englsh; Russian original]

[3] Kozhanov A.I., Pul'kina L.S. On the solvability of boundary value problems with a nonlocal boundary condition of integral form for multidimensional hyperbolic equations. Doklady Mathematics, 2005, vol. 404, no. 5. (In Russ.)

[4]

[5]

[6]

[7]

[8]

[9]

[10 [11

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

[12

[13

[14 [15 [16

[17

[18 [19

[20 [21

[22 [23 [24

Abdrakhmanov A.M., Kozhanov A.I. A problem with a non-local boundary condition for one class of odd-order equations. Russian Mathematics, 2007, vol. 51, no. 5, pp. 1-10. DOI: https://doi.org/10.3103/S1066369X07050015. (In Russ.)

Abdrakhmanov A.M. On the solvability of boundary value problem with integrodifferential boundary condition for some classes of composite type equations. Mathematical Notes of YSU, 2011, vol. 18, Issue 2, pp. 3-10. Available at: https://www.elibrary.ru/item.asp?id=18379047. (In Russ.)

Rayleigh J.W.S. Theory of sound. Moscow: GITTL, 1955, vol. 1, pp. 273—274. (In Russ.)

Sveshnikov A.G., Bogolyubov A.N., Kravtsov V.V. Lectures on mathematical physics: textbook. Moscow: Izd-vo MGU, 1993, 313 p. (In Russ.)

Gabov S.A., Sveshnikov A.G. Linear problems in the theory of nonstationary internal waves. Moscow: Nauka, 1990, 344 p. (In Russ.)

Egorov I.E., Fedorov V.E. High-order non-classical equations of mathematical physics. Novosibirsk: Izd-vo VTs SO RAN, 1995, 133 p. (In Russ.)

Korpusov P.O. Destruction in nonclassical wave equations. Moscow: URSS, 2010, 237 p. (In Russ.)

Dmitriev V.B. A nonlocal problem with integral condition for a fourth order equation. Vestnik Samarskogo Gosuniversiteta. Estestvennonauchnaia seriia = Vestnik of Samara State University. Natural Science Series, 2016, no. 3-4, pp. 32-50. Available at: https://journals.ssau.ru/est/article/view/4256. (In Russ.)

Popov N.S. On the solvability of boundary value problems for multidimensional parabolic equations of fourth order with nonlocal boundary condition of integral form. Mathematical Notes of NEFU, 2016, vol. 23, no. 1, pp. 79-86. Available at: http://mi.mathnet.ru/svfu17. (In Russ.)

Popov N.S. On the solvability of boundary value problems for higher-dimensional pseudohyperbolic equations with a nonlocal boundary condition in integral form. Mathematical Notes of NEFU, 2014, vol. 21, no. 2, pp. 69-80. Available at: https://www.s-vfu.ru/universitet/rukovodstvo-i-struktura/instituty/niim/mzsvfu/ issues/2014-2/69-80.pdf. (In Russ.)

Popov N.S. Solvability of a boundary value problem for a pseudoparabolic equation with nonlocal integral conditions. Diferential Equations, 2015, vol. 51, no. 3, pp. 362-375. DOI: http://doi.org/10.1134/S0012266115030076 [English; Russian original]

Kozhanov A.I., Dyuzheva A.V. Non-local problems with integral displacement for high-order parabolic equations. The Bulletin of Irkutsk State University. Series Mathematics, 2021, vol. 36, pp. 14-28. DOI: https://doi.org/10.26516/1997-7670.2021.36.14. (In Russ.)

Yuldashev T.K. Nonlocal boundary value problem for a nonhomogeneous pseudoparabolic-type integro-differential equation with degenerate kernel. Vestnik Volgogradskogo gosudarstvennogo universiteta. Seriya 1. Mathematica. Physica = Science Journal of Volgograd State University. Mathematics. Physics, 2017, issue 1 (38), pp. 42-54. DOI: https://doi.org/10.15688/jvolsu1.2017.1.5. (In Russ.)

Yuldashev T.K. On the boundary value problem for a three dimensional analog of the Boussinesq differential equation. Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 2016, vol. 158, book 3, pp. 424—433. Available at: http://mi.mathnet.ru/uzku1377. (In Russ.)

Yuldashev T.K. A certain Fredholm partial integro-differential equation of the third order. Russian Mathematics, 2015, vol. 59, no. 9, pp. 62—66. DOI: https://doi.org/10.3103/S1066369X15090091. [English; Russian original]

Beylin A.B., Pulkina L.S. Problem on vibration of a bar with nonlinear second-order boundary damping. Vestnik Samarskogo universiteta. Estestvennonauchnaia seriia = Vestnik of Samara University. Natural Science Series, 2015, no. 3 (125), pp. 9—20. Available at: https://journals.ssau.ru/est/article/view/4487. (In Russ.)

Ladyzhenskaya O.A. Boundary value problems of mathematical physics. Moscow: Nauka, 1973, 408 p. (In Russ.)

Ladyzhenskaya O.A., Uraltseva N.N. Linear and quasi-linear equations of elliptic type. Moscow: Nauka, 1973, 538 p. (In Russ.)

Gording L. The Cauchy problem for hyperbolic equations. Leningrad: Moscow, 1961, 122 p. (In Russ.) Trenogin V.A. Functional analysis. Moscow: Nauka, 1980, 488 p. (In Russ.)

Yakubov S.Ya. Linear differential-operator equations and their applications. Baku: Elm, 1985. (In Russ.)

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