Universidad de Guadalajara

La Solucion de Schwarzschild
Rafael Alejandro Blanco Sierra
Mayo 2015


Indice
general
1. Introduccion
1.1. Justificacion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
1.2. Objetivos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3
3
3

2. Antecedentes Historicos
2.1. Como todo en un principio . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2. Antes de correr, hay que aprender a caminar . . . . . . . . . . . . . . . . . . . . .
2.3. Ejemplos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

4
4
5
7

3. Detalles

4. Resultados

14

5. Conclusiones

15

Captulo 1

Introduccion
Como es comun en muchas culturas, en un principio, el hombre tenia miles de incertidumbres
acerca de como funcionaba nuestro universo, una de las cuestiones trascendentales en los ultimos
anos son los agujeros negros, uno de los matematicos mas famosos Laplace (Francia, 28 de marzo
de 17491 - Pars, 5 de marzo de 1827) ya habia modelado agujeros negros, esta teoria discutida en
los tiempos de la teoria newtoniana.
El problema afloraria un ano despues de que Einstein publico un trabajo magnifico su campo de
ecuaciones. En 1916, cuando Schwarschild obtuvo la solucion a las ecuaciones de Einstein en el
vacio, este resultado fue mas trascendental de lo que podriamos haber imaginado.

1.1.

Justificacion

Este proyecto va encaminado a demostrar la importancia del resultado obtenido por Schwarschild, es de suma relevancia para los estudios de la ciencia hoy en dia.

1.2.

Objetivos

El objetivo (o mision) que buscamos cumplir en este trabajo es estudiar la geometria en el semiplano de Karl Schwarzschild, las geodesicas, isometras entre otras cosas. Se planea presentar una
aplicacion de un objeto astrofsico.

Captulo 2

Antecedentes Historicos
2.1.

Como todo en un principio

Nuestra historia se remonta a los tiempos en que Albert Einstein uno de los mas grandes fsicos de la historia desarollaba su tan famoso campo de ecuaciones el cual esta compuesto por 10
Ecuaciones de la teora de la relatividad general de Albert Einstein que describen la interaccion
fundamental de la gravitacion como resultado de que el espacio-tiempo esta siendo curvado por la
materia y la energa.
Publicadas por vez primera por Einstein en 1915 como una ecuacion tensorial, las ecuaciones
EFE ( Einstein field equations) equiparan la curvatura del espacio-tiempo local (expresada por el
tensor de Einstein) con la energa local y el momento dentro de ese espacio-tiempo (expresado por
el tensor de tension-energa).
Las ecuaciones de campo de Einstein relacionan la presencia de materia con la curvatura del
espacio-tiempo. Mas exactamente cuanto mayor sea la concentracion de materia, representada por
el tensor de energa-impulso, tanto mayores seran las componentes del tensor de curvatura de Ricci.
En el lmite clasico no-relativista, esto es, a velocidades pequenas comparadas con la luz y
campos gravitacionales relativamente debiles, las ecuaciones del campo de Einstein se reducen a la
ecuacion de Poisson para el campo gravitatorio que es equivalente a la ley de gravitacion de Newton.
Para el ano 1891 entra a estudiar a la Universidad de Estrasburgo, y en tres anos saca un doctorado en
Munich tras dedicarse a la astronoma observacional, para lo que despues trabaja como asistente en
el Observatorio Kuffner, donde desarrollo una formula para calcular las propiedades de materiales
fotograficos. Tiempo mas tarde vuelve a la universidad de Munich, donde haba enviado un trabajo
sobre medida de magnitud estelar, que relacionaba las variaciones de las cantidades fotograficas y
la temperatura de una estrella.
Karl Schwarzschild Del 1901 al 1909 se desempeno como profesor de la prestigiosa Univer4

2.2. ANTES DE CORRER, HAY QUE APRENDER A CAMINAR

sidad de Gottingen, donde trabajo con figuras importantes de la astronoma y matematica. Es por
esa e poca que en una conferencia propone que el universo ((lejos de regirse por una geometra euclideana podra regirse mas bien por una [geometra] curva)). Tambien hace significativos trabajos
escritos, como estudios sobre el rol de la radiactividad en el balance de la atmosfera del sol, el
transporte de la energa a traves de radiacion estelar e investigaciones en el campo de la o ptica y la
electrodinamica.
Al poco tiempo de que Einstein publicase su trabajo, nuestro fisico Karl Schwarschild mando su solucion a las ecuaciones de Einstein Su trabajo, publicado despues de haberse alistado en el ejercito,
en 1916, rondo por las aulas de las universidades mas prestigiosas de astronoma de la e poca, pero
no gano mucha popularidad, pues nadie crea que un cuerpo tan grande pudiera tener cabida en la
realidad. Tuvieron que pasar decadas para que su idea fuera tomada en serio, para lo que despues
de la decada del treinta empieza una nueva era en la historia de los astros oscuros, que pasaran a
llamarse agujeros negros en 1967 gracias a John Archibald Wheeler .

