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

TÍ
= 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
OÍ
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 :
-

OÍ
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
OÍ
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
OÍ
inducida
37 lo podemos de
"

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

Arg
OÍ
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 °
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
y
:

RZ

.
tttt = O
pues
la métrica no
depende de T . Tooo =

tidogoo = o

ñtn

•
trrr =
tzsrgrr = -

tzhlm .
topo = O pues
la métrica no depende de
¢
Caso B ) 2 índices iguales y
uno distinto : puede darse de varias formas :
tppv , Tpvp ,
tu
O tu 0
pues y puesto
B. e)
rtr tu .
=
tz ( qgwtargw.su/gps) ⇒
tu =

tzavgqu
iguales cabía

qfigr)
esperar por

tqugr
su como

B.
2) # v
try =
t ( srvg µ
-

⇒ fuyu =

tsvgqu simetría en los 2 últimos índices

B. 3) nto r
w
=
ftp./gwtqpigyu-avgw) ⇒
tyy = .

tzavqur

Ahora darnos valores concretos a los índices

por
simetría en los 2 últimos índices
µ
B. 1) tttr
.
=
tzsr ÉÍÍÍ .

th
.
lrl =
ttrt ; ttto =

tsogtt = o
; ftp.tzaogtt = o luego ttot =

ttot = O

÷
w

el
=
trro =
trro = O
pues grr
solo depende de r .
Entoncespor simetría trtr =
Prop =
trpr = o

2
r

foot =

toco = o
pues goo no
depende
de t ni
0 .
Por simetría
Toto =
todo = O
; Poor =
tzrdrgmo =
r =
toro
rrseño

toot = O
y por
simetría
toto = O ; toor =
tzsrgoo = r serio =

toro ; topo =
todo g #
= risen coso =
Tpop

B. 2) por
simetría
ya
los hemos contado en B. t

-
hlr )

B. 3) Mptf = -

tzsrgtt =

thllr ) ; tott =
tott = o
pues gtt
no
depende de 0 o 0 .

ttrr = -

tzttgrr = O ; Torr =
Mprr = o
pues grr no
depende de 0 o
¢

ttoo = O
; troo = -
tzsrgá = -
r
; tooo = O

rrseío

tf #
=
O
; troy = -

tzsrgoo = . rsaío
; topo = -

tzsogpq = -
rrsenocoso

Caso C
) los 3 índices son distintos :

¡ 2gfqu )
pues # O

f #
r #
v ⇒ tquu =
f- ( qisutsvgqu -

= o

Así que los únicos no nulos son :

trft hllrlm
tzh f- trrrr t
'
•
tttr =
Ttrt = -

lrl .
= hllr ) . = . •
Proo = -
r

hlrp

troy serio Toro =P Popp toro toor serio

2
• = -
r .
= r o = r seno coso o =
= r
por
-

todo
'
•
toco = = r seno caso
 •
Para hallar los Christoffel de 2am especie =)
ftp.gdltqu , pero
al ser la métrica diagonal ,
de la suma en
f
solo contribuye

Ptm
»
el término T cada Christoffel nulo le el der índice la de la
f
= b =) =
g luego a
no subimos multiplicando por componente
qu ,

inversa de la métrica asociada a esa coordenada . Obtenemos así :

h h

tttr Ímgttftr
~ m

ttrt.fr#=hgTrtrtt=zhh..trrr=grrprrr=.1hf
• =
thf =
otro =
grifo = -
rh

h riseío
un

Íororo
ftp.grrrro/o=.rhsaio roro
.

t.roor.ro#=gEoiroop=.senocoso.r0ro=gT0rpro=it=roorr2sen2O
• . = = r

.
'
#
•
tipo =
g rojo , = t tomo I = toldo

Ahora tenemos hallar las del tensor de Riemann Lo más simetrías

componentes empezar por Rgquv que tiene
es
•
que .

mejor
:

Rgquu
=
fulgor
-

2vtqquttlt.gr -

tdófsqu y luego ,
como la métrica es diagonal ,
habrá una relación 1 a 1 con el

