Априорные оценки для метода Галеркина с разрывными базисными функциями на разнесенных сетках для однородной задачи Дирихле Текст научной статьи по специальности «Математика»

УДК 519.6

DOI: 10.14529/mmp 180203

АПРИОРНЫЕ ОЦЕНКИ ДЛЯ МЕТОДА ГАЛЕРКИНА С РАЗРЫВНЫМИ БАЗИСНЫМИ ФУНКЦИЯМИ НА РАЗНЕСЕННЫХ СЕТКАХ ДЛЯ ОДНОРОДНОЙ ЗАДАЧИ ДИРИХЛЕ

Р. В. Жалнин1, В.Ф. Масягин1

1 Национальный исследовательский Мордовский государственный университет им. Н.П. Огарева, г. Саранск, Российская Федерация

В данной работе представлены априорные оценки точности решения однородной краевой задачи для эллиптического уравнения методом Галеркина с разрывными базисными функциями на разнесенных сетках. Для аппроксимации исходного эллиптического уравнения с известными начально-краевыми условиями методом Галеркина с разрывными базисными функциями, необходимо преобразовать его к системе дифференциальных уравнений в частных производных первого порядка. Для этого вводятся вспомогательные переменные, представляющие собой компоненты потока искомой величины. Характерной особенностью метода является нахождение вспомогательных переменных на ячейках двойственной сетки. Двойственная сетка состоит из медианных контрольных объемов и является сопряженной к основной неструктурированной треугольной сетке. Численные потоки на границе между элементами находятся с использованием стабилизирующих добавок. Для стабилизирующего параметра порядка порядка 1 показано, что порядок сходимости будет к + 2, а в случае использования стабилизирующего параметра порядка к-1 порядок сходимости увеличивается до к +1,

к

Ключевые слова: априорные оценки погрешности; конечные элементы; метод Галеркина с разрывными базисными функциями; разнесенные сетки; эллиптические задачи.

Введение

Ранее авторами было предложено новое семейство схем на основе локального метода Галеркина с разрывными базисными функциями на разнесенных неструктурированных сетках для уравнений диффузионного типа [1-4]. Характерной особенностью данного семейства схем является то, что аппроксимация потока искомой функции производится на двойственной сетке, состоящей из медианных контрольных объемов, связанных с узлами основной сетки, в то время как аппроксимация искомой функции рассматривается на ячейках основной сетки.

В статье представлен априорный анализ ошибок локального разрывного метода Галеркина (РМГ), или Local Discontinuous Galerkin method (LDG), для следующей эллиптической задачи:

где П - ограниченная область в дП - граница области П.

