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

МАТЕМАТИКА

УДК 517.95

СТАЦИОНАРНЫЕ ТЕЧЕНИЯ БИНАРНОЙ ОДНОТЕМПЕРАТУРНОЙ СМЕСИ ВЯЗКИХ СЖИМАЕМЫХ ТЕПЛОПРОВОДНЫХ ЖИДКОСТЕЙ

А. Е. Мамонтов, Д. А. Прокудин

STEADY FLOWS OF A BINARY MIXTURE OF VISCOUS COMPRESSIBLE HEAT CONDUCTING FLUIDS WITH COINCIDENT TEMPERATURES

A. E. Mamontov, D. A. Prokudin

Работа выполнена при поддержке Сибирского отделения РАН (Интеграционный проект № 30).

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

The paper considers the boundary value problem which describes steady motion of a binary mixture of viscous compressible heat-conductive fluids in a bounded domain. No simplifying assumptions we imposed except the postulation of coincidence of phase temperatures (which is justified in definite physical situations), i. e. the authors preserved all the terms in the equations which are a general expansion of Navier-Stokes-Fourier model describing motion of a one-constituent medium. The existence of weak solutions to the problem is proved.

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

Keywords: steady boundary value problem, viscous compressible heat conducting fluid, homogeneous mixture with two velocities.

Введение

Данная статья продолжает исследования [3 - 5; 15]. В этих работах подробно описана постановка задачи о движении смесей вязких сжимаемых жидкостей и связанные с этим нюансы моделирования этого физического явления и математического исследования получающихся уравнений. В связи с недостатком места мы не будем повторять это описание, детали можно узнать, например, в [15]. Повторим лишь самые необходимые сведения, а также укажем место настоящей работы в этом ряду исследований. Не существует общепринятого подхода к моделированию движений многокомпонентных сред, равно как и развитой математической теории о существовании, единственности и свойствах решений начально-краевых задач, возникающих при этом моделировании. В настоящей работе выбран один из многочисленных вариантов моделирования движения двухкомпонентных (бинарных) жидкостных смесей, а именно: гомогенная смесь двух вязких сжимаемых теплопроводных жидкостей, двухскоростная однотемпературная модель. Это означает, что в каждой точке пространства присутствуют обе компоненты смеси, которые находятся в одной фазе, но имеют каждая свою локальную скорость движения; взаимодействие между компонентами осуществляется через обмен импульсом и вязкое трение, а также посредством теплообмена. С математических позиций как эта, так и многочисленные прочие модели смесей исследованы весьма мало, в том числе по сравнению с аналогичной теорией для однокомпонентных сред. Так, до недавнего времени по бинарным двухскоростным смесям имелись лишь результаты для приближенных моделей, причем без учета температур [11 - 13], а в последние годы появи-

лись работы по полной модели: сначала баротропной [3; 5], а затем теплопроводной (двухтемпературной) [4]. В последней работе имеется все же некоторое упрощение, а именно: в уравнениях энергии выброшены члены, отвечающие за вязкое трение. Это связано не только с математическими трудностями (частично возникающими и в однокомпонентном случае), но и с физической корректностью модели (подробности см. в [15]). В настоящей работе рассматривается однотемпературная модель, в которой специфические для смесей физические неувязки в диссипативных членах не возникают, и тем самым остаются только математические трудности, которые оказалось возможным преодолеть. Тем самым удается получить первый результат о математической корректности полной теплопроводной модели бинарной смеси для случая многомерных движений. В одномерном случае имеются результаты по теплопроводным смесям [7 -8], но они касаются приближенных моделей, причем с диагональной матрицей вязкостей.

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

Исследуемая модель смеси является естественным обобщением модели Навье-Стокса-Фурье движения однокомпонентной вязкой сжимаемой теплопроводной жидкости, глубоко изученной математически в последние два десятилетия [9 - 10; 14; 19 - 20]. Для формулировки модели движения смеси как обобщения однокомпонентной модели требуются значительные усилия, отраженные, например, в [6; 21]. Возникающая при этом двухскоростная модель допускает определенные вариации. В частности, остается произвол в моделировании температурных эффектов: можно предполагать различие температур в

