CC BY
40
Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2016. T. 20, № 2. С. 276-289
ISSN: 2310-7081 (online), 1991-8615 (print) doi: http://dx.doi УДК 517.956.3
ЗАДАЧА С НЕЛОКАЛЬНЫМ ИНТЕГРАЛЬНЫМ УСЛОВИЕМ ВТОРОГО РОДА ДЛЯ ОДНОМЕРНОГО ГИПЕРБОЛИЧЕСКОГО УРАВНЕНИЯ
Л. С. Пулькина1, А. Е. Савенкова2
1 Самарский национальный исследовательский университет имени академика С.П. Королева, Россия, 443086, Самара, Московское ш., 34.
2 Самарский государственный технический университет, Россия, 443100, Самара, ул. Молодогвардейская, 244.
Аннотация
Рассмотрена задача с нелокальным интегральным условием второго рода для одномерного гиперболического уравнения в прямоугольной области. Доказаны существование и единственность обобщенного решения задачи. Для доказательства существования и единственности обобщенного решения поставленной задачи предложен новый метод исследования задач с интегральными условиями. Предложенный в работе метод позволил отказаться от некоторых условий на входные данные, обеспечивающих разрешимость поставленной задачи, а именно от требования обратимости оператора, порождаемого нелокальным условием. Суть данного метода состоит в эквивалентной замене заданного нелокального условия другим, также нелокальным, но содержащим в качестве внеинтегрального члена значения выводящей производной неизвестной функции на боковой границе. Установленная эквивалентность условий позволила перейти к задаче, для доказательства однозначной разрешимости которой применен метод компактности, зарекомендовавший себя как эффективный метод исследования разрешимости начально-краевых задач и задач с нелокальными условиями. С помощью метода Галеркина построена последовательность приближенных решений. Для продолжения исследования разрешимости задачи получены априорные оценки решения в пространстве Соболева. С помощью выведенных оценок доказано утверждение о возможности выделить из построенной методом Галеркина последовательности приближенных решений подпоследовательность, которая слабо сходится к решению задачи. В процессе доказательства разрешимости поставленной задачи обнаружилась интересная связь нелокальных интегральных условий с динамическими условиями.
Ключевые слова: гиперболическое уравнение, нелокальные интегральные условия, обобщенное решение, пространство Соболева, метод Галер-кина.
© 2016 Самарский государственный технический университет. Образец для цитирования
ПулькинаЛ. С., Савенкова А. Е. Задача с нелокальным интегральным условием второго рода для одномерного гиперболического уравнения // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2016. T. 20, № 2. С. 276-289. doi: 10.14498/vsgtu1480. Сведения об авторах
Людмила Степановна Пулькина (д.ф.-м.н., проф.; [email protected]), профессор, каф. уравнений математической физики.
Алеся Евгеньевна Савенкова ([email protected]; автор, ведущий переписку), ассистент, каф. высшей математики и прикладной информатики.
1. Постановка задачи. В области (т = (0,1) х (0, Т), 1,Т < ж, рассмотрим уравнение
пы - (а(х, ¿)-иж)х + с(х, í)u = /(х, г) (1)
и поставим задачу с нелокальным интегральным условием второго рода.
Задача 1. Найти в (т 'решение уравнения (1), удовлетворяющее начальным данным
и(х, 0)=0, щ(х, 0)=0, (2)
а также условиям
их(0,г) = 0, (3)
л
и(1,г)+ [ к(х)и(х,г)йх = 0. (4)
Jo
В настоящее время имеется значительное число работ, посвященных изучению нелокальных задач, в том числе задач с нелокальными интегральными условиями для гиперболических уравнений. Отметим как наиболее близкие к тематике данного исследования статьи [1—11], в которых разработаны некоторые методы исследования разрешимости задач с нелокальными интегральными условиями. Выбор конкретного метода обусловлен видом нелокальных условий. В нашем случае можно применить как метод вспомогательных задач [3], так и метод сведения к задаче с классическими краевыми условиями, но для нагруженного уравнения [4]. Мы предлагаем в этой статье другой подход, позволяющий воспользоваться идеей метода компактности [12], который зарекомендовал себя как эффективный метод обоснования разрешимости как начально-краевых задач [13], так и нелокальных [10].
Исследования задач с нелокальными интегральными условиями показали их связь с другими неклассическими задачами, в частности, с задачами с динамическими краевыми условиями. Один из вариантов такой связи демонстрируется в предлагаемой статье. Динамические граничные условия, содержащие значения вторых производных по переменной времени, возникают, например, при исследовании колебаний стержня при упругом закреплении, если к концам пружины прикреплен груз [14,15], при изучении нестационарных внутренних волн в неоднородной или во вращающейся и стратифицированной жидкости [16,17]. К динамическим условиям можно прийти и в результате формальных преобразований при переходе от интегральных условий первого рода к условиям второго рода [11].
2. Эквивалентность нелокальных условий. Начнем изучение поставленной задачи с доказательства утверждения, которое и обнаруживает связь условия (4) с динамическим условием.
Теорема 1. Если и € С2(((т) удовлетворяет уравнению (1) и условиям (2), (3), К € С2(0,1) П С1 [0,1], К(I) = 0, то условие (4) эквивалентно динамическому граничному условию
К(1)а(1, Ь)пх(1, г) - К'(1)а(1, г)и(1, г) + к'(0)а(0, г)и(0, г) + пы(1, г) +
+ н(х,г)и(х,г)(х = д(г), (5) ./о
где обозначено
н(х,г) = (к'(х)а(х, г)) - с(х,г)к(х), д(г) = -[ к(х)/(х,г)йх.
хо
Доказательство. Пусть выполнены условия теоремы 1 и функция и(х,г) удовлетворяет условию (4). Дифференцируя (4) дважды по г, получим
пы(1,г) + К (х)иы(х,г)(1х = 0, о
откуда в силу предположений о выполнении условий теоремы следует равенство
г1
К(х){(аих)х - си
о
Интегрируя первое слагаемое интегрального члена и применяя условия теоремы 1, приходим к (5).
Предположим теперь, что выполнены условия теоремы, но функция и(х, г) удовлетворяет условию (5). После интегрирования одного слагаемого интегрального члена и очевидных преобразований приходим к равенству
ии(1,г)+ К(х)((аих)х - си + /)йх = 0. о
Г1 о
которое может быть записано в виде
иц(1,г) + К (х)ии(х,г)йх = о,
о
(2 ( [1 \
и(1,г) + ! К(х)и(х,г)с1х\ = о.
В силу условий (2) получаем соотношения
А ГI
и(1, 0) + [ К(х)и(х, 0)(х = 0, иг(1, 0) + [ К(х)щ(х, 0)(х = 0 оо
оо и приходим к задаче Коши относительно функции
и(1,г) + К (х)и(х,г)(х, о
которая имеет единственное решение. Стало быть,
л
о 278
и(1,г) + К (х)и(х,г)(х = 0, о
что означает выполнение условия (4). □
Доказанное в теореме 1 утверждение позволяет перейти от задачи 1 к задаче с динамическим граничным условием.
Задача 2. Найти в (т 'решение уравнения (1), удовлетворяющее условиям (2), (3) и (5).
Поясним смысл перехода от задачи 1 к задаче 2. Заметим, что условие (5) в отличие от условия (4) содержит в качестве внеинтегрального члена значение выводящей производной искомой функции на х = I, а именно их(1,Ь), что и позволит нам воспользоваться основными идеями метода компактности. Это становится видно на первом шаге доказательства разрешимости задачи в процессе вывода интегрального тождества, на котором и базируется определение решения. Действительно, применяя стандартную процедуру [13], получим в результате интегрирования уравнения (1) равенство
сТ Г1 1 гТ
I I + аихух + епу)йхМ — 1 / щ(1, Ь)Уг(1, Ь)М—
./0 Л) К (1) Jо
--¡щ ^ у(1, Ь) ^7(I, Ь)и(1, Ь) — 7(0, Ь)и(0, Ь) + ^ Н(х, Ь)и(х, г)с<х^ <сь =
т 1 гт г1
1у<схсь — у(1,ь) К^хМ, (6)
К (1) ./о -10
))
где 7(х,Ь) = К(х)а(х,Ь).
Обозначим следующие область и классы:
Г = {(х,Ь) : х = I, Ь е [0,Т]}, Ш(Ят) = {и(х,Ь) : и е Ш2,((т), их(0,Ь) = 0, щ е Ь2(Г)}, Ш((т) = {у(х,Ь) : у(х,Ь) е Ш1((т), у(х, Т) = 0}.
Определение. Обобщенным решением задачи 2 будем называть функцию и(х,Ь) е Ш((т), удовлетворяющую условиям (2) и тождеству (6) для любой у(х,Ь) е \¥(Ят).
3. Разрешимость задачи 2. Разрешимость задачи 2 декларируется следующим утверждением.
Теорема 2. Пусть выполняются следующие условия:
(I) а е С(Ят), а* е С(Ят), а(х,Ь) > 0, с е С((т), I е Ь2(Ят),
(II) К е С2(0,I) П С:[0,I], К(I) > 0.
Тогда существует единственное обобщенное решение задачи 2.
Доказательство.
Единственность решения. Предположим, что существует два различных решения этой задачи: и\(х,Ь) и и2(х,Ь). Тогда их разность и(х,Ь) = и\(х,Ь) — — и2(х, Ь) удовлетворяет условию и(х, 0) = 0 и тождеству
I I {-utvt + auxvx + cuv)dxdt — i ut(l,t)vt(l,t)dt Jo J0 K(l) J0
rT / л
^ у(1,г)(^7(1)и(1,г) - ч(0)и(0,1) + ^ н(х,г)и(х,г)йх^(г = 0. (7) Выберем в тождестве (7) функцию ь(х,г), положив
у(х,г) = ( 1и(х,п)(п 0 <г < т,
1 т 0, т < г < т,
где т е [0, Т] выбирается произвольно.
Элементарные преобразования тождества (7) с выбранной указанным образом функцией у(х,г) приводят к равенству
1 Г1 1
I 1
{v2(x, т) + a(x, 0)v2(x, dx ^ u2(l, т) = Jo 2K (l)
2 j o
Г f cuvdxdt + Kx^ 0 v2(l, 0) + КЖ Г at(l,t)v2(l,t)dt+
x
Ю Jo ~2K(l) 1 2K(l) Jo
rr Г l zsUfW Г т
1 fT i К '(0) fT
v(l,t) Hudxdt + K(0) a(0, t)u(0, t)v(l, t)dt. (8) K(l) o o K(l) o
Оценим правую часть последнего равенства. Рассмотрим сначала последнее слагаемое и, прежде чем сделать оценку, проинтегрируем его, заметив при этом, что u = vt, v(x, т) = 0:
гт гт
/ a(0, t)vt(0, t)v(l, t)dt = — a(0, t)v(0, t)vt(l, t)dt— Jo Jo
— i at(0, t)v(0, t)v(l, t)dt — a(0,0)v(0, 0)v(l, 0). o
Теперь оценим каждое из трех слагаемых, полученных в результате интегрирования. Заметим, что из условий теоремы следует существование чисел ki, co, ai, ho таких, что
maxlc(x,t)l ^ co, maxla(x,t),at(x,t)l ^ a1, Qt Qt
max|K(x),K'(x)l ^ k1, max H2(x,t)dx ^ ho.
[o,T]^ ^ [o,T]Jo
Тогда, применяя неравенство Коши, получим
f a(0,t)v(0,t)u(l,t)dt
0
1 at(0, t)v(0, t)v(l, t)dt o
< — Г (v2(0,t)+ u2(l,t))dt; 2 Jo
< Y JT(v2(0,t) + v2(l,t))dt;
|у(0, 0)у(1, 0) | < 1 (у2(0, 0) + у2(1, 0)).
Для дальнейшей оценки нам понадобятся неравенства, которые играют ту же роль, что и известное неравенство для следов [13, с. 77]
,-г г I
у2х. ^ i .2
у2(вг, Ь) ^ е ух(х,Ь)<Сх + с(е) у2(х,Ь)Сх, Уо Jо
У2(вг, Ь) ^ 21 [ ух (х,Ь)Сх + 2 / У2(х,Ь)<х, ]о 1 ./о
/о 1 ¿о
.1 =0, ,92 = I, Ь е [0,Т],
и в нашем частном случае прямоугольной области легко выводятся из представлений
у(в1,Ь) = i у^ (£,т + у(х,ь).
х
Также мы будем пользоваться неравенством, вытекающим из вида выбранной функции у(х, Ь) :
22 о
Оценив теперь каждое из слагаемых правой части (8), получим
у2(х,Ь) ^ т и2(х,Ь)СЬ. о
I (и2(х,т)+ а(х, 0)у^(х, 0))<х + 1 и2(1,т) ^ М1 ( / (и2 + у"^)СхСЬ+ Уо К (-) У о Jо
+ М2 I и2(1,г)<сг + К (0) + К (-) а1е I У2х(х, 0)сСх, (9) ./о К (-) Уо
где числа М1, М2 зависят только от со, с1, к1, Но.
Пусть а(х, Ь) ^ ао > 0. Если К'(0) + К'(1) = 0, выберем е так, чтобы
К'(0) + К'(1)
ао--тТ7Т\-а1 е > 0,
К (-)
и перенесем интеграл
К'(0) + К' (I) г1 2
а]_е I ух(х, 0)<х
ох
К(-) ^ Л "х
в левую часть (9). Для определенности будем считать, что
К '(0) + К '(I) ао
ао--Щ)-а1е ^ Т.
Тогда приходим к неравенству
^ (и2 (х,т) + у y2x(x, 0)УСх + и2(1,т) <
ГТ г1 ГТ
< МЛ / (п2 + у2х)сСхсСЬ + И2 п2(!,г)сИ. (10) Уо Уо ]о
Заметим, что в случае К'(0) + К'(1) = 0 мы придем к неравенству (10) с той лишь разницей, что в левой части его вместо ао/2 будет ао. Введем функцию
и(х,Ь) = / пх(х,п)Сг1]. о
Тогда, как нетрудно видеть,
Ух(х, Ь) = и(х, Ь) — и(х, Т), Ух (х, 0) = —и(х, т).
Введенная таким образом функция и(х,Ь) позволяет получить неравенство для одного из слагаемых правой части (10):
{•Т ГТ ^
/ / Vх(х,Ь)сСхсМ = / / (и(х,Ь) — и(х,т)) СхМ ^
ГТ Г1 ¡-I
и2(х,Ь)йхйЬ + 2т ь)2(х,т )Сх. о
< 2 I I I I „,,2/
оо
Пользуясь произволом, выберем т так, чтобы
^ — 2Мгт > ^. 2 1 4
Если т € [0,ао/(8М1)], то это неравенство выполнено и можно перенести интеграл
г I
2
2М1т [ и]2(х, т)с(х о
о
в левую часть (10). После всех сделанных оценок и преобразований из (10) получаем неравенство
Н 1
/ 1
то (п2(х,т) + и2(х,т))(х + п2(1,т) ^ ]о К (1)
гт л гт
< 2М1 / (п2 + и2)йхсИ + М2 п2(1,г)сИ, о о о
где то = шт{1,ао/4}, к которому можно применить неравенство Грону-олла, что моментально влечет выполнение равенства п(х, т) = 0 для всех т € [0,ао/(8М1)].
Повторяя рассуждения для т € [ао/(8М1),ао/(4М1)] и продолжая этот процесс, мы за конечное число шагов убедимся в том, что п(х, Ь) = 0 Ш € [0, Т], что и приводит к противоречию с предположением о существовании более одного решения.
Существование решения. Доказательство существования обобщенного решения проведем по следующей схеме:
- построим последовательность приближенных решений;
- выведем априорную оценку;
- покажем, что полученная оценка позволяет выделить слабо сходящуюся подпоследовательность;
- убедимся в том, что предел выделенной подпоследовательности и есть искомое решение.
Перейдем к реализации нашего плана. Пусть функции Шк(х) € С2[0,1], ш'к(0) = 0, образуют линейно независимую и полную в Ш2,(0,I) систему. Будем искать приближенное решение задачи в виде
пт(х,Ь) = ^2 ск (г)"к (х)
к=1
из соотношений
/ (птwk + апт"ш'к + сптшк)(х+
Шкпт(I, г) — 1)пт(1, г) + 0)пт(0,1) + ^ н(х, г)пт(х, =
= [ /(х,г)шк(х)йх — [ к(х,г)/(х,г)йх(И. (11)
к (1) Уо
Дополнив соотношения (11), которые представляют собой систему линейных обыкновенных дифференциальных уравнений относительно Ск (г), начальными условиями
Ск (0) = 0, ск (0) = 0,
приходим к задаче Коши для системы обыкновенных дифференциальных уравнений (11), разрешимость которой гарантирована условиями теоремы. Прежде всего покажем, что система (11) разрешима относительно старших производных. Запишем ее в виде
тт
^Акэ (г)ф) + Е вкз (г)ск (г) = / (г),
Г=1 к=1
Г1 1
Акз (г) = Шк (х)"з (х)(х + —— Wk (1)'Шз (I), Jо к (1)
Вкз (г) = (а(х,г)ш'к(х)ш'з(х) + с(х, г)"к(х)"з(х))(х+ Jо
1
т
+ "з(1) Н (х,г)"к (х)(х
+ ( к'(1)а(1, г)шк(1)Ш з(1) — к'(0)а(0, г)шк(0)ш у(1)+
Рассмотрим квадратичную форму с коэффициентами Ас:
т п I 1
Я = £ Ак1 &6 = \г(х)\2(х + -—-\г(1)\2 > 0, к,1=1 ( )
к,1 = 1 0
где
т
2 = ^ &'*(X),
г=1
причем равенство нулю возможно лишь при 2 = 0. Так как функции ш^х) линейно независимы, 2 = 0 только в том случае, когда & = 0 У г = 1,... ,т. Стало быть, квадратичная форма д, ас ней и матрица из коэффициентов при старших производных системы (11), положительно определена, что и означает разрешимость системы относительно старших производных. В силу условий теоремы коэффициенты системы ограничены, а свободные члены fj € Ь\(0,Т). Таким образом, мы приходим к выводу о существовании решения задачи Коши для системы (11), причем с'к € ^\(0, Т). Это, в свою очередь, означает, что последовательность приближенных решений построена.
Для дальнейших шагов в доказательстве существования обобщенного решения поставленной задачи нам потребуется априорная оценка, к выводу которой мы и перейдем.
Умножим каждое из равенств (11) на cCj(Ь), просуммируем по ] от 1 до т, а затем проинтегрируем от 0 до т, в результате чего придем к равенству
Г ! + аитит + сьтУт)(1х(И+ Уо ]о
+ щ ^Т ит(1, г)(ит(1, Ь) - 7(1)ит(1, Ь) + 7(0)ит(0, Ь)+
+ ! н(х,г)ит(х,г)(1^(1
ГТ Г1 1 ГТ Г1
= f (х,г)ит(х,г)(х(г --¡-^ ит(1,г) к(x)f (х,г)(х(г. (12) Уо У о К (1) J о Уо
Интегрируя по частям, преобразуем равенство (12). Получим
1 1
((ит)2+аю2)|(=т(х(ит(1,т))2 =
= - Г 11 сититйхйг + Гит(0,г)ит(1,г)(г+ Уо Уо К (Ч Уо
ГТ г1 1 ГТ п1
^ у (Ц(ит)2(1х(И -]щУ итму Нит(1х(И+
ГТ п1 1 ГТ п1
+ --¡^ ит(1,г) к1-(1хм. (13)
]о К (Ч У о ]о
Применяя неравенства Коши, Коши—Буняковского, очевидное неравенство
(ит(х,т))2 < т Г(ут(х,г)У(И
и условия теоремы, с помощью той же техники, что и при доказательстве единственности решения, из (13) получим неравенство
Г 1
уо ((ит)2 + (ит)2 + да2)и (х+щ)^, т ))2 <
< Мг[Т ¡\(ит)2 + (ит)2 + (ит)2)(х(г+
.'о .'о
о -зо
гт гт л
+ м4 (ит(1,г))2 (г + м5 / f2(х(г, ./о Jо ./о
где Мг зависят лишь от постоянных со, ко, £\, оо, о1, Ьо и не зависят от т. Из этого неравенства, справедливого для любого т, в силу леммы Гронуолла вытекает априорная оценка
т 2 т 2
и
2 I „,т 2 ^ г>
\wkqt) + \\уч \\Ь2(Г1) ^ п.
Стало быть, из построенной последовательности {ит(х,г)} приближенных решений можно выделить слабо сходящуюся в Ш ((т) подпоследовательность, за которой во избежание громоздкой записи сохраним прежнее обозначение.
Покажем теперь, что предел выделенной подпоследовательности и€Ш((т) и есть искомое приближенное решение.
Умножим каждое из равенств (11) на € С 1(0,Т), (у (Т) = 0, просуммируем по I от 1 до т, а затем проинтегрируем от 0 до Т. После интегрирования первого слагаемого полученного равенства по частям и введения обозначения
т
п(х,г) = ^ (з (г)-з(х) 3=1
получим
(■т Г1 1 гТ
- 1
I I (-иТш + оитпх + ситг])йх(И — ^ I щ(1,г)цг(1,г)(г— Уо Уо к (1) У о
- гщ £ п(1, г)^ ч(1,г)ит(1, г) — 7 (о, г)ит(о, г) + ^1 н (х, г)ит(х, г)(х^ (г =
¡цйхМ--^ I п(1,г) I Kfdxdt. (14)
к (1) .зо .зо
./о -Зо к (Ч .1 о -Ю
Совокупность функций вида
т
(г)шз(х)
3=1
обозначим Nm. Зафиксируем произвольно функцию n(x,t) из какого-либо множества Nmi. В (14) можно перейти к пределу при m ^ ж в силу обоснованной выше слабой сходимости выделенной подпоследовательности. В результате мы приходим к тождеству (6) для предельной функции u £ W(Qt), справедливому для произвольной функции п £ Nmi. Так как
<х
U Nm
m=1
плотно в W, полученное в результате предельного перехода тождество выполняется для любой функции из W(Qt), что и завершает доказательство существования обобщенного решения задачи 2. □
Продифференцируем соотношение (11) по t, а затем умножим на c'l(t), просуммируем по k = 1,... ,m и проинтегрируем по t £ (0,т). В результате получим
/7<
/0 J0
utttutt + aUmtUmtt + cut Um^jdxdt+
+ I [ (atumumtt + ctumutS) dxdt+ Jo Jo
+ -Щ JT utm(l, t) Ш, t) - Y(l)ut(l, t) + Y(0)ut(0, t))dt+
rT rl rT rl
+ (l,t) Hu^tdxdt + / um (l,t) Htumdxdt =
0 tt 0 t 0 tt 0
T l 1 T l = Jo Jo futm dxdt - -Щ] utm(l,t) J (Kf )tdxdt.
Применяя ту же технику, что приведена выше, получим вторую априорную оценку:
IMIl2(Qt) < Pb \\uxt\\b2(Qt) < \\utt\\b2(0,T) < p3,
c помощью которой можно показать, следуя [13] и учитывая условия теоремы, существование производной uxx, причем uxx £ l2(qt). Таким образом, u £ W22. Тогда уже нетрудно показать, проделав интегрирование по частям в тождестве (6), что решение задачи 2 является и решением задачи 1.
ORCIDs
Людмила Степановна Пулькина: http://orcid.org/0000-0001-7947-6121 Алеся Евгеньевна Савенкова: http://orcid.org/0000-0001-6682-684X
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Гордезиани Д. Г., Авалишвили Г. А. Решения нелокальных задач для одномерных колебаний среды// Матем. моделирование, 2000. Т. 12, №1. С. 94-103.
2. Bouziani A. On the solvability of a nonlocal problems arising in dynamics of moisture transfer// Georgian Mathematical Journal, 2003. vol.10, no. 4. pp. 607-622. doi: 10.1515/ GMJ.2003.607.
3. Пулькина Л. С. Нелокальная задача с интегральными условиями для гиперболического уравнения// Диффер. уравн., 2004. Т. 40, №7. С. 887-892.
4. Кожанов А. И., Пулькина Л. С. О разрешимости краевых задач с нелокальным граничным условием интегрального вида для многомерных гиперболических уравнений // Диффер. уравн., 2006. Т. 42, №9. С. 1166-1179.
5. Нахушев А. М. Задачи со смещением для уравнений в частных производных. М.: Наука, 2006. 288 с.
6. Дмитриев В. Б. Нелокальная задача с интегральными условиями для волнового уравнения// Вестн. СамГУ. Естественнонаучн. сер., 2006. №2(42). С. 15-27.
7. Стригун М. В. Об одной нелокальной задаче с интегральным граничным условием для гиперболического уравнения// Вестн. СамГУ. Естественнонаучн. сер., 2009. №8(74). С. 78-87.
8. Avalishvili G., Avalishvili M., Gordeziani D. On integral nonlocal boundary problems for some partial differential equations// Bull. Georg. Natl. Acad. Sci., 2011. vol.5, no. 1. pp. 31-37.
9. Пулькина Л. С. Краевые задачи для гиперболического уравнения с нелокальными условиями I и II рода// Изв. вузов. Матем., 2012. №4. С. 74-83.
10. Пулькина Л. С. Задачи с неклассическими условиями для гиперболических уравнений. Самара: Самарский университет, 2012. 194 с.
11. Pulkina L. S. Solution to nonlocal problems of pseudohyperbolic equations // EJDE, 2014. vol.2014, no. 116. pp. 1-9, http://ejde.math.txstate.edu/Volumes/2014/116/pulkina. pdf.
12. Lions J. L. Quelques méthodes de resolution des problèmes aux limites non linéaires [Some Methods for Solving Nonlinear Boundary Value Problems] / Etudes mathematiques. Paris: Dunod, 1969. xx+554 pp. (In French)
13. Ладыженская О. А. Краевые задачи математической физики. М.: Наука, 1973. 402 с.
14. Тихонов А. Н., Самарский А. А. Уравнения математической физики. М.: Наука, 2004. 798 с.
15. Федотов И. А., Полянин А. Д., Шаталов М. Ю. Теория свободных и вынужденных колебаний твердого стержня, основанная на модели Рэлея// ДАН, 2007. Т. 417, №1. С. 56-61.
16. Doronin G. G., Lar'kin N. A., Souza A. J. A hyperbolic problem with nonlinear second-order boundary damping// EJDE, 1998. vol. 1998, no. 28. pp. 1-10, http://ejde.math.txstate. edu/Volumes/1998/28/Doronin.pdf.
17. Корпусов М. О. Разрушение в неклассических волновых уравнениях. М.: URSS, 2010. 237 с.
Поступила в редакцию 09/III/2016; в окончательном варианте — 22/IV/2016; принята в печать — 27/V/2016.
nyxíkuham. c., cabehkob a a. e.
Vestn. Samar. Gos. Techn. Un-ta. Ser. Fiz.-mat. nauki
[J. Samara State Tech. Univ., Ser. Phys. & Math. Sci.], 2016, vol. 20, no. 2, pp. 276-289
ISSN: 2310-7081 (online), 1991-8615 (print) doi: http://dx.doi.org/10.14498/vsgtu1480
MSC: 35A01, 35L10, 35A02
A PROBLEM WITH NONLOCAL INTEGRAL CONDITION OF THE SECOND KIND FOR ONE-DIMENSIONAL HYPERBOLIC EQUATION
L. S. Pulkina1, A. E. Savenkova2
1 Samara National Research University,
34, Moskovskoye shosse, Samara, 443086, Russian Federation.
2 Samara State Technical University,
244, Molodogvardeyskaya st., Samara, 443100, Russian Federation.
Abstract
In this paper, we consider a problem for a one-dimensional hyperbolic equation with nonlocal integral condition of the second kind. Uniqueness and existence of a generalized solution are proved. In order to prove this statement we suggest a new approach. The main idea of it is that given nonlocal integral condition is equivalent with a different condition, nonlocal as well but this new condition enables us to derive a priori estimates of a required solution in Sobolev space. By means of derived estimates we show that a sequence of approximate solutions constructed by Galerkin procedure is bounded in Sobolev space. This fact implies the existence of weakly convergent subsequence. Finally, we show that the limit of extracted subsequence is the required solution to the problem.
Keywords: hyperbolic equation, nonlocal integral conditions, generalized solution, Sobolev space, Galerkin procedure.
ORCIDs
Ludmila S. Pulkina: http://orcid.org/0000-0001-7947-6121 Alesya E. Savenkova: http://orcid.org/0000-0001-6682-684X
© 2016 Samara State Technical University. Please cite this article in press as:
Pulkina L. S., Savenkova A. E. A problem with nonlocal integral condition of the second kind for one-dimensional hyperbolic equation, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. & Math. Sci.], 2016, vol. 20, no. 2, pp. 276-289. doi: 10.14498/vsgtu1480. (In Russian) Authors Details:
Ludmila S. Pulkina (Dr. Phys. & Math. Sci.; [email protected]), Professor, Dept. of Mathematical Physics Equations.
Alesya E. Savenkova ([email protected]; Corresponding Author), Assistant, Dept. of Mathematics and Applied Informatics.
REFERENCES
1. Gordeziani D. G., Avalishvili G. A. On the constructing of solutions of the nonlocal initial boundary value problems for one-dimensional medium oscillation equations, Matem. Mod., 2000, vol. 12, no. 1, pp. 94-103 (In Russian).
2. Bouziani A. On the solvability of a nonlocal problems arising in dynamics of moisture transfer, Georgian Mathematical Journal, 2003, vol.10, no. 4, pp. 607-622. doi: 10.1515/ GMJ.2003.607.
3. Pulkina L. S. A nonlocal problem with integral conditions for a hyperbolic equation, Differ. Equ., 2004, vol.40, no. 7, pp. 947-953. doi: 10.1023/B:DIEQ.0000047025.64101.16.
4. Kozhanov A. I., Pulkina L. S. On the solvability of boundary value problems with a nonlocal boundary condition of integral form for multidimensional hyperbolic equations, Differ. Equ., 2006, vol.42, no. 9, pp. 1233-1246. doi: 10.1134/S0012266106090023.
5. Nakhushev A. M. Zadachi so smeshcheniem dlia uravnenii v chastnykh proizvodnykh [Problems with shifts for partial differential equations]. Moscow, Nauka, 2006, 288 pp. (In Russian)
6. Dmitriev V. B. A nonlocal problem with integral conditions for the wave equation, Vestnik SamGU. Estestvenno-Nauchnaya Ser., 2006, no. 2(42), pp. 15-27 (In Russian).
7. Strigun M. V. On certain nonlocal problem with integral boundary condition for hyperbolic equation, Vestnik SamGU. Estestvenno-Nauchnaya Ser., 2009, no. 8(74), pp. 78-87 (In Russian).
8. Avalishvili G., Avalishvili M., Gordeziani D. On integral nonlocal boundary problems for some partial differential equations, Bull. Georg. Natl. Acad. Sci., 2011, vol.5, no. 1, pp. 31-37.
9. Pul'kina L. S. Boundary-value problems for a hyperbolic equation with nonlocal conditions of the I and II kind, Russian Math. (Iz. VUZ), 2012, vol. 56, no. 4, pp. 62-69. doi: 10.3103/ S1066369X12040081.
10. Pulkina L. S. Zadachi s neklassicheskimi usloviiami dlia giperbolicheskikh uravnenii [Problems with non-classical conditions for hyperbolic equations]. Samara, Samara University, 2012, 194 pp. (In Russian)
11. Pulkina L. S. Solution to nonlocal problems of pseudohyperbolic equations, EJDE, 2014, vol.2014, no. 116, pp. 1-9, http://ejde.math.txstate.edu/Volumes/2014/116/pulkina. pdf.
12. Lions J. L. Quelques méthodes de résolution des problèmes aux limites non linéaires [Some Methods for Solving Nonlinear Boundary Value Problems], Etudes mathematiques. Paris, Dunod, 1969, xx+554 pp. (In French)
13. Ladyzhenskaya O. A. Kraevye zadachi matematicheskoi fiziki [Boundary Value Problems of Mathematical Physics]. Moscow, Nauka, 1973, 402 pp. (In Russian)
14. Tikhonov A. N.; Samarskii A. A. Equations of mathematical physics, International Series of Monographs on Pure and Applied Mathematics, vol.39. Oxford etc., Pergamon Press., 1963, xvi+765 pp.
15. Fedotov I. A., Polyanin A. D., Shatalov M. Yu. Theory of free and forced vibrations of a rigid rod based on the Rayleigh model, Dokl. Phys., 2007, vol.52, no. 11, pp. 607-612. doi: 10.1134/S1028335807110080.
16. Doronin G. G., Lar'kin N. A., Souza A. J. A hyperbolic problem with nonlinear second-order boundary damping, EJDE, 1998, vol.1998, no. 28, pp. 1-10, http://ejde.math.txstate. edu/Volumes/1998/28/Doronin.pdf.
17. Korpusov M. O. Razrushenie v neklassicheskikh volnovykh uravneniiakh [Blow-up in non-classical wave equations]. Moscow, URSS, 2010, 237 pp. (In Russian)
Received 09/III/2016;
received in revised form 22/IV/2016;
accepted 27/V/2016.
