Manuel Crespo Ballesteros Universidad de Murcia Licenciatura en F sica

Ecuaciones del campo de Einstein

Teor de la gravedad de Newton a
Comenzamos considerando la descripcin de la fuerza de la gravedad en la teor clsica de o a a Newton. En esta teor newtoniana, la fuerza gravitacional f sobre una part a cula test de masa gravitacional mG en una posicin concreta del espacio es o f = mG g = mg donde g es el campo gravitatorio producido por el potencial gravitatorio en esa posicin. El o potencial gravitatorio viene determinado por la ecuacin de Poisson o
2

= 4G

(1)

donde es la densidad de materia gravitacional y G la constante gravitacional de Newton. Esta es la ecuacin del campo de la teor newtoniana. o a De la ecuacin (1) deducimos que la gravedad newtoniana no es consistente con la relatividad o especial. Esta ecuacin no tiene una dependencia expl o cita con el tiempo, lo que signica que el potencial , y por tanto la fuerza f , responden de manera instantnea a cualquier alteracin de a o la densidad de materia . Esto viola el principio de que ninguna seal f n sica puede propagarse a velocidades ms rpidas que la de la luz. a a Podr amos intentar modicar la ecuacin (1) para ((evitar)) el problema de la propagacin ino o 2 2 stantnea. El operador Laplaciano a es equivalente al operador dAlambertiano D cambiado de signo en el l mite cuando c , as que podemos escribir la ecuacin (1) como o D2 = 4G Sin embargo, esta ecuacin no proporciona una teor relativista consistente. No cumple el o a requerimiento de covarianza de Lorentz (principio de la relatividad especial) puesto que la densidad de materia no se transforma como un escalar de Lorentz. Esto signica que la magnitud f sica depende del sistema de referencia, pues depende de dos magnitudes: (i) la masa, cuya medicin depende del sistema de referencia; (ii) el espacio, que experimenta contracciones apreo ciables en sistemas de referencia que se mueven a altas velocidades. Por todo esto, la densidad de materia no es un parmetro invariante, sino que su medicin da resultados distintos conforme a o se modica la velocidad del observador. Por otra parte, la ecuacin de movimiento de una part o cula con masa inercial mI en un campo gravitatorio es mG d2 x = dt2 mI 1

Es un hecho experimental comprobado que el ratio mG /mI que aparece en la ecuacin es el o mismo para todas las partculas. Con una eleccin apropiada de unidades podemos hacer ese o cociente igual a 1. Por tanto, vemos que la trayectoria que sigue una part cula en un campo gravitatorio es independiente de la naturaleza de la partcula. Esta equivalencia entre masa gravitatoria e inercial es una coincidencia en la teor de Newton a verdaderamente remarcable. En esta teor a priori, no hay razn por la cual la cantidad que a, o determina la magnitud de la fuerza gravitatoria sobre una part cula deber ser igual a la a cantidad que determina la ((resistencia)) de una part cula a una fuerza aplicada.

Principio de equivalencia
La igualdad entre masa gravitacional e inercial condujo a Einstein a su experimento mental del ascensor en ca libre. Se sigue de este razonamiento que la aceleracin de cualquier part da o cula respecto al ascensor es cero: la part cula y el ascensor tienen la misma acelaracin relativa a la o tierra como resultado de la equivalencia entre masa gravitacional e inercial. Todas estas observaciones ((mentales)) se mantendr exactamente si el campo gravitatorio de an la tierra fuese realmente uniforme. Pero por supuesto, esto no es as pues acta radialmente y , u su intensidad es proporcional a 1/r2 . Las part culas experimentar ca an das radiales adems de a presentar fuerzas de marea. Sin embargo, podemos considerar que el ascensor cae durante un corto periodo de tiempo y que es espacialmente pequeo, por tanto, podr n amos considerarlo un sistema de referencia inercial, y las leyes de la relatividad especial se mantendr en el interior del ascensor. an Principio de equivalencia: En un laboratorio que cae libremente y sin rotacin ocupando una o regin pequea del espacio tiempo, las leyes de la fsica son las de la relatividad especial o n

Gravedad como curvatura del espacio-tiempo

