Федеральное агентство по образованию Московский инженерно-физический институт (государственный университет)
И.В. Цветко...
6 downloads
184 Views
688KB Size
Report
This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
Report copyright / DMCA form
Федеральное агентство по образованию Московский инженерно-физический институт (государственный университет)
И.В. Цветков
ПРИМЕНЕНИЕ ЧИСЛЕННЫХ МЕТОДОВ ДЛЯ МОДЕЛИРОВАНИЯ ПРОЦЕССОВ В ПЛАЗМЕ
Рекомендовано УМО «Ядерные физика и технологии» в качестве учебного пособия для студентов высших учебных заведений
Москва 2007
УДК 533.9.01(075) ББК 22.333я7 Ц 27
Цветков И.В. Применение численных методов для моделирования процессов в плазме: учебное пособие. М.: МИФИ, 2007. 84 с.
Математическое моделирование процессов является важным инструментом в научных, технических и технологических исследованиях. Данное учебное пособие рассматривает все сложившиеся на данный момент основные численные методы математического моделирования процессов в плазме, отмечены преимущества и недостатки каждого, дано их сопоставление и очерчены рамки применимости. Уделено большое внимание реализации этих методов на конкретных задачах. В основу пособия положен курс лекций, читаемых автором на факультете экспериментальной и теоретической физики МИФИ. Пособие предназначено для студентов и аспирантов, специализирующихся в области физики плазмы. Пособие подготовлено в рамках Инновационной образовательной программы. Рецензент доц., канд. физ.-мат. наук В.М.Осадчиев
ISBN 978-5-7262-0791-9
© Московский инженерно-физический институт (государственный университет), 2007
Содержание 1. Основные задачи и методы моделирования плазмы ......................5 1.1.Основные задачи и методы ..........................................................5 1.2. Специфика моделирования плазменных процессов.................8 1.3. Общие замечания и основные понятия численного моделирования..............................................................................9 1.4. Численное решение дифференциальных уравнений. Задача Коши................................................................................11 1.5. Метод Рунге–Кутта....................................................................16 1.6. Расчет внешних электрического и магнитного полей............18 1.7. Одночастичное приближение описания плазмы ....................23 2. Метод молекулярной динамики ....................................................25 2.1. Требования к модели метода молекулярной динамики .........26 2.2. Задание начального состояния системы частиц .....................27 2.3. Восстановление функции распределения................................30 3. Метод Монте-Карло (метод статистических испытаний)............30 3.1. Вычисление кратных интегралов методом Монте-Карло......31 3.2. Применение метода Монте-Карло в расчетах прохождения частиц через плазму и вещество ......................33 3.3. Общая схема применения метода Монте-Карло.....................35 4. Кинетическое описание плазмы .....................................................37 4.1. Численное решение кинетического уравнения.......................37 4.2. Метод «водяного мешка»..........................................................44 5. Метод крупных частиц ....................................................................47 5.1. Описание метода....................................................................... 47 5.2. Электростатическая модель плоских листов ..........................54 6. МГД описание плазмы.....................................................................58 6.1. Система МГД уравнений ......................................................... 58 6.2. Применение МГД приближения для расчета ускорения плазмы в коаксиальном плазменном ускорителе...................61 6.3. Ускорение плазмы в рельсотроне (одномерный случай).......64 3
6.4. Применение МГД приближения для расчета пристеночного падения потенциала ........................................68 7. Численное решение уравнений диффузии и теплопроводности .71 7.1. Одномерная задача ...................................................................72 7.2. Двухмерная задача.....................................................................75 Список литературы ..............................................................................79 Приложение 1. Интерполирование и экстраполирование ...............80 Приложение 2. Аппроксимация методом наименьших квадратов ....................................................................82
4
1. ОСНОВНЫЕ ЗАДАЧИ И МЕТОДЫ МОДЕЛИРОВАНИЯ ПЛАЗМЫ 1.1.Основные задачи и методы Для описания поведения плазмы, как правило, требуется решить четыре основных задачи. Внешнее поле токов и электродов → →
→ →
1. Расчет э/м полей ( H ( r , t ), E ( r , t ) ) Собственное поле потоков заряженных частиц 2. Расчет движения частиц ( ri (t ) , vi (t ) ). 3. Расчет функций распределения частиц в шестимерном фазовом пространстве fα (r , v , t ) . → →
4. Расчет потоков энергии ( w( r , t ) ). Эти задачи, как правило, взаимосогласованы. Для численного решения этих задач, как правило, используются шесть типов моделей. Их можно прежде всего разделить на «микро» и «макро» методы моделирования плазмы. При «микромоделировании» рассчитывают положение и скорость каждой частицы. В «макрометодах» «следят» за макропараметрами (за функциями распределения, плотностями и т.п.). «Микрометоды»: Одночастичное приближение
Метод молекулярной динамики
Метод Монте-Карло
Моделирование плазмы «Макрометоды»: Кинетическое описание
Метод «крупных частиц» 5
МГД модели
Краткая характеристика шести типов моделей 1. Одночастичное приближение. Используется, например, для расчета областей удержания плазмы, расчета фокусировки пучков и т.п. Условие применимости – настолько редкая плазма, что нет влияния заряженных частиц друг на друга, то есть при расчете движения заряженных частиц учитываются только внешние э/м поля, которые не зависят от потоков заряженных частиц. Недостаток модели в его условии применимости. 2. Метод молекулярной динамики (ММД). Используется там, где надо учесть взаимодействие отдельных частиц, причем в комплексе. Например, при формировании плазменного кристалла в пылевой плазме. Метод состоит в непосредственном численном расчете уравнений движения N частиц с учетом взаимодействия каждой частицы со всеми остальными. Это наиболее прямой, так сказать, «лобовой» метод расчета систем многих тел. Цена точности – количество операций пропорционально квадрату числа частиц (∼N 2), так как на каждом временном шаге помимо расчета положения каждой частицы рассчитывать N 2 взаимодействий, имея в виду, что каждая из N частиц взаимодействует с N-1 частицей. Понятно, что даже для современного уровня вычислительной техники моделирование этим методом даже редкой плазмы (скажем, плотности 1012 см-3) это достаточно трудоемкая задача для сколь-нибудь значимых объемов плазмы. Помимо большой длительности расчетов есть и методологические ограничения данного метода. При моделировании методом МД выбирается только один тип взаимодействий, для плазмы это кулоновские взаимодействия, то есть частицы представляются химически инертными шариками. Каждое взаимодействие считается строго детерминированным зарядом частиц и расстоянием между частицами, при этом исключен всякий вероятностный фактор. 3. Метод Монте-Карло. Метод статистических испытаний широко применяется для моделирования взаимодействия частиц с чем-либо, когда нужно учесть вероятностный характер взаимодействия. Метод основан на систематическом использовании генератора случайных чисел для определения дальнейшей истории каждой частицы. Метод Монте-Карло алгоритмически прост в реализации, но, как правило, достаточно трудоемок с точки зрения ма6
шинного времени, так как погрешность обратно пропорциональна обратному корню из числа частиц ( ε ∼
1 ) и для увеличения N
точности на порядок приходится увеличивать число частиц на два порядка. Другим существенным ограничением применения метода Монте-Карло является необходимость знать вероятности всех рассматриваемых процессов для широкого диапазона энергий частиц, углов и расстояний взаимодействия. К тому же эти вероятности, как правило, получены эмпирически, а значит уже изначально вносят ошибку моделирования. 4. Кинетическое описание. Кинетическое описание чаще всего используется для моделирования именно коллективных явлений, таких как колебания в плазме, неустойчивости и т.п. При этом следят не за отдельными частицами плазмы, а за функцией распределения, как она меняется во времени. Для этого решается дифференциальное уравнение Больцмана для функции распределения. В бесстолкновительном случае уравнение Больцмана превращается в уравнение Власова, которое численно решается достаточно просто. При учете столкновений возникают сложности не только с вычислением интеграла столкновений (правой части уравнения Больцмана), но и с численным решением систем уравнений с ненулевыми правыми частями. 5. Метод крупных частиц. На данный момент это очень широко используемый метод дискретного моделирования плазмы. Этот метод можно считать промежуточным между методом молекулярной динамики и кинетическим описанием, потому что слежение происходит не за отдельными частицами и не за всеми частицами одновременно, а за группами находящихся в одном единичном объеме фазового пространства частиц. Каждая из таких групп рассматривается как одна макрочастица. По местоположению в фазовом пространстве достаточно большого количества макрочастиц восстанавливаются функция распределения и макропараметры плазмы. При этом необходимо следить за масштабом укрупнения, то есть числом макрочастиц, с тем, чтобы не нарушались критерии плазменного состояния. 7
6. МГД описание. Магнитогидродинамическое описание рассматривает плазму как среду, состоящую из двух или более типов жидкостей. Это приближение можно использовать, только если есть равновесное распределение частиц, например, в МГД моделях часто используется больцмановское распределение. Это выполняется, например, при моделирование динамики плазмы в плазменных ускорителях, при моделировании космической плазмы и т.п. Предложенная классификация моделей является в известной мере условной. Для расчетов некоторых плазменных процессов, возможно, потребуется создание гибридных моделей из этих шести основных типов. 1.2. Специфика моделирования плазменных процессов Если говорить о специфике моделирования плазмы, то прежде всего следует выделить две особенности. 1. Самосогласованность задач. Так как плазма – это коллективное состояние системы заряженных частиц, то все процессы, происходящие в плазме и при ее взаимодействии с какими-либо телами, самосогласованны. Поэтому наибольшей предсказательной силой обладают замкнутые самосогласованные модели. Например, расчетная модель измерений с помощью зонда Ленгмюра должна включать расчет четырех задач: 1) расчет падения потенциала вокруг зонда; 2) расчет потоков частиц и энергий; 3) расчет разогрева зонда; 4) расчет термоэмиссии. Эти задачи самосогласованны, то есть результат расчета одной влияет на результат других. Модель должна быть замкнута в том смысле, что плотность, температура плазмы, величина поданного на зонд напряжения и характеристики материала зонда являются внешними параметрами, и для заданных значений параметров модель больше ни от чего не зависит. 2. Разномасштабность задач. Так как плазма – это совокупность электронов и ионов сильно различающихся по массе, то часто приходится совмещать расчет разномасштабных задач. Например, при моделировании пылевой плазмы, кроме того что подвижность электронов много больше подвижности ионов, но и время движения электронов и ионов около пылинки, которое требуется детально рассчитывать, много меньше времени движения между пылин8
ками. Приходится «сшивать» эти существенно разномасштабные задачи. 1.3. Общие замечания и основные понятия численного моделирования 1. Частность численного решения задач. При решении какихлибо физических задач численными методами прежде всего следует отдавать отчет в том, что всегда мы получаем частное решение задачи, потому что всегда вводятся некоторые начальные и граничные условия, определяются некоторые коэффициенты процессов. Говоря так, мы, конечно же, выводим за рамки символьное решение задач (уравнений), которое иногда возможно в некоторых математических пакетах. Получаемые частные решения можно анализировать, обобщать, но при этом следует избегать казуистики. 2. Дискретность численного моделирования. Любое численное решение дискретно. Если мы получаем временную или пространственную зависимость некоторой величины, то мы не можем найти значения этой величины во всех точках пространственного или временного отрезка, просто потому, что их бесконечно много. Для нахождения значений в любой точке приходится использовать аппроксимацию по известным значениям в некоторых точках. Самый простой способ аппроксимации – линейная интерполяция. Пусть требуется найти значение функции в некоторой точке x ∈ [ xi , xi +1 ] , где xi и xi+1 – точки, в которых значение функции известно (рис.1). Тогда линейная интерполяция дает значение:
y ( x) = y ( xi )
xi +1 − x x − xi + y ( xi +1 ) . xi +1 − xi xi +1 − xi
При численном расчете изменения некоторой величины во времени необходимо разбивать исследуемый интервал времени на временные слои, определять значения в каждом слое, а значение в произвольный момент времени t ∈ [ti , ti +1 ] определяется также линей9
xi
x
xi+1
Рис. 1. Интерполирование
ной интерполяцией. Если функция сильно меняется на отрезке, то линейная интерполяция является не достаточным по точности приближением, и необходимо применять интерполяцию более высоких порядков (см. приложение 1). В любом случае необходимо учитывать погрешность интерполяции. 3. Приближенность численных расчетов. Любое численное решение приближенное. Погрешность вычислений имеет четыре источника: 1) погрешность модели (физической и математической); 2) погрешность исходных данных (начальные и граничные условия, используемые в расчетах коэффициенты процессов); 3) ошибки округления; 4) погрешность вычислений (погрешность численного метода). Первые два вида погрешности являются неустранимыми, их можно оценить и объединить в одну неустранимую ε н . Ошибки округления носят случайный характер и должны взаимно компенсироваться, но в любом случае дают точность до последнего знака округления. Погрешность вычислений ε в должна быть на порядок меньше неустранимой погрешности ε в ε н . Именно эта погрешность «в руках» программиста, за ней необходимо следить и обеспечивать. Обеспечение нужной погрешности расчетов – это задача программиста. 4. Устойчивость численного метода. Численный метод считается устойчивым, если погрешность вычислений не накапливается с числом шагов, то есть на каждом следующем шаге меньше, чем на предыдущем: ε i +1 ≤ ε i . 5. Корректность расчетной задачи. Задача считается поставленной корректно, если: 1) разрешима (то есть имеет решение) для любых допустимых входных данных (начальные и граничные условия, коэффициенты процессов и т.п.); 2) имеет единственное решение для определенных входных данных;
10
3) решение непрерывно зависит от входных данных, то есть малое изменение входных данных дает малое изменение решения. 1.4. Численное решение дифференциальных уравнений. Задача Коши Подавляющее большинство процессов в плазме описывается дифференциальными уравнениями. Решение дифференциального уравнения первого порядка с заданными начальными или граничными условиями называется задачей Коши. Таким образом, задача Коши очень часто встречается при моделировании различных процессов в плазме различными методами. Например, движение заряженной частицы описывается уравнением движения – дифференциальным уравнением 2-й степени, которое можно свести к системе дифференциальных уравнений первой степени, решение каждого из которых и есть решение задачи Коши. В общем виде задача формулируется в следующем виде. Во времени:
⎧ dy ⎪ dt = f ( y, t ); ⎪ начальное условие; ⎨ y (t0 ) = y0 ⎪t ∈ [t , t ]. 0 max ⎪ ⎩ В пространстве:
⎧ dy ⎪ dx = f ( y, x); ⎪ граничное условие; ⎨ y ( a ) = y0 ⎪ x ∈ [a, b]. ⎪ ⎩
11
Решение задачи сводится к численному интегрированию в виде:
t+ t y (t + t ) = y (t ) + ∫ f ( y, t )dt t
для временной функции и
зависимости в виде: x+ x y ( x + x) = y ( x) + ∫ f ( y, x) dx x для пространственной. Разберем методы решения на примере временной задачи, пространственная задача решается аналогично.
Рис. 2. Погрешность расчета явным методом Эйлера
Явный метод Эйлера Значение функции в следующий момент времени ищется по формуле: y (t + t ) = y (t ) + yt′ ⋅ t = y (t ) + f ( y (t ), t ) ⋅ t , что является аппроксимацией 1-го порядка, потому что это фактически оставление только линейного члена разложения Тейлора:
y (t + t ) = y (t ) + y (t ) ⋅ t +
y (t ) 2 ⋅ t + ... То, что это довольно гру2!
бое приближение можно проиллюстрировать графически (рис. 2). Но даже это грубое приближение часто применяется при моделировании движения большого числа частиц, потому что использование аппроксимации более высоких порядков существенно увеличивает время расчета. Значение функции на i+1-м шаге выражается через значение на i-м шаге в виде: yi +1 = yi + f ( yi , ti ) ⋅ t . Для устойчивости метода необходимо обеспечить условие ε i +1 ≤ ε i . С учетом погрешности y (t + t ) + ε i +1 = y (t ) + ε i + f ( y (t ) + ε i , t ) ⋅ t . Оставляя линейный член в разложении Тейлора
f ( y (t ) + ε , t ) = f ( y, t ) +
∂f ∂f ⋅ t ) . То⋅ ε , получим ε i +1 = ε i (1 + ∂y i ∂y t
гда условие устойчивости метода можно переписать в виде: 12
1+
∂f ⋅ t ≤ 1, ∂y i
−2 ≤
что
равносильно
∂f ⋅ t ≤ 0 . Так как ∂y i
ловие
t≤−
−1 ≤ 1 +
t > 0 следовательно
∂f ⋅ t ≤1 ∂y i
или
∂f ≤ 0 , тогда ус∂y i
2 является условием выбора шага интегрирования ∂f ∂y i
для обеспечения устойчивости. Например, изменение во времени количества электронов, не испытавших столкновений, описывается уравнением
dn n ∂f 1 =− = f (n) , тогда = − , а условие устойdt ∂n τ ст τ ст
чивости для численного интегрирования данного уравнения явным методом Эйлера имеет вид: t ≤ 2τ ст . Модифицированный метод Эйлера (метод прогноза и коррекции) Значение функции на следующем шаге вычисляется с использованием прогнозируемого значения. Прогноз: y* (t + t ) = y (t ) + f ( y, t ) ⋅ t . Коррекция: y (t + t ) = y (t ) +
f ( y, t ) + f ( y* , t + t ) ⋅ t. 2
Для обеспечения нужной погрешности можно организовать итерационный процесс, так что на k+1-м шаге итерации:
y (t + t )( k +1) = y (t ) +
f ( y, t ) + f ( y ( k ) , t + t ) ⋅ t. 2
Продолжать итерационный процесс нужно до тех пор, пока не будет обеспечена заданная точность ε , то есть пока не будет выполнено условие: y (t + t )( k +1) − y (t + t )( k ) < ε . Это означает, что значения функции на k+1-м шаге и на k-м шаге итерации не отличаются (отличаются на величину, не большую погрешности). На практике оказывается достаточно двух, трех итераций. 13
Неявный метод Эйлера Неявный метод Эйлера всегда устойчив для любого шага интегрирования t . Для этого численно решается уравнение, в котором значение функции на следующем шаге по времени задается неявно: y (t + t ) = y (t ) + f ( y (t + t ), t + t ) ⋅ t . Для этого в теории численных методов разработаны методы решения неявных уравнений. Разберем один из них. Метод простой итерации Пусть требуется решить уравнение x = f ( x) . Понятно, что заменой переменных уравнение неявного метода Эйлера можно свести к данному уравнению. В математическом анализе доказывается теорема, что если функция f ( x) такова, что f ′( x) ≤ q < 1 , то корень уравнения можно искать в виде x ( k +1) = f ( x ( k ) ) , где x ( k ) – значение на k-м шаге итерации, а в качестве начального можно взять любое x (0) = x0 . Причем погрешность вычисления на k+1-м шаге
ε k +1 = x ( k +1) − a ≤ q ⋅ ε k = q ⋅ x ( k ) − a , где a – корень уравнения. Таким образом, итерационный процесс сходится к решению не медленнее, чем члены геометрической прогрессии со знаменателем q. Итерационный процесс завершается, если x ( k +1) − x ( k ) < ε 0 , то есть значения переменой на k+1-м шаге и на k-м шаге итерации отличаются на величину, меньшую, чем задаваемая погрешность ε 0 . Достаточное условие сходимости
f ′( x) < 1 означает достаточно
медленное изменение (возрастание или убывание) функции f ( x) (касательная к графику функции не круче, чем прямая
y = x или y = − x ). А что делать, если условие
f ′( x) < 1 не вы-
полняется? Прежде всего, надо сказать, что это условие является достаточным, а не необходимым, поэтому в некоторых случаях и при невыполнении этого условия итерационный процесс сходится. В противном же случае придется применять другие методы чис14
ленного решения неявных уравнений, например, метод Ньютона (метод касательных) или метод секущих. Метод Ньютона (метод касательных) Пусть дано уравнение ϕ ( x) = 0 . Найдем координату xk+1 точки пересечения касательной, проведенной к графику функции y = ϕ ( x) в точке xk, с осью x из соотношения
y ( xk +1 ) = ϕ ( xk ) + ϕ ′( xk )( xk +1 − xk ) = 0 . Аналогично, для итерациx
онного процесса
( k +1)
=x
(k )
ϕ ( x(k ) ) − . Критерий сходимости ϕ ′( x ( k ) )
можно вывести из критерия сходимости метода простой итерации
ϕ ( x) : ϕ ′( x) ϕ ′( x)ϕ ′( x) − ϕ ( x)ϕ ′′( x) ϕ ( x)ϕ ′′( x) 1− = < 1. (ϕ ′( x)) 2 (ϕ ′( x)) 2
для f ( x) = x −
Таким образом, критерий сходимости метода Ньютона имеет вид: ϕ ( x)ϕ ′′( x) < ϕ ′( x) 2 . Метод секущих В методе Ньютона необходимо вычислять производную функции, но если это аналитически сделать сложно, то можно заменить производную конечной разностью ϕ ′( x ( k ) ) → тогда
получим
x ( k +1) = x ( k ) −
двухшаговый
ϕ ( x ( k ) ) − ϕ ( x ( k −1) )
метод
x ( k ) − x ( k −1)
,
секущих:
( k −1)
x −x ϕ ( x( k ) ) . (k ) ( k −1) ϕ(x ) −ϕ(x ) (k )
1.5. Метод Рунге–Кутта В начале 20-го века немецкие математики Карл Рунге и Мартин Кутта впервые предложили и развили метод численного реше15
ния задачи Коши. Если для краткости обозначить шаг интегрирования по времени t = h , а на очередном временном слое y (t ) = yi , y (t + t ) = yi +1 , тогда аппроксимация 1-го порядка (метод Эйлера): k1 = f ( yi , t ) ; yi +1 = yi + y I = yi + k1 ⋅ h ; 2-го порядка:
⎧k1 = f ( yi , t ); ⎪ ⎨ h h ⎪⎩k2 = f ( yi + k1 ⋅ 2 , t + 2 );
yi +1 = yi + y II = yi + k2 ⋅ h ;
3-го порядка:
⎧k1 = f ( yi , t ); ⎪ h h ⎪ ⎨k2 = f ( yi + k1 ⋅ , t + ); 2 2 ⎪ ⎪⎩k3 = f ( yi − k1 ⋅ h + 2k2 ⋅ h, t + h); 1 yi +1 = yi + y III = yi + (k1 + 4k2 + k3 ) ⋅ h ; 6 4-го порядка:
⎧k1 = ⎪ ⎪k2 = ⎪ ⎨ ⎪k = ⎪ 3 ⎪k = ⎩ 4
f ( yi , t ); h h f ( yi + k1 ⋅ , t + ); 2 2 h h f ( yi + k2 ⋅ , t + ); 2 2 f ( yi + k3 ⋅ h, t + h); 1 yi +1 = yi + y IV = yi + (k1 + 2k2 + 2k3 + k4 ) ⋅ h . 6
Идея метода: аппроксимация функции разложением в ряд, но не через производные функции, как в ряде Тейлора, а через многократное просчитывание значений функции в нескольких точках отрезка [t ; t + t ] :
16
n
y (t + h) ≈ y (t ) + y = y (t ) + h ⋅ ∑ p j ⋅ k j (h) . j =1
Зависимость коэффициентов k j (h) находится из условия, чтобы функция погрешности g ( h) = y (t + h) − y (t ) − h ⋅
n
∑p j =1
j
⋅ k j (h) име-
ла минимум, что практически означает максимальную близость к разложению ряда Тейлора. Предложенный выше набор коэффициентов p j является общепринятым, но не единственно возможным. Оценка погрешности метода Рунге–Кутта Существует несколько способов оценки погрешности. Наиболее распространенный основывается на оценке
yi( h / 2) − y (ti ) ≤ yi( h / 2) − yi( h ) = ε , где yi( h / 2) − приближение, рассчитанное с шагом
h , yi( h ) − приближение, рассчитанное с шагом h . 2
По этому способу оценки погрешности приходится делать двойной пересчет на каждом шаге. Другой способ подразумевает то, что более старший порядок метода Рунге-Кутта является следующей итерацией приближения функции. Поэтому погрешность метода можно определить как разность приращения функции данного и предыдущих порядков ε ( N ) =
y ( N ) − y ( N −1) . Например, для 2-го
порядка погрешность равна: ε ( II ) =
y ( II ) − y ( I ) = (k2 − k1 ) ⋅ h −
она совпадает с определением погрешности по первому способу. Для третьего порядка погрешность равна
1 6
ε ( III ) = y ( III ) − y ( II ) = h k1 − 2k2 + k3 .
17
Алгоритм расчета с автоматическим выбором шага Важным достоинством метода Рунге–Кутта является то, что можно менять шаг интегрирования для обеспечения нужной погрешности. Выбор шага происходит для удовлетворения условия
1 ε 0 < ε < 3ε 0 , где ε 0 – задаваемая погрешность вычислений. Блок 3 схема алгоритма Рунге–Кутта показана на рис. 3. t = t0 y = y0 y = y + Δy
t=t+h t' = t + h нет
нет
ε < 3ε0 нет
да
ε > ε0/3
h = 2h
да | y’-yk |< ε0
h = h/2 нет
y = y + Δy
да t’ < tk да
⊗
Рис. 3. Блок схема алгоритма метода Рунге–Кутта
1.6. Расчет внешних электрического и магнитного полей Расчет топологии магнитного поля Внешнее магнитное поле задается внешними токами. В случае прямого проводника тока можно использовать простую формулу для величины напряженности магнитного поля на расстоянии r от
2I . Для криволинейных витков тока необходимо cr интегрирование вкладов от элементов тока dl по формуле тока I: H (r ) =
18
Био−Савара: H =
I dl ⋅ r , где r − радиус-вектор от элемента тоc ∫ r3
ка до точки, в которой рассчитывается магнитное поле. Очень часто, если магнитное поле сложной конфигурации, требуется построить картину топологии магнитного поля. Для построения одной силовой линии магнитного поля необходимо решить систему уравнений:
⎧ dx H x ⎪ dl = H , ⎪ ⎪ dy H y , ⎨ = dl H ⎪ ⎪ dz H z ⎪ dl = H , ⎩ где H =
H x2 + H y2 + H z2 . Решение этой системы − это решение
трех задач Коши совместно. Численные методы решения задачи Коши разобраны выше. На каждом шаге интегрирования требуется пересчитывать компоненты магнитного поля, что в случае криволинейных проводников, для которых требуется дополнительное интегрирование по элементарным элементам тока, существенно увеличивает время расчета. Поэтому иногда используют аналитические приближения величины магнитного поля для витков тока в виде разложения в ряд. После каждого шага интегрирования задачи Коши получаем новое положение точки, лежащей на силовой линии, таким образом, строится одна силовая линия, вышедшая из определенной начальной точки. Для расчета топологии магнитного поля требуется построить множество силовых линий, изменяя положение начальной точки с выбранным шагом. Расчет электрического поля, создаваемого внешними электродами Для расчета электрического поля, создаваемого внешними электродами произвольной геометрии, необходимо рассчитать распределение потенциала в пространстве. Распределение потенциала в отсутствии зарядов описывается уравнением Лапласа Δϕ = 0 с 19
граничными условиями ϕ гр = U гр , где U гр − фиксированное распределение потенциала на электродах. Для решения этого уравнения с произвольными граничными условиями чаще всего применяют численные методы с использованием конечных разностей. Конечными разностями аппроксимируют частные производные:
f −f f − 2 fi + f i −1 ∂f ∂2 f ≈ i +1 i −1 , ≈ i +1 , 2 ∂xi ∂xi 2 x x2 где fi − значение функции в точке xi . В конечных разностях двухмерное уравнение Лапласа имеет вид:
ϕi +1, j − 2ϕi , j + ϕi −1, j x
2
+
ϕi , j +1 − 2ϕi , j + ϕi , j −1 y2
=0
и представляет собой систему m × n уравнений, i = 1,.., n и j = 1,.., m . На границе области значения потенциалов
ϕ0, j , ϕn +1, j , ϕi ,0 , ϕi ,m+1 известны, кроме этого, известны фиксированные значения потенциалов в некоторых узлах, где находятся электроды. Данную систему можно решать различными методами численного решения систем линейных уравнений. Чаще всего для расчета потенциала используется метод установления. Метод установления состоит в том, что решение уравнения Лапласа рассматривают как установившееся (стационарное) решение уравнения диффузии (теплопроводности) с коэффициентом диффузии, рав-
∂ϕ = Δϕ , то есть на временах, когда уже нет изме∂t ∂ϕ нения потенциала, то есть = 0 . В конечных разностях уравне∂t ным единице:
ние имеет вид:
ϕi , j (t + t ) − ϕi , j (t ) t
=
ϕi +1, j − 2ϕi , j + ϕi −1, j x
2
+
ϕi , j +1 − 2ϕi , j + ϕi , j −1 y2
.
Для равномерной пространственной сетки с шагом x = y = h можно явным образом выразить значение потенциала на следующем временном слое в виде: 20
ϕi , j (t + t ) = ϕi , j (t ) + α ⋅ (ϕi +1, j (t ) + ϕi −1, j (t ) + ϕi , j +1 (t ) + ϕi , j −1 (t ) − 4ϕi , j (t )) ,
t
где параметр устойчивости α =
h
2
. Это явная схема вычисления,
когда значение потенциала в каждом узле на следующем временном слое вычисляется через известные значения потенциала в четырех узлах на предыдущем временном слое (рис. 4). В теории разностных схем доказывается, что явная схема устойчива, если
1 2
α< .
Задавая
начальное расt+ t пределение потенциала и зная j фиксированные t значения на граi ницах области и в Рис. 4. Явная схема расчета узлах, где находятся электроды, рассчитываем значения потенциала во всех узлах сетки на следующем временном слое, то есть, во времени. Расчет продолжается до тех пор, пока потенциал не перестанет меняться. Условие выхода потенциала на стационар можно определить неравенством:
∑ϕ i, j
i, j
(t + t ) − ∑ ϕi , j (t ) < ε 0 , i, j
где ε 0 − задаваемая погрешность. При очень малых α процесс приближения к стационару будет занимать много времени. При
α>
1 итерационный процесс может разойтись и программа «за2
виснет», поэтому рекомендуется либо ставить ограничение на число итераций, либо следить за изменением суммы значений потенциала по всем узлам. Неявные схемы расчета уравнения диффузии, устойчивость которых не зависит от шага по времени и величины пространственной сетки, будут рассмотрены позднее.
21
Расчет значений компонент электрического поля в узлах производится по формуле ϕi −1, j − ϕi +1, j ϕi , j −1 − ϕi , j +1 , Ex i , j = , Ey i, j = 2hx 2hy расчет электрического поля в любой точке ( x, y ) происходит по известным значениям величин компонент электрического поля в узлах с помощью интерполирования:
E x ( x, y ) = E x i , j ⋅
( xi +1 − x)( y j +1 − y )
+ Ex i , j+1 ⋅
hx hy
y yj x xi
xi+1
Рис. 5. Схема для интерполирования
+ Ex i+1, j ⋅
( xi +1 − x)( y − y j ) hx hy
yj+1
( x − xi −1 )( y j +1 − y )
+ Ex i+1, j+1 ⋅
hx hy
+
( x − xi )( y − y j ) hx hy
.
Каждое слагаемое правой части равно произведению значения компоненты поля в узле на «вес» этого узла, который равен отношению площади противолежащего к узлу прямоугольника к площади ячейки (рис. 5). Для y-компоненты поля формула аналогичная, только в ней будут значения в узлах y-компоненты поля. Аналогично можно расписать в конечных разностях уравнение Лапласа для трехмерного случая, решение которого даст значения потенциала в узлах трехмерной сетки. Компоненты электрического поля выражаются через конечные разности в соответствующем направлении, а интерполяция электрического поля в произвольной точке производится взвешиванием соответствующих объемов параллелепипедов.
22
1.7. Одночастичное приближение описания плазмы Во-первых, следует отметить, что одночастичное приближение соответствует подходу Лагранжа. Как известно, существует два подхода рассмотрения динамики какой-либо системы: Лагранжа, когда мы как бы «садимся» на частицу и смотрим вокруг куда мы летим, и Эйлера, когда мы как бы «садимся на бережок» и смотрим, что проносит мимо нас поток, то есть, применительно к плазме, смотрим сколько и каких в данной точке пространства побывало частиц. Во-вторых, в одночастичном приближении каждая заряженная частица рассматривается как пробная, то есть не влияющая на внешние условия и на другие частицы. Движение частицы массы m и заряда q в электрическом и магнитном поле описывается уравнением: m
d 2r 1 = q( E + v × H ) , которое сводится к системе 2 dt c
двух уравнений:
⎧ dr ⎪⎪ dt = v , ⎨ ⎪ dv = q ( E + 1 v × H ), ⎪⎩ dt m c ⎧r (0) = r0 при начальных условиях ⎨ . Данная система сводится к v (0) v = 0 ⎩ системе шести уравнений − три для координат и три для компонент скоростей:
⎧ dx ⎪ dt = vx , ⎪ ⎪ dvx = q ( E + 1 (v H − v H )) . x y z z y ⎨ dt m c ⎪ ⎪... ⎪... ⎩ Таким образом, имеем 6 задач Коши с 6-ю начальными условиями:
23
⎧ x(0) = x0 , ⎪v (0) = v ⎪ x x0 . ⎨ ⎪... ⎪⎩... Все эти уравнения нужно решать одновременно, так как они взаимозависимы. Значение переменной на k+1-м шаге по времени выражается как сумма значения на предыдущем и приращения данной переменной:
⎧ x ( k +1) = x ( k ) + x, ⎪ ( k +1) = vx ( k ) + vx ⎪v x . ⎨ ... ⎪ ⎪... ⎩
Алгоритмически это равносильно заданию векторов x [i ] и F [ i ] , i = 1..6 и организации цикла по i. Внутри цикла приращение i-й переменной нужного порядка точности вычисляется, например, по описанному выше алгоритму Рунге-Кутта решения задачи Коши
dy = f , где y соответствует x [i ] , f соответствует F [i ] . На каждом dt шаге интегрирования необходимо пересчитывать величины электрического и магнитного полей в точке пространства, где находится частица. Если это происходит приближенным методом, то возникает ошибка в определении правой части уравнения, поэтому для контроля точности расчета необходимо добавить контроль сохранения полной энергии частицы в пределах задаваемой погрешности. Если требуется рассчитать динамику системы многих заряженных частиц, например динамику пучка заряженных частиц, то достаточно организовать цикл по всем частицам, поместив внутри цикла расчет положения частицы на очередном шаге по времени. Однако для организации цикла по всем частицам они должны быть односортными, так как движение, например, электронов и ионов имеет сильно различающиеся масштабы времени.
24
2. МЕТОД МОЛЕКУЛЯРНОЙ ДИНАМИКИ При моделировании плазмы методом молекулярной динамики рассчитывается движение всех частиц с учетом взаимодействия каждой частицы со всеми остальными. Уравнение движения для i-й частицы имеет вид:
mi
d 2 ri = Fвнешн (ri ) − ∑ ∇U ij (rij ) , dt 2 j ≠i
где Fвнешн (ri ) − внешняя сила, U ij − потенциал взаимодействия i-й и j-й частицы. Для заряженных частиц в электрическом и магнит-
1 c
ном поле Fвнешн (ri ) = Z i e( Eвнешн + vi × H ) . Между заряженными частицами действуют кулоновские силы, потенциал которых определяется через заряды частиц и расстояние между ними:
U ij =
Zi Z j e2 ri − rj
, Z i Z j − кратности зарядов i-й и j-й частицы. Таким
образом, уравнение движения заряженной частицы во внешних полях и в поле других частиц имеет вид:
mi
Z j e 2 (ri − rj ) d 2 ri 1 , = Z e ( E + v × H ) + Z i i i∑ внешн dt 2 c rij3 j ≠i
где rij = ri − rj . В плазме кулоновское поле одной частицы экранировано коллективным полем других. Экранированный кулоновский потенциал можно представить в виде: U ij =
Zi Z j e2 rij
rij Φ ( ) , где a
r Φ ( ij ) – функция экранировки, a – характерная длина экранировки. a rij rij Для дебаевской экранировки в плазме Φ ( ) = exp(− ) , где rd − a rd радиус Дебая. Тогда уравнение движение при rij ≤ rd примет вид: 25
Z j e 2 (ri − rj ) r 1 1 d 2 ri 1 = ( + × ) + exp(− ij )( − ) . Z e E v H Z i i i∑ внешн 2 2 dt c rij rd rij rd j ≠i В случае взаимодействия пылевых частиц в пылевой плазме и сам потенциал и функция экранировки другая, имеет более сложный вид, да и пока еще не общепринята. mi
2.1. Требования к модели метода молекулярной динамики 1. Интегрирование уравнения движения необходимо производить с достаточно малым шагом, много меньшим времени столкновений t τ ст , τ ст = τ ee ,τ ei ,τ ii − характерные времена электрон-электронных, электрон-ионных, ион-ионных столкновений, которые определяются плотностью и температурой компонент плазмы. 2. Необходимо выбрать простой, но эффективный и устойчивый численный метод интегрирования, например, схема Эйлера «с зашагиванием»:
⎧ ( k +1) Fx( k ) (k ) = + ⋅ t; v v x ⎪ x m ⎪⎪ ( k +1) = x ( k ) + v ( k +1) ⋅ t ; ⎨x ⎪... ⎪ ⎪⎩... Погрешность вычислений оценивается по сохранению полной энергии системы как суммы кинетической и потенциальной энергии частиц. 3. Для увеличения эффективности расчета в случае экранирования необходим выбор списка соседей, то есть, списка тех частиц, с которыми будет взаимодействовать частица, для плазмы это частицы, которые попадают в дебаевскую сферу. Причем этот список можно выбирать не на каждом шаге, а через определенное количество шагов по времени, это количество шагов является параметром расчетной модели. 26
4. Для слежения за динамикой системы, в силу большого числа частиц, необходим переход к статистическим величинам, таким как функция распределения, плотность частиц и т.д. 5. В силу опять же большого количества частиц, необходимо задание начального состояния системы, соответствующее какому-то распределению. 2.2. Задание начального состояния системы частиц Необходимо в начальный момент времени «разбросать» N частиц по фазовому пространству, так чтобы это соответствовало выбранному распределению f (r , v , 0) , причем
∫∫ f (r , v , 0)drdv = N .
Рассмотрим несколько стандартных способов распределения частиц по скоростям. Холодная плазма В начальный момент все частицы имеют нулевую скорость
vi (0) = 0 . Спокойный старт, равномерное распределение по скоростям Для трехмерной задачи прежде всего рассчитываются дискретные значения vxk = −vm + k ⋅ vx , где
2vm , N −1 k = 0... 3 N − 1 (рис. 6). Для компонент v y , vz vx =
f (v x )
3
аналогично. Начальные значения компонент скорости первых 3 N частиц определяем виде
v
1
−vm
vx
vx
vm
Рис. 6. Схема спокойного старта
vxi = vxk , v yi = v y 0 , vzi = vz 0 , i = k + 1, k = 0... 3 N − 1 , для следующих 27
f (v x )
N частиц vxi = vxk , v yi = v y1 , vzi = vz 0 , i = 3 N + k + 1, k = 0... 3 N − 1 ,
3
и т.д. Таким образом, необходимо организовать три вложенных цикла m = 0... 3 N − 1 , l = 0... 3 N − 1 , k = 0... 3 N − 1 , внутри которых vxi = vxk , v yi = v yl , vzi = vzm , i = i + 1 . Спокойный старт, неравномерное распределение по скоростям Пусть дано f (vx ) симметричное распределение компоненты скорости относительно нуля (рис. 7). Прежде всего, опf (v x ) ределяем дискретные значения компонент скорости vx : vx1 , vx 2 ,..., vx 3 N из интегральных vx1
∫
уравнений:
vx
f (vx )dvx = 1 ,
0
vx 2
∫
f (vx )dvx = 1 ,…,
vx1 v
v
x3 N / 2
∫
0
vx1
vx 2
Рис. 7. Схема задания начального состояния
f (vx )dvx = 1 ,
x 3 N / 2−1
vx 3 N /2+1 = −vx1 , vx 3 N / 2+2 = −vx 2 ,…, vx 3 N = −vx 3 N / 2 . Далее аналогично определяем дискретные значения компонент скорости v y , vz . Распределение этих дискретных значений по частицам происходит так же, как было описано выше для равномерного распределения.
28
Хаотический старт Скорости определяем с помощью генератора случайных чисел. Генератор случайных чисел должен давать равновероятное число на некотором промежутке, например, ξ ∈ [0,1] . Однако «истинный» генератор случайных чисел должен быть физическим, например, так называемый «счетчик Гейгера»: ξ
ξ=
α1
α2
α3
1
αn
+ + + ... + n , 10 100 1000 10 где α1 , α 2 , α 3 ,..., α n − случайные
ξ
x целые числа от 0 до 9, определяемые в n испытаниях, например, вытаскиванием из урны одного из 0 x 10 пронумерованных шаров. Все Рис. 8. Связь случайных математические способы генеричисел рования случайных чисел дают псевдослучайные числа. Существует много способов такой генерации, наиболее простой состоит в том, что берется произвольное n разрядное число, возводится в квадрат, считается среднее n разрядов, затем процесс повторяется. В компиляторах различных языков программирования существуют собственные генераторы случайных чисел. Если требуется генерировать случайные числа x с заданным распределением p(x), то есть, чтобы случайные числа «ложились на это распределение, то необходимо равномерно распределенному случайному числу ξ ∈ [0,1] поставить в соответствие x, то есть найти функцию x(ξ ) . Эта зависимость можно найти из соотношения p ( x)dx = f (ξ )d ξ , учитывая, что f (ξ ) = 1 , находим зависимость ξ ( x) =
x
∫ p( x)dx
(рис. 8). Искомая зависимость есть
−∞
обратная найденной x(ξ ) = ξ −1 ( x) .
29
2.3. Восстановление функции распределения Для слежения за динамикой системы из большого числа частиц возникает необходимость восстановления функции распределения f (r , v , t ) на каждом временном слое. Для этого нужно считать число частиц, находящихся в данной точке фазового пространства (r ; v ) в элементарном объеме, т.е. число частиц, имеющих координаты от ( x, y, z ) до ( x + x, y + y, z + z ) и скорости от
(vx , v y , vz ) до (vx + vx , v y + v y , vz + vz ) . 3. МЕТОД МОНТЕ-КАРЛО (МЕТОД СТАТИСТИЧЕСКИХ ИСПЫТАНИЙ) Метод Монте-Карло – это общее название разнообразных способов решения различных задач с использованием случайных чисел. Метод статистических испытаний, предложенный впервые в 1948 году американским математиком фон Нейманом, заключается в том, что с помощью большого числа испытаний моделируется математическое ожидание некоторой случайной величины. Математическое ожидание ищется как среднее арифметическое N реализаций случайной величины fi , то есть считается, что
Mf ≈
1 N
N
∑ i =1
1 N →∞ N
fi , а точнее lim
N
∑f i =1
i
=Mf , а еще точнее то, что
вероятность бесконечно малого отличия математического ожидания от среднеарифметического в пределе бесконечного числа испытаний равна единице, то есть для
∀ε > 0 lim P( Mf − N →∞
1 N
N
∑f i =1
i
< ε ) = 1 . Насколько это оправдано?
Математическое ожидание для непрерывной функции имеет вид: b
Mf = ∫ f ( x) p( x)dx , где p( x) − плотность вероятности случайной a
величины
x.
Например,
для 30
равномерного
распределения
1
p( x) = const = 1 , f ( x) = x ∈ [0;1] , Mx = ∫ xdx = 0
ной величины Mf =
N
N
∑ f ( x ) p , где ∑ p i
i =1
новероятны, то pi =
i
i
i =1
1 1 и Mf = N N
1 . Для дискрет2
= 1 . Если события рав-
N
∑f i =1
i
, то есть математическое
ожидание точно совпадает со средним арифметическим. В общем случае в курсе математического анализа доказывается теорема Бернулли:
P ( Mf −
1 N
N
∑f i =1
i
<
3Df ) ≈ 0.9997 , где Df = M ( f − Mf ) 2 − N
дисперсия случайной величины. Из формулировки теоремы Бернулли видно, что погрешность расчетов методом Монте-Карло обратно пропорциональна корню из числа испытаний ε ∼ соотношение Mf ≈
1 N
1 . Само N
N
∑f i =1
i
иногда называют законом больших
чисел. 3.1. Вычисление кратных интегралов методом Монте-Карло При моделировании плазмы иногда требуется вычислять кратные интегралы по некоторой области. Например, вычисление общего заряда, если задана плотность распределения заряда, или вычисление средних значений распределения частиц в некоторой области пространства координат или пространства скоростей
1
∫ fd v , v = n ∫ vf (v)d v ). В общем виде требуется вычислить кратный интеграл I = ∫ f ( x)dx = ∫∫ ..∫ f ( x , x ,.., x )dx dx ..dx ,
(n =
3
3
1
2
m
1
2
n
G
где G – некоторая область интегрирования внутри n-мерного куба.
31
Для двухмерного случая I =
∫∫ f ( x, y)dxdy , где площадь интегриS
рования S ограничена кривой, задаваемой уравнением ϕ ( x, y ) = 0 . Тогда по методу Монте-Карло I ≈
S n ∑ f ( xi , yi ) , где ( xi , yi ) – коn i =1
ординаты случайных точек из области S, то есть суммирование происходит только значений функции в тех точках, которые принадлежат области S; n – количество таких точек. Условие того, что ( xi , yi ) ∈ S задается неравенством ϕ ( xi , yi ) ≤ 0 . Случайно выбираемые координаты точек можно связать со случайными числами ξi ,ηi ∈ [0;1] соотношением
⎧ xi = a + ξi (b − a ) , ⎨ ⎩ yi = c + ηi (d − c) где (a, b, c, d) – прямоугольник, в котором целиком лежит область S. Если область сложной геометрии, то ее площадь можно вычислить тоже методом Монте-Карло: S =
n (b − a)(d − c) , где n – коN
личество точек, попавших в область S; N – общее количество «брошенных» точек. Тогда интеграл можно представить в виде:
(b − a )(d − c) N f ( xi , yi ) , ∑ N i =1 ⎧ f ( xi , yi ), ϕ ( xi , yi ) ≤ 0; где f ( xi , yi ) = ⎨ ⎩0, ϕ ( xi , yi ) > 0. Для n-мерного случая x ji = a j + (b j − a j )ξ ji , j = 1..n , I=
1 N V ∑ f ( x ji ) , N i =1 n ⎧⎪ f ( x ji ), ϕ ( x ji ) ≤ 0 , V = ∏ (b j − a j ) . где f ( x ji ) = ⎨ j =1 ⎪⎩0, ϕ ( x ji ) > 0 I=
В теории численных методов доказывается, что для вычисления интеграла методом Монте-Карло с погрешностью ε , необходимо 32
взять N ≥
1 точек. Для обеспечения нужной погрешности мож2ε 2
но применить критерий метода итераций, увеличивать на очередном шаге итерации число точек, например, в два раза и сравнивать значение интеграла с предыдущим значением, пока они не будут отличаться на величину, меньшую погрешности, то есть пока не будет выполнено условие I ( n +1) − I ( n ) < ε .
3.2. Применение метода Монте-Карло в расчетах прохождения частиц через плазму и вещество При энергиях частиц, превышающих потенциалы ионизации атомов плазмы или энергию связи атомов в веществе, эффективно использовать приближение последовательных парных соударений налетающей частицы с атомами и ионами среды. В модели парных столкновений считается, что в каждый момент времени каждая частица взаимодействует с одним атомом (ионом), и это парное взаимодействие определяет положение частиц в следующий момент времени. Для некоторых типов взаимодействия состояние частицы, ее положение и скорость после взаимодействия можно определить по аналитическим формулам, зная положение и скорость до взаимодействия. Например, для кулоновского взаимодействия (резерфордовское рассеяние) необходимо знать скорость и прицельный параметр налетающей частицы (расстояние, на котором пролетала бы частица от частицы, с которой она взаимодействует, если бы не было взаимодействия), тогда можно вычислить угол рассеяния и скорость после взаимодействия, а значит состояние (положение и скорость) частицы в следующий момент времени. Для определения скорости и прицельного параметра до взаимодействия необходимо знать положение атома (иона), с которым предстоит столкновение частицы. Для этого, прежде всего, необходимо определить расстояние до него, то есть длину свободного пробега до очередного столкновения λ . Это длина, как известно, имеет случайную величину, то есть ее можно моделировать с помощью генератора случайных чисел. Генератор случайных чисел дает равновероятное 33
случайное число ξ , для рассматриваемой же задачи случайное значение λ должно удовлетворять известной плотности вероятности
λ 1 – средняя длина пробега в сре) , где λ0 = λ0 λ0 nσ де плотности n, а σ – сечение взаимодействия (рассеяния), которое зависит от энергии частиц. Зависимость λ (ξ ) находим из соdξ 1 λ = exp(− ) , следоваотношения p (λ )d λ = d ξ , то есть d λ λ0 λ0 λ 1 λ λ ξ (λ ) = ∫ exp(− )d λ = 1 − exp(− ) , откуда тельно, λ λ0 λ0 0 0 λ (ξ ) = −λ0 ln(1 − ξ ) . Если окажется, что рассчитанная таким обраp (λ ) =
1
exp(−
зом длина пробега больше, чем расстояние l , которое может пройти частица с данной скоростью за шаг по времени t , то определяется положение и скорость частицы в следующий момент времени без учета взаимодействия. Если же длина пробега будет меньше длины пути частицы ( λ ≤ l ), то положение и скорость частицы вычисляются с учетом взаимодействия. Но θ для этого необходимо определить положение атома (иона) с которым будет взаимодействовать частица λ (рис. 9). Этот атом (ион) ρ мишени выбирается внутри диска радиуса ρ m , величина которого определяется из Рис. 9. Схема выбора параметров соотношения πρ m2 = σ . взаимодействия Прицельный параметр, то есть радиус окружности, на которой находится атом мишени, определяется случайным образом
ρ = ρ m ξ . Далее случайным образом определяется азимутальный угол θ = 2πξ , тем самым фиксируется положение атома (иона) 34
мишени. После определения местоположения атома (иона) мишени происходит расчет движения налетающей частицы в результате двухчастичного взаимодействия. Для упругих взаимодействий (нет изменения внутренней энергии частиц) существуют аналитические зависимости для полярного и азимутального углов рассеяния частицы и потерь энергии (например, в работе [6]), по которым можно рассчитать местоположение частицы после столкновения. Если рассматривать возможность не одного, а нескольких видов взаимодействий (рассеяние, возбуждение, ионизация и т.д.), то на каждом шаге по времени последовательно проверяется, происходит ли данный вид взаимодействия, то есть выполняется ли условие λi ≤ l , где λi – длина пробега для i-го типа взаимодействия. Если происходит, то положение частицы в следующий момент времени рассчитывается с учетом этого типа взаимодействия, если нет, то проверяется, происходит ли следующий вид взаимодействия. Если не происходит ни одного, то положение частицы в следующий момент времени рассчитывается без учета какого-либо типа взаимодействия. 3.3. Общая схема применения метода Монте-Карло Общая схема метода Монте-Карло изображена на рис. 10. Либо на основании экспериментальных данных, либо моделью задаются вероятности переходов pij из i-го состояния частицы в фазовом Задание набора частиц
Расчет функций распределения и средних значений
Определение типов взаимодействий и вероятностей переходов
Расчет перехода в новое состояние
Рис. 10. Общая схема применения метода Монте-Карло
пространстве в j-е. С помощью генератора случайных чисел выра35
батывается число ξi , если ξi < pi , то переход осуществляется. Таким образом, моделируется история одной частицы. Рассматривая достаточно большое количество частиц можно получить среднее значение требуемых величин. Это можно представить в виде следующей схемы. Восстановление функций распределения производится путем подсчета числа частиц данного сорта в выбранном единичном объеме фазового пространства (находящихся в кубике пространства в точке r до r + dr , имеющих скорость v до v + dv ). Для определения среднего значения величины F по закону больших чисел нужно иметь достаточно большое количество N случайных состояний Ai: F =
N
∑ F ( A ) ⋅ u , где i =1
i
i
ui –
плотность вероятности i-го состояния, нормированная таким обраN
зом, что
∑u i =1
F=
1 N
= 1 . Если состояния равновероятны, то ui =
i
1 и N
N
∑ F ( A ) . Если состояния не равновероятны, то необходиi =1
i
мо генерировать последовательность состояний Ai, удовлетворяющих заданному распределению ui . Не всегда удается аналитически связать равномерно распределенное случайное число со случайной величиной нужного распределения, как это было показано выше для длины пробега (стр.34). Например, сложно это сделать для плотности вероятности состояния при потенциальном взаимодействии частиц:
U ( Ai ) ) kT , ui = U ( Ai ) exp(− ) ∑ kT Ai exp(−
где U ( Ai ) – потенциальная энергия взаимодействия частиц в Ai состоянии. В этом случае необходимо либо перебирать все возможные состояния Ai, что иногда в принципе не возможно из-за бесконечного числа таких состояний, либо образовать последовательность случайных состояний, удовлетворяющих данному закону, с 36
помощью специальной методики, например, с помощью аппарата цепей Маркова. Метод цепей Маркова иногда называют усреднением по ансамблю. Для определения цепочки Ai необходимо знать вероятности переходов pij из Ai в Aj, так чтобы pij = 1 для лю-
∑ j
бого i. Вероятности состояний Ai и Aj связаны соотношением: u j = ui pij . Это соотношение можно рассматривать как систему
∑ i
уравнений для определения pij . По известным pij искомая последовательность случайных состояний Ai реализуется следующим образом. В качестве A1 выбирается произвольное состояние Ai. Затем случайным образом определяется Aj. С помощью датчика случайных чисел определяется, произойдет ли переход в j-е состояние. Если случайное число ξ ≤ pij , то в качестве A2 выбирается Aj, если
ξ > pij , то в качестве A2 остается Ai. Таким образом, получаем требуемую последовательность A1, A2 … AN.
4. КИНЕТИЧЕСКОЕ ОПИСАНИЕ ПЛАЗМЫ 4.1. Численное решение кинетического уравнения Изменение функции распределения fα (t , r , v ) частиц сорта α во времени задается кинетическим уравнением Больцмана
∂f dfα ∂fα F ∂f = + v α + α ⋅ α = Lα [ fα ] = ∑ Lαβ [ fα ] , ∂t ∂r mα ∂v dt β где Lαβ [ fα ] – интеграл столкновений, физический смысл которого состоит в том, что он равен дивергенции вектора потока частиц в фазовом пространстве, обусловленного диффузией за счет столкновений частиц сорта α и β : Lαβ [ fα ] = −divjαβ . Если столкновениями можно пренебречь, то кинетическое уравнение для α компоненты плазмы в электрическом и магнитном поле можно записать в виде уравнения Власова: 37
∂f ∂f dfα ∂fα eZ 1 = + v α + α (E + v × H ) ⋅ α = 0 . ∂t ∂r mα ∂v dt c Таким образом, расчет динамики плазмы сводится к решению системы таких уравнений для каждой компоненты. В эту систему необходимо добавить уравнения Максвелла для вычисления электромагнитных полей. Рассмотрим численное решение этой задачи, сделав ряд приближений. 1. Приближение постоянного нейтрализующего ионного фона me , можно считать, что электроны С учетом того, что mi движутся на однородном ионном нейтрализующем фоне ni = n0 , тогда остается только уравнение для электронной компоненты. Это приближение имеет смысл для исследования плазменных колебаний, неустойчивостей, для которых характерное время
τ хар
1
ω0 i
=
Mi . Для исследования ионных эффектов (ион4π n0 e 2
но-звуковых колебания, неустойчивость Бунемана и т.п.) это приближение не годится. 2. Электростатика При отсутствии в системе магнитного поля, при отсутствии больших потоков заряженных частиц и электромагнитного излучения плазмы можно заменить систему уравнений Максвелла уравнением Пуассона: Δϕ = −4πρ , так что
Δϕ = 4π e( ∫ f e dv − ∫ f i dv ) = 4π e( ∫ f e dv − n0 ) , E = −∇ϕ . 3. Одномерный случай Система, описывающая задачу в одномерном случае, имеет вид:
∂f e e ∂f e ⎧ ∂f e ⎪⎪ ∂t + v ⋅ ∂x − m E ⋅ ∂v = 0, e ⎨ ∂ E ⎪ = 4π e(n0 − ∫ f e dv). ⎪⎩ ∂x
38
4.
Периодическая система
⎧ f e ( x + L, v, t ) = f e ( x, v, t ), ⎨ ⎩ E ( x + L, t ) = E ( x, t ), где длина периодичности L
rd =
kT . 4π ne 2
Обезразмеривание задачи Для численного решения задач крайне эффективен переход к безразмерным переменным. Во-первых, это часто упрощает уравнения, во-вторых, что более важно, получив численное решение в безразмерных величинах, можно использовать его для различных конкретных условий с заданными параметрами задачи. Для обезразмеривания необходимо выбрать размерности основных переменных, для данной задачи выбираем [ x] = rd =
[t ] =
1
ω0
=
kT , 4π n0 e 2
kT m kT , [v] = vT = , [ f ] = n0 / vT , [ E ] = . 2 erd 4π n0 e m
В безразмерных величинах уравнения системы примут вид:
⎧ ∂f e ∂f e e ∂f v ⎧ ∂f ∂f ∂f − E⋅ e =0 ⋅ T ⎪ + v⋅ +v −E = 0, ⎪ ω ∂ ∂ ∂ t x m v n ⎪ ∂t ⎪ x v ∂ ∂ 0 0 e ⇒⎨ ⎨ 2 er ∂ E ⎪ ⎪ ∂E = 1 − fdv , d = − ⋅ π 4 ( ) e n f dv ∫ 0 e ∫ ⎪ ∂x ⎩⎪ ∂x kT ⎩ где переменные с тильдой безразмерные. Сеточная схема расщепления Наиболее распространенный способ численного решения кинетического уравнения является сеточный метод. В фазовом пространстве выделяется область некоторого объема, с учетом перио39
дичности выберем V = { x, v, x ∈ [0; L], v ∈ [−vmax ; vmax ]} . В этой области
вводится
сетка
дискретных
xi , v j ,
значений
2v L , v = max . В узлах Nx −1 Nv − 1 сетки ( xi , v j ) вычисляется сеточная функция fij = f ( xi , v j ) , а в i = 0..N x , j = 0..N v с шагом сетки x =
узлах сетки xi на оси x вычисляются сеточные функции плотности электронов nei , плотности заряда ρi , потенциала ϕi и электрического поля Ei (рис. 11). Для решения кинетического уравнения рассмотрим схему расщепления. Заменим кинетическое уравнение на систему из двух уравнений:
⎧ ∂f * ∂f * + v = 0, ⎪⎪ ∂f ∂f ∂f ∂t ∂x +v −E = 0 → ⎨ ** ** ∂t ∂x ∂v ⎪ ∂f − E ∂f = 0, ⎪⎩ ∂t ∂v * ** где f , f – вспомогательные функции распределения на данном шаге интегрирования, удовлетворяющие условиям:
f
** t
= f
* t+ t
, f
t+ t
= f
** t+ t
.
Первая функция f
*
f* = f t, t
описывает
движение частиц в пространстве, вторая функция f ** описывает движение в пространстве скоростей. Аналитическое решение первого уравнения системы для 0 ≤ t ≤ t можно записать в виде:
40
f * ( x, v, t ) = f * ( x − v t , v, 0) , что соответствует сдвигу сеточной функции по оси x на величину v j ⋅ t влево или вправо, в зависимости от знака скорости в j-м узле v j (см. рис.11). Аналитическое решение второго уравнения системы можно записать в виде f ** ( x, v, t ) = f ** ( x, v + E ⋅ t , 0) , что соответствует сдвигу сеточной функции по v оси v на величину Ei ⋅ t вверх или вниз в зависимости от знака v j + Ei ⋅ t электрического поля в i-м узле Ei (см. рис. 11). Тогда для чисvj ленного интегрирования уравнений можно использовать слеx дующую расчетную схему. 1. Расчет движения частиц в пространстве (вдоль оси x) опxi − v j ⋅ t xi ределяется соотношением fij* (t + t ) = f ( xi − v j ⋅ t , v j , t ) , Рис. 11. Схема сеточного сдвига
то есть сводится к вычислению значения функции при x = xi − v j ⋅ t с помощью интерполяции, например, линейной:
f ( xk +1 ) − f ( xk ) ⋅δ x , x где ( xi − v j ⋅ t ) ∈ [ xk , xk +1 ] , δ = ( xi − v j ⋅ t ) − xk . f ( xi − v j ⋅ t , v j , t ) = f ( xk ) +
2. Расчет сеточной функции плотности заряда: ρi = e(n0 − nei ) , где nei =
Nv
∑f j =0
* ij t + t
⋅ v.
3. Расчет сеточных функций потенциала и электрического поля. Для расчета значений потенциала в узлах необходимо решить уравнение Пуассона Δϕ = −4πρ , которое в конечных разностях имеет вид
ϕi +1 − 2ϕi + ϕi −1 x2
= −4πρi , i = 1..N x − 1 . Это уравнение 41
соответствует
системе n = N x − 1 линейных уравнений
вида
aiϕi −1 + biϕi + ciϕi +1 = di , i = 1..n , причем значения ϕ0 , ϕ N x известны из граничных условий, то есть матричный вид системы:
a1 = cn = 0 . Векторно-
⎛ b1c1 0.......0 ⎞ ⎛ ϕ1 ⎞ ⎛ d1 ⎞ ⎜ ⎟⎜ ⎟ ⎜ ⎟ ⎜ a2b2 c2 0....0 ⎟ ⎜ ϕ2 ⎟ ⎜ d 2 ⎟ ⎜ 0a3b3c3 0..0 ⎟ ⎜ ϕ3 ⎟ = ⎜ d 3 ⎟ . ⎜ ⎟⎜ ⎟ ⎜ ⎟ ⎜ ........ ⎟ ⎜ ... ⎟ ⎜ ... ⎟ ⎜ 0........0a b ⎟ ⎜ ϕ ⎟ ⎜ d ⎟ n n ⎠⎝ n ⎠ ⎝ ⎝ n⎠
В каждом уравнении отличны от нуля только элементы, лежащие на главной диагонали и на двух прилегающих к ней диагоналях. Наиболее традиционный способ решения трехдиагональной системы линейных уравнений – метод прогонки. Предполагается, что решение удовлетворяет условию: ϕi = α i +1ϕi +1 + β i +1 ,
i = n − 1,...,1 , тогда ϕi −1 = α iϕi + β i = α i (α i +1ϕi +1 + β i +1 ) + β i и уравнение примет вид:
ai (α i (α i +1ϕi +1 + β i +1 ) + β i ) + bi (α i +1ϕi +1 + β i +1 ) + ciϕi +1 = di .
После приведения подобных уравнение примет вид:
ϕi +1 (aiα iα i +1 + biα i +1 + ci ) + aiα i βi +1 + α i β i + bi β i +1 − di = 0 . Приравнивая к нулю коэффициент при ϕi +1 и сумму всех остальных слагаемых, получим систему:
⎧aiα iα i +1 + biα i +1 + ci = 0, ⎨ ⎩ βi +1 (aiα i + bi ) = di − ai βi . Из первого уравнения системы выражаем коэффициент α i +1 , из второго β i +1 :
ci ⎧ ⎪α i +1 = − a α + b , ⎪ i i i ⎨ ⎪ β = di − ai β i . ⎪⎩ i +1 aiα i + bi 42
Таким образом, все прогоночные коэффициенты α i , β i можно рассчитать, если известны α 2 , β 2 , они находятся из первого уравнения при i = 1 :
c d c1 d ϕ2 + 1 ⇒ α 2 = − 1 , β 2 = 1 . Выb1 b1 b1 b1 числение прогоночных коэффициентов α i , βi называется прямым b1ϕ1 + c1ϕ 2 = d1 ⇒ ϕ1 = −
ходом прогонки. Из последнего уравнения системы определяется ϕn :
anϕn −1 + bnϕn = d n ⇒ an (α nϕn + β n ) + bnϕ n = d n ⇒ d −a β ⇒ ϕn = n n n . anα n + bn Далее вычисляются ϕi −1 = α iϕi + β i , это называется обратным ходом прогонки. В теории линейной алгебры доказывается, что метод прогонки можно применять при выполнении условий: ai ≠ 0, bi ≠ 0, bi > ai + ci , α i ≤ 1 . Последнее условие обеспечивает устойчивость метода. Далее определяем для каждого узла xi значение поля Ei =
ϕi −1 − ϕi +1 2 x
.
4. Расчет ускорения частиц, то есть расчет частиц в пространстве скоростей: fi , j ( xi , v j , t + t ) = fij** ( xi , v j ) = f * ( xi , v j + Ei ⋅ t , t ) , t+ t
то есть также сводится к вычислению значений функции с помощью интерполяции, например, линейной:
f * (vk +1 ) − f * (vk ) ⋅δv , v где (v j + Ei ⋅ t ) ∈ [vk , vk +1 ] , δ v = v j + Ei ⋅ t − vk . f * ( xi , v j + Ei ⋅ t , t ) = f * (vk ) +
43
4.2. Метод «водяного мешка» Решением уравнения Власова для бесстолкновительной плазмы
df = 0 является набор поверхностей c j , на которых функция расdt пределения постоянна f = const . Геометрическое изображение этих поверхностей позволяет наглядно видеть движение в фазовом пространстве (рис.12). Любая траектория частицы на поверхности f = const является траекторией некоторой реальной частицы. Более того, так как f = const , то частица не может уйти с этой поверхности, а значит и количество частиц внутри объема, ограниченного этой поверхностью, сохраняется:
∫
fdvdr =const . Количе-
Vj
ство частиц в объеме между любыми такими поверхностями также постоянно: fdvdr =const . Таким образом, плазму можно рас-
∫
Vij
сматривать как идеальную несжимаемую жидкость в фазовом 2N пространстве (N – размерность задачи). В эту жидкость как бы «вморожены» поверхности f = const , так что количество жидкости между контурами и внутри каждого контура v сохраняется, а сами они никогда не пересекаются. Рассмотрим применение «метода водяного мешка» для описания пучковой c3 x неустойчивости. Ограничимся одномерным случаРис. 12. Фазовые поверхности ем. Функцию распределения двух потоков аппроксимируем двумя прямоугольниками, тогда начальное состояние функции распределения задается в виде (рис. 13):
⎧⎪1, ( x, v) ∈ V1,2 , V3,4 , f e ( x, v, 0) = ⎨ ⎪⎩0, ( x, v) ∉ V1,2 , V3,4 . 44
c1
Объем между контурами c1 и c2 , c3 и c4 должен сохраняться:
∫ dvdx = const , ∫ dvdx = const ,
V1,2
то есть имеем два «водяных
V3,4
мешка» (рис.14). Так как частицы не покидают выделенный объем между контурами, то для определения динамики контура не обязательно следить за частицами в объеме, достаточно следить за границей объема, то есть за частицами на границе. f На каждом шаге по времени по положению на1 ходящихся на границе частиц можно путем интерполяции восстаv навливать геометрию границы объема. Для 0 расчета движения часv1 v2 v3 v4 тиц необходимо рассчитать электрическое поРис. 13. Начальная функция распределения ле, решив уравнение Пуассона ∞
∂E = 1 − ∫ fdv (уравнение записано в безразмерных величинах). В ∂x −∞ точке положения i-й частицы xi поле определяется интерполированием значений поля в ближайших узлах пространственной сетки xk и xk +1 . Электрическое поле в узлах рассчитывается из уравнения
Ek +1 − Ek =
xk +1
∞
xk
−∞
∫ (1 − ∫
fdv)dx = x −
xk +1 ∞
∫ ∫ dvdx .
xk −∞
45
Второе слагаемое правой части представляет собой площадь фигуры, которую можно вычислить как разность криволинейных трапеций между прямыми x = xk , x = xk +1 и контурами, то есть, равно разности значений скорости на верхнем и нижнем контуре, умноженной на x (рис.12). Координаты и скорость i-й частицы в следующий момент времени:
⎧ xi (t + t ) = xi (t ) + vi (t ) ⋅ t , ⎨ ⎩vi (t + t ) = vi (t ) − Ei (t ) ⋅ t. Если точки контура на очередном шаге так сильно расходятся, что восстановление контура становится неоднозначным, то прежде чем восстановить геометрию контуров на следующем шаге, необходимо увеличить количество частиц на контуре, поместив на нем дополнительные частицы. Был рассмотрен случай прямоугольной функции распределения, непрерывная функция распределения может быть представлена в виде ступенчатой функции, каждый прямоугольник которой представляет собой один «водяной мешок». Таким образом, идея модели «водяной мешок» состоит в том, что неРис. 14. Движение контуров в прерывная функция распредефазовом пространстве ления f (r , v , t ) представляется в виде набора некоторого количества «водяных мешков» с подвижными границами, но постоянным фазовым объемом.
46
5. МЕТОД КРУПНЫХ ЧАСТИЦ 5.1. Описание метода Рассмотрим дискретное моделирование плазмы на примере численного решения уравнения Власова методом крупных частиц:
dfα ∂fα eZ ∂f ∂f 1 = + v α + α (E + v × H ) ⋅ α = 0 . dt c ∂t ∂r mα ∂v Фазовое пространство (r , v ) для каждой компоненты в начальный
момент времени разбивается на ячейки. В соответствии с начальной функцией распределения каждой компоненты fα (r , v , 0) считается число частиц в каждой ячейке. Затем суммируются заряды и массы всех частиц данного сорта, содержащиеся в одной ячейке, суммарный заряд и масса присваиваются одной модельной частице данного сорта, которую помещают в узел сетки. Таким образом, есть не только начальное распределение макрочастиц, но и есть в каждом узле начальное значение плотности заряда и тока. Далее рассчитываются электрическое и магнитное поле по имеющимся значениям заряда и тока в узлах. После этого рассчитывается движение макрочастиц, их новое положение в фазовом пространстве в следующий момент времени. Таким образом, определяется текущая функция распределения. Затем заряды частиц вновь разносятся по узлам фазового пространства, и процесс повторяется. Данный процесс можно представить в виде схемы, связывающей семь задач (рис. 15).
47
Задача 1. Формирование начального состояния макрочас-
r (0), vi (0)
тиц i
Задача 2. Вычисление плотностей заряда и тока в узлах сетки
ρ k (t ), jk (t ) Задача 3. Расчет потенциалов в узлах сетки
ϕk (t ), Ak (t )
Задача 7. Восстановление функции распределения
Задача 6. Расчет движения заряженных частиц для определения их положения в следующий момент
fα (t + t )
Задача 4. Расчет электрического и магнитного поля в узлах сетки
r (t + t ) , vi (t + t )
времени i
Ek (t ), Bk (t )
Задача 5. Расчет сил, действующих на макрочастицы
Fi (t )
Рис. 15. Общая схема метода крупных частиц
Метод крупных частиц по сравнению с методом молекулярной динамики позволяет, во-первых, существенно уменьшить число частиц, во-вторых, избежать сингулярности кулоновских сил, обратно пропорциональных квадрату расстояний между частицами (∼
1 ). Однако необходимо обоснование возможности использоr2
вания данного метода для моделирования плазмы. Обоснование метода 1. Так как суммарные плотности зарядов и масс макрочастиц и реальных частиц равны e′n′ = en и m′n′ = mn , то отношение заряда и массы макрочастицы и реальной частицы одинаковы
e′ e = , m′ m
а значит, тождественна динамика реальной и макрочастицы. 2. Плазменные частоты системы макрочастиц и реальных частиц равны ω0′ e ,i =
4π n′ee′2,i 4π nee2,i = = ω0 e ,i , то есть сохраняется me′,i me ,i
характерное время плазменных процессов. 48
3. Если положить, что тепловые скорости равны, то дебаевские радиусы системы макрочастиц и реальных частиц равны
rd′ =
vТ′ v = Т = rd , ω0′e ω0 e
то
есть
сохраняется
характерный
пространственный размер. Несмотря на эти совпадения характерных параметров системы макрочастиц и реальных заряженных частиц, необходимо следить за выполнением следующих трех условий: 1) условие квазинейтральности системы: rd lхар ; 2) условие
идеальности
ND
системы:
1,
где
4 kT ′ 3/ 2 ND = π ( ) n′ − число макрочастиц в дебаевской 3 4π n′e′2 сфере, которое называется числом Дебая; 3) шаг интегрирования должен быть много меньше минимального характерного времени процессов в плазме, то есть времени электронных колебаний t
τp =
1
ω0 e
.
Первое условие соответствует критерию того, что систему заряженных частиц можно назвать плазмой. Второе условие соответствует условию пренебрежения потенциальной энергии взаимодействия отдельных частиц по сравнению с кинетической энергией Wк Wп , то есть соответствует расчету бесстолкновительного уравнения Власова, когда коллективное поле частиц существенно больше поля межчастичного взаимодействия. Третье условие обеспечивает как устойчивость расчетной схемы, так и адекватность результатов плазменным процессам. Рассмотрим вычислительный цикл метода крупных частиц на примере электростатической задачи (без магнитного поля).
49
Первая задача − задание начального распределения, соответствующего нужному типу старта (холодная плазма, спокойный старт, хаотический старт и т.п.) и нужному распределению частиц, была рассмотрена ранее достаточно подробно для метода молекулярной динамики. x Вторая задача – вычисление плотностей заряда и тока в узлах xk −1 ρ ( x ) xk xk +1 k i сетки. Самый простой 1 метод взвешивания – x «ближайший к узлу сетки» (NGP – nearest grid point), состоит в xk −1 xk xk +1 подсчете числа частиц данного сорта, находящихся в данный момент времени на x отрезке
x x⎤ ⎡ ⎢⎣ xk − 2 ; xk + 2 ⎥⎦ ,
xk −1
xk ρ k ( xi )
xk +1
1 это количество частиц, умноx женное на заряд данного сорта частиц, присваивается k-му xk −1 xk xk +1 узлу как заряд данного сорта частиц. Суммирование зарядов по всем сортам частиц Рис. 16. Способы взвешивания дает суммарный заряд в k-м узле. Однако при таком способе взвешивания получается макрочастица, сеточная функция плотности заряда которой имеет вид прямоугольника, то есть скачкообразна (рис.16). Макрочастица мгновенно появляется в узле и мгновенно исчезает, при этом она как бы «прыгает» между узлами. Скачкообразное изменение плотности заряда при прохождении узла приводит к «нефизическим» шумам в пространстве и во времени. Второй метод взвешивания – «облако в ячейке» (CIC – cloud in cell) – предполагает разнесение заряда по узлам с помощью линейной интерполяции:
50
xk +1 − xi , x x −x qk +1 = qi i k , x где xi – координата i-й частицы, xk – ближайший слева от частицы узел, xk +1 – ближайqk = qi
2
3
S4
qi S1
S
3 S2 ший справа. При таком способе взвешивания сеточная функция 1 4 плотности заряда имеет вид треугольника (см. рис. 16) и не дает шумов расчетной модели. Рис. 17. Взвешивание на двухмерной сетке В двухмерном случае этот метод взвешивания предполагает взвешивание, пропорциональное площади прямоугольника, дальнего от рассматриваемого узла (рис. 17):
q1 = qi
S S1 S S , q2 = qi 2 , q3 = qi 3 , q4 = qi 4 , S = S1 + S 2 + S3 + S 4 . S S S S
В трехмерной задаче взвешивание происходит пропорционально объему параллелепипеда, дальнего от рассматриваемого узла. Плотность заряда в k-м узле вычисляется как сумма зарядов по всем макрочастицам, которые попали в одну из четырех ячеек, окружающих данный узел: ρ k = qkα .
∑ α
Численное решение третьей задачи расчета значений потенциалов в узлах разберем на примере задачи расчета потенциала электрического поля, как наиболее часто встречающейся. Для двухмерного случая математическая постановка задачи имеет вид:
⎧ ∂ 2ϕ ∂ 2ϕ ⎪ ∂x 2 + ∂y 2 = −4πρ ( x, y ), 0 ≤ x ≤ lx , 0 ≤ y ≤ l y ; ⎨ ⎪ϕ = ϕ ( x, y ). гр ⎩ гр
51
В конечных разностях система принимает вид:
⎧ϕ k +1, j − 2ϕ k , j + ϕ k −1, j ϕk , j +1 − 2ϕk , j + ϕ k , j −1 + = −4πρ kj ; ⎪ 2 2 h h x y ⎨ ⎪ϕ = ϕ1 , ϕ j n +1, j = ϕ 2 j , ϕ k ,0 = ϕ 3k , ϕ k , m +1 = ϕ 4 k , ⎩ 0, j
k = 1,..., n, j = 1,..., m , шаги по осям равны hx = lx /(n + 1), hy = l y /(m + 1), матрицы потенциала и плотности
где
индексы
ϕk , j , ρ k , j размерности n × m . При hx = hy = h первое уравнение системы примет вид:
ϕk +1, j + ϕk −1, j + ϕk , j +1 + ϕk , j −1 − 4ϕ k , j = −4πρ k , j h 2 . Для решения этого матричного уравнения можно применить разобранный ранее метод установления, но теперь уже не для уравнения Лапласа, а для уравнения Пуассона, а значит необходимо искать стационарное решение уравнения
∂ϕ = Δϕ + 4πρ k , j . Нетруд∂t
но получить выражение для значения потенциала в k, j-м узле в следующий момент времени:
ϕk , j (t + t ) = ϕk , j (t ) + α ⋅ (ϕ k +1, j (t ) + ϕ k −1, j (t ) + ϕk , j +1 (t ) + ϕk , j −1 (t ) −
−4ϕk , j (t ) + 4πρ k , j h 2 ) , где α =
t h
2
. Если обозначить α =
t h
2
=
ω 4
, где ω называется па-
раметром релаксации, то потенциал будет вычисляться по так называемой релаксационной схеме:
1 4
ϕk , j (t + t ) = (1 − ω ) ⋅ ϕk , j (t ) + ω ⋅ (ϕk +1, j (t ) + +ϕ k −1, j (t ) + ϕk , j +1 (t ) + ϕk , j −1 (t ) + 4πρ k , j h 2 ) , а условие сходимости имеет вид: 0 < ω ≤ 1 . Условие выхода потенциала на стационар можно определить неравенством:
∑ϕ k, j
k, j
(t + t ) − ∑ ϕ k , j (t ) < ε 0 , где ε 0 − задаваемая погрешность. k, j
52
Расчет четвертой задачи вычисления значения поля в узлах осуществляется с помощью соотношений
Ex k , j =
ϕk −1, j − ϕk +1, j 2hx
, Ey k , j =
ϕk , j −1 − ϕk , j +1 2hy
.
Пятая задача расчета силы, действующей на i-ю частицу, сводится к вычислению электрического поля в точке ее расположения по известным значениям поля в узлах с помощью интерполирования:
Fi = qi E ( xi , yi ) ,
Ex ( xi , yi ) = Ex1 ⋅
E ( xi , yi ) = ( Ex ( xi , yi ), E y ( xi , yi )) , S3 S S S + Ex 2 ⋅ 4 + Ex 3 ⋅ 1 + Ex 4 ⋅ 2 , S S S S
где Ex1 , Ex 2 , Ex 3 , Ex 4 − значения поля в узлах, окружающих данную макрочастицу (рис.17). Аналогично для другой компоненты поля:
E y ( xi , yi ) = E y1 ⋅
S3 S S S + Ey 2 ⋅ 4 + Ey3 ⋅ 1 + Ey 4 ⋅ 2 . S S S S
Для расчета шестой задачи (расчет движения частиц), в силу необходимости расчета движения большого количества макро- частиц, чаще всего применяют простую схему Эйлера интегрирования уравнения движения «с перешагиванием»: 1 n− ⎧ 1 1 2 n+ n− ⎪v 2 = v 2 + Fx ⋅ t ; x ⎪ x m ⎪ 1 n− ⎪ n+ 1 1 2 F n− ⎪v 2 = v 2 + y ⋅ t ; y ⎨ y m ⎪ 1 n+ ⎪ n +1 n 2 ⎪ x = x + vx ⋅ t ; 1 ⎪ n+ ⎪⎩ y n +1 = y n + v y 2 ⋅ t.
Верхний индекс означает номер временного слоя (рис. 18).
53
Обезразмеривание задачи существенно уменьшает количество вычислительных операций. Действительно, введя безразмерные величины x =
x t t F ( t )2 ,t = ,v = v ⋅ , F = ⋅ , система уравx t x m x
нения движения в безразмерных величинах примет вид:
⎧v (t + t ) = v (t ) + F (t ); ⎨ ⎩ x(t + t ) = x(t ) + v (t + t ), то есть на каждом шаге интегрирования исключаются два действия умножения для каждой частицы. Последняя седьмая задача восстановления функции распределения сводится к подсчету числа частиц в каждом единичном фазовом объеме.
v
n−
1 2
v
n+
1 2
t xn t
x n +1 t+ t
t
Рис. 18. Схема с перешагиванием
5.2. Электростатическая модель плоских листов В одномерном случае плазма моделируется большим числом заряженных плоских листов, помещенных в неподвижный однородный нейтрализующий фон. Листы перпендикулярны оси x (рис.19). Расчетная длина L. Плотность плазмы, а значит и нейтрализующего фона n0 . Первоначальное расстояние между листами
x=
L , где N – количество листов. Поверхностная плотность N −1
заряда, то есть заряд на единицу поверхности на каждом листе σ = −n0 e x , где e – модуль заряда электрона, масса единицы поверхности листа m = n0 me x . В равновесии, когда листы покоятся и равномерно распределены xi 0 = i ⋅ x, i = 0..N − 1. Поместим узлы расчетной сетки в эти же точки xk = xi 0 . Электрическое поле удовлетворяет уравнению Пуассона: 54
N −1 ∂E = 4πσ (∑ δ ( x − xi 0 ) − 1) . ∂x i =0
Для определения электрического поля можно не решать это уравнение, а воспользоваться тем, что по закону Гаусса у каждого листа электрическое поле претерпевает скачок на величину 4πσ . Электрическое поле между листами меняется линейно, значит его можно представить в виде:
xk +1 − x x − xk x + x − 2x + Ek +1 = 2πσ k +1 k , x x x где Ek = 2πσ , Ek +1 = −2πσ , x ∈ [ xk , xk +1 ] . В состоянии покоя E ( x) = Ek
среднее электрическое поле, действующее на лист равно нулю. Если i-й лист сместится из положения равновесия на расстояние
x
0
xi 0
L
E −2πσ
x
2πσ
E −2πσ
2πσ
x
xi Рис. 19. Модель плоских листов 55
ξi = xi − xi 0 , то на него будет действовать нескомпенсированное электрическое поле E = −4π n0σξi , так что уравнение движения iго листа относительно его точки покоя будет иметь вид: mξi = σ E = −4π n0σ 2ξi , то есть mξi + 4π n0σ 2ξi = 0 .
4π n0σ 2 . Если задать m 2π начальное возмущение в виде xi (0) = xi 0 + a ⋅ sin( xi 0 ) , то можно L Это уравнение колебаний с частотой ω02 =
ожидать, что все листы в дальнейшем будут совершать колебания с частотой ω0 . На каждом временном шаге расчета заряд смещенного листа распределяется по ближайшим узлам
σ k ,i = σ
xk +1 − xi x −x , σ k +1,i = σ i k , если xi ∈ [ xk ; xk +1 ] . Суммарный x x
заряд в k-м узле σ k =
∑σ
k ,i
, суммирование происходит по всем
i
частицам, для которых xi ∈ [ xk ; xk +1 ] . Электрическое поле в точке
xi положения i-го листа E ( xi ) = 2πσ k
xk +1 − xi x −x − 2πσ k +1 i k . x x
Новое положение i-го листа в следующий момент времени определяется соотношениями:
⎪⎧vi (t + t ) = vi (t ) + Fi (t ); ⎨ ⎪⎩ xi (t + t ) = xi (t ) + vi (t + t ),
σ E ( xi ) ( t )2 x t t 1 ,t = ,v = v ⋅ , F = где x = ⋅ , t= . x t x m x ω0
56
При увеличении амплитуды колебаний листы начнут t xi +1 (t + t ) пересекаться. Будем считать, xi (t + t ) что листы сталкиваются абсоt+ t лютно упруго, то есть в момент столкновения листы t + tc просто обмениваются скоростями. Это аналогия упругого t столкновения реальных частиц. Механическая модель x одномерной плазмы – набор шариков на стержне, прикреxi (t ) xi +1 (t ) пленных к своему положению равновесия пружиной. Если нет трения, то эти шарики, Рис. 20. Определение момента пересечения листов выведенные из равновесия, могут совершать колебания бесконечно. Если один шарик, например крайний, отвести в сторону, на такую амплитуду, чтобы он ударил соседний, то возникнут колебания всей системы шариков. Это механический аналог возбуждения колебаний листов при прохождении возникновении на границе системы быстрого листа. Если на границе моделируемой области запускать листы с определенной скоростью через определенные промежутки времени, то это будет модель возбуждения плазменных колебаний электронным пучком, то есть возникновение пучково-плазменной неустойчивости. В модели столкновений листов необходимо определять время столкновений. Прежде всего условие xi +1 < xi определяет пересеклись листы или нет на очередном шаге по времени. Если пересеклись, то шаг по времени для этой пары отменяется и выбирается новый шаг до времени столкновения, который можно определить по правилу хорд (рис.20):
tc = t
xi +1 (t ) − xi (t ) . xi +1 (t ) − xi (t ) + xi +1 (t + t ) − xi (t + t )
Далее рассчитываются скорости листов в момент времени
t + tc , как результат столкновений листы меняются скоростями, после этого делается шаг t − tc для выхода на следующий вре57
менной слой этой пары листов. Модель позволяет следить как за функцией распределения частиц, так и за выбранной движением одной частицы в фазовом пространстве.
6. МГД ОПИСАНИЕ ПЛАЗМЫ 6.1. Система МГД уравнений Теорию магнитогидродинамического (МГД) метода разработал шведский физик Альфвен (Alfven) в 1942 году для описания космической плазмы. Плазма рассматривается как проводящая жидкость. Основное приближение МГД метода − это введение некоторых макроскопических значений плотности частиц сорта α
nα (r , t ) = ∫ fα d 3v и скорости vα (r , t ) =
1 nα
∫ fα vd v . 3
Система
МГД уравнений состоит из уравнения непрерывности, уравнения движения, уравнения состояния для каждой компоненты плазмы и четырех уравнений Максвелла:
⎧ ⎪ ∂nα ⎪ ∂t + divnα vα = 0; ⎪ ⎪m n dvα = −∇p + Z en ( E + 1 v × B) + F ; fr α α α α ⎪ α α dt c ⎪ ⎪ pα = nα kTα ; ⎪ ⎨divE = 4π e(∑ Zα nα − ne ); α ≠e ⎪ ⎪ 1 ∂B ; ⎪rotE = − c ∂t ⎪ ⎪divB = 0; ⎪ ⎪rotB = 4π j = 4π e( Z n v − n v ). ∑ ααα ee ⎪⎩ c c α ≠e В данной системе температура компоненты плазмы выступает как внешний параметр. Если к этой системе добавить уравнение для 58
расчета температуры, обычно это уравнение теплового баланса, то система становится замкнутой и для ее расчета необходимы только начальные и граничные условия. Уравнение теплового баланса для каждой конкретной задачи имеет свой специальный вид. Например, для плазмы пинча или дугового разряда оно состоит в том, что омические потери идут на излучение плазмы как черного тела: R (T ) ⋅ I 2 = σ StT 4 S , где R(T ) − сопротивление плазмы, зависящее от температуры (можно взять спитцеровскую температурную зависимость проводимости), σ St − постоянная Стефана−Больцмана, S – площадь поверхности пинча. Одножидкостная модель В одножидкостной модели считается, что ионы и электроны движутся с одинаковой скоростью как целое. Для достаточно плотной плазмы это оправдано эффектом амбиполярности, более подвижные электроны не могут далеко убежать от ионов из-за возникновения сильных электрических полей. Вводится массовая плот-
1
nα mα , массовая скорость v = ∑ nα mα vα , давление ∑ ρ α α как сумма парциальных давлений p = ∑ pα . Суммируя уравнения α
ность ρ =
непрерывности для электронов и ионов, получим массовое уравнение непрерывности или закон сохранения масс:
∂ρ + divρ v = 0 . ∂t
Суммируя уравнения движения для электронов и ионов в пренебрежении сил трения F fr = 0 , получим уравнение движения для
dv 1 = −∇p + j × B . В правой части этого уравнения dt c нет электрической силы, так как ∑ Zα nα = ne . Первое слагаемое
плазмы: ρ
α ≠e
правой части уравнения указывает на градиент газокинетического давления как на одну из причин движения плазмы (гидродинамика). Можно показать, что второе слагаемое соответствует магнит59
ному давлению pm =
B2 (магнитная динамика). Силу Лоренца 8π
1 j × B , с учетом последнего уравнения Максвелла, можно предc ставить в виде:
B2 B2 B2 1 1 1 rotB × B = −∇( ) + ( B∇ ) B = −∇ ⊥ ( ) + j×B = n, 4π 8π 4π 8π 4π Rкр c где Rкр − радиус кривизны силовой линии. Первое слагаемое описывает силу, связанную с градиентом магнитного давления поперек поля, второе – с натяжением силовых линий. В вакууме j = 0 и
∇⊥ B n , то есть топология магнитного поля в вакууме соответ= B Rкр ствует уравновешиванию поперечного магнитного давления натяжением силовых линий. Первое уравнение Максвелла в одножидкостной модели имеет вид divE = 0 (плазма – квазинейтральная жидкость). Если к четвертому уравнению Максвелла применить
4π rotj , использовать обобщенный c 1 закон Ома j = σ Feff = σ ( E + v × B) и использовать второе уравc 1 ∂B , то получим уравнение для изменение Максвелла rotE = − c ∂t c2 ∂B = ΔB + rot[v × B ] . нения магнитного поля во времени: ∂t 4πσ Если v = 0 (плазма покоится), то получим уравнение диффузии операцию ротора rot(rotB) =
магнитного поля в плазму
∂B = Dm ΔB , ∂t
60
где Dm =
δ2 c2 = sc , δ sc − так называемая глубина скин-слоя 4πσ τ sc
(глубина, на которую проникает магнитное поле в плазму), τ sc − характерное «скиновое» время (время проникновения). 6.2. Применение МГД приближения для расчета ускорения плазмы в коаксиальном плазменном ускорителе С учетом соотношения divρ v = v ⋅ gradρ + ρ ⋅ divv , с учетом 1 ∂ 1 ∂vθ ∂vz того, что в цилиндрической системе divv = , + (rvr ) + r ∂r r ∂θ ∂z для аксиально-симметричной системы B = Bθ (рис. 21) уравнение непрерывности примет вид:
∂v v ∂v ∂ρ ∂ρ ∂ρ + vr + vz + ρ( r + r + z ) = 0 . ∂t ∂r ∂z ∂r r ∂z
С учетом того, что в уравнении движения полная производная по времени имеет вид
d ∂ ∂ = + v , уравнение движения для радиdt ∂t ∂r
альной составляющей имеет вид:
ρ(
B2 B2 ∂vr ∂v ∂v ∂ + vr r + vz r ) = − ( p + θ ) − θ , ∂t ∂r ∂z ∂r 8π 4π r
для осевой составляющей:
B2 ∂vz ∂v ∂v ∂ + vr z + vz z ) = − ( p + θ ) . ∂t ∂r ∂z ∂z 8π С учетом того, что ΔBθ = div(gradBθ ) , уравнение для аксиально-
ρ(
симметричного поля примет вид:
∂Bθ ∂2 B 1 1 c 2 1 ∂ ∂Bθ ( (r ) + 2θ ) − (vr Bθ ) − (vz Bθ ) . = 4πσ r ∂r ∂t ∂r ∂z ∂r ∂z
61
Таким образом, имеем систему уравнений:
∂ρ ∂ρ ∂vr vr ∂vz ⎧ ∂ρ ⎪ ∂t + vr ∂r + vz ∂z + ρ ( ∂r + r + ∂z ) = 0; ⎪ Bθ2 Bθ2 ∂vr ∂vr ∂ ⎪ ∂vr ⎪ ρ ( ∂t + vr ∂r + vz ∂z ) = − ∂r ( p + 8π ) − 4π r ; ⎪ Bθ2 ∂vz ∂vz ∂ ⎪ ∂vz ρ v v p ( ) ( ); + + = − + ⎨ r z t r z z π 8 ∂ ∂ ∂ ∂ ⎪ ρ ⎪ ⎪ p = m kT ; i ⎪ ⎪ ∂Bθ ∂ 2 Bθ c 2 1 ∂ ∂Bθ 1 1 ( (r ) + 2 ) − (vr Bθ ) − (vz Bθ ). = ⎪ 4πσ r ∂r ∂r ∂z ∂r ∂z ⎩ ∂t Расчет каждого из уравнений системы является задачей Коши, требующей задаL0 R0 ния начальных условий. Считаем, что в начальный r B θ момент вреc0 мени плазма z заполняет слой толщиθ ны l, тогда начальные условия для 0≤ z≤l и r2
r1 ≤ r ≤ r2
r1
z l
z0
Zк
Рис. 21. Схема коаксиального ускорителя 62
запишем виде:
в
⎧vz = v0 ; ⎪ ⎪⎪vr = 0; ⎨ Bθ = 0; ⎪T = T ; 0 ⎪ ⎪⎩ ρ = ρ 0 , для l ≤ z ≤ zk и r1 ≤ r ≤ r2 в виде:
⎧vz = 0; ⎪v = 0; ⎪⎪ r ⎨ Bθ = 0; ⎪T = 0; ⎪ ⎪⎩ ρ = 0. Численно эти уравнения можно рассчитывать в конечных разностях, введя сетку (см. рис. 21). Зададим граничные условия для
⎧vr = 0; ⎪ ∂v ⎪ z = 0; ⎧ r = r1 ; ⎧r = r2 ; ⎪ ∂r и для ⎨ в виде: ⎨ ⎨ ⎩0 < z ≤ z0 ⎩0 < z ≤ z k ⎪ ∂ρ = 0; ⎪ ∂r ⎪ B = 0, ⎩ θ для z = 0 в виде: ⎧vr = 0; ⎪v = 0; ⎪⎪ z ⎨ Bθ (r1 , 0, t ) ⋅ r1 ; ⎪ Bθ (r , 0, t ) = r ⎪ ⎪⎩ ρ = ρ 0 ,
63
где значение магнитного поля в точке (r1 , 0) задается соотношением Bθ (r1 , 0, t ) =
2 I (t ) . Зависимость тока от времени I (t ) опредеcr1
ляется из уравнения электрической цепи
d ⎧ ⎪⎪u = dt ( L0 I ) + R0 I ; ⎨ ⎪u = − 1 I , c0 ⎪⎩ где c0, L0, R0 – емкость, индуктивность и сопротивление цепи, u – напряжение. 6.3. Ускорение плазмы в рельсотроне (одномерный случай) В одномерном случае система уравнений МГД приближения примет вид:
∂ρ ∂v ⎧ ∂ρ ; = − v − ρ ⎪ ∂t ∂x ∂x ⎪ ⎪ ∂v = −v ∂v − 1 ∂p − B ∂B ; ⎪⎪ ∂t ∂x ρ ∂x 4πρ ∂x ⎨ ⎪ ∂B = −v ∂B − B ∂v ; ⎪ ∂t ∂x ∂x ⎪ ρ ⎪ p = kT . mi ⎪⎩ Используя для интегрирования явный метод Эйлера и конечные разности для производных, получим систему для вычисления новых значений в момент времени n+1 на пространственной сетке 1≤ j ≤ k :
64
⎧ n +1 t t n n ( ρ nj +1 − ρ nj −1 ) − ρ nj ( v nj +1 − v nj −1 ); ⎪ ρ j = ρ j − vi 2 x 2 x ⎪ 1 t t ⎪ n +1 n n n n n n ⎪ v j = v j − v j 2 x ( v j +1 − v j −1 ) − ρ n 2 x ( ρ j +1 − ρ j −1 ) − j ⎪ n ⎪⎪ B j t ( B nj +1 − B nj −+11 ); ⎨− n ⎪ 4πρ j 2 x ⎪ t t ⎪ B nj +1 = B nj − v nj ( B nj +1 − B nj −1 ) − B nj ( v nj +1 − v nj −1 ); 2 x 2 x ⎪ n +1 ⎪ ρ ⎪ pin +1 = j kT n +1 . mi ⎪⎩ Система должна быть дополнена уравнением для расчета температуры, например, уравнением теплового баланса, которое для различных диапазонов параметров плазмы может быть различным. Можно пойти на дальнейшие упрощения, приняв, что плазма движется как единый плазменный поршень, внутри которого параметры плазмы однородны по длине поршня. Подводимая в канал плотность мощности pε =
c ∂ε = −divS , где S = [ E × H ] − век∂t 4π
тор Пойнтинга. После дифференцирования с учетом уравнений Максвелла правая часть разбивается на три слагаемых: 2 2 ∂ Hy ∂ Hy pε = ( )+v ( )−E⋅ j = ∂t 8π ∂x 8π 2 2 ∂ Hy ∂ Hy v c ∂H y j2 v j2 = ( = ( Hy + )+ ) + jH y + . ∂t 8π c 4π ∂x c σ p ∂t 8π σp
Интегрируя по объему, получим: 2
2
∂ Hy ∂ Hy P = UI = ∫ dV + ∫ vdV + R p I 2 , ∂t 8π ∂x 8π где I − ток через плазменный поршень R p − сопротивление плазменного поршня. Первое слагаемое соответствует мощности, расходуемой на заполнение объема магнитным полем, второе слагае65
мое соответствует мощности на работу по перемещению плазменного поршня, последнее слагаемое соответствует мощности на омическое тепловыделение. С другой стороны, закон сохранения для цепи: t
c U 2 c U 2 L I 2 L xI 2 mv 2 W0 = 0 0 = 0 + 0 + x + + ∫ RI 2 dt = const , 2 2 2 2 2 0 где c0 − емкость батареи питания, L0 − индуктивность внешней электрической цепи, Lx − погонная индуктивность канала (рис.22),
R = R0 + R p − сумма сопротивления внешней цепи и сопротивления плазмы, U 0 , U − начальное напряжение на батареи питания и напряжение в момент времени t . Мощность, подводимая к плазменному поршню в терминах электротехнических макропараметров P = UI =
1 Lx ⋅ v ⋅ I 2 + Lx ⋅ x ⋅ I ⋅ I + Ek + ER . Первое слагаемое 2
соответствует мощности по перемещению плазменного поршня. Учитывая, что мощность есть сила, умноL0 R0 женная на скорость, I ускоряющую силу можно выразить через y a макропараметры элекC0 x трической цепи b
lp L0
R0
I
Lx
v C0
Hy ⊗
Rp
Рис. 22. Схема рельсотрона
66
F=
1 Lx I 2 . Тогда сис2
тему уравнений, описывающая данную модель, можно представить в виде:
⎧ x = v; ⎪ ⎪v = 1 Lx I 2 ; 2m p ⎪ ⎪ ⎪U = − 1 I ; ⎪ c0 ⎪ ⎪U = ( L0 + Lx ⋅ x) I + I ( R + Lx ⋅ v); ⎪ 1 Lx ⋅ I 2 ⎨ p ; = ⎪ 2 a ⋅b ⎪ a ⎪R = ; ⎪ p σ p ⋅b ⋅lp ⎪ p ⎪ ⎪n = kT (1 + γ ) ; p p ⎪ ⎪⎪ R I 2 = σ ⋅ T 4 ⋅ 2( a ⋅ b + b ⋅ l + a ⋅ l ) St p p p ⎩ p
где a, b, l p − высота, длина, ширина поршня (см. рис. 22), σ p − проводимость плазмы, определяемая, например, по формуле Спитцера, γ p − степень ионизации плазмы, определяемая уравнением Саха. Последнее уравнение системы задает тепловой баланс в предположении, что все омически выделяемое в плазме тепло идет на излучение плазмы как излучение черного тела. Система замкнута. Точность расчета проверяется сохранением энергии: t c0U 02 c0U 2 L0 I 2 Lx xI 2 mv 2 W0 = = + + + + ∫ RI 2 dt = const . 2 2 2 2 2 0
67
6.4. Применение МГД приближения для расчета пристеночного падения потенциала
x
стенка
плазма
Одна из часто встречаемых задач при рассмотрении процессов взаимодействия плазмы с поверхностью – расчет падения потенциала в пристеночной области. Он необходим как для расчета динамики частиц плазмы около стенки, так и для расчета процессов непосредственного взаимодействия частиц плазмы со стенкой, которые определяются энергией падающих частиц и углом падения на поверхность. Как известно, вследствие того, что электроны гораздо подвижнее ионов, они заряжают стенку отрицательно относительно плазмы, создавая, таким образом, собственным объемным зарядом потенциальный барьер для электронного потока из плазмы. На стенке устанавливается стационарное значение потенциала, при котором электронный поток сравнивается с ионным. Задачу расчета пристеночного потенциала, в силу равенства потоков заряженных частиц (собственное магнитное поле потоков пренебрежимо мало) даже в присутствие постоянного внешнего магнитного поля, вполне можно свести ϕ 0 к электростатической, то есть описываемой уравнением Пуассона: Δϕ = −4π e(ni − ne ) . Будем считать, что протяженность пристеночного слоя равна l, и на его границе je плазма квазинейтральна, то есть ni 0 = ne 0 = n0 , а потенциал на гра-
ji
l
ϕ 0
ϕW Рис. 23. Пристеночное падение потенциала
нице ϕ (l ) = ϕ0 (рис. 23). Задачу будем решать в предположении стационарности как потоков электронов и ионов на стенку, так и плотностей заряженных частиц. Из уравнения непрерывности для ионной компоненты ji = const = ni ( x)vi ( x) = ni 0 ( x)vi 0 ( x) , где vi 0 ( x) – скорость ионов на границе пристеночного слоя. Из этого соотношения с учетом 68
mi vi 2 ϕ0 = e ϕ получим ni ( x) = n0 . Распределение электронов 2 ϕ ( x) в присутствие потенциального барьера электрического поля описывается распределением Больцмана ne ( x) = n0 exp(
e(ϕ ( x) − ϕ0 ) ), kTe
где Te – температура электронов плазмы. Тогда уравнение Пуассона перепишем в виде:
ϕ0 e(ϕ ( x) − ϕ0 ) d 2ϕ = −4π en0 ( − exp( )) . 2 ϕ ( x) dx kTe dϕ dx и проинтегрировав, получим Помножив это уравнение на 2 dx kT e(ϕ ( x) − ϕ0 ) dϕ ( ) 2 = −4π en0 (4ϕ01/ 2ϕ 1/ 2 ( x) − 2 e exp( )) + C . dx e kTe Константу интегрирования определяем из граничного условия для потенциала ϕ (l ) = ϕ0 , и с учетом того, что электрическое поле в
kT dϕ = 0 , то есть 0 = −4π en0 (4ϕ0 − 2 e ) + C , слеe dx l kT довательно, C = 8π en0 (2ϕ0 − e ) . Тогда, получим уравнение для e плазме E = −
расчета потенциала:
kT e(ϕ ( x) − ϕ0 ) dϕ 2 ϕ ( x) ) = −8π en0 (2ϕ0 ( − 1) − e (exp( ) − 1)) . dx ϕ0 e kTe Это задача Коши неявного вида (правая часть зависит от ϕ ( x) , (
численно ее можно решить, например, разобранным ранее методом итераций, необходимо только знать значение ϕ0 и задать граничное значение потенциала на стенке ϕ (0) = ϕ w . Граничное условие со стороны плазмы задается критерием Бома: ϕ0 ≥
kTe , который 2e
физически означает необходимость «доускорения» ионов в пред69
пристеночном слое до скорости звука в плазме v0i = cS =
kTe (для mi
Ti = 0 ). Математически это условие вытекает из условия dϕ ( ) 2 ≥ 0 . Действительно, если разложить по малому параметру dx ϕ = ϕ − ϕ0 , сохранив второй порядок в разложении, то (
kT ϕ (Δϕ ) 2 dϕ 2 e ϕ ) ≈ −8π en0 (2ϕ0 (1 + − − 1) − e (1 + + 2 2ϕ0 8ϕ0 dx e kTe
kT + 2eϕ0 1 e ϕ 2 + ( ) − 1)) = 2π en0 ( ϕ ) 2 e . 2 kTe kTeϕ0 Так как ϕ0 < 0 , то kTe + 2eϕ0 ≥ 0 , то есть eϕ0 ≤ −
kTe . Граничное 2
условие на стенке определяется из равенства потоков ионов и электронов, при условии, что стенка «не заземлена»:
e(ϕ − ϕ0 ) 1 n0 ve exp( W ) = n0 vi 0 , 4 kTe
8kTe k (Te + Ti ) , v0i = = cS (по критерию Бома). С учеπ me mi kT kT 2π me (Te + Ti ) ) − 1) . Например, при том ϕ0 = − e ϕW = e (ln( 2e 2e miTe Ti = Te пристеночное падение потенциала kT ϕW ≈ −3.8 e = −3.8Te [эВ] . e где ve =
Учет электронной эмиссии с поверхности первой стенки Поток электронов со стенки может существенно изменять распределение потенциала в пристеночной области. Это можно учесть в МГД приближении, если ввести коэффициент вторичной электронной эмиссии γ e , связывающий плотность потока вторич70
ных электронов с плотностью потока электронов на стенку jee = γ e je . Тогда баланс токов на стенке будет иметь вид:
ji W = je W − jee = (1 − γ e ) je . Тогда плотность тока вторичных электронов
можно
jee = γ e je =
представить
в
виде:
γe γ ji W = e n0 v0i . С учетом этого уравнение Пу1− γ e 1− γ e
ассона примет вид:
d 2ϕ = −4π e(ni ( x) − ne ( x) − nee ) , dx 2 где nee = jee / vee – плотность вторичных электронов, vee – скорость
вторичных
электронов,
распределение
плотностей
e(ϕ ( x) − ϕ0 ) ϕ0 . Изменится ) , ni ( x) = n0 ϕ ( x) kTe kT 2π me (Te + Ti ) и граничное условие на стенке: ϕW = e (ln( ) − 1) , 2e miTe (1 − γ e ) 2 ne ( x) = (n0 − nee ) exp(
при увеличении γ e потенциал на стенке ϕW увеличивается, то есть электронная эмиссия уменьшает пристеночное падение потенциала.
7. ЧИСЛЕННОЕ РЕШЕНИЕ УРАВНЕНИЙ ДИФФУЗИИ И ТЕПЛОПРОВОДНОСТИ Если диффузия частиц происходит вследствие наличия градиента концентрации, то применим закон, предложенный еще в 1855 году Фиком (Fick), который так и называется законом Фика, связывающий плотность потока частиц и градиент концентрации: j = − Dgrad(n) . Коэффициент пропорциональности D называется коэффициентом диффузии. Используя этот закон и уравнение непрерывности МГД приближения уравнение диффузии
∂n + divj = S , можно получить ∂t
∂n = div( Dgrad(n)) + S , где S – функция, ∂t 71
описывающая источник частиц. Это уравнение в частных производных имеет вид:
∂n ∂ ∂n ∂ ∂n ∂ ∂n = Dx + Dy + Dz + S ( x, y , z , t ) . ∂t ∂x ∂x ∂y ∂y ∂z ∂z Если D = const и S = 0 уравнение примет параболический вид дифференциального уравнения второй степени:
∂n ∂2n ∂2n ∂2n = DΔn = D( 2 + 2 + 2 ) . ∂t ∂x ∂y ∂z Уравнение теплопроводности также получается из предположения, что поток тепла пропорционален градиенту температур и в общем виде в частных производных имеет вид:
cp ρ
∂T ∂ ∂T ∂ ∂T ∂ ∂T = Kx + Ky + Kz + Q ( x, y , z , t ) , ∂t ∂x ∂x ∂y ∂y ∂z ∂z
где c p – теплоемкость среды размерности Дж/(кг·К), ρ – плотность среды размерности кг/м3, K – коэффициент теплопроводности размерности Вт/(м·К), Q – функция источника тепла размерности Вт/ м3. Если K = const и Q = 0 , то уравнение теплопроводности также приводится к параболическому виду:
χ=
K – так называемый cp ρ
коэффициент температуропроводности. Видно, что уравнение теплопроводности аналогично уравнению диффузии, поэтому его численное решение будет подобным.
t
j
i
7.1. Одномерная задача Для численного решения уравнения диффузии
∂T = χΔT , где ∂t
Рис. 24. Явная схема расчета 72
x
∂n ∂2n = D 2 чаще всего используют сеточные методы. Используя ∂t ∂x наиболее простую явную схему, можно переписать уравнение в конечных разностях в виде:
ni , j +1 − ni , j t
=D
ni +1, j − 2ni , j + ni −1, j x2
, где
индекс i = 1…k для узлов по оси x, индекс j для узлов по оси времени (см. рис. 24). Схема называется явной, потому что значение концентрации в каждом узле в следующий момент времени явным образом выражается через значения концентраций в предыдущий момент времени: ni , j +1 = ni , j + α (ni +1, j − 2ni , j + ni −1, j ) ,
D ⋅ t для усx2
где параметр α =
j x
тойчивости схемы должен удовлетворять условию α <
1 , поэтому 2
i
при использовании этой схемы необходимо следить за шагом по времени. Неявная схема всегда устойчива, но ее применение связано с дополнительными алгоритмическими трудностями. По неявной схеме уравнение диффузии в конечных разностях имеет вид (рис. 25):
ni , j +1 − ni , j t
=D
ni +1, j +1 − 2ni , j +1 + ni −1, j +1 x2
.
Это уравнение можно представить в виде:
−α ni −1, j +1 + (2α + 1)ni , j +1 − α ni +1, j +1 = ni , j .
Последнее уравнение представляет собой систему k линейных уравнений с тремя неизвестными в каждом. Матрица системы трехдиагональная, поэтому численно рассчитывать данную систему эффективнее всего методом прогонки, описанном выше при рассмотрении задачи численного решения уравнения Пуассона. Для расчета как по явной, так и по неявной схеме, помимо начальных условий n( x, 0) = n0 ( x) , необходимы значения концентрации 73
на границе при x = 0 и x = l , то есть граничные условия. По способу задания граничных условий выделяют три типа краевых задач. Стационар Не стационар Первая краевая задача:
n(0) = n1 = const;
n(0) = n1 (t );
n(l ) = n2 = const;
n(l ) = n2 (t ).
Вторая краевая задача: −D
∂n = J 1 = const; ∂x 0
−D
∂n = J1 (t ); ∂x 0
−D
∂n = J 2 = const; ∂x l
−D
∂n = J 2 (t ). ∂x l
Изолированная система:
∂n ∂n = 0; =0. ∂x 0 ∂x l Третья краевая задача:
−D
J1
0 1
k
∂n ∂n = f1 (n(0, t ), t ); − D = f 2 (n(l , t ), t ) . ∂x 0 ∂x l
k +1 J2 x
x
В узлах сетки граничные условия можно представить в следующем виде. Первая краевая задача: n0, j +1 = n1 ; nk +1, j +1 = n2 . Вторая и третья краевые задачи записываются в конечных разностях заданием уравнения баланса частиц в слое толщиной x / 2 на левой и правой границе (рис. 26).
Рис. 26. Приграничные слои для задания
74
На левой границе:
n0, j +1 − n0, j t
⋅
n −n x = J1 − D 0, j 1. j , то есть значение концентрации 2 x
на левой границе в следующий момент времени задается соотношением:
2 J1 t 2 D(n0, j − n1, j ) t − . x x nk +1, j +1 − nk +1, j x n −n ⋅ = − J 2 + D k , j k +1. j , то На правой границе: 2 t x n0, j +1 = n0, j +
есть значение концентрации на правой границе в следующий момент времени задается соотношением:
nk +1, j +1 = nk +1, j −
2 J 2 t 2 D(nk , j − nk +1, j ) t + . x x
7.2. Двухмерная задача
∂n ∂ 2n ∂ 2n = D( 2 + 2 ) в конечных разностях Уравнение диффузии ∂t ∂x ∂y на явной схеме имеет вид:
nik, +j 1 − nik, j
nik+1, j − 2nik, j + nik−1, j
= D( t где i = 1..m, j = 1..l . При
nik, j +1 − 2nik, j + nik, j −1
+ ), x2 y2 x = y значение концентрации на сле-
дующем временном слое выражается явным образом:
nik, +j 1 = nik, j + α (nik+1, j − 4nik, j + nik−1, j + nik, j +1 + nik, j −1 ) , где параметр α = меньше
D ⋅ t для устойчивости схемы должен быть x2
1 . На неявной схеме (рис. 27) уравнение диффузии 2 nik, +j 1 − nik, j n k +1 − 2nik, +j 1 + nik−+1,1 j nik, +j +11 − 2nik, +j 1 + nik, +j −! 1 = D( i +1, j + ) t x2 y2 75
сводится к уравнению
−α (nik−+1,1 j + nik++1,1 j + nik, +j −11 + nik, +j +11 ) + (4α + 1)nik, +j 1 = nik, j , которое представляет собой систему линейных уравнений, матрица которой пятидиагональная, по главной диагонали коэффициент 4α + 1 , по соседним −α . коэффициент Можно перейти от двух индексов к одному, то t+ t есть от искомого решеj ние в виде матрицы ni , j , к вектору:
t
i
nik, +j 1 = ui ,m + j = x p ,
Рис. 27. Неявная двухмерная схема
nik, j = vi ,m + j = bp ,
p = 1..l , l = n ⋅ m , тогда уравнение примет матричный вид: Ax = b , где A − квадратная матрица размерности l × l , x и b − вектора размерности l . По методу Крамера решение этого уравнения имеет det Ap , где det Ap − определитель матрицы, получаемой вид x p = det A заменой p-го столбца столбцом правой части уравнения. Для решения уравнения методом Крамера потребуется l ⋅ l ! операций, что крайне ограничивает его применение. Решение методом Гаусса подразумевает последовательное исключение неизвестных, так что в каждом последующем уравнении было на одну неизвестную меньше, а в последнем осталось бы одна. На языке матриц это означает, что ищутся треугольные матрица L и U , такие что A = L ⋅ U , тогда L ⋅U ⋅ x = b ⇒ U ⋅ x = L−1 ⋅ b ⇒ x = U −1 ⋅ L−1 ⋅ b . Метод Гаусса требует порядка l 3 операций и достаточно трудоемкую алгоритмическую реализацию. Поэтому чаще всего для решения используют итерационные методы. В методе простой итерации матричное уравнение Ax = b приводится к виду x = Dx + c . Проще всего это сделать путем выделения диагональных элемен-
76
l
тов, для этого каждое i-е уравнение
∑a x j =1
сительно
i-го
го: aii xi = bi − aij aii
j
= bi разрешается отно-
неизвестноl
∑
j =1, j ≠ i
aij x j .
y
Тогда D = dij = −
ij
(1 − δ ij ), c = ci =
x
j+1 j
bi , aii
y
j-1
⎧1, i = j − символ где δ ij = ⎨ ⎩0, i ≠ j
x
Кронекера. После того, как 0 i 1 2 получено уравнение Рис. 28. Приграничный элемент для x = Dx + c , его можно решать задания условий на границе по аналогии с простой итерацией для обыкновенного уравнения, рассмотренной ранее. Для этого решение на k+1-м шаге итерации ищется в виде: x ( k +1) = Dx ( k ) + c . Достаточным условием сходимости является условие на норму матрицы D < 1 , где l
l
j =1
i =1
D = max i ∑ aij или D = max j ∑ aij . Это условие соответствует aii >
l
∑
j =1, j ≠ i
ai , j , то есть так называемому условию преоблада-
ния диагональных элементов. В нашем случае по главной диагонали 4α + 1 , по соседним −α , так что D = 1 , то есть достаточное условие не выполнено, но его невыполнение еще не означает несходимость. Опыт расчетов показывает, что при норме матрицы, равной единице, как правило расчет дает сходимость. Итерационный процесс завершается, если x ( k +1) − x ( k ) < ε , где ε − задаваемая погрешность расчета. 77
Граничное условие для двухмерной задачи В качестве граничных условий для второй и третьей краевых задач можно использовать уравнение баланса частиц в приграничном элементе (рис. 28), например, на левой границе при x = 0 :
∂n x ∂n ∂n y = J1 y + D ⋅ y+D ∂t 2 ∂x x = x ∂y 2
⋅ y= y+
y 2
x ∂n +D ∂y 2
⋅ y= y−
y 2
x . 2
В конечных разностях это уравнение имеет вид:
n0,k +j1 − n0,k j x n1,k j − n0,k j y = J1 y + D y+ t x 2 n0,k j +1 − n0,k j x n0,k j − n0,k j −1 x +D +D , 2 2 y y из которого выражаем значение концентрации в граничном узле в следующий момент времени:
n −n n −n 2J t + 1 + 2 D t ( 1, j 2 0, j + 0, j +1 20, j −1 ) . 2 y x x k
k +1 0, j
n
=n
k 0, j
78
k
k
k
Список литературы 1. Бэдсел Ч. Физика плазмы и численное моделирование. М.: Энергоиздат,1989. 2. Вычислительные методы в физике плазмы. Сб./Под ред. Б. Олдера, М.: Мир, 1974. 3. Вычислительные методы в физике. Управляемый термоядерный синтез. Сб./ Под ред. Дж. Киллина, М.: Мир, 1980. 4. Днестровский Ю.Н., Костомаров Д.П. Математическое моделирование плазмы. М.: Наука, 1982. 5. Сигов Ю.С. Численные методы кинетической теории плазмы. М.: МИФИ, 1984. 6. Экштайн В. Компьютерное моделирование взаимодействия частиц с поверхностью твердого тела. М.: Мир,1995. 7. Бахвалов Н., Жидков Н., Кобельков Г. Численные методы. М.:БИНОМ, 2003. 8. Пирумов У.Г. Численные методы. М.: Дрофа, 2003.
79
Приложение 1 Интерполирование и экстраполирование Интерполирование часто используется для решения следующих задач. Задача 1. Имеются значения величины в узлах сетки некоторой расчетной задачи, требуется найти значения в любой точке между узлами. Задача 2. Имеются экспериментальные данные в некоторых точках, требуется найти приближенные значения в любой точке. Задача 3. Функция вычисляется сложно, тогда можно вычислить ее значения в некоторых точках, а затем с помощью интерполяции вычислять значения функции в любой точке. Интерполирующая функция f ( x) должна в узлах интерполяции xi принимать известные значения f ( xi ) = yi , геометрически это означает, что график функции y = f ( x) должен проходить через точки ( xi , yi ) . Если значения функции f ( x) требуется найти
x ∈ [ x0 ; xn ] , то это задача интерполирования в узком смысле, если x ∉ [ x0 ; xn ] , то это задача экстраполирования. Для случая, если узлы xi расположены не равномерно, то часто используется интерполяционный многочлен Лагранжа. Интерполяционный многочлен Лагранжа Интерполирующая функция имеет вид многочлена n-й степени: n
n
x − xj
i =0
j =0
xi − x j
f ( x) = Pn ( x) = ∑ yi ∏ n
= ∑ yi i =0
=
( x − x0 )( x − x1 )..( x − xi −1 )( x − xi +1 )..( x − xn ) . ( xi − x0 )( xi − x1 )..( xi − xi −1 )( xi − xi +1 )..( xi − xn )
Как правило, для интерполяции берут не все узлы, а некоторое количество m, тогда m– 1 – это порядок интерполирования. 80
Линейная интерполяция (m=2):
x − xi 2 x − xi1 . Узлы xi1 , xi 2 могут выбираться + yi 2 xi1 − xi 2 xi 2 − xi1 двумя способами. Первый – берутся узлы, ближайшие к x из набора x0 ,.., xn . По второму способу, если x ∈ [ x0 ; xn ] , то xi1 , xi 2 − P2 ( x) = yi1
ближайшие к x слева и справа, если x ∉ [ x0 ; xn ] , то ближайшие два узла. Квадратичная интерполяция (m=3):
P3 ( x) = yi1
( x − xi 2 )( x − xi 3 ) ( x − xi1 )( x − xi 3 ) + yi 2 + ( xi1 − xi 2 )( xi1 − xi 2 ) ( xi 2 − xi1 )( xi 2 − xi 3 ) + yi 3
( x − xi1 )( x − xi 2 ) . ( xi 3 − xi1 )( xi 3 − xi 2 )
Узлы xi1 , xi 2 , xi 3 могут выбираться также двумя способами. По первому способу – ближайшие три узла к x . По второму способу, если x +x x +x x ∈ [ 1 2 ; n −1 n ] , то берутся ближайшие, удовлетворяющие 2 2 условию x ∈ [
x +x x +x xi1 + xi 2 xi 2 + xi 3 ; ] , если x ∉ [ 1 2 ; n −1 n ] , то 2 2 2 2
просто ближайшие. Если узлы располагаются равномерно, то чаще используется интерполяционный многочлен Ньютона. Интерполяционный многочлен Ньютона Для интерполяции используются конечные разности значений функции yi в узлах интерполирования. Интерполирующая функция имеет вид: x − xi ( x − xi )( x − xi +1 ) yi + 2 − 2 yi +1 + yi y ( x ) = yi + ( yi +1 − yi ) + + ... h 2! h2
+
( x − xi )( x − xi +1 )..( x − xn ) k (−1) m Ckm yk − m , ∑ n n !h m =0 81
где h = xi +1 − xi . Интерполяционный многочлен Ньютона 2-го порядка имеет вид:
x − xi ( x − xi )( x − xi +1 ) yi + 2 − 2 yi +1 + yi , ( yi +1 − yi ) + h 2! h2 где три узла выбираются ближайшими к x . y ( x ) = yi +
Приложение 2 Аппроксимация методом наименьших квадратов При интерполяции интерполирующая функция в точках интерполирования принимает заданные значения. Но это не всегда оправдано, например, если эти значения были получены экспериментально и имеют большой случайный разброс вследствие погрешности измерений. Поэтому возникает так называемая «задача сглаживания» функциональной зависимости. Пусть даны n+1 пары значений ( x0 , y0 ), ( x1 , y1 ),..., ( xn , yn ) . Будем искать аппроксимирующую функцию в виде многочлена степени m < n: m
f ( x) = a0 + a1 x + a2 x 2 + .. + am x m = ∑ ak x k . k =0
Коэффициенты ak определяем из условия, чтобы сумма квадратов разностей значений аппроксимирующей функции в точках xi и n
значений yi была минимальной: разом,
необходимо
∑ ( y − f ( x )) i =0
искать
i
i
2
− min . Таким об-
минимум
функции
m
S = ∑ ( yi − a0 − a1 x − a2 x 2 − ... − am x m ) 2 , рассматривая эту функi =0
цию как функцию коэффициентов ai . Для этого возьмем частные производные и приравняем их к нулю. Получим систему m+1 уравнения: m
−2∑ ( yi − a0 − a1 x − a2 x 2 − ... − am x m ) xik = 0 , i =0
82
где k = 0,1,..., m . Эту систему можно переписать в виде: n
n
n
i =0
i =0
n
n
i =0
i =0
a0 ∑ xik + a1 ∑ xik +1 + a2 ∑ xik + 2 + ... + am ∑ xik + m = ∑ yi xik . i =0
n
n
i =0
i =0
Сделаем замену pk = ∑ xik , vk = ∑ yi xik , тогда система примет вид: ⎧ p0 a0 + p1a1 + ... + pm am = v0 ; ⎪ p a + p a + ... + p a = v ; 2 1 m +1 m 1 ⎪⎪ 1 0 ⎨. ⎪. ⎪ ⎪⎩ pm a0 + pm +1a1 + ... + p2 m am = vm .
Это система m+1 линейных уравнений относительно неизвестных a0 , a1 ,..., am , численные методы решения которой рассмотрены выше. Разберем на примере аппроксимации некоторых значений степенной функцией f (t ) = a ⋅ t b . Перейдем к многочлену первой степени, так как необходимо найти два коэффициента a,b: g ( x) = ln f = ln a + b ln t = a0 + a1 x , где a0 = ln a, a1 = v, x = ln t . Система для определения коэффициентов a0 , a1 имеет вид: n n ⎧ n a x a gi ; ⋅ + ⋅ = ∑ ∑ i 0 1 ⎪ ⎪ i =0 i =0 ⎨n n n ⎪ x ⋅ a + x2 ⋅ a = g x . ∑ ∑ 0 1 i i i i ⎪⎩∑ i =0 i =0 i =0
Решая систему, получаем: n
a1 =
n
n
∑ gi ⋅ ∑ xi − n ⋅ ∑ gi xi i =0
i =0
n
i =0 n
(∑ xi ) − n ⋅ ∑ x i =0
2
i =0
n
, a0 =
i =0
2 i
и искомые коэффициенты b = a1 , a = exp(a0 ) .
83
n
∑ gi − ∑ xi ⋅ a1 i =0
n
Игорь Владимирович Цветков
ПРИМЕНЕНИЕ ЧИСЛЕННЫХ МЕТОДОВ ДЛЯ МОДЕЛИРОВАНИЯ ПРОЦЕССОВ В ПЛАЗМЕ
Учебное пособие
Редактор Н.В. Шумакова Подписано в печать 22.10.2007. Формат 60x80 1/16 Печ.л. 5.25. Уч.-изд.л. 5,25. Изд.№ 4/18 Тираж 200 экз. Заказ Московский инженерно-физический институт (государственный университет), 115409, Москва, Каширское ш. 31 Типография издательства «Тровант», г. Троицк Московской обл.