Elementos Relatividad Especial y General

Centro Colombiano de Cosmologa y Astrofsica
Elementos de Relatividad Especial y General

Alexander Moreno Snchez
Bogot. D. C, Colombia.
amorenosa@unal.edu.co
Recibido 10-02- 2015; Aceptado 31 - 03- 2015; Publicado en lnea 02 - 04- 2015
Resumen
En este breve trabajo se desea ilustrar algunos aspectos importantes de lo que se conoce como Teora
de la Relatividad, como es bien sabido esta es una enorme teora que modica las concepciones
clsicas de espacio y tiempo, y adems permite unicar los conceptos de gravedad y aceleracin,
todo ello dentro de un marco geomtrico muy elegante, por lo tanto la pretencin de este modesto
trabajo es muy pobre frente a tan portentosa teora, espero que este pequeo trabajo sea un punto
de partida de aquellos que se interesan por seguir el desarrollo de la ciencia.
PACS : 04.50.-h, 04.50.Kd, 14.70.Kv
Palabras Claves: sistema coordenado, invarianza Lorentz, espaciotiempo, curvarura, gravedad.
Abstract
In this brief article is intended to illustrate some important aspects of what is known as Theory
of Relativity, as is well known this is a huge theory that modies the classical conceptions of
space and time, and also unies the concepts of gravity and acceleration all within a very elegant
geometric frame, so the pretense of this modest work is very poor face as portentous theory, I
hope this small work a starting point for those interested to follow the development of the science.
PACS : 04.50.-h, 04.50.Kd, 14.70.Kv
Keywords: coordinate system, Lorentz invariance, spacetime, curvarura, gravity.
c 2015. Centro Colombiano de Cosmologa y Astrofsica. Todos los derechos reservados.
Introduccin
Nos encontramos frente a quiz, la mayor o una de las mayores teoras fsicas existentes, se trata de la Teora
General de la Relatividad. Mucho se ha escrito sobre ella, y es muy seguro que se continue escribiendo sobre
la misma. Es increble como esta teora atrapa, conjuga, enmarca, extiende y cubre una amplia cantidad de
fenmenos y situaciones fsicas diversas, su amplitud, su coherencia y su belleza es enigmtica, asombrosa y
paradigmtica en el anlisis y pensamiento cientco de todos los tiempos. En este corto artculo se mostrar
de forma compacta el marco terico, es decir, matemtico, que permite expresar las leyes fsicas en trminos
relativistas, an ms, se ilustra la estructura matemtica que sustenta dicha teora, sin, por su puesto pretender
PRINCIPIO DE EQUIVALENCIA
ser un tratado, slo es un bosquejo, un punto de partida. Igualmente, nos encontramos este ao celebrando
el centenario de la aparicin de la Teora General de la Relatividad y aunque no era mi propsito ni es mi
pretencin rendir homenaje a dicha teora con este pequeo artculo, s me parece que es muy importante
recordar los principios bsicos que la fundamentan, ms hoy da, donde encontramos mltiples teoras que dan
la sensacin de haber perdido de vista el panrama inicialmente planteado por la Relatividad General o por lo
menos sus aspectos experimentales y observacionales.
Relatividad General
En est seccin se describir lo concerniente con el modelo estndar de la gravedad, es decir, la Teora General de
la Relatividad de Einstein, la cual claramente debe ser incluida en cualquier descripcin completa de las fuerzas
de la naturaleza. Talvez, puede parecer sorprendente que hoy da tengamos un esquema terico que unica todas
las fuerzas de la naturaleza pero que no incluye la gravedad. Por tanto es menester, encontrar un marco terico
consistente donde la gravedad sea incorporada en una teora unicada. Existen varios ndicios de que esto debe
ser as, a saber
1. sta es, como se mostrar, una teora gauge, con una estructura que es similar, aunque no idntica a otras
teoras.
2. Por s misma, no proporciona una teora de campos cunticos renormalizable o nita.
3. sto surge naturalmente en alguna aproximacin para ir ms all del modelo estndar, es decir, a travz
de una supersimetra local y de supercuerdas.
4. Su escala de masa bsica, la as llamada masa de Planck, no es muy diferente de la escala de unicacin
de las otras fuerzas.
5. La relatividad general es una teora muy elegante por lo cual la hace modelo para las otras fuerzas e
interacciones de la naturaleza.
6. La relatividad general puede simplicarse para obtener los resultados clsicos y las predicciones convencionales.
7. Se dene una entidad nica llamada espaciotiempo, el cual se modela como una variedad matemtica.
Bueno, lo mencionado anteriormente, es un elemento de indiscutible importancia dentro de la comprensin
del mundo fsico, pero no es el nico, la gravedad sigue siendo una fuerza o interaccin determinate, en el origen y
evolucin del universo, es an una fuerza misteriosa, evocativa, sorprendente, por ello la preponderancia que tiene
la relatividad general como la mejor aproximacin a la gravedad o la mejor descripcin actual. Evidentemente,
nos encontramos frente a un singular aspecto de la naturaleza, la gravedad, considero que sta es solo un elemento
o constituyente natural, que quiz, en el futuro se revelen propiedades desconocidas de esta misteriosa interaccin,
o ms inquietantemente que encontremos interacciones semejantes a la interaccin gravitacional o descubramos
leyes y principios que no conocemos de ella.
En lo siguiente se desarrollaran algunos aspectos tericos, basados en el formalismo de las tetradas[1] [2] [3].
Principio de Equivalencia
La gravedad es nica entre las fuerzas conocidas de la naturaleza debido a que sta tiene el mismo efecto sobre
todos los cuerpos de la naturaleza. Esto se inere de la proporcionalidad existente entre la fuerza gravitacional
sobre un objeto y la masa de los objetos, un hecho que es algunas vecs establecido como la igualdad de la
"masa gravitacional" y la "masa inercial". Pruebas precisas de esta igualdad fueron hechas por Etvs[3], cuyos
experimentos muestran que una amplia variedad de cuerpos experimentan la misma aceleracin en un campo
gravitacional dado sin consideracin de su masa o composicin. Una consecuencia de est igualdad es que el efecto
de cualquier campo gravitacional constante puede ser eliminado trabajando en un sistema coordenado acelerado
adecuado, por ejemplo un "ascensor callendo libremente", esto es llamado el "principio de equivalencia dbil" .
La simetra fundamental del modelo estndar gravitacional es precisamente ste principio o PED, la prueba ms
precisa de la manifestacin del PED es la universalidad de la cada libre o por sus siglas en igls UFF, aunque
a la fecha no se ha detectado ninguna violacin del UFF, existen fuertes razones para considerar que una teora
cuntica de la gravedad viola est simetra para alguna escala de longitud. Puede resumirse la situacin diciendo
2
COORDENADAS GENERALES
que casi todas las aproximaciones para extender el marco de trabajo actual de la fsica (modos Kaluza-Klein,
teora de cuerdas, supercuerdas, supergravedad, p-branes, branes, supersimetras,.....) predicen la existencia de
nuevas interacciones mediadas por campos escalares o vectoriales que violan la UFF. El principio de equivalencia
dbil, tambin se puede expresar de la siguiente manera: el movimiento de cualquier partcula de prueba callendo
libremente es independiente de su composicin o estructura, donde una partcula de prueba es denida como
un cuerpo que es electricamente neutro, que tiene una energa de ligadura gravitacional despreciable comparada
con su energa en reposo, con un momentum angular despreciable, y que sea sucientemente pequeo para
que las inhomogenidades del campo gravitacional dentro de su volumen tenga efectos despreciables sobre su
movimiento[1] [2] [3].
De forma ms general, podemos escoger sistemas coordenados tal que localmente el campo gravitacional
puede ser eliminado, esto se conoce como el "principio de equivalencia fuerte" o PEF, el cual asegura, que en
una regin sucientemente pequea de espacio los campos gravitacionales y los marcos de referencia acelerados
tienen efectos idnticos (equivalencia aceleracin-gravedad). Desde la perspectiva de la fsica de partculas,
concerniente con el estudio de fuerzas, es probablemente mejor pensar el principio de equivalencia no como una
manera de eliminar la gravedad, sino como el medio que nos permite usar cualquier sistema coordenado, no slo
inercial, es decir sistemas no acelerados, para lo cual estamos restringidos si la gravedad es excluida. Igualmente,
se tiene que en un marco callendo libremente no local se puede detectar la existencia de un campo gravitacional,
considerando el movimiento de partculas de prueba como en el principio de equivalencia dbil, o desde cualquier
otro fenmeno de fsica relativista especial, por lo cual se puede establecer que para cada evento puntual del
espaciotiempo, existe una vecindad sucientemente pequea, tal que en cada marco local callendo libremente en
esta vecindad, todas las leyes fsicas no gravitacionales obedecen las leyes de la relatividad especial. Adems si
se reemplaza en el enunciado todas las leyes fsicas no gravitacionales por todas las leyes fsicas, se obtiene el as
llamado principio de equivalencia fuerte[3] [4].
Coordenadas generales
Para expresar est idea en forma matemtica, comenzamos escogiendo un conjunto de coordenadas tal que en
cada punto del espaciotiempo podemos asignar un conjunto de valores dado por fx ; = 0; 1; 2; 3g: En efecto,
ninguno de nuestros resultados ser alterado si permitimos que el nmero de dimensiones espaciales se incremento
con d 1 > 3 , y esto ser importante para otros nes, pero an ms, el marco terico de la relatividad general
permite extender el nmero de dimensiones espaciales sin modicar sustancialmente sus principios y alcances[1].
En cada punto del espaciotiempo se dene un conjunto de cuatro vectores (generalmente muchos ms) n ,
cada uno de los cuales est en la direccin de los ejes coordenados, adems son vectores unitarios, en el sentido
de que sus longitudes corresponden a incrementos unitarios de las coordenadas. Entonces, se puede obtener el
incremento de los cuatro vectores desde el punto x al punto adyacente o vecino x + dx dado por
dx = dx n ,
ahora, se dene el tensor mtrico como g
(1)
asociado con estas coordenadas introduciendo un producto escalar

