Electrodinámica Cuántica

L0 = ψ̄(i∂ − m)ψ

Reemplazo minimal:

D µ = ∂ µ − ieA µ

1
L = ψ̄(iD − m)ψ − F µνF µν
4

Lagrangiano de la electrodinámica cuántica.

 Propagador del electrón

L0 = ψ̄(i∂ − m)ψ + j¯ψ + ψ̄ j

(i∂ − m)ψ = −j , (i∂ − m)SF (x − y) = iδ(x − y)

d dp
Z
SF (x − y) = d
SF (p)e−i p.(x−y), (p − m)SF (p) = i
(2π)
i i(p + m)
SF (p) = = 2
p − m p − m2 + iε
 Fijación de Gauge

∂ µA µ = B(x)

En la integral funcional, promediando sobre B

Z 1
− 2α B 2
Z= dAd ψ̄ dψdBe δ(∂ µA µ − B(x))e−S

Esto lleva al lagrangiano de fijación de gauge

1
LGF = (∂ µA µ)2
2α
 Simetría BRST

δA µ = ∂ µα(x), α(x) = λC(x)

λ2 = 0, λC(x) = −C(x)λ
δ = λδBRST, δBRSTA µ = ∂ µC(x)

C(x)es el campo fantasma.

Notar:

δ(AB) = (δA)B + A(δB) =

(λδBRSTA)B + AλδBRSTB = λδBRST(AB)

Si A es un fantasma, se tiene que:

δBRSTA = −AδBRST

Imponiendo nilpotencia:

2
0 = δBRST A µ = ∂ µδBRSTC(x), δBRSTC(x) = 0
Para tener los gauges conocidos introducimos:

δBRSTC̄ (x) = B(x)

δBRSTB(x) = 0

C̄ (x) es el campo antifantasma. B(x) es el campo de Nakanishi-Lautrup.

 Simetría BRST

Para fijar el gauge se agrega en el lagrangiano:LGF = −δBRSTF

F debe tener número de fantasma -1.
Sea F = C̄ (x)(∂ µA µ + αB),

LGF = −αB 2 − B∂ µA µ + C̄ (x)∂ 2C(x)

Integrando sobre B:

∂ µA µ
−2αB0 − ∂ µA µ = 0 B0 = −
2α
(∂ µA µ)2
LGF = −αB02 − B0∂ µA µ + C̄ (x)∂ 2C(x) = + C̄ (x)∂ 2C(x)
4α

La simetría de LGF es:

∂ µA µ
δBRSTA µ = ∂ µC(x) δBRSTC(x) = 0 δBRSTC̄ (x) = −
2α
 Propagador de Fotón

1 1 1
L = − 4 F µνF µν + 2α (∂.A)2 + j.A, ∂ µF µν − α ∂ ν∂.A + j ν = 0,
1 1

Aν − ∂ ν∂ µA µ − α ∂ ν∂.A = −j ν ,Dαν − ∂ ν∂ µDαµ 1 + α = iδανδ(x)
dd k
Dαν(x) = D ν (k)e−ik.x
R
(2π)d α
1
1

−k 2Dαν + k ν k µDαµ 1 + α = iδαν, S µν = k 2δ νµ − k ν k µ 1 + α ,Aδ µν + Bk νk µ = S µ−1ν
  
1
(Aδ µν + Bk νk µ) k 2δ βµ − k µ k β 1 + = δ βν
α
   
1 1
Ak 2δ βν − Ak ν k β 1 + + Bk 2k νk β − Bk 2k ν k β 1 +
α α
   
1 1
Ak 2 = 1, −A 1 + + Bk 2 − Bk 2 1 + =0
α α
 
1 1
Bk 2 = −α 1 +
α k2
 
k µk
Dνµ = k2 + iε δνµ − (α + 1) k2 ν
−i
 Vértice

Calcular, usando la integral funcional

Figura 1.

1
L = ψ̄(iD − m)ψ − 4 F µνF µν , D µ = ∂ µ − ieQA µ, LI = eQA µψ̄γ µψ