gop diagonal
ser
por
" µ
tensor de Riemann ⇒
Rtov =

g Rgquu
=
gdd Rdquv

las todas
Teniendo en cuenta simetrías de
Rgoyru aquellas componentes f
o con v serán O =)
Roqrv O
Rgqyu
=
con o
µ
• = = =
,

Nos darnos cuenta de hay ninguna pérdida de generalidad si consideramos si es el caso mediante
que no
qco y µ
au
pues no una

Transformación de simetría podríamos ponerlo así .

Hagamos una lista de las componentes independientes antes de

ponernos a calcularlas :

Rroro
Rroog
Rrorg
Hemos subrayado del mismo color los repetidos

]
Rto debido a la simetría
por bloques
de índices
Rrgro
Rrgrp
Rroyoy
Rtrtr
o
.

Rtrto
Rtrtp A la derecha en la nueva tanda de índices de

Rtotr
,

Rtrro Rtotp
Rtoro
Rtooo Rtotr
Rtoro
Rtoto
Rtoocy la forma incluimos la fila de la hemos
Rrquo ,
no notar
que no empezado copiando

la izqda
Rtrrg izquierda que comparte los 2 les índices del de
Rrotr pues
consultando la 4 a- fila de

Rtr la derecha l la de los índices ro ) vernos

0g que no
puede aparecer

ni tr ni TO ni TO Podemos decir cada

que
.

, ,

los últimos índices los

caja comienza en 2 con

Royo¢ 2
primeros

• Ahora si
cogemos todos los independientes ( los no
subrayados y
uno solo de cada
pareja de subrayados ) podemos contabilizar 21 componentes .

( Realmente la 14 identidad de Bianchi sólo independientes pues hay escribirse combinación de otras dos )
,
aplicando , hay 20 una
que puede como

Rtrto Rtrro Rtoro Rtoocg Rroro

R
R Rtrto Rtrrp Rtrool Rtoto Rtoto Rtoro RTO 00 Rtptp R
→

toro toro
.

rtr , , , , , , , , , , , ,
, , , ,

R Esto de todos nulos

Rrorp Rroop , , Rroyroy , roto ¢ , Rogad . no
significa que muchos estos no
puedan ser .

• Ahora nos toca calcular cada no de estos .

 O -42 h'

tyafyttfqntrtttrtrttofrttotrtttrfttotr
rttltrr
r -

.
Rtrtr =
rttttrr -

idrttrt tttttxtr -

tirrtxtt =
-

idrttrt
O

