1. Введение
Практическое моделирование распространения, поглощения и рассеяния волн электронно-циклотронного (ЭЦ) диапазона в турбулентной горячей магнитоактивной плазме, удерживаемой в больших магнитных ловушках УТС, традиционно сталкивается с проблемой огромного разброса пространственных масштабов – длина волны и характерный масштаб пространственной дисперсии волн оказываются на два–четыре порядка меньше геометрических размеров установок. Это обстоятельство делает полноволновое моделирование, опирающееся на прямое решение уравнений Максвелла, дополненных уравнениями для возбуждаемого в среде тока, крайне затруднительным.
В качестве решения этой проблемы чаще всего используется асимптотический подход, опирающийся на приближение геометрической оптики [1, 2]. В этом подходе распространение волн и их поглощение заменяется расчетом геометрооптических лучей и решением уравнения переноса интенсивности, а в отдельных случаях и поляризации, вдоль каждого луча. Этот подход хорошо зарекомендовал себя при планировании и интерпретации результатов экспериментов по нагреву и диагностике термоядерной плазмы. Одним из достоинств геометрической оптики является тривиальное на идейном уровне включение в нее эффектов пространственной дисперсии и резонансной диссипации. К недостаткам геометрооптического подхода относятся невозможность по известному лучу сказать что-либо о поперечной структуре поля и необходимость выполнения иерархии неравенств
(1)
где длина волны, поперечный размер волнового пучка, масштаб неоднородности среды. Второе неравенство может нарушаться, например, в областях резонансного поглощения.
Не всегда решает указанные проблемы и следующий шаг в развитии асимптотических средств моделирования – beam-tracing [3]. В этом подходе используется представление об автомодельности гауссовского распределения поля в волновом пучке, справедливое для ряда упрощенных случаев. Для таких модельных задач фиксируется поперечная структура пучка, а управляющие параметры (ширина, кривизна волнового фронта и т. д.) находятся из решения эволюционных уравнений вдоль луча. При этом предполагается, что коэффициент поглощения волн неоднороден только вдоль несущего геометрооптического луча, что хорошо отвечает традиционной схеме электронного циклотронного нагрева термоядерной плазмы с поперечным экваториальным вводом мощности [4–6]. Такой подход хоть и позволяет достаточно правдоподобно восстановить распределение поля, страдает рядом врожденных недостатков, не позволяющих использовать его в тех случаях, когда коэффициент поглощения заметно неоднороден в поперечной плоскости пучка [7]. Так происходит, например, при вертикальном вводе излучения в тороидальные установки [8, 9]. Серьезную проблему для этого подхода создают эффекты отражения и формирования каустик на трассе распространения пучка и в области поглощения. Такие эффекты важны для нагрева плазмы в аксиально-симметричных магнитных ловушках [10], идейно родственных “методу магнитного берега” [11], и для случая так называемой “тангенциальной инжекции” для безындукционной генерации тока с высокой плотностью в тороидальных установках [12, 13]. При этом в рамках формализма beam-tracing могут возникать нефизические эффекты завышенного или отрицательного поглощения; с другой стороны, реальные эффекты совместного влияния дифракции и резонансной диссипации могут выпасть из результатов моделирования [7, 13, 14].
Для преодоления этих недостатков был сделан следующий шаг – разработан аберрационный квазиоптический подход на основе эволюционного параболического уравнения для волнового поля [15–19]. Было продемонстрировано, что этот подход успешно справляется с одновременным учетом диссипации, пространственной неоднородности, пространственной и временной дисперсии и дифракции. Для некоторых модельных задач было проведено сравнение точных решений с результатами квазиоптического моделирования и показано хорошее соответствие [20]. Однако даже полный квазиоптический подход к моделированию распространения электромагнитных волн имеет свои недостатки:
· численная схема решения эволюционного уравнения становится в задачах без естественной факторизации довольно громоздкой и требовательной к вычислительным ресурсам;
· вычисляемая в квазиоптическом подходе скалярная комплексная амплитуда волны сложным образом связана с характеристиками реального векторного электромагнитного поля, что приводит к не до конца обоснованной феноменологической процедуре вычисления плотности поглощенной мощности;
· по этой же причине затруднено прямое сравнение квазиоптического подхода с полноволновым моделированием, круг модельных задач, для которых это возможно, очень ограничен.
Развивается также подход, основанный на разложении Габора исходного скалярного поля на набор элементарных гауссовых пучков с последующим суммированием с учетом их взаимной фазы [21]. Этот метод позволяет описывать некоторые аберрационные эффекты, выходящие за пределы применимости стандартного beam-tracing [22].
Появление вычислительных мощностей, позволяющих проводить параллельные расчеты с высокой эффективностью, стимулировали развитие еще одного подхода к нахождению асимптотического решения уравнений Максвелла, основанного на решении “лучевого кинетического уравнения” для функции Вигнера [23], известного также как формализм Вейля [24]. Формально точно вычисленная функция Вигнера позволяет восстановить любую билинейную форму реального поля. Этот метод является адаптацией хорошо известного из квантовой механики и оптики вигнеровского подхода к построению квазиклассического приближения, позволяющего сводить уравнение Шредингера в некоторых приближениях к кинетическому уравнению Больцмана [25, 26]. Идейно этот подход близок и к многолучевой геометрической оптике, в которой волновой пучок моделируется целым набором независимых [27] или взаимодействующих [28] геометрооптических лучей. Такой подход не лишен недостатков и ограничений:
· по смыслу используемых разложений он должен классифицироваться как безаберрационный [29];
· он позволяет реконструировать только квадратичные величины, но не само электрическое поле в волне;
· в практических приложениях он требует очень большого числа лучей ( и выше) для обеспечения приемлемой точности [30].
· Тем не менее, метод обладает несомненными достоинствами:
· возможностью последовательного учета пространственной и временной дисперсии и диссипации;
· строго обоснованной с физической точки зрения процедурой восстановления характеристик реального волнового поля, например, плотности вложенной мощности.
Развитие кодов на основе этого подхода происходит в последнее время довольно стремительно [31–35].
Наиболее сложным эффектом для моделирования с использованием безаберрационных кодов является неоднородная на поперечном масштабе квазиоптического волнового пучка диссипация [7, 14] и пространственная дисперсия диссипации [36]. При этом значительная неоднородность коэффициента поглощения поперек волнового пучка характерна для целого ряда схем нагрева плазмы в тороидальных и аксиально-симметричных магнитных ловушках. Это связано как с резонансным характером поглощения СВЧ-волн, так и с релятивистскими эффектами, приводящими к негладким профилям поглощения (при достаточно слабом магнитном поле поглощение отсутствует полностью). С математической точки зрения это выражается в том, что компоненты тензора диэлектрической проницаемости представляются неаналитическими функциями ([37], 16 гл. 4).
В данной работе мы предлагаем систематическое изложение метода кинетического уравнения для функции Вигнера для моделирования распространения и поглощения электромагнитных волн в анизотропных и гиротропных диссипативных средах с пространственной дисперсией. Хотя такой подход в целом известен специалистам, его последовательное и формальное изложение для задач моделирования распространения волн в сложных средах не так просто найти в литературе. Поэтому нам кажется полезным с методической точки зрения привести это изложение в данной статье, начиная с основ и заканчивая построением асимптотической теории для плавнонеоднородных и слабодиссипативных сред случая, наиболее востребованного для практических приложений. При этом естественным образом возникает новый не обсуждавшийся ранее подход, основанный на стохастическом описании лучей. Этот подход позволяет повысить точность метода кинетического уравнения для функции Вигнера при решении задач с существенной поперечной неоднородностью коэффициента поглощения.
Структура работы следующая. В разд. 2 вводится формализм, используемый далее представление Вейля для псевдодифференциальных линейных операторов и функция Вигнера для скалярного поля. В разд. 3 вводится тензорная функция Вигнера для монохроматического электромагнитного поля и формулируется кинетическое уравнение для нее. В разд. 4 и 5 вводится скалярная функция Вигнера для электромагнитного поля и обсуждается ее связь с квазиоптическим приближением. В разд. 6 рассматривается первый асимптотический порядок в плавнонеоднородной и слабодиссипативной среде, приводящий к кинетическому уравнения Больцмана для скалярной функции Вигнера (кинетический лучевой подход). В разд. 7 рассматривается второй порядок показывается, что эффекты неоднородного поглощения приводят к переходу от уравнения Больцмана к уравнению ФоккераПланка, которое может быть решено добавлением стохастической силы в уравнения Гамильтона для лучей (диффузионное приближение). В разд. 8 обсуждаются начальные условия для кинетического уравнения. В разд. 9 выводятся нетривиальные для сред с пространственной дисперсией выражения для плотностей потока энергии и поглощаемой мощности через введенные функции Вигнера. В разд. 10 приводится пример использования развитой техники для решения задачи о распространении волнового пучка через область замагниченной плазмы с неоднородным циклотронным поглощением в плазме токамака. Пример носит демонстрационный характер и не имеет самостоятельной ценности, однако он показывает разницу между первым и вторым порядком асимптотической теории, проявляющейся из-за резонансной диссипации. В Заключении подводятся итоги работы.
2. Функция вигнера для скалярного поля
Начнем с введения формализма Вейля для псевдодифференциальных операторов. Линейный оператор, действующий на скалярное комплексное поле , можно представить через интегральное ядро, возможно содержащее обобщенную дельта-функцию Дирака и ее производные, как
(2)
Здесь обозначает элемент объема (а не приращение вектора); в таком же смысле мы будем понимать дифференциалы от векторных величин во всех остальных интегральных соотношениях, используемых в статье. Эрмитово-сопряженный оператор при стандартном определении скалярного произведения отвечает ядру , где звездочкой обозначена операция комплексного сопряжения.
Будем называть вейлевским представлением оператора следующую функцию [26, 38]:
(3)
Здесь и далее каллиграфическое написание относится к ядрам операторов в форме (2), а аналогичное курсивное – к их вейлевскому представлению (3). Обратное выражение для ядра линейного оператора через его вейлевское представление есть
(4)
Таким образом возникает взаимно-однозначное соответствие между операторами (2) и их вейлевскими представлениями (3).
Вычисляя комплексное сопряжение от формулы (3), получаем
То есть комплексное сопряжение вейлевского представления линейного оператора порождает эрмитово-сопряженный оператор . Из этого следует, что эрмитову оператору отвечает действительное вейлевское представление, а антиэрмитовому оператору – чисто мнимое представление.
Рассмотрим, например, оператор умножения на функцию координат
Отвечающее ему вейлевское представление есть
Другой пример. Операторы дифференцирования
имеют вейлевские представления
При этом действительное представление будет отвечать эрмитовому оператору .
Вейлевское представление суперпозиции линейных операторов и имеет вид
Разложим подынтегральные функции в ряды по , , , и выполним интегрирование по координатам и . В результате получим
Нижний индекс в частных производных определяет “направление” дифференцирования: дифференциальный оператор, записанный через , применяется только к функции , а дифференциальный оператор применяется только к . Слагаемые в этой сумме отличны от ноля только при и . После этого мы получаем ответ в виде ряда, который может быть формально записан через экспоненту от оператора:
(5)
В результате мы получили выражение для суперпозиции операторов в представлении Вейля. Еще раз подчеркнем, что экспонента здесь – это формальная запись для операторного ряда.
Для произвольного комплексного поля можно определить функцию Вигнера [25]
(6)
Функция Вигнера принимает действительные значения. Кроме того, она имеет следующие свойства:
(7)
Здесь есть Фурье-образ . Эти свойства позволяют в квантовой механике использовать функцию Вигнера как аналог функции распределения в фазовом пространстве [25, 26]. Заметим, что таким образом определенная функция хотя и является действительной, не обязана быть знакоопределенной, что может нарушать некоторые интуитивные представления, связанные с обычной функцией распределения.
Рассмотрим представление решения произвольного дифференциального или интегро-дифференциального линейного уравнения через функцию Вигнера. Пусть имеется уравнение
(8)
где линейный оператор с интегральным ядром . Это уравнение равносильно операторному уравнению
(9)
где линейный оператор с интегральным ядром . Необходимость условия (9) для выполнения (8) следует из очевидного соотношения
Его достаточность следует из соотношения
и линейности оператора . Таким образом, уравнения (8) и (9) полностью эквивалентны.
Вейлевское представление оператора в точности совпадает с функцией Вигнера (6) для поля . Воспользовавшись формулой (5) для суперпозиции линейных операторов, уравнение (9) можно переписать в вейлевском представлении как
(10)
Важно отметить, что это уравнение, часто называемое кинетическим уравнением на функцию Вигнера, также полностью эквивалентно исходному уравнению (8). Заметим, что под кинетическим уравнением часто понимают и приближенные уравнения, отвечающие разложению операторной экспоненты в конечный ряд Тейлора.
3. Тензор вигнера для монохроматического электромагнитного поля
Поскольку функция Вигнера квадратична по полю, то комплексное векторное поле порождает тензорную функцию Вигнера. В частности, для распределения комплексной амплитуды монохроматического электрического поля можно ввести тензорную функцию Вигнера (тензор Вигнера)
(11)
Греческими буквами , , ... мы будем обозначать индексы, нумерующие декартовы компоненты электрического поля. Эти индексы во всех последующих выкладках пробегают значения x, y и z.
Как и в скалярном случае, через тензорную функцию Вигнера может быть выражена любая билинейная функция компонент поля. В частности, квадрат модуля электрического поля и тензор корреляции полей в разных точках находятся следующим образом:
(12)
Рассмотрим систему волновых уравнений на комплексные амплитуды электрического поля (три декартовы компоненты ), следующую из уравнений Максвелла для монохроматического поля с частотой . В анизотропной линейной среде с тензором диэлектрической проницаемости эта система определяется как
(например, [37], 3 гл. 2). Здесь D оператор Лапласа, размерная постоянная, имеющая смысл волнового числа в вакууме для монохроматического волнового поля. В соответствии с результатами предыдущего раздела, эта система уравнений эквивалента матричной системе уравнений
которая в свою очередь сводится к системе уравнений для компонент тензора Вигнера исходного поля
(13)
где
(14)
Получившееся матричное кинетическое уравнение, аналогичное (10), позволяет строить решения для тензорной функции Вигнера с любой необходимой точностью. Заметим, что в средах с пространственной дисперсией тензор диэлектрической проницаемости должен задаваться нелокальным интегральным оператором вида (2) с ядром ; в средах без пространственной дисперсии действие тензора диэлектрической проницаемости сводится к умножению на числовую матрицу .
4. Нулевой порядок. Скалярная функция Вигнера для электромагнитного поля
В плавнонеоднородной среде, в которой масштабы неоднородности среды и характерные размеры распределения интенсивности комплексной амплитуды поля много больше длины волны, , возможно построение упрощенной асимптотической теории на базе кинетического уравнения (13). При этом следует учесть, что каждая операция в операторной экспоненте приводит к повышению порядка малости по параметру геометрической оптики .
В нулевом порядке теории возмущений операторная экспонента в (13) заменяется тождественным оператором, что дает
(15)
Это матричное тождество, которое должно выполняться покомпонентно для всех и . Для решения этого уравнения нам потребуется использовать дополнительные физические соображения, ограничивающие вид волнового оператора. Во-первых, заметим, что для существования нетривиального решения для тензора Вигнера необходимо, чтобы одно из собственных значений матрицы волнового оператора принимало нулевое значение при определенных R и K. Обозначим это собственное значение H(R,K). Во-вторых, будем считать, что в рассматриваемой задаче отсутствует поляризационное вырождение, то есть для всех R и K выделенному собственному значению Н отвечает ровно один собственный вектор с компонентами
(16)
Физически это означает, что мы не рассматриваем изотропные среды и исключаем специальный случай линейного взаимодействия нормальных волн, которое реализуется в окрестности точки поляризационного вырождения уравнений Максвелла в анизотропных и гиротропных средах с глобально снятым поляризационным вырождением [39]. Вектор можно трактовать как вектор поляризации электрического поля для нормальной моды среды, а выполняющееся на нетривиальных решениях условие как соответствующее геометрооптическое дисперсионное соотношение, с учетом сделанных замечаний полностью эквивалентное условию разрешимости волнового уравнения . Из (16) следует очевидное равенство
(17)
справедливое, если вектор поляризации нормирован на единицу, .
С формально математической точки зрения приведенные выше условия означают, что размерность ядра волнового оператора не может быть больше единицы и в точности равна ей в решениях (15). Поэтому образ оператора , отвечающего решению (15), должен состоять из одного (с точностью до растяжений) элемента . Другими словами, должен проектировать любой вектор на вектор поляризации :
Эрмитов оператор, удовлетворяющий этому свойству, имеет общий вид
(18)
Чтобы показать это достаточно перейти в базис, первым из векторов которого является вектор поляризации . В этом базисе матрица имеет единственный ненулевой элемент .
Заметим, что тензорное представление (18) описывает электрическое поле вида
(19)
где есть оператор поляризации, однозначно определяемый по своему вейлевскому представлению , а есть скалярная комплексная амплитуда волнового поля. Функция в точности соответствует функции Вигнера, отвечающей распределению скалярной комплексной амплитуды в соответствии с (6), поэтому будем называть эту величину скалярной функцией Вигнера. Эта функция принимает только действительные значения.
Напомним, что формула (18) определяет решение уравнения (15) только если отвечает ядру волнового оператора, поэтому
(20)
где произвольная действительная функция, дельта-функция Дирака, отвечающаа за выполнение дисперсионного соотношения. Таким образом, мы построили точное решение кинетического уравнения для тензора Вигнера в нулевом порядке теории возмущений.
5. Связь с квазиоптическим приближением
С методической точки зрения полезно представить матричные уравнения (13) как одно уравнение на скалярную функцию Вигнера, заданную в виде в виде (18)
(21)
Уравнениям нулевого порядка (15) соответствует
Эквивалентное (21) уравнение на электрическое поле, действующее в исходном (не вигнеровском) пространстве, есть
(22)
где оператор, заданный вейлевским представлением (17), которое в свою очередь определяется как собственное число вейлевского представления исходного волнового оператора . Оператор будем называть оператором Гамильтона уравнения на скалярную амплитуду. Это определение несколько условно, поскольку наш оператор не обязательно эрмитов. Как обычно, эрмитова часть оператора отвечает за “обратимый” диэлектрический отклик и, как мы увидим ниже, порождает гамильнонову динамику в консервативной среде, а антиэрмитова часть отвечает за необратимые процессы диссипацию электромагнитного поля или его усиление в неравновесной среде.
Представление поля в плавнонеоднородной среде в виде невзаимодействующих мод вида (19) с фиксированными поляризациями и неизвестными скалярными амплитудами, определяемые уравнением (22), соответствует идеям аберрационного квазиоптического приближения, развитого в работах [15–19, 40]. Обсуждая связь нашего подхода с последовательной квазиоптической теорией, необходимо отметить два обстоятельства.
Во-первых, уравнение (22), которое в цитируемых выше работах рассматривается как исходное, вводится хотя и естественно, но в значительной степени феноменологически. Строгий вывод этого уравнения в рамках квазиоптики возможен лишь в простейших частных случаях. В неоднородных средах с пространственной дисперсией и диссипацией остается определенный произвол в определении как волнового гамильтониана , так и скалярной амплитуды (ее связи с вектором электрического поля) даже при условии, что все физические критерии применимости квазиоптического приближения выполнены. Как было показано выше, метод функций Вигнера открывает возможность формального определения этих величин. Подчеркнем, что связь с квазиоптикой следует прежде всего из соотношения (16) и следующего из него “точного” дисперсионного соотношения . С другой стороны, вектора поляризации нормальных волн в стандартном геометрооптическом приближении определяются как собственные векторы матрицы , отвечающие нулевому собственному значению. Отсюда можно сделать нетривиальное и отсутствующее в цитируемых работах по квазиоптике утверждение о том, что вейлевское представление оператора , фигурирующего в (19), на самом деле является вектором поляризации одной из нормальных волн в геометрооптическом приближении. В анизотропной или гиротропной среде без пространственной дисперсии каждому направлению отвечает ровно два решения дисперсионного уравнения обыкновенная и необыкновенная электромагнитная волна. В среде с пространственной дисперсией общее число нормальных мод определяется количеством веток дисперсионного уравнения, при этом, если исключить линейное взаимодействие, каждому отдельному корню дисперсионного уравнения отвечает отдельный вектор поляризации (отдельная мода).
Второе обстоятельство связано с различным подходом к решению уравнения (22). Квазиоптический подход основан на разложении решения в окрестности некоторого опорного луча, вдоль которого происходит быстрая вариация фазы волнового поля. При этом вместо (22) рассматривается “укороченное” эволюционное уравнение для медленной огибающей поля вдоль луча
(23)
При этом возникают естественные ограничения на максимальную кривизну опорного луча, которые могут ограничить применение метода, например, при расчете распространения квазистатических сильнозамедленных мод в теплой плазме. Кроме того, в процессе укорочения волнового гамильтониана возникают дополнительные формальные сложности с определением антиэрмитовой части , ответственной за резонансную диссипацию, которые приходится преодолевать феноменологическими приемами [17–19]. Как будет показано ниже, асимптотическая теория, основанная на кинетическом уравнении для функции Вигнера, позволят обойти эти трудности, при этом опираясь только на лучевую оптику и уравнение переноса интенсивности вдоль луча. Однако за это приходится “расплачиваться” тем, что этот метод дает информацию только о квадратичных по электрическому полю усредненных величинах.
6. Первый порядок. Кинетический лучевой подход
Мы пришли к квазиоптическому уравнению для скалярной амплитуды, опираясь на нулевое приближение в строгом кинетическом уравнении для тензора Вигнера. Следующее приближение мы будем строить так, чтобы сохранить квазиоптическое представление поля, которое уже показало свою применимость для широкого круга задач. С физической точки зрения это означает, что мы по прежнему пренебрегаем линейным взаимодействием мод, а также рассеянием во встречную волну для заданной моды . C формально-математической точки зрения это означает, что мы “навязываем” диагональную форму для тензора Вигнера (18). То есть мы будем учитывать только поправки к диагональным членам, возникающие при разложении матричного кинетического уравнения (13) по малому параметру , при этом потребуется последовательно избавляться не только от старших порядков, но и от всех членов, приводящих к возникновению внедиагональных компонент и связи разных диагональных элементов .
Для этого будем сразу искать решение уравнений (13) в виде (18). Получим скалярное кинетическое уравнение (21), которое будем рассматривать как исходное уравнение для построения асимптотической теории для скалярной функции Вигнера .
Разложим операторную экспоненту в (21) в ряд Тейлора до первого порядка по . Кроме того, дополнительно мы будем считать среду слабодиссипативной, т.е. полагать малой мнимую часть представления Вейля для оператора Гамильтона (17)
(24)
В результате получим комплексное уравнение на действительную функцию , которое может быть разделено на действительную и мнимую части, после чего приходим к следующим двум уравнениям:
(25)
(26)
Первое уравнения соответствует приближению нулевого порядка, в котором отброшены диссипативные члены. Его решение аналогично (20):
(27)
где произвольная действительная функция, которая должна уточняться из второго уравнения, а выполняющееся на решениях (25) условие
(28)
воспроизводит геометрооптическое дисперсионное соотношение в слабодиссипативной среде.
Уравнение Больцмана (26) решается методом характеристик. Рассмотрим функции R(t) и K() и , удовлетворяющие уравнениям Гамильтона
(29)
Волновой вектор K здесь играет роль канонического импульса, сопряженного координате R. Для величины
получаем уравнение
(30)
Его решение вдоль характеристики имеет вид
(31)
определяется начальными условиями при , которые задаются на некоторой поверхности Г0 в шестимерном фазовом пространстве. Области с отвечают за диссипацию поля, области с отвечают за усиление в неравновесных средах.
Чтобы восстановить значение в некоторой заданной точке фазового пространства, достаточно посчитать “лучевое расстояние” от этой точки до поверхности Г0. Для этого нужно просчитать решения уравнений (29) с начальными условиями в обратном направлении вплоть до момента, когда характеристика достигнет Г0 , т.е. надо найти решение такое, что
Г0.
Заметим, что в практических расчетах обычно требуется вычислить сразу все поле или его интегральные характеристики, поэтому обратная трассировка лучей не эффективна. Вместо этого можно выпустить набор лучей с поверхности начальных условий Г0 и некоторым образом фиксировать прохождение лучей с учетом набираемого веса через разбитое на ячейки фазовое пространство.
Уравнения характеристик сохраняют гамильтониан . Поэтому, уравнение (30) и его решение применимы как к , так и к введенной в (27) функции (при этом меняется смысл и размерность ). Первый случай реализуется, если для начальных условий выполнено дисперсионное соотношение (28), при этом определяет решение обоих уравнений (25), (26). Однако с технической точки зрения нам будет удобнее оставить в явном виде, поэтому решение системы уравнений (25), (26) представим в виде
(32)
где определяется (31). Способ задания мы обсудим в разд. 8.
Покажем, что полученное решение не зависит от нормировки гамильтониана. Рассмотрим новую функцию Гамильтона , полученную умножением исходной на произвольную положительную функцию . Очевидно, такое умножение не влияет на выполнение условия (28), а в уравнениях на характеристики (29) может быть скомпенсировано переопределением эволюционной координаты . Поэтому , то есть аргумент экспоненты в (31) является инвариантом нашего преобразования, а ослабление или усиление поля вдоль луча не зависит от нормировки .
Уравнения (29) в совокупности с решением (32) принято называть кинетическим лучевым подходом. Отметим отличия описываемого подхода от метода уравнения эйконала в геометрической оптике [41]. Во-первых, уравнение эйконала действует в трехмерном пространстве r, а уравнения на функцию Вигнера в шестимерном пространстве . В отличие от трехмерного пространства, в шестимерном пространстве для стационарного гамильтониана фазовые траектории не пересекаются. Поэтому в кинетическом подходе нет проблемы “схлопывания силовой трубки” и связанной с ней неоднозначности решения. В рамках метода уравнения эйконала эта проблема также может решаться переходом к другой трехмерной проекции шестимерного фазового пространства [42, 43]. Во-вторых, не возникает необходимости интегрирования фазы вдоль луча. В-третьих, уравнение переноса сводится к тривиальному, но в определенном смысле строгому виду (30) в отличие от приближения геометрической оптики, в котором уравнение переноса излучения вдоль луча либо феноменологическое, либо должно обосновываться достаточно сложными внешними способами [44].
7. Второй порядок. Диффузионное приближение
Учет следующего порядка по малому параметру в уравнении (21) приводит к поправке диффузионного типа. Вместо уравнения (26) мы получаем
(33)
Здесь для сокращения записи введены 6-компонентные векторы
Левая часть уравнения (33) совпадает с (26). Член со вторыми производными функции в правой части описывает диффузию в импульсном пространстве, если поглощение неоднородно, и в координатном пространстве, если присутствует пространственная дисперсия поглощения.
Для физической корректности уравнения (33) в диссипативных средах наряду с знакоопределенностью мнимой части гамильтониана (H˝ < 0) необходимо также потребовать положительной определенности квадратичной формы . Следует также отметить, что малость поглощения в условии (24) не всегда гарантирует малость пространственных производных в , которые при резонансном характере поглощения могут быть весьма значительными [45–47]. Кроме того, на длинных трассах распространения эффект диффузии функции Вигнера будет “накапливаться”, что может приводить к качественно новым эффектам. Особенно ярко это проявляется в случаях распространения вдоль резонансных поверхностей [7, 13, 14].
Формально появление диффузионных членов лишает кинетический лучевой подход главного численного преимущества возможности независимого расчета характеристик и эволюции функции Вигнера вдоль них. В этом случае численное решение уравнения (33) становится едва ли не сложнее, чем прямое полноволновое моделирование. Однако если рассматривать уравнение (33) как аналог кинетического уравнения на некоторую функцию распределения, то члены, отвечающие за учет неоднородности поглощения, могут интерпретироваться как переход от уравнения Больцмана к уравнению ФоккераПланка. Поэтому напрашивающимся эффективным численным методом решения обозначенной выше проблемы является переход к стохастическому описанию динамики отдельных лучей, приводящей к диффузии после усреднения по статистическому ансамблю [48, 49].
Для этого рассмотрим семейство лучей, подчиняющегося уравнениям Ланжевена,
где стохастическая сила в 6-ти мерном пространстве, обладающая нулевым средним и тензором дисперсии . Эффективный способ генерации псевдослучайной последовательности, обладающей указанными свойствами, изложен в Приложении 1. Выделяя координаты и импульсы по отдельности, получаем лучевые уравнения в привычной форме Гамильтона
(34)
но с добавочным ланжевеновскими источниками GR и GK, представляющими, соответственно, первые три и последние три компоненты случайного вектора . Если интенсивность вдоль луча меняется по закону (31), то в приближении ФоккераПланка функция распределения для такого семейства лучей
описывается диффузионным уравнением (33). Таким образом, моделируя случайные реализации семейства лучей (34), отвечающие одинаковым начальным условиям, и усредняя по ансамблю, содержащему достаточное число реализаций, можно найти решение искомого уравнения с заданной точностью.
Здесь необходимо вспомнить, что кроме диффузионного кинетического уравнения, нам необходимо обеспечить выполнение уравнения (25) и следующего из него дисперсионного соотношения (28). Для этого стохастическая сила G должна обеспечивать сохранение гамильтониана, что возможно только если диффузия происходит в пространстве меньшей размерности. Возможность понизить размерность пространства, в котором происходит диффузия, связана с тем, что функция Вигнера на “соседних” лучах может меняться заметно вследствие накопления эффектов диффузии на трассе, в то время как неоднородность функции Вигнера вдоль луча определяется только локальной диссипацией. Поэтому вдоль луча функция Вигнера меняется плавно. Наиболее простой способ учесть подобные соображения это полностью запретить стохастическую диффузию вдоль луча. Этого можно добиться модификацией случайной силы в уравнениях (34):
где единичный вектор вдоль траектории. При таком выборе силы стохастически возмущаются только величины, поперечные к лучу, изменение продольного импульса при этом подчиняется закону сохранения гамильтониана.
Формально такой переход может быть строго (но очень громоздко) осуществлен на основе теоремы о понижении порядка автономной гамильтоновой системы ([50], 141). Отметим также, что предложенное модельное описание “продольной” части диффузии в импульсном пространстве приводит к отказу от учета возможного отражения луча от области неоднородности (в частности, от резонанса среды), то есть перескоку с одной ветки решения уравнения на другую, отвечающую волне той же поляризации, но распространяющейся в обратном направлении [46, 47].
8. Начальные условия для кинетического уравнения
Для того, чтобы воспользоваться полученными решениями в практических расчетах, необходимо задать значение скалярной функции Вигнера при для всего пятимерного набора характеристик Г0 (поверхность в шестимерном пространстве). Поскольку лучевые уравнения (29), (30) и (34) не содержат переменную явным образом, мы имеем право выбирать поверхность Г0 как нам удобно.
Пусть распределение комплексной амплитуды поля задано на плоскости , причем волна распространяется из полупространства в полупространство . Будем отсчитывать момент для каждой характеристики от момента, когда она пересекает плоскость . Координаты и волновыве вектора (импульсы) на этой плоскости задаются двумерными (поперечными) векторами и , которые являются свободными параметрами при выборе начальных условий для лучевых уравнений. Воспользовавшись дисперсионным уравнением (28), можно определить начальный импульс при и всех возможных значениях начальных поперечных координат и импульсов. Таким образом мы задаем полный набор начальных координат и импульсов в шестимерном пространстве, необходимый для расчета характеристик в соответствии с лучевыми уравнениями (29) или (34).
Очевидно, что начальная функция Вигнера в (31) также зависит только от четырех свободных параметров – компонент поперечных координат и импульсов. При этом истинная функция Вигнера в шестимерном фазовом пространстве на плоскости должна зависеть от пятого параметра продольного импульса . Эта зависимость определяется дисперсионным соотношением, которое выражено в виде множителя в (32). В итоге функция Вигнера при представляется в виде
(35)
Для того, чтобы определить , воспользуемся соотношением (7) для заданного при распределения комплексной амплитуды или, эквивалентно, :
Выполняя обратное преобразование Фурье, получаем
(36)
Итак, мы пришли к физически понятному результату – шестимерная функция Вигнера для полного поля (35) определяется через четырехмерную начальную функцию Вигнера (36), вычисленную по заданному двумерному распределению комплексной амплитуды на границе области моделирования.
В качестве важного практического примера рассмотрим волновое поле с обобщенным гауссовским распределением
заданное в вакууме,
Отвечающая этим условиям начальная функция Вигнера (35) есть
9. Плотность потока энергии
Одновременно со скалярной функцией Вигнера, в квазиоптическом приближении может быть найдено выражение для плотности потока энергии монохроматического электромагнитного поля в плавнонеоднородной слабодиссипативной среде с пространственной дисперсией.
Рассмотрим сначала случай среды без пространственной дисперсии, в которой средняя плотность потока энергии равна вектору Пойнтинга, см., например, формулу (9.5) § 9 гл. 2 [37]:
Учитывая связь между электрическим и магнитным полем, , следующую из уравнений Максвелла для -процессов, получаем
где – проекция вектора Пойнтинга на декартову ось . Воспользовавшись (12), можно выразить квадратичные по полю величины через тензор Вигнера:
(37)
Подынтегральную часть в квадратных скобках можно интерпретировать как суммирование по вкладам от всех плоских волн. Оставшееся слагаемое с производными от тензора Вигнера описывает дополнительный поток энергии, возникающий, например, в пучке циркулярно поляризованных волн из-за неоднородного распределения момента импульса поля или за счет линейного взаимодействия нормальных мод. Этот вклад важен для интерпретации тонких эффектов, таких как смещение Федорова–Имберта [51]. Однако в квазиоптическом приближении члены с производными от тензора Вигнера появляются в в следующем порядке и ими можно пренебречь. С этой же точностью тензор Вигнера определяется по скалярной функции Вигнера W с помощью соотношения (18).
Известно, что в среде с пространственной дисперсией плотность потока энергии отличается от вектора Пойнтинга ([37], 9 гл. 2). Связанный с пространственной дисперсией дополнительный член в плотности потока энергии довольно изящным способом можно связать с тензорной функцией Вигнера. Этот вывод для случая плавнонеоднородной среды приведен в Приложении 2. Поправка к плотности потока энергии может быть выражена следующим образом:
(38)
где – эрмитова часть тензора вейлевского представления диэлектрического оператора . Комбинируя (37), в котором отбросили последнее слагаемое, и (38), получаем плотность потока энергии в виде
Выражение в фигурных скобках удалось упростить, используя соотношение (14) для эрмитовой части вейлевского представления волнового оператора. Подставим под интеграл тензорную функцию Вигнера в виде (18), воспользуемся дисперсионным соотношением (28) и следующим из него соотношением , получим
где – действительная часть вейлевского представления оператора Гамильтона (17). В итоге получаем
(39)
Таким образом, мы приходим к универсальному выражению, не зависящему от наличия или отсутствия пространственной дисперсии среды. Вычисление декартовой компоненты вектора плотности потока энергии сводится к вычислению свертки скалярной функции Вигнера с производной от действительной части гамильтониана по соответствующей компоненте волнового вектора. Очевидно, это равенство можно трактовать и как векторное, связывающее S и .
Подставим теперь в выражение (39) полученное ранее решение для функции Вигнера. Прежде чем переходить к общему случаю, рассмотрим поток энергии через плоскость z = 0, в которой задаются начальные условия. Функция Вигнера в этом случае определяется выражением (35), а нормальная компонента плотности потока энергии есть
(40)
При получении этой формулы производная от гамильтониана сократилась, при этом мы учли, что . Физически последнее условие означает, что все характеристики (лучи) выпускаются в “положительном” направлении оси . Полный поток энергии через плоскость равен
К общему случаю можно перейти с помощью наглядных физических соображений. Для этого заметим, что величина имеет смысл доли полной мощности, приходящейся на один луч с начальными координатами и импульсами 0 . С другой стороны, диссипация этой мощности может быть описана как затухание вдоль луча в соответствии с уравнением (30) и его решением (31). Поэтому полный поток энергии, протекающий через некоторую произвольную ориентированную поверхность Г с нормалью , равен
(41)
Интеграл берется по всем начальным поперечным координатам и импульсам, для которых характеристика пересекает поверхность Г, функция начальных условий определяет значение эволюционной переменной, при котором луч пересекает поверхность Г, а экспонента определяет коэффициент ослабления интенсивности для каждого луча. В общем случае лучи могут пересекать поверхность с разных сторон – это учитывает дополнительный множитель , который должен вычисляться в точке на поверхности; здесь – компонента импульса вдоль нормали к поверхности.
К такому же результату можно прийти и более формальным и математически строгим путем. Для этого рассмотрим поток энергии через элементарную площадку dRГ = dR1dR2 поверхности Г с нормалью n. В рассматриваемой точке на поверхности разложим импульс на продольную и поперечную составляющие по отношению к нормали,
K = Knn + KГ,
где КГ = (К1, К2) есть двумерный волновой вектор, отвечающий локальным координатам RГ = (R1, R2). Поток энергии через элементарную площадку определяется из (39) как
Подставим сюда наше общее решение (32) для функции Вигнера. Интеграл по можно взять за счет , при этом производные гамильтониана сокращаются (остается только знак), а оставшаяся часть функции Вигнера выражается через формулу (31). В итоге c учетом определения w (40) получаем
(42)
Здесь τ* по прежнему есть значение эволюционной переменной, при котором луч пересекает поверхность.
Неудобство выражения (42) связано с тем, что интегрирование в нем подразумевается по конечным точкам пути RГ KГ, в то время как удельный вес w и точка остановки лучей определяются начальными условиями на плоскости . Чтобы избежать необходимости решать обратную задачу вдоль характеристик, можно воспользоваться теорией интегральных инвариантов гамильтоновых систем ([50], § 122), позволяющей перейти к интегрированию по начальным условиям. Для этого воспользуемся теоремой о понижении порядка автономной системы уравнений Гамильтона, которая утверждает, что поскольку величина явно не входит в гамильтониан , то эволюция величин RГ и KГ будет также описываться с помощью некоторой системы уравнений Гамильтона[1]. Для этой новой системы воспользуемся теоремой Лиувилля, утверждающей о сохранении фазового объема при эволюции во времени для любой гамильтоновой системы. В нашем случае это сохранение четырехмерного фазового объема
В результате в (42) можно перейти к интегрированию по начальным поперечным координатам и импульсам, после чего это выражение становится полностью эквивалентным (41).
Аналогичным образом может быть построена плотность мощности, поглощаемой в объеме в окрестности точки . Для этого достаточно заметить, что эта мощность определяется правой частью (30) и заменить интегрирование по лучам, которые пересекают поверхность Г, на интегрирование по лучам, которые приходят в точку . В результате можно получить
(43)
На практике численное вычисление интегралов такого вида удобно реализовать в виде подсчета гистограммы – фазовое пространство разбивается на ячейки, выпускается набор лучей с разными начальными условиями так, чтобы покрыть всю интересующую нас область фазового пространства, и подсчитывается количество попаданий лучей в каждую ячейку фазового пространства с учетом набранного веса. В данном случае весом выступает плотность мощности вдоль луча .
Указанные рассуждения сохраняют силу и для стохастических уравнений Гамильтона (34), если стохастическая сила сохраняет гамильтониан и все манипуляции с фазовыми объемами проводятся для одной “замороженной” реализации случайной силы G. Для этой реализации необходимо посчитать интегралы (41) и (43) по всем начальным условиям, и только потом переходить к следующей реализации для набора статистики.
В дополнение к сравнению метода функций Вигнера и метода эволюционного квазиоптического уравнения, приведенному в разделе 5, отметим, что первый метод значительно более экономичен к памяти компьютера. Действительно, при вычислении интегралов вида (41) или (43) методом гистограмм размер необходимой памяти определяется только размерностью левой части, у нас нет необходимости запоминать координаты лучей в шестимерном пространстве. Высокая размерность задачи проявляется только в пространстве начальных условий (четырехмерном), что сказывается на времени вычислений, но не на требованиях к памяти. При вычислении гистограмм начальные условия можно перебирать один за другим последовательно в любом порядке, кроме того, эта задача естественным образом распараллеливается. С другой стороны, при реализации квазиоптического расчета, основанного на уравнении (23), на каждом шаге по эволюционной координате t необходимо вычислять псевдодифференциальный оператор . В общем случае эта операция в четырехмерном пространстве, отвечающем двум координатам поперек опорного луча и сопряженным им каноническим импульсам. Поэтому, если для хранения для заданного t использовать двумерный массив с числом элементов , то для вычисления потребуется хранить в памяти четырехмерный массив с числом элементов .
10. Пример
В качестве иллюстрации применения описанной техники расчета рассмотрим схему ЭЦ нагрева плазмы в токамаке Т-15МД на третьей гармонике гирочастоты, предложенную в [9]. В этой схеме предполагается вертикальный ввод излучения с частотой 140 ГГц и поляризацией, отвечающей необыкновенной волне, через верхний порт токамака. Магнитное поле на оси токамака при этом составляет 1.67 Тл, что соответствует ЭЦ резонансу на третьей гармонике. В статье [9] были проведены довольно грубые оценки на основе геометрической оптики, показавшие, что при характерных ожидаемых параметрах разряда в токамаке Т-15МД и углах ввода изучения в районе 310° к вертикали можно добиться поглощения более 99% от вводимой мощности СВЧ-излучения. Приведенный ниже анализ приводит к более скромным оценкам поглощаемой мощности.
Для расчета ЭЦ поглощения методом кинетического уравнения использовался лучевой гамильтониан в слаборелятивистской плазме [12]. Для каждого из рассмотренных сценариев был проведен расчет:
· пространственного распределения интенсивности поля,
· профиля поглощения СВЧ-мощности, определяемого аналогично (43), ,
где
· доли поглощенной мощности, .
Для нахождения функции Вигнера в шестимерном фазовом пространстве были использованы 810 000 лучевых траекторий, отвечающей сетке в черырехмерном пространстве начальных условий. Расчеты были выполнены двумя способами с помощью кинетического уравнения (33), учитывающего диффузионные поправки во втором приближении, и с помощью уравнения первого порядка (26) без учета диффузионных членов.
Для моделирования были выбраны следующие параметры на магнитной оси системы: электронная температура 3 кэВ, плотность плазмы см–3, магнитное поле 1.67 Тл. Используемые в расчетах профили температуры и плотности плазмы приведены на рис. 1. Метки магнитной поверхности вычислялись как квадратный корень из нормированного полоидального магнитного потока :
Рис. 1. Профили электронной температуры (а) и плотности плазмы (б), использованные в моделировании.
Магнитная конфигурация была аналогична [9]. Начальный СВЧ пучок соответствовал системе ввода излучения токамака Т-15МД. Его полуширина в области перетяжки в вакууме по уровню интенсивности составляла 2.2 см, на входе она составляла 3.12 см при радиусе кривизны фазового фронта в 284 см. Точка ввода пучка (координаты центра пучка) задавалась на высоте 142 см от экваториальной плоскости.
Были рассчитаны два сценария ЭЦ-нагрева, в обоих случаях вводимый СВЧ-пучок в вакууме нацеливался на магнитную ось системы. В первом сценарии угол ввода пучка составлял 5° к вертикали, во втором 10° к вертикали, при этом мы смещали горизонтальную координату точки ввода излучения.
Результаты моделирования приведены на рис. 2. Эффективность поглощения для ввода СВЧ-пучка под углом 5° к вертикали составляет 32%, при этом энерговклад локализован в окрестности магнитной оси. Моделирование показало важность учета диффузионных членов в кинетическом уравнении эффективность поглощения, рассчитанная без учета этих членов, составила 21%. Отметим, что эффективность поглощения в данном случае в основном ограничивается отражением от области резонанса. Для ввода под углом 10° к вертикали поглощение становится более эффективным, несмотря на то, что из-за рефракции точка резонанса для пучка смещается примерно на 60 см ниже магнитной оси системы. Доля поглощенной мощности при этом составляет 88%. Расчет без эффектов лучевой диффузии показал завышенную эффективность поглощения на уровне 93%
Рис. 2. Моделирование распространения и поглощения квазиоптических волновых пучков в плазме токамака: сценарий ЭЦ-нагрева на третьей гармонике с вводом излучения под углом 5° к вертикали (верхний ряд) и 10° к вертикали (нижний ряд). Приведены распределения интенсивности волнового поля | u | 2 в полоидальном сечении токамака, рассчитанные без учета диффузионных членов в первом порядке теории возмущений (а, г) и с учетом диффузионных членов во втором порядке теории возмущений (б, д). Сплошной красной линией выделена область поглощения СВЧ-мощности, определенная по уровню max (dP / dV) / 2 ; пунктирная линия обозначает границу плазмы. На графиках (в, е) приведены профили поглощенной мощности П(ρ) с учетом (2) и без учета (1) диффузионных членов.
Таким образом, диффузия, связанная с неоднородным поглощением, может приводить как к увеличению, так и к уменьшению поглощаемой мощности. В первом случае, который реализуется при вертикальном воде, волна отражается от области вариации действительной части гамильтониана в районе резонанса, в этом случае диффузия лучей помогает преодолеть потенциальный барьер отдельным случайным лучам. Во втором случае, который реализуется при более наклонном вводе излучения, большая часть лучей свободно проходит над барьером, связанным с вариацией действительной части гамильтониана. Роль диффузии при этом прямо противоположна случайные возмущения приводят к тому, что отдельные лучи могут отразиться от потенциального барьера. Поэтому тонкие эффекты диффузии приводят к дополнительному отражению излучения от области ЭЦ-поглощения и уменьшению эффективности нагрева.
11. Заключение
В данной работе приведено систематическое изложение метода кинетического уравнения для функции Вигнера для моделированию распространения и поглощения электромагнитных волн в анизотропных и гиротропных диссипативных средах с пространственной дисперсией. Для случая плавнонеоднородных и слабодиссипативных сред, наиболее востребованного для практических приложений, построена асимптотическая теория. В первом порядке эта теория приводит к кинетическому уравнению Больцмана, решения которого можно строить в виде суперпозиции характеристик невзаимодействующих лучей в шестимерном фазовом пространстве. Кинетическое уравнение для лучей (формализм Вейля) было известно и раньше, однако в нашей работе мы предложили физическое обоснование ввода скалярной функции Вигнера для описания векторной волновой задачи. Во втором порядке кинетическое уравнение Больцмана переходит к уравнению типа ФоккераПланка, причем диффузионные члены появляются за счет неоднородного поглощения. Это означает, что между лучами возникает “диффузия” интенсивности, которая, в свою очередь, может быть эффективно смоделирована с помощью стохастических членов в уравнениях Гамильтона для отдельных лучей. Это позволяет учесть диффузионные эффекты непосредственно в кинетическом лучевом уравнении без заметного усложнения численной схемы его решения.
Авторы пришли к данному методу при попытке дать формальное обоснование последовательному (аберрационному) квазиоптическому подходу и, в более широком смысле, процедуре восстановления диэлектрического отклика неоднородной диспергирующей среды по его геометрооптическому пределу. Метод кинетического уравнения позволил продвинуться в данном направлении. Кроме того, он обладает некоторыми дополнительными преимуществами по сравнению с квазиоптическим подходом, основанным на укорачивании волнового уравнения на комплексную амплитуду геометрооптической моды, такими как более прозрачный учет неоднородной диссипации, отсутствие ограничений на кривизну лучей, очень экономное использование памяти при численном решении. В работе этот вопрос не рассматривается, но представляется вполне очевидным, что дальнейшее обобщение для учета линейного взаимодействия мод в рамках кинетического подхода проводится более просто и строго, чем в рамках обычного квазиоптического подхода. Действительно, уравнения (13) эквивалентны уравнениям Максвелла, поэтому описывают полное векторное поле; переход к взаимодействующим модам соответствует диагонализации в этих уравнениях, которая может быть выполнена приближенно. Тем не менее оба подхода, кинетический и квазиоптический, активно развиваются, какой из них лучше подходит для решения актуальных задач электродинамики высокотемпературной плазмы, покажет время.
Приведенный пример расчета сценария ЭЦ нагрева в большом токамаке показал, что неоднородность поглощения поперек квазиоптического волнового пучка может приводить к систематической ошибке при использовании кинетического уравнения первого порядка (для невзаимодействующих лучей) по сравнению с результатами использования кинетического уравнения второго порядка (диффузионное приближение). В этом предварительном примере мы хотели проиллюстрировать новые эффекты, связанные с неоднородным поглощением, которые не описываются обычным кинетическим уравнением для лучей первого порядка, как, впрочем, и остальными стандартными методами, упомянутыми во введении. Более детальное описание созданного для этой демонстрации нового кода, его верификация и результаты моделирования сценариев ЭЦ-нагрева плазмы в перспективных установках будут опубликованы отдельно. Заметим только, что вклад, связанный с поперечной неоднородностью поглощения, может оказаться заметным для тангенциальной или вертикальной инжекции волновых пучков в тороидальную ловушку [7, 13, 14], а также поперечного ввода излучения в аксиально-симметричную магнитную ловушку [11].
Работа выполнена в рамках государственного задания ИПФ РАН (тема FFUF-2023-0002) и ФТИ РАН (по договору между ФТИ РАН и ИПФ РАН 44-6-24 от 29.07.2024).
Приложение 1. Генерация случайного вектора с заданной ковариацией компонент
Для получения случайных величин с заданным тензором дисперсии можно адаптировать метод Якоби диагонализации квадратичной формы [52]. При этом для реализации Монте-Карло алгоритма нам не важна конкретная функция распределения случайных величин, нам нужны только первые два момента и ограниченность высших моментов. Приведенная ниже процедура приводит набор из случайных независимых величин , распределенных по какому-то, не обязательно нормальному, закону с нулевым средним и единичной дисперсией,
к набору из случайных зависимых величин с нулевым средним и положительно определенным тензором дисперсии
Процедура следующая:
При этом положительная определенность матрицы гарантирует нам действительность всех коэффициентов, в частности .
Приложение 2. Представление дополнительного потока энергии в диспергирующей среде через тензор Вигнера
Средняя плотность мощности джоулевых потерь для монохроматического поля в произвольной среде равна
где линейный оператор тензора проводимости среды с ядром , а
можно рассматривать как интегральное ядро некоторого формального оператора Этот оператор является суперпозицией оператора проводимости и оператор Вигнера для электромагнитного поля. Поэтому его вейлевское представление определяется с помощью (5) как
(44)
где тензорная функция Вигнера, вейлевское представление тензора проводимости,
Восстанавливая ядро оператора по его вейлевскому представлению в соответствии с формулой (4), находим мощность джоулевых потерь
В плавнонеоднородной среде мы можем разложить экспоненту в (44) ряд до первого порядка. Далее, разобьем матрицу вейлевского представления оператора проводимости на эрмитову и антиэрмитову части, и учтем, что эрмитова матрица. В результате получим
Первое слагаемое представляет собой стандартное выражение для плотности мощности джоулевых потерь (истинное поглощение Q). Второе слагаемое появляется только в средах с пространственной дисперсией. При его вычислении часть оператора не дает вклад в интеграл по , а часть всегда представляется в виде дивергенции от некоторого вектора. Поэтому
Очевидно, последняя часть должна быть включена в выражение для плотности потока энергии. Выразив оператор проводимости через тензор диэлектрической проницаемости, , получим окончательную форму:
Эта формула обобщает известное выражение для дополнительного потока энергии в однородной среде с пространственной дисперсией, смотри, например, формулу (9.18) в 9 гл. 2 [37]. Для того, что бы получить формулу (9.18), надо предположить, что пространственный спектр поля достаточно узкий. Тогда можно вынести из под интегрирования и получить
Наша техника также естественно обобщается для учета следующих поправок, проявляющихся в не слишком плавно неоднородных средах.
[1]Понять это утверждение можно на следующем примере. Из закона сохранения гамильтониана исходной автономной системы можно выразить импульс как функцию всех остальных переменных. Выберем z в качестве эволюционной координаты. Тогда эволюция ортогональных координат x, y и сопряженных им импульсов может рассматриваться как новая неавтономная система с функцией Гамильтона с на месте z. Фазовый объем будет сохраняться на поверхностях z = const. Если гамильтониан укороченной системы умножить на произвольную положительную функцию координат и импульсов, то получим сохранение фазового объема на системе поверхностей, не конгруэнтных z = const.