664 |
Глава 11. Однопетлевые радиационные поправки в КЭД |
Однако интеграл по x и y логарифмически расходится при x = 0 и y = 0, т. к. знаменатели содержат только слагаемые второго порядка по x и/или y, а в числителе есть слагаемые, содержащие только дифференциалы dx и dy. Можно проследить, что эта расходимость на самом деле возникает от обращения в нуль знаменателя [κ2 + m2x2 + q2y(x−y)]3 â (11.3.11) ïðè x = 0, y = 0 è κ = 0. Поскольку она происходит от области малых, а не больших κ, åå
называют не ультрафиолетовой, а инфракрасной расходимостью *. Подробно инфракрасные расходимости будут рассмотрены в гл. 13. Там будет показано, что инфракрасные расходимости в сече-
нии процессов типа электрон−электронного рассеяния, вроде тех,
которые возникают из-за инфракрасной расходимости в электронном форм-факторе F(q2), сокращаются, если наряду с упругим рассеянием рассматривать и испускание фотонов низкой энергии. Кроме того, как будет показано в гл. 14, при расчете радиационных поправок к энергетическим уровням атомов инфракрасная расходимость в F(q2) обрезается за счет того, что связанный электрон не находится строго на массовой поверхности свободной частицы. В данный момент продолжим вычисления, просто введя некоторую фиктивную массу фотона μ для того, чтобы обрезать инфракрасную
расходимость в F(q2), и оставим до гл. 14 обсуждение вопроса о том, как использовать полученный результат.
Если масса фотона равна μ, то знаменатель k2 − iε в формуле (11.3.1) следует заменить на k2 + μ2 − iε. В результате в выражениях, стоящих в знаменателях формул (11.3.3)−(11.3.7), (11.3.11), (11.3.20) и (11.3.22) под знаком третьей степени, добавится слагаемое μ2(1−x).
Тогда формула (11.3.23) заменится на
|
2 |
) = 1 |
+ |
|
e2 |
+ π(q |
2 |
) + |
2π2e2 |
X1 |
|
Xx |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F(q |
|
|
|
|
|
|
|
|
|
|
|
Y dx Y dy |
|
|
|
|
|
|
|
|
|
|
|
|
|
8π2 |
|
(2π)4 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Z0 |
|
Z0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
R |
− |
m |
2 |
(x |
2 − |
4x |
+ |
2) |
− |
q |
2 |
[y(x |
− |
y) |
+ |
1 |
− |
x] + |
m |
2 |
[x |
2 |
− |
4x |
+ |
2] |
|
|
|
|
× S |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
m2x2 + q2y(x − y) + μ2 (1 − x) |
|
m2x2 + μ2 (1 − x) |
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
Lm2x2 + q2y(x − y) + μ2 (1 − x) OU |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− lnM |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
PV . |
|
|
|
|
|
|
(11.3.24) |
|
|
|
|
|
|
|
|
m2x2 + μ2 |
(1 − x) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N |
|
|
|
|
|
|
|
QW |
|
|
|
|
|
|
|
|
|
|
|
* В отличие от ультрафиолетовой расходимости эта расходимость есть проявление особенности Γμ(p, p′) как функции р и р′ на массовой оболочке р2
= m2, p′2 = m2. — Ïðèì. ðåä.
11.3. Аномальные магнитные моменты |
665 |
Теперь интеграл полностью сходится. Его можно выразить через функции Спенса, но получающийся результат не слишком прозрачен. Для целей гл. 14 будет достаточно вычислить поведение F(q2) при малых q2. Как уже известно, из тождества Уорда следует, что F(0) = = 1 − G(0) = 1 + e2/8π2, так что рассмотрим первую производную F′(q2) в точке q2 = 0. Как следует из (11.3.24), эта производная имеет вид
|
+ |
2π2e2 |
X1 |
Xx |
|
|
Y |
dx Y dy |
|
(2π)4 |
|
|
Z0 |
Z0 |
|
2y(x − y) + 1 − x |
+ |
m2 [x2 − 4x + 2]y(x − y) U |
(11.3.25) |
|
|
|
|
V . |
|
m2x2 + μ2 |
(1 − x) |
[m2x2 + μ2 (1 − x)]2 |
|
|
W |
|
Вклад поляризации вакуума дается формулой (11.2.22) и равен
|
π′(0) = |
e2 |
. |
(11.3.26) |
|
60π2m2 |
|
|
|
|
Опуская в (11.3.25) все слагаемые, пропорциональные степеням μ/m,
получаем *
|
|
|
|
|
|
|
|
|
|
′ |
|
= |
e2 |
|
L |
F μ2 |
(0) |
2 |
|
2 |
MlnG |
|
2 |
F |
|
|
|
|
24π |
m |
|
N |
H m |
|
I |
+ |
2 |
+ |
1 O |
|
J |
|
|
P , |
(11.3.27) |
|
|
K |
|
5 |
|
4 Q |
|
где слагаемое 2/5 отвечает вкладу поляризации вакуума. С другой стороны, из формулы (11.3.13) следует, что G(q2) имеет конечную производную при q2 = 0
|
G′(0) = |
e2 |
. |
(11.3.28) |
|
48π2m2 |
|
|
|
|
Полученные результаты удобнее всего выразить через зарядовый форм-фактор F1(q2), определенный в альтернативном представлении (10.6.15) вершинной функции:
* Интеграл по y тривиален. Интеграл по x проще всего вычисляется в пределе μ n m путем разделения области интегрирования на две части: от 0 до s, где μ/m n s n 1, è îò s äî 1.
666 |
Глава 11. Однопетлевые радиационные поправки в КЭД |
u(p′, σ′)Γμ (p′, p)u(p, σ)
= u( ′, σ′)Lγ μF (q2 ) + p M 1
N
|
1 |
i[γ μ , γ ν |
](p′ − p)ν F2 |
O |
(11.3.29) |
|
(q2 )Pu(p, σ) . |
|
2 |
|
|
|
|
Q |
|
Согласно формулам (1.6.17) и (10.6.18)
F1(q2 ) = F(q2 ) + G(q2 ) .
Ïðè |q2| n m2 этот форм-фактор приближенно равен
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
F1(q2 ) g1 + |
e2 |
|
F q2 I L |
F μ2 I |
+ |
2 |
+ |
3 O |
|
|
G |
|
|
J MlnG |
|
|
J |
|
|
P . |
24π |
2 |
|
2 |
|
2 |
5 |
|
|
|
H m |
|
K N |
H m |
|
K |
|
|
4 Q |
Его можно выразить через зарядовый радиус a, определенный поведением зарядового форм-фактора в пределе q2 → 0:
F (q2) → 1 |
− q2a2 |
6 . |
(11.3.32) |
1 |
|
|
|
(Такое определение мотивируется тем, что среднее значение exp(iq×x)
по сферической оболочке радиуса а ведет себя при q2a2 n 1 êàê 1 - q2a2/6.) Зарядовый радиус электрона равен
|
2 |
= − |
e2 |
|
L |
F |
μ2 |
a |
|
|
|
|
|
MlnG |
|
|
|
4π |
2 |
|
2 |
|
2 |
|
|
|
|
m |
|
N |
H m |
|
I |
+ |
2 |
+ |
3 O |
|
J |
|
|
P . |
(11.3.33) |
|
|
K |
|
5 |
|
4Q |
|
В гл. 14 мы увидим, что для электронов в атомах роль массы фотона играет эффективное инфракрасное обрезание, много меньшее m, так что логарифм в формуле (11.3.33) большой по величине и отрицательный, и значение а2 положительно.
11.4. Собственная энергия электрона
Завершим эту главу вычислением собственно-энергетической функции электрона. Само по себе это вычисление не имеет прямых
11.4. Собственная энергия электрона |
667 |
экспериментальных приложений, однако некоторые результаты окажутся полезными в гл. 14 и т. II *.
Как и в разделе 10.3, определим i(2p)2[å*(p)]β,α как сумму всех
диаграмм с одной входящей и одной выходящей электронной линией, несущими импульсы р и дираковские индексы a è b, соответст-
венно, причем звездочка указывает, что исключаются диаграммы, которые становятся несвязными после разрезания какой-то одной внутренней электронной линии, и отброшены пропагаторы, отве- чающие двум внешним линиям. Тогда точный электронный пропагатор дается суммой
-i(2p)−4 S¢(p) = -i(2p)−4 S(p)
+ |
|
-i(2p)−4 S(p) |
|
i(2p)4 å* (p) |
|
-i(2p)−4 S(p) |
|
+ . . . , |
(11.4.1) |
|
|
|
|
|
|
|
|
|
ãäå |
|
|
|
|
|
|
/ |
|
|
e |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
S(p) º |
|
−ip + m |
|
. |
|
|
(11.4.2) |
|
|
|
|
|
|
|
|
|
|
|
p |
2 |
2 |
- ie |
|
|
|
|
|
|
|
|
+ me |
|
|
|
|
Сумма тривиально вычисляется, и в результате получаем:
|
|
|
* |
|
−1 |
(11.4.3) |
|
|
|
|
|
|
|
|
|
S¢(p) = |
/ |
e |
- å (p) - ie |
|
. |
ip + m |
|
|
В низшем порядке в å* дает вклад однопетлевая диаграмма,
изображенная на рис. 11.6. Этот вклад равен
|
|
X |
|
L |
|
|
-i |
|
|
|
ηρσ |
|
O |
|
|
|
|
|
|
|
i(2p)4 å1* LOOP |
(p) = Y d |
4kM |
|
|
|
|
|
|
|
|
|
|
P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Z |
|
N(2p)4 |
k2 - ie Q |
|
|
|
|
|
|
|
|
|
|
|
ρ |
|
|
L |
-i |
|
|
-ip |
+ ik/ |
+ m |
e |
O |
|
σ |
|
|
|
|
|
|
|
|
|
|
|
|
|
´ |
(2p)4 eg |
|
|
|
M |
|
|
|
|
|
|
/ |
|
|
|
P |
(2p)4 eg |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M(2p)4 (p - k)2 + m2 |
- ie P |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
N |
|
|
|
|
|
|
|
|
e |
|
|
Q |
|
|
или в более простой записи
* Заметим, что эту функцию называют также собственно-энергетической частью или массовым оператором электрона. — Прим. ред.
668 |
Глава 11. Однопетлевые радиационные поправки в КЭД |
Рис. 11.6. Однопетлевая диаграмма для электронной собственно-энергети- ческой функции. Как обычно, сплошная линия изображает электрон, волнистая — фотон.
X |
L |
|
1 O L g ρ (-ip + ik/ + m |
|
)g |
ρ O |
|
Y d4kM |
|
|
|
P M |
/ |
|
|
|
|
e |
|
|
P . |
(11.4.4) |
|
2 |
|
|
2 |
+ m |
2 |
- ie |
|
Z |
Nk |
|
- ie Q M (p - k) |
|
e |
|
P |
|
|
|
|
|
|
N |
|
|
|
|
|
|
|
Q |
|
(Это выражение записано в фейнмановской калибровке; амплитуды с заряженными частицами, находящимися вне массовой поверхности, калибровочно неинвариантны.) Для последующих вычислений лэмбовского сдвига удобно воспользоваться методом регуляризации, предложенным Паули и Вилларсом 8. Заменим фотонный пропагатор (k2 − ie)−1 íà
|
|
1 |
- |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
, |
k |
2 |
- ie |
k |
2 |
+ m |
2 |
- ie |
|
|
|
|
|
так что электронная собственно-энергетическая функция станет равной
å1* LOOP |
(p) = |
ie |
2 |
|
X |
L |
1 |
|
- |
|
|
1 |
O |
|
|
Y d4kM |
|
|
|
|
P |
(2p)4 |
|
|
- ie |
k2 |
|
|
|
|
Z |
Nk2 |
|
|
+ m2 - ie Q |
|
´ |
L g ρ |
(-ip/ + ik/ + me )g |
ρ O |
|
(11.4.5) |
|
M |
|
|
|
|
|
|
|
|
|
|
|
P . |
|
|
|
|
|
|
|
|
|
|
- ie |
|
|
|
|
|
|
|
M (p - k)2 + m2 |
|
|
P |
|
|
|
|
|
N |
|
|
|
|
|
e |
|
|
|
|
Q |
|
|
Позднее можно будет отбросить регуляризующее слагаемое, устремив регуляризующую массу m к бесконечности. В гл. 14 нас будет также интересовать случай m n me.
Используем прием Фейнмана для объединения знаменателей и вспомним, что gρgκgρ = −2gκ, à gρgρ = 4. Тогда