Научная статья на тему 'О выборе стабилизирующих параметров в конечноэлементном методе Петрова-Галеркина при решении задач конвекции-диффузии'

О выборе стабилизирующих параметров в конечноэлементном методе Петрова-Галеркина при решении задач конвекции-диффузии Текст научной статьи по специальности «Математика»

CC BY
223
45
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
МЕТОД ПЕТРОВА-ГАЛЕРКИНА / МЕТОД КОНЕЧНЫХ ЭЛЕМЕНТОВ / ЗАДАЧИ КОНВЕКЦИИ-ДИФФУЗИИ / ВЕСОВЫЕ ФУНКЦИИ / СТАБИЛИЗИРУЮЩИЕ ПАРАМЕТРЫ / СТАБИЛИЗИРОВАННЫЕ МЕТОДЫ / WEIGHTING (TEST) FUNCTIONS / PETROV-GALERKIN METHOD / FINITE ELEMENT METHOD / CONVECTION-DIFFUSION PROBLEMS / STABILIZATION PARAMETERS / STABILIZED METHODS

Аннотация научной статьи по математике, автор научной работы — Сирик С. В.

Рассмотрены вопросы выбора и динамической (адаптивной) настройки стабилизирующих параметров весовых функций в конечноэлементном методе Петрова-Галеркина при интегрировании уравнений конвективно-диффузионного типа. На ряде вычислительных примеров продемонстрирована эффективность соответствующего метода Петрова-Галеркина.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Сирик С. В.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

The choice and dynamical tuning of stabilization parameters of the weighting functions in finite-element Petrov-Galerkin method for solving convection-diffusion problems are considered. The efficiency of the corresponding Petrov-Galerkin method is illustrated and confirmed by a number of computational examples.

Текст научной работы на тему «О выборе стабилизирующих параметров в конечноэлементном методе Петрова-Галеркина при решении задач конвекции-диффузии»

УДК 519.63; 536.252; 004.75 С.В. СИРИК*

О ВЫБОРЕ СТАБИЛИЗИРУЮЩИХ ПАРАМЕТРОВ В КОНЕЧНОЭЛЕМЕНТНОМ МЕТОДЕ ПЕТРОВА-ГАЛЕРКИНА ПРИ РЕШЕНИИ ЗАДАЧ КОНВЕКЦИИ-ДИФФУЗИИ

Национальный технический университет Украины "КПИ", Киев, Украина_

Анотація. Розглянуто питання вибору та динамічного (адаптивного) налаштування стабілізуючих параметрів вагових функцій у скінченноелементному методі Петрова-Гальоркіна при інтегруванні рівнянь конвективно-дифузійного типу. На ряді обчислювальних прикладів продемонстровано ефективність відповідного методу Петрова-Гальоркіна.

Ключові слова: метод Петрова-Гальоркіна, метод скінченних елементів, задачі конвекції-дифузії, вагові функції, стабілізуючі параметри, стабілізовані методи.

Аннотация. Рассмотрены вопросы выбора и динамической (адаптивной) настройки стабилизирующих параметров весовых функций в конечноэлементном методе Петрова-Галеркина при интегрировании уравнений конвективно-диффузионного типа. На ряде вычислительных примеров продемонстрирована эффективность соответствующего метода Петрова-Галеркина.

Ключевые слова: метод Петрова-Галеркина, метод конечных элементов, задачи конвекции-диффузии, весовые функции, стабилизирующие параметры, стабилизированные методы.

Abstract. The choice and dynamical tuning of stabilization parameters of the weighting functions in finite-element Petrov-Galerkin method for solving convection-diffusion problems are considered. The efficiency of the corresponding Petrov-Galerkin method is illustrated and confirmed by a number of computational examples.

Keywords: Petrov-Galerkin method, finite element method, convection-diffusion problems, weighting (test) functions, stabilization parameters, stabilized methods.

1. Введение

В настоящее время метод Петрова-Галеркина (МИГ) в форме метода конечных элементов (МКЭ) является одним из наиболее универсальных методов построения численных схем для решения задач математической физики [1]. При использовании МИГ для расчета задач с доминированием конвективных процессов ключевым вопросом является корректный выбор весовых функций (ВФ), который предотвращал бы появление в численном решении нефизических осцилляций и неустойчивостей (обеспечил стабилизацию [1] численного решения) при сохранении приемлемой его точности. В работе [2] предложены структуры кусочно-полиномиальных ВФ МПГ для решения двухмерных задач конвекции-диффузии (КД), а в работе [3] - для интегрирования задач с тремя пространственными переменными. Для настройки формы функций используются стабилизирующие параметры (СП), связанные с ребрами сетки разбиения. Анализ аппроксимации, устойчивости и сходимости для данных ВФ [2, 3] (а также их кусочно-степенных обобщений) для нестационарных одномерных случаев проведен в работе [4]. Данные ВФ впоследствии применялись для численного решения различных нестационарных задач КД (в том числе и в тех случаях, когда скорость в конвективном слагаемом с течением времени резко изменяется как по величине, так и по направлению), а также нелинейных уравнений Бюргерса [5, 6] и уравнений магнитной гидродинамики [7]; в цитированных работах также были предложены методы (способы) выбора СП, реализующие идею адаптивности (возможности подстраивать их под эволюционирующее во времени решение для обеспечения устойчивости счета).

В настоящей статье результаты работ [5-7], касающиеся выбора СП, получили дальнейшее развитие, и на примерах (считающихся "тяжелыми" для численного решения

© Сирик С.В., 2014

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

139

по причине наличия в них доминирующих конвективных процессов, пограничных или внутренних слоев, решений солитонного типа и прочих особенностей, доставляющих осложнения при численном счете) показано эффективность ("робастность" [1]) предложенных вариантов выбора СП в плане точности и устойчивости численного решения.

2. Постановка задачи

Будем считать, что в качестве базисных функций {N\ (х)} (каждая функция Nt (х) ассоциирована с соответствующим узлом х;) используются кусочно-линейные финитные функции [1-7]. В качестве ВФ Wi (х) используем функции работ [2-4]. Обозначим через W(i) многоугольник, образованный объединением тех элементов , для которых узел i является одной из вершин. Множество W(i) является носителем для функции Ni, а также для функции Wi, которая определяется как [2-4]:

W (х) = Ni (х) + £ aLtW(it)(x), (1)

kkKt

где Ki - множество номеров узлов k, каждый из которых соединен одним ребром с узлом

i, ai k - СП, соответствующий ребру (i, k) и позволяющий регулировать изгиб ВФ на нем.

Подробная конструкция функций W(i,k), а также всей ВФ Wi, приведена в [2, 3]. Целью

данной работы является выбор совокупности СП {ai,k} и их динамическая настройка, при

котором бы обеспечивалась стабилизация (устранение нефизических осцилляций) численного решения при сохранении приемлемой точности получаемого решения.

3. Динамическая настройка стабилизирующих параметров

При интегрировании полудискретных аппроксимаций [1-7] в виде системы обыкновенных дифференциальных уравнений (СОДУ), построенной МПГ для аппроксимации уравнений КД, на n + 1-м шаге интегрирования предлагается выбирать СП {ai k } ВФ Wt (х) в виде

a

(n +1) =

i,k

(2)

