Tarea 03 QFT I

Luis Cancino
14 de octubre de 2020

1. Demuestre que la función de correlación de 2 puntos, h0|T φ0 (x)φ0 (x0 )|0i, es una función de Green para el operador de
Klein-Gordon  + m2 .
Para demostrar esto, el operador  + m2 actuando sobre el propagador debe ser igual a −iδ 4 (x − x0 )
0
d4 k ieik(x−x )
Z
( + m2 )DF (x, x0 ) = ( + m2 )
(2π)4 k 2 − m2 + iε

en el espacio de Fourier  = −k 2 , ası́ que

0
d4 k i(−k 2 + m2 )eik(x−x )
Z
( + m2 )DF (x, x0 ) = ,
(2π)4 k 2 − m2 + iε

tomamos el limite implı́cito ε → 0

0
d4 k (k 2 − m2 )eik(x−x ) d4 k ik(x−x0 )
Z Z
( + m2 )DF (x, x0 ) = −i = −i e = −iδ 4 (x − x0 )
(2π)4 k 2 − m2 (2π)4

lo cual es la respuesta de aplicar nuestro operador a la función de Green.

2. Calcule el propagador de Feynman del campo escalar libre, en coordenadas: DF (x, x0 ). Tome el limite m → 0 para encontrar:
1 1
h0|T φ0 (x)φ0 (x0 )|0i = − .
4π 2 (x − x0 )2 − i

Partimos escribiendo la version integral del propagador

0 0 0
d4 k ieik(x−x ) d3 k −i~k(~x−~x ieik0 (t−t ) d3 k eik(x−x )
Z Z Z Z
0
h0|T φ0 (x)φ0 (x0 )|0i = = −i e )
= −i
(2π)4 k02 − ωk2 − iε (2π)3 k0 − ωk2 − iε
2 (2π)3 2ωk − iε

ya que el propagador es invariante ante transformaciones de Lorentz, podemos definir un vector space-like qµ = xµ − x0µ ,
para cumplir esa propiedad de q lo escribimos explı́citamente como q = (0, ~r). Entonces, en coordenadas esféricas k µ pµ =
−krcos(θ), y el propagador

∞ π 2π
dkk 2
Z Z Z
1
D(x − x0 ) = D(q) = √ dθeikrcos(θ) sen(θ) dφ
(2π)3 0 2 k 2 + m2 − iε 0 0

realizamos un cambio de variable con u = cos(θ)

1
 ∞ 1 ∞
dkk 2 dkk 2 2sen(kr)
Z Z Z
10 ikru 1
D(x − x ) = √ dθe = √
(2π)2 0 2 k 2 + m2 − iε −1 (2π)2 0 2kr k 2 + m2 − iε

La ecuación de Gradstein y Ryzhik es

Z ∞
cos(αx)dx
p = K0 (αβ)
0 β 2 + x2

si los derivamos respecto a α, tenemos

Z ∞
xcos(αz)dx
p = −βK00 (αβ) = βK1 (αβ)
0 β 2 + x2

entonces el propagador resulta ser

1 1
D(x − x0 ) = mK1 (mr) = mK1 (mr) (1)
4π 2 r − iε 4π 2 |x − x0 | − iε

3. REncuentre las expresiones para las funciones de Green (propagadores) retardada y avanzada, en la forma de integrales
d4 k.
Las expresiones que encontramos para los propagadores retardados y avanzados son

d3 k 1 i~k·(~x1 −~x2 ) iωk (t1 −t2 )

Z
DA (x1 , x2 ) = e (e − e−iωk (t1 −t2 ) )θ(t2 − t1 ) (2)
(2π)3 2ωk
d3 k 1 i~k·(~x1 −~x2 ) −iωk (t1 −t2 )
Z
DR (x1 , x2 ) = e (e − eiωk (t1 −t2 ) )θ(t1 − t2 ) (3)
(2π)3 2ωk

utilizamos la identidad matemática

dk0 ie−ik0 (t1 −t2 )

Z
1
= (e−iωk (t1 −t2 ) − eiωk (t1 −t2 ) )θ(t1 − t2 ), (4)
2π (k0 + iε)2 − ωk2 2ωk

Ası́ los propagadores podemos escribirlos de la siguiente forma

d3 k i~k·(~x1 −~x2 ) dk0 −ie−ik0 (t1 −t2 ) d4 k e−ik0 (t1 −t2 ) d4 k e−ik0 (t1 −t2 )
Z Z Z Z
DA (x1 , x2 ) = e = −i = −i
(2π)3 2π (k0 + iε)2 − ωk2 (2π) (k0 + iε)2 − ωk2
4 (2π)4 ~k 2 − m2 − iε

y para el propagador retardado

d3 k i~k·(~x1 −~x2 ) dk0 ie−ik0 (t1 −t2 ) d4 k e−ik0 (t1 −t2 ) d4 k e−ik0 (t1 −t2 )
Z Z Z Z
DR (x1 , x2 ) = e =i =i .
(2π)3 2π (k0 + iε)2 − ωk2 (2π)4 (k0 + iε)2 − ωk2 (2π)4 ~k 2 − m2 − iε