Las observaciones anteriores, guiaron a Einstein a hacer una profunda propuesta que simultneaa mente diese una descripcin relativista de la gravedad y adems incorporara de forma natural el o a principio de equivalencia, y consecuentemente la equivalencia entre masa gravitatoria e inercial. Einstein propuso que la gravedad no debera ser considerada como una fuerza en el sentido convencional si no como una manifestacin de la curvatura del espacio-tiempo, siendo esta curo vatura provocada por la presencia de materia. Esta es la idea principial de la Teor General de a la Gravedad. As pues, si la gravedad es una manifestacin de la curvatura del espacio-tiempo y no la accin o o de algn cuadrivector f denido sobre la variedad espacio-temporal, entonces la ecuacin de u o movimiento de una part cula movindose tan slo bajo la inuencia de la gravedad debe ser la e o de una part cula libre en el espacio-tiempo curvo dp =0 d 2

donde p es el cuadrimomento de la part cula y es el tiempo propio medido a lo largo de su l nea de mundo. Por tanto, la l nea de mundo de una part cula en ca libre bajo la accin de da o la gravedad es una geodsica en el espacio-tiempo curvado. e El principio de equivalencia restringe la posible geometr del espacio-tiempo curvo a una de a tipo pseudo-Riemanniana, como deduciremos a continuacin. Matemticamente, el principio o a de equivalencia nos dice que en cualquier punto P del espacio-tiempo debemos poder denir un sistema de coordenadas X de forma que en la vecindad de P, el elemento de l nea del espacio-tiempo tome la forma ds2 dX dX cumplindose la igualdad en el punto P. De la ecuacin de la geodsica, se deduce que el camino e o e que sigue una part cula libre (que slo se mueve bajo la inuencia de la gravedad) en la vecindad o de P est dado por a d2 X i 0 d 2 Estableciendo que [X ] = (cT, X, Y, Z), para = 0 la ecuacin nos muestra que dT /d = cte. o As pues, para = 1, 2, 3 obtenemos que d2 X 0 dT 2 As pues, en un entorno de P las coordenadas X denen un sistema cartesiano localmente inercial, en el cual las leyes de la relatividad especial se mantienen localmente. Para poder construir un sistema de coordenadas como ste, el espacio-tiempo debe ser una variedad pseudoe Riemanniana. En esta variedad, en un sistema arbitrario de coordenadas x , el elemento de l nea toma la forma general ds2 = g dx dx

Coordenadas localmente inerciales

La curvatura del espacio-tiempo nos impide encontrar unas coordenadas en las cuales la mtrica e g = para todos los puntos de la variedad. De este modo, no es posible denir un sistema cartesiano globalmente inercial como podr amos hacer en el espacio-tiempo pseudo-Eucl deo de Minkowski. En vez de ello, estamos forzados a usar un sistema arbitrario x que etiquete los puntos de la variedad, y estas coordenadas en general no tienen un signicado f sico simple. Sin embargo, por el principio de equivalencia, los problemas de la interpretacin f o sica de las coordenadas se pueden superar mediante una transformacin de stas, en cada punto P del o e espacio tiempo, a un sistema localmente inercial X , el cual, en una limitada regin alrededor o de P, corresponde a un sistema cartesiano que cae libremente sin rotacin. Matemticamente, o a esto corresponde a construir en un entorno de P un sistema de coordenadas X tal que g (P ) = ; ( g )P = 0 (2)

Esto signica que (P ) = 0 y el sistema coordenado de vectores en P forman un conjunto ortonormal, i.e. e (P ) e (P ) = (3) 3

Existen en realidad un nmero innito de sistemas de coordenadas localmente inerciales en u P, todos ellos relacionados por transformaciones de Lorentz. Si un sistema X satisface las condiciones (2) y por tanto la condicin (3), entonces tambin lo har el sistema o e a X

= X

donde denen las transformaciones de Lorentz. De este modo, un sistema cartesiano en ca libre en un punto P est relacionado con algn otro por transformaciones de Lorentz. da a u Para cualquiera de estos sistemas de coordenadas, el vector de la base de carcter temporal a e0 (P ) es simplemente el cuadrivector velocidad normalizado u(P ) del origen del sistema en el punto P, y los vectores de carcter espacial ortonormales ei (P ) denen la orientacin de los ejes a o espaciales en el marco de referencia. Para puntos cercanos a P, la mtrica en el sistema de referencia localmente inercial X (cuyo e origen est en P), est dada por a a g = + 1 ( g )P X X 2

El tamao de las derivadas segundas determinan la regin sobre la cual la aproximacin g n o o sigue siendo vlida. a

Curvatura intr nseca de una variedad

