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

Математика

УДК 517.956.35 DOI: 10.14529/mmph190201

О СЛАБЫХ РЕШЕНИЯХ НАГРУЖЕННОГО ГИПЕРБОЛИЧЕСКОГО УРАВНЕНИЯ С ОДНОРОДНЫМИ КРАЕВЫМИ УСЛОВИЯМИ

О.Л. Бозиев1'2

Институт информатики и проблем регионального управления Кабардино-Балкарского научного центра РАН, г. Нальчик, Российская Федерация

2 Кабардино-Балкарский государственный университет им. Х.М. Бербекова, г. Нальчик, Российская Федерация E-mail: boziev@yandex.ru

Рассматривается смешанная задача с однородными краевыми условиями для нагруженного волнового уравнения, содержащего интеграл по пространственной переменной от натуральной степени модуля решения. Вводится определение слабого решения данной задачи, для которого исследуются вопросы существования и единственности. Для доказательства существования решения используется метод компактности, который формально заключается в том, что при доказательстве сходимости приближенного решения, построенного методом Галеркина, существенно используются вполне непрерывные вложения пространств Соболева. Для использования метода необходимы априорные оценки решения задачи, которые частично установлены в предыдущих работах автора и в предлагаемой статье. Вслед за этим строятся приближенные галеркинские решения. Существование приближенных решений доказывается с помощью теоремы существования для обыкновенных дифференциальных уравнений. После этого производится предельный переход, соответствующий устремлению размерности пространства к бесконечности. Здесь возникает основная трудность применения метода, связанная с нелинейностью уравнения и состоящая в доказательстве компактности семейства приближенных решений. Для этого используются теоремы о компактности вложения пространств Соболева заданного порядка в пространства Соболева меньшего порядка. Единственность слабого решения доказывается стандартной процедурой из теории линейных и нелинейных гиперболических уравнений.

Ключевые слова: нагруженные уравнения в частных производных; априорные оценки; слабое решение; существование и единственность.

Введение

В работе [1] для решения смешанной задачи с однородными краевыми условиями для нагруженного гиперболического уравнения, аппроксимирующего дифференциальное уравнение в частных производных с натуральной степенной нелинейностью, был предложен приближенно-аналитический метод. Его особенностью является использование априорных оценок решения соответственной начально-краевой задачи для линеаризации обыкновенного дифференциального уравнения, ассоциированного с исходным. Решение задачи Коши для последнего используется для записи приближенного решения нагруженной задачи. Полученное описанным способом решение используется для запуска итерационного процесса нахождения «достаточно точного» приближенного решения нелинейной задачи с однородными начальными условиями. В [2] метод перенесен на случай рациональной степени нелинейности младшего члена в параболическом уравнении.

В данной работе исследуются вопросы существования и единственности слабого (обобщенного) решения задачи, рассмотренной в [1] с однородными граничными условиями.

В области Q = {(x,t): 0 < x < l, 0 < t < T} рассмотрим нагруженное уравнение c натуральной степенью p > 3:

2 ГI |Р

utt - a uxx + but I |u| dx = 0, a > 1,b > 0, W = [0,l]. (1)

W

Оно может служить для аппроксимации нелинейного уравнения

ип - а 2ихх + Ь\ы\р и = 0,

возникающего в задачах управления, а также моделирующего некоторые нелинейные физические процессы. Константы а и Ь являются параметрами моделируемого процесса. Уравнения различного типа и порядка с интегральной нагрузкой, аналогичной используемой в (1), представляют и самостоятельный интерес, в силу того, что ими моделируются, например, процессы долгосрочного прогнозирования и регулирования уровня грунтовых вод и почвенной влаги, переноса частиц, некоторые задачи оптимального управления.

Требуется найти интегрируемую функцию и( х, г), удовлетворяющую уравнению (1) в области Q, а также при р(х),р2(х)£ Lp(О) условиям:

и(х, 0) = р (х), и (х, 0) = р2(х), 0 < х < I; (2)