2.2.

Antes de correr, hay que aprender a caminar

Antes de ir de lleno al trabajo, es necesario establecer ciertos conceptos basicos. Asi que hay
que partir de la siguiente definicion.

Primera forma fundamental

La primera forma fundamental I es un tensor 2-covariante, simetrico y definido sobre el espacio tangente a cada punto de la superficie S. Esta primera forma fundamental de hecho es el tensor metrico
inducido por la metrica eucldea sobre la superficie. De hecho (S, I) constituye una variedad de
Riemann con tensor metrico I. Gracias a la primera forma fundamental podemos estimar longitudes
de curvas definidas sobre la superficie, a ngulos de interseccion entre curvas y el resto de conceptos
metricos habituales. Por razones historicas las componentes de la primera forma fundamental se
designan por E, F y G:

 

E(u, v) F (u, v)
g (u, v) g12 (u, v)
(Ikl (u, v)) =
= 11
F (u, v) G(u, v)
g21 (u, v) g22 (u, v)
Ademas la forma cuadratica anterior es definida positiva, lo que implica que EG-F2 0. La
primera forma anterior puede escribirse como una combinacion lineal de productos tensoriales de
las 1-formas coordenadas du, dv, conforme a:

I(u, v) = E(u, v)du du + F (u, v)du dv + F (u, v)dv du + G(u, v)dv dv

Estas pueden calcularse explcitamente a partir de la parametrizacion:

E(u, v) =

r r

= r0u r0u
u u

F (u, v) =

r r

= r0u r0v
u v

G(u, v) =

r r

= r0v r0v
v v

CAPITULO
2. ANTECEDENTES HISTORICOS

Metrica
Cuando hablamos de metrica en matematicas, nos referimos a la intepretacion geometrica de distancia. Un conjunto en el que hay una metrica se le conoce como espacio metrico, de hecho a base
de la misma, se obtuvieron distintas geometrias. Pero vallamos directamente a la definicion formal.
Definicion Dado un conjunto S una metrica S es una funcion
d:SSR
que tiene las siguientes propiedades:
Se define positivo, es decir, tal que
d(x, y) 0x, y S
Es simetrica, es decir, tal que
d(x, y) = d(y, x)x, y S
Obedece la desigualdad del triangulo; para todos los x, y, z elementos S, satisface
d(x, z) d(x, y) + d(y, z)
Es cero solo para puntos coincidentes. Es decir,
d(x, y) = 0 x = y
En el contexto de la relatividad , el espacio-tiempo tiene asociado un pseudo-metrica , desde dos
puntos diferentes a la plaza de la distancia(entendida aqu como la longitud de la geodesica entre
dos puntos diferentes) puede ser cero o incluso puntos distintos negativos .

Variedad riemanniana
Una variedad de Riemann es una generalizacion del concepto metrico, diferencial y topologico del
espacio euclidiano a objetos geometricos que localmente tienen la misma estructura que el espacio
euclidiano pero globalmente pueden representar forma curva. De hecho, los ejemplos mas sencillos
de variedades de Riemann son precisamente superficies curvas de R3 y subconjuntos abiertos de
Rn .
La estructura matematica de la geometra riemanniana permite extender a subconjuntos curvos
o hipersuperficies del espacio euclidiano, las nociones metricas de longitud de una curva, a rea de
una superficie, (hiper)volumen o a ngulo entre dos curvas. Esto se realiza definiendo en cada punto
un objeto matematico llamado tensor metrico que permite especificar un procedimiento para medir
distancias, y por tanto definir cualquier otro concepto metrico basado en distancias y sus variaciones.
Desde el punto de vista matematico una variedad de Riemann es una tripleta del tipo:

2.3. EJEMPLOS

(M, { }, g)
Donde:
(M, { })
es una variedad diferenciable en la que se ha especificado el conjunto de cartas locales. g, es una
aplicacion bilineal definida positiva desde el espacio tangente a la variedad: g : T M T M R.
En particular, la metrica g permite definir en cada espacio tangente una norma ||.|| mediante
||X|| =

