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

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

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

Приложение А

137

в плотность

определяется выражением

 

 

 

Ли б/ (ѵ0, х) = {/ [к (х)] — f (ѵ0)} Ди = öv (x)

Av =

 

 

 

= E o cos (kx — wt)

df (v0)

/ß^y

 

 

а» —kvQ

 

dv

* \ /

где 8v (x)

=

E (tо — kv0)-1 cos (kx — cot) — линейное

возмуще­

ние из-за

электрического поля Е 0 sin (кх

cut).

Выражение для

вклада в плотность в случае возмущения системы от контура ступенчатой функции имеет вид

бПі

Е cos (кх

соі)

Д/ь

(65)

со —кѵі

откуда видно, что выражение (64) — предельный случай (65). Подобным же образом, рассматривая непрерывное распреде­ ление как предельный случай ступенчатого, можно получить выражение для вклада каждого контура в плотность кинети­ ческой энергии возмущенной системы. Кинетическая энергия

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

Т = Т \dvv2f ( v)= - E 2

Л/г-

(66)

 

Следовательно, вклад каждого контура в возмущение кинети­ ческой энергии бТі определяется выражением

бТі = -к- [ѵ\8ѵ (х) + 8ѵ\ (.г) щ] Д/г + Ѳ(8ѵ\).

(67)

Среднюю кинетическую энергию определим путем усреднения по всему пространству:

бТі 4

(68)

где Ьѵі (х) выражается через электрическое поле.

Суммируя бТі по всем контурам, получаем следующее стан­ дартное выражение для энергии волны бИ7:

8W = JOg. У. і

2L j dxE2 (x) =

 

 

 

 

2Ѵ ~~

 

 

 

 

 

 

 

 

 

, fi

I

L

V

AfikVi

1 -

 

 

 

L

2kV

^

(co-toi)2J

 

 

 

 

 

 

Аfi (toi —ю-fco)

 

 

 

 

 

У

(o—kv;

■ ]-

 

 

