Você está na página 1de 28

PROBLEMAS RELATIVIDAD GENERAL

1 Explicar ,
utilizando el
principio de equivalencia de Einstein
por qué
la luz
gravita ( su
trayectoria en un
campo gravitacional es curva
)

la geometría del espacio tiempo


por qué puede plana
no ser
y
.
.

El de equivalencia se enuncia de varias maneras



principio :

principio de equivalencia débil : La masa inercial la masa


gravitatoria de un
objeto son iguales ⇒ M
y mg
=
±
.

la inercial la de proporcionalidad F á la cambiar


masa es ute de la 21 ley de Newton =
MI ,
es resistencia del objeto a su movimiento .

campo gravitatorio
µ
la gravitacional da cuenta de el É Es equivalente la
masa
, que cómo un objeto interacciona con
campo gravitatorio =
Mgcj .
como un a
carga
t.mg es una cantidad específica de la fuerza

el É QÉ la
" "

carga gravitacional
en
campo eléctrico =
.
gravitacional , ,
en

tendría coincidir
principio por qué mi
no con .

MÍÍ Í
Al ser
mg
=
MI ,
la ecuación de movimiento Newtoniana de un cuerpo en un
campo gravitatorio sería
=

mgcj (
Ilt ), T
) ⇒ =
cjlxlttt )

están unívocamente determinadas conociendo la velocidad iniciales de modo partículas Test del
que parten
mismo
ayas trayectorias posición 2
y , que

la velocidad seguirán la de
punto con misma misma
trayectoria independientemente ,
su
composición Todos los cuerpos . se mueven
igual en un
campo aj
.

El principio
de equivalencia débil implica que localmente ( en entorno pequeño
del espacio
tiempo ) , un movimiento uniformemente acelerado
.

un
,

localmente la
es indistinguible de un
campo gravitacional ( uniforme ) .
Esto es
debido a universalidad de la
gravitación :
por ejemplo , es
si
posible

movimiento uniformemente acelerado de eléctrico observando el de partículas diferentes


distinguir un un
campo , comportamiento con
cargas ,

la inercial
"
las
"

pero con
gravedad podemos puesto las cargas son iguales a masas
que
no .
,

Localmente ( en la resultados de
tiempo )
Principio de de Einstein variedad los cualquier experimento
equivalencia de

:
regiones pequeñas espacio .

no
gravitacional son indistinguibles de aquellos realizados en un sistema inercial Minkowski ano
;
es decir , no es
posible detectar la existencia

de Los sistemas caida libre serán considerados les


campo gravitatorio . en como inercia

Para explicar el de de luz desviada la


implica que campo gravitatorio
cómo principio equivalencia Einstein la gravedad
• es
por , imaginemos un

uniforme y
un sistema de laboratorio ( de dimensiones pequeñas )

lab

Dentro del laboratorio en caida libre el de equivalencia dice la situación es equivalente eliminar
principio nos a
, que

murmuraron
Tierra
la gravedad tratarlo sistema inercial local Minkowski Entonces de luz lanzado de forma
rayo
como un amo un
y
.

horizontal seguiría su
trayectoria recta Sin
embargo
desde
fuera donde sí observamos la gravedad vemos el de luz
sigue curva
rayo
, como una
.
, , ,
lo cual de manifiesto que la luz se ve curvada por el gravitatorio Si considerásemos el
principio de equivalencia dentro del laboratorio
pone campo
no
, ,
.

el de luz lanzado
seguiría línea recta sistema iría hacia arriba viendo sí recta desde
rayo no una en ese
,
sino
que
se ,
se eso como una
trayectoria

fuera .

Dos caen libremente de forma paralela , si eliminarnos la


gravedad aplicando el
principio de equivalencia se moverían
paralelamente
cuerpos que ,

embargo al introducir la gravedad de forma global acabarán convergiendo debido la uniformidad del campo Entonces la
geometría
siempre , sin a no .
,

del Eudidea trayectorias libres inicialmente


espacio tiempo puede ser
paralelas acaban convergiendo
no
2
pues
.

, .

el al
2
Explicar desplazamiento rojo gravitacional

El corrimiento al el seguir el cual la radiación electromagnética emitida fuente situada



rojo
es
proceso por
una en un
campo gravitatorio ve

reducida su frecuencia ( más


rojizo ) cuando es medida
por un observador en una
región de
mayor potencial gravitatorio ( i. e más cercano al
planeta )

dirección de
.
Supongamos que A
y
B están en
reposo
en m
campo gravitatorio uniforme ( de intensidad
g) que va en la
negativa z .
Gráficamente

A está en Z = h B en E- o Ambos tienen relojes idénticos A comienza a mandar señales luminosas hacia
y

ya
• .
.

§
y
y
B B intervalos de
tiempo propio constantes ( regulares ) mide Ara Nos cíal será el intervalo

a
, que como .

preguntamos

de tiempo propio entre señales medirá B AZB


que ,
.

• Si A
y
B están en reposo
en el campo , podemos afirmar que ambos tendrán aceleración
g con respecto a un sistema de referencia en

caída libre .
Entonces según el principio
de
equivalencia ,
esta situación será equivalente a eliminar la gravedad y considerar un sistema
,

el A B aceleración la dirección positiva de


espacio tiempo
de Minkowski el
en
que y
se mueven con
g en z ,
en un .

Escogemos

sistema de referencia de caída libre Minkowski de A B están T


ano
forma que y
en
reposo para
= o .

Despreciando efectos de relatividad especial debido las velocidades típicas de A B son


pequeñas Las
trayectorias
de A B serán entonces
• a
que y
.
y , ,

inicial el tiempo libre


las cuida
)
¡
Newtonianos : su
posición es
que
mide el sistema inercial Minkowski ano ( el de

µ
tzgt tzgt SÍ
2
A Zalt ) h B (t ) velocidades gt luego
2
Zps « 1 v 1
t
suponemos ⇒ «
: = : =
=

el tiempo coordenado
• Supongamos que A emite el
primer rayo
de luz en
( del sistema de Minkowski
) dado por t = Te . Su trayectoria será
hacia

Zttrt
zltr
va
pues
t ZAHR ) sale de A
pues
.

zlt )
p p (1)
/
'
la
'
entonces será de un movimiento uniforme de velocidad c
=) dz = cdt ⇒ dz = -
c
ftp.dt =) zlt ) =
znltr ) -
c ( t -

t )
)
pero Zaltr ) =
htzgtí luego sustituimos en la
trayectoria del rayo ⇒ Zltt = ht tzgtie -
C ( t -

te ) . Esta señal llegará a B

en un
tiempo coordenado t = tz ⇒ Zltz ) = ht
tzgtt -
c
( tz -
t e
) .
Pero este
punto coincide con B en ese instante ,
es decir
,

tzgtí
÷ zrsltz ) Izgtí ) tzgtz

B)
r ) = luego igualando ⇒ h t -

alta -
te =
(2)

señal
• Ahora vamos con el
siguiente rayo
de luz . La 2 a- se emite desde A en el instante t = te t Ara ( sin considerar dilatación temporal

debido a relatividad especial pues las velocidades involucradas


,
son
pequeñas en esta aproximación , luego el intervalo de tiempo
propio Azn es el

de inercial
mismo
que
el intervalo tiempo en el sistema
) .
Su
trayectoria será la misma
que
el
rayo anterior ( 1 ) pero cambiando el instante

inicial t tr taza =) Zlt ) Z ltrt AZA ) C


