Научная статья на тему 'ПЕРВАЯ КРАЕВАЯ ЗАДАЧА ДЛЯ УРАВНЕНИЙ, ОПИСЫВАЮЩИХ ДВИЖЕНИЕ НЕЛИНЕЙНО-ВЯЗКОУПРУГОЙ ЖИДКОСТИ В ОГРАНИЧЕННОЙ ОБЛАСТИ'

ПЕРВАЯ КРАЕВАЯ ЗАДАЧА ДЛЯ УРАВНЕНИЙ, ОПИСЫВАЮЩИХ ДВИЖЕНИЕ НЕЛИНЕЙНО-ВЯЗКОУПРУГОЙ ЖИДКОСТИ В ОГРАНИЧЕННОЙ ОБЛАСТИ Текст научной статьи по специальности «Математика»

CC BY
22
4
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ПЕРВАЯ КРАЕВАЯ ЗАДАЧА / ТЕОРЕМА СУЩЕСТВОВАНИЯ / СЛАБОЕ РЕШЕНИЕ / А-ОПЕРАТОР / МЕТОД РЕГУЛЯРИЗАЦИИ / ДОПОЛНИТЕЛЬНАЯ ВЯЗКОСТЬ / НЕЛИНЕЙНО-ВЯЗКОУПРУГАЯ ЖИДКОСТЬ / РАСТВОР ПОЛИМЕРОВ

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

Исследуется краевая задача для математической модели, описывающей установившееся изотермическое течение нелинейно-вязкоупругой жидкости с переменной вязкостью, зависящей от скорости сдвига, внутри ограниченной трехмерной (или двумерной) области с достаточно гладкой границей. Предполагается, что функция вязкости непрерывна и ограничена. Рассматриваемая модель представляет собой систему сильно нелинейных дифференциальных уравнений в частных производных третьего порядка. На границе области течения ставится однородное краевое условие Дирихле, что соответствует стандартному условию прилипания жидкости на твердых стенках сосуда. Данная краевая задача рассматривается в слабой (обобщенной) постановке. Под слабым решением понимается пара функций «скорости-давление», удовлетворяющая уравнениям движения в смысле распределений. С помощью метода регуляризации посредством введения в уравнения членов с дополнительной вязкостью построено семейство вспомогательных аппроксимирующих задач. Дается интерпретация задач этого семейства в виде операторных уравнений с непрерывным нелинейным оператором, удовлетворяющим условию монотонности а. На основе теоремы о разрешимости уравнений с а-операторами доказано существование по крайней мере одного решения при любом положительном значении дополнительной вязкости. Выведены оценки норм решений, независящие от параметра дополнительной вязкости. Решение исходной краевой задачи получено как предел последовательности решений аппроксимирующих задач при стремлении дополнительной вязкости к нулю. Предельный переход осуществлен на основе известных результатов о компактности вложения пространств Соболева и теоремы Лебега о мажорируемой сходимости. Кроме того, в работе установлена оценка энергетического типа для векторной функции скорости.

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

Текст научной работы на тему «ПЕРВАЯ КРАЕВАЯ ЗАДАЧА ДЛЯ УРАВНЕНИЙ, ОПИСЫВАЮЩИХ ДВИЖЕНИЕ НЕЛИНЕЙНО-ВЯЗКОУПРУГОЙ ЖИДКОСТИ В ОГРАНИЧЕННОЙ ОБЛАСТИ»

ISSN 2074-1871 Уфимский математический журнал. Том 13. № 3 (2021). С. 17-26.

УДК 517.958

ПЕРВАЯ КРАЕВАЯ ЗАДАЧА ДЛЯ УРАВНЕНИЙ, ОПИСЫВАЮЩИХ ДВИЖЕНИЕ НЕЛИНЕЙНО-ВЯЗКОУПРУГОЙ ЖИДКОСТИ В ОГРАНИЧЕННОЙ ОБЛАСТИ

М.А. АРТЕМОВ, Ю.Н. БАБКИНА