2kV д(£> -

І1

 

 

 

 

=

dw

Г щ ( і ---- )1

;

 

(69),

 

4

L

\

2 kV

ZJ (ü— kvi / J

K '

І

здесь мы использовали соотношение 2« М = 0.

138

Гл. 3. Модель «водяного мешка»

Переходя к пределу в (69), получаем

т ~ £ г [ с о е л k)]’ (7°)

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

Выражение для кинетической энергии, которая обусловлена взаимным обменом двух соседних контуров, лежащих в интервале Аѵ друг от друга, мы получим, подставляя в формулу (68) вели­ чину Аѵ вместо бѴі (х) и суммируя по всем контурам в области Аѵ. Так как возмущение энергии на каждом контуре пропорциональ­ но (Ди)2 и контуры лежат в области шириной Аѵ, то возмущение энергии пропорционально (Ди)3, и мы приходим к выражению (13) текста.

П р и л о ж е н и е Б . А н а л и з м ет ода с и н х р о н и з а ц и и

Чтобы проанализировать более детально метод синхронизации, рассмотрим линейное решение уравнения (47) в предельном слу­ чае, когда Ах —>- 0, но At остается конечным. Этот анализ анало­ гичен случаю, когда At ->• 0, и показывает, что линеаризованная модальная реакция выражается следующим образом:

/*

г

бVJ (П At) дг = г j dk exp [ikx^] 2

 

exp ( — inQ^) +

а

 

за

/4\п. <£ — /

(71)

Е(п At, Xj){Atf = j dk exp [ikxf] 2

(k) exp ( - inQ+a) +

 

a

 

+ (— l) n I «

(k) exp (— inQja),

где

 

 

Q j a — [<йа (k) -j- k V j ] A t ,

Ц;« —

(k) -f- -д^- -j- kvjJ At,

Приложение Б

139

и обе величины, ®а и й)а, удовлетворяют дисперсионному соотношению

1

______ Af_j______

=

0.

(72)

2kV 4*

sin [(соа —kvj) Ai]

 

 

 

 

Если соД^сД, то решение уравнения (72) отличается от решения уравнения (55) только множителем Ѳ ЦсоЛД2].

Для определения количественного эффекта синхронизации разложение по модам (71) нужно подвергнуть операциям фильтра­ ции, определенным уравнениями (60). Таким образом, получаются следующие средние значения координат:

бX] ==

j

( t

t

e

 

x

p

l

i

f

a f

’ ]

2

X{

>«“ ■ ( • % ) - <

 

 

 

 

 

 

« P

[■-*

( 2 * - +

i )

<*.] } ,

j At = i j

dk exp [ikxf]] 2

X

 

 

 

 

 

 

 

 

 

 

 

 

a

 

 

 

 

 

 

 

 

 

 

 

/ Qt„

 

\

 

%z

 

exp

X

 

 

 

 

 

X cos ( 4

t )

 

 

.

 

 

 

 

 

 

 

 

vx

T .

 

sm Q ja

 

 

 

 

 

 

 

 

 

 

0111

 

 

 

 

 

 

 

T)(Atf=

^ d k expr -

' ■ L ( 2i'r+

i

) £ii“ ] sin ( i T L ) } -

(73)

[ikx^]r-7 (0)l

2чп {f e,+ (k)/’- 'exp-------X

 

 

 

 

 

 

 

 

 

 

а

 

 

 

 

 

 

 

 

 

X [ — 1 (

 

+

 

т )

 

 

cos ( —1 ~ )'

 

 

Заметим, что эта операция отфильтровывает антисинхронную компоненту и проектирует остаточную амплитуду Шй sin (Qja/2) на синхронное состояние. Если теперь использовать (61) для образования новой системы контуров и пренебречь остатком, то получим, что новое разложение по собственным модам приближен­ но выражается следующими формулами:

бXj = — j dk exp [ikxf^] 2

. exp( —i/iQ+e)

[1 + 6(Q4)]

sin2 Q+a

( —1)*6(Q3)

g„exp( — inCija)-

(Й+)2 ‘

4 sin2

Q+a } •

si n2 fita

 

140

Гл. 3. Модель «водяного

мешка»

bvj At = i j

dk exp [ikxf'1] 2 { %a*

^ - [1 + Ѳ(^4)] +

аза

+

(~8ІП ^ЙЗ)

еХР ( ~ inQ^“) } ’

(74)

Е (Xj) (At)2 = j dk exp [ikx'p]

2 {§« exP ( — іпЩа) [1 + Ѳ(Q4)]

+

а

+ (— 1)” Ѳ(О3) Шаexp (inQja)}.

Теперь амплитуда новой антисинхронной моды порядка Ѳ(О3),

вто время как амплитуда синхронной моды остается неизменной

впределах ошибки Ѳ(Q4). Кроме того, метод синхронизации дает начало новой моде смещения с амплитудой

(bxh) =

т 2

 

4 S in 2 Q + a •

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

Оптимальная частота синхронизации определяется из условия минимизации вносимой ошибки на один шаг по времени. Вначале

амплитуда

антисинхронной моды приближенно равна

(0+)3 »

~ ((OpAt)3. Если моды синхронизуются после N шагов,

то эта

амплитуда

возрастает до величины (сорДt ) 3 exp ( N a > p A t )

и

после

фильтрации

остаток (сорД£)4 ехр (N<x>p A t ) проектируется

на син­

хронную моду. Средняя ошибка на шаг по времени, ER, опре­

деляется как

 

 

 

exp (Naip At)

 

 

 

ER = (сйр Д^)5

 

 

 

N(üp At

 

 

Это выражение минимизируется при N = 1/сорДС Для мини­

мальной ошибки имеем

 

 

 

ERmhh= (öp Atfe .

 

(75)

При получении этой оценки мы предполагали, что модой смеще­ ния можно пренебречь. Однако, поскольку большинство наших расчетов проделано для нелинейных задач, мы, по-видимому, должны считать, что эта мода смещения при каждой синхрониза­ ции будет источником ошибки искажения, равной Ѳ [(сорДг)2].

Приложение Б

141

В этом случае средняя ошибка на шаг по времени равна

ER =

(top At)3

(tflp At)5

 

IVcöp Af

N (Op Ai exp (NcOp Af).

 

 

 

 

Эта ошибка минимизируется

при

 

 

IV

2 ln (соp Af)

 

 

 

■cop Af

 

когда она становится равной

(Ыр Af)3

 

 

ERМИН /'s*'

(76)

 

 

* 2 ln (о)р Af)

 

Был разработан метод чередующейся синхронизации, который может уменьшить величину асинхронного остатка до Ѳ (£13), хотя при этом искажается синхронная компонента на величину Ѳ (Q2). Возможно, такая схема будет представлять интерес при рассмо­ трении пространственных задач.

В новой схеме вместо фильтрации контуры той и другой чет­

ностей сначала интерполируются к новым значениям

координат

в один и тот же момент времени t — (2N +

Ѵ2) Аt:

 

x f [ ( 2N + 1

) А*] = xj [(2ЛГ + 1) At] -

Vj (2N At)

,

^ 0)[ ( 2 ( V + |)

Аг]=нИ2

Лг+1)АМ -£(2ДГАг, Xj) ^ - , (77)

x f [ ( 2ЛГ + \

) A*] = X,

(2N At) + v, [(2ЛГ + 1) At]

,

v f [ ( 21V + у ) At] = Vj (2N At) + E[(2N + i) At, x}]^ .

Антисинхронные компоненты затем отфильтровываются при

усреднении этих

координат:

 

 

 

 

 

х і =

Jeh

-

I r

(о)

Je) 1

(78)

Y lx f -

Vj =

- ö -

[Vj -

 

Эти новые координаты определяют новую

плотность заряда,

которая позволяет вычислить электрическое поле Е [(2п + Ѵ2)А£].

Затем

для расчета новой системы контуров в

моменты 2NAt

и (2N

+ 1)Аt можно использовать уравнение (61).

 

Анализ мод этой схемы показывает, что синхронная мода

искажается на величину порядка Ѳ(Q2). После

каждой синхро­

низации устанавливается антисинхронная компонента с ам­ плитудой Ѳ(Q3), и проекция этой компоненты на синхронную

142

Гл. 3. Модель «водяного мешка»

моду дает остаточную амплитуду

Q3 • Q3 exp (NQ) та (сор А7)2 exp (iVcop Ai).

Ошибка на шаг по времени равна

ER:

(сор Аt)3

[1 +

(wp Ai)4exp (Na>p Ai)].

iVcöp Af

Оптимальная

величина

N

= ІѴ0ПТ и минимальная ошибка

в случае этой схемы таковы:

4 ln (сор At)

N п

(Op Ai

 

(79)

ERM

(сйр At)3

4 ln (cöp Ai)

 

Эти оценки ошибок несколько лучше, чем оценка (76), однако они пока еще не использовались в расчетах.

ЛИТЕРАТУРА

1.Berk Н . L ., Nielsen С. Е ., Roberts К . V., «Phase space hydrodynamics of equivalent nonlinear systems: Experimental and computational observa­ tions», Rept. UCRL-71438, Lawrence Radiation Lab., Livermore, Cal., 1959.

2.NASA Rept. SP-153, Symp. Computer Simulation of Plasma and Many Body Problems, Williamsburg, 1967.

3.Los Alamos Rept. LA-3990, Proc. APS Conf. Numerical Plasma Simulation

4.

of Plasma, Los Alamos, 1968.

Killeen / . , Rompel S . L ., Journ. Comput. Phys., 1, 29 (1966).

5.

Roberts

К .

V.,

Weiss N . 0 ., Math. Comput., 20, 272 (1966).

6 .

Buneman O., Phys. Rev., 115, 503 (1959).

7.

Dawson J . M ., Phys. Fluids, 5, 445 (1962).

8 .

Morse R . L ., Neilson C. W ., [3], p. A4.

9.

Dawson J . M ., Hsi C. G., Shanny R ., [8 ], p. Al.

10.

Knorr

G.,

Zs.

Naturforsch., 18a, 1304 (1963).

11.Armstrong T. P ., Phys. Fluids, 10,- 1269 (1967).

12.Berk H . L ., Roberts К . V., [2], p. 91.

13.Dory R . A ., Midwestern Univ. Res. Assoc. Rept., 654., (1962).

14.Woods С. H ., «Interaction of a Vlasov System with dissipative Structures»,.

Rept. UCRL-71302, Lawrence Radiation Lab., Livermore, Cal.; Plasma Phys., в печати (1969).

15.De Packh-D. C., Journ. Electron Contr., 10, 13a (1962).

16.Gardner C. S ., Phys. Fluids, 6 , 839 (1963).

17.

Fowler T. K ., Phys. Fluids, 7, 249 (1964).

18.

Betrand P ., Feix M . R ., Phys. Lett., 28A, 68 (1968).

19.

O'Neil T ., Phys. Fluids, 8 , 2255 (1965).

20.

Berk

H .

L .,

Roberts

К . V., Phys. Fluids, 10, 1595 (1967).

21.

Berk

H .

L .,

Roberts

К . V., Phys. Rev. Lett., 19, 297 (1967).

22.

Flohl

F.,

Feix M .,

Phys. Lett., 22, 432 (1966).

23.Веденов A . А . , Велихов E. 77., Сагдеев P. 3 ., Ядерный синтез, 1, 82 (1961).

24.Drummond W . E ., Pines D ., Nucl. Fusion Suppl., Pt. 3, 1049 (1962).

25.Berk H . L ., Book D . L ., Phys. Fluids, 12, 649 (1969).

26.Baldwin D . E ., Rowlands G., Phys. Fluids, 9, 2444 (1966).^

ГЛАВА 4

МЕТОДЫ РАСЧЕТА ПОТЕНЦИАЛА И ИХ ПРИЛОЖЕНИЯ

Р. Хокни*

§1. Введенгіе

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

необходимость

в определении

электростатического

потенциала

по известному

распределению

зарядов [1], а если

существен­

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

пределению массы

[3].

Во всех

этих случаях потенциал ф свя­

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

уравнением Пуассона

52ф

52ф

д2<р

4яр(ж,

у, z).

(1)

дх2

ді/2

dz2

 

 

 

 

 

Задача вычисления потенциала встает как в лагранжевых

моделях частиц,

где

потенциальное

поле

ускоряет

большое

количество отдельных

частиц,

так

и в

эйлеровых

моделях,

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

Хотя решение существенно трехмерной задачи и возможно [4], мы ограничимся рассмотрением более простых проблем. Тем не менее значительная часть обсуждаемых методов допускает естественное обобщение на трехмерный случай. Мы рассмотрим задачу определения потенциала в тех же самых узлах равно-

* R . W. Hockney, NASA, Langley Research Center, Hampton, Virginia.

144

Гл. 4. Методы расчета потенциала

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

д 2 ф

92ф

Алр(х, ѵ).

( )

дх2

 

 

 

Пуас­

Б § 2 использована разностная аппроксимация уравнения

2

сона, причем специальный вид этих уравнений позволяет умень­ шить вычислительные трудности.

Этот двумерный расчет дает сеточную аппроксимацию по­ тенциала, созданного набором бесконечно длинных стержней, причем каждый стержень вносит свой вклад в величину потен­ циала в каждом узле сетки, примерно пропорциональный ло­ гарифму расстояния до этого узла. В § 4 мы в качестве обобщения опишем метод преобразования Фурье, который позволяет решить задачу с нелогарифмическим законом изменения потенциала взаимодействия; фактически этот закон может быть задан про­ извольным образом. В этом методе потенциал в некоторой узловой точке рассматривается как сумма вкладов от всех остальных узлов сетки в соответствии с данным законом взаимодействия. При вычислении двойной суммы используется разностный аналог теоремы о свертке. Если выбрано взаимодействие с величиной, обратно пропорциональной расстоянию, то наше рассмотрение соответствует потенциалу, созданному системой точечных зарядов, лежащих в одной плоскости. Такая зависимость имеет особое значение при моделировании полей тяготения звездных галактик, которые с хорошей точностью можно рассматривать как совокуп­ ность точечных звезд, движущихся в одной плоскости.

Краевые эффекты в плазме конечной длины можно приближен­ но учесть, если рассматривать взаимодействующие заряды как стержни конечной длины или если принять некоторую зависи­ мость плотности зарядов от координаты z. В обоих случаях можно найти потенциал взаимодействия и использовать его при вычис­ лении потенциала поля. В других приложениях может оказаться полезным представление о плазме как о совокупности экраниро­ ванных ионов, каждый из которых, имея собственное дебаевское облако, создает потенциал взаимодействия, пропорциональный г-1 ехр (—гІКц).

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

§ 1. Введение

145

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

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

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

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

доступная возможность

использовать «хорошее приближение»

к решению,

определяемое

видом потенциала на предыдущем шаге

по времени.

Трудность

в применении итерационных методов

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

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

:10—01236

146

Гл. 4. Методы расчета потенциала

Например,

для сетки 128

X 128 необходимо провести 233 ите­

рации метода

SOR, чтобы

обеспечить уменьшение ошибки до

1 % от первоначального значения, а в течение первых 20 итераций ошибка может в 30 раз превышать свою начальную величину! То, что обычно делается значительно меньшее число итераций (обычно 20 или меньше), и, по-видимому, с удовлетворительными результатами, возможно только благодаря влиянию «хорошего начального приближения». Мы приведем некоторые результаты для скорости сходимости в модельных задачах, для которых известно точное решение и при хороших, и при плохих начальных приближениях. Как показывают эти результаты, применение итераций неоправданно, если может быть использован прямой метод, поскольку он позволяет получить точное решение разно­ стных уравнений за время пяти или шести итераций метода SOR. Напротив, при сложных граничных условиях нет никаких других методов, кроме итерационных. К сожалению, трудно делать общие утверждения о влиянии хорошего приближения, поскольку вид начального вектора ошибок зависит от распределения зарядов в конкретной задаче, которое будет изменяться от шага к шагу во время вычислений. Если, с другой стороны, во избежание этих трудностей взять такое число итераций, чтобы теория гарантиро­ вала определенное уменьшение ошибки (скажем скромно, до 1%) независимо от точности начального приближения, то необходимое машинное время становится недопустимо большим.

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

§ 2. П рям ы е методы

Простейшая разностная аппроксимация уравнения Пуассона в случае двух измерений достигается использованием пятиточеч­

ного шаблона типа «крест» и имеет

вид

 

 

Фа- l . t —2cps, t Ч~ Фй-Н, t

I <Ps, f-1 —2cpSi t+

cp.;, t+1

»

/q\

ffX2

HY^

 

ѵ°/

Хокни [6] описал быстродействующий прямой метод решения этих уравнений с помощью разложения Фурье. В его работе указано время счета на IBM 7090 и число операций для программы, решаю­ щей разностное уравнение (3) на сетке 48 X 48 за 0,88 с. Ниже будет описана новая и более общая программа (названная РОТ1), предназначенная для CDG6600 и IBM 360/67, с оценками времени счета на этих ЭВМ.

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