О диффузии и медленной конвекции примеси в слабосжимаемой вязкой жидкости

Тип работы:
Реферат
Предмет:
Физико-математические науки


Узнать стоимость

Детальная информация о работе

Выдержка из работы

УДК 517. 958:531. 72, 517. 958:539. 3(4)
О ДИФФУЗИИ И МЕДЛЕННОЙ КОНВЕКЦИИ ПРИМЕСИ В СЛАБОСЖИМАЕМОЙ ВЯЗКОЙ ЖИДКОСТИ
Св.А. Гриценко
Белгородский государственный университет, кафедра прикладной математики и механики E-mail: sgritsenko@bsu. edu. ru
В работе изучается диффузия и медленная конвекция примеси в слабосжимаемой вязкой жидкости, описываемой системой уравнений Стокса, в которой вязкость жидкости зависит от концентрации примеси. Система Стокса дополняется уравнением диффузии с конвективным слагаемым. Для указанной системы уравнений доказывается корректность начально-краевой задачи в ограниченной области с однородными условиями Дирихле для скорости жидкости и однородным условием Неймана для концентрации примеси на границе области течения.
Ключевые слова: медленная конвекция, диффузия, система уравнений Стокса.
On the Diffusion and Slow Convection in Slightly Compressible Viscous Fluid
Sv.A. Gritsenko
Belgorod State University,
Chair of Applied Mathematics and Mechanics E-mail: sgritsenko@bsu. edu. ru
We consider diffusion and slow convection of admixture in slightly compressible viscous fluid, described by the Stokes system, where viscous of fluid depends on the concentration of admixture. The Stokes system supplied by the diffusion equation with the convective term. We prove for this system the correctness of the initial-boundary problem in the limited domain with the homogeneous Dirichlet conditions for the fluid velocity and the homogeneous Neuman condition for the concentration of admixture on the boundary of domain.
Key words: diffusion convection, slow convection, convective term, Stokes system.
1. ПОСТАНОВКА ЗАДАЧИ
В ограниченной области О е К3 с липшицевой границей Б рассматривается система уравнений
д V
— = Шу (д (с^) -Ур + г, (1. 1)
дР + А Шу V = 0 (1. 2)
для скорости жидкости v (x, ?), дополненная уравнением диффузии
дс
— + vVc = Б Ас (1. 3)
для концентрации примеси с (х, ?).
Здесь Б — коэффициент диффузии, А — константа, связанная о скоростью звука в жидкости, ц,(с) — безразмерная вязкость.
Задача замыкается однородными краевыми условиями
v (x, ^) = 0, ^ ^ = 0 при х е Б, (1. 4)
где V — единичный вектор внешней нормали к Б, и начальными условиями
V (х, 0) = Vо (х), с (х, 0) = Со (х). (1. 5)
2. ОСНОВНОЙ РЕЗУЛЬТАТ
Основным результатом статьи является корректность задачи (1. 1)-(1. 5) в соответствующим образом выбранном функциональном пространстве. Мы придерживаемся обозначений функциональных пространств и норм в этих пространствах, принятых в [1].
© Св.А. Гриценко, 2009
19
Определение 1. Функции v (x, ?), р (х, ?) и с (х, ?) называются обобщенным решением задачи (1. 1)-(1. 5) в области От = О х (0, Т), если:
1) др/д? е Ь2(От), v е ш1'0(От), с е (От) П ^2'0(От) —
2) почти всюду в области От выполнено уравнение неразрывности
дР + А Шу v = 0- (2. 1)
3) функции v, р и с удовлетворяют интегральным тождествам:
[ ^ - д (c)Vv: + р сИу^ + Г ¦ ^ ] йх = - [ v0(х) ¦ ^(х, 0) йх, (2. 2)
. /Пт V д?)
с дф — v ¦ Ус ф — Б Ус ¦ Уф) йх = - / с0(х)ф (х, 0) йх (2. 3)
д? У. /п
для произвольной гладкой вектор-функции ^(х, ?), равной нулю на границе Б и при? = Т, и для произвольной гладкой функции ф (х,?), также равной нулю на границе Б и при? = Т.
Здесь используется обозначение А: В = ?г (АВт), где, А и В — квадратные матрицы.
Теорема 1. Пусть граница Б ограниченной связной области О е К3 является липшицевой поверхностью, функция Г ограничена в Ь2(От), функция v0 ограничена в Ь2(О):
||Г||2,Пт = ТО, ||vо ||2,п = ТО,
а начальное распределение концентрации примеси с0 удовлетворяет ограничению
0 & lt- С0(х) & lt- |С0|П0) = С & lt- 1. (2. 4)
Пусть, кроме того,
д© е С2(-то, то), ^^Т & lt- Д-1, 0 & lt- д* & lt- д© & lt- д-1. (2. 5)
Тогда на произвольном интервале времени (0, Т) у задачи (1. 1)-(1. 5) существует обобщенное решение v, p и с такое, что
0 & lt- с (х, *) & lt- С, ||Уе|І2,пт & lt- мС, (2. 6)
& lt- М (^ + V), (2. 7)
1 др Л д?
2, П
т
0тЭ& lt-Т VТЛ |Р (^)|2'П + ІКОІкп) + ||^|І2,Пт +
где постоянная М зависит только от д* и Б.
3. ДОКАЗАТЕЛЬСТВО ТЕОРЕМЫ 1
Для доказательства теоремы воспользуемся следующей стандартной процедурой. Приблизим область О областями Оє с границей Бє Є С2+а, а функции Е и с0 — функциями Еє є Са (От) и с0 Є С2+а (О) с некоторым а, 0 & lt- а & lt- 1, таким что Бирр Еє с О, Бирр с0 С О и 0 & lt- с0 & lt- 1. Всюду ниже, если это не будет вызывать разночтений, опустим индекс є.
Далее попытаемся решить задачу для сглаженных данных, получить для соответствующих решений оценки (2. 6) и (2. 7), равномерные по параметру регуляризации, и далее на основе этих равномерных оценок совершить предельный переход в интегральных тождествах (2. 2) и (2. 3) при є ^ 0.
В свою очередь, задачу (1. 1)-(1. 5) для гладких данных будем решать, используя теорему о неподвижной точке.
Фиксируем множество Мт = {с Є С (От): -2 & lt- с (х, ?) & lt- 2}. Очевидно, что множество Мт можно рассматривать как метрическое пространство с метрикой, индуцированной пространством С (От). Для с (х, ?) є Мт рассмотрим задачу
д и
— = Шу (д (с^и) — ^ + Е, (3. 1)
др + А сС1у и = 0, (3. 2)
и (х, ?) = 0, х е Б- и (х, 0) = v0(х). (3. 3)
Решение и (х, ?) задачи (3. 1)-(3. 3) является некоторым оператором
и = И1© (3. 4)
на множестве Мт.
Далее для функции и, определяемой равенством (3. 4), рассматривается задача
дс
— + и -Ус = Б Дс, (3. 5)
д?
дс
— (х, ?) = 0, х е Б- с (х, 0) = С0(х), (3. 6)
которая определяет оператор с = И2(и). В конечном итоге получаем оператор И:
с = Я© = Я2(Я1(с)), (3. 7)
отображающий множество Мт в некоторое множество N.
Таким образом, основным при доказательстве теоремы 1 является установление следующих фактов:
1) задачи (3. 1)-(3. 3) и (3. 5), (3. 6) разрешимы-
2) N с Мт-
3) оператор И на множестве Мт имеет хотя бы одну неподвижную точку, по построению являющуюся решением задачи (1. 1)-(1. 5).
Лемма 1. Для заданной функции С е С1+а& gt- 1+а (От) задача (3. 1)-(3. 3) имеет единственное
О 2 + а __
решение и е С2+а& gt-(От).
О 2 + а _
Доказательство. Для произвольной вектор-функции е X = С2+а'(О0) линейное отображение А: X ^ X, и = А ~^, определяется как решение уравнения
ди
Ж
= а Ди + а ¦ Vu + Л [ V (diy w (x, т))т + Е, (3. 8)

удовлетворяющее условиям (3. 3), где, а = д©, а = д'-(с)Ус.
Согласно общей теории параболических уравнений [1, с. 361], оператор, А корректно определен. Покажем, что этот оператор является сжимающим при достаточно малом ?0. В самом деле, для разности и = и (1) — и (2) = А^(1) — '^(2)) = А^ справедлива оценка [1, с. 364]
|и|?0а) & lt- АЛ, |& lt-0,
где
(•1 /^0
Ф= / У (& amp-у ('-^(1) (х, т) — w (2) (х, т))) йт = У (сС1у (х, т) йт,
00
а постоянная N зависит только от нормы С в С1+а'~+~ (От), Д*, гладкости границы области в С2+а и не зависит от ?0 & lt- 1.
Легко видеть, что |Ф|оТ & lt- ^|^2+а). Таким образом,
& lt- ?0 Л N & lt- 1 при ?0 & lt- 1
2ЛЖ,
По теореме о неподвижной точке существует и, такое что и = А и, то есть существует решение задачи (3. 1) — (3. 3) на интервале (0,?0). Продолжая решение на интервалы (?0, 2?0), (2?0, 3?0) и так далее, мы исчерпаем весь промежуток (0,Т) за конечное число шагов, что завершает доказательство леммы.
Лемма 2. Для решения и задачи (3. 1)-(3. 3) с функцией С е Мт Р| С1+а& gt- 1++а (От) справедливы оценки
шах (Г1р2(х,?) + |и (х, ?)|2^ «х + (((1 + |Уи|2) «х& lt- М (^ + V) = и, (3. 9)
0& lt-<-т,/п V, А / V, А д?

где постоянная М зависит только от д*.
Доказательство. Оценка (3. 9) является следствием хорошо известного энергетического тождества, которое получается после умножения уравнения (3. 1) на и, интегрирования по частям по области О и привлечения уравнения неразрывности (3. 2):
17 Г / Г|и (х,?)|2 + 1 р2(х, ?)^ «х + / д (с)|Уи (х, ?)|2 «х = / Е ¦ и"х.
2 «ип V, А У. /п. /п
Далее достаточно воспользоваться неравенствами Гельдера и Гронуолла [1, с. 112] для оценки норм ||р (?)||2,П, ||и (?)||2,п и ||УиУ2,Пт. Оценка нормы ||др/д?||2,пт следует из оценки нормы ||УиУ2,Пт и уравнения неразрывности (3. 2).
Лемма 3. Пусть и (г) = К1(С (г)), г = 1, 2, где С (1), С (2) е Мт Р| С1+а& gt- 1+а (От). Тогда
тах, |(и (1) — и& lt-2»)(«)!2,п + 1^(и (1& gt- - и (2))ПЗ, Пт & lt- ми (|С (1& gt- - ё& lt-2>-|<-'-0Пт)2, (3. 10)
где М зависит от тех же величин, что и в лемме 2.
Доказательство. Разность и = и (1) — и (2) удовлетворяет дифференциальному уравнению
ди = Шу (д (С (1))Уи + д'-(с*)Уи (2) и)), (3. 11)
где с = С (1) — С (2), а с* - некоторое промежуточное значение между С (1) и С (2), и однородным краевым и начальным условиям (3. 3).
Оценка (3. 10) получится, если мы умножим уравнение (3. 11) на и, проинтегрируем по частям:
2»? !п (|с (х,^)|2 + Ас2(х^) «х + /п д (С (1))|Ус (х,?)|2 «х = ^
1 1
где р = р (1) — р (2) и I = / д'-(с*) сУи (2) ¦ Уийх & lt- ([ |Уи|2 «х^ ((|Уи (2)|2 «х^ |с12(0^т,
Jп Уп) Уп) ' т
и воспользуемся неравенством Гронуолла.
Определение 2. Функции и (х, ?) и р (х, ?) называются обобщенным решением задачи (3. 1)-(3. 3)
в области От, если:
1) др/д? е Ь2(От), и е Ш2'0(От) —
2) почти всюду в области От выполнено уравнение неразрывности (3. 2) —
3) функции и и р удовлетворяют интегральному тождеству
и '- 7 Г — д (с)Уи: + р Шу^ + Е ¦ «х = - / v0 ¦ ^(х, 0) «х (3. 12)
Пт V д? / -/п
для произвольной гладкой вектор-функции ^(х, ?), равной нулю на границе Б и при? = Т.
Лемма 4. Для заданной функции С е Мт задача (3. 1)-(3. 3) имеет единственное обобщенное решение и = И1 ©, для которого справедлива оценка (3. 9) и оценка
||и||д, пт & lt- Ми, (3. 13)
с произвольным д & lt- 6. При этом, если и (г) = К1(С (г)), г = 1,2, где С (1), С (2) е Мт, то для функций
и (г), г = 1,2, справедлива оценка
||(и (1& gt- - и (2))|2,Пт & lt- ми (|с (1) — С (2)|(0))2, (3. 14)
где д & lt- 6.
Доказательство. Пусть с е Мт. Приблизим эту функцию функциями с5 е Мт П С1+а' (От), так что с5 ^ с в Мт при 5 ^ 0. В силу леммы 2 для решений и 5 = И1 (с5) задачи (3. 1)-(3. 3) справедлива оценка (3. 9). В силу известного результата о слабой компактности ограниченных множеств в пространстве Ь2(От) можно считать, переходя при необходимости к подпоследовательностям, что последовательности {и5}, {р5} и {др5/д?} сходятся слабо при 5 ^ 0 соответственно в Ш2'°(От) и Ь2(От) к функциям и е Ш1г'°(От), р е Ь2(От) и др/д? е Ь2(От). Более того, поскольку производные по времени функций и 5 равномерно по параметру аппроксимации ограничены в пространстве Ь2 ((0, Т) — [Ш1,(О)]), то последовательность {и 5} слабо сходится в Ь2(О) при почти всех? е (0, Т) [2]. При этом для предельных функций очевидным образом остается справедливой оценка (3. 9). Поскольку д (с5) ^ © в Мт при 5 ^ 0, то переходя к слабому пределу в уравнении (3. 2) и в интегральном тождестве (3. 10) убеждаемся в том, что функции и и р являются обобщенным решением задачи
(3. 1)-(3. 3). Единственность этого решения следует из интегрального тождества (3. 10) для разности и = и (2) — и (1) двух возможных обобщенных решений и (1) и (и), если воспользоваться результатами [1, с. 171]. Наконец, оценка (3. 13) следует из оценки (3. 9) и теоремы вложения пространства Ш2'°(От) в пространство Ь9(От) [1, с. 78].
Аналогичным образом доказывается оценка (3. 14).
Лемма 5. Пусть с е Мт и и = И1 ©. Тогда для решения с (х, ?) = И2(и) задачи (3. 5)-(3. 6) справедливы оценки
1|с||$т & lt- ЛТ» (3. 15)
1& lt-+Я & lt- N ||сН92пт & lt- N, (3. 16)
где постоянные N зависят от тех же величин, что и в лемме 1, а q и в удовлетворяют неравенствам: 5 & lt- q & lt- 6, в & lt- ^ - 5)^.
Доказательство. В силу леммы 3.4 функция и принадлежит пространству Ь9(От) для всех q & lt- 6. Обращаясь к результатам о разрешимости основных краевых задач для параболических уравнений в пространствах Ш2'1 (От) [1, с. 388], видим, что задача (3. 5)-(3. 6) разрешима в пространстве Ш2'1 (От) как задача для линейного уравнения с коэффициентами при младших производных из пространства Ь9(От). Последний факт влечет оценку (3. 15). Оценка (3. 16) следует при q & gt- 5 из теоремы вложения пространства Ш'-2'1(От) в пространство С1+в' (От) с в & lt- [1, глава II, § 3].
Лемма 6. Пусть с (1), с (2) е Мт, и (г) = К1(с (г)), с (г) = И2(и (г)), г = 1, 2. Тогда
1|с (1) — с (2) (c)т & lt- Л. |и (Ч — и& lt-2>- у,. Пт, (3. 17)
где N зависит от тех же величин, что и в лемме 5, а q & gt- 5.
Доказательство. Разность с = с (1) — с (2) удовлетворяет линейной начально-краевой задаче
— ?Д с = -и (1) ¦ Ус — и ¦ Ус (2),
д?
^ = 0, х е ?, с (х, 0) = 0, и = и (1) — и (2).
Требуемая оценка (3. 16) следует теперь из результатов о разрешимости основных начально-краевых задач в пространствах ^д2'1 (От) при q & gt- 5, если воспользоваться оценкой (3. 16): |Ус (2)(х,?)| & lt- Же.
Лемма 7. На достаточно малом интервале времени (0, Т°) оператор И, определенный формулой (3. 7), переводит множество Мт0 в себя и является на этом множестве вполне непрерывным. Доказательство. Непрерывность оператора И следует из оценок (3. 14), (3. 16) и (3. 17):
|с (1) — с (2)С & lt- |с (1) — с (2)|п1+в) & lt-вус (1) — с (2)у, 2^т & lt- Же|и (1) — и (2)у,'Пт & lt- (|с (1) — с (2)С) 2.
Полная непрерывность оператора И следует из оценки (3. 15): |И (сС+в) & lt- N, поскольку всякое ограниченное множество в пространстве С1+в'~+~ (От) является компактным в пространстве С (0)(От). Наконец, оценка (3. 16) и неравенства
Известия Саратовского университета. 2009. Т.9. Сер. Математика. Механика. Информатика, вып.2 |с (х, ?)| = |с°(х) + (с (х, ?) — с°(х)) | & lt- 1 + |с|[ЙТв & lt- 1 + ЖеТв & lt- 2
при
ГП '-Т'-. т^тт^ Л,, *е Т°
Т & lt- Т°, где ЖеТ°в & lt- 2, (3. 18)
означают, что оператор И переводит множество Мт0 в себя.
Полученные выше результаты и теорема Шаудера о неподвижной точке [2] доказывают следующую лемму:
Лемма 8. На достаточно малом интервале времени (0, Т°) у задачи (1. 1)-(1. 5) существует обобщенное решение.
Завершает доказательство теоремы 1 для сглаженных данных задачи следующая лемма:
Лемма 9. На произвольном интервале времени (0, Т°) для обобщенного решения задачи (1. 1) —
(1. 5) справедлива оценка
0 & lt- с (х,?) & lt- С & lt- 1. (3. 19)
Доказательство. В силу свойств оператора И (оценка (3. 16)) обобщенное решение с (х, ?) задачи
(1. 1)-(1. 5) принадлежит пространству С1+в'(От0). Поэтому (см. лемму 3. 1) и е С2+в'(От0). Следовательно решение с (х,?) задачи (3. 5)-(3. 6) принадлежит пространству С2+в'(От0) [1], как решение линейного параболического уравнения с гельдеровыми коэффициентами. В частности, для классических решений однородного параболического уравнения, удовлетворяющих однородному условию Неймана не границе области, справедлив принцип максимума [1], выраженный неравенствами (3. 19).
Таким образом, всякое обобщенное решение задачи (1. 1)-(1. 5), отвечающее гладким данным задачи, является классическим и удовлетворяет уравнениям, краевым и начальным условиям в обычном смысле.
Доказанная лемма позволяет продолжить решение задачи (1. 1)-(1. 5) на произвольный интервал времени (0, Т) за конечное число шагов, поскольку выбор величины Т0 не зависит от шага.
Наконец, для последнего предельного перехода при е ^ 0 докажем следующую лемму:
Лемма 10. На произвольном интервале времени (0, Т) для обобщенного решения задачи (1. 1) —
(1. 5) справедлива оценка (2. 6).
Доказательство. Для доказательства леммы достаточно умножить уравнение (1. 3) на с (х, ?) и проинтегрировать по частям по области О:
1 I |с (х, ?)|2"х + Б [ |Ус (х, ?)|2"ж = I = - / с V -Ус"х.
Необходимая оценка (2. 6) следует из последнего тождества, оценок (3. 9) и (3. 19) и неравенства
Гельдера: I & lt- у /п |Ус (х, ?)|2 «х + /п |v (x, ?)|2 «х.
Пусть Vе и св — решения задачи (1. 1)-(1. 5), отвечающие параметру регуляризации е. Оценки
О
(3. 9) позволяют выбрать подпоследовательность {Vе}, слабосходящуюся в пространстве Ш2'°(От) к
функции V е Ш2'°(От). Более того, поскольку производные по времени функций V е равномерно по параметру регуляризации ограничены в пространстве Ь2 ((0,Т) — [Ш^(О)]), то последовательность {Vе} сильно сходится в Ь2(От) к функции V [2]. Аналогично, оценки (2. 6) позволяют выбрать подпоследовательность {се}, слабосходящуюся в пространстве Ш2'° (От) и сильносходящуюся в пространстве Ь2(От) к функции с е Ш'-1'°(От). Переходя к пределу в уравнении (2. 1) и в интегральных тождествах
(2. 2) и (2. 3) при е ^ 0 убеждаемся, что предельные функции V и с являются обобщенным решением задачи
Библиографический список
1. Ладыженская О. А., Солонников В. А., Уральце- 2. Лионс Ж. -Л. Некоторые методы решения нелиней-ва Н.Н., Линейные и квазилинейные уравнения пара- ных краевых задач. М.: Мир, 1972. болического типа. М.: Наука, 1967.

ПоказатьСвернуть
Заполнить форму текущей работой