1

I. Teoria cl asica de campos

Mec anica Lagrangiana y Hamiltoniana
Hacemos un recorrido r apido por lo que sabemos de mec anica cl asica de un sistema con
un n umero nito de grados de libertad. El sistema est a descrito por el Lagrangiano
L = L(q
i
, q
i
, t) (1)
donde las q
i
corresponden a las coordenadas generalizadas que usamos para describir el sistema.
Las q
i
son las velocidades.
La accion es
S =
_
t
2
t
1
L(q
i
, q
i
, t)dt (2)
Suponemos que el Lagrangiano es regular, i.e.
det
_
L
q
i
q
j
_
= 0 (3)
Las trayectorias cl asicas son los puntos estacionarios de S. En este sentido son aquellos tales
que
S = 0 =
_
t
2
t
1
dtq
k
_
L
q
k

d
dt
L
q
k
_
+
L
q
k
q
k

t
2
t
1
(4)
Si el utimo termino se anula (podemos escoger la pertubaci on q
i
tal que se anule en t
1
y t
2
,
por ejemplo) tendremos que estas trayectorias corresponden a las soluciones de las ecuaciones
de Euler-Lagrange
L
k

L
q
k

d
dt
L
q
k
= 0 (5)
que corresponden a un sistema de ecuaciones de segundo orden
L
k
=
L
q
k


2
L
t q
k


2
L
q
i
q
k
q
i

2
L
q
i
q
k
q
i
V
k
(q
i
, q
i
, t) W
ik
(q
i
, q
i
, t) q
i
(6)
2
Cuando el sistema es no singular (det(W
ik
) = 0 ec.3) podremos despejar las aceleraciones en
funci on de las velocidades, las coordenadas y t.
La formulaci on Hamiltoniana parte de la denici on del momento conjugado
p
k

L
q
k
(7)
El teorema de la funci on implcita asegura que si detW
ij
= 0 podemos despejar q
k
como
funci on de los p
k
, q
k
y t
q
k
=
..
detW
ij
=0
q
k
(p
i
, q
i
, t) (8)
y podemos hacer la transformada de Lagrange
H = [p
i
q
i
L(q
i
, q
i
, t)]

p
i
=
L
q
i
(9)
La funcion H (el Hamiltoniano) no depende de las q
i
, de hecho
d
H =
d

p
i

q
i
+

p
i

q
i
dH =
_
dp
i
q
i
+
_
p
i

L
q
i
_
d q
i

L
q
i
dq
i

L
t
dt
_
p
i
=
L
q
dH =
_
dp
i
q
i

L
q
i
dq
i

L
t
dt
_
p
i
=
L
q
i
(10)
De donde
H
p
i
= q
i
, (11a)
H
q
i
=
L
q
i
, (11b)
H
t
=
L
t
(11c)
3
El sistema (11) es equivalente a las ecuaciones de Euler-Lagrange.
Corchetes de Poisson
Denimos el corchete de Poisson entre dos variables en el espacio de fases F = F(q
i
, p
i
, t) y
G = G(q
i
, p
i
, t) como
F,G
P.B.

F
q
i
G
p
i

F
p
i
G
q
i
(12)
puede verse que

F =
F
t
=
F
t
+{F,H}
P.B.
(13)
esta satisface las propiedades
(i) {F,G}
P.B.
= {G,F}
P.B.
(antisimetra)
(ii) {C
1
F
1
+ C
2
F
2
, G}
P.B.
= C
1
{F
1
, G} + C
2
{F
2
, G} (linealidad en cada entrada)
C
1
y C
2
constantes
(iii) {C
1
, F}
P.B.
= 0, existencia de elementos nulos (C
1
constante)
(iv) {F
1
F
2
, G}
P.B.
= F
1
{F
2
, G}
P.B.
+{F
1
, G}
P.B.
F
2
(Regla del producto)
(v) {F, {G,H}
P.B.
}
P.B.
+{H,{F,G}
P.B
}
P.B.
+{G,{H,F}
P.B
}
P.B.
= 0 (Identidad de Jacobi)
(vi) {q
i
, q
j
}
P.B.
= {p
i
, p
j
}
P.B.
= 0//{q
i
, p
j
}
P.B.
=
j
(Corchetes fundamentales)
Transformaciones canonicas
Denimos la transformacion can onica
(q
i
, p
i
) (Q
i
, P
i
) (14)
de forma que deje la forma de las ecuaciones Hamiltonianas invariante. Es decir en el nuevo
sistema (Q
i
, P
i
). Existe una nueva funcion Hamiltoniana K(Q
i
, P
i
) tal que

Q
i
=
K
P
i

P
i
=
K
Q
i
(15)
as
4
p
i
q
i
H(q
i
, p
i
) = P
i

Q
i
K(Q
i
, P
i
) +
dG
dt
(16)
Llamamos a G la funci on generatriz de la transformaci on can onica. G puede depender de t
y de alg un par de variables (q
i
, Q
i
), (q
i
, P
i
), (p
i
, Q
i
) o (p
i
, P
i
). Digamos que depende de (q
i
, Q
i
).
As
dG
dt
=
G
t
+
G
q
i
q
i
+
G
Q
i

Q
i
(17)
Si vamos a (16) obtenemos
p
i
=
G
q
i
; P
i
=
G
Q
i
; K = H +
G
t
(18)
Si G = G(q
i
, P
i
), absorvemos una derivada toal en (16) y llegamos de manera an aloga a que
p
i
=
G
q
i
; Q
i
=
G
P
i
(19)
Una transformacion de este tipo, es la transformaci on identidad, donde
G = q
i
P
i
(20)
Podemos entonces denir una transformaci on cercana a la identidad
Q
i
= q
i
+O()
i
(21a)
P
i
= p
i
+O

