ЖЭТФ, 2020, том 157, вып. 2, стр. 327-341
© 2020
ГАМИЛЬТОНОВ ФОРМАЛИЗМ ДЛЯ БОЗЕ-ВОЗБУЖДЕНИЙ
В ПЛАЗМЕ С НЕАБЕЛЕВЫМ ТИПОМ ВЗАИМОДЕЙСТВИЯ
Ю. А. Марковa,d*, М. А. Марковаa**, Н. Ю. Марковb, Д. М. Гитманc,d,e***
a Институт динамики систем и теории управления им. В. М. Матросова
Сибирского отделения Российской академии наук
664033, Иркутск, Россия
b Иркутский государственный университет
664003, Иркутск, Россия
c Физический институт им. П. Н. Лебедева Российской академии наук
119991, Москва, Россия
d Томский государственный университет
634050, Томск, Россия
e Институт физики университета Сан-Паулу
05508-090, Сан-Паулу, Бразилия
Поступила в редакцию 17 июня 2019 г.,
после переработки 19 августа 2019 г.
Принята к публикации 28 августа 2019 г.
Построена гамильтонова теория для коллективных продольно-поляризованных бесцветных возбужде-
ний (плазмонов) в высокотемпературной глюонной плазме. Применяется общий формализм построения
теории волн в нелинейных средах с дисперсией, развитый В. Е. Захаровым. В рамках данного подхода
получено в явном виде специальное каноническое преобразование, позволяющее упростить гамильтониан
взаимодействия мягких глюонных возбуждений и тем самым определить новый эффективный гамиль-
тониан. Развитый подход использован для построения кинетического уравнения больцмановского типа,
которое описывает процесс упругого рассеяния коллективных продольно-поляризованных возбуждений
в глюонной плазме и эффект так называемого нелинейного затухания Ландау. Проведено детальное
сравнение эффективной амплитуды плазмон-плазмонного взаимодействия, найденной в рамках класси-
ческой гамильтоновой теории, и соответствующего матричного элемента, вычисленного в рамках высо-
котемпературной квантовой хромодинамики, что позволило определить границы справедливости чисто
классического подхода, представленного в работе.
DOI: 10.31857/S004445102002011X
происходящими без обмена энергией между части-
цами и волнами. В ряде работ [2-7] были постро-
ены и детально исследованы кинетические уравне-
1. ВВЕДЕНИЕ
ния для наиболее простых коллективных возбуж-
дений (ленгмюровских плазмонов) электрон-ионной
В теории обычной электрон-ионной плазмы было
плазмы, описывающие процессы упругого рассея-
показано, что слабая турбулентность плазмы может
ния плазмонов друг на друге.
быть двух типов (см., например, [1]). Слабая тур-
булентность первого типа обусловлена процессами
В настоящее время проявляется определенный
рассеяния волн на частицах плазмы. Слабая тур-
интерес к построению кинетического описания
булентность второго типа обусловлена процессами
нового фундаментального состояния материи:
распада, слияния и рассеяния волн друг на друге,
кварк-глюонной плазмы — плазмы, состоящей из
асимптотически свободных кварков, антикварков
* E-mail: markov@icc.ru
** E-mail: markova@icc.ru
и глюонов (см., например, обзор
[8]), которая,
*** E-mail: dmitrygitman@hotmail.com
возможно, образуется при столкновении ультра-
327
Ю. А. Марков, М. А. Маркова, Н. Ю. Марков, Д. М. Гитман
ЖЭТФ, том 157, вып. 2, 2020
релятивистских тяжелых ядер. Показано, что
Статья имеет следующую структуру. В разд. 2
в пределе больших температур кварк-глюонная
приведен вывод оператора эффективного гамильто-
плазма хорошо описывается эффективной пер-
ˆ
ниана четвертого порядка
H4, описывающего про-
турбативной теорией
[9], переформулированной
цесс упругого рассеяния двух бесцветных плазмо-
на языке кинетических уравнений [10]. Глюонная
нов друг на друге. В разд. 3 введена в рассмотре-
плазма (для простоты в данной работе будем пре-
ние функция распределения плазмонов Nlk и дан
небрегать существованием кварков и антикварков)
анализ корреляционных функций четвертого и шес-
может быть представлена в виде двух подсис-
того порядков по операторам рождения и уничто-
тем: подсистемы жестких термальных глюонов
жения плазмонов ĉ†bk и ĉak. Раздел 4 посвящен вы-
и подсистемы мягких плазменных возбуждений,
воду кинетического уравнения для мягких глюон-
которые обмениваются энергией между собой. В
ных возбуждений больцмановского типа с учетом
высокотемпературной глюонной плазме, так же
эффекта нелинейного затухания Ландау плазмонов.
как и в обычной электрон-ионной, существует
Разделы 5 и 6 связаны с определением явного ви-
два типа коллективных плазменных возбуждений:
да трехплазмонных и четырехплазмонной вершин-
поперечно-поляризованные и продольно-поля-
ных функций в рамках приближения жестких тем-
ризованные (плазмоны). В отсутствие внешних
пературных петель и аппроксимации эффективно-
хромомагнитного или хромоэлектрического полей
го глюонного пропагатора в плазмонном полюсе. В
цветовая матрица плотности числа коллективных
заключительном разд. 7 намечены возможные пути
глюонных возбуждений является диагональной, и
обобщения гамильтонова описания на случай силь-
поэтому данные возбуждения следует трактовать
новозбужденной глюонной плазмы.
как бесцветные.
В Приложении приведены все основные выраже-
ния для эффективных глюонных вершинных функ-
В работе [11] развито кинетическое описание
ций и глюонного пропагатора в высокотемператур-
процессов нелинейного взаимодействия бесцветных
ном приближении жестких температурных петель.
и цветных плазмонов в рамках приближения жест-
ких температурных петель [9, 10]. Основой этого
подхода является вычисление некоторых эффектив-
2. ГАМИЛЬТОНИАН ВЗАИМОДЕЙСТВИЯ
ных токов, порождающих эти процессы. С помо-
БЕСЦВЕТНЫХ ПЛАЗМОНОВ
щью данных токов далее определяются матричные
Рассмотрим далее приложение общей теории
элементы процессов нелинейного взаимодействия
В. Е. Захарова к конкретной системе — высокотем-
произвольного (четного) числа бесцветных плазмо-
пературной глюонной плазме в квазиклассическом
нов. В данной работе представлен альтернативный
приближении. Потенциалы калибровочного поля,
путь кинетического описания нелинейной динами-
которые описывают глюонное поле в системе, яв-
ки плазмонов, основанный на классическом гамиль-
ляются Nc × Nc-матрицами в цветовом простран-
тоновом формализме для систем с распределенны-
стве и определены посредством Aμ(x) = A(x)ta с
ми параметрами, систематически развитый в рабо-
N2c - 1 эрмитовыми генераторами ta цветовой груп-
тах Захарова [5-7], Гитмана и Тютина [12]. Осно-
пы SU(Nc) в фундаментальном представлении1).
вой этого подхода в нашем случае является то, что
Тензор напряженности Fμν (x) = Faμν (x) ta, где
уравнения, описывающие бесстолкновительную вы-
сокотемпературную плазму в приближении жест-
Faμν(x) =μA - ∂ν A + gfabcAA,
ких температурных петель, обладают гамильтоно-
вой структурой, которая была найдена в работах
подчиняется уравнению Янга - Миллса в A0-калиб-
[13-15]. Последнее обстоятельство позволяет нам
ровке:
развить (по крайней мере, для слабо-возбужденных
состояний, см. Заключение) независимый подход
μFμν(x) - ig[Aμ(x), Fμν(x)] - ξ-10nμnνAν(x) =
к выводу кинетического уравнения для мягких
продольно-поляризованных глюонных плазменных
= -jν(x),
возбуждений. В рамках гамильтонова подхода мат-
ричные элементы плазмон-плазмонного взаимодей-
1) Цветовой индекс a пробегает значения 1, 2, . . . , N2c - 1, в
то время как векторный индекс μ пробегает значения 0, 1, 2, 3.
ствия получаются в результате специальных кано-
Всюду в тексте статьи по дважды повторяющимся индексам
нических преобразований, упрощающих гамильто-
подразумевается суммирование и используется система еди-
ниан взаимодействия плазмонов.
ниц, в которой ℏ = c = 1.
328
ЖЭТФ, том 157, вып. 2, 2020
Гамильтонов формализм для бозе-возбуждений в плазме. . .
где ξ0 — калибровочный параметр в данной калиб-
не имеющее элементарных коллективных возбужде-
ровке. 4-вектор nμ будем далее отождествлять с гло-
ний. У операторов âak и â†ak отличны от нуля лишь
бальной 4-скоростью uμ плазмы. Цветной ток jν
матричные элементы, соответствующие изменению
определяется обычным образом:
на единицу числа плазмонов.
Запишем квантовомеханический аналог уравне-
jν(x) = gta d4p pνTr(Tafg(x, p)).
ния Гамильтона, а именно, уравнение Гейзенберга
для оператора âak:
Здесь x = (t, x) — пространственно-временная пере-
[
]
∂âak
менная исходной динамической системы, (Ta)bc
=i
H,âa
(2.3)
k
∂t
≡ -ifabc — цветовая матрица в присоединенном
представлении. Функция распределения глюонов
Здесь
H — гамильтониан системы плазмонов, рав-
fg = fg(x, p) является (N2c -1)×(N2c -1)-эрмитовой
ный сумме
H= H0 +
Hint, где
матрицей в цветовом пространстве.
Как известно, в равновесной горячей кварк-
dk
H0 =
ωlk â†ak âak
(2.4)
глюонной плазме существуют два типа физических
(2π)3
бозонных мягких полей: поперечно-поляризованное
— гамильтониан невзаимодействующих плазмонов,
и продольно-поляризованное
[8]. Для простоты
Hint — гамильтониан взаимодействия. Дисперсион-
ограничим свое рассмотрение только процессами с
ное соотношение для плазмонов ωlk удовлетворяет
участием продольно-поляризованных плазменных
следующему дисперсионному уравнению [16]:
возбуждений, которые носят название плазмонов.
Эти возбуждения являются истинно коллективным
Re εl(ω, k) = 0,
(2.5)
эффектом среды, не имеющим аналогов в обычной
квантовой теории поля. Рассмотрим продольную
где
[
(
)]
часть потенциала калибровочного поля в виде
3ω2pl
ω
εl(ω, k) = 1 +
1-F
,
разложения
k2
|k|2
[
]
)1/2
x
1+x
dk
(Zl(k)
F (x) =
ln
iπθ(1 - |x|)
A(x) =
×
-
2
1-x
(2π)3
2ωl
k
{
}
— продольная диэлектрическая проницаемость и
× ϵ âak e-ik·x +ϵ∗lμ â†ak
eik·x
,
k0 = ωlk,
(2.1)
ω2pl = g2NcT2/9, T — температура системы, g
постоянная сильного взаимодействия. В приближе-
где ϵ = ϵ(k) — вектор поляризации продольного
нии малых амплитуд гамильтониан взаимодействия
плазмона, явный вид которого зависит от выбора
можно представить в виде формального интегросте-
калибровки (в частности, при A0-калибровке дан-
пенного ряда по âak и â†ak:
ный вектор определяется выражением (5.6)). Мно-
житель Zl(k) есть вычет эффективного глюонного
Hint =
H3 +
H4 + . . . ,
пропагатора в плазмонном полюсе. Коэффициенты
â ak и â†ak будем рассматривать как квазичастич-
где гамильтонианы взаимодействия третьего и чет-
ные операторы уничтожения и рождения плазмо-
вертого порядков имеют следующую структуру:
нов, подчиняющиеся коммутационным соотношени-
{
dk dk1 dk2
ям бозе-операторов
a1 a2
H3 =
V a
k, k1, k2
â†ak âa1k1
k2
[
]
[
]
(2π)9
}
âak, âb
= â†ak, â†b
= 0,
k
k
â a
(2π)3δ(k-k1-k2) +
[
]
(2.2)
, k1, k2
â†a1k1âk
2
k
{
â ak, â†b
= δ ab (2π)3δ(k - k).
1
dk dk1 dk2
k
a a1 a
2
+
U
k, k
1, k2
âak âa1k1âk2 +
3
(2π)9
Многоплазмонные состояния получаются много-
}
кратным действием оператора â†ak на вакуумное
(2π)3δ(k+k1+k2),
(2.6)
k1, k2
â†ak â†a1k1â
2
состояние
|0, которое подчиняется следующему
условию:
1
dk dk1 dk2 dk3
âak|0 = 0.
a1 a2 a3
H4 =
T a
â†ak â
† a1 ×
k, k1, k2, k3
k1
2
(2π)12
Таким образом, под вакуумом понимается основное,
(2π)3δ(k + k1 - k2 - k3)
(2.7)
невозбужденное состояние системы, т.е. состояние,
×âa2k2
k3
329
Ю. А. Марков, М. А. Маркова, Н. Ю. Марков, Д. М. Гитман
ЖЭТФ, том 157, вып. 2, 2020
и т. д. Под символом «» понимается комплексное
Условия каноничности данного преобразования2)
сопряжение. В выражении (2.7) мы оставили лишь
{
}
«существенный» по терминологии В. Е. Захарова
δâak
δâbk′′
δâak
δâbk′′
dk
-
= 0,
вклад, в силу того что резонансные условия
δĉc
δĉ†ck
δĉ†c
δĉc
k
k
k
{
}
δâak
δâk
δâak
δâk
dk
-
= δabδ(k - k′′)
⎨ k + k1 + k2 + k3 = 0,
c
δĉc
δĉ†ck
δĉ†c
δĉ
k
k
k
ωlk +ωlk
+ωlk
+ωlk
=0,
1
2
3
налагают определенные ограничения на коэффици-
ентные функции ряда (2.10). Функции V(1)aa1 a2 ,k,k
⎨ k=k1 +k2 +k3,
1, k2
и V(3)aa1 a2 должны удовлетворятьk,k
V(2
, k1, k2
1, k2
ωlk =ωlk
+ωlk
+ωlk
1
2
3
условиям
(2) a a1 a2
V
= -2V (1) a1 a
a2 ,
не имеют решений для спектра плазмонов, опреде-
k, k1, k2
k1, k, k2
ляемого дисперсионным уравнением (2.5).
2
V(3)aa1 ak,k
=V(3)a1 a2 ak
,
1, k2
=V(3
, k2, k1
1, k2, k
Отметим, что подобного рода представление га-
мильтониана взаимодействия в виде формальных
а функции W(i)
, i = 1,...,4 — условиям
k, k1, k2, k
3
бесконечных рядов по степеням операторов рожде-
∫ {
ния и уничтожения рассматривались в книге Швар-
a
+4
V(1)a2 a
-
ца [17] в рамках квантовой теории поля для скаляр-
k1, k2, k3
k2, k, k
V(3)a1 a3 ak
, k3, k
}
ных полей.
dk = - W(3
) a1 a a2 a3 ,
−V(1
, k2, k
V(1
, k1, k3
k1, k, k2, k3
a1 a2
,
U a
и
Коэффициенты
, k1, k2
k, k1, k2
a1 a2 a3
T a
обладают определенной симметри-
k, k1, k2, k3
∫ {
ей
+2
+
k1, k2, k3
V(1
, k1, k
V(1)a3 a1 ak
, k2, k
a1 a2
a1
a
V a
=Vaa2 a1 ,k,k
+V(1)a a
-V(1)a1 a
V (1) a a3 a2 -k, k
k, k1, k2
2, k1
k, k, k1
V(1
, k3, k2
k1, k, k
3, k2
(2.8)
a1 a2
}
U a
=Ua1 a2 ak
,
k, k1, k2
k2, k1
1, k2
, k
V(3)a3 a2 a
dk = -W(2)a3 a1 a2 ak
,
−V(3
, k1, k
k3, k2, k
3, k1, k2, k
∫ {
+2
+
k1, k2, k3
, k1, k
V(3
, k2, k
a1 a2 a3
a2 a3
T a
=Ta1 a
=Taa1 a3 a2
=
k, k1, k2, k3
k1, k, k2, k3
k, k1, k3, k2
a
+ V(1)a1 a
k1, k, k
k3, k2
=T∗a2 a3 a
a1 .
(2.9)
k2, k3, k, k1
) a a a
2
V(1
− V(1)a1 a3 ak
, k3, k
k, k, k2
}
Эти коэффициентные функции определяют кон-
− V(1)aa1 ak,k
V(3)a3 a2 a
dk =
1, k
k3, k2, k
кретные свойства среды, в данном случае высоко-
=W(3)a3 a1 a2 ak
,
температурной глюонной плазмы.
3, k1, k2, k
Рассмотрим преобразование от операторов âak к
∫ {
новым операторам ĉak:
a2
+4
V(1)a a
-
k1, k2, k3
k, k, k2
, k1, k
}
[
V(3)aa2 a
dk = 3W(4)a3 a1 a2 ak
, k3, k1
k, k2, k
3, k1, k2, k
dk1dk2
âak = ĉak +
V(1
, k1, k2
ĉa1k1ĉk2 +
(2π)6
]
2) Вариационные производные по операторам ĉak и ĉ†ak сле-
+
дует понимать как пределы соответствующих функциональ-
+ V(2
, k1, k2
ĉ†a2k2
k1
+V(3
, k1, k2
ĉ†a1k1ĉk2
ных производных по аддитивным классическим добавкам ϕak
[
dk1dk2dk3
и ϕ∗ak к квантовым ĉak и ĉ†ak [18]:
+
k1, k2, k3
ĉa1k1ĉk2 ĉk3 +...
(2π)9
a
]
ĉak ĉak + ϕak,
ĉ
→ĉ†ak +ϕ∗ak.
k
ĉ†a3 +...
(2.10)
k1, k2, k3
ĉ†a1k1ĉk
2
k3
330
ЖЭТФ, том 157, вып. 2, 2020
Гамильтонов формализм для бозе-возбуждений в плазме. . .
В силу специфики дисперсионного уравнения
связаны с взаимодействием трех плазмонов, порож-
(2.5) в горячей глюонной плазме резонансные усло-
и V a a1 a1 с проме-k, k
, k2, k3
2, k3
вия
жуточными «виртуальными» колебаниями. Условие
малости амплитуд в нашем случае означает
⎨ k=k1 +k2,
⎨ k + k1 + k2 = 0,
(2.11)
∂ωlk
T(4)||c|2 k ·
(2.14)
ωlk =ωlk
+ωlk
,
ωlk+ωlk
+ωl
=0
1
2
1
k2
k
Таким образом, существуют два эквивалентных
не имеют решений, т. е. спектр продольных плаз-
описания гамильтоновой системы бесцветных плаз-
монов является нераспадным. Тогда каноническое
монов для одних и тех же физических процессов. В
преобразование (2.10) позволяет исключить «несу-
первом мы можем использовать исходный оператор
щественный» гамильтониан
H3 (2.6), просто пола-
Гамильтона
гая
a a1 a2
H= H0 +
H3 +
H4 + . . .,
(2.15)
Vk,
k1, k2
=-
(2π)3δ(k - k1 - k2),
V(1
, k1, k2
ωlk - ωlk
l
где
H0,
H3 и
H4 задаются выражениями (2.4), (2.6)
1
k2
и (2.7) соответственно, а во втором — оператор Га-
∗ a a1 a2
Uk
, k1, k2
̂
=-
(2π)3δ(k + k1 + k2).
мильтона
H, полученный в результате нелинейно-
V(3
, k1, k2
ωlk + ωlk
+ωl
1
k2
го преобразования бозонных операторов рождения
Данная процедура исключения приводит нас к сле-
и уничтожения, â†ak и âak:
дующей структуре эффективного гамильтониана
̂
̂
̂
̂
H =
H0 +
H4 + . . .,
(2.16)
четвертого порядка
H4:
где, в свою очередь,
̂
1
dk dk1 dk2 dk3
a1 a2 a3
a
H4 =
T a
ĉ
×
dk
k, k1, k2, k3
k
̂
2
(2π)12
H0 =
ωlkĉ†akĉak
,
(2π)3
(2.12)
×ĉ†a1k1
k2
ĉ a3k3 (2π)3δ(k + k1 - k2 - k3) ,
̂
определен выражением (2.12). Урав-
а оператор
H4
где
нения Гейзенберга для операторов âak и ĉak имеют
полностью идентичную форму (2.3) с соответствую-
a1 a2 a3
T a
=Taa1 a2 a3
-
k, k1, k2, k3
k, k1, k2, k3
щими операторами Гамильтона (2.15) и (2.16).
b a2 a3
U-
В связи с данным построением необходимо упо-
(k2+k3), k2, k3
(k+k1), k, k1
-2
-
мянуть близкую к теме нашего исследования рабо-
ωl-(k+k
+ωlk +ωl
1)
k1
ту Манько и др. [19], в которой было введено новое
b a2 a3
b a a1
Vk2
V
+k3, k2, k3
k+k1, k, k1
важное понятие нелинейных f-осцилляторов. Авто-
-2
-
ωlk+k
lkl
ры рассматривали задачу о квантовании гармониче-
1
k1
a1 a2 b
a3 a b
ского осциллятора, где бозонные операторы рожде-
Vk1
V
, k2, k1-k2
k3, k, k3-k
-2
-
ния и уничтожения преобразовывались нелинейным
ωlk
+ωlkl
3-k
k3
образом в новые операторы рождения и уничтоже-
a a2 b
a3 a1 b
Vk,
V
ния, определяющие квантовые f-осцилляторы. Тем
k2, k-k2
k3, k1, k3-k1
-2
-
ωlk
+ωlk
l
самым был получен новый оператор Гамильтона с
3-k1
1
k3
весьма нетривиальной структурой, описывающий ту
a a3 b
a2 a1 b
V
Vk,
k3, k-k3
k2, k1, k2-k1
же самую динамику, что и исходный, как это имеет
-2
-
ωlk
+ωlk
l
2-k1
1
k2
место и в нашем случае.
a1 a3 b
a2 a b
Однако несмотря на близкое сходство подходов,
Vk1
V
, k3, k1-k3
k2, k, k2-k
-2
(2.13)
представленных в нашей работе и в статье [19],
ωlk
+ωlkl
2-k
k2
следует отметить их принципиальное различие. В
Найденная эффективная амплитуда имеет простую
представленном в данном разделе подходе операто-
диаграммную интерпретацию, которая представле-
ры рождения и уничтожения (â†ak, âak) и (ĉ†ak, ĉak)
на на рис. 1. Черный квадрат обозначает эффектив-
и соответствующие гамильтонианы (2.15) и (2.16)
a1 a2 a3
ную амплитуду
T a
. Первый член справа
связаны между собой каноническим преобразовани-
k, k1, k2, k3
на рис. 1 определяет прямое взаимодействие четы-
ем с сохранением стандартного вида коммутацион-
рех плазмонов, порождаемое обычной четырехплаз-
ных соотношений (2.2). В подходе работы [19] нели-
монной амплитудой Taa1 a2 a3 . Остальные члены
нейные преобразования являются неканоническими,
k, k1, k2, k3
331
Ю. А. Марков, М. А. Маркова, Н. Ю. Марков, Д. М. Гитман
ЖЭТФ, том 157, вып. 2, 2020
k
k2
k+k1
=
+
+
k-k1
k1
k3
Рис. 1. Матричный элемент для четырехплазмонного распада. Волновые линии обозначают плазмоны
и поэтому для сохранения идентичности описыва-
Если совокупность волн при малом уровне нели-
емой динамики авторы соответствующим образом
нейности (2.14) имеет случайные фазы, то эту со-
модифицировали коммутационные соотношения ти-
вокупность можно описывать статистически, вводя
па (2.2). По этой причине в нашем случае нелиней-
корреляционную функцию:
ные колебания, связанные с бозонными оператора-
ми, невозможно просто интерпретировать как коле-
〈 ĉ†ak ĉ bk= δab(2π)3δ(k - k)Nlk.
(3.3)
бания со специфической зависимостью частоты ко-
лебаний от энергии, как это имеет место для нели-
нейных f-осцилляторов, хотя отчасти данный факт
Подчеркнем, что введение функции распределения
может иметь место.
Nlk ≡ Nl(k, x, t) квазичастиц (плазмонов), завися-
щей как от импульса ℏk плазмона, так и от коор-
динат x и времени t, имеет смысл только в том
3. КОРРЕЛЯЦИОННАЯ ФУНКЦИЯ
случае, когда число плазмонов медленно меняется
ЧЕТВЕРТОГО ПОРЯДКА
в пространстве и времени. Это значит, что измене-
ние функции на расстояниях порядка длины волны
Гамильтониан (2.12) описывает процесс упруго-
λ = 2π/k и в течение промежутков времени порядка
го рассеяния цветных плазмонов друг на друге, т. е.
длины волны T = 2π/ωlk должно быть значительно
процесс 2 2. Уравнения движения для ĉak и ĉ†bk
меньше самой функции Nlk.
здесь определяются соответствующими уравнения-
ми Гейзенберга:
Исходя из уравнений Гейзенберга (3.1) и (3.2),
определим кинетическое уравнение для плотности
]
∂ĉak
[̃̂
̂
числа плазмонов Nlk. Для этой цели умножим урав-
=i
H0 +
H4, ĉa
k
= -iωlkĉak -
∂t
нения (3.1) и (3.2) соответственно на ĉ†bk и ĉak:
dk1 dk2 dk3
a1 a2 a3
a1
− i
T a
ĉ
×
k, k1, k2, k3
k1
ĉ a2k2ĉk3
(2π)9
∂ĉak
dk1 dk2 dk3
× (2π)3δ(k + k1 - k2 - k3),
(3.1)
ĉ†bk = -iωlkĉakĉ†bk - i
×
∂t
(2π)9
a1 a2 a3
T a
k, k1, k2, k3
ĉ†bk ĉ†a1k1
k2
ĉ a3k3(2π)3 δ(k+k1-k2-k3),
]
∂ĉ†ak
[̃̂
̂
a
=i
H0 +
H4, ĉ
=lk ĉ†ak +
k
∂t
dk1 dk2 dk3
a3
+ i
ĉ
×
(2π)9
, k1, k2, k3
ĉa1k1ĉ
2
k3
a
∂ĉ†bk
dk1 dk2 dk3
=lkĉakĉ†bk +i
×
ĉk
× (2π)3δ(k + k1 - k2 - k3).
(3.2)
∂t
(2π)9
∗ b a1 a2 a3
Tk
, k1, k2, k3
ĉakĉa1k1ĉk
2
ĉ†a3k3(2π)3 δ(k+k1-k2-k3).
Данные точные уравнения, в отсутствие внешнего
цветного поля в системе, позволят определить ки-
нетическое уравнение для плотности числа бесцвет-
Складывая последние два уравнения и усредняя их,
ных плазмонов Nablk ≡ δabNlk.
получаем
332
ЖЭТФ, том 157, вып. 2, 2020
Гамильтонов формализм для бозе-возбуждений в плазме. . .
{
∂Nlk
dk1 dk2 dk3
ĉ a3= 3(2π)9 δa3a3 δa2a2 δa1a1 ×k
δab(2π)3 δ(k - k)
=-i
×
1
2
3
ĉ†a1k1
k2
3
∂t
(2π)9
{
× δ(k3 - k3)δ(k2 - k2)δ(k1 - k1)Nlk
Nlk
Nl
+
3
2
k
1
a1 a2 a3
a1 a2 a3
×
T a
I b
(2π)3δ(k+k1-k2-k3) -
k, k1, k2, k3
k, k1, k2, k3
+ δa3a3 δa1a2 δa2a1 ×
a1
I a2 a3 a
×
× δ(k3 - k3)δ(k1 - k2)δ(k2 - k1)Nlk
Nlk
Nlk +
, k1, k2, k3
k2, k3, k, k1
3
1
1
}
+ δa3a1δa1a3δa2a2 ×
× (2π)3δ(k + k1 - k2 - k3) ,
(3.4)
× δ(k3 - k1)δ(k1 - k3)δ(k2 - k2)Nlk
Nlk
Nlk
+
1
1
2
+ δa3a1δa1a2δa2a3 ×
где
l
× δ(k3 - k1)δ(k1 - k2)δ(k2 - k3)Nlk
Nlk
N
+
1
1
k3
+ δa3a2δa1a3δa2a1 ×
a1 a2 a3
× δ(k3 - k2)δ(k1 - k3)δ(k2 - k1)Nlk
Nlk
Nlk +
I a
ĉa3k
2
1
k, k1, k2, k3
= 〈ĉ†akĉ†a1k1
k2
3
1
+ δa3a2δa1a1δa2a3 ×
}
× δ(k3-k2)δ(k1-k1)δ(k2-k3)Nlk
Nlk
Nlk
(3.6)
2
1
3
— четырехточечная корреляционная функция.
Дифференцируя далее корреляционную функцию
В данном выражении только первый и последний
I a
a1 a2 a3 по t, с учетом (3.1) и (3.2) мы получаем
k, k1, k2, k3
члены дают необходимый вклад в искомое кинети-
уравнение, правая часть которого будет содержать
ческое уравнение. Подставляем эти члены в первый
корреляционные функции шестого порядка по
интеграл в правой части (3.5) и выполняем сумми-
операторам ĉ†ak и ĉak:
рование по цветным индексам a1, a2, a3 и интегри-
рование по импульсам k1, k2, k3. В итоге получаем
{
[
]
, k1, k2, k3
a1 a2 a3
3i
Nlk
Nlk
Nl
+
=i
ωlk+ωlk
lk
lk
I a
+
, k1, k2, k3
1
2
k3
1
2
3
k, k1, k2, k3
∂t
}
dk1 dk2 dk3
a2 a3
1
+ i
T∗aa
×
+
Nlk
Nlk
Nlk
(2π)3δ(k+k1-k2-k3) =
k, k1, k2, k
3
, k1, k2, k3
1
2
3
(2π)9
a1
ĉ
(2π)3δ(k+k1-k2-k3) +
=6
Nlk
Nlk
Nl
×
k1
ĉa2k2
k3
, k1, k2, k3
1
2
k3
1
2
3
dk1 dk2 dk3
× (2π)3δ(k + k1 - k2 - k3).
(3.7)
1
a2 a3
+ i
T∗a1 a
×
k1, k1, k2, k
3
(2π)9
Для примера приведем явный вид вклада, который
1
× 〈ĉ†ak ĉa
(2π)3 δ(k1+k1-k2-k3) -
k1
2
3
ĉa2k2
k3
генерирует второй член в разбиении корреляцион-
dk1 dk2 dk3
1
a2 a3
ной функции (3.6):
- i
Ta2 a
×
(2π)9
k2, k1, k2, k
3
NlkNlk
δ(k2-k1)δ(k3-k)δa1 a2 i
Nlk dk.
× 〈ĉ†akĉ†a1k1ĉk
1
2
3
ĉ a3k3 (2π)3δ(k2+k1 -k2 -k3 )-
1
, k, k, k
dk1 dk2 dk3
− i
×
(2π)9
k1, k2, k
3
Сравнивая два последних выражения, видим, что
они имеют совершенно разную структуру.
1
ĉ†a
〉×
× 〈ĉ†akĉ†a1k1ĉk
2
k1
2
3
Смотрим далее вторую шеститочечную корре-
× (2π)3δ(k3 + k1 - k2 - k3).
(3.5)
ляционную функцию в (3.5). В данном коррелято-
ре выписываем в явном виде только «правильные»
члены:
Замкнем цепочку уравнений для корреляционных
функций тем, что выражения для корреляционных
1
2
3
ĉa2k2
k3
функций шестого порядка выразим в терминах пар-
{
= 3(2π)9
δa
a1 δa2a2 δa3a3 δ(k1 - k )δ(k2 - k2)×
ных корреляционных функций. Так, например, пер-
}
вая корреляционная функция в правой части (3.5)
× δ(k3 - k3)NlkNlk
Nl
+ (2 3) +
2
k3
имеет следующую структуру:
333
Ю. А. Марков, М. А. Маркова, Н. Ю. Марков, Д. М. Гитман
ЖЭТФ, том 157, вып. 2, 2020
Подставляя данное выражение во второй интеграл
где
в (3.5), получаем выражение, аналогичное выраже-
Δω ≡ ωlk + ωlk
lk
l .k
1
2
3
нию (3.7):
Здесь первый член в правой части, соответствую-
a2 a3
щий полностью некоррелированным волнам (чисто
6i
T∗a1 a
NlkNlk
Nlk
(2π)3 δ(k+k1-k2-k3).
k1, k, k2, k3
2
3
гауссовым флуктуациям), является решением одно-
родного уравнения для корреляционной функции
Аналогичные рассуждения для третьего и четвер-
четвертого порядка Iaa1 a2 a3 . Второй член опре-k,k
того корреляторов в (3.5) дают нам два оставшихся
1, k2, k3
деляет отклонение четырехточечного коррелятора
вклада соответственно
от гауссова приближения для малого уровня нели-
-6i
Ta2 a3 a
a1
NlkNlk
Nlk
(2π)3δ(k+k1-k2-k3)
нейности взаимодействующих волн.
k2, k3, k, k1
1
3
Подставим первый член в правую часть уравне-
и
ния для Nlk (3.4):
{
-6i
Ta3 a2 a
a1
NlkNlk
Nlk
(2π)3 δ(k+k1-k2-k3).
dk1
k3, k2, k, k1
1
2
- i(2π)3Nl
Nlk
T
a a1 b a1 δ(k-k) +
k
1
k, k1, k, k1
(2π)3
Учитывая соотношения симметрии для амплитуды
a1 a1 b
+
T a
δ(k - k) -
k, k1, k1 k
рассеяния
}
∗ b a1 a a1
Tk
δ(k-k)
T∗ba1 a1 ak,k
δ(k-k)
=
, k1, k, k1
1, k1
, k
a1
Ta2 a3 a
=
T∗aa1 a2 a3 ,k,k
k2, k3, k, k1
1, k2, k3
dk
1
= -i2(2π)3δ(k - k)Nl
Nl
×
k
k1
a1
(2π)3
Ta3 a2 a
=
T∗aa1 a2 a3 ,k,k
k3, k2, k, k1
1, k2, k3
{
}
a1 b a1
a1
×
T a
-
T∗ba1 a
(4.1)
находим уравнение для корреляционной функции
k, k1, k, k1
k, k1, k, k1
четвертого порядка, вместо (3.5):
Подставим далее второй член в правую часть урав-
нения (3.4):
[
]
, k1, k2, k3
a1 a2 a3
{
(
)
=i
ωlk+ωlk
lk
lk
I a
+
1
2
3
k, k1, k2, k3
dk1 dk2 dk3
1
∂t
(
-6i
Taa1 a2 a3
×
(2π)9
k, k1, k2, k3 Δω + i0
+ 6
NlkNlk
Nlk
+Nlk
Nlk
Nl
-
, k1, k2, k3
2
3
1
2
k3
)
×
(2π)3 δ(k
+k1 -k2 -k3)×
, k1, k2, k3
-NlkNlk
Nlk
-NlkNlk
Nl
×
[
]
1
3
1
k2
× (2π)3 δ(k + k1 - k2 - k3) Nlk Nlk
Nl +...
-
2
k3
× (2π)3δ(k + k1 - k2 - k3).
(3.8)
(
)
1
a1
a1
Ta2 a3 b
T∗a2 a3 a
×
k
k2, k3, k, k1
2, k3, k, k1 Δω - i0
4. КИНЕТИЧЕСКОЕ УРАВНЕНИЕ ДЛЯ
× (2π)3 δ(k+k1-k2-k3)(2π)3 δ(k+k1-k2-k3) ×
ГЛЮОННЫХ ВОЗБУЖДЕНИЙ
[
]
× NlkNlk
Nl
+
2
k3
Перейдем теперь к непосредственному выводу
кинетического уравнения для плазмонов. В принци-
Принимая во внимание, что
пе, самосогласованная система двух уравнений (3.4)
δ(k + k1 - k2 - k3)δ(k + k1 - k2 - k3) =
и (3.8) определяет эволюцию плотности числа плаз-
= δ(k - k)δ(k + k1 - k2 - k3),
монов Nlk. Однако мы сделаем еще одно упроще-
ние: в уравнении (3.8) пренебрежем членом с про-
последнее выражение можно записать в более ком-
изводной по времени в сравнении с членом, содер-
пактной форме:
жащим разность собственных частот волновых па-
dk1 dk2 dk3
кетов. Вместо (3.8) тогда будем иметь
- 6i(2π)3δ(k - k)
×
(2π)9
[
[
]
a1 a2 a3
I a
≃NlkNlk
(2π)6 δaa2 δa1 a3 δ(k - k2)×
× (2π)3 δ(k + k1 - k2 - k3) Nlk Nlk
Nl +...
×
k, k1, k2, k3
1
2
k3
]
× δ(k1 - k3) + δa a3δa1 a2δ(k - k3)δ(k1 - k2) -
, k1, k2, k3
, k1, k2, k3
×
-
(
Δω + i0
6
-
NlkNlk
Nlk
+Nlk
Nlk
Nl
-
}
, k1, k2, k3
2
3
1
2
k3
a1
a1
Δω + i0
Ta2 a3 b
T∗a2 a3 a
)
k2, k3, k, k1
k2, k3, k, k1
-
(4.2)
-NlkNlk
Nlk
-NlkNlk
Nlk
(2π)3δ(k+k1 -k2 -k3),
Δω - i0
1
3
1
2
334
ЖЭТФ, том 157, вып. 2, 2020
Гамильтонов формализм для бозе-возбуждений в плазме. . .
Свертывая далее полученные выражения (3.4), (4.1)
Здесь
и (4.2) с δab, учитывая, что
w4(k, k1; k2, k3)=
1
1
-
= -2iπδω),
6
∗ a a1 a2 a3
Δω + i0
Δω - i0
=
T
(4.5)
, k1, k2, k3
k, k1, k2, k3
dA
и сокращая на множитель (2π)3 δ(k - k), находим
— вероятность рассеяния для процесса упругого
искомое кинетическое уравнение для бесцветных
столкновения двух бесцветных плазмонов, а мера
продольных глюонных возбуждений:
интегрирования определена как
[
]
dNlk
4
dk1
dT(3) (2π)4 δ(ωlk + ωlk
lk
l )×k
a1 a a1
1
2
3
=
Nl
Nlk
Im
T a
+
k
1
k, k1, k, k1
dt
dA
(2π)3
dk1 dk2 dk3
× δ(k + k1 - k2 - k3)
6
dk1 dk2 dk3
(2π)
9
+
(2π)4 δ(ωlk+ωlk
lk
l )×k
1
2
3
dA
(2π)9
В пределе больших чисел заполнения плазмонных
× δ(k + k1 - k2 - k3
T∗aa1 a2 a3
×
, k1, k2, k3
k, k1, k2, k3
состояний, Nlk 1, правая часть уравнения Больц-
(
мана (4.4) переходит в (4.3).
× NlkNlk
Nlk
+Nlk
Nlk
Nlk
-NlkNlk
Nl
-
2
3
1
2
3
1
k3
)
−NlkNlk
Nl
(4.3)
1
k2
a a1 a2 a3
k, k1, k2, k3
5. ЯВНЫЙ ВИД ФУНКЦИИ T
Здесь dA = N2c - 1. Первое слагаемое в правой час-
Нам осталось определить явный вид вершинных
ти (4.3) описывает процесс нелинейного затухания
и V a a1 a2 , которыеk, k
k1, k2, k3
, k1, k2
1, k2
Ландау [20], декремент которого представляет со-
входят в эффективную амплитуду (2.13). В данном
бой линейный функционал плотности числа плаз-
k1, k2, k3
монов Nlk:
в приближении так называемых жестких темпера-
[
]
турных петель (HTL) [8]. В работе [11], в рам-
{
}
4
dk1
a1 a a1
γ
Nlk
≡ γl(k) =
Nlk
Im
T a
ках HTL-приближения была вычислена вероятность
1
k, k1, k, k1
dA
(2π)3
упругого рассеяния двух плазмонов
Второе слагаемое в (4.3) связано с процессом упру-
w4(k, k1; k2, k3) = 3Maa1a2a3 (k, k1, -k2, -k3)×
гого плазмон-плазмонного рассеяния. Уравнение
(4.3) можно представить также в более наглядном
× M∗aa1a2a3(k, k1, -k2, -k3).
(5.1)
виде:
Здесь матричный элемент четырехплазмонного рас-
пада имеет следующую структуру:
dNlk
∂Nlk
∂Nlk
+vlk ·
=
dt
∂t
x
)
1/2
(Zl(k)
= -γ {Nlk} Nlk-NlkΓd[Nlk]+(1+Nlki[Nlk],
(4.4)
Maa1a2a3 (k, k1, -k2, -k3) = g2
×
l
2ω
k
(
)
(
)1/2(
)
где
ũμ(k)
Zl(ki)
ũμi (ki)
×
×
[(
)-1]
u2(k)i=1
2ωlk
u2(ki)
∂ωlk
Re εl(k)
)(Re εl(k)
i
vlk =
=-
k
k
∂ω
(k, k1, -k2, -k3)
,
(5.2)
ω=ωlk
μ2μ3
on-shell
— групповая скорость продольных колебаний, а
и, в свою очередь, эффективная амплитуда
обобщенная скорость распада Γd и обратная ско-
Γa a1 a2 a3
(k, k1, -k2, -k3) определяется выра-
μ μ1 μ2 μ3
рость регенерации Γi представляют собой нелиней-
жением
ные функционалы плотности числа плазмонов:
Γaa1a2a3
(k, k1, -k2, -k3) = -faa1bfba2a3 ×
μμ1μ2μ3
Γd[Nlk] = dT(3)w4(k, k1; k2, k3)Nlk
(1+Nlk
)(1+Nl )k
1
2
3
×Γμμ1μ2μ3(k, k1, -k2, -k3)-
- faa2bfba1a3Γμμ2μ1μ3(k, -k2, k1, -k3),
(5.3)
и соответственно
где fabc — антисимметричные структурные констан-
Γi[Nlk] = dT(3)w4(k, k1; k2, k3)(1+Nlk
)Nlk
Nlk
1
2
3
ты цветовой алгебры Ли su(Nc). Цветные факторы
335
Ю. А. Марков, М. А. Маркова, Н. Ю. Марков, Д. М. Гитман
ЖЭТФ, том 157, вып. 2, 2020
в последнем выражении умножаются на чисто кине-
вычисленным в рамках высокотемпературной
матические коэффициенты — эффективные субамп-
квантовой теории поля, т. е.
литуды, определяемые следующим образом:
Γμμ
1μ2μ3 (k, k1, -k2, -k3)
T
a a1 a2 a3
=
k, k1, k2, k3
Γμμ1μ2μ3(k,k1,-k2,-k3)-
1/2
(dA)
-Γμμ1ν(k, k1, -k - k1)Dνν(k2 + k3)×
=
Maa1 a2 a3 (k, k1, -k2, -k3).
(5.7)
2
×Γνμ2μ3(k2 + k3, -k2, -k3)-
-Γμμ3ν(k, -k3, -k + k3)Dνν(k2 - k1)×
(5.4)
Из выражений для эффективных амплитуд (2.13)
×Γνμ2μ1(k2 - k1, -k2, k1).
и (5.2), (5.3) мы можем сразу получить явный вид
В Приложении приведен вид вершинных функ-
амплитуды Taa1 a2 a3
, которая входит в качестве
k, k1, k2, k3
ций
коэффициентной функции в определение оператора
Γμμ1μ2μ3(k, k1, k2, k3) и
Γμμ1μ2(k, k1, k2),
(A.1)-(A.7), а также глюонного пропагатора
Гамильтона четвертого порядка
H4 (2.7):
Dνμ(k) в приближении жестких температурных
петель, (A.8)-(A.10). Два 4-векторa
(
)
)1/2
2
(
)
(dA
ϵ(k)
k
=-
g2
×
ũμ(k) =
kμ - uμ(k · u) и
, k1, k2, k3
2
(k · u)
(5.5)
2ωl
k
uμ(k) = k2uμ - kμ(k · u)
(
)[
ϵ
(ki)
i
×
faa1bfba2a3 ×
представляют собой проекторы на продольное на-
i=1
2ωl
ki
правление волнового вектора k, записанные в ло-
ренц-инвариантной форме в гамильтоновой и ло-
×Γμμ1μ2μ3(k, k1,-k2,-k3)+faa2bfba1a3 ×
ренцевой калибровках соответственно. Здесь uμ
]
4-скорость среды, которая в системе покоя равна
×Γμμ2μ1μ3(k,-k2, k1,-k3)
(5.8)
uμ = (1, 0, 0, 0). Наконец, 4-векторы вида
on-shell
)1/2
(Zl(k)
ũμ(k)
1
ϵ(k)
(5.6)
Здесь мы приняли во внимание связь продольно-
2ωlk
u2(k)
on-shell
2ωl
k
го проектора с вектором поляризации, (5.6). Яв-
ный вид эффективной четырехглюонной вершины
в правой части (5.2) представляют собой обычные
Γμνλσ(k,k1,k2,k3) в правой части последнего вы-
волновые функции продольного физического глю-
ражения определяется формулами (A.5)-(A.7).
она в A0-калибровке, где фактор
Zl(k) обеспе-
чивает ренормировку глюонной волновой функции
за счет температурных эффектов. Множитель 3 в
правой части (5.1) учитывает три возможных ка-
нала четырехплазмонного распада, которые меняют
плотность числа плазмонов:
a a1 a
2
6. ЯВНЫЙ ВИД ФУНКЦИЙ U
И
k, k1, k2
a a1 a2
Vk,
k1, k2
g + g1 g2 + g3, g + g2 g1 + g3,
g + g3 g1 + g2.
Перейдем теперь к определению явного вида
Сравнивая два выражения для вероятности
и Vaa1 a2 вk,k
, k1, k2
1, k2
плазмон-плазмонного рассеяния (4.5) и (5.1), ви-
подынтегральных выражениях оператора Гамильто-
дим, что эффективную амплитуду
Taa1 a2 a3
,
на третьего порядка
H3 (2.6). Однако в отличие от
k, k1, k2, k3
определяемую выражением
(2.13), с точностью
предыдущего случая, здесь мы имеем более слож-
до числового множителя следует отождествить с
ную ситуацию. С учетом (2.13) и (5.2)-(5.4) из (5.7)
матричным элементом Maa1a2a3(k, k1, -k2, -k3),
следует исходное для анализа выражение
336
ЖЭТФ, том 157, вып. 2, 2020
Гамильтонов формализм для бозе-возбуждений в плазме. . .
a2 a3
U b
левую часть (6.1) можно привести к следующему ви-
-(k2+k3), k2, k3
(k+k1), k, k1
+
ду:
ωl-(k+k
+ωlk +ωl
1)
k1
b a2 a3
b a a1
[
Vk
V
2+k3, k2, k3
k+k1, k, k1
U-(k
U∗-(k+k
+
+
2+k3), k2, k3
1), k, k1
ωlk+k
lkl
faa1bfba2a3
+
1
k1
ωl-(k+k
+ωlk +ωl
1)
k1
a1 a2 b
a3 a b
Vk
V
1, k2, k1-k2
k3, k, k3-k
Vk
Vk+k
+
+
2+k3, k2, k3
1, k, k1
+
+
ωlk
+ωlkl
3-k
k3
ωl
lkl
k+kl1
k1
a a2 b
a3 a1 b
Vk,
V
k2, k-k2
k3, k1, k3-k1
Vk
Vk
+
+
1, k2, k1-k2
+
3, k, k3-k +
ωlk
+ωlk
l
3-k1
1
k3
ωk3-k + ωk - ωk3
]
a a3 b
a2 a1 b
Vk,
V
Vk,k
Vk
k3, k-k3
k2, k1, k2-k1
3, k-k3
2, k1, k2-k1
+
+
+
-
ωlk
+ωlk
l
2-k1
1
k2
ωk2-k1 + ωk1 - ωk2
[
a1 a3 b
a2 a b
Vk
V
1, k3, k1-k3
k2, k, k2-k
Vk
Vk
+
=
1, k2, k1-k2
-faa2bfba1a3
3, k, k3-k +
ωlk
+ωlkl
2-k
k2
ωk3-k + ωk - ωk3
(
)
(
)
1/2
1
(dA)
ϵ(k)
ϵ
(ki)
i
Vk,k2, k-k2V
k3, k1, k3-k1
=
g2
×
+
+
2
2
2ωl
2ωl
ωk3-k1 + ωk1 - ωk3
k i=1
ki
[
(
Vk,k3, k-k3
+
k2, k1, k2-k1 +
× faa1bfba2a3
Γμμ1ν(k, k1, -k-k1)Dνν(k2+k3)×
ωk2-k1 + ωk1 - ω
k2
]
×Γνμ2μ3 (k2+k3, -k2, -k3)+Γμμ3ν(k, -k3, -k+k3)×
Vk1, k3, k1-k3
k2, k, k2-k
)
+
ωk2-k + ωk - ωk2
×Dνν(k2 - k1)Γνμ2μ1(k2 - k1, -k2, k1) +
(
+ faa2bfba1a3
Γμμ1ν(k, -k2, -k + k2)×
Сравнивая коэффициенты после произведе-
ний антисимметричных структурных констант
×Dνν(-k1 + k3)Γνμ2μ3(-k1 + k3, k1, -k3)+
f a
a1 bfba2 a3 и faa2 bfba1 a3 полученного выше
+Γμμ3ν(k, -k3, -k + k3)Dνν(-k1 + k2)×
выражения и правой части (6.1), находим
)]
×Γνμ2μ1(-k1 + k2,k1,-k2)
(6.1)
on-shell
U-(k2+k3), k2, k3U(k+k1), k, k1+
ω-(k+k1) + ωk + ωk1
Первым шагом нам необходимо «распутать» цвето-
Vk2+k3, k2, k3
вую структуру данного выражения. Для этой цели
+
k+k1, k, k1 +
ωk+k1 - ωk - ωk1
полагаем для трехточечных амплитуд U и V :
k3, k, k3-k
Vk1, k2, k1-k2V
+
+
ω-(k2-k1)+ωk2k1
, k1, k2
= faa1a2 Uk, k1, k2,
Vk, k3, k-k3
k2, k1, k2-k1
+
=
ω
k2-k1 + ωk1 - ωk2
a1 a2
Va
(
)
(
)
k, k1, k2
= faa1a2 Vk, k1, k2.
1
(dA)1/2
ϵ(k)
ϵ
(ki)
i
=
g2
×
Такое представление является однозначным. В си-
2
2
2ωl
2ωl
k i=1
ki
лу полной антисимметричности структурных кон-
[
стант faa1 a2 по перестановке цветных индексов,
×
Γμμ1ν(k, k1, -k - k1)Dνν(k + k1)×
из свойств (2.8) немедленно следует
(k2 + k3, -k2, -k3) +
×Γνμ2μ3
+Γμμ3ν(k, -k3, -k + k3)Dνν(k2 - k1)×
Vk, k1, k2 = -Vk, k2, k1 ,
(6.2)
]
Uk,k1, k2 = -Uk, k2, k1 = Uk1, k2, k .
×Γνμ2μ1(k2 - k1, -k2, k1)
on-shell
Далее, используя тождество для антисимметрич-
плюс аналогичное соотношение для второй коэффи-
ных структурных констант
циентной функции. Наконец, из структуры данного
выражения ясно, что здесь мы фактически имеем
fa1a2bfba3a = -faa2bfba1a3 + faa1bfba2a3 ,
два независимых соотношения: первое
337
10
ЖЭТФ, вып. 2
Ю. А. Марков, М. А. Маркова, Н. Ю. Марков, Д. М. Гитман
ЖЭТФ, том 157, вып. 2, 2020
U-(k
U∗-(k+k
2+k3), k2, k3
1), k, k1
Используя данное приближение, получаем, в част-
+
ωlk+k
+ωlk +ωl
ности, для первого пропагатора
1
k1
Vk
Vk+k
2+k3, k2, k3
1, k, k1
Zl(k + k1)
+
=
Δl(k + k1) ≃ -
×
ωlk+k
lkl
1
k1
2ωl
(
)
(
)
k+k
1
1/2
[
]
1
(dA)
ϵ(k)
ϵ
(ki)
1
1
i
=
g2
×
×
+
(6.6)
2
2
ωlk+k
lklk
ωlk+k
+ωlk +ωl
2ωl
2ωl
1
1
1
k1
k i=1
ki
[
и для второго
×
Γμμ1ν(k, k1, -k - k1)Dνν(k + k1)×
]
Zl(k2 - k1)
Δl(k2 - k1) ≃ -
×
×Γνμ2μ3(k2 + k3, -k2, -k3)
(6.3)
2ωl
on-shell
k2-k1
[
]
1
1
и второе
×
+
(6.7)
l
ωlk
+ωlk
lk
ωlk
+ωlk
2-k1
2
1
2-k1
1
k2
Vk
Vk
Принимая во внимание приведенные выше выраже-
1, k2, k1-k2
3, k, k3-k
+
ния (6.3)-(6.7), мы можем выписать искомый вид
ωlk
+ωlk
l
2-k1
2
k1
трехплазмонных вершинных функций:
Vk,k3, k-k3
k2, k1, k2-k1
+
=
)1/4
ωlk
+ωlk
l
ϵ(k)
ϵ
(k1)
ϵ
(k2)
2-k1
1
k2
(dA
1
2
(
)
(
)
×
1/2
Vk, k1, k2 = g
8
l
1
(dA)
ϵ(k)
ϵ
(ki)
2ωl
2ωlk
2ω
i
k
1
k2
=
g2
×
2
2
2ωl
2ωl
k i=1
ki
×Γμμ1μ2(k, -k1, -k2)
(6.8)
[
on-shell
×
Γμμ3ν(k, -k3, -k + k3)Dνν(k2 - k1)×
и
]
)1/4
×Γνμ2μ1(k2 - k1, -k2, k1)
(6.4)
(dA
ϵ(k)
ϵ
(k1)
ϵ
(k2)
1
2
on-shell
×
Uk,k1,k2 = g
8
2ωl
2ωlk
2ωl
k
1
k2
В левых частях (6.3) и (6.4) мы учли четность дис-
персионного соотношения, т. е. ωl-k = ωlk.
×Γμμ1μ2(-k, -k1, -k2)
(6.9)
on-shell
Далее, вторым шагом в эффективных глюонных
Отметим, что вершинные функции (6.8) и (6.9) опи-
пропагаторах Dνν в правых частях (6.3) и (6.4) мы
сывают существенно различные процессы. Возьмем
оставляем только члены с продольным проектором
для примера процесс, который описывается вторым
Qνν . Так, для первого пропагатора Dνν (k+k1) де-
графиком на рис. 1 (s-канал). Фактически он вклю-
лаем замену
чает в себя два подпроцесса рассеяния. Первый из
них в рамках рассматриваемого приближения мож-
Dνν(k + k1) ⇒ -
Qνν (k + k1)Δl(k + k1),
но описать следующим образом (рис. 2): два плаз-
мона с частотами ωlk и ωl и волновыми векторамиk
1
где правая часть, с учетом (A.10) и (A.9), в явном
k и k1 сливаются в вершине 1 в один плазмон с час-
виде задается выражением
тотой ωlk+k
и волновым вектором k + k1, который
1
затем в вершине 2 распадается в два плазмона с ча-
ũν(k+k1) ũν (k+k1)
1
-
,
(6.5)
стотами ωlk
и ωlk
и волновыми векторами k2 и k3
2
3
u2(k+k1)
(k+k1)2-Πl(k+k1)
(рис. 2а). Функция 1/(ωlk+k
lklk
) играет в
1
1
классическом гамильтоновом описании роль пропа-
и аналогично для второго пропагатора
Dνν(k2 - k1). Вблизи полюса ω ∼ ωlk продоль-
гатора промежуточного «виртуального» состояния
коллективных продольных возбуждений, а взаимо-
ный скалярный пропагатор
Δl(k)
=
Δl(ω, k)
ведет себя как (см., например, [21])
действие в вершинах 1 и 2 здесь задается функцией
Vk,k1, k2 (6.8).
Второй подпроцесс определяется таким образом
1
Zl(k)
Δl(ω, k) =
=
(рис. 2б): в вершине 2 происходит трехплазмонный
ω2 - k2 - Πl(ω, k)
ω2 - (ωlk)2
[
]
распад — два плазмона с частотами ωlk
иωl
, и вол-
2
k3
Zl(k)
1
1
=
-
новыми векторами k2 и k3 уходят в систему, а тре-
2ωl
ω-ωlk
ω+ωl
k
k
тий плазмон с частотой ωl
и волновым вектором
k2+k3
338
ЖЭТФ, том 157, вып. 2, 2020
Гамильтонов формализм для бозе-возбуждений в плазме. . .
k2
k2
k
k
В этом случае можно говорить, что теория плаз-
k+k1
-k – k23
мон-плазмонного взаимодействия для малых амп-
+
литуд мягких возбуждений является линейной, а
1
2
1
2
нелинейные эффекты, связанные с неравновесными
k1
k3
k1
k3
флуктуациями плотности числа плазмонов δNlk, мо-
а
б
гут трактоваться как возмущения.
Рис. 2. Подпроцессы четырехплазмонного упругого рас-
Ситуация качественно меняется, когда система
сеяния, определяемые процессами трехплазмонных распа-
сильно возбуждена, что может иметь место в столк-
дов и слияний в s-канале
новениях ультрарелятивистских тяжелых ионов в
экспериментах на Большом адронном коллайдере.
При увеличении интенсивности возбуждений в глю-
k2 + k3 в вершине 1 сливается с двумя плазмонами
онной плазме необходимо учитывать дальнейшие
с частотами ωlk и ωl и волновыми векторами k иk
1
члены в разложении
Hint. Так как процессы нели-
k1, которые приходят из системы. Роль пропагатора
нейного взаимодействия с участием нечетного чис-
здесь играет функция 1/(ωlk+k
+ωlk +ωl ). Взаимо-k
1
1
ла плазмонов запрещены, то мы можем, в прин-
действие в вершинах 1 и 2 определяется функцией
ципе, определяя подходящим образом канонические
Uk,k1, k2 (6.9).
преобразования, избавиться от всех «нечетных» га-
мильтонианов взаимодействия
H2n+1, n = 1, 2, . . . В
7. ЗАКЛЮЧЕНИЕ
предельном случае сильных возбуждений, когда
В данной работе сделан первый шаг к построе-
1
|Aμ(x)| ∼ T и, соответственно, Nlk
,
нию классического гамильтонова формализма для
g2
описания процессов нелинейного взаимодействия
данные канонические преобразования будут содер-
мягких глюонных возбуждений в высокотемпера-
жать бесконечное число членов произвольной сте-
турной теории поля Янга - Миллса. Построено в яв-
пени по операторам рождения ĉ†ak и уничтожения
ной форме каноническое преобразование (2.10), поз-
a
ĉ
. Это, в свою очередь, приведет к необходимости
k
воляющее исключить гамильтониан взаимодействия
учета в правой части кинетического уравнения (4.4)
H3
третьего порядка
(2.6) и тем самым опреде-
всех высших процессов упругого рассеяния плаз-
лить новый эффективный гамильтониан взаимодей-
монов: 3 3, 4 4, . . . , так как все они одного
̂
ствия
H4 (2.12), с калибровочно-ковариантной ам-
порядка по константе взаимодействия g. Ясно, что
a1 a2 a3
плитудой рассеяния
T a
. Данный гамильто-
k, k1, k2, k3
процедура линеаризации кинетического уравнения
ниан взаимодействия определяет конкретный физи-
для плотности числа плазмонов Nlk в данном слу-
ческий процесс — упругое рассеяние двух бесцвет-
чае становится неприменимой и здесь мы приходим
ных плазмонов друг на друге. Данный процесс рас-
к истинно нелинейной теории взаимодействия мяг-
сеяния будет доминирующим, когда значение ам-
ких глюонных возбуждений в плазме с неабелевым
плитуды калибровочного поля имеет порядок [11]
типом взаимодействия.
1
Таким образом, возникает нетривиальная проб-
|Aμ(x)| ∼
√gT и, соответственно, Nlk
,
g
лема построения явного вида канонических преоб-
разований. Данные нелинейные канонические пре-
фактически отвечающий уровню тепловых флукту-
образования должны приводить исходный гамиль-
аций в горячей глюонной плазме. Для данного зна-
тониан взаимодействия к новому эффективному ви-
чения амплитуды калибровочного поля при g ≪ 1
ду:
плотность числа плазмонов Nlk является большой, и
использование чисто классического описания оправ-
̂
̂
̂
̂
Hint -→
Hint =
H4 +
H6 + . . . +
H2n+2 + . . .
дано. Более того, здесь справедливо использова-
ние линеаризованного уравнения Больцмана, вме-
Однако прямой подход в определении явного ви-
сто точного (2.12), для бесцветных плазмонов, так
да необходимых канонических преобразований, ко-
как распределение Планка, относительно которого
торый был использован в данной работе, стано-
измеряется отклонение плотности числа плазмонов
вится малоэффективным при попытке исключения
δNlk, имеет порядок
уже следующего нечетного гамильтониана
H5 ввиду
T
1
чрезвычайной громоздкости вычислений. Для силь-
Nleq(k)
ωlk
g
новозбужденных состояний, когда мы имеем дело с
339
10*
Ю. А. Марков, М. А. Маркова, Н. Ю. Марков, Д. М. Гитман
ЖЭТФ, том 157, вып. 2, 2020
бесконечным числом членов, необходим качествен-
ПРИЛОЖЕНИЕ
но иной, более адекватный в данной ситуации ап-
Эффективные вершины и глюонный
парат, например, введение множества нелокальных
пропагатор
канонических переменных, зависящих от дополни-
тельного трехмерного единичного вектора, как это
В данном приложении мы приводим явный вид
было предложено в работе [22]. Другой подход за-
эффективных вершинных функций и глюонного
ключается в использовании связи
пропагатора в высокотемпературном приближении
жестких температурных петель (HTL) [8, 9].
A(k) = A(0)(k) + Dμν(k)
J(2)(A(0), A(0))+
Эффективная трехглюонная вершина
}
+J˜(3)(A(0),A(0),A(0)) + ...
,
(7.1)
Γμνρ(k, k1, k2) Γμνρ(k, k1, k2)+
где A(k) и Aμ0)a(k) представляют собой взаимодей-
+ δΓμνρ(k, k1, k2) (A.1)
ствующее и свободное калибровочные поля систе-
мы, а
μ (A(0), A(0), . . .) — некоторые эффектив-
представляет собой сумму голой трехглюонной вер-
ные токи, являющиеся нелинейными функционала-
шины
ми от свободного поля и определяемые рекуррент-
Γμνρ(k, k1, k2) = gμν(k - k1)ρ + gνρ(k1 - k2)μ +
ным образом в рамках приближения жестких темпе-
ратурных петель [11]. Коэффициентные функции в
+ gμρ(k2 - k)ν (A.2)
μ есть эффективные амплитуды типа (5.3). В ка-
и соответствующей HTL-поправки
честве взаимодействующего поля необходимо взять
выражение (2.1), а в качестве свободного поля — вы-
dΩ vμvνvρ
δΓμνρ(k, k1, k2) = 3ω2
pl
×
ражение вида
4π v · k +
(
)
)1/2
ω2
ω1
dk
(Zl(k)
×
-
,
(A.3)
A(0)(x) =
×
v · k2 - iϵ
v · k1 - iϵ
(2π)3
2ωl
k
{
}
где vμ = (1, v), k + k1 + k2 = 0, dΩ — элемент телес-
× ϵĉake-ik·x + ϵ∗μĉ†ak
eik·x
ного угла. Ниже приведены полезные свойства трех-
с операторами
ĉak и
ĉ†ak, которые входят в пра-
глюонной HTL-ресуммированной вершинной функ-
вую часть канонических преобразований
(2.10).
ции при комплексном сопряжении и перестановке
Соотношение (7.1) фактически содержит в себе
импульсов:
искомое каноническое преобразование с любой
(Γμμ1μ2 (-k1 - k2, k1, k2)) =
степенью точности, если использовать соответ-
ствующие аппроксимации для пропагаторов типа
= -Γμμ1μ2(k1 + k2, -k1, -k2) =
(6.6),
(6.7) и вершинных функций
(6.8),
(6.9),
= Γμμ1μ2(k1 + k2, -k2, -k1). (A.4)
(5.7) и т. п. Соотношение (7.1) позволяет дать нам
Далее, эффективная четырехглюонная вершина
совершенно новую интерпретацию канонических
преобразований: преобразования (2.10) определяют
Γμνλσ(k,k1,k2,k3) Γμνλσ(k,k1,k2,k3)+
переход от невзаимодействующего поля Aμ0)a(k) к
+ δΓμνλσ(k, k1, k2, k3) (A.5)
взаимодействующему A(k), которое учитывает все
эффекты взаимодействия в среде. Анализ данной
есть сумма голой четырехглюонной вершины
связи требует отдельного рассмотрения.
Γμνλσ = 2gμνgλσ - gμσgνλ - gμλgσν
(A.6)
Финансирование. Работа Д. М. Гитмана и
и соответствующей HTL-поправки
Ю. А. Маркова поддержана программой повышения
конкурентоспособности Национального исследова-
dΩ vμvνvλvσ
δΓμνλσ(k, k1, k2, k3) = 3ω2
×
pl
тельского Томского государственного университе-
4π v · k +
[
(
)
та среди ведущих мировых научно-образовательных
1
ω2
ω3
×
-
-
центров. Также работа Д. М. Гитмана частично под-
v · (k + k1) + iϵ v · k2 - iϵ
v · k3 - iϵ
держана Российским фондом фундаментальных ис-
(
)]
следований (проект № 18-02-00149), Фондом иссле-
1
ω1
ω2
-
(A.7)
дований Сан-Паулу (FAPESP, грант 2016/03319-6)
v · (k+k3)+iϵ v · k1-iϵ
v · k2-iϵ
и Национальным Советом по науке (CNPq).
340
ЖЭТФ, том 157, вып. 2, 2020
Гамильтонов формализм для бозе-возбуждений в плазме. . .
Наконец, выражение
5.
V. E. Zakharov, Phys. Rep. 129, 285 (1985).
6.
В. Е. Захаров, Изв. вузов. Радиофизика XVII, 431
Dμν(k) = -Pμν(k)Δt(k) -
Qμν(k)Δl(k)-
(1974).
k2
0
Dμν(k) (A.8)
7.
А. М. Балк, В. Е. Захаров, в сб. науч. тр. Инте-
(k · u)2
грируемость и кинетические уравнения для соли-
представляет собой модифицированный эффекта-
тонов, под ред. В. Г. Барьяхтара, В. Е. Захаро-
ми среды глюонный (запаздывающий) пропагатор
ва, В. М. Черноусенко, Наук. думка, Киев (1990),
в A0-калибровке. Здесь «скалярные» поперечный и
с. 417-472.
продольный пропагаторы имеют вид
8.
J.-P. Blaizot and E. Iancu, Phys. Rep. 359, 335
1
1
(2002).
Δt(k) =
,
Δl(k) =
, (A.9)
k2 - Πt(k)
k2 - Πl(k)
9.
E. Braaten and R. D. Pisarski, Nucl. Phys. B 337,
где
569 (1990).
1
10.
J.-P. Blaizot and E. Iancu, Nucl. Phys. B 417, 608
Πt(k) =
Πμν(k)Pμν(k), Πl(k) = Πμν(k)Qμν(k).
(1994).
2
Поляризационный тензор Πμν(k) в приближении
11.
Yu. A. Markov and M. A. Markova, Ann. Phys. 302,
жестких температурных петель имеет вид
172 (2002).
(
)
12.
Д. М. Гитман, И. В. Тютин, Каноническое кван-
dΩ vμvν
Πμν(k) = 3ω2pl uμuν - ω
,
тование полей со связями, Наука, Москва (1986).
4π v · k +
13.
V. P. Nair, Phys. Rev. D 48, 3432 (1993).
а продольный и поперечный проекторы определя-
ются, соответственно, следующими выражениями:
14.
V. P. Nair, Phys. Rev. D 50, 4201 (1994).
ũμ(k)ũν(k)
15.
J.-P. Blaizot and E. Iancu, Nucl. Phys. B 434, 662
Qμν(k) =
,
u2(k)
(1995).
(A.10)
2
(k · u)
Pμν(k) = gμν - uμuν -
Qμν(k)
,
16.
О. К. Калашников, В. В. Климов, ЯФ 31, 1357
k2
(1980).
где, в свою очередь, лоренц-ковариантный 4-вектор
17.
А. С. Шварц, Математические основы квантовой
ũμ(k) задается формулой (5.5).
теории поля, Атомиздат, Москва (1975).
18.
Н. Н. Боголюбов, Д. В. Ширков, Введение в тео-
ЛИТЕРАТУРА
рию квантованных полей, Наука, Москва (1976).
1. Б. Б. Кадомцев, в сб. Вопросы теории плазмы,
19.
V. I. Man’ko, G. Marmo, E. C. G. Sudarshan, and
вып. 4, под ред. М. А. Леонтовича, Атомиздат,
F. Zaccaria, Phys. Scripta 55, 528 (1997).
Москва (1964), с. 188-339.
20.
А. И. Ахиезер, И. А. Ахиезер, Р. В. Половин и др.,
2. Л. Коврижных, ЖЭТФ 49, 237 (1965).
Элекродинамика плазмы, Наука, Москва (1974).
3. В. Е. Захаров, ЖЭТФ 51, 688 (1966).
21.
H. A. Weldon, Phys. Rev. D 58, 105002 (1998).
4. В. А. Липеровский, В. Н. Цытович, Изв. вузов. Ра-
22.
D. Metaxas and V. P. Nair, Int. J. Mod. Phys. A 16,
диофизика XII, 823 (1969).
1249 (2001).
341