Научная статья на тему 'О существовании сильных решений регуляризованных уравнений смеси вязких сжимаемых жидкостей'

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

CC BY
40
8
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СМЕСЬ ВЯЗКИХ СЖИМАЕМЫХ ЖИДКОСТЕЙ / КРАЕВАЯ ЗАДАЧА / СИЛЬНОЕ РЕШЕНИЕ / MIXTURE OF VISCOUS COMPRESSIBLE FLUIDS / INHOMOGENEOUS BOUNDARY VALUE PROBLEM / STRONG SOLUTION

Аннотация научной статьи по математике, автор научной работы — Кучер Николай Алексеевич, Жалнина Александра Анатольевна, Малышенко Ольга Владимировна

Математические модели многоскоростных континуумов, посредством которых описываются движения многокомпонентных смесей, представляют собой обширную область современной механики и математики. Математические результаты (постановка задач, теоремы о существовании и единствености, свойства решений и др.) для таких моделей достаточно скромны по сравнению с результатами для классических однокомпонентных среда. Настоящая работа имеет своей целью в какой-то мере восполнить этот пробел и посвящена исследованию глобальной корректности краевой задачи для нелинейной системы дифференциальных уравнений, являющейся некоторой регуляризацией уравнений движения смеси вязких сжимаемых жидкостей. Построение решения рассматриваемой в этой статье задачи является ключевым этапом для математического анализа исходной модели смеси, поскольку позволяет посредством предельного перехода получить глобально определенные решения последней. Алгоритм построения решения регуляризованной задачи носит конструктивный характер, основанный на процедуре конечномерной аппроксимации бесконечномерной задачи и поэтому на этой основе может быть построен математически обоснованный алгоритм численного решения краевой задачи о движении смеси вязких сжимаемых жикостей в области, ограниченной твердыми стенками.

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

Похожие темы научных работ по математике , автор научной работы — Кучер Николай Алексеевич, Жалнина Александра Анатольевна, Малышенко Ольга Владимировна

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

On the existence of strong solutions to regularized equations of viscous compressible fluid mixtures

Mathematical results (statements of problems, theorems on the existence and uniqueness, properties of solutions, etc.) on models of multi-velocity continuums by which the motion of multicomponent mixtures is described are rather modest in comparison with results on classical one-component media. This paper aims to fill this gap to some extent and is devoted to the study of the global correctness of the initial boundary value problem for equations of unsteady spatial motions of a mixture of viscous compressible fluids. This paper is the first part of an extensive research that studies regularization of a mathematical model for unsteady spatial flows of a viscous compressible fluids mixture. The construction of the solution of the regularized problem is the key step for the mathematical analysis of the original mixture model because it allows to obtain globally defined solutions of the latter by passing to the limit. In addition, the proposed algorithm for constructing solutions to the regularized problem is constructive. This algorithm is based on the procedure of finitedimensional approximation of the infinite-dimensional problem and the result is a mathematically well-grounded algorithm for the numerical solution of the boundary value problem of the motion of a viscous compressible fluids mixture in the region bounded by solid walls. The local time solvability of finite-dimensional problems is proved by applying the contraction mapping principle. With the help of a priori estimates, the possibility to extend the local solution for an arbitrary period of time, as well as the possibility of a passage to the limit to an infinitedimensional problem is established. Finally, we obtain the result on the existence and uniqueness of a globally defined strong solution to the regularized problem.

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

2020 Математика и механика № 64

удк 517.9 msc 35d35, 35q35, 35b65

doi 10.17223/19988621/64/3

Н.А. Кучер, А.А. Жалнина, О.В. Малышенко

О СУЩЕСТВОВАНИИ СИЛЬНЫХ РЕШЕНИЙ РЕГУЛЯРИЗОВАННЫХ УРАВНЕНИЙ СМЕСИ ВЯЗКИХ СЖИМАЕМЫХ ЖИДКОСТЕЙ

Математические модели многоскоростных континуумов, посредством которых описываются движения многокомпонентных смесей, представляют собой обширную область современной механики и математики. Математические результаты (постановка задач, теоремы о существовании и единствено-сти, свойства решений и др.) для таких моделей достаточно скромны по сравнению с результатами для классических однокомпонентных среда. Настоящая работа имеет своей целью в какой-то мере восполнить этот пробел и посвящена исследованию глобальной корректности краевой задачи для нелинейной системы дифференциальных уравнений, являющейся некоторой регуляризацией уравнений движения смеси вязких сжимаемых жидкостей. Построение решения рассматриваемой в этой статье задачи является ключевым этапом для математического анализа исходной модели смеси, поскольку позволяет посредством предельного перехода получить глобально определенные решения последней. Алгоритм построения решения регуляризо-ванной задачи носит конструктивный характер, основанный на процедуре конечномерной аппроксимации бесконечномерной задачи и поэтому на этой основе может быть построен математически обоснованный алгоритм численного решения краевой задачи о движении смеси вязких сжимаемых жи-деостей в области, ограниченной твердыми стенками.

Ключевые слова: смесь вязких сжимаемых жидкостей, краевая задача, сильное решение.

Пространственное движение бинарной смеси вязких сжимаемых жидкостей описывается системой уравнений [1]

dt(рг.и(i)) + div(p;M(i) ® u(i)) + Vp. = divct(0 + J(i); (1)

dt (p.) + div(PiU(i)) = 0. (2)

Здесь p.,pt, U(i), i = 1,2, соответственно плотность, давление, скорость компонент смеси - искомые функции времени t и точек x = (x1, x2, x3) евклидова пространства R3. Тензоры вязких напряжений a(i), i = 1,2, задаются равенствами

2

CT(i)

(иа),и(2)) = Х[2ЦуD(u(j)) + divu(j) • I],

1 =1