ttrrtttt
{
trrrtrtt Torrtott tttrrtott
!
"

% tzh
- -
- -
=

yinsen
contribuye
.

solo

Rtrto ttttro rdottrt +

-

tlrotstt Íftrt
torottóott
ttrttftto
atrio+
-

=
o

¡
-

• = -

?
de esta suma en b Christoffel de la forma P solo
hay M
,
,
rf

pues
la métrica no depende de 0 por
tanto tampoco tquv
y

•
Rtrto =

ttttro
-

80 ttrt tttrtt.to Tdrptdtt -

=

rdttfry
20M¥ -
= o así
que
toda derivada a , es nula

lo ÷ Solo toro tott

ttrtttto

TÍII
•
Rtrro =
Or rtro
-

Oottrrttdrrrsto -
=
Ootfrrtrrrrrrfo
arrttro
Toronto
tdrotfto
- -
= O

•
Rtrrp =
Irrttrosottrr +
trtrrrsto -

tdrotstr =
Irrtfrosotfrr
torottótr
tirrrfrtp
+ -
= o

•
Rtroo =
Irottro
-

srpttro +
tiro ftp.t.ro/rsto=2otfro-2pFtrotr0ror/oto-rrpr#o=o

rttrhhym
aotfáttttforto
ttttisttfo Proof

rtoorirr
aottotttdothto Moo
'

Rtoto =
Irtttoo =

trhh
- - - -

•
Rto #
=
-

de +
OÍ
# stoftp.t
otro MÍ -

att . o

aoíiortrdorriro
ftp.O

Rtoro
tdootftr
srotfor
srrtfoo TÍO
• =
- -
= O

rseio.ar.ro
P distintos
trorprto
rdopttttr
Óptfor
t.TT
O 3 índices f solo al tener 3 índices es O
por pero

•
Rtorg =
.

Irrtfoo -
= o

50 to ⇒

augrttootrdootxto
Rtooo srotfoy
rdogrtto
• =
-
-
=
O

÷
lo
prootrty pero
al tener 3 índices t es nulo
o

attttpg
tttpttr
Ítfto
# rtgorrtt topsptott
trpotrtt tzrseiohh
.
•
Rtpto -20 =
- -

= -
=

- -

rh serio Yrh '

aquí hay 2
,
D= r
,
O
-

rdotforttdprhto
%
O

• R
toro
= ser -

# tdootstr
-
-

-
= O

t
solo b
# luego = O

tftorttiorrfto
Hoop
Rtorg ser 20
tit.to/=o=o = O
- -
• =

opuesto pues solo tío

y trotr = o al ser I índices

Rtooy 2$
tdpotfto
gottbootfsto
#
sróftog
• -
- -

= O

toto =
o foto = O

otrórttborrdro
tdootdrr troop
Rroro Iertroo ttoor toro RI
8 ser Troo t
-
= -
=
-
=
• -

rrr
"
Tr Fin Intuya
w me -
ir
solo D= O solo b .
-
r

.
Rrorp = -

surtido - = o

Mooting
rdopttro
÷ D= 0

•
Rroop =
srotióg -
+
apto -
-

-
=
o

RRÍÍÍÍ
> = r b 0

.ro#rdorr=.tzrseiohf
=

aoitioirtrdorr
aire no ,
rs.r.at#troorror
-
= -

,
-

, . , .ro

serio ÷
solo y =p 2 unhib .
f- r
y
b =
O
FT IO - TÚ
o o

-80%00 tpotyro
rpptfro
•
R
roto ¢
=
20 troto t Moto Mrp -
= 20 tropt toldo
toro
-
T -

topo toro =
-
risen OCOSO + rsenocosotrsenocos 0=0
.
-
mm T
-

-
rseño
solo D= 0
s .
.
r
y
D= O .
rgaio Ü TÚ .
senocoso

20100
÷
009000 Tdolotdoo Tdp 0100 ttr 000 Mpod tipo trigo )r Serio
'
•
Royoop = + =
20900cg ( 1- h
- - -
=

senocoso solo f- 0 t.ryd-o.rrsenowso.IR?cosothTi0hI

pero POOO
= O
 Vamos todos los nulos los que emplearemos calcular Rbqu de las simetrías
• a
recopilar Rgqu ,
no
, que
son
para ,
a
partir

tzh Rtofo Rtgto rhfí serio

"
• Rtrtr = . =
rhzhlm .
=

•
Rroro = -

rzhhlm .
Rrgrp =
-
rahhlm serio .
Ropoo, =
(1 -
h ) rrseio

•
Aplicando Transformaciones de simetría a estas componentes y
subiendo el ler índice con gtt ( gracias a ser diagonal) obtendremos los
Rbquv

Basta aplicar la anti simetría de los 2 les índices subirle el ler índice luego aplicar anlisimetía en los 2 últimos
y
con :
,

1,434 Rtrtr ⇒ Rtrtrgttrtrtr = HÍ anti simetría en los últimos índices Rtrrt = HÍ

y por

{1
-

2h 2h

rzi.FI
Roto
- Eten

Rtoto
Rrttr Rrttr ht
"

Rrtrt
" "
← 2 . -

Rtrtr ⇒ =
g Rrftr =
grrf
.

Rtrtr ) = .
hzh y por anti simetría =

inYzh
-
"

Rtoto

[
2,3 , 4 Rtoto ⇒ =
gttrtoto = -
RHÍ y por
ontisimetía Rtoof =

'
tesr Rotto - -

Rtoto ⇒ = goo Rotto

gooftioto )
= = -

hzt y por
antisimehía Rotot =
hfrí
FE trhhy

Rto # gttrtoty Rtpgt htr

[Í qofotfntqtqi
34 ⇒ = = -

hztr serio
y por
anlisinetia = serio

÷RHZI serio

#
2
Rptto = .

Rtoto ⇒ Reto =

g Roto =
.
-

halt y por
anlisimetía Rtttot =
taI
th
? '

j genio - serio

R Rroro Rroor MÍ

[
GNR RHÍ simetría

IÍRO
2 ⇒ anti
por
= =
y
=
-

roro roro

T TÑYH

qq.at#I=rhrnyporanlisimemaRoror=-rhrnrhYzhRroro
rorro go.ro.ro .ro
= .

raro .
⇒ = =

[ aguánteme
;
"

⇒ Rrprp =
g Rrprg = -
rzhlm serio y por
antisimetía Rrqpr =
RZI serio

ÍÍR T.tn seio

#
"
Rprrp = .

Raro, ⇒ Remy =
g Rorro, ) =
y por
mis imemñ Rotor = -

qnootfqqnqap
¡;III
' ? ' 3.4
' Roolool ⇒ Rtooo (1 - h
) serio
y por
anlisimetía Rtpoo =
( h el . serio

{
" "
ks , Rpoooy Rogad Rttooo g Rqooo, g ( Rogop) h 1 anti simetría Rttooo 1- h
⇒ y por
= - = = -
= -
=

Io serio

•
luego los
Rtgp ,
no nulos son (
junto con sus simetrías en sus 2 últimos índices
)

'

Rtrtr HÍ Rrttr
"

Rtoto RI Roth heh

=
hhz = .
. = . = -

2h 2 2 r

1
Rto # = -

hztr serio Rtttto = -

hahrlm Rroro = .

NÍ Rorro =

2 rh

Rrgrp = -

RZI serio Rolrry =

Í Rtpoo =
( 1- h
) serio Rtlooo = h -
1
2 rh
 escalar
3) Calcúlese el Tensor de Ricci
y
la curvatura

• El tensor de Riui se calcula a

partir del tensor de Riemann contrayendo su ler
y
34 índices =)
Rm =
glo Rg µ o ,
=
Rtov

Sus
componentes se podrán representar en una matriz 4×4 :
Rm =
Rtntr +
Rtrv t R
% v
t R Ppupv

acudiendo a los Christoffel vemos

que cualquier componente de la forma Rlpgv Rfuyg implica que µ v así el tensor
pero
=
que
o
,

de Rivi Entonces solo tenemos calcular 4

será
diagonal componentes :
que
.

Rtt RrtrtRtfttt
Roto t Rtttpt (
" '
rh 2h )
nqqirhr
→
= t t t +

TE th

[
"
arrestar
"

eirrr l
"
" "

t.int?.rq.nr=-rtnlrh
+2
+2
+

Iatálrn
→

}
)
"

no ,
qq.ru
. +
. .

Rrorot Rofooot
.

Rolppo 1- h
.
→ Roo =
Rtoto t =
-
rh

- m m
O
( h ) serio
.

-
RI -
RI
'
1- h 1- -
rh
2 2

Rtptpt Rrprp #¡oy ( h ) serio

'
→
Roto = +
Ropop t R = 1- -
rh

ÍITICIHTIO
-

rdisaio

del Ricci R
• La curvatura escalar se obtiene
contrayendo los 2 índices tensor de ⇒ =
GNR µ
.
En nuestro caso
,
al ser
diagonal :

gtt Rtt tr ( ( 1- h rtshío

"

hat ( ) ) (
'
R t
' '
Rr GOO Roo gold Rojo h rh
"
2h
'

) rh "
2h
'
t rh
.
1- h rh
.
) serio
g
= t t = + t r +
-
- -
-

R
t ( 2)
"
obtenemos r 2h 4 h '
t 2h
operando t
= -
r -

4) Obténgase el tensor de Einstein Gw =

