Está en la página 1de 11

Los tensores de Ricci y Einstein I

Si vamos a construr una nueva teora en la cual sepultaremos definitivamente a la ley de la


gravitacin universal de Newton -basada en la nocin de una fuerza invisible de atraccin entre
los cuerpos- reemplazndola por algo en lo que conceptualmente habr una curvatura en el
espacio-tiempo cuatri-dimensional causada por la presencia de masa-energa en cierta regin:
curvatura geomtrica = densidad de masa-energa

y si este concepto ser enunciado de modo tal que ser independiente del sistema de
coordenadas empleado para describirlo, entonces habiendo estado expuestos al tensor de
curvatura de Riemann nuestra primera ocurrencia tal vez ser emplearlo directamente en una
igualdad tensorial como la siguiente:
R = kT

en donde k es una simple constante de proporcionalidad (como 8). El problema con este
primer intento es que siendo el tensor de Riemann un tensor de orden cuatro la igualdad
tensorial requerira que el tensor energa-tensin T fuera tambin de orden cuatro. Pero ya
vimos que para nuestros propsitos un tensor energa-tensin T de orden dos parece ser
suficiente. Entonces, ms que estirar a T convirtindolo en un tensor de orden cuatro,
optaremos por convertir al tensor de curvatura de Riemann en otro tensor de curvatura de
orden dos derivado de R, siempre y cuando no estemos sacrificando algo importante. Y lo
primero que se nos viene a la mente es llevar a cabo unacontraccin tensorial del tensor de
Riemann igualando dos de sus ndices, lo cual lo convierte en un tensor de orden dos. Esto es
precisamente lo que se logra con el tensor de Ricci. El tensor de Ricci es un tensor que se
obtiene directamente del tensor de Riemann por una contraccin de dos de sus ndices. La
eleccin del ndice covariante a contraer no es fija (se aprovecha aqu la ocasin para recordar
que el proceso de contraccin activa automticamente la convencin de sumacin para ndices
repetidos). La contraccin se lleva a cabo entre el ndice superior y el segundo ndice inferior del
tensor de Riemann.

Al llevar a cabo una contraccin del tensor de Riemann, perdemos dos de los cuatro ndices que
especifican a los componentes de dicho tensor de curvatura. Por qu razn es suficiente un
tensor de dos ndices para describir el efecto -sobre el movimiento de los cuerpos- de la
curvatura causada en el 4-espacio de la Relatividad General por la presencia de masa-energa?
Porque para describir una 2-superficie en un espacio N-dimensional basta con especificar dos
coordenadas curvilneas, y las trayectorias geodsicas de los cuerpos en movimiento se llevan

a cabo precisamente sobre una 2-superficie (como ocurre con un satlite artificial que le est
dando vueltas a la Tierra siguiendo la geodsica de un arco sobre una superficie esfrica o
elptica imaginaria).

Partiendo de la definicin del tensor de Riemann, el cual es un tensor de orden cuatro,


contravariante de orden uno y covariante de orden 3:
R = , - , + -

si llevamos a cabo una contraccin del primer ndice y el tercer ndice (el ndice superior y el
segundo ndice inferior), obtenemos el siguiente tensor covariante de orden dos:
R = R11 + R22 + R33 + R44 = R

que est definido precisamente como el tensor de Ricci.

En principio, otras contracciones del tensor de Riemannn son posibles. Podemos llevar a cabo
una contraccin entre el primer ndice y segundo ndice (el ndice superior y el primer ndice
inferior) y el primer ndice y el cuatro ndice (el ndice superior y el tercer ndice inferior), pero
en virtud de que el tensor R es antisimtrico en los ndices y y en los ndices y , todas
estas contracciones terminan desvanecindose idnticamente o reducindose a R -R . En
pocas palabras: El tensor de Ricci es la nica contraccin posible del tensor de Riemann.

PROBLEMA: A partir de la definicin del tensor de Riemann, demustrese que el tensor de


Ricci es la nica contraccin posible del mismo.

Empezaremos con el tensor de Riemann:


R = (g, - g, + g, - g,)

al cual le subiremos el primer ndice con la ayuda del tensor mtrico g con la finalidad de poder
llevar a cabo una contraccin con cada uno de los tres ndices covariantes:
R = gxRx