Б(и) = 2(чй + (Чи)ТI - единичный тензор, (3)

в которых (постоянные) коэффициенты вязкости ц. , Х. , г,. = 1,2, таковы, что матрицы

{ц.. }2 и {Х. + 2ц.. }2 положительно определены. (4)

^ г, 1—1 ^ з ^ ^ г, 1—1

Предполагается, что давление pi и плотность р; в i-й компоненте связаны соот-

у. -(i)

ношением p. = р.1 , где у. >1 - показатель адиабаты. Слагаемые J ', характеризующие интенсивность обмена импульсом между компонентами смеси, определены по формуле [2, 3]

J(1) = (-1)1+1.a(u(2) -u(1)), a = const > 0, i = 1,2. (5)

Рассмотрим задачу о движении смеси в ограниченной области QcR3, граница dQ которой является неподвижной непроницаемой стенкой. Тогда краевые условия на границе dQ выражаются соотношениями

и(1)=0 на (0,T)xdQ, i = 1,2. (6)

В начальный момент t = 0 распределение плотностей и импульсов предполагается известным:

Pi 11=0 = р0 , Pi*0') |t=0 = q(i) |t=0 = ?0° е Q i = 1,2. (7)

Глобальные теоремы существования и результаты о стабилизации решений для нестационарных уравнений многоскоростных континумов вида (1) - (5) в настоящее время получены только в случае одномерного движения с плоскими волнами, когда решение зависит лишь от одной пространственной переменной [3-5]. Первые результаты для модели смеси в приближении Стокса в случае более одной пространственной переменной получены авторами [6, 7]. В [8] проведено исследование так называемой квазистационарной модели смеси сжимаемых жидкостей в ограниченной области со специальными граничными условиями. В работе [9, 10] приведено стационарное решение первой краевой задачи для полных уравнений (1) - (5) в случае трех пространственных переменных, а в [11] - доказательство существование слабых стационарных решений системы уравнений смесей вязких жидкостей с учетом теплопроводности.

Вспомогательные предложения

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

Пространства непрерывных функций и пространства Соболева. Пусть QcRn - открытое ограниченное множество. Символ D(Q) обозначает пространство основных функций, а D'(Q) - пространство распределений (обобщенных функций) на Q . Через Сm,e (Q), m > 0 - целое, р е (0;1] обозначим линейное пространство функций, определенных на замыкании Q и обладающих всеми частными производными до порядка m включительно, непрерывными в Q по Гельдеру с показателем р . Функция u ^|M|cm,P(Q),m = 0,1,...;Ре(0;1],

\D au (x)- D au (y )|

x|<mxeQ |a|=m x yeQ, y |x - y|

(q) = S sup|Dau (x)) + S sup --j---, где Da обозначает

gl<\

любую производную u (x) по x вида-, |a| = aj +... + a является нор-

ex!1 — dx!

мой в линейном пространстве Ст,в (О), называемым пространством Гельдера;

Ьр(О) - банахово пространство, состоящее из всех измеримых на О функций, суммируемых по О со степенью 1 < р < да. Норма в нем определяется равенст-

у/р

вом \Щ\тр(Q) =| | \u (x)|p dx

IIlp (q)

vQ

. Измеримость и суммируемость понимается всюду

в смысле Лебега. Ж1,р (О) (1 > 0 - целое, р > 1) - банахово пространство, состоящее из всех элементов Ьр (О), имеющих обобщенные производные всех видов до порядка 1 включительно, суммируемых со степенью р. Норма в Ж1,р (О)

у/р

если 1 < р < да и

определяется равенством ||u||Wi,p(Q) = | ^ ||

D «u\\P

an" lliP(Q)

|UHW'.»(Q) = max Dau да = max{esssup Dau(x)lдля p = да.

1 ' M<l 11 llL (Q) H<l ( xeQ 1 4

W01,p (Q) - замкнутое подпространство пространства W1,p (Q), плотным множеством в котором является совокупность Сда (Q) всех бесконечно дифференцируемых финитных в Q функций.

Для функций, зависящих от x eQc Rn и t e (0, T) = I, используются анизотропные функциональные пространства. В общем случае, если X - банахово пространство с нормой u ^ ||u||X , то через Lp (I,X), p > 1, обозначается пространство (классов) функций t ^ u (t): I = (0, T) ^ X, измеримых, принимающих

f T y/p

значения из X и таких, что |||u (t )|jp dt = ||u||Lp (IX) <да. Если p = да, то эта

v о /

норма заменяется нормой esssup||u(t)||X = ||u(t)||,. Нормированное простран-

te(0,T) ( , )

ство Lp (I, X) является полным.

В статье используются, в частности, пространства Lp (I,Wl,q (Q)), 1 < p <да,

fT yVp _

l > 0, с нормой |u||Lp(,Wi,q(Q))= |||u (t)|ijpl,q(Q) dt , С (I,X) - банахово про-

v 0 /

странство функций t ^ u (t): I = [0, T] ^ X, непрерывных, принимающих значения из X и таких, что ||u|L0/т- „А = max llu (t)|L < да .