Cuando hablamos de la curvatura del espacio-tiempo en relatividad general, debemos evitar caer en la tentacin de pensar que el espacio-tiempo est embebido o insertado en un espacio o a de dimensin superior. Cualquier concepto de ((embebimiento)), tenga o no realismo f o sico, deber ser irrelevante para nuestra discusin. Slo nos interesan las propiedades intr a o o nsecas de la geometr a. As pues, ya que la nocin de curvatura es muy importante en la relatividad general, nos interesa o tener una manera de cuanticar la curvatura intr nseca de una variedad en un punto P dado. Una variedad (o regin de sta) es plana si existe un sistema de coordenadas X tal que, para o e toda la regin, el elemento de l o nea puede ser escrito de la forma ds2 =
1

dX 1

dX 2

+ ... +

dX N

(4)

donde a = 1. Si, sin embargo, los puntos de la variedad son etiquetados con algn otro sistema u a de coordenadas x , entonces, en general, el elemento de l nea no tendr la forma de (4). As si a , para alguna variedad el elemento de l nea est dado por a ds2 = gab dxa dxb cmo podemos saber si la geometr intr o a nseca de la variedad en alguna regin es plana o o curvada? Por ejemplo, consideremos el espacio tridimensional descrito por el elemento de l nea a2 dr2 + r2 + d2 + r2 sin2 d ds = 2 2 a r
2

Existe alguna forma de decir si esta mtrica, o cualquier otra ms complicada, corresponde e a a un espacio plano pero que simplemente parece complicada por la eleccin de coordenadas? o Podr ser muy tedioso y complicado descubrir cul es el sistema de coordenadas que reduce a a una mtrica a una de la forma (4). Por tanto, necesitamos algo que nos diga si una variedad e es plana directamente a partir de la mtrica gab , independientemente de las coordenadas que e usemos. Cul es el signicado f a sico de sto? Si en alguna regin del espacio-tiempo de cuatro dimene o siones podemos reducir el elemento de l nea ds2 = g dx dx a la forma de Minkowski de la relatividad especial, entonces no puede haber campo gravitatorio en esa regin. La equivalencia de un elemento de l o nea genrico con el de Minkowski garantiza e por tanto, que el campo gravitatorio desaparecer. La solucin de nuestro problema de encontrar a o una manera independiente de las coordenadas de denir la curvatura del espacio-tiempo nos llevar a las ecuaciones de la gravedad. a

Tensor de curvatura de Riemann

Podemos encontrar la solucin al problema de la medicin de la curvatura de una variedad en o o cualquier punto a partir de la diferenciacin covariante. La derivada covariante es una genero alizacin de la derivacin parcial de vectores. Sin embargo, dieren en un aspecto importante: o o importa el orden en el cual acta la derivada covariante y por tanto, cambiar el orden, modica u el resultado. Para un campo escalar, la derivada covariante es simplemente la derivada parcial, as que el orden de diferenciacin no importa. Sin embargo, vamos a considerar un campo vectorial arbitrario o denido en una variedad, cuyas componentes covariantes son va . La derivada covariante de va est dada por a d b va = b va ab vb Si hacemos una segunda diferenciacin covariante, por ser ella misma un tensor de rango 2, o tenemos e e c b va = c ( b va ) ac b ve bc e va = = c b va c d vd d c vd e b ve d vd e e va d vd ac eb bc ae ad ab Si intercambiamos los ndices b y c para obtener la expresin correspondiente a o a la anterior obtenemos d c b va b c va = Rabc vd donde
d Rabc b d c d + e d e d ac ab ac eb ab ec b c va

restndola a (5) (6)

d Qu ente matemtico es Rabc ? A partir del teorema del cociente podemos probar que son las e a componentes de un tensor de rango 4 R. Este tensor se llama tensor de curvatura o tensor de Riemann y la ecuacin (6) nos muestra que est denido en trminos del tensor mtrico gab y o a e e sus primeras y segundas derivadas.

Debemos entonces establecer cmo el tensor de curvatura est relacionado con la curvatura de o a la variedad. En una regin plana de la variedad, podemos elegir unas coordenadas tales que el o elemento de l nea tome la forma (4) en toda la regin. En estas coordenadas, a y sus derivadas o bc son cero, por tanto d Rabc = 0 en todo punto de la regin. Esta es una relacin tensorial, y por tanto se debe mantener en o o d o cualquier sistema de coordenadas. Por otra parte, si Rabc = 0 en todo punto de una regin de una variedad, se puede demostrar que es posible elegir un sistema de coordenadas en el cual el elemento de l nea tome la forma (4) y por tanto, esta regin ser plana. As pues, la condicin o a o d Rabc = 0 es necesaria y suciente para que una regin de una variedad sea plana. o