и(0,0 = 0, и(I,г) = 0,0 < г < Т. (3)

1. Априорные оценки

Всюду ||у||р О = |у|р ёх выражает норму функции у(г) в пространстве Ьр(0), иш = дит/дг.

Умножая (1) скалярно на щ и применяя стандартные для подобных случаев несложные преобразования, легко получить неравенства, выполняющиеся для всех значений г £ [0, Т]

J(u2 + a2u2x)dx < Q(t), ЫW < Q(t),

Ikl 12,W< C^ ,0 < t < ^ ■

(4)

Далее, в предположении и£ Ьр-2(О.) умножим уравнение (1) скалярно на функцию ир- . Элементарные преобразования и умножение его на sgnpu, приводят к уравнению

1 d

2

b d

lip b d n ц2p

--t\\u\\ „ +---U „

>2 11 "p," 2P dt11 "p,"

p dt

pW = (p -1) J Up 2 (U - a2Ux2)dx

после интегрирования которого по t получаем

d

b,

\p b n i|2p

\U\\ o+_ N w i iip,w 211 "p,w

fw= p( p - 1)JJ| u|'-2 (

22

22

) dxdt +—\\u( x, 0)11p + b||u( x, 0)"2 p > dt"K "p,w 2

p,w '

и

0 О

Рассмотрим отдельно первое слагаемое в правой части. Применяяг к нему неравенство Гёль-дера, в котором 5 = д/(д - 1), получаем при q = 1 в силу первого из (4)

1

t (t. I p_2 о о о

|u| (ut - a ux)dxdt <

f,

JJI

0 W

V 0

lip-2 llp,W

JJI u -

2 2 2 ut - a ux

dx

W

q

\

q

<

t

< sup ess J\u\p 2 dx J

xeW W 0

ut2 + a2u2

dx

p-2

dt < sup ess u „ • tC.

1 II II p-2,W 1 xeW

К первому сомножителю применим последовательно неравенство Фридрихса и третье из (4):

II lip-2 ^ v II lip-2 ^ v ( C1

SUP eSS Pl|p-2,W < K1 SUP eS4ux\ I2 W < K1 \ — xeW xeW V a

В итоге оказывается, что

JJ

0 W

|u|p 2 (ut2 - a 2u2x)dxdt < tC1K11 Щ-

a

p-2

p-2

cp-1K1

a

2( p-2)

Это позволяет перейти к неравенству

d

b,

2p

+ -Ы\~"„< p(p - t + -|j

dr llp,W 2" llp,W

cp-1K1t+b, 2

a

|2 p lp,W :

после очередного интегрирования приводящего к соотношению

W

W

t

s

s

u

0

W

t.

p

N1 р,о£ 211Н1 рро а+K2■ Л 0

Применяя к нему нелинейный аналог неравенства Гронуолла [3, с. 22], видим, что

НГ0£ с2,

II 11р,о 2

(5)

где при всех t е [0, Т] в силу (2)

„ 2К2 „ ^ . Ср К 2 Ь и ..2р ц ир

с =—к > р( р - 1)г^27р=2) t +-1 Рро + Р"

'2 2 + ЬК2Т' 2

2а 2( р-2) 2 11 11 р,о

р,о'

Для получения еще одной оценки необходимо умножить (1) скалярно на ||м||ро N. Полу-

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

, ( ( \\

и

р,0

2 (_ _ > а

|и2ах + а21 и^аХ +2Ь| (|\и\\рро И) dx = |и2ах + а21и2хйх о о уу о Чо о У

V о о уу о

Проинтегрируем его на интервале [0, ,]:

( >

— и

р,о '

II р,о

| и2ах+а21 и^ах + 2ь|| (| и||ро И) V о о у о о

|~~|и||ро |(и2 + а2их2)dxdt + ||и(х,0)||р о |(и?2 (х,0) + а2и2х(х,0))ах.

0ш о

о I и

ро J \ 1 о

Оба слагаемых правой части ограничены в силу (4) и (5):

I¿11и11р,о I(и2 + ^)^ £ С1Iа(IИр,о)£ С1 (| 1и(x,t^ р,о -11и(х,0)11 р,о)

2 . 2 2 _ ,. и, + а их

'Д2 Л \ 1 х

о

£ С1 (I Ир,о+1|р( х)1 р,о)£ С1 (С2 +1Р11 р,о);

'(х,0)|рр,о I(и2 (х,0) + а2Их2(х,0))ах = ||р(х)||р,о (||р2||2,о + а2|И/ "ч"2

( х,0)12,о)£

Р

!(||^г|2,о+ С1(°)).

11р,о \П '2 112,о

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

III

0 о

р

И о и,

I 11р,о 1

£ Сз(,);

(6)

Сз(,) = С(,)С2 + ||р ||РрЯ (IIР2||2,о + С1 (,) + С1 (0)).

2. Существование слабого решения

Определение. Слабым решением задачи (1)-(3) назовем удовлетворяющую первому условию (2) функцию иеЬ¥(0,Т;И^о)), которая при иг еЬ¥(0,Т;¿2(о)) и всякого ме И^о) удовлетворяет также тождеству

I

(и , м) + I ( а 2 ( их, ) + Ь (|\и\ро И, ^^ = р

Для доказательства существования слабого решения задачи воспользуемся методом Бубно-ва-Галеркина. Пусть функции М] (х), ] = 1, 2, ..., образуют базис пространства И^(О). Определим приближенное решение поставленной задачи как

т

Ит = Е 8] ^) ( х)

]=1