(T Tr AZA ) Esta señal
llegará B en instante t tzt Azps
-
=
a un
-
=

por
-
.

A-
2
=
httgftet AZNT =
tzg ( tzt Arre )

( AZB es el intervalo de
tiempo propio entre señales recibidas en B ) .
Entonces Z ( tzt Arps ) =
ZBLTTTAZR
) luego

2 2
ht
tzg ( te t
AZ A) -
c
( tzt AZB -

te -

AZA ) =
tzgltzt AZ ( 3)

Hacemos ahora (3) (2) obteniendo al desarrollar


tzg ( 2 te TAZA ) AZA C
( AZB Arn ) =

tg ( 2kt AZB ) AZB


- -

:
-

.
,

los términos cuadráticos AZA y AZB los despreciarnos Ara« De esta forma evitamos
en
, pues en nuestra
aproximación asumimos
y
c .

que

A velocidades relativistas la señal AZB )


/ ( AZA g AZA te g AZBTZ
o B alcancen al emitir recibir segunda .
Nos
queda entonces : C - t =

Despejamos AZB en
función de Ain ⇒ AZB =
cctfdff_A.cn dividiendo todo entre c ⇒ Arg =
1+9+1 AZA ahora
podemos
1 c
Stf


= O

expandir en serie teniendo en cuenta


que
odtilc « 1 .
Obtenemos Ars x
(1 t 941C ) ( 1- OIYC
) AZN =

( 1 -

§ ( t
( Ic #) ) et AZA

=
YC tiempo que tarda la luz

( )
luego nos queda ARB a
( 1-
¥ ) AZA . Esto nos dice
que
el tiempo propio
entre las señales recibidas en B en ir de A a B

las emitidas A El B
es menor
que entre señales
por .

tiempo aparenta comer más despacio en .

Si A envía de luz B todo este cada cresta de onda siendo AZA el periodo de las ondas de luz
• un
pulso a
, podemos aplicar argumento para , .

Entonces ,
relacionando el periodo con la longitud de onda ⇒ AZA =
¥ ; AZB =
taI ,
con lo cual :

bps =
( 1 -

9¥ ) da ,
es decir , que
la longitud de onda que
mide B es menor
que
la
que emite A ( corrimiento al azul
) .

Se puede la luz sale del corrimiento el Podemos



aplicar el mismo
procedimiento cuando campo gravitacional , sufriendo un hacia
rojo .
englobar

ambas situaciones en una misma expresión ,


válida
para campos uniformes ( en
regiones pequeñas ) =) AZB x
( 1 t
0B.cz#.)A2 .
Siendo

10 el potencial gravitatorio ( en el anterior caso


0 =

mgz )
3 Se mide la longitud de onda de láser de He Ne dentro de estación espacial que flota libremente el libre
un una en
espacio
-

resulta ser de 63218 Qué longitud de onda mediría si


persona
nm

una
y
. :

Él
a) y
el caen
juntos libremente
láser
hacia una estrella de neutrones .

El observador el láser encuentran relativo luego de inercial local mide la de onda



y
se en
reposo ,
se trata un sistema y
se misma
longitud

'
se determinó en la Estación 632 8
que
hm
,

b) Él permanece flotando libremente en la estación mientras el láser transmite radialmente desde la superficie de la estrella de neutrones

0ps
0A
°
103 104
de masa
kg y
radio m

• En este caso estamos en la situación del anterior problema ,


la longitud de onda sufrirá un corrimiento al rojo ,
es decir
,
se verá aumentada

0in
G = 6167408.1011mL
52
kg
.

GM
Suponiendo que el campo es uniforme y no
fuerte tenemos que = O
( lejos de la influencia gravitacional ) mientras =

muy ,
Rm
-

6.67408 1015
→ - .

J luego aplicamos que dB =


( 1 t 0Bc.at# ) da siendo B el
punto
de la superficie del
planeta .

Obtenemos así dB = 679.8 nm .


Esto realmente es una
aproximación Newtoniana ,
no estamos teniendo en cuenta una
geometría concreta

del espacio tiempo


.

c) Él permanece junto al
láser
,
ambos en la superficie de la estrella de neutrones

Es la situación el luego medirá 632.8 la estación


• misma
que en apartado a
,
nm
,
como en .

d) Él se encuentra en la superficie de la estrella de neutrones mientras el láser está en la estación distante .

situación la de la la el observador 6.67408 1015 J


La es b inversa fuente tendrá da O en la superficie 0ps = .

a =
pero y

-

entonces aplicamos la misma relación dB =


(1 t
0B.ro/t_ ) da y
obtenemos BB = 585.8 nm
( corrimiento al azul )

4 Sea Vrlx contrarian Obtener cómo ha de transformarse fut la derivada covariant


'

) vector ante ( )
para que
un . x

y VYX )
=
qovvlx ) t
tfjlxlvdlx ) sea un tensor .

DIV 2¥
"
vlx )
'
coordenadas
Por definición Dr tensor deberá transformarse cambio de x.
.pt?gIgvVoVslx )
'
si v
bajo x →
• es un un como =
, ,

las relaciones tensorial dependen del sistema de coordenadas

.pt#gu1qV9lxltflolxlvYxIf
- pues s no

t.glf ¡ blx
' ' ' '
donde las coordenadas 8 Vlvlx ) p DOVKX ) ftp.VSlxltflolxlvdlx )
'
en nuevas tendremos V ( x. '
t lx ) V
'
) mientras =

lxyt
"

pfr IV. dlx


2¥ t.si
" "
Entonces deberá l x.
'
) Despejando para tenemos
cumplirse qq.pt
= v :
le )

÷
2×02
'

GÍRELA
9
2×9 vs 2
"

ftp.lx.lv.tlx.l Vslxl ×
f. v. "
⇒ -

- t - - (× , , ×
, -

vlxy pero
al ser v un vector contravenían su ley de
Ox 't o
j
"

FÉ SÍI vtixgfqst
"
tal v. .
v. v. astvaodftu
"
transformación es
que ix. =
lxl luego qq.gr cx )
'
=
ni = +

÷ dlx
Tio
) 2×9

íixnatstvsixtaxrafavslxltozrzsurso
ftp.4xh-vdlxy.EE ÉI
' "

asÍ + la

y
en el lado izquierdo de la igualdad tendremos
Tfjlx ' 1
Zgtgtvslxl (3) .
Sustituyendo (2) y (3) en
(1) sacamos :

* * *

www.v.ixo?#IxI-aEIffav
"
Notamos los
que

términos realmente iguales los índices mudos los llamar más


*
y
* * son
, pues podemos como
queramos ,
por ejemplo
en * * no
hay que

obteniendo

cambiar b así lo cancelan
signo opuesto , luego
mismo * se
o
que es
que

g
→ un
y q pero
.

T.gjlx.IQ#5vdlxI=y,Ir2zIg
ÉI
"

Nos queda Tfeflxlvdlxl vdlx ) en el miembro izquierdo hemos renombrado los índices mudos :
-


cambiamos S -
o en el índice mudo

T.pt
o