Vértice: ieQγ µ, El electrón tiene Q = −1

 Reglas de Feynman

Figura 2.

Además un loop cerrado de fermión agrega -1 y se debe calcular la traza sobre las matrices
de Dirac.

Ejercicio: Use la integral funcional para encontrar Figura 3.

 Autoenergía del Fotón

Tr(γ µ i(p + k + m)γνi(p + m))

Π µν = −(−i e)2 dnp
R
[(p + k)2 − m2 + iε][p2 − m2 + iε]

ν µ
 trazas en regularización dimensional

{γ µ , γ ν } = 2η µν 1n
Tr(γ µγν ) = 4η µν . Notar el 4 en cualquier número de dimensiones. Esto es Tr 1n = 4
Tr(γ µγ νγ αγ β ) = 4η βµη να − 4η βνη µα + 4η βαη νµ
En efecto:

Tr(γ µγ νγ αγ β ) = −Tr(γ µγ νγ βγ α) + 2η αβ Tr(γ µγ ν ) =

Tr(γ µγ βγ νγ α) − 2η νβ Tr(γ µγ α) + 2η αβ Tr(γ µγ ν ) =
−Tr(γ βγ µγ νγ α) + 2η µβ Tr(γ νγ α) − 2η νβ Tr(γ µγ α) + 2η αβ Tr(γ µγ ν )

La traza es cíclica:

2Tr(γ µγ νγ αγ β ) = 2η µβ Tr(γ νγ α) − 2η νβ Tr(γ µγ α) + 2η αβ Tr(γ µγ ν )

Tr(γ µ (p + k + m)γν (p + m)) = Tr(γ µ (p + k)γν p) + 4m2 η µν =

(p + k)αp β 4(η µαηνβ − η µνηαβ + η µβηνα) + 4m2 η µν = (4m2 − 4(p2 + p.k))η µν + 4(p + k) µpν +
4(p + k)νp µ = 4N µν
 Autoenergía del Fotón

Z 1
1 dx
=
ab 0
(ax + b(1 − x))2
Z 1 Z
N
Inγ = −4e2 dx dnp µν
0 D2
D = (p2 − m2 + iε)x + (1 − x)((p + k)2 − m2 + iε)
N µν = (m2 − p2 − p.k)η µν + (p + k) µpν + (µ ↔ ν)

Completamos el cuadrado en el denominador:

D = p2 − m2 + iε + (1 − x)(2p.k + k 2) =
(p + k(1 − x))2 − k 2(1 − x)2 + k 2(1 − x) − m2 + iε

Redefinir:

p → p − k(1 − x)
D = p2 + k 2x(1 − x) − m2 + iε
N µν = η µν (m2 − p2 − k 2(1 − x)2 + k 2(1 − x)) + 2p µpν − 2k µkνx(1 − x) =
η µν (m2 − p2 + k 2(1 − x)x) + 2p µpν − 2k µkνx(1 − x) =
 2
η µν (m2 − p2 + k 2(1 − x)x) + p2 η µν − 2k µkνx(1 − x) =
   n 
2
η µν m2 − p2 1 − + k 2(1 − x)x − 2k µkνx(1 − x) = N µν
n
 Autoenergía del Fotón
 
d
dd q 1 1 Γ n− 2

1

n− 2
d
n
R
Integramos sobre p: 2
(2 π) (q − ∆ + iε)n
d = i(−1) Γ(n) ∆ − iε
(4 π)d/2

Z n
1 π2 n
 
dnp 2 =i nΓ 2−
(p − M 2 + iε)2 (M )2 2− 2 2
n
2
Z
p π2 n 2n
 
d np 2 = −i n Γ 1 − M
(p − M 2 + iε)2 2−
(M 2) 2 2 2

Se obtiene, con M 2 = −k 2x(1 − x) + m2 ,

Z 1
2
n
dx
−4e iπ 2
2−
n
0 (M 2) 2
n
h  
Γ 2− (η µν (m2 + k 2(1 − x)x) − 2k µkνx(1 − x))
2   
2 n n

+η µν 1 − Γ 1− M2 ] =
n 2 2
Z 1
n
n dx
 