Аннотация. Исследуется краевая задача для математической модели, описывающей установившееся изотермическое течение нелинейно-вязкоупругой жидкости с переменной вязкостью, зависящей от скорости сдвига, внутри ограниченной трехмерной (или двумерной) области с достаточно гладкой границей. Предполагается, что функция вязкости непрерывна и ограничена. Рассматриваемая модель представляет собой систему сильно нелинейных дифференциальных уравнений в частных производных третьего порядка. На границе области течения ставится однородное краевое условие Дирихле, что соответствует стандартному условию прилипания жидкости на твердых стенках сосуда. Данная краевая задача рассматривается в слабой (обобщенной) постановке. Под слабым решением понимается пара функций «скорость-давление», удовлетворяющая уравнениям движения в смысле распределений. С помощью метода регуляризации посредством введения в уравнения членов с дополнительной вязкостью построено семейство вспомогательных аппроксимирующих задач. Дается интерпретация задач этого семейства в виде операторных уравнений с непрерывным нелинейным оператором, удовлетворяющим условию монотонности а. На основе теоремы о разрешимости уравнений с а-операторами доказано существование по крайней мере одного решения при любом положительном значении дополнительной вязкости. Выведены оценки норм решений, независящие от параметра дополнительной вязкости. Решение исходной краевой задачи получено как предел последовательности решений аппроксимирующих задач при стремлении дополнительной вязкости к нулю. Предельный переход осуществлен на основе известных результатов о компактности вложения пространств Соболева и теоремы Лебега о мажорируемой сходимости. Кроме того, в работе установлена оценка энергетического типа для векторной функции скорости.

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

Mathematics Subject Classification: 35Q35, 35А01

1. Введение

Считается, что для описания изотермических потоков слабоконцентрированных водных растворов полимеров хорошо подходит следующая система уравнений [1]:

М.А. Artemov, Yu.N. Babkina, Dirichlet boundary value problem for equations describing

flows of a nonlinear viscoelastic fluid in a bounded domain.

© Артемов M.A., Бабкина Ю.Н. 2021.

Поступила 19 июля 2020 г.

(1.1)

(1.2)

где п - размерность пространства, п =2, 3; х\,... ,хп — пространственные координаты; £ — время; V — скорость течения жидкости; ж — давление; f — плотность внешних сил; Е(V) = (V)) — тензор скоростей деформации, Е^(V) = 2(+ ); V — коэффициент

3 г

кинематической вязкости, и > 0 к — релаксационный коэффициент вязкости, к > 0.

Первые результаты о разрешимости модели движения несжимаемой вязкой среды с полимерными добавками были получены А.П. Осколковым [2]-[4] при условии прилипания на границе области течения. Случай слабосжимаемой полимерной жидкости исследован Г.А. Свиридюком [5]. Ситуация, когда область течения может быть неограниченной, рассмотрена в [6]. Вопросы о существовании и единственности ^-слабого решения начально-краевой задачи для модели (1.1), (1.2) при условии пристенного скольжения Навье изучаются в [7]. Доказаны также теоремы существования решений и для других типов неоднородных граничных задач [8]-[11] при выборе различных упрощенных вариантов уравнений движения (1.1). Краевая задача, описывающая теплопереное в потоке раствора полимеров, изучается в [12].

В данной статье рассматривается обобщение модели водных растворов полимеров. В отличие от приведенных выше работ вязкость V предполагается не постоянной, а зависящей от скорости сдвига: V = V(|^£(V)|) где 'Р — некоторый оператор. Если в качестве 'Р взять тождественный оператор, то получаем классическую модель нелинейно-вязкоупругой жидкости [13]. В случае, когда 'Р — оператор усреднения, приходим к модели нелокального типа [14].

Остановимся на случае, когда течение является стационарным, т.е. величины V, ж и f не зависят от времени ¿, и будем предполагать, что жидкость движется внутри ограниченной области П С Кп, Тогда приходим к следующей системе уравнений в П:

На границе П ставится однородное условие Дирихле, что соответствует стандартному условию прилипания жидкости на жестких стенках сосуда:

Главной целью данной работы является нахождение условий, гарантирующих разрешимость краевой задачи (1.3), (1.4). С помощью метода регуляризации посредством введения «исчезающей вязкости» [4], теоремы о разрешимости уравнений а-операторами [15] и предельного перехода, доказано, что данная задача имеет по крайней мере одно слабое решение (V, ж) в декартовом произведении Н*(П) х Ф'(П) в предположениях, что функция вязкости непрерывна и ограничена, оператор *Р£ усиленно непрерывен, а граница области П имеет гладкость класса С3,