tfeflxlgfqpgxq
}×Í2I
"
'
común ambos lados lo obteniendo Ahora
como I
2Gt multiplicamos
en '
v es (
,
suprimimos , x =

todo esto
por
el Jacobino ⇒
r.qilx.lt#sIaat.Is=?EasfII.srssdxl -

qq.to?aoEreordenamos:2x.=sT v
oxd

%72o.rs
pl

2×0
¥ ELÍ
S

Sr
( × " =
-

Pyo ( × ) -

25×4 el último sumando lo podemos escribir como una derivada de todo


y
⇒ Irxtu ,

Ínflate
+ tfog
2×4 2×1
sí )
DX
corregir
restándole la
parte de la derivada del rer término ( x el re sin derivar
) ⇒ rfgttág ¥ ELÍ ,
- -

#
. - m

O =
Svg 22 xD
22 xD
' =

¡ OÍ tu
v
'
3 ×
pyfrlx
-

M ( )
igm la ley de transformación de la 2×40×5
.
⇒ x =
) -
⇒ esta es conexión

Irxtusx
.
8 j
la derivada covariant tensor
para que
sea m .

Observamos que
esto
implica que
la conexión
top no es tensor sí misma debido al 21 término de derivadas cruzadas
por
un
,

5 Probar
que [ Op ovff ,
= O t función f ,
si
tuf =

tu

de orden ( un escalar )
• Una función es un tensor O ⇒ entonces = es un tensor ( Dvf
auf
conector
,
o
componentes de una 1- forma )

Vamos a ver entonces si las derivadas covariates conmutan sobre la función :

qu ( ver f ) =
Tu ( 2 f) =

2,0nF
-

ftp.f y por
otro lado

Dr ( 0µF ) =
Dvtdf ) e-
2. quf -

tudssf y
si restamos ambas
,
teniendo en cuenta
que las parciales
conmutan :

Orlov f )
-

Dr ( 4 f) =
( fyd -

fut ) rdsf y
si la conexión es simétrica el
parents's se anula
y
nos queda lo
que esperábamos
6 Probar
que [ qu ,
o , IVS =
Rlquvvd y tlwgvl ) =
o implican que ( qu DVIWG ,
= -

Rdquvw ,


si Tenemos
para
el escalar Wgvl que ver Iwgvs ) =
o
,
entonces También se cumplirá que ftp.vv/(wgV9)=o , y
desarrollando :

Dvltlwgvlf
ltrlwgvlf
la propiedad del producto de Leibniz de la derivada dentro de los
qu -
= O .
Aplicando covariant
paréntesis
:

qvltvlqqwgtvvvlqwgtwgqv.si#
Tu ( VS Dvwg twgvrvl ) -

Dr ( Vlquwgt Wg tu
v l
) = O ⇒ aplicamos de nuevo la propiedad de Leibniz
justo con la linealidad del operador :

→ en el ler sumando →
Pv Wg

.
.

→ en el E- sumando →
ltuwgvvvlt Ve
qq.ws t
qu vftvwgtwgvvvvl l r
) y
haciendo entonces (1) -

(2) los brackets

coloreados son iguales pero de signos opuestos luego cancelan


se
, quedando :

vs ( que Wq .

tuvwg ) t
wg ( Div
VS -

KG Vl ) =
O =

ftp.vv/wgtwgfqu,8r/vl
vl ahora utilizamos

Tu ovlws ,
÷ =
ftp.ovlvs

que 10µm VS =
Rlquvvt ⇒
ftp.vv/WgtWgRlquuvt
vl = O cambiamos en el eer sumando el índice modo a
d

Vd
ftp.vv/WatWgRlquvvt O ahora factorizar vd ⇒
( [ Dr NI Ws Rt W
g) Vd esto debe valor
=

podemos O
t como
y
=
, ,

para cualquier vt ⇒ ftp.vv/WstRSquvWg =


O ⇒ ftp.vv ] W ,
= -

Rlyuuwg que
era lo
que
había
que
demostrar

7 Probar la conexión de Christoffel el tensor de Riemann Rdgpu vale


que para
:
, ,

ism =
arrír .

a. rsi trono .
.

ríursr

• Partimos de la definición del Tensor de Riemann en relación al conmutador de las derivadas covariates ⇒ ftp.vvfvd =
Rdquvvl

Así vamos calcular el conmutador conociendo la definición de derivada covariant


que a :
,

* * *

Vd Tv qu Vd
'
ftp.vv ] tuvo Tenemos dos llamarnos Vamos tratarlos
por separado :
v 2 suman *
que *
y
* a
-

. = .

*
tov
Vd :
Llamamos al tensor Duvd = tvd .
Entonces tenemos
qutvd =
qtvd t
tots -

totot o
,
sustituyendo :

I
desarrollamos vd lados

.ro/trofzvotruvs
tu en todos

qlovvdltropvvo sí fifaov trove )


. '
qfauv
.
rnoioov
.
qovv =
.

) +
.

=
quavvt t
qu ( tod vr ) t
ftp.vrtrqurgvvs.fi rdovt -

tu to vl Aplicamos la regla del pnowdo en el paréntesis :

(1)
robot tod quvrt ftp.vrtrqurgvvs.fi to
'
=
22 ,
v t vo
qu qrvt -

fut vs Ahora vamos con la otra


parte
:

* *
Put
Vd No tenemos
que
hacer otra vez la misma cuenta .
Copiamos el resultado anterior e
rgotvsl
intercambiamos los índices libres
µ
← v

2)
ovquvb =

2qvttvoauroftrodavvrtrouqvrtrorgjvs.r.ir zvt .

ri;
Ahora restamos 111 (2) teniendo en cuenta las parciales conmutan los Christoffel simétricos índices covariates tenemos
que y que son en sus :
-

, ,

Líertrmyrtroirsivs
reina
reinos
rími
risk
voqrí .
+ .
.
.

voauí . .

tod
tgj fui qrvt + fuuo to VS
÷
VS donde hemos coloreado los términos se cancelan Nos queda
que
-
.
:

r.ru/vd=voqrotutrqurgTvs - vo
auto -

rodvrgjvs cambiamos el índice mudo o


por g
:

[ qu ,
Tu ] Vd =
qu t
to Rgt VS
VS
Rt
VS
2ft - -

tod
tgjvs y
ahora podemos factorizar vl
y
reordenar

ftp.qjvd =
( qu ! -
t
2ft
rg
to Rgt -

to
rgj ) Vl lo de dentro del paréntesis es el tensor de Riemann Rtqu .

÷ µ

Probar la identidades de Bianchi el tensor de Riemann


8
primera y segunda para

La ta identidad de Bianchi el tensor de Riemann escriben


y segunda
se como :
para

1) Rdopy +
Rlfáp t
's
Rp .
=
O

Op
Da
Dr
2) + + = O

