Apendice B: La ecuacion de Dirac

B.1 La ecuacion de Dirac para una partcula libre

Se busca una ecuacion lineal en
t
, que trate espacio y tiempo de manera simetrica,
es decir tambien lineal en

, que tenga una norma conservada y denida positiva,
sea maniestamente covariante y reeje la relacion relativista energa-momento de
una partcula libre. Una eleccion es la ecuacion de Dirac:
i
t
= H = = ( p + m) (B.1)
Esta ecuacion debe cumplir las siguientes propiedades:
1. interpretacion correcta del momento y la energa de una partcula libre rela-
tivista, E
2
= p
2
+ m
2
. Esto implica
{
i
,
j
} = 2
ij
(B.2)
{
i
, } = 0 (B.3)

2
= 1 (B.4)
2. H

= H. Implica

i
=
i
(B.5)

= (B.6)
De todo esto:

i
, son matrices
193
194 Apendice B
Tr{
i
}=Tr{}=0
Sus autovalores son 1
Su dimension es par y mayor que 2
La dimension mas simple es 4. Claramente las funciones de onda son es-
pinores, en este caso de 4 componentes.
3. Debe poder denirse una densidad de probabilidad denida positiva y sujeta
a una ecuacion de continuidad. Se encuentra
j

=
_

_
(B.7)
que verica

x
k
_

_
= 0

= 0 . (B.8)
B.2 Forma covariante de la ecuacion de Dirac
Deniendo

0
= (B.9)

i
=
i
, (B.10)
se tiene la ecuacion de Dirac (B.1)
_
i

m
_
= 0 . (B.11)
B.3 Matrices gamma
Las matrices gamma denidas anteriormente verican
1.1
{

} = 2g