с дважды непрерывно дифференцируемыми функциями 8](,), являющимися решением задачи:

2

и

0

о

2

(umt, Wj ) + a2 (umx, Wjx ) + b (||uJ|pp,W umt , Wj )= 0,1 < J <

m

n (x, 0) = jm (x) = X (P1JWJ (x) ® j(x) в Hl( W) при m ;

(7)

(8)

J=1

umt (x,0) =(2m (x) = Yj(2mWj (x) x) в L^W) при m .

J=1

(9)

Задача Коши (8), (9) для системы дифференциальных уравнений (7) может быть записана в виде:

^т + + аX gm = 0, gJ (0) = р}, ^; (0) = р2} ,1 < ] < т,

где входящие в последнее уравнение матрицы определяются как

р

W = \(w- w ) W' = (w' w') A = lllu llp w w I

m ||v i' J -'II' m ||v i' J -'II' m l|| m |lp,W i' J j

, gm g J ■

Так как detWm Ф 0, то задача (7)-(9) имеет единственное абсолютно непрерывное решение. Норма функции ит, входящая в (7), определяется следующим образом:

,W = J |um (^t^p dx = J

llum|lp,W = J Ium

W

W

X g(t )w/ x)

J=1

m

dx = XI gJ (t)| p Jl wj( x)| pdx.

J =1 W

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

Лемма 1. Пусть функции и и и1 удовлетворяют определению слабого решения. Тогда:

ит ®и сильно в Ь^(0,Т;Я^(О)); (10)

иш ® и сильно в Ь¥ (0,Т; Ь2(О)). (11)

Доказательство. Допустим, что каждая из функций ит и ип является приближенным решением задачи (7)-(9). Разность уравнений (7), записанных для каждой из них, дает следующее уравнение с функцией V = ит - ип :