()
i
(21b)
y entonces
G(q
i
, P
i
) = q
i
P
i
+ F(q
i
, P
i
) + (
2
) q
i
P
i
+ F(q
i
, p
i
) a primer orden (22)
Sustituyendo (22) en (19)
p
i
= P
i
+
F
q
i
(23a)
Q
i
= q
i
+
F
p
i
(23b)
5
As
q
i
= Q
i
q
i
=
F
p
i
= {q
i
, F}
P.B.
(24a)
p
i
= P
i
p
i
=
F
q
i
= {p
i
, F}
P.B.
(24b)
Para una funcion f = f(q
i
, p
i
), el cambio que sufre bajo la transformacion innitesimal es
f(q
i
, p
i
) = {f(q
i
, p
i
), F}
P.B.
(25)
Paso a innitos grados de libertad. Teora cl asica de campos
Para el caso de innitos grados de libertas el ndice i en las coordenadas es contnuo y toma
valores en cada punto de una variedad espacial de dimensi on D. Pensamos que esta variedad
mas la que corresponde al tiempo es el espacio temporal. As
q
i
(t) Q
a
(t,

X) ,

XR
D
(26)
En este sentido las derivadas espaciales aparecen como diferencias en los valores de Q
a
en
puntos cercanos
Q
a
(t,

X +

X) Q
a
(t,

X)

X.

Q
a
(27)
En (26) y (27) asumimos que las coordenadas podran tener adicionalmente una etiqueta
disdreta a. Ejemplo de estos objetos:
Q
a
(t,

X) (Campo escalar)
A