2
−4e iπ Γ 2 −
2
n
2 0 (M 2)2− 2
[(η µν (m2 + k 2(1 − x)x) − 2k µkνx(1 − x) − η µν (−k 2x(1 − x) + m2)] =
Z 1
n 
n dx
8e2iπ 2 Γ 2 − 2
n x(1 − x)(k η µν − k µkν )
2 0 (M 2) 2 2−
 Autoenergía del Electrón

p+k

p
Figura 4.
 Autoenergía del electrón

γ µ(p + m)γ µ
Z
Ine = (−ie)2i(−i) d np 2
(p − m2 + iε)((p + k)2 + iε)

γ µγ µ = n1
γ µγνγ µ = −nγν + 2η µνγ µ = (2 − n)γν
(p(2 − n) + nm)
Z
Ine = −e2 dnp 2 =
(p − m2 + iε)((p + k)2 + iε)
Z 1 Z
(p(2 − n) + nm)
2
−e dx dnp 2
0 [(p − m2 + iε)x + (1 − x)((p + k)2 + iε)]2
N = ip(2 − n) + nm
D = p2 − m2x + iε + 2p.k(1 − x) + k 2(1 − x) =
(p + k(1 − x))2 − m2x + iε + k 2(1 − x)x

p → p − k(1 − x)
N = −(2 − n)k(1 − x) + nm
Z 1
−(2 − n)k(1 − x) + nm n2 n
 
′2
Ine = −e2 dx n iπ Γ 2 − , M = m2x − k 2(1 − x)x
0 M ′2

2− 2 2
 Momento Magnético Anómalo del electrón

• Ramond, Capítulo 8.4

• Peskin, Capítulo 6
 Lamb Shift

• Ramond, página 269 y problemas

• Peskin página 253.
 Identidades de Ward

Consideremos la integral funcional:

Z
Dφaei S(φ)G(φ)

La transformación infinitesimal de φ:δφa deja invariante la acción y la medida de integración.

Realizando el cambio de variables φa → φa + δφa obtenemos:
Z Z
DφaeiS(φ)G(φ) = Dφaei S(φ)G(φ + δφ)
Z
δG a
DφaeiS(φ)δG(φ) = 0 δG(φ) = δφ
δφa

La ecuación en rojo es la identidad de Ward correspondiente a la simetría δφa.

 Identidad de Ward para la autoenergía del fotón

Encontremos la identidad de Ward asociada a la simetría BRST de la electrodinámica, para

G(A µ , C , C̄ ) = C̄ (x)Aν (y)
Z  
∂ µA µ(x)
DA µDC̄DCei (S +SGF) − Aν (y) − C̄ (x)∂νyC(y)
2α
Es decir
1 x
− ∂ D µν (x − y) + ∂νF (x − y) = 0
2α µ

D es el propagador vestido del fotón. En espacio de momentum se tiene:

D µν (k) = D 0µν (k) + D 0µα(k)Παβ (k)D 0βν (k) + ....

Dado que ∂νF (x − y) no tiene correcciones radiativas, la identidad se satura con el propagador
del fotón libre. Por lo tanto:

k µD 0µα(k)Παβ (k)D 0βν (k) = 0 k µD 0µα(k) = A(k 2)kα

Esto es:kαΠαβ (k) = 0.

 Identidad de Ward para la acción efectiva

Z R
a iS(φ) i d xja(x)φa(x)
Dφ e δG(φ) = 0, G = e

Esto es:
Z Z
a iS(φ)+i
R
dx j (x)φ (x) δΓ(ϕ)
Dφ e a a
dxja(x)δφa(x) = 0 ja(x) =
δϕa(x)

Obtenemos la identidad de Slavnov Taylor:

Z
δΓ(ϕ)
dx<δφa(x) > j =0
δϕa(x)

Esto dice que la acción efectiva es invariante bajo las transformaciones infinitesimales dadas
por δϕa(x) = <δφa(x) > j . En general estas transformaciones difieren de las que dejan
invariante la acción S. Ambas coinciden para transformaciones lineales.
Problema #1

Considere un campo escalar complejo, acoplado minimalmente al campo electromagnético

A µ. El Lagrangiano es:

1
L = − (F µν )2 + (D µφ)∗(D µφ) − m2 φ∗ φ , F µν = ∂ µAν − ∂νA µ , D µ = ∂ µ + i e A µ
4

1- Encuentre en espacio de momentos

i) el propagador del campo escalar;
ii) Los vértices que describen la interacción del fotón con el campo φ.
2-Calcule la contribución del campo escalar a la polarización del vacío del fotón, usando re-
gularización dimensional. Note que hay dos diagramas. Para escribir la respuesta en la forma
transversal:

Π µν (q 2) = (g µνq 2 − q µq ν )Π(q 2)

es conveniente sumar los dos diagramas al comienzo, poniéndolos sobre un denominador

común antes de introducir parámetros de Feynman. Además use la simetría del integrando
bajo el cambio de variables x − >1 − x. Escriba explícitamente la parte divergente y la parte
finita. Explique claramente de donde viene la dependencia en µ.
Sol:
i
∆F (p) =
p2 − m2 + iǫ

ddp
Z
2 i i
Π1(k) µν = (−ie) (2p + k) µ (2p + k) ν
(2π)d (p + k)2 − m2 + iǫ p2 − m2 + iǫ

d dp
Z
2 i
Π2(k) µν = 2ie g µν
(2π)d p2 − m2 + iǫ

ddp (2p + k) µ(2p + k)ν − 2 g µν ((p + k)2 − m2)

Z
2
Π(k) µν = e =
(2π)d (p2 − m2 + iǫ)((p + k)2 − m2 + iǫ)
Z 1
d dp (2p + k) µ(2p + k)ν − 2g µν ((p + k)2 − m2)
Z
2
e dx
0 (2π)d [(p2 − m2 + iǫ)x + (1 − x)((p + k)2 − m2 + iǫ)]2

D = p2 − m2 + 2(1 − x)pk + (1 − x)k 2 = [p + (1 − x)k]2 + k 2x(1 − x) − m2 + iǫ

p − >p − (1 − x)k:
 N µν = (2p + k( − 1 + 2x))µ(2p + k( − 1 + 2x))ν − 2 g µν ((p + kx)2 − m2) =
4p µpν + k µkν (1 − 2x)2 − 2g µν (p2 + k 2 x2 − m2)

1
ddp 4p µpν + k µkν (1 − 2x)2 − 2 g µν (p2 + k 2 x2 − m2)
Z Z
2
Π(k) µν = e dx =
0 (2π)d (p2 + k 2x(1 − x) − m2 + iǫ)2

1
Z  
i d d
−2 d
e2 Γ(1 − )
d dxM 2 −2g µν (m2 − k 2x(1 − x)) + k µkν (1 − 2x)2(1 − ) − 2 g µν
(4π) 2
2 0 2

d d
−m2 + k 2( x(1 − x) + x2(1 − )]
2 2
Coeff(m2)=0

d d d
C(k 2 g µν ) = 2x(1 − x) − 2 ( x(1 − x) + x2(1 − )) = (1 − )[4x(1 − x) − 1]
2 2 2
Z 1
i d d
−2
Π(k) µν = e2 d Γ(2 − )(k µkν − g µνk 2) dxM 2 (1 − 2x)2
(4π) 2 2 0

d
ǫ=2− 2

2[A] + 2 − d = 0, [A] = 1 − ǫ, 1 = [e] + [A], [e] = ǫ

Z 1
2 i M −ǫ
Π(k) µν = e 2
Γ(ǫ)(k µkν − g µνk 2) dx( 2
) (1 − 2x)2
(4π) 0 4πµ

Z 1
i 2 M
PFΠ(k) µν = −e 2
(k µkν − g µνk 2) dxln( 2
)(1 − 2x)2
(4π) 0 4πµ

Z 1
i 12
PPΠ(k) µν = e 2
(k µkν − g µνk 2) dx(1 − 2x)2
(4π) ǫ 0