50

А. Е. Мамонтов, Д. А. Прокудин

МАТЕМАТИКА

разных составляющих смеси, а можно считать, что они совпадают. Последнее предположение используется в настоящей работе, оно оправдано в определенных физических условиях (см. об этом, например, в [1; 2]).

Пусть смесь двух вязких сжимаемых теплопроводных жидкостей занимает ограниченную область QcR3. Искомыми являются физические величины, описываемые пятью (с учетом размерностей векторов - девятью) функциями, определенными в Q : скалярные поля плотностей > 0 и векторные поля скоростей u(i) для каждой компоненты смеси с номером i = 1,2, и скалярное поле температуры смеси в > 0. Для нахождения этих величин необходимо решить в Q два уравнения неразрывности

div(p и(г)) = 0, i = 1,2, (1)

два векторных (т. е. шесть скалярных) уравнения импульсов

VL..U(1 j + div(pu(г) ® u(i}) +

7=1 1 (2)

+Vpt = p f(i) + J(i), i = 1,2,

и одно уравнение для полной энергии смеси

div !) ] + diV (2pu(i)

-div | ^P(г)и(0 ] = ^pf(0 • u(i) - 2div q.

v i=1 J i=1

Здесь f(i) - внешние массовые силы; p{ - давление i -й компоненты, причем

Рг = P—+Pгв, i = 1,2, (4)

где показатель у предполагается общим для двух компонент и достаточно большим (точные требования см. ниже), сам характер уравнения (4) является достаточно стандартным в теории Навье-Стокса - Фурье (см. например [16], [17; 18]); J(i) - обмен импульсом между составляющими смеси:

J(i) = (-1) a(u(1) - u(2)),

(5)

i = 1,2, a = const > 0; q - вектор потока тепла, определяемый законом Фурье

q = -k (в)Ув (6)

с коэффициентом теплопроводности, принятым в виде

к (в) = 1 + вт, (7)

где постоянная m уточняется ниже; Ei - полная удельная энергия i -й компоненты смеси:

E = 11 u(i) |2 +Ui, i = 1,2, (8)

причем удельная внутренняя энергия U i задана определяющим уравнением

иi = —— p—-1 +e, i = 1,2; (9)

У -1

P(i) - вязкая часть тензора напряжений i -й компоненты смеси:

2

P(i) = ^pP(j)

1=1

где P(j )= 2^-divu(1 )I+2^^.D(u(1)), i,j = 1,2,

(10)

в котором (постоянные) коэффициенты вязкости Л и /и. уточняются ниже, I - единичный тензор, а

B(v) = ((V ® v) + (V ® v)T )/2 - тензор скоростей деформаций векторного поля v (индекс T означает транспонирование); наконец,

Lij = -(1j + Uj )Vdiv - и j A, h j = l,2, (11)

2

так что divP(i) = ~^Litu(j), i = 1,2. Определяю-

1=1

щие уравнения (4), (7) и (9) описывают термодинамику смеси, соотношения (5) и (10) выражают сформулированные выше принципы механического взаимодействия компонент, и наконец, (6) и (8) представляют собой стандартные физические законы.

Уравнения (1), (2), (3) необходимо дополнить граничными условиями, например:

u(i)=0 на dQ, i = 1,2, (12)

2к(в) Vв • n + L(e)(e - в) = 0 на dQ, (13)

jpi dx = Mi, i = 1,2, (14)

Q

где положительные постоянные Mi предполагаются известными. Здесь n обозначает единичную внешнюю нормаль к дО, а коэффициент граничного теплообмена

L(e) = 1 + вт-1. (15)

Тем самым, предмет нашего исследования сформулирован - это краевая задача (1)-(15), которую далее будем называть задачей H .

Коэффициенты вязкостей образуют матрицы Л = {Лу }2,j= и M ={и,у }21 =1. Важную толь играет также матрица полных вязкостей N = Л + 2M (с компонентами Vy = 1у + 2и ). Мы будем рассматривать

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

M > 0, 3Л + 2M > 0, (16)

обеспечивающие выполнение неравенств:

22

уи( 1 • и(0dx > C0^1 | V® u(i) |2 dx

U 1=1 Q i=l Q

2

и ^P(i) :(V® u(i)) > 0,

i=1

Вестник Кемеровского государственного университета 2014 № 4 (60) Т. 1 51

МАТЕМАТИКА

где 2С0 (ри + М22) ^(.Мп М22) + (М\2 + М21) ■

Отметим, что (16) влечет N > 0 ■ Кроме того, для упрощения применения метода эффективных вязких потоков (являющегося сердцевиной теории Навье-Стокса-Фурье) в рассматриваемом, матричном, случае, сделаем дополнительное техническое предположение о треугольности матрицы полных вязкостей:

^12 + 2^12 = 0. (17)

Целью статьи является построение слабого обобщенного решения задачи H , которое понимается стандартно, вполне в духе теории однокомпонентных вязких газов.

Определение 1. Слабым обобщенным решением задачи H называются пара неотрицательных функций pi е Ь2у (Q), i =1,2, положительная функция

в е W (Q) n L3m (Q) n L2m (SQ) и пара векторных по-

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

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

найти функции pE , uS и в (здесь и далее верхний индекс s не есть степень), удовлетворяющие следующим уравнениям, краевым и дополнительным условиям, содержащим параметр s е (0,1]:

-sApS + div р? uS0 ) + spE = SM-

1 1 s 1 | Q| (18)

в Q, i = 1,2,

лей u(i) е W2' (Q), i = 1,2, удовлетворяющие условиям (1) - (15) в следующем смысле:

(H 1) Плотности pi удовлетворяют уравнениям

(1) в смысле распределений, т. е. для любых пробных функций ц/i е Сш (Q) выполняются соответствующие

интегральные тождества: Jpu(i)■Vi^dx = 0, i = 1,2,

Q

причем выполнены (14);

(H 2) Скорости u(i) удовлетворяют уравнениям

(2) (см. также (4), (5), (10),(11)) в смысле распределений, т. е. для любых пробных функций ^(г) е C0°(Q) выполнены соответствующие интегральные тождества (мы их не приводим ввиду стандартности, при этом (12) выполнены в смысле функционального класса);

(H 3) Температура в удовлетворяет уравнению

(3) (см. также (6), (7), (8),(9)) и краевому условию (13) (см. также (15)) в том смысле, что для любых пробных функций 77 е Сш (Q) выполнено соответствующее интегральное тождество.

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

Теорема 2. Пусть Q с R3 - ограниченная область, SQ е С2, матрицы вязкостей удовлетворяют условиям (16) и (17), выполнены ограничения у > 3 и

2 6у2 - 7у + 3

m >-------------; остальные числовые параметры

3 2у2 - 5у +1

модели (a , Мх, М2) произвольны (положительны). Тогда для любых входных данных класса f(i) е С(Q)

, i = 1,2, в) е ^(SQ), в>0 задача H имеет по крайней мере одно решение в смысле Определения 1.

) + 2 p?uS)

j=1 2

? M

2 | Q

u

(i)

+ 2pк» V)u<■> + ^div(p'u®u(») +

+V(p* )y+Vp в) =