(t,

X) (potencial vector en electrodin amica (aes el indice espacio temporal )
g

(t,

X) metrica en relatividad general (aes el par )
La accion es
S =
_

dtL(Q
a
,

Q
a
, X

) (28)
donde

Q
a
= (

Q
a
,

Q
a
)
6
X

= (t,

X) (c = 1) (29)
En Lagrangiano es
L =
_
d
D
XL(Q
a
,

Q
a
, X

) (30)
donde la suma en la parte espacial termina expres andose como una integral. La acci on tendra
termnos los cuales, si queremos sean invariantes bajo el grupo de Poincare, convendra que sean
sumas de terminos de este tipo. Dado que S depende de Q
a
(X) en toda la regi on decimos que
es un funcional de Q
a
, este se expresa como
S = S[Q
a
] (31)
El aculo diferencial de funcionales pasa por la denici on de continuidad. Decimos que un
funcional F[]Q
a
es contnuo en Q
a
s
lim
0
F[Q + ] = F[Q] (32)
para funciones
a
(X) es un espacio de funciones. Un funcional es diferenciable en Q
a
s
d
d
F[Q
a
+
a
] =
_
d
d
X
a
(X)
F
Q
a
d = D + 1dimensi on del espacio (33)
existen como un funcional lineal en
s
(X).
Denimos que F/Q
a
(X) es la derivada funcional de F. Otra denici on equivalente se obtiene
si pensamos en el incremento Q
a
=
a
F[Q
a
] = F[Q
a
+ Q
a
] F[Q
a
]
=
_
d
d
XQ
a
F
Q
a
+O(Q
2
a
) (34)
La derivada funcional satisface las reglas de Leibnitz. Tambien se puede denir la derivada
de funcionales de funcionales
F[[Q]]
Q
a
(X)
=
_
d
d
y
F
(y)
(y)
Q
a
(X)
(35)
7
En particular
Q
a
(X) =
_
d
d
y
d
(x y)Q
b

b
a
As
Q
b
(y)
Q
a
(x)
=
d
(x y)
a
b
(36)
Ecuaciones de Euler-Lagrange
El Lagrangiano puede verse como un funcional de Q
a
y

Q
a
. As los puntos estacionarios de
S (S = 0) se obtienen considerando
S = S[Q
a
+ Q
a
] S[Q
a
]
=
_
dt
_
L
Q
a
Q
a
+
L

Q
a

Q
a
_
=
_
dtd
D
X
_
L
Q
a
Q
a
+
L

i
Q
a

i
Q
a
+
L

Q
a

Q
a
_
=
_
d
d
X
__
L
Q
a

Q
a
_
Q
a
+

_
L

Q
a
Q
q
__
Suponiendo condiciones de borde apropiadas el segundo termino no contribuye. Para Q
a
arbitrarias tendremos entonces que S = 0 implican las ecuaciones de Euler-Lagrange
L
Q
a

Q
a
= 0 (37)
Los momentos conjugados son ahora

a
(x) =
L

Q
a
(38)
y el Hamiltoniano
H =
_
d
D
x(
a

Q
a
L)
_
d
D
xH (39)
Llamamos a H la densidad Hamiltoniana. Es importante notar que la integral espacial
representa la suma sobre el ndice contnuo.
Las ecuaciones de Hamilton seran
8

Q
a
(x) =
H

a
x
(40a)

a
(x) =
H
Q
a
(x)
(40b)
y los corchetes de Poisson entre dos variables A = A[Q
a
,
a
], B = B[Q
a
,
a
]
{A,B}
P.B.
=
_
d
D
x
_
A
Q
a
(x)
B

a
(x)

A

a
(x)
B
Q
a
(x)
_
(41)
y estan denidos a tiempos iguales.
Las ecuaciones de movimiento se escriben como

Q
a
(x) = {Q
a
(x), H} (42a)

a
(x) = {
a
(x), H} (42b)
y los corchetes fundamentales ser an
{Q
a
(x), Q
b
(y)} P.B.
x
0
=y
0
= 0 (43a)
{
a
(x),
b
(y)}x
0
=y
0
P.B.
= 0 (43b)
{Q
a
(x),
b
(y)} P.B.
x
0
=y
0
=
D
(

x

y )
b
a
(43c)
Ejemplo:
Consideremos la accion de un campo escalar en d = 4 (D = 3)
S

=
1
2
_
d
4
x(

+ m
2
) (44)
Esta accion cuenta con dos terminos claramente invariantes bajo transformaciones de Lorentz.
Como dijimos antes los campos son invariantes bajo traslaciones. As S

es invariante bajo el
grupo de Poincare.
S[ + ] S[] =
1
2
_
d
4
x
_

( + )

( + ) + m
2
( + )
2

m
2

=
1
2
_
d
4
x
_
2

+ 2m
2
+O(2)

=
_
d
4
x
_
(

= m
2
) +O(2)

9
(donde hemos hecho una integral por partes y asumimos condiciones peri odicas de borde)
As
S =
_
d
4
x((m
2
)) (45a)
S = 0, arbitraria (m
2
) = 0 (45b)
En caso de haber tenido un potencial V ()(S = S

+
_
d
4
xV ()) las ecuaciones hubiesen
dado
(m
2
) =
V

(46)
De la otra forma (si hay un potencial)
L

= m
2
+
V

= m
2
+
V

= 0
o (m
2
) +
V

= 0 (46)
Acci on de Maxwell:
S
M
=
1
4
_
d
4
xF
V
F
V
(47a)
con F
V
=

A
V

V
A

(47b)
S
M
=
1
4
_
d
4
x
_
_
_
_

(A
V
+ A
V
..
F
V
(A+A)
)
V
(A

+ A

)
_
_
F
V
(A + A) +F
V
(A)F
V
(A)
_
_
=
1
4
_
d
4
x
_
2(

A
V

V
A

)F
V
(A) +O(2)

=
1
2
_
d
4
x2

A
V
F
V
(A) +O(2)
=
_
d
4
xA
V

F
V
(A)
10
As S = 0, A

arbitraria y condiciones peri odicas de borde

F
V
(A) = 0 (48)
Si hubiese un termino de acoplamiento S = S
M
+
_
d
4
xA

con J

independiente de A

(x).
Las ecuaciones hubiesen sido

F
V
= J
V
(49)
De otra forma: (con acoplamento)

L
$
$
$
$

A
V
L
A
V
= J
V
L

A
V
= F
V
y as
L
A
V

A
V
= 0 =

F
V
+ J
V
= 0 (49)
Ejercicio
Hallar las ecuaciones de movimiento de las acciones que se indican a continuaci on:
(a)Acci on de Proca en d=4
S
P
=
_
d
4
x
_

1
4
F
V
F
V

m
2
2
A

_
F
V
=

A
V

V
A

Note que las ecuaciones son equivalentes sobre las ecuaciones a (m

2
)A

= 0
(b) Accion de Kalb-Ramond
S
KR
=
1
12
_
d
4
xH
V
H
V
con H
V
=

B
V
+

B
V
+
V
B

y B
V
= B
V
11
(c) Accion autodual en d=3
S
AD
=
1
2
_
d
3
x
_
A

V
A

+ m
2
A

(d) Accion BF
S
BF
=
1
2
_
d
4
x
V
B
V
F

(e) Accion de Einstein en d=4

S
E
=
1
16G
_
d
4
x

gR
Con
(a) g = detg
V
(b) R = g
V
R
V
(escalar de curvatura)
(c) R
V
= R

V
(tensor de Ricci)
(d) R

V
=

V
+

V
( ) (tensor de curvatura)
(e)

V
=
1
2
g

g
V
+
V
g

g
V
) (Smbolo de Christollel)
(f) g
V
es la inversa de g
V
: g
V
g
V
=

Hints: (i) Ver que:

g
V
= g

g
V
g

g =
1
2

gg

V
=
1
2
g

(D

g
V
+D
V
g

g
V
)
(ii) As R
V
= D

V
D

V
D

es la derivada covariante
12
D

U
V
=

U
V

V
U

// D

y para un tensor general

D

A
V
1
V
n

m =

A
V
1
V
n

V
1
A
V
2
V
n

m +

V
2
A
V
1
V
3
V
n

m + ...
...

V
n
A
V
1
V
2
V
n1

m +
+

A
V
1
V
n

m + ... +
+

A
V
1
V
n

m1
+
(iii) As, ver que
S
E
=
1
16G
_
d
4
xg

_
1
2
g

R R

g
=
1
16G
_
d
4
x

gG

con G

= R

1
2
g

R (el tensor de Einstein)

II. Simetras
Digamos tenemos la acci on
S[Q] =
_

d
d
xL(Q
a
,

Q
a
, X

) (50)
y consideramos las transformaciones
X

=

X

(X) (51a)
Q
a
Q

a
=

Q
a
(X

) (51b)
Nos interesan las transformaciones que mapean soluciones en soluciones. As pedimos que S
mantenga su forma.
_

d
d
XL(

Q
a
,

Q
a
,

X

) =
_

d
d
XL(Q
a
,

Q
a
, X

) (52)
Hacemos un cambio de variables en la primera integral y obtenemos:
13
_

d
d
X
_
X

X
L(

Q
a
,

Q
a
,

)|

(X)
L(Q
a
,

Q, X

)
_
= 0 (53)
lo cual es cierto si el termino entre corchetes es una divergencia. i.e.