С (,X > 0<t<T X

Через Er0,' (Q) обозначим замыкание множества D (Q) по норме g Ert = llgll L(Q)+lldivg\\l'(q) ^ Yn : ф ^Y0 (ф)-n (где Y0 - оператор слеДа, а

n - единичный вектор внешней нормали к границе dQ области Q) есть линейный ограниченный плотно определенный в D (Rn) оператор из Ep,p (Q) в

I А/

W Р (дО)

,—+— = 1. Значение уп (ср) обычно обозначается через Р Р'

(ф'п.

Пространства со слабой топологией определяются так: С0 (I,^„еак) = { и :I Xи)х* х е С0 (I), V V е X*}, X* - сопряженное пространство к X; (V, и)х* х = V (и). Топология в этом пространстве индуцирована слабой топологией в X.

Области. Пусть АсЯп - ограниченная область, т > 0 - целое число и Ре(0;1]. Мы говорим, что граница дО этой области (или соответственно О)

принадлежит классу Ст,в, обозначая, что дО е Ст,в, если имеет место следующее свойство: для каждой точки х0 е дО существует окрестность и этой точки

в Яп, декартова система координат у = (у1,у2,...,уп-1,уп) = (у,уп) с центром в х0 и функция пе Ст,в (Вп-1),Вп-1 = {{у| <1} такие, что в новых координатах их0 пдО = {у: уп =п(у),у еВп-1}. Другими словами, граница дО есть график

функции класса Ст,в в окрестности каждой ее точки.

Постановка задачи и основные результаты

С целью построения обобщенного решения задачи (1) - (7) рассмотрим ее регуляризацию:

д{ (рги(0) + Шу(рги(г)® и(0) + У(ргУг) + 5У(ргРг') + еУи(г) • Ург = Шуст(г) + У('),

в 0>Т = (0,Т) хП; (8)

д( (рг) + div(рlu(l)) = еДр., в д; (9)

р,.|(=0= р0, рг«(г)Ч 0г), в О; (10)

и(г) = 0, на (0,Т) хдО; (11)

Ург • П = 0, на (0, Т) хдО,. = 1,2, (12)

где е > 0 , 5 >0 - малые параметры, а величины р.,. = 1,2 выбираются достаточно большими. Уравнения (9) дополнены однородными граничными условиями Неймана (12).

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

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

Теорема 1. Пусть коэффициенты и Я. удовлетворяют условиям (4) и по-

3

казатели адиабаты у. . = 1,2. Пусть параметры е, 5, р. выбраны так, что е > 0, 5 > 0, р. > 15, . = 1,2. Пусть О - ограниченная область класса С2,0,

бе (0,1] и 0 <р<р0 <р<да, р0 е Ж1,да (О), д 0г)£ ¿2 (О). Тогда существует

сильное обобщенное решение задачи (8) - (12), рг е,иЕг), рг- е = рг е5 , иЕг^ = иЕд, ! = 1,2, обладающее свойствами:

(!) р,е е С °(7, %еак (О)), р,.Е е С 0(7, Ьр (О)) п +1(Т), 1 < р < Рг.

рг Е > 0 п.в. в Отт, р1еРг е I2 (I, Ж1,2 (О)),

5ß1-3

5(рг,Ее L 4ßi (QT ), Dap,

Г 5ßi -3 \ L 4ßi (Öt )

| а |= 2,

«e(i) e L2(IX,2(Q)), p,E«E(i) e С0

Г ^ У ', L^ (Q)

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

? Ei ^ L2

Г у

I, Lßi +6(Q)

Г У

I, L4+3(Q)

v /

5ß,-3

VmE!) -Vp,E e L 4ßi (ÖT ), Vp,E, P,eUE° e L 4ß

р^) |2e Г(I,L'(O))nL

5ß,-3 Г 10ß,-6 5ß, -3 у

I, ^+3' 4ß, (Q)

fPi ,E dX = jP0 dX

(и) Уравнения (8) выполнены в пространстве распределений Б'(ОТ):

5 ( (Pi, Е и Ег)) + div(p, E U Ег) ® u Ег)) + V(pYe + SpßE ) = Y^rj AU Ej)+

j=1

2

)V divU Ej ) -E(Vpr,E-V)m Er ) + (-1)r+1 a(u E2) - и E1)),r = 1,2.

j=i

(iii) Уравнения

d jp^dx fpiEU^V^-dx + eJVp,,E • V^dxdt = 0, n, e Сœ(M3), i = 1,2,

Q

dt-

Q Q

выполнены в D'(I).

(iv) Выполнены следующие соотношения:

lim [PiE(Ond* = [рг°пА, П 6 со (Q)

lim fPiE« E°(t)ф(i)dx = fq0г)-ср(i)dx, ф(i)e С0(Q).

• V Г) , J ' J

t ^0 +

(у) Если 5 е (0,1), то имеют место следующие оценки, равномерные относительно параметра е:

2

3№1и,Ж1,2(П)) * 1(е5,о), кеЦ^(^ О) * ^' 4,оХ

г =1

^ (□)) * Щ» ^До) г =1,2; (13)

^РгЛь2(вт) *¿(5,рг,р0,<?0г)), г = 1,2, ||рг,е |гЕ(° *¿(4,о), г = 1,2 ; (14)

(,))*Ц^оХ г =1,2, *Ц^оХ г = 1,2; (15)

брг 10Рг--б

М'^Ма,) *Де5,оХ г =1,2, М!^) *^5,оХ г = 1,2; (1б)

10Рг- -б 5р. -3

е^А зрг +3 (ет) *¿(4,о), г = 1,2, е||Ург,е ^йе0^^) *Д4,о), г = 1,2. (17)

2

Здесь величина E5 0 =

к=1ц

1 k ) |2 (р0 ) S(P0 )

— р0 Mq +—--+— — —i "х определяется на-

21 1 Yk -1 Pk -1

чальными данными; L - положительная постоянная, независящая от е. Более того, если параметр 5 не указан в аргументе L, то L не зависит также от 5 .

Объем статьи не позволяет изложить доказательство теоремы 1 в деталях. Поэтому мы ограничиваемся описанием общей схемы доказательства и более подробно приводим его ключевые моменты.

Аппроксимация Фаэдо - Галеркина вспомогательной задачи (8) - (12)

В этом разделе мы построим схему аппроксимации регуляризованной задачи (8) - (12) посредством конечномерных задач. Изучим локальную, а затем глобальную по времени разрешимость этих задач. Далее, используя априорные оценки решений уравнений Галеркина, докажем возможность предельного перехода, в результате чего получим сильное обобщенное решение задачи (8) - (12) .