Rnr tz Rg
-

Como Tanto Rpv diagonales Gw también lo será

como
gw son
• .

t tr ( tff 2) ) f- h )
" "
2h '
'
2h
( 4 rh '
2h )
Gtt =
Rtt -

Rgtt = rh t -
r t t - =
. . .
= -

hay ( r h th -

1)

ft
lit
Rrr t zth (
rh
) 2) ) # (
" "
2h 2h
1)
.
2h
(
'

Grr Rgrr 4 rh '

h h
Iz
= - = -
+ - r t t - = . - .
=
r t -

tzrgoo ( 1- t ( tf 2) ) rz (
"
2h 2
Roo 2h
)
'
h 2h
' .
) 4 rh r h
'
Goo
.
=
-

= -
rh -
r t t - r = . . .
= t

( tff 2) ) señor ( rh )
"
2h
tz Rg
r
2h
(
"
h ) 4 rh rrseío
' '
serio
.
rh 2h
Gpp =
Rpp -

#
= 1- -
-
r t t -
= . . .
= t

t
'
h
( r th
1)
- -

* "

( ¡! )
" "

* =
"
. "
,

rseq20_frh.lt )
'
2h
 Iztrr 02=7 hlr )
taI dsr
( t ) dtt
( taI jtdr trdrz
2
→
si 1 > o ⇒ hlr ) = 1- introduciendo ⇒ = 1- ⇒ = - 1 -
1-