L L =

(54)
Previo:
Asumimos que las transformaciones forman un grupo contnuo y que innitesimalmente
pueden expresarse como:

= X

+ X

(55a)

Q
a
(

X) = Q
a
(X) + Q
a
(55b)
Estos cambios innitesimales X

y Q
a
pueden considerarse, indistintamente a primer
orden como funciones de las X

o de las X

. De hecho:
X

(

X) = X

(X + X)
= X

(X) +
V
X

X
V
= X

(X) +O(2)
tambien
Q
a
(

X) = Q
a
(X) +O(2)
Para las derivadas tenemos que:

F
F

=
V
F(
V

X
V
)
=

X
V

V
F (56)
As
14
(

Q
a
) =

Q
a

Q
a
=

(Q
a
+ Q
a
)

Q
a
=

Q
a

X
V

V
Q
a
+

Q
a
+

X
V

V
Q
a

Q
a
=

Q
a

X
V

V
Q
a
+O(2)
a primer orden

Q
a
=

Q
a

X
V

V
Q
a
(57)
Nos interesa conocer la variaci on total o funcionales
Q
a
Q

a
(X) Q
a
(X) (58a)
= Q
a
+ Q

a
(X) Q

a
(X

)
As a primer orden
Q
a
= Q
a

Q
a
X

(58b)
Se obtiene directamente que estas variaciones conmutan con las derivadas (ejercicio)

Q
a
=

Q
a
(59)
Fin de previo
Volvemos a (54). Para el Jacobiano tenemos

X
V

= det |

V
+
V
X

= 1 +

(60)
As

X
V

L L =

L(

Q
a
,

Q
a
,

) +

L(

Q
a
,

Q
a
,

) L(Q
a
,

Q
a
, X

= L(

Q
a
,

Q
a
,

) L(Q
a
,

Q
a
, X

) +

L(Q
a
,

Q
a
, X

) (61)
15
As a primer orden tenemos la igualdad
L +

L =

(62)
L =
L
Q
a
Q
a
+
L

Q
a

Q
a
+
L
X

=
L
Q
a
Q
a
. .
1
+
L

Q
a

Q
a
. .
2

Q
a

X
V

V
Q
a
. .
3
+
L
X

=
L
Q
a
Q
a
+
L
Q
a

V
Q
a
X
V
. .
1
+
L

Q
a

Q
a
+
L

Q
a

(
V
Q
a
X
V
)
. .
2

Q
a

V
Q
a

X
V
. .
3
+
L
X

=
_
L
Q
a

Q
a
_
Q
a
+

_
L

Q
a
Q
a
_
+
+
L
Q
a

V
Q
a
X
V
+
L

Q
a

Q
a
X
V
+
L
X
V
X
V
As
L +
V
X
V
L =

(63)
_
L
Q
a

Q
a
_
Q
a
+

_
L

Q
a
Q
a
_
+
+
_
L
Q
a
Q
a
X
V
+
L

Q
a

Q
a
X
V
+
L
X
V
_
X
V
+L
X
V
X
V
=

Llamamos
L
a
=
L
Q
a

Q
a
(64)
y notamos que
_
L
Q
a
Q
a
X
V
+
L

Q
a

Q
a
X
V
+
L
X
V
_
X
V
+L
X
V
X
V
=
=
d
dX
V
(LX
V
) (65)
16
As denimos ahora
J
V
= LX
V
+
L

V
Q
a
Q
a

V
(66)
Entonces (63) se escribe como

V
J

+L
a
Q
a
= 0 (67a)
L
a
=
L
Q
a

Q
a
(67b)
J

= LX

+
L
Q
a
Q
a

(67c)
=
L

Q
a
Q
a
+
_
L

V

L

Q
a

V
Q
a
_
X
V

(67d)
Consecuencias y comentarios
(A) Sea una region con fronteras espaciales
1
y
2
. As tendremos queremos
0 =
_

d
d
x(L
a
Q
a
+

)
=
_

d
d
x(L
a
Q
a
) +G(
2
) G(
1
) (68a)
de donde
G(
i
) =
_

i
d
i

(68b)
As sobre las ecuaciones de Euler-Lagrange (L
a
= 0) tenemos que G(
1
) = G(
2
). Cuando
estas supercies corresponden a supercies t
1
= constante, tendremos que G(t
1
) es constante.
Cuando las transformaciones conforman un grupo generado por un conjunto de par ametros
constantes
X

=
X

w
I
w
I
(69a)
Q
a
=
Q
a
w
I
w
I
(69b)
La corriente J

se escribe como
J

=
_
L

Q
a
Q
a
w
I
+
_
L

V

L

Q
a

V
Q
a
_
X
V
w
I
_
w
I
17
J

I
w
I
(70a)
y
G(
i
) =
_

i
J

I
d
i

w
I
(70b)
A J

I
se le conoce como la corriente conservada de Noether.
(B) J

se conserva sobre las ecuaciones de movimiento. Cuando

= 0 decimos que la accion

es invariante bajo las transformaciones (51). Cuando

= 0, las ecuaciones de movimiento son

invariantes bajo transformaci on (51), m as no S. En ambos casos J

se conserva sobre las

ecuaciones de movimiento.
(C) Traslaciones. tensor de energa momentum.
Tomemos el caso
X

= X

con

constante y con valores muy peque nos. (71)

y la acci on es invariante (

= 0) peque nos. Los campos satisfacen

Q
a
= 0 =Q
a
=

Q
a
(72)
As si S es invariante (

= 0)
G() =
V
_
d

V
(J

=
V

V
)
con

V
= L

V

L

Q
a

V
Q
a
(73)
Para supercies = constantes. Las cantidades conservadas son el vector momentum lineal.
P

=
_
d
d1
x
o
=
_
d
d1
xP

(74)
18
A

V
se le conoce como el tensor de energa momentum.
Observemos que
P
o
=
_
d
d1
x(

L
L

Q
a

o
Q
a
)
P
o
=
_
d
d1
x(

Q(a)
L

Q(a)
L) H
_
el Hamiltoniano
_
sobre
a
=
L

Q(a)
__
(75)
Observemos que
P

=
_
d
d1
x(
0
L
a

Q
a
(76a)
con
a

Q(a)
(76b)
As
P

Q
a
(y)
=

a
(y) (77a)
P

a
(y)
=

Q
a
(y) (77b)
As
{Q
a
(x),

}
P.B.
=

Q
a
= Q
a
(78a)
{
a
(x),

}
P.B.
=

a
=
a
(78b)
As

es el generador de las transformaciones funcionales en el espacio de fase.

(D) Rotaciones espacio-temporales
Suponemos que S es invariante (

= 0) En este caso
X

= X

= w

V
X
V
(79)
X

= w

V
X
V
w

V
1 w
V
= w
v
Para los campos, como hemos visto
19
Q
a
=
i
2
w
V
(
V
)
b
a
Q
b
(80)
Las (
V
)
b
a
son las matrices de spin. As
J

=
L

Q
a
i
2
w

)Q
b
+
+ (L

V

L

Q
a

V
Q
a
)w
V

=
i
2
w

[
L

Q
a
_
(

)
b
a
Q
b
i(X

)Q
a
_
+
i(

)L]
J

=
i
2
w

_
i(

) +
L

Q
a
(S

)
b
a
)Q
b
_