= {-1)'a(uУ -uУ) + pf«1 в Q, i = 1,2,

(19)

f

-2div

k (в)

s + в? вe

\в£

+

X

i=1

div(p"в s u (;})+

+p£вsdiv u Si) - PS(i): (V® u (;})

I (1) (2) 12

= a | u S - u S I

+SyXp )y-2|Vp'|2 в Q,

i=1

u(i) = 0, Vpf ■ n = 0 на SQ, i = 1,2,

(20)

(21)

2k(в S)S-+вVвS ■ n + S lnвS + v ) вs

+L^S )(в S -в) = 0 на SQ,

(22)

JpSdx = Mt, i = 1,2, (23)

Q

2

где P® = £Р®), Pj = k1}divu(j)I + 2цD(u(j)), j=1

i, j = 1,2, а | Q | означает лебегову меру Q . Наряду с

52 Вестник Кемеровского государственного университета 2014 № 4 (60) Т. 1

МАТЕМАТИКА

температурой 0 е удобно использовать функцию

5е = ЫвЕ .

Решение задачи Не будем строить сильное, понимая под этим следующее.

Определение 3. Сильным обобщенным решением задачи Н называются пара неотрицательных функций р( е Wp (Q), i = 1,2 (где p > 3), положительная

функция 0е е Wp2(Q) и пара векторных полей

и(ег) е Wp2(Q), i =1,2, удовлетворяющие (23), уравнениям (18) - (20) п. в. в Q , и условиям (21), (22) п. в. на 8Q.

Основной результат п. 2 состоит в следующем.

Лемма 4. В условиях теоремы 2 для произвольного ее (0,1] любое сильное решение задачи Не удовлетворяет неравенству:

Л|

i=1

Р

-2,(Q)

||eVp

u

(i)

Ilw2 (Q)

Л

6/

/+3

(Q)

+ |0

+||V0

+||Vs£

hm (Q)

s II

мп)