Метод и)(! был впервые првдложен Кокбурном и Шу в работе [5] как развитие численной схемы для сжимаемых уравнений Навье - Стокса, описанной Басси и

An = f, u = 0,

x e Q,

x e дQ,

(1) (2)

Рибэем в [6]. Эта схема, в свою очередь, является развитием метода Runge - Kutta Discontinuous Galerkin (EKDG), разработанного Кокбурном и Шу [7] для нелинейных гиперболических систем.

Вопросам получения априорных оценок для метода Галеркина с разрывными базисными функциями посвящено много работ как в России, так и за рубежом. Например, оценки для параболических интегро-дифференциальных уравнений получены в [11], в [13] разработана абстрактная теория схем разрывного метода Галеркина в смешанной формулировке и получены априорные оценки точности для квазилинейных эллиптических уравнений второго порядка.

Наш анализ частично основывается на технике, представленной в работах [10,12] для параболических и эллиптических задач, соответственно.

Для применения локального разрывного метода Галеркина перепишем исходную эллиптическую задачу (1), (2) как систему уравнений первого порядка. Введем вспомогательную переменную q = Vu и получаем следующую систему уравнений

q = Vu, в П, (3)

-V • q = f, вП, (4)

u = 0, на дП. (5)

1. Локальный разрывный метод Галеркина

Покроем область расчета треугольной сеткой TT без зазоров и наложений. Также введем в рассмотрение двойственную сетку TD, составленную из медианных ячеек, центры которых лежат в узлах ячеек треугольной сетки TT-

Для удобства дальнейших рассуждений дополнительно введем в рассмотрение сетку Tq, состоящую из ячеек Q, которые являются результатом пересечения ячеек из TT и Td-

Предполагаем, что функции (q, u) берутся из W х V, где:

V = {u Е Ь2(П) : u\t Е H 1(T),VT Е Tt} , W = {q Е (L2(n))2 : qD Е H1 (D)2, VD Е Td} .

Будем аппроксимировать точное решение (q, u) функциями (qh,uh) из конечно-элементного пространства Wh х Vh С W х V, где

Vh = {и Е Ь2(П) : u\t Е P(T),VT Е Tt} , Wh = {q Е (Ь2(П))2 : q\D Е P(D)2, VD Е Td} ,

P(T) P(D)2

Для обеспечения единственности аппроксимационного решения I'M Г потребуем выполнения следующего условия для произвольных гладких функций w и v:

если v Е P(T) и Jvv • wdx = 0, Vw Е P(D)2 : T П D = 0, то Vv = 0 в T Е TT. (6)

T

Аппроксимационное решение (дн,пи) далее определяется применением слабой формулировки для всех элементов Т Е Тт и Б Е ТЬ для всех Е Р(Б)2 х Р(Т)

J дн • ывх + J • ывх — J • ивх = 0, (7)

Ь Ь дЬ

I днУвХ —I . ивх = /

т дт П

где численные потоки дн и Пи выбираются аналогично тому, как это сделано в работах [9,11]. Чтобы определить численные потоки, определим сначала несколько обозначений. Пусть К + и К- это два соседних элемента триангуляции Тт. Пусть х будет произвольная точка набора е = дК + П дК и пусть и+ и и- будут соответствующие внешние нормали к элементам в данной точке. Пусть (д, п) будут гладкие функции внутри каждого элемента К± и обозначим за (д±, и±) отпечатки (д,п) е ренности КПосле этого определим средние значения и скачки [•] на х Е е следующим образом

{{и}} = (и+ + п-) /2, {{д}} = (д+ + д-) /2, [и] = п+и+ + и-и-, [д] = д+ • и+ + д- • и-.

Если набор е лежит внутри области П, получаем следующее определение для потоков из (7), (8)

д = {{д} — Сп[и1 (9)

п = {п}},

где вспомогательный параметр Сц определен на х Е е. Граничные условия задаются следующим образом

д = д+ — Сци+и+, (10)

П = 0.

2. Классические смешанные обозначения

Обозначим за Гт объединение всех внутренних ребер триангуляции Тт, за Г;Р - объединение всех внутренних ребер сетки ТЬ, за Гд - объединение всех ребер на границе области П.

Просуммируем уравнения (7) и (8) на соответствующих элементах и получим, что приближенное решение (дн,пи) будет являться решением следующей вариационной задачи: найти (дн,пи) Е х Уи такие, что

А (дн, <ш) + В (пн, ^ш) = 0, (11)

— В (у, дн) + С (пн,у) = Б (у), (12)

для всех (w,v) Е Wh х ^.Билинейные формы A,B,C определяются следующим образом:

A (q, w) = q • wdx, (13)

Jn

B (u, w)= Y^ / uV • wdx - |u}}[w]ds, (14)

qgTq Q Q

C (u,v) = Í Cn[u][v]ds. (15)

Q

Линейная форма F определяется следующим образом

F (v) = fvdx. Jn

Уравнения (11), (12) могут быть переписаны в следующем виде:

A (qh,uh; w,v) = F (v) , (16)

A (qh,uh; w,v) = A (qh, w) + B (uh, w) - B (v, qh) + C (uh,v). (17)

Предложение 1. При выборе потоков в виде (9), (10) и Cu > 0 задача (11), (12) имеет единственное решение (qh,uh) Е Wh х Vh.

Доказательство. Рассмотрим случай, когда f = 0, и покажем, что в этом случае решением будет являться пара (qh,uh) = (0, 0). Из (16) при выборе w = qh v = uh получим:

A(qh, qh) + C(uh, Uh) = 0.

При Cu > 0 получаем, что qh = ^ и [u] = ^ на rQ.

Далее, из выражения (11) получаем B(uh, w) = 0, Vw Е Wh. Интегрируя по частям и используя предположение (6), получаем, что Vu = 0. Из доказанной непрерывности u и (2) получаем, что u = 0. □

3. Априорные оценки погрешности метода

Для каждого T Е TT обозначим за hT характеристический размер T и за pT диаметр максимального шара, вложенного в T. Обозначим за h = maxT^TT hT■ Будем рассматривать триангуляции TT и TQ, обладающие свойством регулярности, т.е. существует положительная константа а такая, что

hh