1
2
w

(81)
(Nota: La corriente de Noether es J

= M

)
A M

se le conoce como el tensor de densidad covariante de mopmuntum angular. La

cantidad conservada ser a
J
V

_
d
d1
x
_
i
a
(S
V
)
b
a
Q
b
+ (
oV
X

o
X
V
)

=
_
d
d1
x
_
(X

P
V
X
V
P

) =
a
i(S
V
)
b
a
Q
b

(82)
Ejercicios:
Teniendo en cuenta queremos
Q
a
= Q
a

V
Q
a
X
V
(83a)
Ver que
{Q
a
,
i
2
w
V
J
V
}
P.B.
= Q
a
(83b)
20
{
a
,
i
2
w
V
J
V
}
P.B.
= Q
a
(83c)
El generador de las variaciones totales de los campos es
i
2
w
V
J
V
(ejercicio anterior). Ten-
emos, por tanto, que para transformaciones por traslaciones m as rotaciones espacio-temporales
el generador de las transformaciones es
G =

+
i
2
w
V
J
V
(84a)
y en este sentido para una cantidad fsica su cambio total o funcional ser a
F(Q
a
,
a
) = {G,F}
P.B.
(84b)
(E) Ejercicios:
1) Suponga que textttS es invariante bajo dilataciones
X

= (1 + )X

Halle la corriente conservada.

2) Considere la acci on del campo escalar.
S =
_
d
4
x
_

1
2

V()
_
(a)Halle las corrientes conservadas y las correspondientes bajo traslaciones y rotaciones es-
paciotemporales. (b)Considere las dilataciones innitesimales
X

= aX

, = a
Halle cual debera ser la corriente de Nether asociada j

D
. Ver que

D
=

+
1
2

(
2
)
donde
V
es el tensor can onico de energa momentum. Suponga ahora que V() =

4!

4
,
21
ver que

D
= 0.
(c)Considere la redenicion del tensor densidad de energa momentum.

V
=

V
+ b(
mu

mu

2
)
Ver que

V
es un termino de borde que no altera las cargas conservadas. Halle el valor
de b para que

V
= 0 en el caso que V() =

4
4!
(d) Ver que podemos redenir J

D
como
J
1
D
=
V
X
V
y entonces

J
1
D
=

(= 0 en el caso anterior). Obtenga el termino de borde J

1
D
J

D
que asegura la no alteracion de las cargas conservadas. ( A
V
se le llama tensor de energa
momentum mejorado)
3)(a) Ver que para la acci on de Cheen-Simons pura en 3 dimensiones
S
CS
=
1
2
_
d
3
x
V
A

Sucede que

V
=

V
donde A

V
cumple

V
= 0. As para esta teora el tensor puede
mejorarse para que sea !nulo!
(b)Ver que este mismo fen omeno sucede para la accion BF en 4D.
6. Halle el tensor de energa momentum para la acci on de Maxwell
S
M
=
1
4
_
d
d
xF
V
F
V
7. La teora topologica masiva o de Maxwell-Cheen Simons en D = 2 + 1 se dene como
S = S
Maxwell
+ S
CS
Ver que el signo de no inuye en la positividad de H. Dar un argumento para que esto
deba ser as.
22
(F) Superpotenciales. Tensor de Belinfante
A las corrientes conservadas J podemos siempre, modicarlas sum andoles superpotenciales

V
A
V
con A
V
= A
V
de forma que
J
1
= J

+
V
A
V
(85)
Satisface

J
1
= 0 y no se modican las cargas conservadas (Por que?). En particulas al
tensor densidad de energca momentum podemos sumarle un superpotencial

X
V
con X
V
=
X
V
. En particular para

=
V
+
1
2

X
V
(86a)
con
X
V
= i
_
L

Q
a
(S
V
)
b
a

Q
a
(S
V
)
b
a