→ si Aso =) hlr ) = 1 -

tzhr
2
introduciendo 02 = -

In =) hlr ) = 1
trate ⇒ ds 2
= -

( 1
t ) dt
2
+
( 1
+ttaI jtdrrtrdrz
170 Sea el
par ( M , g µ ) donde M es un
espaciotiempo en n dimensiones
,
n > 2
, y gu
la métrica Lorentz iana .
Se demuestra
que

( U
,
g µ ) es máximamente simétrica si ,
y
solo si :

Ruso ntf-lgpgg.ro grogvg ) 4)

= -

Probar solución de las de Einstein el máximamente simétrica 1=0 A la

que
no existe no
plana ecuaciones en vacío
que sea si .
es

las
constante cosmológica .

( tu ) 1=0
• Las ecuaciones de Einstein en el vacío = o son
quv ttgp ,
=
O
y
si ⇒
Gru
=
o
,
es decir :

Rpv
-

t Rg µ
= o (2)

Queremos soluciones de (2) que cumplan (1) solo decir de Riemann idénticamente nulo Rtquu
•
probar que pueden ser
planas ,
es
,
con tensor = o

• Vamos a
expresar (r) con otros índices libres -

Ryo
f-Rgvo = o de manera
que podemos expresarlo en función del tensor de

Riemann como
GM
Rpugo
-

f- Rgvo = O
y
ahora podemos sustituir (1) aquí :

tz Rgvo

Íntegro
hgvo
1
St donde variedad
⇒
GM ntf.my ( gpggvo -

gprogyg )
-
=
O
tengamos en cuenta que GNS
gpg
= = n n ± dimensión

⇒
ntt ( gvo ) t Rgvo = o
⇒ Rzngvo = o esto no debe depender de la métrica luego
-

,
- -

§
:
esto sólo R Pero virtud de (1) R
Si 2
podrá cumplirse si
Ryvgo
>
=
pero
n = O . en si = o entonces = O

esto así general ) si entonces Rtvgo glut Rugo O tanto la solución debe ser
plana
Ruego
es en ⇒
y por
no = =

y
.

180 ¿
Distingue el red -

shift gravitacional entre los espaciotiempo de de Sitter y

de anti de Sitter ?

• Suponemos que tenemos una métrica independiente del

Tiempo quv y
mandamos una señal luminosa de Ir a Iz . Entonces

c Are =
.ge#)Axo y Carr =
ngo.li#AXo pero
la frecuencia es la inversa del periodo ( propio) =) vi =

stz

luego
Í = de =
.ge#)Axo y V
=
I bing.li#Axo
y
la relación entre ambas frecuencias cumplirá :

÷ ÷ soso.o.fi# a
.
.
.
.

• Para m
espaciotiempo
de Sitter ds
'
= -

( t -

ttr ) dtr +
( 1- tztrjldrt M dlr luego goo
= -

(1 -

tznrr )
 e introduciendo en le ) sacamos