Предварительные предложения

Выберем систему достаточно гладких функций (фг- , образующую орто-

нормированный базис в (L2 (Ц))3, а также ортонормированный базис в (W01,2 (Ц))3 (с подходящим образом выбранным скалярным произведением).

Рассмотрим последовательность конечномерных евклидовых пространств Xn

со скалярным произведением (,) = (,)X , определенных как Xn = span }г"=1, (и,v) = |и • vdx, и,v е Xn, и заметим, что все нормы на Xn и, в частности,

Ц

Wk, p (Ц) -нормы, k = 0,1,... , 1 < p < да эквивалентны.

Обозначим через Рп ортогональный проектор из (£2(О))3 в Хп [12]. Пусть дана функция я е С 0(1, ¿(О)), д^ е 1}(ОТ), еввшГ Я (¿, х) > а >0. Так как ото-

(г, х )еот

бражение л ^ 1 (Л) = {я (г)! • лёх является ограниченным линейным функциона-

О

лом на Хп и 11 (Л) |<|| г? || да(О)11 и || да(О) {я(О^х, то по теореме Рисса его можно

О

представить в виде скалярного произведения (Мяу, Л), М^) е £ (Хп, Хп). Тем самым для всех г е I определено линейное отображение Мяу): Хп ^ Хп, (МЯУ, Л) = {я (г)! • Лёх, V, Л е Хп , обладающее свойствами

О

|| М(*) |£(Х ,х )< с(п){Я(^)ёх, г е I.

^ п О

Обратный оператор существует для всех г е I , и при этом справедлива оценка

, 1

||£(Хп,Хп)< а

Лемма 2. Пусть я е Ж 1,1(ОТ), еББшТ Я (г, х) > а >0 . Тогда справедливы соот-

||M-t )||L------</1,1,

(г, х )еОТ

ношения

д((М^у, Л) = -(М^Мэ^М^у, Л), в £>'(I), V, л е Хп, д((М-1у,Л) = -(М-1МЭ(яМя1у,Л) + (М-1д<у,Л), в Б'(1), V е С 1(1,Хп), Л еХп.

Уравнение неразрывности с диссипацией Рассмотрим уравнение

д(р + йп>(ри ) = еДр в ОТ, (18)

дополненное начальным условием

р(0) = Р0 в О (19)

и граничным условием

дпр = 0 на I хдО. (20)

Здесь р(г, х), г е I, х е О - искомая функция, О - ограниченная область, е >0 -заданная постоянная, р0 - заданная функция и и (/, х) - заданное векторное поле, обращающееся в нуль на границе области О .

Лемма 3. Пусть 0<0<1, О - ограниченная область класса С2,0,

0< р<р < да и р0 е Ж1,да (О), р<р0 <р. Тогда существует однозначное отображение Б : 1да(I,(Ж01,да(О))3) ^С0(Т,Ж 1,2(О)), такое, что: • Бр0 (и) е ят = {р: ре ¿у 2,р (О)) п С 0(Т,W1,р (О)), д( ре Т}(1, И (О)) 1 < р < да};

• Функция р = £ (и) удовлетворяет уравнению (18) п. в. в 0>т , начальному

условию (19) п. в. в О и граничному условию (20) в смысле следов п. в. в I;

• Имеет место оценка

p-exp I -1| и(т)||1/я ¿xj< [Spo(«)](i, x) <p-exp |} || м(х)||1ш dx |, t e I, x eQ;

■ Если || и || œ 1 œ

Xю (I Ж1*3 (Q))

< K , где K > 0 , дао

||Sp0(")||L-(I(,W1,2(Q))< c||Po||i,2 -exp[C(K + K2)t |, It = (0,t), t e I ; (21)

|| V2Sp (и)||2 _

p0v "i2(et) s

< c-St I

s

< rit |l

Po 111,2 -K -exp|C(K + K2)t |, t e I ; (22)

|| дA (и)|| 2

11 ' p0V y ni2(ßi ) "■ 0"1-2 2s

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

p0||12 -K - expIe(K + K2)t |, t e I.

(23)

• || [Sp0 (U1) -Sp0(«2)](t)||L2(Q)< c(K,s,T)t || P0 |1,2||«1 -U2 L(I,W1,»(Q)), t e I (24)

Постоянная c в неравенствах (21) - (23) зависит только от Q (в частности, она не зависит от s,K,T,p0,и ). Детали доказательства леммы имеются в [12].

Приближения Галеркина Для произвольного выбранного T' e (0, T] ищем вектор-функции

и (i)e C0(7,Xn), I' = (0, T'), i = 1,2, удовлетворяющие уравнениям

JP (t)и(i)- cpdx - Jq 0i)-cpdx = J J

0Q

¿цу.AU(+ Ц/)VdÎYM(j)-

j=1

j=1

^ргУг -5Vpfг - Шу(рги(г)® г!(г))-е(Vpг (г)+ (-1)г+1 • а(и(2)- г? (1))]ср dxdт,

г = 1,2, ?еI', среХ„, (25)

где р.(?) = [£ о (" (г))](?) - решение задачи (18) - (20), построенное в лемме 3. Уравнения (25) представим в виде

í

(М. (,М(г), ср) х„ - (РЯо), ср) х„ = | (Р[ N (£р0 (и(г)), и (1), и(2))], ср) ^ d т,

где Ni (pi, г!(1), г!(2)) = ¿цу. Am ( j ) + ¿(X j + цу. ) V div г!( j ) - V(p p ) - 5V(pfi ) -j=1 j=1

- div(pM(г)® г!(i ))-s(Vp,-V)u (i ) + (-1)+1 - a(u(2) - и(1)), i = 1,2, и, следовательно, можем записать их в операторной форме

-1

u(1 )(t) = Mr1 () т <jpq0!) + l>

() [V*0)]?) I 0 J0

