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

Научная

статья

DOI: 10.18287/2541-7525-2024-30-2-30-44

УДК 517.95

Дата: поступления статьи: 23.01.2024 после рецензирования: 25.04.2024 принятия статьи: 15.05.2024

Л.С. Пулькина

Самарский национальный исследовательский университет имени академика С.П. Королева, г. Самара, Российская Федерация E-mail: louise@samdiff.ru. ORCID: https://orcid.org/0000-0001-7947-6121

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

ЧЕТВЕРТОГО ПОРЯДКА

АННОТАЦИЯ

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

Ключевые слова: уравнение четвертого порядка; нелокальная задача; интегральные условия 1-го и 2-го рода.

Цитирование. Пулькина Л.С. Задача с нелокальными интегральными условиями I рода для уравнения в частных производных четвертого порядка // Вестник Самарского университета. Естественнонаучная серия / Vestnik of Samara University. Natural Science Series. 2024. Т. 30, № 2. С. 30-44. DOI: http://doi.org/10.18287/2541-7525-2024-30-2-30-44.

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

© Пулькина Л.С., 2024

Людмила Степановна Пулькина — доктор физико-математических наук, профессор, профессор кафедры дифференциальных уравнений и теории управления, Самарский национальный исследовательский университет имени академика С.П. Королева, 443086, Российская Федерация, г. Самара, Московское шоссе, 34.

Введение

В настоящее время задачи с нелокальными условиями для уравнений с частными производными продолжают привлекать внимание исследователей. Интерес к этому классу задач обоснован необходимостью построения математических моделей, отвечающих потребностям современного естествознания [1; 2]. Вскоре после выхода статей [3; 4], положивших начало систематическим исследованиям нелокальных задач с интегральными условиями, появился ряд работ, в которых в том или ином качестве присутствуют нелокальные интегральные условия: либо вместо граничных [5-16], либо в качестве условий переопределения в обратных задачах [17; 18]. В большинстве из упомянутых работ изучены задачи для параболических и гиперболических уравнений второго порядка. К настоящему времени появились статьи, в которых исследуются нелокальные задачи для уравнений

порядка выше второго. Отметим статью [19], в которой рассмотрена нелокальная задача для уравнения четвертого порядка и, кроме того, имеется значительный список литературы. Исследования показали, что классические методы обоснования разрешимости начально-краевых задач не могут быть применены без существенных модификаций, если вместо краевых или начальных условий (или некоторых из них) заданы нелокальные условия. Основное содержание статьи представляет собой демонстрацию предложенного нами метода, который позволил доказать существование единственного решения задачи с нелокальными интегральными условиями I рода, ядра которых зависят как от х, так и от Ь, для уравнения четвертого порядка. Доказательство базируется на полученных в работе априорных оценках.

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

Рассмотрим уравнение

ии - (а(х,Ь)пх)х - (Ъ(х)пих)х + с(х,Ь)и = /(х,Ь) (1.1)

