Catedra X: Tensores y sus aplicaciones

10.1 Clasicaci on del grupo de Lorentz

El grupo de Lorentz consiste en el conjunto de todas las transformadas de Lorentz. Recuer-
den que estas vienen denidas como aquellas transformadas lineales de las coordenadas
x

que dejan invariante al intervalo espacio-temporal

ds
2
=

dx

dx

. (10.1)
Recordemos que si

es una de tales transformaciones, y

su inversa, entonces
podemos escribir:

. (10.2)
Notemos que la expresi on anterior puede ser reescrita de la forma:

, (10.3)
donde

es la transpuesta de

. Luego, si

corresponden a los elementos de una

matriz , la expresi on anterior puede ser escrita en la forma matricial:
=
1
(
1
)
t
. (10.4)
donde el smbolo t es utilizado para distinguir la operaci on transpuesta. Calculando el
determinante de la relaci on anterior obtenemos:
(det )
2
= 1. (10.5)
Para llegar a esta expresi on necesitamos recordar que el determinante es un mapa multi-
plicativo que satisface las propiedades det(A B) = det(A)det(B), det(A
1
) = (detA)
1
y det(A
t
) = detA. (Noten ademas que det = 1 y det
1
= 1). Vemos entonces que
una transformacion de Lorentz satisface
det = 1. (10.6)
En general una transformada de Lorentz cae dentro de una de las cuatro siguientes cate-
goras:
10.1.1 Grupo ortocrono propio
Estas corresponden a las transformadas de Lorentz caracterizadas por det = +1 y

0
0
> 0. Ejemplos de tales transformadas son todas las que hemos estudiado hasta el
momento, es decir boosts y rotaciones.
1
10.1.2 Inversiones espaciales
Estas corresponden a las transformadas de Lorentz caracterizadas por det = 1 y

0
0
> 0. Dichas transformadas siempre involucran una inversi on espacial. Ejemplos
sencillos son:

=
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
y

=
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
. (10.7)
Observen que en el primer ejemplo hemos invertido la direcci on de una de las coordenadas,
la del eje x
1
, mientras que en el segundo hemos invertido las direcciones de todas. Noten
por otro lado, que la transformaci on

=
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
, (10.8)
aunque parece estar invirtiendo el sentido espacial de las coordenadas, pertenece al grupo
ortocrono propio, y de hecho corresponde a una rotaci on! (Una rotaci on en 180

en torno
al eje x
3
).
10.1.3 Inversiones temporales
Estas corresponden a las transformadas de Lorentz caracterizadas por det = 1 y

0
0
< 0. Dichas transformadas siempre involucran una inversi on temporal. Un ejemplo
sencillo es:

=
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
. (10.9)
10.1.4 Inversiones temporales
Estas corresponden a las transformadas de Lorentz caracterizadas por det = +1 y

0
0
< 0. Dichas transformadas siempre involucran una inversion temporal y una inversion
2
espacial. Un ejemplo sencillo es:

=
_
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
. (10.10)
Observen que estas transformaciones pueden ser obtenidas a partir de la aplicaci on suce-
siva de una inversion temporal y una transformaci on espacial.
10.2 El tensor de Levi-Civita
Olvidemos por un rato el algebra de tensores que hemos desarrollado, y denamos un
smbolo con n-ndices
i
1
...in
(con cada uno de sus ndices tomando valores entre 1 y n (es
decir i
k
= 1, . . . n con k = 1, . . . n) de la siguiente forma:

i
1
...in
=
_
_
_
+1 si i
1
. . . i
n
es una permutaci on par de 1, 2, 3, . . . , n
1 si i
1
. . . i
n
es una permutaci on impar de 1, 2, 3, . . . , n
0 de cualquier otra forma
. (10.11)
El que i
1
. . . i
n
sea una permutaci on par (impar) de 1, 2, 3, . . . , n signica que el orden
i
1
. . . i
n
ha sido obtenido mediante un n umero par (impar) de intercambios de ndices
sucesivos. Por ejemplo, para el caso n = 3, el orden de ndices i
1
i
2
i
3
= 123 es una
permutaci on par de 123, ya que hay cero intercambios de ndices de por medio. El orden
de ndices i
1
i
2
i
3
= 213 es una permutaci on impar de 123, ya que para llegar a i
1
i
2
i
3
= 213
a partir de 123 se requiere una permutaci on 12 21 de los dos primeros ndices. El orden
de ndices i
1
i
2
i
3
= 312 es una permutaci on par de 123, ya que para llegar a i
1
i
2
i
3
= 312 a
partir de 123 se requieren dos permutaciones sucesivas: primero la permutaci on 23 32
y luego la permutaci on 13 31.
El objeto denido en la ecuaci on (10.11) es el llamado simbolo de Levi-Civita denido
sobre un espacio n-dimensional. Nos ofrece la posibilidad de denir al determinante det A
de una matriz n n arbitraria A, con componentes A
i
j
, en forma elegante:
(det A)
i
1
...in
A
j
1
i
1
A
jn
in

j
1
...jn
, (10.12)
donde estamos usando la convenci on de Einstein para la suma de ndices. Para convencer-
nos de que tal denicion es correcta, evaluemos el caso i
1
. . . i
n
= 1, 2, 3, . . . , n:
det A = A
j
1
1
A
jn
n

j
1
...jn
. (10.13)
Observen que
j
1
...jn
evita que se repitan elementos de A
i
j
en la multiplicaci on de cada
termino, y adem as, dada la anti-simetra de
i
1
...in
cada termino en la suma va cambiando
de signo.
3
Nada nos impide denir el smbolo de Levi-Civita para el caso particular del espacio-
tiempo 4-dimensional. Dado un sistema de coordenadas x

, denimos el smbolo de
Levi-Civita como aquel objeto con ndices griegos que tiene por elementos

=
_
_
_
+1 si es una permutaci on par de 0123
1 si es una permutacion impar de 0123
0 de cualquier otra forma
(10.14)
Utilizando la denici on de determinante de la ecuaci on (10.12), encontramos que dado un
tensor A

del tipo (1, 1) (donde denota las y columnas), tenemos:

(det A)

. (10.15)
En particular, si bien sabemos que no es un tensor, podemos utilizar la propiedad
algebraica de la ecuaci on (10.15) para escribir:

= det

. (10.16)
Supongamos ahora que denimos un tensor tipo (0, 4) cuyas componentes

coincidan
con los del smbolo de Levi-Civita, en cierto sistema de coordenadas x

. Es decir

. (10.17)
Dicho tensor es conocido como el tensor de Levi-Civita. Preguntemonos ahora como se ve
este tensor en otros sistemas de referencia. Para ello debemos calcular las componentes

del tensor de Levi-Civita en otra base e

. Dado que conocemos sus componentes

en un sistema de referencia determinado, podemos calcular sus componentes en cualquier
otro sistema mediante la relaci on:

. (10.18)
Con la ayuda de (10.15) podemos calcular el lado derecho de la ecuaci on anterior para
obtener el resultado:

= (det )

. (10.19)
De esta forma vemos que si es un boost o una rotacion (grupo ortocrono propio),
entonces det = +1, y el tensor

se escribe de forma identica en todo sistema de

referencia.
10.3 Rotaciones de un tensor antisimetrico
Consideremos un tensor antisimetrico A

= A

. Observen que las unicas componentes

que tienen una chance de ser distintas de cero son A
0i
= A
i0
, y A
ij
= A
ji
con i = j.
4
En general, resulta util escribir dicho tensor en la forma siguiente:
A

=
_
_
_
_
_
0 V
1
V
2
V
3
V
1
0 U
3
U
2
V
2
U
3
0 U
1
V
3
U
2
U
1
0
_
_
_
_
_
. (10.20)
Luego, en terminos de V
i
y U
i
tenemos:
A
0i
= V
i
, A
i0
= V
i
, A
ij
=
ijk
U
k
, (10.21)
donde
ijk
es el smbolo de Levi-Civita 3-dimensional. Para justicar esta notaci on, veamos
como transforma A

bajo rotaciones. Una rotaci on arbitraria aplicada sobre A

dene
nuevos componentes A

dados por:
A

, donde

=
_
1 0
0 R
i
j

_
. (10.22)
Evidentemente, las componentes de A satisfacen las mismas propiedades de anti-simetra:
A

= A

. Desarrollando la expresi on anterior, vemos que los elementos A

0

i
de A
en el nuevo sistema de referencia vienen dados por:
A
0

i
=

i
A

=
0
0

i
i
A
0i
= R
i
i
A
0i
. (10.23)
Por lo tanto, bajo rotaciones V
i
transforma como un 3-vector:
V
i
= R
j
i

V
j
. (10.24)
Analicemos ahora lo que pasa con las componentes A
i

j
de A en el nuevo sistema de
coordenadas. Estas vienen dadas por:
A
i

j
=

j
A

=
i
i

j
j

A
ij
= R
i
i
R
j
j

A
ij
. (10.25)
Este resultado nos permite escribir

i

k
U
k

= R
i
i
R
j
j

ijk
U
k
. (10.26)
Recordemos sin embargo que una rotaci on satisface R
j
k

R
k

i
=
j
i
. Por lo que la expresion
anterior puede ser reescrita de la manera:

i

k
U
k

= (R
i
i
R
j
j

R
k
k

ijk
)R
k

l
U
l
= det R
i

k
R
k

l
U
l
, (10.27)
en donde usamos el resultado general para expresar un determinante con la ayuda del
smbolo de Levi-Civita. Dado que una rotaci on satisface det R = 1, vemos que

i

k
U
k

=
i

k
R
k

l
U
l
. (10.28)
5
De aqu, deducimos que U
i

= R
i

j
U
j
. Para concluir, recuerden que R
i

j
=
i

jl
R
l
k
.
Por lo tanto, nalmente podemos escribir
U
i
= R
j
i

U
j
, (10.29)
donde hemos bajado los ndices de U
i
con la 3-metrica
ij
. Vemos por lo tanto que U
i
, al
igual que V
i
, transforma como un 3-vector. Esto quiere decir que un tensor antisimetrico
del tipo (0, 2) acomoda en forma natural dos 3-vectores. No olviden que podemos usar
la metrica para subir y bajar ndices, por lo que A

y A

tambien acomodan pares de

3-vectores.
Ejercicio: Es importante tener en mente que esta propiedad es util solo si consider-
amos rotaciones. Si consideramos boosts, las componentes de V
i
y U
i
necesariamente se
mezclaran las unas con las otras. Estudie como transforma A

bajo la aplicaci on de un
boost.
10.4 Ecuaciones de Maxwell
Una de las aplicaciones mas importantes y poderosas del formalismo tensorial consiste en
expresar las ecuaciones de Maxwell en forma covariante (escrita unicamente en terminos
de tensores). Recordemos que, en el vaco, estas est an dadas por (c = 1)

B
t

E = , (10.30)

E = , (10.31)
+
t

B = 0, (10.32)

B = 0, (10.33)
donde es el rotor y es la divergencia. Recordemos que

E es el campo electrico,

B
es el campo magnetico, es la corriente electrica, y es la densidad de carga electrica.
Para elucidar como expresar estas ecuaciones en forma covariante, escrib amoslas primero
usando notaci on 3-tensorial. Para ello, observen primero que el rotor aplicado sobre un
vector

V tiene por componentes
(

V )
i
=
ijk

j
V
k
. (10.34)
As mismo, la divergencia de un vector

V puede ser escrita como:

V =
i
V
i
. (10.35)
6
Luego, podemos reescribir las ecuaciones de Maxwell de la forma:

ijk

j
B
k

0
E
i
= j
i
, (10.36)

i
E
i
= , (10.37)

ijk

j
E
k
+
0
B
i
= 0, (10.38)

i
B
i
= 0. (10.39)
Sabemos por experiencia que E
i
y B
i
transforman como 3-vectores bajo rotaciones.
Debemos preguntarnos entonces de que objetos 4-dimensionales pueden E
i
y B
i
ser 3-
componentes. Sin duda, la primera alternativa que debemos explorar es la posibilidad de
que estos pertenezcan a 4-vectores con componentes E

y B

. Esto signica que debemos

buscar entre las ecuaciones de Maxwell cantidades fsicas que sean candidatas a ser identi-
cadas con E
0
y B
0
. Lamentablemente, a parte de y j
i
(que son cuatro cantidades), no
hay mas objetos a partir de los cuales podemos elegir candidatos para E
0
y B
0
. Por otro
lado, sabemos que las ecuaciones de Maxwell son v alidas a un en la ausencia de densidades
de cargas y corrientes j
i
, por lo simplemente no podemos acomodar E
i
y B
i
en pares
de 4-vectores.
Estamos por lo tanto obligados a considerar un tensor de otro tipo. El siguiente caso
que podemos considerar es el caso de un tensor con dos ndices. Por ejemplo un tensor
tipo (0, 2). Como hemos visto en la secci on anterior, un tensor antisimetrico permite
acomodar dos 3-vectores en forma natural. Resulta atractivo entonces denir un tensor
antisimetrico F

de la forma:
F

=
_
_
_
_
_
0 E
1
E
2
E
3
E
1
0 B
3
B
2
E
2
B
3
0 B
1
E
3
B
2
B
1
0
_
_
_
_
_
. (10.40)
Resulta que en efecto es posible utilizar este tensor para reescribir las ecuaciones de
Maxwell en forma covariante. No es difcil mostrar que (haga este ejercicio!):

= j

, (10.41)

= 0. (10.42)
Donde j

= (, j
i
). Noten que tambien fue necesario ordenar y j
i
en un 4-vector! A esta
cantidad se le denomina 4-corriente. Estas son las celebres ecuaciones de Maxwell en forma
covariante. El hecho de que estas pueden efectivamente ser escritas en forma covariante
es de fundamental importancia: Recuerden que uno de los cimientos que usamos para
justicar los principios de la relatividad especial fue el hecho de que la luz, cuya din amica
est a descrita por las ecuaciones de Maxwell, se propaga a una velocidad universal, y que
7
todas las leyes de la fsica deben ser escritas en forma identica en sistemas de referencia
inerciales.
Para concluir, recordemos que es posible denir un potencial vectorial

A y un potencial
electrost atico de modo que

B =

A, (10.43)

E =
t

A. (10.44)
No es difcil comprobar que y

A pueden ser acomodados en un solo 4-vector A

= (, A
i
),
de modo que
F

. (10.45)
Al 4-vector A

se le llama campo de gauge, y es uno de los objetos m as importantes en la

fsica contempor anea. Una de las propiedades mas importantes es que F

es invariante
bajo la siguiente transformaci on abstracta
A

= A

, (10.46)
donde = (x) es una funcion escalar arbitraria. En efecto, es facil ver que F

. Observen que tal transformacion no es una transformacion

de las coordenadas espacio-temporales x

, sino que una simple redenici on del campo A.

8