Об одной нелокальной задаче с интегральным граничным условием для гиперболического уравнения Текст научной статьи по специальности «Математика»

УДК 517.95

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

© 2009 М.В. Стригун1

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

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

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

Рассмотрим в области Qт = {(х,£) : 0 < х < I, 0 <£< Т} гиперболическое уравнение

Ьи = пы - (апх)х + си = / (х, ¿) (1.1) с начальными условиями

и(х, 0) = <^(х), иь(х, 0) = ^(х), (1.2)

граничным условием

и(0, ¿) = 0 (1.3) и следующим интегральным условием:

ь I

п(М) = // к и.у.иг >и(у,т (1-4)

0 0

где функции а(х,£), с(х,£), /(х,£) заданы в области Qт, а(х,£) > 0 V(x,t) € Qт — условие гиперболичности уравнения (1.1), К(х,у,£,т) задана в Qт х х Qт, а ^>(х) и ^(х) — на отрезке [0,1].

хСтригун Мария Владимировна (marii@samaracom.ru), кафедра уравнений математической физики Самарского государственного университета, 443011, Россия, г. Самара, ул. Акад. Павлова, 1.

Условие (1.4) представляет собой соотношение, связывающее значение искомого решения в граничных и внутренних точках области. Такие условия называют нелокальными. Задачи с нелокальными условиями для гиперболического уравнения в последнее время вызывают значительный интерес. Заметим, что в большинстве работ, посвященных этой тематике, нелокальные условия содержат интеграл лишь по пространственной переменной [1—3]. Вид нелокального условия (1.4) позволяет применить иной, чем в отмеченных работах, метод.

2. Разрешимость поставленной задачи