где b(n+1) - некоторое фиксированное неотрицательное число (зависящее от номера шага), [bz, | bz | < 1

функция Fn (z) ° функция a(g) ° coth(g) -1/ g (при g = 0 полагаем, что

н [sign z, | bz | > 1

a(0) = lim(coth(g)-1/g) = 0), число Т® =(u(n)•Kk)/(2k(n+1)), h,k °хк -хг, u{n) - вектор

g®0

скорости (векторная величина, которая умножается скалярно на градиент неизвестной искомой величины в рассматриваемом уравнении типа КД) в i -м узле на предыдущем n -м

шаге интегрирования СОДУ (в качестве u (n) также можно взять взвешенное среднее данных векторов в узлах i и k [7]), k(n+1) - коэффициент, регулирующий величину вводимой

в расчетную схему искусственной вязкости относительно i -го узла на n + 1 -м шаге интегрирования (соответственно, в силу определения a(g), чем меньше значение k(n+J), тем большей будет искусственная вязкость). При изотропном (диагональном) диффузионном тензоре, в большинстве случаев, как показывают расчеты для устранения нефизических осцилляций, выбор данного коэффициента вязкости в виде k (где k - диффузионный ко-

140

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

эффициент при диффузионных членах решаемого уравнения КД) оказывается вполне достаточным. Параметр 0(n+1) - некоторая константа, увеличение или уменьшение которой

приводит соответственно к увеличению или уменьшению вводимой в численную схему искусственной диссипации. В большинстве случаев для нужд практических расчетов вполне достаточно выбирать ее из промежутка [0; 2]. Увеличение этой константы может понадобиться при возникновении в решении больших градиентов и нефизических осцилляций в соответствующих тонких слоях (поскольку увеличение искусственной диссипации приводит к "монотонизации" численных схем и сглаживанию неоднородностей, разрывов

и скачков). Заметим, что при = 0 по определению получаем классический МКЭ Га-

леркина. Положив в (2) b(n+1) = +¥ и b(n+1) = 1, получим соответственно

a

(n+1) i ,k

= 0

(n+1)

i,k

sign (a(g (nj)) ) = q

(n+1) i ,k

sign (її),

(3)

a

(n+1) = i,k

qS^aefi1).

(4)

Отметим, что выражения (2)-(4) для СП пригодны не только при интегрировании полудискретных аппроксимаций, но без изменений могут быть использованы при нахождении решений разностных схем (при переходе от предыдущего n -го временного слоя схемы на текущий n + 1-й). Естественно, при интегрировании систем уравнений настройка СП в ВФ для каждого уравнения системы осуществляется индивидуально. Для определения СП при решении стационарных задач используются те же формулы (2)-(4) (однако, теперь они априори являются независимыми от n ). При 0(flj+^'> = 1 формула (4) дает выражение, которое

для стационарного линейного одномерного уравнения КД с постоянными коэффициентами обеспечивает совпадение численного и точного решений в узлах равномерной сетки (то есть, получаем схему Ильина-Аллена-Саусвелла [1]). Дополнительные замечания, касающиеся выбора СП, упрощения их вычисления, а также стабилизации решений в окрестностях фронтов ударных волн приведены в [5] (см. замечания 1-5 в разделе 2 работы [5]).

4. Численное моделирование

Пример 1. Рассмотрим граничную задачу для стационарного двухмерного уравнения КД v • Vu = кДи (тут v - вектор скорости, к - диффузионный коэффициент) в единичном квадрате W (центр квадрата находится в начале координат). Для упрощения записи будем

обозначать х ° хь у ° Х2 . Поле скоростей имеет вид v(x, y) = (—y; x) (вращение против

—8

часовой стрелки), к = 10 . На границе квадрата W решение и равно нулю, а внутри квад-

рата, на прямой х = 0, —1/2 < у < 0 имеется разрез, на котором и = и(0, у) = w(y), где w( у) = (cos(4py + p) +1)/2. Постановка граничных условий и линия разреза изображены на рис. 1 [8]. На рис. 2 показан график функции w( y) при —1/2 < y < 0. На рис. 3 показано решение данной задачи [8] - "воронка", которая образуется при вращении графика функции w(y) против часовой стрелки относительно начала координат. Данная задача использовалась в [8] для тестирования точности и работоспособности стабилизированных методов SUPG, GLS, USFEM и RFB (однако, в [8] было взято к = 10—6). Поскольку процесс конвекции в задаче является доминирующим над процессом диффузии ( к - малое), то при вращении графика w(y) его высота должна оставаться практически такой же, какой она была на разрезе (то есть график не "проседает" под действием диффузии, распределенной в данном случае изотропно) [8]. Это, в свою очередь, для оценки точности и качества чис-

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

141

ленного метода позволяет использовать максимальную разницу между высотой w(y) на линии разреза и высотой графика вычисленного решения на вертикальной линии узлов, находящихся слева от линии разреза на ближайшем расстоянии (для расчетов будем использовать сетку с прямоугольными треугольниками, ориентированными вдоль координатных осей). Обозначим данную разницу в текущей задаче через errmax . Отметим, что в

силу особенностей данной задачи ее можно рассматривать как "стресс-тест" для проверки того, вводит ли численный метод избыточную диффузию поперек потока [1, 6, 8]. В случае утвердительного ответа при полном повороте вокруг начала координат график под воздействием диффузии будет "разглажен", а величина errmax, соответственно, будет большой [8]. Таким образом, данная задача предъявляет высокие требования к численным методам (в особенности, к их диссипативности) и считается весьма тяжелой для численного решения [8].

и=0

11=0 У 1/2

s' ~~

\

у

и=Л\’(у)

и=0

и=0

1/2

Рис. 1. Постановка граничных условий (пример 1)

Рис. 2. График w = w(y) .

Рис. 3. Пространственный профиль решения (пример 1)

Для метода SUPG используем поэлементную стабилизацию [1, 3] с СП {at} вида

ax= hxa(Pex)/ (21| v ||^ (5)

где ht - диаметр элемента Tt, Pet = || v || ht /(2к), || v || - евклидова норма вектора v , вычисленного в центре элемента Tt [8] по поводу данного выбора параметров. Данный выбор параметров в SUPG является оптимальным для одномерных стационарных задач КД с постоянными коэффициентами (дает решение, совпадающее с точным решением в узлах) и считается также вполне подходящим для большинства задач (в том числе, многомерных) [1, 8, 9] (особенно таких, в которых процесс конвекции не сильно доминирует над остальными процессами). Используем сначала равномерную сетку с треугольными элементами и числом узлов 21х 21. Для МПГ с ВФ (1) (используем здесь, для определенности, кусочноквадратичные ВФ) и при выборе параметров в виде (4) для всех Qik = 1/10 получаем

errmax » 0,097, а график решения практически совпадает с истинным решением (рис. 3); при возрастании или убывании Qik от данного значения погрешность растет. Так, для %ік = 0 (МКЭ Галеркина) получаем errmax » 0,145 (а в численном решении имеются осцилляции, что противоречит физическому смыслу задачи), при Qik = 1/2 будет errmax » 0,109 , а при Qik = 1 получим errmax » 0,119. Метод SUPG с выбором {at} в виде (5) дает errmax » 0,129. В работе [8] для решения данной задачи также применялся метод

SUPG с выбором {at} в виде at

ht cos f + sin f

21| v || (1 + 3cos f sin f)

a(Pet), где f - угол (локально-

142

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

го) направления потока (относительно декартовой системы координат, см. подробно в [8]). В работе [8] показано, что для стационарных двухмерных задач такой выбор стабилизирующих параметров в методе SUPG обеспечивает наилучшую точность в случае доминирования конвекции (по сравнению не только с другими вариантами выбора параметров, но, как показали расчеты [8], также и с другими стабилизированными методами, в особенности, методами GLS, USFEM и RFB); метод SUPG с таким выбором {at} дает

errmax » 0,117.

Рассмотрим теперь результаты расчетов для равномерной сетки 31х 31 узлов. Снова же, при Qik = 1/10 получаем минимальную погрешность errmax » 0,043. При Qik = 0

получим errmax » 0,072 , при qi k = 1/2 — errmax » 0,046 , при qi k = 1 - errmax » 0,048. Для метода SUPG с (5) получим errmax » 0,05, а для вышеописанного оптимального выбора параметров {at} - errmax » 0,046 . Для МПГ с ВФ (1), параметрами (4) и 0i k = 1/10, а также

для метода SUPG c вышеописанным оптимальным выбором параметров при использовании разбиения 21х 21 узлов число обусловленности (в спектральной норме [10]) »126 (для разбиения 31х 31 узлов приближенно равно 206); для метода SUPG c параметрами (5) и использовании разбиения 21х 21 число обусловленности »210 (для разбиения 31х31 узлов - приближенно равно 352). Таким образом, расчеты свидетельствуют, что предлагаемая в данной работе версия МПГ способна в данной задаче обеспечить большую точность решения по сравнению с другими стабилизированными методами и, кроме того, по сравнению с методом SUPG, формирует систему уравнений с меньшим числом обусловленности и не вводит избыточную диффузию поперек потока (что следует из определения метода SUPG и рассчитанных значений errmax ).

Пример 2. Рассмотрим задачу для нестационарного двухмерного уравнения КД:

Эu du du Э f Эu) Э f Эu ^

+ Vi + v2 = Эt Эxl Эx2 Эxl к— 1 ^1J + ЭX2 к 1 ^2 7

(6)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

в прямоугольной области, 0 < xt < Ц (i = 1, 2) при постоянном коэффициенте к и векторе

скорости V = (v1; v2)T = const. Начальное условие задается в виде u(0,x1,x2) = eX1 . Граничные условия являются продолжением по непрерывности начальных условий на границу области: u(t,0,x2) = 1, u(t,L1,x2) = eL1, u(t,x1,0) = u(t,x1,L2) = eX1. Аналитическое решение данной задачи для (6) выражается в виде [2]

u (t, xb x2 ) = e

¥ ¥ TT

at+bx1 + cx2^PST' Hij

A ^“1 Wii - a

і=1 j=1 ij

—at ~Wiit

e~"j I sin pix1sin pjx2 + ex1 L1 L2

где

rj л 2• .(n i\2 2 )1 + eL1(1-b)(-1)i+1 1 + e-L2C (-1)j+1

Hj = 4p j(k(l-b) +KC +a) r2„ „2 2.2 • ,2 2. 2 2

Т2ҐЛ ,2 , 2-2 т-2 2 , 2-2

Lj(1 -b) + Pi L2c +P j

Wjj =K((Pi / L1)2 + (P / L2)2).

Определим следующие значения параметров задачи: L = L2 = 1, V1 = V2 = 50,

к = 10-1. Поскольку || V || / к » 707, то в данной задаче конвективные процессы значительно преобладают над процессом диффузии.

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

143

Для интегрирования возникающих СОДУ во всех приведенных примерах нестационарных задач использовались стандартный явный метод Рунге-Кутты 4-го порядка [11] и явный адаптивный метод 3-го порядка из работы [12]. Шаг по времени в текущем примере

_3

положим t = 10 (начальный для метода из [12]. При этом в настройках выставлялись

значения допустимой абсолютной и относительной ошибок [12] интегрирования, также

_3

равные 10 ). Отметим, что в приведенных примерах оба метода интегрирования приводят

к практически идентичным результатам. Отметим также, что рассмотренные и проанализированные в работе (стабилизированные) методы конечных элементов, а также предлагаемый вариант МПГ, осуществляют дискретизацию задач по пространственным переменным, в результате чего получается СОДУ. Для интегрирования получившихся СОДУ в большинстве случаев оказывается вполне достаточным использования методов низкого порядка [1, 8, 9, 13]. Однако, поскольку погрешности и неустойчивости при применении конечноэлементных методов к решению задач КД обусловлены преимущественно дискретизациями пространственных членов и, следовательно, имеют скорее "пространственное" происхождение, чем "временное" [1-9, 13], то в данном разделе при рассмотрении примеров нестационарных задач для интегрирования СОДУ были использованы методы высоких порядков (3-го и 4-го). Это было сделано для того, чтобы минимизировать влияние дискретизации по временной переменной на окончательный результат и в явном виде выделить преимущество МПГ с ВФ (1) над другими стабилизированными методами пространственной дискретизации, рассмотренными в примерах.

Рассмотрим сначала результаты расчетов на равномерной сетке 15 х15 узлов с треугольными элементами. Гипотенузы треугольников ориентированы поперек потока (известно [8], что уменьшение угла между направлением потока и гипотенузами/диагоналями элементов приводит, как правило, к уменьшению погрешности, поэтому мы будем тестировать методы на наиболее "неудобном" с данной точки зрения расположении сетки). График численного решения МКЭ Галеркина в зависимости от переменной x ° x при t = 0,4 и фиксированном Х2 = 0,5 приведен на рис. 4 (здесь и в дальнейшем на рисунках данного примера тонкой линией будет обозначаться истинное решение, а жирной - вычисленное). Видно, что численное решение является колебательным и не имеет ничего общего с истинным решением. Обозначим через err^lX величину максимального уклонения на графи-

ке истинного решения от вычисленного, а через err

glob

величину максимального (пото-

чечного) уклонения на всей области. Тогда для МКЭ Галеркина имеем err^lX »1,47,

а

err^0 » 3,34. Для метода SUPG с выбором параметров (5), а также для методов GLS и

USFEM получаем err°x » 0,72, а errmg°b »1,55 (рис. 5). При этом для интегрирования

СОДУ адаптивным методом [12] понадобился M = 341 шаг, а показатель 1 жесткости системы (отношение максимального модуля действительных частей собственных чисел к минимальному) равен 3,76. Видно, что данные методы сильно сглаживают решение (стремятся его "выровнять" в окрестности пограничного слоя), что свидетельствует об их чрезмерной диссипативности в данной (нестационарной) задаче. Отметим, что использование метода SUPG с оптимальным для двухмерных стационарных задач выбором параметров [8] (см. пример 1) не приводит к существенному улучшению решения. Для него

err^lx » 0,64 , err^lf » 1,54, 1» 1,88, M = 232, однако решение имеет осцилляции в окрестности пограничного слоя (рис. 6).

144

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

Рис. 4. Решение МКЭ Рис. 5. Решение SUPG Рис. 6. Решение SUPG c

Галеркина (пример 2) c выбором СП в виде (5) оптимальным выбором СП

и Qik = 1,5 (15ХІ5 узлов) и Qik = 1,75 (15ХІ5 узлов) и Qik = 1,75 (25X25 узлов)

Для МПГ с ВФ (1) (для определенности используем кусочно-квадратичные функции), параметрами (4) и 0i к = 1 получим errox » 0,61, err» 1,53, 1» 1,64, M = 233 .

Однако решение будет иметь небольшие осцилляции возле приграничного слоя (график решения практически совпадает с графиком на рис. 6, поэтому здесь не приводится). При

0i к = 1,5 получим errlOC » 0,66 (рис. 7), M = 252 и 1» 2,45 . Видно, что в окрестности пограничного слоя имеется тенденция к осцилляции (образуется небольшая "ступенька"), хотя и значительно меньшая, чем для метода SUPG (рис. 6). Увеличение 0i к позволяет удалить эту "ступеньку". Так, график решения для 0i к = 1,75 приведен на рис. 8 (при этом

err°x » 0,67 , errm0 » 1,52, 1» 2,98 и M = 290). Отметим, что использование параметров (3) в данном примере дает слегка худшие результаты. Так, для 0i к = 1,75 будет

err^ » 0,66 , M = 363 , однако в окрестности пограничного слоя наблюдается "ступенька" (аналогично ситуации на рис. 7), убрать которую можно еще увеличив 0i к (однако при

этом будет расти err^X ). Измельчение сетки ведет к уменьшению погрешности (хотя соотношения между погрешностями (в плане "больше" или "меньше") протестированных методов с различными вариантами СП, а также характер поведения решения в целом сохраняются). Так, для разбиения 25 X 25 узлов для МКЭ Галеркина получаем err^X » 0,64, err^X»3,47, 1» 2,02 и M = 551. Для метода SUPG с (5) будет err^X »0,5,

err£ » 1,49, 1» 3,69, M = 678 . Для рассматриваемого МПГ с ВФ (1), параметрами (4) и 0i к = 1 получим errjOC » 0,34, єгг^Х » 1,47 , 1» 1,65 , M = 502; при 0i к = 1,5 будет

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

145

errmx » 0,42, err^ »1,48, 1» 2,36 и M = 583; при 0a = 1,75 будет err^ » 0,45, errmax » 1,48 , 1» 2,96 и M = 630 (рис. 9).

Пример 3. Рассмотрим начально-краевую задачу при х є [а; b] для одномерного уравнения Бюргерса [5, 6]:

Ъы

dt

л Ъы

+ 1ы— Ъх

_э_

Ъх

к-

Ъы

Ъх

+ f

(7)

при u(t, х)

1 = 1

и

f = 0

х /(t +1)

1 + д/(t +1) / exp(1 / 8к) exp(х2 /(4k(t +1)))

известным аналитическим решением Данная задача представляет собой мо-

с

дель ударной волны [14] и применялась в [14-17] для тестирования предложенных там численных методов, основанных на методе RKPM и являющихся его дальнейшим усовершенствованием [14], а также методах, основанных на применении В-сплайнов, эрмитовых сплайнов и методов коллокаций [14-17]. Начальное (при t = 0) и граничные условия получаются из выписанного аналитического решения путем его непрерывного продолжения на гиперплоскости с t = 0 и х = а , х = b соответственно. Для оценки уклонения численного решения и от аналитического и здесь и в дальнейших примерах используем величину

errmax °maxy |~~(х(,t)-и(х(,t)|. Положим, к = 10-4, а = 0, b = 1. При использовании (3)

положим [5, 6] 0(П+1) = 0 • m, где m = max | a(g'f‘1)) |, константа 0 = 1, а при использова-

(«)-

i,k

нии (4) положим 0(”k+1^ = 1. В табл. 1 приведено значение величины errmax (при t = 2) в зависимости от выбора СП a(?k+1^ и количества N равноотстоящих узлов сетки.

Таблица 1. Значение errmax (пример 3)

„(«+!) ai,k Количество узлов пространственной сетки, N

200 250 300 350

(3) 0,33203 0,32471 0,31836 0,31259

(3)* 0,12784 0,11491 0,08867 0,06558

(4) 0,19181 0,18664 0,18053 0,15949

(4)* 0,28647 0,28646 0,28644 0,28643

* при расчете использовалось сосредоточение !5, 18].

Здесь и в дальнейших примерах на рисунках жирной линией обозначен график вычисленного решения в зависимости от х , тонкой - график известного аналитического. На рис. 10 представлен результат расчета задачи МПГ (здесь и в дальнейших примерах в МГП используем кусочно-квадратичные ВФ (1)) при использовании формулы (3) и сосредоточения [5, 18], N = 350. На рис. 11 область укручения решения показана крупным планом. На рис. 12 показана область укручения решения при использовании формулы (4), N = 350, а на рис. 13 - при использовании МКЭ Галеркина с сосредоточением. Видно, что в последнем случае решение является осциллирующим (в силу преобладания конвекционных процессов и нелинейности); отметим, что в случае, когда сосредоточение не используется, осцилляции будут гораздо большими, поскольку сосредоточение, как известно [5, 18], увеличивает устойчивость схем и осуществляет их "монотонизацию". При использовании (3) без сосредоточения, а также при использовании (4) с сосредоточением погрешность боль-

146

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

ше (по сравнению с другими вариантами, перечисленными в табл. 1) и с возрастанием N она медленно убывает. При использовании МПГ с постоянными СП (не зависящими от индексов узлов сетки и момента времени t) решение получается неустойчивым и колебательным в окрестностях тонких слоев, а в случае, когда применяется сосредоточение — чрезмерно диссипативным и сглаженным. Так, на рис. 14 изображен результат решения при прежних условиях, с использованием сосредоточения и СП, тождественно равными единице. Видно, что решение чрезмерно сглажено в окрестности слоя. На рис. 15 показан соответствующий результат, когда сосредоточение не используется. Как видим, в таком случае появляются осцилляции. Увеличение СП не приводит к улучшению решения и исчезновению осцилляций (а при использовании сосредоточения решение становится еще более сглаженным, чем на рис. 14). Уменьшение СП также не приводит к улучшению решения (а при стремлении их к нулю получим МКЭ Г алеркина, который порождает осцилляции независимо от того, использовалось сосредоточение или нет подобно ситуации на рис. 13). При интегрировании СОДУ здесь и в дальнейших примерах использовались методы, описанные в примере 2 (в данной задаче с шагом по времени t = 10- ).

Рис. 10. Решение МПГ с СП (3) и

использованием сосредоточения

Рис. 12. Решение МПГ с СП (4) (область укручения)

Рис. 11. Решение МПГ с СП (3) и сосредоточением (область укручения)

Рис. 13.Решение МКЭ Галеркина с использованием сосредоточения

Рассмотрим теперь данную задачу при условиях к = 0,005 , a = 0, b = 1,2 с шагом по времени t = 0,01 и по пространству h = 0,0012 (то есть N = 1001). При таких значениях параметров задача рассматривалась в [14] (однако там был взят еще более мелкий шаг h, h = 0,001). Тогда при использовании (3) ( 0 = 1) с сосредоточением для моментов времени

t = 1,7, t = 2,5, t = 3 , t = 3,5 имеем err„

67 10

-5

err

62 • 10

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

-5

err

89 • 10

-5

err

36 • 10 5 соответственно. Для метода работы [14] с использованием пространств

кусочно-линейных функций соответствующие значения errmax равны errmax » 13,47 • 10

-4

errmax » 15,55 -10

-4

err

15,53 • 10-4, errn

15,22 • 10-4 [14].

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

147

Рассмотрим еще задачу при условиях к = 0,005, а = 0, b = 1 с шагом по времени t = 0,01 и по пространству h = 0,005 . При таких значениях параметров задача рассматривалась в [14, 15]. Тогда, аналогично, при использовании (3) с сосредоточением для моментов времени t = 1,7, t = 2,5, t = 3,25 имеем errmax » 48 • 10-5, errmax » 18,5 -10-5 , errmax » 63 • 10-5 соответственно. Для метода QRKM (Quadratic Reproducing Kernel function

_3

Method), предложенного в работе [14], соответственно имеем errmax »0,092 10 ,

errmax » 0,115 10_3, errmax » 8 10_3 (табл. 11 на стр. 433 в [14]). Для методов QBCM (Quadratic B-spline Collocation Method) и CBCM (Cubic B-spline Collocation Method), предложенных в работе [15] и основанных на использовании В-сплайнов, имеем соответственно

значения [14, 15] errmax » 0,312 10_3, errmax » 0,189 10_3, errmax » 8,98 10_3 и

errmax » 27,577 • 10_3, errmax » 25,152 10_3, errmax » 21,049 10_3 . Таким образом, приведенные расчеты показывают, что предлагаемая версия МПГ с адаптивным выбором СП в виде (3) и использованием сосредоточения дает лучшие результаты (в том числе даже и на более грубых сетках), чем методы, предложенные в работах [14, 15].

Рис. 14. Решение МПГ с СП, равными единице, и сосредоточением

равными единице

Для сравнения c методами, предложенными в работах [16, 17], рассмотрим данную задачу при условиях к = 0,005 , а = 0, b = 1, t = 0,001 (при таких условиях она рассматривалась в указанных работах). Тогда при использовании (3) (0 = 1/2) с сосредоточением при N = 61, N = 81, N = 101 и N = 121 для фиксированного момента t = 3,6 имеем

» 0,134 10_3, errm^ » 0,088• 10_3, errm^ » 0,059 10“"

errmax » 0,238 10

err

соответ-

ственно. При использовании (4) (при прежних условиях) соответственно имеем

errmax » 0,354 -10

_3

errmax » 0,146 10

_3

err

0,156 10

_3

err

0,046 10 3. Для ме-

-3

тода работы [16] будем иметь errmax » 0,47 10 , err,

0,27 • 10

-3

err

0,17 • 10

-3

err

-3

0,12 10 соответственно (см. [16]), а для метода работы [17] — соответственно

0,45 40

-3

err

0,31 10

-3

err

: 0,23 40

-3

err

0,16 10_3 [16,

получаем errmax

17]. Таким образом, данные расчеты показывают, что предлагаемая версия МПГ с адаптивным выбором СП в виде (3) и использованием сосредоточения, а также с выбором параметров в виде (4) (без использования сосредоточения) дает в данном примере более точные результаты, чем методы работ [16, 17]. Отметим, что для интегрирования полудискретных аппроксимаций в [16] использовались методы Рунге-Кутты SSP-RK43 и SSP-RK54 (3-го, 4-го и 5-го порядков) (детально в [16]).

148

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

Пример 4. Рассмотрим начально-краевую задачу при х є [a; b] для одномерного уравнения Бюргерса (7) при 1 = 1 и f = 0 с известным аналитическим решением

u(t, х)

2 лк - exp(-p2 kt) • sin(px) 2 + exp(-p Kt) • cos(px)

. Данная задача применялась в [16, 19] для проверки и тес-

тирования предложенных там численных методов решения уравнения Бюргерса. Положим,

a = 0, b = 1, h = 1/40, t = 10-4 . Тогда при использовании (3) с сосредоточением (подроб-

_3

ный выбор СП описан в примере 3) в фиксированный момент времени t = 10 для

Ї-5 ___ о о ю і і а—6

к = 5/10, к = 2/10 и к = 1/10 имеем errmax »1,2741 10_

■ max ■

errmax » 2,2121-10

и

err„

0,5987 10 6 соответственно. При использовании формул (4) соответственно полу-

чим errmax » 4,0752 -10

max

-5

errmax » 6,6653 10

-6

err

1,6787 10 6. Соответствующие

значения величины errmax для

errmax »1,22 -10-5 и errmax » 3,08 10

errmax » 3,00 -10 -6 и errmax » = 2,00 • 10

для метода работы [16] равны errmax »7,44 10

-5

-6

2,00 • 10 6 (табл. 3 работы [19] на стр. 575). Таким образом,

приведенные расчеты показывают, что предлагаемая версия МПГ с адаптивным выбором СП в виде (3) и использованием сосредоточения дает в данном примере более точные результаты, чем методы, предложенные в работах [16, 19].

Пример 5. Рассмотрим начально-краевую задачу при х є [a; b] для одномерного уравнения Бюргерса (7) при 1 = 1 и f = 0 с известным аналитическим решением

. ч a + m + (m-a)eh (х -mt -B)a w ™

u (t, x) =------------, где h =----------. Данная задача применялась в [16, 20, 21]

а для метода работы [19] - errmax » 2,00 10

-5

1 + e

h

к

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

для проверки и тестирования предложенных там численных методов решения уравнения Бюргерса. Ее решение представляет собой движущуюся "ступеньку" (решение типа

"кинк"). Положим, а = 0,4, b = 0,125, m = 0,6, к = 10 2, t = 10 2, h = 1/36 [16, 20]. Тогда при использовании (3) с сосредоточением (подробный выбор СП описан в примере 3) в фиксированный момент времени t = 1/2 при различных 0 = 0, 0 = 1/4, 0 = 1/2, 0 = 3/4 и 0 = 1 имеем соответственно errmax » 0,03693, errmax » 0,03045, errmax » 0,03239,

0,04670. Аналогично, при использовании (4) и 0(П+1'), приобретаю-

-2

errmax 0,04, errmax

щем значения 0, 1/4,

1/2, 3/4 и 1 соответственно, имеем errmax »0,005.

errmax » 0,00409, errmax » 0,00604, errmax » 0,00928, errmax » 0,01246. Поскольку в данной

задаче нет сильного доминирования конвекции (число Пекле имеет порядок 10 ) и резких неоднородностей в решении, то, соответственно, нет нужды во введении сильной сглаживающей диссипации, поэтому наиболее эффективными оказались "мягкие" варианты выбора СП (в особенности, (4)) и при небольших значениях параметров 0 и 0(П+1'). Для метода работы [16] при тех же условиях расчета имеем errmax » 0,00597, а для конечноэлементного метода работы [20] - errmax » 0,045 [16, 20].

-3

Положим, теперь h = 1/18 и t = 10 (такие значения параметров использовались в [21]). Тогда при использовании (4) и 0(П+1\ приобретающем значения 0, 1/4, 1/2, 3/4 и

1 соответственно,

имеем

errmax » 0,02494,

errmax » 0,01347,

errmax » 0,02165 ;

errmax » 0,03432, errmax » 0,0481. При указанных значениях параметров для конечноэле-

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

149

ментного метода SGA (Standard Galerkin Approach) имеем errmax » 0,096, для конечноэлементного метода PAG (Product Approximation Galerkin) errmax »0,082, для метода CD (Compact finite Difference) errmax » 0,151 (описание данных методов и указанные значения errmax в [20, 21]). Таким образом, расчеты показывают, что и в данном примере предлагаемая версия МПГ с адаптивным выбором СП (3)-(4) способна дать более точные результаты, чем методы, предложенные в работах [16, 20, 21].

Пример 6. Рассмотрим начально-краевую задачу для одномерного уравнения Бюр-герса (7) при 1 = 1 и f = 0 на отрезке [0; 1] с известным аналитическим решением

, ч kJu2 -1 кsh(x-кt) ^

u(t,x) = к +-----------------------, где m - некоторая константа. Данное решение

ch( x -к t) + m ch( x -к t) + m

имеет солитонный тип [22] и применялось в работах [16, 22] для проверки и тестирования предложенных там численных методов. Положим, к = 75 10 , m = -3, h = 10 , t = 10

(при таких условиях задача использовалась в [16, 22]). Тогда при использовании (3) (c 0 = 1, пример 3) с сосредоточением в фиксированный момент времени t = 1/20 имеем

errmax »10-13. При использовании (4) ( 0(Ид-+1) = 1) имеем errmax » 2 • 10-9 . Для метода рабо______________________________о

ты [16] получаем errmax » 2,1 • 10 (табл. 10.1 в [16]), а для 12-точечной схемы работы [22] - errmax » 1,058 • 10-4 (табл. 6 в [22]).

Пример 7. Рассмотрим начально-краевую задачу для уравнения (7) при 1 = 1 и f = 0 на отрезке [0; 1] с нулевыми граничными условиями первого рода и начальным условием U0 (x) = sin(px). Отметим, что задача в такой постановке дает описание нелинейных стоячих медленных волн в корональных магнитных петлях [23] в солнечной плазме. Аналитическое решение начально-краевой найдено в [20, 23]. Возьмем сначала значение

к = 10-4. В силу необходимости выполнения нулевого граничного условия вблизи точки x = 1 возникает тонкий приграничный слой. Сравним погрешность предлагаемой версии МПГ с погрешностями методов, использованных в работе [20] при t = 1/2 на наборе точек x = 0,5, x = 0,556, x = 0,611, x = 0,667, x = 0,722, x = 0,778, x = 0,833, x = 0,889, x = 0,944 (именно такой тестовый набор точек был взят в [20]). Взяв h = 1/216 и t = 1/8 [20] для конечноэлементного метода работы [20], получим errmax »0,097, для конечноэлементного метода работы [24] с кубическими В-сплайнами получим errmax » 0,078 (табл. 3 в [20]), а для предлагаемой версии МПГ с (3) (при 0 = 1) и использования сосредоточения получим

-3

errmax »0,022 (при 0 = 1,3 получим errmax »0,02). Положим, теперь h = 1/18, t = 10 . Тогда для метода SGA получим errmax » 0,124, для метода PAG - errmax » 0,105, а для метода CD - errmax » 0,087 (по поводу данных методов см. табл. 3 в [20]). Для МПГ с (3) (при

0 = 1) и сосредоточением получим errmax » 0,0617. Для МПГ с сосредоточением и постоянными СП, равными единице, получим errmax » 0,063 (а решение получается чрезмерно сглаженным возле приграничного слоя), а без использования сосредоточения получим errmax » 0,119. Для МКЭ Галеркина решение получается колебательным вблизи приграничного слоя и имеет большую погрешность (с использованием сосредоточения будем иметь errmax » 0,839, а без его использования - errmax » 0,975 ).

Пример 8. Рассмотрим начально-краевую задачу для уравнения Бюргерса (7) при

1 = -1 и f = 0 на отрезке [0;1] с известным аналитическим решением

150

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

u(t, x) :

sh( x /(2 k))

ch( x /(2k)) + exp(-t /(4 k))

. Данная задача использовалась в [25] для тестирования

__5 __2

предложенных там неявных численных схем. Положим, к = 75 10 , h = 1/20, t = 10

(при таких условиях проводились расчеты в [25]). Тогда при использовании (3) (0 = 1) с

_2

сосредоточением в фиксированный момент времени t = 1/20 имеем errmax » 5 • 10 . При

использовании (4) ( 0(Ид-+1) = 1) имеем errmax » 6,5 • 10_2 . Для 8-точечной неявной схемы ра-

боты [25] имеем errm

_2

7 • 10 , а для симметричной схемы Кранка-Николсона -

err

5 • 10 1 (табл. 4 в [25]).

Пример 9. Рассмотрим начально-краевую задачу для двухмерного уравнения Бюр-герса [6, 26-28]:

ди » ди » ди

——+ K1U—---+ 12U

д

dt

dx

dx2 dx

K-

ди

dx

+ -

д

1J

dx0

du

dx0

K-

V ил2

+ f

(где 1 =1i (t, x), K = K(t, x), f = f(t, x)) при І1 = 12 = 1, к = 1/20, f = 0,

(xb x2) є [0;1] x [0;1] с известным аналитическим решением

u(t,x1,x2) = (1 + exp((x1 + x2 _t)/(2k)))_1 [26-28]. Данное решение служит моделью ударной волны, волновой фронт которой движется вдоль линии x1 + x2 _ t (интерпретацию решения и его гидродинамическую суть см. в [26, 27]). Используем равномерное разбиение 21 x 21 узлов и положим t = 10 3. Тогда, при использовании (4) (с 0(”k+1) = 0,2) для моментов времени t = 1/2, t = 3/4, t = 1, t = 5/4, имеем соответственно errmax »0,00032, errmax » 0,00097, errmax » 0,0007, errmax » 0,00056. Отметим, что увеличение или уменьшение 0("k+1), как показывают расчеты, ведет к (медленному) росту ошибки (по сравнению

с ошибкой для 0(”к+1^ = 0,2 ); это, как уже отмечалось ранее, связано с тем, что коэффициент вязкости к не является малой величиной, следовательно, конвекция в данной задаче не является доминирующей, поэтому небольшие значения коэффициентов 0(n+1) приводят

к более точным решениям (однако при нулевых значениях 0(П+1') погрешность увеличивается). Для meshless-метода ELMFS (Eulerian-Lagrangian Method of Fundamental Solutions) работы [26] при тех же условиях интегрирования задачи имеем соответственно errmax » 0,00061, errmax » 0,00105, errmax » 0,00299, errmax » 0,00303 (табл. 1 в работе [26]

_2

на стр. 399). Рассмотрим теперь задачу при разбиении 20x20 узлов и положим t = 10 (при таких условиях задача рассматривалась в [27]). Тогда на промежутке 0 < t < 5/4 для МПГ с (4) имеем errmax » 0,007 . Для методов MFS-DRM (Method of Fundamental Solution -Dual Reciprocity Method) и Kansa работы [27] при тех же условиях решения имеем соответственно errmax » 0,0703 и errmax » 0,0719 (стр. 218 в [27]). Пусть теперь к = 1, t = 10_4 и

используется разбиение 11 x 11 узлов. Тогда при t = 1/2 для МПГ с (4) (0(Ид+1') = 1) имеем

_7

errmax » 8,72 10 , а для метода LMAPS (Local Method of Approximate Particular Solutions)

работы [28] - errmax » 6,9 • 10_6 (табл. 1 в [28]; отметим, однако, что авторы [28] не указали в своей работе ни метода интегрирования своих полудискретных аппроксимаций, ни кон-

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

151

кретного значения шага по времени, с которым они решали данный пример). Таким образом, предлагаемая версия МПГ с выбором СП в виде (4) в данной задаче дает более высокую точность, чем методы работ [26-28]. Отметим, что для многомерных задач использование сосредоточения является "рискованным" (в силу того, что может ввести диффузию поперек потока [1], которая приведет к возникновению больших погрешностей), а вариант (3) выбора СП без сосредоточения показывает плохие результаты даже в одномерном случае (пример 3), поэтому при решении многомерных задач вариант (4) выбора СП является предпочтительным.

Пример 10. Рассмотрим задачу для системы Бюргерса [26, 28]:

Эи , Эи , Эщ

—+ ----+12Щ2

Э ( Эи

\

dt

Эщ

dt

2 + I1U1

dx1

Эи

Эх

2

к

Эх1 ^ Эх1

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

+ -

Э

Эх2

к

Эи

Эх

2 J

Эх

2 Эи2

+ I2U2 —“

Э

/

Эх2 Эх

к

Эи

2

Эх

+ -

Э

1J

Эх

к

Эи

\

Эх

2J

при 11 =12 = 1, к = 1/100, (х1, х2) є[0;1] х [0;1] с аналитическим решением [26]

u1(t, х1, х2) = 3/4 - (1 + exp((-4х1 + 4х2 -1) / (32к)))-1 / 4, u2(t,х1,х2) = 3/4 + (1 + exp((-4х1 + 4х2 -1)/(32к)))-1 /4.

Данное решение служит моделью ударной волны (гидродинамическую интерпретацию решения см. в [26]) и использовалось в работе [26] для проверки работоспособности предложенного там метода ELMFS (пример 9). Используем равномерное разбиение 11 х 11

узлов и положим t = 0,005. Тогда, при использовании (4) (с 0г(П+1) = 0,2, см. комментарии

к примеру 9) для моментов времени t = 10 , t = 1/2, t = 2 для U1 имеем соответственно

errmax »3,07 10 , errmax »7,32 10 , errmax »7,54 10 , для величины u2 погрешности такие же (с точностью до малых более высокого порядка). Для метода ELMFS работы [26] при тех же условиях интегрирования задачи соответствующие погрешности для U1 имеют

-4 -3 -2

вид errmax » 5,39 10 , errmax » 7,66 10 , errmax »1,03 10 (для величины и2 они будут

такими же, см. табл. 3 и 4 в работе [26] на стр. 404-405). Для метода LMAPS работы [28]

-3

(см. комментарии к примеру 9) при тех же условиях и t = 1/2 имеем errmax » 7,4 10

(табл. 2 в [28]). Таким образом, предлагаемая версия МПГ с выбором стабилизирующих параметров в виде (4) в данной задаче дает более высокую точность, чем методы работ [26, 28].

Пример 11. Рассмотрим важный случай системы уравнений магнитной гидродинамики (в предположении адиабатичности и бесконечной проводимости среды [7, 29]), в которой все величины зависят от одной пространственной координаты, например, координаты z [29]. Тогда имеем вектор скорости и = (их(t,z),Uy(t,z),Uz(t,z)), магнитную индукцию B = (Вх (t, z), B (t, z), Bz (t, z)), плотность p = p(t, z) и давление p = p(t, z). К

этой ситуации сводится математическое описание распространения волн при возмущении какой-либо из МГД величин на границе рассматриваемой области, а также движение плазмы в конфигурациях, которые могут быть описаны (по крайней мере, в некотором приближении) единственной пространственной координатой (например, явление спикул [29]).

Введем сетку zt, i = 1..n на отрезке z є [L1;L2], z1 = zn = L2 . Начальные усло-

вия, соответствующие стационарному равновесному состоянию плазмы, имеют вид

152

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

u = u00 = 0, B = Bq = 0, p = Pq = Cp0 = Cp (где C — некоторая константа),

p = pо (z) = Po(0)e_gz/C , где сила тяжести (направлена противоположно оси z ) g = const. Соответственно, po = Cpo. По компоненте скорости uz на левом конце области дадим следующее синусоидальное возмущение:

duz (t)

sin(2pt /(3/20)), 0 £ t £ 3/20, 0, t > 3/20.

Без ограничения общности, для демонстрации работоспособности обсуждаемой версии МПГ положим при расчетах C = 1/2, pq(0) = 1, g = 1 и коэффициент вязкости _______2

и = 10 [7]. Тогда при использовании МПГ с выбором СП в виде (3) с сосредоточением,

_2 _2

0 = 1 (пример 3), h = 10 (используем плавающую сетку работы [30]) и t = 10 графики

плотности p и компоненты uz скорости в момент времени t = 0,15 в зависимости от координаты z изображены на рис. 16 и 17 соответственно. На рис. 18 и 19 показаны графики соответствующих величин в момент времени t = 0,25 .

Рис. 16. График плотности p при t = 0,15 Рис. 17. График скорости uz при t = 0,15

Рис. 18. График плотности p при t = 0,25 Рис. 19. График скорости uz при t = 0,25

Видно, что возмущение duz (t) сохраняет свою форму, но с течением времени затухает по амплитуде, что объясняется действием диссипации (вязкость с коэффициентом и) и нелинейности конвективного члена, причем, чем большим будет значение коэффициента вязкости u , тем сильнее будет затухать амплитуда скорости с течением времени. Возмущение скорости приводит к возмущению плотности (и, в свою очередь, давления) на фоне

равновесного установившегося распределения плотности po(z) = po(0)e_gz/C . Как видно из рис. 16 и 18, происходит "скатывание" возмущения со стороны левого конца области. С течением времени данное возмущение затухает (поскольку затухает возмущение переменной скорости) и плазма, при отсутствии других внешних возмущений, постепенно переходит в равновесное состояние. Таким образом, полученные результаты расчетов полностью согласуются с физической картиной поведения рассматриваемого процесса.

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

153

5. Заключение

В настоящей статье получили дальнейшее развитие результаты работ [5-7], касающиеся выбора и динамической (адаптивной) настройки стабилизирующих параметров в конечноэлементном методе Петрова-Г алеркина с предложенными в работах [2-4] весовыми (поверочными) функциями. На многочисленных примерах (разд. 4) продемонстрирована высокая эффективность метода Петрова-Галеркина с весовыми функциями (1) и предложенными вариантами выбора стабилизирующих параметров (разд. 3) при решении различных задач конвекции-диффузии (стационарных и нестационарных линейных задач, а также нелинейных уравнений и систем типа Бюргерса). Во всех приведенных примерах рассматриваемый метод Петрова-Галеркина оказался способным дать более точное решение, чем методы работ [8, 13-17, 19-22, 24-28], в которых данные примеры (те или иные) также применялись для проверки точности и работоспособности предложенных там методов. Расчеты показали, что в целом, в случае одномерных задач с наличием тонких слоев и ударных волн (особенно задач для уравнений Бюргерса), среди вариантов (3) и (4) выбора стабилизирующих параметров более эффективным (в плане точности и подавления осцилляций), как правило, оказывается "жесткий" вариант выбора (3) с одновременным использованием сосредоточения. В случае же, когда конвекция не является доминирующей над процессом диффузии, а также для многомерных задач, "мягкий" вариант (4) выбора стабилизирующих параметров в приведенных примерах оказывается более эффективным по сравнению с вариантом (3).

Благодарности. Автор выражает глубокую благодарность к.т.н., с.н.с. ИКИ НАНУ Сальникову Н.Н. и д.т.н., проф. Молчанову А.А. за плодотворное обсуждение работы и ценные замечания к ней.

СПИСОК ЛИТЕРАТУРЫ

1. Roos H.-G. Robust numerical methods for singularly perturbed differential equations / H.-G. Roos, M. Stynes, L. Tobiska. - Berlin, Heidelberg: Springer-Verlag, 2008. - 604 p.

2. Сальников Н.Н. О построении конечномерной математической модели процесса конвекции-диффузии с использованием метода Петрова-Галеркина / Н.Н. Сальников, С.В. Сирик, И.А. Терещенко // Проблемы управления и информатики. - 2010. - № 3. - С. 94 - 109.

3. Сальников Н.Н. Построение весовых функций метода Петрова-Галеркина для уравнений кон-векции-диффузии-реакции в трехмерном случае / Н.Н. Сальников, С.В. Сирик // Кибернетика и системный анализ. - 2014. - № 5. - С. 173 - 183.

4. Сирик С.В. Выбор весовых функций в методе Петрова-Галеркина для интегрирования линейных одномерных уравнений конвекции-диффузии / С.В. Сирик, Н.Н. Сальников, В.К. Белошапкин // Управляющие системы и машины. - 2014. - № 1. - С. 38 - 47.

5. Сирик С.В. Численное интегрирование уравнения Бюргерса методом Петрова-Галеркина с адаптивными весовыми функциями / С.В. Сирик, Н.Н. Сальников // Проблемы управления и информатики. - 2012. - № 1. - C. 94 - 110.

6. Молчанов А.А. Выбор весовых функций в методе Петрова-Галеркина для интегрирования двухмерных нелинейных уравнений типа Бюргерса / А.А. Молчанов, С.В. Сирик, Н.Н. Сальников // Математичні машини і системи. - 2012. - № 2. - С. 136 - 144.

7. Сальников Н.Н. О построении конечномерных математических моделей для двухмерных процессов магнитной гидродинамики с использованием метода Петрова-Галеркина / Н.Н. Сальников,

С.В. Сирик, В.К. Белошапкин // Управляющие системы и машины. - 2014. - № 4. - С. 23 - 32.

8. Harari I. Streamline design of stability parameters for advection-diffusion problems / I. Harari, L.P. Franca, S.P. Oliveira // Journal of Computational Physics. - 2001. - Vol. 171 (1). - P. 115 - 131.

9. John V. Finite element methods for time-dependent convection-diffusion-reaction equations with small diffusion / V. John, E. Schmeyer // Comput. Methods Appl. Mech. Engrg. - 2008. - Vol. 198. - P. 475 -494.

10. Хорн Р. Матричный анализ / Р. Хорн, Ч. Джонсон; пер. с англ. - М.: Мир, 1989. - 655 с.

11. Калиткин Н.Н. Численные методы / Калиткин Н.Н. - М.: Наука, 1978. - 512 с.

154

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

12. Скворцов Л.М. Простые явные методы численного решения жестких обыкновенных дифференциальных уравнений / Л.М. Скворцов // Вычислительные методы и программирование. - 2008. -Т. 9. - С. 154 - 162.

13. Brooks A.N. Streamline upwind Petrov-Galerkin formulations for convection dominated flows with particular emphasis on incompressible Navier-Stokes equations / A.N. Brooks, T.J.R. Hughes // Computer Methods in Applied Mechanics and Engineering. - 1982. - Vol. 32 (1 - 3). - P. 199 - 259.

14. Xie S.-S. Numerical solution of one-dimensional Burgers' equation using reproducing kernel function /

S.-S. Xie, S. Heo, S. Kim [et al.] // J. Comput. Appl. Math. - 2008. - Vol. 214. - P. 417 - 434.

15. Dag I. B-spline collocation methods for numerical solutions of the Burgers equation / I. Dag, D. Irk, A. Sahin // Math. Problems in Eng. - 2005. - Vol. 5. - P. 521 - 538.

16. Mittal R.C. Numerical solutions of nonlinear Burgers equation with modified cubic B-splines collocation method / R.C. Mittal, R.K. Jain // Applied Mathematics and Computation. - 2012. - Vol. 218. -P.7839 - 7855.

17. Korkmaz A. Polynomial based differential quadrature method for numerical solution of nonlinear Burgers equation / A. Korkmaz, I. Dag // Journal of the Franklin Institute. - 2011. - Vol. 348 (10). -P.2863 - 2875.

18. Сирик С.В. О применении сосредоточения в методе конечных элементов Петрова-Галеркина при решении задач конвекции-диффузии / С.В. Сирик, Н.Н. Сальников // Доповіді НАН України. -2014. - № 5. - С. 39 - 44.

19. Ganaie I.A. Numerical solution of Burgers equation by cubic Hermite collocation method / I.A. Ga-naie, V.K. Kukreja // Applied Mathematics and Computation. - 2014. - Vol. 237. - P. 571 - 581.

20. Dogan A. A Galerkin finite element approach to Burgers' equation / A. Dogan // Applied Mathematics and Computation. - 2004. - Vol. 157. - P. 331 - 346.

21. Christie I. Product approximation for nonlinear problems in the finite element method / I. Christie,

D.F. Griffiths, A.R. Mittchell [et al.] // IMA. J. Numer. Anal. - 1981. - Vol. 1. - P. 253 - 266.

22. Hesameddini E. Soliton and numerical solutions of the Burgers Equation and comparing them / E. He-sameddini, R. Gholampour // Int. J. Math. Anal. - 2010. - Vol. 4 (52). - P. 2547 - 2564.

23. Ruderman M.S. Nonlinear damped standing slow waves in hot coronal magnetic loops / M.S. Ruder-man // Astronomy & Astrophysics. - 2013. - Vol. 553 (A23). - P. 1 - 6.

24. Ali A.H.A. A collocation solution for Burgers equation using cubic B-spline finite elements / A.H.A. Ali, G.A. Gardner, L.R.T. Gardner // Comput. Meth. Appl. Mech. Eng. - 1992. - Vol. 100. - P. 325 - 337.

25. Tabatabaei A.H. Some implicit methods for the numerical solution of Burgers equation / A.H. Tabata-baei, E. Shakour, M. Dehghan // Applied Mathematics and Computation. - 2007. - Vol. 191. - P. 560 -570.

26. Young D.L. The Eulerian-Lagrangian method of fundamental solutions for two-dimensional unsteady Burgers' equations / D.L. Young, C.M. Fan, S.P. Hu [et al.] // Engineering Analysis with Boundary Elements. - 2008. - Vol. 32. - P. 395 - 412.

27. Li J. Numerical comparisons of two meshless methods using radial basis functions / J. Li, Y.C. Hon, C.S. Chen // Engineering Analysis with Boundary Elements. - 2002. - Vol. 26. - P. 205 - 225.

28. Zhang X. Local method of approximate particular solutions for two-dimensional unsteady Burgers' equations / X. Zhang, H. Tian, W. Chen // Computers and Mathematics with Applications. - 2014. -Vol. 66. - P. 2425 - 2432.

29. Ладиков-Роев Ю.П. Математические модели сплошных сред / Ю.П. Ладиков-Роев, О.К. Черем-ных. - К.: Наукова думка, 2010. - 551 с.

30. Молчанов О.А. Проекційні методи інтегрування рівнянь магнітної гідродинаміки / О.А. Молчанов, М.М. Сальніков, С.В. Сірик // ІІІ наукова конференція магістрантів та аспірантів «Прикладна математика та комп'ютинг»: тези доповідей, (Київ, 13-15 квітня 2011). - К.: Просвіта, 2011. - С. 272 - 278.

Стаття надійшла до редакції 21.10.2014

ISSN 1028-9763. Математичні машини і системи, 2014, № 4

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

155

i Надоели баннеры? Вы всегда можете отключить рекламу.