УДК 517.711.3
ОБОБЩЕННАЯ ЛИНЕАРИЗОВАННАЯ МОДЕЛЬ ТЕРМОКОНВЕКЦИИ НЕСЖИМАЕМОЙ ВЯЗКОУПРУГОЙ ЖИДКОСТИ НЕНУЛЕВОГО ПОРЯДКА
Т.Г. Сукачева
Рассматривается обобщенная линеаризованная модель термоконвекции несжимаемой вязкоупругой жидкости ненулевого порядка. В рамках теории полулинейных неавтономных уравнений соболевского типа доказана теорема существования единственного решения задачи Коши-Дирихле для соответствующей системы уравнений Осколкова и получено описание расширенного фазового пространства указанной задачи.
Ключевые слова: уравнение соболевского типа, несжимаемая вязкоупругая жидкость, модели Осколкова, расширенное фазовое пространство.
Введение
Система уравнений
М Пт — 1
(1 - АУ2^ = иУ\ - (V ■ У)у - (V ■ У)у + ^ ^ Ат,яV'
m= 1 q=0
91® — Р + Ї, 0 = У(V ■ V),
д^7’° = V + amwm)o , ат Є К—, т = 1, М,
я ді д w,
wm’q —
(1)
m’q
qWm’P—l + amW,
m ,
q =1, П7 - 1,
, 94 = кУ 9 - V ■ V® + V ■ 7
получена на основе линеаризованной системы Осколкова ненулевого порядка [1, 2] и приближенного уравнения теплопроводности, моделирующего термоконвекцию несжимаемой вязкоупругой жидкости. Она моделирует эволюцию скорости V = (VI, . . . , Уп), Vi = ^г(ж,£), градиента давления р = (р1,...,рп), Pi = рДж^) и температуры в = в(ж,£) несжимаемой вязкоупругой жидкости Кельвина - Фойгта высшего порядка К (К = щ + ... + пм ) [1, 3]. Параметры Л € М, V € М+ и к € М+ характеризуют упругость, вязкость и теплопроводность жидкости соответственно; д € М+ — ускорение свободного падения; 7 = (0,..., 0,1) — орт в Мп. Параметры Ат,д € М+, определяют время ретардации (запаздывания) давления. Свободный член £ = (/1,..., /п), fi = /¿(ж, ¿) отвечает внешнему воздействию на жидкость, а вектор-функция V = (VI,...,^), % = Vk(ж) соответствует стационарному решению исходной системы [1, 2]. В [4] содержится обоснование линеаризованной модели несжимаемой вязкоупругой жидкости Кельвина - Фойгта нулевого порядка.
Рассмотрим разрешимость первой начально - краевой задачи
v(ж, 0) = v0(ж),
v(ж, ¿) = 0, т = 1, М,
(ж, 0) = Wm)q(ж), 0(ж, 0) = 0°(ж),
wтл(ж, ¿) = 0, 0(ж, ¿) = 0,
Уж Є П;
У(ж, ¿) Є дП х М+ (2)
д = 0, П7 - 1
для системы (1). Здесь Q С Rn — ограниченная область с границей дQ класса C.
Впервые задачу термоконвекции для несжимаемых вязкоупругих жидкостей Кельвина
- Фойгта поставил А.П. Осколков [5]. Им же была исследована разрешимость задачи (2) для соответствующей нелинейной модели нулевого порядка в случае Л-1 > —Ai ( Ai - наименьшее собственное значение задачи Дирихле для оператора Лапласа в области Q)[6]. Первая начально-краевая задача для этой модели рассматривалась в [4, 7], а для ее модификации на случай плоско-параллельного течения в [8]. В этих работах изучалась ситуация, когда свободный член f не зависит от времени, а в [9] — указанная неавтономная задача. Нестационарная линеаризованная модель нулевого порядка изучалась в [10], а ее обобщение в
[11].
Нашей целью является изучение разрешимости задачи (1), (2) при нестационарном свободном члене f = f(x,t). Эту задачу мы исследуем в рамках теории полулинейных неавтономных уравнений соболевского типа. Основным инстументом исследования является понятие относительно р-секториального оператора и порожденной им разрешающей вырожденной полугруппы операторов. Доказана теорема существования единственного решения указанной задачи, и получено описание ее расширенного фазового пространства. Статья состоит из трех частей. В первой части приводятся известные результаты из теории полулинейных уравнений соболевского типа, необходимые нам в дальнейшем [4, 9, 12]. Во второй части проводится редукция задачи (1), (2) к полулинейному неавтономному уравнению соболевского типа. В третьей части устанавливается существование квазистационарных полутраекторий указанной задачи и описывается ее расширенное фазовое пространство. В данной работе получены результаты, обобщающие результаты для линеаризованных моделей Осколкова меньшего порядка, полученные автором ранее в [13, 14].
1. Полулинейные неавтономные уравнения соболевского типа
Пусть U и F — банаховы пространства, оператор L £ L(U; F), т.е. линеен и непрерывен, ker L = {0}; оператор M : domM ^ F линеен, замкнут и плотно определен в U, т.е.
M £ Cl(U; F). Через Um обозначим линеал dom M, снабженный нормой графика ||| ■ ||| = IM ■ ||f + II ' Ни. Пусть оператор F £ Crx'(UM; F), функция f £ Cте(М+; F).
Рассмотрим задачу Коши
u(0) = u0 (3)
для полулинейного нестационарного уравнения соболевского типа
LU = Mu + F (u) + f (t). (4)
Определение 1. Локальным решением (далее просто —решением) задачи (3), (4) назовем вектор-функцию u £ C^((0,T); Um), удовлетворяющую уравнению (4) и такую, что u(t) ^ Uo при t ^ 0 + .
Введем в рассмотрение L-резольвентное множество pL(M) = {ß £ C : (ßL — M)-1 £ L(F; U)} и L-спектр aL(M) = C \ pL(M) оператора M.
Определение 2. Оператор M называется (L,р)-секториальным, если существуют кон-
П
станты a £ R, k £ R+, 0 £ ( — , п) такие, что
(i) SL;„(M) = {ß £ C : | arg(ß — a)| < 0 , ß = a } С pL(M);
k
(ii) max{ Н R(M,p)(M) HL(U), н L^ß,p)(M) IIl(F) } - n%lß« — a| при любых ß, ß0, ßi, ... , ßp £ Б( a(M).
Здесь R(p)(M) = np=0RLq(M), L(p)(M) = Пр=0Ь^д(M) соответственно правая и левая ^,р)-резольвенты оператора M, R((M) = (ßL — M)-1L, L((M) = L(ßL — M)-1 [12].
Определение 3. Оператор M называется сильно (L, p)-секториальным, если он (L,p)-секториален и при всех ß, ß0,..., ßp £ S@ a(M)
(i) B MRf„ ,p)(M) (ßL - M )-1/Bf < | ß — oCrÜ;!0^ — a |
при всех f из некоторого плотного в F линеала;
.... ... ( / т, л-\ I I Const
(ii) II ( ßL - M ) L(M,p)(M) ||£(F; u) < |ß - a| J-JJ,=0 |ßq - a| .
Замечание 1. Если p = 0, то (L,p)- и сильно ^,р)-секториальный оператор M называется соответственно L- и сильно L-секториальным [4].
Будем рассматривать задачу (3), (4) в предположении, что оператор M сильно (L,p)-секториален. При условии сильной (L, р)-секториальности оператора M решение задачи (3),
(4) может быть неединственным, что показывает пример, приведенный в [15]. Поэтому сузим понятие решения уравнения (4). Также известно [16 - 18], что решения задачи (3), (4) существуют не для всех uo £ Um. Поэтому введем два определения.
Определение 4. Множество B1 С Um х R+ назовем, расширенным фазовым пространством уравнения (4), если для любой точки uo £ Um такой, что (uo, 0) £ B0 существует единственное решение задачи (3), (4), причем (u(t),t) £ B*.
Замечание 2. Если B = B х R + , где B С Um , то множество B называется фазовым пространством уравнения (4). Ранее вместо термина «расширенное фазовое пространство> использовался термин «конфигурационное пространство> [9], что вносило некоторую путаницу в терминологию [13, 14].
Определение 5. Пусть пространство U расщепляется в прямую сумму U = U0 ® Ui так, чтобы ker L С U0. Решение u = v + w, где v(t) £ U0 , а w(t) £ Ui при всех t £ (0,T), уравнения (4) назовем квазистационарной полутраекторией, если LV = 0.
Замечание 3. Понятие квазистационарной полутраектории обобщает понятие квазистационарной траектории, введенное для динамического случая [15, 17, 18].
В силу того, что оператор M сильно ^,р)-секториален, пространства U и F расщепляются в прямые суммы U = U0 ®U1, F = F0 ® F1 [12], где
U0 = (р £ U : UV = 0 at £ R+}, F0 = £ F : F^ = 0 3t £ R+} -
ядра, а
U1 = (u £ U : lim U*u = u}, F1 = (f £ F : lim Ff = f} -
L t^0+ u t^0+ J J J
образы аналитических разрешающих полугрупп
U ‘ = ¿i / R( (M )Л"' F‘ = ¿i /r L((M )Л"'
(Г С a(M) — контур такой, что argß ^ ±0 при |ß| ^ +ro) линейного однородного
уравнения Lut = Mu.
Обозначим через Lk(Mk) сужение оператора L(M) на Uk (UkПdomM), k = 0, 1. Тогда Lk : Uk ^ Fk, Mfc : Uk П dom M ^ Fk, k = 0, 1, причем сужения Mo и Li операторов M и L на пространства U0 П dom M и U1 соответственно являются линейными непрерывными операторами и имеют ограниченные обратные операторы. Эти утверждения следуют из соответствующих результатов [12]. Поэтому приведем уравнение (4) к эквивалентной форме
Ru° = u° + G(u) + g(t) u°(0) = u°,
(5)
U1 = Su1 + H (и) + h(t) u1(0) = u°,
где uk Є Uk, k = 0,1, u = u° + u1, операторы R = M(-1L°, S = L-1M1, G = M(-1(I — Q)F, H = L-^QF, g = M°“1(I — Q)f, h = L-1 Qf. Здесь Q Є L(F )(= L(F; F)) —проектор, расщепляющий пространство F требуемым образом.
Определение 6. Систему уравнений (5) назовем нормальной формой уравнения (4).
Замечание 4. В случае, когда оператор M сильно L-секториален, нормальная форма уравнения (4) (в случае f (t) = 0) имеет вид (5.1) в [8].
В дальнейшем ограничимся изучением таких квазистационарных полутраекторий уравнения (4), для которых Ru° = 0. Для этого предположим, что оператор R — бирасщепляющий [19], т.е. его ядро ker R и образ im R дополняемы в пространстве U. Положим U°° = ker R, а через U° 1 = U° 0 U°° обозначим некоторое дополнение к подпространству U°°. Тогда первое уравнение нормальной формы (5) редуцируется к виду
RU01 = и00 + и01 + G(u) + g(t), (6)
где и = и00 + U01 + U1.
Теорема 1. Пусть оператор M сильно (L, p)-секториален, а оператор R — бирасщепляющий. Пусть существует квазистационарная полутраектория u = u(t) уравнения (4). Тогда она удовлетворяет соотношениям
0 = u00 + u01 + G(u) + g(t), u01 = const. (7)
Доказательство. Первое соотношение вытекает из (6) в силу требования квазистационарности Ru0 = Ru01 = 0. Второе соотношение вытекает из тождества Ru01 = 0, так как по теореме Банаха об обратном операторе сужение оператора QrR(I — Pr) на U01 есть непрерывно обратимый оператор. Здесь Qr и Pr — проекторы на im R и ker R соответственно, ker Pr = U01. □
Замечание 5. Второе соотношение в (7) поясняет смысл термина «квазистацинарные полутраектории>, т.е. это такие полутраектории, которые «стационарны по некоторым переменными Другими словами, квазистационарная полутраектория обязательно лежит в некоторой плоскости (I — Pr)u0 = const.
Теорема 1 устанавливает необходимые условия существования квазистационарной полутраектории уравнения (4). Перейдем к рассмотрению достаточных условий. Известно, что при условии сильной (Ь,р)-секториальности оператора M оператор S секториален [12]. Значит, он порождает на U1 аналитическую полугруппу, которую мы обозначим через {U : t > 0}, так как в действительности оператор U* есть сужение оператора U на U1. Из того, что U = U0 ®U1 следует, что существует проектор Р Є L(U), соответствующий
данному расщеплению. Можно показать, что Р £ £(Ым) [12]. Тогда пространство Ым расщепляется в прямую сумму Ым = Ы0^ ® Ы^ так, что вложение Ы^ С Ык, к = 0, 1, плотно и непрерывно. Символом А обозначена производная Фреше в точке V £ V оператора А, определенного на некотором банаховом пространстве V.
Теорема 2. Пусть оператор М сильно (Ь,р)-секториален, оператор К — бирасщепляющий, оператор ^ £ С^(Ым; Т), а вектор-функция / £ Сте(М+; Т). Пусть
(I) в некоторой окрестности Оио С Ым точки ио выполнено соотношение
0 = и01 +(1 — Рд)(С(и00 + и01 + и1) + д(£)); (8)
(II) проектор Рд £ £(Ы^), и оператор I + РдС^о : Ы]0 ^ Ы00 — топлинейный изоморфизм (Ы00 = Ым ПЫ00); 0
(III) для аналитической полугруппы {и* : £ > 0} выполнено соотношение
I Н^НдмьММ)^< УТ £ М+. (9)
Тогда существует единственное решение задачи (3), (4), являющееся квазистационар-ной полутраекторией уравнения (4).
Доказательство. Рассмотрим окрестность Оио точки ад. В этой окрестности первое уравнение (5) приобретет вид
0 = и00 + Рд (С(и00 + и]1 + и1) + д(£)) (10)
в силу условия (1). Далее, из (1) в силу теоремы о неявной функции существуют окрестности
Ощ0о С Ы00, (Ы00 = Ы00 П Ым) Оад0 С Ы^ (Ы^ = Ы1 П Ым) точек и00 = Рд(1 - Р)ад, и£ соответственно и отображение 5 : Ои1 ^ Оиоо класса Стакое, что уравнение
и00 = 5(и1,£) (11)
эквивалентно уравнению (10).
Теперь в силу (11) второе уравнение (5) в окрестности Ои1 приобретет вид
и1 = 5-и1 + Н (5(и1) + и01 + и1) + Н(£), (12)
где оператор Н((I + 5)(-) + и001) : Ои1 ^ Ы1 принадлежит классу Спо построению.
Для доказательства однозначной разрешимости задачи и1(0) = и0 для уравнения (12) воспользуемся методом Соболевского-Танабэ, изложенным в [20, глава 9]. В силу (ш), гладкости оператора Н и вектор-функции Н все условия теорем 9.4, 9.6 и 9.7 в [20] выполнены. Поэтому если и1 £ Ы^, то при некотором Т £ М+ существует единственное решение и1 = и1^), £ £ [0, Т) уравнения (12) такое, что и1^) ^ и^ при £ ^ 0+ в топологии Ы^.
Итак, решение задачи (3), (4) в данном случае будет иметь вид и = и1 + 5(и1) + и01, и это решение будет квазистационарной полутраекторией по построению. □
Замечание 6. Для любой квазистационарной полутраектории уравнения (4) соотношение (8) непосредственно вытекает из первого уравнения (7).
Замечание 7. Условие (9) для обычных аналитических полугрупп, имеющих оценку 11^1 \\с(и 1;ы\[) < ¿-1с°п^, не выполняется. В дальнейшем мы собираемся использовать теорему 2 именно в такой ситуации, и потому необходимо сделать некоторые пояснения. Пусть
Ц, = [и1;]а, а Є [0,1] — некоторое интерполяционное пространство, построенное по оператору 5. В теореме 2 условие «оператор ^ Є С; Т), вектор-функция f Є Сте(М+; Т)> дополним условием «оператор Н Є С'^(Ц^;и«), ^ Є Сте(М+;),> а соотношение (9) заменим соотношением
!о Ни'1Н^(и 1;иа)^< Ут Є М+. (13)
Тогда утверждение теоремы 2 не изменится. Обсуждение этого круга вопросов см. в [20, глава 9 ].
Замечание 8. Пусть выполнены условия теоремы 2 (возможно, с учетом замечания 7). Построим плоскость А = {и Є Цм : (I — Рк)(1 — Р)и = и01} и множество М = {и Є Цм : Ря((1 — Р)и + ^(и) + $(£)) = 0}. По условию теоремы их пересечение АПМ = 0, так как содержит по крайней мере точку ио. Более того, существует Сте-диффеоморфизм I + ¿, отображающий окрестность на некоторую окрестность Оио С АПМ. Следовательно, в качестве начального значения можно брать не только точку ио, но и любую из некоторой ее окрестности Оио. Это значит, что Оио является частью расширенного фазового пространства В1 уравнения (4).
Теперь пусть Ц и Тк — банаховы пространства, операторы Ак Є С(Цк, Тк), а операторы Вк : ёош В. — Т линейны и замкнуты с областями определений ёош В. плотными в
Цк, к = 1, 2. Построим пространства Ц = Ц, х Ц2, Т = Ті х Т2 и операторы Ь = А, 0 А2, М = В, 0 В2. По построению оператор Ь Є £(Ц; Т), а оператор М : ёош М — Т
линеен, замкнут и плотно определен, ёош М = ёош В, х ёошВ2.
Теорема 3. [21] Пусть операторы Вк сильно (Ак,Рк)-секториальны, к = 1, 2; причем
Рі > Р2. Тогда оператор М сильно (Ь,р,)-секториален.
2. Редукция к уравнению соболевского типа
Для того, чтобы редуцировать задачу (1), (2) к задаче (3), (4) введем, следуя [22], [23], пространства Н^, НП, Н2 и Нп. Здесь Н^ и Н2 — подпростанства соленоидальных функций
О
в пространствах (^|(О))п П (^^(О))” и (Ь2(О))п соответственно, а НП и Нп — их ортогональные (в смысле (Ь2(О))п) дополнения. Через X обозначим ортопроектор на На, причем
О
его сужение на пространство (Ж^ (О)) П (^^(О))” будем обозначать тем же символом. Положим П = I — X.
Формулой А = У2Еп : Н^ ® НП — Н2 ф Нп, где Еп — единичная матрица порядка п, зададим линейный непрерывный оператор с дискретным конечнократным спектром ст(А) С М, сгущающимся лишь на —то. Формулой В : V — У(У- V) зададим линейный непрерывный сюръективный оператор В : Н^ ф нП —— Нп с ядром кег В = Н^.
О
Положим Ц,0 = И х НП х Нр , Т,0 = Н2 х Нп х Нр, где Нр = Нп ; Цц = Н2 П И =
Н2 х НП , и Тн = Ь2 = Нст х Нп, і = 1, К. Тогда пространства Ц, = ФгК=0 Ц, , Т, = ФгК=0 Т^.
Оператор А, : Ц, — Т, определим формулой А, = diag [А, , Ек] , где
А = ( А, О \ А = ( Х(1 — ЛА)Х ХА(1 — АА)П \
Al V О О ) , Al V п(і — ла)х па(і — ЛА)П / ;
Оператор В, : Ц, — Т, положим равным оператору М (см. формулу (14) в [23]).
Замечание 9. Пространства Ц, и Т, определяются точно также, как пространства Ц и Т в модели [23]. Оператор А, определяется точно так же, как оператор Ь в [23].
Замечание 10. Обозначим через А2 сужение оператора XA на И2. По теореме Солонникова-Воровича-Юдовича спектр ct(A2) вещественен, дискретен, конечнократен и сгущается лишь на —то.
Теорема 4. (i) Операторы Ai, B1 є L(Ui; Fi), и, если A-1 Є 0"(A), то оператор Ai —
бирасщепляющий, ker A1 = {0} x {0} x Ир x {0} x ... x {0}, im A1 = И2 x Hn x {0} x F11 x
^ o
K
F12 x ... x F1K •
(ii) Если A-1 Є ct(A) U ct(A2), то оператор B1 (A1,1)-ограничен•
Замечание 11. Доказательство теоремы 4 приведено в [9], только в другой терминологии. Впервые понятие относительно ограниченного оператора введенно в [24]. Случай относительно секториального оператора рассматривался в [8, 25, 26].
Далее положим U2 = F2 = ¿2(ü) и формулой B2 = kV2 : domB2 ^ F2 определим
О
линейный замкнутый и плотно определенный оператор B2, domB2 = W|(Q) П W^O). Если оператор A2 положить равным /, то в силу секториальности оператора B2 [27, гл. 1] справедлива
Теорема 5. Оператор B2 сильно A2-секториален.
Положим U = U1 x U2, F = F1 x F2. Вектор u пространства U имеет вид u = col (u2, ад ,up,w1,..., wk ,u^), где col (u2, un ,up,w1,...,WK) Є U1, а ад Є U2. Здесь u2 = Xv , un = (I — X)v = nv , up = p. Аналогичный вид имеет вектор f Є F. Операторы L и M определим формулами L = A1 0 A2 и M = B1 0 B2. Оператор L Є L(U; F), а оператор M : dom M ^ F линеен, замкнут и плотно определен, dom M = U1 x dom B2.
Из теоремы 4 и замечания 2.1.1 [4] следует, что оператор B1 сильно (A1,1)-секториален. В силу этого и теорем 3, 5 справедлива
Теорема 6. Пусть A-1 Є ct(A), тогда оператор M сильно (L, 1)-секториален.
Перейдем к построению нелинейного оператора F. В данном случае его удобно представить в виде F = F 0 F2, где F1 = F\(u2, ад, ад) = col (—Х(((ад + ад) ■ V)(uCT + ад) — ((ад + un) ■ V)(uct + ад)+ #7ад), —П(((ад + ад) ■ V)(uCT + ад) — ((ад + ад) ■ V)(uCT + ад)+ g7u^), 0,..., 0),
к+1
а F2 = F2(uCT, un, ад) = (ад + un) ■ (y — Vu»).
Далее, в нашем случае пространство Um = U1 xdom B2 (в силу непрерывности оператора B1 ). Используя стандартную технику (см., например, [17, 18]), нетрудно показать, что при любых u Є Um оператор F^ Є L(Um; F). Аналогично устанавливается, что вторая производная Фреше F^ оператора F — непрерывный билинейный оператор из Um x Um в
F, а F^ = O. Таким образом, справедлива
Теорема 7. Оператор F Є C^(Um ; F).
Вектор-функцию f представим в виде f = f 0 f2, где f1 = col(Xf, nf, 0,. „ , 0), f2 = 0.
K+1
Будем предполагать, что f Є Cте(М+; F). Итак, редукция задачи (1), (2) к задаче (3), (4) закончена. В дальнейшем всюду отождествляем задачи (1), (2) и (3), (4).
3. Расширенное фазовое пространство и квазистационарные полутраектории
Теперь перейдем к проверке выполнения условий теорем 1 и 2.
В силу теоремы 6 и соответствующих результатов [12] существует аналитическая полугруппа {и* : і Є К+} разрешающих операторов уравнения (4), которую в данном случае естественно представить в виде и* = V*® Ш*, где *) — сужение оператора и* на и^^).
Поскольку оператор В2 секториален, то Ш* = ехр(іВ2), что влечет за собой ^° = {0} и ^1 = ^2.
Рассмотрим полугруппу {V* : і Є К+}. В силу теорем 4 и 6 и цитируемой монографии
[12] данная полугруппа продолжима до группы {V* : і Є К}. Ее ядро V0 = и00 ф^1 где и00 = {0} х {0} х Нр х {0} х ... х {0}(= кег А1 по теореме 5), а и^ = ЕА^А^НЛ] х Н х {0} х ... х {0} . Здесь Ад = I — АА, Адп — сужение оператора ПА-1на Нп. Известно , что
' К+1 "
если А-1 Є СТ(А) и ст(Аст), то оператор Адп : Нп — Н^ — топлинейный изоморфизм (см., например, [9]). Обозначим через и^ образ V1. Тогда пространство и разлагается в прямую сумму подпространств: и = и°° ®и101 фи/.
Построим оператор К = В^Аю Є £(и00 фи01), где Аю(Вю) — сужение оператора А1(В1) на и*0 фи01. (Оператор В--,1 существует в силу теоремы 6 и соответствующих результатов [12]). По построению кег К = и00, а в [22] показано, что ітК = и00. Значит, оператор К — бирасщепляющий. Обозначим через Рд проектор пространства и00 ф и01 на и00 вдоль и01. В силу конструкции пространства им проектор Рд Є £(и^), где У^м = им П (и™ фи01)(= и00 фи01). Зафиксируем это в следующем утверждении.
Лемма 1. Пусть А-1 Є СТ(А) и ст(Аст). Тогда оператор К — бирасщепляющий, причем Рд Є £(и^).
Введем в рассмотрение проекторы Р&, ^, к = 0, 1, определенные формулами (17),
(18) в [23]. Из результатов [23] и в силу того, что ядро ^0 = {0}, следует, что I — Р = (Р0 + Р1) х О, Q = (I — О) — ^1) х I, Р : и —— и1, Q : Т — Т1. Применяя проектор
I — Р к уравнению (4) в данной транскрипции, получаем
П(^А(иа + ) ((иа + ) ' ^)(иа + ) ((иа + ) ' ^)(и^а + ’п) +
М гат-1
^ ^ Ат,дV2Wm,q — ’р — £7М0 + /(І)) = 0, (14)
т=1 д=0
Вип = 0.
Отсюда, в силу теоремы 1 и свойств оператора В, получаем необходимое условие квазистационарности полутраектории ип = 0. Другими словами, все решения нашей задачи (если они существуют) с необходимостью должны лежать в плоскости В = {и Є им : ип = 0}. А так как Пир = ир, то из первого уравнения (14) получаем соотношение (7) в нашей транскрипции
М гат-1
ир = П(^Аист — ((йст + ’п) ^)ист — (ист ^)(ист + ’п) + ЕЕ Ат,^^т,д — #7^ + /(і)). (15)
т=1 д=0
Очевидно, Р0 = Рд, поэтому второе уравнение (14) есть соотношение (8) применительно к нашей ситуации. Итак, справедлива
Лемма 2. В условиях леммы 1 любое решение задачи (3), (4) лежит во множестве А* = {(и, і) : и Є им, і Є К + , ип = 0, ир = П(^Аист — ((йст + ип) ^)ист — (ист ^)(йст + ип)+
М Пт-1
ЕЕ Ат,д V2Wm,q — £7ОД) + /п (і)}.
т=1 д=0
Замечание 12. Из (15) сразу следует условие (іі) теоремы 2 для любой точки и[] Є и™(= и™ х {0}). Поэтому ввиду замечания 8 множество А* — простое банахово многообразие -диффеоморфное подпространству и11 х и2 — является кандидатом на роль расширенного фазового пространства задачи (1), (2).
°
Приступим к проверке условий (9) и (13). Построим пространство иа = и1 х Ш^О). Данное пространство, очевидно, будет интерполяционным пространством для пары [и,им]а, причем а = 1/2. Как отмечено выше, полугруппа {и* : і Є К+} продолжается до группы {V/ : і Є К} на и^, где V/ — сужение оператора V* на и/. Поскольку и^ = им П и/ (по построению) и оператор В1 непрерывен (теорема 4 ), то в силу равномерной ограниченности полугруппы {и* : і Є К+} имеем
£(Мх;ММ)Йі - СОП^11В1 ІІ£(Мі;.Ті) ^ И*? ІІДМ1)^ < Ут Є К+. (16)
Далее, в силу неравенства Соболева [20, гл.9] полугруппа {Ш* : і Є К+} удовлетворяет оценке
/ ||Ш◦ ^і < то. (17)
,/0 £(асшВ2; ^(П))
Положим иа = иа П и1, где и1 = и/ х и2. Тогда из (16) и (17) вытекает
Лемма 3. В условиях леммы 1 выполняется соотношение (9).
И наконец, выполняя требование (13), найдем оператор Н и вектор-функцию Л. Оператор Н естественно представить в виде Н = Н1 х Н2 , где Н1 = А-^! — 00 — 01)Р , а Н2 = Р (Ац — сужение оператора А1 на и/). Включение Н Є С^(и^;иО), показывается аналогично тому, как было показано включение Р Є С^(им; Т). Вектор-функцию Л(і) определим как Л = А-1 (I — 00 — О1)/. Определение операторов 00 и 01 см. в [23]. В силу бесконечной гладкости /Л Є Сте(К+; иО).
Таким образом, все условия теоремы 2 выполнены. Поэтому справедлива
Теорема 8. Пусть А-1 Є СТ(А) и ст(Аст). Тогда при любом, и0 Є А0 и некотором Т Є К+ существует единственное решение и(і) Є Сте((0, Т); им) задачи (1), (2), являющееся квазистационарной полутраекторией
Работа выполнена при поддержке АВЦП Развитие научного потенциала высшей школы (2009 - 2011 годы), проект № 2.1.1/2301.
Автор выражает глубокую благодарность профессору Г.А.Свиридюку за постоянное внимание и интерес к данным исследованиям.
Литература
1. Осколков, А.П. Начально-краевые задачи для уравнений движения жидкостей Кельвина-Фойгта и жидкостей Олдройта / А.П.Осколков // Труды матем. ин-та АН СССР. - 1988. - №179. - С. 126 - 164.
2. Осколков, А.П. Нелокальные проблемы для одного класса нелинейных операторных уравнений, возникающих в теории уравнений типа С.Л.Соболева / А.П.Осколков // Записки научн. семин. ЛОМИ. - 1991. - Т. 198. - С. 31 - 48.
I 11^ 0
3. Каразеева, Н.А. Об аттракторах и динамических системах, порождаемых начальнокраевыми задачами для уравнений движения линейных вязкоупругих жидкостей / Н.А.Каразеева, А.А.Котсиолис, А.П.Осколков. - Ленинград, 1988. - 58 с. - (Препринт ЛОМИ им. В.А.Стеклова. - Р. 10 - 88).
4. Свиридюк, Г.А. К общей теории полугрупп операторов / Г.А.Свиридюк // Успехи ма-тем. наук. - 1994. - Т. 49, №4. - С. 47 - 74.
5. Осколков, А.П. О некоторых нестационарных линейных и квазилинейных системах, встречающихся при изучении движения вязких жидкостей / А.П.Осколков // Зап. науч. семинара ЛОМИ АН СССР. - 1976. - Т. 59. - С. 133 - 177.
6. Осколков, А.П. К теории жидкостей Фойгта / А.П.Осколков // Зап. науч. семинара ЛОМИ. - 1980. - Т. 96. - С. 233 - 236.
7. Свиридюк, Г.А. Разрешимость задачи термоконвекции вязкоупругой несжимаемой жидкости / Г.А.Свиридюк // Изв. вузов. Матем. - 1990. - № 12. - С. 65 - 70.
8. Свиридюк, Г.А. Фазовые пространства полулинейных уравнений типа Соболева с относительно сильно секториальным оператором / Г.А.Свиридюк // Алгебра и анализ. -1994. - Т. 6, №5. - С. 216 - 237.
9. Сукачева, Т.Г. Исследование математических моделей несжимаемых вязкоупругих жидкостей: дис. ... д-ра физ.-мат. наук / Т.Г. Сукачева; НовГУ. - Новгород, 2004. -249 с.
10. Сукачева, Т.Г. Нестационарная линеаризованная модель движения несжимаемой вязкоупругой жидкости / Т. Г. Сукачева // Вестн. Челяб. гос. ун-та. Сер. Математика. Механика. Информатика. - 2009. - №20 (158), вып. 11. - С. 77 — 83.
11. Сукачева, Т.Г. Нестационарная линеаризованная модель движения несжимаемой вязкоупругой жидкости высокого порядка / Т.Г. Сукачева // Вестн. ЮУрГУ, серия «Математическое моделирование и программированием - 2009. - № 17 (150), вып. 3. - С. 86 — 93.
12. Sviridyuk, G.A. Sobolev type équations and degenerate semigroups of operators /
G.A. Sviridyuk, V.E Fedorov. - Utrecht; Boston; Köln; Tokyo: VSP, 2003. - 179 p.
13. Сукачева, Т.Г. Задача термоконвекции для линеаризованной модели движения несжимаемой вязкоупругой жидкости / Т.Г.Сукачева // Вестн. ЮУрГУ, серия «Математическое моделирование и программированием - Челябинск, 2010. - №16 (192), вып. 5. -С. 83 - 93.
14. Сукачева, Т.Г. Задача термоконвекции для линеаризованной модели несжимаемой вязкоупругой жидкости ненулевого порядка / Т.Г.Сукачева // Вестн. ЮУрГУ, серия «Математическое моделирование и программированием - Челябинск, 2011. - №37 (254), вып. 10. - С. 40 - 53.
15. Свиридюк, Г.А. Квазистационарные траектории полулинейных динамических уравнений типа Соболева / Г.А. Свиридюк // Изв. РАН. Сер. матем. - 1993. - Т. 57, №3. -С. 192 — 207.
16. Levine, H.A. Some nonexistance and instability theorems for solutions of formally parabolic equations of the form Dut = -Au + F(u) / H.A. Levine // Arch. Rat. Mech. Anal. - 1973.
- V.51, №5. - P. 371 - 386.
17. Свиридюк, Г.А. Задача Коши для одного класса полулинейных уравнений типа Соболева / Г.А. Свиридюк, Т.Г. Сукачева // Сиб. матем. журн. - 1990. - Т.31, №5. - С. 109 - 119.
18. Свиридюк, Г.А. Фазовые пространства одного класса операторных уравнений / Г.А. Свиридюк // Дифференц. уравнения. - 1990. - Т.26, №2. - С. 250 — 258.
19. Борисович, Ю.Г. Нелинейные фредгольмовы отображения и теория Лере-Шаудера / Ю.Г. Борисович, В.Г. Звягин, Ю.И. Сапронов // Успехи матем. наук. - 1977. - Т.32, №4. - С. 3 - 54.
20. Марсден, Дж. Бифуркация рождения цикла и ее приложения / Дж. Марсден, М. МакКракен. - М.: Мир, 1980. - 368 с.
21. Бокарева, Т.А. Исследование фазовых пространств уравнений типа Соболева с относительно секториальными операторами: дис. ... канд. физ.-мат. наук. / Бокарева Т.А.; РГПУ им. А.И.Герцена. - СПб., 1993. - 107 с.
22. Свиридюк, Г.А. Об одной модели слабосжимаемой вязкоупругой жидкости / Г.А.Свиридюк // Изв. вузов. Матем. - 1994, №1. - С.62 - 70.
23. Сукачева, Т.Г. О разрешимости нестационарной задачи динамики несжимаемой вязкоупругой жидкости Кельвина - Фойгта ненулевого порядка / Т.Г. Сукачева // Изв. вузов. Матем. - 1998. - №3(430). - С. 47 - 54.
24. Свиридюк, Г.А. Полулинейные уравнения типа Соболева с относительно ограниченным оператором / Г.А. Свиридюк // ДАН СССР. - 1991. - Т. 18, № 4. - С. 828 - 831.
25. Свиридюк, Г.А. Полулинейные уравнения типа Соболева с относительно секториальными операторами / Г.А. Свиридюк // Докл. РАН. - 1993. - Т. 329, №3. - С. 274 - 277.
26. Свиридюк, Г.А. Аналитические полугруппы с ядрами и линейные уравнения типа Соболева / Г.А. Свиридюк, В.Е. Федоров // Сиб. матем. журн. - 1995. - Т. 36, №5. -С.1130 - 1145.
27. Хенри, Д. Геометрическая теория полулинейных параболических уравнений / Д. Хенри.
- М.: Мир, 1985. - 376 с.
Тамара Геннадьевна Сукачева, доктор физико-математических наук, доцент, кафедра
алгебры и геометрии, Новгородский государственный университет им. Ярослава Мудрого
(Великий Новгород, Российская Федерация), [email protected].
The Generalized Linearized Model of Incompressible Viscoelastic Fluid of Nonzero Order
T.G. Sukacheva, Novgorod State University (Velikiy Novgorod, Russian Federation)
In the frames of the non-autonomous sobolev type equations The Cauchy - Dirichlet problem for the generalized linearized Oskolkov’s system modeling thermoconvection of the incompressible viscoelastic fluid of the nonzero order is considered. The theorem of the existence of the unique solution of this problem is proved and the description of its extended phase space is received.
Keywords: Sobolev type equation, an incompressible viscoelastic fluid, Oskolkov models, extended phase space.
References
1. Oskolkov A.P. Initial-boundary Value Problems for Equations of Motion Kelvin-Voight and Oldroyd Fluids [Nachal’no-kraevye zadachi dlya uravneniy dvizheniya zhidkostey Kel’vina-Foygta i zhidkostey Oldroyta]. Trudy Mat. In-ta AN SSSR, 1988, no. 179, pp. 126 - 164.
2. Oskolkov A.P. Nonlocal Problems for One Class of Nonlinear Operator Equations That Arise in the Theory of Sobolev Type Equations. J. of Mathematical Sciences, 1993, vol. 64, no.1, pp. 724 - 735.
3. Karazeeva N.A., Kotsiolis A.A., Oskolkov A.P. Ob attraktorakh i dinamicheskikh sistemakh, porozhdaemykh nachal’no-kraevymi zadachami dlya uravneniy dvizheniya lineynykh vyazkouprugikh zhidkostey [On Attractors and Dynamical Systems Generated by the Initial-boundary Value Problems for Equations of Motion Linear Viscoelastic Fluids]. Sankt-Peterburg, 1988. 58 p.
4. Sviridyuk G.A. On the General Theory of Operator Semigroups. Russ. Math. Surv., 1994, vol. 49, no. 4, pp. 45 - 74.
5. Oskolkov A.P. Some Quasilinear Systems Occurring in the Study of the Motion of Viscous Fluids. J. of Mathematical Sciences, 1978, vol. 9, no. 5, pp. 765 - 790.
6. Oskolkov A.P. Theory of Voight Fluids. J. of Mathematical Sciences, 1983, vol. 21, no. 5, pp. 818 - 821.
7. Sviridyuk G.A. Solubility of the Thermal Convection of Viscoelastic Incompressible Fluid [Razreshimost’ zadachi termokonvektsii vyazkouprugoy neszhimaemoy zhidkosti]. Russian Mathematics, 1990, no. 12, pp. 65 - 70.
8. Sviridyuk G.A. Phase Spaces of Semilinear Sobolev Type Equations with Relatively Strong Sectorial Operator [Fazovye prostranstva polulineynykh uravneniy tipa Soboleva s otnositel’no sil’no sektorial’nym operatorom]. St. Petersburg Mathematical J., 1994, vol. 6, no. 5, pp. 216 - 237.
9. Sukacheva T.G. The Study of Mathematical Models of Incompressible Viscoelastic Fluids: dis. Dr. Science [Issledovanie matematicheskikh modeley neszhimaemykh vyazkouprugikh zhidkostey: dis. ... d-ra fiz.-mat. nauk]. Velikiy Novgorod, 2004. 249 p.
10. Sukacheva T.G. Unsteady Linearized Model of the Motion of an Incompressible Viscoelastic Fluid [Nestatsionarnaya linearizovannaya model’ dvizheniya neszhimaemoy vyazkouprugoy zhidkosti]. Vestn. Chelyab. gos. un-ta. Ser. Matematika. Mekhanika. Informatika, 2009,
no. 20 (158), issue 11, pp. 77 - 83.
11. Sukacheva T.G. Unsteady Linearized Model of the Motion of an Incompressible Viscoelastic Fluid of the High Order [Nestatsionarnaya linearizovannaya model’ dvizheniya neszhimaemoy vyazkouprugoy zhidkosti vysokogo poryadka]. Vestnik Yuzhno-Ural’skogo gosudarstvennogo universiteta. Seriya «Matematicheskoe modelirovanie i programmirovanie», 2009, no. 17 (150), issue 3, pp. 86 - 93.
12. Sviridyuk G.A., Fedorov V.E. Sobolev Type Equations and Degenerate Semigroups of Operators. Utrecht; Boston; Koln; Tokyo, VSP, 2003. 179 p.
13. Sukacheva T.G. The Problem of Thermal Convection for a Linearized Model of the Motion of an Incompressible Viscoelastic Fluid [Zadacha termokonvektsii dlya linearizovannoy modeli dvizheniya neszhimaemoy vyazkouprugoy zhidkosti]. Vestnik Yuzhno-Ural’skogo gosudarstvennogo universiteta. Seriya «Matematicheskoe modelirovanie
i programmirovanie'», 2010, no. 16 (192), issue 5, pp. 83 — 93.
14. Sukacheva T.G. The Problem of Thermal Convection for the Linearized Model of the Motion of an Incompressible Viscoelastic Fluid [Zadacha termokonvektsii dlya linearizovannoy modeli neszhimaemoy vyazkouprugoy zhidkosti nenulevogo poryadka]. Vestnik Yuzhno-Ural’skogo gosudarstvennogo universiteta. Seriya «Matematicheskoe modelirovanie i programmirovanie», 2011, no. 37 (254), issue 10, pp. 40 - 53.
15. Sviridyuk G.A. Quasistationary Trajectories of Semilinear Dynamical Equations of Sobolev Type. Izvestiya: Mathematics, 1994, vol. 42, no. 3, pp. 601 - 614.
16. Levine H.A. Some Nonexistance and Instability Theorems for Solutions of Formally Parabolic Equations of the Form Dut = —Au + F(u). Arch. Rat. Mech. Anal., 1973, vol. 51, no. 5, pp. 371 - 386.
17. Sviridyuk G.A., Sukacheva T.G. Cauchy Problem for a Class of Semilinear Equations of Sobolev Type. Siberian Mathematical J., 1990, vol. 31, no. 5, pp. 794 - В02.
1В. Sviridyuk G.A. The Phase Space of a Class of Operator Equations [Fazovye prostranstva odnogo klassa operatornykh uravneniy]. Differential Equations, 1990, vol. 26, no. 2, pp. 250 - 25В.
19. Borisovich Yu.G., Zvyagin V.G., Sapronov Yu.I. Non-linear Fredholm Maps and Leray-Schauder Theory. Russian Mathematical Surveys, 1977, vol. З2, no. 4, pp. 1 - 55.
20. Marsden Dzh., Mak-Kraken M. Bifurkatsiya rozhdeniya tsikla i ee prilozheniya [Hopf Bifurcation and Its Applications]. Moscow, Mir, 19В0. З6В p.
21. Bokareva T.A. Investigation of Phase Space of Sobolev Type Equations with Relatively Sectorial Operators: Dis. cand. Science [Issledovanie fazovykh prostranstv uravneniy tipa Soboleva s otnositel’no sektorial’nymi operatorami: dis. ... kand. fiz.-mat. nauk]. Sankt-Peterburg, 199З. 107 p.
22. Sviridyuk G.A. A Model of Weakly Viscoelastic Fluid [Ob odnoy modeli slaboszhimaemoy vyazkouprugoy zhidkosti]. Russian Mathematics, 1994, no. 1, pp. 62 - 70.
23. Sukacheva T.G. On the Solvability of a Nonstationary Problem of the Dynamics of Incompressible Viscoelastic Kelvin - Voight Fluid of Nonzero Order [O razreshimosti nestatsionarnoy zadachi dinamiki neszhimaemoy vyazkouprugoy zhidkosti Kel’vina - Foygta nenulevogo poryadka]. Russian Mathematics, 199В, no. 3 (430), pp. 47 - 54.
24. Sviridyuk G.A. Semilinear Sobolev Type Equation with Relatively Bounded Operator [Polulineynye uravneniya tipa Soboleva s otnositel’no ogranichennym operatorom]. DAN SSSR, 1991, vol. 1В, no. 4, pp. В2В - ВЗ1.
25. Sviridyuk G.A. Semilinear Sobolev Type Equations with Relatively Sectorial Operators [Polulineynye uravneniya tipa Soboleva s otnositel’no sektorial’nymi operatorami]. Dokl. RAN, 1993, vol. 329, no. 3, pp. 274 - 277.
26. Sviridyuk G.A., Fedorov V.E. On the Identities of Analytic Semigroups of Operators with Kernels. Siberian Mathematical J., 199В, vol. 39, no. 3, pp. 522 - 533.
27. Henry D. Geometric Theory of Semilinear Parabolic Equations. Lecture Notes in Math. Berlin; Heidelberg; N.Y., Springer Verlag, 19В1. В40 p.
Поступила в редакцию 17 ноября 2011 г.