УДК 517.956.3
СМЕШАННАЯ ЗАДАЧА С НЕЛИНЕЙНЫМ ИНТЕГРАЛЬНЫМ УСЛОВИЕМ ДЛЯ ГИПЕРБОЛИЧЕСКОГО УРАВНЕНИЯ
© 2009 В.Б. Дмитриев1
В работе рассматривается смешанная задача для гиперболического уравнения с нелинейным интегральным условием вместо стандартного граничного и нелинейной правой частью. Задача рассмотрена в пространстве произвольной размерности. Доказаны существование и единственность решения.
Ключевые слова: нелокальная задача, нелинейные условия, гиперболическое уравнение, априорная оценка, обобщенное решение.
Введение
Математическое моделирование ряда процессов, изучаемых в физике, химии и биологии, нередко приводит к постановке нелокальных задач для дифференциальных уравнений с частными производными. Весьма удобным способом описания налагаемых на искомое решение условий является задание их в интегральной форме как среднее значение решения на принадлежащих области, в которой ищется решение, многообразиях. Исследования нелокальных задач с интегральными условиями показали, что стандартные методы для их изучения часто оказываются неприемлемыми без соответствующих модификаций.
Важный шаг был сделан в работе А.И. Кожанова и Л.С. Пулькиной [4], где была доказана однозначная разрешимость краевых задач с нелокальным граничным условием интегрального вида для многомерных гиперболических уравнений.
В настоящей работе доказана однозначная обобщенная разрешимость задачи с нелокальным условием, содержащим как интегральный оператор от искомого решения, так и значение производной от него на границе.
1 Дмитриев Виктор Борисович (dmitriev_v.b@mail.ru), кафедра математических методов и информационных технологий Самарского муниципального института управления, 443084, Россия, г. Самара, ул Стара-Загора, 96.
Однако как интегральное условие, так и правая часть нелинейны по и, поэтому вывод нужных неравенств был более труден и тонок, чем в работе [2].
1. Постановка задачи
Рассмотрим уравнение
^а.гу (х, і) их^ + ^ аі(х, і) пХі + Ь(х, і) щ
п д
Ьи = ии ^ ' ()х‘ ^ (Х, І) иХ’ ^ ^ ' ai(x, І) их
і,3=і г
= I (х,Ь,и) (1.1)
в цилиндре Qт = {(х,т) : х € П С М”, 0 <т < Т}, где П — ограниченная
область в М” с гладкой границей, и поставим для него задачу с начальными
условиями Коши
и(х, 0) = р(х), (1.2)
щ(х, 0) = 'ф(х) (1.3)
и нелокальным условием
ди
^2 аі3 (Х,і) дХ С08(п,Хі) Іят = Кі (х, у, Т, и(у, Т)) (Іу (ІТ +
і3 = 1 3 0 п
+ / К2(х,у,Ш.ул)) Іу,х Є да (1.4,
п
где <р(х),ф(х),Кі(х,у,т,и(у,т)), К2(х,у,і,и(у,і)) заданы, а Бт = {(х,і) : х Є дП, 0 <і <Т} — боковая поверхность цилиндра Qт. Здесь
п
аіз = азі, іу(2 ^ ^ а3(х,і)&Єз ^ К2, V > 0. і,3 = і
Введем понятие обобщенного решения поставленной задачи. Для этого умножим (1.1, на у(х,і) Є Wl(Qт) такую, что у(х,Т) = 0, и, предполагая, что и(х,і) решение задачи (1.1,—(1.4), проинтегрируем по Qт:
т т
У J Ьи ■ у ІхІі = J У /уІх Іі.
0 п 0 п
Интегрируя левую часть, получаем
і
т
( п п
—ЩУі + ^2 а3(х, і) их,Ухі + ^ аі(х, і) иХіу + Ь(х, і) щу+ о п і3=1 і=і
т т
+а(х,Ь) иу\йх(И + I щу йх — J ^ V ^ а^ (х,Ь) ■ди еов(п, хг) йвМ п о о да г,х=1 х
т Iу йх (М. оп
Заметим, что иг|г=о = ф, и в силу условия (1.4) получим тождество, с помощью которого введем понятие обобщенного решения:
т
П П
(—щуг +^2 а%з(х, ^ иХ:)уХ1 + ^ аг(х, ^ иХ1 у + Ь(х, г) щу+
аіз(х,і) их,Ухі + 2_>аі(х,і) их,У о п і3=1 і=і
т і
,и
о дп о п
+аіх,і) иу) ІхІі — Л ф^Л Кі (х у,т,и{у,т)) Іу Іт і. Іі —
0 дп о п
т
-// ум1 іуі.іі=
о дп п
т
= J J /(х,і,и) у(х,і) іхіі + 1 ф(х) у(х, 0) іх. (1.5,
о п п
Определение. Назовем обобщенным решением из ^1^т) задачи (1.1,—(1.4, функцию и(х,і) Є Wl(Qт), удовлетворяющую условию (1.2, и тождеству (1.5, для любой функции у Є W2, ^т), такой, что у(х,Т) =0. Основным результатом работы является следующая Теорема.
Пусть выполнены следующие условия:
тО 1* 1 ш,|Ь|) ^ "ь
|Кі (х, у, т, иі) — Кі(х,у,т,и2) | ^ Яі(у,т) | и і — Щ2і,
т
У У ^(у, і) іуіі = Еіі < ж, |Кі(х,у,і, 0) | ^ Еі(у,і) Ух Є П, оп
T
/(/ F (У,Т)dy) dT = Мп < ж,
0 \п
lK2(x,y,t,Ul) - K2(x,y,t,U2) | ^ R2(y,t) |ui - U2I,
sup I R^(y,t) dy = R21 < ж, lK2(x,y,t, 0) | ^ F2(y,t) Ух e Q, te[o,T] J
sup / F2(y, t) dy = M21 < ж, te[0,T] J
dK2(x,y,t,u)
dt
< A(y,t) |u| + B(y,t),
T
T
J J A2(y, t) dy dt = M22 < ж, J ( J B(y, t) dy) dt = M23 < ж,
0 П
0 \п
If (x,t,ui) - f (x,t,U2) | ^ H(x,t) |ui - U2I,
|f (x,t, 0) | ^ E(y,t) Vx e Q,
E(x,t) e L2,i(Qt), v(x) e W2,(Q), ф(x) e L2(Q),
t
/ sup H(x,t) dt = G< ж.
J жЕП
0
Тогда задача (1.1)—(1.4) имеет единственное обобщенное решение из W,(Qt ).
Доказательство проделаем следующим образом: сначала получим априорную оценку, затем докажем единственность решения, затем при помощи априорной оценки докажем существование решения.
Мы будем использовать неравенство
I |u| ds ^ с / ^|Vu| + |u| j dx, дП п
(1.6)
справедливое для любой функции и € Ш1(П) и области П с гладкой границей [5, с. 77].
2
2
2. Априорная оценка
Рассмотрим уравнение
Ьщ = /(х, I, щ). (2.1)
Пусть щ(х,Ь) € ^т) — решение этого уравнения, удовлетворяющее
нелокальному условию
^ аіз (х,і) д^ ео8(п,хі) |£т = І ! Кі(х,у,т,'ш(у,т)) іуіт+
п
а і3 (
і,3=і 3 о п
+ у К2(х,у,г,'ш(у,г)) йу. (2.2)
п
Умножим уравнение (2.1) на 2щг и результат проинтегрируем по Qг,
£ < Т :
2 Ьщ ■ щг йхМ = 2 /щг йхсМ. (2.3)
Яь Яь
Левую часть (2.3) преобразуем с помощью интегрирования по частям ( п \
и, полагая у(Ь) = § ^ а^ щХ1 ЩХЛ йх, получаем
^ г,х=1
г г
у(Ь) ^ у(0) + сл ! у(Ь) ( + 2 ! юг J J Кг(х,у,т,щ(у,т)) йуйтйвМ+ о вь о п
+2 ! щг J К2(х,у,Ь,щ(у,Ь)) йуйвсМ + 2 J /(х,Ь,щ) щг йхйЬ. (2.4)
вь П Яь
Здесь постоянная С\ определяется постоянными V и Л! из условий теоремы.
Преобразуем первый интеграл по боковой поверхности следующим образом:
г
ъь.у.т^.т» йуйтлал =
вь о п
г
И^І К1(х,у^> іуііі.+
дп о
ь
+ 1 w(x,t) J У К1(х,у,т,'т(у,т)) йуйтйв = г11 + г12. дП 0 П
Оценим получившиеся интегралы. В силу наложенных на ядро условий после серии несложных оценок имеем:
|ill| =
t
j jw(x,t)j Ki(x,y,t,w) iydtds
дП 0 П
<
^ cj(w2 + wf + |Vw|2) ixit + 2c\Q\R11k(t) + 2c\Q\M11.
Qt
Здесь k(t) = sup Jw2(y,() iy. o^t П
Далее, применяя известные неравенства, в том числе неравенство Коши — Буняковского, получаем
|i 121 ^ С2 (|Vw|2 + w2) ix^ (R11 k(t) + M^)2 . (2.5)
Здесь обозначили С2 = 2\/е\дЩ.
Преобразуем второй интеграл по боковой поверхности следующим образом:
jwt(x,t)j K2(x,y,t,w(y,t)) dydsdt =
St П
t
^0K2(x,y,t,w) i dK2(x,y,t,w)
дП 0 П
{(дК2дК(х^)МуЛ)} йуйгй>+
П 0 П
+ w(x,t) К2(х,у^^(у^)) йуйв-
дП П
- w(x, 0) К2(х, у, 0, w(y, 0)) dy йв = г2\ + г22 + %2з.
дП П
Оценим получившиеся интегралы. Используя наложенные на ядро условия и неравенство Коши — Буняковского, получаем после серии оценок:
|г211 ^ сз I (и)2 + w'2 + |Vw|2) dxdt + 2с|0|М~22к^) + 2с|0|М2з.
Яь
Здесь с3 = ст&х[2Ы221Щ + 1,Я21|П|}.
Далее, применяя неравенство Коши — Буняковского и затем неравенство (1.6), получаем
1 г221 =
/ w(x,t) K2(x,y,t,w(y,t)) dyds дп п
^ c2 | J(|Vw|2 + w2) dx I ■ I R21J w2(x, t) dx + M|1
Введем обозначение
/П
(w2 + wt2 + ^ aijwxiwx^j dx
п ij=l
Теперь воспользуемся неравенством [5, с. 204]
(2.6)
t
J w2(x,t) dx ^ 2 J w2(x, О) dx + 2tJ y(t) dt. (2.7)
Тогда получим
t
k(t) = sup / w2(x,£) dx ^ 2 w2(x, О) dx + 2t y(t) dt, (2.8)
0<£<t J J J
o^5^t
пп
и, применяя к (2.5) и к (2.6):
2R11 J w2(x, О) dx + 2Rllt J y(t) dt + Mfl П o
(2.9)
2R21 J w2(x, 0) ix + 2R21t J y(t) it + M|1 . (2.10)
П0 Здесь константы M14 и M24 определяются константами v и С2. Заметим, что с помощью (2.9) можно оценить и |*231:
|i231 < 2M24(z(0))2 (2R21Z(0) + M2i)2 .
Складывая (2.4) и (2.7) и обозначая sup z(^) = z, i = 2 + 8( R11 +
o^S^t '
+ R21^c|Q|, 2c|Q|(Mn + M23) + z(t) = zi(t), получаем после преобразований
с учетом оценок на |ill |, |*12|, |i2i|, | i 22 |, |i23|:
t
t
zl(t) ^ dzl(0) + (ci + C4 + dt) t ■ zl(t) + 2\\B\\2lQt zf (t) +
2
+2 ^2 Mi4 z2 (t) (2Ril z(0) + 2Rilt2 ■ zi (t) + Mi2l)2 + zi (t) ( X(t) dt.
i=l о
Здесь мы ввели обозначение X(t) = sup H(x,t). При этом константа C4
хЄП
определяется константами v, с и C3.
Однако для наших целей нам нужно оценить не именно интеграл X(t) dt, а более общий ^1+ X(t) dt (где tl + t ^ T) для произвольного tl. Имеем из условия: X(t) dt < то, и в силу абсолютной непрерывности
интеграла Лебега имеем: ^1+ X(t) dt < є, как только мера Лебега множества E = [tl, tl + t] достаточно мала: ц,(Е) = t < S.
После преобразований получаем следующую оценку, верную для любого t Є [0, T]:
22(Ь) < р(Ь)г2 (0) + д(тв\\2л^ + г(Ь), (2.11)
где р(Ь),д(Ь) и г(Ь) определяются постоянными с, ,С и Кц и величиной Ь.
Это энергетическое неравенство, позволяющее оценить энергетическую норму решения 'ш(х,Ь') через начальные данные Коши и /(х,Ь,Ь)).
3. Доказательство единственности решения
Пусть задача (1.1)—(1.4) имеет два обобщенных решения щ и п2 из Ш2((^т). Тогда их разность и = щ — п2 € W2(Qт) удовлетворяет равенству
т
г П П
(—щУг + ^2 агз (х,Ь) их,„х1 + ^ й1(х,г) итнV + Ь(х,г) щ„) йхМ-
0 П ^ = 1 *=1
т г
„мЦ{К1(х,у,г,и1(у,г)) — К^.у.г.Му.г))}
0 дП 0 П
т
! J„(х,Ь) !^К2(х,у,Ь,щ(у,Ь)) — К2(х,у,г,и2(у,Ь))| dydsdt—
0 дП П
т
— ^ J(/(х,Ь,и1) — /(х,Ь,и2))„ dx dt = 0 (3.1)
0П
и при Ь = 0 обращается в нуль. Возьмем в этом равенстве
( о,
у(х,і) = <
(3.2)
/ и(х, т) йт, при 0 ^ і ^ р.
р
Подставим V из (3.2) в (3.1) и выразим и, и и иХ1 через V и их производные.
После преобразований, учитывая условия V*|*=о = и|*=о = 0, иХ,1 ^=р = 0 и условия теоремы, получаем
/П
у2(х,р) + ^2 а-ч (х,і) УХі (х, і) уХі (х, і) и=0 о 1 іЧ=і
йх =
Яр
Е
і,Ч=і
да-чд^іИ ух. (х, і) Ухі (х,і) +
+2 ^ а-(х, і) Ухі (х, і) Ьі(х,і) + 2 Ьу‘^(х,і) + ^ ^ =1 =1
даі (х, і)
+
+ дЬ(х і) ^Ьі(х,і) у(х,і)
р
йхйі — 2 J J у(х,і)х о до
І
I!\кі(х,у,і,иі(у,т)) — Кі(х, У, і, и2(у, т)) І йуйтйвді— 0о
р
—21! у(х,і) !|к2(х,у,і,иі(у,і)) — К2(х,у,і,и2(у, і))| йуйвйі—
0 до о
р
—2І J(/(х,і,и1) — /(х,і,и2))у йхйі.
(3.3)
0о
При Ь ^ р имеем и = V* и, применяя условия теоремы и известные неравенства, в том числе неравенство Коши — Буняковского и неравенство (1.6), получаем:
і,Ч=і
! и2(х,р)+ ^ а-ч(х, і) УхіУхік=0 йх ^ е5 ^ ( |Уу|2 + (р2 + р + 1) и2) йхйі+
Яр
X
+2
Р
J ! (/ (х,Ь,и1) — /(х,Ь,и2))и йх йЬ
о п
(3.4)
Здесь С5 зависит только от ^1,0, |П|,Яц,Я21. Далее, для почти всех х е ^ и Ь е [0,р]
V
2
р г о
С помощью этого неравенства произведем следующие оценки:
р р
У У (/(х,Ь,и1) — /(х,Ь,и2))и йх йЬ ^ Н(х,Ь) IV и| йхйЬ ^
оп
^ вир
0^р
/ Р ^
■. Ь й 2 2и йх
\ о
оп
р
йх ■ вир Н(х,Ь) йЬ ^
} хЕП
о
^ 1 С^р вир I и2 йх + 1 С^р и2 йхйЬ.
2 0<t<pJ 2 ]
п
Яр
о г
Введем функции д*(х,Ь) =/ (х, т) йт. В силу (3.2) их; =/ их1 (х, т) йт=
г р
=д*(х,р) — д*(х,Ь), Ь ^ р и, подставляя в (3.4), мы получаем после ряда оценок
и
/П
^д2(х,р) йх
о *=1
^ о6 / / д*2 + и2) йхйЬ + С^р вир и2 йх,
^ \~=1 ) о^г^р]
Яр 4 *=1 7 П
(3.5)
где Сб(р) = 05(3 + р + р2) + С^р.
Воспользуемся теперь произволом в выборе р. Для £ е [0,ро] имеем
и
/и
^2д2(х,0 йх
о *=1
^ с6(ро) / / д*2 + и2 йхйЬ + С^ро вир и2(х,£) йх. (3.6
■) V / о^е^рс.!
Яр0 х*=1 7 п
г
Перейдем теперь к супремуму по всем £ £ [0,ро]. После преобразований получаем
(1 — С^ро) вир и2(х,£) йх + (у — 2с5р0) 8Щ) V д2(х,£) йх <
о^^ро ^ о<£<ро У 7=1
П П г=1
< с6(р0) J д2 + и2^ йхйЬ. (3.7)
Я:
Для р0 £ [0,у/(4с5)\ коэффициент V — 2с5р0 ^ у/2 , а и(х,р0) и дг(х,р0) при р0 = 0 равны нулю. Кроме того, 1 — С^р0 ^ 1/2 при р0 ^ 1/(4С2').
Тогда мы получаем неравенство для супремумов, а значит, что при £ = = р0 оно будет верно:
J ^и2(х,ро) + ^ д2і(х,Ро)^ йх <
7 [ ( п \
/ / \и2(х,г) + ^2/д2(х,т) йхйт.
О О \ г=1 /
РО
< _____СбСро)____ [і 12
< шт(1/2,и/2) 1 1 1
оП
Это в силу неравенства Гронуолла [1, с. 23], где д(Ь) = 0, означает, что
/ I и2(х,р) + ^ д2(х,р)) йх = 0, тогда и(х,р) =0 и дг(х,р)=0 при р £ [0,7], П V г=1 )
где 7 = шш^у/(4с5), 1/(402)^. Повторяя рассуждение для Ь £ [^, 27], убедимся, что и(х, Ь) = 0 на этом промежутке. И так в конечное число шагов докажем обращение и(х,Ь) в нуль для всех Ь £ [0,Т]. Единственность доказана.
4. Доказательство существования решения
Воспользуемся методом Галеркина. Пусть {фк(х)} есть фундаментальная система в Ш2,(&) и выполняется свойство ортонормированности: (фк,фг) = / ФкФг йх = 51к. Приближенное решение им(х,Ь) ищем в виде
П
N
иМ = ^ ^(І) фк(х) (4.1)
к=1
из соотношений
/п п
[ ^ агз(х,ї) ^(х,ї) <Ріхі(х) + ^ аг(х,г) (х,ґ) фі(х) +
А А_1 А_1
г,і=і г=і
йх
+Ъ(х,Ь) и£ (х,Ь) фг(х) г
— / Фг ! / К1(х,У,Т, иИ(У,т)) йуйтйв — ^ ф^ К2(х,у,Ь,им(у,Ь)) йу йв—
^N(у, т)) йуйтйв — у Фг ! + -М
дП 0 П дП П
N
— (/ (х, Ь, и (х,Ь)),фг) = 0, I = 1, 2,...,Ы, (4.2)
й
ск (0) = ак , й£ск (Ь) !*=0 = (ф, Фк). (4.3)
N
Здесь акм — коэффициенты сумм Фм(х)=^2, Фк(х), аппроксимиру-
к=1
ющих при N ^ то функцию ф(х) в норме Ш2,(&). Подставим (4.1) в (4.2) и после несложных преобразований и смены порядка суммирования получим:
й2 м г / п п
сМ (Ь) + ^ сМ (Ь) / ^ аИ(x, Ь) Фкх} (х) Фкх1(х) + ^ а Фкх(х) Фг(х) +
к=1 п '*,.7 = 1 г=1
+ЪФкг(х) Фг(х)\ йх — ^ Фг(х) ^ J К1(х,у,т, ^ с^ (т ) Фк (у)) йуйтйв—
' дп 0 П к=1
N
N /
— • Фг (х) К2(х,у,1^см (Ь) Фк (у)) йу йв—
дП П к=1
N
(/(Ь) Фк(х)),Фг) = 0, (4.4)
к=1
I = 1,...^.
Нужно оценить коэффициенты системы (4.4), и из условий теоремы следует, что это конечные величины. Далее, функции в левой части (4.4) лип-шицевы по каждой из переменных ^ (Ь).
Таким образом, система (4.4) — система обыкновенных дифференциальных уравнений второго порядка по Ь для неизвестных ^ (Ь), к = 1,... ^, разрешенная относительно старших производных, а остальные слагаемые представляют собой липшицевы функции неизвестных ^(Ь), к = 1, . . . ^; ее свободные члены /г = (/,Фг) £ L2(0,T), если / £ £2,1 ((^т), Ф £ ^2,(0) и ф £ Ь2(0,). Таким образом, система (4.4) для любого N однозначно разрешима при начальных условиях (4.3) [7, с. 27], причем ^ £ Ь2(0,Т).
г
Мы построили последовательность {пМ}^=1. Отметим, что для пМ справедлива оценка (2.11). Правая часть (2.11) мажорируется постоянной, не зависящей от N и Ь £ £ [0,Т], так что
(пМ)2 + 1^пм|2 + (п^)2 йх ^ с7, Ь £ [0,Т], (4.5)
п
и тогда
\\пМ\\wHQt) < С(Т). (4.6)
Благодаря (4.6) из последовательности {пМ}^ = 1,2,..., можно выбрать подпоследовательность (за которой сохраним то же наименование), сходящуюся слабо в ^21(^т) к некоторому элементу П1 £ W^1,(Qт). Согласно условию (4.5) из этой последовательности можно выделить подпоследовательность (за которой вновь сохраним то же обозначение), которая будет сходиться равномерно по Ь £ [0,Т] в норме Ь2(О) слабо к элементу п £ Ь2(О) при всех Ь £ [0, Т], при этом в силу (4.6) п £ W2,(Qт) [5, с. 214]. Более того, полученная последовательность будет сходиться равномерно по Ь £ [0,Т ] в норме Ь2(0.) к элементу п £ Ь2 (О) для любого
Ь £ [0, Т] сильно.
Действительно, применяя лемму [6, с. 529] для случая т = 2, получим:
/ М \ I
ИП1|2>П ^ ( Е (п,^к)2\ + е1МЦ1(П). (4.7)
Возьмем произвольное 61 > 0. Найдем Ne для е = £1/(407) из условия леммы. Неравенство (4.7), примененное для пМ — пМх при N1 > N, будет выглядеть так:
\им - иМі |І2,п ^ - ПМ1 ,фк)2) + є\\пм - иМі ||ж1(П). (4.8)
чк=1
Так как ||им||^2і(П) ^ С7 при всех £ Є [0, Т] в силу (4.5), то є\\иМ - -аМі ||Ж1(П) ^ є (іІи^ІІЖІ(П) + \\иМі ІІЖІ(П)) ^ (сі + Ст) = ~2.
Теперь возьмем N = тах N1, где N1 определяется из условия 1(пМ^ — г=1,...,Мс
— пМх ,фк (х)) I < £1/(2у/Щ ^N1 > ^. N1 существуют в силу слабой сходимости {пМ}^ = 1, 2,... , в норме Ь2 (О) к элементу п £ Ь2(О) при всех Ь £ [0,Т].
Тогда мы имеем (пМ1 — пМ ,фк (х))2 < е\_/(4N£) Уг = 1,...,^ при
/ М \ I _____
N1 > N. Поэтому ( ^ (пМ — пМ,фк)2) < \f6J4 = е1/2, а тогда
||uN — uNl ||2,п ^ Є1 в силу (4.8). Это и означает сильную сходимость {uN }.N = І. 2..... к элементу u Є L2(Q) при всех t Є [0.T ].
Покажем, что u(x.t) есть обобщенное решение задачи (1.1)—(1.4). Начальное условие будет выполнено в силу отмеченной сходимости uN(x.t) к u(x.t) в L2(Q) и того, что uN (x. 0) ^ <p(x) в L2(0,). Теперь умножим каждое из (4.2) на свою функцию di(t) Є W2(0.T), di(T) =0, полученные равенства просуммируем по всем l от І до N и проинтегрируем по t от
0 до T. После этого в первом члене проведем интегрирование по частям,
N
перенося dt с uN на v = ^ di (t) ipi (x). Это даст тождество
i=l
/П n
^—uNvt + ^ aijuNvxi + ^ ai uv + buf v + auNvdx^J dx dt—
i,j=l i=l
Qt
t t
N
v J J K^x.y^.u (у.т)) dydтdsdt—
оп
—I /v / ^.^ (y-w <b*>* =
о дп п
= / f )vd<iuit + / uNv|,=0 to. (4 9)
N
справедливое для любой функции V вида ^ с![ (Ь) щ (х). Совокупность таких
1=1
V мы обозначим через Шщ. В (4.9) можно перейти к пределу по выбранной выше подпоследовательности при фиксированном V из какого-либо Шщ. Это приведет к тождеству (1.5) для предельной функции и при любой функции V Е Шщ.
При этом сильная сходимость {ищ} к и в Ь2(0,) нам нужна для того, чтобы интегралы, содержащие функции К1(х,у,т,ищ(у,т)), К2(х,у,Ь,ищ(у,Ь)), /(х,Ь,ищ), сходились к соответствующим интегралам с функцией и вместо ищ.
°°
Далее, Ш = У плотно в Ш2((^т), а и Е W2(Qт), следовательно,
N=1
(1.5) будет выполняться для и(х,Ь) при любой функции V Е WW21(Qт). Таким образом, предельная функция и(х,Ь) есть обобщенное решение из Ш2^т) задачи (1.1)—(1.4).
Литература
[1] Гординг Л. Задача Коши для гиперболических уравнений. М.: Иностр. лит., 1961. 122 с.
[2] Дмитриев В.Б. Нелокальная задача с интегральными условиями для волнового уравнения // Вестн. СамГУ. Естественнонаучн. сер. 2006. № 2(42). C. 15-27.
[3] Дмитриев В.Б. Нелокальная задача с интегральным условием для уравнения гиперболического типа // Вестн. Сам. гос. техн. ун-та. Сер.: Физ.-мат. науки, 2006. № 42. C. 35-40.
[4] Кожанов А.И., Пулькина Л.С. О разрешимости краевых задач с нелокальным граничным условием интегрального вида для многомерных гиперболических уравнений // Доклады Академии наук. 2005. Т. 404. № 5.
[5] Ладыженская О.А. Краевые задачи математической физики. М.: Наука, 1973. 408 с.
[6] Ладыженская О.А., Солонников В.А., Уральцева Н.Н. Линейные и квазилинейные уравнения параболического типа. М.: Наука, 1967. 736 с.
[7] Понтрягин Л.С. Обыкновенные дифференциальные уравнения: учебник для ун-тов. Изд. 4-е. М.: Наука, 1974. 331 с.
Поступила в редакцию 22/W/2009;
в окончательном варианте — 22/W/2009.
A MIXED PROBLEM WITH NONLINEAR INTEGRAL CONDITION FOR A HYPERBOLIC EQUATION
© 2009 V.B. Dmitriev2
Mixed problem for the hyperbolic equation with non-linear integral condition instead of a standard boundary condition and non-linear right side is viewed in the work. The task is viewed in the space of arbitrary dimensionality. The existence and uniqueness of the solution is proved.
Key words: nonlocal problem, hyperbolic equation, apriori estimation,
generalized solution.
Paper received 22/W/2009. Paper accepted 22/ V7/2009.
2Dmitriev Victor Borisovich (dmitriev_v.b@mail.ru), The Dept. of Mathematical Methods and Information Technologies, Samara Municipal Management Institute, Samara, 443084, Russia.