Rtpr
Emplearemos la identidad de Jacobi
para
la derivada covariant ⇒ Ma [ Dp , ,
Pr )) t
f Dr [ Da , Pp ) ) t
[ Dp ,
[ Os ,
Da If = O

ftp.#b
ftp.vrfvovt
' "
Calulwnos ( Do ,
[ qs.rs IJV = 8. -
=
To -

10pts ] Dov Vamos a desarrollar el

Rdgprvs
= Rb VS

Rdgsa
Rdgap
Spr
E término :

VS
"
[ 8ps , Dr ) Da Vd : Dov es un tensor ( 1,1 ) ,
y podemos
tomarlo ,
sin pérdida de generalidad ,
como un
producto tensorial
Veovd = ratl

entonces tendríamos [ 8ps , Dyftatb pero [ 0ps ,


y ] es un operador diferencial y
satisface la regla de Leibniz ,
así
que
lo
aplicamos sobre el

Pavtplapgvgv
ftp.vrt.ro ) T
" "
ftp.vsfrotd
"
producto l tensorial ) rott ⇒ = t ra [ 0pts It =
Rdgpyrots Rlapyrgt sustituyendo de nuevo
y
-

- -

Rloprrs
=
Rdsprts
[ t.to/8ovd=R'gprvavs.Rsapgqvx

f [ 8pts ] ) Vd
"
Entonces Do Da Rdgpy Rtgpy desarrollamos el
"
recapitulando tenemos 1 sumando

++
Rtgprlavst
: = si
y
-

, , ,

' '
[ vsodigpr Rsgprtxvs
"
Do ,
[ op , rsjfv = + -

Rsaprogv = Vera Rbspr -

Rsoprogv

Rsgop
ver
Rssopogv
r
a
p
Ahora los otros términos de la identidad de Jacobi los hallamos haciendo cíclicas de los índices 8
2 2
permutaciones a
, p ,

÷ 8 a

[ Dr ( Da , Pp ) ) v. =
'

[ Dp [ ver 1) Vd vlopR.gr
Rfssáogv
'
, ,
Da =

.
i
Sustituyendo los 3 términos en la identidad de Jacobi :

Rbgop
Dr + + VLDP
Rbgg
'
Rlgoptgv Rfsg
'
Vl Da Rbgpr Vl vl de lo que .
-

Rlopytgv t t
. , lqvd = o
separarnos lo
que va con va con
qu

( Da Rbgprt
Dr
Rbgop Dp
Rbgro ) VS + t
( Rlopyt
Rlgop + Rfssá ) Dgvb = O
y
esto se tiene que cumplir
t vs .
Entonces como ve
y

"
v tener valores arbitrarios debe cumplirse lo de dentro de los anule
8g pueden , que paréntesis
se :

Rlopyt
Rlgop + Rfsg ( ta identidad de Bianchi )

= O
.

→ Da Rbgpr +
Dp
Rbgy .
t
Dr
Rbgop = O ( E identidad de Bianchi
)

La 11 identidad es obvio se mantiene el Tensor de Riemann completamente covariant hay más contraer todo la métrica
que para ,
no
que con
gq ,

realmente lo métrica

Prgqu
La identidad
por definición
ZE la wvaiantemente constante luego entrar
es mismo ,
pues como es = O puede

dentro de las derivadas covariates


, y bajarle el índice d al tensor de Riemann .
⇒ Da
Rpugpy +
Dp Rpgso t Os Rpgap = O

9 Sea { xrf conjunto de coordenadas inercia les entorno Xo Probar


un a un
punto .

que :

r.ms#=Eiist:::::sn.aoxiso:ns.oa:sI
Si XN sistema de coordenadas inercial torno Xo entonces la métrica ) derivadas
gpv ( primeras
x
es un en en ese
punto yµ
sus
a =
y
• .
,

anulan ( y por tanto todos los Christoffel , las 1 Es derivadas de la métrica anulan
se
2o.gg I punto
= o van se en ese
que
con
, , ,
× .

% lxo ) = o
) .
A ter orden es como un
espacio plano , que es lo
que nos decía el
principio de equivalencia

gqu
2g
si lo escribimos Rtquv lugar de Rquyd la antisimemñ será en sus últimos índices
ojo como en 2

qugog
( )
,

Irogqu
,

• El tensor de Riemann se escribe en


general como :

y
los Christoffel serán psgu ,
simétricos en sus 2 últimos , y
no en los 2
primeros

Rdqu , ( ) 2 ) qutdlx
tgvolx
tdplx) TÍ (
tptlx ) ) todo lx ) al evaluar todos los Christoffel cancelan

Rdgpvlxol
x ) t x esto en xo se
- -

=
,

te deriva evalúa al revés los Christoffel andarían


y luego
se se en xo no
pues entonces se
,
-
=

( qutrgó -

rdvtqf ) /
ahora
podemos aunar con la métrica
ggo para bajar
el índice
, pues como
rdygyol × .
= o

× -

- × o

puede entrar dentro de las derivadas


gso
:

Roquvlxot
=
( qu ( gsotgv ) -

2dg sort ) ) /
× × f ( qutogu.tv toqu ) I ahora
tengamos en cuenta la
expresión para
los
X Xo
.
.
=

simétricos en sus 2 últimos índices no en los 2


primeros
,
µ
símbolos de de
frqp f- ( ) les las derivadas
ta
Christoffel especie ⇒ = t
-

y aplicamos parciales que necesitamos

qutsogv
=

f- ( t
quaggov
qidoggv
For
gog -

) ; por
otra
parte autos , =
f- ( auqugog
22g
ogqu
23
gqut
-

) y
restando las :

f- ( t
qidoggv
29
2µg
vgog
gov auqugogthtogqu
22g
gqu )/ obtenemos así lo queriamos probar
-

Roquvlxot
- -

y
= :
que
Xo
Rogpvlxok fe ( sroquggv
qq.gov
aoavgqisfugo
+
-

) /
X = Xo

4 Probar
que q RNV =

tz Tu R

En enunciado Tensores definen del de Riemann


• este
aparecen
2
que se a
partir tensor :

Ricci
Rlogv
Rov subiéndole el le Rtv gor Rsogu
'

el tensor de índice
y
: = =

→ la curvatura escalar :
contrayendo los índices del tensor de Ricci R =
go.RO ,
= Rvv ( traza )

En el lado tenemos derivada respecto de la coordenada XN algo relacionado el tensor de Riemann la segunda

izquierdo una covariant de con
, y
en

derivamos con respecto a otra coordenada ×


"
.
Para relacionar ambas derivadas covariates habremos de acudir a la 2A identidad de Bianchi :

8.
÷"
GTN
gtu
el Ademas
Tu Ryogv t
8g Rjoyut Tu Rsquy = O
para
obtener una
expresión que
involucre tensor de Ricci ,
contra euros con .

,
como

la métrica es covariant mente constante ,


entra dentro de las derivadas covariates
y
actúa sobre los tensores de Riemann :

"
Ahora

Rdy
tvvgotoy
"

Tu g Rsoyvt 8g Rsrqu t
Pv g Rdquy
o =3 R t tu Roy Oy Rou
o centrarnos un
yo todo :
.
.
-
=

oyu

gdp Rsqu , Roy


= =
r -

oyv = -

Rov

de donde
"

Digo Rtoyv Rsy


"
8

Ty gr Rov ⇒ Os DYR o Ves Rdy
ZIDYR
=
= o + =
-
-

÷
" "
R R
yo Rdovy
= =

y
"
govg
=

Rrouy
-

"
't
=
gr g Rquvy ( por
la anti simetría en
no )
=
gdr Rey =
Rdy

11 Probar
que Mrs =

tgqug
=

altas donde
g
=
detlgm )

Tenemos expresión nos relaciona los Christoffel la métrica así acudimos la


expresión
de los Christoffel teniendo
que
con
• una
, que a
,
en

cuenta su simetría es en sus 2 últimos índices


que
:

simétrico la ← v
en suma µ
y p
"
Mpr =

tg ( qu gyv t
2
gqu
- 2
, gpv ) En la
expresión
del enunciado
aparece tifus luego igualarnos v a
g

"
Mpg f- ( gldsygsg t
gstsggqu g
2
qug )
observemos la simetría de los 2 últimos suman dos en los índices
g
d.
-
=
, ,

gsdgggqu =) esto es simétrico respeto del intercambio de índices