g
=n n =g
con esto, la "distancia" o intervalo espaciotemporal ds; entre los puntos x

escalar
ds2 = dxdx = g dx dx ,
(2)
y x +dx ; est dada por el producto
(3)
entonces en cada punto del espaciotiempo x , se introduce un sistema coordenado local, es decir en trminos del
principio de equivalencia "un ascensor que cae libremente", por lo tanto un sistema en el cual no existe ninguna
fuerza gravitacional. Se dene este sistema por un conjunto de vectores en , con n = 0; 1; 2; 3 el cual satisface
em en =
en donde
mn
mn
es el tensor mtrico del espacio plano de Minkowski,

3
(4)
mn
COORDENADAS GENERALES
= diag(+1; 1; 1; 1; ::::) ,
(5)
as, de este modo al conjunto de vectores en se le llama una ttrada, trmino apropiado slo para d = 4 . De
esta forma se puede expresar cualquier miembro de una tetrada en trminos de los vectores unitarios del sistema
coordenado general, haciendo
en = en n ,
(6)
por medio de la ttrada en . La teora de las ttradas es un caso especial para una variedad diferenciable
cuatridimensional. Se aplica a la mtrica de cualquier signatura, en cualquier dimensin, y para una seudogeometra de Riemann, junto con una teora de la conexin de Cartan, esto es un mtodo alternativo en geometra
diferencial. En diversos contextos tambin se ha llamado mtodo del marco ortonormal, repre mobile, forma
de soldaje, forma no holonmica ortonormal. Esta seccin es un acercamiento a las ttradas, pero escrito en
trminos generales. En otras dimensiones distintas de 4, se han utilizado palabras como trada, pntada, funfbein,
elfbein, etc.. Vielbein cubre todas las dimensiones. Si se busca una notacin de ndice base-dependiente, ver
ttrada (notacin de ndice).
Mediante la combinacin adecuada de algunas expresiones anteriores se encuentra la siguiente relacin[1]
g em en =
mn
(7)
por lo tanto se espera que se puedan escoger los em para que varien continuamante de punto a punto del
espaciotiempo, as, que los em se consideran como una funcin diferenciable de x . En cualquier regin local
este ser el caso si se tiene un campo gravitacional sin discontinuidades. Sin embargo dependiendo de la topologa
de la variedad, tal escogencia puede no ser posible globalmente, o sobre toda la variedad espaciotemporal. Como
ejemplo trivial de tal restriccin topolgica, recurdese el hecho de que una supercie bidimensional de una esfera
en tres dimensiones no es posible denir un campo vectorial unitario continuo sobre la supercie, por ello se
divide la variedad en dos regiones que se sobrelapan, donde se denen ttradas variando continuamente en cada
una de ellas.
Bien, ahora se introduce la ttrada inversa, em mediante
em em =
donde
(8)
es el delta de Kronecker. Por lo tanto en = en n lo cual conduce a