(24)

L.(Q)

j (e

8Q

+ \0£\\

+ e )d& +

u2\ f " "Mm

где C1 зависит (только) от

< С

(8Q) <

(i)

Vu

1C (Q)

Mi (i, j = 1,2); 1б^Н , min0, m, /, a и Q (осо-

ll 1C (8Q) 8Q

бенно важно, что C1 не зависит от е ). При этом задача Не имеет по крайней мере одно сильное решение.

Доказательство леммы 4 мы не приводим ввиду того, что оно является достаточно стандартным, хотя и технически непростым. В значительной степени оно повторяет аналогичные рассуждения, использованные в предшествующих работах по смесям [3 - 5; 15], а также при исследовании теплопроводной модели однокомпонентных жидкостей (см. например [16; 17]).

3. Предельный переход е ^ 0. Ввиду Леммы 4

можно построить решения (ре,pE,0e,и(1),и®) задач Не при всех ее (0,1] в смысле определения 3 и выделить последовательность (которую мы обозначим так же) такую, что при е ^ 0 верно

W

Pi ^ Pi в L2/(QX

в W1(Q), i = 1,2,

w

0E ^ 0 в W2 (Q), L3m (Q)

u ) ^ u(i)

и L2m(8Q),

s ^ s

в W21(Q),

