3 Оператор Oα(x) называется локальным, если при преобразованиях Пуанкаре он преобразуется по формуле U(a,Λ)Oα(x)U-1(a,Λ) = Pαα(Λ)Oα'(Λx+a) и коммутирует сам с собой в разных пространственных точках.
Еще одним важным свойством виковского произведения является его регулярность. Иными словами, для любых состояний a и b матричные элементы от виковского произведения а :O1(x1)On(xn): b являются регулярными функциями переменных (x1),,(xn).
Хронологическое произведение, или Т-произведение, локальных (элементарных или составных) операторов O1(x1)On(xn) определяется следующим образом:
TO1(x1)On(xn) T{ O1(x1)On(xn) } = (-1)δOi1(xi1) Oin(xin)
В правой части этого выражения операторы расположены в такой последовательности, что их временные аргументы удовлетворяют условию x0i1 x0i2 x0in , а параметр δ равен числу перестановок индексов, соответствующих фермионным операторам, которые необходимо выполнить,чтобы из исходной последовательности 1,,n составить последовательность i1,,in. Иначе говоря, хронологическое произведение TO1(x1)On(xn) можно получить, переставляя операторы так, чтобы их временные аргументы образовывали невозрастающую последовательность, учитывая при этом коммутационные (антикоммутационные) соотношения для бозонных (фермионных) операторов. Например, для двух сомножителей q1(x) и q2(y) получаем
Tq1(x)q2(y) = θ(x0 - y0)q1(x)q2(y) - θ(y0 - x0)q2(y)q1(x)
или
Tq1(x)B2(y) = θ(x0 - y0)q1(x)B2(y) + θ(y0 - x0)B2(y)q1(x)
Следует помнить, что бозонные и фермионные операторы всегда коммутируют и хронологическое произведение операторов релятивистски инвариантно.
S-матрица представляет собой оператор, переводящий векторы, отвечающие свободным состояниям системы в момент времени t=- в векторы, отвечающие свободным состояниям этой системы в момент времени t=+. S-матрица может быть получена из лагранжиана взаимодействия при помощи формулы Мэттьюза
S
=
T exp i
d
4
x
0
int
(x).
(2.1а)
Здесь 0int(х) лагранжиан взаимодействия, выраженный через нормально упорядоченные произведения полей, удовлетворяющих тем же коммутационным соотношениям, что и свободные поля. Хронологическая экспонента представляет собой формальное выражение, фактически определяемое разложением в ряд:
S
=
T exp i
d
4
x
0
int
(x)
1 + i
d
4
x
0
int
(x) +
+
i
n
d
4
x
1
d
4
x
n
T
0
(x
1
)
0
(x
n
) .
n!
int
int
(2.1б)
Часто вместо матричных элементов S-матрицы будут рассматриваться матричные элементы токов (или произведений токов), а также матричные элементы составных операторов более общего вида. Их можно получить, введя в лагранжиан взаимодействия 0int вспомогательные члены. Предположим, например, что рассматривается матричный элемент вида
a
|
TJ
μ
(x)J
ν
(y)
|
b
1
2
(2.2)
где J слабые или электромагнитные токи (см. формулу (1.6)). Для этого заменим лагранжиан int слeдyющим выражением:
φ
=
+ J
(x)Φ
μ
(x) + J
(x)Φ
μ
(x) ,
int
int
1μ
1
2μ
2
(2.3)
в котором поля φ являются c-числовыми вспомогательными полями. Разлагая в ряд, получаем
a
|
T exp i
d
4
x
φ
int
(x)
|
b
=
a
|
b
+
i
a
|
d
4
x
{
0
(x) +
J
0
(x)Φ
μ
(x)
}
|
b
int
iμ
i
i
+ +
i
n
n!
a
|
d
4
x
1
d
4
x
n
T
×
{
0
int
(x
1
) +
J
0
iμ
(x
1
)Φ
μ
i
(x
1
)
}
×
i
×
{
0
int
(x
n
) +
J
0
iμ
(x
n
)Φ
μ
i
(x
n
)
}
|
b
+ .
i
Предположим, что поля φ бесконечно малы, и сохраним в разложении только члены порядка O(φ) и O(φ2). Последние имеют вид
i
n
a
|
d
4
x
1
d
4
x
n
T
0
(x)
1
[
0
(x)
i
]
n!
int
int
ij
×
[
0
(x)
j
]
0
(x)
n
J
0
(x)
i
J
0
(x)
j
J
|
b
Φ
μ
(x)
i
Φ
ν
(x)
j
;
int
int
1μ
1ν
1
2
здесь символ [] означает, что член, заключенный в скобки, опущен. Записывая поля φ в виде φiμ = εiμδ(x-yi), дифференцируя по переменным ε1 и ε2 и полагая ε1 = ε1 = 0, получаем уравнение Гелл-Манна - Лоу
a|TJ
μ
1
(x)J
ν
2
(y)|b
=
δ
2
δΦ
1μ
(x)δΦ
2ν
(y)
×
a|T exp i
4
z
{
0
int
(z) +
i
J
0
iλ
(z)Φ
λ
i
(z)
}
|b
=
n=0
in
n!
a|
d
4
x
1
d
4
x
n
T
0
int
(x
1
)
×
0
int
(x
n
)J
0μ
1
(x)J
0ν
2
(y)|b .
(2.4)
Для того чтобы приравнять правую часть (2.4) матричному элементу (2.2), использована формула (доказанная Боголюбовым и Ширковым [45], см. также § 39 и 42; определение функциональной производной дано в приложении 3)
δ2Sφ
δΦ1μ(x) δΦ2ν(y)
Φ = 0
=
TJ
μ
1
(x)J
ν
2
(x) .
(2.5)
Рассмотрим вопрос о релятивистской инвариантности и унитарности S-матрицы. Если оператор U(a,Λ) осуществляет некоторое преобразование из группы Пуанкаре, то должно выполняться соотношение
U(a,Λ)SU
-1
(a,Λ) = S ,
(2.6)
из которого следует, что S-матрица представляет собой релятивистски инвариантный оператор. S-матрица является также унитарным оператором:
S
+
S
=
SS
+
= 1 .
(2.7)
Записав выражение для S-матрицы в виде
S = iΤ ,
где матричные элементы a|Τ|b представляют собой так называемую амплитуду перехода системы из состояния |a в состояние |b, получим из (2.7) соотношение для оператора Τ
Im
a
|
Τ
|
b
= ½
c
|
Τ
|
b
c
|
Τ
|
b
*
.
all c
(2.8)
(При выводе соотношения (2.8) предполагалась инвариантность S-матрицы по отношению к обращению времени.) При разложении левой и правой частей (2.6) и (2.8) по степеням константы связи g в каждом порядке теории возмущений возникают определенные соотношения. В силу линейности уравнение (2.6) сохраняет свой вид в каждом порядке разложения по константе связи g. Нелинейность же уравнения (2.8) приводит к смешиванию членов разного порядка малости по константе связи. Например, если написать