N (s0(m(i)),и(1),u(2))

dt >, i = 1,2. (26)

Существование локального решения уравнений (26)

Лемма 4. Найдется такое Т' >0, что на промежутке 0< / < Т' существует единственное решение и (г)е С((0, Т'), Хп), г = 1,2, системы уравнений (26).

Доказательство леммы 4 основано на использовании принцпа сжимающих отображений.

Существование глобального по времени решения уравнений (26)

Теорема 5. На любом конечном промежутке 0< / < Т система уравнений (26) имеет единственное решение в классе С 0((0, Т), Хп).

Доказательство. Отметим, что возможность продолжения локального решения, построенного в лемме 4, на произвольный конечный интервал (0,Т) следует

из ограниченности в пространстве С 0((0,Т), Ь2(О)) семейства решений уравнений (26). Действительно, располагая оценкой

1С 0( I ,£2(О))

(г) 11 2 Олл < С = const, г =1,2, (27)

мы получим

||,7(г) -У(1)|| < с + -^Пя^П У(1) = М-1Ра(г)

* с0( 1Х ^ р0 г2(О)' * р0 гпЧ0 ■

С (1, Хп) р (О) рг

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

(,( Л Л2\

¿1И - V*0' )1 С0( 1,Х) Г <[е [ С+1 *

г=1 п

1/2

р.. - № (О)

= К,.

г =1

\ / Таким образом, решение системы уравнений (26) априори принадлежит шару Т (V*), V* = (V*:),у *2)), и поэтому, выбирая в качестве радиуса К шара ВК Т

число К1 > 1С 1, мы за конечное число шагов продолжим локальное решение уравнений (26) на произвольный конечный промежуток времени [0, Т].

п

Докажем теперь (27). Пусть и(г)= и Пх) = )(t)v^у (х) е С0(1,Хп) - реше-

1 =1

ние уравнений (26), которые в данном случае удобнее представить в форме (25). Для каждой базисной функции ук (х), к = 1,.. п, из (25) (после дифференцирования по t) получаем тождества

[рги(г)- ук (х)ёх = [\divcW - У(рр) - 5У(ргРг) - Жу(Р1и(г)® и(г)) -

л О

-е(Ур, • У)и(г) + (-1)г+1 а • (и(2)- и(1))] • ук (x)dx, к = 1,2,..., п,

а1уст(г) д«(1)+ (Ч- )у (1)}.

1 =1

Умножая эти уравнения соответственно на С^У) и суммируя по к, получим

— /рг | и(г)|2 dx - /рги(1) — dx = | \-1уст(1') - У(рр) - 5У(рв-) -

— О О д О1

(1)® и(г)) -6(Ур1 • У)и(1) + (-1)1+1 а • (и(2)- и(1)) • и(1)dx. Так как рг (t) = £ 0 (и(1)), г = 1,2, то имеют место следующие тождества:

(28)

| (У(рр), и (1))-х = — dx + еуг /рр 2| Ург |2 dx, г = 1,2; (29)

5/(У(Р!р1 ),и«— = 5-/-£--dx + 5ерг /рв-2 ^ |2 dx; о — о в 1 о

ди(1) ^

(30)

О

/кI -х=- / 2 р. | и °т -х+

дt J dt О 2

+/(-^(и(1)® и(1)), и(1 ))-х + е/((Ург. • V)и(1), и(1 ))-х.

О О

Из соотношений (28) - (31) и неравенства

(31)

-]Г/(-1уст(1),и(0)-х > с0/(^и(1)|2 + |Vи(2)|2)-х

1=1 о о^ '

получаем следующее энергетическое неравенство на решениях уравнений Галер-кина (26):

- /Е

01=1

1

7(1) I

5 Л

-р,\и'А +

2 4 1 У, -1 Р, -1

-х + с0 IIIVи(1)|2 + ^и(2)||X

о

+е/Е(у,р,У1 +5Р,р,Р,'-2)) |2 -х + а/|и(1) -и(2)|2 -х < 0. о г =1 о

Из неравенств (32), в частности, следуют оценки

/рк, п\й(пк )|2 -X < ¿?5,0, к = 1,2, О

(32)

(1)

(Т)1^(О) +11"(2)(Т)11ж>,2(0) ) -Х < Е5,0 , 0< t < Т. (33)

В силу оценки (21) леммы 3 имеем

р1,п (0 = ^ («^Ж X) > р ехр | -/| и )(т)||1, Ш -т I >р ехр |-/с(п)| $ )(т)| |^г,2(0) -т I.

Из этого соотношения и неравенства

' ( 1 У/2

/^-)(т)| 1.1,2(0) - ^ [ " Е5,0 ]

вытекает, что

Pi,n (t) > £ eXP \-c(n\E 8,0 и поэтому из первого неравенства в (33) следует, что

j | и n)|2 dx < ¿?8,0 -P-1 • exp jc(n)^T4,0 }, k = 1,2. Таким образом, оценка (27) и теорема 5 доказаны.

Априорные оценки решений уравнений (26) Лемма 6. Предположим, что Р, > 4 , i = 1,2. Пусть и П , i = 1,2 , - решение (26) и p i n = S о (и ni)) , т.е. р i n - решение задач

dt ( Pi,n ) + div( Pi,nu П!))) = eAPi,n в QT ,

Vpin • n = о на (0,T)xdQ,

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

0

P, J = P,, i = 1,2. Ki,n|t=о Уi ' '

Тогда имеют место следующие оценки, не зависящие от номера n , 2 2 R sup £||Pi,n(t)||y;i <max(Yk -1)4,0, 8-ess sup £llPi,n(t)||eipi <max(Pk -1)4,0,

te[0,T] i=i Li (Q) k te[0,T] i=\ Li (Q) k

