ГАЛКИН Д. В., ГОРБЕНКО О. Ю., ПОЗДЯЕВА Н. С.,
СИДОРЕНКОВА Т. О., ХАЛИКОВА К. К. РЕШЕНИЕ ЗАДАЧ ТЕПЛО- И МАССОПЕРЕНОСА НА АДАПТИРУЕМЫХ ЛОКАЛЬНО ИЗМЕЛЬЧАЮЩИХСЯ СЕТКАХ С ИСПОЛЬЗОВАНИЕМ БИБЛИОТЕКИ CHOMBO
Аннотация. Рассмотрена методика решения уравнений тепло- и массопереноса на ортогональных локально-адаптируемых сетках разрывным методом Галёркина с использование библиотеки Chombo. Рассмотрены схемы для решения уравнений газовой динамики и уравнения теплопроводности, описаны схемы передачи значений сеточных функций между уровнями адаптации сетки. Рассмотрен алгоритм построения сетки вокруг тела заданной геометрии для задач внешней аэродинамики.
Ключевые слова: разрывный метод Галёркина, структурированная сетка, библиотека Chombo, RKDG.
GALKIN D. V., GORBENKO O. YU., POZDYAEVA N. S., SIDORENKOVA T. O., KHALIKOVA K. K.
USING CHOMBO LIBRARY FOR SOLVING PROBLEMS OF
HEAT AND MASS TRANSFER ON LOCALLY-ADAPTIVE REFINED GRIDS
Abstract. The paper deals with the methodology of solving equations of heat and mass transfer on orthogonal local-adaptive grids by the discontinuous Galerkin method and Chombo library. Numerical schemes for solving the equations of gas dynamics and the equation of heat conduction are considered. The schemes of transmitting the values of grid functions from one level of adaptation to another are described. The algorithm of constructing the grid around the body of given geometry for external aerodynamics problems is included.
Keywords: discontinuous Galerkin method, structured grid, Chombo library, RKDG.
Введение. Задачи тепло- и массопереноса входят в число важнейших задач математической физики. Уравнения газовой динамики, описывающие процесс массопереноса, - одна из моделей механики сплошной среды. С их помощью поддается количественному и качественному описанию множество процессов, будь то обтекание тел жидкостью или газом, истечение газа из сопла. Теплоперенос и диффузия описываются уравнениями теплообмена.
Рассмотрим в данной статье решение таких уравнений с помощью разрывного метода Галёркина [1; 2]. На основе данного метода разработана методика для численного решения задач тепло- и массопереноса с использованием библиотеки Chombo [3]. Данная библиотека
содержит в себе набор инструментов для реализации методов конечных разностей и конечных элементов для решения дифференциальных уравнений в частных производных на блочно-структурированных адаптивных прямоугольных сетках. Выбор именно этого вида сетки обусловлен тем, что при помощи адаптивных сеток возможно эффективно использовать компьютерные ресурсы и в значительной степени сократить объем используемой машинной памяти при решении многомерных задач. Кроме того, реализация данного подхода гораздо проще по сравнению с другими методами и может достичь высокого порядка точности [4].
1. Решение задач газовой динамики разрывным методом Галёркина. Рассмотрим систему уравнений газовой динамики в переменных Эйлера для идеального газа:
^ + й1рР(и) = 0, (1)
где
/ \ /
и = Л(и) =
ри
ри2+р ) , Ру(и) = риу
ру
риу ру2+р
. • г I \ Г г
\РЕ/ \(рЕ+р)и/ \(рЕ+р)у)
в области П с начальным условием
и(х,у,0) = и0(х,у)
и граничным условием
и(х,уЛ) = д(х,уЛ) При (х, у)еу, 0 < t < Т, где у — границы области П.
Введем в области П структурированную прямоугольную сетку Тп, и в каждой ячейке ТI зададим базис {(Рк]к=о. Приближенное решение системы (1) в ячейке Т^ будем искать в виде:
ип(х,г) = Т1рк=0ик(г)^к(х). (2)
Коэффициенты ик(1) в (2) найдем из условия ортогональности невязки всем базисным функциям, получаемой после подстановки (2) в (1):
ГГ дип Г Г
и -^-(ркйхйу + и &\чР(иП)фк йхйу = 0,к = 0, ...,р.
д_Ц_п дг
п п
Далее получим
/4 ^<Ркйхйу = / ( Р(ип) ^ + Р(ип) ^ ) йхйу —
фдтЛип)<Ркпх+ Р(ип)сркпу)й1 (3)
к = 0, ...,р.
Обозначив за М матрицу масс, составленную из значений скалярных произведений базисных функций, за Ь^и^ - правую часть (3), получим систему:
(4)
Запишем выражение для конкретной ячейки Т-\. Пусть р = 2 и базис имеет вид:
(5)
Mu-^ = L(Uh),
<Ро = 1 , (р1 = (х- хс), ф2 = (у- ус) где (хс, ус) - координаты центра ячейки.
Тогда приближенное решение принимает вид:
ип=ио+ Щ(х - хс) + и.2(у- ус) Подставив данный вид решения в формулы (3) и (4), получим систему (4) в виде:
/ Г \
( Р(ип) • 1 • пх + Р(ип) • 1 • Пу)й1
(6)
М-
dUh dt
dTi
( F(Uh)(x — xc)nx + F(Uh)(x — xc)ny)dl
dTi
S
Ti
Ur
d(x- xc) dx
dxdy
f - - ff d(y-yc)
x + F(Uh)(y — yc)ny)dl — S Uh-—-dxdy
. ... . . . . .. . п ду \дП Ть )
Дискретизация по времени осуществляется методом Эйлера, что приводит к схеме:
M
uhnew- Uh
At
фат.( F(Uh) • 1 • nx + F(Uh) • 1 • Uy)dl
$an( F(Uh)(x — xc)nx + F(Uh)(x — xc)ny)dl — // Uh diX—c) dxdy
\Фдп( F(Uh)(y — yc)nx+ F(Uh)(y — yc)ny)dl — jjTiUh
dx d(y-yc) ду
(7)
dxdy J
Решив систему (7) получим значение приближенного решения на новом временном
слое.
2. Решение задач теплопроводности разрывным методом Галёркина. В случае двумерного уравнения теплопроводности имеем:
pCv ^ = div(k • grad и) + f, (х,у)е G, 0 < t <Т (8)
с начальным условием и(х,у, 0) = и0(х,у) и граничным условием и(х, у, t) = g(x, у, t) при (х,у) е у,0 < t < Т.
Тогда уравнение (8) можно переписать в виде [5]:
ди д д
рСу — = —кцх + —кцу + (х,у)е в, 0 < t < Т
д1 дх
ду
ди
Чх = ^,(х,у)ес, 0<^т ди
Чу = —, (х,у)е в, 0 < t <Т ду
Введем в области П структурированную прямоугольную сетку Тп, и в каждой ячейке ТI зададим базис [<Рк}к=о из пространства полиномов степени не выше К. Приближенное решение системы (1) в ячейке Т^ будем искать в виде:
ип(х,г) = !1рк=0ик(1)(рк(х). Совершая аналогичные преобразования, как и для случая уравнения газовой динамики, получим:
ГГ ди1г
рСу II —(ркйхйу
П
= ии ¿™(КЧх + Чу))<Рк йхйу + и ¡п(ркйхйу
П Чх
Чу
= ^-¿ГУ к йхйу
дх
= ии~ду^к йхйу
П
П
к = 0, ...,р
т
V
3. Передачи сеточных данных между уровнями на локально-адаптивных прямоугольных сетках. Локально-адаптивные сетки, которые измельчаются только в тех областях, где решение обладает большим градиентом, в большинстве случаев экономят вычислительные ресурсы и повышают скорость сходимости приближенного решения.
Рис. 1. Огрубление ячеек.
Когда имеется более мелкое разбиение сетки и необходимо перейти на более грубый уровень (см. рис. 1), то для получения решения в новой ячейке К' используются уравнения:
ц(0) =1(и(0) + и(0) + и(0) + и(0))
°К' 4 (иК1 + иК2 + иК3 + иК4 у
и
(1) К'
и
(2) К'
(3)
К'
=8( =8( =и
) + 3(-и?} + и(У- и(0) + и(0)
и(2) =-( и(2) + и(2) + и(2) + и(2)
иК' д ( иК1 + иК2 + иК3 + иК4
8 3
8 (— 1к1 3 16
К1 1 ^К2 "КЗ 1 "К4
К4
У У
)
+
9
3 ( т,(1) г,(1) г,(1) г,(1)\ 9 (П(0) П(0) Т,(0) , гг(0)
1бЦ(-иК1 - иК2 + иК3 + иК4 ) + 1б(иК1 - иК2 - иК3 + ЬК4
< = + "К2> + "К? + "К?)+Ц(-"К\> + № - «КЗ + <),
"К? = 1(и% + »К52 + и% + иК4>)+ЦК® - и™ + и% +
Рис. 2. Интерполяция ячейки.
Если нужно получить более точное решение, то, раздробив сетку (см. рис. 2), получаем следующие уравнения:
иК^и^ + а^+Ь^ + а^,
и<,)=1иК1Ч(-1Уа1Ь1иК3) + ^К4),
иК = \иКР + (-ЪЧаЫиК3 + Ь{и<\ 1
1
тУ
■ 1 1 1
где а г = (-1)1-.Ъ1 = Ь2 = -\,Ъъ = Ъ4 = 1(1 = 1,2,3,4).
2
2
1
2
4. Алгоритм заполнения полигонов. Одним из наиболее простых объектов для моделирования задач внешний аэродинамики является профиль крыла, представляющий собой сечение крыла плоскостью, параллельной плоскости симметрии самолета. В ходе реализации метода Галёркина на локально-адаптируемых сетках возникает задача задания и загрузки геометрии области. При использовании прямоугольных двумерных сеток для задания областей можно воспользоваться алгоритмом заполнения полигонов.
Контур полигона задается вершинами, соединенными отрезками прямых - ребрами. Часто для заполнения полигона применяют алгоритм, идея которого - закрашивание фигуры отрезками прямых линий. Рассмотрим заполнение по горизонтали. Алгоритм представляет собой цикл вдоль оси у, в ходе которого происходит поиск точек пересечения горизонталей с линиями контура.
Обоснование этого алгоритма следует из топологического свойства контура фигуры. Оно заключается в следующем: любая прямая линия пересекает любой замкнутый контур четное количество раз. Если фигура выпуклая, то точек пересечения с любой прямой всегда две.
Рис. 3. Точки пересечения прямых с контуром полигона.
Во время поиска точек пересечения прямых с контуром полигона нужно обратить внимание на особые точки. Если горизонталь имеет координату (у), которая совпадает с координатой yi вершины Рi, тогда необходимо рассмотреть то, как горизонталь проходит через вершину. Когда горизонталь пересекает контур, как в точках Р0 или Р4, то в массив попадает только одна точка пересечения. В случае, если горизонталь касается вершины контура (т.е. вершина является локальным минимумом или максимумом, как в вершинах Рь Р2, Р3 или Р5), то координата точки касания или не сохраняется, или сохраняется в массив дважды. Вследствие выполнения этого условия, в массиве хранится четное количество точек пересечения.
Заключение. С увеличением числа различных задач прикладного характера повышаются требования к эффективности и точности численных методов, применяемых для решения уравнений. Благодаря тому, что рассмотренный в статье разрывный метод Галёркина имеет конечно элементную структуру, следует отметить ряд его преимуществ перед другими численными методами, применяемыми в данной области: 1) разрывный метод Галеркина обладает гибкостью и хорошей приспособленностью в условиях локальных сгущений сетки и при локальном повышении порядков базисных функций; 2) метод позволяет работать со сложными и геометрически разнородными областями.
ЛИТЕРАТУРА
1. Cockburn B. An Introduction to the Discontinuous Galerkin Method for Convection // Dominated Problems, Advanced Numerical Approximation of Nonlinear Hyperbolic Equations (Lecture Notes in Mathematics). - 1998. - Vol. 1697. - Р. 151-268.
2. Jianming Liu, Jianxian Qiu, Ou Hu, Ning Zhao, Mikhail Goman, Xinkai Li Adaptive Runge-Kutta discontinuous Galerkin method for complex geometry problems on Cartesian grid // Int. J. Numer. Meth. Fluids. - 2013. - No.73. - Р. 847-868.
3. Adams M., Colella P., Graves D. T., etc., Chombo Software Package for AMR Applications - Design Document / Lawrence Berkeley National Laboratory Technical Report LBNL-6616E, 2015. - 204 p.
4. Жалнин Р. В. О построении параллельного вычислительного алгоритма для прямого численного моделирования сложных газодинамических течений // Журнал Средневолжского математического общества. - 2008. - Т. 10, № 1. - С. 137-146.
5. Масягин В. Ф., Жалнин Р. В., Тишкин В. Ф. О применении разрывного конечно-элементного метода Галёркина для решения двумерных уравнений диффузионного типа на неструктурированных сетках // Журнал Средневолжского математического общества. - 2013. - Т. 15, № 2. - С. 59-65.