15

1.2

Propagador del campo escalar

Comencemos con la convoluci on del campo escalatr (pseudoescalar) hermitiano. Usando las deniciones (1.3) y (1.6) as como las relaciones de conmutaci on, conocidas de la mec anica cu antica q q ), [a(q), a+ (q )] = (( a(q), a(q ) = 0, (+) (x1 ), () (x2 ) = 1 (2)3

(1.38)

obtenemos que

1 iq(x1 x2 ) 3 e d q. 2q0

(1.39)

Tarea: comprobar estas relaciones (1.38) y (1.39) En consecuencia el producto cronol ogico (1.38) puede ser escrito como (x1 )(x2 ) =
1 1 iq(x1 x2 ) 3 e d q, (2)3 2q0 1 1 iq(x1 x2 ) 3 e d q, (2)3 2q0 0 > x0 ; x1 2 0 > x0 . x2 1

(1.40)

Aqu q0 =

m2 )(x) = 0).

m2 + ( q)2 . El operador (x) satisface la ecuaci on de KleinGordon (2 +

De esta manera, el emparejamiento cronol ogico (convoluci on) de los operadores del campo on de la variable (x1 x2 ). escalar (pseudoescalar) (x1 )(x2 ) es una funci en una tetradimensional. Para esto revisemos la funci on (x) = 1 l m (2)4 0

Sin embargo la expresi on (1.40) puede ser simplicada, uniendo la integral tridimensional eiqx d 4 q. q2 m2 + i

(1.41)

Integramos con respecto a la cuarta variable q0 desde hasta +. Para esto es necesario tomar en cuanta que la expresi on subintegral tiene dos polos en los puntos . m2 + ( q)2 i q0 1,2 = 2 m2 + ( q)2 cuenta el desarrollo con respecto a , manteniendo los t erminos lineales. ste caso la integral (1.41) con Comencemos el an alisis para el caso cuando x0 > 0. En e respecto a q0 desde hasta + es igual a la integral de contorno representado por la

(1.42)

ltima expresi Aqu es una magnitud positiva muy peque na. En la u on se ha tenido en

16

CAPITULO 1. CALCULOS EN HEP

gura 1.1(a) cuando R . La expresi on subintegral en (1.41) tiene un polo en el semi0 plano inferior en el punto q0 = q0 1 . La integral (1.41) para x > 0 es igual al resto de la

expresi on subintegral en el punto q0 = q0 1 , multiplicado por (2i), dado que el contorno de integraci on re recorre en sentido horario. Asumiendo, luego de la integraci on que = 0, obtenemos la integral tridimensional (x) = 1 (2)3

0 2 2 exp i m + ( q) x + i q x d 3 q, x0 > 0. 2 2 2 m + ( q)

(1.43)

(a)

(b)

Figura 1.1: on la integral (1.41) con respecto a q0 de Veamos el segundo caso: x0 < 0. En esta ocasi a + puede ser reemplazado por la integral de contorno de la gura 1.1(b), cuando R . on Calculando el resto en el polo q0 = q0 2 llegamos a la expresi 1 (2)3

(x) =

sta u ltima integral de otra forma: reemplacemos Reescribamos e q q y permutemos los l mites de integraci on. Obtenemos 1 (2)3 0 2 2 exp +i m + ( q) x i q x d 3 q, x0 > 0. 2 m2 + ( q)2

exp +i m2 + ( q)2 x0 + i q x d 3 q, x0 < 0. 2 2 2 m + ( q)

(1.44)

(x) =

(1.45)

Es obvio que las f ormulas (1.43) y (1.46) coinciden con la correspondiente expresi on de (1.40). De esta manera, la convoluci on de los operadores hermitianos del campo escalar (pseudoescalar) son es igual a

17

Como conclusi on veamos el caso del campo escalar (pseudoescalar) hermitiano, descrito por los operadores (x) y (su conjugada hermitiana) + (x). Para el operador de este campo se cumplen las relaciones:

(x1 )(x2 ) =

1 (2)4

eiq(x1 x2 ) 4 d q. q2 m2

(1.46)

(x) = (+) (x) + () (x),

(+)

(x) =

Nq a(q)eiqx d 3 q, Nq b+ (q)eiqx d 3 q.

(1.47)

() (x) =

Las relaciones correspondientes al operador + (x) se obtienen tomando la conjugada hermitiana de las relaciones (1.48). Los operadores del campo en la representaci on de impulon y creaci on de part culas sos a(q) (b(q)) y a+ (q) (b+ (q)) son los operadores de aniquilaci (antipart culas) con impulso q. Utilizando las relaciones de conmutaci on de los operadores indicados [a(q), a(q )] = 0, [b(q), b(q )] = 0 a(q), b(q ) = 0, [a(q), b+ (q )] = 0 a(q), a+ (q ) = ( q q ), [b(q), b+ (q )] = ( q q ),

(1.48)

se puede hallar la convoluci on de los operadores (x1 ) y + (x2 ), utilizando rdirectamente la f ormula (1.48), obteniendo como resultado: (x1 )(x2 ) = 0, + (x1 )+ (x2 ) = 0, (x1 )+ (x2 ) = + (x1 )(x2 ) = i (2)4

(1.49)

eiq(x1 x2 ) 4 d q. q2 m2

(1.50)

18

CAPITULO 1. CALCULOS EN HEP

1.3

Propagador del campo espinorial

Pasemos al estudio de los operadores del campo espinorial. Calculemos la convoluci on 2 (x2 ) = 1 (x1 ) 2 (x2 )]+ ; x10 > x20 , [1 (x1 ),
() (+) [ 2 (x1 ), 1 (x1 )]+ ; x20 > x10 , (+) ()

(1.51)

donde 1,2 son ndices espinoriales. Reemplazando en (1.51) las expresiones (1.9), (1.10)
+ y considerando las relaciones de conmutaci on para los operadores c+ r ( p), cr ( p), dr ( p) y

dr ( p) cr ( p), c+ r ( p ) + cr ( p), cr ( p ) + + dr ( p), dr (p ) + dr ( p), dr ( p ) + cr ( p), dr ( p ) + + cr ( p), dr (p ) + y la conjugaci on hermitiana, obtenemos

r (+) () 3 3 N p N p eix1 ip x2 r,r cr ( p), c+ r 1 (x1 ), 2 (x2 ) = 2 ( p )d pd p = r ( p ) + u1 ( p)u

= rr ( p p ). = 0, = rr ( p p ). = 0, = 0, = 0, (1.52)

1 1 ip(x1 x2 ) 3 e ur r 1 ( p)u 2 ( p)d p, 3 0 (2) 2p r 1 1 ip(x1 x2 ) () 3 (+) = e ur r 1 ( p)u 2 ( p)d p. 2 (x2 ), 1 (x1 ) 3 0 (2) 2p r = Considerando las propiedades de las funciones espinoriales, r ur 1 ( p)u 2 ( p) = (p + m)1 2 , = ( p + m)1 2 ,

(1.53)

r ur r 1 ( p)u 2 ( p)

(1.54)

podemos escribir los anticonmutadores de forma compacta

19

(+) () 1 (x1 ), 2 (x2 ) (+) () 2 (x2 ), 1 (x1 )

1 1 ip(x1 x2 ) 3 = i +m e d p, (1.55) 3 x1 2 p0 1 2 (2) 1 1 ip(x1 x2 ) 3 = i +m e d p. 3 x1 2 p0 1 2 (2)

Utilizando la denici on (1.51) de la convoluci on de los operadores del campo de Dirac (x) (x), as y como las expresiones (1.56), obtenidas para los anticonmutadores, se puede escribir la convoluci on de la siguiente manera: 2 (x2 ) = i + m 1 (x1 ) (x1 x2 ). x1 1 2 (1.56)

on de los operadores La funci on (x1 x2 ) (usada anteriormente para escribir la concoluci del campo escalar y pseudoescalar) se dene por (1.41). Realizando en (1.56) la derivaci on i +m , x1 obtenemos la expresi on, utilizada con mucha frecuencia en c alculos concretos, al escribir (x): la convoluci on de los operadores (x) y 2 (x2 ) = 1 (x1 ) i l m (2)4 0

eip(x1 x2 ) ( p + m) 4 d p. 2 2 p m + i

(1.57)

ndices grieAqu p = p , donde son las matrices de Dirac y se asume la suma por los gos repetidos, desde 1 hasta 4. Utilizando las relaciones de conmutaci on para las matrices de Dirac se puede escribir (p + m)( p m) = p2 m2 ; de donde se desprende que (p + m) 1 = 2 2 p m (p m) de tal manera que i eip(x1 x2 ) 4 d p. (2)4 (p m) Con respecto a la convoluci on de los operadores 1 (x1 ) 2 (x2 ), 1 (x1 )2 (x2 ), 2 (x2 ) = 1 (x1 )

(1.58)

(1.59)

stos, conforme (1.34) son nulos. e