n = en en ,
(9)
si multiplicamos esto por em se puede deducir que

em en =
n
m
(10)
de tal forma que se puede encontrar que

g
= em en
mn
(11)
por lo tanto en este sentido, la ttrada e puede ser considerada como "la raz cuadrada" de la mtrica g ; as
que el conocimiento completo de la ttrada determina completamente la mtrica.
Es til ahora introducir la mtrica plana mn , la cual se dene numricamente idntica a mn , por consiguiente claramente se tiene la idntidad
np
mp
la cual permite subir ndices con
mn
o bajar ndices con

em =
n
m
mn
mn
(12)
, por ejemplo se puede denir
en .
(13)
TRANSFORMACIN LOCAL DE LORENTZ
Similarmente, para coordenadas espaciales generales es conveniente introducir el tensor mtrico inverso, g
denido por
g
(14)
de forma similar se puede subir o bajar ndices, por ejemplo

em = g em , x = g x ,
(15)
con lo cual se puede mostrar que

g
= em en
mn
(16)
Hasta este momento, se ha hecho una descripcin matemtica sobre el espaciotiempo, pero la "fsica" entra
a travz de la hiptesis de la invarianza de las leyes fsicas: en partcular de que las leyes de la fsica deben ser
invariantes bajo una transformacin general de coordenadas (TCG), y bajo una transformacin de Lorentz local
(TLL), es decir, bajo rotaciones de las ttradas. En otros trminos, la validz de las ecuaciones fundamentales no
debe depender de la escogencia o asignacin de las coordenadas x , o de las ttradas en : Este es el hecho por el
cual la escogencia de ttradas puede hacerse independiente de cada punto del espaciotiempo, tal que suministre
un vnculo entre la gravedad y las teoras gauge[3] [4] [5].
Transformacin local de Lorentz
Se considera, primero los efectos de una transformacin local de Lorentz (TLL), esto es una rotacin de la
ttrada, lo cual se expresa como[1] [4]
n
m en
em ! em =
(17)
que segn lo mencinado anteriormente, se cumple que

em en =
mn
(18)
lo cual implica que

p
m
q
n pq
mn
(19)
notse que si el factor

fuera reemplazado por el
de Kronecker esta ecuacin nos dira que nm seria una
matriz ortogonal. Los facotores se presentan porque nm es una representacin del grupo O(1; 3) adems de
O(4), entonces podemos escribir la ltima expresin como
kp
np
k
n
(20)
Un ejemplo frecuente de una transformacin local de Lorentz son los llamados "boots", denido mediante
una velocidad v a lo largo de los tres ejes coordenados, donde la correspondiente matriz de "rotacin" es
0
1
0 0
B 0 1 0 0 C
n
B
C ,
(21)
m =@ 0
0 1 0 A
0 0
) 1=2 : De este modo para encontrar la correspondiente regla