te =

ftp.T.3-1-T (2)

• Para m
espaciotiempo
anti de Sitter ds
'
= -

( 1
) dtr
tztrjldit
( tftr
+
et 1 M dlr luego goo
= -

( tznrr )

te tester
3pts11
introduciéndolo obviamente de (2) red shift gravitacional
e en (1) sacarnos = =
que
es distinto así
que
el -

entre ambos
sí
distingue .

190 En un
espaciotiempo
de de Sitter se emite desde Fe una señal luminosa con frecuencia propia ve .
¿ Qué frecuencia
propia le asignará a

señal luminosa observador ío ? ¿ red shift gravitacional ?

Hay
esa en
un
-

• El observador al
que
le llega le asignará una frecuencia propia lo de modo
que te =

9004C y
si estamos en un
espacio
de Sitter

goolto )

goo (
II = -

( 1-
tznr 2) =) VÍ =

3.tl# 3- trí
.
Distingamos los 2 casos posibles :

VI 1 ⇒ vo ave =) dos de luego hay corrimiento al

→
ro s re =) a
rojo
ve

→ ro are ⇒
¥ s 1 =) Vos ve =) dos de luego hay desplazamiento al azul

20 llama Probar que todo

"
solución las
"
Un
espaciotiempo se Ricci flat si cumple Rpv = o .
espacio tiempo que
es de ecuaciones de

Einstein el 1=0 flat

"
vacío
"
en con es Ricci
y
-

• Las ecuaciones de Einstein son

Guv t
Agua = 8h
Gtv ( c = 1 units ) .
En el vacío
y
con 1=0 tenemos Gyv . o

(1)
⇒ Rm -

f- Rg µ = o hay que probar que esto implica que Rpv = O

conlraemos con
gr
"
⇒ GM Ryu -

tz Rgt
"

qu ,
= o ⇒ R -

tz Rn = o ⇒ R =
Rzn luego para que valga para
n arbitrario
- -

= R = n

⇒ R = O
y sustituyendo esto en
(1) obtenemos directamente Rpv = O
( valido
para
n s
2)
 (1)
21 Se llama vector de
Killing , Kr ,
de la métrica
gps ,
a
aquél que satisface Yuko t
Dukes = o .
Probar que si
kr es un

la cantidad ) xrlbl )
vector de
Killing ,
entonces
z( xrlb ) =
rylxlbl ) DDIF se conserva a
lo
largo de la una
,
si XN ( b es

geodésica de
gu
una .

• Debemos comprobar que

el escalar zlxld ) ) no varía a lo largo de la curva
,
es decir
, que
DI = o

db

donde la derivada a lo largo de la una se define como

Dmdj =

¥1 qu luego hay que comprobar que ddtflpz = o

daftqz-daIofk.de#=daIf(daIqkvtkvodaqI)=daftdIqkvtkrdaftqdaI
anlisimétios
÷ xvld ) la de indices índices
ves si es geodésica su vector velocidad
=
ddxgfddxgrqukv = o
pues
contracción simetría con es O
transporta paralelamente Ddyiv
.

se = o

- -

simétrico en
anti simétrico
en
pu por 11 )
µ
v ,

AM Byu AM
* Si tenemos con simétrico
y Bµ anti simétrico =) al ser
Bro anti simétrico si sus índices son
iguales es O

AM
"
luego ⇒ AMB AN Byv al ser simétrico toda
componente ANB le
y #
con se
Bqu o v
=
pero
= a
µ ,
µ

puede asociar otra componente AMB que

es la misma
pero con
signo cambiado luego todas se
autowmpensan
el
y
-

qu
,

At
"
resultado es
Bro = O

220 Probar que si Kv es

Killing y
TM es conservado ( Dprtrv = o
) y
simétrico
,
entonces
JN = TN Kv es una corriente conservada ,

decir de Leibnitz
es
, qu jr = o regla

/ O según nos dicen

) WIN
TM
{Dpkv
"

Tu jt Dpeltt
"
. = Ku =
Kv t = o

O contraerse índices simétricos con antisemíticos

por