Documente Academic
Documente Profesional
Documente Cultură
Agosto de 2004
ii
ndice general
Introduccin VII
I Geometra diferencial 1
1. Fundamentos matemticos 3
1.1. Espacios topolgicos . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Espacios mtricos . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Espacios vectoriales . . . . . . . . . . . . . . . . . . . . . . . . 7
2. Variedades 15
2.1. Variedades diferenciales . . . . . . . . . . . . . . . . . . . . . 15
2.2. Espacio tangente . . . . . . . . . . . . . . . . . . . . . . . . . 19
2.3. TENSORES . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4. Transformaciones entre variedades . . . . . . . . . . . . . . . 33
2.5. Clculo en variedades . . . . . . . . . . . . . . . . . . . . . . 36
2.5.1. Derivada de Lie . . . . . . . . . . . . . . . . . . . . . . 39
2.5.2. Conexin y derivada covariante . . . . . . . . . . . . . 41
2.5.3. Transporte paralelo . . . . . . . . . . . . . . . . . . . 44
2.5.4. Tensor de Riemann . . . . . . . . . . . . . . . . . . . . 48
2.5.5. Tensor mtrico . . . . . . . . . . . . . . . . . . . . . . 50
2.5.6. Relacin entre conexin y mtrica . . . . . . . . . . . 53
2.5.7. Campos de Killing . . . . . . . . . . . . . . . . . . . . 55
II Relatividad General 59
iii
iv NDICE GENERAL
4. La solucin de Schwarzschild 77
4.1. Mtrica para simetra esfrica . . . . . . . . . . . . . . . . . . 77
4.1.1. Teorema de Birkho . . . . . . . . . . . . . . . . . . . 84
4.1.2. Caractersticas de la solucin de Schwarzschild . . . . 86
4.2. Pruebas clsicas de la relatividad general . . . . . . . . . . . 88
4.2.1. Corrimiento del perihelio de Mercurio . . . . . . . . . 88
4.2.2. Desviacin de la luz por el sol . . . . . . . . . . . . . . 95
Prefacio
v
vi PREFACE
Introduccin
vii
viii INTRODUCCIN
Parte I
Geometra diferencial
1
Captulo 1
Fundamentos matemticos
3
4 CAPTULO 1. FUNDAMENTOS MATEMTICOS
f : T R (1.1)
: T R (1.2)
1 : R T (1.3)
continua.
: T R (1.4)
: G G G
(1.9)
(g1 , g2 ) 7 g = g1 g2
tal que
G-1: Exista un elemento e G, llamado la identidad, con la propiedad
que para todo elemento g G, se cumpla que e g = g e = g.
G-2: Para todo elemento g G, exista un elemento g 1 G, llamado el
elemento inverso, tal que: g g 1 = g 1 g = e.
G-3: g1 , g2 , g3 G se cumple la asociatividad:
g1 (g2 g3 ) = (g1 g2 ) g3
T : V W
(1.13)
v 7 w = T (v)
10 CAPTULO 1. FUNDAMENTOS MATEMTICOS
tal que:
v = v1 e1 + v2 e2 + + vn en (1.20)
Toda norma sobre un espacio vectorial induce una mtrica definida por:
d(v, w) := kv wk (1.22)
h, i V V R
(1.23)
v, w 7 hv, wi
tal que:
P-1: hv, vi > 0 si v 6= 0 y hv, vi = 0 si v = 0.
P-2: hv, wi = hw, vi
P-3: hv, wi = hv, wi
P-4: hv + w, zi = hv, zi + hw, zi
en donde los coeficientes estn dados por las proyecciones del vector v sobre
los vectores de la base, es decir j = hej , vi, entonces
Xn n
X
f (v) = f ( i ei ) = i f (ei ) (1.32)
i=1 i=1
1.3. ESPACIOS VECTORIALES 13
hek , ei i = ki (1.34)
Variedades
15
16 CAPTULO 2. VARIEDADES
A-ii- Si U U 6= entonces
1
: (U U ) Rn (U U ) Rn
(2.4)
x = (p) 7 y = (p)
es un difeomorfismo de clase C r .
1
Las funciones 1
y su inversa nos dan las ecuaciones de
transformacin entre las diferentes coordenadas.
Dos atlas A y B de clase C r sobre un espacio topolgico M se llaman
compatibles si la unin de los atlas es de nuevo un atlas de clase C r , as la
unin de todos los atlas compatibles sobre un espacio topolgico forma un
a clase de equivalencia de atlas, o un atlas maximal.
( 1 01 02 0n 1 2 n
)(x , x , ..., x ) = (x , x , ..., x )
( 1 1 2 n 01 02 0n
)(x , x , ..., x ) = (x , x , ..., x )
1 : U1 = S n \{e0 } H Rn
0e (2.6)
x 7 1 (x) = xx
1xo
0
2 : U2 = S n \{e0 } H Rn
0e (2.7)
x 7 2 (x) = xx
1+xo
0
= { , U }
M N := {(p, q) | p M, q N } (2.9)
: U V M N Rm Rn
(2.11)
(p, q) 7 ( (p), (q))
f: M R
(2.12)
p 7 f (p)
f := f 1
: (U ) Rn R
(2.13)
x = (q) 7 f (x) = f (q)
es de clase C k en el punto p U M.
Llamemos
F(M, R) := {f : M R} (2.14)
al conjunto de todas las funciones de valor real definidas sobre la variedad.
Sobre este conjunto podemos construir una estructura de espacio vectorial
definiendo la suma de funciones y el producto de un real por una funcin en
la forma:
f = f 1 1 1 1
= f ( ) = f ( ) (2.17)
dado que las cartas son compatibles, esta relacin implica que si la funcin
f es diferenciable con respecto a la carta (U , ) entonces tambin lo es
respecto a la carta (U , ), y viceversa. Esta demostracin de la indepen-
dencia de las cartas es el ingrediente fundamental para todas las definiciones
u operaciones que se realicen sobre una variedad, en las cuales se involucren
las cartas coordenadas.
puesto que vp y wp son vectores para los cuales vale T-2, y por lo tanto
(vp + wp )(f g) = f (p)vp (g) + vp (f )g(p) + g(p)wp (g) + wp (f )g(p)
(2.23)
= f (p)(vp + wp )(g) + (vp + wp )(f )g(p)
como se quera probar.
Para mostrar que el espacio tangente tiene la misma dimensin que la
variedad, veamos algunas definiciones y resultados importantes.
Definicion 29 Sea M una variedad suave y (U , ) una vecindad coor-
denada de p M, y sea (x1 , ..., xn ) = (p) las coordenadas del punto p.
Sea f F(M, R) y definamos la derivada parcial de la funcin f con
respecto a las coordenadas xi , i = 1, ..., n en el punto p por
f (f )
i f (p) i
(p) := ( (p)) (2.24)
x xi
entonces
Lemma 30 Las funciones
: F(M, R) R (2.25)
xi p
son vectores tangentes de Tp M.
Para demostrar este lema veamos que las funciones i |p satisfacen T-1 y
T-2. Para este fin basta con recordar que las derivadas parciales son lineales
y satisfacen la regla del producto. Sean f, g F(M, R) y R, entonces
de la definicin 29 tenemos
(f + g) (f + g )
i
(p) = ( (p)) (2.26)
x xi
(f ) (g )
= i
( (p)) + ( (p))
x xi
f g
= i
(p) + i (p)
x x
lo cual prueba la linealidad, en donde en el segundo paso se ha hecho uso de
la linealidad de las derivadas parciales. Para la propiedad T-2
(f g) (f g )
(p) = ( (p)) (2.27)
xi xi
(g ) (f g )
= f ( (p))( i
( (p)) + ( (p))g ( (p))
x xi
(g) (f )
= f (p) i (p) + (p)g(p)
x xi
22 CAPTULO 2. VARIEDADES
(xj ) xj
i xj |p = ( (p)) = = ji (2.33)
xi xi
y por lo tanto cualquier combinacin lineal nula de los vectores i |p
n
X
i i |p = 0 (2.34)
i=1
como se quera probar. Los coeficientes de la expansin vpi son los valores de
la funcin vp aplicada a las funciones coordenadas xi .
Otra forma equivalente de introducir los vectores tangente es a travs
del concepto de derivada direccional. Para este fin definamos, primero, el
concepto de curva sobre una variedad.
Definicion 33 Sea M una variedad suave. Una curva suave sobre la var-
iedad es una funcin
: IR M
(2.41)
t 7 (t)
: IR Rn
(2.42)
t 7 (t) = (t)
sobre Rn es suave.
vp = vpi i |p (2.43)
entonces esta curva pasa por el punto p M (i.e., pasa por el punto xi (p) =
(p) Rn ) para t = 0 y en este punto las componentes del vector tangente
son
i dxi
vp = (2.45)
dt t=0
as sobre la variedad M la curva pasa por p y tiene vector tangente vp
Tp M. Sea f F(M, R) una funcin de valor real sobre la variedad, entonces
i dxi f
vp (f ) = vp i f |p = (2.46)
dt t=o xi p
dxi ((t)) f f
= =
dt t=o pxi t
v = v E (2.47)
i.- h, x + zi = h, xi + h, zi ; x, z Tp M
ii.- h, xi = h, xi ; x Tp M y R.
= E (2.50)
x = x E (2.51)
y por lo tanto, aplicando linealidad y la relacin 1-2.49, tenemos
D E
h, xi = E , x E (2.52)
D E
= x E , E
= x
= x
Si (p) = (x1 , x2 , ..., xn ) son las coordenadas locales entonces las difer-
enciales {dx1 , dx2 , ..., dxn } en p forman la base de 1-formas dual a la base
coordenada { x 1 |p , x 2 |p , ..., xn |p } de Tp M, pus se cumple que:
< dxi , >= ij (2.54)
xj
En terminos de esta base {dxi } de Tp M la diferencial de una funcin f
F(M) se puede escribir de la siguiente forma:
2.3. TENSORES 27
f i
df = dx (2.55)
xi
Observacin:
Si df 6= 0, entonces las superficies f = cte son variedades de dimensin
n-1. El subespacio de Tp M consistente en todos los vectores X tales que
< df , X >=0 est formado por todos los vectores tangentes a las curvas que
estn en la superficie f = cte en el punto p. As df se puede pensar como
perpendicular o normal a la superficie f = cte en p.
2.3. TENSORES
Definicion 36 Definimos el producto cartesiano sr de la siguiente forma:
sr := Tp Tp Tp Tp Tp Tp Tp Tp (2.56)
| {z } | {z }
rveces sveces
T : sr R
Tsr := Tp Tp Tp Tp Tp Tp Tp Tp (2.58)
Definicion 38 Sean T y T0 Tsr (p) dos tensores del mismo tipo y defini-
mos la suma por:
Con estas reglas Tsr (p) forma un espacio vectorial real de dimensin r +s.
Sean Xi Tp (i = 1, ..., r) y j Tp (j = 1, ..., s). Denotemos por
X1 X1 Xr 1 2 s
T = T 1 r 1 2
E1 E2 Er E E E
s
(2.64)
1 s
T 1 r 1 r
= T(E , ..., E , E 1 , ..., E s ) (2.65)
1 s
El lgebra del espacio vectorial Tsr (p) se puede escribir en trminos de las
componentes de los tensores en una base dada de la siguiente forma:
(T + S)1 r = T 1 r + S 1 r (2.66)
1 s 1 s 1 s
1 r
(T) 1 s = T 1 r
1 s
E0 = 0 E (2.68)
0 0
E = E (2.69)
0
Donde 0 y son matrices n n no singulares. Puesto que las bases
{E0 } y {E0 } son duales, entonces:
0 0 0
0 = < E , E0 >=< E , 0 E > (2.70)
0 0
= 0 < E , E >= 0
0
= 0
0
Es decir 0 y son matrices mutuamente inversas.
Las componentes de un tensor T Tsr (p) con respecto a las bases {E0 }
y {E0 } son:
01 0r 0 0
T 01 0s
= T(E1 , ..., Er , E 01 , ..., E 0s ) (2.71)
01 0r 01 0
T 01 0s
= 1 rr 0 1 0 s T 1 r (2.72)
1 s 1 s
30 CAPTULO 2. VARIEDADES
E 2 E r E2 E s
2 s 01 2 r
= 2 2 rr 2 s T 0
E 2 E r E2 Es
1 2 s
01 2 r
= T E
01 2 s 2
Er E 2 E s = C11 (T )
S(T)( 1 , 2 ) : = (2.74)
1
{T( 1 , 2 ) + T( 2 , 1 )}; 1 , 2 Tp
2!
T = T() T = T (2.78)
[1 r ] 1 X
T 1 s := (1)p T 1 r 1 s (2.80)
r!
(1 r )
Por ejemplo:
1
T [] = {T T + T T + T T } (2.81)
3!
Un tensor se llama antisimtrico en ciertos ndices, si ste es igual a su
parte antisimtrica. Si T = T [] es antisimtrico, entonces T () = 0.
Adems, dado T T02 (p), se cumple siempre que;
T = T () + T [] (2.82)
(A B) 1 p 1 q := A[1 p B 1 q ] (2.84)
Por ejemplo, dados A, B A1 (p), entonces:
(A B) = A[ B] (2.85)
1
= {A B A B }
2!
Por otro lado:
(B A) = B[ A] (2.86)
1
= {B A B A }
2!
= (1)11 (A B)
En general :
(A B) = (1)pq (B A) (2.87)
donde A es una p-forma y B es una q-forma.
Si consideramos los escalares como 0-formas, el producto llamado pro-
ducto exterior, define un lgebra sobre el espacio de las formas, (p) =
n
A(p), llamada el lgebra de Grassmann de las formas. Adems, si {E }
p=0
es una base de las 1-formas, entonces E1 Ep es una base de las
p-formas, es decir, si A es una p-forma entoces podemos expresar A como
A = A1 ...p E1 Ep (2.88)
donde A1 ...p = A [1 ...p ]
1
: (U ) R
m Rn
(2.89)
(p) 7 ((p))
: F(N ) F(M)
(2.90)
f 7 f
: Tp M T(p) N
X X
de la siguiente manera: para cada f F(N ) definida en el punto en (p)
y cada X Tp M definimos X T(p) N as:
(df ) = d( f ) (2.95)
Demostracion:
Sean X Tp M y f F(N), entonces:
(df ) = d( f ) (2.97)
T T
definida por:
T T
definida por:
1 : (U) N M (2.102)
es de clase Cr .
: Tp M T(p) N (2.104)
y
(1 ) : Tp M T(p)
N (2.105)
son isomorfismos, y entonces podemos definir una transformacin :
por:
Esta transformacin enva tensores del tipo (r, s) sobre M a tensores del tipo
(r, s) sobre N y preserva las relaciones de simetra y el lgebra tensorial. Por
ejemplo c( T) = (cT).
d : r r+1 (2.108)
dA := dA1 r dx1 dx r
(2.110)
2.5. CLCULO EN VARIEDADES 37
x1 xr
A01 r = A (2.112)
x01 x0r 1 r
As dA en la coordenada primada est dada por:
2 xr
dx0 1 dx01 (2.114)
x0 1 x0r
2 xr
es simtrico en 1 y 1 , mientras dx0 1 dx01 es antisimtrico,
x0 1 x0r
por lo tanto:
2 xr
dx0 1 dx01 = 0 (2.115)
x0 1 x0r
Entonces:
x1 xr
dA = dA1 r dx01 dx0 r
x01 x0r
x1 xr x01 1 x0r r
= dA 1 r dx dx
x01 x0r x1 xr
x1 x01 xr x0r
= dA1 r dx1 dxr
x01 x1 x0r xr
= dA1 r dx1 dxr (2.116)
f
df = dxi (2.118)
xi
entonces:
2f
d(df ) = dxj dxi
j xi | {z }
(2.119)
x
| {z } antisimetrico
simetrico
d(dA) = 0 (2.120)
Demostracin:
Si {xi } son coordenadas locales, tal que la curva (t) tiene coordenadas
x (t), y el vector X tiene componentes X i en esta base, entonces la curva
i
dxi
= X i (xi (t) xn (t)) (2.121)
dt
Cuya solucin est garantizada por el teorema general de las ecuaciones
diferenciales ordinarias
1
LX T |p := lm {T |p (t ) T |t (p) } (2.125)
t0 t
Y j i X
j f
[X, Y]f = (X i Y ) (2.126)
xi xi xj
Lemma 61 ii.- LX LY = LY LX
iii.- Si s y t son los difeomorfismos generados por los campos
X y Y respectivamente, entonces:
s t = t s (2.129)
2.5. CLCULO EN VARIEDADES 41
T 1 r X i
(LX T)1 r1 s = 1 s
X i T i2 r
xi 1 s xi
r X i
1 r1 X
T 1 s xi + T 1 ir
2 s x 1
X i
+ T 1 r (2.130)
1 s1 i x s
f X+gY Z = f X Z + gY Z (2.131)
f, g F(M), X, Y, Z (M)
esto quiere decir que el opreador X (derivada) en p depende solamente de
la direccin de X en el punto p.
c-2. X Y es lineal en Y, es decir
X (Y + Z) = X Y + X Z (2.132)
R, X, Y, Z (M)
c-3.
X f Y = X(f )Y + X Y (2.133)
f F(M), X, Y (M)
Entonces decimos que X Y es la derivada covariante del campo vectorial
Y con respecto a la conexin en la direccin del vector X en el punto p.
(f Y) = df Y + f Y (2.134)
Y = Y; E E (2.135)
o equivalentemente
E = E E (2.137)
As, para un campo vectorial Y su derivada covariante est dada por:
Y = (Y E )
= dY E + Y E E (2.138)
2.5. CLCULO EN VARIEDADES 43
0 x0 x 2 x x0 x x
= + (2.141)
x x0 x0 x0 x x0 x0
Debido al primer trmino en la anterior ecuacin las componentes de la
conexin no se transforman como las componentes de un tensor.
La derivada covariante puede ser extendida a tensores arbitrarios por las
siguientes reglas:
i.- Si T Trq entonces T Tr+1q
E E = E (2.144)
... s T 1
r
1 s1
DT1 r
1 s
= T1 r X (2.147)
t 1 s ;
espacio Tsr (p) a Tsr (q), la cual preserva el lgebra tensorial y la operacin de
contraccin y as, en particular, si transportamos paralelamente una base
de Tp al punto q obtenemos un isomorfismo entre Tp y Tq . Si la curva es
cerrada los puntos p y q pueden coincidir. El caso particular de transportar
paralelamente el vector tangente a la curva a lo largo de ella misma nos
conduce a la siguiente definicin:
Definicion 65 Sea X el vector tangente a la curva , entonces la curva es
una geodsica si su vector tangente es transportado paralelamente a lo largo
de la curva, i.e.
D
= X X = 0 (2.150)
t t
La condicin que el vector tangente a la curva no cambie cuando se
transporta paralelamente se puede reemplazar por una condicin ms dbil,
pues lo que se exige es que el vector tangente permanezca paralelo a si mismo
cuando se transporta a lo largo de la curva, es decir
X X = f X (2.151)
con f una funcin arbitraria sobre la curva. Sin embargo, no es difcil probar
que por una reparametrizacin de la curva siempre se puede encontrar un
f = 0.
Consideremos una base coordenada {/x } y {dx }, entonces la ecuacin
de las geodsicas, teniendo en cuenta las ecuaciones 2.148 y 2.150, toma la
forma
d2 x
dx dx
+ =0 (2.152)
dt2 dt dt
Dados el punto y la velocidad inicial de la curva geodsica (0) y (0)
existe una nica geodsica maximal (t) como una consecuencia de los teo-
remas de existencia y unicidad de las ecuaciones diferenciales ordinarias, en
otras palabras, dado el punto p M y Xp Tp M existe una nica curva
maximal (t) tal que (0) = 0 y (/t) |t=0 = Xp y la cual depende con-
tinuamente de los valores iniciales. Este resultado nos permite definir una
base coordenada especial, llamadas coordenadas normales de Riemann, las
cuales son de gran utilidad cuando se trabaja localmente, es decir, en una
vecindad de un punto de la variedad. Para construir estas coordenadas es
necesario definir la transformacin exponencial:
Definicion 66 Definimos la transformacin exponencial
exp : Tp M M
X 7 q = exp(X)
46 CAPTULO 2. VARIEDADES
por la relacin
exp(X) := (1) (2.153)
en donde (t) es la nica geodsica que pasa por el punto p y tiene vector
tangente X.
definida por
T (X, Y) := X Y Y X [X, Y] (2.154)
[f X, gY] = Lf X gY
= f X(g)Y + gLf X Y
= f X(g)Y gLY f X (2.158)
2.5. CLCULO EN VARIEDADES 47
(LX T) 11
r
s
= T1
r 2 r 1
; X T X;
1 s 1 s
r 1 r
T 2 r1 X; + T X; 1 +
1 s 2 s
+ T1
r
X; s (2.169)
1 s1
dA = A; dx dx dx dx (2.171)
definida por
definido por
R(, X, Y, Z) = h, R(X, Y, Z)i (2.173)
R = + (2.174)
x x
R = R R() =0 (2.175)
R[] = 0 R + R + R =0 (2.176)
R := R (2.178)
||g : Tp M R
p (2.179)
X 7 |X|g := |g(X, X)|
g(X, Y)
cos ] (X, Y) := (2.180)
[|g(X, X)| |g(Y, Y)|]1/2
g = g E E (2.181)
g = g(E , E ) (2.182)
ds2 = g dx dx (2.185)
g X = g g X (2.189)
= X
= X
52 CAPTULO 2. VARIEDADES
T = g T
(2.194)
T = g g g T (2.195)
T = g g T (2.196)
El isomorfismo inducido por el tensor mtrico significa, entonces, que
podemos considerar a todos los tensores de tercer rango cuyas componentes
estn relacionadas por las ecuaciones anteriores, como diferentes representa-
ciones del mismo objeto abstracto T. En lo sucesivo se asumir sto para
todos los tensores. Es de anotar que en este caso se hace necesario respetar el
orden de los ndices en las componentes de tensores tanto covariantes como
contravariantes. Un caso particular de importancia lo constituye el tensor
mtrico g, en donde las componentes covariantes g , contravariantes g ,
y mixtas , relacionadas por la ecuacin 2.187 constituyen diferentes rep-
resentaciones del mismo objeto geomtrico, el tensor T.
que las componentes covariantes del tensor mtrico tomen los valores 1,
i.e.
g = g(E , E ) = (2.197)
en donde los elementos estn definidos por
= diag.(+1, +1, , +1, 1, 1, , 1)
| {z } | {z }
1 1
(n + s) (n + s)
2 2
en donde s = sig.(g), y n la dimensin de la variedad. Para el caso particular
de sig.(g) = n la mtrica es definida positiva, y en este nico caso el tensor
mtrico define una mtrica en sentido estricto. Otro caso de importancia en
fsica en la mtrica con sig.(g) = 2 n, es decir
g = diag.(+1, 1, 1, , 1) (2.198)
la cual se conoce con el nombre de mtrica Lorentziana o Minkowskiana.
Esta mtria, para efectos de la fsica es equivalente a otra con signatura
n 2, pues el nico valor propio positivo, en el primer caso y negativo en el
segundo, se interpreta como la coordenada temporal.
En las presentes notas asumiremos la mtrica con signatura 2 n, y
definiremos la estructura de conos de luz del espacio-tiempo de la siguiente
forma:
Definicion 78 Una mtrica Lorentziana g sobre la variedad M divide a los
vectores no nulos de Tp M en tres clases disjuntas:
1- X Tp M se llama de tiempo si g(X, X) > 0
2- X Tp M se llama de espacio si g(X, X) < 0
3- X Tp M se llama de luz o nulo si g(X, X) = 0
Si la mtrica es no degenerada y continua, los vectores nulos de Tp M
forman un doble cono (el cono de luz) el cual separa a los vectores de tiempo
de los vectores de espacio.
: Tp M T(p) M
g(X, Y) | p = g( X, Y) |(p)
= g( X, Y) |(p) (2.207)
K; + K; = 0 (2.210)
Para demostrar este lema veamos en primer lugar que cada campo de
Killing dado K (si este existe) est determinado unvocamente por los valores
de K |p y K; |p en cualquier punto p M. Para este fin, notemos que el
conmutador de las segundas derivadas covariantes del campo K estn dadas
por:
K;; K;; = R K (2.213)
Ahora, de la relacin R[] = 0 para el tensor de Riemann se tiene que,
como K satisface la ecuacin de Killing, entonces
K;; = R K (2.214)
2 K
=0 (2.215)
x x
cuya solucin general es de la forma
K (x) = a + b x (2.216)
Relatividad General
59
Captulo 3
Los postulados de la
relatividad general
En este captulo daremos los postulados fundamentales sobre los cuales es-
tbasada la teoria general de la relatividad. En la primera parte mostraremos
como, el principio de equivalencia, conduce a una geometrizacin de la
fuerza de gravedad, lo cual nos conducir a la formulacin de los postula-
dos.
GmG G
1 m2
F12 = r = F21 (3.1)
r2
en donde mG G
1 y m2 son las masas gravitacionales, r1 y r2 los vectores posicin
de los cuerpos, r = r2 r1 , G una constante (la constante de gravitacin
universal G = 6,672591011 m3 kg1 s2 ) y F12 es la fuerza que el cuerpo
2 ejerce sobre el 1. A partir de esta expresin, es claro que sta no est en
acuerdo con los principios de la teora especial de la relatividad, pues la ley
de fuerza es independiente del tiempo, y por lo tanto describe una interaccin
instantanea. Esta situacin motiv a Einstein a buscar la forma relativista
de la ley de gravitacin universal.
61
62CAPTULO 3. LOS POSTULADOS DE LA RELATIVIDAD GENERAL
GMTG mG
r = mI a (3.2)
r2
GMTG mG mG
a= r (3.3)
r2 mI
Si fijamos la masa de la tierra, la aceleracin de cualquier otro cuer-
po depende solamente de la relacin entre su masa gravitacional e inercial.
Galileo fue el primero en mostrar que la aceleracin de un cuerpo cualquiera
en un punto dado sobre la superficie terrestre era independiente de su masa
inercial, este hecho, conocido como la ley de caida de los cuerpos de Galileo,
muestra, por la ecuacin anterior, que para todos los cuerpos la relacin
entre su masa gravitacional y su masa inercial es independiente de la nat-
uraleza (composicin, forma, etc) del cuerpo. Este principio, adoptado por
Newton, lo que explica la introduccin de la constante de gravitacin uni-
versal, condujo a medir la masa gravitacional en las mismas unidades que
la inercial, auncuando los dos conceptos de masa son completamente inde-
pendientes. Este principio, hoy conocido como el Principio de Equivalencia
Dbil (PED) implica, entonces, que el movimiento de cualquier cuerpo, in-
dependiente de su masa, es el mismo, dadas las mismas condiciones iniciales,
posicin y velocidad.
Otra forma de formular el PED es a travs del famoso experimento imag-
inario (gedanken Experiment) del ascensor. Consideremos un ascensor y un
observador en su interior, y supongamos las siguientes dos situaciones: el
ascensor est en el espacio libre y es acelerado por alguna fuerza (motores)
a 9,8m/s, y el ascensor est en reposo sobre la superficie de la tierra. En-
tonces, debido a la equivalencia entre masa inercial y gravitacional, dejando
3.1. LA LEY DE GRAVITACIN UNIVERSAL 63
p = T K (3.4)
las componentes del vector P obtenido por contraccin del tensor momentun-
energa con el campo de Killing, entonces
p; = T
; K + T
K; = 0 (3.5)
pues T , T
; = 0 y K satisface la ecuacin de Killing, i.e., K(;) = 0. As,
si D es una regin compacta y orientable, por el teorema de Gauss se tiene
que Z Z
p d p; dv = 0 (3.6)
D D
por lo tanto, este resultado se puede interpretar fsicamente, pues el flujo
de la componente del tensor momentun-energa enla direccin del campo de
Killing sobre una superficie cerrada se anula, lo cual es la generalizacin del
teorema de Noether, el cual establece que a toda simetra le corresponde
una ley de conservacin. En el caso particular de la variedad Lorentziana
plana, asociado a los diez vectores de Killing linealmente independientes
estn las diez leyes de conservacin usuales, para la energa, el momentun y
el momentun angular total.
d2 x
dx dx
+ =0 (3.7)
ds2 ds ds
en donde s es un parmetro afn. El parnetro afn de una curva geodsica
est determinado salvo un factor aditivo y uno multiplicativo constantes, es
3.3. EL TENSOR MTRICO Y EL POSTULADO DE CAUSALIDAD 67
exp : Tp M M
X 7 exp(X) := X (1)
X [a, b] R M
s 7 X (as)
g0 = 2 (x)g (3.11)
g(X, Y) g0 (X, Y)
= 0 (3.12)
g(Z, W) g (Z, W)
S = 0 (3.18)
= g ; (3.23)
= nmc2 (3.26)
T = (p + )U U + p (3.29)
T = (p + )U U + pg (3.30)
= 0, y la
densidad de partculas. La ecuacin de continuidad exige que J;
densidad Lagrangiana est dada por:
L = 2(1 + ) (3.31)
g = + h ; |h | << 1 (3.35)
d2 xi d2 xi
i dx dx
= i00 (3.37)
dt2 d2 d d
3.4. ECUACIONES DE CAMPO DE EINSTEIN 75
d2 x 1
2
= h00 (3.39)
dt 2
que al compararla con la ecuacin de Newton
d2 x
= (3.40)
dt2
tenemos que
h00 = 2 + cte. (3.41)
Puesto que el potencial gravitacional y h00 se anulan para grandes distan-
cias, y reintroduciendo la velocidad de la luz, obtenemos
2
g00 = 1 + (3.42)
c2
El trmino 2/c2 determina cuando una regin del espacio-tiempo es
fuertemente curvada, por ejemplo
La solucin de Schwarzschild
Karl Scharzschild, tan solo dos meses despus de haberse publicado las
ecuaciones de campo, encontr la primera solucin analtica de las ecua-
ciones de campo, para el exterior de una distribucin de materia esttica
y esfricamente simtrica. A partir de esta solucin calcul el corrimiento
del perihelio de mercurio y la desviacin de un rayo de luz que pasa cer-
ca al sol, confirmando los resultados previos obtenidos por Einstein en la
aproximacin post-Newtoniana (aproximacin de campo dbil).
1. Esttica
2. Esfricamente simtrica
77
78 CAPTULO 4. LA SOLUCIN DE SCHWARZSCHILD
ds2 = g 2
(4.6)
d2 = d d + sin2 d d (4.7)
g = g00 c2 dt dt + grr dr dr + g r2 d2
= g00 c2 dt2 + grr dr2 + g r2 d2 (4.8)
lo cual significa que nos queda por determinar solamente tres funciones de r:
g00 (r), grr (r) y g (r). Esta expresin se puede simplificar an ms y reducir
4.1. MTRICA PARA SIMETRA ESFRICA 79
g r2 = r2 =
dg
2rdr = r2 dr 2g rdr =
dr
r r dg 1
dr = 1+ dr (4.10)
g r 2g dr
As
2 grr r dg 2 2
grr dr = 1+ dr
g 2g dr
= grr (r) dr2 (4.11)
lm h(r) = 0
r
lm g(r) = 0 (4.14)
r
d2 x
dx dx
+ =0 (4.16)
dt2 dt dt
las cuales contienen todos los smbolos de Christoel y pueden ser obtenidas
a partir del principio variacional
Z
0 = F ds
Z
dx dx
= g ds (4.17)
ds ds
en donde x0 = ct, x1 = r, x2 = y x3 = .
4.1. MTRICA PARA SIMETRA ESFRICA 81
d h(r) 0
2e x = 0 =
ds
x0 + h(r)x1 x0 = 0 (4.20)
d2 x0 dx dx
0 = 2
+ 0
dt dt dt
= x + 00 x x + 001 x0 x1 + + 033 x3 x3
0 0 0 0
(4.21)
Entonces, comparando las dos ltimas ecuaciones, tenemos que los nicos
smbolos de Christoel no nulos son:
1
010 = 001 = h(r) (4.22)
2
d 2
2eg(r) x1 = 2g(r)eg(r) x1 2eg(r) x1
ds
2 2 2 3 2
= h(r)eh(r) x0 g(r)eg(r) x1 2r x2 2r sin2 (4.23)
x
d2 x1 1 dx dx
0 = +
dt2 dt dt
= x1 + 100 x0 x0 + 101 x0 x1 + + 133 x3 x3 (4.24)
1
100 = h(r)eh(r)g(r)
2
1
111 = g(r)
2
122 = reg(r)
133 = reg(r) sin2 (4.25)
82 CAPTULO 4. LA SOLUCIN DE SCHWARZSCHILD
h+ g= 0 (4.33)
entonces
h + g = cte. (4.34)
y de la condicin asinttica tenemos
h+g =0 (4.35)
4.1. MTRICA PARA SIMETRA ESFRICA 83
Antes de integrar esta ecuacin, veamos que las otras dos ecuaciones
diferenciales 4.31 y 4.32 son consistentes con lo encontrado hasta ahora. De
la ecuacin 4.31 tenemos
g g g 0 2
re 2e 1 + re + = 0 =
2 r
g
re 2eg 1 + 2eg = 0 =
g
re = 1 (4.39)
conocido, tal como el sol o la tierra, y se espera que esta mtrica repre-
sente los fenmenos que conocemos, y en particular esperamos que en el
lmite de bajas velocidades y campos gravitacionales dbiles los resultados
obtenidos se aproximen a los encontrados por la ley de gravitacin universal
de Newton. As podemos trabajar la aproximacin postnewtoniana, vista en
el captulo anterior, y utilizar la ecuacin 3.42 que nos relaciona el potencial
gravitacional Newtoniano con la componente g00 del tensor mtrico. Por lo
tanto, dado que el potencial gravitacional Newtoniano en el esterior de una
distribucin esfrica de masa m est dado por
Gm
(r) = (4.42)
r
y la componente para la mtrica de Schwarzschild, ecuacin 4.41, es
K2
g00 = 1 (4.43)
r
entonces
2
g00 = 1 + =
c2
K2 2Gm
1 = 1 =
r rc2
2Gm
K2 = (4.44)
c2
De esta manera la mtrica de Schwarzschild est dada por
2Gm 0 2 2Gm 1 2
g = 1 2 dx 1 2 dr r2 d2 (4.45)
c r c r
El mtodo que utilizamos para calcular la constante de integracin K2 ,
aun cuando conduce al resultado correcto, deja la pregunta abierta de la
interpretacin fsica de la masa como fuente del campo, a travs del tensor
momentun-energa. Para este fin es necesario desarrollar el concepto de las
leyes de conservacin para el campo gravitacional. Este campo de traba-
jo est abierto a investigacin y dejaremos para un captulo posterior su
formulacin.
pero ahora las funciones h(r, t) y g(r, t), deben depender del tiempo. Si pro-
cedemos como antes, es decir, si introducimos esta mtrica en las ecuaciones
de campo, obtenemos una relacin similar a la ecuacin 4.33
h+ g= 0 (4.47)
la cual, salvo un factor de escala temporal que depende del potencial con-
stante en el interior del cascarn, se reduce a la mtrica Minkowskiana,
lo cual representa la versin relativista de la anulacin de la fuerza grav-
itacional en el interior de un cascarn esfrico de materia, lo cual es una
consecuencia del comportamiento con el inverso al cuadrado de la distancia
de la fuerza de gravitacin universal. Este resultado justifica ciertas consid-
eraciones Newtonianas que se hacen en cosmologa.
y por lo tanto, si las condiciones iniciales del movimiento son tales que
(0) = /2 y (0) = 0 entonces (t) = /2, es decir, si el cuerpo se
est moviendo inicialmente en el plano ecuatorial = /2 con (0) = 0
entoces el movimiento continua siempre en este plano. Por esta razn siempre
podemos elegir los ejes coordenados espaciales con el eje z normal al plano
del movimiento. De esta forma asumiremos que = /2 y por lo tanto la
funcional F se reduce a
rs 2 2 rs 1 2
F = 1 c t 1 r r2 2 (4.62)
r r
A partir de esta funcional, las ecuaciones de Euler-lagrange para las
coordenadas t y toman la forma
d 2
r = 0 (4.63)
ds
d 2 rs
c 1 t = 0 (4.64)
ds r
Estas ecuaciones implican entonces que
r2 = L = cte. (4.65)
rs
1 t = E = cte. (4.66)
r
Para encontrar la ecuacin para la coordenada radial, dividamos (for-
malmente) el elemento de arco (distancia espacio-tiempo) por ds, entonces
rs 2 rs 1 2
1= 1 t 1 r r2 2 (4.67)
r r
y reemplacemos las ecuaciones 4.65 y 4.66 en la ecuacin anterior obtenemos
rs 1 2 rs 1 2 L2
1= 1 E 1 r 2 (4.68)
r r r
o equivalentemente
rs L2
r2 + 1 1 + 2 = E2 (4.69)
r r
r2 + V (r) = E 2 (4.70)
90 CAPTULO 4. LA SOLUCIN DE SCHWARZSCHILD
g (u, /) = g44 u4
dx4
= r2
ds
2
= r
= cte. (4.73)
L2
r= E 2 V (r) (4.75)
r4
Para integrar esta ecuacin realicemos el siguiente cambio de variable
1 u
u= = r= (4.76)
r u2
entonces
E2 1 rs
u2 + u2 = 2
+ 2 u + rs u3 (4.77)
L L
diferenciando con respecto a tenemos
rs
2uu+ 2uu 2 u 3rs u2 u = 0 =
L
rs 3 2
2u u+ u rs u = 0 (4.78)
2L2 2
92 CAPTULO 4. LA SOLUCIN DE SCHWARZSCHILD
rs 3
u+ u 2
rs u2 = 0 (4.79)
2L 2
Gm
u+ u =0 (4.80)
L2
en donde
d
L = r2 (4.81)
dt
rs Gm
=
2L2 c2 L2
Gm
=
c2 (r2 )2
Gm
= 2
c2 r2 dds
Gm
= 2
d
c2 r2 cdt
Gm
= 2
r2 d
dt
Gm
= (4.82)
L2
con el tmino rs /2L2 , pues teniendo en cuenta que ds ' cdt, tenemos
3/2rs u2
= 3L2 u2
rs /2L2
1 2 2
= 3 r
r2
3 d 2
' 2 r
c dt
v 2
' 3
c2
7, 7 108 (4.83)
rs 3rs3
u+ u = + (1 + e cos )2 (4.86)
2L2 8L4
Para encontrar la solucin a esta ecuacin diferencial no homognea,
notemos que las siguientes tres ecuaciones diferenciales
K
u+ u = K cos (4.87)
K cos2
K
1
2 K sin (4.88)
1
2K 16 K cos (2)
94 CAPTULO 4. LA SOLUCIN DE SCHWARZSCHILD
7 108 (4.91)
entonces
3rs2
' 1+ 2n (4.94)
4L2
y por lo tanto perihelios sucesivos ocurren a intervalos de
3rs2
= 2 1 + (4.95)
4L2
y as el corrimiento del perielio por revolucin para la rbita de Mercurio es
3rs2
= 2
4L2
= 42,89/siglo (4.96)
r2 = cte. = h (4.98)
rs
1 t = cte. = L (4.99)
r
La ecuacin para la coordenada r la obtenemos a partir de la condicin
ds = 0 vlida para geodsicas nulas, as
rs 1 2 2 rs 1 2 h2
1 c L 1 r 2 = 0 (4.100)
r r r
Eliminando el parmetro q, y haciendo el cambio u () = 1/r (), la
ecuacin anterior se transforma en
c2 L2 h2 u2 h2 u2 (1 rs u) = 0 (4.101)
96 CAPTULO 4. LA SOLUCIN DE SCHWARZSCHILD
u+ u = 0 (4.105)
cuya solucin es
2 1
v= cos2 (4.110)
3r02 3r02
y por lo tanto la solucin hasta trminos de orden 3rs /2 toma la forma
1 rs rs
u= cos 2 cos2 + 2 (4.111)
r0 2r0 r0