— < а, VT eTt , hQ < а, VQ eTq. (18)

Pt Pq

Далее введем в рассмотрение набор (T, T'), определенный следующим образом

T T') J 0, если меpa (dT П dT') = 0,

[внутренность dT П dT' в противном случае.

Будем предполагать, что существует положительная константа 8 < 1 такая, что для Т Е Тт

Ь

8 < < 8-1 УТ' : (Т, Т') = 0. (19)

Ьт

Также предполагаем, что локальное пространство Б (К) содержит пространство полиномов Vк (К) степени не выше к и удовлетворяет (6).

Предполагаем, что стабилизирующий коэффициент Сц, определяющий численные потоки в (9) и (10), определяется следующим образом

Z min{hK+ ,h°K- }, если ж g{K+,K }

V 7 ^ ZhaK+, если ж G dK + П Га, v '

где Z > 0, —1 < а < 0не зависят от размера сетки. Для удобства также введем в рассмотрение параметры j* и j* определенные как

j* = max {—а, 1}, j* = min {—а, 1}.

Теорема 1. Пусть (q, u) является решением задачи (3) - (5) и (qh,uh) является решением задачи (11), (12). Пусть выполнены предположения на локальны,е пространства и на вид стабилизирующего параметра Сц. Предполагаем, что триангуляция Tt удовлетворяет (18). Также, когда, а = 0 предполагаем, что имеет силу (19). Тогда получим для (q,u) G Hs+l (П) х Hs+2 (П), при s > 0,

\\u — uh\\o + hD |(q — qh,u — uh)\2A < ChP+D\\u\\s+2, где С зависит от а, 8 (в случае а = 0), (, к и d.

P = min{s + ^(1+ 1*) ,к + 1 (1 — 1*)}, D = 1 (1 + j*) , если к > 1.

В случае к = 0 получаем P = D = 1 (1 — j*).

Доказательство теоремы будет приведено ниже.

Представим ошибку (eq, eu) = (q — qh,u — uh) как следующую сумму:

(eq, eu) = (q — nq, u — Ш) + (neq, Пей) ,

где П и П обозначают проекции из W и V на конечно-элементные пространства Wh и Vh

соответственно.

Будем считать, что выполняется свойство ортогональности метода Галеркина, а именно

A (eq,eu; w,v) = 0 У (w,v) G Wh х Vh. (21)

Для получения оценки в норме Heull_t)D, где t - натуральное число hD подобласть П, нам нужно получить оценку погрешности аппроксимации линейного функционала Л (u) = (A,u), где (•, •) обозначает скалярное произведение в L2 через Л (uh)