Propiedades del tensor de curvatura

El tensor de curvatura posee un cierto nmero de simetr y satisface algunas identidades u as importantes. Las simetr del tensor se pueden derivar ms fcilmente en trminos de sus as a a e componentes covariantes. Podemos usar las componentes del tensor mtrico para bajar un e ndice y por tanto obtener e Rabcd = gae Rbcd En un sistema arbitrario de coordenadas, la forma expl cita de las componentes del tensor son Rabcd = 1 (d a gbc d b gac + c b gad c a gbd ) g ef (eac f bd ead f bc ) 2

Consideremos ahora un sistema coordenado geodsico sobre un punto P (en el cual a (P ) = 0, e bc aunque no sus derivadas). Las componentes covariantes del tensor de curvatura en P estn dadas a por 1 (Rabcd )P = (d a gbc d b gac + c b gad c a gbd )P 2 A partir de esta expresin, vemos que el tensor posee las siguientes simetr en P: o as Rabcd = Rbacd Rabcd = Rabdc Rabcd = Rcdab Asimismo, podemos deducir la siguiente indentidad c clica Rabcd + Racdb + Radbc = 0 Todos estos resultados se deducen en un sistema de coordenadas especial. Sin embargo, se tratan de unas relaciones tensoriales, por tanto, si son vlidas en un sistema de coordenadas entonces a lo son para cualquier otro sistema. Como cualquier tensor de rango 4, el tensor de curvatura podr parecer que tiene N 4 compoa nentes, sin embargo, las simetr de ste reducen el nmero de componentes independientes a as e u 6

N 2 (N 2 1)/12. En el caso del espacio-tiempo de N = 4 dimensiones, tendr amos 20 componentes independientes para el tensor mtrico. Recordemos que siempre es posible construir un e sistema de coordenadas para el cual en la vecindad de algn punto P el elemento de l u nea toma la forma (4). Recordemos tambin que se dedujo que en un punto P del espacio-tiempo podemos e establecer un cambio a coordenadas cartesianas locales donde g (P ) = y ( g )P = 0 pero donde en general, no pueden eliminarse las 20 combinaciones lineales de las derivadas segundas de la mtrica ( g )P . Las componentes del tensor de curvatura son estas 20 combinaciones e lineales. El tensor de curvatura satisface tambin una identidad diferencial, conocida como la identidad e de Bianchi e Rabcd + c Rabde + d Rabec = 0

Tensor de Ricci y curvatura escalar

Podemos realizar una contraccin en el primer y ultimo o ndice del tensor de curvatura para obtener un nuevo tensor no nulo de rango 2, que llamamos tensor de Ricci y cuyas componentes covariantes son c Rab Rabc y cuya expresin expl o cita es Rab = c c b c + c d c d ab ac ab cd ad bc La contraccin del tensor de Ricci con el tensor mtrico nos da una cantidad escalar denida o e en cada punto de la variedad y que llamamos el escalar de curvatura
a R g ab Rab = Ra

Las derivadas covariantes del tensor de Ricci y del escalar de curvatura, obedecen una relacin o muy importante, clave para el desarrollo de las ecuaciones de la relatividad general. Subiendo el ndice a en la identidad de Bianchi y contrayndolo con d obtenemos e
e Rbc

a c Rbae

a a Rbec

=0

Usando las propiedades de simetr en el segundo trmino nos da que a e

e Rbc

c Rbe

a a Rbec

=0

Si subimos ahora el ndice b y contraemos con e encontramos que

b b Rc

cR

ab a Rbc

=0

Usando las propiedades de antisimetr podemos escribir el tercer trmino como a e

ab a Rbc

ba a Rcb

a a Rc

b b Rc

Obtenemos entonces 2
b b Rc

cR

b b 2Rc c R = 0

Finalmente, subiendo el ndice c, obtenemos el resultado buscado

b

1 Rbc g bc R = 0 2

El trmino entre parntesis es el llamado tensor de Einstein e e 1 Gab Rab g ab R 2 Este tensor es simtrico y posee una sola divergencia independiente e (por construccin). o
ab aG

y que desaparece