Отметим, что в работе [16] на основе теории Коссера исследован одномерный вариант модели нестационарного движения нелинейной вязкоупругой жидкости данного типа.

2. Слабые решения краевой задачи (1.3), (1.4) и главный результат работы

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

Как обычно, N := {1, 2,... }, К := (-то, и К+ := [0,

£ vi-Шух ЦТЕ(V)!)£И + к £ + = f, СНУх V = 0. (1.3)

V = 0 на дП.

(1.4)

Через X : У обозначим скалярное произведение вещеетвенных п х п-матриц X = )

шУ = (Уг^), т.е.

п

X : У := хг,3Уг,3.

В зависимости от контекста | • | обозначает либо модуль вещественного числа, либо евклидову норму вектора или матрицы, в частности,

IX| := (X : X)1/2.

Определим дифференциальные операторы:

д д \ _0 _ _ . А д2

(± v)

vx := Vx(VX)^^vx,...^vx , ..., V := V„(Vr7).

Сопряженное с НЦ(П) пространство обозначпм через Н 7(П),

д _д_

х _ ' дхг,

Пусть

®(П) := [ф:П ^ R | ф е С~(П), suppф С П}. Через D'(П) обозначим пространство распределений на П.

Будем использовать обычные обозначения для пространств Лебега ЬР(П), р е [1, то), и пространств Соболева Нт(П), НЦ(П), т е N, состоящих из функций, заданных П

Для обозначения пространств векторных функций, будем всегда применять жирный шрифт: Lp(n), Нт(П) и т.д.

тт г0

Пусть

V(П) := [ф: П ^ Rn | ф е С~(П), supp ф С П, dn^ = 0}.

Замыкание множества векторных функций V(П) в соболевских пространетвах Н7(П), Н2(П) и Н3(П) дает три основных пространства при изучении краевой задачи (1.3), (1.4); мы обозначим их через У7(П), У2(П) и У3(П), соответственно. В пространстве У7(П) введем скалярное произведение и норму:

(v, w)vm := У £(v) : £(w) dx, ||v||vi(n) := ( J |£И|2 d^j ' .

П П

Из неравенства Корна [13, гл. I, §2.2]

1М|И1(П) ^ с||£И||МП), с = const, Vv е Н0(П),

имеющего фундаментальное значение во многих задачах теории пластичности и упругости, вытекает, что введенная выше норма || • ||Vl(П) будет эквивалентна норме || • ||и1(п)-

В пространстве У3(П) введем скалярное произведение и норму с помощью следующих равенств:

(v, w)vg(n) := J viv : v^w dx + J v2xv • v2xwdx,

ПП

|Mk(n) := (/ |vx^|2 dx + J iv2xVl2 db) 1/2.

П

Лемма 2.1. Пусть дО Е С3. Тогда нормы || • и || • |н3(п) эквивалентны, т.е. су-

ществуют положительные константы К1 и К2 такие, что

^1|«|н3(П) ^ Ь^п) ^ К2ЫН3(П), ^ Е Уз(П). (2.1)

Доказательство. Выполнение правого неравенства из (2,1) очевидным образом следует из определения нормы в соболевском пространстве Н3(П),

Далее, заметим, что в силу классических результатов о свойствах решений стационарных уравнений Стокса с граничным условием Дирихле (см., например, [18, гл. I, §2]), имеет место следующая оценка

Vv Е Уз(П), (2.2)

где PL — проектор Лере, К1 — положительная константа. Поскольку

P l(Ax0) = Ахф

для любой векторной функции ф Е V(П), то из неравенства (2,2) вытекает, что

||ф||Н3(П) ^ К-11 Ахф||Н1(П),

Уф Е V(П).

Последнее неравенство можно продолжить по непрерывности на замыкание V(П) в Н3(П), что приводит нас к соотношению

|| V ||н3(П) ^ К\ | AxV |н1(П),

Vv Е Уз(П).

Отсюда следует левое неравенство из (2,1) с К1 = 1/К1. Лемма доказана. □

Опишем теперь исходные требования, которые налагаются на данные модели (1.3). Предположим, что:

(i) поверхность дП имеет гладкость класса С3;

(ii) выполнено включение f Е Н-1(П);