donde, como es usual tenemos = vc y = (1
de transformacin para las componentes de un vector se considera, por ejemplo,
x = xm e^m ,
(22)
TRANSFORMACIN LOCAL DE LORENTZ
de tal forma que este vector en el sistema coordenado transformado, se puede expresar como
x = x0m e^0m = x0m
n
^n
me
(23)
adems, se puede encontrar que

xn =
n 0m
mx
(24)
m n
nx
(25)
expresin que se puede invertir para dar

0
xm=
Ahora, consideremos la transformacin de la derivada de una funcin o campo escalar, para lo cual tenemos
@
@
@ @xk
!
=
=
0
@xm
@x m
@xk @x0 m
k
m
@
,
@xk
(26)
o de forma ms concisa
(@m )0 =
k
m (@k
).
(27)
Se puede observar que la derivada respecto a xm se transforma como un ndice que baja la componente covariante,
entonces, una cantidad de dos ndices se transformar como
e0m =
n
m en
(28)
(29)
de lo cual se puede encontrar la siguiente transformacin

e0m =
m k
k e
De este modo, para muchos propsitos es conveniente considerar slo transformaciones locales de Lorentz
(LLT) innitesimales, las cuales se pueden expresar como
n
m
n
m
n
m
(30)
donde la matriz nm es pequea o innitesimal. As, de esta forma podemos expresar la transformacin general
a primer orden como
p q
pq ( m n
p q
m n)
mn
=0,
(31)
(32)
o equivalentemente como
nm
Volvamos al efecto de una transformacin de coordenadas general la cual se puede escribir como
x ! x0 = x +
donde
como
(x) ,
(33)
(x) es alguna funcin continua de x. De este modo las componentes de un vector dx se transforman
dx ! dx0 =
@x0
@x
dx =
@
@x
dx ,
(34)
esta expresin permite obtener la transformacin asociada con cualquier ndice contravariante (ndice griego
superior), por ejemplo tenemos
em (x) ! e0 (x0 ) =
@
@x
em (x) ,
(35)
donde hemos tomado slo trminos a primer orden en
EL LAGRANGIANO DE EINSTEIN
; de tal modo que el cambio en em (x) est dado por
@
e ,
@x m
con esta expresin y con algunos desarrollos algebraicos adicionales podemos obtener[1] [2] [3]
T GC (em )
(36)
@
em .
(37)
@x
Estas ltimas expresiones constituyen la transformacin general de coordenadas, las cuales son de gran
importancia en la relatividad general.
m
T GC (e )
Derivada Covariante
Las ecuaciones de la fsica contendran derivadas de campos tensoriales y por lo tanto es necesario denir derivadas
covariantes las cuales deben contener las propiedades de transformacin correctas de las transformaciones locales
de Lorentz TLL y de la transformacin general de coordenadas TGC. Denimos la derivada covariante de em
mediante la siguiente relacin[1] [2] [3]
D em = @ em
em + ! mn en ,
(38)
es la conexin asociada con la transformacin general de coordenadas, es referido como smbolo de

donde
Christoel, el cual no es un tensor. De forma anloga ! mn se se asocia con la transformacin local de Lorentz y
es un vector bajo la transformacin general de coordenadas, este vector es llamado la "conexin de espn", ahora
se clcula como ! mn se transforma bajo una TLL requirindo que D em tenga las propiedades de transformacin
adecuadas, de tal modo que tenemos
T LL (D
em ) =
m
n (D
m
n (@
en ) =
en
en + ! nk ek ) ,
(39)
bajo algunos desarrollos algebraicos podemos obtener

m
T LL (! n )
de forma anloga, se encuentra para

T GC (
)=
m
n
m p
p ! n
p m
n! p
(40)
el siguiente resultado
@ @
(@
(@
+ (@
(41)
estos desarrollos muestran que las conexiones no se transforman como tensores.

Ahora, el siguiente paso es obtener el lagrangiano para los campos em , ! mn ,
. Sin embargo en la
teora de Einstein de la relatividad no existen campos independientes. En lugar de ello, las dos conexiones son
postuladas como funciones de em que junto a los desarrollos obtenidos anteriormente lleva a expresiones nicas
para estas conexiones, en partcular tenemos
=
1
g
2
[@ g
+@ g
@ g ] ,
esto tiene la importante propiedad simtrica

=
lo cual implica que D D
campo escalar . De esta forma se dice que el espacio tiene "torsin" cero[1].
(42)
=D D
para cualquier
El lagrangiano de Einstein
Se puede introducir un tensor muy importante conocido como el tensor de intensidad-esfuerzo, el cual se construye
para incorporar los contenidos y la dinmica de la materia energa, se denota como T ; el cual se construye
para situaciones especiales. De igual forma se introduce el siguiente tensor[1]
Rmn = @ ! mn
@ ! mn + ! mk ! kn
EL LAGRANGIANO DE EINSTEIN
! mk ! kn ,
(43)
se puede mostrar que esta cantidad se transforma como un tensor de dos ndices, bajo tansformaciones TGC y
TLL. Se puede observar que no se ha introducido las conexiones
porque ellas se cancelan, ya que
=
mientras que Rmn es antisimtrico bajo permutacin de ndices
! . Entoces se debe construir un escalar
del cuadradode Rmn con los ndices adecuadamente contrados, esto conduce a un trmino del lagrangiano, el
cual debe contener la energa cintica de los ! mn , entonces se puede representar de forma independiente, campos
que se propagan. Ahora formamos una cantidad escalar R , deniendo
R = Rmn em en ,
(44)
con lo cual se escribe el Lagrangiano de Einstein como

L(E) =
eR
,
2 2
(45)
donde se dene e como

e = det(em ) = det(em )
1=2
= [ det(g )]
(46)
de tal manera que podemos pensar que L(E) es una densidad escalar. Como R es invariante bajo una TGC,
entonces se puede determinar la integral de accin denida por
Z
S (E) = d4 xL(E) .
(47)
La cantidad es una constante arbitraria que no juega ningn rol a menos que se introduzcan trminos de
materia adicionales. Como R tiene dimensiones de (longitud) 2 y la densidad lagrangiana tiene dimensiones
de (energ{a)(longitud) 3 , se sigue que 2 tiene dimensiones de (longitud)(energ{a) 1 , o equivalentemente en
unidades tal que h= c = 1; as tendra dimensiones de (masa) 1 :
Las ecuaciones clsicas de movimiento para los campos ! mn y en son obtenidas minimizando la accin,
denida anteriormente, respecto a los campos, entonces de este modo encontramos la ecuacin de movimiento
respecto a ! mn ; la cual es
1
1
1
e (@ en
@ en )
e (@ em
@ em )
e e (@ ep
@ ep )ep .
(48)
2 m
2 n
2 m n
Esta es una ecuacin puramente algebraica, porque en el lagrangiano las derivadas de ! mn slo se consideran
los trminos lineales, lo cual posibilita la eliminacin de los ! mn en favor de los em :
Ahora bien, minimizando la accin respecto em rapidamente, se observa que se requiere
!
mn
e
=0.
em
(Rmn en + Rnm en )e + Rpn ep en
(49)
Bien, recordemos el resultado general que se tiene para cualquier matriz M

(det(M))
= det(M)(M
Mjk
)kj ,
(50)
as, podemos obtener

e
=
em
eem ,
(51)
1
R em = 0 ,
2
(52)
con lo cual obtenemos

Rmn en
EL TENSOR DE CURVATURA
donde se ha hecho uso de las propiedades de antisimetrizacin de Rmn , mediante algunos pasos algebraicos se
obtiene
R
1
Rg
2
=0,
(53)
donde R = Rmn en em :
La ecuacin obtenidad anteriormente, es la ecuacin de Einstein para em , y de este modo para la mtrica g ,
en el espacio vaco. La ecuacin es no lineal y tiene muchas soluciones, en analoga con las mltiples trayectorias
obtenidas para un cuerpo que se lanza con diferentes condiciones iniciales en mecnica clsica.
El proceso matemtico que se ha seguido, en el cual ! mn y em son considerados como campos independientes,
se conoce con el nombre de formalismo a primer ordeno formalismo de Palatini. Un proceso alterno se sigue
con la conexin de spn como una funcin de em ; con este proceso conduce a un lagrangiano que contiene slo
campos em . Este proceso es referido como formalismo a segundo orden. A nivel clsico y en ausencia de
materia, los dos procesos anotados anteriormente son idnticos[1].
La versin cuantizada de los dos formalismos no necesariamante es la misma, ya que el formalismo a primer
orden permite uctuaciones cunticas de ! mn alrededor del valor clsico. Tambin, con la inclusin de materia
en el Lagrangiano, el formalismo a primer orden da un ! mn que en general depende de otros campos, as los dos
formalismos dan diferentes resultados, aun clasicamente. Sin embargo, estas diferencias solo aparecen para altos
ordenes del acople gravitacional, y as de este modo unicamente se afectan las distancias muy cortas del orden
1=2
N
1:6 10 35 m.
de la longitud de Planck lP = hG
c3
El tensor de Curvatura
Se obtienen propiedades de los smbolos R introducidos anteriormente. Esto suministrar un vnculo entre
la aproximacin considerada y tratamientos ms generales. En primer lugar bajamos los ndices de Rmn
mediante[1] [2] [3] [4]
= Rmn em en ,
(54)
esta cantidad es conocida como el tensor de curvatura de Riemann-Cristoel. Tomando las expresiones anteriormente halladas de ! mn en la denicin de Rmn ; conseguimos expresar este tensor en trminos de los em y de
este modo en trminos de la mtrica, con lo cual se encuentra
1
[@ @ g
@ @ g
@ @ g +@ @ g ]+
2
as, se pueden obtener las siguientes relaciones de simetra-antisimetra
R
=R
(55)
(56)
Una consecuencia de estas relaciones, es que en el espaciotiempo cudri-dimensional, unicamente 20 de las 44 =

256 componentes de R
son independientes. Estas 20 componentes denen completamente las propiedades
de curvatura del espaciotiempo. Todos los elementos del tensor de Riemann-Cristoel son cero, si solamente s,
el espacio es plano, es decir si, las coordenadas se pueden escoger de tal forma que g =
; note que si esto
no es cierto en un sistema coordenado dado no se puede asumir que el espacio no sea plano. La nica manera
que podemos estar seguros es calcular los R
y mostrar que al menos una de las componentes es diferente de
cero.
El tensor de dos ndices R que aparece en la ecuacin de Einstein se conoce con el nombre de tensor de
Ricci, y se relaciona con el tensor R
mediante
Rmn = R
em en ,
de tal modo que con algun paso algebraico adicional obtenemos
(57)
em en em en = R
=R
INCLUSIN DE MATERIA
(58)
lo que permite concluir que R = R : Adems, el tensor de Ricci es simtrico, es decir R = R :

Ahora bin, la contraccin de los dos ndices del tensor de Ricci conduce al escalar de curvatura R; dado por
R=g
=R ,
(59)
se puede mostrar que los siguientes pasos son equivalentes

R=g
=g
=g
Rmn em en = Rmn em en .
(60)
Es importante mencionar que unicamente el tensor de Riemann-Cristoel R

con sus 20 componentes
independientes contiene toda la informacin acerca del espacio, ya que R unicamente tiene 10 componentes y
R tiene unicamente una componente. Por lo tanto, cuando R
sea idnticamente cero, ambos R y R son
tambin cero, pero lo contrario de esto no necesariamente es cierto. Un espacio donde R = 0 se dice que es
un espacio plano de Ricci, pero un espacio plano de Ricci no necesariamente es plano.
Finalmente, se da una relacin til para R ; la cual se puede deducir de algunas consideraciones algebraicas[5]
R
=@
Inclusin de Materia
Con el n de relacionar el tratamiento puramente geomtrico, se hace necesario introducir la materia-energa, lo

cual brindar la posibilidad de crear un marco fsico, para ello se considera una nueva accin denida como[1]
S = S (E) + S (M ) ,
(61)
donde el trmino S (M ) describe los fermiones, los bosones, los campos gauge, etc. Claramente, se requere que
S (M ) tambin sea invariante bajo TLL y TGC.
As, podemos escribir S (M ) en trminos de la densidad Lagrangiana, dada por
Z
S (M ) = d4 xL(M ) ,
(62)
y esta puede ser expresada en trminos de un esclar U como
L(M ) = eU .
(63)
Por lo tanto, cuando variamos la accin respecto a em , se obtiene

Z
U
(M )
em U em ,
S
= d4 xe
em
asi, podemos denir T
(64)
mediante
T
em
U
em
em U
(65)
entonces, la ecuacin de Einstein es ahora expresada como

1
2
Rg =
T ,
(66)
2
donde el factor 2 , suministra el acople entre materia y campos gravitacionales y el tensor T es conocido
familiarmente como el tensor momentum-energa, el cual se puede obtener para algunos casos concretos.
La ecuacin de campo obtenida muestra que, en la presencia de un tensor de momentum-energa no cero, el
tensor R 6= 0; as que el espacio no puede ser plano de Ricci.
R
10
INCLUSIN DE MATERIA
Bin, se consideraran algunos casos para L(M ) ; uno de los casos ms simples consiste en considerar una
densidad de energa de fondo constante
e
L(cosm o) =
donde
(67)
es llamada la constante cosmolgica, entonces se obtiene para el tensor momentum-energa

T
(68)
con lo cual la ecuacin de Einstein toma la forma[2]

1
Rg + g = 0 ,
(69)
2
podemos, mirar que la gravedad (curvatura), debido al acople con la energa, da un signicado al valor absoluto de
la energa potencial, un signicado que est ausente en la fsica no gravitacional donde unicamente las fuerzas-las
derivadas de la energa potencial-tienen signicado, adems, empiricamente, es en cualquier escala razonable
muy pequea, un hecho que no se entiende hoy da (problema de la constante cosmolgica).
Como segundo ejemplo de un lagrangiano de materia, consideremos un campo sin masa de espin- 21 , entonces,
en el espacio plano el Lagrangiano est dado por
R
L(1/2) = i
(70)
de este modo, con el n de generalizar esto, reemplazamos @

por una derivada covariante apropiada D
cual debe transformarse como un espinor bajo una TLL y como un vector bajo una TGC, es decir
T LL (D
donde
nm
)=
i
4
nm
nm D
la
(71)
son los parmetros innitesimales, y

@
D
,
(72)
@x
est denido en trminos de las matrices de Dirac usuales en un espacio plano, es decir como
T GC (D
se observa que
nm
nm
)=
1
i(
2
m n)
n m
(73)
Estas ecuaciones son satisfechas poniendo

i mn
!
,
(74)
mn
4
es referido como la conexin de espn. Con lo anterior, la nueva densidad
D
lo cual permite entender porque ! mn

Lagrangiana se puede expresar como
=@
L(1/2) = ie
(75)
donde e es introducido porque L es una densidad escalar, y donde los

= en
(76)
son las matrices en espacios curvos que, en general, son funciones de x :

Un ejemplo nal, considera una partcula clsica simple de masa m; entonces, el camino seguido por esta
partcula puede ser escrito en forma paramtrica como
x =x ( ),
11
(77)
INCLUSIN DE MATERIA
donde el parmetro dene la posicin de la partcula sobre la trayectoria, un posible parmetro puede ser
la coordenada temporal = x0 , pero se pueden considerar otros tipos de parmetros. Entonces bajo estas
consideraciones, se puede construir un lagrangiano escalar denido por
h
i1=2
m g x x
,
L(p) =
(78)
donde el punto denota la derivada respecto al llamado parmetro afn. Se puede interpretar la expresin anterior
si se considera que no existe campo gravitacional, por lo cual se puede identicar g =
y si se considera
como x0 y adicionalmente se toma el lmite no relativista o bajas velocidades, se obtiene
2
1
(79)
m + mx + :::::: ,
2
lo cual, si no consideramos la masa en reposo, basicamnete se obtiene la energa cintica de la partcula. Ahora
bien, si se considera la accin
Z
h
i1=2
(p)
S = m d g x x
,
(80)
L(p) =
m(1
x )1=2
es proporcional a la longitud de la trayectoria entre sus puntos nales. Esta interpretacin geomtrica, permite
vericar la invarianza de la reparametrizacin de S (p) , es decir la invarianza bajo
! f( ) .
(81)
Ahora, con el n de escribir la accin como una integral sobre todo el espacio, se introduce una funcin delta,
tal que
Z
Z
h
i1=2
4
(p)
4
S = m d x d g x x
(x x( )) ,
(82)
entonces, si se realizan las variaciones
partcula simple, el cual es
S (p)
em
T (p) = m
sobre esta accin, se encuentra el tensor momentum-energa de una

Z
d h
x x
g x x
i1=2
(x
x( )) .
(83)
Por lo tanto minimizando la accin respecto a las variaciones en x ( ) , determinamos la ecuacin para la
trayectoria, la cual es ms fcil de expresar cuando se escoge como el tiempo propio, la cual es la longitud de
camino denida por
d = (g dx dx )1=2 .
As, en el lmite no relativista, con campo gravitacional cero, y con
a las llamadas ecuaciones de movimiento, denidas por
g
x +
(84)
siendo el tiempo ordinario x ; llegamos
1 @g
x x =0 ,
2 @x
@g
x x
@x
(85)
la cual se puede expresar como

1
@ g )x x = 0 ,
2
y haciendo uso de los smbolos de Christoel, se puede expresar como
x + g (@ g
x +
x x =0,
12
(86)
(87)
10 LMITE NEWTONIANO
donde se puede interpretar esta ecuacin como una generalizacin de la primera ley de Newton que describe, en
un sistema coordenado arbitrario, el movimiento de una partcula en un campo gravitacional, adems el camino
se interpreta como una geodsica que corresponde a un extremo de la longitud de camino entre los puntos nales,
de hecho la longitud es medida respecto a la mtrica g , y es en sta mtrica donde se incorpora el efecto de la
gravedad[3] [4].
10
Lmite Newtoniano
Con el n de ilustrar la relacin entre relatividad general y la teora clsica de Newton, consideremos el movimiento de una partcula de masa m en un fondo generado por un campo gravitacional, es decir un campo
determinado por alguna fuente externa, en otros tminos un espaciotiempo curvo debido a la presencia de una
fuente de materia-energa. Entonces ignoremos los efectos de la partcula en si misma sobre el campo gravitacional ya que esta solo contribuye con correcciones a segundo orden en el movimiento de la partcula. De esta
forma el camino de la partcula est dado por x ( ) , donde usamos la asignacin = x0 ; bien, con esto en
mente consideremos movimiento no relativista, es decir baja energa, poca velocidad, y masa muy pequea de
0
la partcula, lo cual nos conduce a despreciar x en comparacin a x = 1.

Ahora, consideremos algo ms, tomemos el campo gravitacional que sea esttico, por lo tanto @0 g = 0
, y que adems sea un campo dbil o de baja intensidad, esto signica que podemos considerar un sistema
coordenado cuasi-cartesiano tal que[1]
g
+h
(88)
donde jh j << 1; entonces considerando trminos a bajo orden en h , la ecuacin de movimiento x +

1
g (@ g
2 @ g )x x = 0 , se simplica para obtener
x =
1 dx0 2 @h00
(
) (
) , x0 = 0 ,
2 d
@x
(89)
expresiones que en la notacin 3-espacial usual, se puede escribir como

1
rh00 ,
(90)
2
lo cual conduce a decir que la partcula cumple con la segunda ley de Newton, con un potencial dado por
x=
1
mh00 ,
(91)
2
evaluamos R a primer orden en h ; con lo cual la ecuacin de
v=
de este modo, y con el n de determinar h00

campo se torna en
1
2
Colocando
(@ @ h
+@ @ h
@ @ h
@ @ h )=
(T
1
2
T ).
(92)
es independiente de x0 , encontramos
= 0 , y usando el hecho de que h

r2 h00 = 2
1
T ),
(93)
2
una partcula de masa M , ja en el origen, as que se
(T00
de tal modo que podemos considerar para la fuente T00

puede expresar la fuente como
T00 = M
(x) ,
con las otras componentes en cero, entonces podemos obtener
13
(94)
11 ONDAS GRAVITACIONALES
M
,
4 jxj
h00 =
o expresarse como
(95)
Mm
,
8 jxj
V =
(96)
donde podemos hacer la identicacin con la constante de gravitacin universal de Newton

2
GN =
.
(97)
8
Entonces, se ha reducido la descripcin relativista a la descripcin clsica, en otros trminos, la descripcin
Newtoniana o clsica est contenida en la descripcin relativista, un enorme logro de la relatividad.
11
Ondas gravitacionales
Hasta aqu, no se ha considerado una solucin explcita de las ecuaciones de campo, hoy da se conocen muchas
soluciones, histricamente una de las primeras soluciones fue la encontrada por Schwarzchild, y posteriormente
surgieron otras muchas soluciones, sin embargo existen soluciones las cuales son tpicas de una teora de campos,
una de ellas es la solucin de ondas gravitacionales, que pueden pensarse como campos que varian rpidamente,
las cuales se originan cada vez que una masa puentual es sometida a una aceleracin.
Consideremos un campo de ondas planas las cuales dependen slo de 4 , 1 (representan una coordenada
temporal y una coordenada espacial respectivamente), entonces, como en la teora clsica, existen ondas progresivas en la direccin positiva 1 (representa un eje espacial) y ondas que se propagan en la direccin opuesta, de
este modo, la onda ms general que se propaga en la direccin 1 positiva tiene las siguientes componentes
44
1
44 1
1 (
4s
1
),
4s 1
1 (
rs
1
),
rs 1
1 (
(98)
donde los 0 s representan los elementos de la mtrica, as, las ecuaciones de campo son satisfechas automticamente, y adems se satisface una condicin entre las coordenadas que es
4;4
1;1
donde la prima denota diferenciacin respecto al argumento (

0
44
1
11
1
14
1
22
1 ;
23
1 ;
12
1
42
1
1
1
)=0,
4
) , con esto, obtenemos las condiciones
13
1
(99)
43
1
(100)
1
33
1
mientras las componentes restantes,

, son funciones arbitrarias de (
) . Encontramos que
varias de estas componentes no corresponden a un campo ondulatorio fsico, las cuales pueden eliminarse de
forma conveniente bajo alguna transformacin de coordenadas, entonces si llevamos a cabo una transfomacin
de coordenas
=
+ v ( ) , la cual cambia los valores de las coordenadas slo en cantidades que son
proporcionales al paramtro ; entonces si permitimos que v dependa slo de los argumentos ( 1 4 ) , entonces
las leyes de transformacin toman las siguientes expresiones
11
1
11
1
+ v 10 + v 4 ,
22
1
33
1
33
1
12
1
22
1
12
1
+ v 20 ,
v 10 + v 40 ,
v 10 + v 40 ,
34
1
13
1
23
1
34
1
23
1
v 30 ,
13
1
+ v 30 ,
24
24
1
44
44
1
14
1
14
1
+ v 40
v 20 ,
+ v 40 + v 10 ,
v 10 ,
(101)
(102)
(103)
escogiendo de forma adecuada las cuatro funciones v , podemos obtener un sistema coordenado en el cual todas
33
las componentes con al menos un ndice 1 o 4 sea cero, y en la cual la expresin ( 22
1
1 ) es igual a cero.
La nica onda la cual no puede ser eliminada por transformacin de coordenadas es aquella en la cual
14
REFERENCES
22
1
33
1
6= 0 ,
(104)
y aquella en la cual
23
1
6= 0 ,
(105)
de este modo, estos dos tipos de ondas pueden ser transformadas en cada una de las otras si las coordenadas
espaciales se han rotado alrededor del eje 1 en un ngulo 4 rad.
Las ondas gravitacionales no tienen contraparte en la teora clsica, infortunadamente la intensidad de aquellas ondas las cuales son presumiblemente producidas por sistemas oscilantes, estrellas dobles, explosiones estelares, colisiones galcticas, entre otros eventos, no son sucientemente fuertes para ser detectadas por algn
mtodo conocido a la fecha, aunque se estan haciendo bastantes esfuerzos para lograr su deteccin u observacin.
Einstein y Rosen investigaron de forma rigurosa la solucin de ondas, de las ecuaciones de campo no lineales,
encontraron que no existen ondas planas, pero que existen ondas cilindricas, todo esto se obtuvo por mtodos
estrictamente formales, sin embargo, se puede dar una explicacin fsica. La onda gravitacional, asi como las
ondas electrodinmicas llevan energa, esto conlleva a que esta densidad de energa cree un campo gravitacional
estacionario el cual deforma la mtrica, de tal forma que la onda gravitacional puede ser superpuesta en esta
mtrica deformada. Una onda plana puede ser asociada con una densidad de energa constante en toda parta, y la
desviacin de la planitud de la mtrica, por tanto, puede incrementarse hasta el innito, en todas las direcciones.
Una onda cilndrica, por otra parte, tiene una singularidad en el eje de simetra, y existe una solucin en la
cual la amplitud de las ondas se aproxima a cero y la amplitud del campo estacionario llega a ser innito para
valores innitos de la coordenad , la cual en un espacio euclideano denota la distancia desde el eje de simetra.
En suma, existen soluciones que no tienen contraparte en la teora clsica, ondas gravitacionales las cuales se
propagan con la velocidad de la luz[4] [6].
12
Conclusiones
En los apartados anteriores se han ilustrado algunos desarrollos tericos propios

se ha hecho uso de la notacin moderna basada en el clculo tensorial, como se
se mantienen presente los postulados de la relatividad, as como lo concerniete
esquema presentado constituye los elementos ms importantes de la teora de la
partida de mltiples estudios tericos y experimentales.
de la teora de la relatividad,
puede observar del desarrollo
con la invarianza Lorentz, el
relatividad y son el punto de
References
[1] Collins. P. D. B., Martin A. D., Squires. E. J., Particle Physics and Cosmology, John Wiley and Sons, 1989.
[2] Adler. R, Bazin. M, M. and Schier M., Introduction to general relativity, McGraw-Hill, 1975.
[3] Misner. C. W, Thorne. K. S., Wheeler. J. A., Gravitation, W. H. Freeman and Co., 1973.
[4] Weinberg. S. , Gravitation and Cosmology, New York Wiley, 1972.
[5] Tejeiro. S. J. M., Principios de relatividad general, Observatorio Astronmico Nacional, 2005.
[6] Bergmann. P. G., Introduction to theory of relativity, Dover Publications, Inc. New York, 1976.
15

Elementos Relatividad Especial y General

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Elementos Relatividad Especial y General

Cargado por

Copyright:

Formatos disponibles

Centro Colombiano de Cosmologa y Astrofsica

Elementos de Relatividad Especial y General

Centro Colombiano de Cosmologa y Astrofsica

Centro Colombiano de Cosmologa y Astrofsica

asociado con estas coordenadas introduciendo un producto escalar

con esto, la "distancia" o intervalo espaciotemporal ds; entre los puntos x

es el tensor mtrico del espacio plano de Minkowski,

Centro Colombiano de Cosmologa y Astrofsica

es el delta de Kronecker. Por lo tanto en = en n lo cual conduce a

si multiplicamos esto por em se puede deducir que

de tal forma que se puede encontrar que

la cual permite subir ndices con

o bajar ndices con

, por ejemplo se puede denir

Centro Colombiano de Cosmologa y Astrofsica

TRANSFORMACIN LOCAL DE LORENTZ

de forma similar se puede subir o bajar ndices, por ejemplo

con lo cual se puede mostrar que

Transformacin local de Lorentz

que segn lo mencinado anteriormente, se cumple que

lo cual implica que

notse que si el factor

) 1=2 : De este modo para encontrar la correspondiente regla

Centro Colombiano de Cosmologa y Astrofsica

TRANSFORMACIN LOCAL DE LORENTZ

adems, se puede encontrar que

expresin que se puede invertir para dar

de lo cual se puede encontrar la siguiente transformacin

Centro Colombiano de Cosmologa y Astrofsica

donde hemos tomado slo trminos a primer orden en

; de tal modo que el cambio en em (x) est dado por

es la conexin asociada con la transformacin general de coordenadas, es referido como smbolo de

bajo algunos desarrollos algebraicos podemos obtener

de forma anloga, se encuentra para

estos desarrollos muestran que las conexiones no se transforman como tensores.

esto tiene la importante propiedad simtrica

Centro Colombiano de Cosmologa y Astrofsica

con lo cual se escribe el Lagrangiano de Einstein como

donde se dene e como

(Rmn en + Rnm en )e + Rpn ep en

Bien, recordemos el resultado general que se tiene para cualquier matriz M

as, podemos obtener

con lo cual obtenemos

Centro Colombiano de Cosmologa y Astrofsica

Una consecuencia de estas relaciones, es que en el espaciotiempo cudri-dimensional, unicamente 20 de las 44 =

de tal modo que con algun paso algebraico adicional obtenemos

Centro Colombiano de Cosmologa y Astrofsica

lo que permite concluir que R = R : Adems, el tensor de Ricci es simtrico, es decir R = R :

se puede mostrar que los siguientes pasos son equivalentes

Es importante mencionar que unicamente el tensor de Riemann-Cristoel R

Con el n de relacionar el tratamiento puramente geomtrico, se hace necesario introducir la materia-energa, lo

Por lo tanto, cuando variamos la accin respecto a em , se obtiene

entonces, la ecuacin de Einstein es ahora expresada como

Centro Colombiano de Cosmologa y Astrofsica

es llamada la constante cosmolgica, entonces se obtiene para el tensor momentum-energa

con lo cual la ecuacin de Einstein toma la forma[2]

de este modo, con el n de generalizar esto, reemplazamos @

son los parmetros innitesimales, y

Estas ecuaciones son satisfechas poniendo

lo cual permite entender porque ! mn

donde e es introducido porque L es una densidad escalar, y donde los

son las matrices en espacios curvos que, en general, son funciones de x :

Centro Colombiano de Cosmologa y Astrofsica

sobre esta accin, se encuentra el tensor momentum-energa de una