El tensor momento-energ a
Sigamos ahora con la idea de Einstein de que la gravedad es una manifestacin de la curvatura o del espacio-tiempo debida a la presencia de materia. Debemos pues obtener un conjunto de ecuaciones que describan cuantitativamente cmo la curvatura del especio-tiempo en un punto o est relacionada con la distribucin de materia en ese punto. a o Las ecuaciones de Maxwell en su formulacin tensorial relacionan el campo electromagntico F o e en cualquier punto con su fuente, el cuadrivector densidad de corriente j en ese punto. As pues, de manera anloga, podemos pensar en unas ecuaciones que relacionan la curvatura con su a fuente: la energa y el momento de la materia. Para construir las ecuaciones del campo gravitatorio, debemos encontrar primero una forma covariante de expresar el trmino fuente. El concepto covariante signica que todas las leyes e f sicas deben tomar la misma forma en todos los sistema de referencia; las leyes han de expresarse tensorialmente pues los tensores son invariantes ante transformaciones de Lorentz. Debemos encontrar pues un tensor que describa la distribucin de materia en cada punto del espacioo tiempo. Consideremos una distribucin que dependa del tiempo y cuyas part o culas componentes no interaccionen entre ellas, cada una con masa en reposo m0 . Esto es a lo que se le llama dust en la literatura cient ca. En un punto P del espacio-tiempo podemos caracterizar la distribucin o completamente dando la densidad de materia y el trivector velocidad u medidos en algn u sistema inercial. Por simplicidad, consideramos un elemento de uido en su sistema en reposo instantneo S en P, en el cual u = 0. En este marco de referencia, la densidad propia est dada a a por 0 = m0 n0 , donde m0 es la masa en reposo de cada part cula y n0 es el nmero de part u culas en una unidad de volumen. Consideramos ahora otro sistema de referencia S movindose con una velocidad relativa v e respecto de S. En este sistema de referencia, el volumen sufre una contraccin de Lorentz en la o direccin del movimiento. Por tanto, el nmero de part o u culas por unidad de volumen ser ahora a n = n0 . Adems, la masa de cada part a cula en S ser m = m0 . As pues, la densidad de a materia en S ser a = 2 0 De esto concluimos que la densidad de materia no es un escalar. Sin embargo, transforma como la componente 00 de un tensor de rango 2. Esto sugiere que el trmino fuente en las ecuaciones del e 8

campo gravitatorio es un tensor de rango 2. En cualquier punto del espacio, podemos construir un tensor T de rango 2 a partir del producto tensorial de los cuadrivectores velocidad, y que es coherente con nuestra exigencia de tranformacin de 0 o T(x) = 0 (x)u(x) u(x) (7)

donde 0 (x) es la densidad propia del uido, i.e., la que es medida por un observador coomvil o con el ujo local y u(x) es su cuadrivector velocidad. El tensor T(x) es el llamado tensor momento-energa de la distribucin de materia. De aqu en adelante denotaremos a la densidad o propia como . En un sistema arbitrario de coordenadas x en el cual el cuadrivector velocidad del elemento de uido es u , las componentes contravariantes de (7) son T = u u Para dar un signicado f sico a las componentes del tensor momento-energ consideramos un a, sistema de coordenadas cartesianas localmente inercial en P en el cual las componentes del cuadrivector velocidad del elemento de uido son [u ] = (c, u). En este sistema de referencia, escribimos las componentes del tensor como T 00 = u0 u0 = 2 c2 T 0i = T i0 = u0 ui = 2 ui T ij = ui uj = 2 ui uj El signicado f sico de cada componentes es el siguiente: T 00 es la densidad de energ de las part a culas T 0i es el ujo de energ c1 en la direccin i a o T i0 es la densidad de momento c en la direccin i o T ij es el ritmo de ujo de la componente i del momento por unidad de area en la direccin o j. Es la componente i de la fuerza por unidad de rea ejercida sobre una supercie cuya a normal est en la direccin j. a o

El tensor momento-energ de un uido perfecto a

Para generalizar nuestra discusin a uidos reales, debemos tener en cuenta lo siguiente: o Adems del movimiento del uido, cada part a cula posee una velocidad aleatoria (trmica). e Pueden existir fuerzas de interaccin entre las part o culas que contribuyan a la energ a potencial total del sistema.