R = g1R1 + g2R2 + g3R3 + ...

Llevaremos a cabo primero la contraccin entre el ndice superior y el ndice inferior


igualando ambos ndices sobre la expresin anterior:
R = R = g1R1 + g2R2 + g3R3 + ...

El siguiente paso consiste en llevar a cabo la sumacin sobre el ndice contrado . La expansin
se llevar a cabo agrupando los sumandos de una manera cuya razn pronto ser obvia:
R =______________________
g11R11 + g12R21 + g13R31 + ...
+ g21R12 + g22R22 + g23R32 + ...
+ g31R13 + g32R23 + g33R33 + ...

A continuacin apelamos a la propiedad de hemi-simetra del tensor de Riemann demostrada


previamente en una entrada correspondiente al tensor de Riemann, bajo la cual si
intercambiamos los primeros dos ndices el signo del componente se invierte:
R = - R

con lo cual obtenemos lo siguiente:


R =______________________
g11R11 + g12R21 + g13R31 + ...
- g21R21 + g22R22 + g23R32 + ...
- g31R31 - g32R32 + g33R33 + ...

Puesto que el tensor mtrico g, por su propia definicin, es un tensor mtrico, gij = gji, entonces
podemos introducir este hecho en lo anterior con lo que tras ello podemos proceder a la
borradura de los trminos positivos que son cancelados por los trminos negativos:
R =______________________
g11R11 + g12R21 + g13R31 + ...
- g12R21 + g22R22 + g23R32 + ...
- g13R31 - g23R32 + g33R33 + ...

Esto nos deja nicamente con los siguientes trminos diagonales en nuestro acomodo de
trminos :

R = g11R11 + g22R22 + g33R33 + ...

Sin embargo, cada uno de estos trminos se va cancelando en virtud de la identidad que nos dice
que en un tensor de Riemann cuando los primeros dos ndices son iguales el valor se vuelve
cero, o sea:
R = 0

Descartamos pues la primera posibilidad, la contraccin entre el ndice superior y el ndice


inferior , en virtud de que no nos d ningn resultado til ms que el valor de cero.

Llevaremos a cabo ahora la contraccin entre el ndice superior y el ndice inferior igualando
ambos ndices sobre la expresin dada atrs anteriormente:
R = R = g1R1 + g2R2 + g3R3 + ...

Procediendo como lo hicimos anteriormente, llevamos a cabo la expansin sobre la segunda


contraccin:
R =______________________
g11R11 + g12R21 + g13R31 + ...
+ g21R12 + g22R22 + g23R32 + ...
+ g31R13 + g32R23 + g33R33 + ...

Reagrupando y usando la propiedad de simetra del tensor mtrico gij = gji, podemos llevar a
cabo la siguiente simplificacin:
R =______________________
g11R11 + g22R22 + g33R33 + ...
+ g21(R21 + R12) + g13(R31 + R13)
+ g23(R32 + R23) + ...

Este definitivamente no es un tensor cero, a menos de que todas las componentes del tensor de
Riemann o todas las componentes del tensor mtrico sean iguales a cero. Este es el tensor de
Ricci.

Por ltimo, llevaremos a cabo la tercera contraccin posible que podemos llevar a cabo en el

tensor de Riemann, la que se puede efectuar entre el ndice superior y el ndice inferior
igualando ambos ndices sobre la expresin dada anteriormente:
R = R = g1R1 + g2R2 + g3R3 + ...

Procediendo como lo hicimos anteriormente, efectuamos la expansin de la contraccin sobre el


tercer ndice:
R =______________________
g11R11 + g12R21 + g13R31 + ...
+ g21R12 + g22R22 + g23R32 + ...
+ g31R13 + g32R23 + g33R33 + ...

Usando la propiedad del tensor de Riemann segn la cual si intercambiamos los ltimos dos
ndices el signo del componente se invierte:
R = - R

y renombrando del lado derecho de la igualdad el ndice como , obtenemos lo siguiente:


R =______________________
- g11R11 - g12R21 - g13R31 - ...
- g21R12 - g22R22 - g23R32 - ...
- g31R13 - g32R23 - g33R33 - ...