p
g(X, X)

.Geodesica
Definicion Sea (M, ) una variedad afn. Una curva parametrizada : I M es geodesica en
D d?
t0 I si dt
( dt ) = 0 en el punto t0 . Se dice que es una geodesica si es una curva geodesica en
todos los puntos de su dominio. Si [a, b] I y : I M es una geodesica, la restriccion de ? al
intervalo [a, b]sera denominada (segmento de) geodesica entre (a) y (b).

Isometra
Definicion. Formalmente si E1 y E2 son dos espacios metricos una isometra viene definida por
lo siguiente:
: E1 E2

(x, y) E1 E1 : d1 (x, y) = d2 ((x), (y))

Siendo d1(,) y d2(,) las respectivas funciones de distancia en los dos espacios metricos E1 y
E2.

Smbolos o coeficientes de Christoffel

Definicion {kij } son los smbolos o coeficientes de Christoffel de las derivadas de u y v en la
base {u , v , N }

2.3.

Ejemplos

Uno de los ejemplos mas comunes sobre la metrica, es el siguiente:

El conjunto de los numeros reales R utiliza la metrica.
d(a, b) = |x y|
Que generalizado para Rn se puede definir la metrica euclidiana
v
u n
uX
p
d(x, y) = t
|xi yi |p
i=1

Captulo 3

Detalles
Primeramente comenzaremos definiendo la metrica que utilizaremos, debido a que esta no es
una geometra euclidana. Nuestra metrica es:
ds2 = hdt2 + h1 dr2
Esta metrica es conocida como semi-riemaniana. Ahora necesitamos senalar unas cosas antes.
2M
r 2M
=
r
r
r
h=
r 2M
De donde M es la masa, y es una constante. Ahora nosotros calcularemos la curvatura en este
sistema, para ello emplearemos la primera forma fundamental.


h 0
g =
0 h1
 1

h
0

g =
0
h
h=1

Ahora nos apoyaremos de los simbolos de Christoffel para poder calcular la curvatura.
1
= g (g, + g, g, )
2
En seguida haremos los calculos.
1
ttt = g tt (gtt,t + gtt,t gtt,t )
2
1
ttt = g tt (gtt,t + 0)
2
1
ttt = g tt (gtt,t )
2
8

9
1
r

