Научная статья на тему 'Убывание решений обобщенного уравнения Кортевега-де Фриза при больших временах'

Убывание решений обобщенного уравнения Кортевега-де Фриза при больших временах Текст научной статьи по специальности «Математика»

CC BY
101
18
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
УРАВНЕНИЕ КОРТЕВЕГА-ДЕ ФРИЗА / НАЧАЛЬНО-КРАЕВАЯ ЗАДАЧА / СЛАБОЕ РЕШЕНИЕ / УБЫВАНИЕ / KORTEWEG-DE VRIES EQUATION / INITIAL-BOUNDARY PROBLEM / WEAK SOLUTION / DECAY

Аннотация научной статьи по математике, автор научной работы — Николаев Артем Александрович

В данной работе доказано существование слабых решений для нелинейного обобщенного уравнения Кортевега-де Фриза и найдены условия, при которых слабые решения убывают к нулю при больших временах.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Decay of the solutions of the generalized Korteweg-de Vries equation at large times

In this paper the existence of weak solutions of the nonlinear generalized KdV equation is shown and conditions for which weak solutions decay to zero at large times are obtained.

Текст научной работы на тему «Убывание решений обобщенного уравнения Кортевега-де Фриза при больших временах»

ISSN 1810-0198. Вестник Тамбовского университета. Серия: естественные и технические науки

Том 24, № 125 2019

© Николаев А.А., 2019

DOI 10.20310/1810-0198-2019-24-125-99-111

УДК 517.957.6

Убывание решений обобщенного уравнения Кортевега—де Фриза

при больших временах

Артем Александрович НИКОЛАЕВ

ФГАОУ ВО «Российский университет дружбы народов» 117198, Российская Федерация, г. Москва, ул. М. Маклая, 6 ORCID: https://orcid.org/0000-0003-4561-8990, e-mail: nicepeopleproject@gmail.com

Decay of the solutions of the generalized Korteweg-de Vries

equation at large times

Artyom A. NIKOLAYEV

RUDN University 6 Mikhlukho-Maklaya St., Moscow 117198, Russian Federation ORCID: https://orcid.org/0000-0003-4561-8990, e-mail: nicepeopleproject@gmail.com

Аннотация. В данной работе доказано существование слабых решений для нелинейного обобщенного уравнения Кортевега-де Фриза и найдены условия, при которых слабые решения убывают к нулю при больших временах.

Ключевые слова: уравнение Кортевега-де Фриза; начально-краевая задача; слабое решение; убывание

Для цитирования: Николаев А. А. Убывание решений обобщенного уравнения Кортевега-де Фриза // Вестник Тамбовского университета. Серия: естественные и технические науки. Тамбов, 2019. Т. 24. № 125. С. 99-111. DOI 10.20310/1810-0198-2019-24125-99-111

Abstract. In this paper the existence of weak solutions of the nonlinear generalized KdV equation is shown and conditions for which weak solutions decay to zero at large times are obtained.

Keywords: Korteweg-de Vries equation; initial-boundary problem; weak solution; decay For citation: Nikolayev A. A. Ubyvanie resheniy obobshchennogo uravneniya Kortevega-de Friza pri bol'shih vremenakh [Decay of the solutions of the generalized Korteweg-de Vries equation at large times]. Vestnik Tambovskogo universiteta. Seriya: estestvennye i tekhnicheskie nauki - Tambov University Reports. Series: Natural and Technical Sciences, 2019, vol. 24, no. 125, pp. 99-111. DOI 10.20310/1810-0198-2019-24-125-99-111 (In Russian, Abstr. in Engl.)

Рассмотрим в QT = (0, T) x (0,L), 0 < T < , 0 < L < , начально-краевую задачу

ut + aux + uxxx + g(u)ux = 0, (1)

u(0,x) = u0(x), Vx G (0,L), (2)

u(t, 0) = u(t,L) = ux(i,L) = 0, Vt G (0,T), (3) где a G R, функция g G C 1(R) и

|g'(u)| < C(|u| + 1), Vu. (4)

Класс таких уравнений включает в себя уравнение Кортевега-де Фриза g(u) = u

