Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

книги из ГПНТБ / Вычислительные методы в физике плазмы

..pdf
Скачиваний:
52
Добавлен:
25.10.2023
Размер:
18.53 Mб
Скачать

358

Гл. 9.

МГД-методы

 

 

а.

Явная схема

 

Если

е = 0, то система

разностных уравнений

называется

явной и может быть решена непосредственно, так как

являет­

ся единственной неизвестной. Однако явная схема не будет чис­ ленно устойчивой, если не выполнено условие устойчивости в об­

щем виде (постоянные

порядка единицы опущены)

 

 

(69)

для гиперболических

членов

(где Д — шаг по пространству,

с — скорость волн или

среды)

и

 

 

(70)

для параболических членов (где о — коэффициент диффузии). Физически эти условия просто устанавливают, что максимальная скорость переноса информации разностным решением, равная одному пространственному шагу А за один временной шаг At, должна быть не меньше чем любая из скоростей распространения, описываемых системой дифференциальных уравнений: волн, дви­ жений среды и диффузии. Уравнения (69) и (70) дают локальные условия, поэтому необходимо выбирать наиболее неблагоприятный случай.

Особенность магнитной гидродинамики сжимаемой среды состоит в том, что между различными участками области вычисле­ ний могут происходить очень большие изменения параметров плазмы, например плотности р, температуры Т и магнитного поля В. В частности, альфвеновская скорость сА — ВІр1/2 может изменяться на несколько порядков. Поэтому, если имеются обла­ сти высокого магнитного поля и низкой плотности, явная схема может потребовать исчезающе малого шага по времени. Эта ситуа­ ция резко отличается от положения в гидродинамике, где харак­ терной скоростью является скорость звука (пропорциональная Т1! 2 и не зависящая от р), вариации которой существенно меньше. Таким образом, в гидродинамике обычно вполне пригодны явные схемы. Исключение составляют лишь задачи, в которых рас­ сматривается медленное прохождение через ряд близких состоя­ ний равновесия (как в эволюции звезд). Другой неудобной особен­ ностью двух- и трехмерной магнитной гидродинамики является высокая электронная теплопроводность вдоль магнитных силовых линий.

б. Неявные схемы

Если е Ф 0, то система (68) становится неявной и решение уравнения (66), т. е. задача его интегрирования по времени, сводится к решению системы алгебраических уравнений на каж­

§ 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

360

Гл. 9. МГД-методы

(второй индекс у диагональных элементов матриц опускаем). Пара рекурсивных соотношений (76) и (74) используется по оче­ реди. Правое граничное условие определяет Xj, а левое гранич­ ное условие определяет Этот метод оказывается достаточно быстрым, так как он содержит небольшое количество умножений на каждом шаге. В общем же виде рассматриваемая задача нели­ нейна, S = S (ип+1), и для получения самосогласованного реше­ ния приходится использовать итерации.

5. Неявный метод Хейна

а. Одномерный случай

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

dv

т,

dB

 

(77)

РИ Г = - В -эХ'

 

dp

P

дѵ

(78)

dt

dx

 

dB

D dv ,

 

dzВ

(79)

dt ~~

B

 

dx2 "

 

 

Так как эти уравнения нелинейны, придется применить итера­ ционный процесс; поэтому мы предположим, что и”, ип+1>р изве­ стны — порядковый номер итерации) и что un+1>p+1 должно быть определено. Сущность метода заключается в формальном решении уравнения (71) и подстановке результата в уравнение (77), после чего получается уравнение параболического типа, которое решается методом прогонки при е == 1/2, так что пространственные производные центрированы по времени. Обозначим чертой сред­ нее между точками (п) и (п + 1 , р), а тильдой — среднее между

(п) и (п + 1, р + 1). Тогда

или

в = в п

В At / дѵ \

г)Аt / д2В \

2 ~ \~ дХ )

)

§ 3. Разностные методы

361

или (группируем первый и третий члены в правой части равен­ ства)

в = ё

В At

I

дѵ

\

 

(80)

2

\

дх

)

'

 

 

Дифференцируя (80) и подставляя результат в (77), находим

искомое параболическое

уравнение

 

 

 

— dv

и

ВAt д

( п 9ѵ

\

(81)

р ч г = ~ в дх

2 дх

V дх

/ '

 

Исследование устойчивости показывает, что множитель перехода по модулю равен единице и что диффузионный член в уравне­ нии (81) полностью гасит неустойчивость, возникающую из-за явного представления градиента магнитного давления в правой части уравнения.

На практике удобно вычислять скорость в точках простран­ ственной сетки с целыми индексами, а все остальные переменные в полуцелых точках, чем достигается надлежащее центрирование первых производных в пространстве. Уравнение магнитного

поля (79) решается с использованием известной величины дѵ/дх во втором члене, а уравнение непрерывности (77) — по формуле

р П + 1 , р + 1 _ р «

At

дѵ

At

\

T

(82)

2

дх

2

/

J

 

Постоянный шаг по времени подбирается так, чтобы все перемен­ ные изменялись не слишком сильно за один шаг; для этого его подчиняют общему условию

дѵ At

дх 1 Г < 1 ,

которое определено уравнением (82) и другими описывающими адиабатическое сжатие членами. Обычно бывает необходимо не

более двух

или трех

итераций. Уравнения для электронного

и ионного

давлений

записываются аналогично уравнению (80)

и после дифференцирования подставляются в (81), а если урав­ нения для полей В е и В z связаны анизотропным сопротивлением, то эти уравнения записываются в форме матриц 2 X 2 и решаются совместно.

б. Случай двух и трех измерений

Хейн [26] обобщил свой метод на случай двух пространствен­ ных измерений, а позднее и на случай трех измерений (не опуб­ ликовано). Рассмотрим простейшую систему гидродинамических уравнений:

dp

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] разработали разностные схемы более высокого порядка точности, однако полностью его устранить не удается.