(iii) функция вязкости v: R+ ^ R+ непрерывна, и существуют «предельные ньютоновские вязкости» щи и^ т.е. 0 < щ ^ и (т) ^ и1 для любо го т Е R+;

(iv) оператор *Р£: У1(П) ^ Ь2(П) является усиленно непрерывным, т.е. из слабой сходимости uk ^ и0 в пространстве У1(П) следует сильная сходимость V£(uk) ^ V£(u0) в Ь2(П) при k ^ то.

Замечание 2.1. В качестве примера, оператора, V, удовлетворяющего свойству (iv), можно взять оператор усреднения [19, гл.1, §1], применение которого в моделях гидродинамики восходит к работам, O.A. Ладыженской.

Определение 2.1. Под слабым решением краевой задачи (1.3), (1.4) понимается пара (v,n) Е У1(П) х D'(n), удовлетворяющая первому уравнению (1.3) в смысле распределений, т.е.

- ¿/ v*v • ^.dx + / ^(l^£(v)|)£(v): £(р) dx - к v£(v): dx

г=1 п п г=1 п

- (Ж, diVx^)D'(n)xD(n) = (f, ^>Н-1(П)хН0(п)

для, любой векторной функции р Е ©(П).

Главный результат данной работы формулируется в виде следующей теоремы существования.

Теорема 2.1. При выполнении допущений (i)—(iv) задача, (1.3), (1.4) имеет хотя, бы, одно слабое решение (v,n) Е У1(П) х ®'(П), причем,

и(|Р£(v)|)|£(v)|2dx ^ (f, v) Н-1(П)хН1(П). (2.3)

п

Доказательство этого утверждения приведено в пункте 5.

3. Разрешимость уравнений с «-операторами

Следуя [15, гл. 2], приведем некоторые сведения об а-операторах, Материал этого пункта играет важную роль при доказательстве теоремы 2,1,

Пусть E — вещественное рефлексивное сепарабельное банахово пространство с нормой || ■ ||е, a E* — сопряженное с E пространство.