sup ¿ || ylPijt) иn\t) |L2(Q)< 2E?8,0, j(||«(ni)(t) ||2,2 +1| и(n2)(t) ||?,2)dt < ^4,0 ; (34)

te[0,T] i =1 L (Q) 0

j || VPi,n (t)^ dt < С (Pi, 8, P0, q 0i)), (35)

i =1 0

iKnUe +1 < С (Pi, 8, P0, q 0i)).

tí Li (QT )

Величина S8 0 определена выше и не зависит от n и параметра е .

Предельный переход в уравнениях неразрывности с диссипацией

Лемма 7. Из последовательности и П-) , P in = S 0 (и П-)) , n = 1,2,.. , решений

уравнений (26), построенных в теореме 5, может быть выделена подпоследовательность (за которой сохраним прежнее обозначение), которая сходится при n в следующем смысле:

P ¡ n ^ Pi * - слабо в Io0 (1,Iе (Q)), Vp¡ n ^ Vpi слабо в I2(QT),

и (ni)^ и(i) слабо в I2(I,W01,2(Q)), (36)

P¿,п« V^-Pi«(i) слабо в L2(I,LPi + 6(Q)), (37)

ü+_

P^« «^PU(i) * - слабо в L00 (I, LPi +1(Q)), (38)

Pin ^ Pi сильно в Lp (QT), 1 < p < 3Pi. (39)

Предельные функции и(i), pi, i = 1,2, принадлежат, следовательно, функциональным классам:

pi e L0 (I, LPi (Q)), Vpi e L2 (QT), « (i)£ L2 (I, Г1,2 (Q)),

6Pi

р..« (i)e L2(I, LPi+6 (Q)) n L0 (I, LPi+1 (Q))

и удовлетворяют уравнениям неразрывности с диссипацией (9) в том смысле, что

d Jp.п. (x)dx -Jp.« (i)-Vni (x)dx + eJVpiVn.dx = 0 в D'(I), п. e C0 (r3 ), i = 1,2.

dt Q Q Q

Предельный переход в уравнениях баланса импульсов

Предварительно сформулируем дополнительные свойства решений краевой задачи (9), (10), (12), из которых следует, что предельные функции р., и(i) удовлетворяют уравнениям (9) почти всюду в QT и граничным условиям (12) в смысле следов.

Лемма 8. Существуют значения t. e

17 5

—,— I, r e 16 4

34 10 у . , 2

—,— I, i =1,2, такие, 15 3

что последовательности {dtpin}, {V2pin}, i = 1,2, ограничены в L1 (QT), по-

rt¿

следовательности {^р1п} ограничены в Ьг (I, Ьг (О)), последовательности {р, пи п^} ограничены в (I, Е0 (О)). Следовательно, предельные функции р,, и(1) принадлежат тем же функциональным классам, т. е., в частности,

др, е I1 @т ), VPl е I1 (I,I1 (О)), 1 = 1,2,

р, и (1)е I'1 (I,е0'(О)), 1 = 1,2. и удовлетворяют уравнениям (9) почти всюду в QT . Начальные условия (10) выполнены в том смысле, что

р е С0(7,1р (О)), 1 = 1,2, 1 < рг < р,. Граничные условия (12) выполнены в смысле следа, т. е.

Уп ^р, ) = 0, Уп (р1и (1)) = 0, п.в. в I.