и модифицированное уравнение Кортевега-де Фриза g(u) = ±u2 , которые описывают распространение одномерных нелинейных волн в средах с дисперсией и без диссипации.

Аналогичные вопросы были ранее рассмотрены в статьях [1]-[4]. В статье [1] рассматривается задача для уравнения

ut + ux + uxxx + g(u)ux + b(x)u = 0, 0 < x < L (5)

с начально-краевыми условиями (2), (3). Предполагается, что функция b неотрицательная и лежит в пространстве L2(0,L). Функция g такая, что g(0) = 0 и удовлетворяет следующему условию роста

|g(j)(u)| < C(1 + |u|p-j), Vu G R, (6)

для j = 0,1, если 1 <p < 2 и для j = 0,1, 2 , если p > 2. В случае, когда u0 G L2(0, L), было показано, что для любого p G [1, 2) и T > 0 задача (5), (2), (3) имеет единственное решение в пространстве C ([0, T]; L2 (0, L)) П L2(0, T ; H1 (0, L)) . Также было показано, что в случае, когда u0 G L2(0,L) , p G [2, 4), для любого T > 0 задача (5), (2), (3) имеет решение в пространстве Сш ([0,T]; L2(0,L)) П L2([0,T]; H1 (0,L)) . В случае, если дополнительно известно, что носитель функции b содержит открытое непустое подмножество (0,L) , то при p G [1, 4) для таких решений найдутся число v > 0, зависящее только от L, и неубывающая непрерывная функция в : R+ ^ R+ такие, что для всех t > 0 выполняется неравенство

||u(-,î)||l2(0,l) < в(||uo||W))e-vt.

Ранее в статье [2] для задачи (5), (2), (3) были получены аналогичные результаты в том случае, когда (6) справедливо при p = 1 и выполнены более сильные условия на b, чем в статье [1].

В статье [3] было показано, что в случае g(u) = u4 (т. е., когда условие (6) выполняется при p = 4), b G Lœ(0,L) , и u0 G L2(0,L) имеет достаточно малую норму, задача (5), (2), (3) имеет решение в пространстве C([0,T]; L2(0,L)) П L2(0,T; H0(0,L)) при любом T > 0 .В том случае, когда ||u01| l2(0,l) < R для некоторого малого R > 0, существуют положительные константы C = C (R, T ) и ^ = ^(R) такие, что неравенство

||u(t,-)||W) < C||uo||!2(o;L)e-^ выполняется для всех t > 0 .

В статье [4] рассматривались вопросы о существовании, единственности решений и их убывании при больших временах для начально-краевой задачи на Qt в случае более общих уравнений. В частности, из результатов [4] следует, что начально-краевая задача с условиями (2), (3) для уравнения

ut + uxxx + aux + uux = f (t,x),

имеет решение в пространстве C([0,T]; L2(0,1)) П L2(0,T; H:(0,1)) для любого T > 0 , если u0 E L2(0,1) и f E Li(0,T; L2(0,1)). В предположении, что f = 0 и начальное значение u0 мало в норме L2(0,L), была получена оценка

l|u(t, •)||!2(о,1) < 2e-fct||uc||!2(o;1), (7)

где k некоторая постоянная определенная в статье.

В статье [5] был рассмотрен вопрос о том, является ли условие малости начальных данных для уравнения Кортевега-де Фриза и модифицированного уравнения Кортевега-де Фриза с начально-краевыми условиями (2), (3) необходимым для убывания решений к нулю при больших временах. Для ответа на этот вопрос в статье были найдены условия, при которых данные задачи имеют стационарные решения u = u(x) .

В данной статье мы покажем, что если u0 E L2(0,L), то задача (1)-(3) имеет решение в пространстве C([0,T]; L2(0,L)) П L2(0,T; H 1(0,L)) для любого T > 0 , т. е. в том случае, когда p = 2, j = 0,1 в (6) и b(x) = 0 в (5). В случае, когда начальные данные достаточно малы, будет определен интервал значений а , при которых решение убывает к нулю при больших временах и выполнена оценка, аналогичная (7).

Пусть T > 0 . Определим пространство

Xo(QT) = C([0, T]; L2(0, L)) П L2(0, T; H 1(0, L)).