get ⇒ gstsggqu =
gtssgggp pues presenta la misma estructura
,

suma en los mismos índices mudos estos reunen los mismos valores entonces su resta se anula
y ,
:

Mpg =
tgldqgsg y
esto debe ser igual a

ztgqg
.
Debemos demostrar entonces
que qug =
ggldqugsg

nt
P"
" a
EP
puede calcular expresión respecto XN
'
Sabemos determinante luego
"
.

que el
. .
-

derivamos
. .

E esta
g
si
go.pe
se como =

ganpn
: ...
:
,
a
EP :P
En
t qu ( go )
"
Ahora debemos generalizada para el pronto
'
de
"
la de factores
qug
.

Leibniz
...

p,
. . .

ga aplicar regla n :
, .
p .

Nos dice
que ¥ Íefilx ) ¡
=
( ¡
? ,
filx ) ) ( ÍZ ,
tití ) . Con lo cual tendremos en nuestro caso :

794N ? ( gtiqugoip )
.tn
) ?
EP
t.Em.io ( go.pe ggsdqugga
'

2g
"

qg
.


g
=

ganp
= =
. . .
.
.

-
go.fi

g
=

11 Probar
que
en 2 dimensiones el tensor de Riemann Rprvgo l x ) vale
Rpvgolx)
=

te Rlx )
( gpglxlgvolx )
-

gpolx ) gvglx ) )

donde Rlx ) es el escalar de Ricci .


Christoffel simétricos en sus 2 últimos índices

µ
• La
expresión general
del tensor de Riemann covariant es :
Rpuvgo =
2g Tuvo
-
2
otro t
MÍ two - tudo
Hug

. Las simetrías de este tensor son


,
ademas de la ta identidad de Bianchi ( propiedad cíclica ) :

simétrico

por
bloques ⇒ Rpv gr
=
Rgoyv

antisimema
anlisimetía últimos índices ⇒ Rpvgo Rprvog

en sus 2 = -

primeros índices Rugo



en sus 2 ⇒
Ryugo
= -

En 2 dimensiones los 4 indices sólo toman valores ( o 1) En Tendríamos n


"
24=16 debido las

, ,
.

principio =
componentes ,
pero
a

de antisinetía solo habrá distintas de cuando ( pues al intercambiar índices queda


propiedades , componentes creo
µ
# v
y g to si son
iguales

lo mismo pudiendo únicamente O Vamos el número de independientes compatibles la simetría


pero con
signo negativo ,
ser . a ver
componentes con :

" 5
N 9 En
principio las únicas componentes independientes serían Roque , Royo , Ryooe , Reoeo pero
claramente
O 1 O 1

O 1 1 O

todas pueden
reducirse a la ta
( por coger
una como referencia ) mediante
operaciones
de simetría .
Veámoslo :

1 O O 1
ZE 1
a- 3 E
1
a- 4 a- 1 a-

~
1 O 1 O - ~ - mm -

Rong
=

Rfqeo
Rotos
Rigor
Rojo
Rqjqq
Rory ;
=
-
=
;
-
=
-

Así la nula del tensor de Riemann Dimensiones Roeoe La llamamos b Roeo ,


que única
componente independiente no en 2 es .
=

orden de índices
con el mismo
que el tensor de Riemann ,
para comparar
µ
Bien acudiendo la expresión del enunciado definimos el tensor
tvgolx ) gpglxlgvolx
) ( )
×
gpolxlgvg
ahora
-

a ,
=
, ,

No es difícil por el ,
mismo procedimiento ,
darse cuenta de
que tvgolx ) tiene las mismas propiedades
de simetría
que Rpvqrlx ) .

única nula será Toros el determinante la métrica


Su componente independiente no =
goolxlgeelx ) goelxlgeolxt que no es sino de :
-

Toeo , Ix ) tanto tienen la independiente las simetrías ambos


Como
tvgo misma única mismas
g Ruego
como
componente y
= .
,

vectorial de tensores simetrías del tensor Riemann Entonces deben


son una base del
espacio con las de .
ambos ser proporcionales ⇒
forgo =

Xtvgo
Nos queda hallar la ute de proporcionalidad o normalización . La hallamos contrayendo todos los índices :

cjogrs Ruso =
Torgo pero dgvogts
gr ogrs Ruso = R es el escalar de Ricci

R =

bgrrglstwgo =
dgrogrs ( gpggvo quogvg ) -
sabemos
que grogo ,
=
St luego GM gpg
=
Si = 2

grog Mgurgyg )
÷
luego R = d
( 4- = d
( 4-
Sfsgr ) ⇒
R = 2h ⇒ b =
Rz luego queda comprobado Ruso
=

Rquqggozu
-
2

donde el corchete denota antisimetizaúón ⇒


gpqggoyu
=

tz ( gpggov gpoggv )
-

3
130 Sean (
'
2) las tres coordenadas cartesianas de de IR Tomemos 1123 la métrica de

Minkowsky
xo ,
x , x un
punto . en

2
dxot
2
ds 2
) 2) dxtdxv
( dx ( dx
diagft )
'
f t
y
tt t 1 v 0,42
y
=
t = con =

µ,
=
; , ,

µ µ

De este modo obtenemos el espacio de


Minkowsky Mz =
( 1123 y ,
) .
Identificamos un cilindro infinito de radio A con el conjunto
de
µ

de 1123 con coordenadas ( xo xt xr ) definido por el


mapa
-

puntos :
.

, ,

( xo ) ( xr )
'
O → xo x
, , ,

xo l )
.
=
× O E .
n
,
R

'
X = Acoso Xo E IR

2
× = Asen O

Tomemos este cilindro la métrica inducida el desde la de definida arriba Al cilindro definido
en
por
anterior mapa métrica Minkowsky ,
. así

se le llama cilindro Lorentziano infinito :

1) Obtener la métrica inducida de la


que
habla el enunciado

La métrica inducida el tensor métrico definido subvaiedad calculado de la métrica de variedad la la


• es en una
,
a
partir una
mayor en
que

subvariedud está embebida .

sub variedad coordenadas XN variedad dado


°
El lleva de las coordenadas 2 de la las de la
que
nos viene

mapeo
a
superior ,
por
metniasubvariedad métrica variedad
superior
p p
las funciones XN ( zo ) la métrica inducida será
rdaxtuspxvg la
p)
coordenadas de la sub variedad
( Xo O )
y gap
=
= ,
, , ,

coordenadas toordenadas tomato 1


Mv ) = coordenadas de la variedad
( Xo ,
×
'

,
×
'

)
Variedad subunidad

Esto cuando daban hallar le forma fundamental la la sub variedad estaba embebida
• es como nos una
superficie y queríamos su
, superficie era
y

Xi (
la identidad el
primera forma fundamental hallaba
1123
dentro de ( la métrica de 1123 es
) y
la representábamos con
mapeo
Ua ) .
La se como

gop
=
sroxiqsxisij que no era más que el
producto escalar
canónico entre los vectores base del plano
tangente
Bueno la variedad el de en 1123 dado sub variedad el cilindro Loreutziano
en nuestro problema es
espacio Minkowsky , por y µ y
la es
, cuyo

xo xo

µ
=

gug

inducida
37 lo podemos de
"

mapeo
es Xrlz ) = construimos la métrica =
ypo ver forma
Acosoo
.

Arg

gvg
2
× Asen =

l "
matricial , pues 11 =

Ifá y
= son las matices Jáobianas . ⇒ =
Nvtog y no
=

