Файл: Вычислительные методы в физике плазмы..pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 11.04.2024

Просмотров: 270

Скачиваний: 6

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

§ 3. Метод разложения Фурье Эрмита

77

Каким бы мы не выбирали граничное М, коэффициенты на этой

границе станут большими за время t — [/ М/(пк0). В результате нельзя просто пренебречь вкладом от ZM+Un (t) в уравнении для Z M,n (t), поскольку Z M+l' п (t) и ZM_,, n (t) велики и имеют противо­ положные знаки, почти сокращая друг друга в уравнении для Z.M.n (t) 1см. (39)]. Поэтому нужно воспользоваться одним из следующих рецептов:

а) Остановить вычисления в какой-то момент t ^ Y М/(пк0)] выбрать М достаточно большим, чтобы получить решения для требуемого момента времени.

б) Использовать то свойство системы (39), что уравнения для Zm, п содержат только ZAf+1, п и ZM_i: п, и уменьшать М на единицу

при каждом шаге во времени, начиная с момента

t = ] / М/(пк0).

Тогда можно выиграть дополнительный интервал

времени М At

и сохранить точное решение.

 

в) Помешать тому, чтобы Z M, п когда-либо стали быстро нара­ стающими, с помощью введения какого-либо искусственного члена в уравнение (1), чтобы «сгладить» большие производные по скоро­ сти (см. [19, 20] и п. 3 настоящей главы).

г) Точно вычислять ZM+1, n (t) по известным ZM>n, ZM_j, n, ZM_2, n и т. д. с помощью какой-нибудь экстраполяции.

Рецепты «а» — «г» успешно использовались для разных проб­ лем, но, хотя были затрачены значительные усилия, до сих пор еще не найдена удовлетворительная (численно устойчивая) экст­ раполяция. При использовании рецептов «а»—«г» действующий

.вариант кода упрощается в результате вычисления всех Zmn вплоть до значений т, при которых коэффициенты Zmn становятся меньше некоторой заранее заданной величины. Эта особенность

обеспечивает очень быстрое вычисление, пока

матрица Z мала

на начальной стадии.

при увеличении

Из вида системы (39) можно заключить, что

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

получаем

(полагаем Е = 0)

 

 

 

 

 

^ 2 L = ömlhnk0Zm, n,

(51)

где

б =

(Zm+1, п — Zm_j, n)IZm, n. Для

того

чтобы величина

AZmn/Zmn была

малой, необходима малость величины bm}Anh0At.

На

практике 6

довольно мало; поэтому

есЛи

nA^Atnk^ ^ 1, то

должна иметь место численная устойчивость. Обнаружено, что этот критерий работает хорошо.

Наконец, рассмотрим, как влияет на функции /п , t) отбра­ сывание высших коэффициентов Эрмита. На фиг. 12 проведено сравнение функций распределения с п = 1, которые получены


78 Гл. 2. Решение уравнения Власова методами преобразований

соответственно при учете 960 и 360 членов в рядах Эрмита. Разло­ жения представляют истинное решение, полученное в случае, когда допускалось увеличение числа коэффициентов Эрмита по

мере необходимости. Из фигуры видно, что разложение с М =

360

 

 

 

Сплошния кривая М-960

дает почти ту же самую функ-

 

га

 

цию /п (ѵ,

t),

как

 

и разло­

 

 

 

X м=Збо жение

с М

=960. Ответ

на

5 -

 

 

 

вопрос, является ли достаточ­

 

 

 

 

 

ным разложение с 360 члена­

 

 

 

 

 

ми,

зависит от того, насколь­

 

 

 

 

 

ко

 

точно

 

нужно

вычислять

 

 

 

 

 

форму fn (V, t). В рассмотрен­

 

 

 

 

 

ном случае можно было бы

 

 

 

 

 

ограничиться

 

 

М =

360.

 

 

 

 

 

Остальные 600 коэффициентов

 

 

 

 

 

были

удержаны в

качестве

 

 

 

 

 

«гарантии» против распро­

 

 

 

 

 

странения искаженной инфор­

 

 

 

 

 

мации,

возникающей на гра­

 

 

 

 

 

нице матрицы. Если необхо­

 

 

 

 

 

дима экономия времени вы­

 

 

 

 

 

числений или требуется менее

 

 

 

 

 

точная

информация о /„ (ѵ,

 

 

 

 

 

t),

то можно уменьшить вели­

 

 

 

 

 

чину М.

 

 

 

 

 

 

 

 

 

 

 

3.

Модификация для вклю­

 

 

 

 

 

 

чения

«столкновений»

Ф и г .

12.

Сравнение

функций

 

 

В этом

пункте

мы будем

Re fi

(V, t =

35,0),

полученных в виде

 

 

в основном

следовать Гранту

разложений Эрмита с 960

и 360 чле­

нами для рассматриваемого случая.

и

Фиксу

[19,

20].

Один из

Наблюдается хорошее

согласие

во всем про­

способов

преодоления труд­

 

странстве

скоростей.

ности

неограниченного

уве­

мита,

необходимых для

 

личения числа полиномов Эр­

представления функций / (х , v,

 

t), связан

с введением некоторого члена в правую часть уравнения (1)

для

создания сглаживающего эффекта столкновений в пространстве скоростей. «Столкновительные» члены, которые можно исполь­ зовать в одномерном случае и которые для одного сорта частиц фиктивны, не обязаны точно представлять истинные соударения между дискретными частицами.

Одна из форм столкновительного члена, которая использова­

лась, получается

из модели

Бхатнагара — Гросса —

Крука:

(-gf )с=