(Vtt'wJ ) + a 2 (Vx,wJx ) + b (| |uJ|p,w umt - | |uJ|p,w unt ,wJ ) = 0

Найдем разность уравнений, полученных умножением последнего на gj для каждого J и суммированием соответственно от 1 до т и п:

-2 ,

iip и iip \_п

Ч! ' " \"x^xt} ' "\irm|lp,W umt \\u4p,W unt, Vt j = 0

С помощью элементарных преобразований отсюда легко получить уравнение

(vtt,vt) + a2 (vx,vxt) + b (|\um ||p W uw -1|u„ ||p W u,„t,V I = 0.

2 dt W (v2+a 2vx2) dx+b ||u^'p,W J vt2 dx+b (

n\\p,W J vt2dx + b (Iu "p

\\u„

p

m llp,W II nllp,W/J t' WW

интегрирование которого по t приводит к следующему:

tt v 2

-nij vt ' — дн"mip,W ir^ip,^J yf

0 W 0 W

) J vtumtdx = 0,

J ( vt2 + a 2v2 ) dx + 2b J| ¿n| J vfdxdt + 2b J (| |uJ|pi,W - | |un ||p,W ) J vtumtdxdt = Fmn ;

W 0 W 0 W

Fmn = J (vt2( x, 0) + a 2vx2( x, 0)) dx = J (((2m-( f + a2 (((m-((n f) dx.

О О

Заметим, что в силу (8) и (9):

¥тп ® 0 при т, п ® ¥. Далее, перейдем от последнего равенства к неравенству:

"uJlp,W IKIIpJ

J vtumtdx

' + F

mn

(12) (13)

| +а2Vx2)ёх < 2Ь|||

О0

К модулю разности под знаком интеграла в правой части применим установленную в [4] оценку, которая в данном случае имеет вид:

u

p

t

lu«llp,W llu"llp,W

:pC4(t )Vl ^

\um - un\ dx.

(14)

Для продолжения (14) воспользуемся неравенством Фридрихса [5]:

£ рС4(0^рх £

Оценим второй сомножитель под знаком интеграла в правой части (13):

lum||p,W llu^lJp,W

vx |2 dx.

| Vtumtdx

< I ivtumtidx < Iv2dx I umtdx i vt2dx.

w \w vw \w

Тогда для первого слагаемого в правой части (13) можно записать:

2bI|

kIL iu^lJp,w

0

I vtumtdx

W

< C51 11 |vx |2dx ¡I vfdxdt < C511 (vx2 + a2vt2)dxdt, m w Vw 0w

= bp4T max c4 (t) max JC1 (t).

V2 te[0,T] te[0,T] v

Вернемся к (13) и убедимся в выполнении неравенства

t

| (vt2 + a 2vx2) dx < C5II (v2 + a 2v2) dxdt + F„^n.

W 0 W

Лемма Гронуолла [3, с. 9], примененная к последнему, приводит к оценке:

| (v2 +a2vx2)dx < FmneC,

которая с использованием (8), (9) и (12) при m, n ® ¥ дает

I (с

'unt)2 +a2(u

x)2)dx ® 0.

W

Отсюда следует выполнение (10) и (11). Таким образом, лемма доказана.

Лемма 2. Пусть последовательность ит сходится сильно к функции и вЬ2(0). Тогда

up *mllp,W

iip

II p,W

\\um\\' „ |u||^ „ сильно в L2(Q).

(15)

Доказательство. Сходимость следует из оценки (14).

Перейдем к доказательству существования слабого решения задачи.

Теорема 1. Слабое решение задачи (1)-(3) существует при р е И\(о), р2 е Ь2(о).

Доказательство. Скалярное произведение (8) с ¿]т (,) и суммирование по ] дает уравнение

(umtt, umt ) + a2 (umx, umtx ) + b (

+ b|l|um|lp,W umt, umt

) = 0.

Так как последовательность ит является точным решением задачи (1)-(3) при р(х) = р\т (х), р2(х) = р2т (х), то для нее априорные оценки (4) принимают вид:

II ||2 < Cj(t) и i|2 <Г(\ llumx||2,W< Humt|l2,W< C1(t).

В силу первого из (16) существует подпоследовательность u^ такая, что

Заметим также, что

um® u слабо в L¥(0, T; H^ (W)). 0, T; Hj (W))c H (0,T; H1 (W)) = H1 (Q),

(16) (17)

т.е. ит принадлежит и множеству, ограниченному в И (0). Используя компактность вложения И (0) в ¿2(0), отсюда можно заключить, что

ит —^и сильно в Ь2(0) и почти всюду. (18)

W

W

В свою очередь, в силу второго из (16) следует, что при m ® ¥ функция umt принадлежит множеству, ограниченному в L¥(0,T; L 2(W)). При этом выполняется включение

L„(0,T;L2(W)) сL2 (0,T;L2(W))=L2(Q), позволяющее заключить, что umt принадлежит также ограниченному в L2(Q) множеству. Следовательно, из последовательности umt можно выделить подпоследовательность u^ , такую, что

Um ® ut слабо в L¥(0,T; L2(W)). (19)

Умножая теперь (7) на ||um||p W gj (t) и рассуждая аналогично предыдущим случаям, приходим к оценке (6), записанной в виде

2

umt

Ш\UJP W U

0 О

£ C3.

Она означает, что существует подпоследовательность Р w u, такая, что

1Ы1 p W u^it слабо в L2(Q). (20)

Вернемся к (7) и перейдем в нем к пределу при m = ,. Из (17), (19), (20) следует слабая сходимость в L¥ (0,T) слагаемых левой части уравнения (7):

(umx,wjx) ® (ux,wjx), (umtW) ® (ut,wj), (|Ыp,w umt) ® (X,wj).

Для того, чтобы функция u являлась слабым решением задачи (1)-(3), необходимо

iip

W ut,

llp,W t'

утверждения.

Лемма 3 [6, с. 25]. Пусть Q — ограниченная область, у^и у - ограниченные функции из Lp (Q), 1 < p < ¥, такие, что Цу, || < C, уц ® у почти всюду в Q. Тогда уц ®у слабо в Lp (Q). Для применения леммы необходимо показать, что

выполнение равенства х = | M|p0 ut, справедливость которого следует из следующего

Хи =1HIР u.tt ® UP 0 ut = х. и II "II p,0 " " "p,o t л

Покажем сначала с помощью лемм 1 и 2 сильную сходимость х^ ® X. В самом деле:

t I p \2 t / p p p \2

Я1 u,, u,,t — ||u||p ut I dxdt = (\\u,,\\ u,.t — ||u||p ut + \\u,,\\ ut — тЛ ut I dxdt < III Лp,W Л 11 "p,W 4 J J III Лp,W Л 11 "p,W t II Лp,W t II Лp,W 4

0 w t 0 w t ^

< 11 (I NLKt — ut)) dxdt + Iff ut (IЫ1 pw—I ullpp,w) ) dxdt.

0W 0WV ' J

В силу (5) первое слагаемое в правой части не превышает величины

t

C2 ff (u,t — ut) dxdt ® 0, m ® ¥.

0 W

Во втором слагаемом в силу леммы 2:

(I lull Р -||u||p ) £ p2C,2 f |u„ - u\ dx ® 0, и ®¥. \ll "IIp,0 11 Hp,o / ^ 3 JI и I r

0

Применяя теперь (14) и (15) убеждаемся, что

iip ^ 4||„,iip

p,

Следовательно

0 u.t ® I uilp 0 ut сильно в L2 (Q) и почти всюду.

I|uJ|p u.,t ®||u||p ut слабо в L2(Q),

. p,0 .t p,0 t 2

откуда следует, что при всех J функции и удовлетворяет уравнению

t

(ut, w) + J ( a2 (ux, wx )+ b (| u||p,W ut, w)Y = (( w),

а значит, является слабым решением задачи (1) - (3). Убедимся в выполнении первого из условий (2). Слабая сходимость um(x,0) ® u(x,0) в H (W) следует из (17), а из (18) следует

u (x,0) x) в H (W), в силу чего u(x,0) = ((x).

3. Единственность слабого решения

Теорема 2. Слабое решение задачи (1)-(3) единственно.

Доказательство. Воспользуемся процедурой, применяемой в теории линейных и нелинейных гиперболических уравнений [6, с.28]. Предположим, что задача (1)-(3) имеет два решения -u1 и u2. Записывая для каждого из них уравнение (1), для их разности, где v = u1 - u2, получим задачу:

2 illlip II lip I

vtt -a vxx + b (|\u1\\p,W u1t -|\u2\\p,W u2t ) = 0; (21)

v( x,0) = 0, vt (x,0) = 0. (22)

Будем искать решение задачи (21), (22) - функцию

ve L„(0,T;H^W)), vt e L„(0,T;¿2(W)). Для этого от (21) перейдем к уравнению

vtt -a2vxx + b||U1||p,W(U1t -u2t ) + bu2t (l|U1||p,W-||U2||p,W) = 0

умножая которое скалярно на vt получим

2d J (v2 + a2v2 )dx + b Ь Ip,W J^dx + b (llUH AW - IЬ IIPp,W ) J vtU2tdx = 0

О О О

После интегрирования его в границах от 0 до г найдём:

г г

I (V2 + ^ + 2Ь{|Ы1 р,О | + 2Ь| (|Ы|р,О -1Ы1 р,О ) | = 0.

О 0 О 0 О

Далее повторяем все рассуждения, использованные при доказательстве леммы 1. После применения леммы Гронуолла в итоге получаем, что

| (V2 + а\2 )ёх < 0, О

то есть

I ((% - и2г )2 + а2 (и1х - и2х )2 ^ = 0. О

Для того, чтобы показать, что и1 = и2, при 5£(0,Т) положим

w( x, t) =

Пусть, кроме того,

s

-Jv(x,s)ds, t < s,

t

0, t > s.

х, г) = | v( х,а)ёа,

0

откуда следует, что w(х,г) = vl (х,г) - vl (х,5) при г < 5.

Рассмотрим скалярное произведение обеих частей (21) с w(x,í):

К, w) - a2(vxx, w) = Ь (|Ыр,О иЪ -1|и11|р,О и1, w ), от которого перейдем к равенству

d / ч / ч 2/ ч , ^^^ II II II 9м, ^

— (vt,w)-(vt,wt) + a (vx,w) = bIu2lli,^НКЦо"^'wJ•

2111,0 д( |Г1"1,а

Его интегрирование по ( с учетом того, что "(х, () = 0 при ( > s, дает

s л s

-f (Vt, Wt )dt - a2 J (Vx, Wx )dt = b J (|

U2\\p,o U2t -| |Ui|| p,0 U1t,W

, W ) i

а так как wt = v, w(x, 0) = -vi (x, s), то

1 s

'2 (IV( x, s)ll2,o +a2l lvi( x, s)ll2,o) =bf (

IKIIp,o u2t'

lUll p,o uit, w

) dt.

Правую часть полученного равенства оценим по модулю, что приводит к неравенству

s

v( x s)ll2,o+a2l lvi( x, s)ll2,o< 2bf (

и up 2 ||p,o U2t ■

lullp,0 U1t, w

Обратимся к подынтегральному выражению в правой части, для которого имеем

lip

U2\\p,0 U2t ■

lUllp,0 U1t, w

;) < sup(||Ui||Ppw ,|\U2\\ppW) Jv\\w\dx <

0 l

<(l Ы p,0+lЫ\p,0) f| Wi( x, t) - vi( x, s)|dx <(| Ui\\p,0+|p,0) f| Wi( x, t) + vi( x, s)|dx.

0 0 Усилим последнее неравенство, оценивая слагаемые в первом сомножителе с помощью (5), а ко второму сомножителю применяя неравенства Гельдера и Фридрихса:

1Ыp,w U2t

\\Ui\\p,0 Uit, w

< 2C2 11HI2,0 Ilvi (x,t) + vi (x, s)l2,W < lCr(IIHI2,0 + a21lvix Il2,0

Отсюда следует, что

I|v( x, s)|£0 + a 21 |vi( x, s)

|2 < lbCi(t)

'2,"< 4a2

s

f (I lv( x, s)ll2,o+a2l lvi( x, s)ll2,o)

Неравенство Гронуолла, примененное к последнему, приводит к равенству

I|v( x, s)|20 + a21 |vi( x, s)||

= 0,

112,0 II ' -'112,0 откуда следует нужный нам результат:

у( х, 5) = м1( х, 5) - и2(х, 5) = 0, а именно - единственность слабого решения исследуемой задачи.

Литература

1. Бозиев, О. Л. Решение нелинейного гиперболического уравнения приближенно-аналитическим методом / О.Л. Бозиев // Вестник Томского государственного университета. Математика и механика. - 2018. - № 51. - С. 5-14.

2. Бозиев, О.Л. Аппроксимация решений нелинейных параболических уравнений решениями ассоциированных нагруженных уравнений / О.Л. Бозиев // Нелинейный мир. - 2018. - Т. 16, № 4. - С. 3-10.

3. Филатов, А.Н. Интегральные неравенства и теория нелинейных колебаний / А.Н. Филатов, Л.В. Шарова. - М.: Наука, 1976. - 152 с.

4. Бозиев, О.Л. Обобщение одной априорной оценки решения квазилинейного гиперболического уравнения / О.Л. Бозиев // Известия Кабардино-Балкарского научного центра РАН. - 2010. - № 2(34). - С. 106-110.

5. Андреев, В.К. О неравенстве типа Фридрихса для составных областей / В.К. Андреев // Журнал Сибирского федерального университета. Серия «Математика и физика». - 2009. - Т. 2, Вып. 2. - С. 146-157.

6. Лионс, Ж.-Л. Некоторые методы решения нелинейных краевых задач / Ж.-Л. Лионс. - М.: Мир, 1972. - 587 с.

Поступила в редакцию 24 января 2019 г.

о

о

о

)

о

0

2

Bulletin of the South Ural State University Series "Mathematics. Mechanics. Physics" _2019, vol. 11, no. 2, pp. 5-13

DOI: 10.14529/mmph190201

ON WEAK SOLUTIONS OF LOADED HYPERBOLIC EQUATION WITH HOMOGENEOUS BOUNDARY CONDITIONS

O.L. Boziev1,2

11nstitute of Computer Science and Problems of Regional Management of KBSC of the Russian Academy of Sciences, Nal'chik, Russian Federation 2 Kabardino-Balkar State University, Nal'chik, Russian Federation E-mail: boziev@yandex.ru

A mixed problem with homogeneous boundary conditions is considered for the loaded wave equation containing an integral over the spatial variable from the natural degree of the solution module. The definition of the weak solution of this problem is introduced, for which the questions of existence and uniqueness are studied. The compactness method is used to prove the existence of the solution. The idea of the method is that when proving the convergence of an approximate solution built by the Galerkin method, completely continuous embeddings of Sobolev spaces are essentially used. A priori estimates of the solution of the problem are necessary for use this method. Those estimates are partially established in the previous works of the author, and partially are established in the proposed article. Following this, the approximate Galerkin solutions are built. The existence of approximate solutions is proved by the existence theorem for ordinary differential equations. After that, a limit transition is made, as corresponding to the aspiration of the space dimension to infinity. Here comes the main difficulty of applying this method. It is related to the nonlinearity of the equation and consists in proving the compactness of the family of approximate solutions. For this purpose, theorems on the compactness of embedding Sobo-lev spaces of a given order in Sobolev spaces of a smaller order are used. The uniqueness of the weak solution is proved by a standard procedure from the theory of linear and nonlinear hyperbolic equations.

Keywords: loaded partial differential equations; a priori estimates; weak solution; existence and uniqueness.

References

1. Boziev O.L. Solution of nonlinear hyperbolic equations by an approximate analytical method. Tomsk State University Journal of Mathematics and Mechanics, 2018, Vol. 51, pp. 5-14. (in Russ.). DOI: 10.17223/19988621/51/1

2. Boziev O.L. Approximation of nonlinear parabolic equations solutions by solutions of associated loaded equations. Journal Nonlinear World, 2018, Vol. 16, no. 4, pp. 3-10. (in Russ.).

3. Filatov A.N., Sharova L.V. Integral'nye neravenstva i teoriya nelineynykh kolebaniy (Integral inequalities and the theory of nonlinear oscillations). Moscow, Nauka Publ., 1976, 152 p. (in Russ.).

4. Boziev O.L. Izvestiya Kabardino-Balkarskogo nauchnogo tsentra RAN, 2010, no. 2(34), pp. 106-110. (in Russ.).

5. Andreev V.K. On Inequalities of the Friedrichs type for Combined Domains. J. Sib. Fed. Univ. Math. Phys., 2009, Vol. 2, Issue 2, pp. 146-157. (in Russ.).

6. Lions J.L. Quelques méthodes de résolution des problémes aux limites non linéaires. Dunod, Gauthier-Villars, Paris, 1969, 554 p.

Received January 24, 2019