МАТЕМАТИКА
Научная
статья
DOI: 10.18287/2541-7525-2021-27-1-7-14
УДК 517.95
Дата: поступления статьи: 15.01.2021 после рецензирования: 17.02.2021 принятия статьи: 28.02.2021
А.В. Богатое
Самарский национальный исследовательский университет имени академика С.П. Королева, г. Самара, Российская Федерация E-mail: [email protected]. ORCID: https://orcid.org/0000-0001-5797-1930
ЗАДАЧА С ДИНАМИЧЕСКИМ НЕЛОКАЛЬНЫМ УСЛОВИЕМ ДЛЯ ОДНОМЕРНОГО ГИПЕРБОЛИЧЕСКОГО УРАВНЕНИЯ
АННОТАЦИЯ
В статье рассмотрена задача с динамическим нелокальным условием для одномерного гиперболического уравнения, возникающая при исследовании колебаний стержня. Эта задача может служить математической моделью процессов, связанных с продольными колебаниями толстого или короткого стержня, и демонстрирует нелокальный подход к изучаемому явлению. Основной результат статьи состоит в обосновании разрешимости поставленной задачи. Получены условия на входные данные, обеспечивающие однозначную разрешимость поставленной задачи, проведено доказательство существования и единственности решения задачи в пространстве Соболева. Доказательство утверждений базируется на полученных в работе априорных оценках, методе Галеркина и свойствах пространств Соболева.
Ключевые слова: гиперболическое уравнение; нелокальная задача; интегральные условия; единственность решения; разрешимость задачи.
Цитирование. Богатов А.В. Задача с динамическим нелокальным условием для одномерного гиперболического уравнения // Вестник Самарского университета. Естественнонаучная серия. 2021. Т. 27, № 1. С. 7-14. DOI: http://doi.org/10.18287/2541-7525-2021-27-1-7-14.
Информация о конфликте интересов: автор и рецензенты заявляют об отсутствии конфликта интересов.
© Богатов А.В., 2021
Андрей Владимирович Богатов — аспирант кафедры дифференциальных уравнений и теории управления, Самарский национальный исследовательский университет имени академика С.П. Королева, 443086, Российская Федерация, г. Самара, Московское шоссе, 34.
Введение
В статье рассмотрена нелокальная задача с интегральным условием, внеинтегральные члены которого содержат как след производной по пространственной переменной, так и след производной по времени, что отражает наличие в рассматриваемой системе демпфера. Такие условия возникают при математическом моделировании многих физических процессов и явлений. Строительные конструкции и сооружения в значительной степени подвержены как природным, так и техногенным динамическим воздействиям, к которым можно отнести ветровые и сейсмические воздействия, нагрузки от оборудования, движущегося транспорта, пешеходов. Энергия колебаний инженерных систем постепенно рассеивается за счет внутреннего трения в материале и внешнего сопротивления, что, безусловно, влияет на их колебательный процесс, а снижение интенсивности внешних динамических воздействий приводит к затуханию колебаний. Для обеспечения безаварийной работы инженерных систем необходимо проводить динамические расчеты конструкций и сооружений, выявлять их динамические характеристики. Также стоит отметить, что необходимо учитывать влияние эффекта внутреннего демпфирования, которое гасит колебания за счет трения в материале и тем самым влияет на общий колебательный процесс. И если уже известно,
как учитывать эффекты внешнего трения (внешнее гашение колебаний), то задача учета внутреннего трения до сих пор не имеет однозначного решения. Переходя к математическим терминам, мы получаем задачу с нелокальными условиями, которая описывает модель внутреннего трения (нелокального демпфирования материала). В современной теории дифференциальных уравнений задачи с нелокальными условиями представляют собой интенсивно развивающееся направление [1—6]. Исследования нелокальных задач показали, что классические подходы к их решению неприменимы [7]. Однако к настоящему времени разработаны некоторые методы, позволяющие преодолеть трудности, возникающие вследствие нелокальных условий [8]. Модификацией одного из них мы и воспользовались для доказательства однозначной разрешимости поставленной задачи в пространстве Соболева.
1. Постановка задачи
В области QT = (0, l) х (0, T) рассмотрим уравнение
Lu = utt - (aux)x + but + cu = f (x, t) (1)
и поставим задачу: найти решение уравнения (1), удовлетворяющее начальным данным
u(x, 0) = 0,ut(x, 0) = 0, (2)
граничному условию
ux(0,t)=0 (3)
и нелокальному условию
ux(l,t) + jut(l,t) + K(x)ut(x, t)dx = 0. (4)
J 0
Введем понятие обобщенного решения задачи. Обозначим
W(Qt) = {u : u G Wl(Qt), ut(l,t) G L2(0,T)}, W(Qt) = {v : v G W(Qt), v(x, T) = 0}.
Следуя известной процедуре [9] и предположив, что u(x,t) является классическим решением поставленной задачи, v(x,t) — произвольная гладкая функция, такая, что v(x,T) = 0, получим равенство
/ / (—utvt + auxvx + butv + cuv)dxdt + v(l,t)[jut(l,t)+ K(x)ut(x,t)dx]dt
0 0 0 0
Г f1
= / f(x,t)v(x,t)dxdt. (5)
00
Заметим, что (5) выполняется, если u G W(Qt), v G W(Qt).
Определение. Обобщенным решением задачи (1)-(4) будем называть функцию u G W(QT), удовлетворяющую условию u(x, 0) = 0 и тождеству (5) для всех v G W(Qt).
2. Разрешимость задачи
Теорема 2.1. Если
а,аиЬ,Ьис & С(Ст), I & ЫСт), К & С[0,/],7> 0,
то существует единственное обобщенное решение задачи (1)—(4). Доказательство
Единственность решения. Предположим, что существуют два обобщенных решения и\(х,€) и и2(х^) задачи (1)—(4). Тогда их разность и(х,Ь) = и\(х,Ь) — и2(х,Ь) удовлетворяет условию и(х, 0) =0 и тождеству
/ / (—и^ + аихух + ЬЩУ + + ь(1,Ь)[7щ(1,Ь)+ Kutdx]dt = 0. (6)
ио Jо и о и о
Выберем в (6)
/т и(х, ц)dц, х ^ I ^ т,
{
v ,
0,т < t < T.
Заметим, что V € Ш(Ст), причем У((х,Ь) = и(х,Ь). Интегрируя по частям в левой части (6), в результате несложных преобразований получим
СI />Т />Т /• I /'Т /• I
—I „2/7 _ о I I — I I 2 ,
¡•I рт рт {•!, рт {•!,
/ [и (х,т) + аух(х, 0)]Сх + 2^ и (1,1)& = 2 / сиуАхА — / а,1'УхСхА— ./о ./о ./о ./о ./о ./о
/'Т /Л /'Т /Л /'Т /Л
— / Ъи2СхА — 2 / Ъ^уСхА + 2 у(1,Ь) Кщ¿хА. о о о о о о
Так как по условию ^ > 0, то из этого равенства вытекает неравенство
/'I /'Т /'Т /'I /'Т /'I
/ [и (х,т) + аух(х, 0)]Ах + 2^ и(1,Ь) А ^ 2\ / сиуАхА\ + \ / а1УхАхА\+ ио Jо Jо Jо Jо Jо
/'Т /Л /'Т /Л /Т /Л
+ \ I / Ъи2АхА\ +2\ / ЪщуАхА\ + 2\ у(1,г) КщАхА\. (7)
о о о о о о
Оценим правую часть (7). Заметим, что в силу условий теоремы существуют числа а^,со,Ъо,ко такие, что \а, ^ а,1, \Ъ, Ъ^ ^ Ъо, \с\ ^ со, /¡^ Кх(х)Сх ^ ко. Тогда
\ / / аУхСхА\ ^ а-1 / / у2хСхА, о о о о
\ I / Ъи2СхА\ ^ Ъо I / и2СхА.
о о о о
Применяя неравенство Коши, получим
ГТ !■ I !■ Т !■ I
2 , 2\ их + V 1
2\ / cuvdxdt\ ^ со / / (u2 + v2)dxdt;
Jo Jo Jo Jo
о о о о
,-r ¡' l ,-r A
2\ / btuvdxdt\ ^ bo / / (u2 + v2)dxdt.
o o o o
о о о о
Прежде чем оценивать последнее слагаемое правой части (7), преобразуем его, интегрируя по частям и учитывая, что у(х,т) = 0, и(х, 0) = 0. Получим
/ у(1,Ь) К (х)щСхСЬ = — К (х)и(х,Ь)СхА.
о о о о
Теперь воспользуемся неравенством Коши "с е" и учтем, что = и.
/'Т /'I /'Т /'Т /'I
\ и([,г) К (х)ид,хА\ < е их([,г)А + с(е) (I Кис1х)х& < ио Jо Jо Jо Jо
< е и2(1, + с(е)ко I / и2СхА. ио Jо Jо
Выберем е так, чтобы 27 — е > 0, и перенесем е и2 (1,Ь)йЬ в левую часть. Тогда
/ [и2(х,т)+ аоуХ(х, 0)]Сх + V и2(1,1) А ^ М / (и2 + уХ)СхА, Jо Jо Jо Jо
где V = 2^ — е,М = тах{с(е)ко + а^ Ъот + ах} и в силу гиперболичности уравнения (1) всюду в С}т а(х, Ь) ^ ао > 0. В частности,
/ и2 (х,т) + аоуХ(х, 0)Сх ^ М / (и2 + уХ)СхА. Jо Jо Jо
Для дальнейшей оценки введем функцию т(х,Ь) = ихСп. Нетрудно видеть, что тогда справедливы равенства
ух(х, Ь) = ,ш(х, Ь) — ,ш(х, т), Ух(х, 0) = —,ш(х, т),
что приводит к неравенству
/ [u2(x,r)+ aow2(x,r)]dx ^
o
fT fl fT fl fT fl
< M / u2dxdt + 2M / w2(x,t)dxdt + 2M / w2(x,T)dxdt. (8)
o o o o o o
Заметим, что
t-т f l f l
/ / w2(x,T)dxdt = т w2(x,T)dx. Jo Jo Jo
о о о
Тогда (8) принимает вид
/ [и2(х,т)+ аои2(х,т)^х ^ 2М / (и2(х^) + w2(x,t))dxdt + 2Мт и2(х,т)dx. ./о Jо Jо Jо
Поскольку т — произвольно, выберем его так, чтобы ао — 2Мт ^ а0.
Перенесем 2Мт ^ и2(х,т)с!х в левую часть и получим:
то / [и2(х,т)+ и2 (х,т)]с!х ^ 2М / (и2 (х,Ъ) + w2(x,t))dxdt, ./о Jо Jо
где то = тт{1, ао — 2Мт}, т & [0, ам]■
Применяя лемму Гронуолла, получим, что и = 0 для т & [0, —М ]■ Теперь рассмотрим следующий промежуток: т & [—М, 2м]■ Так же получим и = 0. Продолжая эту процедуру так, как описано в [9], приходим к выводу, что и = 0 всюду в Ст. Это и означает, что наше предположение неверно, стало быть, не может существовать более одного обобщенного решения поставленной задачи. Единственность решения доказана.
Существование решения. Рассмотрим произвольную систему функций ик(х), принадлежащих С2[0,1], линейно независимую и полную в (0,1).
Будем искать решение в виде ит(х,€) = ^2,^=1 ск(х) из соотношений:
l
(um Wi + au^Wi + bu^Wi + cumwi)dx+
+иг(1)[чит(Ц)+ [ Kumdx] = [ (9)
оо
Подставив в (9) представление ит(х,1), приходим к системе обыкновенных дифференциальных уравнений:
m
//
J^c'k (t)Aik + ck (t)Bik (t) + ck (t)Dik (t) = gi(t), (10)
где
ск
к = 1
Агк = / ик Widx, о
Вгк (Ъ) = / Ь(х^)ик + ^к (¡)иг(1) + К (х)ик (х^х,
оо
Г1 ' '
&гк (Ъ)= (аик + си к w^)dx, о
9г(Ъ)= I (х^)и^х^х.
о
присоединив к которой начальные условия
ск (0)=0,Ск (0) = 0, (11)
получим задачу Коши.
Так как функции ик(х) линейно независимы, то матрица при старших коэффициентах (10) — матрица Грама, в силу чего система (10) разрешима относительно Ск (Ъ). Условия теоремы гарантируют ограниченность ее коэффициентов и принадлежность правой части пространству Ь2(0,Т). Поэтому задача Коши для этой системы однозначно разрешима, причем с'к & Ь1(0,Т). Таким образом, построена последовательность приближений {ит(х,1)}.
Покажем, что из этой последовательности можно выделить подпоследовательность, слабо сходящуюся к элементу пространства Ш(Ст).
Для дальнейших шагов в доказательстве существования решения поставленной задачи нам потребуются оценки, к выводу которых мы и перейдем.
o
Умножим (9) на ci(t), просуммируем по i от 1 до m и проинтегрируем в промежутке [0,т], получим:
[ [ Кum + aumum + b(um)2 + cumum]dxdt+
Jo Jo
+ / um(l,t)[1um(l,t)+ f Kumdx]dt = f f fumdxdt.
Jo Jo Jo Jo
, приходим к равенству
1 Îum(x,T))2+a(um(x,T)2]dx+y Г(um(i,t))2dt =
2 Jo Jo
Интегрируя по частям, приходим к равенству
1
L™(x,T ))2 + a(um(x,T )2]dx + Y (um(it))2 2 Jo Jo
fT fl fT fl fT fl
/ / b(um)2dxdt — / cumumdxdt — um(l,t) K(x)um(x,t)dxdt+
o o o o o o
f T f l f T f l
um )2dxdt + / / fumdxdt,
+ 1 Г f at(um)2dxdt + Г f fut 2 J о Jo Jo Jo
из которого после умножения обеих частей на 2 следует неравенство
f [um(x,T))2 + a(um(x,r)2]dx + 2y f (um(l,t))2dt <
oo
fT fl fT fl fT fl
< 2 / \b\(um)2dxdt + 2\ / umumdxdt\ + 2\ um(l,t) K(x)um(x,t)dxdt\+
o o t o o t o t o t
+ f f \at\(um)2dxdt + 2\ i f fu^dxdtl
Jo Jo Jo Jo
Получим априорную оценку, используя технику, продемонстрированную при доказательстве единственности. Особо отметим, что
2\ f um(l,t) f K(x)um(x,t)dxdt\ <
o t o t
< £ [ (ит (¡,Ъ))2сМ + с(е) ( (( Kumdx)2dt.
Jо Jо Jо
Выберем £ так, чтобы 2Y — £ > 0, и перенесем в левую часть первое слагаемое, получим
f [(um(x,T))2 + a(um(x,T)2]dx + vf (um(l,t))2dt <
oo
< 2 i f [P(um)2 + co(um)2 + ai(u'm)2]dxdt + f f f2d
Jo Jo Jo Jo
o o o o
где P = max{2b 1 + ko + co + 1}, v = 2y — £.
Прибавив к обеим частям очевидное неравенство
f (um(x,T))2dx < tÎ f (um(x,t))2dxdt, (12)
Jo Jo Jo
которое является следствием представления um(x,T) = fj um(x,t)dt, получим
fl p T
ml l(um(x,T))2 + (um(x,T))2 + (um(x,T))2]dx + v (umn
i [(um(x,T))2 + (um(x,T))2 + (um(x,T))2]dx + vf (um(l,t))2dt <
Jo Jo
< Pi f f [(um)2 + (um)2 + (um)2]dxxdt + f f f 2dxdt, (13)
Jo Jo Jo Jo
где m = min{1,ao},Pi = max{P,co,ai}. В частности,
f[(um(x,T))2 + (um(x,T))2 + (um(x,T))2]dx < Jo
fl
.m(x T))2 , (um(x,T))2 + (umf
/0
< P2 f f [(um)2 + (um)2 + (um)2]dxdt + — f f f2dxdt,
Jo Jo m J o Jo
где P2 = Pi/m. Применим лемму Гронуолла:
Г1 1
Jo [(um(x,T))2 + (u?(x,T))2 + (um(x,T))2]dx < eP2Tm\\fy
После интегрирования по т в промежутке [0,T]:
£ 0 [(um(x,T ))2 + (um(x,T ))2 + (um(x,T ))2]dxdt < P- (eP2 T - 1)\\f\\^ y Возвращаясь к (10), рассмотрим и оценим второе слагаемое левой части неравенства:
рТ рТ pl рТ pl
v (um(l,t))2dt < P2 / (um)2 + (um)2 + (um)2dxdt +/ / f2dxdt. JO JO JO JO JO
Обозначим
P-(eP2T - 1) = P3.
Выше было доказано, что
1
Г [\иГ)2 + (и?)2 + (иГ)2С,хЖ < ^(в^ - 1)\\/1| = Рз .10 -10 Р1
Тогда получим
Г(иГ№)2сИ < Р4\\1 \\2,Ут е [о,т],
0
где Р4 = Р2Р3 + 1, откуда получаем, что
\\ит(х,1)\\2ш) < К, К = шах[Р3,Р4],
причем К не зависит от т. Так как константа в правой части последнего неравенства не зависит от т, то из последовательности ит(х,Ь) можно выделить подпоследовательность, слабо сходящуюся к некоторому элементу и(х,Ь) е W(Цт)■
Покажем, что этот предел удовлетворяет тождеству (5). Умножим (9) на функцию Н^ (Ь) е С1(Цт), такую, что Н3 (Т) =0, просуммируем по ] (от 1 до т) и проинтегрируем по Ь от 0 до Т■ Обозначив
т
П(х,Ь) = Н(1)ш3(x),
3=1
получаем после интегрирования первого слагаемого левой части
/ / (-иТш + аиТпх + ЬиТп + ситп)СхСЬ+
00
+ [ пЬиТ(1,Ь)+ [ Ки^СхЦЬ = [ ( ¡пС,хЖ. (14)
ио J0 Jo Jo
Тождество (12) справедливо для любой функции ц(х,Ь). Обозначим совокупность таких функций п(х,Ь) через ат. В (12) перейдем к пределу при фиксированной функции п(х,Ь) е ат. Это приведет к тождеству (5) для предельной функции и(х,Ь). Так как совокупность всех функций п(х,Ь) плотна в W2(Qт) [10], то полученное тождество выполнено для любой функции у(х,Ь) е (Цт)■ Следовательно, и(х,Ь) — обобщенное решение задачи (1). Теорема полностью доказана.
Заключение
Таким образом, была поставлена задача с динамическим нелокальным условием для одномерного гиперболического уравнения, возникающая при исследовании колебаний стержня, получено обобщенное решение поставленной задачи. Проведены необходимые преобразования, получены оценки для доказательства единственности и существования решения.
Литература
[1] Гордезиани Д.Г., Авалишвили Г.А. Решения нелокальных задач для одномерных колебаний среды // Матем. моделирование. 2000. Т. 12, № 1. С. 94-103. URL: http://mi.mathnet.ru/mm832
[2] Кожанов А.И. О разрешимости некоторых краевых задач с условием Бицадзе-Самарского для линейных гиперболических уравнений // Современная математика и ее приложения. Тбилиси, 2010. Т. 67. С. 84-96.
[3] Кожанов А.И., Пулькина Л.С. О разрешимости некоторых граничных задач со смещением для линейных гиперболических уравнений // Математический журнал. Алматы. 2009. Т. 9, № 2. С. 78-92.
[4] Пулькина Л.С. О разрешимости в L2 нелокальной задачи с интегральными условиями для гиперболического уравнения // Дифференциальные уравнения. 2000. Т. 36, № 2. С. 279-280. URL: http://mi.mathnet.ru/de10101.
[5] Пулькина Л.С Смешанная задача с интегральным условием для гиперболического уравнения // Матем. заметки. 2003. Т. 74, № 3. С. 435-445. DOI: https://doi.org/10.4213/mzm277.
[6] Bouziani A. Strong solution to an hyperbolic evolution problem with nonlocal boundary conditions // Maghreb Math. Rev. 2000. V. 9. P. 71-84.
[7] Бейлин С.А. Смешанные задачи с интегральными условиями для волнового уравнения. Самара, 2005.
[8] Pulkina L.S. Solution to nonlocal problems of pseudohyperbolic equations // EJDE. 2014. V. 116. P. 1-9. URL: http://ejde.math.txstate.edu.
[9] Ладыженская О.А. Краевые задачи математической физики. Москва: Наука, 1973. 408 с. URL: https://booksee.org/book/442669.
[10] Михайлов В.П. Дифференциальные уравнения в частных производных. Москва: Наука, 1976. 391 с. URL: https://booksee.org/book/442690.
Scientific article
DOI: 10.18287/2541-7525-2021-27-1-7-14 Submited: 15.01.2021
Revised: 17.02.2021
Accepted: 28.02.2021
A.V. Bogatov
Samara National Research University, Samara, Russian Federation E-mail: [email protected]. ORCID: https://orcid.org/0000-0001-5797-1930
A PROBLEM WITH NONLOCAL CONDITION FOR ONE-DIMENSIONAL
HYPERBOLIC EQUATION
ABSTRACT
In this paper, we study the problem with a dynamic nonlocal condition for the one-dimensional hyperbolic equation, which occurs in the study of rod vibrations. This problem may be used as a mathematical model of longitudinal vibration in a thick short bar and illustrates a nonlocal approach to such processes. Conditions have been obtained for input data, providing unambiguous resolution of the task, proof of the existence and singularity of the problem in the space of Sobolev. The proof is based on the a priori estimates obtained in this paper, Galerkin's procedure and the properties of the Sobolev spaces.
Key words: hyperbolic equation; nonlocal problem; integral conditions; singularity of the solution; solveability of the problem.
Citation. Bogatov A.V. A problem with nonlocal condition for one-dimensional hyperbolic equation. Vestnik Samarskogo universiteta. Estestvennonauchnaia seriia = Vestnik of Samara University. Natural Science Series, 2021, vol. 27, no. 1, pp. 7-14. DOI: http://doi.org/10.18287/2541-7525-2021-27-1-7-14. (In Russ.)
Information about the conflict of interests: author and reviewers declare no conflict of interests.
© Bogatov A.V., 2021
Andrey Vladimirovich Bogatov — postgraduate student of the Department of Equations of Mathematical Physics, Samara National Research University, 34, Moskovskoye shosse, 443086, Russian Federation.
References
[1] Gordeziani D.G., Avalishvili G.A. On the construcing of solutions of the nonlocal initial boundary value problems for one-dimensional medium oscillation equations. Mathematical models and Computer Simulations, 2000, vol. 12, no. 1, pp. 94-103. Available at: http://mi.mathnet.ru/mm832. (In Russ.)
[2] Kozhanov A.I. On the solvability of some boundary value problems with the Bitsadze-Samarsky condition for linear hyperbolic equations. In: Sovremennaya matematika i ee prilozheniya. Tbilisi, 2010, vol. 67, pp. 84-96. (In Russ.)
[3] Kozhanov A.I., Pul'kina L.S. On the solvability of some boundary value problems with displacement for linear hyperbolic equations. Matematicheskii zhurnal, 2006, no. 42, pp. 1233-1246. (In Russ.)
[4] Pul'kina L.S. The L2 solvability of a nonlocal problem with integral conditions for a hyperbolic equation. Differential equations, 2000, vol. 36, no. 2, pp. 316-318. DOI: https://doi.org/10.1007/BF02754219. (English; Russian original)
[5] Pul'kina L.S. A Mixed Problem with Integral Condition for the Hyperbolic Equation. Mathematical Notes, 2003, vol. 74, no. 3, pp. 411-421. DOI: https://doi.org/10.1023/A:1026167021195 (English; Russian original)
[6] Bouziani A. Strong solution to a hyperbolic evolution problem with nonlocal boundary conditions. Maghreb Math. Rev., 2000, vol. 9, pp. 71-84.
[7] Beylin S.A. Mixed problems with integral conditions for the wave equation. Samara, 2005. (In Russ.)
[8] Pulkina L.S. Solution to nonlocal problems of pseudohyperbolic equations. Electronic Journal of Differential Equations, 2014, vol. 116, pp. 1-9. Available at: http://ejde.math.txstate.edu.
[9] Ladyzhenskaya O.A. Boundary problems of mathematical physics. Moscow: Nauka, 1973, 407 p. Available at: https://booksee.org/book/442669. (In Russ.)
[10] Mihailov V.P. Partial differential equations. Moscow: Nauka, 1976, 391 p. Available at: https://booksee.org/book/442690. (In Russ.)