Определение 3.1. Говорят, что оператор A: E ^ E* удовлетворяет условию а, если для, произвольной последовательности, {u k С E из слабой, сходимости, u k ^ u0 и неравенства

lim (A(uк), ufc - uo)e*xe ^ 0 следует сильная сходим,ость uk ^ u0 но норме E.

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

Лемма 3.1. Если, A: E ^ E* — a-onepa,mop, K: E ^ E* — усиленно непрерывный оператор, то сумма A + K удовлетворяет условию а.

Лемма 3.2. Если Q: E ^ E* — сильно монотонный оператор, т.е.

(Q(u) - Q(v), u - v)E*xe ^ С||u - v||E, С = const Vu, v G E, mo Q является, а-оператором.

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

Теорема 3.1 (теорема об остром угле). Пусть D — открытое ограниченное подмножество E и 0 G D. Если, отображение A: D С E ^ E* дем,и,непрерывно, ограничено и удовлетворяет условию а и, кроме того, выполняется, неравенство

(A(u) - h, u)E*xe > 0, Vu G дD, то уравнение A(u) = h имеет хотя, бы, одно решение uh G D.

4. Разрешимость семейства регуляризованных задач

Следуя подходу, принятому в [4] (см, также [6]), рассмотрим однопараметрическое семейство регуляризованных задач: при заданном т G N требуется найти векторную функцию v m G V3 (П) такую, что

1 l'i . 1 t'o _о . ^ I' dw

— I V^Vm : V£w dx +--VXv т ■ V£w dx - > I VmiVт ■ TT" dx

ml ml ^ I oxi

J Vivm Viw dx - ^ J

П г=1 П

^У V(\VS(Vm)\)£(v m): £(w) dx

П

^ f d£ (w)

J Vmi £ (Vm) : dx dx = (/, ^)И-1(П)ХИ1 (П)

=1 П

ДЛЯ любого 'Ш Е Уз (П),

Лемма 4.1. При, выполнении допущений (^-(Ь') задача, (4,1) имеет по крайней мере одно решение Vт Е У3(П) и выполнено неравенство

— 1Ы1\Гз(П) + "ЛЪт^ Х(П) ^ (/, Ют)н-1(П)хИ0 (П). (4-2)

Доказательство. Введем в рассмотрение операторы Am, Bi, B2, B3, B и J: Am : Уэ(П) ^ V*(П),

<Am(w),w>vi(n)xV3(n) := — I V^v : VX'dx + — / V^v VX'dx,

3 m J m J

n n

Bi : V2(^) ^ V*(П), <Bi(v), ^>v*(n)xV3(n) := - ^ J vtv • ^ dx,

i=i n i

B2 : V2(^) ^ V*(П), <B2(v),^>v*(n)xV3(n) := / Kl^(v)|)£ (v) : £(')dx,

B3 : V2(^) ^ V* (П), <Ba(v),^>v*(n)xV3(n) := -« J vz£ (v) : ^^dx,

= n

dx,-

В: У2(П) ^ У*(П), В := В1 + В2 + В3, J: Уз(П) ^ У2(П), J(v):=v, и запишем задачу (4,1) в эквивалентной форме

Ат(-ут) + В о J(vm) = /. (4.3)

Ясно, что оператор Ат непрерывен и имеет место равенство

(Ат(и) - Ат(и),« -и) =— I |У£(« -и)|2йж + — I |У£(« -и)|2йж

т ^ т ]

п п

Тогда, согласно лемме 3.2, этот оператор удовлетворяет условию а.

Так как вложение Н3(П) С Н2(П) компактно, то компактно и вложение У3(П) С У2(П), Поэтому оператор J усиленно непрерывен.

Покажем, что оператор В непрерывен, Сначала рассмотрим первое слагаемое В^ Возьмем последовательность векторных функций такую, что щ ^ и0 сильно в У2(П) при I ^ то, Отсюда, в частности, следует, что щ ^ и0 то норме пространства Ь4(П) (см, [17, гл. 6]), Нам нужно установить, что В1(и1) ^ В1(и0) сильно в У*(П) при I ^ то. Пусть ' — произвольная векторная функция из пространства У3(П). Поскольку

(В^) - В1(ио), ')у*(П)хУз(П) = - ^ У иаие • — ¿Ж + ^ у иогПо • ¿Ж

i=i n i=i n

^ У (uoi - u£i)ui • — dx

П r.

+ £/

i=i ^

uoi(uo - ui) • dx, OXi

n

то, применяя неравенство Гёльдера, можно вывести следующую оценку:

|<Bi(ui) - Bi(uo),'>V* (n)xV3(n)| ^ С ||ui - Uo||l4 (H)max{||ufc ||l4 (Œ) : k = 0,1, 2,... }||w||V3(n),

с некоторой независящей от индекса l константой С. Следовательно,

||Bi(ui) - Bi(uo)||V*(n) ^ С||ui - Uo|L4(n) max{|ufc||L4(n) : k = 0,1, 2,... } ^ 0 при l ^ то, т.е. имеем сильную сходимость Bi(ul) ^ B^uo) в V*(Q).

Используя аналогичные рассуждения, можно установить также непрерывность операторов Б2 и Б3,

Таким образом, сумма операторов Б = Б! + В2 + Б3 непрерывна, а композиция Б о J является усиленно непрерывной. Применив лемму 3,1, заключаем, что отображение Am + Б о ^удовлетворяет уеловию а.

Заметим, что

(АтИ,^(п)хУз(п) = ^ 1М|^з(п). (4-4)

Кроме того, используя интегрирование по частям, получаем, что

V- I и 1 ^ / °Н2 и

г-1 п г-1 п

--1 [(V ■ п)^|2 Их - 1 I Их = 0,

(4.5)

дП П

2

^ f \ д£(V) , 1 ^ [ 91£(v)|2

^(V): ^Г Их =2 * Их

г-1 п »-1 ^

=2 /(V ■ п)|£(v)|2 Их - 2 У(divxv)|£(v)|2 Их = 0,

дп п

(4.6)

где символ п обозначает внешнюю нормаль к поверхноети дQ. Поэтому с учетом допущения (111) выводим оценку:

(Б о J(v),v}v■ti(п)хvз(п) > ^М^П). (4.7)

Из соотношений (4.4) и (4.7) следует, что

(Ат('и) + Б о ОД^^П^з^) ^ ^ ^^(П). Поэтому нетрудно вывести оценку

(Ат('и) + Б о ад - f ^}^(П^з(П) ^ ^ ^^(П) - (/, ^(П^з(П)

^ |Мкз(П) Ч^ |к*(П)) |Мкз(П) > 0

при условии, что

^^(п) > И(П).

Применив теорему 3.1 к (4.3), убеждаемся в том, что задача (4.1) имеет решение vm в шаре С У3(П) с центром в 0 и радиусом Д при любом К > т,^||^*(П). Оценка (4.2) получается путем подстановки = vm в (4.1) с учетом равенств (4.5) и (4.6), в которых следует взять v = vm. Лемма доказана. □

5. Доказательство теоремы 2.1

Рассмотрим — последовательность решений семейства задач (4.1). Из оцен-

ки (4.2) следует, что

^ № |И-1(П)|^Ут|и1(П) ^ С||f ||Н-1(П) ! vm| Vl(П), С = СО^,

и, стало быть,

^^(П) ^ С\ 1|f |Н-1(П)

Поэтому, не ограничивая общности, можно считать, что

vm ^ V слабо в У1(П) при т ^ то, (5,1)

vm ^ V то норме Ь2(П) при т ^ то (5,2)

для некоторой векторной функции V го пространетва У1(П), Здесь мы использовали компактность вложения Н1(П) С Ь2(П) (см, [17, гл. 6]),

Кроме того, принимая во внимание условие (гу), получаем

*Р£) ^ *Р£(V) то норме Ь2(П) при т ^ то, (5,3)

откуда следует, что

*Р£(vmfc) ^ *Р£ (V) п. в. на П при к ^ то

для некоторой подпоследовательности {т&}£_1. Без ограничения общности можно предполагать, что

*Р£(vm) ^ *Р£ (V) п. в. па П при т ^ то. ^({РЕ(vт)|) ^ ^(\РЕ(v)|) п. в. па П при т ^ то

и, следовательно,

I 12

1ь'(\РЕ(vm)|) - ь'(\РЕ(V)|)| ^ 0 п. в. на П при т ^ то. (5,4)

применить теорему Лебега о мажорируемой сходимости к последовательности функций Цр(\Р£^т)|) - р(\Р£(V)|)| }Получаем, что из поточечной сходимости (5,4) следует, что

ь>(\Р£(vm)|) ^ »(\Р£(v)|) то норме £2(П) при т ^ то. (5,5)

Возьмем теперь произвольную векторную функцию ф Е V(П), Поскольку vm — решение (4,1), имеем, что

J У^т : У^ф ¿Ж + VXVт • У^ф ¿Ж - ^ ! Ут^т • ^ ¿Ж

п п _1 п

+ / и(УР£ ^т)|)Е (^т) : Е

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

П С —Е ("ф)

^Е('Ут) : дх ¿Ж = (/, ф)И-1(П)хИ1(П).

п

Применим соответствующее количество раз формулу интегрирования по частям к первому и второму слагаемым из левой части последнего равенства:

1 1\. , 1 Л. ^ Г.. .. —"

--I Vm • Ухф ¿Ж +--I Vт • Ухф ¿Ж - У^ / Ьт^т • ТТ" ¿Ж

тЗ т} дхг

п _1 п

+ ! и(УРЕ | )Е (^т): Е (ф)^Ж (5-6)

п

- « ^У ЪтгЕ (Рт) : ——Х~ = , Ф)Н-1(П) хН^(П).

Воспользовавшись (5,1), (5,2) и (5,5), осуществим предельный переход в равенстве (5,6) при т ^ то:

^J VlV ^ + / ^^ (V)D£(V) : f W dX

%=1 П П

^ Л ЛГ» / ( \

п

В силу теоремы де Рама (см, [18, гл. I, п, 1.4]), из равенства (5,7) следует, что найдется ж € такое, что выполнено первое уравнение системы (1.3) в смысле распределений.

Тем самым установлено, что пара (у,ж) является одним из слабых решений краевой задачи (1.3), (1.4).

Далее, подставим = vm в (4.1). Поскольку третье и пятое слагаемые в левой части полученного равенства равны нулю, то нетрудно видеть, что

vm) 1) 1 £ (vm )|2ах ^ </

п

Переходя к нижнему пределу при т ^ то, находим, что

ИШ и (11Т£ ^тШ^ ^т)|2^х ^ </ ^Н-^хН* (П). (5-8)

п

Рассмотрим теперь последовательность матрнчнозначных функций

(\ТЕ Ы1)£ ^т)| " .

I J т=1

Из (5.1) и (5.3) следует, что

у/и(УР£^т)1)£(Vm) ^ у/й(ХРЩу)\)£(V) слабо