ttt = (
)(( (h(r)))
2 r 2M t
ttt = 0
1
rtt = g rr (gtr,t + gtr,t gtt,r )
2
1
rtt = g rr (gtt,r )
2
1 r 2M 2M
rtt = (
)( 2 )
2
r
r
M (r 2M )
rtt =
r3
1
rrr = g rr (grr,r + grr,r grr,r )
2
1
rrr = g rr (grr,r )
2
1 r 2M
2M
rrr = (
)(
)
2
r
(r 2M )2
rrr =

M
r(r 2M )

1
rtt = g tt (grt,r + grt,r grr,t )
2
rtt = 0
1
rrt = g rr (grr,t + gtr,r grt,r )
2
rrt = 0
1
trt = g tt (grt,t + gtt,r grt,t )
2
1
1
r
2M
trt = g tt (gtt,r ) = (
)( 2 )
2
2 r 2M
r
M
trt =
r(r 2M )
Ahora que hemos todos los posibles simbolos de Christoffel, nos apoyaremos de la siguiente formula.
t t + (rtt )r + rtt rrr ttr rtt (rtr )t (rtr )2
K = tt tr
h
De los cuales los siguientes son iguales a 0.
ttt ttr = 0


CAPITULO
3. DETALLES

10
(rtr )t = 0
(rtr )2 = 0
Entonces solo nos resta calcular
(rtt )r + rtt rrr ttr ttr
h
Comenzamos con

r
2M
6M 2
2M r + 6M 2
tt =
+
=
r
r3
r4
r4

Despues
rtt rrr = (
ttr ttr = (

M
M2
M (r 2M
)(
=

r3
r(r 2M )
r4

M
M (r 2M )
M2
)(
)
=

r(r 2M )
r3
r4

Con esto nos queda que

K=

)
( 2M (r2M
r4

r2M
r

Reduciendo
K=
donde

2M
r3

2M
0
r3

A continuacion nosotros calcularemos las isometrias, como se menciono en el captulo anterior

una isometria se define como una transformacion lineal en donde se cumple que el producto interno
se conserva. Tenemos que en Rn las isometrias conocidas son las rotaciones, traslaciones, y reflexiones , podemos observar que nuestro semiplano tiene dos ejes, uno de ellos es el eje temporal, al
pensar en esto nosotros podemos darnos cuenta que si nosotros trasladamos o hacemos la siguiente
transformacion.
tt+s
podemos darnos cuenta que nuestro producto interno definido asi.


h 0
g =
0 h1

Se conserva debido a que nuestro parametro h no depende de t entonces podemos concluir que,

11
en el semiplano de Schwarschild tiene una isometria y es (t + s, r).
Para la demostracion de la siguiente propiedad enunciaremos el siguiente lema. Lema Sea x, y
superficies coordenadas con
Ey = Fy = Gy = 0
Se cumple que: 1) Se es una geodesica con funciones coordenadas x(s), y(s) entonces.

0

, y = F x0 + Gy 0 = C

a esto se le llama ecuacion de conservacion donde C es constate. Entonces:

(EG F 2 )x02 = Ge C 2
Donde e = h 0 , 0 h = Ex02 + 2F x0 y 0 + Gy 02 Dicho esto nosotros podemos utilizar el siguiente
lema de la siguiente manera. Nosotros tendremos lo siguiente:
ht2 + h1 r02 = 0

Utilizando la ecuacion de conservacion para t se tiene que:

, t = ht0 = C
r0 = 1 r = s + b
dr
=1
ds
Integrando ambos lados tenemos que:
Z

Z
dr =

ds

r =s+b
Ahora si sustituimos h en la ecuacion de conservacion tenemos que:
(1

2M 0
)t = c
r

Como c = 1 y r = s + b tenemos que:

(1

2M dt
) =1
s + b ds


CAPITULO
3. DETALLES

12

Despejando
(1

2M
)dt = ds
s+b

Ahora si integramos ambos lados

Z

Z
dt =
Z

ds
2M
(1 s+b
)

s+b
ds
s + b 2M

t=
Ahora nosotros tomamos b = 2M .
Z
t=

s+b
ds
s + 2M 2M

Z
t=

s+b
ds
s

Integramos y el resultado es:

t = s + 2M ln(s)
entonces nuestras geodesicas estan dadas por:
((s + 2M ), s + 2M ln(s))

Hemos mencionado las propiedades que se cumple en el semiplano de Schwarzschild, pero quizas una pregunta ronde por sus cabezas en este momento, como se obtuvo esa metrica?.
He dejado esta propiedad hasta el u ltimo por lo trascendente que es, pero comenzemos.
Para obtener la forma de la metrica que representa el campo externo de un objeto esfericamente
simetrico , consideramos en primer lugar la forma limite que debe tomar. Muy lejos del cuerpo
(cuando r crece) , esperaremos que tenga la forma de la metrica de Minkowski. Como asumimos
una simetria esferica, expresaremos la metrica de Minkowski en coordenadas esfericas.
ds2 = dr2 dr2 r2 d2 r2 Sin2 ()d2

(3.1)

Para obtener una forma general independiente-temporal, la metrica esfericamente simetrica se reducida a (3.2) mientras r sea mas grande, consideramos en primer lugar el requerimento de independencia temporal. Una metrica es independiente del tiempo, somos capaces de cambiar dt dt

13
sin afecta la metrica. Esto nos dice ue la metrica no contiene terminos mezclados como lo son drdt,
dtd, dtd.
sin terminos fuera de la diagonal que implican la coordenada de tiempo permitidos en la metrica ,
podemos escribir la forma general como
ds2 = gtt dt2 + gij dxi dxj

(3.2)

Tambien necesitamos que los componentes de la metrica sean independientes del tiempo; i.e.,
gab
=0
t
Una metrica que cumple con estas condiciones es llamada estatica. Nuestro proximo objetivo es
pensar en como afecta que la metrica tenga una forma esfericamente simetrica. Una metrica esfericamente simetrica es aquella que no tiene preferencia alguna a la direccion de un a ngulo en el
espacio, esto significa que podriamos cambiar d d y d d sin alterar la forma de la
metrica. De la misma manera como son independientes del tiempo, los terminos mixtos se eliminan
considerando la participacion dt, no podemos tener terminos mixtos como lo son drd, drd, dd
que podrian verse afectados al realizar el cambio d d y d d.

Captulo 4

Resultados

14

Captulo 5

Conclusiones

15

Bibliografa
[1] Hahn, J. LATEX for eveyone. Prentice Hall, New Jersey, 1993.
[2] Larson, Roland E. Calculo y Geometra Analtica. Volumen 2. 6a Edicion. McGraw Hill.
Mexico. 2000.

16