Professional Documents
Culture Documents
COSMOLOG
IA
Notas de Curso
INSTITUTO DE F
ISICA DE LA
UNIVERSIDAD DE GUANAJUATO
Luis Arturo Ure na Lopez
Carlos Alberto Vaquera Araujo
Resumen
Este volumen contiene las notas del curso Relatividad General y Cosmologa,
impartido por el Dr. Luis Arturo Ure na Lopez como asignatura optativa de la
Licenciatura en Fsica durante el perodo Agosto-Dicimbre 2004 en el Instituto
de Fsica de la Universidad de Guanajuato (IF-UG). Este proyecto fue reali-
zado por Carlos Alberto Vaquera Araujo como Servicio Social Profesional, con
la valiosa colaboracion de Carolina Lujan Peschard y Emma Cristina Jimenez
Gonzalez.
Universidad de Guanajuato Vaquera.
i
Indice general
I Relatividad Galileana 1
1. Mecanica de Newton 2
1.1. Principio de relatividad de Galileo . . . . . . . . . . . . . . . . . 2
1.1.1. Propiedades de las transformaciones de Galileo . . . . . . 3
1.1.2. Ejemplos sobre aplicaciones de las transformaciones de
Galileo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2. Vectores en El Espacio Eucdeo . . . . . . . . . . . . . . . . . . . 7
1.2.1. Rotaciones en 2 dimensiones . . . . . . . . . . . . . . . . 8
1.2.2. Vectores en 2 dimensiones . . . . . . . . . . . . . . . . . . 10
1.2.3. Propiedades de las rotaciones en 2 dimensiones . . . . . . 11
1.2.4. Generalizacion a mas dimensiones . . . . . . . . . . . . . 11
II Relatividad Especial 14
2. Relatividad Especial I 15
2.1. Transformaciones de Lorentz . . . . . . . . . . . . . . . . . . . . 15
2.1.1. Similitud entre Rotaciones Eucldeas y Transformaciones
de Lorentz . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2.1.2. Propiedades de las Transformaciones de Lorentz . . . . . 22
2.2. Diagramas de Minkowski . . . . . . . . . . . . . . . . . . . . . . . 24
2.3. Cinematica Relativista . . . . . . . . . . . . . . . . . . . . . . . . 31
2.3.1. Transformacion de Velocidades . . . . . . . . . . . . . . . 31
2.3.2. Transformacion de la Aceleracion . . . . . . . . . . . . . . 32
2.4. Vectores en el Espacio-Tiempo . . . . . . . . . . . . . . . . . . . 35
2.4.1. Cuadrivectores . . . . . . . . . . . . . . . . . . . . . . . . 35
2.4.2. Geometra de Cuadrivectores . . . . . . . . . . . . . . . . 39
2.4.3. Fase de una onda plana . . . . . . . . . . . . . . . . . . . 40
3. Relatividad Especial II 43
3.1. Mecanica Relativista . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.1.1. Ejemplos sobre Aplicaciones de la Mecanica Relativista . 45
3.1.2. Colisiones relativistas . . . . . . . . . . . . . . . . . . . . 49
3.1.3. Energas de umbral (threshold energies) . . . . . . . . . . 50
ii
INDICE GENERAL iv
8. Mecanica en Relatividad General 105
8.1. Mecanica de partculas . . . . . . . . . . . . . . . . . . . . . . . . 105
8.2. Electrodinamica . . . . . . . . . . . . . . . . . . . . . . . . . . . 106
8.3. Tensor de Energa-Momento . . . . . . . . . . . . . . . . . . . . . 107
8.4. Espacios-Tiempos Estacionarios y Estaticos . . . . . . . . . . . . 109
8.4.1. Sistemas coordenados . . . . . . . . . . . . . . . . . . . . 109
8.4.2. Metrica Canonica . . . . . . . . . . . . . . . . . . . . . . . 110
8.4.3. Metrica Rotante de Minkowski . . . . . . . . . . . . . . . 111
8.4.4. Transformaciones de Norma . . . . . . . . . . . . . . . . . 112
9. Curvatura 113
9.1. Tensor de Curvatura de Riemann . . . . . . . . . . . . . . . . . . 113
9.1.1. Propiedades Algebraicas del Tensor de Riemann . . . . . 115
9.2. Desviacion Geodesica . . . . . . . . . . . . . . . . . . . . . . . . . 117
9.3. Identidades de Bianchi . . . . . . . . . . . . . . . . . . . . . . . . 119
10.Ecuaciones de Campo de Einstein 121
10.1. Derivacion de las Ecuaciones de Campo . . . . . . . . . . . . . . 121
10.2. Coordenadas Armonicas . . . . . . . . . . . . . . . . . . . . . . . 124
10.3. La metrica de Schwarzchild . . . . . . . . . . . . . . . . . . . . . 126
10.3.1. Propiedades de la metrica de Schwarzchild . . . . . . . . . 127
10.4.
Orbitas en la Metrica de Schwarzchild . . . . . . . . . . . . . . . 130
10.5. Precesion de la orbita de Mercurio . . . . . . . . . . . . . . . . . 131
10.6. Geodesicas nulas, Deexion de luz . . . . . . . . . . . . . . . . . 134
IV Cosmologa 137
11.Conceptos basicos 138
11.1. Regularidad del universo . . . . . . . . . . . . . . . . . . . . . . . 138
12.Cosmologa Relativista 140
12.1. La Metrica de Friedmann-Robertson-Walker . . . . . . . . . . . . 141
12.1.1. Metrica de Friedmann . . . . . . . . . . . . . . . . . . . . 141
12.1.2. Espacios de curvatura constante . . . . . . . . . . . . . . 141
12.1.3. Propagacion de la Luz en los Universos FRW . . . . . . . 144
12.2. Observables . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 144
12.3. Horizontes Cosmologicos . . . . . . . . . . . . . . . . . . . . . . . 146
12.3.1. Horizonte de Eventos . . . . . . . . . . . . . . . . . . . . . 146
12.3.2. Horizonte de Partculas . . . . . . . . . . . . . . . . . . . 148
12.4. Ecuaciones Dimamicas FRW . . . . . . . . . . . . . . . . . . . . 148
12.4.1. Soluciones del modelo . . . . . . . . . . . . . . . . . . . . 150
12.4.2. Denicion de los parametros Cosmologicos, Analoga New-
toniana . . . . . . . . . . . . . . . . . . . . . . . . . . . . 152
12.5. Problemas del modelo Big Bang . . . . . . . . . . . . . . . . . . . 154
12.6. Inacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 154
INDICE GENERAL v
12.6.1. Dinamica inacionaria . . . . . . . . . . . . . . . . . . . . 156
12.7. Nucleosntesis en el modelo Big Bang . . . . . . . . . . . . . . . . 158
Parte I
Relatividad Galileana
1
Captulo 1
Mecanica de Newton
1.1. Principio de relatividad de Galileo
Para estudiar los fenomenos mecanicos es necesario elegir un marco de re-
ferencia. Las leyes y ecuaciones de movimiento suelen tener distintas presen-
taciones en diferentes marcos de referencia. Una inadecuada eleccion de dicho
marco puede hacer que las leyes que gobiernan a un sistema sencillo presenten
una forma innecesariamente complicada.
En mecanica Newtoniana, siempre es posible elegir un marco de referencia en
el cual el espacio sea homogeneo e isotropico mientras que el tiempo sea tambien
homogeneo. Este tipo de marco se denomina marco de referencia inercial. En
este marco, en particular, un cuerpo libre de fuerzas que en cierto instante se
encuentra en reposo premanecera siempre en reposo. Si ademas de este marco
de referencia, consideramos cualquier otro que se mueva uniformemente en lnea
recta con respecto al marco original, entonces, las leyes de movimiento seran las
mismas en ambos: al movimiento libre de fuerzas le corresponde una velocidad
constante.
Estos marcos de referencia inerciales son mecanicamente equivalentes, es de-
cir, las propiedades del espacio y del tiempo son las mismas en todos, as como
tambien lo son las leyes de la mecanica. Esto constituye el Principio de Relativi-
dad de Galileo. La completa equivalencia mecanica de la innidad de distintos
marcos de referencia inerciales muestra que no existe un marco absoluto de
referencia que pueda ser preferido por sobre los demas.
Las coordenadas x y x
+vt, (1.1)
2
CAP
ITULO 1. MEC
ANICA DE NEWTON 3
mientras que el tiempo es el mismo en ambos marcos,
t = t
. (1.2)
Esta particular transformacion se denomina transformacion de Galileo. El prin-
cipio de relatividad de Galileo se puede tambien formular como la exigencia de
que ante una transformacion de Galileo, las ecuaciones de movimiento de un
sistema mecanico permanezcan invariantes.
A partir de las ecuaciones (1.1) y (1.2), resulta inmediato que la aceleracion
de una partcula galileana se transforma de acuerdo a la siguiente relacion:
a
= a. (1.3)
Ademas, por consistencia con el principio de relatividad de Galileo, es necesa-
rio postular una transformacion para la masa, de tal forma que se garantice
la invariancia de la segunda ley de Newton en cualquier marco de referencia
inercial:
m
= m. (1.4)
De este modo, la Fuerza se transforma de acuerdo a
F
= F. (1.5)
1.1.1. Propiedades de las transformaciones de Galileo
1. En forma matricial, (1.1) y (1.2) pueden escribirse como
_
t
31
_
=
_
1 0
13
v
31
1
33
__
t
x
31
_
, (1.6)
o, simplicando la notacion
_
t
_
=
_
1 0
v 1
__
t
x
_
, (1.7)
de lo cual, resulta evidente que
det
G
= 1, donde
G
=
_
1 0
v 1
_
. (1.8)
2. Existe la inversa de la transformacion, y viene dada por
_
G
_
1
=
_
1 0
v 1
_
, (1.9)
de tal forma que
G
_
G
_
1
=
_
G
_
1
G
= 1.
CAP
ITULO 1. MEC
ANICA DE NEWTON 4
3. Claramente, la transformacion no es simetrica en x y t.
4. La transformacion es transitiva, es decir
G
12
G
23
=
G
13
, (1.10)
o explcitamente
G
12
G
23
=
_
1 0
v
2
1
__
1 0
v
3
1
_
=
_
1 0
(v
2
+v
3
) 1
_
=
G
13
. (1.11)
1.1.2. Ejemplos sobre aplicaciones de las transformaciones
de Galileo
Transformacion de las ecuaciones de movimiento
Las ecuaciones de movimiento (con respecto al marco de referencia K
) de
un sistema mecanico, compuesto por partculas que interact uan a traves de
potenciales centrales de 2 cuerpos, son:
m
i
dv
i
dt
i
N
j=0
V
ij
(
i
x
) i = 1, 2, ..., N. (1.12)
A partir de (1.1) y (1.2), que relacionan las coordenadas en K y K
, resulta
evidente que la transformacion galileana de velocidades es aditiva
v
i
= v
i
v,
de tal forma que las aceleraciones permanecen invariantes
dv
i
dt
=
dv
i
dt
,
as como las posiciones relativas entre pares de partculas
x
i
x
j
= x
i
x
j
y los operadores gradiente en ambos marcos
i
=
i
.
En virtud de estos resultados, y al denir la invariancia de masa m
i
= m
i
,
las ecuaciones de movimiento con respecto al sistema K son
m
i
dv
i
dt
=
i
N
j=0
V
ij
([x
i
x
j
[) i = 1, 2, ..., N. (1.13)
CAP
ITULO 1. MEC
ANICA DE NEWTON 5
Transformacion de la ecuacion de onda
Si el campo (x
, t
) satisface, en el marco K
, la ecuacion de onda
_
1
c
2
2
t
2
_
(x
, t
) = 0, (1.14)
siendo la transformacion de Galileo entre laplacianos
2
=
2
,
y la transformacion de la derivada parcial con respecto al tiempo
=
t
+v ,
de tal manera que
2
t
2
=
_
t
+v
__
t
+v
_
=
2
t
2
+ 2v
t
+v (v ) ,
entonces, en el marco K, la ecuacion (1.14) adquiere la forma
_
1
c
2
2
t
2
2
c
2
v
t
1
c
2
v (v )
_
(x +vt, t) = 0. (1.15)
Cabe mencionar que no existe ninguna transformacion cinematica para
que restituya a (1.15) la apariencia de (1.14). Esto implica la existencia de
un marco de referencia privilegiado K
(x
, t
i
t
(x
, t
) =
1
2m
2
x
2
(x
, t
). (1.16)
CAP
ITULO 1. MEC
ANICA DE NEWTON 6
Del ejemplo anterior tenemos las siguientes transformaciones:
=
t
+v
x
,
=
x
,
2
x
2
=
2
x
2
,
y por lo tanto, (1.16) puede escribirse como
i
t
(x
, t
) +iv
x
(x
, t
) =
1
2m
2
x
2
(x
, t
). (1.17)
Debido a la naturaleza compleja de la amplitud
, la posibilidad de un
cambio de fase que conecte a las funciones de onda en ambos marcos de referencia
es factible. Es facil mostrar que la transformacion
(x
, t
) = (x, t)e
im(vx+v
2
t/2)
, (1.18)
que preserva la densidad de probabilidad
[(x, t)[
2
= [
(x
, t
)[
2
(1.19)
es la eleccion correcta, pues de esta forma
i
t
(x
, t
) = e
im(vx+v
2
t/2)
_
i
t
(x, t)
1
2
mv
2
(x, t)
_
,
iv
x
(x
, t
) = e
im(vx+v
2
t/2)
_
iv
x
(x, t) +mv
2
(x, t)
_
y
1
2m
2
x
2
(x
, t
)
= e
im(vx+v
2
t/2)
_
1
2m
2
x
2
(x, t) +
1
2
mv
2
(x, t) +iv
x
(x, t)
_
.
Por lo tanto, la amplitud de probabilidad (x, t) satisface, en el marco de refe-
rencia K, la ecuacion de Schrodinger
i
t
(x, t) =
1
2m
2
x
2
(x, t).
Las ecuaciones que gobiernan a los fenomenos electricos y magneticos, las
ecuaciones de Maxwell, dependen explcitamente de la velocidad de la luz c. En
particular, el estudio de la propagacion de ondas electromagneticas involucra
la aplicacion de la ecuacion de onda (1.14). Como se muestra en el ejemplo,
CAP
ITULO 1. MEC
ANICA DE NEWTON 7
considerar que las ondas electromagneticas se propagan en un medio material
(
ITULO 1. MEC
ANICA DE NEWTON 8
Figura 1.1: Rotacion en el plano
1.2.1. Rotaciones en 2 dimensiones
Si un punto P tiene coordenadas (x, y) en cierto sistema S, y (x
, y
) en otro
sistema S
= f(x, y)
y
= g(x, y).
Para tal efecto, es necesario hacer ciertas suposiciones sobre dicha transforma-
cion:
1. La trasformacion debe ser lineal, de lo contrario, la homogeneidad del
espacio se pierde. As,
x
= x,
de tal forma que
A( = 0) = 1, B( = 0) = 0. (1.23)
2. Debe existir una transformacion inversa
x = A()x
+B()y
. (1.24)
De nuevo, = 0 implica
x
= x,
CAP
ITULO 1. MEC
ANICA DE NEWTON 9
lo cual sugiere que
A() = A(), (1.25)
es decir, A() es una funcion par. As,
x
= Ax +B()y
x = Ax
+B()y
.
Para determinar que clase de funcion es B(), par o impar, basta con
despejar y
:
Ax +B()y =
x B()y
A
y
= A
B()
B()
y +
1 A
2
B()
x.
Como es esperado, al tomar lm 0 se obtiene y
= y , y por lo tanto,
B() = B() es decir, B() es una funcion impar. De esta manera, las
trasformaciones quedan:
x
=
1 A
2
()
B()
x +A()y.
3. La trasformacion debe ser una isometra, pues las rotaciones preservan
distancias.
x
2
+y
2
= x
2
+y
2
= A
2
x
2
+B
2
y
2
+ 2ABxy +
_
1 A
2
_
2
B
2
x
2
+A
2
y
2
2
_
1 A
2
_
A
B()
xy
=
_
A
2
+
_
1 A
2
_
2
B
2
_
x
2
+
_
A
2
+B
2
y
2
+ 2AB
_
1
1 A
2
B
2
_
xy,
por lo tanto
A
2
+B
2
= 1.
La solucion a esta restriccion es:
A = cos , B = sin. (1.27)
As, usando esta parametrizacion, las trasformaciones quedan:
x
ITULO 1. MEC
ANICA DE NEWTON 10
Al requerir que la distancia sea invariante, podemos sincronizar nuestro
sistema de coordenadas usando el crculo invariante para la calibracion, denido
por
x
2
+y
2
= x
2
+y
2
= 1. (1.30)
Por consiguiente, cualquier objeto mide lo mismo en cualquiera de los sistemas
rotados.
Figura 1.2: Crculo Invariante
1.2.2. Vectores en 2 dimensiones
Si el prototipo de vector en 2 dimensiones, el vector desplazamiento en R
2
,
se dene como
r = (x, y) = (x
x, y
y), (1.31)
resulta evidente, a partir de (1.28) y (1.29), que las propiedades de transforma-
cion de este vector son, en terminos de sus componentes,
x
x
= cos f
x
+ sin f
y
, (1.35)
f
y
= sin f
x
+ cos f
y
. (1.36)
CAP
ITULO 1. MEC
ANICA DE NEWTON 11
1.2.3. Propiedades de las rotaciones en 2 dimensiones
1. En forma matricial, (1.32) y (1.33) pueden escribirse como
_
x
_
=
_
cos sin
sin cos
__
x
y
_
, (1.37)
de lo cual, resulta que
det
R
= 1, donde
R
=
_
cos sin
sin cos
_
(rotacion propia).
(1.38)
2. Existe la inversa de la transformacion, y viene dada por
_
R
_
1
=
_
cos sin
sin cos
_
, (1.39)
de tal forma que
R
_
R
_
1
=
_
R
_
1
R
= 1.
3. Claramente, la transformacion no es simetrica en x
y y
.
4. La transformacion es transitiva, es decir
R
2
R
1
=
R
2+1
, (1.40)
o explcitamente
R
2
R
1
=
_
cos
2
sin
2
sin
2
cos
2
__
cos
1
sin
1
sin
1
cos
1
_
=
_
cos
1
cos
2
sin
1
sin
2
cos
1
sin
2
+ sin
1
cos
2
cos
1
sin
2
sin
1
cos
2
sin
1
sin
2
+ cos
1
cos
2
_
=
_
cos (
2
+
1
) sin(
2
+
1
)
sin(
2
+
1
) cos (
2
+
1
)
_
=
R
2+1
.
1.2.4. Generalizacion a mas dimensiones
El prototipo de vector en el espacio Eucldeo (vector en R
n
) es el desplaza-
miento
r = (x
1
, , x
n
), (1.41)
que en su version diferencial se escribe
dr = (dx
1
, , dx
n
). (1.42)
CAP
ITULO 1. MEC
ANICA DE NEWTON 12
Las coordenadas de este vector se transforman de acuerdo a la denicion de
diferencial
dx
i
=
n
j=1
x
i
x
j
dx
j
, (1.43)
de lo cual se deduce que los elementos de la matriz de transformacion son
M
ij
=
x
i
x
j
. (1.44)
Si nos restringimos al caso de rotaciones, las cuales preservan invariante la can-
tidad
dr
2
= drdr =
n
i=1
dx
i
dx
i
=
n
i=1
n
k=1
n
j=1
M
ij
M
kj
dx
i
dx
k
, (1.45)
resulta inmediato que la matriz de rotacion M queda sujeta a la condicion
MM
T
= I, (1.46)
es decir, la matriz de rotaci on es ortogonal.
Por otro lado, si A = (A
1
, , A
n
) y B =(B
1
, , B
n
) son vectores que
se transforman como (1.42), entonces tambien A + B =(A
1
+ B
1
, , A
n
+
B
n
) se transforma como vector. Similarmente, si k es un escalar invariante, es
decir, se transforma como (1.45) es un n umero real independiente del sistema
coordenado, entonces claramente kA = (kA
1
, , kA
n
), tambien se comporta
como vector. En particular, a partir de A y B se puede construir el escalar
invariante
A B =
n
i=1
A
i
B
i
, (1.47)
que constituye la denicion del producto escalar, cuyas propiedades principales
son las siguientes:
1. Conmutatividad.- A B = B A,
2. Distributividad.- A (B+C) = A B+A C,
3. Leibniz.- d(A B) = (dA) B+A d(B).
Ademas, A
2
= A A es denido positivo A
2
0, con A
2
= 0 solo en el caso
A = 0 = (0, , 0).
Cabe destacar que, en Mecanica Newtoniana, el tiempo es absoluto. La can-
tidad dt es un escalar independiente del sistema coordenado, del mismo modo
CAP
ITULO 1. MEC
ANICA DE NEWTON 13
que la masa m. As, es posible construir objetos vectoriales tales como
u =
dr
dt
,
a =
du
dt
,
p = mu,
f = ma.
Es importante remarcar que aunque las componentes de estos vectores se trans-
forman del mismo modo (1.43) ante cambios de sistemas coordenados (rotacio-
nes), esto no implica de ninguna manera que dichas cantidades se comporten
igual ante transformaciones de Galileo.
La ventaja de la notaci on vectorial es que nos permite escribir ecuaciones
independientes del sistema coordenado. Por ejemplo, la segunda ley de Newton
queda invariante ante una transformacion de la forma (1.43) como puede verse
a continuacion:
f
=ma
= Mf =Mma,
por lo tanto
M(f ma) = 0,
pero como det M = 1, por la condicion de ortogonalidad para una rotacion,
necesariamente
f
=ma
y f =ma
se implican mutuamente.
Parte II
Relatividad Especial
14
Captulo 2
Relatividad Especial I
2.1. Transformaciones de Lorentz
La teora de la Relatividad Especial de Einstein se basa en dos postulados:
I. Principio de Relatividad
Las leyes de la naturaleza, y los resultados de todos los experi-
mentos efectuados en un sistema de referencia dado, son indepen-
dientes del movimiento traslacional del sistema como un todo. Existe
un conjunto innito de marcos de referencia equivalentes, en los cua-
les los fenomenos fsicos ocurren de manera identica, que se mueven
con velocidades constantes en trayectorias rectilneas relativas entre
s.
II. Constancia de la Velocidad de la Luz
La velocidad de la luz en el vaco es nita e independiente del
movimiento de su fuente.
El principio de relatividad fue enunciado por primera vez por Poincare, y es
consistente con cualquier descripcion mecanica donde solo el movimiento rela-
tivo entre cuerpos es relevante. Ademas, este principio, adscrito a la Mecanica
Newtoniana es equivalente al principio de relatividad de Galileo, de tal manera
que ha sido una hipotesis explcita en mecanica desde los das de Copernico.
El segundo principio, en cambio, es una aportacion original de Einstein a la
mecanica, inspirado por la electrodinamica.
Usando ambos postulados, es posible encontrar una relacion entre las coor-
denadas (t, x) y (t
, x
, (2.1)
v v.
Figura 2.1: Marcos de referencia K y K
= 0) de la siguiente forma:.
y
= By,
CAP
,
entonces,
B
2
= 1 B = 1.
Para el caso v 0, se obtiene y
= y, (2.2)
y por simetra
z
= z. (2.3)
Para las coordenadas x y t, la transformacion es de la forma
x
+vt
). (2.5)
Esto determina la paridad de la funcion , pues en t = t
= 0 se tiene
(v) = (v).
Eliminando x
vt
,
t
=
_
_
1
1
2
_
x
v
+t
_
=
_
t
_
2
1
2
v
2
_
vx
_
, (2.6)
CAP
+
_
2
1
2
v
2
_
vx
_
, (2.7)
para la inversa.
Estas son las transformaciones permitidas por el Principio de
Relatividad, pero no podemos determinar el valor de hasta no imponer otra
condicion:
1. Si imponemos la nocion Newtoniana de tiempo absoluto t = t
, o de forma
equivalente, = 1, obtenemos las transformaciones de Galileo
x
= x vt
y
= y
z
= z
t
= t.
En general, para v con direccion arbitraria, si descomponemos el vector
posicion r en una componente paralela y otra perpendicular con respecto
a v,
r = r
+r
con
r
= (r n) n,
r
= ( n r) n
y
n =
v
v
,
la transformacion adquiere la forma
r
= r
vt (2.8)
r
= r
= r
vt +r
= r vt.
2. Utilizando el segundo postulado de la relatividad especial de Einstein, para
un rayo de luz emitido desde el origen del sistema K al tiempo t = t
= 0
(hemos pedido que en ese instante ambos sistemas coincidan), se tienen
las relaciones x = ct y x
= ct
, por lo tanto
ct
= (c v) t
y
ct = (c +v) t
.
Por lo cual, la funcion adquiere la forma
=
1
_
1
v
2
c
2
. (2.9)
CAP
es
ct = (ct
+
v
c
x
), (2.10)
x = (x
+
v
c
ct
),
y = y
,
z = z
,
y su inversa es
ct
= (ct
v
c
x), (2.11)
x
= (x
v
c
ct),
y
= y,
z
= z.
En forma matricial, esta transformacion de Lorentz se escribe
_
_
_
_
ct
_
_
_
_
=
_
_
_
_
v
c
0 0
v
c
0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
_
_
_
ct
_
_
_
_
. (2.12)
Nota 2.1.1 La Transformacion de Lorentz para v con direccion arbitraria es
de la forma
r
=
_
r
vt
_
(2.13)
r
= r
=
_
t
v r
c
2
_
,
considerando ademas la denicion
r
=
r v
v
2
v,
se obtiene
r
= r
+r
=
_
r
vt
_
+r
= r+( 1)
r v
v
2
vvt. (2.14)
Nota 2.1.2 Se cumple la igualdad, en diferenciales
cdt
2
+dx
2
+dy
2
+dz
2
= cdt
2
+dx
2
+dy
2
+dz
2
. (2.15)
CAP
Esta se puede utilizar, en lugar del segundo postulado, para derivar las transfor-
maciones de Lorentz. Usando (2.15), en conjunto con
dt
=
_
dt
v
c
2
dx
_
dx
= (dx vdt) ,
tenemos
cdt
2
+dx
2
=
_
v
2
dt
2
+dx
2
2vdxdt
_
2
c
2
_
dt
2
2
_
2
1
_
2
v
2
vdxdt +
_
2
1
_
2
4
v
4
v
2
dx
2
_
=
2
dx
2
_
1
_
2
1
_
2
4
v
4
c
2
v
2
_
2
c
2
dt
2
_
1
v
2
c
2
_
2
2
vdxdt
_
1
_
2
1
_
2
v
2
c
2
_
= cdt
2
+dx
2
,
lo cual implica que
=
1
_
1
v
2
c
2
.
2.1.1. Similitud entre Rotaciones Eucldeas y Transforma-
ciones de Lorentz
Como se ha mostrado arriba, las transformaciones de Lorentz preservan el
intervalo entre eventos denido como
ds
2
= cdt
2
+dx
2
+dy
2
+dz
2
= cdt
2
+dx
2
+dy
2
+dz
2
, (2.16)
mientras que las rotaciones en el espacio Eucldeo tridimensional preservan el
intervalo espacial
dl
2
E
3 = dx
2
+dy
2
+dz
2
= dx
2
+dy
2
+dz
2
. (2.17)
Consecuentemente, podemos decir que las transformaciones de Lorentz son ma-
tematicamente equivalentes a las rotaciones en un espacio eucldeo 4-dimensional
de coordenadas (ict, x, y, z), pues en este caso, el intervalo invariante es efecti-
vamente
dl
2
E
4 = ds
2
= cdt
2
+dx
2
+dy
2
+dz
2
.
Cada rotacion del espacio 4-dimensional de coordenadas (ict, x, y, z) puede
resolverse en 6 rotaciones independientes, en los planos x y, x z, z y,
CAP
= y,
z
= z,
o equivalentemente
t
= cos t
i sin
c
x, (2.19)
x
= i sin ct + cos x.
Por lo normal, es mas conveniente trabajar con cantidades reales en un
espacio pseudo-eucldeo (espacio de Minkowski M
4
) con coordenadas (ct, x, y, z).
Por tal motivo, reparametrizamos la rotacion haciendo
= i,
y obtenemos
t
= cos (i) t
i sin(i)
c
x = cosh t
sinh
c
x (2.20)
x
_
_
_
_
=
_
_
_
_
cosh sinh 0 0
sinh cosh 0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
_
_
_
t
_
_
_
_
. (2.21)
Si en la ultima relacion es un parametro real, entonces se satisfacen las
desigualdades
1 cosh , (2.22)
0 tanh 1.
Por otro lado, de acuerdo a (2.9) y
1 , (2.23)
0
v
c
1,
CAP
2
= 1
_
v
c
_
2
. (2.25)
As, la rotacion hiperbolica (2.21) representa una transformacion pura de
Lorentz (2.12) de acuerdo a la parametrizacion
tanh =
v
c
.
Donde el parametro se denomina rapidez (rapidity).
2.1.2. Propiedades de las Transformaciones de Lorentz
En resumen, las transformaciones de Lorentz
_
_
_
_
ct
_
_
_
_
=
_
_
_
_
v
c
0 0
v
c
0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
_
_
_
ct
_
_
_
_
.
poseen las siguientes propiedades:
1. En contraposicion con las transformaciones de Galileo, las transformacio-
nes de Lorentz son simetricas en x y ct.
2. El factor de Lorentz satisface las relaciones
_
v
c
_
2
=
2
1, (2.26)
y, para el movimiento lentamente acelerado
c
2
d =
3
vdv =
3
vdv, (2.27)
d (v) =
3
dv. (2.28)
3. En el lmite de bajas velocidades v/c 1, se recupera la teora de la
relatividad de Galileo de la mecanica Newtoniana
1
1
2
_
v
c
_
2
, (2.29)
CAP
_
1
1
2
_
v
c
_
2
_
(x vt) = x vt +O(
v
2
c
2
), (2.30)
t
_
1
1
2
_
v
c
_
2
_
_
t
v
c
2
x
_
= t +O(
v
2
c
2
). (2.31)
4. La teora solo admite una velocidad invariante. Si existe un fenomeno cuya
velocidad en el vaco es siempre la misma, esta velocidad puede utilizarse
para derivar las transformaciones de Lorentz. Entonces, todo fenomento
que pertenezca a esta clase, debe propagarse a la velocidad de la luz en el
vaco c.
5. Es importante remarcar que la transformacion de Lorentz en realidad rela-
ciona diferencias (ct, x, y, z), entre las coordenadas de dos eventos
en un marco de referencia, con diferencias (ct
, x
, y
, z
) en otro
marco. En la derivacion de las transformaciones de Lorentz que se pre-
senta en este texto debe tenerse en cuenta que un evento ocurre en el
origen de ambos sistemas de referencia. En su version de diferencias, la
transformacion de Lorentz es
ct
= (ct
v
c
x), (2.32)
x
= (x
v
c
ct),
y
= y,
z
= z.
Es tambien conveniente considerar las transformaciones de Lorentz en su
presentacion diferencial
cdt
= (cdt
v
c
dx), (2.33)
dx
= (dx
v
c
cdt),
dy
= dy,
dz
= dz.
6. Las transformaciones de Lorentz dejan invariante al intervalo entre eventos
ds
2
= cdt
2
dx
2
dy
2
dz
2
. (2.34)
7. Las transformaciones de Lorentz
L
=
_
_
_
_
cosh sinh 0 0
sinh cosh 0 0
0 0 1 0
0 0 0 1
_
_
_
_
CAP
L
12
L
23
=
L
13
, (2.35)
o de manera explcita
L
12
L
23
=
_
_
_
_
cosh
1
sinh
1
0 0
sinh
1
cosh
1
0 0
0 0 1 0
0 0 0 1
_
_
_
_
_
_
_
_
cosh
2
sinh
2
0 0
sinh
2
cosh
2
0 0
0 0 1 0
0 0 0 1
_
_
_
_
=
_
_
_
_
cosh(
1
+
2
) sinh(
1
+
2
) 0 0
sinh(
1
+
2
) cosh (
1
+
2
) 0 0
0 0 1 0
0 0 0 1
_
_
_
_
=
L
13
.
(2.36)
De aqu resulta inmediata la composicion relativista de velocidades coli-
neales
v
total
= c tanh (
1
+
2
) = c
tanh
1
+ tanh
2
1 + tanh
1
tanh
2
=
v
1
+v
2
1 +
v1v2
c
2
. (2.37)
2.2. Diagramas de Minkowski
En esta seccion omitiremos las transformaciones triviales de y y z, con-
centrandonos en el comportamiento de las coordenadas relevantes x y t. Ademas,
adoptaremos momentaneamente la convencion c = 1 para mantener la notacion
tan sencilla como sea posible.
Existen dos posibilidades para representar gracamente una transformacion
de Lorentz entre las coordenadas (x, t) y (x
, t
, t
, t
.
Figura 2.2: Representacion pasiva de una Transformacion de Lorentz. Hiperbolas
de calibracion.
Instantes especcos en K tienen como ecuacion t = const, y corresponden a
lneas horizontales; puntos jos x = const corresponden, pues, a lneas verticales.
Similarmente, instantes en K
con ecuacion t
(t
(x
A
,= t
B
. En el diagrama
correspondiente, con A ubicado en (0, 0) y B en (x
B
, 0) con respecto a K ,
resulta evidente que con respecto al sistema K
, el evento A permanece en
el origen, mientras que B ocurre a a un tiempo t
B
> 0, como se muestra
en la Figura 2.3.
Figura 2.3: Relatividad de la Simultaneidad
2. Contraccion de la Longitud.- En la Figura 2.4, el area sombreada muestra
el conjunto de lneas de mundo que describen la presencia de una varilla de
longitud 1 en reposo con respecto al sistema K; en K
es la lnea de mundo
de un reloj estandar jo en el origen del sistema coordenado K
que se
CAP
, necesaria-
mente t
= vx < 0.
2. Contraccion de la Longitud.- Si en K se determinan simultaneamente las
posiciones de los extremos de una varilla (t = 0 y x = L
0
> 0, L
0
se
denomina longitud propia), la medicion instantanea (t
= 0) de la misma
varilla en K
es x
= [x v
2
(x)] =
1
x =
1 v
2
L
0
< L
0
.
3. Dilatacion del Tiempo.- Si en K
tenemos que x
= 0 y t
= T
0
(T
0
se conoce como tiempo propio), entonces en K se cumple t =
t
=
T0
1v
2
> T
0
.
En las siguientes notas nales, recuperaremos la notacion donde c aparece
explcitamente.
CAP
. Esta
condicion puede interpretarse como Im[(v)] = 0, o equivalentemente v <
c. El lmite de velocidad v < c garantiza la invarianza de la causalidad. Si
en cierto marco K ocurren eventos tales que t > 0 y x > 0 (denimos
la velocidad U = x/t), entonces en el marco K
tenemos, de (2.32),
t
= (t
v
c
2
x) = t(1
vU
c
2
), (2.38)
si v < c y U < c, entonces vU < c
2
, y por lo tanto t
> 0. As, la
secuencia de sucesos en K es la misma que en K
< 0).
Velocidades arbitrariamente altas son posibles solo para puntos moviles
que no transmiten informacion, por ejemplo, el barrido que describe un
punto en la pantalla del osciloscopio o el punto de interseccion de las hojas
de una tijera que se cierran formando un angulo cada vez mas peque no.Las
velocidades superluminales (u > c) siempre se transforman en velocidades
superluminales; las subluminales (u < c), en subluminales. Esto se debe a
que si u y u
, respectivamente,
entonces (2.15) se reduce a
dt
2
(c
2
u
2
) = dt
2
(c
2
u
2
). (2.39)
Finalmente, de (2.38), un punto movil superluminal observado desde cierto
marco de referencia particular con v = c
2
/U, tiene t
= 0, o equivalente-
mente, tiene velocidad innita. Cabe destacar que en relatividad especial,
CAP
tal que x
2
= 0 y
s
2
= c
2
(t
2
t
1
)
2
> 0. (2.41)
As, en K
donde que t
2
= 0 y
s
2
= c
2
[x
2
x
1
[
2
> 0. (2.42)
De esta forma, en K
mientras se
mueve con aceleracion constante en la direccion y
, entonces su ecuacion
de movimiento sera y
=
1
2
at
en dicho sistema y y =
1
2
a
2
(t
v
c
2
x)
2
en
K de acuerdo a cierta transformacion de Lorentz. As, a cada instante
t = const. en el marco K, la varilla tendra forma de segmento de parabola.
2.3. Cinematica Relativista
2.3.1. Transformacion de Velocidades
Consideremos dos marcos de referencia inerciales K y K
en la conguracion
estandar vease Figura (2.1). Sea u el vector de velocidad instantanea en K
para una partcula o un punto geometrico. Deseamos encontrar la velocidad u
i
=
dx
i
dt
, i = 1, . . . , 3. (2.44)
Substituyendo (2.33) en (2.44) y comparando con (2.43) , obtenemos inmedia-
tamente las formulas de transformacion de velocidad
u
1
=
u
1
v
1 u
1
v/c
2
, (2.45)
u
2
=
u
2
(1 u
1
v/c
2
)
,
u
3
=
u
3
(1 u
1
v/c
2
)
.
Comparese la primera de estas formulas con la ecuacion (2.37).
La transformacion inversa de las formulas (2.45) procede inmediatamente al
aplicar el requerimiento se nalado por (2.1):
u
1
=
u
1
+v
1 +u
1
v/c
2
, (2.46)
u
2
=
u
2
(1 +u
1
v/c
2
)
,
u
3
=
u
3
(1 +u
1
v/c
2
)
.
CAP
1
u
1
v, (2.47)
u
2
u
2
,
u
3
u
3
.
Nota 2.3.1 En general, para v con direccion arbitraria, si descomponemos el
vector velocidad u en una componente paralela y otra perpendicular con respecto
a v,
u = u
+u
con
u
= (u n) n,
u
= ( n u) n
y
n =
v
v
,
la transformacion de velocidades para v con direccion arbitraria es de la forma
u
=
u
v
1
vu
c
2
(2.48)
u
=
u
(1
vu
c
2
)
.
2.3.2. Transformacion de la Aceleracion
Por simplicidad, en esta seccion nos restringiremos al movimiento unidi-
mensonal. Siguiendo los lineamientos de la seccion anterior, encontraremos la
relacion entre du
/dt
). (2.50)
Derivando con respecto a t y usando la regla de la cadena, obtenemos
d(u)
dt
=
dt
dt
d(u
)
dt
. (2.51)
CAP
)
dt
=
1
c
_
1
u
2
c
2
_
du
dt
=
2
(u
)
c
du
dt
, (2.52)
d(u)
dt
=
1
c
_
1
u
2
c
2
_
du
dt
=
2
(u)
c
du
dt
, (2.53)
por lo tanto
2
(u)
c
du
dt
=
2
(u
)
c
du
dt
dt
dt
. (2.54)
Por otra parte, como consecuencia de la invarianza del intervalo
c
2
dt
2
dx
2
= c
2
dt
2
dx
2
, (2.55)
o equivalentemente
_
1
u
2
c
2
_
dt
2
=
_
1
u
2
c
2
_
dt
2
, (2.56)
se tiene
dt
dt
=
(u
)
(u)
. (2.57)
As, la formula de transformacion para la aceleracion es
3
(u)
du
dt
=
3
(u
)
du
dt
. (2.58)
Denimos la aceleracion propia de un punto, como aquella que se mide en
su marco de referencia instantaneo de reposo (si este sistema es K
, entonces
u
= 0 y
du
dt
= ). De esta manera,
=
3
(u)
du
dt
=
d
dt
[(u)u] . (2.59)
Resulta claro que en el lmite c se recupera el resultado Newtoniano
=
du
dt
=
du
dt
.
Un caso interesante es el movimiento rectilneo con aceleracion propia cons-
tante con condiciones iniciales t
0
= 0 y u(0) = 0. En este caso
(u)u =
u
1 +u
2
/c
2
= t, (2.60)
o equivalentemente, resolviendo para u:
u =
t
_
1 +t
2
2
/c
2
. (2.61)
CAP
, donde la varilla se
encuentre momentaneamente en reposo a t
=
3
=0
x
dx
=
3
=0
dx
, (2.69)
de lo cual se deduce que los elementos de la matriz de transformacion son, por
denicion
=
x
. (2.70)
En lo sucesivo adoptaremos la Convencion de suma de Einstein: si alg un ndice
aparece dos veces en un termino, una como superndice y otra como subndice,
se entiende implcitamente una suma sobre el rango de dicho ndice. Ademas,
CAP
dx
. (2.71)
Nos restringiremos a los casos de traslaciones, rotaciones espaciales (1.45) y
transformaciones puras de Lorentz (tambien llamadas boosts o propulsiones)
(2.33), las cuales preservan invariante la cantidad (2.15)
ds
2
= dS dS=
_
dx
0
_
2
_
_
dx
1
_
2
+
_
dx
2
_
2
+
_
dx
3
_
2
_
=
_
dx
0
_
2
[dr[
2
, (2.72)
y estan continuamente conectadas con la unidad (det = 1,
0
0
1). El grupo
que conforman estas transformaciones puras se denomina Grupo Homogeneo
Ortocrono de Lorentz.
1. Traslaciones.- Son transformaciones de la forma x
= x
+ a
, con a
= dx
, y por lo
tanto ds
2
es efectivamente invariante.
2. Rotaciones Espaciales.- Transforman solo el sector espacial de dS, es decir
dr, y adoptan la forma
i
j
= R
ij
i
0
=
0
i
= 0
0
0
= 1, (2.73)
donde R
ij
es una matriz unimodular ortogonal (1.46) y los ndices i, j
corren de 1 a 3. Como las rotaciones preservan por separado [dr[
2
y
_
dx
0
_
2
, entonces dejan ds
2
invariante.
3. Boosts.- Transforman al cuadrivector dS de acuerdo a (2.13),
r
= r+( 1)
r v
v
2
vvt. (2.74)
ct
=
_
ct
r v
c
_
.
En las secciones anteriores se mostro que las transformaciones puras de
Lorentz preservan ds
2
.
Por otro lado, si A = (A
0
, A
1
, A
2
, A
3
) y B = (B
0
, B
1
, B
2
, B
3
) son can-
tidades que se transforman como (2.68), entonces tambien A + B = (A
0
+
B
0
, A
1
+ B
1
, A
2
+ B
2
, A
3
+ B
3
) se transforma como cuadrivector. Similar-
mente, si k es un escalar invariante, es decir, se transforma como (2.72) es
un n umero real independiente del marco de referencia, entonces claramen-
te kA = (kA
0
, kA
1
, kA
2
, kA
3
), tambien se comporta como cuadrivector. En
particular, a partir de A y B se puede construir el escalar invariante
A B=A
0
B
0
A
1
B
1
A
2
B
2
A
3
B
3
, (2.75)
que constituye la denicion del producto escalar, en analoga con (2.72). Las
propiedades principales de este producto escalar son las siguientes:
CAP
= A+( 1)
A v
v
2
vvt. (2.76)
A
0
=
_
A
0
A v
c
_
.
Ademas, cabe destacar que en contraposicion con los vectores en el espacio
Eucldeo, A
2
= A A no es denido positivo. En correspondencia con ds
2
,
denominamos cuadrivector temporaloide a A si A
2
> 0; nulo si A
2
= 0; y
espacialoide en el caso A
2
< 0.
La construccion de cuadrivectores relevantes en Relatividad Especial procede
a traves de la derivacion o multiplicacion por un escalar invariante. Un impor-
tante escalar a lo largo de la lnea de mundo de una partcula el es intervalo
diferencial ds =
ds
2
= [dS[. Sin embargo, en ciertas ocasiones es conveniente
trabajar con el intervalo de tiempo propio d, denido por
d =
ds
c
= dt
1
[dr/dt[
2
c
2
= dt
_
1
u
2
c
2
= dt(u). (2.77)
Derivando S con respecto a , encontramos el cuadrivector denominado
cuadrivelocidad, con componentes
U =
dS
d
= (U
0
, U
1
, U
2
, U
3
) =
_
c
dt
d
,
dr
d
_
. (2.78)
Siendo el analogo de la velocidad en el espacio eucldeo de la mecanica Newto-
niana, este cuadrivector es efectivamente el vector tangente a la lnea de mundo
de una partcula en el espacio-tiempo. De la denicion de d, (2.77), la cuadri-
velocidad puede escribirse como
U = (c(u), u(u)) = (u)(c, u). (2.79)
Una peculiaridad de este cuadrivector es que sus componentes no son indepen-
dientes, pues
U
2
=
2
(u)
_
c
2
u
2
_
= c
2
. (2.80)
CAP
2
(v)
_
1
v u
c
2
_
(c
2
u
2
), (2.81)
o bien, cancelando dt
2
en ambos lados, y reordenando terminos
c
2
u
2
=
c
2
(c
2
u
2
)(c
2
v
2
)
_
1
vu
c
2
_
2
. (2.82)
Reescribiendo esta ecuacion en terminos de (u
)
(u)
= (v)
_
1
v u
c
2
_
. (2.83)
Finalmente, usando esta relacion y (2.48), podemos encontrar las reglas de trans-
formacion de la cuadrivelocidad
U
= (U
0
, U
+U
) = (u
)(c, u
+u
)
=
(u
)
(v)(1
vu
c
2
)
_
c(v)(1
v u
c
2
), (v)
_
u
v
_
+u
_
= (u)
_
c(v)(1
v u
c
2
), (v)
_
u
v
_
+u
_
=
_
(v)(U
0
v U
c
), (v)
_
U
(u)v
_
+U
_
=
_
(v)(U
0
v U
c
), (v)
_
U
U
0
v
c
_
+U
_
.
En resumen
U
0
= (v)(U
0
v U
c
), (2.84)
U
= (v)
_
U
U
0
v
c
_
,
U
= U
.
Similarmente, la segunda derivada
A =
d
2
S
d
2
=
dU
d
= (u)
dU
dt
(2.85)
= (u)
d(u)
dt
(c, u) +
2
(u)(0,
du
dt
)
= (u)
_
c
d(u)
dt
, u
d(u)
dt
+(u)a
_
,
CAP
u=0
=
3
(u)
c
2
u
du
dt
u=0
= 0. (2.87)
As, A = 0 si y solo si la aceleracion se anula (a = 0) en el sistema instantaneo
de referencia.
Diferenciando (2.80) con respecto a , encontramos la relacion
d (U U)
d
= A U +U A = 2U A = 0, (2.88)
es decir, la cuadrivelocidad y la cuadriaceleracion son siempre mutuamente per-
pendiculares. Este hecho es evidente en el marco instantaneo de referencia
donde u = 0.
De acuerdo a la clasicacion de cuadrivectores, la cuadrivelocidad U es tem-
poraloide y apunta hacia el futuro (U
0
> 0), mientras que la cuadriaceleracion
A es espacialoide.
2.4.2. Geometra de Cuadrivectores
En la seccion anterior hemos visto como la eleccion de un marco de refe-
rencia en particular (el sistema de reposo, por ejemplo) simplica notablemente
las componentes de un cuadrivector. En el caso de un cuadrivector arbitrario
A, cuyas componentes en alg un marco de referencia K son (A
0
, A
1
, A
2
, A
3
), es
posible eliminar dos componentes de su sector espacial, por ejemplo A
2
y A
3
a
traves de una rotacion. En este nuevo marco K
_
A
1
_
2
= 0. (2.89)
De esta manera, con la eleccion adecuada del sistema de referencia, un cuadri-
vector nulo puede adquirir la forma
A = (A
0
, A
0
, 0, 0). (2.90)
Similarmente, si el cuadrivector no es nulo, es posible aplicar una transformacion
estandar de Lorentz de tal forma que el eje x
o el t
, 0, 0, 0) y (0, A
_
B
0
_
2
_
B
2
_
2
_
B
3
_
2
restringe su apariencia a
B = (B
0
, B
0
, 0, 0), mostrando as que existe cierto escalar k tal que B = kA.
2.4.3. Fase de una onda plana
Mientras la cuadrivelocidad U y la cuadriaceleracion A caracterizan la ci-
nematica de una partcula, existe un cuadrivector que hace lo propio con el
movimiento de una onda. Consideremos la fase de una onda plana que oscila
con frecuencia angular = 2 y vector de onda k =2 n/ en el marco de
referencia K:
= t k r. (2.91)
Esta fase es una cantidad invariante, pues es proporcional al n umero de crestas
o valles que pasan ante el observador: Como esta es una simple operacion de
conteo, debe ser independiente del marco de referencia en que se lleve a cabo.
As, en el marco de referencia K
. (2.92)
Debido a que los boosts son transformaciones lineales, una onda plana en cierto
marco de referencia inercial es plana en todos. Sustituyendo (2.74) en (2.92)
t k r =
(v)
_
t
r v
c
2
_
k
_
r+((v) 1)
r v
v
2
v(v)vt
_
= (v) (
+k
v) t
_
k
+ ((v) 1)
k
v
v
2
v+
(v)
v
c
2
_
r,
podemos identicar las reglas de transformacion para y k ante boosts
k = k
+ ((v) 1)
k
v
v
2
v+
(v)
v
c
2
, (2.93)
= (v) (
+k
v) .
La inversa de la transformacion puede escribirse como
k
= k + ((v) 1)
k v
v
2
v(v)
v
c
2
, (2.94)
c
= (v)
_
c
kv
c
_
,
CAP
= (v)
_
k
c
v
c
_
, (2.95)
k
= k
c
= (v)
_
c
kv
c
_
.
Resulta claro, seg un las relaciones (2.76), que la cantidad
L = (L
0
, L
1
, L
2
, L
3
) =
_
c
, k
_
(2.96)
es un autentico cuadrivector. Esto justica el hecho de que la fase sea un escalar
invariante, pues puede escribirse en forma diferencial como
d = dt kdr =L dS.
Las propiedades de tansformacion del cuadrivector de onda L nos permiten
derivar formulas importantes para el efecto Doppler, la aberracion y la trans-
formacion de velocidades arbitrarias. Considere dos marcos de referencia K y
K
el que forman k
y v
en K
cos
= (v)
_
k cos
v
c
2
_
, (2.97)
k
sin
= k sin,
c
= (v)
_
c
kv cos
c
_
.
La ultima relacion expresa el efecto Doppler para ondas de todas velocidades,
pues en general k se puede escribir de la forma
k = 2/ = /w, (2.98)
donde w es la velocidad de propagacion de la onda. Simplicando, obtenemos
la formula del Efecto Doppler Relativista
= (v)
_
1
v cos
w
_
. (2.99)
En el caso particular cos = 0, aparece el efecto Doppler transversal, que no
existe en mecanica Newtoniana
= (v). (2.100)
CAP
=
sin
(v)
_
cos
vw
c
2
_. (2.101)
Finalmente, de la Invariancia de L
2
2
_
1
c
2
w
2
_
=
2
_
1
c
2
w
2
_
, (2.102)
y de la formula del Efecto Doppler (2.99), encontramos
1
c
2
w
2
=
_
1 c
2
/w
2
_ _
1 v
2
/c
2
_
(1 v/wcos )
2
. (2.103)
Es importante hacer notar que esta formula no es igual a la transformacion de
velocidades para partculas. Estas relaciones coinciden solo en el caso w = c.
Captulo 3
Relatividad Especial II
3.1. Mecanica Relativista
En esta seccion desarrollaremos la mecanica de partculas clasicas (en su
version invariante con respecto a las transformaciones de Lorentz). Comence-
mos por denir, asociada a cada partcula, una cantidad escalar positiva que
identicaremos con la masa m
0
y que designaremos masa propia o masa en re-
poso. Esta denicion, conjuntamente con (2.78) nos permite construir un nuevo
cuadrivector: el Cuadrimomento
P = m
0
U = m
0
(u)(c, u) = (P
0
, p). (3.1)
Siendo U la cuadrivelocidad, P es temporaloide y apunta hacia el futuro.
Tomemos entonces como axioma basico de la colision entre partculas la
conservacion del cuadrimomento: la suma de los cuadrimomentos de todas las
partculas involucradas en un sistema antes de la colision es igual a la suma de
cuadrimomentos, de todas las partculas en el sistema, despues de la misma.
Este axioma puede escribirse como
N
n=1
P
n
Antes
=
M
n=1
P
n
Despu es
, (3.2)
donde P
n
es el cuadrimomento de la n-esima partcula (la colision no es forzosa-
mente elastica, y por lo tanto, el n umero total de partculas antes de la colision
N no es necesariamente igual a M, el total despues de la misma). Siendo
esta una ecuacion cuadrivectorial, es automaticamente invariante con respecto
a transformaciones de Lorentz.
Por otro lado, de acuerdo a la denicion de cuadrimomento (3.1), el axio-
ma de conservacion (3.2) se divide en dos leyes separadas, la conservacion del
43
CAP
m
0
(u)u
Antes
=
m
0
(u)u
Despu es
, (3.3)
o bien
p
Antes
=
Despu es
, (3.4)
y la conservacion relativista de masa
m
0
(u)c
Antes
=
m
0
(u)c
Despu es
, (3.5)
donde, por brevedad, hemos omitido el ndice de suma. Evidentemente, en el
regimen de bajas velocidades u c, se recuperan las leyes de conservacion
habituales en mecanica Newtoniana, es decir
m
0
u[
Antes
=
m
0
u[
Despu es
, u c, (3.6)
y
m
0
[
Antes
=
m
0
[
Despu es
, u c. (3.7)
Consideremos ahora la siguiente expansion para la componente 0 del cuadri-
momento:
P
0
c = m
0
c
2
(u) = m
0
c
2
_
1
v
2
c
2
_
1
2
= m
0
c
2
+
1
2
m
0
v
2
+ . (3.8)
En esta expresion para bajas velocidades se reconoce de inmediato la energa
cinetica Newtoniana de una partcula, m
0
v
2
/2. De aqu que resulte natural
denir la Energa de una partcula relativista como
E = P
0
c = m
0
c
2
(u). (3.9)
Una consecuencia inmediata de esta denicion es que determina una cota infe-
rior de energa, que se denomina energa en reposo
E
0
= m
0
c
2
(u)
u=0
= m
0
c
2
. (3.10)
La energa cinetica relativista de una partcula se dene, naturalmente, como la
diferencia entre la energa total y la energa en reposo
T = E E
0
= m
0
c
2
[(u) 1] =
1
2
m
0
v
2
+ . (3.11)
En una colision elastica, la masa propia de cada partcula se conserva por de-
nicion, es decir
m
0
Antes
=
m
0
Despu es
. (3.12)
CAP
m
0
c
2
[(u) 1]
Antes
=
m
0
c
2
[(u) 1]
Despu es
, (3.13)
o bien,
Antes
=
Despu es
. (3.14)
As, en general, para cualquier partcula, el cuadrimomento toma la forma
P = (E/c, p). (3.15)
Una peculiaridad de este cuadrivector es que sus componentes no son indepen-
dientes, pues
P
2
= m
2
0
U
2
= m
2
0
2
(u)
_
c
2
u
2
_
= E
2
/c
2
[p[
2
= m
2
0
c
2
. (3.16)
A consecuencia de esto, P es nulo solo para partculas sin masa. En tal caso,
E = pc. (3.17)
Por otro lado, la relacion
E
2
= m
2
0
c
4
+[p[
2
c
2
, (3.18)
es valida para toda partcula.
3.1.1. Ejemplos sobre Aplicaciones de la Mecanica Rela-
tivista
Escalar invariante P
1
P
2
Cuando 2 partculas con masas en reposo m
01
y m
02
, respectivamente, tienen
velocidades u
1
y u
2
en el sistema K, sus cuadrimomentos correspondientes son
P
1
= (m
01
c(u
1
), p
1
), P
2
= (m
02
c(u
2
), p
2
). (3.19)
El escalar invariante P
1
P
2
puede calcularse en el sistema donde p
1
= 0, y el
resultado sera valido en todo marco de referencia. En tal sistema K
, la partcula
con masa m
01
tiene velocidad 0, y aquella con masa m
02
tendra velocidad u
12
.
Entonces
P
1
P
2
= m
01
m
02
c
2
(u
12
) = m
01
E
2(1)
= m
02
E
1(2)
, (3.20)
donde E
2(1)
es la energa de la partcula 2 en el marco de referencia donde la
partcula 1 esta en reposo.
CAP
3
2
c 0,866c. (3.30)
CAP
E =
E, (3.31)
p =
p, (3.32)
P =
P. (3.33)
Evidentemente
P es un cuadrivector, pues es la suma de una coleccion de cua-
drivectores (note que hemos omitido los ndices de suma por simplicidad). Si
al menos algunas de las partculas del sistema tienen masas m
0
,= 0, entonces
P =
_
E
ZM
c
, 0
_
, (3.34)
con
E
ZM
=
E, en K
ZM
, (3.35)
y por lo tanto
c
2
P
2
=
E
2
ZM
. (3.36)
As,
E
ZM
es evidentemente un invariante, por lo cual no resulta mala idea
denir la masa total
m
ZM
=
E
ZM
c
2
, (3.37)
que juega el rol de la masa propia del sistema como un todo. Si pasamos entonces
al sistema K, en el cual K
ZM
se mueve con velocidad u
ZM
, tendremos, en
correspondencia con (3.1)
P = m
ZM
(u
ZM
)(c, u
ZM
). (3.38)
De esta relacion podemos deducir las utiles formulas
E = (u
ZM
)E
ZM
(3.39)
y
p =
E
c
2
u
ZM
. (3.40)
CAP
P =
_
E
1
+E
2
c
,
E
1
E
2
c
, 0, 0
_
.
y
P
2
=
E
2
c
2
=
4E
1
E
2
c
2
> 0,
de tal manera que efectivamente
P es un cuadrivector temporaloide. Podemos
determinar la velocidad u
ZM
del sistema de momento cero, pues seg un las
relaciones (3.39) y (3.40),
E
1
+E
2
= 4(u
ZM
)E
1
E
2
, (3.41)
y
E
1
E
2
=
E
1
+E
2
c
u
ZM
. (3.42)
Entonces
u
ZM
= c
E
1
E
2
E
1
+E
2
. (3.43)
Formula de aberracion para partculas
Una partcula se mueve uniformemente en cierto marco K con velocidad u
haciendo un angulo con respecto al eje x. En un segundo marco K
, seg un la
conguracion convencional de transformacion de velocidades, se tiene
u
x
= u
cos
=
u
x
v
1 u
x
v/c
2
, (3.44)
u
y
= u
sin
=
u
y
(v) (1 u
x
v/c
2
)
,
u
x
= ucos ,
u
y
= usin.
As,
tan
=
u
sin
cos
=
usin
(v) (ucos v)
(3.45)
=
sin
(v) (cos v/u)
.
CAP
),
entonces, este observador sera capaz de medir los angulos y dados por la
formula de aberracion (3.45)
tan =
sin
(v) (cos
+ 1)
, (3.46)
tan =
sin
(v) (cos
+ 1)
=
sin
(v) (cos
+ 1)
.
Por lo tanto,
tan tan =
sin
2
2
(v) sin
2
=
2
(v). (3.47)
Utilizando la trasformacion de (v), puntualizada en la ecuacion (2.83), es
facil mostrar que
2
(v) =
2
1 +(v)
. (3.48)
As
tan tan =
2
1 +(v)
. (3.49)
Resulta evidente que el el lmite Newtoniano c , se obtiene
tan tan = 1, (3.50)
o equivalentemente
=
2
. (3.51)
3.1.3. Energas de umbral (threshold energies)
Consideremos ahora dos partculas que colisionan con cuadrimomentos P
B
y P
T
, una de las cuales se encuentra inicialmente en reposo. Despues de la
colision, estas partculas pueden fragmentarse y dar lugar a N partculas con
cuadrimomentos P
i
(i = 1, , N). Por conservacion de la energa-momento,
se satisface
P
B
+P
T
=
N
i=1
P
i
. (3.52)
Tomando el cuadrado en cada miembro, y haciendo uso de (3.20) se obtiene
m
2
0B
+m
2
0T
+ 2c
2
m
0T
E
B
=
N
i=1
m
2
0i
+
N
i=1
N
j=1
m
0i
m
0j
(v
ij
), (3.53)
CAP
i=1
m
2
0i
m
2
0B
m
2
0T
_
. (3.54)
3.1.4. Cuantos de luz, ondas de materia
La generalizacion de la dualidad onda-partcula del foton, enunciada por
Einstein, al resto de las partculas fue establecida por de Broglie en 1923: Toda
partcula con cuadrimomento P tiene asociada una onda con cuadrivector de
onda L, determinado por la as llamada ecuacion de de Broglie
P = hL, (3.55)
o explcitamente
_
E
c
, p
_
=
h
2
_
c
, k
_
(3.56)
=
_
c
, k
_
= m
0
(u)(c, u).
donde h es la constante de Planck y = h/2, se conoce como la constante
geometrizada de Planck. De esta relacion resulta evidente que
E = = h, (3.57)
p = [p[ =[k[ =
h
B
,
y por lo tanto la velocidad de fase de la onda asociada a la partcula es
w =
B
=
c
2
u
. (3.58)
Por otro lado, tomando al cuadrado en ambos miembros de la ecuacion (3.55),
m
2
0
c
4
=
2
(
2
k
2
c
2
). (3.59)
Usando este resultado, es facil obtener la velocidad de grupo de la onda
v =
k
=
c
2
k
=
c
2
= u, (3.60)
que coincide justamente con la velocidad de la partcula.
CAP
2
. (3.61)
Por otro lado, si tanto P
1
como P
2
son cuadrimomentos correspondientes a
fotones, entonces
P
1
P
2
=
2
_
2
c
2
k
1
k
2
cos
_
(3.62)
= h
2
_
2
c
2
1
2
cos
_
= h
2
c
2
2
(1 cos ) .
El efecto Compton se obtiene del siguiente analisis: un foton con frecuencia
, que incide a lo largo del eje x, choca contra un electron estacionario y se
dispersa en un angulo con frecuencia
= Q+Q
. (3.63)
Dado que Q
2
= Q
2
= m
2
c
2
, y P
2
= P
2
= 0, tomando el cuadrado en ambos
miembros,
P P
= Q (P P
) . (3.64)
Haciendo uso de (3.61) y (3.62), obtenemos
hc
2
(1 cos ) = m(
). (3.65)
Es facil mostrar que esta relacion se reduce, en terminos de las longitudes de
onda, a
=
2h
mc
sin
2
_
2
_
(3.66)
= 2
c
sin
2
_
2
_
,
donde
c
= h/mc se denomina longitud de onda de Compton.
Por conservacion del cuadrimomento total, la componente 0 (energa) se
conserva
h
c
+mc
2
=
h
c
+m
0
(u), (3.67)
CAP
c
cos +p cos ,
h
c
sin p sin, 0
_
. (3.68)
De (3.65)
1 =
h
mc
2
(1 cos ) . (3.69)
Usando este resultado y (3.68), obtenemos
tan =
sin
/
cos
=
sin
_
1 +
h
mc
2
(1 cos )
_
cos
(3.70)
=
sin
_
1 +
h
mc
2
_
(1 cos )
=
cos (/2)
_
1 +
h
mc
2
_
sin(/2)
=
_
1 +
h
mc
2
_
1
cot (/2) .
3.1.6. Cuadrifuerza
Hasta el momento solo hemos considerado como causas del movimiento a
las colisiones. Por analoga con la segunda ley de Newton en mecanica clasica
Galileana, la denicion mas adecuada para el cuadrivector de fuerza es
F =
dP
d
=
d
d
[m
0
U] = m
0
A+
dm
0
d
U. (3.71)
Como consecuencia de la conservacion del cuadrimomento en una colision, es
posible encontrar tambien un analogo de la tercera ley de Newton para la cua-
drifuerza
F
1
+F
2
=
d
d
(P
1
+P
2
) = 0. (3.72)
Por otro lado,
F =
dP
d
=
d
d
[(u) (m
0
c, p)] (3.73)
= (u)
d
dt
[(u) (m
0
c, p)]
= (u)
_
1
c
dE
dt
, f
_
,
donde f es el trivector de fuerza, denido como
f =
dp
dt
. (3.74)
CAP
u=0
= c
2
dm
0
d
. (3.76)
En el caso particular de una masa conservada a lo largo de la lnea de mundo,
F U = 0, (3.77)
o equivalentemente
dE
dt
= f u = f
dr
dt
, (3.78)
es decir, se satisface la relacion Newtoniana
f dr =dE. (3.79)
Para una fuerza conservativa
f = m
0
(u)a+
dm
0
(u)
dt
u =m
0
(u)a+
u
c
2
dE
dt
(3.80)
= m
0
(u)a+
u
c
2
f u,
la aceleracion puede ser despejada de esta relacion
a =
1
m
0
(u)
_
f
_
f
u
c
_
u
c
_
. (3.81)
De aqu, resulta que aunque el trivector a es necesariamente coplanar a f y u,
en general no es paralelo a f . En sus componentes longitudinal y transversal,
la aceleracion se escribe
a
=
f
m
0
(u)
_
1
u
2
c
2
_
=
f
m
0
3
(u)
, (3.82)
a
=
f
m
0
(u)
.
Captulo 4
Electrodinamica Relativista
4.1. Tensores
4.1.1. Preliminares
Para discutir la electrodinamica relativista en el vaco es necesario introducir
una notacion especial, en la cual las transformaciones de Lorentz de las cantida-
des fsicas relevantes sean transparentes. Muchas cantidades no se transforman
ni como vectores ni como escalares, sino como objetos mas complicados denomi-
nados Tensores. En general, los tensores asociados al espacio de Minkowski M
4
tienen dimension 4, pero la notacion que introduciremos a continuacion permite
una generalizacion inmediata a espacios de mas dimensiones.
Antes de comenzar nuestra discusion sobre tensores, es conveniente jar
ciertas convenciones sobre la notacion de las ecuaciones tensoriales:
Convencion de Suma de Einstein: Si en una ecuacion, un ndice apare-
ce dos veces en un termino dado, una vez como subndice y otra como
superndice, se entiende que se esta efectuando una suma sobre el ran-
go de dicho ndice. Estos ndices repetidos se denominan ndices mudos,
pues cada par puede ser reemplazado por otro sin ning un inconveniente.
Entonces,por ejemplo en el caso de vectores, el producto interno se
escribe
A
i
B
i
= A
j
A
j
=
N
i=1
A
i
B
i
, (4.1)
o tambien, para objetos con m ultiples ndices
A
ijk
B
jk
=
N
j=1
N
k=1
A
ijk
B
jk
. (4.2)
Los ndices no apareados (como i en la ultima ecuacion) se llaman ndices
libres.
55
CAP
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 56
Los ndices libres deben coincidir en ambos miembros de la ecuacion, y
pueden reemplazarse siempre y cuando se respete esta condicion. Por
ejemplo, la ecuacion
A
ijk
B
jk
= C
jk
ijk
= C
lm
ilm
. (4.3)
es equivalente a
A
sjk
B
jk
= C
lm
slm
. (4.4)
Convencion de ndices primados: Es conveniente usar ndices primados y
multiprimados para distinguir diferentes sistemas coordenados del mismo
espacio vectorial V
N
. Por ejemplo, los ndices i, j, k, ... = 1, , N sirven
para denotar a las componentes de un tensor en el sistema de coorde-
nadas
_
x
i
_
; mientras que i
, j
, k
_
. As, un campo vectorial evaluado en el siste-
ma coordenado
_
x
i
_
, normalmente escrito como A
i
(x), se escribe simple-
mente A
i
; mientras que el mismo campo evaluado en el sistema
_
x
i
_
,
com unmente escrito A
i
(x
) o A
i
(x
), se denota A
i
.
Un vector contravariante es una coleccion de n cantidades V
i
(i = 1, , n)
que se transforma de acuerdo a la regla
V
i
=
i
j
V
j
, (4.5)
cuando se efect ua una transformacion no singular entre los conjuntos de coor-
denadas x
i
y x
i
=
i
j
x
j
, (4.6)
con
j
=
x
i
x
j
. (4.7)
El vector contravariante modelo es dx
i
, la diferencial del vector posicion, pues
por denicion
dx
i
=
i
j
dx
j
. (4.8)
Un vector covariante es una coleccion de n cantidades V
i
(i = 1, , n) que
se transforma de acuerdo a la regla
V
i
=
j
i
V
j
, (4.9)
con
j
i
=
x
j
x
i
. (4.10)
El vector contravariante por excelencia es el gradiente de una funcion de la
posicion (x). Pues, si escribimos
,
i
=
x
i
, (4.11)
CAP
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 57
de acuerdo a la regla de la cadena, tenemos
,
i
=
j
i
,
j
. (4.12)
Tambien de acuerdo a la regla de la cadena,
i
i
i
i
=
i
i
. (4.13)
En particular
i
i
i
j
=
i
j
=
x
i
x
j
=
i
j
, (4.14)
donde la delta de Kronecker
i
j
viene dada por
i
j
=
_
1, i = j
0, i ,= j
. (4.15)
Es importante hacer notar que
i
j
es util en la sustitucion de ndices
V
i
i
j
= V
j
, (4.16)
y que, de acuerdo a la denicion, las ecuaciones
V
i
=
j
i
V
j
, V
i
i
j
= V
j
, (4.17)
son equivalentes.
4.1.2. Denicion de Tensor
Ahora estamos en condiciones de denir un tensor en general:
Un objeto que tiene componentes A
ijkn
en el sistema coordenado x
i
, y
componentes A
i
en el sistema x
i
, satisface
A
i
= A
ijkn
i
j
j
k
k
n
n
. (4.18)
Similarmente, se dice que A
ijkn
es un tensor covariante ante la transfor-
macion x
i
x
i
si
A
i
n
= A
ijkn
i
i
j
j
k
k
n
n
. (4.19)
Finalmente, A
ik
ln
se comporta como un tensor mixto (contravariante en
i k y covariante en l n) ante x
i
x
i
si
A
i
n
= A
ik
ln
i
k
k
l
l
n
n
. (4.20)
CAP
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 58
Si se arma que cierto objeto es un tensor, se entiende que dicho objeto se
comporta como tal ante todas las transformaciones diferenciables no-singulares
del espacio V
N
sobre el cual esta denido. Por el contrario, si un objeto se
transforma como tensor solo ante una transformacion en particular (por ejem-
plo rotaciones, boosts, etc.), se dice que es un Tensor Especco (por ejemplo
los tensores cartesianos, los tensores de Lorentz o cuadritensores, etc.). La de-
nicion de tensor es lo sucientemente general como para englobar tambien a
los vectores y a los escalares. Un vector es un tensor de rango 1 (1 ndice),
mientras que un escalar es un tensor de rango 0 (sin ndices) independiente del
sistema coordenado, y por lo tanto invariante, pues por denicion su regla de
transformacion es
A
= A. (4.21)
El tensor Cero de cualquier tipo 0
ik
ln
es aquel cuyas componentes son todas
iguales a cero. De la denicion de Tensor, resulta inmediato que si un tensor es
igual al tensor cero en un sistema coordenado, es igual al tensor cero en todos
los sistemas. En general, si dos tensores son iguales en cierto sistema , lo son
en todos. A consecuencia de esto, las igualdades tensoriales son independientes
del sistema de coordenadas subyacente.
Ya nos hemos encontrado con el primer ejemplo de tensor. La delta de
Kronecker
i
j
es un tensor mixto y su huella digital es innegable, pues usando
su propiedad de sustitucion de ndices, tenemos
i
j
i
j
j
=
i
j
j
j
=
i
j
. (4.22)
4.1.3. Propiedades de Grupo
Las transformaciones tensoriales satisfacen las propiedades de grupo: Si-
metra y Transitividad. En otras palabras, si A
ik
ln
se transforma como tensor
ante x
i
x
i
x
i
;
A
i
n
= A
ik
ln
i
k
k
l
l
n
n
,
A
ik
ln
= A
i
n
i
i
k
k
l
l
n
n
.
(4.23)
Similarmente, si A
ik
ln
se transforma como tal ante x
i
x
i
, entonces tambien
se comporta como tensor ante la transformacion x
i
x
i
;
A
i
n
= A
i
n
i
i
k
k
l
l
n
n
(4.24)
=
_
A
ik
ln
i
k
k
l
l
n
n
i
k
k
l
l
n
= A
ik
ln
i
k
k
l
l
n
n
.
CAP
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 59
4.1.4.
Algebra Tensorial
Existen varias maneras de construir nuevos tensores a partir de otros. El
algebra de tensores se conforma a partir de cuatro operaciones basicas: suma,
producto directo o externo, contraccion y permutacion de ndices.
1. Combinaciones lineales. Una combinacion lineal de varios tensores con
el mismo n umero de ndices covariantes y contravariantes es tambien un
tensor. Por ejemplo, si A
ik
ln
y B
ik
ln
son tensores, mientras que a y b son
escalares, resulta trivial mostrar que si denimos
C
ik
ln
= aA
ik
ln
+bB
ik
ln
, (4.25)
entonces C
ik
ln
es un tensor, pues
C
i
k
l
n
= aA
i
n
+bB
i
k
l
n
(4.26)
= aA
ik
ln
i
k
k
l
l
n
n
+bB
ik
ln
i
k
k
l
l
n
n
= C
ik
ln
i
k
k
l
l
n
n
.
Note usted, sin embargo, que la combinacion lineal de tensores evaluados
en distintos puntos de V
N
no es en general un tensor, a menos que las
transformaciones de coordenadas queden restringidas solo a transforma-
ciones lineales, en las cuales las derivadas parciales
i
i
sean constantes.
(4.28)
= A
i
n
B
p
= A
ik
ln
i
k
k
l
l
n
n
B
pr
su
p
r
r
s
s
u
u
= T
ikpr
lnsu
i
k
k
l
l
n
n
p
p
r
r
s
s
u
u
.
3. Contraccion. Dado un tensor de tipo (s, t) (s superndices, t subndices),
convertir uno de sus superndices y uno de sus subndices en un par de
CAP
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 60
ndices mudos produce un tensor de tipo (s 1, t 1). As, si A
i1i
k
i
k+1
i
k+n
es un tensor, entonces
B
i1ij1ij+1i
k
i
k+1
i
l1
i
l+1
i
k+n
= A
i1iji
k
i
k+1
iji
k+n
(4.29)
tambien lo es. Es mas sencillo visualizar un caso particular, por ejemplo,
la contraccion del tensor A
ikl
n
produce el tensor
B
il
= A
ikl
k
. (4.30)
La prueba de que este es efectivamente un tensor es inmediata
B
i
= A
i
k
= A
ikl
n
i
i
k
k
l
l
n
k
(4.31)
= A
ikl
n
i
i
l
l
n
k
= A
ikl
k
i
i
l
l
= A
il
i
l
l
.
4. Producto interno. La combinacion de un producto externo y de una
contraccion dendices es un caso sumamente com un en el algebra tensorial.
En particular, el producto interno entre trivectores y cuadrivectores son
seguramente familiares para el lector. Si A
ikl
n
y B
jm
son tensores, entonces,
C
i
n
= A
ikl
n
B
kl
(4.32)
es tambien un tensor. La demostracion es obvia, pues tanto el producto
externo como la contraccion son operaciones tensoriales.
5. Permutacion de ndices. A partir de las componentes de un tensor,
como A
ijk
, es posible construir nuevos tensores con distintas propiedades
de simetra, por ejemplo B
ijk
= A
ikj
o C
ijk
= A
jki
. Un tensor de dos
ndices se dice simetrico si
A
ij
= A
ji
, (4.33)
y antisimetrico si
A
ij
= A
ji
. (4.34)
Estas ecuaciones, siendo explcitamente tensoriales, son independientes del
sistema coordenado.
4.1.5. Diferenciacion de Tensores
La derivada /x
m
de un tensor cualquiera es un objeto matematico con un
ndice covariante mas que el tensor original. Es decir, si A
ik
ln
es un tensor, la
coleccion de cantidades
A
ik
ln,m
=
x
m
_
A
ik
ln
_
(4.35)
CAP
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 61
constituye la generalizacion tensorial de un gradiente. Similarmente, la derivada
de A
i
n
es
A
i
,m
=
x
m
_
A
i
_
=
i
i
x
i
_
A
i
_
(4.36)
=
m
m
x
m
_
A
ik
ln
i
k
k
l
l
n
n
_
=
x
m
_
A
ik
ln
_
i
k
k
l
l
n
n
m
m
+A
ik
ln
m
m
x
m
_
i
k
k
l
l
n
n
_
.
Notese que esta regla de transformacion es incompatible con la denicion de un
tensor, por lo tanto, ante transformaciones generales de coordenadas, A
ik
ln,m
no es un tensor. El conjunto de cantidadesA
ik
ln,m
puede ser considerado un
tensor solo si nos restringimos a transformaciones lineales de coordenadas, donde
i
/x
m
= 0. Del mismo modo, las derivadas parciales de ordenes superiores
A
ik
ln,mp
=
x
m
x
p
_
A
ik
ln
_
(4.37)
se comportan como tensores solo ante transformaciones lineales de coordenadas.
Usando un argumento similar, es posible mostrar que la derivada de un
tensor cualquiera A
ik
ln
con respecto a un escalar , denotada
d
d
_
A
ik
ln
_
, (4.38)
es tambien un tensor ante transformaciones lineales de coordenadas.
Por denicion, solo para las coordenadas x
i
, las derivadas x
i
/x
j
y dx
i
/d
son tensores ante transformaciones generales de coordenadas.
4.1.6. Tensor Metrico
Se dice que una variedad es Riemanniana si existe una forma cuadratica real,
invariante y no degenerada de la forma
ds
2
= g
ij
dx
i
dx
j
, (4.39)
llamada metrica, donde las cantidades g
ij
(generalmente funciones de x) cons-
tituyen un tensor covariante de 2 ndices que satisface las condiciones
det(g
ij
) ,= 0 (4.40)
y
g
ij
= g
ji
. (4.41)
CAP
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 62
Su naturaleza tensorial viene del hecho de que ds
2
es un escalar invariante y
dx
i
es un vector. En terminos llanos, una variedad es algo que localmente se
parece a una peque na porcion de R
N
(un analisis mas detallado del concepto
de variedad extendera mucho nuestra discusion).
Tal estructura Riemanniana es propia si el escalar ds
2
es denido positivo;
de otro modo, la variedad se denomina pseudo-Riemanniana. En cualquiera de
estos casos, se dice que el espacio vectorial subyacente V
N
es un espacio metrico,
donde el tensor g
ij
se denomina tensor metrico.
El espacio eucldeo n-dimensional (R
n
) se ajusta perfectamente a esta des-
cripcion. Si escribimos las componentes cartesianas de un vector A como A
i
,
el producto escalar entre dos vectores (1.47) es
A B =g
ij
A
i
B
j
= A
1
B
1
+A
2
B
2
+ +A
n
B
n
. (4.42)
A partir de esta relacion se puede concluir que las entradas g
ij
constituyen la
matrz simetrica n n
(g
ij
) =
_
_
_
_
_
1 0 0
0 1 0
.
.
.
.
.
.
.
.
. 0
0 0 0 1
_
_
_
_
_
. (4.43)
Similarmente, para el plano en coordenadas polares
(g
ij
) =
_
g
_
=
_
1 0
0
2
_
, (4.44)
y para un plano parametrizado por las variables u y v:
(g
ij
) =
_
g
uu
g
uv
g
vu
g
vv
_
=
_
r
u
r
u
r
u
r
v
r
v
r
u
r
v
r
v
_
. (4.45)
Esto puede vericarse tomando en cuenta la naturaleza tensorial de g
ij
g
i
j
= g
ij
x
i
x
i
x
j
x
j
. (4.46)
El Espacio de Minkowski M
4
es una estructura pseudo-Riemanniana, pues
el cuadrado de un cuadrivector
A A=A
0
A
0
A
1
A
1
A
2
A
2
A
3
A
3
, (4.47)
que constituye la denicion del producto escalar, puede ser una cantidad real
positiva o negativa. Las componentes del tensor metrico pueden leerse directa-
mente de (2.72):
(g
ij
) =
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
. (4.48)
CAP
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 63
Una nueva operacion tensorial que admite toda variedad (pseudo-)Riemanniana
es la elevacion y el descenso de ndices. Para introducir tal operacion es ne-
cesario denir g
ij
, las componentes del tensor contravariante que conforman la
inversa de la matriz (g
ij
):
g
ij
g
jk
=
i
k
. (4.49)
En otras palabras, g
ij
queda unvocamente denida a traves de la relacion
_
g
ij
_
= (g
ij
)
1
. Debido a la simetra de g
ij
, las cantidades g
ij
constituyen
tambien un tensor simetrico. La evidencia de que g
ij
es contravariante puede
extraerse directamente de las transformaciones de g
ij
y
i
j
g
ij
g
j
k
j
j
k
k
=
i
k
k
k
i
i
. (4.50)
Por lo tanto
j
= g
ij
g
j
k
j
j
k
k
k
k
i
i
(4.51)
=
_
g
ij
j
i
i
_
g
j
k
= g
i
g
j
k
,
o equivalentemente,
g
i
= g
ij
j
i
i
. (4.52)
A veces es conveniente denotar al tensor mixto
i
j
como
i
j
= g
i
j
.
La elevacion y el descenso de ndices son simplemente dos casos especiales de
productos internos, con la peculiaridad de que uno de los tensores que interviene
en la operacion es g
ij
o g
ij
. Por ejemplo, si A
i
son las componentes contrava-
riantes de un vector en un espacio Riemanniano, sus componentes covariantes
se denen por medio de las ecuaciones
A
i
= g
ij
A
j
. (4.53)
De esta manera, el cuadrado A
i
puede escribirse simplemente como
A
2
= A
i
A
i
= A
i
A
i
. (4.54)
Similarmente, dado un vector covariante B
i
, denimos sus componentes contra-
variantes como
B
i
= g
ij
B
j
. (4.55)
Por supuesto, esta operacion no se limita a vectores; cualquier ndice covariante
de un tensor dado es susceptible a ser elevado ante la accion de g
ij
, y cualquiera
de sus ndices contravariantes puede bajarse usando g
ij
. Por ejemplo, si A
ij
k
es un tensor, podemos denir A
i
jk
, a partir de las ecuaciones
A
i
jk
= g
ir
g
ks
A
rj
s
. (4.56)
Note que en estos casos es importante remarcar el orden de cada ndice, incluso
entre subndices y superndices, pues A
i
jk
puede ser formalmente distinto de
A
jk
i
y A
j
i
k
. En otras palabras, A
i
jk
, A
jk
i
y A
j
i
k
constituyen, cada uno,
una descripcion diferente del mismo objeto.
CAP
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 64
4.2. Cuadritensores
En relatividad especial, las coordenadas del espacio de Minkowski conforman
las componentes contravariantes del cuadrivector de posicion
(x
v
x
v
+a
, (4.58)
con
v
y a
= g
. (4.59)
Las cantidades que se comportan de manera tensiorial ante este tipo de
transformaciones se denominan Tensores de Lorentz o Cuadritensores. Las
transformaciones de Poincare son lineales, y por lo tanto, cuadritensores de
distintos eventos pueden sumarse, multiplicarse y derivarse para dar lugar a
nuevos cuadritensores.
La metrica (2.72) es responsable de que el tensor metrico (4.48)
(g
) = (g
) =
_
_
_
_
1 0 0 0
0 1 0 0
0 0 1 0
0 0 0 1
_
_
_
_
, (4.60)
conserve su forma en todos los sistemas coordenados admisibles para cuadri-
tensores. Si A
= A
i
, (i = 1, 2, 3)
A
0
= g
0
A
= A
0
. (4.61)
Por ejemplo, en el caso de la cuadrivelocidad U = (U
= U
=
2
(u)
_
c
2
u
2
_
= c
2
. (4.62)
CAP
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 65
Es importante mencionar que la eleccion
( g
) = ( g
) =
_
_
_
_
1 0 0 0
0 +1 0 0
0 0 +1 0
0 0 0 +1
_
_
_
_
, (4.63)
es tambien admisible e incluso extensamente utilizada. El uso de una u otra
signatura en el tensor metrico (+, , , ) o (, +, +, +) solo introduce distintas
convenciones de disposicion de signos en la teora de la relatividad, mas no
genera ning un cambio fundamental en los resultados.
Siendo el tensor metrico constante, podemos subir y bajar ndices que pre-
ceden una diferenciacion sin ambig uedad
A
= (A
) g
= (A
) ,
. (4.64)
Ante un boost en la conguracion convencional a lo largo del eje x, como
(2.12), resulta claro que
_
_
=
_
_
_
_
0
0
1
0
2
0
0
1
1
1
2
1
0
2
1
2
2
2
0
3
1
3
2
3
3
_
_
_
_
(4.65)
=
_
_
_
_
v
c
0 0
v
c
0 0
0 0 1 0
0 0 0 1
_
_
_
_
,
y
(
) =
_
_
_
_
3
_
_
_
_
=
_
_
_
_
v
c
0 0
v
c
0 0
0 0 1 0
0 0 0 1
_
_
_
_
, (4.66)
para la transformacion inversa. Con este resultado, la regla de transformacion
de cualquier cuadritensor ante boosts es inmediata.
De acuerdo al principio de relatividad, las leyes de la Fsica deben tener
la misma apariencia en todo marco de referencia inercial, esto sugiere que las
ecuaciones cuadritensoriales constituyen la mejor representacion para tales leyes.
CAP
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 66
Los ejemplos de ecuaciones tensoriales en la fsica son muchos. Comencemos
por denir el operador cuadrigradiente
=
x
=
_
1
c
t
,
_
. (4.67)
Este operador efectivamente se transforma como las componentes de un cuadri-
vector covariante, pues de acuerdo a la regla de la cadena,
=
x
. (4.68)
Una consecuencia importante es que la divergencia de un vector contravariante
A
consigo mismo
produce el operador invariante dAlembertiano
= g
=
1
c
2
2
t
2
2
. (4.69)
As, por ejemplo, la ecuacion escalar de onda (1.14) se puede escribir en notacion
tensorial simplemente como
= 0. (4.70)
La evidencia experimental sugiere que la carga elecrica q es independiente
de la velocidad de una partcula. Esto nos lleva a postular la invariancia de la
carga electrica. Consideremos una densidad de carga propia
0
. En cualquier
marco de referencia inercial,
q =
_
0
dV
0
=
_
dV
. (4.71)
Debido a la contraccion de la longitud L
= L
0
/(u) ante boosts en la con-
guracion convencional, el elemento de volumen se transforma de la siguiente
manera: V
= V
0
/(u). As, por consistencia con la naturaleza escalar de la
carga, la regla de transformacion de la densidad de carga es
=
0
(u). (4.72)
Por otro lado, la densidad de corriente es un vector denido como
J =
0
u, (4.73)
y queda sujeto a la ecuacion de continuidad
0
t
+ J = 0. (4.74)
Resulta natural postular que
0
y J formen juntos un cuadrivector de densidad
de corriente dado por
J
=
0
U
. (4.75)
En terminos de este cuadrivector, la ecuacion de continuidad adquiere la sencilla
forma
= J
,
= 0. (4.76)
CAP
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 67
4.2.1. Covariancia de la Electrodinamica, Ecuaciones de
Maxwell en notacion Tensorial
Para escribir las ecuaciones de Maxwell
E =4, E =
1
c
t
B,
B =0, B =
1
c
t
E+
4
c
J,
(4.77)
en notacion tensorial, es necesario analizarlas desde la perspectiva de los poten-
ciales y A. Notese que hemos adoptado el sistema de unidades Gaussianas,
y no el SI. Las cantidades y A se denen a traves de las relaciones
E =
1
c
A
t
,
B = A, (4.78)
de tal manera que las ecuaciones de Maxwell pueden reducirse al sistema de
ecuaciones diferenciales parciales de segundo orden
1
c
2
2
A
t
2
2
A =
4
c
J,
1
c
2
t
2
2
= 4, (4.79)
con la condicion adicional de norma de Lorenz
1
c
t
+ A = 0. (4.80)
La forma de estas ecuaciones sugiere fuertemente la integracion de y A en un
solo cuadrivector
A
= (, A), (4.81)
de tal manera que las ecuaciones de onda y la condicion de Lorentz adquieren
formas maniestamente covariantes
=
4
c
J
= 0. (4.82)
En terminos de este nuevo Cuadrivector, el campo Electrico y el campo de
induccion Magnetica adquieren la forma
E
i
=
_
0
A
i
i
A
0
_
,
B
i
=
ijk
_
j
A
k
j
A
k
_
. (4.83)
Estas relaciones indican que ambos campos (las seis componentes en total) cons-
tituyen los elementos de un tensor antisimetrico de segundo rango, que se de-
nomina Tensor de Intensidad de Campo Electromagnetico
F
= (
) . (4.84)
CAP
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 68
Explcitamente, en forma matricial
(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
_
_
_
_
. (4.85)
Como referencia, presentamos tambien las componentes covariantes de este ten-
sor
(F
) = (g
) =
_
_
_
_
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
_
_
_
_
. (4.86)
Una notacion com un para este tipo de tensores antisimetricos, separables en un
vector polar y otro axial, es
F
= (E, B) , F
= (E, B) . (4.87)
La fuerza electromagnetica que act ua sobre una partcula cargada se deno-
mina Fuerza de Lorentz:
f =
dp
dt
= q
_
E+
u B
c
_
, (4.88)
donde q es la carga electrica y u la velocidad de la partcula. En notacion
Tensorial, esta ecuacion adquiere la forma
d
d
(m
0
U
) =
q
c
F
. (4.89)
La componente F
0
de la fuerza de Lorentz, resulta ser basicamente
dE
dt
= qE u. (4.90)
En terminos del tensor F
=
4
c
J
, (4.91)
y
= 0. (4.92)
Esta ultima ecuacion puede simplicarse con la introduccion del Tensor Dual
de campo Electromagnetico T
_
+1
para permutaciones pares de
= 0, = 1, = 2 y = 3,
1 para permutaciones impares,
0
para cualquier caso con
ndices repetidos.
(4.93)
CAP
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 69
Note que
. El tensor
) =
_
1
2
_
(4.94)
=
_
_
_
_
0 B
1
B
2
B
3
B
1
0 E
3
E
2
B
2
E
3
0 E
1
B
3
E
2
E
1
0
_
_
_
_
,
En pocas palabras, T
se obtiene de F
haciendo la sustitucion
E B (4.95)
B E.
En el caso de ausencia de fuentes, J
t
B,
B =0, B =
1
c
t
E.
(4.96)
quedan invariantes ante esta transformacion de dualidad. Evidentemente, (4.92)
es equivalente a
= 0. (4.97)
Una caracterstica satisfactoria de la notacion tensorial es la alta simetra que
presenta. Por ejemplo, la ecuacion de continuidad esta implcitamente contenida
en (4.91), debido a la antisimetra de F
y a la simetra de
v
.
Finalmente, es importante se nalar que el potencial cuadrivectorial A
no
queda unvocamente determinado por la relacion (4.84), de hecho, existe toda
una clase de potenciales
A
que satisfacen
F
=
_
_
(4.98)
y estan relacionados con el potencial original de acuerdo a la expresion
= A
. (4.99)
Donde
= 0. (4.100)
Esta relacion, a su vez, nos permite parametrizar
como el cuadrigradiente
de una funcion escalar arbitraria
(x).
CAP
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 70
As, en general las transformaciones de la forma (4.99):
= A
, (4.101)
se denominan transformaciones de norma (gauge transformations). Si deseamos
que A
= 0, el campo
A
debe
satisfacer
= 0. (4.102)
La importancia de la norma de Lorenz reside en su poder calculacional, pues en
terminos de A
, (4.91) se escribe
=
4
c
J
, (4.103)
haciendo
= 0, obtenemos simplemente
=
4
c
J
. (4.104)
4.2.2. Transformacion del Campo Electromagnetico
Dado que los Campos E y B son los elementos de un tensor de segundo
rango F
pueden expresarse
en terminos de sus valores en otro marco K, de acuerdo a
F
. (4.105)
Para un Boost en la conguracion estandar, las cantidades
vienen dadas
por (4.65), de tal manera que
E
1
= E
1
, B
1
= B
1
,
E
2
=
_
E
2
v
c
B
3
_
, B
2
=
_
B
2
+
v
c
E
3
_
,
E
3
=
_
E
3
+
v
c
B
2
_
, B
3
=
_
B
3
v
c
E
2
_
.
(4.106)
Por supuesto, la inversa de esta transformacion se obtiene siguiendo la prescrip-
cion habitual. Estas ecuaciones pueden escribirse de una forma mas compacta
como
E
=
_
E+
v B
c
_
2
c
2
( + 1)
v (v E) , (4.107)
B
=
_
B
v E
c
_
2
c
2
( + 1)
v (v B) .
Notese que de acuerdo a esta transformacion, los campos E y Bno pueden existir
independientemente. Si en cierto marco de referencia K uno esta presente y el
otro no, en cualquier otro marco K
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 71
Un ejemplo concreto de este tipo de transformaciones surge del analisis de
los campos producidos por una carga puntual q que se mueve a lo largo del
eje x con velocidad v, desde el punto de vista de un observador situado en el
punto P(0, b, 0) en el marco K. Si elegimos un sistema de referencia K
donde
la partcula se encuentra en reposo en el orgen, el observador se encontrara en
P(vt
, b, 0). A t = t
=
_
b
2
+ (vt
)
2
en K
, tal que t
=
_
t (v/c
2
)x
. En
el marco de reposo K
1
=
qvt
r
3
, B
1
= 0,
E
2
=
qb
r
3
, B
2
= 0,
E
3
= 0, B
3
= 0.
(4.108)
En terminos de las coordenadas de K, las unicas componentes del campo elec-
tromagnetico distintas de cero son
E
1
=
qvt
[b
2
+
2
v
2
t
2
]
3/2
, (4.109)
E
2
=
qb
[b
2
+
2
v
2
t
2
]
3/2
.
As, usando la transformaci on inversa para los campos, en el sistema K se miden
las intensidades
E
1
= E
1
=
qvt
[b
2
+
2
v
2
t
2
]
3/2
, (4.110)
E
2
= E
2
=
qb
[b
2
+
2
v
2
t
2
]
3/2
,
B
3
=
v
c
E
2
=
qvb
c [b
2
+
2
v
2
t
2
]
3/2
. (4.111)
4.2.3. Invariantes del campo electromagnetico
A partir de la intensidad del campo electromagnetico podemos construir
cantidades invariantes, que permanecen sin cambio ante transiciones entre mar-
cos de referencia inerciales. Es posible mostrar que solo existen dos invariantes
independientes asociados al campo:
X =
1
2
F
=
1
2
T
= B
2
E
2
, (4.112)
Y =
1
4
F
= E B.
CAP
ITULO 4. ELECTRODIN
AMICA RELATIVISTA 72
La segunda de estas relaciones es de hecho una cantidad pseudoescalar, pues
cambia de signo ante una inversion espacial. Fsicamente, estos invariantes nos
maniestan que si las magnitudes de los campos E y B son iguales
_
B
2
= E
2
_
en alg un envento de cualquier marco de referencia inercial, entonces son iguales
en todos; ademas, si estos campos son ortogonales en un marco (E B =0), lo
son en todos.
Captulo 5
Mecanica Clasica
Relativista
5.1. Mecanica Relativista Lagrangiana y Hamil-
toniana
La formulacion Lagrangiana de la mecanica se basa en el principio de mni-
ma accion, tambien conocido como Principio de Hamilton. Las ecuaciones de
movimiento
d
dt
_
L
x
i
_
L
x
i
= 0 (5.1)
se obtienen a partir de cierta funcional denominada accion
S =
_
t
f
t1
L(x, x, t) dt (5.2)
aplicando la condicion S = 0. De acuerdo al Principio de Relatividad, la accion
debe transformarse necesariamente como una cantidad escalar para garantizar
la covariancia de dichas ecuaciones de movimiento. Si introducimos en esta
denicion el tiempo propio de la partcula en cuestion, seg un a la relacion dt =
d, la accion queda
S =
_
t
f
t1
Ld. (5.3)
Como d es un escalar, entonces la cantidad L es un invariante.
En el caso de la partcula libre, la funcion lagrangiana puede ser una funcion
de la su velocidad y de su masa, pero no puede depender de su posicion. El
73
CAP
ITULO 5. MEC
ANICA CL
ASICA RELATIVISTA 74
unico invariante de Lorentz asociado a la velocidad es U
= c
2
. Por lo tanto,
L c
2
. Es facil vericar que la eleccion
L
libre
=
m
0
c
2
(5.4)
reproduce las ecuaciones correctas de movimiento
d
dt
(m
0
u) = 0. (5.5)
Este analisis, aunque exitoso posee un inconveniente: no es maniestamente
covariante.
En forma explcitamente covariante, la accion que describe a una partcula
libre es
S
libre
= m
0
c
_
f
1
_
U
d (5.6)
= m
0
_
s
f
s1
_
g
dx
ds
dx
ds
ds,
donde
_
g
dx
ds
dx
ds
ds es el elemento innitesimal de longitud en el espacio de
Minkowski, y x
L(x,
dx
ds
, )d, (5.7)
donde
L = L, es decir,
L es un lagrangiano escalar. Las ecuaciones de movi-
miento de Euler Lagrange pueden derivarse facilmente a traves del Principio de
Hamilton
d
ds
_
_
_
dx
ds
_
_
_
L
x
= 0. (5.8)
Explcitamente para S
libre
, las ecuaciones de movimiento se reducen a
mc
d
ds
_
dx
/ds
_
dx
ds
dx
ds
_
1/2
_
= 0, (5.9)
o equivalentemente
m
d
2
x
d
2
= 0. (5.10)
CAP
ITULO 5. MEC
ANICA CL
ASICA RELATIVISTA 75
En el caso de una partcula cargada en presencia de una campo electro-
magnetico externo, sabemos que en el lmite no relativista, el termino del La-
grangiano asociado a la interaccion con el campo L
int
, es L
NR
int
= q, donde
es el potencial del campo electrico estatico. Dado que es la componente
temporaloide del cuadrivector A
o U
. Como
L
int
es invariante ante translaciones y ante transformaciones puras de Lorentz, x
L
int
=
q
c
U
(5.11)
= q
q
c
u A.
En combinacion con el lagrangiano de la partcula libre, este lagrangiano de
interaccion produce el lagrangiano total para la partcula cargada
L
total
=
L
libre
+
L
int
(5.12)
= m
0
c
2
q
q
c
u A.
El momento canonico P, conjugado de la posicion r se obtiene a traves de
la prescripcion convencional
P
i
=
L
u
i
=
L/
u
i
= m
0
u
i
+
q
c
A
i
. (5.13)
Note que este momento P diere del momento cinetico m
0
u. Si denimos la
funcion Hamiltoniana de acuerdo a la transformacion de Legendre
H(x, P) = P uL, (5.14)
es preciso eliminar la variable u, escribiendola en terminos de P y x:
u =
cPqA
_
_
P
q
c
A
_
2
+m
2
0
c
2
. (5.15)
As, el Hamiltoniano toma la forma
H =
_
(cPqA)
2
+m
2
0
c
2
+q. (5.16)
Comparando con el Hamiltoniano de una partcula libre
H
libre
=
_
c
2
p
2
+m
2
0
c
2
, (5.17)
es facil identicar a (H q) /c con la componente temporaloide del cuadrivec-
tor que incluye al vector P
q
c
A:
p
= P
q
c
A
=
_
H q
c
, P
q
c
A
_
, (5.18)
CAP
ITULO 5. MEC
ANICA CL
ASICA RELATIVISTA 76
que es justamente el cuadrimomento cinetico de la partcula p
= m
0
(c, u).
De nuevo, es mas conveniente trabajar con una formulacion explcitamen-
te covariante tanto para el Lagrangiano como para el Hamiltoniano. Para la
partcula cargada que se mueve en un campo electromagnetico externo, la forma
maniestamente covariante de la Accion es
S =
_
s
f
si
_
m
0
_
g
dx
ds
dx
ds
+
q
c
dx
ds
A
(x)
_
ds, (5.19)
cuyas ecuaciones de Euler Lagrange se reducen a
m
0
d
2
x
d
2
+
q
c
dA
d
q
c
dx
= 0. (5.20)
Dado que dA
/d = (dx
/d)
d
2
+
q
c
dx
d
(
) = 0 (5.21)
o equivalentemente
m
0
d
2
x
d
2
=
q
c
F
dx
d
, (5.22)
que es justamente la version tensorial de la fuerza de Lorentz. En este forma-
lismo es posible tambien construir un cuadrimomento P
conjugado de x
:
P
_
dx
ds
_ = m
0
U
+
q
c
A
, (5.23)
y una funcion Hamiltoniana invariante
H dada por
H = P
+
L (5.24)
=
1
m
_
P
q
c
A
__
P
q
c
A
_
c
_
_
P
q
c
A
__
P
q
c
A
_
,
sujeta a la restriccion
_
P
q
c
A
__
P
q
c
A
_
= m
2
c
2
, (5.25)
cuyas ecuaciones de movimiento son
dx
d
=
H
P
=
1
m
_
P
q
c
A
_
dP
d
=
H
x
=
q
mc
_
P
q
c
A
A
v
. (5.26)
Al combinar ambas ecuaciones se obtiene precisamente la fuerza de Lorentz. Es-
ta formulacion Hamiltoniana es satisfactoria, sin embargo, debido a que
H = 0,
debe implementarse cuidadosamente en el contexto de una teora con ligaduras.
CAP
ITULO 5. MEC
ANICA CL
ASICA RELATIVISTA 77
5.1.1. Lagrangiano para el campo electromagnetico
Consideremos ahora la descripcion Lagrangiana del campo Electromagnetico
que interact ua con fuentes externas especcas de carga y corriente. Un campo
A
(x),
(x))d
3
xdt (5.28)
=
_
L(A
(x),
(x))d
4
x, (5.29)
donde L es una densidad Lagrangiana, que corresponde a un punto denido en
el espacio-tiempo, y d
4
x es el elemento de Volumen del espacio de Minkowski.
Las ecuaciones de Euler-Lagrange correspondientes a esta accion son
L
(
)
L
A
= 0. (5.30)
La Naturaleza escalar de la Accion impone sobre L la restriccion de transfor-
marse como un escalar, ya que d
4
x tambien lo es
d
4
x
= det d
4
x = d
4
x. (5.31)
En analoga con los sistemas de nitos grados de libertad, por causalidad, espe-
ramos que la densidad Lagrangiana del campo libre sea al menos cuadratica en
las velocidades, es decir en
(x) o en F
. El termino de interaccion
L
int
debe involucrar, adem as del campo A
) (
)
1
c
J
. (5.32)
En terminos del campo A
1
c
J
. (5.33)
Por lo tanto,
L
(
)
=
1
16
g
_
F
+ (5.34)
1
16
g
_
F
.
CAP
ITULO 5. MEC
ANICA CL
ASICA RELATIVISTA 78
Usando la simetra de g
y la antisimetra de F
)
=
1
4
F
=
1
4
F
. (5.35)
Por otro lado,
L
A
=
1
c
J
. (5.36)
Entonces, las ecuaciones de movimiento para el campo electromagnetico son
=
4
c
J
. (5.37)
Estas son justamente las ecuaciones inhomogeneas de Maxwell. Las ecuaciones
homogeneas quedan autom aticamente resueltas con el uso del potencial cuadri-
vectorial A
.
5.1.2. Tensor de Energa-Momento
Para una partcula, la energa es la componente temporal de un cuadrivec-
tor. Es posible construir una densidad hamiltoniana H para un campo, que
se transforme como la componente temporal-temporal de un tensor de segundo
rango, denida en analoga con la transformacion de Legendre
H =
L
_
A
t
_
A
t
L. (5.38)
As, la generalizacion covariante de esta densidad Hamiltoniana es el Tensor
Canonico de Energa Momento
T
=
L
(
L. (5.39)
Para la densidad lagrangiana del campo electromagnetico libre
L
libre
=
1
16
F
, (5.40)
El tensor canonico de energa-momento es
T
=
1
4
g
+g
1
16
F
(5.41)
=
1
4
_
g
+
1
4
g
1
4
g
.
CAP
ITULO 5. MEC
ANICA CL
ASICA RELATIVISTA 79
Analizando en detalle el ultimo termino, con ayuda de las ecuaciones inho-
mogeneas de Maxwell en el vaco
= 0;
T
D
=
1
4
g
(5.42)
=
1
4
g
(F
)
=
1
4
_
F
_
.
Una caracterstica importante de este tensor T
es que
= 0. (5.43)
Esta es la generalizacion covariante del teorema de Poynting. Sin embargo,
T
D
el que introduce las inconsistencias. Ademas,
T
, por lo cual T
es en general
diferente de cero (si los fotones carecen de masa, forzosamente g
v
T
= 0).
Afortunadamente existe un procedimiento general para construir un tensor
de Energa-Momento simetrico, invariante de norma y carente de traza M
a
partir de T
D
satisface
D
=
1
4
_
F
_
(5.44)
=
1
4
_
F
_
= 0,
y por el teorema de Gauss
_
T
0
D
d
3
x =
1
4
_
_
F
0
A
_
d
3
x (5.45)
=
1
4
_
i
_
F
0i
A
_
d
3
x = 0.
As,
D
). De esta manera,
somos libres de denir el tensor simetrico de Energa-Momento
M
= T
D
(5.46)
=
1
4
_
g
+
1
4
g
_
,
CAP
ITULO 5. MEC
ANICA CL
ASICA RELATIVISTA 80
cuyas componentes son, explcitamente,
M
00
=
1
8
_
E
2
+B
2
_
, (5.47)
M
0i
=
1
4
ijk
E
j
B
k
,
M
ij
=
1
4
_
E
i
E
j
+B
i
B
j
1
2
ij
_
E
2
+B
2
_
_
.
Este tensor puede escribirse en notacion matricial como
(M
) =
_
u cg
cg (T
ij
)
_
, (5.48)
donde u es la densidad de Energa y g es la densidad de momento del campo.
En mecanica de medios contnuos, si es la densidad de masa de un material,
g es su densidad de momento y p
ij
es la densidad de corriente de momento,
es posible construir un cuadritensor de esfuerzo T
) =
_
c
2
cg
cg (p
ij
)
_
. (5.49)
La equivalencia entre masa y energa dictamina que este tensor es simetrico en
todos los sistemas de referencia inerciales. Sin embargo, en contraste con el caso
del campo electromagnetico, para un material g
v
T
,= 0. Ademas, existe un
marco de referencia inercial en el cual la densidad de momento se anula g = 0.
Rotando este marco de referencia para diagonalizar al tensor p
ij
, es posible
reducir T
a la forma
(T
) = diag
_
c
2
0
, p
1
, p
2
, p
3
_
, (5.50)
donde p
1
, p
2
, p
3
son las presiones principales y c
2
0
es la densidad de energa
en el sistema en reposo. Para un uido perfecto (homogeneo e isotropico), las
presiones principales son iguales p
i
= p, por lo cual T
ij
= pg
ij
es invariante
ante rotaciones espaciales en el marco de reposo. Finalmente, para un uido
perfecto en un marco de referencia general, en el cual dicho uido se mueve con
cuadrivelocidad U
,
T
=
_
0
+p/c
2
_
U
pg
. (5.51)
Parte III
Relatividad General
81
Captulo 6
Introduccion a la
Relatividad General
6.1. Principio de Equivalencia
La teora de la Relatividad General, como su nombre lo indica, es una ge-
neralizacion de la Teora Especial de la Relatividad que hemos expuesto en los
captulos anteriores. Esta teora, que constituye uno de los mas grandes logros
de la ciencia del siglo XX, fue desarrollada por Einstein a partir de inquietudes
losocas con poca, o mas bien casi nula, motivacion experimental.
Una vez que la teora de la relatividad especial fue entendida y aceptada,
resulto obvio que la teora gravitacional de Newton requera una completa revi-
sion. Es importante remarcar que a principios del siglo XX, la teora Newtoniana
de la Gravitacion no presentaba discrepancia alguna con las cotas experimenta-
les, sin embargo, su inconsistencia con la relatividad especial era evidente. La
ley de Newton de la gravitacion
F
12
=
Gm
1
m
2
[r
1
(t) r
2
(t)[
3
(r
1
(t) r
2
(t)) (6.1)
describe la fuerza entre un par de objetos con posiciones distintas r
1
(t) y r
2
(t)
al tiempo t, esto implica que las partculas involucradas gravitacionalmente in-
teract uan instantaneamente a distancia. Esto esta en plena contradiccion con la
relatividad de la simultaneidad. Mas generalmente, en terminos de un potencial
gravitacional , la fuerza que act ua sobre una partcula de masa m
G
es
F = m
G
. (6.2)
Por otro lado, de acuerdo con la segunda ley de Newton, la relacion entre esta
fuerza y la aceleracion a de la misma partcula es
F =m
I
a. (6.3)
82
CAP
ITULO 6. INTRODUCCI
ON A LA RELATIVIDAD GENERAL 83
En esta teora, nada sugiere que la carga gravitacional m
G
de la partcula,
denominada masa gravitacional, tenga algo que ver con la constante de propor-
cionalidad entre la fuerza y la aceleracion m
I
, que se llama masa inercial. De
hecho, desde el punto de vista de Newton, quien dedico tiempo y transpiracion
a la medicion de la razon m
G
/m
I
, el resultado m
G
/m
I
= 1 fue una remarcable
sorpresa. Los resultados de Newton fueron vericados con mayor precision por el
ingenioso experimento del baron H ungaro Roland von Eotvos, quien mostro que
m
G
/m
I
diere de la unidad cuando mucho por una parte en 10
9
. Actualmente,
la cota maxima de discrepancia entre la masa inercial y la gravitacional es apro-
ximadamente una parte en 10
12
. Esta identicacion entre masa inercial y masa
gravitacional juega un muy importante papel en la formulacion de la teora de
la relatividad General, bajo el nombre de Principio de Equivalencia. En pocas
palabras, si la gravedad y la aceleracion son la misma cosa, un campo gravi-
tacional, que es constante en alguna region del espacio-tiempo, imprimira una
aceleracion constante en los cuerpos que en el se sit uen. Similarmente, una alce-
leracion aplicada a las coordenadas de un cuerpo genera la ilusion de que dicho
cuerpo esta sujeto a una fuerza gravitacional. As, los campos gravitacionales
uniformes pueden removerse a traves de cambios de coordenadas.
Si un observador, dentro de un laboratorio no-rotatorio, cae libremente en
cualquier campo gravitacional, creera que los objetos en el laboratorio se mueven
esencialmente en trayectorias rectas. En tal caso, el campo gravitacional local
ha quedado eliminado, y los experimentos que se lleven a cabo en el interior del
laboratorio seran indistinguibles de aquellos efectuados en un autentico marco
de referencia inercial. Un laboratorio no-rotatorio en cada libre provee un
marco de referencia inercial que permite establecer coordenadas x
localmente,
es decir, laboratorios de esta clase (cabinas de tama no nito) funcionan como
marcos de referencia inerciales locales (LIF). El principio de equivalencia de
Einstein puede entonces enunciarse como sigue:
Principio de Equivalencia
En cada punto del espacio-tiempo, sujeto a un campo gravitacio-
nal arbitrario, es posible encontrar un Marco de Referencia Inercial
Local tal que, dentro de una peque na region adyacente al punto en
cuestion, las leyes de la naturaleza toman la misma forma que en
un marco no acelerado y en ausencia de gravedad. Todos los marcos
de referencia inerciales locales son equivalentes en lo que se ree-
re a experimentos fsicos. En este tipo de marcos, todas las leyes
no-gravitacionales de la fsica adoptan la version que ostentan en
relatividad especial.
De esta manera, de acuerdo al principio de equivalencia, siempre es posible
encontrar un LIF de dimensiones nitas, en el cual cada partcula se mueva
rectilnea y uniformemente. Al unir todos los LIFs, no se obtiene precisamente
CAP
ITULO 6. INTRODUCCI
ON A LA RELATIVIDAD GENERAL 84
un sistema de referencia inercial unico, sino que las partculas contenidas en
este marco global se mueven en trayectorias curvilneas (geodesicas) que solo
localmente pueden considerarse rectilneas. La geometra de este marco global
queda determinada por la gravedad.
Una pintoresca representacion de un laboratorio no rotatorio en cada libre
es frecuentemente observada en el desafortunado Wile E. Coyote, quien parece
ser sumamente susceptible de caer desde alturas insospechadas con una vasta
variedad de objetos. Dejemoslo caer esta vez con una bomba, originalmen-
te destinada al odioso correcaminos, y despreciemos la resistencia del viento.
Notemos que la camara que lma esta escena suele caer con la misma velocidad
que nuestro sujeto y la bomba. Ademas, los sucesos que ocurren durante la cada
parecen ocurrir en un verdadero marco de referencia inercial. De hecho, si el
infeliz Coyote intenta alejar la bomba de su fragil cuerpecillo, veremos que esta
se desplaza de forma rectilnea y a velocidad constante en la direccion en que
Coyote la empuje. Es importante remarcar que este pobre individuo esta con-
denado a repetir su ingrata experiencia con toda clase de objetos obteniendo el
mismo resultado en todos los casos: independientemente de la composicion, ma-
sa y cualquier otra caracterstica distintiva de sus artefactos, todos se comportan
como si estuvieran en un marco de referencia inercial local. As, la proxima vez
que esta desgraciada criatura caiga, quiza en el interior de una caja, bien podra
pensar que se encuentra en una cabina de la estacion espacial internacional, y
no dirigiendose al fondo de un precipicio. No hay experimento que su ingeniosa
mente pueda ejecutar en el interior de su caja que le desenga ne.
Con el establecimiento de los LIFs, queda de una vez por todas desechada la
necesidad Newtoniana de postular un espacio absoluto para denir a los marcos
de referencia inerciales. Sin embargo, al mismo tiempo, la principal motivacion
de Einstein: el Principio de Mach, que postula que todos los marcos de referen-
cia inerciales posibles quedan determinados por la distribucion de masa en el
universo, no es precisamente compatible al principio de Equivalencia.
El principio de equivalencia tiene en realidad varias limitaciones. Es nece-
sario restringir la clase de experimentos que pueden llevarse a cabo en los LIFs
a aquellos que quedan totalmente aislados de cuerpos o campos externos.
6.1.1. Corrimiento Gravitacional de la Frecuencia y De-
exion local de la Luz.
Una interesante e inmediata prediccion del Principio de Equivalencia de Eins-
tein es el corrimiento de la frecuencia de la luz ante la presencia de gravedad.
Los ingredientes de este resultado son: la formula de Planck-Einstein E = h
para la energa cinetica de un foton con frecuencia , La formula de Einstein
E = m
0I
c
2
, que relaciona energa con masa inercial, y el principio de equiva-
lencia debil m
0I
= m
0G
. El trabajo efectuado por un campo gravitacional con
CAP
ITULO 6. INTRODUCCI
ON A LA RELATIVIDAD GENERAL 85
potencial sobre una partcula de masa gravitacional m
0G
es
dE = hd = m
0G
d = m
0I
d
=
E
c
2
d =
h
c
2
d. (6.4)
Por lo tanto
d
=
d
c
2
. (6.5)
Integrando esta ecuacion sobre una trayectoria nita desde el punto A hasta el
punto B, tenemos
A
=
e
B
/c
2
e
A
/c
2
. (6.6)
El argumento de Einstein nos permite obtener el mismo resultado sin necesi-
dad de invocar la existencia de fotones masivos a partir de un analisis puramente
cinematico: Una cabina no rotatoria cae en el campo gravitacional de la tierra
(aceleracion g = 9,8m/s
2
) desde el reposo al tiempo t
0
= 0, justo en el instante
en que un rayo de luz con frecuencia entra por la parte superior haciendo
un angulo con respecto a la vertical. Si la altura de la cabina es l, el ra-
yo de luz llega al suelo al tiempo t = 1/c cos . Un observador O, situado en
reposo en el suelo de la cabina, mide la frecuencia ; al mismo tiempo, otro
observador O
=
v cos
c
=
gl
c
2
=
d
c
2
. (6.7)
Por otro lado, una segunda prediccion inmediata del principio de equivalencia
es la deexion local de la luz. Para derivar la formula de la deexion de la luz,
es suciente traducir la forma de un rayo de luz en una cabina en cada libre
S a un marco de referencia jo en la tierra S
, y
a S
= x, y
= y
1
2
gt
2
. (6.8)
Estas formulas no son exactas debido a que el espacio-tiempo puede estar cur-
vado. supongamos que en S, de acuerdo al principio de equivalencia, el rayo de
luz surcara una trayectoria recta con velocidad c, en general haciendo un angulo
con respecto a la horizontal:
x = ct cos , y = ct sin. (6.9)
CAP
ITULO 6. INTRODUCCI
ON A LA RELATIVIDAD GENERAL 86
As, en el marco de referencia jo en tierra, la trayectoria del rayo de luz viene
dada por
x
= ct cos , y
= x
tan
1
2
gc
2
x
2
sec
2
. (6.10)
Y consecuentemente, su curvatura en el origen es
=
d
2
y
/dx
2
_
1 + (dy
/dx
)
2
_
3/2
=
g
c
2
cos . (6.11)
Por supuesto este resultado es solo la deexion local de la luz. El mismo resul-
tado se obtiene en la teora newtoniana. La deexion Global es justo el doble
de este resultado.
6.2. Tensores y Relatividad General
Para trabajar efectivamente en Mecanica Newtoniana, el lenguaje de Vecto-
res es una herramienta tan poderosa que parece necesaria. Este lenguaje ayuda
a la comprension y solucion de estructuras que de otra forma resultaran suma-
mente complicadas. En relatividad General sucede lo mismo con el lenguaje
Tensorial. En este caso, los tensores proporcionan un panorama claro de las
simetras y estructuras basicas del espacio-tiempo y ayudan de forma invaluable
en la resolucion de problemas. Este lenguaje esta tan arraigado a la Relativi-
dad General, que los fundamentos de la teora las ecuaciones de campo de
Einstein requieren Tensores para su enunciacion.
Dado que el Espacio-Tiempo es intrnsecamente curvo en Relatividad Gene-
ral, es natural identicarlo con una variedad pseudo-Riemanniana, sobre la cual
se erigen sistemas de coordenadas Gaussianas arbitrarias x
= x
(x
), que de
la misma manera que en relatividad especial, forman un grupo.
De nueva cuenta utilizaremos ndices griegos corren desde 0 hasta 3 (, =
0, , 3), mientras que los ndices del alfabeto latino corren desde 1 hasta 3
(i, j = 1, , 3). Siempre que sea necesario describir tensores en dimensiones
arbitrarias, se utilizaran tambien ndices del alfabeto griego, pues la generaliza-
cion es inmediata.
La estructura intrnseca del Espacio-Tiempo como variedad pseudo-Riemanniana
queda codicada en el Tensor metrico g
dx
dx
, (6.12)
CAP
ITULO 6. INTRODUCCI
ON A LA RELATIVIDAD GENERAL 87
de tal manera que las deniciones de producto escalar, cuadrado y magnitud de
vectores se escriben como
A B = g
, A
2
= g
, [A[ =
A
2
1/2
.
(6.13)
Estos invariantes pueden evaluarse en cualquier sistema coordenado, y en parti-
cular, en los marcos de referencia inerciales locales se reducen a las expresiones
habituales de la Relatividad Especial. Podemos denir el angulo entre dos vec-
tores no nulos A, B como
cos =
A B
[A[ [B[
. (6.14)
Dos vectores se dicen ortogonales si cos = 0.
Es importante mencionar que no todos los cuadritensores (Tensores de Lo-
rentz) preservan su estatus en Relatividad General, debido a la posibilidad de
efectuar transformaciones no lineales de coordenadas. As, es importante revi-
sar en detalle las posibles operaciones tensoriales de una variedad Riemanniana
arbitraria. Particularmente, es necesario redenir la diferenciacion.
6.3. Geodesicas en Espacios Curvos, Smbolos
de Christoel
Comencemos por buscar, de forma general, un metodo sistematico para en-
contrar las geodesicas en un espacio curvo. En esta seccion consideraremos una
variedad N-dimensional (pseudo-)Riemanniana V
N
, con metrica
ds
2
= g
dx
dx
, (, = 1, , N). (6.15)
Si x
= x
dx
du
dx
du
. (6.16)
As, el intervalo s entre dos puntos P
1
y P
2
en C esta dado por
s =
_
P2
P1
ds =
_
P2
P1
ds
du
du =
_
P2
P1
dx
du
dx
du
1
2
du. (6.17)
Denimos como Geodesica metrica temporaloide ente los puntos P
1
y P
2
a aque-
lla curva privilegiada en el intervalo dado que es estacionaria ante variaciones
peque nas que se anulan en los extremos, es decir, s = 0. La solucion viene dada
por las ecuaciones de Euler-Lagrange de la forma
L
x
d
du
_
L
x
_
= 0, (6.18)
CAP
ITULO 6. INTRODUCCI
ON A LA RELATIVIDAD GENERAL 88
con
L = [g
[
1
2
, (6.19)
donde se entiende que x
= dx
/du.
En principio estas ecuaciones resuelven el problema, sin embargo, en la
practica es necesario hacer sutiles modicaciones. En primer lugar, es mas
facil trabajar con L
2
, para evitar las races cuadradas; ademas, el parametro u
es hasta ahora libre, y cabe la posibilidad de que la geodesica sea nula. Abor-
demos primero el caso de una metrica no-nula: L ,= 0. Multipliquemos las
ecuaciones de Euler-Lagrange (6.18) por 2L, as obtenemos
2L
_
L
x
d
du
_
L
x
__
= 0, (6.20)
que puede escribirse como
d
du
_
L
2
x
L
2
x
= 2
L
x
dL
du
. (6.21)
Substituyendo L
2
en el lado izquierdo,
d
du
_
L
2
x
L
2
x
=
d
du
_
x
_
g
_
_
x
i
_
g
_
(6.22)
= 2
d
du
[g
(g
) x
= 2g
+ 2
(g
) x
(g
) x
= 2g
+ 2
_
1
2
(
)
_
x
,
donde hemos usado toda clase de artima nas, como intercambio de ndices mudos
y consideraciones de simetra para g
dL
du
= 2
x
1
2
d
du
_
ds
du
_
(6.23)
= 2
1
2
[g
]
d
du
_
ds
du
_
= 2g
_
d
2
s/du
2
ds/du
_
.
As, reuniendo ambas ecuaciones, dividiendo entre 2, usando g
e
intercambiando ndices mudos, obtenemos
x
+g
_
1
2
(
)
_
x
= x
s
s
. (6.24)
CAP
ITULO 6. INTRODUCCI
ON A LA RELATIVIDAD GENERAL 89
Si denimos las cantidades
=
1
2
[g
(g
+g
)] , (6.25)
denominadas Smbolos de Christoel del segundo tipo, las ecuaciones de las
geodesicas se escriben
x
= x
s
s
. (6.26)
Finalmente, tomando el parametro de longitud de arco u = s, el lado derecho
se anula y por lo tanto las geodesicas quedan
d
2
x
ds
2
+
dx
ds
dx
ds
= 0. (6.27)
El parametro s, que pertenece a la clase privilegiada de parametros que simpli-
can de esta manera la ecuacion de las geodesicas, se denomina parametro afn.
Un parametro afn queda denido hasta una transformacion afn
s as +b, (6.28)
donde a, b son constantes (pues las geodesicas son invariantes de forma solo si
la transformacion s
= s
(s) satisface d
2
s
/ds
2
= 0).
Los smbolos de Christoel juegan un papel importante tanto en Geometra
Diferencial como en Relatividad General. Una propiedad interesante de (6.25)
es su simetra en los ndices covariantes
.
En terminos de los smbolos de Christoel, las derivadas del tensor metrico se
escriben
g
= g
+g
. (6.29)
Esta ecuacion muestra que una condicion suciente para que las derivadas del
tensor metrico se anulen, en un marco de referencia dado, es que
= 0 en el
mismo marco.
6.4. Geodesicas en el Espacio-Tiempo Curvo
Analicemos lo anterior desde el punto de vista del Principio de Equivalencia.
De acuerdo a este, si una partcula cae libremente bajo la inuencia de un campo
puramente gravitacional, existe un sistema de coordenadas
d
2
= 0, (6.30)
CAP
ITULO 6. INTRODUCCI
ON A LA RELATIVIDAD GENERAL 90
donde d es el tiempo propio de la partcula
c
2
d
2
=
, (6.31)
y
,
la ecuacion de movimiento de la partcula queda
d
d
_
dx
d
_
= 0, (6.33)
o equivalentemente
d
2
x
d
2
+
2
dx
d
dx
d
= 0. (6.34)
Multiplicando esta ecuacion por x
, y usando la regla
, (6.35)
las ecuaciones de movimiento adquieren la forma
d
2
x
d
2
+
dx
d
dx
d
= 0, (6.36)
donde las funciones
=
2
. (6.37)
En el nuevo sistema coordenado, el tiempo propio se escribe
c
2
d
2
=
dx
dx
, (6.38)
o
c
2
d
2
= g
dx
dx
, (6.39a)
donde la regla de transformacion de g
. (6.40)
CAP
ITULO 6. INTRODUCCI
ON A LA RELATIVIDAD GENERAL 91
La regla de transformacion de su inversa g
, es inmediata
g
. (6.41)
Por otro lado, diferenciando al tensor metrico
g
, (6.42)
=
.
Al comparar este resultado con (6.29), resulta claro que los smbolos de Ch-
ristoel son equivalentes a la Conexion Afn, y por lo tanto podemos hacer la
identicacion
.
Una importante consecuencia de la relacion entre la conexion afn
con el
tensor metrico es que la ecuacion de movimiento de una partcula en cada libre
automaticamente mantiene la forma del intervalo de tiempo propio d. Usando
d
2
x
d
2
+
dx
d
dx
d
= 0, (6.43)
=
2
(6.44)
y (6.29), es posible mostrar que
d
d
_
g
dx
d
dx
d
_
=
g
dx
d
dx
d
dx
d
(6.45)
+g
d
2
x
d
2
dx
d
+g
dx
d
d
2
x
d
2
,
=
g
dx
d
dx
d
dx
d
g
dx
d
dx
d
dx
d
g
dx
dx
d
dx
d
,
=
_
g
_
dx
d
dx
d
dx
d
= 0.
Este resultado implica que
g
dx
d
dx
d
= C, (6.46)
CAP
ITULO 6. INTRODUCCI
ON A LA RELATIVIDAD GENERAL 92
con C como una constante de movimiento a lo largo de la geodesica, que sin
perdida de generalidad puede hacerse C = c
2
para partculas masivas, asegu-
rando as la validez del principio variacional de la seccion anterior en el marco
del Principio de Equivalencia.
6.5. Lmite Newtoniano
Una importante caracterstica en la Relatividad General es que, como toda
buena teora, es consistente con toda teora clasica aceptable anterior a ella. Por
un lado, es compatible con la Relatividad especial en ausencia de gravedad, y
coincide con la teora de Newton de la Gravedad en el lmite de campos debiles
y velocidades bajas. Este hecho da lugar al principio de correspondencia.
Para hacer contacto con la teora de Newton, consideremos una partcula que
se mueve lentamente en un campo gravitacional estacionario (se entiende por
campo estacionario aquel que no vara en el tiempo, y por tanto las derivadas
temporales de la metrica son despreciables). Si la partcula es lo sucientemente
lenta, tal que
dx
d
c
dt
d
, (6.47)
entonces, sus ecuaciones de movimiento se reducen a
d
2
x
d
2
+
00
_
dx
0
d
_
2
= 0. (6.48)
As,
00
=
1
2
g
g
00
,
. (6.49)
Como hemos supuesto que el campo es debil, el tensor metrico es de la forma
g
+h
, (6.50)
donde [h
00
=
1
2
h
00
,
. (6.51)
Usando esta conexion afn, las ecuaciones de movimiento quedan
d
2
x
d
2
1
2
h
00
,
_
dx
0
d
_
2
= 0, (6.52)
o equivalentemente
d
2
x
d
2
=
1
2
c
2
_
dt
d
_
2
h
00
d
2
t
d
2
= 0. (6.53)
CAP
ITULO 6. INTRODUCCI
ON A LA RELATIVIDAD GENERAL 93
La ultima de estas ecuaciones implica que dt/d es una constante adimensional,
por lo tanto
d
2
x
dt
2
=
_
c
2
2
h
00
_
. (6.54)
La ecuacion correspondiente en mecanica Newtoniana es
d
2
x
dt
2
= . (6.55)
donde es el potencial gravitacional. Comparando las relaciones anteriores,
concluimos que
h
00
= 2c
2
+a, (6.56)
donde a es una constante. Si suponemos que h
00
tiende a cero a distancias que
se acercan al innito (es decir, el espacio-tiempo es asintoticamente plano), y
denimos de tal manera que se anule tambien en innito, como es el caso del
potencial de una masa puntual M
GM
r
,
la constante de integracion es a = 0. Entonces, el tensor metrico toma la forma
(g
) = diag
_
1 +
2
c
2
, 1, 1, 1
_
. (6.57)
6.6. Dilatacion Temporal
En esta seccion analizaremos mas formalmente el comportamiento de un re-
loj que se mueve con velocidad arbitraria en un campo gravitacional tambien
arbitrario, no necesariamente en cada libre. El principio de equivalencia es-
tipula que su funcionamiento no es afectado por el campo gravitacional si se
le observa desde un marco de referencia inercial local con coordenadas
. El
intervalo espacio-temporal entre dos pulsos del reloj en este sistema viene dado
por
t = (
)
1
2
, (6.58)
de tal manera que t es el periodo entre pulsos consecutivos cuando el reloj se
encuentra en reposo y en ausencia de gravedad. As, en un marco de referencia
arbitrario,
t = (g
dx
dx
)
1
2
. (6.59)
Si el reloj se mueve con velocidad dx
dx
dt
dx
dt
_
1
2
. (6.60)
CAP
ITULO 6. INTRODUCCI
ON A LA RELATIVIDAD GENERAL 94
En particular, si el reloj eta en reposo,
dt
t
= (g
00
)
1
2
. (6.61)
Ente dos puntos jos del espacio P
1
y P
2
,
dt
1
dt
2
=
g
00
(x
2
)
g
00
(x
1
)
. (6.62)
As, si en P
1
se observa luz con frecuencia
1
, emitida desde P
2
con frecuencia
2
, entonces
1
=
g
00
(x
2
)
g
00
(x
1
)
. (6.63)
En el lmite de campo debil
g
00
(x) = 1 +
2(x)
c
2
, (6.64)
con (x) c
2
se tiene
1
=
2
1
=
1
c
2
[(x
2
) (x
1
)] =
c
2
. (6.65)
6.7. La Metrica
La relacion entre el tensor de Minkowski
y el tensor metrico g
de la
relatividad General puede expresarse en notacion matricial
G = D
T
D, (6.66)
donde G y son las matrices 4 4 con entradas g
, respectivamente, y
D tiene elementos
D
,
de tal modo que det D ,= 0, asegurando as la existencia de la transformacion
inversa. Una transformacion de la forma (6.66) es una congruencia. Las trans-
formaciones de este tipo preservan la signatura de la metrica, es decir, preservan
el signo de los eigenvalores de la metrica en 3+1 dimensiones.
Captulo 7
Analisis tensorial
El algebra de los tensores denidos sobre variedades pseudo-Riemannianas
ha sido discutido ya en el contexto de la teora de la relatividad Especial (vease
la seccion 4.1). En relatividad General, todos los resultados obtenidos al res-
pecto siguen vigentes. Sin embargo, el caso del Calculo Tensorial es distinto,
pues la presencia de transformaciones generales de coordenadas agrega nuevas
caractersticas a la teora.
7.1. Densidades tensoriales
A partir de la regla de transformacion del tensor metrico podemos deducir
la transformacion de su determinante. Tomando el determinante g = det (g
)
en ambos lados de
g
=
x
, (7.1)
obtenemos
g
x
x
2
g, (7.2)
donde [x/x
x. Esta
regla de transformacion, que no coincide del todo con la de una cantidad escalar,
dene los objetos matematicos conocidos como densidades escalares. Generali-
zando, un objeto que se comporta como tensor hasta factores del determinante
Jacobiano se denomina densidad tensorial. El n umero de factores [x
/x[ se
denomina peso de la densidad. Por ejemplo, dado que
x
x
1
, (7.3)
95
CAP
ITULO 7. AN
ALISIS TENSORIAL 96
g se transforma como una densidad escalar de peso 2. De hecho, todas las
densidades tensoriales pueden expresarse en terminos de g, pues
_
g
g
_1
2
=
. (7.4)
As, si A
= A
W
x
, (7.5)
por lo tanto,
A
= A
_
g
g
_W
2
x
. (7.6)
Esto muestra que la cantidad A
(g)
W
2
se transforma efectivamente como un
tensor, pues
g
W
2
A
= g
W
2
A
. (7.7)
La importancia de las densidades tensoriales proviene de la transformacion
del elemento de volumen d
4
x
d
N
x
d
N
x (7.8)
=
_
g
g
_1
2
d
N
x,
que se comporta como una densidad escalar de peso 1. De esta manera, la
cantidad
_
g
d
4
x
gd
4
x, (7.9)
se transforma como un verdadero escalar invariante.
Otra densidad tensorial importante es el smbolo de Levi-Civita
, de-
nido como
_
+1
para permutaciones pares de
= 0, = 1, = 2 y = 3,
1 para permutaciones impares,
0
para cualquier caso con
ndices repetidos.
(7.10)
Su regla de transformacion es
. (7.11)
Las operaciones del algebra Tensorial pueden facilmente ser extendidas al
campo de las densidades tensoriales:
CAP
ITULO 7. AN
ALISIS TENSORIAL 97
La combinacion lineal de dos densidades tensoriales del mismo peso W es
una nueva densidad tensorial de peso W.
El producto directo de dos densidades tensoriales de pesos respectivos W
1
y W
2
genera una densidad tensorial de peso W
1
+W
2
.
La contraccion de un par de ndices de una densidad tensorial de peso W
produce una densidad tensorial de peso W. En particular, la elevacion y
abatimiento de ndices no altera el peso de una densidad tensorial.
7.2. Transformacion de la Conexion Afn
Uno de los objetos mas importantes en Relatividad General es la conexion
afn
=
2
. (7.12)
Si llevamos a cabo la transformacion general de coordenadas x
x, entonces
=
2
(7.13)
=
x
_
x
=
_
2
2
x
_
x
+
x
2
x
2
x
.
Obviamente, esta no es precisamente la transformacion de un tensor, el segun-
do termino no es compatible ni con la transformacion de un tensor ni con la
denicion de una densidad tensorial. La conexion afn es un No-Tensor.
7.3. Principio de Covariancia General
Una ecuacion es valida en Relatividad General si cumple con los siguientes
requerimientos
1. La ecuacion debe ser valida en ausencia de gravedad, es decir, debe con-
cordar con las leyes de la relatividad especial en el lmite g
, y
0.
CAP
ITULO 7. AN
ALISIS TENSORIAL 98
2. La ecuacion debe preservar su forma ante transformaciones generales de
coordenadas.
Es importante mencionar que por s solo el principio de covariancia general
esta vaco de contenido fsico; es solo una consecuencia del Principio de Equiva-
lencia, y una prueba de consistencia con la relatividad especial. Este principio
explota la presencia de g
y sus primeras
derivadas pueden aparecer explcitamente en nuestras ecuaciones generalmente
covariantes.
Un ejemplo sencillo y fundamental de la aplicacion de este principio es la
covariancia de las ecuaciones de movimiento
d
2
x
d
2
+
dx
d
dx
d
= 0, (7.14)
con
c
2
d
2
= g
dx
dx
, (7.15)
En primer lugar, notemos que, en ausencia de gravedad, estas relaciones se
reducen a
d
2
x
d
2
= 0 (7.16)
y
c
2
d
2
=
dx
dx
. (7.17)
que son justamente las ecuaciones correctas en relatividad especial para una
partcula libre. En segundo lugar, ante una transformacion general de coorde-
nadas x
x,
d
2
x
d
2
=
d
d
_
x
dx
d
_
=
x
d
2
x
d
2
+
2
x
dx
d
dx
d
(7.18)
y de acuerdo con las reglas de transformacion para
dx
d
dx
d
=
dx
d
dx
d
(7.19)
2
x
dx
d
dx
d
=
dx
d
dx
d
2
x
dx
d
dx
d
.
CAP
ITULO 7. AN
ALISIS TENSORIAL 99
Sustituyendo en la ecuacion de movimiento,
d
2
x
d
2
+
dx
d
dx
d
=
x
d
2
x
d
2
+
2
x
dx
d
dx
d
(7.20)
+
dx
d
dx
d
2
x
dx
d
dx
d
=
x
_
d
2
x
d
2
+
dx
d
dx
d
_
.
Por lo tanto, la cantidad
d
2
x
d
2
+
dx
d
dx
d
= 0 (7.21)
se transforma como tensor ante cambios arbitrarios de coordenadas, es decir, es
maniestamente covariante, y por lo tanto, es valida en campos gravitacionales
generales.
7.4. Derivacion Covariante
Ya hemos se nalado que la diferenciacion de un tensor no es una operacion
tensorial, es decir, no arroja como resultado otro tensor. Consideremos por
ejemplo un Vector contravariante V
=
x
. (7.22)
Diferenciando con respecto a x
, obtenemos
V
=
x
+
2
x
. (7.23)
El segundo termino del lado derecho destruye el comportamiento tensorial de
la derivada parcial. Aunque V
(7.24)
2
x
2
x
.
CAP
ITULO 7. AN
=
x
+
2
x
(7.25)
+
2
x
= [V
]
x
.
Por lo tanto, las cantidades
V
= V
, (7.26)
denominadas en conjunto Derivada Covariante, se transforman como un ver-
dadero tensor. Similarmente, considerando la regla de transformacion para un
vector covariante
V
=
x
, (7.27)
es facil probar que
V
=
x
+
2
x
. (7.28)
De nueva cuenta, el segundo termino del lado derecho es patologico, pero puede
removerse notando que
(7.29)
+
x
2
x
+
2
x
.
Sumando miembro a miembro, se tiene
V
=
x
+
2
x
(7.30)
2
x
= [V
]
x
.
Por lo tanto, la derivada covariante para un vector covariante es
V
= V
. (7.31)
Estas deniciones pueden extenderse a un tensor general. As, la derivada
covariante con respecto a x
de un tensor A
= A
(7.32)
+
+ +
.
CAP
ITULO 7. AN
= g
W/2
_
g
W/2
B
_
;
(7.33)
= B
+ +
+g
W/2
_
g
W/2
_
;
= B
+ +
+
W
2g
B
g
x
.
Las propiedades fundamentales de la derivada covariante son las siguientes:
La derivada covariante de una combinacion lineal de tensores (con coe-
cientes constantes) es la misma combinacion lineal de derivadas covarian-
tes. Por ejemplo, si , son constantes, y A
, C
son tensores,
entonces _
A
+C
_
;
= A
+C
. (7.34)
La derivada covariante de un producto directo de tensores obedece la regla
de Leibniz _
A
_
;
= A
+C
. (7.35)
La derivada covariante de un tensor contrado es la contraccion de la de-
rivada covariante, por ejemplo,
A
= A
(7.36)
+
v
+ +
v
= A
v
+ +
= A
v
+ .
Los ultimos terminos en el pen ultimo paso se cancelan mutuamente.
La derivada covariante del tensor metrico es
g
= g
. (7.37)
Pero de acuerdo con (6.29),
g
= 0, (7.38)
y similarmente
g
= 0. (7.39)
La importancia de la derivada covariante reside en el hecho de que se reduce
a la diferenciacion ordinaria en ausencia de gravedad, ademas de que preserva
la naturaleza tensorial de sus operandos.
CAP
ITULO 7. AN
=
S
x
. (7.40)
Otro caso especial es el rotacional covariante de un vector covariante
V
= V
(7.41)
= V
.
Para un vector contravariante, la divergencia es
V
= V
. (7.42)
Pero
=
1
2
[g
(g
+g
)] (7.43)
=
1
2
g
,
que, dada la regla para diferenciar un determinante a = det(a
),
a,
= aA
(7.44)
con A
, queda
=
1
2g
g
x
=
ln(
g)
x
, (7.45)
y por lo tanto
V
=
V
+
1
2g
g
x
=
1
_
gV
_
. (7.46)
Similarmente, la divergencia covariante de un tensor, por ejemplo T
, es
T
=
1
_
gT
_
+
. (7.47)
Si ademas, T
= T
, es decir, T
es antisimetrico
T
=
1
_
gT
_
. (7.48)
CAP
ITULO 7. AN
gV
= 0,
para un vector V
,
F
+F
+F
= F
+F
+F
. (7.49)
7.6. Derivada covariante a lo largo de una curva
Sea A
().
Su regla de transformacion es
A
() =
x
(). (7.50)
Diferenciando en ambos lados con respecto a , obtenemos
dA
()
d
=
x
dA
()
d
+
x
dx
d
A
(). (7.51)
Esta transformacion sugiere que la cantidad
DA
()
D
=
dA
()
d
+
dx
d
A
(), (7.52)
denominada derivada covariante a lo largo de la curva, se transforma efectiva-
mente como un vector contravariante
DA
()
D
=
x
DA
()
D
. (7.53)
Del mismo modo, para un vector covariante A
,
DA
()
D
=
dA
()
d
dx
d
A
(), (7.54)
y para un tensor general A
(),
DA
D
=
dA
dx
d
A
dx
d
A
(7.55)
+
dx
d
A
+ +
dx
d
A
CAP
ITULO 7. AN
D
=
DA
()
D
x
, (7.56)
o equivalentemente
DA
()
D
= A
()
dx
d
. (7.57)
En caso de que el vector A
(), se
tiene
DA
()
D
= 0. (7.58)
Como esto es valido en un sistema localmente inercial, entonces la siguiente
relacion es valida en cualquier sistema de coordenadas:
DA
()
D
=
dA
()
d
+
dx
d
A
() = 0. (7.59)
Un vector denido de esta forma a lo largo de la curva x
=
dx
ds
. (7.60)
la derivada absoluta de este vector se denomina Normal principal N
de C
N
=
DT
Ds
=
dT
ds
+
dx
ds
T
(7.61)
=
d
2
x
ds
2
+
dx
ds
dx
ds
.
la magnitud de N
es la curvatura escalar de C
=
_
N
. (7.62)
Es facil mostrar que efectivamente T
= 0:
T
=
1
2
DT
Ds
=
1
2
D
Ds
_
g
dx
ds
dx
ds
_
(7.63)
= 0.
De la denicion de N
= 0.
Captulo 8
Mecanica en Relatividad
General
8.1. Mecanica de partculas
En Relatividad Especial, una partcula libre con velocidad U
= d
/d y
spin S
, satisface
dU
d
= 0,
dS
d
= 0. (8.1)
En el sistema en reposo de la partcula, S
= 0 (8.2)
se cumple en todo marco de referencia inercial.
De acuerdo con el principio de covarianza general, en un sistema coordenado
x
,
U
=
x
=
dx
d
, S
=
x
, (8.3)
satisfacen las ecuaciones covariantes
DU
D
= 0,
DS
D
= 0. (8.4)
que se reducen a las ecuaciones originales en un marco de referencia localmente
inercial. Explcitamente
dU
d
+
= 0, (8.5)
dS
d
+
= 0.
con la restriccion adicional
U
= 0 (8.6)
105
CAP
ITULO 8. MEC
D
=
F
m
0
, (8.7)
donde m
0
es la masa en reposo (escalar) y F
es el vector contravariante de
Fuerza. Esta ecuacion puede escribirse como
d
2
x
d
2
=
F
m
0
dx
d
dx
d
. (8.8)
Donde claramente el termino
dx
d
dx
d
juega el rol de una fuerza gravitacional,
mientras que F
=
x
. (8.9)
8.2. Electrodinamica
En Relatividad Especial, las ecuaciones de Maxwell de la Electrodinamica
(en el marco coordenado
) se escriben
=
4
c
J
, (8.10)
y
= 0. (8.11)
Los tensores generalmente covariantes se denen
F
= F
(8.12)
J
= J
.
Con estas deniciones, las ecuaciones de Maxwell generalmente covariantes se
obtienen bajo la sencilla prescripcion de reemplazar las derivadas ordinarias por
derivadas covariantes:
F
=
4
c
J
, (8.13)
F
+F
+F
= 0. (8.14)
CAP
ITULO 8. MEC
se puede escribir
_
gF
_
=
gJ
, (8.15)
y las ecuaciones homogeneas de Maxwell adquieren la sencilla forma
F
+F
+F
= F
+F
+F
= 0. (8.16)
De la misma manera, la fuerza de Lorentz, en su version generalmente covariante
queda
F
=
q
c
F
dx
d
.
8.3. Tensor de Energa-Momento
Si en relatividad especial, G
= G
. (8.17)
La gereralizacion de esta ecuacion, en presencia de campos gravitacionales es
T
= G
, (8.18)
o bien
1
_
gT
_
= G
. (8.19)
En el caso electrodinamico, el tensor de energa momento de la relatividad
especial
T
=
1
4
_
+
1
4
_
, (8.20)
puede ser generalizado a la relatividad general sin mayor esfuerzo
T
=
1
4
_
g
+
1
4
g
_
. (8.21)
Similarmente, en la Hidrodinamica del espacio de Minkowski, para un uido
perfecto, el tensor de energa-momento toma la forma
T
=
_
0
+p/c
2
_
U
, (8.22)
donde
0
y p son cantidades escalares y U
=
_
0
+p/c
2
_
U
pg
. (8.23)
CAP
ITULO 8. MEC
= 0 (8.24)
=
1
_
g
_
0
+p/c
2
_
U
p
dx
0
+p/c
2
_
U
,
naturalmente con la condici on
g
= c
2
. (8.25)
Consideremos por ejemplo un uido en equilibrio hidrostatico. En este caso,
la unica componente de U
que no se anula es
U
0
=
c
g
00
. (8.26)
Todas las derivadas temporales de g
, p y
0
son iguales a cero, entonces, en
particular
_
g
_
0
+p/c
2
_
U
=
x
0
_
g
_
0
+p/c
2
_
U
0
U
0
= 0. (8.27)
As, se tiene
T
00
_
0
+p/c
2
_
c
2
g
00
p
dx
=
_
p +
0
c
2
_
2g
00
g
g
00
x
p
dx
(8.28)
=
_
_
p +
0
c
2
_
ln
_
[g
00
[
x
p
dx
_
g
= 0,
o equivalentemente
p =
_
p +
0
c
2
_
ln
_
[g
00
[. (8.29)
Si ademas, p = p(
0
), la solucion formal es
_
dp
p +
0
c
2
= ln
_
[g
00
[ +C
1
. (8.30)
CAP
ITULO 8. MEC
A
2
4e
2(x)
D
2e
2(x)
. (8.35)
As, si el tiempo transcurrido entre se nales repetidas es el mismo, entonces, A
y D son independientes del tiempo. Similarmente, los coecientes B, E, C y F
tanbien lo son.
CAP
ITULO 8. MEC
_
dx
1
_
2
+E
_
dx
2
_
2
+G
dx
1
dx
2
,
resulta claro que tampoco G, H e I dependen del tiempo. De esta manera,
podemos concluir que en un espacio-tiempo estacionario, el tensor metrico debe
ser independiente del tiempo.
Por otro lado, si el espacio-tiempo es ademas estatico, ambas soluciones en
(8.35) deben ser iguales. Esto implica que A = 0, y por simetra, tambien B = 0
y C = 0.
8.4.2. Metrica Canonica
Para encontrar el tensor 3-metrico k
ij
de la malla a partir de la formula
cuadratica ds
2
, debemos escribir la as llamada forma canonica de la metrica
ds
2
= e
2(x)/c
2
_
cdt
1
c
2
w
i
dx
i
_
2
k
ij
dx
i
dx
j
, (8.38)
donde
w
1
=
c
2
Ae
2(x)/c
2
, w
2
=
c
2
Be
2(x)/c
2
, w
3
=
c
2
Ce
2(x)/c
2
.
(8.39)
En la aproximacion Newtoniana
ds
2
=
_
1 +
2(x)
c
2
__
1
1
c
3
w
i
dx
i
dt
_
c
2
dt
2
dr
2
(8.40)
_
1 +
2(x)
c
2
1
c
3
w u
_
c
2
dt
2
dr
2
,
la accion de una partcula masiva, que se mueve entre los puntos P
1
y P
2
(sujeta
a un campo gravitacional), es
m
0
_
P2
P1
ds m
0
c
_
t
2
t
1
1
c
_
P2
P1
_
u
2
2
(x)
w u
c
_
dt
_
. (8.41)
CAP
ITULO 8. MEC
= a y
2c
e
c
2
_
ik
jl
(w
i
,
j
w
j
,
i
) (w
k
,
l
w
l
,
k
). (8.47)
8.4.3. Metrica Rotante de Minkowski
Un ejemplo interesante sobre campos estacionarios, surge al escribir la metri-
ca de Minkowski en coordenadas polares cilndricas r,
, z (tambien usaremos
c = 1 en este apartado)
ds
2
= dt
2
dr
2
r
2
d
dz
2
. (8.48)
Introduciendo una nueva coordenada angular , medida desde el semiplano que
rota al rededor del eje z con velocidad angular constante
=
t, (8.49)
se tiene
d
= d +dt, (8.50)
CAP
ITULO 8. MEC
2
dt
2
2r
2
ddt dz
2
(8.51)
=
_
1 r
2
2
_
_
dt
2
2r
2
1 r
2
2
ddt +
r
4
2
(1 r
2
2
)
2
d
2
_
dr
2
_
r
2
+
r
4
2
1 r
2
2
_
d
2
dz
2
=
_
1 r
2
2
_
_
dt
r
2
1 r
2
2
d
_
2
dr
2
r
2
1 r
2
2
d
2
dz
2
.
En esta expresion, es claro que ds
2
= 0 en los puntos con r = 1/, es decir, estos
puntos se mueven a la velocidad de la luz. De la Metrica, es facil identicar al
tensor 3-metrico
k
ij
= diag
_
1,
r
2
1 r
2
2
, 1
_
, (8.52)
y al potencial escalar relativista
=
1
2
ln
_
1 r
2
2
_
, (8.53)
que determina la forma de la aceleracion centrpeta
[a[ =
r
2
1 r
2
2
. (8.54)
Entonces, w viene dado por
w =
_
0, r
2
_
1 r
2
2
_
1
, 0
_
, (8.55)
y por lo tanto
[[ =
(1 r
2
2
)
. (8.56)
8.4.4. Transformaciones de Norma
Las transformaciones que dejan invariante a la forma canonica de la metrica
son
t
= k
_
t +f(x
i
)
, (8.57)
x
i
= x
i
(x
i
),
donde k es un factor constante de escala. Nos referiremos a estas transforma-
ciones como transformaciones de norma.
Captulo 9
Curvatura
9.1. Tensor de Curvatura de Riemann
Hasta ahora solo hemos explorado tensores que pueden construirse a par-
tir de g
+
x
2
x
. (9.1)
As,
2
x
. (9.2)
Derivando con respecto a /x
3
x
_
(9.3)
_
+
.
113
CAP
3
x
=
_
_
x
(9.4)
+
_
=
_
_
x
+
x
_
,
donde hemos hecho uso de cambio de ndices mudos. As, por conmutacion de
la derivada parcial,
0 =
3
x
3
x
(9.5)
=
_
_
x
_
x
+
x
_
+
_
=
_
_
x
_
.
CAP
=
x
, (9.6)
que es una transformacion tensorial, donde
R
. (9.7)
Este tensor se conoce como Tensor de curvatura de Riemann-Christoel. Es
importante mencionar que muchos autores preeren usar una convencion de
signos alternativa
= R
. (9.8)
Otra forma de obtener este tensor es considerando el conmutador de las
derivadas covariantes de un tensor arbitrario. Por ejemplo, para un vector
covariante V
:
V
= (V
) ;
(V
) ;
(9.9)
= (V
) ,
v
V
(V
) ,
v
V
=
_
V
_
,
_
V
_
V
_
,
_
V
_
=
_
,
v
V
=
_
,
v
+
= R
.
De forma semejante, el conmutador de las derivada covariantes de un vector
contravariante V
es
V
= V
, (9.10)
y para un tensor de rango arbitrario A
= A
(9.11)
+A
+ +A
.
9.1.1. Propiedades Algebraicas del Tensor de Riemann
Las propiedades del tensor de Riemann son mas claras en su version total-
mente covariante
R
= g
. (9.12)
CAP
=
1
2
g
[g
(g
,
v
+g
)] (9.13)
+
1
2
g
[g
(g
+g
)] ,
g
.
usando la relacion
g
= g
(9.14)
= g
] ,
el tensor de Riemann queda
R
=
1
2
(g
+g
) (9.15)
+g
.
A partir de esta expresion, las siguientes propiedades del tensor de curvatura
son evidentes
Simetra
R
= R
(9.16)
Antisimetra
R
= R
= R
= R
(9.17)
Relacion Cclica
R
+R
+R
= 0. (9.18)
En una variedad (pseudo-)Riemanniana de N dimensiones, (R
) puede
verse como una matriz M M con entradas R
()()
. Debido a la Simetra de
pares de ndices R
()()
= R
()()
, el n umero de elementos independientes
R
es
1
2
M(M + 1). Sin embargo, considerando ademas las simetras de
los pares de ndices () = (), y () = (), el n umero de elementos
independientes se obtiene haciendo M =
1
2
N(N1). As, el n umero de entradas
independientes de (R
) es
1
2
_
1
2
N(N 1)
_ _
1
2
N(N 1) + 1
_
=
1
8
N (N 1)
_
N
2
N + 2
_
. (9.19)
Incluyendo las relaciones cclicas, este n umero decrece
1
4!
N(N1)(N2)(N3)
unidades. En total
C
N
=
1
12
N
2
_
N
2
1
_
. (9.20)
CAP
= R
= g
, (9.21)
se denomina Tensor de Ricci, y es esencialmente el unico tensor de segundo
rango que puede construirse a partir de R
= R
. (9.22)
Finalmente, el escalar de curvatura
R = g
, (9.23)
es tambien el unico escalar que puede formarse con el tensor de Riemann.
9.2. Desviacion Geodesica
Consideremos ahora un caso sencillo de efectos de la gravedad en siste-
mas fsicos, el movimiento de partculas en un campo gravitacional no uni-
forme. Supongamos que dos partculas de prueba se mueven en el espacio-
tiempo, en geodesicas temporaloides parametrizadas por las trayectorias x
()
y x
() +x
d
2
+
(x)
dx
d
dx
d
= 0,
d
2
d
2
[x
+x
] +
(x +x)
d
d
[x
+x
]
d
d
[x
+x
] = 0.
(9.24)
Si x
() es innitesimal, entonces
d
2
d
2
[x
+x
] = x
(x
),
(x +x) =
(x) +x
(x),
d
d
[x
+x
] = x
(x
).
(9.25)
As, la diferencia entre ambas ecuaciones es
(x
) +
(x)
_
x
_
x
_
+ x
(x
)
_
+x
(x) x
= 0. (9.26)
Como
(x
) + 2
(x) x
_
x
_
+x
(x) x
= 0. (9.27)
CAP
(), a lo largo de
la curva x
(), es
D
2
A
()
D
2
=
D
D
_
dA
()
d
+
dx
d
A
()
_
(9.28)
=
d
d
_
dA
()
d
+
dx
d
A
()
_
+
dx
d
_
dA
()
d
+
dx
d
A
()
_
=
d
2
A
d
2
+
dx
d
dA
d
+
dx
d
dx
d
A
d
2
x
d
2
A
dx
d
dA
d
+
dx
d
dx
d
A
=
d
2
A
d
2
+ 2
dx
d
dA
d
+
dx
d
dx
d
A
d
2
x
d
2
A
dx
d
dx
d
A
.
En el caso particular de una geodesica
d
2
x
d
2
+
dx
d
dx
d
= 0, (9.29)
D
2
A
()/D
2
queda
D
2
A
()
D
2
=
d
2
A
d
2
+ 2
dx
d
dA
d
+
dx
d
dx
d
A
(9.30)
dx
d
dx
d
A
dx
d
dx
d
A
=
_
dx
d
dx
d
A
+
d
2
A
d
2
+ 2
dx
d
dA
d
+
dx
d
dx
d
A
=
_
R
dx
d
dx
d
A
+
d
2
A
d
2
+ 2
dx
d
dA
d
+
dx
d
dx
d
A
= R
dx
d
dx
d
A
dx
d
dx
d
A
+
d
2
A
d
2
+ 2
dx
d
dA
d
.
CAP
por x
, y considerando (9.27),
D
2
x
D
2
= R
dx
d
dx
d
x
dx
d
dx
d
x
(9.31)
+
d
2
x
d
2
+ 2
dx
d
dx
d
= R
dx
d
dx
d
x
dx
d
dx
d
x
+
d
2
x
d
2
+ 2
dx
d
dx
d
2
dx
d
dx
dx
d
dx
d
x
= R
dx
d
dx
d
x
.
Aunque una partcula parece estar en reposo en un sistema coordenado que
se encuentra en cada libre junto con esta, un par de partculas en cada libre
exhibiran un movimiento relativo que puede revelar la presencia de un campo
gravitacional a un observador que caiga con ellas. Esta no es una violacion al
principio de equivalencia debido a que el termino de la derecha se vuelve despre-
ciable cuando la separacion entre partculas es mucho menor a las dimensiones
caractersticas del campo.
Una condicion necesaria y suciente para que el espacio-tiempo sea plano es
que
R
= 0, (9.32)
pues en tal caso
D
2
x
D
2
= 0. (9.33)
9.3. Identidades de Bianchi
En un sistema coordenado localmente inercial, donde
= 0, pero
,=
0, la derivada covariante del tensor de Riemann puede escribirse
R
=
1
2
(g
+g
) . (9.34)
Permutando cclicamente los ndices , y , obtenemos las identidades de Bian-
chi
R
+R
+R
= 0. (9.35)
CAP
+R
+R
(9.36)
= R
+R
.
Contrayendo de nuevo, pero ahora sobre y , queda
0 = R
+R
(9.37)
= R;
= R;
2R
,
o bien
_
R
1
2
R
_
;
= 0. (9.38)
Una expresion equivalente de esta relacion es
_
R
1
2
g
R
_
;
= 0. (9.39)
Captulo 10
Ecuaciones de Campo de
Einstein
10.1. Derivacion de las Ecuaciones de Campo
Las ecuaciones de campo de la gravedad pueden construirse a partir del
principio de invarianza general, el principio de equivalencia y la aproximacion
del campo estatico debil. Comencemos por considerar la aproximacion en el
lmite Newtoniano
g
00
= 1 +
2
c
2
, (10.1)
donde es el potencial gravitacional de Newton, determinado por la ecuacion
de Poisson
2
= 4G, (10.2)
con G como la constante de Newton. Por otro lado, la densidad de energa T
00
para materia galileana es simplemente
T
00
= c
2
. (10.3)
Combinando estas ecuaciones, obtenemos
2
g
00
=
8G
c
4
T
00
. (10.4)
Esta ecuacion de campo solo se satisface en la aproximacion de campo estatico
debil, el tipo de campo generado por materia galileana. Sin embargo, esta
relacion sugiere que la forma de las ecuaciones de campo para una distribucion
generalmente relativista de materia, caracterizada por su tensor de Energa-
Momento T
, es
G
= T
. (10.5)
121
CAP
es un tensor.
Por hipotesis, G
es simetrico, G
(T
= 0) implica que
G
= 0. (10.7)
Para un campo debil estacionario producido por materia galileana,
G
00
2
g
00
. (10.8)
La forma mas general de construir G
= C
1
R
+C
2
g
R. (10.9)
El cuarto requerimiento determina que
0 = G = C
1
R
+C
2
R;
(10.10)
=
_
C
1
2
+C
2
_
R;
,
donde hemos hecho uso de
_
R
1
2
R
_
;
= 0. (10.11)
Por lo tanto C
2
= C
1
/2 o R;
= 0. Solo C
2
= C
1
/2 es compatible con la
presencia de materia, as
G
= C
1
_
R
1
2
g
R
_
. (10.12)
CAP
,
R
ij
1
2
g
ij
R 0, (10.14)
y por lo tanto
R R
00
R
kk
3
2
R +R
00
(10.15)
o
R 2R
00
(10.16)
Entonces,
G
00
C
1
_
R
00
1
2
R
_
(10.17)
2C
1
R
00
.
Por otro lado,
R
0000
0, R
i0j0
1
2
2
g00
x
i
x
j
,
(10.18)
lo cual implica que
G
00
2C
1
R
00
(10.19)
2C
1
(R
0000
R
i0i0
)
C
1
2
g
00
.
Podemos ahora jar la constante C
1
= 1, de tal forma que
G
= R
1
2
g
R, (10.20)
determinando as las Ecuaciones de campo de Einstein
R
1
2
g
R =
8G
c
4
T
, (10.21)
que pueden tambien escribirse de la forma alternativa
R
=
8G
c
4
_
T
1
2
g
T
_
. (10.22)
Si se incluyen tambien terminos lineales en la metrica y sus primeras deri-
vadas, las ecuaciones de campo de Einstein admiten un nuevo termino, de la
forma g
, tal que
G
= R
1
2
g
R + g
=
8G
c
4
T
, (10.23)
CAP
cumple con todos los requerimientos que exigimos antes, a excepcion del ultimo,
pues en este caso, tomando la aproximacion Newtoniana:
G
00
2
g
00
+ . (10.24)
Este hecho sugiere que la constante cosmologica debe estar sujeta a la condicion
1, (10.25)
para evitar contradicciones con el exito de la teora Newtoniana de la Gravita-
cion.
10.2. Coordenadas Armonicas
El tensor simetrico de Einstein G
, 10 componentes
independientes; sin embargo, debido a las identidades de Bianchi
G
= 0, (10.26)
solo 10 4 = 6 ecuaciones de campo de Einstein son funcionalmente indepen-
dientes. Esto corresponde al hecho de que si g
es una solucion, g
tambien
lo es, donde g
se obtiene a partir de g
=
4
c
J
, (10.27)
tampoco determinan unvocamente a A
=
4
c
= 0. (10.28)
As, el n umero de ecuaciones funcionalmente independientes es 4 1 = 3, de tal
forma que A
= 0. (10.29)
CAP
= g
2
x
. (10.30)
As, si g
tal que
g
= g
2
x
, (10.31)
y por lo tanto
g
= 0. (10.32)
Estas condiciones pueden simplicarse si escribimos
=
1
2
_
g
(g
+g
, (10.33)
pues, recordando que
g
= g
(10.34)
y
1
2
g
=
ln(
g)
x
=
1
g
x
, (10.35)
se tiene
g
=
1
2
_
g
(g
+g
(10.36)
=
1
2
_
g
_
g
_
=
1
2
__
g
_
=
g
g
x
=
1
_
gg
.
Entonces, las condiciones de coordenadas armonicas son
_
gg
= 0. (10.37)
Se dice que una funcion es armonica si satisface
g
= 0, (10.38)
o explcitamente
g
= g
. (10.39)
CAP
= 0. (10.40)
10.3. La metrica de Schwarzchild
En 1916, Schwarzchild encontro la primera y mas importante solucion exacta
a las ecuaciones de Einstein en el vaco. Esta solucion representa al campo fuera
de una distribucion esfericamente simetrica de materia. La forma mas general
de una metrica estatica con simetra esferica es
ds
2
= e
A(r)
dt
2
e
B(r)
dr
2
r
2
d
2
, (10.41)
donde
d
2
= d
2
+ sin
2
d
2
. (10.42)
En esta relacion, la coordenada r (denominada distancia de area) es tal que el
area de la esfera situada a distancia radial r es 4r
2
. En esta seccion utilizaremos
unidades tales que c = G = 1.
En el vaco, las ecuaciones de campo de Einstein se reducen a
R
= 0. (10.43)
Es facil vericar que las componentes de R
+
1
4
A
1
4
A
2
+
1
r
B
(10.44)
R
tt
= e
AB
_
1
2
A
1
4
A
+
1
4
A
2
+
1
r
A
_
(10.45)
R
= e
B
_
1 +
1
2
r (A
)
_
+ 1 (10.46)
R
= R
sin
2
(10.47)
R
= 0 si ,= , (10.48)
donde A
= B
, (10.49)
o equivalentemente
A = B +k, (10.50)
donde k es una constante, que puede absorberse en la denicion de t haciendo
el cambio t e
k/2
t. Entonces
A = B. (10.51)
CAP
= 0 queda
e
A
[1 +rA
] = 1 (10.52)
o
e
A
+rA
e
A
=
d
_
re
A
_
dr
= 1, (10.53)
lo cual implica que
re
A
= r 2m, (10.54)
con 2m como constante de integracion, en una notacion que sugiere su iden-
ticacion con la masa del cuerpo. Una vez que hemos determinado A(r), la
metrica de Schwarzchild adquiere la forma
ds
2
=
_
1
2m
r
_
dt
2
_
1
2m
r
_
1
dr
2
r
2
_
d
2
+ sin
2
d
2
. (10.55)
Esta metrica es asintoticamente plana, es decir, coincide con Minkowski en el
lmite r . Ademas, se indetermina en los puntos r = 0 y r = 2m.
10.3.1. Propiedades de la metrica de Schwarzchild
Potencial relativista
El potencial relativista asociado a la metrica de Schwarzchild es
=
1
2
ln
_
1
2m
r
_
, (10.56)
por lo tanto, la aceleracion propia es
[[ = [k
ij
,
i
,
j
[
1/2
=
m
r
2
_
1
2m
r
_
1
2
. (10.57)
Notese que esta aceleracion se vuelve innita en r = 2m, y coincide con la
aceleracion newtoniana g = m/r
2
para r >> 2m. Esto conrma que m puede
identicarse con la masa total del cuerpo central M. En unidades completas
m =
GM
c
2
. (10.58)
Teorema de Birkho
En 1923, Birkho descubrio que incluso si se desecha la suposicion de es-
taticidad, la solucion de Schwarzchild es la unica solucion de las ecuaciones de
Einstein con simetra esferica en el vaco. Esto implica que si un cuerpo con
simetra esferica posee cierto movimiento radial, el campo externo no se altera.
En otras palabras, no puede producirse radiacion gravitacional monopolar.
CAP
_
1 +
m
r
_
dr, (10.59)
de tal manera que
l r +mln(
r
2
r
1
); (10.60)
por otro lado, la distancia de radar se dene a partir del hecho de que una se nal
de radar satisface ds
2
= 0, o bien
dt =
_
1
2m
r
_
1
dr
_
1 +
2m
r
_
dr. (10.61)
As,
t r + 2mln(
r
2
r
1
). (10.62)
En terminos del tiempo propio entre emision y recepcion del pulso de radar,
la distancia de radar es R = /2
R =
_
1
2m
r
1
_
1/2
t
_
1
m
r
1
__
r + 2mln(
r
2
r
1
)
_
, (10.63)
de lo cual resulta evidente que en general l ,= R. Para nalizar, solo resta
remarcar que la distancia de tama no aparente es simplemente r.
Corrimiento Gravitacional al Rojo
De acuerdo con nuestra discusion sobre metricas estaticas, usando (6.63), po-
demos determinar el corrimiento de frecuencias para la Metrica de Schwarzchild
entre dos puntos
2
1
=
_
1
2m
r1
1
2m
r2
1
m
r
1
+
m
r
2
. (10.64)
CAP
_
1 +
m
2r
_
4 _
dx
2
+dy
2
+dz
2
, (10.66)
donde r
2
= x
2
+ y
2
+ z
2
. Consideremos una se nal luminosa que pasa a una
distancia R de una masa m, y tomemos un sistema coordenado tal que a primera
aproximacion y = R, z = 0 y por lo tanto r =
x
2
+R
2
. Entonces, para dicha
se nal, a primer orden en m/r
(1 m/2r)
(1 +m/2r)
dt =
_
1 +
m
2r
_
2
dx. (10.67)
De esta manera
dt
_
1 +
2m
r
_
dx =
_
1 +
2m
x
2
+R
2
_
dx. (10.68)
Integrando entre x
1
y x
2
,
t = x 2mln
_
x
2
+
_
x
2
2
+R
2
x
1
+
_
x
2
1
+R
2
_
. (10.69)
Este termino logartmico se denomina Retraso Temporal de Shapiro (Shapiro
time-delay).
CAP
1
dr
2
r
2
d
2
, (10.70)
con = 1 2m/r.
El Lagrangiano (6.19), cuyas ecuaciones de Euler-Lagrange determinan las
geodesicas de la metrica, se escribe
L =
_
dt
ds
_
2
1
_
dr
ds
_
2
r
2
_
d
ds
_
2
. (10.71)
Debido a la independencia de esta funcion en y t, las dos primeras ecuaciones
de Euler-Lagrange son triviales
dt
ds
= k, (10.72)
r
2
d
ds
= h,
con k (Energa total) y h (momento angular especco) constantes. La ecuacion
restante es
2
dr
ds
_
1
dr
ds
_
=
2m
r
2
_
dt
ds
_
2
1
r
_
dr
ds
_
2
2r
_
d
ds
_
2
. (10.73)
Para orbitas circulares
dr
ds
= 0, esta ecuacion se reduce a
m
r
3
_
dt
ds
_
2
=
_
d
ds
_
2
, (10.74)
o equivalentemente
2
=
_
d
dt
_
2
=
m
r
3
. (10.75)
Esta es justamente la segunda ley de Kepler. Sustituyendo en la metrica:
ds
2
=
_
1
3m
r
_
dt
2
, (10.76)
Evidentemente, para partculas masivas debemos tener r > 3m. La orbita
r = 3m corresponde a una orbita circular de luz.
CAP
_
1 +
h
2
r
2
_
= k
2
(r 2m)
_
r
2
+h
2
_
r
3
= k
2
V (r).
La funcion V (r) juega el rol de un potencial efectivo. Por comparacion, en
teora Newtoniana
_
dr
dt
_
2
= 2E V
N
(r) (10.78)
V
N
(r) =
(h
2
2mr)
r
2
r
2
d
dt
= h.
Mientras que en el caso Newtoniano, el punto mnimo de V
N
(r) (es decir, donde
dV
N
/dr = 0) corresponde a
r
N mn
= h
2
/m,
en el caso de Schwarzchild, los extremos de V , seg un dV/dr = 0 se encuentran
en
r
ext
=
h
2
h
4
12m
2
h
2
2m
.
Si h < 2
2mu
h
2
2mu
3
_
.
Diferenciando esta ecuacion con respecto a ,
2
du
d
d
2
u
d
2
=
_
2u
2m
h
2
6mu
2
_
du
d
. (10.83)
Simplicando
d
2
u
d
2
+u =
m
h
2
+ 3mu
2
(10.84)
=
m
h
2
_
1 + 3h
2
u
2
_
.
Esta es la version relativista de la ecuacion de Binet, y diere del resultado
Newtoniano por la presencia del ultimo termino. Para orbitas planetarias dicho
termino es peque no (para mercurio, por ejemplo, h
2
u
2
es del orden de 10
7
).
Con esta suposicion, podemos resolver la ecuacion por un metodo perturbativo.
Denamos el parametro adimensional
=
3m
2
h
2
. (10.85)
La ecuacion de la orbita queda entonces
d
2
u
d
2
+u =
m
h
2
+
h
2
u
2
m
. (10.86)
supongamos que la solucion es de la forma
u = u
0
+u
1
+O(
2
). (10.87)
substituyendo en (10.86),
d
2
u
0
d
2
+u
0
m
h
2
+
_
d
2
u
1
d
2
+u
1
h
2
u
2
0
m
_
+O(
2
) = 0. (10.88)
CAP
_
=
m
h
2
_
1 + 2e cos +e
2
cos
2
_
=
m
h
2
_
1 +
1
2
e
2
_
+
2me
h
2
cos +
me
2
2h
2
cos 2.
Si ingresamos la siguiente solucion particular:
u
1
= A+Bsin +C cos 2, (10.91)
entonces
A =
m
h
2
_
1 +
1
2
e
2
_
, B =
me
h
2
, C =
me
2
6h
2
. (10.92)
As, la solucion general a primer orden es
u u
0
+
m
h
2
_
1 +esin +e
2
_
1
2
+
1
6
cos 2
__
. (10.93)
El termino mas importante en esta correccion es esin, pues crece en cada
revolucion. Despreciando las otras correcciones
u
m
h
2
(1 +e cos +esin) , (10.94)
o
u
m
h
2
1 +e cos [(1 )] . (10.95)
La orbita es ahora solo aproximadamente elptica, y su perodo de revolucion
ya no es 2, sino
T =
2
1
2 (1 +)
La precesion por perodo es
=
2
1
2 = 2
_
1
1
1
_
(10.96)
= 2
_
1
_
=
6m
2
h
2
3m
2
.
CAP
, (10.97)
mientras que las mejores mediciones indican
= (42,98 0,04)
. (10.98)
10.6. Geodesicas nulas, Deexion de luz
Las trayectorias de fotones satisfacen las mismas ecuaciones diferenciales
que las partculas ordinarias, excepto por el hecho de que debemos usar un
parametro afn a en lugar de la longitud de arco s, pues ds
2
= 0. De esta
forma,
dt
da
=
k, (10.99)
r
2
d
da
=
h, (10.100)
_
dr
da
_
2
=
k
2
_
1 +
h
2
r
2
_
(10.101)
= k
2
V
p
(r).
El potencial efectivo de fotones V
p
(r) determina la forma de las orbitas. V
P
solo tiene un extremo
V
P max
=
h
2
27m
2
. (10.102)
Este extremo es de hecho un maximo, y corresponde a la orbita circular inestable
r = 3m.
Para considerar la deexion de la luz por efecto de una masa esferica, la
ecuacion que gobierna la forma de todas las orbitas de fotones es, de acuerdo
con (10.99) y (10.101),
_
du
d
_
2
=
k
2
1
h
2
_
u
2
2mu
h
2
2mu
3
_
. (10.103)
Si tomamos ahora como par ametro an a = s, es claro que
h , y la ecuacion
queda
_
du
d
_
2
=
_
u
2
2mu
3
_
. (10.104)
CAP
R
2
=
3m
R
2
_
1 cos
2
_
, (10.110)
cuya integral particular resulta ser
u
p
3m
2R
2
_
1 +
1
3
cos 2
_
, (10.111)
CAP
R
+
3m
2R
2
_
1 +
1
3
cos 2
_
(10.113)
R
+
3m
2R
2
_
1 +
1
3
_
.
por lo tanto
=
2m
R
. (10.114)
Consecuentemente, la magnitud total de la deexion del rayo, por simetra es
= [2
[ =
4m
R
, (10.115)
o en unidades completas
= [2
[ =
4GM
c
2
R
. (10.116)
Usando al sol y a ciertos cuasares emisores de radio, la prediccion de Einstein
ha sido vericada hasta una precision de 10
4
.
Parte IV
Cosmologa
137
Captulo 11
Conceptos basicos
La cosmologa es el estudio de la estructura dinamica del universo como
un todo. Su existencia como disciplina cientca solo fue posible a partir del
advenimiento de la Teora de la Relatividad General. Esto no signica que sea
imposible formular una cosmologa dentro del marco de la mecanica Newtoniana,
sin embargo, no hubo ning un intento serio de tal formulacion debido a que antes
del siglo XX se consideraba que el universo era estatico, es decir, desprovisto de
dinamica.
11.1. Regularidad del universo
Una de las mas importantes caractersticas del universo es su regularidad a
gran escala. Todas las direcciones parecen ser equivalente, y la region limitada
que podemos observar en detalle parece no tener nada en especial con respecto
al resto. En otras palabras, el universo parece ser isotropico y homogeneo.
Ademas, las leyes de la fsica (tal como las conocemos en la tierra) parecen ser
validas en todos lados y en todo tiempo. Estas simples suposiciones bastan
para construir modelos cosmologicos. La cosmologa se basa en este principio
de simplicidad, que en esencia es una generalizacion del principio Copernicano
de que la tierra no es el centro del universo. En el mismo tenor podemos armar
que ni la tierra, ni el sistema solar, ni nuestra galaxia, ni nuestro grupo local de
galaxias ocupan un lugar privilegiado en el universo.
La prueba actual mas poderosa de la isotropa del universo reside en la
radiacion de fondo cosmica de 2,7K, descubierta por Penzias y Wilson en 1965
y predicha en 1948 por Alpher y Herman sobre la teora de Gamow de formacion
atomica en un Big Bang. Recientes esfuerzos por estudiar esta radiacion incluyen
las mediciones realizadas por el satelite COBE (Cosmic Background Explorer),
lanzado en 1989, el cual no solo conrmo el perfecto perl de radiacion de
138
CAP
ASICOS 139
cuerpo negro, sino tambien un elevado ndice de isotropa (solo algunas partes
de desviacion en 10
4
).
Otro fuerte argumento a favor de la isotropa y homogeneidad del universo
proviene de la expansion de Hubble. El descubrimiento mas fundamental de
la cosmologa observacional moderna es el siguiente: el universo entero se en-
cuentra actualmente en estado de expansion (1 % en 10
8
a nos). Esta expansion
puede visualizarse imaginando un arreglo c ubico innito de puntos representan-
do galaxias. Supongamos que en un instante todas las aristas de la red tienen
longitud l. Un tiempo dt despues, todas se han expandido a l + dl. Conside-
remos ahora un lnea de tales aristas desde el punto de vista de una galaxia en
particular. La galaxia que se ubica a n aristas (a distancia x = nl) se ha movido
con velocidad v = ndl/dt. As, la relacion
v =
ndl/dt
nl
x =
dl/dt
l
x = Hx, (11.1)
se denomina Ley de Hubble, con H como el parametro de Hubble. Este movi-
miento es el unico que preserva la homogeneidad espacial del universo. Ademas,
el hecho de que H
0
(constante de Hubble, el valor actual del parametro H) es
independiente de la direcci on en que se mida, concuerda con la isotropa del
universo.
Si el universo se expande, es posible extrapolar su estado actual hacia atras
en el tiempo. El escenario mas probable es que el universo comenzo siendo una
singularidad de densidad innita y temperatura innita. H
0
tiene unidades de
[tiempo]
1
, por lo tanto t
0
= H
1
0
se denomina Edad de Hubble del universo.
Es el estimado mas inmediato (aunque burdo, pues ignora la dinamica real) de
la edad real del universo. Las mediciones mas recientes imponen las cotas
13,0 10
9
a nos < H
1
0
< 17,8 10
9
a nos. (11.2)
Captulo 12
Cosmologa Relativista
La Cosmologa Relativista se basa en tres postulados basicos:
I. Principio Cosmologico
En cada epoca, el universo presenta el mismo aspecto desde todos
los puntos, excepto por irregularidades locales. Es decir, existe cierto
tiempo cosmico t tal que las hipersupercies espacialoides t = cte,
son homogeneas e isotropicas
II. Postulado de Weyl
Las galaxias, los constituyentes basicos del universo, pueden mo-
delarse como partculas materiales inmersas en un substrato. Estas
partculas se mueven a traves del espacio-tiempo en una congruencia
de geodesicas temporaloides que divergen de un punto en el pasa-
do nito o innito. Cada galaxia posee un observador fundamental
capaz de aplicar el principio cosmologico.
III. Relatividad General.
El postulado de Weyl requiere que las geodesicas del substrato sean ortogona-
les a una familia de hipersupercies espacialoides. Introducimos las coordenadas
(t, x
1
, x
2
, x
3
), tales que dicha familia de hipersupercies espacialoides este da-
da por t = cte, y las coordenadas (x
1
, x
2
, x
3
) sean constantes a lo largo de las
geodesicas. Esto signica que las coordenadas espaciales de cada partcula son
constantes a lo largo de su geodesica, y como consecuencia, tales coordenadas
se denominan co-moviles (las partculas tienen coordenadas espaciales jas en
un sistema que se expande). La condicion de ortogonalidad implica que t puede
elegirse de tal manera que el elemento de lnea quede de la forma
ds
2
= dt
2
k
ij
(x, t)dx
i
dx
j
. (12.1)
Entonces, t juega el rol de un tiempo cosmico.
140
CAP
IA RELATIVISTA 141
12.1. La Metrica de Friedmann-Robertson-Walker
12.1.1. Metrica de Friedmann
El primer modelo cosmologico que trataremos corresponde a un universo sin
gravedad, el modelo de Milne. Comencemos con la metrica de Minkowski en
coordenadas esfericas polares
ds
2
= c
2
dt
2
dr
2
r
2
_
d
2
+ sin
2
d
2
, (12.2)
y supongamos que una partcula fundamental se encuentra en reposo en el
origen espacial (r = 0). Las coordenadas y son comoviles. Podemos efectuar
un cambio de coordenada radial
t = cosh, r = c sinh, (12.3)
donde es la rapidez. Esta transformacion convierte a la metrica (12.2) en
ds
2
= c
2
d
2
c
2
d
2
_
d
2
+ sinh
2
_
d
2
+ sin
2
d
2
_
. (12.4)
Esta metrica, conocida como metrica de Friedmann caracteriza al modelo de
Milne. Sus principales caractersticas son las siguientes: (1) es el tiempo propio
de todo observador fundamental, el tiempo cosmico; (2) toda hipersupercie
= cte en el modelo es un espacio de curvatura constante (c
2
2
)
1
; (3) todas
las secciones = cte poseen volumen innito y (4) la razon propia de expansion
del substrato es codicada por .
12.1.2. Espacios de curvatura constante
Matematicamente, un espacio de curvatura constante queda descrito por la
ecuacion
R
= K (g
) , (12.5)
donde K es una constante llamada curvatura. Como veremos, la geometra de
este tipo de espacios es cualitativamente distinta dependiendo del signo de este
parametro. En el caso de un espacio tridimensional,
R
abcd
= K (k
ac
k
bd
k
ad
k
bc
) , (12.6)
donde k
ab
es el 3-tensor metrico correspondiente. Contrayendo con k
c
, tenemos
R
bd
= k
ac
R
abcd
(12.7)
= Kk
ac
(k
ac
k
bd
k
ad
k
bc
)
= K (3k
bd
k
bd
)
= 2Kk
bd
.
CAP
IA RELATIVISTA 142
Ahora, dado que el espacio es isotropico al rededor de cualquier punto, debe ser
esfericamente simetrico. De esto se sigue que la 3-metrica adopta la forma
d
2
= k
ij
dx
i
dx
j
= e
(r)
dr
2
+r
2
_
d
2
+ sin
2
d
2
_
. (12.8)
Las componentes distintas de cero del tensor de Ricci son, entonces
R
rr
=
1
r
d
dr
, R
= 1 +
1
2
re
d
dr
e
, R
= R
sin
2
. (12.9)
As, la condicion de curvatura constante se reduce a las ecuaciones
2Ke
=
1
r
d
dr
, 2Kr
2
= 1 +
1
2
re
d
dr
e
. (12.10)
La solucion de estas ecuaciones es
e
= 1 Kr
2
. (12.11)
Esto muestra que la metrica de un 3-espacio de curvatura constante es
d
2
=
dr
2
1 Kr
2
+r
2
_
d
2
+ sin
2
d
2
_
. (12.12)
Si absorberemos la arbitrariedad de la magnitud de K en la denicion de la
coordenada radial r, de tal manera que K = [K[ k, con k = 1, 0 o 1 (ndice de
curvatura) dependiendo del signo original de K; entonces, la coordenada radial
escalada
= [K[
1/2
r, (12.13)
deja la 3-metrica de la forma
d
2
= [K[
1
_
d
2
1 k
2
+
2
_
d
2
+ sin
2
d
2
_
_
. (12.14)
Una forma alternativa para esta 3-metrica se obtiene haciendo el cambio de
variable
() =
_
_
_
sin, si k = 1
, si k = 0
sinh, si k = 1.
, (12.15)
d
2
= [K[
1
_
_
d
2
+
_
_
_
sin
2
2
sinh
2
_
_
_
_
d
2
+ sin
2
d
2
_
_
_
. (12.16)
En general, la metrica del modelo de universo homogeneo mas sencillo es de
la forma
ds
2
= c
2
dt
2
k
ij
dx
i
dx
j
. (12.17)
Por isotropa
ds
2
= c
2
dt
2
a
2
(x, t)d
2
, (12.18)
CAP
IA RELATIVISTA 143
donde d
2
es una 3-metrica pura y a
2
(x, t) es una funcion arbitraria denida
positiva en su dominio.
Consideremos ahora la tasa de expansion relativa entre observadores funda-
mentales separados por una distancia dl,
H =
d(dl)/dt
dl
=
d(ad)/dt
ad
=
a/t
a
. (12.19)
De esta manera
lna =
_
Hdt +g (x) , (12.20)
donde g(x) es una funcion arbitraria de la posicion. Equivalentemente
a(t, x) = a(t)S(x). (12.21)
Este factor S (x) puede absorberse en la denicion de d
2
, simplicando la
metrica
ds
2
= c
2
dt
2
a
2
(t)d
2
. (12.22)
Entonces, el parametro de Hubble queda
H =
da/dt
a
=
a(t)
a(t)
. (12.23)
Por isotropa local, d
2
puede transformarse en un m ultiplo constante de la
3-metrica de un espacio de curvatura constante. Esta constante de proporcio-
nalidad, junto con [K[ puede absorberse a su vez en la denicion de a
2
. La
metrica total ahora asume la forma de Friedmann-Robertson-Walker (FRW)
ds
2
= c
2
dt
2
a
2
(t)
_
d
2
1 k
2
+
2
_
d
2
+ sin
2
d
2
_
_
, (12.24)
o equivalentemente
ds
2
= c
2
dt
2
a
2
(t)
_
d
2
+
2
()
_
d
2
+ sin
2
d
2
_
. (12.25)
La funcion a(t) se conoce como factor de escala de las coordenadas comoviles.
El Modelo Estandar de Cosmologa (Hot, Big Bang estandar Model) se basa en
esta metrica.
Es com un denominar a los universos con k = 1 como cerrados, y a aquellos
con k = 0 y k = 1 como abiertos; sin embargo, es importante mencionar que
la topologa global del universo no esta contenida en la metrica.
CAP
IA RELATIVISTA 144
12.1.3. Propagacion de la Luz en los Universos FRW
Una consecuencia directa de la expansion de Hubble es el corrimiento cos-
mologico al rojo. Si una se nal luminosa de longitud de onda
e
se emite al
tiempo t
e
en cierto punto del universo, y se observa en otro punto al tiempo t
0
con longitud
0
=
e
+, el corrimiento cosmologico de la longitud de onda se
denota
1 +z =
a(t
0
)
a(t
e
)
=
0
e
= 1 +
e
. (12.26)
Note que el cambio de longitud de onda debido a la expansion de universo
implica el enfriamiento de la radiacion de fondo, pues la densidad de partculas
en un gas de fotones es proporcional al inverso del volumen V , y por ende a a
3
.
La energa de un foton E = h es, por otro lado, proporcional a a
1
. As, la
densidad de energa E/V , proporcional a la cuarta potencia de la temperatura
T
4
, implica que la temperatura es inversamente proporcional al factor de escala;
T a
1
. (12.27)
La derivacion de la Formula del corrimiento procede como sigue: Conside-
remos dos se nales sucesivas, que proceden de una galaxia con coordenada ,
dirigidas a = 0. Estas se nales satisfacen
=
_
t0
te
dt
a(t)
=
_
t0+t0
te+te
dt
a(t)
(12.28)
=
_
t0
te
dt
a(t)
+
t
0
a(t
0
)
t
e
a(t
e
)
,
y por lo tanto,
t
0
t
e
=
a(t
0
)
a(t
e
)
. (12.29)
Si identicamos las dos se nales con crestas sucesivas de onda, entonces
a(t
0
)
a(t
e
)
=
0
e
. (12.30)
12.2. Observables
Las principales magnitudes que pueden determinarse en cosmologa son las
siguientes:
CAP
IA RELATIVISTA 145
1. Distancia propia. La distancia instantanea propia se dene como
l = a(t
0
) (12.31)
a un tiempo t
0
= cte.
2. Distancia radial
r = a(). (12.32)
3. Distancia angular. El angulo solido subtendido por un objeto con area de
seccion transversal A y distancia angular D
A
es
=
A
D
2
A
. (12.33)
4. Distancia luminosa. Si S es la energa recibida por un observador, por
unidad de tiempo y unidad de area, y L es la luminosidad intrnseca del
objeto observado (que irradia isotropicamente), su distancia luminosa D
L
se dene a traves de la relacion
S =
L
4D
2
L
. (12.34)
5.
Angulo solido subtendido por un objeto de area A
=
A
a
2
(t
e
)
2
=
A(1 +z)
2
a
2
(t
0
)
2
. (12.35)
6. Flujo a traves de una esfera de radio () = L(1 +z)
2
S =
L
(1 +z)
2
4a
2
(t
0
)
2
. (12.36)
7. Relacion Distancia-Corrimiento. Dado que
l = a(t
0
) = a(t
0
)
_
t0
te
dt
a(t)
, (12.37)
por la expansion en serie de Taylor de a(t) al rededor de t
0
a(t) = a(t
0
) + a(t
0
) (t t
0
) + , (12.38)
se tiene
l = a(t
0
) =
_
t0
te
dt
[1 +H
0
(t t
0
) + ]
(12.39)
(t
0
t
e
) +H
0
(t
0
t
e
)
2
2
.
CAP
IA RELATIVISTA 146
Por lo tanto
(t
0
t
e
) l
1
2
H
0
l
2
. (12.40)
Por otro lado,
z =
a(t
0
) a(t
e
)
a(t
e
)
(12.41)
a(t
0
) a(t
0
) a(t
0
) (t
e
t
0
)
1
2
a(t
0
) (t
e
t
0
)
2
a(t
0
) + a(t
0
) (t
e
t
0
)
a(t
0
)
a(t
0
)
(t
e
t
0
)
_
1
a(t
0
)
a(t
0
)
(t
e
t
0
)
_
a(t
0
)
2a(t
0
)
(t
e
t
0
)
2
= H
0
(t
0
t
e
) +H
2
0
(t
0
t
e
)
2
1
2
a(t
0
)
a(t
0
)
(t
e
t
0
)
2
= H
0
(t
e
t
0
) +H
2
0
_
1
1
2
a(t
0
) a(t
0
)
a
2
(t
0
)
_
(t
e
t
0
)
2
= H
0
(t
e
t
0
) +H
2
0
_
1 +
1
2
q
0
_
(t
e
t
0
)
2
.
As,
z H
0
l +
1
2
[1 +q
0
] H
2
0
l
2
, (12.42)
con q
0
como el parametro de desaceleracion actual
q
0
=
a(t
0
) a(t
0
)
a
2
(t
0
)
=
a(t
0
)
a(t
0
)H
2
0
. (12.43)
12.3. Horizontes Cosmologicos
12.3.1. Horizonte de Eventos
Supongamos que en cierto punto del universo un foton se emite en nuestra
direccion, sin embargo, debido a la expansion del universo, es posible que dicho
foton nunca nos alcance. El frente de onda de fotones que nos alcanzan en
el tiempo t se denomina Horizonte de Eventos. Su existencia y movi-
miento relativo con respecto a nosotros depende de la forma funcional de a(t).
Los eventos que ocurren detras de este Horizonte estan fuera de nuestro poder
observacional.
CAP
IA RELATIVISTA 147
Para discutir este tipo de Horizontes, es preciso denir una transformacion
conforme. Si escribimos la metrica FRW con , constantes, de la forma
ds
2
= c
2
dt
2
a
2
(t)d
2
(12.44)
= a
2
(t)
_
c
2
dt
2
a
2
(t)
d
2
_
= a
2
(T)
_
c
2
dT
2
d
2
= a
2
(T)d s
2
, (12.45)
donde
T =
_
t
t0
dt
a(t)
, (12.46)
con t
0
arbitrario. Se dice que las metricas ds
2
y d s
2
estan conformalmente
relacionadas, es decir, dieren solo por un factor de escala a
2
(T) parametrizado
por el tiempo conforme T. Una propiedad importante de las transformaciones
conformes es que preservan angulos, y por lo tanto, preservan la forma de las
geodesicas nulas.
La coordenada del horizonte de eventos, con respecto a un observador
situado en el origen al tiempo t esta dada por
EH
=
_
t
E
t0
dt
a(t)
. (12.47)
Basicamente, la distancia que recorre un rayo de luz entre los tiempos t
0
y t
E
(t
E
es nito o innito dependiendo del modelo) es l
EH
= a(t
0
)
EH
. Entonces
EH
= T
E
T
0
. (12.48)
Es evidente que siempre que T
E
sea nito (
EH
convergente), existira un hori-
zonte de eventos. Por ejemplo, si existe una constante cosmologica (H = cte,
teora de estado estable),
a = e
Ht
, (12.49)
entonces, jando t
E
EH
=
_
t0
e
Ht
dt =
e
Ht0
H
. (12.50)
As, la distancia propia del horizonte de eventos es
l
EH
= e
Ht0
e
Ht0
H
= H
1
. (12.51)
CAP
IA RELATIVISTA 148
12.3.2. Horizonte de Partculas
Si el tiempo inicial de nuestro modelo es t
B
, de nuevo nito o innito depen-
diendo de la existencia o inexistencia de un Big Bang, la distancia coordenada
que un rayo de luz ha viajado desde t
B
a t
0
hasta nosotros es
PH
=
_
t0
t
B
dt
a(t)
= T
0
T
B
. (12.52)
Si T
B
es nito, entonces existe un Horizonte de Partculas, es decir existen
observadores incapaces de recibir informacion proveniente de nosotros. En otras
palabras, estamos fuera del horizonte de eventos de las partculas fundamentales
que se encuentran fuera de el nuestro. Este horizonte de eventos de una partcula
ajena a nosotros es, desde nuestra perspectiva, un horizonte de partculas.
12.4. Ecuaciones Dimamicas FRW
Los tres ingredientes de la Cosmologa relativista son, como ya hemos pun-
tualizado:
1. El Principio Cosmologico, que da lugar a la metrica FRW
ds
2
= c
2
dt
2
a
2
(t)
_
d
2
1 k
2
+
2
_
d
2
+ sin
2
d
2
_
_
, (12.53)
o en coordenadas cartesianas r =
_
x
2
+y
2
+z
2
1/2
ds
2
= c
2
dt
2
a
2
(t)
_
dx
2
+dy
2
+dz
2
1 +
1
4
k r
2
_
. (12.54)
2. El Postulado de Weyl, que estipula que el substrato es un udo perfecto,
es decir
T
=
_
+p/c
2
_
U
pg
. (12.55)
3. La Relatividad General, cuyas ecuaciones fundamentales son las Ecuacio-
nes de Campo de Einstein
G
= R
1
2
g
R + g
=
8G
c
4
T
. (12.56)
La combinacion adecuada de estas suposiciones nos lleva a las ecuaciones de
movimiento (tomando los valores de G
IA RELATIVISTA 149
a
2
a
2
c
2
+
k
a
2
3
=
8G
3c
2
. (12.58)
La ecuacion (12.58) es conocida como Ecuacion de Friedmann. Es conveniente
reemplazar (12.57) por la resta de ambas
a
a
=
4G
3
_
+
3p
c
2
_
+
c
2
3
. (12.59)
Multiplicando (12.58) por a
3
y diferenciando con respecto a t,
2 a aa
c
2
+
a
3
c
2
+k a a
2
a =
d
dt
_
a
3
8G
3c
2
_
. (12.60)
Dividiendo entre a
2
a, obtenemos
2 a
c
2
a
+
a
2
c
2
a
+
k
a
2
=
1
a
2
a
d
dt
_
a
3
8G
3c
2
_
. (12.61)
Comparando con (12.57)
d
dt
_
a
3
8G
3c
2
_
= a
2
a
8Gp
c
4
, (12.62)
o, equivalentemente
d
dt
_
a
3
c
2
_
+
d
dt
_
a
3
_
p = 0. (12.63)
Simplicando
d
dt
+ 3H
_
+p/c
2
_
= 0. (12.64)
Esta relacion es equivalente a la condicion T
= 0.
Consideremos un conjunto de partculas en el substrato ocupando un volu-
men V . Entonces, claramente, debido al movimiento en el substrato V a
3
.
La energa total en el volumen es U = c
2
V , y por lo tanto, la ecuacion (12.63)
puede escribirse como
dU +pdV = 0. (12.65)
3
c
2
k
a
2
(12.66)
=
8G
3
_
+
c
2
8G
_
c
2
k
a
2
=
8G
3
( +
)
c
2
k
a
2
,
CAP
IA RELATIVISTA 150
La constante cosmologica , interpretada como una fuente, da lugar al tensor
de energa momento del vaco
T
()
=
c
4
8G
diag(1, 1, 1, 1) (12.67)
en el marco de referencia localmente inercial de reposo. As, el vaco posee una
densidad de energa positiva
c
2
=
c
4
8G
, (12.68)
una presion negativa
p
=
c
4
8G
, (12.69)
y una densidad gravitacional efectiva
+
3p
c
2
=
c
2
4G
. (12.70)
12.4.1. Soluciones del modelo
Gran parte de la Historia del Universo, seg un el modelo estandar, puede ser
descrita asumiendo el dominio de la materia o de la radiacion en la densidad de
energa total. Durante la inacion, o quiza incluso el da de hoy si vivimos en un
universo que se expande aceleradamente, el dominio de la constante cosmologica
o de alguna otra forma de energa oscura debe ser considerada. A continuacion
delineraremos las soluciones a la ecuacion de Friedmann cuando una compo-
nente domina la densidad de energa. Cada componente se caracteriza por un
parametro w, denido por la ecuacion de estado
p = wc
2
. (12.71)
Sustituyendo la ecuacion de estado (12.71) en (12.64), suponiendo w = cte,
= 3 (1 +w)
a
a
. (12.72)
Por lo tanto
a
3(1+w)
. (12.73)
Note que a tiempos mas remotos, cuando el factor a era peque no, el termino
de curvatura k/a
2
en la ecuacion de Friedmann puede despreciarse siempre que
w > 1/3. El dominio de la curvatura ocurre a tiempos posteriores (a menos
que la constante cosmologica domine antes). Para w ,= 1, es posible insertar
este resultado en la Ecuacion de Friedmann, y si se desprecian los termnos de
curvatura, se tiene
a t
2/[3(1+w)]
. (12.74)
CAP
IA RELATIVISTA 151
Universo dominado por Radiacion
En etapas primitivas, el universo caliente y denso se describe con la ecuacion
de estado correspondiente a un gas de radiacion (o de partculas altamente
relativistas) para el cual w = 1/3. En este caso, la densidad de energa es tal
que
r
a
4
. (12.75)
El factor extra a
1
proviene del corrimiento cosmologico al rojo: no solo la
densidad de partculas decrece como a
3
mientras el volumen se incrementa
como a
3
, sino que ademas la energa de cada partcula decrece como E
a
1
. En esta situacion
a t
1/2
, H =
1
2t
. (12.76)
Universo dominado por Materia
Despues de la etapa de preponderancia de radiacion, se supone que la materia
no-relativista eventualmente domino la densidad de energa. Un gas sin presion
(polvo puro w = 0) posee la dependencia esperada
m
a
3
, (12.77)
que en el caso de un universo con k = 0, deriva en las siguientes relaciones
a t
2/3
, H =
2
3t
. (12.78)
Universo dominado por la Energa del Vaco
Si existe una fuente dominante de energa del vaco, esta puede actuar como
constante cosmologica con ecuacion de estado parametrizada por w = 1, por
ejemplo. En este caso, la solucion a la ecuacion de Friedmann es particularmente
sencilla,
= cte, (12.79)
que de nuevo, en el caso k = 0, signica
a e
3
ct
, H = c
_
3
. (12.80)
CAP
IA RELATIVISTA 152
12.4.2. Denicion de los parametros Cosmologicos, Analoga
Newtoniana
Ademas del parametro de Hubble H y de la desaceleracion q, es conveniente
denir otros parametros cosmologicos mensurables. La ecuacion de Friedmann
(12.58) puede usarse para denir una densidad crtica
c
,
c
=
3H
2
8G
. (12.81)
El parametro cosmologico adimensional de densidad se dene como la den-
sidad de energa relativa a la densidad crtica,
i
=
i
c
, (12.82)
donde
i
corresponde a
m
(densidad de materia),
r
(densidad de radiacion)
o
) 1 (12.83)
=
tot
1.
De esta ecuacion, es facil reconocer que cuando
tot
> 1, entonces k = 1 (uni-
verso cerrado); por otro lado,
tot
< 1 implica k = 1 (universo abierto); y
tot
= 1 , k = 0 (universo espacialmente plano).
La dependencia de cada componente
i
con respecto a a nos permite escribir
sus valores actuales
0i
como
m
=
m0
3
,
r
=
r0
4
,
=
0
,
c
=
H
2
H
2
0
c0
,
(12.84)
donde
=
a(t)
a(t
0
)
. (12.85)
Si ademas denimos
0i
=
i0
c0
, (12.86)
(12.83) queda
a
2
= a
2
H
2
0
_
m0
3
+
r0
4
+
0
_
c
2
k, (12.87)
Finalmente, deniendo el tiempo adimensional = H
0
t:
_
d
d
_
2
m0
1
+
r0
2
+
0
=
c
2
k
H
2
0
a
2
0
. (12.88)
CAP
IA RELATIVISTA 153
Esta ecuacion tiene la forma familiar Newtoniana
E. Cinetica + E. Potencial = cte, (12.89)
donde podemos denir el potencial efectivo
V () =
_
m0
1
+
r0
2
+
0
. (12.90)
Los extremos de este potencial se obtienen de acuerdo a la prescripcion usual
dV
d
= 0 =
m0
2
+ 2
r0
3
2
0
. (12.91)
En la epoca actual
r0
<< 1, por lo tanto
crit
=
3
_
m0
2
0
. (12.92)
El criterio de la segunda derivada
d
2
V
d
2
crit
=
_
2
m0
3
2
0
crit
(12.93)
= 2
m0
2
0
m0
2
0
= 6
0
< 0, (12.94)
indica que
V (
crit
) =
_
m0
2
0
_
2/3
[2
0
+
0
] (12.95)
= 3
0
_
m0
2
0
_
2/3
es un maximo. Por otro lado, derivando (12.88),
2
d
d
d
2
d
2
+
_
m0
2
2
0
d
d
= 0. (12.96)
Evaluando esta relacion en
crit
,
d
2
crit
d
2
=
1
2
_
m0
2
crit
2
0
crit
(12.97)
= 0.
Por lo tanto,
crit
delimita las regiones d
2
/d
2
> 0 y d
2
/d
2
< 0, siempre y
cuando ambas existan; de lo contrario, no hay extremos.
CAP
IA RELATIVISTA 154
12.5. Problemas del modelo Big Bang
En general, el modelo cosmologico estandar es un marco muy exitoso para
la interpretacion de observaciones, sin embargo, existe un conjunto clasico de
problemas concernientes a las condiciones iniciales de la teora.
Problema del Horizonte
La cosmologa estandar contiene un horizonte de partculas, de distancia
comovil
PH
=
_
t0
t
B
dt
a(t)
= T
0
T
B
. (12.98)
Esta ecuacion converge debido a que a t
1/2
en la fase de dominio de radiacion.
A tiempos posteriores, la integral queda fuertemente inuenciada por la era de
preponderancia material, de tal manera que el horizonte, al tiempo de formacion
de la radiacion de fondo de microondas ( ultima dispersion), era de tan solo unos
100Mpc de tama no, subtendiendo un angulo de cerca de 1
. Como es entonces
posible que tantas regiones causalmente desconectadas presenten ahora la misma
temperatura? Como es posible que si la mano derecha no sabe lo que hace la
izquierda, ambas luzcan tan similares? El universo es isotropico y homogeneo
a muy buena aproximacion a pesar de que las condiciones iniciales parecen
prohibir tal situacion.
Problema del universo plano
El universo con
tot
= 1 es inestable. Si actualmente se tiene
tot0
1,
entonces se requiere sintona na de
tot
con respecto a la unidad a precision
arbitraria conforme el tiempo tiende a t
B
.
Problema de Estructura
El universo no es exactamente homogeneo. Si as fuera, no existiran las
galaxias. Se supone que las galaxias se formaron a partir de inestabilidades
gravitacionales producidas por peque nas perturbaciones iniciales. Cual es el
orgen de estas perturbaciones?
12.6. Inacion
Para resolver el problema del horizonte, y permitir el contacto causal entre
las distintas regiones observadas del cosmos, se requiere de una fase en la cual
el universo se expanda en una proporcion descomunal a t
, > 1. De esta
CAP
IA RELATIVISTA 155
manera, la integral del horizonte comovil hubiera sido divergente, y no habra
dicultad para entender la homogeneidad del universo. Esta fase de expansion
acelerada es la cualidad mas conocida de la teora del Universo Inacionario.
De acuerdo con la ecuacion de Friedmann, en una etapa primitiva de al-
to corrimiento al rojo (curvatura despreciable con respecto a la densidad de
energa),
PH
=
_
t0
t
B
dt
a(t)
=
_
a0
a(t
B
)
da
a a
(12.99)
=
_
3
8G
_
a0
a(t
B
)
da
a
2
1/2
.
En otras palabras, el horizonte diverge siempre y cuando la ecuacion de estado
sea tal que a
2
0 (o simplemente tal que a
2
sea nito) cuando a a(t
B
).
Por otra parte, para resolver el problema del universo plano, basta con exigir
que en el mismo perodo de inacion el termino de curvatura k/(a
2
H
2
) decrezca
con respecto al tiempo, es decir
d
dt
_
k
a
2
H
2
_
inacion
< 0, (12.100)
o equivalentemente
d
dt
_
1
aH
_
< 0. (12.101)
Este requerimiento implica que
0 >
1
a
2
H
2
d
dt
(aH) (12.102)
=
1
a
2
H
2
d
dt
_
a
a
a
_
=
1
a
2
H
2
a,
y por lo tanto
a > 0. (12.103)
Entonces, el universo inacionario debe estar acelerado, como era esperado. De
acuerdo con (12.59) y (12.70),
a = a
4G
3
_
+
3p
c
2
_
. (12.104)
De esta manera, a > 0 estipula que durante la inacion
p <
c
2
3
, (12.105)
CAP
IA RELATIVISTA 156
o bien
w <
1
3
. (12.106)
Sustituyendo esta ecuacion de estado en (12.73), se obtiene la dependencia
a
3
, <
2
3
, (12.107)
y as
a
2
a
, > 0. (12.108)
El escenario inacionario es capaz de resolver tanto el problema del horizon-
te como el del universo plano, a traves de la idea de un universo que se expande
hacia un estado efectivo con k = 0 usando la fuerza gravitacional repulsiva de-
rivada de la energa del vaco o de alguna otra fuente desconocida de materia
que satisfaga la ecuacion de estado (12.105). El problema que surge ahora es
volver a un universo con una ecuacion de estado convencional, es decir, el uni-
verso debe sufrir una transicion de fase cosmologica. Una expansion conducida
por el vaco produce un universo fro y esencialmente desprovisto de materia y
radiacion donde, por ende, la densidad de energa es T. Una transicion de
fase instantanea a un estado de energa de vaco nula restituye una dependencia
T
4
a la densidad de energa, tal como se observa en materia y radiacion normal.
Esto signica que el universo debe ser recalentado hasta la temperatura que
tena antes de la inacion, para posibilitar la produccion de partculas.
12.6.1. Dinamica inacionaria
El concepto general de inacion reside en la obtencion de una ecuacion de
estado con presion negativa. Este objetivo puede alcanzarse de forma natural
manipulando los campos cuanticos del universo primitivo. Consideremos un
campo escalar (en general complejo, pero real en ocasiones para propositos
ilustrativos), cuya densidad lagrangiana es
L =
1
2
V (). (12.109)
Aplicando el Teorema de Noether, obtenemos el tensor de energa-momento para
el campo
T
L, (12.110)
y las ecuaciones de movimiento
1
_
gg
_
+
dV
d
= 0. (12.111)
CAP
IA RELATIVISTA 157
De T
=
1
2
2
+V () +
1
2
()
2
, (12.112)
p
=
1
2
2
V ()
1
6
()
2
.
Una eleccion apropiada para V satisface
p
<
1
3
.
As, la ecuacion de conservacion de energa-momento T
= 0, se escribe
d
dt
+ 3H (
+p
) = 0, (12.113)
o
+ 3H
2
+
dV
d
= 0. (12.114)
Si escribimos al campo en terminos de sus perturbaciones =
0
(t) +(x, t),
donde el termino (x, t) es responsable de las inhomogeneidades, y ademas su-
ponemos que (x, t) toma la forma de una perturbacion de onda plana comovil
con n umero de onda k y amplitud A
(x, t) = Ae
i(kxikt/a)
, (12.115)
entonces, esta perturbacion satisface la ecuacion de movimiento
..
[] + 3H
.
[] +
_
k
a
_
2
[] +
d
2
V
d
2
[] = 0. (12.116)
Suponiendo que d
2
V/d
2
es despreciable durante la fase inicial de inacion
(aproximacion slow-roll),
..
[] + 3H
.
[] +
_
k
a
_
2
[] = 0. (12.117)
Conforme procede la inacion
..
[] + 3H
.
[] 0, (12.118)
por lo tanto
d ln
.
[]
dt
3
a
a
= 3
d lna
dt
, (12.119)
entonces
.
[] Ca
3
. (12.120)
CAP
IA RELATIVISTA 158
12.7. Nucleosntesis en el modelo Big Bang
A un tiempo lo sucientemente temprano, la temperatura del universo al-
canzo 10
7
K, la temperatura actual del n ucleo solar, donde sabemos que ocurren
importantes reacciones nucleares. La reacciones nucleares fueron importantes
tambien en el universo primitivo, pero las condiciones eran signicativamente
distintas a las de las estrellas modernas. La densidad consmlogica entonces era
dominada por radiacion, y la densidad de materia era mucho menor a la del sol
(casi 10 ordenes de magnitud). Por lo tanto, se supone que las reacciones nuclea-
res signicativas en el universo temprano ocurrieron a mas altas temperaturas
( 10
9
K).
Consideremos la formacion de neutrones. Las unicas reacciones importantes
al inicio del universo material fueron las interacciones debiles que convierten
protones en neutrones y viceversa
p +e
n +, (12.121)
p + n +e
+
.
La densidad numerica de neutrones n
n
= N
n
/N
tot
satisface la ecuacion
cinetica
dn
n
dt
= (
pe
+
p
) n
p
(
ne
+
n
) n
n
, (12.122)
donde los coecientes
i
describen cada uno de los posibles procesos. Un analisis
detallado muestra que los cuatro coecientes son iguales a
i
=
_
10
10,135
K
T
_
5
s
1
, (12.123)
con un tiempo medio de reaccion
t
reac
=
_
10
10,135
K
T
_
5
s, (12.124)
y un tiempo de expansion de la era dominada por radiacion
t
exp
=
_
10
10,125
K
T
_
2
s. (12.125)
En estas condiciones, se presenta una transicion rapida que desactiva el me-
canismo de las reacciones debiles, jando la abundancia de neutrones a una
temperatura T 10
10,142
K. Esto implica que la razon de equilibrio entre el
n umero de neutrones y el de protones es
N
n
N
p
= e
mc
2
/kT
0,34. (12.126)
CAP
IA RELATIVISTA 159
Un calculo mas preciso, tomando en cuenta el decaimiento espontaneo de neu-
trones libres y la estabilidad de los protones arroja un resultado
N
n
N
p
corregido
0,163. (12.127)
En principio, todos los neutrones terminan formando
4
He, de tal forma que la
abundancia de este es N
He
N
n
, mientras que la abundancia de hidrogeno es
simplemente el resto N
H
N
p
N
p
. As, la fraccion de masa del Helio es
Y = 1
n
n
n
n
+n
p
= 2
_
1 +
n
p
n
n
_
1
. (12.128)
tomando el resultado corregido, se tiene
Y 0,28. (12.129)
Los resultados mas importantes de nucleosntesis pueden resumirse en la
siguiente relacion
=
n
p
+n
n
n
= 2,74 10
8
_
T
2,73K
_
3
B
h
2
, (12.130)
donde es la entropa recproca por barion,
B
es la densidad barionica y h =
0,730,03 es el parametro normalizado de Hubble. De acuerdo con predicciones
recientes de nucleosntesis y observaciones de nubes de gas, se tiene
0,010 <
B
h
2
< 0,015. (12.131)
Esto sugiere que los bariones son incapaces de cerrar un universo. Si = 1, la
materia oscura debe ser no-barionica.
Otro misterio importante es la asimetra entre materia y antimateria. Esta
asimetra se presenta tanto en electrones como en protones, pues por causas
inexplicadas, parece ser que el n umero total de electrones del universo es igual
al n umero de protones. Esta situacion queda contenida en la siguiente relacion:
n
p
n
p
n
p
+n
p
=
n
e
n
e
n
e
+n
e
10
9
. (12.132)
Bibliografa
[1] W. Rindler, Relativity: Special, General and Cosmological (Oxford Univer-
sity Press, Oxford, 2001)
[2] S. Weinberg, Gravitation and Cosmology (John Wiley & Sons Inc, New
York, 1972)
[3] J. D. Jackson, Classical Electrodynamics, tercera edicion, (John Wiley &
Sons Inc., New York, 1999)
[4] H. Goldstein, C. Poole and J. Safko, Classical Mechanics, tercera edicion,
(Pearson-Addison-Wesley publishing company, 2002).
[5] L. D. Landau and E. M. Lifshitz, Classical Theory of Fields, vol.2 of Course
of Theoretical Physics, cuarta edicion en ingles, (Pergamon Press Ltd.,
Oxford,1975)
[6] L. D. Landau and E. M. Lifshitz, Classical Mechanics, vol.1 of Course
of Theoretical Physics, cuarta edicion en ingles, (Pergamon Press Ltd.,
Oxford,1975)
[7] J.-M. Levi-Leblond, The pedagogical role and epistemological signicance
of group theory in quantum mechanics, Riv. Nuovo Cimento, 4 (1), 99143
(1974).
[8] B.F. Schutz, A First Course in General Relativity (Cambridge University
Press, 1985)
[9] C. Misner, K. Thorne and J. Wheeler, Gravitation (W.H. Freeman and
Comp., San Francisco 1973,)
[10] R. DInverno, Introducing Einsteins Relativity (Oxford University Press,
1992)
[11] E. Taylor and J. Wheeler, Spacetime Physics (Freeman, 1992)
[12] Sean M. Carroll, Lecture Notes on General Relativity, arXiv:gr-qc/9712019
en http://xxx.lanl.gov.
[13] G. t Hooft, Introduction to General Relativity, (Utrecht University,2002)
160
BIBLIOGRAF
IA 161
[14] P.A.M. Dirac, General Theory of Relativity, (Wiley Interscience, 1975)
[15] J. A. Peacock, Cosmological Physics (Cambridge University Press, 1999)
[16] P.J.E.Peebles, Principles of Physical Cosmology, (Princeton University
Press, 1993)
[17] B. Thide, Electromagnetic Field Theory (Upsilon Books, Uppsala Univer-
sity, 2003)
[18] A. Einstein, Zur Elektrodynamik bewegter Korper, Annalen der Physik,
17 (1905)
[19] A Einstein, Die Grundalge der allgemeinen Relativitatstheorie, Annalen
der Physik, 49 (1916)
[20] A Einstein, Kosmologische Betrachtungen zur allgemeinen Relativitatst-
heorie, Sitzungsberichte der Preussischen Akad. d. Wissenschaften, 49
(1916).
[21] Particle Data Group, Review of physical constants and particle properties,
http://www-pdg.lbl.gov/pdg.html