в Ь2(П) при т ^ то.

Поэтому выполнено неравенство

^ЦТ£(v)|)|£(v)|2dx ^ lim и(\VE(vm)|)|£(vm)|2dx

J т^ж J

ПП

которое вместе с (5.8) очевидным образом приводит нас к оценке (2.3). Таким образом, теорема 2.1 полностью доказана.

СПИСОК ЛИТЕРАТУРЫ

1. В.А. Павловский. К вопросу о теоретическом описании слабых водных растворов полимеров // Докл. АН СССР 200:4. 809-812 (1971).

2. А.П. Осколков. О разрешим,ост,и в целом, первой краевой задачи, для одной квазилинейной системы 3-го порядка, встречающейся при изучении движения вязкой жидкости // Зап. научн. сем. ЛОМИ. 27. 145-160 (1972).

3. А.П. Осколков. О единственности и разрешимости в целом, краевых задач, для, уравнений движения водных растворов полимеров // Зап. науч. сем, ЛОМИ. 38. 98-136 (1973).

4. А.П. Осколков. О нестационарных течениях вязко-упругих жидкостей // Тр. МИЛИ СССР 159. 103-131 (1983).

5. Г.А. Свиридюк. Об одной модели динамики слабосжимаем,ой, вязкоупругой жидкости // Изв. вузов. Матем. 1. 62-70 (1994).