El signicado f sico de las componentes del tensor momento-energ T, nos da una idea de cmo a o generalizar su forma para incluir las propiedades de los uidos reales. Consideremos T en algn punto P y trabajemos en un sistema de coordenadas cartesiano u localmente inercial S que es el sistema en reposo instantneo del elemento de uido en P. Para a el dust, la unica componente no nula es T 00 . Vamos ahora a considerar las componentes de T en el sistema S del uido real. T 00 : es la densidad de energ total, incluyendo cualquier energ potencial debida a las a a fuerzas entre las part culas y a la energ cintica derivada de su movimiento trmico. a e e T 0i : aunque no hay movimiento del volumen total del uido, la energ puede ser transa mitida por conduccin de calor, as pues, ste es bsicamente un trmino de conduccin o e a e o en S. T i0 : de nuevo, aunque las part culas no sufren un movimiento global, si el calor es transmitido entonces la energ conllevar un transporte de momento. a a T ij : el movimiento trmico de las part e culas dar un aumento del ujo de momento, de a ii modo que T es la presin isotrpica en la direccin i y T ij (i = j) son los esfuerzos o o o viscosos en el uido. Todas estas identicaciones son vlidas para un uido en general. Un uido perfecto es aquel a donde las part culas no interactan entre ellas y donde no hay conduccin del calor o viscosidad u o en S. As en S, para un uido perfecto (es vlido el principio de Pascal) las componentes del , a tensor T son c2 0 0 0 0 p 0 0 [T ] = (8) 0 0 p 0 0 0 0 p En general, podremos escribir las componentes del tensor como T = + p/c2 u u p (9)

vlida para cualquier sistema cartesiano localmente inercial en P. Sin embargo, podemos obtener a un expresin vlida en un sistema de coordenadas arbitrario simplemente reemplazando por o a las funciones de la mtrica g . As llegamos a una expresin completamente covariante para e , o las componentes del tensor momento-energ de un uido perfecto a T = + p/c2 u u pg (10)

Observamos que T es simtrico y est compuesto por dos campos escalares, p y , y un campo e a vetorial u que caracterizan el uido. Cuando p 0, el uido perfecto se convierte en lo que hemos llamado dust. Fijmonos en que es posible dar expresiones mucho ms complicadas para representar el tensor e a para uidos no perfectos, para uidos cargados o incluso uidos electromagnticos. Todos estos e tensores son simtricos. e

10

Ecuacin de continuidad o
Se puede deducir que la conservacin del momento y la energ en un sistema arbitrario de o a coordenadas est dada por la ecuacin a o
T

=0

(11)

En la demostracin de la expresin no se hace referencia expl o o cita de si el espacio-tiempo es Minkowskiano o curvo. Aunque la ecuacin (11) es vlida en ambos casos y para cualquier o a sistema coordenado, la interpretacin de la ecuacin diere de uno a otro caso. Si nos olvidamos o o de la gravedad y asumimos que el espacio-tiempo es de Minkowski, la relacin (11) representa la o conservacin de la energ y el momento. En presencia de un campo gravitatorio, sin embargo, o a la energ y el momento de la materia no se conservan por s solos. En este caso, la relacin a o (11) representa una ecuacin de movimiento de la materia bajo la inuencia de un campo o gravitatorio.

Las ecuaciones de Einstein

Estamos en condiciones de deducir la forma de las ecuaciones del campo gravitatorio propuestas por Einstein. Recapitulemos algunos resultados obtenidos aqu y otros que son conocidos: (i) La ecuacin del campo en la gravedad newtoniana es o
2

= 4G

(ii) Si la gravedad es una manifestacin de la curvatura del espacio-tiempo, para un campo o gravitatorio dbil, en coordenadas tales que g = + h (con |h | << 1) y en el cual la e mtrica es esttica, entonces e a 2 g00 = 1 + 2 c (iii) La forma correcta de describir la materia est dada por el tensor momento-energ Para a a. un uido perfecto, en su sistema en reposo instantneo, tenemos a T00 = c2 La combinacin de estas observaciones sugieren que, para el caso de un campo gravitatorio dbil o e y esttico en rgimen de baja velocidad tenemos a e
2

g00 =

8G T00 c4

As pues vemos que en el rgimen de campo gravitatorio dbil, es esencialmente g00 . Por tanto, e e estas consideraciones sugieren que las ecuaciones del campo gravitatorio deber ser ecuaciones an en derivadas segundas de los coecientes de la mtrica g . Adems, como ya dijimos, han de e a ser ecuaciones tensoriales que relacionen el campo con la fuente. As pues, las ecuaciones del campo gravitatorio deber ser de la forma an K = T 11 (12)

