УДК 537.8
DOI 10.18413/2075-4639-2018-50-3-329-345
ДРОБНО-ПУАССОНОВСКАЯ МОДЕЛЬ УДАРНОГО УШИРЕНИЯ
СПЕКТРАЛЬНОЙ ЛИНИИ
THE FRACTIONAL-POISSON MODEL OF SPECTRAL LINE COLLISION
BROADENING
В.В. Учайкин, О.П. Харлова, И.И. Кожемякин V.V. Uchaikin, О. P. Harlova, I.I. Kozhemjakin
Ульяновский государственный университет, Россия, 432017, г. Ульяновск, ул. Л. Толстого, 42
Ulyanovsk State University, 42L. Tolstoj-street, 432017, Russia
Е-mail: [email protected]
Аннотация
Перенос энергии возбуждения атомов частично ионизованного газа (плазмы) осуществляется фотонами, распределения случайных пробегов Rph которых, усреднённые по частотам спектральной линии, характеризуются не экспоненциальным, а асимптотически степенным законом P(Rh > x) х x V, V = 1/2. Упругие столкновения с другими атомами изменяют профиль спектральной линии, что влечёт за собой изменение распределения пробегов фотонов. В монографии Лоудона показано, что экспоненциально распределённые интервалы времени между столкновениями, отвечающие стандартному пуассоновскому процессу (СПП) временной последовательности столкновений, не изменяют качественно лоренцевской формы. В настоящей статье рассматривается дробно-дифференциальная модель пуассоновского процесса (ДПП), описываются его основные свойства и особенности резонансного переноса возбуждений атомов в этой модели.
Abstract
The transfer of the excitation energy of atoms of a partially ionized gas (plasma) is accomplished by photons whose free paths distribution averaged over the frequencies of the spectral line is characterized not by an exponential but by an asymptotically power law. Elastic collisions with other atoms change the profile of the spectral line, which entails a change in the distribution of the paths of the photons. Loudon's monograph shows that the exponentially distributed time intervals between collisions that correspond to the Poisson model of the time sequence of collisions do not qualitatively change the Lorentz form. In this paper we consider the fractional Poisson process (FPP), describe its main properties, and pecularity of the radiation transport of excitations of these atoms.
Ключевые слова: резонансный перенос, спектральный профиль, дробный пуассоновский процесс, функция Миттаг-Леффлера, дробные производные, метод Монте-Карло. Keywords: resonant transfer, spectral profile, fractional Poisson process, Mittag-Leffler function, fractional derivatives, Monte Carlo method.
1. Введение
Известно, что интерпретация открытой системы (ОС) как подсистемы замкнутой га-мильтоновой системы приводит к интегро-дифференциальному динамическому уравне-
нию, интегральный член которого описывает эффект запаздывания, называемый ещё последействием (Больцман), наследственностью (Работнов), эредитарностью (Вольтерра) системы. Во многих случаях интеграл последействия удобно аппроксимировать оператором дробного порядка, появление которого в уравнении приводит к специфическому поведению его решения - степенной асимптотике [1-5].
В задачах электродинамики эффект запаздывания (например, запаздывание потенциалов Лиенара-Вихерта) является прямым следствием основных принципов и обусловлен конечной скоростью распространения взаимодействий, но даже и в этом классе явлений конечная скорость не является единственной причиной этого эффекта.
Примечательной в этом отношении является монография [4] по квантовой радиофизике, уже в самом начале которой (в п. 2.5 первой главы) выводится уравнение, описывающее эволюцию матрицы плотности Pl подсистемы замкнутой гамильтоновой системы.
В отличие от полной системы, матрица плотности которой Р = p(t) удовлетворяет квантовому дифференциальному уравнению Лиувилля
ih — = —iLp
-t , (1) уравнение для подсистемы с матрицей Pl удовлетворяет более сложному интегро-диффе-ренциальному уравнению
= —iULp, — JK (r)p(t — r)dr
о , (2)
где П - проекционный оператор Цванцига-Мори [6]1, а ядро
K (г) = nL exp[—ir(l — n)L](l — n)L содержит информацию, необходимую для учёта влияния остальной части системы на рассматриваемую подсистему. Наличие в уравнении (2) интегрального члена означает, прежде всего, немарковский характер процесса.
Физическое объяснение эредитарности простое: подсистема обменивается с её окружением аддитивными (кинетическая энергия, импульс, момент импульса) величинами, сохраняющимися для всей замкнутой системы, и требуется какое-то время, чтобы осуществилась эта передача. Ситуация весьма похожа на термодинамическую. Разница лишь в том, что окружение не является термостатом, то есть бесконечно ёмким резервуаром, находящимся в стационарном состоянии безотносительно к поведению рассматриваемой подсистемы. Поучительным примером в этом отношении является движение твёрдого тела (пластины, шара) в вязкой жидкости: движущееся с переменной скоростью тело (ОС) вовлекает в движение жидкость (резервуар), и обмен импульсом описывается диффер-инте-гральным оператором с запаздывающим ядром (сила Бассэ).
В столкновительном приближении, когда оператор L описывает мгновенное изменение скорости частицы при взаимодействии с другой, а в промежутках между столкновениями скорости не меняются, марковское свойство проявляется в экспоненциальном рас-
РГ > t) = e t > 0, г
пределении j случайных времён j между столкновениями, так что
последовательность
T1 =Ь T2 =Г1 + Г2> T3 =Г1 + Г2 +Г3, •••
Г ■
с независимыми j образует стандартный пуассоновский процесс. Примером немарковского процесса может служить дробно-пуассоновский процесс (ДПП) порядка а G (0'1]'
1 Г. Грим [7, с. 153] отмечает, что этот результат может быть получен и методом иерархических уравнений Боголюбова-Борна-Грина-Кирквуда-Ивона
распределение времён ожидания которого принадлежит к асимптотически степенному типу
„ Р(г, > о X tЛ t > 0, ае (0,1]. распределений ]
Предположения о немарковском характере процесса столкновений атома (иона) в газе или частично ионизованной плазме высказывались давно и отчасти подкреплялись как аналитическими расчётами, так и численным моделированием. Обсуждение степенной модели длинных хвостов временных распределений, начатое ещё в работах полувековой давности и связанное с именами ван Хова, Пригожина, Браута, Резибуа, Цванцига, Балеску, Монтролла (см. литературу в [8-9]), активно продолжается и по сей день [10-12]. Последовательность испытываемых излучаемым атомом (ионом) столкновений влияет на профиль излучаемой им спектральной линии ^^ в свою очередь влияющей на процессы в газоразрядных лампах, световых панелях, плазменных экранах и других светотехнических устройствах [5-6,13], придавая распределению пробегов резонансных фотонов отличный от экспоненциального вид.
Целью данной работы является выяснение влияния, которое может оказать учет степенной асимптотики распределения пробега атомов плазмы на радиационный перенос возбуждений (РПВ). В качестве демонстрационной модели немарковской последовательности столкновений излучающего атома выбран пуассоновский процесс дробного порядка а е (0,1] (для краткости - дробно-пуассоновский процесс, ДПП). Выбор этого однопарамет-
рического процесса обусловлен его важным свойством: при а Ф1 распределение временных интервалов между событиями этого процесса характеризуется степенной асимптотикой, тогда как при а= 1 оно становится экспоненциальным, превращая процесс в стандартный пуассоновский процесс (СПП). Методическое достоинство такого свойства очевидно: своего рода «принцип соответствия», обеспечивающий переход от одной модели к другой путем непрерывного изменения одного параметра.
2. Ударное уширение спектральной линии
Квантовая теория излучения в квазиклассической интерпретации [14] даёт основания считать £(с) (при надлежащей нормировке) плотностью вероятности случайной частоты с. В модели полного перераспределения частот (ППЧ) отдельный акт взаимодействия трактуется как поглощение-излучение фотона атомом (кратко, переизлучение) со статистически независимыми частотами, а спектр переизлучённого фотона £(сС, в силу гипотезы о локальном термодинамическом равновесии (ЛТР), полагается пропорциональным коэффициенту поглощения к(<):
к(с) = Се(а>\ С > 0.
При сделанных предположениях такой процесс допускает описание в рамках корпускулярной теории многократного рассеяния, основанной на линеаризованном уравнении Больцмана. В случае монохроматического излучения с частотой с случайный пробег фотона в оптически однородной среде характеризовался бы экспоненциальным распределением вероятности
Р(^Ь > -X | с) = е-к(с)х, х > 0. (3)
но в РПВ естественно пользоваться усреднённым по спектральной линии распределением
Р(^ь > х) = ¡£(с)е-к(с)хсСс. (4)
0
Излучение одиночного покоящегося атома, не подверженного столкновениям, характеризуется спектральным профилем Лоренца:
ад
*() = 77-Ч2 , , 7> 0 7/2 <<( (5)
2ж(к —() + (// 2)
усреднение по которому заменой переменной интегрированияs = 2(( — (00)/7 в формуле (5) приводит её к виду
1 ж 1 ;
1 ; /о С —к0хсоя® , ,,
> х) ъ— е /21е 2 d® = е °хп1,(к,х/2), к, = к(().
—ж
Таким образом, усреднение экспоненциальной вероятности по лоренцевскому ансамблю частот (5) превращает её в асимптотически степенную функцию
> х) = е~к°х/2/0(к0х/2) ~ (жк0)—1/2х^, к = к((), х ^да, (6)
с показателем V = 1/2. К такому же результату приводит и модель стандартного пуассо-новского процесса для последовательности соударений.
3. Излучение в СПП
В квазиклассическом представлении процесс излучения атома на фоне последовательности столкновений описывается следующим образом [15, с.132-133]. Основное внимание уделяется паре состояний атома (основному и возбуждённому). Доплеровский и естественный (излучательный) вклады в уширение линии не учитываются. Игнорирование естественного уширения линии эквивалентно предположению, что излучательное время жизни т велико по сравнению с интервалом времени между столкновениями. Волновой
цуг электромагнитного излучения -го отрезка (пробега) траектории непрерывно испускается атомом до тех пор, пока не произойдет его столкновение с другим атомом ( + 1-е столкновение), во время которого энергетические уровни излучающего атома сдвигаются, а по истечении времени столкновения снова восстанавливаются. При этом восстанавливаются и все характеристики волны, за исключением фазы. Если длительность столкновения достаточно мала, то излучением, испущенным за время столкновения, можно пренебречь, и использовать модель, в которой возбужденный атом в промежутках между столкновениями излучает электромагнитную волну с постоянной частотой 0 , однако каждое столкновение сдвигает фазу волны на равномерно распределённую в [0,1] случайную величину Дф и эти сдвиги взаимно независимы. Наблюдаемое распределение частот (профиль линии) обусловлено тем, что волна разбивается на конечные цуги, фурье-компоненты которых содержат частоты, отличные от 0.
Пусть N(/) - случайное число столкновений, испытанных атомом за время излучения
t ъ т +т + +т
I ~ ¿1 т- ¿2 т...-г ,
тогда Фурье-амплитуда излучённого к моменту t поля даётся суммой
Е() = Е1 + Е2 +... + (7)
где
Ej(() = — | Е0 ехр[—(t + ¡ф} + ¡(]dt ■■
2ж t
— Е0ехР [/(с-с0)^.,- + \-т-г-. (8)
2ж г(ю-ю0)
Ссылаясь на классические работы по теории газов, Лоудон2 полагает, что интервалы
времени между столкновениями 1 2 3 взаимно независимы и распределены по показательному закону с плотностью
щх (t) = це~ Ц, ц>0. Возводя сумму (7) в квадрат (по модулю) и учитывая, что при усреднении по про-
t >>и= 1/Ц .. „ „
межутку времени 0 перекрёстные члены в двойной сумме исчезают, он запи-
сывает результативную интенсивность в виде (формула (5.20) цитируемой монографии, где Т0 - среднее время между столкновениями.
С Ц >/2\ е = 1--' (9)
* (с - с0) 2 (с - с) + Ц
который и определяет степенной характер асимптотики распределения пробегов резонансных фотонов (6). Заметим, что при указанных условиях последовательность времён ^ ^." образует пуассоновский процесс с интенсивностью Ц и средним числом событий за время
г
N ^) = Ц. (10)
Что же можно ожидать за пределами пуассоновской модели? Для ответа на этот вопрос мы выберем конкретную модель процесса со степенной асимптотикой
Р(г> ^ х ^, t ^х,
называемую дробным пуассоновским процессом. Рассмотрим подробнее особенности этого процесса.
4. Дробно-пуассоновский процесс
4.1. Определение ДПП. Стандартный пуассоновский процесс (СИП) интенсивности ц есть поток (временная последовательность) мгновенных событий (импульсов), длины промежутков между которыми (времена ожидания) Тявляются независимыми случайными величинами с экспоненциальной плотностью распределения
) = це~Ц, t > 0. Характеристическая функция Лапласа этого процесса
щщ (л) = (t )е
Ц
ц + Л
Дробный пуассоновский процесс (ДПП) порядка а е (0,1\ интенсивности ц есть поток
импульсов с плотностью распределения времени ожидания Ща (), характеризуемой образом Лапласа [16-19]
Ща(Л) = цЦа. (11)
Переписав (1 1 ) в виде
2 Развёрнутая теория уширения спектральных линий дана в монографии [15]. Заканчивая параграф 8.4, об уширении спектральных линий, автор пишет: «Естественно, что эта задача в общем случае является чрезвычайно сложной. Успех может быть достигнут при использовании модельных интегралов столкновений» (с. 254.) . Именно по этой причине мы и следуем здесь квазиклассичекой интерпретации Лоудона.
\Ла + и\-¥а(Л) = И
и выполнив обратное преобразование, приходим к дробно-дифференциальному уравнению При а < 1 решение этого уравнения выражается через двухпараметрическую функ-
ад n
цию МиттагЛеффлера Ea B{z) = V —-
'р t0 Г\ОП 4
+ру
¥a(t ) = uf—1Eata(—Ш")
Используя формулу
ад ^
J e-Ea"{uaxy—1du = —,
о 1 x
легко убедиться, что плотности (10) действительно соответствует трансформанта Лапласа (9).
Функция распределения случайного времени т выражается через однопараметриче-скую функцию Миттаг-Леффлера:
t
Р(Т < t) = 1га(т)*т = 1 — Еа(—иах)
0
При а = 1 «дробная экспонента» Ща (х) превращается в обычное экспоненциальное
— ИХ
распределение И , а дробный пуассоновский процесс (ДПП) - в стандартный пуассонов-ский процесс (СИП).
Существует ещё одно представление плотности распределения времени ожидания,
Vа (Х) = 11е ^ФаЫ/ х^ ф,М)= Г , \],
^ ж\£ + £ + 2соя(аж)
позволяющее установить асимптотику поведения плотности при а Ф1 на больших и малых временах (рис.1.):
Рис 1. Плотности распределения времени ожидания для ДПП порядка a = 0,1;0,2;0,3;...;1 (ш = 1). Fig.1: Waiting time probability densities for FPP of orders a = 0,1;0,2;0,3;...;1 (ш = 1).
щЛ )
Ц tа-1.
t ^ 0;
Г(а)
ац - -Л"а-1, t ^ад.
Г(1-а)
Эти и другие свойства ДПП, полезные для решения рассматриваемой в статье задачи, установлены и исследованы в книге [20] и статьях [21-22].
4.2. Уравнения ДПП. Согласно теории восстановления
(п Л (и+1 Л
Рп(0 = Р(М0 = п) = Р > t -Р^Т > t , п = 0,1,2,...
V 1= У V 1=
и следующая система интегральных уравнений для рп ^)имеет место:
ад t
РЛ0 = | ¥а{ ^ + [1'" ] ]>Д' " ф„-г (т)4т, п = 0,1,2,... t 0 После преобразования Лапласа
Харп(Х) = -црп(Х) + цр^(Х) + Ха-16м, п = 0,1,2,..., рл= 0.
Обратное преобразование приводит к системе уравнений для ДПП с дробной производной порядка а :
t
0 ^ )=ц[ рп-1 ^)- Рп ^ )]■
Г (1-)
При а^ 1 она превращается в систему для СПП:
3,0, 0 <а< 1.
йрп (t)
= Ц[Рп-1 (t)- Рп ^^
Здесь использовано предельное соотношение
/-а
Кт —7-т
Г(1 - а)
).
Решение системы (7) имеет вид:
Рп (t) = „ = ца, 0 <а< 1.
п! т=0 т! Г((т + п)а +1) Это - дробный аналог пуассоновского распределения (ДПР), превращающийся в стандартное пуассоновское при а = 1. Моменты этого распределения
п!ап
тп(t )=Н . Г(ап +1)
В частности, среднее значение
(N (t )) = т^)
и дисперсия
Ц
Г(а +1)
(t)=т (t)- т2 (t)+т (t)=т (t ){1+т ^ )[21-2аая(а,1/2)- 1{
4.3. Моделирование ДПП. Как следует из определения ДПП, для его моделирования достаточно осуществить последовательную выборку независимых реализаций случайного интервала т между событиями. Докажем следующую лемму.
Лемма. Распределение времени ожидания т
Р(т> t) = Ea (-0 ") (12)
может быть представлено в эквивалентном виде
ад
Р(т> О = |ехр(-0а А а (а (13)
0
где g+а) (я) - односторонняя стандартная а - устойчивая (в смысле Леви) плотность ве-
> t) =
0
г(а) > +
роятности.
Доказательство.
Разложив экспоненциальную функцию под интегралом (13) в ряд
ад 1
ъМ-^а А а) = е-(-та А а) *
k=0 к\
и пользуясь формулой моментов отрицательных порядков а -устойчивой плотности
ад ъ\ Г g а )(з)э-лсЬ =-к-, к = 0.1.2.....
Г Г(1 + £к)
получим:
Р(т >;) = 2 1 )кк>& == £ís^^gw(s)ds = Еа(-0). (14)
к=0 к\\ *=о к\ ;0
что и требовалось доказать.
Теорема. Определённая выше случайная величина т распределена по тому же закону, что и
т-^ГГ. (15)
где $(а ) _ случайная величина с плотностью g<a)(s). а V - не зависящая от $а ) случайная величина с равномерным в (0, 1] распределением.
Следствие. Алгоритм моделирования случайной величины т, распределённой по закону (12) имеет вид
_ |1п а 81П( а и )[81П(1 - а )жП2 ](1- а)/ а Т= Т-а М^)]-/ а|1п V Г^ а . ( )
2,
где V. V. и и3 - независимые, равномерно распределённые в (0, 1] случайные число.
Доказательство выполняется использованием алгоритма Кантера [23] для моделирования случайной величины $(а ) в формуле (15).
5. Свойства дробно-пуассоновского процесса
Перечислим некоторые свойства ДПП, установленные с помощью приведённого алгоритма в работах [18, 21-22, 24] и могущие иметь отношение к рассматриваемой проблеме.
5.1 Время первого достижения. Пусть т1,т2,т3,^ - времена ожиданий между последовательными событиями ДПП, а
Тп =т1 +т2 + - + Тп
- случайный момент времени достижения процессом заданного уровня п (в нашей задаче -момент времени п-го столкновения)
N (Т ) = п
Плотность распределения Тп даётся п-кратной свёрткой Щ^ (). Для СПП это гамма-плотность
У (t )=vV£e v,
(n -1)
и по центральной предельной теореме (ЦПТ)
) практически достигает предельной формы уже при п = 10 (рис. 2-3). При этом
ф(и )(t (n/ v + t4nfe~t V2, n ^œ. (17)
\2n
и
"" : , 2
T) = n / v
JT^-TF=wv-
n n n = n
В случае ДПП
______= œ
a *
0
и центральная предельная теорема неприменима. Применение обобщенной предельной теоремы (ОПТ), основанной на теории устойчивых законов [20], дает:
ф^ ) - ьп ay; (ьп a ) ^ g+a) (t ), n ^ œ, (18)
где b (a) = (n/ v)1 a, а g+a) (t ) - односторонняя устойчивая плотность. Важно иметь в виду, что в отличие от ЦПТ ОПТ становится практически применимой лишь в случае сотен слагаемых, число которых зависит от интересующей области значений аргумента.
5.2. Предельное дробно-пуассоновское распределение. Введем квазинепрерывную переменную z = n/n. В случае стандартного пуассоновского процесса:
f (z;n) = n n"Z e~n ~J — exp J —-t-1- \^S(z -1), n ^œ. (19)
V ' r(nz +1) V2n [ 2/n J
В отличие от стандартного, дробный пуассоновский процесс в асимптотике больших времён характеризуется дробным пуассоновским распределением
Ma+Of-jati z Y')^,, ^_(—z)
a
l/a ( f V1 a \ œ i \k f (z)=L'(a + ')J g(a) I z 1 z-fa=Y_(-zl_ (20)
f-(z) - g 1 r(a + 1)J iz ¿0 к!Г(1 - (k + l)a)Lr(a + 1?+1 (20)
С моментами
ХЛ = [Г(1 + а)\к Г(1 + к)
\ ' Г(1 + ка) '
Распределение это получено В.В. Учайкиным и опубликовано в работе [18]. При г ^ 0
1 8т(а;т)
fa (z)
Г(1 + a)r(1 — a) an
Стоит заметить также, что (х= 1, [х ^ = 1 и (т,2^ = 2аВ(а,1 + а), так что предельные относительные флуктуации числа событий
8а - ^) К N = л/ 2аВ(а,1 + а)-1.
Семейство предельных Д1111-распределений показано на рис 4.
Рис 2. Перенормированные распределения (17) момента времени n -го столкновения в СПП а = 1, n=1, 2, 3, 5, 10, 30 Fig.2. Renormalized time-distributions (17) for nth collision in SPP а = 1, n=1, 2, 3, 5, 10, 30
1 e-02 1 e-01 1 е+СЮ leKH 1 eJ-OZ
I
Рис 3. Перенормированные распределения (18) момента времени n -го столкновения в ДПП с а = 1/2, n=1, 3, 10, 30 Fig 3. Renormalized time-distributions (18) for nth collision in FPP with а = 1/2, n=1, 3, 10, 30
Fig 4. Limit FPP distributions for a = 0.1 (0.1) 0.9 and 0.95.
5.3. Перемежаемость. Особым свойств329ом ДПП является перемежаемость, роднящая его с турбулентным процессом. Разобьем конечный временной интервал на некоторое число (скажем, 1000, как это показано на рис. 5) одинаковых ячеек и, подсчитав число событий в каждой из них, представим результат в виде пары верхних гистограмм. Левая верхняя относится к СПП. На ней видны статистические флуктуации, но изменение масштаба в 100 раз (нижняя гистограмма) сглаживает гистограмму, флуктуации становятся малозаметны. На правой верхней гистограмме изображён ДПП: видим большие флуктуации. Часть ячеек остаётся вообще пустой. Однако процедура изменения масштаба, подобная описанной выше, не изменяет ситуации в этом случае - сглаживания не происходит, мы по-прежнему видим сгущения (кластеры) и пустующие ячейки. Свойство ДПП сохранять высокий уровень неоднородности при изменении масштаба называют перемежаемостью. Моделирование ДПП с помощью приведённого выше алгоритма показало, что предел доли
пустых ячеек n0 / n при ^ —> ^ (то есть при увеличении средней плотности событий на временной оси) существует и не зависит от размера ячеек, а только от порядка a ДПП. В [8] предложено ввести коэффициент перемежаемости
R(a) = lim( n0 / n), (21)
ß—Ю
монотонно убывающий от 1 до 0 при возрастании a от 0 до 1 (рис. 6)
Рис 5. Перемежаемость: изменение масштаба разбиения в 100 раз сглаживает гистограмму пуассоновского процесса (слева) и не сглаживает гистограмму ДПП (а = 1/2, справа) [21]
Fig 5. Intermittency: the scale change in 100 times smoothes the SPP- histogram (left panel) but doesn't smooth the FPP-histogram (а = 1/2, right panel) [21]
Рис 6. Коэффициент перемежаемости (предел средней доли пустых ячеек) ДПП как функция характеристичeского показателя процесса а
Fig 6. The intermittency coefficient (the limit of mean proportion of empty cells) as a function of the process characteristic exponent a
5.4. Иерархия времен ожидания. Возьмем теперь всю совокупность времён ожидания г, составляющих в сумме время достижения п-го уровня
Тп = Г1 + Г2 + ••• + Гп >
и расположим слагаемые в порядке убывания (вероятность совпадения независимых непрерывно распределённых случайных величин равна нулю):
Tn - '[1] + '[2] + • " + Т[п], Г[1] < Г[2] < " ' < Т[п] •
Назовем последнее слагаемое в этой сумме т [п] лидирующим слагаемым, или просто лидером. Его плотность распределения даётся выражением
)- «К с )ТУА*),
в котором
I
Ч(г) -\уаТ¥т.
Вообще, плотность распределения к-го по величине слагаемого имеет вид [25]
■Т,(')- П« " (г )]п-к [Ч (г )]к - У а (),
' ]
к -1
(22)
Ч (г) -У«(т)Г.
Первый сомножитель п означает, что на к-м месте по величине может оказаться любая из п случайных величин т1, Т2, тъ,...тп, последний множитель дает вероятность того, что эта случайная величина окажется в единичном интервале около точки I, а произведение трёх промежуточных множителей есть вероятность такого расположения оставшихся п - 1 слагаемых, что к-1 окажутся справа от точки t, то есть будут больше Т[к], а остальные п-к
расположатся слева от t, то есть будут меньше Т[к ]. Для качественной оценки характерных значений упорядоченных времен ожидания воспользуемся их наивероятными значениями Тщ (п, а), даваемыми уравнением (т[к]) - 0.
В случае СПП (а -1, Ч1(г) - 1 - в~Ж, - е~0, у1 - 0~Ж) из этого уравнения находим
% 1(п,1)- — 1п «.
п
Ж к
В случае ДПП мы ограничимся лишь асимптотической оценкой, приняв
Ча(г )~1 -¡Г (1-а)
г-
Ча(г)~ \жаГ (1-а)
г
Уа( 0~ аГжаГ (1-а)
-1
-а-1
В результате получаем
'[к](п,а)- -
Ж
1 + ап
Г (1-а)(1 + ак)
Сопоставим теперь наивероятные значения лидирующих членов с наивероятными значениями соответствующих сумм при п ^ ж:
1
г[1](п,1)-Т1п«, Т« (!)
Ж
п
Ж
а-1,
и
'[1] (п,а)
Ж
ап
Г (1-а)(1 + а)
Т(п)(а) ~ ж^п1 а^а), а < 1,
где $+а - случайная величина с односторонней устойчивой плотностью (х) .
Видно, что в первом случае роль отдельного интервала в траектории процесса с увеличением их числа быстро убывает; в больших масштабах траектория N (г) выглядит почти прямой с едва заметными неровностями. Во втором вклад в траекторию лидирующего интервала остается соизмеримым с величиной всего интервала достижения при любом п. С
0
1
1
!
а
а
повышением уровня мы увеличиваем число интервалов ожидания, но увеличивается оно
пропорционально п1/а, то есть медленнее, чем растет п. Замедление это объясняется вовлечением в процесс все более долгих времён ожидания, среди которых появляется новый лидер, сменяющий прежнего и вновь несущий на себе основную «тяжесть» времени достижения.
При к >> у а п,а) убывает по степенному закону п _1а, отражающему существующую в ДПП иерархию. В двойном логарифмическом масштабе зависимость
[к ]
( п,а)
1
1 + ап
1 а
Л Г(1-а)ак
от к выглядит прямой с наклоном -1/а. Если мы имеем траекторию процесса восстановления, записанную в терминах времен ожидания, том можно упорядочить эти времена и изобразить результат в двойном логарифмическом масштабе. Если экспериментальные точки расположатся вдоль прямой, это будет указанием на наличие степенного хвоста в распределении времени ожидания. Именно к такому типу процессов и принадлежит ДПП.
6. Относительный вклад лидера
Мы рассматривали наивероятные значения для характеристики соотношений между пробегами (временами ожиданий) не только потому, что они легче вычисляются, чем средние значения, но главным образом потому, что средние вообще бесконечны при а < 1. Последнее препятствие исчезнет, если характеризовать роль лидера в сумме относительным вкладом.
Мы последуем здесь Феллеру [26], использовавшему для этой цели обратную величину,
О = Т /г
п п!
[п]
обладающую конечным математическим ожиданием. Трансформанта Лапласа её плотности вероятности запишется в виде
к (А) = {е ~ЛО") = I ^1-1 ехр ь! тах& У-Гакп )
ад I
пе ^ I &¥а(*) I еХР {-Лг/^а
п—1
(23)
Заменой переменной х = г/1 во внутреннем интеграле и $ = ¡¡Ьп во внешнем уравнение (23) приводится к виду
I ад 1
/я„ М = пе — \Ьп I & ¥а (Ьп$) Ьп$ Iе (Ьп
Содержимое квадратных скобок удобно преобразовать следующим образом:
1 ад 1
Ьп'$ Iе (Ьп$Х)^ = 1 —\¥а (г)Г — Ьп'$ — е ^ К (Ьп•
0
Ь„$
Используя асимптотическую формулу для у/а (), получим
1
Ьп$Iе(Ьп$х№ ~ 1 — (Ьп$)—а Л(л),
п ^ ад,
(24)
(25)
(26)
где
ад
ад
о
о
о
о
п—1
о
о
о
о
A = - а)]—, пА) - 1 + а J(l - e)х а1ск.
о
Подставляя найденные выражения в (24), мы имеем
Г — а л
G (А) ~ «1+V аеА J ds Va (n^s) 1 — S-f п(А)
n—1
~ n1+1 ае-ÄJds¥a{n1as)exp{— s~аАп(А)} n ^ ад.
0
Принимая во внимание, как это было сделано при выводе (26), что
^(nVas) ~ aAnas)-a—1,
мы приходим к предельному выражению для (27):
ад
fon = lim fRn (А) = e-xaAJdssa exp {— s~aA п(А)}.
n я^ад n *
Заменой переменных
(Г = s-a Ап(А)
оно преобразуется к виду
eА
После несложных вычислений получаем:
SG = 2—
2а а
1 + ■
(1 — а)2 — 1 = а
2—а
f0„ (А) - lim fGn (А) = =-1-. (28)
^ П(А) 1 + а}(1 — е-Ах)х-а—11dx
0
Формула (27) позволяет найти среднее значение предельного отношения R
(о) = —£(о)
и средний квадрат его относительных флуктуаций:
,2 02)—о2 ш ,
0 0У [Ш2
1 -а 2-а_
Максимального значения флуктуации G достигают при а -1, когда вклад отдельного слагаемого в сумму становится бесконечно малым (а отношение G, соответственно, бесконечно большим). При а ^ 0 G почти полностью определяется наибольшим слагаемым, его значение близко к единице и флуктуации, соответственно, малы.
7. Заключение
Вернёмся теперь к обсуждению вопроса, поставленного в начале статьи: каких изменений можно ожидать при замене СПП в рассматриваемой модели на ДПП? Из формулы
(9) следует, что полная энергия Q(ш, г) -1 (ш) , излучаемая на частоте со за время t
' Е У
^ точностью до множителя | —- | , пропущенного Лоудоном) даётся выражением
ж
Q(aJ)~ ß j ^Юо>/2] е-Ж
0 (ffl — ^о)2 (29)
о
ад
А
следующим из его формулы (5.20). В модели СПП ¡г = (N(7)) и ¡е л = {1(г), так что правую часть формулы (29) можно представить в виде:
7 И ^ (^ Г ^, (30)
(а — «о)2 /
где
/8т2 [(а — ао>/21\ = Г *т2[(а — ао)г/2]щ. (31)
\ (а —«о)2 / ^ (а —«о)2
В предположении же о дробном порядке пуассоновского процесса
{) = ¥а(г) и (N(7) = ¡а /Г(а +1)) _ _
\г\/ т <х \ / \ \ // г \ // можно было бы ожидать
Следующие соображения, однако, заставляют отказаться от столь прямого распространения формул (30)-(31) на ДПП-модель.
1. В СП Ш-модели
¡е-¡={(1) =^х(1),
и выбор конкретной подстановки здесь сказывается т олько на значении постоянного сомножителя, тогда как в случае ДПП вопрос о выборе между {а (г) и (г) становится более проблематичным.
2. Дело ещё и в том, что использование плотности {а (7) при усреднении молчаливо предполагает, что усреднение ведётся по целому отрезку траектории, тогда как усреднение с использованием вероятности (г) предполагает частичное пересечение этого последнего отрезка с интервалом излучения (0, г).
3. То обстоятельство, что в формуле (30) вместо усреднённого произведения мы видим произведение средних, тоже настораживает. По существу, это означает пренебрежением корреляций вдоль траектории, с чем можно согласиться, если пробеги (и времена ожидания) более или менее однородны по величине, их много, а роль каждого относительно мала, но как мы видели выше, ДПП в отличие от СПП такими свойствами не обладает. Напротив, свойство перемежаемости вносит далёкие корреляции, высокую хаотичность процесса и расходимость моментов времени ожидания, в том числе и его среднего значения.
4. Ввиду этого свойства возникают длинные временные периоды бесстолкновитель-ного движения атома. Периоды эти сопровождаются узкими спектральными линиями. В то же время, они разделены промежутками с высокой частотой столкновений, что существенно уширяет спектральные линии. Таким образом, можно ожидать наложение узких пиков на вершины уширенных многократными соударениями спектральных линий. Подчеркнём, что речь идёт не о свёртках распределений, как пишет Лоудон на с. 138 своей книги, а именно о наложении. Свертки уширяют распределения, наложения же дают им сложную структуру.
5. В связи с рассмотрением в рамках данной модели деталей, которые в стандартной модели привычно опускаются, нельзя не упомянуть о пренебрежении перекрёстными членами при усреднении квадрата суммы вкладов волн, создаваемых разными отрезками траектории.
6. Разработанная и описанная в настоящей работе модель основана на теории устойчивых законов Леви. В силу её специфики (отсутствие простых выражений плотностей через элементарные функции, расходимость моментов, неприменимость стандартного корреляционного анализа) основным средством анализа выбран метод Монте-Карло. Проведённые расчёты методом Монте-Карло с использованием описанного выше алгоритма и представленные на рис. 7-8 результаты подтверждают высказанные здесь соображения.
хю-11 ю"
10"
л
■а к»"
05
10"3
10"
-_Ц1Ц мм ........ 1 11 .....
' т
■ ^,
- NV
~~ -
" Ч N
* ч
X ч ч
---а = 0.7
-----а = 0 8
-а = 0.9
.....а = 1
■ ■ ■ ■ У/тт к0 X
........ ■ • ......
х10" ю10 ю11 1012 1013
х
Рис 7. Спектр излучения атома в СПП ( « = 1 ) и ДПП Рис 8- Распределение вероятностей для свободных
пробегов фотона в поле излучения атомов, выпол-моделях, A^ =Q—Q0 няющих СПП и ДПП-движения
Fig 7. The radiation spectrum of atom in SPP (a= 1 ) and Fig. 8 free path Pr°bability distributions in the
radiation field of atoms performing SPP- and FPP-mo-FPPmodels, AQ=Q—Q0 tion
Работа выполнена при финансовой поддержке РФФИ (гранты 16-01-00556, 1851-53018).
Список литературы References
1. Учайкин В.В. 2014. О дробно-дифференциальном уравнении Лиувилля как уравнении динамики открытой системы. Научные ведомости БелГУ. Математика, Физика, 25(196): 58-67.
Uchaikin V.V.2014. On the fractional-differential Liouville equation as an equation of the dynamics of an open system. Scientific bulletins of the Belgorod State University. Mathematics, Physics, 25(196): 58-67.
2. Uchaikin V.V. 2013. Fractional Derivatives for Physicists and Engineers. Springer, Berlin
(2013).
3. Учайкин В.В. 2016. Открытые системы. В кн.: Механика. Основы механики сплошных сред. СПб-М.: Лань, 707-714.
Uchaikin V.V. 2016. Open systems. In: Mechanics. Fundamentals of continuum mechanics, S.Pet-M.: Lan, 707-74.
4. Файн В.М. 1972. Фотоны и нелинейные среды. В кн. Квантовая радиофизика, том 1. - М.: Изд-во «Советское радио».
Fayn V.M. 1972. Photons and nonlinear media. In the book Quantum Radiophysics, Volume 1. -M.: Izd-vo «Sovetskoye radio».
5. Zwanzig R.W. 1961. Lectures in Theoretical Physics, vol.3., Willey (Interscience), New York.
6. Грим Г. 1978. Уширение спектральной линии в плазме. М.: Изд-во Мир. Grim, G. 1978. Broadening of the spectral line in a plasma. Moscow: Izd-vo Mir.
7. Zwanzig R.W. 1961. Lectures in Theoretical Physics, vol.3., Willey (Interscience), New York.
8. Форстер Д. 1980. Гидродинамические флуктуации, нарушенная симметрия и корреляционные функции. М.: Атомиздат.
Forster D. 1980. Hydrodynamic fluctuations, broken symmetry and correlation functions. Moscow: Atomizdat
9. Резибуа П., Де Ленер М. 1980. Классическая теория жидкостей и газов. М.: Мир. Rezibua P., De Lener M. 1980. Classical theory of liquids and gases. Moscow: Mir
10. Dongari, Y., Zh., Reese J. M. 2011. Molecular free path distribution in rarefied gases, J. Phys. D Appl. Phys. 44: 125502.
11. Visco P. van Wijland F., Trizac E. 2008. Collisional statistics of the hard-sphere gas, PHYSICAL REVIEW E 77: 041117.
12. Ernst M.H. 2005. Universal power law tails of time correlation functions, Phys. Rev. E 71:
030101.
13. Нагирнер Д.И. 1983. Теория переноса излучений в спектральных линиях. Итоги науки и техники. Сер. Астрономия, 220.
Nagirner DI 1983. The theory of radiation transfer in spectral lines. Itogi nauki i tekhniki. Ser. Astronomiya, 220.
14.Учайкин В.В. 2008. Кинетические модели в проблеме переноса возбуждений резонансным излучением В кн. Энциклопедия низкотемпературной плазмы. Серия Б, том VII-I, - М.: Янус-К, 366-383.
Uchaikin V.V. 2008. Kinetic models in the problem of transfer of excitations by resonant radiation. Encyclopedia of low-temperature plasma. Series B, Volume VII-I, - M .: Janus-K, 366-383.
15. Лоудон Р. 1976. Квантовая теория света. М.: Мир. Loudon R. 1973Quantum theory of light, Clarendon Press. Oxford.
16. Repin O.N., Saichev A.I. 2000. Fractional Poisson Law, Radiophys. Quant. Electron. 43: 738741.
17. Laskin N. Fractional Poisson process. Communication in Nonlin. Sci. and Numer. Simulation, 8: 201-213.
18. Учайкин В.В. 2003. Автомодельная аномальная диффузия и устойчивые законы, Успехи физических наук. 173(8): 847-876.
Uchaikin V.V. 2003. Self-similar anomalous diffusion and Levy-stable laws Physics-Uspekhi(2003),46(8): 821
19. Wang X., Wen Z. 2003. Poisson fractional processes, Chaos, Solitons and Fractals, 18: 169177.
20. Учайкин В.В. 2008. Метод дробных производных. Ульяновск, Артишок. Uchaikin V.V. 2008. The method of fractional derivatives. Ulyanovsk, Artishok.
21. Uchaikin V.V. Cahoy D.O., Sibatov R.T. 2008. Fractional processes: from Poisson's to branching ones. Intern. Journal of Bifurcation and Chaos, 18(9): 2717-2725.
22. Cahoy D.O., Uchaikin V.V., Woyczynski V.A. 2010. Parameter estimation for fractional Poisson processes. J. Statist. Plann. Inference 140 (11): 3106-3120.
23. Kanter M. 1975. Stable densities under change of scale and total variation inequalities, Ann. Prob.3: 697-707.
24. Булышев А.Е., Преображенский Н.Г., Суворов А.Е. 1988. Перенос излучения в спектральных линиях. Успехи физических наук, 156(1): 153-175.
Bulyshev A.E., Preobrazhenskii N.G., Suvorov A.E. 1988. Radiation transport in spectral lines. Sov. Phys. Usp. 31 865-878.
25. Уилкс С. 1967. Математическая статистика. М.: Наука. Wilks S.S. 1962. Mathematical Statistics, Wiley.
26. Феллер В. 1967. Введение в теорию вероятностей и её приложения. Т. 2. М.: Мир. Feller William. 1957. An Introduction to Probability Theory and its Applications ( Volume 2 )
John Wiley & Sons Inc.