6. A.B. Звягин. Исследование разрешимости стационарной модели движения слабых водных растворов полимеров // Вестн. ВГУ, серия: физ.-матем. 1. 147-156 (2011).

7. E.S. Baranovskii. Global solutions for a model of polymeric flows with wall slip // Math. Meth. Appl. Sci. 40:14. 5035-5043 (2017).

8. O.A. Ladvzhenskava. On the global unique solvability of some two-dimensional problems for the water solutions of polymers // J. Math. Sci. 99:1. 888-897 (2000).

9. E.S. Baranovskii. Flows of a polymer fluid in domain with impermeable boundaries // Comput. Math. Math. Phvs. 54:10. 1589-1596 (2014).

10. М.А. Артемов, E.C. Барановский. Граничные задачи для уравнений движения полимерных жидкостей с нелинейным условием проскальзывания вдоль твердых стенок // Тр. ИММ УрО РАН 21:1. 14-24 (2015).

11. E.S. Baranovskii. Mixed initial-boundary value problem for equations of motion of Kelvin-Voigt fluids // Comput. Math. Math. Phvs. 56:7. 1363-1371 (2016).

12. M.A. Artemov, E.S. Baranovskii. Solvability of the Boussinesq approximation for water polymer solutions 11 Mathematics 7:7. Article ID 611 (2019).

13. В.Г. Литвинов. Движение нелинейно-вязкой жидкости. М.: Наука. 1982.

14. А.С. Eringen. Nonlocal Continuum Field Theories. Springer Verlag: New York. 2002.

15. И.В. Скрыпник. Методы исследования, нелинейных эллиптических граничных задач. М.: Наука. 1991.

16. F. Carapau. One-dimensional viscoelastic fluid model where viscosity and normal stress coefficients depend on the shear rate // Nonlinear Anal. Real World Appl. 11:5. 4342-4354 (2010).

17. R.A. Adams, J.J.F. Fournier. Sobolev spaces. Amsterdam: Elsevier. 2003.

18. P. Темам. Уравнения Навье-Стокса. Теория и численный анализ. М.: Мир. 1981.

19. О.А. Ладыженская. Математические вопросы динамики вязкой несжимаемой жидкости. М.: Наука. 1970.

Михаил Анатольевич Артемов, Воронежский государственный университет, Университетская пл., 1, 394018, г. Воронеж, Россия E-mail: artemov_m_a@mail.ru

Юлия Николаевна Бабкина, Воронежский государственный университет, Университетская пл., 1, 394018, г. Воронеж, Россия E-mail: poiais.vsu@gmail.com

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