(pE у'Хр/ в L2(Q), i = 1,2, (25)

и следовательно и (i) ^ и(г) в L (Q),

Vq1 е [1,6), i = 1,2, 0e ^0 в L^ (Q) , Vq2 е [1,3m),

0е |8Q ^ 0 |8Q в Lq3 (Q) , V?3 е s е ^ s в

Lq4 (Q), Vq4 е [1,6), при этом очевидны соотношения 0 = es (а значит, 0>0), pi > 0, i = 1,2, и (14).

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

Этап 1: предельные переходы - полный в уравнениях неразрывности и частичный в уравнениях импульсов. Умножая (18) на рЕ и интегрируя по Q с учетом (21), ввиду (24) получаем равномерные по оценки для величин -JsVpE в L2(Q), что с учетом оценок для Vре, содержащихся в (24), дает

1, 6/ I, i = 1,2. Теперь

/ + 3 J И

предельный переход в уравнениях (18) становится тривиальным, и мы приходим к пункту Н 1 Определения 1. Умножая уравнения (19) скалярно на р(г) е C°(Q) и интегрируя по Q , мы получаем слабые формулировки краевых задач (19), (21)1, в которых можно перейти к пределу и получить тождества, отличающиеся от приведенных в пункте Н 2 Определения 1 только тем, что вместо выражений р/ в

них стоят р’/ . Таким образом, для обоснования Н 2 остается доказать равенства

р/ = р/, i = 1,2. (26)

eVPE ^ 0 в Lq5 (Q) , Vq5 е

Этап 2: частичный предельный переход в уравнении энергии. Возьмем любую ре C ° (Q) и заметим, что из (18) и (21) следует соотношение:

еГ^РЕ/-21 Vpe |2 pdx =

i=1 Q

i=1 Q

:ZJ| -(Pf)pdiv u(e° -^(рЕГ^ -Vp

е/ /-1

/-1

v(py+J]/-M vpy-+

/-1 | Q

+--7(P)4 -Vp

/-1

dx.

(27)

Теперь сложим три интегральных равенства: (20) после умножения на p и интегрирования по Q ; (19)

после умножения на р(г) = ри(г), интегрирования по Q и суммирования по i = 1,2; и (27). Эта процедура дает интегральное тождество, предельный переход в

Вестник Кемеровского государственного университета 2014 № 4 (60) Т. 1 53

МАТЕМАТИКА

котором приводит к H 3 с точностью до еще не доказанных соотношений (26), которые, таким образом, остаются последним препятствием для завершения доказательства теоремы 2.

Этап 3: доказательство коммуникативных соотношений для эффективных вязких потоков. Рассмотрим так наз. эффективные вязкие потоки

2

Fi = pt - 'syуиdivu(j), i = 1,2, соответствующие

j=1

величины для регуляризованной задачи

Ff = (Р*У + P* в* -Yvndivuf\ i = 1,2, (28)

j=i

и их слабые пределы в L2 (Ц):

__ ____ 2

F = Рг +Pre-Yjj diVi = 1,2

j=1

Этап 3.1: предварительные построения. Будем использовать оператор А-1 v( y)dy

(А 1v)(х) = --1- [ 4— J

4- J | х - у |

определенный как применяя его к функциям

v £ Lq (Ц), q6 > 3/2, продолженным нулем за пределы Ц . При этом А-1 : Lq<(Ц) ^ Wq (Ц), и А о А-1 = I.

Нам также потребуется оператор Comm, действующий по формуле

CommC^) = (У®УА-1Д)^-ДУ®УА-10, о кото-

W

ром известно (см. [9; 14]) следующее: если рк ^0 в

Lq7 (Ц) , Р ^0 в LqSЦ), где q?1 + q81<1,

q8

то

Comm(^ ,Ck) ^ 0 в Lq9(Ц), где q91 = q?1 + q81.

Пусть z £ C0 (Ц), a* £ Lq6 (Ц), причем

(йе^ 0 в Lq (Ц) при е ^ 0.

^6

(29)

Тогда нетрудно получить

r(divPf)) -УА-1юе +

2 ^ Ц,е

+™еТУй (dlVu*)) ~ 0,

j=1

Ц,е

i = 1,2,

(30)

где ~ означает совпадение с точностью до разности, исчезающей после интегрирования по Ц и перехода к пределу при е ^ 0.

Умножая (18) на z , после элементарных преобразований получим тождества

w

УА 1div(rpfue')) =

= zsVp*+*V А-1

zM

___i_

|Ц|

Р

epfVz+ УА-1 i = 1,2.

(pUf ■Vz-2sVp-'~ ■Vz-epftS^z j

(31)

Умножая (18) на «*^/2 и складывая с (19), получим представления

-divPf' ) = -V[(pT +

+ Р‘,ве\-div(pf U I!) 0 uf) +

+[(-1)'a(u™ - u(2)) + p-f(,)] + <32>

+1u()Ар* -epfu<J), i = 1,2.

Этап 3.2: предел эффективных вязких потоков, умноженных на произвольные функции. Преобразуем выражения Fi*®sz, пользуясь (28), (30), (31) и (32):

Ц, е

-Ff Щ,Т a u® ■ C0mи(^, рuf0) + +[(-1)'a(ue1> - u?)+рр®]гУА-Ч -

—(V0u*°) eVpf +zpu(

,*„(0

-

-Z[(V0VА-1^)uег>] ■ sVp + (33)

+4uf

е^А-1

zMt

ToT

+zVpEi

i = 1,2.

6y

При условии q6 >-----правая часть (33) сходит-

4у-3

ся к нулю слабо в L1+s (Ц) с некоторым 8 > 0, поэтому

^Ff^zdx ^ 0 при е ^ 0, i = 1,2. (34)

Ц

Этап 3.3: сильная сходимость эффективных вязких потоков и коммуникативные соотношения. Для любой компактной подобласти Ц1 сс Ц возьмем z такую что z = 1 на Ц1, причем z > 0 в Ц . Пользуясь (29) и (34) при q6 = 2, а> * = Ff -Fi , получаем при i = 1,2 соотношение Fi* ^ Fi в L2,loc (Ц), а значит и в Lq10 (Ц) с любым q10 < 2. Отсюда следует, что если

54 Вестник Кемеровского государственного университета 2014 № 4 (60) Т. 1

МАТЕМАТИКА

ze^ z в с некоторым qn > 2, то

w __ 2q

zSFS ^ zF.i в Lq (Q) с любым q12 что

s 1 1 j 4x2 2 + qu

означает выполнение коммуникативного соотношения zFi = zFi . В частности, можно взять z^ = pp с произвольным j = 1,2, qn = 2y, ^2=1, что влечет соотношения:

w

( 2 л

p (pS)y +pfis -It div uSk) dx ^

Q V k=1 J

( 2

Л pj \py 1 <£> + It div u (k) dx

Q V k=1 J

при s ^ 0, i, j = 1,2.

(35)

Этап 4: предельный переход в давлениях. Отличие (35) от случая однокомпонентной среды состоит не только в числе соотношений (четыре вместо одного), но и в принципиально новом явлении - возникновении смешанных (разноименных) произведений Pj div u(k), j Ф k , которые, в отличие от одноименных (j = к), не допускают анализа с помощью уравнений неразрывности.

Этап 4.1: ренормализация и исключение р divu(i)

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

[14], можно получить соотношения:

jp divu(i) dx = 0, i = 1,2, (36)

Q

и аналогично из (18) при s ^ 0 выводим

jp!divu(l) dx < 0, i = 1,2. (37)

Q

jp (p( + pfi - v12divu(2))dx <

Q

< jp1py + pfi - v12divu(2))dx.

Q

(38)

Этап 4.2: доказательство (26) при i = 1. Ввиду монотонности функции z ^ zr + zfi , для любой v е L2y (Q), v > 0, имеем

jp: (pT + pfi)dx < jvpy + pfi)dx +

Q . Q (39)

+j(p - v)(vr + vfidx.

Q

Вычитая (39) из (38) и полагая v = p1 + Лу с любыми у/е L2y(Q), у> 0 и Ле R +, получаем неравенство, переходя в котором к пределу при Л ^ 0 и пользуясь поточечным свойством слабых пределов

p[ > p[, получаем (py - p[)у=0, что ввиду произвольности у означает требуемое. В частности, сходимость p( ^ p1 сильная в Ly (Q), а значит (ввиду ограниченности в L2y(Q)) и в L (Q) при всех

q13 е [1,2у) .

Этап 4.3: коммуникативное соотношение для p2divu(1). Пользуясь повторно условием (17), доказанным соотношением (26) при i = 1 и сильной сходимостью pS, мы можем записать (35) при i = 1, j = 2 в виде

jp2div u(1) dx = jp2div u(1) dx. (40)

QQ

Благодаря (36) и (37) в (35) фактически присутствуют только разноименные произведения py div u(k),

j ф к (хотя соотношения принимают вид неравенств). В частности, при i = j = 1 (35) принимает вид:

Этап 4.4: доказательство (26) при i = 2. Запишем (35) при i = j = 2 , снова пользуясь (36) и (37), но

в этот раз исключим скорости, пользуясь (40). Дальнейшие рассуждения буквально повторяют этап 4.2 с заменой p1 на p2.

Тем самым, соотношения (26), а значит и теорема 2 доказаны.

Литература

1. Воинов О. В., Пухначев В. В. Термокапиллярное движение в газожидкостной смеси // Прикладная механика и техническая физика. 1980. V. 21(5). С. 38 - 45.

2. Жумагулов Б. Т., Монахов В. Н. Гидродинамика нефтедобычи. Алматы: КазгосИНТИ, 2001.

3. Кучер Н. А., Прокудин Д. А. Анализ разрешимости краевой задачи для уравнений смесей вязких сжимаемых жидкостей // Вестник Кемеровского государственного университета. 2011. Вып. № 1(45). С. 32 - 38.

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

5. Малышенко О. В., Мамонтов А. Е., Прокудин Д. А. Разрешимость многомерных уравнений баротропного стационарного движения бинарной смеси // Вестник Кемеровского государственного университета. 2013. Вып. 2(54). С. 85 - 90.

6. Нигматулин Р. И. Динамика многофазных сред. Ч. 1. М.: Наука, 1987.

7. Папин А. А. Краевые задачи двухфазной фильтрации. Барнаул: АлтГУ, 2009.

Вестник Кемеровского государственного университета 2014 № 4 (60) Т. 1 55

| МАТЕМАТИКА

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

С. 105 - 121.

9. Feireisl E. Dynamics of Viscous Compressible Fluids. Oxford: Oxford University Press, 2003.

10. Feireisl E., Novotny A. Singular limits in thermodynamics of viscous fluids. Basel: Birkhauser, 2009

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

12. Frehse J., Goj S., Malek J. On a Stokes-like system for mixtures of fluids // SIAM J. Math. Anal. V. 36(4).

2005. P. 1259 - 1281.

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

14. Lions P.-L. Mathematical Topics in Fluid Mechanics. Vol. 2: Compressible Models. NY: Oxford University Press, 1998.

15. Mamontov A. E., Prokudin D. A. Viscous compressible multi-fluids: modeling and multi-D existence //

J. Methods and Applications of Analysis. 2013. V. 20(2). P. 179 - 195.

16. Mucha P. B., Pokorny M. On the steady compressible Navier-Stokes-Fourier system // J. Comm. Math. Phys.

2009. V. 288(1). P. 349 - 377.

17. Mucha P. B., Pokorny M. Weak solutions to equations of steady compressible heat conducting fluids //

J. Math. Models Methods Appl. Sci. 2010. V. 20(5). P. 785 - 813.

18. Novotny A., Pokorny M. Steady compressible Navier-Stokes-Fourier system for monoatomic gas and its generalizations // J. Diff. Equations. 2011. V. 251(1). P. 270 - 315.

19. Novotny A., Straskraba I. Introduction to the mathematical theory of compressible flow. NY: Oxford University Press, 2004.

20. Plotnikov P., Sokolowski J. Compressible Navier-Stokes Equations. Theory and Shape Optimization. Basel: Birkhauser, 2012.

21. Rajagopal K. R., Tao L. Mechanics of mixtures. Singapore: World Scientific, 1995.

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

Мамонтов Александр Евгеньевич - доктор физико-математических наук, доцент, ведущий научный сотрудник Института гидродинамики им. М. А. Лаврентьева Сибирского отделения Российской академии наук, aemamont@hydro.nsc.ru.

Alexander E. Mamontov - Doctor of Physics and Mathematics, Leading Research Associate at Lavrentyev Institute of Hydrodynamics of the Siberian Branch of the RAS.

Прокудин Дмитрий Алексеевич - кандидат физико-математических наук, доцент кафедры дифференциальных уравнений КемГУ, daprokudin@k:emsu. ru.

Dmitry A. Prokudin - Candidate of Physics and Mathematics, Assistant Professor at the Department of Differential Equations, Kemerovo State University.

Статья поступила в редколлегию 23.09.2014 г.

56 Вестник Кемеровского государственного университета 2014 № 4 (60) Т. 1