Обратимся теперь к уравнениям баланса импульсов. Поскольку для каждого вектора а е Ь2(0>т), д(а е Ь2(0>т) справедливо равенство д( (Рпа) = Рпд(а п.в. в , то из уравнений (25) следуют тождества

|д Р (р, пй Пг)) • ф ёх = - {¿Цу Уй ПУ(Рп ф )ёх - {¿(Ху + цу) divй Щdiv(Pnф)dx +

□ □ 1=1 □ у=1

+|(рг,п" (пг)® й п)): У(Рпф)ёх +1(рГп, + 5рвп) div(Рпф)ёх - |8(Ург,п • У)й«• Рп (ф)ёх +

□ □ □

+|(-1У+1 а(йп2)-й(п1})Рпфёх,/ е I, ф е £(□), г = 1,2. (40)

В следующей лемме указаны свойства последовательностей, позволяющие совершить предельный переход в (40).

Лемма 9. Последовательность решений уравнений Галеркина (26) обладает свойствами:

• Имеет место равномерная оценка

||дР (р',пйпг))| ^ (I ж-2,2о) * <0,8, в), I =1,2;

• рг,пй(п°^ргй(г) сильно в т}(1 _1,2(0)), I =1,2;

6В.

рг пи Пг)® и (г)® г!(i) слабо е L2(I, L4ßi +3(Q)), i = 1,2; (41)

• II Pin (t) -Рг (t) 0, n ^да, раеномерно по t e [0, T ];

t t

JJp2n divu Пг) dxdт ^ jjp2 divu(i)dxdт ;

0 Q 0 Q

• Vpin ^ vPi- сильно е L (QT), i = 1,2; (42)

• vPi,n (n')^vPi(i) слабо е L1(QT), i = 1,2;

• lim j (Vp,. n • V)m ")-Pnфdxdt = J (Vp, •'V)m «-фdxdt, Уф e D(Q). n^3T QT

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

Лемма 10. Для каждого ф e D(Q) спраеедлиеы формулы 2

lim j Xj (VU "): V(Pnф) - VU(J): Vф) )т = 0,

n^QT] =1

2 2 lim j + )divU(")-div(Pncp)dxdт = J + )divu(jjdivфdxdт,

n^QTJ =1 QTJ =1

lim j (p, nu ") ® и (i)): V( Pn ф) dxd т = J (p,m (i)® и(i)): Vp dxdт,

"^^QT ' QT

lim J (pY„ +8рг-г„)div(Pncp)dxdт = J (ргУг' +5рг-i )divcpdxdт,

„^QT QT

lim J s(Vpi n • V)m П)-P„ (cp)dxdт = J е(Ург • V)m (i)- cpdxdт,

„^QT QT

lim J (-1У+1 a(u „2) - г! „1})P„ cp dxd т = (-1У+1 J а(и(2) - и (1))фdxdт.

„^"QT QT

В силу леммы 10 из (40) следует равенство

t t 2 lim jjdtP„ (рг „и („г)) • cp dxd т = -JJXh, Vu(Л: Vcp dxd т -

0 Q 0 Q 1=1

t 2 t -ЦЁ(Ху + H) div«(1 ^ divcp dxd т + JJ^m(г)® г!(i)): Vcp dxd т + (43)

0 Q j=1 0 Q

t t t +JJ(pY + Spf!)divcpdxdт - eJJ(Vp г- -V)m(iЦdxdт + (-1/+1 JJa(ü(2)-г!(1))cpdxdx.

0 Q 0 Q 0 Q

Отсюда, с учетом свойств (38) и свойств проектора видим, что

piu (i)e Г (I,Lf1 +1 (Q)), i = 1,2, dt Jpu (г'Ц e L1(/), cp e D(Q),

Q

и поэтому существуют g (l)e С0(I,L^+k(Q)), i = 1,2, такие, что для п. в. t e I имеет место равенство q(l)(t) = рг- (t)и (l)(t) п. в. в Q.. Более того, в результате изменения поля скоростей и(l) на множестве нулевой меры в I получим, что

PU (i)e С0(I,Lj+k (Q)).

Отсюда следуют формулы

lim [рги „г)cpdx = iq0^cpdx , i = 1,2.

Q

Из формулы (43) в силу произвольности t e (0, T) следуют равенства

2 2

dt Jpiü(i -'•cp dx = -J^H-y Vu(1): Vcp dx - + Hy )divw(1 ^ divcp dx +

Q Q 1=1 Q 1=1

+J (рги(i) ® и(i)): Vcp dx + J (рУг +5pf! )divcp dx -eJ (Vp, -V)m (i Ц dx +

Q Q Q

+(-1)г+1 Ja(w(2)- и (1))cpdx, cp e D(Q) п.в. на I .

Q

Отсюда, для каждой функции g(t) e D(I) получим тождества

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

T T 2 T 2

-jjpjU(i) •cdtgdxdt = -JJXh/'V"( 1 ) :V(cpg)dxdt- +цгу)divU( 1 )div(cpg)dxdt +

0 Q 0 Q 1=1 0 Q 1=1

T T T

+\\(P,U(') ®u(i)):V(cpg)dxdt + JJ(pJ! +5pf! )div(cpg)dxdt-ejj(Vpi -V)m(0 • (cpg)dxdt +

0 Q 0 Q 0 Q

T

+(-1)+1 \\a(u(T) -u(1))cgdxdt, i = 1,2. (44)

0Q

Поскольку семейство функций (ф(x) • g(t)}, фе D(Q), g e D(I) всюду плотно в D(QT), то тождества (44) доказывают, что предельные функции pi = pi е 5,

u (i)= u Е g удовлетворяют регуляризованным уравнениям баланса импульсов (8).

Доказательство априорных оценок (v) теоремы 1

Из неравенств (34), (35) и формул (36) в силу слабой полунепрерывности снизу норм получаем оценки (13), (14). Из (38), (34) следует оценка (15). Оценка (16) вытекает из (37). Оценка (17) есть следствие результатов о регулярности решений параболической задачи Неймана. Теорема 1 доказана.

ЛИТЕРАТУРА

1. RajagopalK.R., TaoL. Mechanics of Mixtures. Singapore: World Sci., 1995.

2. Крайко А.Н., Нигматулин Р.И. Механика многофазных сред // Итоги науки и техники. Сер. гидромеханика. 1972. Т. 6. С. 93-174.

3. Кажихов А.В., Петров А.Н. Корректность начально-краевой задачи для модельной системы уравнений многокомпонентной смеси // Динамика сплошной среды. 1978. № 35. С. 61-73.

4. Петров А.Н. Корректность начально-краевой задачи для одномерных уравнений взаимопроникающего движения совершенных газов // Динамика сплошной среды. Новосибирск, 1982. Вып. 56. С. 105-121.

5. Злотник А.А. Равномерные оценки и стабилизация решений системы уравнений одномерного движения многокомпонентной баротропной смеси // Математические заметки. 1995. Т. 58. № 2. С. 307-312.

6. Frehse J., Goj S., Malek J. On a Stokes-like system for mixtures of fluids // SIAM J. Math. Anal. 2005. V. 36. No. 4. P. 1259-1281.

7. Frehse J., Goj S., Malek J. A uniqueness result for a model for mixtures in the absence of external forces and interaction momentum // Appl. Math. 2005. V. 50. No. 6. P. 527-541.

8. Frehse J., Weigant W. On quasi-stationary models of mixtures of compressible fluids // Appl. Math. 2008. V. 53. No. 4. P. 319-345.

9. Кучер Н.А., Прокудин Д.А. Стационарные решения уравнений смеси вязких сжимаемых жидкостей // Сибирский журнал индустриальной математики. 2009. Т. 12. № 3 (31). С. 52-65.

10. Кучер Н.А., Прокудин Д.А. Корректность первой краевой задачи для уравнений смесей вязких сжимаемых жидкостей // Вестник Новосибирского государственного университета. 2009. Т. 9. № 3. С. 33-53.

11. Кучер Н.А., Мамонтов А.Е., Прокудин Д.А. Стационарные решения уравнений динамики смесей вязких сжимаемых жидкостей // Сибирский математический журнал. 2012. Т. 53. № 6 (31). С. 1338-1353. DOI: 10.1134/S0037446612060110.

12. Novotny A., Straskraba I. Introduction to mathematical theory of compressible flow. New York: Oxford University Press, 2004.

Статья поступила 27.01.2019 г.

Kucher N.A., Zhalnina A.A., Malyshenko O.V. (2020) ON THE EXISTENCE OF STRONG SOLUTIONS TO REGULARIZED EQUATIONS OF VISCOUS COMPRESSIBLE FLUID MIXTURES. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika [Tomsk State University Journal of Mathematics and Mechanics]. 64. pp. 31-47

DOI 10.17223/19988621/64/3

Keywords: mixture of viscous compressible fluids, inhomogeneous boundary value problem, strong solution.

Mathematical results (statements of problems, theorems on the existence and uniqueness, properties of solutions, etc.) on models of multi-velocity continuums by which the motion of multicomponent mixtures is described are rather modest in comparison with results on classical one-component media. This paper aims to fill this gap to some extent and is devoted to the study of the global correctness of the initial boundary value problem for equations of unsteady spatial motions of a mixture of viscous compressible fluids.

This paper is the first part of an extensive research that studies regularization of a mathematical model for unsteady spatial flows of a viscous compressible fluids mixture. The construction of the solution of the regularized problem is the key step for the mathematical analysis of the original mixture model because it allows to obtain globally defined solutions of the latter by passing to the limit. In addition, the proposed algorithm for constructing solutions to the regularized problem is constructive. This algorithm is based on the procedure of finite-dimensional approximation of the infinite-dimensional problem and the result is a mathematically well-grounded algorithm for the numerical solution of the boundary value problem of the motion of a viscous compressible fluids mixture in the region bounded by solid walls. The local time solvability of finite-dimensional problems is proved by applying the contraction mapping principle. With the help of a priori estimates, the possibility to extend the local solution for an arbitrary period of time, as well as the possibility of a passage to the limit to an infinite-dimensional problem is established. Finally, we obtain the result on the existence and uniqueness of a globally defined strong solution to the regularized problem.

AMS Mathematical Subject Classification: MSC 35D35, 35Q35, 35B65

Nikolay A. KUCHER (Doctor of Physics and Mathematics, Kemerovo State University, Kemerovo, Russian Federation). E-mail: [email protected]

Alexandra A. ZHALNINA (Candidate of Physics and Mathematics, Kemerovo State University, Kemerovo, Russian Federation). E-mail: [email protected]

Olga V. MALYSHENKO (Kemerovo State University, Kemerovo, Russian Federation) E-mail: [email protected]

REFERENCES

1. Rajagopal K.R., Tao L. (1995)Mechanics of Mixtures. Singapore: World Sci. Publ.

2. Kraiko A.N., Nigmatulin R.I. (1972) Mekhanika mnogofaznykh sred [Mechanics of multiphase media]. Itogi nauki. Gidromekhanika. 6. pp. 93-174 [in Russian].

3. Kazhikov A.V., Petrov A.N. (1978) Korrektnost' nachal'no-kraevoy zadachi dlya model'noy sistemy uravneniy mnogokomponentnoy smesi [Well-posedness of the initial-boundary value problem for a model system of equations of a multicomponent mixture]. Dinamika sploshnoy sredy. 35. pp. 61-73 [in Russian].

4. Petrov A.N. (1982) Korrektnost' nachal'no-krayevoy zadachi dlya odnomernykh uravneniy vzaimopronikayushchego dvizheniya sovershennykh gazov [Well-posedness of the initial-boundary value problem for one-dimensional equations of mutually penetrating motion of perfect gases]. Dinamika sploshnoy sredy. 56. pp. 105-121 [in Russian].

5. Zlotnik A.A. (1995) Ravnomernye otsenki i stabilizatsiya resheniy sistemy uravneniy odnomernogo dvizheniya mnogokomponentnoy barotropnoy smesi [Uniform estimates and

stabilization of solutions to a system of equations of the one-dimensional motion of a multicomponent barotropic mixture], Matematicheskie zametki. 58(2). pp. 307-312 [in Russian].

6. Frehse J., Goj S., Malek J. (2005) On a Stokes-like system for mixtures of fluids. SIAM J. Math. Anal. 36(4). pp. 1259-1281.

7. Frehse J., Goj S., Malek J. (2005) A uniqueness result for a model for mixtures in the absence of external forces and interaction momentum. Appl. Math. 50(6). pp. 527-541.

8. Frehse J., Weigant W. (2008) On quasi-stationary models of mixtures of compressible fluids. Appl. Math. 53(4). pp. 319-345.

9. Kucher N.A., Prokudin D.A. (2009) Statsionarnye resheniya uravneniy smesi vyazkikh szhimaemykh zhidkostey [Stationary solutions to the equations of a mixture of viscous compressible fluids]. Sibirskiy zhurnal industrial'noy matematiki. 12(3). pp. 52-65 [in Russian].

10. Kucher N.A., Prokudin D.A. (2009) Korrektnost' pervoy krayevoy zadachi dlya uravneniy smesey vyazkikh szhimayemykh zhidkostey [Well-posedness of the first boundary value problem for equations of mixtures of viscous compressible fluids]. Vestnik Novosibirskogo gosudarstvennogo universiteta. Ser. Mat. Mekh. Inform. 9(3). pp. 52-65 [in Russian].

11. Kucher N.A., Mamontov A.E., Prokudin D.A. (2012) Stationary solutions to the equations of dynamics of mixtures of heat-conductive compressible viscous fluids. Sib. Math. J. 53(6). pp. 1075-1088. DOI: 10.1134/S0037446612060110.

12. Novotny A., Straskraba I. (2004) Introduction to mathematical theory of compressible flow. New York: Oxford University Press.

Received: January 21, 2019

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