Nvyyohog =
Ñyt

donde la matriz 1 tal


y
como
la hemos definido seña 1 =

oo )
Aatsewio [ .

y por
tanto aplicando (1) obtenemos :

(
-
1 O

( gr ) ,
=

o µ
) =) esta es la métrica inducida en la subvaiedad , es decir
,
se ha hallado a través de hacer
explícita la superficie

sobre un
espacio
de dimensión
superior ,
no de forma intrínseca en la
propia subunidad

'
El intervalo vendrá dado dó '
ldxop Á ( DO )
por gyvdzrdz
=
.
-
+

2) Obtener los símbolos de Christoffel


para
la métrica inducida

los símbolos de Christoffel dependen de las derivadas de la métrica trbxplxo OI =


tzgbltdogpqt Opggo rdggop )
-

nuestro la métrica inducida depende de coordenadas así sus derivadas son nulas tanto también los Christoffel
pero
es
que
en caso no
, que ,
y por

pd = O
op

3) ¿ Es el cilindro lorentziano infinito plano ?

La de la variedad viene caracterizada el tensor de Riemann obtiene de los Christoffel


• curvatura
por , que se a
partir

Rdapylxo ,
O) =
2pts
2
rtlp
-
t
toyttp -

trpfdy pero como todos los Christoffel son nulos ,


también sus derivadas
,
el

Tensor de Riemann idénticamente nulo toda la sub variedad esta plana


por tanto
es en es
,
y
.

4) Obtener las
geodésica y caracterizar aquellas por las que se
propagaría la luz
y aquellas por
las
que se
propagaría una
partícula test

" "

de masa m .

Las subvaiedad Xo ( s ) , O ( s ) )

geodésica obedecen la ecuación de las
geodésica . Las escribimos en las coordenadas de la como
zo ( s ) =
(

Deben
cumplir que t
digo
ddjt
%
tov tendremos 2 ecuaciones ,
una
para
cada valor de o
,
es decir ,
para
cada coordenada

Como los Christoffel son nulos prescindimos de ellos .


Las
geodésica s serán dÍa = O :

) DLC
°

( i xo cis b el parámetro S IR

dio =) o =) = t con E
para
=

} esto son rectas en las coordenadas ( xo ,


0
) ,

fftfu sub variedad


'
( b
'

para o = 1 O ) =) = o =) O =
a s t es decir
,
en la
• Ahora ,
considerando esta variedad como subunidad de 1123
Minkowski ,
debemos
mapear
las
geodésica
de forma que XN ( Evls ) )

xo
.
=
×

'
la subrañedad
} las obteniendo
Es el de xo O xo ( s ) OIS ) así
decir X sustituimos geodésica
Acosta
=
, en
mapeo ,
y por y ,

2
× = Asen

las geodésica vistas desde lR3 ( Minkowsky ) .


' "
hélices el 2 "
Xo ( b Tenemos circunferencia luego
°
s ) = a. s t estos son
parametizadas , pues en
plano X .
x una .

que
se estira a

Xt ( s ) A del Para calcular F-


(
'
= cos a S t bt
) lo largo eje xo . su
paso podemos reparametizar a su forma canónica llamando ástbt

(s) Asentís ) ai ( ) xrlt ) Aseult )


'
tb de modo la una sería x.lt ) t b '
tbo xtlt ) Acost
que
=
;
=
;
= .
=

Liga
a.
el como siempre será entonces 29
paso , ,

Ll ×
.

:
- w
• r
La luz luz velocidad ) tipo luz nulo
tipo aquellas Tangente (
se de decir vector vector es de
propaga siempre por geodésica
es
cuyo
• o
, , ,

es decir
,
en nuestras coordenadas zrls ) ,
el vector velocidad es
MaI y por
tanto debe
cumplirse que gpvd3d%d2.gg# = o

(2)

foto
XO dos bo

tai ¥)
= t
• Nuestras geodésica están dadas
por { si derivamos obtenemos el vector velocidad
( el punto
denota

o = a. s + b
,
jn

TÍTÓ
2 . -

( lo ( ) ÁÓZ
?
Entonces debe
ampliarse que
la forma cuadrática dada
por ) OAR ) hijo = O =) -

( io ) + = o

( a.) 2=0
? '
sustituyendo =) ( ao ) t A =)
°
± Aa
"
la condición sean geodésica de tipo luz o nulo
-
a = es
para que .

• Una partícula test de masa un


sigue geodésica de tipo tiempo ,
es decir , aquellas cuyo vector
tangente ( vector velocidad ) es de tipo tiempo ,

Aa
'
s ao ( parte t )
gyvdffIDZd.SI .tt Á la
{
2
'T
?
coordenadas la )
'
en nuestras a O ⇒ -

la -12 lo ⇒ la )
.
> ⇒
,
Aa , _
au ( parte -

'
Aa la condición
°
=) -
no a a a es
para geodésica tipo tiempo

En las
geodésica (2) , podemos expresarlas en la forma xo ( O )
,
eliminando el
parámetro ⇒ xo
(O ) = no
( taI -

bat
)
- bo

que son rectas de


pendiente % = m .
Entonces podemos dibujar un
esquema con las diferentes rectas posibles :

xo

timelike null l luz ) la luz solo puede tener


trayectorias con un = ± A

las partículas solo pueden A & A


seguir trayectorias
con ms ms -

-
Tr
M
14 variedad dimensional 51 '
El espaciotiempo
de Misner es la lorentziana 1+1 dada el producto IR x donde S es circunferencia
por
una
, ,

2
ds
'
la métrica dada el intervalo
?
-2 DTDO T ( DO ) donde los puntos de IR × s están definidos mediante las coordenadas :
por
con =
-

( t
,
0 ) con - coats co
,
O E [ 0,27 ] .
0=0
y
0=27 definen el mismo
punto
de S
'
.

Obtener símbolos de Christoffel del dsr Odtr dtdo dodt tdó


1) los
espaciotiempo de Misner .
= . - -

,
• del intervalo dsr = -2 dtdo -
TDOZ leemos la métrica , que
en este caso no es
diagonal ⇒ ( qu ) =

f-[
( -0 ,
)
Necesitaremos tambien la inversa de la métrica , que
al ser en 2 dimensiones es inmediato = ) si A =

( ac
bd ) =
tán fd
,
Tab
) luego

dado
que
el determinante
g-
-1 ⇒ ( gr
.
) =
( Ie
if ) Con esto
ya podemos sacar los Christoffel :

23=8
Christoffel de ta
Pg f- ( quggv tsvggp rdggpv )
tendríamos componentes

especie : = en
principio pero
-

µ
,

Tanto la será el resto nulo


las simetrías como
forma de la métrica reducirán este número . La única derivada
que
no se cancelará rdtgoo = -1
, .

Mttt = O
pues
solo involucra a
la
componente gtt , que es 0

ttto =
ttot =

Iz ( Ot gto
t
209ft rttgto ) O aparece la unica derivada srtgoo que es nula
-
= no no
pues

= - 1

ttoo =

tztdogto +
209 to
-

Ttgo) = 1/2

loft tzfttgott Irtgot 209ft ) = O aparece la unica derivada srtgoo que es nula
-

= no no
pues

= -
1
un

Moto =
foot =
te fdtgoo tsogot
-

Irogto ) .
-
-
1/2

MOOO = O
pues
solo involucra Irogoo que se anula

de los de ta especie
-
a
partir

