книги из ГПНТБ / Вычислительные методы в физике плазмы
..pdfПриложение А |
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. У. 8Ті |
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\п. <£ — / 7Л
(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^ |
|
t» |
ѵ°/ |
|
Хокни [6] описал быстродействующий прямой метод решения этих уравнений с помощью разложения Фурье. В его работе указано время счета на IBM 7090 и число операций для программы, решаю щей разностное уравнение (3) на сетке 48 X 48 за 0,88 с. Ниже будет описана новая и более общая программа (названная РОТ1), предназначенная для CDG6600 и IBM 360/67, с оценками времени счета на этих ЭВМ.