— ѵс [/(*»

і) — п(х)ехр ( — -у -)] •

(52)


§ 3. Метод разложения Фурье Эрмита

79

Если п (X) = N, где N — постоянная, то функция / (х , ѵ, t) стре­ мится к пространственно-однородному максвелловскому распре­

делению, а если п (х) = j / , v, t)dv, то fn (v, 7) стремится

к максвелловскому распределению. После разложения Фурье — Эрмита выражение (52) записывается в виде

(2mn)c=

^с^тпп (^)>

О,

 

(Zon)c=—vc [Z0n (t)N], если

n(x) — константа,

(53)=

(Z0n)c = 0, если n (x) = j / (ж, у, £) dv.

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

функции / (ж, V, t).

Фоккера — План­

Более эффективен упрощенный член типа

ка [39—41]

 

приводящий к представлению [19, 20]

 

{^mn{t))c " VcHlZmn (£),

(55)

которое, вызывает преимущественное подавление высших коэффи­ циентов Эрмита. Грант и Фикс показали [20], что при Мѵс ~ 0(1) добавление члена (55) в уравнения (28) и (29) устраняет наруше­

ние представления в момент t = У MlNk0; однако столкновительные эффекты становятся доминирующими после момента t = 1/ѵс = М. Временной интервал, в течение которого можно приближенно изучать бесстолкновительные явления, простирает­

ся от t = MlNk0 до М. Если N k0 < 1/]/~М , то, очевидно, неже­ лательно вообще вводить столкновительный член. При устой­ чивых начальных условиях эффект от столкновений должен сум­ мироваться с затуханием Ландау. На фиг. 13 представлена зави­ симость Reco и Ішсо, полученных из линеаризованных разложений Фурье — Эрмита, от ѵс и М. В нелинейном случае столкнови­ тельный член конкурирует с волнами во взаимодействии с функци­ ей распределения; столкновения стремятся сохранить f0 (ѵ = сolk) <С < 0, в то время как нелинейное взаимодействие с волнами ведет

к /' =

со/к)

0. Следовательно, когда форма /0

(ѵ)

существен­

но влияет на

эффекты, которые нас интересуют,

нужно внима­

тельно

анализировать влияние столкновительного

члена.


80 Гл. 2. Решение уравнения Власова методами преобразований

На фиг. 14 при неустойчивых начальных условиях [см. (42)] сравниваются функции (t), полученные со столкновительным

Ф и г. 13. Сходимость результатов для действительной н мнимой частей со, полученных из линеаризованных разложений Фурье — Эрмита, к результа­ там Ландау в зависимости от частоты соударений В и числа оставленных коэффициентов Эрмита (N в этом случае).

При NB 1 вновь получаются результаты Ландау [20].

Время, Шр

Ф и г. 14. Зависимость log | E t (t) | от t для неустойчивого случая, демон­

стрирующая воздействие столкновительного члена на развитие во вре­ мени [14].

членом в форме (54) и без него. Столкновительный член не вноси- каких-либо качественных изменений. В этом случае интересова­ лись предельной амплитудой Е j (t) и характером состояния систе­

§ 3. Метод разложения Фурье Эрмита

81

мы, и использование столкновителышго члена позволило сущест­ венно сэкономить машинное время.

Столкновительный

член

в

виде (54) был подробно изучен

в работе Диневита и

др.

[42]

с использованием аналитических

ичисленных методов.

4.Краткая сводка результатов

Вэтом пункте кратко перечислены задачи, которые исследо­ вались с помощью метода разложений Фурье — Эрмита или какого-либо близкого к нему метода. Большая часть исследова­ ний явно оказалась успешной: они по-новому осветили важные физические проблемы. Порядок, в котором обсуждаются эти проблемы, не отражает наши взгляды на их относительную важ­ ность, а исходит из довольно приближенной последовательности появления результатов (заранее извиняемся за любой пропуск работы, с которой мы, по-видимому, незнакомы). Мы стремились полностью доверять исследователям каждой задачи, которые использовали разложения по ортогональным полиномам.

а. Нелинейное затухание Ландау в устойчивой плазме

Вмаксвелловской плазме возбуждаются волны с большими амплитудами и изучается последующее затухание и ' нелинейное взаимодействие волн с функцией / (ж, ѵ, t). Обнаружено, что вначале затухание волны происходит быстрее, чем по Ландау, что обусловлено, вероятно, сильным захватом резонансных частиц волнами. Число частиц в распределении / 0 (v, t) со скоростями, меньшими, чем фазовая скорость волны, уменьшается, а со ско­ ростями, большими чем фазовая скорость, увеличивается в соот­ ветствии с картиной взаимодействия резонансных частиц. Декре­ мент затухания у (t) падает с течением времени, становясь при больших временах гораздо меньше декремента линейной теории, если уровень начального возбуждения достаточно велик. Наиболее важными нелинейными членами в уравнении Власова для опреде­ ления временной эволюции электрического поля являются, оче­ видно, члены Ei (df^Jdv) + E_i (dfjdv), которые дают вклад второго порядка в /о (V, і). Была успешно построена нелинейная аналити­ ческая теория [43], основанная на вышеуказанном допущении, которая дает у (ta) и /0 (ѵ, ta), где ta — асимптотическое время. Этой проблемой занимались Армстронг [12, 13], Грант и Фикс

[19, 20], а также Садовский [21].

б. Сильно неустойчивые взаимопроникающие плазмы

Была изучена эволюция начального состояния, соответствую­ щего двум взаимопроникающим пучкам электронов [начальное условие вида (42)] в достаточно короткой периодической системе,

6 — 0 1 2 3 6