Christoffel de 2 a- especie :
tov =

glttfv Tengamos en cuenta que únicamente hay 2 Christoffel distintos de O


, que
son

Tfoo = 1/2 = -

Toto luego de toda la suma como mucho contribuirán únicamente 2 suman dos .

tru =
gtotqu ,
+
gorro µ

Átt = O
pues
tanto el pttt como el To #
son O

-1 = - 1/2
O
- -

ftp.ttot-gttpffotgotpoto =
1/2

= T 1/2

ftp.gtttfootgotfoo.tt
=

~ - O

Ntt = O
pues tttf y Pott son O

1
=
1/2
.

tgfroto
=
m

roto = foot =
gtorio + = O
y por
último too = gtottootgoorooo = -
42
El
2)
de
de Misner plano ?
espaciotiempo ,
es o curvo

Como la curvatura de la variedad la da el Tensor de Riemann se relaciona con los Christoffel



siempre , , que

• el tensor de Riemann covariant es


Ryyqr
=
2g tuvo
-

2otugttdgt.pro -

tdotdpg

• Como
ya
vimos en el
ejercicio 4 ,
en una variedad de 2 dimensiones el tensor de Riemann únicamente tiene 4
componentes no nulas , de

las cuales solo 1 es


independiente .
Entonces calculamos Roeoe Rtoto
= y
sólo si es 0 el
espaciotiempo
será
plano

Rtoto =
Irtttoo -

rtottottttotttto tttot foto -

ttootttt .
-

toootsott =
O luego el
espaciotiempo
de Misner es plano
- - - - .

= O
=
O =
O
= O =
O T
O

3) Obtener el
'
los luz infinito IR sobran edad
que define
las sobre cilindro S
y representarlas
de
.

geodésica que siguen rayos a x como

de 1122 los luz del de los de luz dados


.

Dibujar conos de en varios puntos espaciotiempo Misner .


Téngase en cuenta
que
conos están

las tangentes las geodésica nulas los de intersección


por
a en
puntos .

ir
• Lo
primero
calculamos la ecuación de las geodésica ⇒ t
ftp.xax.P = o

para
la coordenada (
µ :o) T =) Í t T
tapioit = o acudiendo a la expresión
de los Christoffel notamos
que
si el índice

centraran .

ante es T ,
los únicos no nulos son
trtto =
ftot =
1/2 y ftp.t/z luego la suma
queda como :

Í t.TO (1)
+
tt 0.2 = o

para
la coordenada (
p
= 1) O =) Ü t M Oapiaxp = o
pero
el único Christoffel que contribuye
en este caso es topo = -

1/2 luego :

(2)
°O° -

tzió =
O =) la solución de esto es Ols ) =
G -
2 lntczt S )

(3)
2T Ó ( 2.tt )
"

gopiaxf TÓ
debe TO Ú
Los de luz siguen geodésica de tipo null es decir cumplirse s i O ⇒ =
o
rayos
• , = o = .
=
,

una
posibilidad es Ó .

o ⇒ O = cte otra 2.tt TÓ = o =) 2 dt t t dO =


O ⇒ t
ddtf 2 ⇒ Olt ) O, -2 but
y
.
= -
=

→ si Ols ) = de es geodésica , introduciéndole en (1) se obtiene Í = o ⇒ t .


-
as t b luego tendríamos
}Íag
{ tfls + y
(4)

2T tó Ó
las null
Zqi tenemos

otras geodésica son las que cumplen t = o =) = -

y sustituyendo en
(1)

F It Í Í tb
¥ t
¥ ⇒ o
⇒ Ms ) as
y
tanto Ó =

La =) Ols ) Ot 2h ( as t b)
-

por
= = .
= -

astb

Ols ) Oe 24 ( as t b)
{ tls )
= -

así
que tenemos (5)
=
astb

Tanto (4) como (5) cumplen con las ecuaciones de las


geodésica (1 ) (2) y ,
con
(3)
150 ( El semi plano de Schwarzschild ) .
Sea M > O
y hlr ) = 1-
2ft .
El semi plano de Schwarzschild se define como el conjunto de

hlrldttt
tal costa métrica intervalo
te
de 1122 dotado de la di
puntos LT ) ,
r
que
-
os
,
r > ZM lorentziana con DSZ = -

1) calcular los símbolos de Christoffel del semi plano de Schwarzschild

hlr ) o

(
-


La métrica viene dada
por ( gu ) =

, ) y
al ser
diagonal la inversa es la inversa de cada uno de los elementos
o h, ¡

[ )
hlro
"
"
( GM ) =
HYR ,
Observemos
que
no dependen de la coordenada temporal

• Los Christoffel de 11
especie se definen como
trgpv
-

f- ( 2µg gv t
Irvgqo
-

rdggy , ) :

tftt =
O
pues 2tgw.co
al no depender g
de t .

Tftr =
tfrt =

f- ( rdrgtt ) = -

htzrln Hemos prescindido de escribir las derivadas respecto de tya que se anulan

ttrr =

tz ( idrcftrtrtrgtr ) = O
pues
los términos no
diagonales se anulan

trtt =

tz ( -2g # ) =
tzh.ch
el nulo derivada t involucran términos la métrica que nulos
ftp.trrt = O
pues primer sumando es
por
ser una
,
y
los otros no
diagonales de son

rrrr =

tzlargrr ) = -

tzhirhr

• conocidos los Christoffel de 11


especie ,
como la métrica es diagonal =) tipo =
gldtrquv = gdt Typo :

Así directamente los nulos subirles el der índice multiplicando por el elemento de la inversa del tensor métrico
que podemos coger
no
y

rt.r.tt#=tzhtI
"
asociado la coordenada la de la métrica hlrt
a
que corresponda ojo es inversa = -

µ
⇒ de tttr =
ttrt = -

htt =) rttr =
rtrt =
gtttttr =
.

HIRÍFHI
) ⇒
hlr )

M

#
=
grrtrtt = hlr )
( Ehhh ) =
tzhlrlh.ir )

hinfehih )
rr

.
=
grrrrrr = = .

Ethirt
el
2) Calcular el tensor de curvatura de Riemann
y
decir si semi plano de Schwarzschild es o no curvo .
Obtener el tensor de Ricci
y
el

escalar de Ricci

Comenzamos con el tensor de Riemann covariant que posee más simetrías al estar en dimensión 2 el tensor de Riemann tendrá

,
ya .

fznr (

zqurgo
N = N 1) 1 única componente independiente Será
Rtrtr
-
= .

hi

ttrrtftttttrtrtt
HÍI

TÍTÑÍFT
lílr ) lílrl h.ir )

Úlr+
.

2h

rrrtftr
O l r )
- -

I 2h Ir )

atrtfrrar
z

=
asruvo
-

aormg
+
rdrgrxro -

rtorarg luego Rtrtr =


.

'
2

"tzh
2
)
'
h ( r) h (r)
Rtrtr Rtrtr hlr )
2¥ luego Rtrtr 2ft O
1 es
⇒ lr ) pero
i como no
2-
-
=
-

# y
= = -

el semi
plano de Schwarzschild no es
plano , aunque asinhdicarnente cuando rosco sí se hace
plano .
Aunque el tensor de Riemann sólo lo el Riemann mixto
• covañante
tenga una
componente independiente ,
no ocurre mismo con tensor de .

Vamos hallar de
Rtrtr
a sus
componentes a
partir .

Rgqu