donde K es un tensor de rango 2 relacionado con la curvatura del espacio-tiempo y = 8G/c4 . Ya que la curvatura del espacio-tiempo est expresada por el tensor de curvatura R , el tensor a K debe ser constru a partir de R y el tensor mtrico g . Adems, K deber tener do e a a las siguientes propiedades: Como antes hemos dicho, en el l mite newtoniano, K deber contener trminos que son a e lineales en las derivadas segundas de los coecientes de la mtrica. e Puesto que T es simtrico, entonces K deber ser tambin simtrico. e a e e El tensor de curvatura R es ya lineal en las derivadas segundas de la mtrica y por tanto, e la forma ms general para K que satisface las propiedades anteriores es a K = aR + bRg + g donde R es el tensor de Ricci, R es la curvatura escalar y a, b y son constantes. Si queremos que todos los trminos de K sean lineales en las segundas derivadas de g , e entonces concluimos que = 0. As pues, tenemos que K = aR + bRg Para encontrar las constantes a y b, recordemos que el tensor momento-energ satisface a 0. Entonces, de acuerdo con esto, es necesario que
K T

(13)

(aR + bRg ) = 0

Demostramos anteriormente que

1 R g R = 0 2

y teniendo en cuenta que

= 0, obtenemos que
K

1 a + b g 2

=0

La cantidad R, en general, ser no nula en una regin del espacio-tiempo a menos que sea a o plano y por tanto no haya campo gravitatorio. As pues, encontramos que b = a/2 y que por tanto, las ecuaciones del campo gravitatorio quedan de la forma 1 a R g R = T 2 Para jar la constante a, podemos comparar el l mite de campo gravitatorio dbil de estas e ecuaciones con la ecuacin de Poisson en la gravedad newtonitana. Por consistencia con la o teor de Newton, debemos exigir que a = 1 y por tanto a 1 8G R g R = 4 T 2 c 12

Estas ecuaciones constituyen las ecuaciones de Einstein del campo gravitatorio y forman la base matemtica de la Teora de la Relatividad General. a En el espacio-tiempo de cuatro dimensiones, g tiene 10 componentes independientes y por tanto, en relatividad general tenemos 10 ecuaciones independientes para el campo. Sin embargo, en la teor de Newton slo ten a o amos una ecuacin para el campo. Es ms, las ecuaciones de o a Einstein no son lineales en g , mientras que la gravedad de Newton es lineal en el campo . Esto, como se puede apreciar hace la teor muy complicada. a

Las ecuaciones de Einstein en el vac o

En general, T contiene todas las formas en las que se maniesta la energ y el momento. Una a regin del espacio-tiempo en la cual T = 0 se llama vaco y por tanto carece de materia o o radiacin. Las ecuaciones del campo para este caso son o R = 0
Estas son 10 ecuaciones con 10 incgnitas g . Esto no implica que R = 0, pues el tensor o de curvatura posee 20 componentes independientes mientras que el tensor de Ricci posee 10. Por tanto, es posible satisfacer las ecuaciones del campo en el espacio vac con un tensor o de curvatura de componentes no nulas. Un tensor de curvatura no nulo representa un campo gravitatorio que no desaparece, por lo que concluimos que pueden existir campos gravitatorios en el espacio vac o.

El l mite de campo dbil para las ecuaciones de Einstein e

Antes de encontrar las ecuaciones de Einstein, ya se sugiri que slo necesitbamos considerar o o a las componentes 00. Usando una expresin alternativa para las ecuaciones, podemos escribir o 1 R00 = T00 T g00 2 Suponemos que el espacio est dbilmente curvado y por tanto, existe un sistema de coordenadas a e en el cual g = + h , con |h | << 1 y en el que es estacionaria. En este caso g00 1. De la denicin del tensor de Ricci encontramos que R00 viene dado por o R00 = 0 + 0 00 0 0 00 En nuestro sistema de coordenadas son pequeos, as que podemos despreciar los dos ultimos n trminos de la ecuacin anterior. Adems, puesto que la mtrica es estacionaria, tenemos que e o a e R00 = i i 00
1 Se puede deducir que i 2 ij j h00 hasta primer orden en h y por tanto 00

1 R00 ij j h00 2 13

Sustituyendo en nuestra ecuacin de campo, obtenemos que o 1 1 ij j h00 T00 T 2 2 Si asumimos que la distribucin de materia es tal que p/c2 << , el tensor momento-energ es o a de la forma T = u u de lo que obtenemos que T = c2 . Consideramos adems que las part a culas del uido tienen velocidades pequeas comparadas con las de la luz. Podemos hacer la aproximacin 1 y n o por consiguiente u0 c. Con todo esto, la ecuacin nos queda de la forma o 1 1 ij i j h00 c2 2 2 Podemos escribir ij i j = nalmente obtenemos que
2

. De la expresin g00 = o
2

1+

2 c2

tenemos que h00 =

2 c2

4G