V
Q
a
(S

)
b
a
_
Q
b
(86b)
con (S
V
)
b
a
las matrices de spin, resulta que
V

=
V
(es simetrico).
Veamos: las transformaciones
X

= w

V
X
V
Q
a
=
i
2
w
V
(S
V
)
b
a
Q
b
Queremos que L sea ainvariante bajo estas dos transformaciones, entonces (L no depende
explcitamente de X

, salvo por las Q

a
(Por que?))
L
Q
a
Q
a
+
L

Q
a

Q
a
L
Q
a
Q
a
+
L

Q
a
(

Q
a
+

X
V
. .
w
V
X

v
Q
a
) = 0
L
Q
a
i
2
w

(S

)
b
a
+
L

Q
a
i
2
w

(S

)
b
a

Q
b
+

Q
a
w
V

V
Q
a
= 0
o
0 =
i
2
w

_
L
Q
a
(S

)
b
a
+
L

Q
a
(S

)
b
a

Q
b
+
L

Q
a
(

)Q
a
_
23
Usando las ecuaciones de Euler-Lagrange
L
Q
a
=

Q
a
0 =
i
2
w

Q
a
(S

)
b
a
Q
b
+
L

Q
a
(S

)
b
a

Q
b
+ (i)
L

Q
a
(

)Q
a
. .
=

_
As tenemos queremos

_
i
L

Q
a
(S

)
b
a
Q
b
_
+

= 0 (87)
Esto nos permite expresar la parte imaginaria del
V
de una forma bien particular. Si
decimos que
V
=
(V )
+
[V ]
con
(V )
=
(V )
,
[V ]
=
[V ]
. Podemos escribir

(V )
=
V

1
2

Y
V
(88a)
con
Y
V
= i
L

Q
a
(S
V
)
b
a
Q
b
(88b)
Proponemos el tensor mejorado

=
(V )

1
2

(R
V
), conR
V
= R
V
=
..
88

1
2

(R
V
+Y
V
) (89)
As podemos mejorar
V
a un
V
simetrico con una divergencia de un tensor X
V
=
(R
V
+ Y
V
) y este debe satisfacer la simetra X
V
= X
V
para que se mantengan las
cargas conservadas. Esta simetra se escribe como
R
V
+Y
V
= (R
V
+Y
V
)
o R
V
+R
V
= (Y
V
+Y
V
) (90a)
24
Haciendo combinaciones cclicas tendramos
R
V
+R
V
= (Y
V
+Y
V
) (90b)
R
V
+R
V
= (Y
V
+Y
V
) (90c)
Si sumamos 90.a, 90.b, 90.c y tenemos en cuenta la antisimetra de Y
V
(= Y
V
) y la
simetra de R
V
(= R
V
)
2(R
V
+R
V
+R
V
) = 0
o con 90.a
V
..
R
V
=
V
..
Y
V
+
V
..
Y
V
y as
X
V
= (Y
V
+R
V
)
= (Y
V
+ Y
V
+ Y
V
)
X
V
= (Y
V
Y
V
Y
V
) (91)
Recordando que Y
V
=
L

Q
a
(S
V
)
b
a
Q
b
y (89) tendremos (86).
A
V

se le conoce como el tensor de Belinfante. Por su construcci on resulta que

V
= 0, sobre las ec. de movimiento, y las cargas conservadas son las mismas
_
d
d1
x
OV

=
_
d
d1
x(
OV

1
2

i
(X
iOV
)) = P
V
Para esto requerimos que X
iOV
caiga sucientemente r apido cuando |x| .
Podemos denir, adem as de
V

, al tensor densidad covariante de momentum angular como

25
M
V

= X

X
V

(92)
= X

V
+
1
2

X
V
_
X
V
_

+
1
2

_
= (X

V
X
V

+Y
V
) +
Y
V
+X

1
2

X
V
X
V
1
2

= M
V
+
1
2

(X

X
V
X
V
X

) +
Y
V

1
2
X
V
+
1
2
X
V
. .
se cancelan
As
M
V

= M
V
+
1
2

A
V
(93)
con A
V
= X

X
V
X
V
X

= A
V
(94)
III. El campo escalar
IV. El campo de Dirac
Mec anica cu antica relativista
Empezamos con la ecuaci on de onda
i

t
= H (1)
donde es un vector de N componentes y H una matriz que es funcion de derivadas espaciales
H = ic
i

i
+ mc
2
(2)
con
i
y matrices N N constantes. Derivando de nuevo (1)

2
c
2

t
2
= [

2
c
2
2
(
i

j
+
j

i
)
i

j
+
imc
3
(
i
+
i
) +
+ m
2
C
4

2
] (3)
26
que queremos reproduzca la expresion

t
2
= (
2
c
2
+ m
2
c
4
) (4)
As

j
+
j

i
= 2
ij
(5.a)

i
+
i
= 0 (5.b)

2
= (5.c)
De (5.a) (
i
)
2
=
que con (5.c) nos dice que los autovalores de
i
y son +1 0 1. Igualmente con (5.b) obtenemos
que

i
=
i
(6.a)
=
i

i
(no hay suma en i) (6.b)
As
tr
i
= tr(
i
) = tr
i
tr
i
= 0 (7.a)
An alogamente
tr = 0 (7.b)
Como la traza es la suma de los autovalores sucede que
i
, tienen igual n umero de +1 y
1 como autovalores. Por lo tanto N = 2m.
Dado que H = ic

+ mc
2
sucede que
i
y son hermeticos
27

+
i
=
i
(8.a)

+
= (8.b)
Matrices de Dirac
Escogemos la siguiente denici on