11 11 Л(^

lleull_t,D = sup

xeo^(D) llAllt,D

В данной работе нас интересует только случай г = 0. Для достижения необходимых оценок, введем в рассмотрение решение ф следующей двойственной задачи

-Л ф = А в П, (22)

ф = 0 на дП. (23)

4. Априорные оценки

Вначале приведем две леммы, которые содержат всю информацию, которую мы будем использовать относительно наших конечных элементов. Их доказательство ос-новывсштся нс1 работах [8,9].

Лемма 1. Пусть № Е Нг+1 (К) ,г > 0. Пусть П есть линейный непрерывный оператор из НТ+1 (К) в 5 (К) такой, что Пт = № для всех № ЕРк (К). Тогда для целого т, 0 < т < г + 1, получаем

№ - п^и < сит{гМ+1-тМг+1,к,

1№ - ПтЦадк < ОНТ{Г'к}+1 Ыг+1,к,

где С - константа, зависящая только от а в неравенстве (18), к ^ и г.

Лемма 2. Существует положительная константа, Сзависящая только от а в неравенстве (18), ^ и ^ ^^^^^^ ^то для всех в Е 5 (К)а выполняется

_!

ЦвЦо , дк < Cinv

для всех К Е Тт и всех К ЕТц.

Пусть П и П произвольные проекции на пространства У^ и удовлетворяющие покомпонентно предположениям леммы 1.

Лемма 3. Пусть (я, и) Е Н3+1(П)2 х Н3+2(П) и (Ф,ф) Е Н*+1(П)2 х Н*+2(П), в,г > 0. Тогда справедлива следующая оценка

\А (я - Пя,и - Пи; Ф - ПФ,ф - Пф)\ < С

1 1 2 / \ 2

Е hrn{s'k}+2M2+i,Q I I £ hQr{tk}+2\mi+1,Q | +

q&tq j \q€tQ

1 1 2 / \ 2

+ [y hQ^{s+ik\\u\s+2,Q I [Y hQmin{t,k}+2m+I.Q) +

qgtq / \qgtQ

1 1 2 / \ 2

+ [Y hQmi"{s'k}+2\\q\s+!,Q) [Y hQ^+^m2^) +

qztq j \q€tQ

1 1 2 / \ 2

+ [ £ C11 hQmin{s+1'k}+1\u\S+2Q ) [Y CiihQmin{t+1'k}+1\rn\2t+2QQ

qztq / \qgtQ

Доказательство. Доказательство будем проводить аналогично тому, как это сделано в работе [8]. Положим = д — Пд, 5и = и — Пи, = Ф — ПФ, 5ф = ф — Пф. Тогда имеем:

\А(£9,5-;&,£ф)\ < , + В(5и,&)\ + \в(£ф,^)| + \С(5иШ

Оценим отдельно каждое слагаемое. Из неравенстве! Коши - Буняковского получаем

^ф

Я

<

Я&гд ) \Qgtq

Далее, из оценок леммы 1 следует:

\А(Ь,£ф)\ < | £ -Ят1п{5'к}+2|д|2+1;я I | £ Ь;т^'к}+2||Ф||?+1Я

"Я

) \Qgtq

Интегрируя по частям выражение (14) и применяя последовательно неравенство Коши - Буняковского и лемму 1, получим оценку:

\в (5-, «ф)|

£

I Щи • + у • (5-п)йа

1.Я дЯ

<

<

£(\5u\IQ + -Я 1Ы1дя)

Е 01^ф1о,Я + -яНыНдя) I <

< | £ -Ят1п{^+1 'к} ||и|2+2,Я

Далее для В(5ф, ) получим

£ ьЯт^'к}+2||ф||2+1;я

\в(5ф,Ь)\ < | £ -Ят^к}+2ЫЦ+1я

,2тт{4+1 ,к}||^ ц2

/ , Ья

\С (5и,5ф)\

£ У Сц[5и] • (5фп)йа

<

Сц(5°ии'п — 5иП) • (5фП)

< 2Е

дя

дя

<

< 2 | £ Сц^-НО^

<

£ СпН 0,дЯ I ^

С^1Ь^т[п{г+1,к}+1ифП2

< С | £ Сц-Ят1п{"+1'к}+11 и 12+2,Я

\qctq ) \qztQ

Сложив полученные неравенства, получаем требуемую оценку.

□

2

2

2

2

2

2

Следствие 1. Пусть (я,и) Е НЯ+1(П)2 х Н3+2(П), в > 0 является точным решением (3)-(5) и пусть ф Е Нг+2 (П), г > 0 является решением двойственной задачи (22), (23) и Ф = -Уф. Полагаем также, что коэффициент С11 удовлетворяет выражению (20). Тогда существует константа, С, зависящая, только от а, (, к и

А(я,и; Ф,ф) < СЬнЦиЦ3+211ф1+2,

где Н = 1 + а, когда, к = 0 и Н = тт{в + 1 + тт{£ + 1,к},к + 1 + тт{£, к + а}} для, к > 1. Более того,

А(я,и; я, и) < СЬ2'ЦиЦ3+211ф1+2,

где Т = 1 (1 + а), когда к = 0 и Т = тт{в + 1 тт{в + 2 (1 + 1) ,к + 2 (1 + а)} для, к > 1.

Доказательство. Из леммы 3 получаем

А(я,и; Ф,ф) < С[Ьт™{*'к}+1 (ь,т™{г'к}+1 + Ьт™{г+1'к}) +

+ Ьш1п{8+1,к}+1 (ът^М + ^ш^+т+аЩиЦ^ЦфЦ^

и

A(q,u; q, u) < C[h2min{s>k}+2 + (h2min{s+1'k}+1+a]\u\

s+2-

□

Лемма 4. Пусть П и П обозначают L2 (0,)-проекцию и L2 (Q)2-проекцию на Vh и Wh соответственно. Тогда справедливо

\А (п^; я - Пя,и - Пи) \ < С + ^ Сц^Ч^ х

х! ГС-Ыя} + 1 {&}}2 + СиЫ2) dв, (24) •/г^ С11 X )

где С обозначает константу, зависящую только от а, к и d.

Доказательство. Возьмем = я - Пя и = и - Пи, тогда получаем

\А (п, V; £я,&) \ < \А (п, £я) \ + \В (V, &) \ + \В (и п) \ + \С (V, Ы \

Используя неравенство Коши - Буняковского и тот факт, что П есть Ь2(П)2-проекцпя, получаем

И (w, £q) | =0.

Далее получаем

IB (V, )|

'rQ

№q }{v]ds

Умножим и поделим на С121 и применим неравенство Коши - Буняковского. Получаем

\В (V,^)\< ^^ Сф]^ ^^

С11

)

Аналогично

\в (5-, п) \

{5и М*

<

Ц хМ2• Ц X {5-.

Первый множитель можно оценить следующим образом при помощи леммы 2: / X[w]ds < £ £ [х (п\я • п)2 ds < £ хдЯЫя • п||0^ <

е€дЯ е

хдя

< С\пь вир < С\пь||п|0,

Я&тд ЬЯ

где х (х) = ш1п{-я, -я'}, есл и х е ^, Q'), х (х) = -я, ее л и х е Гд, хдЯ = вир{х (х) : х е дQ}.

И наконец,

\С (у,5и) \ =

СиМ№

< Ц сиИ^ ^^ СИ[5и]2dS)j

На этом доказательство завершено.

□

Лемма 5. Для (д,и) е Н+1 (П)2 х Н+2 (П), s > 0 справедлива оценка

(

С1 }}2 +1 {5и}}2 + Сц[5иР ) ds < С

+ С

' £ (-Я

х

2тт{«+1,к}+1 / РЧдЯ

V < С £ (Ът^к}+1 Ся|д|2+1я) + / 4 С11 /

(Сп + хя) |и|2+2,я)

где = т£{С11 (х) : х е дQ}, хдЯ = 1П{х (х) : х е дQ}, С - константа, не зависящая от размера сетки и зависящая только от аппроксимации и констант из лемм 1 и 2, = д — Пд 5и = и — Пи и х (х) = шт{-я, -я'}, есл и х е ^, Q'), х (х) = -я, есл и х е Гд, хдЯ = йиР{х (х) : х е дQ}.

Следствие 2. Пусть (д,и) е Н5+1 (П)2 х Н5+2 (П), s > 0. Полагаем, что коэф-С11

предположению (18). Если а = 0 также предполагаем, что (19) имеет сил,у. Тогда существует константа, С, которая зависит только от а, 8, (, к и d, такая, что

/ (С-}}2 + -{5и}2 + Сц[5и]^ ds < С-2Р||и12+2,

JГQ \С11 х /

где Р = 1 (1 — ¡1*), есл,и к = 0 и Р = шт^ + 1 (1 + ¡*) ,к + 2 (1 — ц*)}, есл и к > 1. а = 0 С 8

2

Г

<3

«

2

Г

«

С11

вычислений получим

1

11

и

< z

(CdQ + Xq) < ZhQ + hQ1^1

где параметр 8 определяется в (19). Далее из леммы 5 получим

/ (C"^q}2 +1 }2 + СпЫ2) ds < JrQ V C11 X J

>-1h-a + h min{s+1,k}+1 (Zha + h-1)] IUII2

< C [h2min{s'k}+1(-1h-a + h2min{s+1'k}+1 (Zha + h-1)] ||u||

s+2

□

Предполагаем, что выполняются следующие аппроксимационные свойства для ПП

\А (я - Пя,и - Пи; Ф - ПФ,ф - Пф)\ < СЬнМи^Мг^ (25)

для произвольных (я,и), (Ф,ф) Е № х V и

\А (п^; я - Пя,и - Пи)\ < С ^И|0 + ^ СПИ^ Ьр||и||в+2 (26)

для произвольных (п^) Е х Vh и (я, и) Е Н1 (П)2 х Н2 (П). Лемма 6. Справедлива следующая оценка

КИ0 + ! Cll[ev]2dв < СЬ?||и|в+2 + СЬР||и||в+2

Доказательство. Распишем левую часть доказываемого неравенства, используя ранее предложенные

обозначения:

КИ0 +! Cll[ev]2dв <Ця - ПяЮ +! Сп[и - Пu]2dв + ||ПвяНО +! Cll[Пev}2dв.

'rQ JrQ JrQ

Т.К.

^|neq 112 + Г Cn[neu]2dsj

2

||neq HO + / Cnineufds) = A (neq, Пеад; neq, Пвад)

тогда

A (nq — q, nu — u; neq, neu) = A ( —neq, neu; q — nq, nu — u) <

< C ^|neq\\0 + jT Cnineufdsj hP\\u\\s+2.

Таким образом, справедлива следующая оценка

||Печ||0 + / Cn[neu]2ds < ChP||u||s+2 (27)

Jrq

и далее

Heq||0 + / Cn[eu]2ds < ||q - ЩЦ + / Cn[u - nM]2ds + ChP Jrq JrQ

Искомая оценка сразу следует после применения предположения (25). □

Лемма 7. Пусть t - натуральное число. Тогда справедлива следующая оценка

HeuU,D < Chmin{H'2P}HuHs+2. (28)

Доказательство. Пусть ф является решением двойственной задач и (22), (23) и Ф = —^ф, тогда легко показать, что при выборе Ф = —^ф получаем

A (—Ф,ф; —s,w) = Л (w),

для всех (s,w) Е W х V. Задача (1), (2) может быть переписана в виде (16). Возьмем (s,w) = (eq,eu) и получим

Л (eu) = A (eq,eu, Ф,ф) =

= A (eq, eu Ф — ПФ,ф — Пф) =

= A (neq, neu; Ф — ПФ, ф — Пф) + A (q — nq,u — Пи; Ф — ПФ, ф — Пф). Т.к. (neq, Ши) Е Wh х Vh, то применяя (26) и (27), получаем следующую оценку \A (neq, Ши; Ф — ПФ,ф — Пф)| < ChPHuHs+2hP||ф||в+2

и далее получаем

\Л (eu)\ < ChPHuHs+2hP||ф|s+2 + A (q — Щ,и — Пи; Ф — ПФ, ф — Пф).

Применим далее предположение (25) и по определению негативной нормы получаем искомую оценку. □

5. Доказательство теоремы 1

Доказательство. Перейдем к доказательству теоремы 1. Из леммы 6 и следствий 1 и 2 получаем

Hq — qfc|g + / Cn[u — uhfds < Chmin{P'P}||u||s+2,

Q

и т.к. min{P, P} = P справедлива оценка:

Hq — qh|2 + / Cii[u — uhfds < ChP||u||s+2.

Q

Рассмотрим норму Ь2 погрешнос ти и — и^ Возьме м Ь = 0и Б = Пв лемме 7. Из

| ф| 2 <

С||А||о. Оценка ||и — ин||0 следует из следствий 1 и 2 ограниченности ||Ф|1 и ||ф||2 величиной ||А||0. Получаем

Ци — икЦо < С-тп{н^'р+р1'=0}|и|4+2

и т.к. шт{Н\4=0, Р + Р\5=0} = Р + Р\5=0 получаем оценку

Ци — инЦо < С-р+°||и|в+2, (29)

где Б = Р\5=0. На этом доказательство завершено. □

-

С11

Таблица

Порядки сходимости решения и е Н5+2 для s > 0 и к > 1

C11 \\u — Uh\\o

a = 0 0 (1) min {s + 1 ,k] + 2

a = —1 0(1/h) min {s + 1, k} + 1

Заключение

В работе получены оценки погрешности решения двумерной однородной краевой задачи для эллиптического уравнения методом Галеркина с разрывными базисными функциями на разнесенных неструктурированных сетках. При этом предполагалось, что узлы двойственной сетки являются центрами ячеек основной сетки. Как видно из ТсХС) л и цы в случае использования стабилизирующего коэффициента порядка единицы получается порядок сходимости к + а в случае использования стабилизирующего коэффициента порядка --1 порядок сходимости увеличивается до к + 1 для исследу-к

функциях. При этом в данном случае, в отличие от традиционного подхода, в котором используется одна сетка, выбор численных потоков на границе элементов происходит интуитивно более понятно за счет использования разнесенных сеток.

Работа выполнена при поддержке Минобрнауки РФ (Жд 1.6958.2017/8.9), РФФИ (проект 18-31-00102) и гранта Президента РФ для молодых российских ученых -кандидатов наук (МК-2007.2018.1).

Литература

1. Жалнин, Р.В. Об одном способе решения уравнений диффузионного типа с помощью разрывного метода Галеркина на неструктурированной сетке / Р.В. Жалнин, М.Е. Да-донкина, В.Ф. Масягин, В.Ф. Тишкин // Журнал Средневолжского математического общества. - 2014. - Т. 16, № 2. - С. 7-13.

2. Жалнин, Р.В. Решение трехмерных уравнений теплопроводности с помощью разрывного метода Галеркина на неструктурированных сетках / Р.В. Жалнин, М.Е. Дадонки-на, В.Ф. Масягин, В.Ф. Тишкин // Вестник Самарского государственного технического университета. Серия: Физико-математические науки. - 2015. - Т. 19, № 3. - С. 523-533.

3. Zhalnin, R.V. Solving the Problem of Non-Stationary Filtration of Substance by the Discontinuous Galerkin Method on Unstructured Grids / R.V. Zhalnin, M.E. Ladonkina, V.F. Masyagin, V.F. Tishkin // Computational Mathematics and Mathematical Physics. -2016. - V. 56, № 6. - P. 977-986.

4. Жалнин, P.B. Применение разрывного метода Галеркина для решения параболических задач в анизотропных средах на треугольных сетках / Р.В. Жалнин, М.Е. Ладонкина, В.Ф. Масягин, В.Ф. Тишкин // Вестник ЮУрГУ. Серия: Математическое моделирование и программирование. - 2016. - Т. 9, № 3. - С. 144-151.

5. Cockburn, В. The Local Discontinuous Galerkin Finite Element Method for Convection-Diffusion Systems / B. Cockburn, C.-W. Shu // SIAM Journal on Numerical Analysis. -1998. - V. 35. - P. 2440-2463.

6. Bassi, F. A High-Order Accurate Discontinuous Finite Element Method for the Numerical Solution of the Compressible Xavier - Stokes Equations / F. Bassi, S. Rebay // Journal of Computational Physics. - 1997. - V. 131. - P. 267-279.

7. Cockburn, B. The Runge - Kutta Local Projection Pi-Discontinuous Galerkin Method for Scalar Conservation Laws / B. Cockburn, C.-W. Shu // RAIRO modélisation mathématique et analyse numerique. - 1991. - V. 25. - P. 337-361.

8. Сьярле, Ф. Метод конечных элементов для эллиптических задач / Ф. Сьярле. - М.: Мир, 1980.

9. Castillo, P. An A Priory Error Analysis of the Local Discontinuous Galerkin Method for Elliptic Problems / P. Castillo, B. Cockburn, I. Perugia, D. Schotzau // SIAM Journal on Numerical Analysis. - 2003. - V. 38. - P. 1676-1706.

10. Thomee, V. Galerkin Finite Element Methods for Parabolic Problems / V. Thomee. - Berlin: Springer, 1997.

11. Pany, A. An hp-Local Discontinuous Galerkin Method for Parabolic Integro-Differential Equations / A. Pany, S. Yadav // Journal of Scientific Computing. - 2010. - V. 46, № 1. -P. 71-99.

12. Babuska, I. The hp-Version of the Finite Element Method with Quasi-Uniform Meshes / I. Babuska, M. Suri // RAIRO modélisation mathématique et analyse numerique. - 1987. -V. 21. - P. 199-238.

13. Dautov, R.Z. Abstract Theory of Hybridizable Discontinuous Galerkin Methods for Second-Order Quasilinear Elliptic Problems / R.Z. Dautov, E.M. Fedotov // Computational Mathematics and Mathematical Physics. - 2014. - V. 54, № 3. - P. 474-490.

Руслан Викторович Жалнин, кандидат физико-математических наук, заведующий кафедрой, кафедра прикладной математики, дифференциальных уравнений и теоретической механики, Национальный исследовательский Мордовский государственный университет им. Н.П. Огарева (г. Саранск, Российская Федерация), zhrv@mrsu.ru.

Виктор Федорович Масягин, кандидат физико-математических наук, старший научный сотрудник, Национальный исследовательский Мордовский государственный университет им. Н.П. Огарева (г. Саранск, Российская Федерация), vmasyagin@gmail.com.

Поступила в редакцию 6 октября 2011 г.

MSC 65N30 DOI: 10.14529/mmp 180203

GALERKIN METHOD WITH DISCONTINUOUS BASIS FUNCTIONS ON STAGGERED GRIPS A PRIORY ESTIMATES FOR THE HOMOGENEOUS DIRICHLET PROBLEM

R.V. Zhalnin1, V.F. Masyagin1

1 National Research Mordovia State University, Saransk, Russian Federation,

E-mail: zhrv@mrsu.ru, vmasyagin@gmail.com

In this paper we present the accuracy of solution a priory estimates of a homogeneous boundary value problem for a second-order differential equation by the Galerkin method with discontinuous basis functions on staggered grids. To approximate the initial elliptic equation with known initial boundary conditions by the Galerkin method with discontinuous basis functions, it is necessary to transform it to a system of first-order partial differential equations. To do this auxiliary variables, representing the components on the flux of the sought value, are introduced. The characteristic feature of the method is the finding of auxiliary variables on the dual grid cells. The dual grid consists of median reference volumes and is conjugate to the basic unstructured triangular grid. The numerical fluxes on the boundary between the elements are found by using stabilizing additives. We show that for the stabilization parameter of order one, the L2-norm of the solution is of order k + 2r, if the stabilization parameter of order h-1 is taken, the order of convergence of the solution increases to k + 1, when polynomials of total degree at least k are used.

Keywords: a priory error analysis; finite elements; discontinuous Galerkin methods; staggered grids; elliptic problems.

References

1. Zhalnin R.V., Ladonkina M.E., Masyagin V.F., Tishkin V.F. [Discontinuous Finite-Element Galerkin Method for Numerical Solution of Two-Dimensional Diffusion Problems on Unstructured Grids]. Zhurnal Srednevolzhskogo Matematicheskogo Obshchestva, 2014, vol. 16, no. 2, pp. 7-13. (in Russian)

2. Zhalnin R.V., Ladonkina M.E., Masyagin V.F., Tishkin V.F. [Solution of 3D Heat Conduction Equations using the Discontinuous Galerkin Method on Unstructured Grids] Journal of Samara State Technical University. Series: Physical and Mathematical Sciences, 2015, vol. 19, no. 3, pp. 523-533. (in Russian)

3. Zhalnin R.V., Ladonkina M.E., Masyagin V.F., Tishkin V.F. Solving the Problem of Non-Stationary Filtration of Substance by the Discontinuous Galerkin Method on Unstructured Grids. Computational Mathematics and Mathematical Physics, 2016, vol. 56, no. 6, pp. 977-986. DOI: 10.1134/S0965542516060245

4. Zhalnin R.V., Ladonkina M.E., Masyagin V.F., Tishkin V.F. Discontinuous Finite-Element Galerkin Method for Numerical Solution of Parabolic Problems in Anisotropic Media on Triangle Grids. Bulletin of the South Ural State University. Series: Mathematical Modelling, Programming and Computer Software, 2016, vol. 9, no. 3, pp. 144-151. (in Russian) DOI: 10.14529/mmpl60313

5. Cockburn B., Shu C.-W. The Local Discontinuous Galerkin Finite Element Method for Convection-Diffusion Systems. SIAM Journal on Numerical Analysis, 1998, vol. 35, pp. 2440-2463. DOI: 10.1137/S0036142997316712

6. 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

7. Cockburn B., Shu C.-W. The Runge - Kutta Local Projection Pi-Discontinuous Galerkin Method for Scalar Conservation Laws. RAIRO modélisation mathématique et analyse numerique, 1991, vol. 25, pp. 337-361.

8. Ciarlet P. Metod konechnyh elementov dlya ellipticheskih zadach [The Finite Element Method for Elliptic Problems]. Moscow, Mir, 1980. (in Russian)

9. Castillo P., Cockburn B., Perugia I., Schötzau D. An A Priory Error Analysis of the Local Discontinuous Galerkin Method for Elliptic Problems. SIAM Journal on Numerical Analysis, 2000, vol. 38, pp. 1676-1706. DOI: 10.1137/S0036142900371003

10. Thomee V. Galerkin Finite Element Methods for Parabolic Problems. Berlin, Springer, 1997. DOI: 10.1007/978-3-662-03359-3

11. Pany A., Yadav S. An hp-Local Discontinuous Galerkin Method for Parabolic Integro-Differential Equations. Journal of Scientific Computing, 2010, vol. 46, no. 1, pp. 71-99.

12. Babuska I., Suri M. The hp-Version of the Finite Element Method with Quasi-Uniform Meshes. RAIRO modélisation mathématique et analyse numerique, 1987, vol. 21, pp. 199-238.

13. Dautov R.Z., Fedotov E.M. Abstract Theory of Hybridizable Discontinuous Galerkin Methods for Second-Order Quasilinear Elliptic Problems. Computational Mathematics and Mathematical Physics, 2014, vol. 54, no. 3, pp. 474-490. DOI: 10.1134/S096554251403004X

Received October 6, 2017