Определение 1. Пусть u0 E L2(0, L) . Под обобщенным решением задачи (1)-(3) для некоторого T > 0 мы будем понимать функцию u E X0(Qt) для которой при любой функции ф E L2(0,T; H3(0,L)) такой, что ф; E L2(QT) , ф|;=т = 0|x=o = ф1 x=l = фx|x=0 = 0 , выполняется равенство

T L L

J^ф^; + au^x + ^xxx — g(u)ux^)dxdt + J щ(х)ф(0, x)dx = 0. (8)

0 0 0

Сформулируем основные результаты статьи.

Теорема 1. Если u0 E L2(0,L), то для любого T > 0 существует обобщенное решение u(t,x) задачи (1)-(3).

Замечание 1. Единственность решения следует из [6, Theorem 6.4], где она установлена в более широком пространстве L^(0, T; L2(0, L)) П L2(0, T; H 1(0, L)).

Теорема 2. Пусть u0 е L2(0, L), T > 0 ,

CL2 < 12,

где постоянная О из условия (4). Пусть для некоторого Л е , 3) выполняются неравенства

||uo||l2(0,L) < (CL - 2l)

(3 - A)n2 , Л

a< Wrzy. (10)

Тогда единственное решение u е X0(QT) задачи (1)-(3) при всех t е [0,T] удовлетворяет неравенству