2
4. a) Derive la relación Z
i d4 x e−ipx (x + m2 )φ(x) = a†p (−∞) − a†p (+∞).

Empezamos modificando el integrando con una relación que demostraremos a la inversa.

∂t [eipx (i∂t + ωp )φ(x)] = (iωp eipx (i∂t + ωp ) + eipx (i∂t2 + ωp ∂t ))φ(x) = [−ωp ∂t + iωp2 + i∂t2 + ωp ∂t ]eipx φ(x)
= i[∂t2 + ωp2 ]eipx φ(x)

lo remplazamos en la integral

Z Z Z Z
−ipx
i d xe4 2
(x + m )φ(x) = 4
d x∂t [e ipx
(i∂t + ωp )φ(x)] = dt∂t [e iωp t
d3 xe−i~p~x (i∂t + ωp )φ(x)]

vemos que el resultado dependerá de los estados asintoticos solamente. Resolvemos la parte que está dentro de la
derivada temporal, y recordamos la forma que tiene el campo φ(x)

d3 k
Z
1
φ(x) = 3
√ [ak (t)e−ikx + a†k (t)eikx ]
(2π) 2ωk
d3 k
Z Z Z
1
⇒ d3 xe−i~p~x (i∂t + ωp )φ(x) = d3 xe−i~p~x (i∂t + ωp ) 3
√ [ak (t)e−ikx + a†k (t)eikx ]
(2π) 2ωk
d3 k
Z Z
1
= d3 xe−i~p~x 3
√ (i∂t + ωp )[ak (t)e−ikx + a†k (t)eikx ]
(2π) 2ωk
d3 k
Z Z
1
= d3 xe−i~p~x 3
√ [ak (t)(ωk + ωp )e−ikx + a†k (t)(−ωk + ωp )eikx ]
(2π) 2ωk
donde hemos usado que ∂t a(t) = 0, lo que no debe ser verdad siempre, pero ya que los únicos términos que sobreviven
son los estados asintoticos podemos considerar esto. La integral dependiente de x nos entrega una delta de Dirac
p − ~k), esto hará desaparecer el operador de creación.
δ 3 (~

Z
2ωp
d3 xe−i~p~x (i∂t + ωp )φ(x) = p ap (t)e−iωp t = 2ωp ap (t)e−iωp t .
p
2ωp
Con todo esto a mano, remplazamos en la integral

Z Z Z Z ∞
−ipx −i~
4 2 iωp t 3 p~
x
dt∂t [eiωp t 2ωp ap (t)e−iωp t ]
p
i d xe (x + m )φ(x) = dt∂t [e d xe (i∂t + ωp )φ(x)] =
−∞
p
= 2ωp [ap (∞) − ap (−∞)]

y queda comprobado la igualdad, con una constante que fue olvidada en el enunciado.
b) Demuestre que la integral de la izquierda es cero en el caso de una teorı́a libre:
1 1
L= ∂µ φ ∂ µ φ − m2 φ2 .
2 2
Calculamos la ecuación de Euler-Lagrange para este Lagrangeano

 
∂L ∂L
− ∂µ = −m2 φ − ∂µ (∂ µ φ) = −( + m2 )φ = 0
∂φ ∂(∂µ φ)
por lo que en la integral de la izquierda, su integrando es 0.

3
 c) Considere ahora una teorı́a con auto-interacción cuántica como la siguiente:

1 1 λ
L= ∂µ φ ∂ µ φ − m2 φ2 − φ4 .
2 2 4!
Sigue siendo cero la expresión integral de arriba? Explique.
Realizamos el mismo procedimiento que anteriormente

 
∂L ∂L λ λ
− ∂µ = −m2 φ − φ3 − ∂µ (∂ µ φ) = −( + m2 + φ2 )φ = 0
∂φ ∂(∂µ φ) 3! 3!
λ
⇒ ( + m2 )φ = − φ3
3!
Por lo que la integral es
Z Z
iλ
i d4 x e−ipx (x + m2 )φ(x) = − d4 xe−ipx φ3 (5)
3!
En este caso no podemos asumir que se cumple la ecuación de la sección a), ya que para demostrarla utilizamos la
noción de que la interacción ocurre en un tiempo finito distinto al tiempo asintomático. Al tener una teorı́a auto-
interactivo, las interacciones ocurrirán a lo largo de todo el tiempo.
5. Considere el lagrangiano para la teorı́a escalar con auto-interacción φ3 :
1 1 g
L= ∂ µ φ ∂ µ φ − m 2 φ2 − φ3 .
2 2 3!
a) Dibuje el diagrama de Feynman de “árbol” para el proceso φ → φφ. Escriba la correspondiente amplitud usando las
reglas de Feynman.
A orden 0 el diagrama es

Al no tener propagadores y un vértice, la amplitud del diagrama es simplemente

M=g (6)

b) Considere ahora la corrección de 1 loop como se ve en la figura.