б. Устранение нефизических значений

Одно из преимуществ схемы Лелевьера состоит в том, что функции, которые всегда положительны, такие, как плотность или температура, остаются положительными в течение всего вре­ мени вычислений. Это происходит в силу предписанного вклада каждого из узлов в линейную интерполяцию между значениями

364 Гл. 9. МГД-методы

/” и fi± 1 - Иначе можно сказать, что, несмотря на численное рас­ сеяние, коротковолновые моды так сильно затухают, что исчезают полностью, прежде чем распространятся достаточно далеко, и по­ тому не вызывают какой-либо ряби в решении.

Если удалить затухание, то короткие волны смогут свободнораспространяться, а поскольку их скорость (а возможно, и ее направление) отлична от физической скорости ѵ длинноволновых мод, они могут дойти до «спокойных» участков области расчетов, где их амплитуда достаточно велика, чтобы дать заведомо невер­ ный результат. В частности, плотность или температура могут стать отрицательными, что в нелинейных расчетах приводит к опас­ ным последствиям. В методе Лакса — Вендроффа вводится числен­ ный диффузионный член четвертого порядка, который оказывает диссипирующее воздействие ([25], гл. 12), но и он не исключает возможности появления нефизических эффектов.

Понадобилось некоторое время, прежде чем эта возможность была осознана и были приняты дополнительные меры [38], впро­ чем, недавно Хейн *) нашел более изящный подход. Рассмотрим только переносный член в трехмерном случае. Введя обозна­ чения

/ м а к с —

ПЗЭХ ( / i j f t

,

/ і ± 1 , j ± l , h ± l ) ,

 

/ м и н =

min {fijh

,

fi±l, j + 1,

f t ± l ) ,

 

заменим величину /ц^ 1

на

 

 

 

 

/* =m ax ( / м и ш min ( / м а к с ,

f m 1))-

(93)

Простой смысл этого равенства в том, что новое значение /* не должно выходить из области семи известных значений, исполь­ зуемых для вычисления /*. Такая процедура препятствует воз­ никновению ложных максимумов и минимумов, но она вызывает некоторое размытие истинных максимумов и минимумов при их движении по сетке. Другие члены, такие, как сжатие, должны остаться неизменными. Если условие (93) запрограммировать наиболее экономично, то, по нашим оценкам, к затратам машин­ ного времени для І-кодов типа описанных в § 7 добавится около

30%.

в. Псевдолагранжев метод

В таких экспериментах, как восьмиметровый Ѳ-пинч [9, 10], создается длинный тонкий шнур плазмы, помещенный в почти параллельное магнитное поле, причем длина этого шнура в не­ сколько сот раз превышает его диаметр. По отношению к радиаль­ ным смещениям плазма почти равновесна, в то время как вдоль

0 К. Hain, частное сообщение.

§ 3. Разностные методы

365

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

Лучше всего решать задачи этого типа на координатной сетке, построенной на самих силовых линиях; соответствующие дву­ мерные коды разработаны Хейном [42], а также Хертвеком и Шнай­ дером [43]. Для описания продольного по отношению к магнит­ ному полю течения можно использовать явный метод, а для движе­ ния поперек поля — неявный метод (поскольку поперечный шаг но пространству гораздо меньше). Хейн выбирает силовые линии как одну из систем координатных линий и после каждого шага по времени восстанавливает заново ортогональную систему коор­ динат. Таким образом, поперечное движение описывается лагранжевым методом (в пренебрежении диффузий), а продольное дви­

жение — псевдоэйлеровым, так

как

зависимость скорости от

поперечной координаты (шир),

dvjdr

0 , исказила бы сетку.

Другая возможность заключается в использовании неортогональ­ ной сетки, в которой силовые линии образуют одну систему коор­ динатных кривых, а линии z = kAz — другую (фиксированную) -систему.

7. Явные схемы

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

а. Консервативные методы

ВN + 1-мерном прямоугольном пространстве-времени консер­ вативные МГД-уравнения (1) — (4) в общем виде можно записать так:

^L + VF = 0.

(94)

Например, в одножидкостной системе с равными температурами ионов и электронов и — восьмикомпонентный вектор

и = { р , рѵ, В, U)

и F = Р (и). Интегрируя уравнение (94) по пространственно-вре­ менной области R, ограниченной двумя плоскостями t = tn и t = = £"+1, и времениподобной поверхностью S , получаем интеграль­ ный закон сохранения

j u (tn+i) dv— j u (tn) dv= — j dt ^ (F-ds).

(95)

s

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 - у

[мы предположили, что возмущение имеет вид ехр (ш£)]. Следо­

вательно, частота любого корня

со0 заменится на

.

Аt

2

( ö q I

£

<D0 ,

что даст вещественную скорость нарастания Я — Аш\!2.

§ 3. Разностные методы

367

Другая интересная особенность этой схемы состоит в том, что она на самом деле описывает четыре несвязанные ячейки, поме­ ченные на фиг. 2 цифрами 14. Сохраняющаяся величина течет из ячеек с центрами в узлах 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,

Соседние файлы в папке книги из ГПНТБ