CC BY
33
Вычислительные технологии
Том 3, № 6, 1998
ПОСТРОЕНИЕ КАНОНИЧЕСКИХ СИСТЕМ ДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙ ДЛЯ ИНВАРИАНТНЫХ ПОДМОДЕЛЕЙ ГАЗОВОЙ
ДИНАМИКИ*
А. А. Черевко Институт гидродинамики им. М.А. Лаврентьева СО РАН
Новосибирск, Россия e-mail: [email protected]
The functioning of the program of analytical computations in the environment of Mathematica 3.0. is considered. The most laborious part of algoritm [1], i.e. building of canonical differential equations system for gas dynamics invariant solutions on selected invariant and non-invariant variables are rendered automatic.
Одной из задач программы ПОДМОДЕЛИ [2, 3] является нахождение инвариантных решений уравнений газовой динамики (УГД). Для построения решения, инвариантного относительно некоторой подалгебры, необходимо сначала выбрать инварианты составляющих подалгебру операторов. При выборе инвариантов всегда есть произвол, поскольку функции от инвариантов — это тоже инварианты. Поэтому система дифференциальных уравнений, которой удовлетворяет инвариантное решение, может быть получена в различных формах, эквивалентных друг другу. Это затрудняет сравнительный анализ подмоделей. Кроме того, подмоделей довольно много (сотни) и поэтому весьма полезны дополнительные классифицирующие признаки.
В работе [1] доказано существование определенной канонической формы дифференциальных уравнений инвариантных подмоделей УГД. Эта форма имеет дивергентный вид, и в ней явно выделена операция дифференцирования инвариантных искомых функций вдоль инвариантных траекторий.
Для описания этой канонической формы введем следующие обозначения (подробный вывод см. в [1]). Пусть x0 = t, x1 = x, x2 = y, x3 = z — исходные переменные. На этом пространстве УГД могут быть записаны в дивергентной форме
div H = 0, div(Sph) = 0, (1)
где
h = (1 ,u,v,w)*, H = p(h ■ h*) + 0 J )•
* Работа выполнена при финансовой поддержке Российского фонда фундаментальных исследований, грант №96-01-01780, и программы "Ведущие научные школы", грант №96-15-96238.
© А. А. Черевко, 1998.
Здесь и далее символ * обозначает транспонирование, р — плотность, р — давление, Б — энтропия, — компоненты вектора скорости, I — единичная 3 х 3 матрица, а И • И*
есть матрица-диада
/ 1 и V ш \
ЬЬ*
2
и и2 ш иш
V ^ V
2
Vш
\ Ш иш Vш ш2 /
Рассмотрим переход в УГД к новым переменным
у0 = г, ук = ук(г,х1,х2,х3), к = 1, 2, 3 (г не преобразуется!). Матрица Якоби 3 запишется в блочном виде
3
1 0 я' 30
Здесь я' = (х1,х2,х3)*, 3о = (дхг/ду]), г = 1, 2, 3, ] = 1, 2, 3. Тогда И = 3Ь', где
Ь' = (1, V1, V2, V3)*, Vк = Оук, к =1, 2, 3
с оператором полного дифференцирования О = + идх1 + vдx2 + шдхз. Кроме того, Н 3Н' 3*, где
0 0 \ -Г- Т-1 Т-1*
Н' = рЬ' • Ь'* + рВ, в
0 Во
В0
3-1 3 30 30
1 х 3 векторы-строки матрицы В0 обозначим как Вк и положим
где
Гк
дук дхв дхя дг2
к
г а
Г:
а
Г
(Гк-) (Г])* (Г,)
дук дхя
к = 1, 2,3,
дук дхв
дхя дгду]
Г
1]
дхя дугду]
символы Кристоффеля.
Тогда УГД запишутся следующим образом:
(рЬ' + рЬ' • Vу 1п|30| = 0, (vkрh' + р(0, в0)) + Vy 1п|3о| • (vkрЬ' + р(0, Вк)) + Гк : Н' = 0, к = 1, 2, 3, а1уу(БрЬ') + (Vy1n|3о|) • БрЬ' = 0.
При этом существуют [1] такие новые координаты ук (х, г) (некоторые из них инвариантные) и функции (х, г), гк(х, г), к =1, 2, 3, что выражения ик = >£к(О(ук) + гк), к =1, 2, 3 можно взять в качестве инвариантных скоростей (здесь О — оператор полного дифференцирования). Тогда, подставляя
О(ук) = ик/ук - гк, к =1, 2, 3,
к
V
и учитывая независимость инвариантных величин от неинвариантных переменных, получим уравнения инвариантной подмодели УГД в канонической форме.
При приведении уравнений инвариантных подмоделей УГД к каноническому виду значительно уменьшается произвол в выборе инвариантов, кроме того, появляются новые классифицирующие признаки, связанные с алгебраической структурой и представлением в базовом пространстве соответствующей подалгебры.
При использовании описанного в [1] алгоритма построения канонической системы уже после выбора ук(х, ¿), гк(х,£), <рк(х,£), к = 1, 2, 3 и инвариантных плотности, давления и энтропии возникает большой объем аналитических выкладок, связанный с громоздкими подстановками, обращением матриц, упрощением возникающих уравнений и т. п. В связи с этим и написана программа аналитических вычислений в среде пакета МаЛеша^са 3.0, проделывающая всю эту работу. Далее описывается схема работы программы и приводится пример выходного файла.
В качестве входных данных необходимо задать ук, гк, , к = 1, 2, 3, выбранные в соответствии с алгоритмом [1], и инвариантные плотность, давление и энтропию. Кроме того, необходимо указать, какие из ук являются инвариантными.
Программа создает два выходных файла (один в формате МаЛеша^са 3.0, второй в формате издательской системы ТЕХ), каждый из которых включает в себя:
1) выражения для инвариантных независимых и зависимых переменных (инвариантные скорости вычисляются по формуле ик = <рк(0(ук) + гк));
2) уравнения, определяющие инвариантное решение в дивергентной форме (дивергенция по инвариантным переменным);
3) уравнения, определяющие инвариантное решение с оператором полного дифференцирования по инвариантным переменным.
Далее следует пример выходного файла программы в формате ТЕХ для одной из подмоделей ранга 1, т. е. с одной инвариантной независимой переменной.
Подалгебра:
X1 = дх, X 4 + X10 = дь + гдх + ди, 2 ■ X11 - X13 + а ■ X14 = гд1 + 2хдх + 2уду + 2гдг +
+иди + уд.-€ + + (а - 2)рдр + ардр.
В соответствии с рекомендациями работы [1] выбраны следующие функции ,гк и координаты:
^ = еу , ^ = 0
= в«2, г2 = 0 = е-у2, г3 = 0
I2
х
+ у3
у = в2у ео8(у1),
г = в
2 у2
81П(у1).
Инвариантные переменные: {у1}.
2
2
Инвариантные скорости:
1 ш ес^у1) — V й1п(у1)
и
еу2
2 V есв(у1) + ш й1п(у1)
и = 2еу2 ,
3 —г + и и3 = —,
еу
и = г + еу2 и3,
V = — (V (в1п(у1) и1 — 2 ес8(у1) и2)) ш = еу (есв(у1) и1 + 2 в1п(у1) и2) .
Плотность, давление, энтропия:
р = е(-2+а) у2
р = ваУ2 р, Б = е(а+27-ат) у2 Б
Уравнения подмодели в дивергентной форме ( ®1о(/1) = / 1у1 ):
£1о(ри1) = — (1 + а) ри2,
:ЭЬ(р + ри12) = — (4 + а) ри1 и2,
£Ь(ри1 и2) = 14 ар+ 2р (и12 — 2 (2 + а) и22)) ,
£Ь(ри1 и3) = —р (1 + (2 + а) и2и3) , £Ь(Бри1) = (—1 + а (—2 + 7) — 27) Бри2.
Каноническая форма уравнений подмодели (^({) = ):
ри1у1 + Р(р) = — (то + Ч) рПе, р?у1 + рХ>(П~) = —э рПе,
4рР(Пе) = —Ч - + е р (п~е — е Пее),
V
Р(ПЭ) = — (то + Пе Пэ) , £>(«-) = (Ч (—то + 7) — е 7) «- Пе.
Ко времени написания данной статьи с помощью предложенной программы Е. В. Мамонтовым, С. В. Головиным и автором было исследовано 160 подмоделей с одной независимой переменной и 101 подмодель с двумя независимыми переменными из оптимальной системы подалгебр для алгебры Ли операторов, допускаемых уравнениями газовой динамики в случае политропного газа [4]. Расчеты производились на ЭВМ с процессором Супх-130 и ОЗУ 32 Мб. Вычисления показали приемлемое время счета: от нескольких десятков секунд до 30 минут на одну подмодель без учета предварительной подготовительной работы. Типичное время счета 1-10 минут, лишь сравнительно небольшое (около
10 %) число подмоделей с переменными в сферических координатах требует большего времени.
Автор выражает благодарность участникам программы ПОДМОДЕЛИ Л. В. Овсянникову, С. В. Головину, С. В. Мелешко, С. В. Хабирову, А. П. Чупахину, плодотворное общение с которыми оказало большое влияние на эту работу. Хочется также выразить особую признательность Е. В. Мамонтову, чьи ценные замечания позволили значительно улучшить программу.
Список литературы
[1] Овсянников Л. В. Каноническая форма инвариантных подмоделей газовой динамики. Препринт №3-97, Ин-т гидродинамики СО РАН, Новосибирск, 1997.
[2] Овсянников Л. В. Программа ПОДМОДЕЛИ. Ин-т гидродинамики СО РАН, Новосибирск, 1992.
[3] Овсянников Л. В. Программа ПОДМОДЕЛИ. Газовая динамика. ПММ, 58, №4, 1994, 30-55.
[4] Головин С. В. Оптимальная система подалгебр для алгебры Ли операторов, допускаемых уравнениями газовой динамики в случае политропного газа. Препринт №5-96, Ин-т гидродинамики СО РАН, Новосибирск, 1996.
Поступила в редакцию 23 июня 1998 г.