( (3-A)n2 , л.

I|u(t, ■) || L2 (0,L) < (1 + L)^-4 ||uo || L2 (0,L), (11)

где

!a, a > 0, T+L, a <

Доказательство теоремы 1 мы проведем поэтапно, сначала рассмотрим начально-краевую задачу для регуляризованного уравнения

ut + aux + Uxxx + gh (u)ux = 0, (12)

сохранив начально-краевые условия (2), (3), где

2

gh(u) = g'(u)n(2 - h|u|) + ^n(h|u| - 1), gfc(0) = g(0), (13)

а n е C^(R) — «срезающая» функция такая, что n(t) = 0 при всех t < 0, n'(t) > 0, n(t) + n(1 - t) = 1 при всех t е (0,1), и n(t) = 1 при всех t > 1. Заметим, что gh(u) сходится поточечно к g(u) при h ^ 0 .

В ходе дальнейших рассуждений мы будем часто использовать оценки для функций

gh(u) и gh(u):

|gh(u)| < C(h), |gh(u)| < C(h)(|u| + 1), Vu, (14)

и их равномерные по h аналоги

|gh(u)| < с(|u| + 1), |gh(u)| < C(u2 + 1), Vu. (15)

Данные оценки нетрудно получить из условий (4) и (13).

Теперь покажем, что задача для уравнения (12) с начально-краевыми условиями (2), (3) разрешима локально по времени. В [4, Lemma 4.3] было показано, что у линейной начально-краевой задачи на Qt для уравнения

ut + aux + uxxx = f (t,x), (16)

c условиями (2), (3) существует обобщенное решение u(t,x) из пространства X0(QT) в том случае, когда u0 G L2(0,L) , f G Li(0,T; L2(0,L)). В этом случае при любом to G (0,T] справедлива оценка

||u||Xo(Qt0) < C(T,L)(||uo||L2(o,L) + ||f||L1(0,T;L2(0,L))). (17)

Обобщенное решение задачи (16), (2), (3) понимается в смысле, аналогичном определению 1. Сформулируем другие условия существования обобщенного решения задачи.

Утверждение 1. Пусть u0 G L2(0,L), тогда существует t* > 0 такое, что задача для уравнения (12) c начально-краевыми условиями (2), (3) имеет обобщенное решение.

Доказательство. Пусть t0 > 0, зададим на множестве X0(Qto ) отображение Л следующим образом: u = Лу G X0(Qto ) является решением на Qto начально-краевой задачи для уравнения

ut + aux + uxxx = -gh(v)vx (18)

с условиями (2),(3). Покажем, что правая часть (18) лежит в пространстве

L1(0,t0; L2(0,L)). Воспользуемся оценкой (14) и интерполяционным неравенством для

L L

функций u G H^(0,L) , sup u2(x) < 2(J u2(x)dx)1 (J u2x(x)dx)1 :

xe(0,L) 0 0

||gh(v)vx||Li(0)io;L2(0,L)) < C(h) J (j {v2 + l)vX2 dt <

0 0

to L i to L i

< C(h)(J sup ^(J vXdXj 1 dt + j v2xdxdtj ^ <

0 xe(°,L) 0 0 0

to i to L i to L i

< C (h)((y sup v2dxdtj 2 (J j v%.dxdtj 2 + t\[j J v2xdxdt^j ^ <

0 xe(0,L) 00 0 0

to L L

< C (h)||vx||L2(Qto )((/ (J v2dx) 2 (J v2x dx) 2 dt) i + t2 ) <

0 0 0

to L

< C (h)||v||xo(Qto )( ( sup ||v(t, ■)||l2(0,L)) 2 ( / ( / v2xdx) 2 dt) i + t2) <

o

00

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

< C(h)t4 ||v||xo(Qto ) (||v||xo(Qto ) + t0 ). (19)

Из предыдущего неравенства следует, что условия [4, Lemma 4.3] выполнены. Получаем, что для любого v существует решение u G X0(Qto) задачи (18), (2), (3), а значит,

отображение Л существует. Воспользуемся оценкой (17), получим ||Лу||Хо№о) < с(Т)(||и0||Ь2(0;Ь) + ¡Ы^Ык^о^О.Ь))) <

< с(Т)(||ио||ь2(о,ь) + С(ВД||^||хо(д4о)(|Мк№о) + 4)). Выберем Я = тах{2с(Т)||и0||Ь2(0,Ь), 2с(Т)} ,

Я Я2 1

¿1 = -- + \1— +

2 \/ 4 2С(й)' Тогда если ¿2 < ¿1, |М|хо(3«2) < Я, то

1|Л^||хо(^*2) < Я,

т. е. отображение Л : V ^ и переводит шар радиуса Я с центром в нуле в пространстве Х0(^2) в себя. Теперь возьмем две функции у, и € Х0(^2) , которые лежат в шаре радиуса Я с центром в нуле, тогда ш = Л- — Ли является решением задачи для уравнения

+ ашж + Шххх = — + (20)

с нулевыми начальными условиями. По аналогии, с оценкой (19) получим оценку правой части (20) в пространстве Ь1(0,^2; Ь2(0,Ь))

|Ыу)'гх — ^Ык^^^Ь)) = ||(0Л(г) — + — ух)||Ь1(0,*2;Ь2(0,Ь)) <

¿2 £

< С |||у—у||Ух |+(|у|+1)|(У—у)х|||Ь1(0)42;£2(0;£)) < У (V—у)2-^+ (у2+1)((у—у)ж)2М <

00

< С||г — у|к№2(||У||хо(д«2) + Н-Нхо^) + ),

а затем применим (17), получим

1

||Лу — Ли||хо(^(2) < С(т ^ |М|Хо№2), ||у||хо(д42))£|||г — у||хо(д42).

А значит, можем выбрать такое ¿* < ¿2 , что отображение Л при £ € (0,£*] будет сжимающим, следовательно, при таких £ отображение будет иметь одну стационарную точку, которая и будет решением уравнения (12). □

Далее продолжим локальное решение задачи (12), (2), (3) на (0,Т). Для этого рассмотрим вспомогательное утверждение.

Утверждение 2. Пусть и0 € Ь2(0,Ь), f € Ь1(0,Т; Ь2(0,Ь)) для некоторого Т> 0 и и € Х0(От) является обобщенным решением задачи (16), (2), (3). Тогда существует, функция ^ € Ь2(0,Ь) такая, что V£ € (0,Т] справедливо равенство ь г ь 4 Ь

У и2(£,ж)^ж + У ^2(г = J и2(ж)^ж + У f (г, х)и(т, (21)

0 0 0 0 0

Доказательство. Осуществим переход к функциям, обладающими большей гладкостью. Согласно [7], если и0 Е О(А), где оператор А = —(а ¿¿Х + ¿¿ХЗ + АЕ), а О(А) = {д Е Н3(0,1) : д(0) = д(Ь) = д'(1) = 0} , функция ! Е С1 ([о", Т]; ¿(0,1)) , то существует единственное решение

и Е С([0, Т]; Н3(0,Ь)) П С 1([0, Т]; Ь2(0,Ь)),

задачи (16), (2), (3). Домножим уравнение (16) на 2и и проинтегрируем по области Qt. В результате для любого Ь из (0,Т] получим

ь г ь г ь

У и2(Ь,х)д,х + J и" ¿т = J и0(х)д,х + J f (х,т )и(х,т )д,хд,т. (22) 0 0 0 0 0

Простыми преобразованиями получим, что

||и||С([0,г];Ь2(0,Ь)) + ||их|х=0||Ь2(0,г) < ||f||Ьх(0,4;Ь2(0,Ь)) + ||и0||Ь2(0,Ь). (23)

Выберем такие последовательности {и0п}, и0п Е О(А) и , ^ Е С 1([0,Т]; Ь2(0,Ь)), которые сходятся к и0 в Ь2(0,Ь) и к f в Ь1(0,Т; Ь2(0,Ь)) соответственно. Тогда ип — решение задачи (16), (2), (3), для правой части fn и начальных данных и0п. Очевидно, что {ип} —фундаментальная последовательность в С([0,Т]; Ь2(0,Ь)) и

||и — ип||с([0,г];Ь2(0,Ь)) ^ 0.

Это означает, что пределом последовательности {ип} является обобщенное решение и. Из оценки (23), примененной к равенству (22), легко доказать, что последовательность {ипх|х=0} фундаментальна и следовательно имеет пределом некоторую функцию ^ Е Ь2(0,Ь). Перейдя к пределу на множестве гладких функций в (22) получим необходимое равенство в общем случае. □

Следствие 1. Пусть для некоторого Т > 0 функция и Е Х0^т) является решением задачи (12), (2), (3), где и0 Е Ь2(0,Ь) . Тогда выполняется равенство

^О ([0,Т],Ь2(0,Ь)) = ||и0||Ь2(0,Ь). (24)

Доказательство. Из (19) следует, что —д^(и)иХ Е Ь1(0,Т; Ь2(0,Ь)). Из равенства

т ь т ь и

J J —gh(u)uxu(t,x)dxdt = — J ^ ^ J gh(0)0dв^ dxdt = 0, 0 0 0 0 0 и (21) следует (24). □

Из следствия 1 получаем утверждение о существовании глобального решения задачи

(12), (2), (3).

Утверждение 3. Если и0 € Ь2(0,Ь), то задача (12), (2), (3) имеет обобщенное решение в Х0(^т) для любого Т > 0 .

Далее мы устремим к ^ 0 в (12) и перейдём к первоначальной задаче (1)-(3), для успешной реализации задуманного нам потребуется оценка на производную функции и^ , такая оценка окажется следствием следующего утверждения.

Утверждение 4. Если и0 € Ь2(0,Ь), f € Ь1(0,Т; Ь2(0,Ь)) для некоторого Т > 0 и и € Х0(От) является обобщенным решением задачи (16), (2), (3), то для любого £ € (0,Т] справедливо следующее равенство

ь г ь г ь

/(1 + х)и2((^ + 311 и№ + /Лт * = /(1+ ^

0 0 0 0 0

г ь г ь

+ а // и2(т, *)<Ыт + 21 ¡(1 + х)/(т, х)и(т, *)<Ыт, (25)

0 0 0 0

где ^ из утверждения 21.

Доказательство. Сначала, как при доказательстве утверждения 2, получим равенство (25) в гладком случае после домножения уравнения (16) на 2(1 + х)и и интегрирования по области . Простыми преобразованиями получим

|Ы|ь2(ОД < С(||и0||ь2(0,ь) + ||/||ь1(0,Т;ь2(0>ь)) V* € (0,Т).

На основании данного неравенства и рассуждениями, аналогичными доказательству утверждения 2, совершим предельный переход в (25) в гладком случае и получим (25) в общем случае. □

Следствие 2. Пусть и0 € Ь2(0,Ь), тогда для обобщенного решения и € )

задачи (12), (2), (3) справедливо неравенство

||их||ь2(^т) < С(а,£,Т> ||и0||ь2(^т)). (26)

Доказательство. Из (19) следует, что — д^(и)иж € Ь1(0,Т, Ь2 (0,Ь)). Обозначим ||и0||ь2(0,ь) = С1 .В следующей оценке воспользуемся (24), (25), (15), получим

т ь ь т ь т ь

3 11и1Ш < I(1 + х)и0^х + а J У — 2 ^ J(1 + ж)д(и)иих^ж^£ <

0 0 0 0 0 0 0 ь т ь т ь И

<J(1 + ж)и0^ж + ^ У и2М; + ^ У У < (1 + Ь)С1 + |а|С^Т+

0 0 0 0 0 0

T L T L L

+ C2 f i(u4 + u2)dxdt < (1 + L)C? + |a|C2T + C2C?( f ( fu2dx)1 ( /"u^dx)1 dt + t) <

0 0 0 0 0

T L T L

< (1 + L)C2 + |a|C?T + CiC2 (C2Ci J J u2dxdt + / J uXdxdt + T) <

0 0 1 0 0

T L

C 2 с 6 г г

< (1 +L)C2 + |aic2T+с4с6 T+ 2//uXdxdt+^

00

тогда справедливо (26). □

Докажем теорему 1.

Доказательство. Из утверждения 3 следует, что для любого h > 0 существует решение uh G X0(QT) задачи (12), (2), (3). Искомое решение задачи (1), (2), (3) будем строить как предел решений. Из (26) следует, равномерная оценка по h

||uh||L2(0,T1(0,L)) < C>

из которой получаем, что равномерно по h выполнено

IK xxx ||L2(0,T;H-2(0,L)) < C. Пусть gh(uh)uhx = (gh(uh))x. Имеем

||gh(uh)uhx||L2(0,T;H-2(0,L)) < ||gh(uh)||L2(0,T;H-1(0,L)) < ||gh(uh)||L2(0,T;Li(0,L)) < T L Ы T L

< ( / (/ / |gh(0)|d0dx)2dt) 1 < c(J (у |uh|3 + K|dx)2dt)2 <

0 0 0 0 0 T L x

< C( / sup uh((/uhdx)2 + L2)dt\ 1 < CT1 (||uh||Xo(QT) + L2)||uh||xo(QT) < C.

vxe(0,L) J 7

00

Из написанных оценок и равенства (12) следует, что

||uht||L2(0,T;H-2(0,L)) < C, (27)

Из ранее полученных оценок (24), (26), (27) и в силу того, что L^(0,T; L2(0,L)) = (L1(0, T; L2(0, L)))* , получаем, что можем выделить такую подпоследовательность uhn , что

uhn ^ u *-слабо в L^(0,T; L2(0,L)), uhnx ^ ux слабо в L2(Qt), uhn ^ u сильно в L2 (Qt).

Перейдем к пределу в нелинейном члене интегрального тождества (8) при к = кп : т ь т ь

У У (УЛ (и^) — £*(и))фх^£ <УУ (и) — £*(и))фхИ^+ 0 0 0 0

т ь

+ УУ |(уЛ Ы — у;: (и))ф*|*гЛ (28) 00

Ниже используется то, что фх лежит в пространстве С([0, Т]; Ь2(0, Ь)) , это следует из того, что ф € Ь2(0,Т; Н3(0,Ь)) и фг € Ь2(0,Т; Ь2(0,Ь)). Сходимость второго слагаемого в правой части неравенства (28) следует из неравенств

т ь т ь

У У |(уЛ(ил) — уЛ(и))фж|^Ж^£ < с{ У(иЛ + и2 + 1)|и; — и||фхИж<^ < 0 0 0 0

т ь

< С||и; — и||ь2(дт) (У У(иЛ + и2 + 1)2ф^ж<^ 2 < 00

т т т

< Cl||uh - u||L2(QT)ll0x||c([o,T];L2(o,L)) ( / sup u4dt + I sup u^dt + I dt) 2 <

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

xe(o,L) J xe(o,L)

ooo

T L L T L L

< C2||Mh-«||L2(QT)||0x||c([o,T];L2(o,L)) ( / I u2dx / uXdxdt+/ I u^dx / uhxdxdt+T) 2 <

o o o o o

< C2||uh - u||L2(Qt) ||0x||C([o,T];L2(o,L)^||u||C([o,T];L2(o,L)) ||u||L2(o,T;H2(o,L)) +

1

+ ||uh||C([o,T];L2(o,L))||uh||L2(o,T;H2(o,L)) + T) 2 < < C2||Uh - U||L2(Qt)||0x||C([o,T];L2(o,L))(||U||Xo(QT) + ¡M^Qt) + T)2 ^ 0 (29)

Первое слагаемое в правой части неравенства (28) стремится к нулю по теореме Лебега, так как gh(9) ^ $(9) поточечно при любом 9 ,

M

У |gh(9) - g(9)|d9 < C(|u|3 + |u|),

o

и справедливо неравенство

T L

32

(|u|3 + |u| ) |ф |dxdt < Cl ||фх ||c([o,T];L2(o,L))||u||l2(Qt)||u||Xo(QT) <

oo

которое получается, аналогично оценке (29).

Таким образом, получаем, что и Е Ь^(0,Т; Ь2(0,Ь)) П Ь2(0,Т; Н 1(0,Ь)) и удовлетворяет интегральному тождеству (8). Докажем, что и Е Х0^т). Для этого рассмотрим линейную задачу (16), (2), (3), где f = — д(и)иХ . Покажем, что д(и)иХ Е Ь1(0,Т; Ь2(0,Ь))

||g(u)ux||L1(0,T;L2(0,L)) < C J ( J (u4 + 1)u2xd%^j 2 dt <

00 T L

< C^ sup u2^ ^dx^j 2 dt + T^dxdtj <

T L T L

1 , л л , 1,

i'x ^d^c 1 d/t + T21 I I i^x

xe(0,L)

0 0 0 0

T L L T L

1 / f \ /ff \ 12 ' ' I rr1 ( ! I „.2,- ' ^ 2

< C( / ( / u2dx) 1 ( /* u2xdx^dt + T2 ( / f ^dxdt) 2) <

0 0 0 0 0

< C(||u||LTO(0,T;L2(0,L)) + ||ux||L2(Qt)) OM^QT) + T^ < ^

Тогда из [6, Theorem 6.4] следует, что такая линейная задача будет иметь единственное решение в пространстве L(0, T; L2(0,L)) П L2(0,T; H 1(0,L)). Из [4, Lemma 4.3] получим, что рассмотренная линейная задача будет иметь решение в X0(Qt). □

Докажем теорему 2.

Доказательство. Рассмотрим решение задачи (1)-(3), которая совпадает с задачей (16), (2), (3), в случае f = —g(u)ux . Тогда можем воспользоваться (25) и получим

L t L t L

/(1 + ^ + 311 + / ,, * = /(1+ «+

0 0 0 0 0

t L t L

+ af j u2(T,x)dxdr — J(1 + x)g(u)uuxdxdt. 0 0 0 0 Очевидно, что все члены этого равенства абсолютно непрерывны по t. Из того, что

L L u

— J(1 + x)g(u)uuxdx = J J g(9)9d9dx 0 0 0 получим, что справедлива оценка для п. в. t

L L L L u

— (1 + x)u2(t, x)dx + 3 u2xdx < a' (1 + x)u2(t, x)dx + 2 g(0)0d0dx <

0 0 0 0

L L

< a' I (1+ x)u2(t, x)dx + 2C I + y) dx. (30

4 2

Преобразуем (30), воспользовавшись следующим неравенством из [8]:

||и||ьто(0,ь) < — ||их||ь2(0,ь).

Получим

ь ь ь й ( [ \ Г СЬ2 СЬ Г

— (1+х)и2(£, + (3—А+А------^— ||и(£, ■)||ь2(0,ь))иХйх < а' (1+х)и2(£,

0 0 0 Из условия (9) и соотношения (24) получим

ь ь ь

— ( (1 + х)и2(£,+ (3 — < а1 (1 + х)и2(¿,

Воспользуемся неравенством Стеклова

||u||L2(0,L) < L ||ux ||L2(0,L), П

получим

^ ( /(1 + x)u2(t, x)dr) < ( - — + a') I+ x)u2dx

dtW " ^ ' ^ ;-v L2(1 + L)

00

Далее, из условия (10) очевидными рассуждениями получаем (11). □

Список литературы

[1] L. Rosier, B.-Y. Zhang, "Global stabilization of the generalized Korteweg-de Vries qquation posed on a finite domain", SIAM J. Control and Optimization, 45:3 (2006), 927-956.

[2] G. Perla Menzala, C. F. Vasconcellos, E. Zuazua, "Stabilization of the Korteweg-de Vries equation with localized damping", Quarterly of Applied Mathematics, 60:1 (2002), 111-129.

[3] F. Linares, A. F. Pazoto, "On the exponential decay of the critical generalized Korteweg-de Vries equation with localized damping", Proceedings of the American Mathematical Society, 135:5 (2007), 1515-1522.

[4] A. V. Faminskii, N. A. Larkin, "Odd-order quasilinear evolution equations posed on a bounded interval", Bol. Soc. Paranaense Mat., 28:1 (2010), 67-77.

[5] A. V. Faminskii, A. Nikolayev, "On stationary solutions of KdV and mKdV equations", Differential and Difference Equations with Applications, 164 (2016), 63-70.

[6] A. V. Faminskii, "Weak solutions to initial-boundary-value problems for quasilinear evolution equations of an odd order", Advances in Differential Equations, 17:5-6 (2012), 421-470.

[7] A. Pazy, Applied Mathematical Sciences. V. 44, Springer-Verlag, New York, Heidelberg, Tokyo, 1983.

[8] Y. Kametaka, H. Yamagishi, K. Watanabe, A. Nagai, K. Takemura, "The best constant of Sobolev inequality corresponding to Dirichlet boundary value problem for (—1)M(d/dx)2M ", Sciential Mathematical Japanical Online, 2008, 439-451.

References

[1] L. Rosier, B.-Y. Zhang, "Global stabilization of the generalized Korteweg-de Vries qquation posed on a finite domain", SIAM J. Control and Optimization, 45:3 (2006), 927-956.

[2] G. Perla Menzala, C. F. Vasconcellos, E. Zuazua, "Stabilization of the Korteweg-de Vries equation with localized damping", Quarterly of Applied Mathematics, 60:1 (2002), 111-129.

[3] F. Linares, A. F. Pazoto, "On the exponential decay of the critical generalized Korteweg-de Vries equation with localized damping", Proceedings of the American Mathematical Society, 135:5 (2007), 1515-1522.

[4] A. V. Faminskii, N. A. Larkin, "Odd-order quasilinear evolution equations posed on a bounded interval", Bol. Soc. Paranaense Mat., 28:1 (2010), 67-77.

[5] A. V. Faminskii, A. Nikolayev, "On stationary solutions of KdV and mKdV equations", Differential and Difference Equations with Applications, 164 (2016), 63-70.

[6] A. V. Faminskii, "Weak solutions to initial-boundary-value problems for quasilinear evolution equations of an odd order", Advances in Differential Equations, 17:5-6 (2012), 421-470.

[7] A. Pazy, Applied Mathematical Sciences. V. 44, Springer-Verlag, New York, Heidelberg, Tokyo, 1983.

[8] Y. Kametaka, H. Yamagishi, K. Watanabe, A. Nagai, K. Takemura, "The best constant of Sobolev inequality corresponding to Dirichlet boundary value problem for (—1)M(d/dx)2M ", Sciential Mathematical Japanical Online, 2008, 439-451.

Информация об авторе

Николаев Артем Александрович, аспирант, кафедра нелинейного анализа и оптимизации. Российский университет дружбы народов, г. Москва, Российская Федерация. E-mail: nicepeopleproject@gmail.com ORCID: https://orcid.org/0000-0003-4561-8990

Поступила в редакцию 10.01.2019 г.

Поступила после рецензирования 11.02.2019 г.

Принята к публикации 14.03.2019 г.

Information about the author

Artyom A. Nikolayev, PostGraduate Student, Nonlinear Analysis and Optimization Department. RUDN University, Moscow, the Russian Federation. E-mail: nicepeopleproject@gmail.com ORCID: https://orcid.org/0000-0003-4561-8990

Received 10 January 2019 Reviewed 11 February 2019 Accepted for press 14 March 2019

i Надоели баннеры? Вы всегда можете отключить рекламу.