Pero esto ltimo es esencialmente lo mismo que ya obtuvimos con anterioridad en un paso
intermedio que nos conduca al tensor de Ricci, pero con el signo opuesto, o sea:
R = - R

Esto no nos d informacin nueva que no hubiramos obtenido ya anteriormente. As pues, de


todas las contracciones que podemos llevar a cabo sobre el tensor de Riemann, escrito como
R, slo obtenemos una contraccin no trivial, precisamente el tensor de Ricci.

El tensor de Ricci era el tensor favorito de Einstein, esto en virtud de que la definicin del
tensor Gde Einstein para formalizar matemticamente la curvatura en el espacio-tiempo que se
nos manifiesta como la gravedad depende directamente del tensor de Ricci. l fue el primero en
darse cuenta de la importancia de ese tensor para la construccin de una teora de la gravedad.

Encontrar soluciones a la ecuacin fundamental de la Relatividad General equivale a buscar el


tensor de Ricci que est asociado con la solucin.

En la siguiente fotografa tenemos a Einstein en una visita famosa que hizo a Mount Wilson para
agradecerle personalmente a Edwin Hubble su descubrimiento astronmico que permiti
abandonar el modelo del Universo esttico por un Universo inflacionario en expansin:

En esta fotografa Einstein escribi en el pizarrn lo siguiente:

Rik = 0 ?
El signo de interrogacin que puso Einstein a la derecha de la expresin indica las dudas
personales que ya albergaba sobre el modelo del Universo esttico al cual se haba aferrado y por
el cual introdujo en su ecuacin tensorial la constante cosmolgica que tiempo despus llamara
el error (intelectual) ms grande de su vida.

Al presentar al mundo sus ecuaciones de campo, Einstein hizo la suposicin central de que en el
espacio vaco el tensor de Ricci tiene un valor de cero:

R = 0
Esta expresin constituye esencialmente la ley de gravitacin universal de Einstein. La frase
espacio vaco significa aqu que no hay ningn tipo de materia presente (como un gas de polvo

interestelar o partculas atmicas libres) ni hay campos fsicos de ninguna ndole excepto el
campo gravitacional, el cual en s no perturba este vaco a diferencia de otros campos (como el
campo electromagntico) que s lo hacen. Las condiciones de un espacio vaco se cumplen
razonablemente bien para el espacio entre los planetas del sistema solar. El espaciotiempo plano obviamente satisface la ecuacin arriba mostrada; las geodsicas en tal caso son
lneas rectas de modo tal que las partculas se mueven a lo largo de lneas rectas. En aquellas
regiones en donde el espacio-tiempo no es plano, la ecuacin de Einstein impone restricciones al
tipo de curvatura posible. A primera vista, la ley de gravitacin de Einstein no se parece en nada
al esquema de Newton. Para poder ver una similitud, debemos ver a los componentes g del
tensor mtrico como potencialesque describen al campo gravitacional. Hay diez de ellos, en
lugar de un solo potencial que distingue a la teora Newtoniana, y estos diez potenciales no slo
describen al campo gravitacional sino al sistema de coordenadas empleado.

Una vez que tenemos el tensor covariante de Ricci R, aplicndole a dicho tensor con la ayuda
de un tensor mtrico g contravariante una contraccin sobre sus dos ndices obtenemos un
escalar R (un tensor de orden cero) conocido como el escalar de Ricci:
R = gR

el cual viene siendo a fin de cuentas el resultado de una doble contraccin llevada a cabo sobre
el tensor de Riemann:
R = gR = g gR

Con el tensor de Ricci en nuestras manos, nuestro primer intento en construr una nueva teora
fsica con los tensores R = (R) y T = (T) parecera estar solucionado. Con los dos tensores de
orden dos la curvatura geomtrica del espacio-tiempo puede ser igualada con la presencia de la
masa-energa que produce dicha curvatura. Esto fue precisamente lo que hizo Einstein. Pero las
primeras aplicaciones no slo produjeron resultados poco satisfactorios, sino inclusive
contradictorios. La teora correcta para describir la nueva realidad fsica requera una
modificacin del tensor de Ricci. El nuevo tensor construdo modificando el tensor de Ricci
result ser precisamente el tensor de Einstein definido de la siguiente manera:

Resulta claro que el tensor de Einstein G es esencialmente un tensor mixto de orden dos, y la