O
= i (9.a)

i
= i
i
(9.b)
Para estas matrices tendremos

j
=
i

j
=
i

j
(10.a)

O
=
2
(10.b)

i
=
2

i
=
i
(10.c)

O
=
i
=
i
(10.d)
As

V
+
V

,
V
} = 2
V

con
V
= diag(+ ++) (11)
adem as respecto a la hemiticidad se tiene que

+O
=
O
(12.a)

+i
=
i
(12.b)
Una matriz adicional que se puede denir y que resulta util a la hora de incluir la transfor-
maci on de paridad es

5
= i
0

3
(13)
28
Para hablar de la plicaci on a representaciones del grupo de Lorentz denimos
g
V
=
i
4
[

,
V
] (14)
([A, B] = AB BA)
Se obtiene que
[g
V
,

] = i

V
i

(15)
de donde
i[g
V
, g

] =

g
V
+
V
g

g
V

V
g

que corresponde al agebra de las matrices que generan transformaciones de Lorentz. En el caso
de tener un conjunto de matrices (pensamos incluso en dimensi on D

= (
0
,
1
, ...,
n1
)) que
satisfacen (11) (se podra considerar el an alogo eucldeo con
V
reemplazado por la delta de
Kronecker) decimos que las matrices satisfacen un agebra de Cliord. Las relaciones (14)-(16)
igual se satisfacen. As para transformaciones innitesimales de Lorentz

V
=

V
+ w

V
, w
V
= w
V
tendremos la representacion
D() = + i
w
V
2
g
V
(17)
y sucede que D()D(

) = D(

). Una consecuencia directa con (15) es que

es un vector
D()

D
1
() =

V
(18)
29
y con (16) que g
V
es un tensor antisimetrico
D()g
V
D
1
() =

(19)
Las matrices

al igual que las

i
y (en dimensi on D) son NN con N par. Podemos seguir
construyendo objetos tensoriales de orden superior, que corresponden a tensores antisimetricos.
En el caso particular de D=4 construimos.
A
V
=
[

]
y B
V
=
[

]
(20)
donde [
1

n
] implica antisimetrizacion en los ndices con peso 1/n!. i.e. por ejemplo.

]
=
1
3!

=
1
3!

]
=
1
4!

=
..

i
=
i

1
4!

oijk
4
o

k
=
..

j
=
j

i
,si i=j

1
3!

0123
3!
0

3
As
B
V
= i
V

5
(21)
An alogamente (ejercicio) se obtiene que
A
V
= i
V

(22)
Paridad
Para ver cual es el caracter de
5
miremos como representamos la transformaci on discreta de
paridad, teniendo en cuenta (18) Llamemos D(P) P, entonces
30
P

P
1
= P

V
(23)
As
P
0
P
1
=
0
(24.a)
P
i
P
1
=
i
(24.b)
Tomamos entonces P = e
i

o
(25) y =

2
Por tanto
P = i
o
(P
1
= i
o
) (25

)
Mirando el efecto sobre
5
P
5
P
1
=
5
(26.a)
y si miramos su comportamiento bajo transformaciones de Lorentz (ejercicio)
[g
V
,
5
] = 0 (25.b)
As que
5
es un pseudo escalar.
Conjunto irreducible en D=4
Retomando el conjunto de matrices ,

, g
V
, A
V
= i
V

, B
V
= i
V

5
Observamos que es un escalar (trivialmente)

un vector, g
V
un tensor antisimetrico,
A
V
un pseudo vector (ejercicio) y B
V
un pseudo escalar (ejercicio). Estas matrices por tener
comportamientos distintos bajo transformaciones de Lorentz puede probarse que son linealmente
independientes. El n umero de ellas son
31
1

4
g
V
_
4
2
_
= 6
A
V
_
4
3
_
= 4
B
V
1
16
por lo que posran constituir una base de las matrices de 4 4. As en dimensi on 4 las matrices
de Dirac tienen una representaci on de irreducible constituida por matrices de 4 4.

Algebra de Cliord en D=5

Dado que (ejercicio)
{

,
5
} = 0 ; {

5
,
5
} = (27)
el conjunto

A
= (
0
,
1
,
2
,
3
,
5
) satisface el algebra de Cliord para dimension 5
{
A
,
B
} = 2
AB

44

AB
= diag(+ + + +) (28)
Comentarios:
* De (12) y (24) podemos escribir de forma covariante que con P = i
o
(i
0
)
+
(i
0
) =

(29)
*Adem as podemos ver que
g
+oi
= g
oi
(30.a)
g
+ij
= g
ij
(30.b)
32
y
g
+oi

o
=
o
g
oi
(31.a)
g
+ij

o
=
o
g
ij
(31.b)
_
g
+V

o
=
o
g
V
(31.c)
As
(i
o
)g
+V
(i
o
) = g
V
(31.d)
De donde
D()
+

o
=
o
D
1
(32.a)
o(i
o
iD()
+
) = D()
1
(32.b)
Acciones
Uno tendera a pensar que un termino de la forma
+
es un buen escalar. Sin embargo

+
D
+
()D() =
+

pues como hemos visto la representacion es no unitaria (g

+V
= g
V
).
Denimos el adjunto de Dirac

+
i
o
(33)
Para este sucede que

U
1
= U

U
1
UU
1
=
+
(X)(i
o
)(i
o
)D
+
()i
o
D()(X)
=

(X)D
1
()D()

(X)
=

(X)(X) (34.a)
Si tuvieramos una matriz M entre

y
33
U

MU
1
=