que es la ecuacin de Poisson en la gravedad newtoniana. De aqu obtenemos el valor para la o constante a.

La constante cosmolgica o
Las ecuaciones de Einstein son 1 (14) R g R = T 2 Pero estas ecuaciones no son unicas. Poco despus de su formulacin, Einstein propuso una e o modicacin conocida como el trmino cosmolgico. o e o En la derivacin de las ecuaciones, propusimos que el tensor K fuese de la forma o K = aR + bRg + g Asumimos que slo conten trminos que son lineales en las segundas derivadas de g , y eso o a e nos condujo a armar que = 0. Recordemos que la relacin T = 0 implicaba que K = 0. Sabemos adems que o a g = 0. As pues, podemos aadir cualquier constante que multiplique a g en el lado n izquierdo de la ecuacin (14), consiguiendo un conjunto consistente de ecuaciones del campo, o que escribimos como 1 R g R + g = T (15) 2 donde es una nueva constante universal de la naturaleza conocida como constante cosmolgica. o Escribiendo la ecuacin en trminos de los componentes mixtos y contrayendo, encontramos que o e R = T + 4 Sustituyendo esta expresin en (14) obtenemos la forma alternativa de las ecuaciones del campo o 1 R = T T g + g 2 14 (16)

Se puede demostrar, que en el l mite de campo dbil, la ecuacin del campo de la gravedad e o newtoniana que se deduce a partir de las ecuaciones de Einstein es
2

= 4G c2

Para una masa M esfrica, la intensidad del campo gravitatorio viene dada por la expresin e o g= = GM c2 r r r+ r2 3

As pues, vemos como en este caso el trmino de la constante cosmolgica corresponde a una e o repulsin gravitatoria cuya fuerza crece linealmente con r. o Einstein introdujo este trmino en sus ecuaciones porque era incapaz de construir una modelo e esttico del universo. Sus ecuaciones predec un universo que o estaba en expasin o en a an o contraccin. Cuando Einstein realiz su trabajo alrededor de 1916, los cient o o cos pensaban que la V Lctea era todo el universo, lo que Einstein interpret como una distribucin uniforme a a o o de estrellas jas. Al introducir , Einstein construy un modelo esttico el universo. Ms tarde, o a a se descubri que la V Lctea era slo una de las muchas galaxias que hab en el universo. o a a o a Adems, hacia 1929, Edwin Hubble descubri la expasin del universo midiento distancias y a o o desplazamientos al rojo de galaxias externas. Se prob que el universo estaba en expasin y la o o necesidad de un trmino cosmolgico desapareci. e o o Hoy en d la constante cosmolgica se interpreta de manera distinta. Recordemos que el tensor a, o momento-energ de un uido perfecto es a T = + p/c2 u u pg Imaginemos un tipo de sustancia que tenga la siguiente ecuacin de estado o p = c2 Esta ecuacin signica que la sustancia hipottica posee presin negativa. El tensor momentoo e o energ de esta sustancia ser pues a a T = pg = c2 g Hay dos aspectos a destacar de esta ecuacin. El primero de ellos es que el tensor T de esta o extraa sustancia depende slo del tensor mtrico. Esta es una propiedad intr n o e nseca del vac y o podemos llamar a la densidad de energ del vac vac . El segundo aspecto es que la forma a o de T es la misma que la de la constante cosmolgica en la ecuacin (15). Por tanto, podemos o o interpretar la constante cosmolgica como una constante universal que ja la densidad de energ o a del vaco c4 (17) vac c2 = 8G Llamando al tensor momento-energ del vac T = vac c2 g escribimos las ecuaciones del a o vac campo gravitacional como 1 vac R g R = T + T 2 donde T es el tensor momento-energ de cualquier forma de materia o radiacin. a o 15

El clculo de la densidad del vac es uno de los mayores problemas f a o sicos sin resolver. Se piensa que debe existir un mecanismo que haga que la constante cosmolgica sea muy pequea. Algunos o n f sicos han pensado que debe existir un mecanismo que haga que sea exactamente igual a cero. Pero en los ultimos aos ha ido creciendo la evidencia de que la constante cosmolgica es pequea n o n pero no cero. La evidencia ms rme proviene de la observacin de supernovas de tipo Ia que a o indican que la expasin del universo se est acelerando. Se podr pensar que la gravedad de o a a la materia en el universo causar que la expansin se ralentizara. Sin embargo, si la constante a o cosmolgica es no nula, la presin negativa del vac podr hacer que el universo acelerara su o o o a expansin. o

16