4
 Escriba la correspondiente amplitud usando las reglas de Feynman.

Definimos hacia donde se mueven las partı́culas virtuales

y la amplitud del diagrama asociado es

i −i −i
iM ∼ ig ig 2 ig 2
k12 − m + iε k2 − m + iε k3 − m2 + iε
2 2

Asumiendo un movimiento horario, los momentum son

P1 − k 1 = k 3 , P2 + k2 = k1 , P3 − k3 = k2 ,
Ası́ la amplitud asociada al diagrama es

d4 k d4 k
Z Z
1 1 1 1 1 1
iM = −g 3 2 2 2 = −g 3 (7)
4
(2π) k1 − m k2 − m k3 − m2
2 2 (2π) k − m (k − p2 ) − m (k − p1 )2 − m2
4 2 2 2 2

c) Escriba el diagrama de la parte (b) en el espacio de posición, en términos de integrales sobre los puntos intermedios
y las contracciones de Wick representadas por factores DF (x, x0 ).
El propagador para el diagrama es
Z
< φ(x1 )φ(x2 )φ(x3 ) >= −ig 3 d4 xd4 yd4 zDF (x1 , x)DF (x, y)DF (y, y1 )DF (y, z)DF (z, z1 )DF (z, x)

d ) Demuestre que, después de aplicar LSZ, lo que se obtuvo en (c) se reduce a lo que se obtuvo en b al integrar las fases
generando funciones δ y luego integrar sobre esas funciones δ.
Con lo que calculamos anterior la formula de reducción LSZ queda

< f |M|i >=< f |S − 1|i >

 Z  Z  Z 
4 −ip1 x1 2 4 ip2 y1 2 4 ip3 z1 2
< f |S|i >= i d x1 e ( + m ) i d y1 e ( + m ) i d z1 e ( + m ) × < φ(x1 )φ(x2 )φ(x3 ) >
Z
= −g 3 d4 x1 d4 y1 d4 z1 d4 xd4 yd4 z e−ip1 x1 ( + m2 )DF (x1 , x)DF (x, y)...
Z
= −g 3 d4 x1 d4 y1 d4 z1 d4 xd4 yd4 z e−ip1 x1 · −iδ 4 (x − x1 )DF (x, y)...

d4 k1 d4 k2 d4 k3 e−ip1 x ieik1 (x−y) eip2 y ieik2 (y−z) eip3 z ieik3 (z−x)

Z
= −ig 3 d4 xd4 yd4 z
(2π)4 (2π)4 (2π)4 k12 − m2 + iε k22 − m2 + iε k32 − m2 + iε
δ 4 (k1 − p1 − k3 ) δ 4 (p2 + k2 − k1 ) δ 4 (p3 + k3 − k2 )
Z
− g 3 d4 k1 d4 k2 d4 k3 2
k1 − m2 + iε k22 − m2 + iε k32 − m2 + iε
d4 k
Z
1 1 1
= −g 3
(2π) k − m (k − p2 ) − m (k − p1 )2 − m2
4 2 2 2 2

5
6. Considere el lagrangiano de dos partı́culas escalares interactuantes:
1 1 λ g
L= (∂µ φ1 )(∂ µ φ1 ) + (∂µ φ2 )(∂ µ φ2 ) + (∂µ φ1 )(∂ µ φ2 ) + φ21 φ2 .
2 2 2 2

Calcule la siguiente sección eficaz diferencial a nivel de “árbol”:

dσ
(φ1 φ2 → φ1 φ2 )
dΩ

En este proceso tenemos 4 diagramas asociados, 2 para cada componente del lagrangiano de interacción.

donde las lineas rojas representan al campo φ2 y los azules al φ1 . Los diagramas asociados al término g2 φ21 φ2 son,
y sus respectivas amplitudes son

−i −i ig 2 ig 2
iM1 = ig 2
ig + ig 2 ig = + (8)
k k (p1 + p2 ) (p1 − p4 )
λ µ
Los diagramas asociados a 2 (∂µ φ1 )(∂ φ2 ) son
y sus amplitudes

iλ2 iλ2
iM2 = (p1 · p2 )(p3 · p4 ) + (p1 · p4 )(p2 · p3 ) (9)
(p1 + p2 )2 (p1 + p2 )2

Dejamos nuestros resultados en función de las variables de Mandelstan

s = (p1 + p2 )2 = −2p1 · p2 ) = −2(p3 · p4 )

u = (p1 + p4 )2 = 2p1 · p4 ) = −2(p2 · p3 )
s+u+t=m=0

La amplitud total en función de las variables de Mandelstan es

1 1 λ2 g 2 t λ2 t
iM = −i(g 2 ( + ) + (−s − u)) = −i( + ). (10)
s u 4 su 4
El cross section diferencial para 2 partı́culas entrando y 2 saliendo en el marco de referencia del centro de masa es

dσ 1 g 2 t λ2 t 2
(φ1 φ2 → φ1 φ2 ) = 2 2 ( + ) (11)
dΩ 64π EC.M. su 4