diferencia entre el tensor de Ricci R y el tensor de Einstein G se observa con mayor claridad
viendo la representacin matricial de los componentes del tensor de Einstein:

La nica diferencia entre el tensor de Einstein y el tensor de Ricci estriba en la diagonal


principal, a la cual se le resta a cada uno de sus componentes la mitad del escalar de Ricci. Esta
parece una diferencia mnima. Y sin embargo, es justo lo que se requiere para que la ecuacin
tensorial de la Relatividad General pueda ser utilizada para analizar y predecir fenmenos
fsicos reales.

Puesto que el tensor de Ricci es un tensor simtrico, y puesto que el tensor de Einstein lo nico
que hace es modificar las entradas en la diagonal principal, el tensor de Einstein tambin es un
tensor simtrico.

El tensor de Einstein G posee una propiedad importante: es un tensor libre de divergencia.

PROBLEMA: Demostrar que la divergencia del tensor de Einstein es cero en todos los puntos.

La solucin de este problema requiere demostrar que:


Gri;r = 0

El procedimiento usual consiste en llevar a cabo una doble contraccin sobre la segunda
identidad de Bianchi por medio del tensor mtrico. La segunda identidad de Bianchi es:
R; + R; + R; = 0

g[R; + R; + R;] = 0

R; - R; + R; = 0

Los dos primeros trminos se convierten en las derivadas covariantes de tensores de orden dos:

R; - R; + R; = 0

Hasta aqu hemos utilizado la propiedad esencial del tensor mtrico segn la cual:
g; = 0

y siendo el tensor mtrico conjugado una funcin del tensor mtrico entonces:
g; = 0

En otras palabras, hemos utilizado la propiedad de que en la diferenciacin covariante el tensor


mtrico y el tensor mtrico conjugado pueden ser metidos y sacados fuera de la operacin
comportndose como si fuesen las constantes de la diferenciacin ordinaria. Por otro lado, para
meter convertir el signo positivo a signo negativo en el segundo trmino se ha utilizado la
propiedad de hemisimetra (antisimetra) del tensor de Riemann:
gR; = - gR;

gR; = - R;

Llevamos a cabo ahora una segunda contraccin:


g[R; - R; + R;] = 0

Esto se simplifica a:
R; - R; + (- R; ) = 0

R; - 2 R; = 0

Entonces, haciendo uso del hecho de que:


( R); = (R); = R; = R;

lo ltimo lo podemos reescribir de la siguiente manera:


(2 R - R); = 0

Pero lo que tenemos dentro del parntesis, si lo dividimos entre 2, es precisamente el tensor de

Einstein. Entonces, juntando los dos ndices arriba con la ayuda del tensor mtrico, obtenemos
el resultado deseado:
G; = 0

Este es un resultado fundamental, porque si la derivada covariante del tensor de Einstein, o sea
su divergencia, es cero, entonces del otro lado de la ecuacin primaria de la Relatividad General
la divergencia del tensor energa-tensin T tambin debe ser cero. En pocas palabras, el que la
divergencia del tensor de Einstein sea cero implica la conservacin de la energa-momentum.

Como lo acabamos de hacer arriba, con la ayuda del tensor mtrico podemos convertir
liberalmente al tensor de Einstein en un tensor contravariante de segundo orden:
G = R - gR = G

el cual como se ha sealado aqu es un tensor simtrico. Y del mismo modo, podemos convertir
al tensor de Einstein en un tensor covariante de segundo orden:
G = R - g R = G

En general, en notacin tensorial compacta:


G=R-gR

Posiblemente algunos lectores se encuentren confundidos con el hecho de que en las


definiciones tensoriales que usan notacin de componentes los ndices puedan aparecer
indistintamente como super-ndices (superscriptos) o como sub-ndices (subscriptos). Se hace
una pausa aqu al lector para recordarle en una ecuacin tensorial de orden n existe una libertad
absoluta en la forma en la cual los componentes del tensor son especificados. Por ejemplo, la
ecuacin tensorial fundamental de la Relatividad General:
G = 8T

podemos expresarla en forma de componentes ya sea como:


G = 8T

con ambos ndices arriba, o como:

G = 8T

con ambos ndices abajo.