в области (т = (0,/) х (0, Т), предполагая, что коэффициенты уравнения и его правая часть — достаточно гладкие функции, а(х,Ь) ^ ао > 0 в Qт, Ъ(х) ^ Ъо > 0, и поставим для него следующую задачу.

Задача 1. Найти в Qт решение уравнения (1.1), удовлетворяющее условиям:

и(х, 0) = ф(х), щ(х, 0) = ф(х), (1.2)

I К,(х, Ь)и(х, Ь)3,х = Ы(г), { = 1, 2. (1.3)

о

Функции /(х,Ь), К,(х,Ь), Ы,(Ь), ф(х), ф(х) заданы в соответствующих областях и достаточно гладки там. Ниже мы приведем четкие требования и условия на эти функции. Будем также предполагать выполненными условия согласования

[ к(х, 0)ф(х)3х = ы(0), [ Кг(х, 0)ф(х)3х +[ Кц(х, 0)ф(х)3х = Ы,(0). (1.4)

Jо Jо Jо

Условие (1.3) относится к нелокальным интегральным условиям первого рода. Известно [20; 21], что интегральные условия первого рода приводят к значительным трудностям при обосновании разрешимости задач, отчасти аналогичных тем, что возникают при решении интегральных уравнений первого рода.

Интегральные условия, содержащие и внеинтегральные слагаемые, в которых присутствуют следы искомого решения и его производной по нормали к границе, называют условиями второго рода. Для исследования нелокальных задач с интегральными условиями второго рода, содержащими производные по пространственной переменной, разработан эффективный метод, позволяющий обосновать разрешимость задачи в пространстве Соболева [20; 21]. При его реализации удается использовать многие стандартные приемы вывода априорных оценок, на которых в основном базируется доказательство как единственности, так и существования решения. В случае одной пространственной переменной трудность, которую доставляет интегральное условие первого рода, можно легко обойти с помощью приема [20], позволяющего перейти от условия вида (1.3) к условию, содержащему производную по направлению нормали.

Мы используем здесь модифицированную версию этого приема и преодолеем на пути его реализации и другую трудность, связанную с тем, что в нашей статье, в отличие, например, от [14], ядра интегральных условий зависят как от х, так и от Ь.

2. Основной результат

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

а,ах,аис € С((т), Ъ € Сг[0,1], ф € Wl(0,l), ф € Ь2(0,1),

/ € Ь2(т), Ы € С2[0,Т], К € С2((т), Кихх € С((т), д = К1(0,г)К2(1,г) - К1(1,г)К2(0,г) = 0.

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

1. Покажем, что условия первого рода (1.3) эквивалентны при выполнении условий согласования (1.4) интегральным условиям второго рода.

2. Введем понятие обобщенного решения задачи с нелокальным условием второго рода, которую будем называть задача 2.

3. Докажем единственность обобщенного решения задачи 2.

4. Докажем существование обобщенного решения задачи 2.

5. Сформулируем в терминах задачи 1 условия существования ее единственного обобщенного решения.

Приступим к реализации нашего плана.

Эквивалентность нелокальных условий

Лемма. Если и(х,г) — решение задачи 1, выполняются условия согласования (1.4) и для всех г е [0, Т]

А = к1(0,г)к2(1,г) - к1(1,г)к2(0,г) = о, (Кх(х,г)Ь(х))х = -к/(х,г),

то условия (1.3) эквивалентны интегральным условиям второго рода вида

а(о,г)их(о,г) = м1(и) + д1(г), а(1,г)их(1,г) = м2(и)+ д2(г).

Здесь М/(и) представляют собой соотношения, содержащие искомое решение и(х,г), его следы на х = = 0, х = I, интегралы от искомого решения, но не содержат производных по пространственной переменной, д/(г) выражаются через известные функции. Мы сознательно не выписываем сразу представления М/(и), и не только по причине их громоздкости. В процессе доказательства леммы мы продемонстрируем их вывод, укажем возможные варианты, обоснуем сделанный выбор и обсудим дальнейшее обобщение.

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

/ к/(х,г)ии(х,г)ё/х + 2 кц(х,г)щ(х,г)ё,х + кцг(х,г)и(х,г)йх = Н'/ (г). (2.1)

ио Jо Jо

Так как по предположению и(х,г) удовлетворяет уравнению (1.3), то

иы = (аих)х + (Ьиих)х - си + ¡.

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

к1(1,г)а(1,г)их(1,г) - к1(0,г)а(0,г)их(0,г) + к1(1,г)Ь(1)иих(1,г)--кф,г)Ь(0)ипх(0,г) - к-1х(1, г)а(1, г)и(1,г) + к^(0,г)а(0, г)и(0, г)+ +к1х(0,1)Ь(0)игг(0,1) - к1х(1,г)Ь(1)ии(1,г) + /■I

+ / [(K1xa)x - Kic + 2Kltt]u(x,t)dx+ Jo

+4 i K1t(x,t)ut(x,t)dx = 2h'{(t) - i K1(x,t)f(x,t)dx, (2.2)

Jo Jo

K2(l, t)a(l, t)ux(l, t) - K2(0, t)a(0, t)ux(0, t) + K2(l, t)b(l)uttx(l, t)--K2(0, t)b(0)uttx(0, t) - K2x(l, t)a(l, t)u(l, t) + K2x(0, t)a(0, t)u(0, t)+

+K2x(0,t)b(0)utt(0,t) - K2x(l,t)b(l)utt(l,t) +

2x

d

+ [ [(к2ха)х - к2с + 2кш]и(х,г)ах+ ■)о

+2 ( ки(х,г)щ(х,г)йх = 2Н'2(г) - [ к2(х,г)/(х,г)в,х. (2.3)

Jо Jо

Рассмотрим равенства (2.2) и (2.3) как систему уравнений относительно а(0,г)их(0,г) + Ьиих(0,г),

а(1,г)их(1,г) + Ьиих(1,г) и, учитывая условие

А = к1(0,г)к2(1,г) - к1(1,г)к2(0,г) =0, решим ее. Получим

а(0,г)их(0,г) + Ьиах(0,г) = ап(г)и(0,г) + аи(г)и(1,г) + вп(г)и„(0,г)+

+ви(г)ии(1,г)+ [ ы1 (х,г)и(х,т)йх + [ Р1 (х,г)щйх + д1(г), (2.4)

оо

a(l,t)ux(l,t) + buttx(l,t) = a21(t)u(0,t) + a22(t)u(l,t) + l32i(t)utt(0,t)+

+fi22(t)utt(l,t)+ H2 (x,t)u(x,T )dx + P2 (x,t)utdx + gi(t), (2.5)

Jo Jo

где мы обозначили

(t) Kix(0,t)K2(l,t) - K2x(0,t)Ki(l,t) ( aii(t) =-—-a(0,t),

f.s K2x(l,t)Ki(l,t) - Kix(l,t)K2(l,t) ai2(t) = -—-a(l,t),

(t) Kix(0,t)K2(0,t) - K2x(0,t)Ki(0,t) a2i(t) = -—-a(0,t),

f.s K2x(l,t)Ki(0,t) - Kix(l,t)K2(0,t) a22(t) =-—-a(l,t),

{t) = Kix(0,t)K2(l,t) - K2x(0,t)Ki(l,t)

= K2x(l,t)Ki(l,t) - Kix(l,t)K2(l,t)

о (t) Kix(0,t)K2(0,t) - K2x(0,t)Ki(0,t) e2i(t) = -—-b(0),

^ = K2x(l,t)Ki(0,t) - Kix(l,t)K2(0,t) m,

Ki = (Kix(x, t)a(x, t))x - Ki(x,t)c(x,t) + 2Kitt (x,t), K2 = (K2x(x,t)a(x,t))x - K2(x,t)c(x,t) + 2K2tt(x,t), Ki(x,t)K2(l,t) - K2(x,t)Ki(l,t)

Hi(x,t) H2(x,t) = Pi(x,t) = 2 P2 (x, t) =2

Д

Ki(x,t)K2(0,t) - K2(x,t)Ki(0,t) A '

Kit(x,t)K2(l,t) - K2t(x,t)Ki(l,t) A '

Kit(x,t)K2(0,t) - K2t(x,t)Ki(0,t) — :

■Jli+\TS (1 +\ u"(

91(1) = 1 [К№2(1,1) - Щ(г)к1(1,г)-

- I [к1(х,ь)к2(1,ь) - к2(х,ь)к1([,ь)]/(х,ь)3х Jo

92$) = 1 [К(№2(0,±) - Н>'(г)к1(0,г)-

- I [к1(х,ь)к2(0,ь) - к2(х,ь)к1(0,ь)]/(х,ь)3х . Jo -1

Пусть теперь и(х,Ь) — решение уравнения (1.1), удовлетворяющее условиям (1.2), (2.4), (2.5),

и выполняются условия согласования (1.4). Заметим, что если выполняются (2.4), (2.5), то выполняются

и (2.2), (2.3), из которых и получены (2.4), (2.5). Умножив (1.1) на кг(х,Ь) и проинтегрировав

полученные равенства по промежутку (0,1) после элементарных, но громоздких преобразований,

в которых учтены (2.2), (2.3), приходим к равенствам

32 Г1

—у[ к,(х,г)и(х,г)3х - нг(ь)] = 0. (2.6)

зь2 у0

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

]0 кг(х,Ь)и(х,Ь)3х - Нг(Ь), г = 1, 2. В силу начальных данных (1.2) и условий согласования (1.4) имеем

I кг(х, 0)и(х, 0)3х - Нг(0) = 0,

0

I

d

— J Ki(x,t)u(x,t)dx\t=o - h'i(0) = 0,

откуда

r1

/ Ki(x,t)u(x,t)dx — hi(t) = 0

Jo

как решение однородной задачи Коши. Это означает, что выполняются условия (1.3) и лемма доказана Утверждение доказанной леммы дает возможность вместо задачи 1 с нелокальными условиями (1.3) изучать задачу с условиями (2.4), (2.5), которые содержат производные по пространственной переменной. Именно их присутствие в нелокальном условии позволит получить оценки, с помощью которых мы и докажем однозначную разрешимость задачи. Действительно, для обоснования разрешимости задач с нелокальными условиями вида

ди(х, г)

dv

+ j K(x,y,t)u(y,t)dy = h(x,t),x G дQ

разработан и не раз применен эффективный метод [23; 9; 21]. Однако в нашем случае все не так просто, так как в правых частях равенств (2.4), (2.5) присутствуют следы производных второго порядка по г, что существенно отличает ситуацию от той, которая имеет место в отмеченных статьях. Мы покажем, что это не препятствует обоснованию разрешимости упомянутым методом, если предпринять некоторые меры.

Во избежание громоздких выражений введем обозначения

Б1(и) = ап(г)и(0,г) + ап(г)и(1,г) + вп(г)иа(0,г) + в12(г)иа(1,г)+

А /' I

+ Hi(x,t)u(x,T )dx + Pi(x,t)utdx,

Jo Jo

Ю J0

Б 2 (и) = а21(Ь)и(0,Ь) + а22{Ь)и(1,Ь) + в21^)иа(0,г) + в22^)иа(1,г)+

А А

+ I Н2(х,Ь)и(х,т)йх + / Р2(х,Ь)щйх.

00

Учитывая доказанное в лемме 1 утверждение об эквивалентности нелокальных условий, перейдем к задаче с нелокальными интегральными условиями второго рода

а(0,г)их(0,г) + Ъиих(0,г) = Б1(и) + 91(г), (27)

а(1,г)их(1,г) + ЪиПхх(1,г) = Б2(и)+ 92(г). ( . )

Задача 2. Найти в Qт решение уравнения (1.1), удовлетворяющее условиям (1.2) и (2.7). Введем понятие решения задачи 2.

Следуя известной схеме [25] и предполагая, что и(х,г) является классическим решением задачи 2, рассмотрим равенство

/ / (ии - (аих)х - (Ъиих)х + си)у(х, г)3х3г = / /(х,г)у(х,г)ЗхЗЬ, 0 0 0 0

где у(х,г) достаточно гладкая функция и у(х,Т) = 0.

Преобразовав это равенство, интегрируя по частям, получим

/ I (-и^у^ + аих Ух - ЪихьУхь + еиу)с!хЖ+

00

+ [ у(0,г)[а(0,г)их(0,г) + ъ(0)иих(0,г)]л-

0

- I у(1,г)[а(1,г)их(1,г) + ъ(1)иЫх(1,г)]зг = [ [ ¡уЗхАг. Jo Jo Jo

Учитывая теперь условия (2.7), запишем полученное равенство так:

,-Т /' I

/ / (—utvt + auxvx — buxtvxt + cuv)dxdt+

oo

+ i v(0,t)Bl(u)dt —i v(l,t)B2(u)dt =

oo

fvdxdt + i v(0, t)gl(t)dt + i v(l,t)g2(t).

o o o o

Обозначим

Ш(Ют) = {и(х, Ь) : и € Ш1(Ют), ихг € Ь2(Ят)};

\¥(^т) = {ь(х,Ь) : V € Ш(Ют), ь(х,Т) = 0}.

Нашей целью является доказательство разрешимости задачи 2 в пространстве Ш(Ют), поэтому полученное выше равенство пока не может служить основой определения решения в этом пространстве, так как содержит следы производных второго и третьего порядков. Чтобы преодолеть это затруднение, преобразуем слагаемые, содержащие эти производные, интегрируя по частям, в

[ v(0,t)B1(u)3t, ( v(l,t)B2(u)3t.

00

Приведем эти выкладки для первого слагаемого:

[ v(0,t)utt(0,t)iв113t = -I vt(0,t)ut(0,t)в113t -I v(0,t)ut(0,t)в'11(Ь)3Ь, ио Jo Jo

[ v(0,t)utt(l,t)в123Ь = -I Vt(0,t)ut(l,t)|3123t -I v(0,t)ut(l,t)в'1 2(Ь)3Ь, ио Jo Jo

В результате сделанных преобразований получим

[ v(0,t)B1(u)3t = Jo

= I v(0,t)[a11 и(0, Ь) + а12и(1,Ь) - /3[ 0,Ь) - /3[ 2 щ(1,Ь)]3Ь-Jo

- I vt(0,t)[fill(t)ut(0,t) + @12Щ(1,Ь)]3Ь+ Jo

+ [ v(0,t)[í Н1(х,Ь)и(х,Ь)3х + [ Р1(х, Ь)щ(х, Ь)3х]3Ь. (2.8)

Jo Jo Jo

Совершенно аналогично получим

I v(l,t)B2(u)3t = Jo

= I v(l,t)[a21u(0,t) + а22У,(1,Ь) - в21 щ(0,Ь) - в22Щ(1,Ь)]3Ь-Jo

¡■т

Vt(l,t)[в2l(t)ut(0,t) + Р22Щ(1,Ь)]3Ь+

10

+ i v(l,t)[i H2(x,t)u(x,t)dx + i P2(x,t)ut(x,t)dx]dt. (2.9)

0 0 0

Определение. Решением задачи 2 будем называть функцию и € Ш(Ют), удовлетворяющую условию и(х, 0) =0 и тождеству

т г I т т

v(0A)B^(u)3t- / ^о

/ / (—utvt + auxvx — buxtvxt + cuv)dxdt + v(0,t)Bi(u)dt — v(l,t)B2(u)dt =

Jo Jo Jo Jo

= f i fvdxdt — i v(0,t)g1(t)dt + i v(l,t)g2(t)dt (2.10)

Jo Jo Jo Jo

для любой v £ W(Qt), а второй и третий интегралы в левой части (2.10) понимаются в смысле (2.8) и (2.9).

Теорема 1. Если

a,ax,at,c £ CQt), сц, £ C 1[0,T], ßj £ C2[0,T], i,j = 1, 2, Hi,Pi,Pix £ L2(0,l) Ш £ [0,T], gi £ L2(0,T), ßl2 + ß21 =0, ßui2 — 2ßi2^V — ß22V2 > 0, то существует единственное обобщенное решение задачи 2.

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

Покажем, что существует не более одного решения задачи 2. Предположим, что это не так. Тогда функция и(х,г) = и^х,г) - и2(х,г), разность предполагаемых различных решений задачи 2, удовлетворяет условию и(х, 0) = 0 и тождеству

Т !■ I

I I ( UfVf + aux Vx - butxVtx + cuv)dxdt+ Jo Jo

+ [ v(0,t)B1(u)dt -i v(l,t)B1(u)dt = 0. (2.11)

oo

/0

Выберем функцию у(х,г) в (2.11) следующим образом:

, ,, . Ги(х,п)Лп, 0 ^ г ^ т, у(х,г) = ^ т

0, т < г < т.

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

I /' т /' I

— I [v?(x,T) + b(x)uX(x,T) + a(x, 0)vX(x, 0)]dx = i f cuvdxdt-

2 Jo Jo Jo

rr A

гл l l

2 Jo Jo

а^СхА + [ у(0,г)Б1(и)СЬ - [ у(1,г)и)Б2(и)А. (2.12)

00

На первый взгляд очевиден следующий шаг в доказательстве — сделать оценку правой части (2.12). Но сразу это сделать нельзя, так как соотношения Б^(и) содержат следы искомого решения, что пока не позволяет получить полезную оценку в нужном пространстве. Поэтому сделаем некоторые преобразования в процессе оценки правой части равенства (2.12). Запишем их постепенно и подробно, учитывая введенные обозначения.

Рассмотрим правые части (2.8), (2.9) и проведем некоторые вычисления с учетом представления выбранной функции у(х,г).

гт 1 гт 1

111 = а11(г)у(0,г)и(0,г)аг = -- а'11(г)у2(0,г)сг --аи(0)«2(0,0); Jo 2 ■! 0 2

112 = / а12У(0,г)у^1,г)А; Jo

/т 1 Гт 1

ви(г)Уг(0,г)щ(0,г)сИ = - ^ в'ц(г)и2(0,г)Сг - -/Зп(т)и2(0,т);

114 = -! в12(г)уь(0,г)щ(1,г)сь;

o

,-т

X

I15 = - v(0,t)ut(0,t)e'11(t)dt = uX(0,t)e'n(t)dt + v(0,t)u(0,t)e'11(t)dt; Jo Jo Jo

I16 = - i v(0,t)ut(l,t)e'1X(t)dt = f u(0,t)u(l,t)e'1X(t)dt + i v(0,t)u(l,t)e'X(t)dt; Jo Jo Jo

117 = / v(0,t) P'(x,t)ut(x,t)dxdt = - u(0,t) Pi (x,t)u(x,t)dxdt-o o o o

Г ri

/ P't(x,t)u(x,t)dxdt;

oo

IX1 = -( aX1v(l,t)(t)u(0,t)dt = ( aX1 v(0,t)vt(l,t)dt + [ a'X1 (t)v(l,t)v(0,t)dt+

o o o X'

+ax1(0)v(0, 0)v(l, 0);

Г — Г —

Ixx = - axx(t)v(l,t)u(l,t)dt = - a'XXvX(l,t)dt + -axx(0)vx (l, 0);

Jo 2 Jo 2

IX3 =i I3x1(t)vt(l,t)ut(0,t)dt = -f I3'x1(t)vt(l,t)vt(0,t)dt -f ex1(t)vt(0,t)ut(l,t)dt+

Jo Jo Jo

o

+вх1(т )u(l,T )u(0,T);

т

т

/Т 1 I 1

в22(Ь^(1,Ь)Щ(1,Ь)3Ь = -2 ] ^22^Ь)3Ь + 2Мт^Ц, т);

125 =( v(l,t)ut(0,t)|3'21(t)3t = -( и^ьи^ь)^^ -[ v(l,t)u(0,t)в21 (Ь)3Ь; Jo Jo Jo

126 = ( v(l,t)ut(l,t)в'22(t)3t = - ( ^(^Ь)^(Ь)3Ь - ( v(l,t)u(l,t)в'X2(t)3t; Jo Jo Jo

127 = - v(l,t) Р2(х,Ь)щ(х,Ь)3х3Ь = vt(l,t) Р2 (х,Ь)и(х,Ь)3х3Ь+ Jo Jo Jo Jo

+ v(l,t) Р2^(х,Ь)3х3Ь. Jo Jo

Результаты сделанных преобразований нужно подставить в (2.12), но мы не будем это делать в явном виде, а воспользуемся введенными обозначениями и заметим, что так как по условию в12 + @21 =0, то 114 +123 = /Т в21(t)u(0,t)u(l,t)3t - в21 (т )и(0,т )и$,т), а так как в"^2 + 2в12£п - в22П2 ^ 0, то из равенства (2.12) вытекает неравенство

/'I /'Т /'I /'Т /'I

/ [и (х,т) + Ьих(х,т) + а(х, 0)vx(х, 0)]3х ^ 2\ / cuv3x3t\ + / а^2,3х3Ь+ Jo Jo Jo Jo Jo

+ [ \a'11\(t)v2(0,t)3t + 2\ ( ^^(0, Ь^(1, Ь)3Ь\ +[ \а'22\v2(l,t)3t+ Jo Jo Jo

+ \all\(0)v2(0, 0) + 2\а21(0М0, 0)v(l, 0)\ + \a22\v2(l, 0)+

+ { \в'11\и2(0,Ь)3Ь + 2\ I в'21и(0, Ь)и$, Ь)3Ь\ +1 \в'22(t)u2(l,t)3t\ + Jo Jo Jo

в \u2(0,t)dt + 2\ ( I3'2iu(0,t)u(l,t)dt\ +/ \e'22(t)v2' 10 Jo Jo

+2\ ( v(Q,t)u(Q,t)P!i(t)dt\ +2\ ( v(0,t)u(l,t)e'i2(t)dt\+

o o

+2\ i v(l,t)u(0,t)l3'2i(t)dt\ +2\ i v(l,t)u(l,t)P'22(t)dt\ +

oo

A ,-r A

+2\ ( u(0,t) i Pi(x,t)u(x,t)dxdt\ +2\ ( v(0,t) ( Pit(x,t)u(x,t)dxdt\ +

o o o o

+2\ i u(l,t) i P2(x,t)u(x,t)dxdt\ +2\ i v(l,t) i P2t(x,t)u(x,t)dxdt\+

o o o o

+2\ f v(0,t) i Hi(x,t)u(x,t)dxdt\ +2\ i v(l,t) i H2(x,t)u(x,t)dxdt\+ Jo Jo Jo Jo

+2\ i a2iv(0,t)u(l,t)dt\. (2.13)

0

Теперь уже легко вывести нужную оценку. Для этого нам понадобятся неравенства Коши, Коши — Буняковского, неравенства

1 i w2(^i,t) < 2l $ w2x (x,t)dx + у/ w2(x,t)dx,

0 o

1 i (2.14) w2(^i,t) ^ e J wx(x,t)dx + c(e) J w2(x,t)dx,

£i =0, Ь = l, w G WI(Qt),° которые выводятся так же, как и в ([25] (6.24, с. 77), а также неравенство

v2(x,t) < t[ u2(x,t)dt, yt G [0,T], (2.15)

o

которое следует из представления выбранной выше функции v(x,t).

Условия теоремы гарантируют существование таких положительных чисел ao,ai,co,bo,bi,K,a, что

a(x,t) ^ ao, b(x) ^ bo, max\a(x,t), at(x,t)\ ^ ai, max \c(x,t)\ ^ co,

qt Q t

max \aij(t), вц(t) aij(t), ej(t),e"j(t)\ < bi, i,j = 1, 2,

max Hi(x,t)dx ^ к, max P2(x,t,T)dT ^ a, i = 1, 2. [o,T]Jo (qt Jo

Учитывая выписанные ограничения и применяя к слагаемым, содержащим произведения, неравенства Коши и Коши — Буняковского, получим из (2.13), принимая также во внимание условие (2.15), неравенство

/ [и2(х,т) + aovX(х, 0) + Ъoи2х(х,т)]Сх ^ С1 / / [и2 + у2 + у2х]СхСг+

Jo Jo Jo

+С2 [ [и2(0,г)+ и2(1,г)+ у2(0,г) + у2(1,г)]з,г + С3[у2(0,0) + у2(1,0)], (2.16)

Jo

где С\, С2, С3 выражаются через определенные выше числа ao, а1, е^, ^, Ъ1, к, а элементарным образом, которые из-за большого количества слагаемых слишком громоздки, и мы их не приводим.

Теперь оценим слагаемые правой части последнего неравенства, содержащие следы функции у(х,г) на боковых границах, применив для этого неравенства (2.14) и (2.15).

i у2(0,г)сг < -I i i ух(х,г)СхСг + - i i у2(х,г)СхСг < Jo Jo Jo 1 ^ Jo

^ 21 I I ух(х,г)СхСЬ +— т2 I I и2 (х,г)СхСЬ; Jo Jo 1 Jo Jo

[ у2(1,г)сг < 21 ( [ У2(х,г)схсг + - ( [ у2(х,г)Сх& < Jo Jo Jo 1 Jo Jo

^ 21 [ ( у2х(х,г)СхСЬ +~т2 [ [ и2(х,г)СхСЬ; Jo Jo 1 Jo Jo

у2(0, 0) < е ( у2(х, 0)Сх + е(е) [ у2(х, 0)Сх <

Jo Jo

^ е / у2х(х, 0)Сх + е(е)т / и2(х,г)йх; Jo Jo Jo

у2(1, 0) < е [ у2х(х, 0)Сх + е(е) [ у2(х, 0)Сх <

Jo Jo

^ е / ух(х, 0)Сх + е(е)т / и2(х,г)Сх

Jo Jo Jo

/ и2(0,г)сг ^ 21 [ ( и2х(х,г)схсг + ~ / / и2(х,г)СхЛ, Jo Jo Jo 1 Jo Jo

[ и2(1,г)сг ^ 21 [ ( и2х(х,г)схсг + 2 [ [ и2(х,г)СхСг. Jo Jo Jo 1 Jo Jo

x

Ю Jo Jo l Jo Jo

С учетом полученных неравенств из (2.16) следует

ri

[u2 (x T) + anv , , 0, , ,,,,,,

1 ^U^"x

/ [u2(x, t) + aov2x(x, 0) + bou2x(x, t)]dx ^

Jo

< С I I [и2 + и2х + у2х]СхСг + 2С3е [ у2х(х, 0)Сх, (2.17)

Jo Jo Jo

где С выражается через С1,С2,Сз,1,т. Выберем е так, чтобы са^ -2Сзе > 0, положив для определенности е = , и перенесем последний интеграл в (2.15) в левую часть неравенства. Тогда

[и2(х,т) + ух(х, 0) + Ъои2х(х,т)]Сх < С [и2 + ух + и2х]СхЛ.

Jo 2 Jo Jo

Последнее препятствие на пути к нужной оценке в виде Ух(х, 0) преодолеем, введя функцию т(х,г) =

f0ux(x,n)dn. Из представления функции v(x,t) следует

vx(x,t) = j ux(x,n)dn = w(x,t) — w(x,T), vx(x, 0) = w(x,T).

Тогда, применив неравенство Коши для оценки (w(x,t) — w(x,T))2, получим

f1 ao

[u2(x, t) + — w2(x, t) + bou2x(x, t)]dx ^

Jo 2

< 2C i f [u2 + u2x + w2]dxdt + 2Ct i w2 (x, t)dx.

o o x o

Пользуясь произволом, выберем т так, чтобы V = Щ0 - 2Ст > 0, перенесем последнее слагаемое правой части неравенства в левую его часть и получим неравенство

/ [и2(х,т)+ и}2(х,т) + и2Х(х,т)]3х ^ 2С / / [и2 + ¡2 + иХ]3х3Ь, Jo Jo Jo

где шo = тт^^,^}, справедливое для всех т € [0, ЩС], из которого в силу леммы Гронуолла [24] следует

ш^ / [и2(х,т)+ ш2(х,т) + иХ(х,т)]3х ^ 0, Jo

откуда и(х,Ь) =0 в [0, ЩС ]. Следуя процедуре, описанной в [25] (с. 212), покажем, что и(х,Ь) = 0 ив [Щс , ХСС], и, продолжая этот процесс, на всем промежутке [0, Т].

Это и означает, что предположение о существовании двух различных решений задачи 2 неверно, и, стало быть, единственность решения доказана.

Приступим к доказательству существования решения, для чего воспользуемся методом Галеркина. Пусть {¡к(х)} — произвольная система функций из С2\0,1], линейно независимая и полная в Ш'(0^). Будем искать приближенные решения задачи 2 в виде

т

ит(х,Ь) = Стк(Ь)Лк(х) (2.18)

к=1

из соотношений

/ (ит+ аит^г + Ьитхлг + ситлг)3х + Wi(0)B1(um) - Wi(l)B2(u) = Jo

= [ М3х - Лг(0Щ(Ь) + ¡г(Г)¥х(Ь), т(0) = стк(0) = 0, (2.19)

Jo

где

Bl(u) = ац(Ь)и(0,Ь) + а12(Ь)и(^ Ь) + вп(Ь)иа(0,Ь) + вМ^Щ^,^ ,1 ,1 + Н1(х,Ь)и(х,т )3х + Р'(х,Ь)щ3х, Jo Jo

B2(u) = ау1(Ь)и(0,Ь) + аух^М^Ь) + вх1(Ь)иа(0,Ь) + вхх^ии^,^ ,1 ,1 + Ну(х,Ь)и(х,т )3х + Ру(х,Ь)щ3х. Jo Jo

Подставив (2.18) в (2.19), убеждаемся в том, что (2.19) представляет собой систему дифференциальных уравнений относительно стк(Ь). Действительно, подстановка (2.18) в (2.19) дает

А т А

/ (ит¡г + аитл'г + Ьи,ЦХл'г + ситлг)3х с'тк(Ь)[ / ¡к¡г3х+

Л к=1 ^

+ви¡г(0)лк(0) + впЛг^Лк^) - вуЛг^л^) - вхуЛг (1)Лк (l)) + А А

+ У2 c'k(t)( wi(0) Pi(x,t)wk (x)dx - wi(l) P2 (x,t)wk (x)dx) + k=i v Jo Jo 7 m ( fi

+ У^ ck(t)( / [aw'wk + cwiwk]dx + a.iiwi(0)wk(0) + a.i2wi(0)wk(l)-k=i yJo

-a2iwi(l)wk(0) - a22wi(l)wk(l) + +wi(0) J (Hi + Pi)wk(x)dx - wi(l) J (H2 + P2)wk(x)dx^ =

= f fwidx - wi(0)Fi(t)+ wi(l)F2(t).

o

Введя очевидное обозначение, получим

m

J^Aik c'i(t) + Dikck (t) + dik ck (t) = Gi(t), ckX0) = ck(0) = 0. k = i

Эта задача Коши однозначно разрешима, Действительно, матрица коэффициентов при старших производных невырожденная в силу линейной независимости функций 'Шг(х) и условий в12 + в21 = 0 и ви^2 + — @22<п'2 ^ 0. Условия теоремы гарантируют ограниченность коэффициентов и правой

части уравнений.

Таким образом, последовательность приближенных решений задачи 2 построена.

На следующем этапе доказательства существования решения выведем априорную оценку. Для этого умножим каждое из соотношений (2.19) на свою с'т^(г), просуммируем по г от 1 до т, а затем проинтегрируем по г € (0,т). Получим

Г I'1

I I / т т . т т , 1 т т т т\л^11 .

I I (иииг + аих ихЛ + Ъь,хиихЛ+си иг )ахаг+

Jo Jo

+ [ ит(0,г)[ап(г)и(0,г) + аи(г)и(1,г) + ви^щгМ + в12ии(1,г)\аь—

0

— [ ит(1,г)[а21(г)и(0,г) + а22(г)и(1,г) + в21(г)щл(0,ь) + в22у4Л(1,ь)\аг+

0

+ ! ит(0,г)(! н1(х,г)ит(х,г)ах + ^ р1(х,1)игт(х,г)а^аг—

— ! ит(1,г)(! н2(х,г)ит(х,г)ах + ^ р2(х,г)ит(х,г)ах^& =

= [ [ ¡и^ахЖ — [ Е1(г)ит(0,г)аг + [ р2(г)ит(1,г)л. 0 0 0 0 Для вывода оценки применим в основном ту же технику, что и при доказательстве единственности решения, обратив внимание лишь на некоторые детали.

Первое слагаемое преобразуется стандартным образом с помощью интегрирования по частям

Г I'1

т т т т т т т т

I I (ии иг + аих ихЛ + ЪихПихЛ + си иг )ахаг =

00

1 Г1

= - ^ [(ит(х,т))2 + а(ит(х,т))2 + Ъ(и£(х,г))2\ах+

рТ pi -Î р Т pi

+ / I ситигтахаг — 1 I I а4Хи;т)2а,хЛ1. Jo Jo 2 ■) 0 -)0

Рассмотрим следующие слагаемые и заметим, что в некоторых из них под знаком интеграла содержатся следы производных второго порядка искомого решения по г, что не позволит обойтись неравенством Коши для вывода оценки в пространстве W2(Qт). Поэтому сделаем небольшые преобразования, интегрируя по частям и учитывая, что ит(х, 0) = 0. После выполнения этих элементарных преобразований и учтя условие в 12 + в21 = 0, получим

<■1

^2 '-а(ит(х,т))2 + Ъ(ит

i [(um(x, Т))2 + a(um(x, т))2 + Ъ(п™(х, т))2]dx = Jo

dxdt + / / at(um)2dxdt+

Jo Jo

-2 i [ cumu^dxdt + i [ atXuJ^)2'

Jo Jo Jo Jo

+ [ап(т)(um(0, т))2 - 2a.2i(T)um(0, т)um(l, т) - a22(um(l, т)2)]--[вп(т№(0^))2 - 2в21(т^(0^)ьт(1,т) - в22(пТ(1,т)2)]+

+ / [a'll(vm(0,t))2 - 2a'21um(0,t)um(l,t)dt - a'22(um(l,t))2]dt+

o

+ [[i3'ii(u?(0,t))2 - 2в21 u?(0,t)uT(l,t)dt - в22(uT(l,t))2]dt-

o

-2 i (a12(t) - a21(t))um(0,t)um(l,t)dt+

o

+2 J u?(0,t)( J H1 (x,t)um(x,t)dx + J P1(x,t)um(x,t)dx^jdt--2 J u?(l,t)( J H2(x,t)um (x,t)dx + J P2(x,t)um(x,t)dx^jdt+

+ [ [ ¡^¿хдл, - [ Е1(г)пт(0,г)зг + [ Г2(г)пт(1,г)зг. (2.20) ./о ./о ./о ./о

Теперь выведем оценку, применяя ту же технику, что и при доказательстве единственности решения:

используем неравенства Коши, Коши — Буняковского и неравенства (2.14), (2.15). Получим из (2.20)

неравенство

г1

г

f [(uT(x, Г))2 + (um(x, Т)f + (um(x, Т)]2dx < J0

< сЛ i\(um)2 + (um)2 + (um)2 + (um)2]dxdt+

J0 J0

оо

+с5(\\/\ц2ит) + т\\12{0т) + т\2Ыо,т)),

Прибавив к обеим частям неравенство (ит(х,т))2 ^ т (u'¡a(x,t))2 dt, которое вытекает из представления ит(х,т) = ^ u'ln(x,t)dt, где мы учли, что ит(х, 0) = 0, получим

/' [(ит(х, т))2 + (иГ(х, т))2 + (и?(х, т))2 + (и™(х, т))2^х <

о

< с6 Г f\(um)2 + (um)2 + (um)2 + (umt)2]dxdt+

J0 J0

-el ¡\(um)2 + (um)2 + (um)2 + «t)2

>0 J0

+c5m !!|2(Qt ) + m\\i2{o,t) + wmuoT)),

применив к которому лемму Гронуолла, а затем проинтегрировав по т € [0, Т], получим нужную оценку

\\иш\^) < (2.21)

где 5 не зависит от т. Существование этой мажорирующей постоянной обеспечено условиями теоремы.

Благодаря (2.21) из построенной последовательности ит(х,1) можно выбрать подпоследовательность, слабо сходящуюся в W1(Qт) и равномерно по t € [0,Т] в ^(0,1). За выделенной подпоследовательностью сохраним прежнее обозначение. Указанные сходимости обеспечивают выполнение начального условия и(х, 0) =0 и справедливость тождества (2.10), что доказывается так же, как и в [25] (с. 215). Теорема 1 полностью доказана.

Вернемся к задаче 1 и, опираясь на лемму, под ее решением будем понимать обобщенное решение задачи 2. Поэтому нам осталось только сформулировать условия разрешимости в терминах задачи 1. Теорема 2. Пусть выполнены условия

а,аг,е € С(Ст), Ь € С 1[0,Т], Ь(0) = Ь(1), / € ^т), К € С2(СС т), г = 1,2, А = К1(0,€)К2(1,€) - К2(0,€)К1(1,€) = 0, К2Х(1, ^К1 (I, ^ - Кы(1, ^К2(I, ^ + Кы(0, ^К2(0, ^ - К2Х(0, ^К1 (0, ^ = 0, [К1х(0^)К2(1^) - К2ХМК1(1,№2 - 2[К1хМК2М - К2хМК1(0,№п -[К2х(1^)К1(0,^ - К1х(1^)К2(0^)]п2 > 0. Тогда существует единственное обобщенное решение задачи 1.

Выводы

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

Литература

[1] Самарский А.А. О некоторых проблемах теории дифференциальных уравнений // Дифференциальные уравнения. 1980. T. 16, № 11. C. 1925-1935. URL: https://www.mathnet.ru/rus/de4116.

[2] Baiant Zdenek P., Jirasek Milan. Nonlocal Integral Formulation of Plasticity And Damage: Survey of Progress // Journal of Engineering Mechanics. 2002. Vol. 128, issue 11. P. 1119-1149. DOI: https://doi.org/10.1061/(ASCE)0733-9399(2002)128:11(1119).

3] Cannon J.R. The solution of the heat equation subject to the specification of energy // Quarterly of Applied Mathematics. 1963. № 21. P. 155-160. DOI: https://doi.org/10.1090/qam/160437.

4] Камынин Л.И. Об одной краевой задаче теории теплопроводности с неклассическими граничными условиями // Журнал вычислительной математики и математической физики. 1964. Т. 4, № 6. С. 1006-1024. URL: https://www.mathnet.ru/rus/zvmmf7694.

5] Ионкин Н.И. Решение одной краевой задачи теории теплопроводности с неклассическим краевым условием // Дифференциальные уравнения. 1977. Т. 13, № 2. С. 294-304. URL: https://www.mathnet.ru/rus/de2993.

6] Gordeziani D.G., Avalishvili G.A. Solutions of Nonlocal Problems for One-dimensional Oscillations of the Medium // Mat. Modelir. 2000. Vol. 12, № 1. P. 94-103. URL: https://www.mathnet.ru/rus/mm832.

7] Korzyuk V.I., Kozlovskaya I.S., Naumavets S.N. Classical Solution of a Problem with Integral Conditions of the Second Kind for the One-Dimensional Wave Equation // Differential Equations. 2019. Vol. 55, issue 3. P. 353-362. DOI: https://doi.org/10.1134/S0012266119030091.

8] Moiseev E.I., Korzyuk V.I., Kozlovskaya I.S. Classical Solution of a Problem with an Integral Congition for the One-Dimensional Wave Equation // Partial Differential Equations. 2014. Vol. 50. P. 1364-1377. DOI: https://doi.org/10.1134/S0012266114100103.

9] Pulkina L.S. Initial-boundary value problem with a nonlocal boundary condition for a multidimensional hyperbolic equation // Differential equations. 2008. Vol. 44. P. 1119-1125. DOI: https://doi.org/10.1134/S0012266108080090.

10] Скубачевский А.Л., Стеблов Г.М. О спектре дифференциальных операторов с областью определения, не плотной в ¿2(0,1). // Доклады Академии наук. 1991. Т. 321, № 6. С. 1158-1163. URL: https://www.mathnet.ru/rus/dan5707.

11] Ashyralyev A., Aggez N. On the Solution of Multipoint NBVP for Hyperbolic Equation with Integral Condition // Malaysian Journal of Mathematical Sciences. 2012. Vol. 6, № Suppl. P. 111-121. URL: https://elibrary.ru/item.asp?id=20986386. EDN: https://elibrary.ru/rrg_jmx.

12] Кожанов А.И. О разрешимости некоторых пространственно нелокальных краевых задач для линейных гиперболических уравнений второго порядка // Математические заметки. 2011. Т. 90, № 2. C. 254-268. DOI: https://doi.org/10.4213/mzm8626.

13] Avalishvili G., Avalishvili M., Gordeziani D. On Integral Nonlocal Boundary Value Problems for some Partial Differential Equations // Bulletin of the Georgian National Academy of Sciences. 2011. Vol. 5, № 1. P. 31-37. URL: http://science.org.ge/old/moambe/5-1/31-37%20Avalishvili.pdf.

14] Beilin S.A. On a mixed nonlocal problem for a wave equation // EJDE. 2006. Vol. 2006, № 103. P. 1-10. URL: https://ejde.math.txstate.edu/Volumes/2006/103/beilin.pdf

15] Bouziani A. On the solvability of parabolic and hyperbolic problems with a boundary integral condition // International Journal of Mathematics and Mathematical Sciences. 2002. Vol. 31, issue 4. P. 201-213. DOI: https://doi.org/10.1155/S0161171202005860.

16

17

18

19

20

21

22

Иванчов Н.И. Краевые задачи для параболического уравнения с интегральными условиями // Дифференциальные уравнения. 2004. Т. 40, № 4. С. 547-564. URL: https://www.mathnet.ru/rus/de11062.

Cannon J.R., Lin Y. Determination of a parameter p(t) in some quasi-linear parabolic differential equations // Inverse Problems. 1988. Vol. 4, no. 1. P. 35-45. DOI: http://doi.org/10.1088/0266-5611/4/1/006.

Камынин В.Л. Обратная задача определения младшего коэффициента в параболическом уравнении при условии интегрального наблюдения // Математические заметки. 2013. Т. 94, № 2. C. 207-217. DOI: https://doi.org/10.1134/S0001434613070201.

Богатов А.В., Гилев А.В., Пулькина Л.С. Задача с нелокальным условием для уравнения четвертого порядка с кратными характеристиками // Вестник российских университетов. Математика. 2022. Т. 27, № 139. C. 214-230. DOI: https://doi.org/10.20310/2686-9667-2022-27-139-214-230. EDN: https://elibrary.ru/ahjfou.

Пулькина Л.С. Краевые задачи для гиперболического уравнения с нелокальными условиями 1-го и 2-го рода // Известия вузов. Математика. 2012. № 4. C. 74-83. URL: https://elibrary.ru/item.asp?id=17309554. EDN: https://elibrary.ru/ooukmt.

Pulkina L.S. Nonlocal problems for hyperbolic equations from the viewpoint of strongly regular boundary conditions // EJDE. 2020. Vol. 2020, no. 01-132. P. 1-20. DOI: https://doi.org/10.58997/ejde.2020.28.

Pulkina L.S. Nonlocal Problems for Hyperbolic Equations // Parasidis, I.N., Providas, E., Rassias, T.M. (eds.) Mathematical Analysis in Interdisciplinary Research. Springer Optimization and Its Applications. 2021. Vol 179. Springer, Cham. P. 619-640. DOI: https://doi.org/10.1007/978-3-030-84721-0_28.

Дмитриев В.Б. Нелокальная задача с интегральными условиями для волнового уравнения // Вестник Самарского государственного университета. 2006. № 2 (42). C. 15-27. URL: https://cyberleninka.ru/article/n/nelokalnaya-zadacha-s-integralnymi-usloviyami-dlya-volnovogo-uravneniya/viewer.

[24] Гординг Л. Задача Коши для гиперболических уравнений. Москва: Изд-во иностранной литературы. 1961. 120 с. URL: https://ikfia.ysn.ru/wp-content/uploads/2018/01/Gording1961ru.pdf.

[25] Ладыженская О.А. Краевые задачи математической физики. Москва: Наука, 1973. 409 с. URL: https://djvu.online/file/Rh97R3cVXNcZE.

Scientific article

DOI: 10.18287/2541-7525-2024-30-2-30-44 Submited: 23.01.2024

Revised: 25.04.2024

Accepted: 15.05.2024

L.S. Pulkina

Samara National Research University, Samara, Russian Federation E-mail: louise@samdiff.ru. ORCID: https://orcid.org/0000-0001-7947-6121

A PROBLEM WITH NONLOCAL INTEGRAL 1ST KIND CONDITIONS FOR 4TH ORDER PARTIAL DIFFERENTIAL EQUATION

ABSTRACT

In this article, we consider a nonlocal problem with integral conditions for one-dimensional 4th order partial differential equation. A distinguishing feature of this problem is the presence of integral conditions of the 1st kind. Moreover, the kernels of these conditions depend on both spatial and time variables. We suggest a new approach which enables to overcome the difficulties arising from the form of nonlocal conditions and derive a priori estimates. Obtained estimates play a significant role when we prove the existence and uniqueness of the solution to the problem.

Key words: 4th-order partial differential equation; nonlocal problem; integral conditions of 1st and 2nd kind; generalized solution; Sobolev space; a priori estimates.

Citation. Pulkina L.S. A problem with nonlocal integral 1st kind conditions for 4th order partial differential equation. Vestnik Samarskogo universiteta. Estestvennonauchnaya seriya / Vestnik of Samara University. Natural Science Series, 2024, vol. 30, no. 2, pp. 30-44. DOI: http://doi.org/10.18287/2541-7525-2024-30-2-30-44. (In Russ.)

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

© Pulkina L.S., 2024

Ludmila S. Pulkina — Doctor of Physical and Mathematical Sciences, professor, professor of the Department of Differential Equations and Control Theory, Samara National Research University, 34, Moskovskoye shosse, Samara, 443086, Russian Federation.

References

[1] Samarskii A.A. Some problems of the theory of differential equations. Differentsial'nye Uravneniya, 1980, vol. 16, no. 11, pp. 1925-1935. Available at: https://www.mathnet.ru/rus/de4116. (In Russ.)

[2] Basant Zdenek P., Jirasek Milan. Nonlocal Integral Formulation of Plasticity And Damage: Survey of Progress. Journal of Engineering Mechanics, 2002, vol. 128, issue 11, pp. 1119-1149. DOI: https://doi.org/10.1061/(ASCE)0733-9399(2002)128:11(1119).

[3] Cannon J.R. The solution of the heat equation subject to the specification of energy. Quarterly of Applied Mathematics, 1963, no. 21, pp. 155-160. DOI: https://doi.org/10.1090/qam/160437.

[4] Kamynin L.I. A boundary value problem in the theory of heat conduction with a nonclassical boundary condition. USSR Computational Mathematics and Mathematical Physics, 1964, vol. 4, issue 6, pp. 33-59. DOI: https://doi.org/10.1016/0041-5553(64)90080-1. (In English; original in Russian)

[5] Ionkin N.I. The solution of a certain boundary value problem of the theory of heat conduction with a nonclassical boundary condition. Differentsial'nye Uravneniya, 1977, vol. 13, no. 2, pp. 294-304. Available at: https://www.mathnet.ru/rus/de2993. (In Russ.)

6] Gordeziani D.G., Avalishvili G.A. Solutions of Nonlocal Problems for One-dimensional Oscillations of the Medium. Matematicheskoe Modelirovanie, 2000, vol. 12, no. 1, pp. 94-103. Available at: https://www.mathnet.ru/rus/mm832. (In Russ.)

7] Korzyuk V.I., Kozlovskaya I.S., Naumavets S.N. Classical Solution of a Problem with Integral Conditions of the Second Kind for the One-Dimensional Wave Equation. Differential Equations, 2019, vol. 55, issue 3, pp. 353-362. DOI: https://doi.org/10.1134/S0012266119030091.

8] Moiseev E.I., Korzyuk V.I., Kozlovskaya I.S. Classical Solution of a Problem with an Integral Congition for the One-Dimensional Wave Equation. Differential Equations, 2014, vol. 50, issue 10, pp. 1364-1377. DOI: https://doi.org/10.1134/S0012266114100103.

9] Pulkina L.S. Initial-boundary value problem with a nonlocal boundary condition for a multidimensional hyperbolic equation. Differential equations, 2008, vol. 44, pp. 1119-1125. DOI: https://doi.org/10.1134/S0012266108080090.

10] Skubachevskii A.L., Steblov G.M. On the spectrum of differential operators with domain that is not dense in L2(0,1). Doklady Akademii Nauk SSSR, 1991, vol. 321, number 6, pp. 1158—1163. Available at: https://www.mathnet.ru/rus/dan5707. (In Russ.)

11] Ashyralyev A., Aggez N. On the Solution of Multipoint NBVP for Hyperbolic Equation with Integral Condition. Malaysian Journal of Mathematical Sciences, 2012, vol. 6, no. Suppl., pp. 111-121. Available at: https://elibrary.ru/item.asp?id=20986386. EDN: https://elibrary.ru/rrg_jmx.

12] Kozhanov A.I. On the solvability of certain spatially nonlocal boundary-value problems for linear hyperbolic equations of second order. Mathematical Notes, 2011, vol. 90, Article number 238. DOI: https://doi.org/10.1134/S0001434611070236. (In English; original in Russian)

13] Avalishvili G., Avalishvili M., Gordeziani D. On Integral Nonlocal Boundary Value Problems for some Partial Differential Equations. Bulletin of the Georgian National Academy of Sciences, 2011, vol. 5, no. 1, pp. 31-37. Available at: http://science.org.ge/old/moambe/5-1/31-37%20Avalishvili.pdf.

14] Beilin S.A. On a mixed nonlocal problem for a wave equation. EJDE, 2006, vol. 2006, no. 103, pp. 1-10. Available at: https://ejde.math.txstate.edu/Volumes/2006/103/beilin.pdf.

15] Bouziani A. On the solvability of parabolic and hyperbolic problems with a boundary integral condition. International Journal of Mathematics and Mathematical Sciences, 2002, vol. 31, issue 4, pp. 201-213. DOI: https://doi.org/10.1155/S0161171202005860.

16] Ivanchov N.I. Boundary Value Problems for a Parabolic Equation with Integral Conditions. Differential Equations, 2004, vol. 40, pp. 591-609. DOI: https://doi.org/10.1023/B:DIEQ.0000035796.56467.44. (In English; original in Russian).

17] Cannon J.R., Lin Y. Determination of a parameter p(t) in some quasi-linear parabolic differential equations. Inverse Problems, 1988, vol. 4, number 1, pp. 35-45. DOI: http://doi.org/10.1088/0266-5611/4/1/006.

18] Kamynin V.L. The inverse problem of determining the lower-order coefficient in parabolic equations with integral observation. Mathematical Notes, vol. 94, pp. 205—213. DOI: https://doi.org/10.1134/S0001434613070201. (In English; original in Russian)

19] Bogatov A.V., Gilev A.V., Pulkina L.S. A problem with a non-local condition for a fourth-order equation with multiple characteristics. Russian Universities Reports. Mathematics, 2022, vol. 27, no. 139, pp. 214-230. DOI: https://doi.org/10.20310/2686-9667-2022-27-139-214-230. EDN: https://elibrary.ru/ahjfou. (In Russ.)

20] Pul'kina L.S. Boundary-value problems for a hyperbolic equation with nonlocal conditions of the I and II kind. Russian Mathematics, 2012, vol. 56, no. 4, pp. 62-69. DOI: https://doi.org/10.3103/S1066369X12040081. EDN: https://elibrary.ru/pdszmv. (In English; original in Russian)

21] Pulkina L.S. Nonlocal problems for hyperbolic equation from the viewpoint of strongly regular boundary conditions. EJDE, 2020, vol. 2020, no. 01-132, pp. 1-20. DOI: https://doi.org/10.58997/ejde.2020.28.

22] Pulkina L.S. Nonlocal Problems for Hyperbolic Equations. In: Parasidis, I.N., Providas, E., Rassias, T.M. (eds.) Mathematical Analysis in Interdisciplinary Research. Springer Optimization and Its Applications, vol 179. Springer, Cham, 2021, pp. 619-640. DOI: https://doi.org/10.1007/978-3-030-84721-0_28.

Dmitriev V.B. A non-local problem with integral conditions for a wave equation. Vestnik Samarskogo Universiteta, 2006, no. 2 (42), pp. 15-27. Available at: https://cyberleninka.ru/article/n/nelokalnaya-zadacha-s-integralnymi-usloviyami-dlya-volnovogo-uravneniya/viewer. (In Russ.)

o

Gording L. Cauchy's Problem for Hyperbolic Equations. Moscow: Izd-vo inostrannoi literatury, 1961, 120 p. Available at: https://ikfia.ysn.ru/wp-content/uploads/2018/01/Gording1961ru.pdf. (In Russ.)

Ladyzhenskaya O.A. Boundary-value problems of mathematical physics. Moscow: Nauka, 1973, 409 p. Available at: https://djvu.online/file/Rh97R3cVXNcZE. (In Russ.)