CC BY
49
УДК 519.633
DOI: 10.14529/ mm p 160313
ПРИМЕНЕНИЕ РАЗРЫВНОГО МЕТОДА ГАЛЕРКИНА ДЛЯ РЕШЕНИЯ ПАРАБОЛИЧЕСКИХ ЗАДАЧ В АНИЗОТРОПНЫХ СРЕДАХ НА ТРЕУГОЛЬНЫХ СЕТКАХ
Р.В. Жалнин, М.Е. Ладонкина, В.Ф. Масягин, В.Ф. Тишкин
Предлагается новый численный алгоритм решения параболических начально-краевых задач в анизотропных средах на основе метода Галеркина с разрывными базисными функциями на треугольных сетках. Для применения метода Галеркина с разрывными базисными функциями для решения параболического уравнения с известными начально-краевыми условиями необходимо преобразовать его к системе дифференциальных уравнений в частных производных первого порядка. Для этого вводятся вспомогательные переменные, представляющие собой компоненты потока. Характерной особенностью данного метода является рассмотрение вспомогательных переменных на двойственной сетке. Двойственная сетка состоит из медианных контрольных объемов и является сопряженной к исходной треугольной сетке. Потоковые значения величин на границе элементов предлагается вычислять с добавлением стабилизирующих добавок. Исследование численной методики проводится на примере решения двумерных параболических начально-краевых задач. Исследован вопрос сходимости и точности численной методики. Приведенные численные результаты показывают возможность применения предлагаемой методики для решения параболических задач в анизотропных средах на треугольных сетках.
Ключевые слова: параболические уравнения; анизотропные среды; метод Галеркина с разрывными базисными функциями; сходимость и точность численного метода.
Введение
Данная работа посвящена решению параболических уравнений на треугольных сетках методом Галеркина с разрывными базисными функциями (РМГ), или Discontinuous Galerkin Method (DGM) [1,2], который характеризуется высоким порядком точности получаемого решения [3-5]. Как принято при решении уравнений второго порядка разрывным методом Галеркина [5], в данной работе уравнения параболического типа записаны в виде системы уравнений первого порядка, и решение происходит в два этапа. На первом этапе вычисляются вспомогательные переменные, аппроксимация которых в пределах ячейки двойственной сетки находится в виде полиномов степени p с зависящими от времени коэффициентами [5,6]. На следующем
этапе находится само решение, аппроксимация которого в пределах ячейки основной
p
тами. При этом на первом этапе не возникает никаких трудностей при вычислении потоков через границу элементов, в то время как на втором возникает такая проблема. В данной работе предложен алгоритм вычисления потоков на границе элементов, аналогично тому, как это сделано для уравнения теплопроводности [6], используя стабилизирующие добавки.
Для верификации работы предложенного способа вычисления потоков на границе элементов использовались задачи, где получено хорошее согласование результата расчетов с точным решением и показан высокий порядок точности схемы.
1. Разрывный метод Галеркина для тензорных коэффициентов
Рассматривается следующая параболическая начально-краевая задача в анизотропной среде:
ди
— + = г, (х,у) е в, о <г < т,
и(х,у,г) = д(х,у,г), (х,у) е д0, (1)
и(х,у, 0) = ио(х,у), (х,у) е В,
где В - область двумерного пространства с границей дВ, и - определяемая величина, Ж - поток. Предполагается стандартная, определяемая экспериментально установленными законами связь функции и потока Ж = — (шх,шу), шх = кххдди + кхуту,
Шу — кухди + кууду где кхх,кху,кух,куу компоненты тензорсЦ д(х,у,Ь"),ио(х,у") зэ/~ данные функции.
Для применения разрывного метода Галеркина покроем область В и дБ, на которой ищется решение, треугольной сеткой Ти. Все треугольники Тк из Ти имеют ненулевую площадь и пересекаются не более чем по образующим их вершинам или ребрам. В каждом из треугольников определим центр и середины сторон. В треугольнике Тк с вершинами в точках ТКх1,у1), Т^(х2,у2), Т'к(х3, у3) центр (хс ,ус) определим как: хс = х1+х32+хз ,ус = у1+у2+уз, Также примем в рассмотрение двойственную сетку, составленную из медианных контрольных объемов вокруг узлов треугольной сетки, образованных отрезками, соединяющими центры треугольников с серединами сторон. Узел треугольной сетки будет являться центром для соответствующей ему ячейки двойственной сетки.
Для аппроксимации первого уравнения из (1) необходимо преобразовать его к системе дифференциальных уравнений в частных производных 1-го порядка [2]. Для этого отдельно рассмотрим потоковые переменные [5]. Тогда первое уравнение в исходной системе (1) можно переписать в виде:
ди дшх дшу ^ . . ^ ^
- х + + Г (х,у) е В, 0 <г < Т,
дЬ дх ду
ди ди
'~гл + Кху~7\
дх ду ди ди
Кух-тг- + Куу—, (х,у) е в, о <г < Т,
Шх = Кхх-к- + Кху, (х,у) е В, 0 <Ь < Т, (2)
дх ду
где шх,шу на границе расчетной области должны удовлетворять следующим соотношениям: щ. = к„Ц + Кх„|Ш = к„Ц + к»|, (*,„) е дВ.
Для решения полученной системы (2) воспользуемся разрывным методом Галеркина. На каждом треугольнике Тк е Ти введем систему линейных базисных функций [фг] е Р 1,г = 0,1,2, ф0 = 1,ф1 = ^-хт,ф2 = гДе (хс,ус) - центр соответ-
ствующего треугольника Тк, Ах, Ау - проекции треугольника на соответствующие координатные оси.
в
функций {фг] е Р1 ,г = 0,1, 2, ф0 = 1,ф1 = х-хС,ф2 = у-уС , где (х^,у^) - центр соответствующей ячейки Вк, Ахл, Аул - проекции ячейки двойственной сетки на соответствующие координатные оси.
Р.В. Жал НИН, М.Е. Ладонкина, В.Ф. Масягин, В.Ф. Тишкин
Приближенное решение ик в разрывном методе Галеркина ищется в каждом треугольнике как разложение по соответствующему базису [1]:
X X с у Ус / \ / \ т -
ик = иок + и1к + и2к Ду , ик = щк(г), (х,у) е 1к, г = 0, 2.
Приближенные решения шхк, шук будем искать в каждой ячейке Вк в виде разложения по соответсвующему базису:
X _ хх^ у _ у^
с У Ус / \ / \ _ , ———
Шхк = Шх0к + Шх1к дхЛ--+ Шх2к ДуЛ , Шхгк = Шхгк(Ч , (х,у) е Вк, г = 0, 2ч
хх_хх ^ ^у_
Шук = Шу0к + Шу1к Дх^ + Шу2к д л , Шугк = Шугк (г), (х, у) е Вк, г = 0, 2.
Умножим первое уравнение из (2) на пробную функцию фг,г = 0,1, 2, и проинтегрируем произведение по треугольнику Тк, к = 1,..., N где N - число треугольников.
и ик
определения коэффициентов разложения ик то баз и су {фг}'
2 д
^Т -д^Г I фгфт^8 = (р ихШ^фтё! + НушУуфтй1_
г=0
dt I ~rl'm J г /i,yu^yY/mL
Tk dTk dTk
_ У Шх^ _ У Шуds + J ГкфтЛз, т = 0, 2. (3)
Тк Тк Тк
Умножим второе и третье уравнения из (2) на пробную функцию фг,г = 0,1, 2, и проинтегрируем произведение по ячейке Вк, к = 1,...,М, где М - число ячеек двойственной сетки. Получаем следующие системы для определения коэффициентов разложения шхк, шук то базису {фг}'
д (кххФт)
У0 Шхгк J 4>i4>mds = j> UxKxxUV^mdl + j> UyKxyUV^mdl - J Пк dds-
Dk dDk dDk Dk
-j Uk¿8, m = 072, (4)
Dk
J фiфmds = j) UxKyxUV^mdl + j) Uy Kyy UV^mdl -J Uk ds-
Dk dDk dDk Dk
-f Uk д(Kyyфm) ds, m = 072. (5)
J dy
Dk
Потоковые величины UV и на границе соответствующих элементов определены ниже.
2. Аппроксимация потоков
В системе (3) на границе элемента необходимо вычислить потоковые значения величин и ш^. Их предлагается вычислять аналогично тому, как это сделано для уравнения теплопроводности [6], используя стабилизирующие добавки:
щг (и+ ,и~,и) = ш + С11 ((и+ — и-), и) ,
где величина, обозначенная через и— вычисляется на границе дТк элемента Тк по
Т и+
дТ Т
и
В системах (4) и (5) потоковые значения величины иг на внутренних ребрах известны за счет использования двойственной сетки, на граничных ребрах в случае периодических граничных условий будем брать полусумму величин из соседних к данному ребру ячеек, а в случае непериодических граничных условий будем брать значение из граничного условия.
3. Численные результаты
В качестве первой была выбрана следующая начально-краевая задача: ди
—+ = 0, 0 < х < 1, 0 <у< 1, 0 <Ь < Т, дЬ
Ж = —К ▽и,
и(х,у, 0) = вт(2пх) вт(2пу), 0 <х< 1, 0 <у< 1,
и(0, у, Ь) = и(1,у,Ь), 0 <у< 1, (6)
и(х, 0,Ь) = и(х, 1,Ь), 0 <х< 1,
г ( 1 0,5\
с периодическими граничными условиями, где матрица тензора К = ^05 1 ) Точное решение задачи имеет вид:
ит = 0, 5ехр"12Л (вт(2пх) вт(2пу) — сов(2пх) сов(2пу)) + +0, 5ехр"4я" 1 (вт(2пх) вт(2пу) + сов(2пх) сов(2пу)).
Полученное с помощью предлагаемого метода численное решение сравнивалось с точным на момент времени Т = 0, 2. Расчеты выполнены на равномерной сетке с шагами кх = ку = 0, 0666, 0, 0333, 0, 0166 и 0, 0083 с одним и тем же числом Куранта. В табл. 1 параметр N количество треугольников. Определены порядки точности исследуемого метода в нормах Ь1 и Ь2 на момент времени Т = 0, 2. В качестве второй рассматривалась задача:
ди
— + = 0, 0 < х < 1, 0 <у< 1, 0 <Ь < Т, дЬ
Ж = —К ▽и,
и(х,у, 0) = вт(пх) вт(пу), 0 <х< 1, 0 < у < 1,
и(0, у, Ь) = 0, и(1,у,Ь) = 0, 0 < у < 1, (7)
и(х, 0,Ь) = 0, и(х, 1,Ь) = 0, 0 < х < 1,
P.B. Жал nuil, М.Е. Ладонкина, В.Ф. Масягин, В.Ф. Тишкин
где матрица тензора K
. Расчет велся до момента времени T = 0, 32.
0,0666, 0,0333, 0,0166
1 0,5
ч0,5 1
Расчеты выполнены на равномерной сетке с шагами кх = ку и 0, 0083 с одним и тем же числом Куранта.
Во второй задаче, в которой не удается найти точное решение, порядки точности исследуемого метода в нормах Ь1 и Ь2 определены по формулам [8]:
Г L1 = log2 Гь2 = log2
Uh
-Uh/2 I
Li
||uh/2-Uh/4||Ll \\Uh-Uh/2 ||L2
I Uh/2 Uh/4 I
L2
N
\uh — uh/2 У Li
\uh — uh/2\\L2
E I \uh - Uh/2\ ds,
k=l Tk
N
E I {uh - Uh/2Y ds
,k=l Tk
)
1/2
где пь,пь/2,иь/4 - численные решения задачи на сетках с характеристическими размерами ячеек к, к/2 и к/4 соответственно, N - количество треугольников в расчетной области. В табл. 2 указан характеристический размер ячеек треугольной сетки к и порядки точности исследуемого метода в нормах Ь1 и Ь2, определенные по описанным выше формулам.
Таблица 1
N L1 L2
ошибка порядок ошибка порядок
450 4,67e-6 5,29e-6
1800 7,94e-7 2,56 8,96e-7 2,56
7200 1,44e-7 2,46 1,63e-7 2,46
28800 2,87e-8 2,33 3, 26-8 2,32
Таблица 2
h Г Li r L2
0,0666 2,01 2,01
0,0333 1,97 1,98
Заключение
Выполнена серия расчетов на сходимость для модельных задач и получены порядки точности по правилу Рунге в случае, когда известно точное решение задачи и с помощью процесса Эйткена, когда точное решение задачи не удается найти. Результаты численных экспериментов показывают возможность применения исследуемой методики для решения параболических задач в анизотропных средах на треугольных сетках. Применение описанной методики позволяет получать порядки точности, близкие ко вторым и выше.
Литература
1. Cockburn, В. An Introduction to the Discontinuous Galerkin Method for Convection-Dominated Problems / B. Cockburn // Advanced Numerical Approximation of Nonlinear Hyperbolic Equations. - 1998. - V. 1697. - P. 151-268.
2. Флетчер, К. Численные методы на основе метода Галеркина / К. Флетчер. - М.: Мир, 1988.
3. Жалнин, Р.В. О применении разрывного метода Галеркина для численного решения двумерных уравнений диффузионного типа на неструктурированных разнесенных сетках / Р.В. Жалнин, В.Ф. Масягин, Е.Н. Панюшкина // Современные проблемы науки и образования. - 2013. - Т. 6. - URL: www.science-education.ru/113-10929
4. Ладонкина, М.Е. Исследование влияния лимитера на порядок точности решения разрывным методом Галеркина / М.Е. Ладонкина, О.А. Неклюдова, В.Ф. Тишкин // Математическое моделирование. - 2012. - Т. 24, № 12. - С. 124-128.
5. Bassi, F. A High-Order Accurate Discontinuous Finite Element Method for the Numerical Solution of the Compressible Navier - Stokes Equations / F. Bassi, S. Rebay // Journal of Computational Physics. - 1997. - V. 131. - P. 267-279.
6. Arnold, D.N. Unified Analysis of Discontinuous Galerkin Methods for Elliptic Problems / D.N. Arnold, F. Brezzi, B. Cockburn, L.D. Marini // SIAM Journal on Numerical Analysis. - 2002. - V. 29. - P. 1749-1779.
7. Cockburn, B. Runge - Kutta Discontinuous Galerkin Methods for Convection-Dominated Problems / B. Cockburn, C.W. Shu // Journal of Scientific Computing. - 2001. - V. 3. -P. 173-261.
8. Ладонкина, М.Е. О связи разрывного метода Галеркина и методов типа Годунова высокого порядка точности / М.Е. Ладонкина, В.Ф. Тишкин // Препринты ИПМ им. М.В. Келдыша. - 2014. - № 49. 10 с. URP: http://library.keldysh.ru/preprint.asp?id=2014-49
Руслан Викторович Жалнин, кандидат физико-математических наук, заведующий кафедрой, кафедра прикладной математики, дифференциальных уравнений и теоретической механики, Мордовский государственный университет им. Н.П. Огарева (г. Саранск, Российская Федерация), zhalnin@gmail.com.
Марина Е вгеньевна Ладонкина, кандидат физико-математических наук, старший научный сотрудник, Институт прикладной математики им. М.В. Келдыша РАН (г. Москва, Российская Федерация), ladonkina@imamod.ru.
Виктор Федорович Масягин, преподаватель, кафедра прикладной математики, дифференциальных уравнений и теоретической механики, Мордовский государственный университет им. Н.П. Огарева (г. Саранск, Российская Федерация), vmasyagin@gmail.com.
Владимир Федорович Тишкин, доктор физико-математических наук, заместитель директора по научной работе, Институт прикладной математики им. М.В. Келдыша РАН (г. Москва, Российская Федерация), tishkin@imamod.ru.
Поступила в редакцию 21 сентября 2015 г.
P.B. >Kajiiinii, M.E. JlaflOHKHHa, B.<J>. Mac«run, B.<J>. Thiiikhii
MSC 35-04 DOI: 10.14529/mmpl60313
DISCONTINUOUS FINITE-ELEMENT GALERKIN METHOD FOR NUMERICAL SOLUTION OF PARABOLIC PROBLEMS IN ANISOTROPIC MEDIA ON TRIANGLE GRIDS
R. V. Zhalnin, Ogarev Mordovia State University, Saransk, Russian Federation, zhalnin@gmail.com,
M.E. Ladonkina, Keldysh Institute of Applied Mathematics of EAS, Moscow, Russian Federation, ladonkina@imamod.ru,
V.F. Masyagin, Ogarev Mordovia State University, Saransk, Russian Federation, vmasyagin@gmail.com,
V.F. Tishkin, Keldysh Institute of Applied Mathematics of RAS, Moscow, Russian Federation, tishkin@imamod.ru
A new numerical algorithm for solving parabolic initial-boundary values problems in anisotropic media is proposed. The algorithm is based on Galerkin method with discontinuous basic functions on triangle meshes. The 2nd order derivatives can't be directly harmonized in a weak variational formulation using the discontinuous functions' space. Hence additional variables are introduced to reduce the initial 2nd-order equation to the system of the lst-order equations. The special feature of this method is in consideration of additional variables within a dual mesh. The dual mesh consists of median control values and is conjugate to the initial triangle mesh. The stream values on the element boundaries are calculated with addition of stabilizing additives. The method is studied basing on the example of 2-dimensional parabolic boundary problems. Convergence and accuracy of the method are investigated. Calculations in model problem show the possibility to use the method discussed for solving parabolic problems in anisotropic media on triangle meshes.
Keywords: parabolic equations, anisotropic media, discontinuous Galerkin method, convergence and accuracy of the method.
References
1. Cockburn B. An Introduction to the Discontinuous Galerkin Method for Convection-Dominated Problems. Advanced Numerical Approximation of Nonlinear Hyperbolic Equations, 1998, vol. 1697, pp. 151-268. DOI: 10.1007/BFb0096353
2. Fletcher C.A.J. Computational Galerkin Methods. N.Y., Springer, 1984.
3. Zhalnin R.V., Masyagin V.F., Panyushkina E.N. Discontinuous Galerkin Method for Numerical Solution of Twodimensional Diffusion Problems on Unstructural Stagerred Grids. Modern Problems of Science and Education, 2013, vol. 6. Available at: www.science-education.ru /113-10929
4. Ladonkina M.E., Neklyudova O.A., Tishkin V.F. Research of the Impact of Different Limiting Functions on the Order of Solution Obtained by RKDG. Mathematical Models and Computer Simulations, 2013, vol. 5, no. 4, pp. 346-349. DOI: 10.1134/S2070048213040091
5. Bassi F., Rebay S. A High-Order Accurate Discontinuous Finite Element Method for the Numerical Solution of the Compressible Navier - Stokes Equations. Journal of Computational Physics, 1997, vol. 131, pp. 267-279. DOI: 10.1006/jcph.l996.5572
6. Arnold D.N., Brezzi F., Cockburn B., Marini L.D. Unified Analysis of Discontinuous Galerkin Methods for Elliptic Problems. SIAM Journal on Numerical Analysis, 2002, vol. 29, pp. 1749-1779. DOI: 10.1137/S0036142901384162
7. Cockburn B., Shu C.W. Runge - Kutta Discontinuous Galerkin Methods for Convection-Dominated Problems. Journal of Scientific Computing, 2001, vol. 3, pp. 173-261. DOL 10.1023/A: 1012873910884
8. Ladonkina M.E., Tishkin V.F. On the Connection of Discontinuous Galerkin Method and Godunov Type Methods of High Order Accuracy. Preprints Keldysh Institute of Applied Mathematics, 2014, no. 49, 10 p. Available at: http://library.keldysh.ru/preprint.asp?id=2014-49 (in Russian)
Received September 21, 2015