, (B.12)
1.1
del apendice A del libro de Mandl-Shaw, Introduction to QFT
B.3. Matrices gamma 195
(

=
0

0
. (B.13)
Se denen las matrices gamma con subndices por la relacion

. (B.14)
Esto no implica, sin embargo, que las matrices

se transformen como cuadrivec-

tores.
B.3.1

Algebra de Cliord
A partir de matrices

que verican las propiedades (B.14), (B.12) y (B.13) se

puede construir una base ({
n
}) de las matrices 4x4 llamada algebra de Cliord de
la siguiente manera

S
= I

, = 0, 1, 2, 3

P
=
5
i
0

i
2
[

=
5

_
. (B.15)
Se comprueba facilmente que
_

,
5
_
= 0 , (B.16)
_

5
_

=
5
, (B.17)
_

5
_
2
= I . (B.18)
Ademas se dene

5

i
4!

=
5
, (B.19)
donde

es el smbolo completamente antisimetrico, igual a +1 para una per-

mutacion par de (0,1,2,3), -1 para una impar y nulo si dos o m as ndices se repiten.
Otras propiedades son:
{

} = 0 , (B.20)
(

=
0

0
, (B.21)
(

)
2
= g

. (B.22)
196 Apendice B
_

_
= 0 , (B.23)
_

=
0

0
, (B.24)
_

_
2
= g

. (B.25)
Y, resumiendo

n
, (
n
)
2
= I

m
,
n
,
p
perteneciente al algebra que verica
m

n
=
p
nm

p
, donde
p
nm
es una constante que vale 1, -1, i o -i.

n
, distinta de la matriz unidad,
m
tal que {
n
,
m
} = 0. Por tanto,
Tr{
n
} = 0,
n
= I.
B.3.2 Lema de Schur
Si una matriz de orden 4x4 conmuta con las cuatro matrices

, entonces es m ultiplo
de la matriz unidad.
B.3.3 Teorema de Pauli
Si

son dos conjuntos de matrices que verican (B.12) y (B.13) existe una
relacion de semejanza entre ellos:

= U

, (B.26)
con U una matriz unitaria.
B.3.4 Contracciones
Se tienen las siguientes identidades utiles basandose en todas las propiedades ante-
riores:

= 4,

= 2

= 4g

= 2

= 2
_

_
_

_
. (B.27)
B.3. Matrices gamma 197
Si a es un cuadrivector, se dene / a

y se verica:
a.-
/a/b = ab i

= 2ab /b/a (B.28)

b.-

/a

= 2/ a

/a/b

= 4ab

/a/b/c

= 2/ c/b/a

/a/b/c/d

= 2(/ d/a/b/c + / c/b/a/d)

(B.29)
c.- Ademas se comprueba que el smbolo

introducido anteriormente verica

= 2 (g

= 6 g

= 24
(B.30)
B.3.5 Trazas
Las trazas de matrices gamma mas utiles son las siguientes:
a.- Para matrices cualesquiera de orden nxn se tiene que:
Tr(ABC) = Tr(CAB) . (B.31)
De ah que Tr(
n
) = 0, para toda
n
del algebra de Cliord distinta de la
unidad (
n
= I).
b.-
Tr(

) = Tr(

) . (B.32)
Como consecuencia Tr(/ a
1
/a
2
/a
n
) = Tr(/ a
n
/a
2
/a
1
)
c.- La traza del producto de un n umero impar de matrices

( = 0, , 3) es nula.
Por tanto: Tr(/ a
1
/a
2
/a
n
) = 0, si n es impar.
d.- Para el producto de un n umero par:
Tr(

) = 4g

, = Tr

= 0
Tr(

) = 4 (g

+ g

)
_

_
. (B.33)
198 Apendice B
De donde
Tr(/ a/b) = 4(ab)
Tr(/ a/b/c/d) = 4[(ab)(cd) (ac)(bd) + (ad)(bc)]

Tr(/ a
1
/a
2
/a
2n
) = [(a
1
a
2
)Tr(/ a
3
/a
2n
)
(a
1
a
3
)Tr(/ a
2
/a
4
/a
2n
)
+ + (a
1
a
2n
)Tr(/ a
2
/a
2n1
)]
_

_
. (B.34)
e.- Utilizando los resultados anteriores se pueden obtener las trazas de los productos
de matrices gamma que incluyen
5
. Los mas utiles son
Tr
5
= Tr(
5

) = Tr(
5

) = Tr(
5

) = 0
Tr(
5

) = 4i

(B.35)
B.4 Independencia de la representacion
La ecuacion de Dirac es independiente de la representacion escogida para las matrices

(
i
, ). Es decir, conocida la solucion (x) en una representacion, la solucion

(x) en otra, esta relacionada con ella por una matriz S no singular conocida. En
concreto, (x) y

(x) verican respectivamente

_
i

m
_
(x) = 0 , (B.36)
_
i

m
_

(x) = 0 , (B.37)
donde ambos conjuntos de matrices verican (B.12). Seg un el teorema de Pauli
se establece una relacion de semejanza entre ellos (B.26):

= S

,
con S una matriz unitaria. Introduciendo esto en (B.37)
_
i S

S S

m
_

(x) = 0 .
Multiplicando a la izquierda por S

,
_
i

m
_
S

(x) = 0 .
B.5. Invariancia bajo transformaciones de Lorentz 199
Comparando con (B.36), se tiene que
(x) = S

(x) ,

(x) = S (x) .
B.5 Invariancia bajo transformaciones de Lorentz
Consideremos transformaciones generales de Lorentz homogeneas y ortotemporales,
denidas seg un (1.8):
x

, (B.38)
con
0
0
> 0 y det[] = 1. Es decir, no engloban inversion temporal pero
s pueden contener una inversion espacial. Para que la ecuacion de Dirac sea
invariante bajo esas transformaciones, debe existir una matriz S no singular que
transforme los espinores
(x)

(x

) = S() (x) (B.39)

y que verique (ver problema B.4):

S()

S
1
() =

(B.40)
y
S
1
=
0
S

0
. (B.41)
Utilizando la propiedad de las transformaciones de Lorentz (1.19)

,
la ecuacion (B.40) queda:
S()

S
1
() =

. (B.42)
Otra forma util de escribirla es:
S
1
()

S() =

. (B.43)
200 Apendice B
Se puede comprobar de una manera relativamente sencilla que para una trans-
formacion de Lorentz innitesimal (1.10), la matriz S(

) es
S(

) = 1
i
4

,
S
1
(

) = 1 +
i
4

,
(B.44)
donde

= g

.
B.5.1 Covariantes bilineales
De acuerdo con lo anterior, se prueba facilmente que (ver problema B.5)

5
S = det[] S
5
. (B.45)
Deniendo ahora

0
, (B.46)
se tiene que las siguientes formas bilineales basicas de la teora de Dirac se transfor-
man como se indica:

escalar

5
pseudoescalar
i

vector
i

5
pseudo-vector
_

_
. (B.47)
B.5.2 Inversion espacial: Paridad
Este caso no implica una transformacion contnua y no existe por tanto ninguna
transformacion innitesimal asociada. Es, sin embargo, muy sencillo encontrar la
matriz S

a partir de (B.40).
La inversion espacial
x
0
x
0
= x
0
x
1
x
1
= x
1
x
2
x
2
= x
2
x
3
x
3
= x
3
_

_
, (B.48)
B.5. Invariancia bajo transformaciones de Lorentz 201
dene los siguientes parametros

0
0
= 1

1
1
=
2
2
=
3
3
= 1

= 0 ; para =
_

_
. (B.49)
La ecuacion (B.40) queda, entonces:
S

0
S
1

=
0
,
S

i
S
1

=
i
; para i = 1, 2, 3 .
Es decir S

conmuta con
0
y anticonmuta con . Fijandonos en las propiedades
del algebra de Cliord se concluye facilemente que
S

= e
i

0
, (B.50)
con e
i
una fase que se suele tomar 1 por convenio.
B.5.3 Rotaciones: Espn
La matriz de transformacion para el caso particular de una rotacion de un angulo
alrededor del eje

0Z es:

=
_
_
_
_
_
_
_
_
_
_
1 0 0 0
0 cos sin 0
0 sin cos 0
0 0 0 1
_
_
_
_
_
_
_
_
_
_
. (B.51)
Haciendo uso de la ecuacion (B.40) y del algebra de Cliord, se obtiene (problema
B7)
S
rot
() = cos

2
+ i
12
sin

2
. (B.52)
Para una rotacion innitesimal , la matriz anterior queda
1.2
S
rot
() = 1 + i

12
2
= e
i

12
2
.
1.2
Esta matriz se puede tambien obtener haciendo uso de (B.44).
202 Apendice B
El generador de la rotacion alrededor del eje

0Z en el espacio de los espinores es,
por tanto
S
z
=

12
2
=
i
2

1

2
=
i
2

1

2
. (B.53)
En general
S
i
=
i
4

ijk

j

k
. (B.54)
B.5.4 Transformacion especca de Lorentz
Se puede obtener facilmente la matriz S
Lor
(v) que transforma los espinores, compa-
rando la matriz de rotacion (B.51) y la pura de Lorentz (1.7). En ese caso particular
en el que la velocidad v va dirigida a lo largo del eje

0X, S
Lor
se escribe
S
Lor
(v) = cosh

2
+ i
01
sinh

2
, (B.55)
con tanh = v.
B.6 Densidad de corriente y probabilidad
La densidad de corriente y probabilidad ya se introdujo anteriormente. Su forma
covariante es
j

, (B.56)
que efectivamente se comporta como un cuadrivector.
De acuerdo con este cuadrivector densidad de corriente, se dene el producto
escalar entre dos espinores,
1
(x) y
2
(x), como
<
1
(x) |
2
(x) >=
_
d
3
x

1
(x)
2
(x) . (B.57)
B.7 Helicidad
Se dene la helicidad como la proyeccion del espn sobre la direccion de movimiento:

p
=

p
| p|
. (B.58)
B.8. Resolucion de la ecuacion. Espinores 203
con

= 2

S. Las componentes del operador espn

S estan dadas en la expresion
(B.54).
El operador helicidad conmuta con el hamiltoniano de Dirac (problema B.13) y
por tanto sus autovalores son buenos n umeros cuanticos.
B.8 Resolucion de la ecuacion. Espinores
La ecuacion de Dirac (B.11) tiene las siguientes soluciones de ondas planas:

p
(x) = A
p
u
r
( p) e
ipx
, (B.59)
donde A
p
es una constante de normalizacion que veremos mas adelante. Para un
mismo valor de p hay 4 soluciones independientes (r = 1, , 4), dos asociadas a
energa +

p
2
+ m
2
y dos asociadas a energa

p
2
+ m
2
. Las soluciones de energa
negativa se suelen dar asociadas al momento p (v
r
( p) u
s
( p); r=1,2; s=3,4).
As, (B.59) se escribe:

p
(x) = A
p
_

_
u
r
( p)
v
r
( p)
_

_
e
ipx
, (B.60)
donde ahora r = 1, 2 y p

= (E
p
, p) con E
p
= +

p
2
+ m
2
. Las dos soluciones inde-
pendientes, r = 1, 2, para cada cuadrimomento p

se pueden elegir como autoestados

de la helicidad.
B.8.1 Espinores de energa positiva, u
r
( p), y negativa, v
r
( p)
Los espinores u
r
( p), v
r
( p) verican las ecuaciones:
(/ p m) u
r
( p) = 0 , (B.61)
(/ p + m) v
r
( p) = 0 . (B.62)

p
_

_
u
r
( p)
v
r
( p)
_

_
= (1)
r+1
_

_
u
r
( p)
v
r
( p)
_

_
. (B.63)
Se suelen normalizar a E
p
/m:
u

r
( p)u
r
( p) = v

r
( p)v
r
( p) =
E
p
m
, (B.64)
204 Apendice B
con E
p
> 0. Con este criterio y normalizando la solucion
p
(x) a 1 en un volumen
V , se tiene
A
p
=

m
V E
p
. (B.65)
Se denen los espinores adjuntos de la siguiente manera
u
r
( p) = u

r
( p)
0
(B.66)
v
r
( p) = v

r
( p)
0
. (B.67)
Se demuestra facilmente que verican las ecuaciones
u
r
( p) (/ p m) = 0 (B.68)
v
r
( p)(/ p + m) = 0 (B.69)
y las condiciones de ortonormalidad y cierre:
u
r
( p) u
s
( p) = v
r
( p) v
s
( p) =
rs
u
r
( p) v
s
( p) = v
r
( p) u
s
( p) = 0
_

_
, (B.70)
2

r=1
[u
r
( p) u
r
( p) v
r
( p) v
r
( p)] =

. (B.71)
B.8.2 Proyector sobre estados de energa denida
Se denen

( p) =
/p + m
2m
(B.72)
y proyectan sobre los subespacios subtendidos por u
r
( p) y v
r
( p) (r=1,2) respectiva-
mente. Pueden escribirse

( p) =

2
r=1
u
r
( p) u
r
( p) ,

( p) =

2
r=1
v
r
( p) v
r
( p) .
(B.73)
B.8.3 Proyector sobre estados de helicidad denida
Se denen

( p) =
1
2
(1
p
) . (B.74)
Proyectan sobre los subespacios de helicidad +1 y -1 respectivamente.
B.9. Representacion de Pauli-Dirac de las matrices gamma 205
B.8.4 Desarrollo de la solucion de Dirac
La solucion general de Dirac se puede desarrollar en ondas planas de la siguiente
manera
(x) =
1

m
E
p
2

r=1
_
c
r
( p)u
r
( p)e
ipx
+ d

r
( p)v
r
( p)e
ipx
_
, (B.75)
con c
r
( p) y d

r
( p)
1.3
, los coecientes del desarrollo.
B.9 Representacion de Pauli-Dirac de las matri-
ces gamma
Esta representacion de las matrices es una de las mas utilizadas ya que la ecuacion
de Dirac expresada en ella tiene un lmite no relativista muy facil de interpretar.
Es la siguiente:
=
_
_
_
1 0
0 1
_
_
_ ,
k
=
_
_
_
0
k

k
0
_
_
_ , k = 1, 2, 3

0
= ,
k
=
_
_
_
0
k

k
0
_
_
_ , k = 1, 2, 3
_

_
, (B.76)
con
k
las tres matrices de Pauli 2x2:

1
=
_
_
_
0 1
1 0
_
_
_ ,
2
=
_
_
_
0 i
i 0
_
_
_ ,
3
=
_
_
_
1 0
0 1
_
_
_ . (B.77)
B.10 Problemas
B.1.- Demostrar las propiedades descritas en el apartado (B.3.1) de las matrices
del algebra de Cliord. A partir de estas propiedades demostrar que las 16
matrices
n
son linealmente independientes y que por lo tanto cualquier matriz
M 4x4 se puede poner como combinacion lineal de ellas: M =

16
n=1
c
n

n
.
Encontrar la expresion de los coecientes c
n
del correspondiente desarrollo.
1.3
Esta notaci on como complejo conjugado de los coecientes se entiende en la interpretacion que
se hace de ellos en la cuantizacion del campo fermionico.
206 Apendice B
B.2.- Encontrar las matrices

y
5
(B.15) en la representacion de Pauli-Dirac
(B.76).
B.3.- Demostrar el lema de Schur que dice: Si una matriz M de orden 4x4 conmuta
con las cuatro matrices

anteriores, entonces es m ultiplo de la matriz unidad

I.
B.4.- Comprobar que la matriz S que transforma los espinores bajo transformaciones
generales de Lorentz homogeneas y ortotemporales (ver apartado B.5) verica

S()

S
1
() =

.
Probar que la ecuacion anterior es equivalente a
S()

S
1
() =

.
B.5.- Basandose en el problema anterior, probar que
5
S = det[] S
5
.
Recordando ademas que la matriz S debe cumplir tambien que
S
1
=
0
S

0
,
comprobar que las siguientes formas bilineales basicas de la teora de Dirac se
transforman como se indica:

escalar

5
pseudoescalar

vector

5
pseudo-vector
B.6.- Notar que la densidad de corriente y probabilidad, j

se comporta
como un cuadrivector bajo transformaciones de Lorentz. Notar tambien que
no ocurre lo mismo con las matrices

. Demostrar la ecuacion de continuidad

para la tetracorriente (B.8)

= 0 .
B.7.- Mostrar que la ecuacion de Dirac es invariante bajo rotaciones (por ejemplo
alrededor del eje OZ). Encontrar la matriz S que rota a los espinores y
notar que esta relacionada con la matriz asociada al operador de espn.
B.10. Problemas 207
B.8.- Mostrar que la ecuacion de Dirac es covariante. Para ello encontrar la matriz
S asociada a una transformacion de Lorentz pura (por ejemplo asociada a una
velocidad a lo largo del eje OX) que act ua sobre los espinores.
B.9.- Encontrar las autofunciones de la ecuacion de Dirac para una partcula en
reposo. Interpretarlas.
B.10.- Comprobar que un electron y un positron en reposo tienen paridades opuestas.
B.11.- Partiendo de la solucion particular de la ecuacion de Dirac,

p
(x, t) =
1

m
E
p
u( p)e
i( pxE
p
t)
,
deducir la expresion de los espinores
u( p, E
p
) =
_
_
_
_
_
_
_
_
_
a( p, E
p
)
b( p, E
p
)
c( p, E
p
)
d( p, E
p
)
_
_
_
_
_
_
_
_
_
que describen el estado de una partcula de espn 1/2 y masa en reposo m,
correspondientes a estados de momento p y energa positiva |E
p
| y negativa
|E
p
|.
B.12.- Como se podran haber obtenido los espinores del problema B.11 a partir de
los espinores asociados con la misma partcula en reposo (problema B.9)?.
B.13.- Escribir el hamiltoniano de Dirac en funcion de los operadores quiralidad (
5
),
espn, (

, con
k
=
1
2

ijk

ij
) y =
0
. Observar que el hamiltoniano no
conmuta con

L = x p, pero s lo hace con

J =

L +

S, siendo

S =

/2.
Se dene la helicidad como la proyeccion del espn sobre el sentido de
movimiento y en este formalismo se expresa como

p
| p|
. Es la helicidad una
constante de movimiento?.
B.14.- Los espinores calculados en el problema B.11, corresponden a estados de
polarizacion (helicidad) bien denida?. Si no es as, construir las soluciones
de la ecuacion de Dirac que son tambien autoestados del operador helicidad.
208 Apendice B
B.15.- Mostrar que el valor esperado del operador representado por las matrices de
la ecuacion de Dirac para un electron de momento p perfectamente denido,
es v, es decir:
< u( p)| |u( p) >= v.
B.16.- Se denen los espinores v
r
( p) como:
v
r
( p) u
s
( p) con
_
r = 1, s = 4
r = 2, s = 3
.
Por convenio, los espinores se normalizan seg un:
u

r
( p) u
r
( p) = v

r
( p) v
r
( p) =
E
p
m
con E
p
> 0 y (r=1,2).
Derivar las siguientes relaciones de ortonormalidad:
u

r
( p) u
r
( p) = v

r
( p) v
r
( p) =
Ep
m

r,r
v

r
( p) u
r
( p) = 0
_

_
y
u
r
( p) u
r
( p) = v
r
( p) v
r
( p) =
r,r
u
r
( p) v
r
( p) = v
r
( p) u
r
( p) = 0
_

_
donde u
r
( p) u

r
( p)
0
y lo mismo para v
r
( p).
B.17.- Demostrar que se verican las siguientes relaciones de cierre para los espinores:
4

r=1
u

r
( p) u
r
( p) =
E
p
m

,
,
con E
p
> 0 y
2

r=1
_
u
r
( p) u
r
( p) v
r
( p) v
r
( p)

=
,
.
B.18.- Probar la identidad de Gordon
2m u
s
(

u
r
( p) = u
s
(

)[(p

+ p)

+ i

(p

p)

]u
r
( p) ,
con u
s
y u
r
soluciones de energa positiva de la ecuacion de Dirac.
Ayuda: Utilizar la identidad:
u
s
(

)[/ a(/ p m) + (/ p

m)/ a]u
r
( p) = 0 ,
donde a

es un cuadrivector arbitrario.
B.10. Problemas 209
B.19.- Probar que

( p) =
/p+m
2m
son proyectores sobre estados de energa bien
denida y que se pueden escribir como:
2

r=1
u
r
( p) u
r
( p) =
+

( p)
2

r=1
v
r
( p) v
r
( p) =

( p) .
B.20.- Probar que

=
1
2
_
1

p
| p|
_
es un proyector sobre estados de helicidad bien
denida y que se reduce a
1
2
(1
5
) para fermiones de masa nula
1.4
.
B.21.- Se dene una transformacion de fase quiral actuando sobre los campos
fermionicos de la siguiente manera:

(x) = e
i
5
(x)

(x) =

(x)e
i
5
donde es un parametro real arbitrario. Mostrar que la densidad lagrangiana
de Dirac
L =
_
1
2
(

) + m

_
es invariante bajo esa transformacion solo en el lmite m 0. Mostrar que la
correspondiente corriente conservada es
J

(x) =

(x)

5
(x)
que es una corriente axial vectorial llamada corriente quiral.
B.22.- Deduce las ecuaciones de movimiento de los campos:

L
=
1
2
(1
5
)

R
=
1
2
(1 +
5
)
1.4
Recuerda que la ecuacion de Dirac poda escribirse de la siguiente manera: (

p
5
+m) =
E
p
.
210 Apendice B
si verica la ecuacion de Dirac
1.4
con m = 0. Muestra que esas ecuaciones
se desacoplan para m = 0. Muestra tambien que, en ese lmite, la densidad
lagrangiana
L =
1
2
(

L
)
conduce a las ecuaciones de movimiento de
L
encontradas anteriormente
y que ese campo describe fermiones de masa nula con helicidad negativa
unicamente y antifermiones de masa nula con helicidad positiva solamente.
Este campo se llama campo de Weyl y puede usarse para describir neutrinos
en interacciones debiles si estos tienen masa nula.
Apendice C: Tabla de Partculas
C.1 Bosones e interacciones fundamentales
(Tomado de [Pe])
partcula foton () W

Z
0
gluones (8) graviton
espn

1
+
1

2
+
masa 0 80-90 GeV 0 0
interaccion electromagnetica debil fuerte gravitatoria
carga electrica debil color masa
constante de = G
Fermi
=
s
= K
Newton
M
2
/ hc =
acoplo (adim.)
e
2
hc
=
1
137
1.02 x10
5
_

_
1, r grande
< 1, r peque na
0.53x10
38
tpicas (m
2
) 10
33
10
44
10
30
-
tpicas (s) 10
20
10
8
10
23
-
C.2 Fermiones o partculas de masa
C.2.1 Leptones
Se caracterizan por el n umero leptonico L=1. No tienen carga de color y no sienten
por tanto la interaccion fuerte. Su espn es
1
2
. Hay tres familias caracterizadas
por un n umero leptonico de familia: electronico (L
e
), muonico (L

) y tau (L

)
respectivamente. Todos ellos tienen su correspondiente antipartcula con la misma
211