РОССИЙСКАЯ АКАДЕМИЯ НАУК ОРДЕНА ЛЕНИНА ИНСТИТУТ ПРИКЛАДНОЙ МАТЕМАТИКИ им. М.В. КЕЛДЫША М.Б. Марков ПРИБЛИЖЕНИЕ ОДНОРОДНОГО РАССЕЯНИЯ ЭЛЕКТРОНОВ НА ТРАЕКТОРИЯХ МОСКВА 2007 2 М.Б. Марков ПРИБЛИЖЕНИЕ ОДНОРОДНОГО РАССЕЯНИЯ ЭЛЕКТРОНОВ НА ТРАЕКТОРИЯХ Аннотация Рассмотрено кинетическое уравнение для релятивистских электронов в газовой среде и самосогласованном электромагнитном поле. Построено приближенное решение в виде, аналогичном дельта-подстановке. Приближение состоит в том, что для электронов, существенно отклонившихся от траектории, определяемой уравнениями движения в самосогласованном электромагнитном поле, рассматривается пространственно однородное кинетическое уравнение. Конструкция решения обосновывает применимость для математического моделирования потока электронов метода частиц, несмотря на наличие столкновений. Построена оценка точности приближенного решения, показавшая его применимость для широкого класса задач моделирования релятивистских электронных пучков. M.B. Markov THE APPROXIMATION OF HOMOGENEOUS ELECTRON’S SCATTERING ON TRAJECTORIES Abstract The kinetic equation for relativistic electrons in gas and self-consistent electromagnetic field is considered. The approximate solution in the form of δ – substitution is constructed. The approximation consists in follows. The spatially uniform kinetic equation is considered for electrons, essentially deviated from trajectory, movement equations in self-consistent electromagnetic field determined by. The structure of solution substantiates the applicability of particles method for mathematical modeling the electron’s flux, in spite of collisions. The estimation of approximate solution accuracy, which shows it’s applicability for wide class of problems of relativistic electron’s beams simulation, is constructed. 3 Введение Релятивистские электронные пучки (РЭП), производимые, например, ускорителями электронов [1], используются в экспериментальных работах по исследованию свойств вещества [2]. При распространении РЭП в газовой среде от выхода ускорителя до преграды, исследуемой в эксперименте, образуется самосогласованное электромагнитное поле. Оно может влиять на измерительную аппаратуру и вносит погрешности в результаты эксперимента. Математическое моделирование такого поля и электронов в газе заданной плотности актуально для определения параметров пучка на преграде и правильной интерпретации результатов эксперимента. Данная работа посвящена построению функции распределения электронов РЭП в виде, аналогичном дельта-подстановке [3]. Такое представление позволяет использовать для моделирования РЭП метод частиц [4]. 1 Построение приближенного решения Рассмотрим поток релятивистских электронов в газовой среде. Для функции распределения первичных электронов потока f будем считать справедливым [5] кинетическое уравнение f t div v f pri div p F f I f Q где p = p, , – импульс (1) электрона, l I f Ylm , l vf lm r , p – l 0 m l интеграл углового рассеяния электронов за счет всех столкновительных процессов, v = v, , – скорость. Представление этого интеграла в виде разложения по сферическим функциям Ylm , рассмотрим на примере рассеяния с дифференциальным сечением p, , . Здесь , – косинус угла между направлением движения электрона до ( ) и после столкновения ( ). Сечение раскладывается в ряд по полиномам Лежандра Pl переменной , : p, , Pl , l 0 1 1 Pl 2 d , p, , Pl , . 1 Полиномы Лежандра представляются в виде суммы сферических функций с помощью теоремы сложения [6]: Pl , 2 Pl 2 l Y , Y , . m l lm lm 4 l Поэтому l Ylm , Ylm , , где l 0 m l 1 l 2 d , p, , Pl , . 1 Представим f в виде ряда по сферическим функциям l f , f lmYlm , , l 0 m l и подставим в интеграл столкновений, обозначив l 0 l : 2 0 0 l 0 p vf , v d sin d p, , f , l vf lmYlm , l 0 m l Все неупругие столкновительные процессы в уравнении (1) учтены в третьем слагаемом правой части. Векторная функция F представляет собой сумму силы Лоренца и «силы» ионизационного торможения [5]: F e E H p p p где E и H – напряженности электрического и магнитного поля, e – заряд электрона, а – тормозная способность электронов. Так столкновения описываются в приближении малой передачи энергии [5] при ионизации [7]. 2 Приближение однородного рассеяния электронов на характеристиках Представим решение уравнения (1) в виде разности f pri f s f , где t f d d d Q , , r r s p p s s 0 является решением уравнения f s t div v f s div p F f s Q . (2) Тогда для f справедливо уравнение f t div v f div p F f I f I f s . (3) Рассмотрим характерные размеры задачи. Взаимодействие электронного потока с самосогласованным электромагнитным полем характеризуют плазменная частота электронов p2 4 e2n m 3 и дебаевский радиус rd c p , где n – концентрация электронов. Взаимодействие отдельных электронов с рассеивающей средой описывается длиной пробега электрона до 5 полной потери энергии d / , до первого столкновения 0 1/ 0 или 0 0 1/ ion , и транспортной длиной пробега относительно углового рассеяния T 1/1 . Указанные группы характерных размеров связаны между собой, поскольку в самосогласованном поле электроны теряют энергию, от которой зависят сечения, определяющие длины пробега. Пусть параметры rd , T и , характеризующие величины слагаемых в исходном уравнении (1) сравнимы. Обратим внимание на важное свойство электронного рассеяния на нейтральных молекулах [8]. В каждом акте взаимодействия наиболее вероятно малое изменение не только абсолютного значения импульса электрона, но и направления его движения. Это свойство выражается в том, что 0 , T . в (3) является I f s . Такой источник становится существенным по сравнению с источником Q в уравнении (2) на расстояниях порядка T , то есть при v 1t 1 . Поэтому функция f становится Источником для функции f сопоставимой по величине с функцией f s только на временах порядка 1 v 1 . Поскольку для газовых сред T , функция f описывает электроны, успевшие сбросить энергию. Сечения рассеяний при этом резко возрастают и столкновения начинают превалировать над взаимодействием с самосогласованным электромагнитным полем, поскольку радиус Дебая уменьшается пропорционально скорости электрона, а тормозная способность p растет быстрее – обратно пропорционально квадрату скорости. Поэтому div p e E + , H f слагаемое в (3) мало по сравнению с 1 p 2 f +I f . 2 p p С силу этого, будем рассматривать вместо (3) приближенное уравнение: f 1 div v f 2 p 2 f I f I f s t p p (4) Решение уравнения (4) будем искать в следующем виде: t 1 f 2 d d d p, t , , , Q , , r r s . p 0 Подставим f в уравнение (3). Рассмотрим частную производную: f t 1 d d Q t , , p, t , t , , r p2 (5) 6 t 1 X 2 d d d Q , , r r s div r s r r s . p 0 t Наложим на функцию условие p, t, t, , 0 . Тогда 1 d d p, t , t , , Q t , , r 0 . p2 Уравнение (4) преобразуется к виду: t 1 d d d Q , , p 2 +I I p p s 2 p 0 t p (6) r r s div v r s r r s 0 К тому времени, когда источник в уравнении (3) становится существенным по сравнению с Q , столкновения начинают преобладать и над свободным переносом электронов в пространстве. Действительно, размер области, занятой электронами определяется длинами пробега, соответствующими начальной энергии, а сечения в интеграле столкновений определяются текущей энергией. Поэтому слагаемое t 1 d d d Q , , div v r s r r s 2 p 0 в левой части уравнения (3) мало по сравнению со слагаемым t 1 2 s d d d Q , , p +I r r 0 . 2 p 0 p Пренебрежем в уравнении (6) отклонением электронов от траекторий, определяемых уравнениями движения, за счет переноса в пространстве, по сравнению с отклонениями за счет столкновений: t 1 d d d Q , , r r s p 2 +I I p p s . (7) 2 p 0 t p Рассмотрим уравнение для функции . p 2 +I I p p s . t p (8) 7 Для того, чтобы пользоваться в дальнейшем сферическими гармониками функции , представим p p s следующим образом [9]: p ps 1 p p s s s , 2 p sin и формально разложим в ряд по сферическим функциям: 1 p p s 2 p p s Ylm , Ylm s , s p lm Такое представление обобщенной p ps функции корректно, поскольку она действует на любую финитную бесконечно дифференцируемую функцию p из основного пространства следующим образом: dp p p ps p 0 2 Y , Y lm s lm , s lm p s Ylm s , s p s lm lm Заметим, что введенное определение p p s позволяет корректно представить обобщенную функцию f s в виде ряда: 1 f 2 p s t d d d Q , , r r p p Y l s s lm l 0 m l 0 s , s Ylm , . Для коэффициентов разложения lm функции в силу ортогональности сферических функций, обозначив Ylms Ylm s , s , получим следующее уравнение: p p s lm 1 2 2 p v v Ylm , lm l lm l t p p p2 s (9) Введенное выше условие на функцию определяет начальное условие p, t, , , t 0 . В совокупности с этим условием уравнение (9) составляет задачу Коши. Ее решение имеет вид: t p lm dt d p p p ss t , t , p 2 exp dt l v p ss t , t , p l v p p p s Ylms t t (10) 8 Здесь p ss t , t , p есть решение уравнения p ss p ss , если p ss Выполним в (10) интегрирование по p : t p lm dt p p 2 ss t t p . t t , t , p exp dt l v p ss t , t , p s l v p s Ylms .(11) t s Рассмотрим величину p ss t , t , p s . Она отлична от p s t , t , p s тем, что при ее вычислении в уравнении движения отсутствует компонента силы Лоренца, действующая по направлению движения электрона. Поскольку для электронов, описываемых функцией f , эта компонента мала по сравнению с тормозной способностью, можно считать, что p ss t , t , p s p s t , t , p s p s t , , , . Тогда lm В p ps t p2 соответствии exp dt l v p s t t t t ss s s dt exp dt v p t , t , p l vYlm , l t с принятым (12) приближением величина , как функция переменной t меняется быстрее, чем Ylms . Поэтому приближенно lm p ps p2 t Y dt exp dt l v p ss t , t , p s l v , t t s lm (13) Выполним интегрирование по t и подставим полученное решение в (6): t t 1 s s s f lm 2 d d d Q , , r r p p Ylm 1 exp dt l v p s t p 0 Вычитая коэффициенты f lm из f lms , получим 1 l f 2 Ylm , d d d Q , , r r s p l 0 m l 0 t (14) t p p s Ylms exp dt l v p s t 2 Уравнение непрерывности Потребуем, чтобы для приближенного решения (9) выполнялось спектральное уравнение непрерывности: 9 2 2 1 2 2 d sin d f div d sin d vf 2 p d sin d div p Ff Q0 (15) t 0 0 0 0 0 p p 0 Данное уравнение получено интегрированием уравнения (1) по и с весом sin . Выполнения условия (15) для приближенного решения (14) можно добиться путем корректировки нулевого члена суммы (14). Вычислим его из уравнения (10), подставив в него f вместо f : 2 f 0 1 2 k div vam f1k 2 p d sin d div p Ff Q0 . t p p 0 0 Здесь v vamk Y1k , где индекс m принимает значения (1,-1,0), а Y11 1 amk i Y11 2 0 Y11 i Y11 0 0 0 2 Y10 . Заметим следующее. 2 1 0 d 0 sind div p Ff p2 2 2 p d sin dFp f 0 p 0 t t s s s d d d Q , , r r p p exp dt 1v p t 0 t div vamk f1k 1 2 p t t 1 s s 2 d d d Q , , r r p p exp dt 1v p s t p 0 t div va f k m 1k 2 0 0 d sin d div Ff p t t 1 s s Q0 2 d d d Q , , r r p p exp dt 1v p s t p t 0 t t 1 s s s 2 d d d Q , , r r p p 1v p t exp dt 1v p s t p 0 С учетом этих промежуточных выкладок t t 1 s s f 0 2 d d d Q , , r r p p exp dt 1v p s t p 0 (16) 10 t t t 1 s s s 2 d d d Q , , dt r r p p 1v p exp dt 1v p s t . p 0 Заметим, что интеграл по переменной t во втором слагаемом правой части (11) может быть вычислен в соответствии с принятым приближением: t 1 f 0 2 d d d Q , , r r s p p s . p 0 Тогда f 0 полностью совпадет с нулевым членом ряда (9). Для электродинамической модели приближенное вычисление интеграла не допустимо, поскольку приводит к нарушению полного уравнения непрерывности заряда. Таким образом, окончательно приближенное решение уравнения (1) рассматривается в следующем виде: t t 1 s s f 2 d d d Q , , r r p p exp dt 1v p s t p 0 (17) t t t 1 s s s 2 d d d Q , , dt r r p p 1v p exp dt 1v p s t p 0 t t 1 l s s s 2 Ylm , d d d Q , , r r p p Ylm exp dt l v p s t p l 1 m l 0 Для (17) выполнено спектральное уравнение непрерывности заряда. 3 Точность приближенного решения Подставим (17) в уравнение (1) и вычислим невязку: f t div v f div p F f I f Q (18) Для вычисления невязки, прежде всего, заметим следующее. В производной присутствуют слагаемые, образующиеся при f pri t дифференцировании по верхнему пределу интеграла по переменной . Их сумма образует источник Q , представленный в виде разложения по сферическим функциям. Выражения, образующиеся дифференцированием по времени экспоненты в первом слагаемом f pri и по верхнему пределу интеграла по переменной t во втором слагаемом f pri , равны с обратным знаком. Дифференцирование по времени экспоненты в третьем слагаемом дает I f pri с обратным знаком. Таким образом, 11 Dt f div v f div p F f . (19) Здесь символ Dt f pri означает сумму слагаемых, входящих в производную f pri t , образующихся при дифференцировании по t только компонент векторов r s , и p s . Представим невязку (19) в виде ряда по сферическим функциям: l lmYlm , , l 0 m l умножим на произвольную бесконечное число раз дифференцируемую функцию из основного пространства r , p и проинтегрируем по переменным r, p : l l lm dr p 2 dp lm t , r , p lm t , r , p . l 1 m l (20) l 1 m l Для вычисления 0 проинтегрируем (19): 0 2 1 0 1 d sind D f t pri div v f pri div p F f pri 1 Dt f 0 vdiv amk f1k 2 p 2 F , amk f1k p p , и вычислим Dt f 0 t t 1 s s s 2 d d d Q , , div r r r p p exp dt 1v p s t , p 0 t t 1 s s s 2 d d d Q , , r r p p p exp dt 1v p s t p 0 p k vdiv am f1k t t 1 k s s s 2 d d d Q , , div vamY1k r r p p exp dt 1v p s t , p 0 t t 1 s s s s d d d Q , , div v r r p p exp dt v p t 1 p 2 0 12 1 1 p 2 F , amk f1k 2 d d d Q , , r r s 2 p p p 0 t . t F , amk Y1ks p p s exp dt 1v p s t p Получим, что нулевой член в сумме (20) равен нулю. Этот результат очевиден, поскольку при построении f 0 использовалось спектральное уравнение непрерывности, и означает, что функция распределения f является точным решением уравнения (1) в пространстве обобщенных функций, заданных на основном пространстве финитных бесконечно дифференцируемых, сферически симметричных по переменной p функций r, p [10]. Для дальнейших оценок обозначим символом Dtp f pri сумму слагаемых, образующихся при дифференцировании по t только компонент вектора p s , можно записать невязку в виде Dtp f pri div v v s f pri div p F f pri (20) Далее, обозначив символом Dta f pri сумму слагаемых, образующихся при дифференцировании только величин s и s , можно записать невязку в виде: 1 p 2 F , p s f pri + 2 p p 1 F f pri p sin Dta f pri div v v s f pri 1 + sin F f pri p sin (21) С учетом того, что 0 0 , после ряда промежуточных вычислений, невязку можно представить в следующем виде: 1 l 2 p l 1 m l t d d d C Q , , p p Y s l p F , s , s Ylm , (22) 0 1 l div v v r r 2 p l 1 m l s lm s t d d d C Q , , r r s l 0 p s p p s Ylm s , s Ylm , , s t P l 1 3 d d d Cl Q , , s , , F , F s, s p p s 2 p l 1 0 2 Pl 13 В формуле (22) суммирование по индексу l ведется от единицы до t бесконечности. Введено обозначение Cl exp l v p s dt . Ограничим класс функций Q t , r , p , исходя из простого физического соображения. Будем считать, что Q t, r, p Q t , r, p, , in , где in in r – поле направлений в координатном пространстве. Это дает возможность ограничить для дальнейшего рассмотрения класс функций основного пространства, на которых оценивается невязка решения. r, p r, p, , in , Ограничимся положительными функциями представимыми в виде ряда, сходящегося равномерно для всех значений , in : r , p, , in P , in l 0 1 1 где l l t , r , p d 2 Pl 1 Рассмотрим функцию p ps (23) l l 2 , 0 . , in r , p, , in Pl in 1 C1 s s Cl Ylm , Ylm , p 4 l 0 m l s p p 1 C1 Cl s P , (24). l 0 2 P 2 l p2 4 l Заметим следующее. Функции Pl , s ортогональны на единичной l 2 сфере. Действительно: 2 d d P , P , 2 s l 0 Pl , Pl , 1 s k Pl 2 1 s 2 Pl lk 2 s lk Заметим также, что 2 1 d d Pl 0 1 , P , 2 s in k Pl 2 s in lk При Cl 1 для всех l , то есть при t функция (24) приобретает вид расходящегося ряда: 14 p ps 4 p l 2 l 0 m l 1 Pl 2 Pl , s (25). Этот ряд может рассматриваться как p p s . Действительно: p p s Pl p , 4 p 2 l 0 2 1 0 1 , s Pl 2 (26) dp d d p s , , Ylm s , s Ylm , p s l l 0 m l Вычислим следующую величину: 2 1 Cl s d d P , s 2 l 0 1 l 1 2 Pl s Cl k l 1 k 0 2 2l 1 Pl P , in k 0 2 2 k l 1 2 Pl 1 Pl 1 s , in l 1,k l 2 Pl 1 Pl 1 s , in l 1,k 2 Pl lk Pl 2 k 2 k , P , s in (27) k 1 Ck 1 Ck k Ck Ck 1 k 2 k 1 k 0 Рассмотрим выражение k 1 Ck 1 Ck k Ck Ck 1 . Оценим его по модулю значения: k 1 Ck 1 Ck k Ck Ck 1 k 1 Ck Ck 1 k Ck Ck 1 s s k 1 Ck 1 Ck 1 Ck kCk 1 1 Ck Ck 1 k 1 C1 1 Ck 1 Ck kC1 1 Ck Ck 1 in Рассмотрим величину Ck 1 Ck exp l 1 l v p s dt . Поскольку t l 1 l l l 1 , то из свойств сечения углового рассеяния, резко возрастающего при нулевом угле рассеяния, следует, что l l 1 0 1 . Ck 1 Ck C1 . Тогда В силу этого k 1 Ck 1 Ck k Ck Ck 1 2k 1 C1 1 C1 . При 0 справедливо равенство max exp 1 exp 1 4 , поэтому оценка (27) может быть продолжена следующим образом: 15 2 1 d d 2 s 0 l 1 1 s k 0 Cl Pl 2 Pl , P , s in k k 0 k k 1 Ck 1 Ck k Ck Ck 1 Pk 2k 1 sC1 1 C1 k Pk k 0 s in 1 in (28) s 1 in 1 s d d F, 0 s s 1 , , C 1 C r, p, , 1 s r , p, s , in 4 Аналогично можно получить оценку 2 1 s d d F , p Cl 2 Pl , s 0 1 l 1 2 Pl 2 k , s p s 2 l 1 Cl in k k 0 Pl 2 Pl P , k , s P , in k 0 k k 1 s (29) p r , p, s , in 4 Подействуем невязкой (22) на функцию из основного пространства, учитывая, что третье слагаемое после интегрирования по компонентам импульса обратиться в ноль: t 2 1 0 0 0 1 , dr dp d d d d d Q , , Pl , s s s s p p div v r r Cl 2 2 Pl l 1 , 1 (30) Pl , s s s s s r r p p p Cl , 1 2 p 2 Pl l 1 Выполним интегрирование по частям в правой части: t 2 1 , dr dp d d d d d Q , , v s , grad p s p 0 0 0 1 s P , l p p s r r s Cl 2 2 Pl l 1 , , s 1 r r p p Cl , 1 2 2 Pl l 1 В силу оценок (28) и (29) получим неравенство: s s Pl s s s 16 t 1 , dr dp d d d Q , , p p s r r s 4 0 0 v s , grad r , p, s , in ps r , p, s , in p t 1 d d d v s , grad r s Q , , r s , p s , s , in 40 Q , , r s , p s , s , in s p t 1 1 d d d Q , , r s , p s , s , in d d Q , , , 40 4 Таким образом, окончательно оценка имеет вид: 1 (31) , , Q 4 Физический смысл данной оценки состоит в следующем. Подстановка приближенного решения в уравнение приводит к образованию невязки t, r, p . Поэтому приближенное решение является точным для уравнения ps (1) с правой частью Q t , r, p t, r, p . В соответствии с оценкой (31) такая правая часть отличается от Q t , r , p не более, чем на четверть в обобщенном смысле. Задача вычисления электромагнитного поля путем решения задачи Коши с однородными начальными данными для уравнения (1) в совокупности с уравнениями Максвелла для самосогласованного электромагнитного поля и уравнений газовой динамики для вторичных электронов [11] существенно отличается от аналогичной задачи для уравнения Власова. Отличие заключается в том, что соответствующая линейная задача имеет ограниченное решение. Причиной этого отличия является наличие столкновений в сочетании с импульсным по времени характером правой части. Ограниченность линейного решения обеспечивает устойчивость по правой части. Оценка точности является мажоритарной и ее можно уточнить. Погрешность при этом будет существенно уменьшена. Однако в широком классе практически важных задач точность задания источника электронов не превышает порядка величины, что делает точность моделирования вполне приемлемой. Заключение Приближение однородного рассеяния электронов на траекториях позволяет существенно снизить объемы вычислений по сравнению, как с методом Монте-Карло, так и методом дискретных ординат. Приближение имеет ограничения. Главное из них состоит в том, что функция распределения представляется в виде ряда. Для применения метода частиц достаточно 17 вычисления плотности тока и концентрации. Остальные моменты функции распределения не вычисляются. Организовать их вычисление возможно, однако полиномы Лежандра сходятся медленно и преимущества в скорости вычисления утрачиваются. Литература 1. Д.М. Иващенко, А.А. Федоров. Российские ускорители электронов, использующиеся в качестве моделирующих установок. – Вопросы атомной науки и техники, серия «Физика радиационного воздействия на радиоэлектронную аппаратуру», 2002.- вып. 3, c. 120-128. 2. В.И.Бойко, В.А.Скворцов, В.Е.Фортов, И.В.Шаманин. Взаимодействие импульсных пучков заряженных частиц с веществом. – М.: Физматлит, 2003. 3. В.В.Веденяпин. Кинетические уравнения Больцмана и Власова. М., ФИЗМАТЛИТ, 2001. 4. Hockney R.W., Eastwood J.W. Computer Simulation Using Particles.– McGrawHill, New York, 1981. 5. Н.С. Келлин, М.Б. Марков, С.В. Паротькин. Столкновения в математических моделях электромагнитного поля электронного потока. – Препринт ИПМ им. М.В. Келдыша № 33, Москва, 2006. 6. А.Ф. Никифоров, В.Б. Уваров. Специальные функции математической физики. – М.: Наука, 1984. 7. Н. Мотт, Г. Мэсси. Теория атомных столкновений. М.: МИР, 1969. 8. Г. Мэсси, Е. Бархоп. Электронные и ионные столкновения. М.: МИР, 1958. 9. В.Я. Арсенин. Методы математической физики и специальные функции. – M.: Наука, 1984. 10. И.М. Гельфанд, И.М. Шилов. Обобщенные функции и действия над ними. – М.: Добросвет, 2000. 11. А.В.Березин, Н.С.Келлин, М.Б.Марков, С.В.Паротькин, А.В.Сысенко. О математических моделях вторичной ионизации. – Препринт ИПМ им. М.В. Келдыша РАН, 2002, №29.