(X)D
1
()MD()(X (34.b)
En este sentido

transforma como un vector

,
V
] transforma como un tensor antisimetrico

5
transforma como un pseudoescalar

transforma como un pseudovector

Podemos as construir escalares como

etc.
Nota:
Si denieramos

=
+

o
tensramos igualmente que

es un escalar. Sin embargo no
sera real pues
(

)
+
= (
+

o
)
+
=
+

+o
=

La ecuacion de Dirac
Reescribimos (1) (con (2)) usando (9)
i

t
= (ic
i

i
+ mc
2
)
= i
o
(c
i

i
+ mc
2
) (35.a)
oi
o
(c

+ mc
2
) = 0 (35.b)
Cuando = 1 = c esta ecuacion ser a
(

+ m) = 0 (35.c)
34
Denimos
&
a =

, entonces escribimos
(
+ m) = 0 (36)
Para una transformaci on U esta ecuaci on es la misma si tomamos una representaci on
equivalente de las matrices de Dirac siempre que

= U
mu
U
1
(37)
La ecuaci on (36) es covariante, en el sentido que si hacemos una transformacion de Lorentz
con la representacion D()
D() =

(X

) =

(X) (38)
Sabemos que
D()

D
1
() =

y entonces la ecuaci on es
(

+ m)

(X

) = 0 (39)
Digamos que buscamos soluciones en el sistema en reposo (
i
= 0). Digamos que su
dependencia en t es, de la forma e
Et
. En este caso la ecuacion (36) nos lleva a
(i
o
E + m) = 0 (40)
(Recordemos que
o
= i por lo que sus autovalores son = i). As

o
= i
m
E
(40

)
35
entonces E = m. Tenemos que los autovalores possitivos y negativos de E ocurren en una in-
terpretaci on de una particula de la ecuacion de Dirac. En general consideramos la representaci on
de Pauli-Dirac de las matrices

o
= i
_
_
0
0
_
_

i
= i
_
_
0
i

i
0
_
_
(41)
que corresponde a tomar
i
=
_
_
0
i

i
0
_
_
, =
_
_
0
0
_
_
.
Miremos el caso general donde tenemos las soluciones de energa positiva
U = U( p)e
ip

(42.a)
y de energa negativa
V = V( p)e
ip

(42.b)
(la so;uci on U(X) se obtiene al integrar U en el espacio de las p). La dependencia es en p
pues p
2
= m
2
. i.e. E
2
= p)
2
+ m
2
(p

= (E, p)))
Veamos
(
+ m)e
ip

= (i

p + m)e
ip

(43)
= (i
o
p
o
i
i
p
i
+ m)e
ip

=
_
_
(E m)
22
. p
. p (E m)
22
_
_
e
ip

(43

)
Para U tomemos U( p)
_

_
(44)
entonces
(E m) +. p = 0 (45.a)
. p + (E + m) = 0 (45.b)
36
como
det
_
_
(E m) . p
. p (E m)
_
_
= (E
2
m
2
) + det(
i
p
i

j
p
j
)
= E
2
+ m
2
+ p
2
= 0
resulta que (45) tiene dos soluciones no triviales. De (45.b)
=
p
E + m
(46)
y si sustituimos en (45.a) obtenemos 0=0. As tenemos s olo dos soluciones independientes.
Llamemos

r
= (
+
,

) =
__
1
0
_
,
_
0
1
__
(47.a)
entonces
U
r
( p) = N
U
_

r
p
E+m

r
_
(47.b)
donde N
U
es un factor de normalizaci on que ya escogeremos. Siguiendo con las soluciones de
energa negativa que postulamos
V( p) =
_

_
(48)
entonces
(E + m) p = 0 (49.a)
(. p) (E m) = 0 (49.b)
de donde
37
=
p
E + m
(50)
as
V
r
( p) = N
V
_
. p
E+m

r
_
(51.a)
con
r
= (
+
,

) =
__
1
0
_
,
_
0
1
__
(51.b)
Para obtener el factor de proporcionalidad observemos que
U
+
r
U
S
= |N
U
|
2
_
1 +
(. p)(. p)
(E + m)
2
_

+
r

S
= |N
U
|
2
(E
2
+ m
2
+ 2Em + p
2
)
E + m

rS
U
+
r
U
S
=
2E
E + m
|N
U
|
2

rS
(52.a)
An alogamente
V
+
r
( p)V
S
=
2E
E + m
|N
V
|
2

rS
(52.b)
Ejercicio
Obtenga que
U
+
r
( p)V
S
( p) =
2N
U
N
V
E + m
p
rS
U
+
r
( p)V
S
(

p) = 0
El producto (que es invariante Lorentz) ser a

U
r
U
S
= U
+
r
i
o
U
S
= N

U
_

t
r
rac. pE + m
t
r
_
_
_
0
0
_
_
N
U
_

S
p
E+m

S
_
38
o

U
r
U
S
= |N
U
|
2
2m
E + m

rS
(53.a)
An alogamente

V
r
V
S
= |N
V
|
2
2m
E + m

rS
(53.b)
Ejercicio
Obtenga que

U
r
( p)V
S
( p) = 0

U
r
( p)V
S
(

p) = 2N

U
N
V
. p
E + m

rS
Proyectores en las soluciones de energa positiva y energa negativa
Tenemos que
(i

p + m)U = 0
(i

p + m)V = 0
As
(i

p + m)U = ((i

p + m) + 2m)U
= 2mU
an alogamente
(i

p + m)V = 2mV
As
39
_
i

p + m
2m
_
U = U
_
i

p + m
2m
_
V = V
Llamemos
/

=
i

p + m
2m
(54)