CC BY
9
УДК 517.9
БО!: 10.14529/ т т р180405
ФАЗОВОЕ ПРОСТРАНСТВО ПЕРВОЙ НАЧАЛЬНО-КРАЕВОЙ ЗАДАЧИ ДЛЯ СИСТЕМЫ ОСКОЛКОВА ВЫСШЕГО ПОРЯДКА
А. О. Кондюков1, Т.Г. Сукачева1,2
Новгородский государственный университет имени Ярослава Мудрого, г. Великий Новгород, Российская Федерация 2Южно-Уральский государственный университет, г. Челябинск, Российская Федерация
В последние десятилетия теория уравнений соболевского типа активно изучается в различных аспектах. Применение полугруппового подхода к теории уравнений соболевского типа получило плодотворное развитие в работах научного направления, которое возглавляет Г.А. Свиридюк. Данная работа примыкает к этому научному направлению. В работе исследуется первая начально-краевая задача для системы Оскол-кова. В нашем случае система моделирует динамику плоскопараллельного течения несжимаемой вязкоупругой жидкости Кельвина - Фойгта высшего порядка. Эта задача имеет преимущество, так как фазовое пространство для вышеуказанной системы может быть описано полностью при различных значениях параметра, который характеризует упругие свойства жидкости. Изложению этого факта и посвящена данная статья. Исследование проводится в русле теории полулинейных автономных уравнений соболевского типа на основе понятий квазистационарной траектории и относительно спектрально ограниченного оператора.
Ключевые слова: несжимаемая вязкоупругая жидкость Кельвина - Фойгта; системы, Осколкова; уравнения соболевского типа; квазистационарные траектории; фазовое пространство.
Посвящается В.Ф. Чистякову в связи с его семидесятилетием.
Введение
Рассмотрим систему уравнений Осколкова
М Пт — 1
(1 - хУ2Н = vV2v - (V + ^ ^ Ат>3Ч2ит>3 -Чр + ¡,
(1)
т=1 8=0
0 = V • V,
дио
™= V + аттт,°, ат Е К-, в Е К+, т = 1, М
дг
&ит,8-1 + атит'8) & пт 1-
Эта система является моделью динамики несжимаемой вязкоупругой жидкости Кельвина - Фойгта высшего порядка К (К = п1 + ... + пт) [1]. Здесь V = . . . ^п), Vk = Vk (х, г) - вектор скорости жидкости, р = р(х,г) - функция давления, / = (¡1} ¡2,..., ¡п), ¡к = ¡к(х) - вектор внешнего воздействия в точке (х,г) Е П х К, где П С Кп - ограниченная область с границей класса О^; к, V е К+ - параметры, которые характеризуют упругие и вязкие свойства жидкости соответственно.
Надо заметить, что для случая жидкости Кельвина - Фойгта нулевого порядка (К = 0) задача Коши - Дирихле для системы уравнений (1) в цилиндре П х М. изучена в различных аспектах [1,2], причем подтверждено экспериментально [3], что параметр к может принимать отрицательные значения. Хорошо известно, что в случае, когда к-1 Е &(У2) такая задача, вообщем-то, не разрешима [4]. В связи с этим возникает проблема описания множества корректности для этой задачи, которое мы называем фазовое пространство [5,6].
Для системы уравнений
(1 -xV2)V2^t = vV4 ф -
д(ф, Ч2ф)
M nm-1 ,
т—1 с—П \
д(Х,у)
dw
(m,s)1
dw
(m,s)2
m=1 s=0
дУ
дХ
)
+g,
dw
(m, 0)1
dw
dt
(m, 0)2
дГ~
dw(m,s)1 dt dw(m,s)2 dt
дф dy
+ aiw(m,0)1,
d'-ф dx
+ aiw( m, 0)2 j
(2)
Sw(m,s-1)1 + ®mw(m,s)1,
Sw(m,s-1)2 + amw(m,s)2, ®m £ R- , m = 1, M, S = 1, Um - 1,
в цилиндре Q x R рассмотрим задачу Коши - Дирихле
ф(х,У, 0) = ф0(x,y),wm,s(x,y, 0) = w^,s(x,y) y(x,y) £ Q ф(х,у^) = V2ip(x,y,t) = 0,wms(x,y,t) = 0 V(x,y,t) £ dQ x R.
(3)
Здесь П С М2 - ограниченная область с г раницей д П класс а С^.
Заметим, что система (2) образуется из системы (1) при п = 3, если положить
дф дф
= 0 и формулами у1 = -р—, у2 = — ввести функцию тока ф = ф(х,у,£), которая
д у д х
определена с точностью до аддитивной постоянной.
Из этого следует, что система (2) является моделью динамики плоскопараллельного течения вязкоупругой несжимаемой жидкости Кельвина - Фойгта высшего по~ рядка.
Задача (2), (3) имеет преимущество по сравнению с задачей Коши - Дирихле для уравнения (1), которое заключается в том, что фазовое пространство уравнения (2) может быть полностью описано при различных значениях параметра к Е К. Изложению этого факта и посвящена, данная работа. Статья состоит из трех параграфов: в п. 1 задача (2), (3) редуцируется к задаче Коши для полулинейного уравнения соболевского типа, и устанавливается однозначная локальная разрешимость этой задачи в случае к-1 Е в п. 2 приводятся необходимые сведения из теории (Ь,р)- огра-
ниченных операторов [7,8]; в п. 3 устанавливается существование квазистационарных траекторий [9] в случае к-1 Е &(У2) и содержится описание структуры фазового пространства (пли его морфологии [10]).
Все рассмотрения осуществляются в вещественных банаховых пространствах, но изучая «спектральные> вопросы, вводится их естественная комплексификация, символами I и О обозначаются соответственно «единичный> и «нулевой> операторы, области определения которых понятны из контекста.
Отметим, что результаты данной работы обобщают результаты [11,12] на случай модели Кельвина - Фойгта высшего порядка.
1. Редукция к абстрактной задаче Коши в случае к 1 Е а(V2)
Положим и=Ыф х , где Ыф = {ф Е W24(П) : ф(х)=Ч2ф(х) = 0,х Е дП} , ит=ПЦ^ 8)1 Е W2 (П) : т(т , 8)1 (х) = 0,х Ед П,1 = 1, 2} .Элемент и= (ф,и(г, °)Ь и(1'°)2,и(1'1)1,и(1'1)2,... ,и(М'Пт-1)1,ЩМ'Пт-1)2) , а элемент / = (д, 0,..., 0), где
2К
д е ь2(П).
Через ^(Ч2) обозначим спектр однородной задачи Дирихле для оператора Ла-пласса V в области П. Определим оператор Ь формулой
Ь
( Ь о А
у О I )
(4)
где Ь= (1 — кЧ2)), I - единичный оператор (матрица порядка 2К), О - нулевой оператор.
М : и М +МЛ , М2
(5)
М= VV ф - д(ф, Ч2ф)/д(х, у) + д,
М Пт — 1 / г* г*
дит, 81 дит, 82
М2
М1 = А
1 8=0 аи(т ' 0)1
8
/ дф / д,,
т=1 8=0
дф ду дф | дХ + аит, 0)2
ду
дх
)
\
' 8-1)1 + ати(т' 8)1 \ ви(т,8-1)2 + атЫ(т,8)2 )
т = 1, М, в = 1, пт - 1.
Лемма 1.
г) Формулой (4) задается линейный, непрерывный, фредгольмов оператор Ь е С(Ы; Т) при любом, к е Ш, причем, если к-1 Е а(Ч2), тогда существует оператор Ь-1 е ЦТ; Ы).
И) Формулой (5) задается оператор М е ОХ(Ы; Т).
Доказательство. 1) Непрерывность оператора Ь очевидна, фредгольмовость вытекает из самосопряженности оператора Ь и из того, что если к-1 Е тогда
{•,фк )
1
Ь
X
к
=1 кк (1 - ккк)
фк,
(6)
где {фк} является ортонормированным в Ь2(П) семейством собственных векторов задачи Дирихле для оператора Лапласа, которое занумеровано по возрастанию собственных значений {кк} с учетом их кратности.
11) Очевидным является и тот факт, что первая и вторая производные Фреше оператора М : Ы м Т в любой точке и е Ы являются непрерывными. Остальные производные Фреше тождественный нуль. Следовательно^ лемма доказана. □
Надо заметить, что при доказательстве леммы 1 использовались результаты [11]
для операторов L и M-
На основании леммы 1 задачу (3), (2) редуцируем к задаче Коши
u(0) = uo (7)
для полулинейного уравнения соболевского типа
Luí = M (u). (8)
Теорема 1. Пусть операторы L, M определены, формулами (4) и (5) соответственно и Х-1 Е & (V2). Тогда при лю бом u0 EU существует единственное реиление u Е C^((-t0,t0); U) задачи (7), (8), где t0 = t0(u0) > 0.
Доказательство. В силу леммы 1 уравнение (8) будет иметь вид
í = T (u). (9)
Здесь оператор T = L-1M Е C^(U). Разрешимость задачи (7), (9) является классической задачей Коши [13]. Таким образом, теорема доказана. □
2. Относительно спектрально ограниченные операторы
Пусть пространства U, F являются банаховыми, операторы L,MeL(U; F). Введем, следуя [7, 8], в рассмотрение L-резольвентное множество pL(M) = [ß Е C : (ßL - M)-1 E L(F; U)}n L-спектр aL(M) = C\pL(M) оператора M.
M
но оператора L (короче (L, а)-ограниченным), если
3a > 0 Vß E C (\ß\ > a) ^ (ß E pL(M)). M (L, а)
ют расщепления пространств U = U0 ®U1, F = F° ® F1, U0 D ker L, F1 D im L, и расщепление действий операторов L, M : Uk м- Fk, k = 0,1.
Доказательство. Проекторы P E L(U) и Q E L(F), которые определяют искомые расширения, задаются интегралами типа Данфорда - Тейлора
P l(ßL - M)-1Ldß, Q = i L(ßL - M)-1dß,
2пг J ¿ni J
г г
где контур Г = [ß Е C : \ß\ = r > a}. Теорема доказана. □
Через Lk(Mk) обозначим сужение oneратора L(M) на подпространство Uk, k =
0,1.
M (L, а)
M-1 Е L(F0; U0) и L-1 E L(F^ U1).
Доказательство. Оператор М0 1 равен сужению оператора — -—: / (¡Ь — М) на
2пг р
Т°, а оператор Ь~[1 - сужению оператора -—т Г (¡Ь — М)на Т1. Здесь Г - это
2пг р
контур, который определяется так же, как при доказательстве теоремы 2. Теорема доказана. □
Положим Н = М-1Ь0, Б = Ь-[1М1\/ очевидно, что операторы Н Е С(Ы°), Б Е С(Ы1).
Следствие 1. Пусть оператор М (Ь, а)-ограничен, тогда при любом, ¡л Е С, \л\ = г > а имеет место разложение относительной резольвенты, в ряд Лора,на,
- M)-1 = - £ HкM-\I - Q) + £ y-kSk-lL-lQ. к=0 к=1
Определение 2. Пусть оператор M является (L, а)-ограниченным. Для L-
резольвенты (yL — M)-1 оператора, M точкa, œ называется,
(г) устранимой особой точкой, если оператор H = 0;
(и)полюсом порядка p Е N, если Hp = 0, а Hp+1 = 0;
(m) существенно особой точкой, если Hq = O при любом, q Е N.
Замечание 1. Будем считать для удобства устранимую особую точку полюсом порядка нуль. Тогда выражение «оператоp M (L, а)-ограничен, причем его L—резольвента имеет в точке œ полюс порядка p Е N0> эквивалентно выражению «оператоp M (L,p)-orpaHH4ен, p Е N0>.
Упорядоченное множество {ф-\_, ф2, ■ ■ ■} векторов из U называется цепочкой M-прпсоедпненных векторов вектора ф0 Е ker L\{0^, есл и L^q+1 = M^q, q = 0,1, ■ ■ ■, и <^>q Е ker L\{0}, q = 1, 2, ■■■. Цепочка может быть бесконечной (в частности, она может быть закончена нулями, если ф0 Е ker LÇ\ ker M\{0}), но она обязательно конечна, если в ней найдется вектор фр такой, что M^p Е im L. В частности, вектор ф0 Е ker L\{0} не имеет M-присоединенных векторов, если Mp0 Е im L.
Теорема 4. Пусть оператор M (L, 0)-ограничен. Тогда любой вектор ф Е ker L\{0} не имеет M-присоединенных векторов, причем, ker L = U0, im L = F1.
Введем в рассмотрение условия, которые в дальнейшем нам понадобятся. Al) Оператор L является бирасщепляющим, притом любой вектор ф Е ter L не M
Положим F0 = H( ter L), F1 = im L■ A2) F = F0 ®F\
M (L, 0)
ограниченным.
Замечание 2. Бирасщепляющими называются линейные операторы с дополняемыми ядром и образом [14]. Теорема 5 является частным случаем более обще-
( L, p)
ML является фредгольмов оператор (ind L = 0).
Следствие 2. Пусть оператор Ь является фредгольмовым, притом любой вектор ф Е кег Ь\{0} не имеет М-присоединенных векторов. Тогда: г) справедливо утверждение теоремы 5;
гг) и1 = {и ЕЫ : (I— Q)M(и) = 0}, где Т м- Т1 - некоторый произвольный проектор.
3. Квазистационарные траектории и фазовое пространство
Исследуем разрешимость задачи (7), (8), где операторы Ь Е С(Ы; Т), М Е Сгх(Ы; Т). Пусть пространства Ы и Т, являющиеся банаховыми, расщепляются в прямые суммы и = и0 фЫ1 и Т = Т ф Т1, кег Ь С Ы0, причем действие оператора Ь тоже расщепляется, то есть Ь : Ык м Тк, к = 0,1. Уравнение (8) редуцируем к системе
Ьи° = (1 — Q)M(и), Ьи1 = QM(и), (10)
где и = и0 + и1, ик Е Ык, Q : Т м Т1 - проектор вдоль Т°.
Определение 3. [9] Решение и Е С^((—10,10); Ы) задачи (7), (8) называется квазистационарной траекторией уравнения, (8), если Ьи° = 0 УЬ Е (—Ь0,Ь0).
Через М' обозначим производную Фреше оператора М в точке и0.
Теорема 6. Пусть оператор Ь является, фредгольмовым, и любой вектор ф Е кег Ь\{0} не им,еет М'-присоединенных векторов. Положим, точка, и0 Е Ш = {и Е
Ы : (I— Q)M(и) = 0}. Тогда существует единственное решение и Е С^((—Ь0,Ь0); Ы) задачи (7), (8), являющееся, квазистационарной траекторией.
(Здесь, как и выше Q: Т м Т1 = т Ь - некоторый проектор.)
Доказательство. В силу следствия 2 1) оператор М' (Ь, а)-ограничен. Через М0 обозначим сужение оператора (I— Q))M' на кег Ь. В силу теоремы 3 и фредгольмовости
оператора Ь оператор М'0 : кег Ь м кег Q топлинеиныи изоморфизм. В нашем случае система (10) приобретет вид
0 = (I— Q)M(и), Ьи1 =Q М(и), (11)
причем второе уравнение (11), в силу теоремы 3, имеет вид
и1 = Ь-1 Qм (и0 + и1). (12)
В силу вышесказанного, теоремы о неявной функции, которая применена к отображению (I— Q)M : Ы м кег Q, и условий теоремы, существует окрестность О1 СЫ
точки и1 ЕЫ и Сте-отображение 8 : О1 мЫ0 такое, что (I— Q)M (^(и1)+ и1) = 0 Уи1 Е О1. Поэтому (12) редуцируется к виду
и1 = Ь-1 Qм (8 + ^(и1) = Т (и1), (13)
где оператор Т Е С™ (О1; Ы^ по построению.
Поэтому, в силу теоремы Коши [13], решение u1 £ C<x((-to,to); O1) задачи Коши u1(0) = u0 для уравнения (13) существует и единственно. В силу же (11) вектор-функция u(t) = 6(u1(t)) + u1(t),t £ (-to,to), будет являться решением задачи (7), (8), а также квазистационарной траекторией уравнения (8). Теорема доказана. □
Далее рассмотрим задачу (7), (8) в том случае, когда операторы L и М определены формулами леммы 1, причем А"1 £ a(V2).
Положим ker L = span [ф-\_, ф2, ■ ■ ■, фп}, где [фк} является ортонормированным (в
смысле F набором собственных функций. В силу того, что оператор L самосопряжен
и фредгольмов, то его образ im L= [f £ F : {¡,фк) = 0, k = 1, n}, где (•, •) -
скалярное произведение в L2(Q). Тогда ker L = ker L ®UW, im L = im L Ф O.
Лемма 2. При любом, u £U любой век mop ф £ ker L не имеет М'и-присоединенных векторов.
Доказательство. Для того чтобы доказать лемму необходимо и достаточно устано-
вить невырожденность матрицы М0= \\{Мк фк,ф1 )||, к = 1, п, I = 1, п. А невырожденность этой матрицы есть прямое следствие неравенства (М0 а, а) = 0, У а Е Ега\{0}, где (•, •) стандартное (евклидово) скалярное произведение в Кга [11]. Лемма доказана. □
Итак, в силу лемм 1 и 2 и теоремы 6 справедливо
Следствие 3. Положим операторы Ь и М определены, формулами л,ем,м,ы, 1 и к-1 Е а(У2). Тогда при любом, и0 Е Ш = {и ЕЫ : {М(и),фк) = 0, к =1, п} утверждение теорем,ы, 6 является справедливым,.
Замечание 3. Любое решение и Е С^((—¿0^0);Ы) уравнения (8) в силу (11) лежит в Ш, т.е. и(г) Е Ш У Е (—и, и).
Определение 4. Множество V сЫ называется, фазовым, пространством уравнения (8), если
г) любое решение и Е С^((—¿0^0); Ы) уравнения, (8) леж ит в V, т. е. и(Ь) ЕР У Е
И) единственное решение задачи (7), (8) существует при любом, и0 ЕР.
Заметим, что если операторы Ь, М определяются формулами леммы 1 и к-1 Е а(У2), то согласно теореме 1, V = Ы. В случае же если к-1 Е а(У2), то в силу следствия 3 V = Ш.
Ш
чале установим его непустоту. Для этого положим Ы0 = кег Ь, Ы1 = {и ЕЫ : (и, фк) = 0, к =1, п}. Очевидно, Ы = Ы0 ®Ы1. И на основании [11] справедлива
ЬМ
к-1 Е а(V2). Тогда, для, любого и1 Е Ы1 существует единственный и0 Е Ы такой, что и = и0 + и1 Е Ш.
Ш
банахово С^ -многообразие, которое моделируется подпространством, Ы1.
Доказательство. Пусть и Е Ш, и = и +
и1 .
лемме 2, отображение
т : Ы° м Ы°, используемое при доказательстве леммы 3 [11], С^-дпфференцпруемо, причем, его первая производная не вырождена. Согласно теореме о неявной функции,
О С Ш и
вдоль Ы0 в Ы\ Из леммы 3 вытекает простота Сте-многообразия. В силу этой леммы проектирующий С^-дпффеоморфпзм равен сужению проектора Р = I—&=1 (", фк)фк на Ш. Теорема доказана. □
Замечание 4. В последние десятилетия теория уравнений соболевского типа получила мощный стимул в своем развитии, о чем свидетельствует появившиеся монографии [8,15-18]. Данная работа примыкает к научному направлению, развиваемому профессором Г.А. Свиридюком и его учениками [19-22].
Авторы выражают благодарность профессору P.A. Свиридюку за внимание и конструктивную критику.
Работа выполнена при финансовой поддержке Правительства Российской Федерации (акт 211, контракт № 02.AOS.21.ООН).
Литература
1. Осколков, А.П. Начально-краевые задачи для уравнений движения жидкостей Кельвина - Фойгта и Олдройта / А.П. Осколков // Труды Математического института имени
B.А. Стеклова. - 1988. - Т. 179. - С. 126-164.
2. Свиридюк, Г.А. Об одной модели динамики несжимаемой вязкоупругой жидкости / Г.А. Свиридюк // Известия вузов. Математика. - 1988. - № 1. - С. 74-79.
3. Осколков, А.П. Об одной квазилинейной параболической системе с малым параметром, аппроксимирующей систему Навье - Стокса / А.П. Осколков // Записки научных семинаров ЛОМИ. - 1980. - Т. 96. - С. 233-236.
4. Свиридюк, Г.А. О многообразии решений одной задачи несжимаемой вязкоупругой жидкости / Г.А. Свиридюк // Дифференциальные уравнения. - 1988. - Т. 24, № 10. -
C. 1846-1848.
5. Свиридюк, Г.А. Фазовые пространства одного класса операторных уравнений / Г.А. Свиридюк, Т.Г. Сукачева // Дифференциальные уравнения. - 1990. - Т. 26, № 2. -С. 250-258.
6. Свиридюк, Г.А. Задача Коши для одного класса полулинейных уравнений типа Соболева / Г.А. Свиридюк, Т.Г. Сукачева // Сибирский математический журнал. - 1990. - Т. 31, № 5. - С. 109-119.
7. Свиридюк, Г.А. К общей теории полугрупп операторов / Г.А. Свиридюк // Успехи математических наук. - 1994. - Т. 49, № 4. - С. 47-74.
8. Sviridyuk, G.A. Linear Sobolev Type Equations and Degenerate Semigroups of Operators / G.A. Sviridyuk, V.E. Fedorov. - Utrecht, Boston, Köln: VSP, 2003.
9. Свиридюк, Г.А. Квазистационарные траектории полулинейных динамических уравнений типа Соболева / Г.А. Свиридюк // Известия РАН. Серия: Математика. - 1993. -Т. 57, № 3. - С. 192-207.
10. Свиридюк, Г.А. Фазовые пространства полулинейных уравнений типа Соболева с относительно сильно секториальным оператором / Г.А. Свиридюк // Алгебра И Э.НЭ.ЛИЗ. — 1994. - Т. 6, № 5. - С. 252-272.
11. Свиридюк, Г.А. Фазовое пространство начально-краевой задачи для системы Осколко-ва / Г.А. Свиридюк, М.М. Якупов // Дифференциальные уравнения. - 1996. - Т. 32, № И. - С. 1538-1543.
12. Кондюков, А.О. Фазовое пространство начально-краевой задачи для системы Оскол-кова ненулевого порядка / А.О. Кондюков, ТТ. Сукачева // Журнал вычислительной математики и математической физики. - 2015. - Т. 55, № 5. - С. 823-829.
13. Ленг, С. Введение в теорию дифференцируемых многообразий / С. Ленг. - М.: Мир, 1967.
14. Борисович, ЮТ. Нелинейные фредгольмовы отображения и теория Лере - Шаудера / ЮТ. Борисович, ВТ. Звягин, Ю.И. Сапронов // Успехи математических наук. - 1977. -Т. 32, № 4. - С. 3-54.
15. Манакова, Н.А. Задачи оптимального управления для уравнений соболевского типа / Н.А. Манакова. - Челябинск: Издательский центр ЮУрГУ, 2012.
16. Сагадеева, М.А. Дихотомии решений линейных уравнений соболевского типа / М.А. Са-гадеева. - Челябинск: Издательский центр ЮУрГУ, 2012.
17. Замышляева, А.А. Линейные уравнения соболевского типа высшего порядка / А.А. За-мышляева. - Челябинск: Издательский центр ЮУрГУ, 2012.
18. Загребина, С.А. Устойчивые и неустойчивые многообразия решений полулинейных уравнений соболевского типа / С.А. Загребина, М.А. Сагадеева. - Челябинск: Издательский центр ЮУрГУ, 2016.
19. Zagrebina, S.A. A Multipoint Initial-Final Value Problem for a Linear Model of Plane-Parallel Thermal Convection in Viscoelastic Incompressible Fluid /S.A. Zagrebina / / Вестник ЮУрГУ. Серия: Математическое моделирование и программирование. - 2014. - Т. 7, № 3. -С. 5-22.
20. Zamyshlyaeva, A. A. The Cauchy Problem for the Sobolev Type Equation of Higher Order / A.A. Zamyshlyaeva, E.V. Bychkov // Вестник ЮУрГУ. Серия: Математическое моделирование и программирование. - 2018. - Т. 11, № 1. - С. 5-14.
21. Keller, A.V. On the Computational Efficiency of the Algorithm of the Numerical Solution of Optimal Control Problems for Models of Leontieff Type / A.V. Keller // Journal of Computational and Engineering Mathematics. - 2015. - V. 2, № 2. - P. 39-59.
22. Sviridyuk, G.A. The Barenblatt-Zheltov-Kochina Model with Additive White Noise in Quasi-Sobolev Spaces / G.A. Sviridyuk, N.A. Manakova // Journal of Computational and Engineering Mathematics. - 2016. - V. 3, № 1. - P. 61-67.
Алексей Олегович Кондюков, К&НДИДсХТ физико-математических наук, старший преподаватель, кафедра «Алгебра и геометрия:», Новгородский государственный университет имени Ярослава Мудрого (г. Великий Новгород, Российская Федерация), k.a.o_leksey999@mail.ru.
Тамара Геннадьевна Сукачева, доктор физико-математических наук, профессор, кафедра «Алгебра и геометрия», Новгородский государственный университет имени Ярослава Мудрого (г. Великий Новгород, Российская Федерация); научно-
исследовательская лаборатория «Неклассические уравнения математической физи-
»
дерация), tamara.sukacheva@novsu.ru.
Поступила в редакцию 10 июня 2018 г.
MSC 35A01 DOI: 10.14529/mmp180405
PHASE SPACE OF THE INITIAL-BOUNDARY VALUE PROBLEM FOR THE OSKOLKOV SYSTEM OF HIGHEST ORDER
A.O. Kondyukov1, T.G. Sukacheva1'2
1 Novgorod State University, Velikiy Novgorod, Russian Federation
1
E-mails: k.a.o_leksey999@mail.ru, tamara.sukacheva@novsu.ru
In recent decades, the theory of Sobolev type equations is actively studied in various aspects. The application of the semigroup approach to the theory of singular Sobolev type equations has received a deep and wide development in the works of the scientific direction headed by G.A. Sviridyuk. This work is adjacent to this scientific direction. The first initial-boundary value problem for the Oskolkov system is investigated. In our case, the system simulates a plane-parallel incompressible Kelvin-Voigt fluid of the higher order. This problem has an advantage, since the phase space for the above system can be described completely at any values of the parameter that characterizes the elastic properties of the liquid. This article is devoted to presenting of this fact. The study is carried out within the framework of the theory of semi-linear autonomous Sobolev type equations on the basis of the concepts of a relatively spectrally bounded operator and a quasi-stationary trajectory.
Keywords: Sobolev type equations; phase space; quasi-stationary trajectories; Oskolkov systems; incompressible viscoelastic Kelvin-Voigt fluid.
References
1. Oskolkov A.P. Initial-Boundary Value Problems for the Equations of the Motion of the Kelvin-Voight and Oldroyd Fluids. Proceedings of the Steklov Institute of Mathematics (Trudy Matematicheskogo institute, imeni V.A. Steklova), 1988, no. 179, pp. 126-164. (in Russian)
2. Sviridyuk G.A. On a Model of the Dynamics of an Incompressible Viscoelastic Fluid. Russian Mathematics (Izvestiya VUZ. Matematika), 1994, vol. 38, no. 1, pp. 59-68. (in Russian)
3. Oskolkov A.P. On a Quasilinear Parabolic System with a Small Parameter Approximating the Navier-Stokes System. Zapiski nauchnykh seminarov POMI, 1980, vol. 96, pp. 233-236. (in Russian)
4. Sviridyuk G.A. On the Variety of Solutions of a Certain Problem of an Incompressible Viscoelastic Fluid. Differential Equations, 1988, vol. 24, no. 10, pp. 1846-1848.
5. Sviridyuk G.A., Sukacheva T.G. Phase Spaces of a Class of Operator Equations. Differential Equations, 1990, vol. 26, no. 2, pp. 250-258.
6. Sviridyuk G.A., Sukacheva T.G. The Cauchy Problem for a Class of Semilinear Equations of Sobolev Type. Siberian Mathematical Journal, 1990, vol. 31, no. 5, pp. 109-119. (in Russian)
7. Sviridyuk G.A. On the General Theory of Semigroups of Operators. Russian Mathematical Surveys (Uspekhi Matematicheskikh Nauk), 1994, vol. 49, no. 4, pp. 47-74. (in Russian)
8. Sviridyuk G.A., Fedorov V.E. Sobolev Type Equations and Degenerate Semigroups of Operators. Utrecht, Boston, VSP, 2003. DOI: 10.1515/9783110915501
9. Sviridyuk G.A. Quasistationary Trajectories of Semilinear Dynamical Equations of Sobolev Type. Russian Academy of Sciences. Izvestiya Mathematics, 1993, vol. 57, no. 3, pp. 192-207. (in Russian)
10. Sviridyuk G.A. Phase Spaces of Semilinear Equations of Sobolev Type with Relatively Strongly Sectorial Operators. Algebra and Analysis, 1994, vol. 6, no. 5, pp. 216-237. (in Russian)
11. Sviridyuk G.A., Yakupov M.M. The Phase Space of the Initial-Boundary Value Problem for the Oskolkov System. Differential Equations, 1996, vol. 32, no. 11, pp. 1538-1543.
12. Kondyukov A.O., Sukacheva T.G. Phase Space of the Initial-Boundary Value Problem for the Oskolkov System of Nonzero Order. Computational Mathematics and Mathematical Physics, 2015, vol. 55, no. 5, pp. 823-829. DOI: 10.7868/S0044466915050130
13. Leng S. Introduction to Differentiable Manifolds. N.Y., Springer, 2002.
14. Borisovich Yu.G., Zvyagin V.G., Sapronov Y.I. Nonlinear Fredholm Mappings and Leray-Schauder Theory. Russian Mathematical Surveys, 1977, vol. 32, no. 4, pp. 3-54. (in Russian)
15. Manakova N.A. Zadachi optimal'nogo upravleniya dlya uravnenij soholevskogo tipa [Optimal Control Problems for Sobolev Type Equations]. Chelyabinsk, Publishing center of SUSU, 2012. (in Russian)
16. Sagadeeva M.A. Dihotomii reshenij linejnyh uravnenij soholevskogo tipa [Dichotomies of Solutions of Linear Sobolev Type Equations]. Chelyabinsk, Publishing center of SUSU, 2012. (in Russian)
17. Zamyshlyaeva A.A. Linejnye uravneniya soholevskogo tipa vysshego poryadka [Linear Sobolev Type Equations of Higher Order]. Chelyabinsk, Publishing center of SUSU, 2012. (in Russian)
18. Zagrebina S.A. Ustojchivye i neustojchivye mnogoohraziya reshenij polulinejnyh uravnenij soholevskogo tipa [Stable and Unstable Manifolds of Solutions of Semilinear Sobolev Type Equations]. Chelyabinsk, Publishing center of SUSU, 2016. (in Russian)
19. Zagrebina S.A. A Multipoint Initial-Final Value Problem for a Linear Model of Plane-Parallel Thermal Convection in Viscoelastic Incompressible Fluid. Bulletin of the South Ural State University. Series: Mathematical Modelling, Programming and Computer Software, 2014, vol. 7, no. 3, pp. 5-22. (in Russian) DOI: 10.14529/mmpl40301
20. Zamyshlyaeva A.A., Bychkov E.V. The Cauchy Problem for the Sobolev Type Equetion of Higher Order. Bulletin of the South Ural State University. Series: Mathematical Modelling, Programming and Computer Software, 2018, vol. 11, no. 1, pp. 5-14. DOI: 10.14529/mmpl80101
21. Keller A.V. On the Computational Efficiency of the Algorithm of the Numerical Solution of Optimal Control Problems for Models of Leontieff Type. Journal of Computational and Engineering Mathematics, 2015, vol. 2, no. 2, pp. 39-59. DOI: 10.14529/jceml50205
22. Sviridyuk G.A., Manakova N.A. The Barenblatt-Zheltov-Kochina Model with Additive White Noise in Quasi-Sobolev Spaces. Journal of Computational and Engineering Mathematics, 2016, vol. 3, no. 1, pp. 61-67. DOI: 10.14529/jceml60107
Received June 10, 2018
