книги из ГПНТБ / Вычислительные методы в физике плазмы
..pdf§ 3. Разностные методы |
359 |
дом шаге по времени п. В принципе в результате такого решения
можно найти ufjfe для всех ijk. Эту неявную схему всегда можно построить так, чтобы она была численно устойчивой, при этом At ограничивается только соображениями точности. Однако такая схема будет полезна только в том случае, если существует неко торый алгоритм, обеспечивающий эффективное решение системы уравнений.
4. Метод прогонки в одномерном случае
Совокупность систем алгебраических уравнений можно запи сать в виде
( І - г М Ь п+і) н"-г1 = (/ + (1 - е ) AtLn) u£k |
(71) |
(здесь правая часть известна, I — единичный оператор) или в бо лее компактной форме
071 + 1 7 1 + 1 г р Т І 71 (72)/^ 0 \
Л uijh = Т Щ;к.
В специальном случае одномерного линейного уравнения с одной неизвестной функцией матрица S 1l+1 сводится к трехдиагонально му виду и легко обращается с помощью простой рекурсивной про цедуры ([25], гл. 8). Если L+ и L_ — операторы сдвига, такие, что
L+Uj = ііу+і» |
L-Uj = Uj^, |
|
|
то матрицу S, поскольку |
она трехдиагональна, |
можно записать |
|
в виде |
|
|
|
{AL+ + |
В + |
CLJ) и = w, |
(73) |
где А, В, С — диагональные матрицы, а w = w (tn) — известное выражение. Удобно разделить двойную рекурсию в уравнении (73) на две стадии, определяя диагональную матрицу X и вектор у соотношением
Ь+и = Хи + у, |
(74) |
|
так что |
|
|
{AL+ — А Х + |
0) и = Ау, |
|
и вычитая последнее равенство |
из (73): |
|
(В + АХ) и = —СЬ_ и + w — Ау, |
|
|
или |
|
|
и = - (В + АХ)-1 C L - U + |
(В + А Х у 1 (w — Ау). |
(75) |
Здесь А, В, С, X — диагональные матрицы, поэтому, сравнивая уравнения (75) и (74), получаем
X ■— _______ . __ |
wi ~ A j y j +! |
1 |
J Bj-\-AjXj+l |
3 62 |
|
|
Гл. 9. МГД-методы |
|
|
|
|
|
|||||
|
|
|
|
dvx ____ j9p |
|
|
|
|
|
(84) |
|||
|
|
|
|
dt |
|
dx |
’ |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
dVy |
|
dp |
|
|
|
|
|
(85) |
|
|
|
|
|
dt |
|
dy |
’ |
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
) |
— ypV .у . |
|
|
|
|
(86 ) |
|||
|
|
|
|
|
|
|
|
|
|||||
По |
аналогии с (80) |
представим решение уравнения (86) в виде |
|||||||||||
|
|
|
р = рп- ^ р Ѵ - ѵ , |
|
|
|
|
(87) |
|||||
что |
после подстановки в (84) |
и (85) |
дает |
|
|
|
|
|
|||||
|
- ddvt x _ |
d p n |
, |
УрАі |
( |
d 2v x |
|
d*Vy |
|
(88) |
|||
|
d x |
\ |
d x * |
1 |
d x d y |
|
|||||||
|
P |
|
d p n |
1 |
y p 2 |
â Z vx |
|
|
|
|
|||
|
n |
d t |
|
h t |
,t |
, ö 4 |
|
' |
|
||||
|
|
1 |
|
( |
|
|
|
(89) |
|||||
|
d^v |
|
|
|
|
|
|
2 |
, |
||||
|
P |
|
d y |
2 |
d x d y |
|
d y |
|
|||||
|
|
|
|
' |
|
|
|
|
|||||
Члены с д21дх2 и d2/ % 2 вычисляются методом прогонки, а сме шанные производные — путем итераций. Уравнения (83) и (86 ) решаются с помощью формул, аналогичных уравнению (82). Компоненты скорости определены в смещенных пространственных
ячейках, т. |
е. |
если р и р заданы в узлах (г, ;'), то ѵх задано в точке |
(і + Ѵ2, /), |
а |
ѵу — в (г, ] + Ѵ2). |
6. Эйлеровы и лагранжевы координаты
Одна из основных проблем в МГД-расчетах возникает из-за преобладающего влияния переносного члена ѵ *Ѵ/, который при сутствует во всех уравнениях и определяет перенос от точки к точке при движении среды как целого таких физических пере менных, как плотность, температура, магнитное поле и скорость, оставляющий их значения неизменными. На этот перенос нало жены и другие кинематические эффекты, связанные с движением среды как целого, такие, как адиабатическое сжатие (div ѵ) и враще ние [например, член (В - V) ѵ в уравнении поля], которые, как и процессы диффузии, могут быть физически малы, но которые тем не менее важно вычислять точно. Очевидно, что лагранжево представление, при котором используется сетка, движущаяся вместе со средой, дает возможность вообще исключить движение среды как целого, что в свою очередь позволяет вычислять остаю щиеся члены более точно. В случае одного измерения такой под ход оказался вполне успешным.
В случае двух или трех измерений применение лагранжевой сетки оказывается делом значительно более сложным, так как она сразу же становится неортогональной и в конце концов может
§ 3. Разностные методы |
363 |
чрезмерно исказиться. Для специфических задач Хейн [42] и Хертвек и Шнайдер [43] разработали псевдолагранжево представление, но обычно на практике используется фиксированная эйлерова сетка, которая требует осторожности в аппроксимации перенос ного члена, чтобы численные эффекты не скрыли физическую диффузию.
а. Точная аппроксимация переносного члена
Численная точность различных аппроксимаций переносного члена изучалась Робертсом и Вайсом [24]. Рассмотрим уравнение
ËL |
df n |
(90) |
V-г—= 0 . |
||
dt |
дх |
|
Приписываемый Лелевьеру метод ([25], гл. 12) в зависимости от того, V < 0 или V > 0, использует соответственно правую или левую разностную аппроксимацию производной dfldx. Эти раз ности не центрированы и потому аппроксимируют комбинации производных
|
д} |
Дх |
Ö2/ |
|
|
|
ІйГ + |
~2~ Их2 ’ |
|
|
|
так что уравнение (90) заменяется уравнением |
|
||||
<9/ , |
df |
I |
у I Дх |
92/ |
(91) |
dt |
дх |
|
2 |
9х2 ’ |
|
|
|
||||
где правая часть отвечает диффузионному или затухающему процессу.
Численную диффузию довольно легко исключить подходящим смещением обеих производных, и существует ряд схем, выполняю щих эту операцию. Те из них, которые будут рассмотрены в этой главе, используют трехслойную схему, так что уравнение (90) решается в виде
fT l-h 1 |
г П — 1 |
V j \ t , .71 |
гП . |
/ П О \ |
і і |
— Ji |
= — ~і^г ш +i —/;-i)- |
(УЛ |
|
Хотя диффузия и устранена, численная дисперсия все еще проис ходит и коротковолновые моды распространяются со скоростью, отличной от точного значения ѵ. Для уменьшения этого эффекта Робертс и Вайс [24] разработали разностные схемы более высокого порядка точности, однако полностью его устранить не удается.
б. Устранение нефизических значений
Одно из преимуществ схемы Лелевьера состоит в том, что функции, которые всегда положительны, такие, как плотность или температура, остаются положительными в течение всего вре мени вычислений. Это происходит в силу предписанного вклада каждого из узлов в линейную интерполяцию между значениями
366 |
Гл. 9. МГД-методы |
Для получения консервативной разностной схемы разделим об ласть R на семейство прямоугольных параллелепипедов, огра ниченных пространственно-подобными поверхностями с объемом Аѵ, и представим (94) в виде
2 N |
|
(un + 1 — un)Ai>= 2 AxAt, |
(96) |
a — 1 |
|
где каждый член в правой части представляет собой поток через одну из 2 N (N — 1 )-мерных времениподобных поверхностей. Поскольку каждая такая поверхность, лежащая внутри обла сти R, находится между двумя параллелепипедами с противопо ложно направленными нормалями, при суммировании равенст ва (96) по R вклады внутренних поверхностей попарно уничто жаются и останется лишь вклад непарных поверхностей, которые образуют границу S. Таким образом, разностная схема обеспечи вает выполнение точного интегрального закона сохранения, экви валентного равенству (95). Преимущество этого типа схем состоит в том, что каждый поток приходится вычислять лишь один раз, после чего он сохраняется до следующего раза.
б. Неустойчивая схема
На фиг. 2 показан простейший вариант явной схемы для двумерного случая. [Узлы сетки, в которых вычисляется поток,
обозначим через N, Е, S, |
W, а центральный узел — через С. |
|
Угловые узлы обозначим через NE, SW и т. |
д., а более удален |
|
ные узлы — через FN (far |
north — дальний |
север), ЕЕ и т. д. |
В случае трех измерений |
добавятся два дополнительных узла: |
|
U (upper — верхний) и L (lower — нижний).!
Если поток в узлах N, Е, S, W вычислять на слое tn, то схе ма (96) неустойчива. Проще всего убедиться в этом, заметив, что временная разность смещена и на самом деле представляет собой комбинацию производных
д At д2 dt + 2 dt2 '
Поэтому в первом приближении со в истинном дисперсионном
уравнении заменится на |
. Л« |
о |
. |
||
(О + |
I - у |
CÖ |
[мы предположили, что возмущение имеет вид ехр (ш£)]. Следо
вательно, частота любого корня |
со0 заменится на |
|
. |
Аt |
2 |
( ö q I |
£ |
<D0 , |
что даст вещественную скорость нарастания Я — Аш\!2.
§ 3. Разностные методы |
367 |
Другая интересная особенность этой схемы состоит в том, что она на самом деле описывает четыре несвязанные ячейки, поме ченные на фиг. 2 цифрами 1—4. Сохраняющаяся величина течет из ячеек с центрами в узлах FN, FE, FS, FW в ячейку с центром
|
Ф и г . |
2. Неустойчивая |
схема. |
|
Ячейка площадью 4Д2 с центром в узле С связана с четырьмя ячейками с центрами в FJV, |
||||
FE , F S и F W |
потоками через |
стороны JV, |
Е , S и |
W . Узлы 1 , 2, 3 и 4 не связаны |
с |
остальными и |
подчиняются |
своему |
закону сохранения. |
в С, но существуют три других множества ячеек, которые подчи няются собственным законам сохранения. В случае трех измере ний всего будет восемь таких групп.
в. Схема Лакса
Устойчивую схему можно получить, заменяя ип в уравне нии (96) на среднее между пространственными узлами, в которых вычисляется поток [74]. Это вносит численную диффузию, и схема на самом деле представляет собой аппроксимацию дифференциаль ного уравнения
Д2 |
Ѵ2и |
At d2u |
(97) |
2 N M |
T H W ' |
где А — шаг по пространству. Если с — максимальная скорость распространения, то
d2u
1 W < c 2V2u,
