Задачи протекания для вязкого теплопроводного газа в нецилиндрических убывающих по времени областях
Т < ui (t), p (t) < М < +оо, (в случае задачи G2), (1−24) где m, М — некоторые положительные константы. п. 4. Введем следующие обозначения норм пространств, используемые в дальнейшем: • — норма в пространстве непрерывных в Q функций C (Q) — • q-^ — норма в пространстве Ca (Q), т. е. совокупности функций, непрерывных по Гёльдеру с показателем а, 0 < а < 1- |(H-aj+/3) НОрМа в пространстве функций… Читать ещё >
Задачи протекания для вязкого теплопроводного газа в нецилиндрических убывающих по времени областях (реферат, курсовая, диплом, контрольная)
Содержание
- Глава 1. Существование «в малом» по времени и единственность решений краевых задач для уравнений одномерного вязкого газа
- 1. 1. Постановка задач
- 1. 2. Теоремы существования решения задач «в малом» по времени
- 1. 3. Теоремы единственности
- Глава 2. Априорные оценки и разрешимость «в целом» по времени в пространствах Соболева
- 2. 1. Краевая задача с однородными граничными условиями для скорости
- 2. 2. Задача истечения газа из области
- 2. 3. Задача протекания газа через область
- Глава 3. Существование «в целом» по времени задач для системы уравнений Навье-Стокса в пространствах Гёльдера
- 3. 1. Глобальная разрешимость краевой задачи с однородными граничными условиями для скорости
- 3. 2. Глобальная разрешимость задачи истечения газа из области
- 3. 3. Глобальная разрешимость задачи протекания газа через область
Полная система уравнений движения вязкого теплопроводного газа или система уравнений Навье-Стокса представляет собой интересный и важный класс систем дифференциальных уравнений в частных производных [7], [33]. В теории таких систем одной из центральных является проблема однозначной разрешимости «в целом» как по времени, так и по данным (без каких-либо требований их малости).
Изучение вопросов единственности начально-краевых задач для системы уравнений Навье-Стокса началось в 1959 году с работы Дж. Серрина [56]. В ней были сформулированы постановки основных краевых задач и доказаны теоремы единственности в классе гладких решений. Отметим также более раннюю статью Д. Граффи [42] о единственности классических решений для баротропного газа.
Первый результат по разрешимости для уравнений Навье-Стокса получил в 1962 г. Дж. Нэш [53]. Он доказал существование классического решения задачи Коши «в малом» по времени. Этот результат несколько иными методами был повторен и обобщен в работах Н. Итая [43], А. И. Вольперта и С.И. Худя-ева [17].
Для начально-краевых задач локальные по времени теоремы существования и единственности установлены В. А. Солонниковым [34] и А. Тани [58].
Разрешимость задачи Коши для уравнений Навье-Стокса «в целом» по времени, но при условии, что начальные данные близки к состоянию покоя, т. е. «в малом» по данным, была установлена А. Матсумурой и Т. Нишидой [51], [52].
Первый результат по однозначной разрешимости «в целом» по времени и по данным был установлен в 1968 г. Я. И. Канелем [28] в случае задачи Коши для уравнений одномерного движения вязкого баротропного газа (р = Rp1). Для модели Бюргерса (р = const) разрешимость задачи Коши и начально-краевых задач была доказана в работах Н. Итая [44], [45] и А. Тани [59].
В 1976 г. А. В. Кажихов [21] впервые получил результат о глобальной разрешимости для уравнений одномерного движения вязкого теплопроводного газа. В дальнейшем цикл работ А. В. Кажихова [22] - [26], [49], В. В. Шелухина [26], [35] - [37], [49] позволил построить довольно полную теорию по глобальной разрешимости основных начально-краевых задач и задачи Коши для уравнений одномерного движения вязкого газа.
Данные исследования легли в основу монографии [7, гл. 2], в которой изложены результаты о существовании «в целом» и единственности регулярных обобщенных решений начально-краевых задач для уравнений одномерного движения вязкого теплопроводного газа при начальных данных из W2L (f2). Теорема об устойчивости таких решений в сильной норме содержится в работе А. А. Амосова [1].
В работах А. А. Амосова и А. А. Злотника получено существование «в целом» (слабых) обобщенных решений указанных задач при начальных данных из Lq (Q,) с некоторыми q [3], [4]. При несколько более жестких условиях на начальные данные в [3] установлена единственность и устойчивость обобщенных решений. Более ранний результат об устойчивости имеется в работе М. Паду-лы [54].
Необходимо отметить также работы А. А. Амосова и А. А. Злотника для уравнений движения вязкого баротропного газа в случае негладких начальных данных [5], [6]. Для вязкого теплопроводного газа в случае разрывных начальных данных отметим работы этих же авторов [18], [19], X. Фуджиты Яшимы, А. Новотны, М. Падулы [46] и Г.-К. Чена, Д. Хоффа, К. Тривисы [40]. В работе [2] А. А. Амосовым получен результат о существовании глобальных обобщенных решений для вязкого реального газа при весьма произвольных больших разрывных начальных данных специальным полудискретным методом.
Известны работы В. А. Вайганта, А. В. Кажихова [14] - [16], Е.В. Луки-ной [31], М. Падулы [55], Д. Хоффа [47], Г.-К. Чена, М. Кратки [41] по локальной и глобальной разрешимости задач для уравнений многомерного движения вязкого газа.
Проблеме глобальной разрешимости задач протекания для систем уравнений одномерного движения вязкого газа (баротропного или теплопроводного) посвящены работы С. Я. Белова [8] - [10] и В. А. Вайганта [11].
Как правило, в описанных выше работах область, в которой доказывается существование решения «в целом» по времени, является либо полосой {(x, t)| - сю < х < оо, 0 < t < Г}, либо цилиндром {(z, t)| а < х < Ь, 0 < t < Т}, где а, 6, Т — заданные постоянные.
Для вязкого газа известны результаты по глобальной разрешимости задачи со свободной границей об истечении газа в вакуум [7], [21], [50] и задачи о поршне, который двигается по заданному закону [7]. В обеих этих задачах скорость движения границы s (t) области, занятой газом, совпадает со скоростью движения материальной точки с координатой s (t), т. е. u (s (t), t) = ds (t)/dt, 0 < t < Т. Другими словами, газ через границу s (t) не течет, и этот факт играет решающую роль при доказательстве теорем существования, поскольку область определения решения в лагранжевых координатах становится фиксированным цилиндром.
В нашей работе для полной системы уравнений одномерного нестационарного движения вязкого теплопроводного газа доказывается однозначная глобальная разрешимость начально-краевых задач в нецилиндрических убывающих по времени областях {{x, t) 0 < х < s (?), 0 < t < Г}, где х = s (t) -заданная гладкая невозрастающая функция.
В статьях С. Я. Белова [39] и К. О. Казёнкина [20] рассматриваются задачи протекания вязкого баротропного газа через канал фиксированной длины. В [20] устанавливается только существование глобального обобщенного решения и по сравнению с [39] расширен класс начальных данных. Здесь исследование проводится в лагранжевых массовых координатах с применением метода приближенных решений.
В работах И. А. Калиева, А. В. Кажихова [25], [48] исследованы вопросы однозначной разрешимости задачи со свободной границей, моделирующей процесс фазового перехода между вязким газом и твердым телом. При этом возникает вспомогательная задача, описывающая движение вязкого теплопроводного газа в криволинейной области, доказывается единственность и существование ее локального решения. В статье И. А. Калиева [27] сделаны дополнительные предположения для упрощения одномерной задачи из [25], [48], а именно, в уравнении баланса энергии для газовой фазы пренебрегли слагаемыми, содержащими скорость, и доказана теорема существования и единственности глобального классического решения.
В настоящей работе рассматривается полная система уравнений (модель Навье-Стокса), описывающая движение совершенного политропного газа.
7, с. 16], [33, с. 161]:
P[Yt+Ud: дв дв ди di о. з).
0.1).
0.2) в нецилиндрической области Оу = {(ж,£)|0 < х < s (t), 0 < t < Т}. Область Пу занята вязким теплопроводным газом и х = s{t) — известная гладкая функция. Изучается случай, когда область сужается со временем, то есть ds (t)/dt < 0. Здесь p (x, t), u (x, t), p{x, t) и 9(x, t) — плотность, скорость, давление и абсолютная температура газа- /2, R, к — положительные константы: вязкость, газовая постоянная и коэффициент теплопроводности газа соответственно.
Уравнения (0.1) — (0.3) представляют собой весьма сложную систему дифференциальных уравнений в частных производных: уравнения импульса (0.2) и энергии (0.3) являются параболическими относительно искомых функций и (х, t) и в (х, t), а уравнение неразрывности (0.1) можно трактовать как уравнение первого порядка относительно плотности р (х, t).
В области йт для системы (0.1) — (0.3) ставятся следующие краевые задачи.
Задача GoНайти функции p (x, t), u (x, t), 9(x, t), удовлетворяющие системе 'уравнений (0.1) — (0.3), если в начальный момент и на границах выполняются условия р{х, t) t=0 = ро (х), и (х, *)|<=0 = и0(х), в{х, t) lt=0 = в0{х), х G [0, s0], (0−4) u{x, t) |I=s (t) = 0, te[0,T],.
0.5).
0.6).
0.7).
Здесь и впоследствии So = s (0). Под условием (0.7) понимается, что газ «прилипает» к границе х = 0.
Приведем условия согласования нулевого и первого порядков в точках (0,0), (s0,0) для задачи Go: uo (0) = 0, u0(s0) = 0, (0.8).
6>o (O) = 0i (O), = (0.9).
0) — Rp0x{О)0о (О) — Rp0{0)e0x{0) = 0, (0.10) ds (0).
РоЫЩхЫ-у- + риоххЫ — Rpox (so)90{s0) — Rpo (so)6ox (so) = О, (0.11).
РоЫ (е*(0) — вогЫ?^ = хооххы + №охы — rpo (so)oo{sq)uox{so)1 (0.12) po (0)elt (0) = явохх (0) + iml (0) — Rpo (0)90(0)uqx (Q). (0.13).
Задача Gi. Найти функции p (x, t), u (x, t), e (x, t), удовлетворяющие системе уравнений (0.1) — (0.3), если в начальный момент и на границах выполняются условия (0.4) — (0.6) и и{х^)х=о = щ{1)<0, te[0,T}. (0.14).
Условие (0.14) означает, что газ может вытекать из области через границу х = 0.
Для задачи Gi предполагается выполнение условий согласования: (0.9), (0.11), (0.12) и uo (0) = «i (0), «о (*о) = 0, (0−15) ро (0)ы (0) + ^(0)^(0)) = !1щхх{0) — Rpox (0)9o (0) — Дро (О)МО), (0.16).
МОХМО) + «o (O)WO)) =о, х (0) + ^0,(0) — Rpo (0)dQ (0)uQx (0). (0.17).
Задача G2. Найти функции p (x, t), u (x, t), 9(x, t), удовлетворяющие системе уравнений (0.1) — (0.3), если в начальный момент и на границах выполняются условия (0.4) — (0.6) и u (x, t) x=Q = ui (t)>0, te[ 0, Т], (0.18) p{x, t) x=o — pi{t), te[o, T}. (0.19).
Условия (0.18) и (0.19) означают, что газ втекает в область через границу х = 0 с заданной плотностью р (t).
Условия согласования нулевого и первого порядков в точках (0,0),(s0,0) для задачи G2: (0.9), (0.11), (0.12), (0.15) — (0.17) и р0(0) = pi (0), ри (0) + Ы0Ы0) + Po (0)uo*(0) = 0. (0.20).
Предполагается, что для всех х? [0, so] и t Е [0,Т] выполняются неравенства:
0 < т < р0{х), в0{х), вг (t), 02{t) < М < +оо, (0.21) ds s (t) >0, -М < ~{t) < 0, (0.22) ujv.
М < ui (t) < 0, (в случае задачи Gi), (0.23).
0 < т < Ui (t), pi (t) < М < -t-oo, (в случае задачи G2), (0.24) где т, М — некоторые положительные константы.
Во всех рассматриваемых задачах u (s (t), t) = 0, ds (t)/dt < 0, т. е. u (s (t), t) — ds (t)/dt > 0, и газ может вытекать через границу области х = s (t). В итоге мы исследуем задачи протекания через области с подвижными границами. Исследование проводится в эйлеровых переменных. Целью данной работы является:
1) доказательство существования решения задач Go — G2 для системы (0.1) -(0.3) в «малом» по времени, т. е. для достаточно малого U в области Q, tt = {{x, t).
2) доказательство единственности решения задач Go — G2 для системы (0.1) -(0.3) в области йт].
3) вывод глобальных априорных оценок в пространствах Соболева и доказательство глобального обобщенного решения задач Go — G2;
4) доказательство существования глобального решения задач G0 — G2 для системы (0.1) — (0.3) в области Оу в пространствах Гёльдера.
Перейдем к изложению основного содержания диссертации, которая состоит из трех глав. В пределах каждой главы принята сквозная нумерация параграфов и формул.
В главе 1 установлены: существование решений поставленных задач для системы (0.1) — (0.3) «в малом» по времени и единственность решений поставленных задач в области ПтДля доказательства существования локальных решений задач Go — G2 применяется теорема Тихонова-Шаудера.
В § 1.1 для системы (0.1) — (0.3) в области Оу приведены постановки задач Go — G2. Введены следующие обозначения, используемые в работе: ¦ - норма в пространстве непрерывных в Q функций C (Q) — ¦ - норма в пространстве Ca (Q), т. е. совокупности функций, непрерывных по Гёльдеру с показателем а, 0 < а < 1- |(i+a, j+p) НОрма в пространстве функций, которые по переменным х имеют производные до порядка г, по времени до порядка j, причем эти производные непрерывны по Гёльдеру по? с показателем а, 0 < а < 1, а по tс показателем ft, 0 < (3 < 1.
В § 1.2 доказаны следующие теоремы существования локальных решений поставленных задач в классах Гёльдера.
Теорема 0.1. Пусть начальные и краевые данные задачи Gq принадлежат пространствам Гёлъдера ф) е О1+а'([0, s0]), щ (х) е C2+Q ([0, s0]), 0о (ж) G C2+q ([0, s0]), s (t), 01 w, 02(i) e C (2+a)/2([0,T]),.
О < a = const < 1- выполнены условия (0.8) — (0.13), (0.21), (0.22). Тогда задача Gq имеет классическое решение «в малом» по времени, т. е. существует t* > 07 что p (x, t)? C1+a (OJ, u (x, t), 9(x, t) G (0.26) причем p (x, t) > 0, 6(x, t) > 0 в 0^.
Теорема 0.2. Пусть начальные и краевые данные задачи G принадлежат пространствам Гёлъдера.
Ро (х) в C1+Q ([0, so]), щ (х) е С2+а ([0, so]), 00w G С2+а ([0, So]), s (t), гххй, 0! Й, 02й Е С2+а2([0,Г]), О < а = const < 1- выполнены условия (0.21) — (0.23) и условия согласования (0.9), (0.11) — (0.12), (0.15) — (0.17). Тогда задача Gi имеет, классическое решение «в малом» по времени, т. е. существует t* > 0, что выполнены (0.26), причем p (x, t), 6(x, t) — строго положительные функции в 0^.
Теорема 0.3. Пусть начальные и краевые данные задачи G2 принадлежат пространствам Гёльдера.
Ро (х) е с1+а ([0, so]), щ (х) е С2+а ([0, so]), 0о (ж) е С2+"([0, s0]), 2 s (t), Ul (t), 0! Й, 02Й, pl (t) € ^(2+а)/2([0,Т]), О < а = const < 1- выполнены условия (0.21), (0.22), (0.24) и условия согласования (0.9), (0.11), (0.12), (0.15) — (0.17), (0.20). Тогда задача G2 имеет, классическое решение «в малом» по времени. Кроме того, справедливы (0.26) и p (x, t) > 0, 9(x, t) > 0 в В § 1.3 получены теоремы единственности решений поставленных задач в области От.
Теорема 0.4. Классическое решение задачи Go, описанное в теореме 0.1, единственно.
Теорема 0.5. Классическое решение задачи G, описанное в теореме 0.2, единственно.
Теорема 0.6. Классическое решение задачи G2, описанное в теореме 0.3, единственно.
Метод доказательства теорем 0.4−0.6 позволяет говорить о единственности классических решений задач Go — G2 не только для малых it*, но и для всей области, где они существуют, а также о единственности обобщенных решений задач Go — G2.
Глава 2 посвящена доказательству глобального существования и единственности обобщенного в От решений задач Go — G2 для системы (0.1) -(0.3). Единственность обобщенных решений поставленных задач следует из метода доказательства теорем 0.4 — 0.6 из главы 1.
Основную роль при доказательствах теорем играют глобальные априорные оценки, причем центральными из них являются оценки ограниченности плотности и температуры. Вывод этих оценок базируется на вспомогательных соотношениях и леммах. В заключительной части доказываются оценки для производных от искомых функций.
При получении оценок на функции p (x, t), u (x, t), 9(x, t) в области, занятой вязким газом, используем методы, разработанные В. А. Вайгантом [11]. Заметим, что в [11] область, занятая газом, является прямоугольником (0,1) х (0, Т), а в данной диссертационной работе область, занятая газом, является криволинейной трапецией CtT = {(ж, t) 0 < х < s (t), 0 < t < Т), где х = s (t) -заданная невозрастающая функция.
Следующие утверждения доказаны для задач G0 — G2.
Лемма 0.1. Существуют постоянные т > О, М > 0, зависящие от начальных, граничных данных и Т, такие, что min p (x, t) > тi, max р (хЛ) < Мл.
Mefir ~ (x, t) enT v ' ~.
Лемма 0.2. Существуют постоянные т2 > О, > О, зависящие от данных задачи и Т, такие, что min 9{хЛ) > mo, max 9(хЛ) < Мо. x, t) enT ~ {x, t)?Or v 1 ~.
Лемма 0.3. Существуют постоянные Сз, зависящие от Т, начальных и краевых данных, такие, что для любых t € [0,Т] справедливы следующие оценки: s{t) t s® t s (t).
J ul (x, t) dx + J j u2t{x, t) dxdr + J J ulx (x, r) dxdr < Ci,.
0 00 00 s (t) s (t).
J p2x (x, t) dx + J Pt (x, t) dx < C2, о 0 s{t) t s (T) t s{t).
J Ol (x, t) dx + J J 92t{x, t) dxdrJ J 92х{х)т) dxdr < C3.
0 00 00.
Определение 0.1. Обобщенным решением задач Gq — G2 называется совокупность функций (р, и, 9), щ в) € I/oo (О, Гs (t))) П L2(0, ТW22(0, s (t))),.
М)еЫПт), р G ioo (0,TWj^o.sW)), PteL2{nT), удовлетворяющих уравнениям (0.1) — (0.3) почти всюду в Пу и принимающих заданные начальные и граничные значения в смысле следов функций из указанны, х классов.
В § 2.1 приведено доказательство теоремы глобального существования и единственности обобщенного решения задачи Go для системы (0.1) — (0.3) области Птв.
Теорема 0.7. Пусть данные задачи Gq удовлетворяют условиям гладкости.
КроА) G so), (М2) G w}(0,t) и условиям, согласования щ (0) = 0, щ{з0) = 0, 0o (O) = 0i (O), 0o (So) = 02(O).
Если выполнены условия (0.21), (0.22) — то существует единственное обобщенное решение задачи Gq, причем p (x, t) и 9(x, t) — строго положительные и ограниченные функции.
Так как в главе 1 доказаны теоремы 0.1 — 0.3 существования локальных классических решений, то существование обобщенных решений поставленных задач Go — G2 «в малом» по времени строится как предел уже существующих гладких решений. Доказательство «в целом» по времени связано с получением априорных оценок, постоянные в которых зависят только от начальных и граничных данных задачи и величины интервала времени Т, но не зависят от промежутка существования локального решения.
В § 2.2 доказана теорема существования и единственности обобщенного решения задачи Gi «в целом» по времени в области От.
Теорема 0.8. Пусть начальные и граничные данные задачи G удовлетворяют условиям гладкости.
КроА) е W^CU), (uhehe2) е w}(o, t) и условиям согласования щ{0) = ui (0), u0(s0) = 0, 0о (О) = 0i (O), 90(s0) = 02(0).
Если выполнены условия (0.21) — (0.23), то существует единственное обобщенное решение задачи Gh причем p (x, t) и 0(x, t) — строго положительные и ограниченные функции.
В § 2.3 установлена однозначная глобальная разрешимость задачи G2 для системы (0.1) — (0.3) в области в пространствах Соболева.
Теоремк 0.9. Пусть данные задачи G2 удовлетворяют условиям гладкости.
КЛ)Д) € wjftso), (ubPhehe2) е W}(0,T) и условиям согласования щ (0) = и1(0), «о (5о) = о, A)(0) = pi (0), 0о (О) = #М #оЫ = Ш.
Если выполнены условия (0.21), (0.22) и (0.24), то существует единственное обобщенное решение задачи G2, причем р (х, t) и 9(х} t) — строго положительные и ограниченные функции.
В главе 3 установлены априорные оценки в классах Гёльдера, и на их основе доказаны теоремы существования и единственности решений задач GoG2 в области VLt.
Следующие априорные оценки получены для всех поставленных задач.
Лемма 0.4. Если выполнены условия теоремы 0.1 (0.2 или 0.3), то справедливы, оценки др