nulas de ⇒ Rtrtr 2ft Rrttr 2¥ Rtrrt 2¥ Rrtrt 2¥
= =
componentes
no
; ;
-
= =
;
-

Rtrrt
Rbq
gds
,

la métrica diagonal le la de la métrica adecuada


por la

como es subimos el ter índice multiplicando componente de inversa
,

.
=
Rgop , =
g. Rsopv

2 M

Rtrtr gttrtrtr Rrttr 2Mpts21 gttrtrrt Rrtrt


" rr

; g Rrttr =
;
=

nrqftmmg ; g Rr ZMKZMR
=)
= = = = -
= =
#
.

Luego Rloy ,
tiene 4 componentes no nulas
y
2 independientes (1 más
que el tensor de Riemann covariant )

Vamos el tensor de Ricci Este es tensor doblemente covariant se define contrayendo el ter 3N índices en el tensor de Riemann
• con . un
que y

Rpv -

gsorquov =
Rouou

gtt Rttv
"
Al la diagonal solo hay Rpv
ser métrica 2 sumas +
g Rqur
=

Rtr
"
R #
=
g Rrtrt = .

2mlrr.us#n ; = O

YT →

¡
"
/ beso Kmt
( ryqoqumg )
#
Rrt Rrr gttr

ttuxrxv
⇒ =

; ...
=

ryrrn )

"
• El escalar de Ricci se obtiene a
partir
del tensor de Ricci
contrayendo sus 2 índices ⇒ R =
gt Rpv

en nuestro caso al ser la métrica diagonal R =


gtt Rtt +
grrrrr =
( 2ft .

rjtf 2Mt ) ( t 1
-2ft ) rrlr
2mm
-
In )

obtenemos R = 41
r 3

Schwarzschild
3) Obtener las
geodésica nulas del semi plano de y dibujar los unos de luz en algunos puntos del semi
plano

• Las geodésica nulas , que son las


que sigue
la luz
,
son aquellas que cumplan :

1) la ecuación de las
geodésica ⇒ il t
tlvxr ir = O

2) la nulidad dsr
quvdxttsdxils) dxrlsl itds
'
de luego
condición ⇒ = o ⇒ = o
pero
=
ddtttds = ⇒
guiri
= o

de las ft Rttr ttrt hin


• Plantearnos la ecuación
geodésica los inicios Christoffel no nulos con son = =

tz hlr )

,
→ t I t o ⇒ Í t hit For o (1)
para
: = =

hlr )

(2)
Ü
trrxrxr ir Ir
f- HÍL
.

tqhlrllílr )
→ r : + o ⇒ + ir O
para
= .
=

h ( r )
(2)
Plantearnos la ecuación de nulidad
'
It grrit ir lílrot 2=0 ( si )
guiri ⇒
g rsrm
• : = o t = O =) .

(3)
⇒ ir = lilretr ⇒ i = thlrot ⇒ dr = ± hcndt ⇒ dt = ±
drhlr
)

t.tfrrmd.ru la integral es
my
sencilla / rrndtr = -

f # dr = -

ftp.2mtrtz-n/dr=-r.2mfrdrn#m)
luego T = t
f r t 2 Mln ( r -2 M
)) t C
±
y si incluimos la dependencia de cada coordenada con el
parámetro afín s
,

14
→ Las trayectorias nulas ( test ,
rls ) ) cumplen tls ) = ±
[ rls ) t 2 Mlnlrls ) -2 M )) t c
±
y
ahora debemos
imponer que esto sea

compatible ( cumpla ) con las ecuaciones de las


geodésica ( 1) y (2) . Recopilemos las 3 ewucioues
que
deben satisfacerse simultáneamente :

→ ec .

geodésica para t ⇒
Ü t HIM For = O
(1)
hlr )

Ü Ir HÍL ir
→ ec geodésica para r ⇒ +
tmhlrllílr ) .

12
hlr )
= o (z )

de nulidad luz ⇒ ir thlrot ( 3)


para trayectorias
→ ec .
=

Vamos IZ
a ver si
(3) cumple con las ecuaciones
geodésica .
⇒ =
than luego sustituyendo esto directamente en obtenemos

t ftp.i2.z1/hfi2=o Ü
Ü rls ) luego las luz la de
-
=) = O =) = astb trayectorias cumplen con
(2) con condición

rls ) astb

{Tcs
=

( s ) tb teniendo la forma de rlsl empleando (4) tenemos


que r = as
pero ,
) = ± Las + b +
rmlnfastb -2Mt ) t c
±

Debemos introducir ) satisface Para ello calculamos las derivadas


y comprobar que
esto 11 se necesitamos meter
en
que
:
.
,

I 2 Ma
Í ZM
i = a ;
= ±
( a +

mash ) ;
= I
AZSITOÍTP tambien necesitamos
hht =

rff.tn
=

,
fastbyasi.be#

obtenemos así

T.ca?+mInitcas+niams+io#la+a:faTnI=Tia2stmImitias+niamstii.rT+castbImaaIIpma2
mal

yfytm-tymfgam-z.tt#tyF+yfgam-
3 (z )
Por
simplificar llamamos
M
2 M astb ⇒ ma M
z
.

m =
I ±
y
=

=p

pero
el numerador I ±
Marty
mfiy Te
'
nífi
MYA
± =
O luego cumple tambien con la ta ecuación
geodésica . Entonces las
geodésica ,

{
dadas
rls ) = as t
de
tipo luz vienen
por
=) cumple un
(1) (2) y (3)
,

Tlsktlastbtrmln ( as + b-
rnyy + c
±

Si
pintamos
las
geodésica de la forma Tvsr =) Tlrl t
f 2 Mlu ( -2 M
)) C hay tener cuenta r

2Mt
t en
.
= r t r
± que que >

!Él
;
l del el
tu ↳ with t " "
" " =)
"

Si " + S " " " "


"
He
'
→ 4 "
"
tótem " " M °

" "
" "

'
t ,
l

§
r
LM "

si las del signo t =) → 4 ll i ti " " " " ^ "
cogemos " " " °
,

r
µ
Si ambas encontraremos los de luz en los de intersección
plotamos puntos
. conos :

{ .

anos de euz

ltf
ZM 9 a µ

160 Sea la métrica con simetría esférica dada


por
el intervalo DSZ = -
hlrkrdtthtlrldrr trdslz donde drz = dót serio clop

corresponde a la métrica "


redonda
"
de la 2- esfera .
Las coordenadas de la variedad espacio tiempo son (t ,
r
, 0,0 )

1) calcular
GM

lo le vamos considerar c = 1 ⇒ dsr hlrldt lit ( r ) dr 2


t M do
'
t r
'
serio dp
2
de aquí leemos la métrica
y
• a = -
+

-
hlr )
"

hlr

ti]
"

(
H

)
"
(g µ
) =

y
al ser diagonal la inversa es sencilla
lgm ) =
)
rz
.
,
,
pgapo
gano

2) Obténgase Mm .
Calúlese Rdqor

43=64

Empezamos con
Tqn =

t ( qugg ,
t 2 ,
gqu
-

2g gpv ) tenemos que calcular componentes .


Son muchas así
que

el
vamos a
organizar trabajo por grupos o casos :

A) Todos los índices iguales

B) Dos índices son iguales y el otro distinto

C) los 3 índices son distintos

Caso A) todos los índices iguales ⇒


tu =
f- ( qugqutqugqu Iggy , ) -
=
tqugqu Ahora damos valores a