Теорема. Если функции а(х,Ь), е(х,Ь), f(х,Ь), К(х,у,1,т) удовлетворяют условиям: а(х,1) е С 1((т), с(х,1) е С((т), f(х,1) е Ь2(((т), К(х,у,1,т) е С2([0,1] х [0,1] х [0,Т] х [0, Т]), кроме того, выполняются следующие условия согласования:

<Р(1) = 0, (2.1)

I

ф(1) = ! К (1,у, 0, 0)ф(у)йу, (2.2)

о

то существует единственное решение и(х,у) е W1(Qт) задачи (1.1)—(1.4).

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

4 х

Ви = и(М) -Ц К (х, у,1,т )и(у,т №.

оо

Пусть и = Ви, тогда

4 х

ь(х,Ь) = и(х,Ь) — ! J К(х,у,Ь,т)и(у,т)йуйт. (2.3)

оо

Равенство (2.3) можно рассматривать как интегральное уравнение Воль-терра второго рода относительно неизвестной функции и(х,Ь). Оно имеет единственное решение в классе Ь2((т) [4] и имеет вид

4 х

оо

где

те

Е(х,у,г,т, 1) = ^ Кк (х,у,г,т), (2.5)

к= 1

а итерированные ядра Кк(х,у,г,т) определяются рекуррентными соотношениями

К (х,у,г,т) = К (х,у,г,т),

Ь х

Кк(х,у,г,т) = J У К(х, г,г, в)Кк-\(г,у, в,т)йгйв (к = 2,3...). (2.6)

т у

Тогда

те те

Кх(х,у,г,г, 1) = ^ Ккх(х,у,г,г), Кхх(х,у,г,г, 1) = ^ Ккхх(х,у,г,т), к=1 к=1 тете

Еь(х, у, г, т, 1) = ^ Ккь(х, у, г, т), Еы(х, у, г, т, 1) = ^ Ккьь(х, у, г, т). к=1 к=1 Это верно, так как ряды сходятся абсолютно, что следует из оценки

ак(г - т )к-1(х - у)к-1 \Кк(х,г,г,з)\ < 1 ((к -1)!)2 .

Здесь и в дальнейшем а таково, что

\К,Кх,Кхх,Кь,Ка\ < а. (2.7)

Пусть и(х,г) — решение задачи (1.1)—(1.4). Подставив (2.4) в уравнение (1.1), учитывая, что Кк (х,у,г,г) =0 и Кк (х,х,г,т) = 0 для к = 2,3,..., имеем:

Ь х

иьь - (аих)х + си + // Еьь(х, у, г, т, 1)и(у, т)(у(т-

00

- (а//Ях(х,у,г,т, 1)и(у,т)йуйт\ +

0 0 х

Ь х х

+с// Е(х, у, г, т, 1)и(у, т)(у(т + / Кь(х, у, г, г)и(у, г)(1у+ (2.8)

0 0 0

х х

+ / Еь(х, у, г, т, 1) |т=ь и(у, г)(у + / к(х, у, г, г)иь(у, г)(у-0 0

- 1а/К (х,х,г,т )и(х,т )(т) = / (х,г).

0х

Условия (1.2) примут вид

и(х, 0) = 1р(х), (2.9)

х

иь(х, 0) = ф(х) - IК(х, у, 0, 0)^(у)йу = а(х), (2.10)

а условия (1.3) и (1.4) станут однородными:

и(0,г) = 0, (2.11)

ь(1,г) = 0. (2.12)

Таким образом, если и(х,Ь) — решение исходной задачи (1.1)—(1.4), то ь(х,Ь) — решение задачи (2.8)—(2.12). Пусть теперь ь(х,Ь) — решение (2.8). Тогда из (2.11) и (2.12) следует выполнение условий (1.3) и (1.4). При непосредственной подстановке с учетом однозначной разрешимости уравнения (2.3) можно убедиться в том, что и(х,Ь) удовлетворяет (1.1). Таким образом, задачи эквивалентны.

Итак, если показать, что существует единственное решение задачи (2.8)—(2.12), то в силу эквивалентности задач и однозначной разрешимости уравнения (2.3) это будет означать однозначную разрешимость задачи

(1.1)-(1.4).

Введем определение обобщенного решения задачи (2.8)-(2.12). Умножим (2.8) на функцию ш е И^о^т), где

\¥2\0((т) = {ш : ш е И1(((т), ш(1,г) = ш(0,г) = 0, ш(х,Т) = 0},

и проинтегрируем по ( т. Интегрируя по частям полученное выражение и учитывая условия (2.10)-(2.12), получим:

— / игШгйхЛЬ + / аихшхйхЛЬ + / еишйхй1+ Ят Ят Ят

4 х

+ I ш/ J Rtt(x,y,t,т, 1)и(у,т)<1у<1т<1х<И—

Ят 0 0

/ 4 х \

— / ш 1а// Кх(х,у^,т, 1)и(у,т)<у<т I <1х<И+ Ят V о о ) х

4 х

+ / шс / /Е(х,у^,т, 1)и(у,т)<у<т<х<Ь+ Ят 0 0

х х

+ / ш / К(х,у^^)и(у,т)<у<хМ +/ ш / Е4(х,у^,т, 1)|т и(у,1)(1у<х(И+ Ят 0 Ят 0 т=

х (4 \

+ / ш/К(х,у,Ь,Ь)ь4(у,т)<,у<,хМ — / аш I /К(х,х,Ь,т, )и(х,т)<т I <х<И =

Ят 0 Ят \0 ) х

I

= / fшdxdt + / а(х)шх<х. Ят 0

(2.13)

Определение. Будем называть у(х^) е ((т) обобщенным решением задачи (2.8)-(2.12), если и(х, 0) = (р(х) и Уш е И^1 0((т) и(х^) удовлетворяет тождеству (2.13).

Доказательство существования решения задачи (2.8)—(2.12)

Будем искать приближенное решение задачи (2.8)-(2.12) в следующем виде:

Ут(х^) = ^ <г{Ь)Хг(х),

г=1

где Хг(х) Е С2[0,1] и образуют полную линейно независимую ортонормиро-ванную систему функций в Ш2,(0,1), кроме того Хг(0) = 0, а (¡(Ь) подлежат определению.

Зададим начальные условия для (¡(Ь). Для этого разложим функцию <^(х) (из условия (2.9)) в ряд по системе Х^:

те

V(Х) = Е 7гХг(х).

г=1

Тогда (г(0) = Ъ, а (¡(0) = (а,Х>).

Будем искать (¡(Ь) из соотношений: I

/(и%(х, Ь) — (аит(х, Ь))х + сит(х, Ь)) Х3(х)(х+ 0

I / г х \

+ / (/1 Егг(х,у,Ь,т, 1)ит(у,т)йуйт\ Х3(х)(х—

0 V 0 0 /

1 / г х \

— / [а/ / Ях(х,у,Ь,т, 1)ит(у,т )йуйт\ Х3 (х)(х+

0 V 0 0 ) х

I / г х \

+ 1 (сЦ Я(х, у, Ь, т, 1)ит(у, т )йуйт\ Х3 (х)(х+

0 V 0 0 )

+ [ [¡Кг(х,у,Ь,Ь)ит(у,Ь)((у) Х(х)(х+

00

(2.14)

+ }(1 Мх, у, Ь, т, 1) |т=г ит(у, Ь)(у) Х3(х)(х+ 00

00

¡х

+ / /К(х,у,Ь,Ь)ь?(у,Ь)(у) Хз(х)(х—

I / г \ I

— / (а/ К(х,х,Ь,т)ит(х,т)(т\ Х3(х)(х = / /(х,Ь)Х3(х)(х

0 0 х 0

т(

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

г

тт

тт

("(Ь) + Е агз(Ь)(г(Ь) + Е / вгз(тШт)(т = ^(Ь). (2.15)

г=1 ¡=10

Дважды проинтегрировав ее по Ь, учитывая начальные условия, получим систему интегральных уравнений Вольтерра второго рода

г

(з(Ь)+ I ((п)кз(Ь,п)(п = Р3(Ь),

где к3(Ь,П) = Т.(Ь — п)(агз(П) + 12Г&з(п)).

г=1

Так как ядра К3(Ь,щ) ограничены, эта система имеет единственное решение [4]. Таким образом, построена последовательность приближенных решений. Покажем, что полученная последовательность ограничена.

Априорная оценка решения

При получении априорной оценки вместо ит(х^) будем писать ь(х,Ь). Умножим (2.8) на и4(х^) и проинтегрируем по (41, где tl е (0,Т).

4 41 4 41 4 41 4

0 4 41 0 0 0 0 0 0

41 4 4 х

—//^И &и(х,у^,т, 1)и(у,т)dydтdxdt+ 0 0 0 0

41 4 / 4 х \

+ им а / / Дг(х, у, t, т, 1)и(у, т)<у<т) (1х(М —

0 0 0 0 х

41 1 4 х

—// сщ / / Я(х,у,^т, 1)и(у,т )dydтdxdt— 0 0 0 0

41 4 х 41 4 х

— / / К (x,y,t,t)vt(y,t)dydxdt — / / Kt(x,y,t,t)v(y,t)dydxdt— 0 0 0 0 0 0

4,1 4 х

— Ц у4 1 Мх,у,^т, 1)|т=4 v(y,t)dydxdt+ 0 0 0

4Л I / 4 \ 41 4 4

+ !! аиЛ / К(х,х,г,т)и(х,т)<т) dxdt + / / fv4dxdt + / а2(х)<х.

0 0 0 х 0 0 0

(2.16)

Проинтегрировав по частям второе и третье слагаемые и оценив правую часть равенства, используя неравенство Коши-Буняковского и представле-

4х

ние функции ь(х,Ь) = / получим неравенство

0

1 / ь2(х, + 2 / ь^(х, t1)dx ^ 0 0

^ № + Тсэ) / ихdxdt + С1 / uí2dxdt + С2 / v2dxdt+ (2 17)

1 1 +2 / а(х, 0)^х(х, 0)<х + 1 / f 2dxdt + 1 / а2(х)<х. 0 Я^ 0

Заметим, что

1 1 41

Ь2(х^)(1х ^ J ! (2(ип(х,п)<п)2 + 2р(х)2) <х.

0 0 0

Применив неравенство Коши-Буняковского, имеем:

I I

2 2 2

У ь2(х,1)<х ^ Т J v2(x,t)dtdx + 2 J р2(х)<х. 0 я«1 0

Сложим полученное неравенство с предыдущим I

/(и2(х, ¿1) + и?(х, ¿1) + (х, ¿1))(х ^ к / (и2 + + иХ)йх(И+

о

1 2 II

+2 / а(х, 0)<£>' (х)(х + 1 / /2(х(£ + 1 / а2(х)йх + 2 / (х)(х. о д(1 о о

Применим лемму Гронуолла [7]

(2.18)

/(и2(х, ¿1) + ь^(х, ¿1) + и2(х, ¿1))(х ^

о

( 1 2 1 1 ^

^ 2екН \ I а(х, 0)1£>'2 (х)(х + / /2(1х(И + / (Г2(х)йх + ^ <р2(х)йх

\о Яг1 о о у

Пусть к = 1 екТ. В силу произвольности ¿1

I

2

/(и2 (х, ¿) + и2(х, ¿) + V2. (х, ¿))(х ^

о

/2 ,

^ к / а(х, 0)^' (х)(х + / /2йхМ + / а2(х)йх + 4 / ^>2(х)йх\ . \о Ят о о У

Проинтегрируем неравенство по Ь от 0 до Т:

/ (и2(х, ¿) + и2(х, ¿) + и2(х, г))(1х(И ^ кТК. Ят

Таким образом получим априорную оценку решения:

1Иш}(Ят) < N (2.19)

где N зависит только от входных данных.

Итак, построенная последовательность приближенных решений ограничена, так как для всех ит(х,Ь) выполняется оценка (2.19). Поэтому из теоремы о слабой компактности ограниченного множества гильбертова пространства следует, что из данной последовательности можно выделить последовательность, слабо сходящуюся в ): ьт(х,1) ^ ь(х,1).

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

т

представимой в виде ит(х,Ь) = ^ Ъг(Ь)Хг(х), выполняется интегральное

г=1

тождество. Умножив (2.14) на произвольную функцию Ъj(¿) € Ш^(0,Т) такую, что Ъj(Т) = 0, просуммировав по ] от 1 до т, зафиксировав ит° (х,£) и перейдя к пределу по т [5], получим нужное.

Множество функций шт° (х,Ь) плотно в И^о [6]. Поэтому, переходя к пределу по то, получим

— / игшг(х(Ь + / аихшх(х(Ь + / сиш(х(Ь+

Ят Ят Ят

¡ ¡г ¡х

+ I Ш11 Ки(х,у,Ь,т, 1)и(у,т)(у(т(х(Ь—

Ят 00 ¡ ¡г ¡х

— / ш I а// Кх(х,у,Ь,т, 1)и(у,т)(у(т\ (х(Ь+

Ят V 0 0 ) х

¡ ¡г ¡х

+ / шс / /Е(х,у,Ь,т, 1)и(у,т)(у(т(х(Ь+ Ят 0 0

¡ ¡х ¡ ¡х |

+ / ш / Кг(х,у,Ь,Ь)и(у,т)(у(х(Ь + / ш / Ег(х,у,Ь,т, 1)|т=г и(у,Ь)(у(х(Ь+ Ят 0 Ят 0 т=

¡ ¡х ¡ ¡г

+ / ш / К(х,у,Ь,Ь)иг(у,т)(у(х(Ь — / аш I / К(х,х,Ь,т, )и(х,т)(т I (х(Ь =

Ят 0 Ят 0 х

I

= / /ш(х(Ь + / а(х)шх(х. Ят 0

Значит, слабый предел построенной последовательности приближенных решений является обобщенным решением задачи (2.8)—(2.12).

Единственность решения

Чтобы показать единственность решения, предположим, что существует два решения, обозначим их разность и(х,Ь) и выберем ш(х,Ь) специальным образом:

, ,, Г и(х,Ь), 0 < Ь < п,

шг(х,Ь) = { 0, п<Ь< т.

Подставив выбранное ш(х, Ь) в интегральное тождество и сделав оценки, можно получить следующее неравенство: I __

2 /(ш'22(х, п) + ашх(х, 0))(х ^ М / (ш2 + ш2х + ш2)(х(Ь. 0 Яп

Введем функцию

( (х,Ь) = —I Ьх(х,г)(г.

0

Выразив через нее шх(х, 0), имеем:

/(ш'22(х, п) + а(2(х, п))(х ^ М / (ш2 + шх + ш2)(х(Ь. 0 Яп

п

Заметим, что ш2(х,п) ^ ПI и2(х,х)(х. Тогда

0

I I

У и2(х, п)(х + (и — 2Мщ) J (2(х, п)(х ^ М1 У ((2(х, Ь) + (1 + п2)и2)(х(Ь.

0Я

п

Выберем п так, чтобы V-2М1п ^ | (это выполняется, если п € [0, ]) В таком цилиндре выполняется неравенство I

У (и2(х, п) + (2(х, п))(х < М2 J((2(х, ¿) + (1 + п2)и2)йхйг. о Яп

Применяя лемму Гронуолла, получим

I

22

У (и2(х, п) + С2(х, п))(х ^ 0.

о

Из этого следует, что и(х,п) =0 Уп € [0, ]. Также можно показать, что и(х, п) = 0 для Уп € [0, ] Продолжая этот процесс, через конечное число шагов получим, что и(х,п) = 0 в Qт, из чего следует единственность решения задачи (2.8)—(2.12) в Qт, а значит, и задача (1.1)—(1.4) имеет единственное решение.

Литература

[1] Кожанов А.И., Пулькина Л.С. О разрешимости краевых задач с нелокальным граничным условием интегрального вида для многомерных гиперболических уравнений // Дифференциальные уравнения. 2006. Т. 42. № 9. С. 1166-1179.

[2] Пулькина Л.С. Смешанная задача с интегральным условием для гиперболического уравнения // Математические заметки. 2003. Т. 74. Вып. 3. С. 435-445.

[3] Кожанов А.И. Об одной нелокальной краевой задаче с переменными коэффициентами для уравнений теплопроводности и Аллера // Дифференциальные уравнения. 2004. Т. 40. № 6. С. 763-774.

[4] Михлин С.Г. Лекции по линейным интегральным уравнениям. М., 1959. 232 с.

[5] Дмитриев В.Б. Нелокальная задача с интегральным условием для уравнения гиперболического типа // Вестник СамГТУ. 2006. Вып. 42. С. 35-40.

[6] Пулькина Л.С. Дифференциальные уравнения в частных производных. Самара: Издательство "Самарский университет", 2004. 140 с.

[7] Филатов О.П. Лекции по обыкновенным дифференциальным уравнениям. Самара: Издательство "Самарский университет", 1999. 210 с.

Поступила в редакцию 19/Х/2009; в окончательном варианте — 19/Х/2009.

ON CERTAIN NONLOCAL PROBLEM WITH INTEGRAL BOUNDARY CONDITION FOR HYPERBOLIC EQUATION

© 2009 M.V. Strigun2

In this paper, we consider mixed problem for hyperbolic equation with nonlocal boundary condition involving an integral of required solution. The existence and uniqueness of the generalized solution are established.

Key words: hyperbolic equation, nonlocal problem, integral condition.

Paper received 19/X/2009. Paper accepted 19/X/2009.

2Strigun Maria Vladimirovna (marii@samaracom.ru), Dept. of Equations of Mathematical Physics, Samara State University, Samara, 443011, Russia.