Accin de Einstein-Hilbert y

Ecuaciones de Campo
Patricio Salgado
Departamento de Fsica, Universidad de Concepcin

Experimento del ascensor de Einstein

Consideremos un observador confinado a un ascensor, o mas
precisamente una sala sin ventanas ni ningn otro medio de
comunicacin con el mundo exterior. Consideremos cuatro
casos:
Caso 1: El ascensor est ubicado en una nave espacial la cual
se encuentra en un lugar del universo donde no hay cuerpos
que generen campos gravitacionales. La nave espacial es
acelerada hacia delante con una aceleracin constante g

con
respecto a un observador inercial. El observador en el
ascensor suelta un cuerpo desde el reposo y observa que el
cuerpo cae al piso con aceleracin g

.



















Caso 2: El motor de la nave es apagado de modo que el
ascensor se mueve con movimiento uniforme con respecto a
un observador inercial. Al soltar un cuerpo se observa que se
mantiene en reposo con respecto del observador.








Caso 3: El ascensor se encuentra en reposo sobre la tierra
cuyos movimientos orbitales y rotacionales son ignorados. Si
se suelta un cuerpo se observa que este cae al piso con
aceleracin g

.

































Caso 4: El ascensor est ubicado en un hueco destinado a
los ascensores y se le permite que caiga libremente con
direccin al centro de la tierra. Si se suelta un cuerpo se
observa que se mantiene en reposo con respecto al
observador.





Desde el punto de vista del observador en el ascensor los
casos 2 y 4 son indistinguibles, lo cual es expresado en una
de las formas del principio de equivalencia:

Principio de equivalencia: No existen experimentos locales
que permitan distinguir entre la cada libre no-rotante en un
campo gravitacional y un movimiento espacial uniforme en
ausencia de un campo gravitacional.

Por otro lado, desde el punto de vista del observador en
el ascensor los casos 1 y 3 son indistinguibles, lo cual es
expresado en una de las formas del principio de equivalencia:

Principio de equivalencia: Un sistema de referencia
linealmente acelerado con respecto a un sistema de referencia
inercial es localmente idntico a un sistema de referencia en
reposo en un campo gravitacional.

En otras palabras, las fuerzas gravitacionales y las fuerzas
inerciales son localmente indistinguibles, de manera que
sistemas de referencia no inerciales y campos gravitacionales
son localmente equivalentes.

Matemticamente esto implica la introduccin de una
geometra no euclidiana que reemplaza la usual geometra del
espacio plano.
Es fcil probar de manera intuitiva la necesidad de introducir
geometras no-euclidianas:
Consideremos por ejemplo un sistema K rgidamente fijo a
la superficie de un disco, rotando con respecto a un sistema
inercial K, y supongamos que medimos la circunferencia y el
radio del disco.
Imaginemos que tenemos un gran nmero de reglas de
medida iguales. Supongamos que las colocamos a lo largo de
la periferia y a lo largo del dimetro del circulo
correspondiente al disco, en un sistema en reposo con
respecto a K. Si U es el nmero de reglas a lo largo de la
periferia y si D es el nmero de reglas a lo largo del dimetro,
tenemos que:

si K no rota con respecto de K, entonces se encuentra que
/ U D = .
Si K rota con respecto de K, entonces todas las reglas
alineadas a lo largo de la periferia del disco experimentar,
con respecto a K, una contraccin de Lorentz, mientras que
las reglas a lo largo del dimetro no experimentan
contraccin, debido a que su velocidad, con respecto de K,
es perpendicular al largo de las reglas. Esto nos dice que
/ U D > .

As hemos encontrado que en un sistema de referencia no
inercial la geometra euclidiana no es vlida. Usando el
principio de equivalencia, podemos argumentar entonces que
en presencia de un campo gravitacional (fsicamente y
localmente equivalente a sistemas de referencia no
inerciales), debemos usar una geometra no euclidiana.


Propiedades del campo gravitacional

diferentes cuerpos de prueba, sujetos a las mismas
condiciones iniciales, caen con la misma aceleracin
independientemente de sus masas.
Para un sistema de referencia inercial el intervalo de
tiempo propio infinitesimal (llamado elemento de lnea) ds
es dado, usando coordenadas cartesianas


2 2 2 2 2 2
ds c dt dx dy dz =


y como es conocido, dicho elemento es invariante bajo
transformaciones de Lorentz conservando la misma forma en
todos los sistemas inerciales.
En un sistema de referencia no inercial entonces
2
ds no es
dado, en general, por la suma de los cuadrados de las
cuatro diferenciales de las coordenadas.
Ejemplo: si
( ', ', ', ') x y z ct
son las coordenadas de un sistema
que rota uniformemente con velocidad angular a lo largo
del eje z

, la transformacin a este sistema es dado por

' cos '
' ' cos
'
x x t y sen t
y x sen t y t
z z


=
= +
=


de manera que el elemento de lnea en el sistema de
referencia no inercial

( )
2 2 2 2 2 2 '2 2 '2
' ' ' 2 ' ' 2 ' ' ds c x y dt dx dy dz y dx dt x dy dt
(
= + +


Por lo tanto, en un sistema de referencia no inercial, el
elemento de lnea es, en general, una forma cuadrtica en las
diferenciales de las coordenadas
1 2 3 4
, , , x x x x ct = , y podemos
escribir, en general

2
ds g dx dx

=

donde g g

= son diez funciones de las coordenadas
x

y
t
.
El sistema de coordenadas descrita por
2
ds g dx dx

= es
llamado sistema de coordenadas curvilneas, la cual
corresponde, fsicamente, a un sistema de referencia
acelerado. Las funciones
g g

=
describen las
propiedades geomtricas del sistema coordenado
curvilneo, y son conocidas como la mtrica de la variedad
espacio-tiempo.
Puesto que los sistemas acelerados son equivalentes a los
campos gravitacionales, se tiene que los efectos
gravitacionales son entonces descritos por la mtrica
g

.

Es sin embargo importante hacer notar que existe una
diferencia fundamental entre campos gravitacionales
reales y sistemas de referencias acelerados, a pesar de
su equivalencia local. En efecto, dada la forma cuadrtica
fundamental
2
ds g dx dx

= , tenemos que en el caso de

sistemas de referencias no inerciales podemos siempre
reducirlo (es decir eliminarlo) globalmente a la forma
galileana globalmente ( es decir sobre el espacio-tiempo
completo) por medio de una transformacin de
coordenadas.

Por otro lado, un campo gravitacional real no puede
ser globalmente eliminado por medio de una
transformacin: la mtrica puede ser reducida slo localmente
a la forma de Minkowski. Esto significa que el campo
gravitacional puede ser eliminado slo localmente.

El campo gravitacional corresponde a una variedad
espacio-tiempo descrita por un tensor de curvatura no
nulo, mientras que en el caso de un sistema de referencia
no inercial el tensor de curvatura es nulo, lo cual significa
que el espacio es intrnsicamente plano, an si el elemento
de lnea est expresado en coordenadas curvilneas.

En el caso de un campo gravitatorio arbitrario variable, la
mtrica del espacio no slo no es euclidea , sino que
adems vara con el tiempo. Esto significa que las
relaciones entre diferentes distancias geomtricas
cambian con el tiempo. Por lo tanto, la posicin relativa
de las partculas de prueba introducidas en el campo no
pueden mantenerse inalteradas en ningn sistema
coordenado.

Movimiento de una partcula en un campo
gravitatorio
El movimiento de una partcula material libre se determina,
en teora de la relatividad especial, a partir del principio de
mnima accin:

0 S mc ds = =

Esto significa que la partcula se mueve de manera tal que su
lnea de universo, entre un par de puntos, sea una extremal.
En nuestro caso una recta (en el espacio ordinario de tres
dimensiones, a esta recta corresponde un movimiento
rectilneo y uniforme).
El movimiento de una partcula en un campo gravitatorio
debe ser determinado de acuerdo con el principio de mnima
accin. Esto significa que
en un campo gravitacional la partcula se mueve de manera
tal que su punto de universo recorre una curva extremal,
es decir recorre una geodsica en el espacio
cuadridimensional
0 1 2 3
, , , x x x x .
Sin embargo, dado que en presencia del campo
gravitatorio el espacio tiempo no es galileano, la lnea
extremal no ser una recta, y el movimiento real de la
partcula en el espacio no es ni rectilneo ni uniforme.

Un camino alternativo (al de hacer uso del principio de
mnima accin) para encontrar las ecuaciones del movimiento
de una partcula en un campo gravitatorio, es generalizar
apropiadamente la ecuacin diferencial correspondiente al
movimiento libre de una partcula en la teora especial de la
relatividad. En un sistema de coordenadas cuadridimensional
galileanas esta ecuacin es dada por

0 0
i
i
du
du
ds
= =


donde /
i i
u dx ds = es la cuadrivelocidad. La generalizacin de
esta ecuacin al caso de coordenadas curvilneas fue llevada a
cabo anteriormente y fue encontrado que la es dada, como
sabemos, por


0 Du du u dx

= + =


de donde

0
du dx
u
ds ds

+ =



2
2
0
d x dx dx
ds ds ds

+ =


As vemos que el movimiento de una partcula en un campo
gravitatorio est determinado por las magnitudes

. La
derivada
2
2
d x du
ds ds

=
es la cuadri-aceleracin de la partcula.
Esto significa que, podemos llamar a la magnitud m u u

la cuadri-fuerza que acta sobre la partcula en el campo
gravitatorio,
2
2
d x
m u u m
ds

= +


Dado que

1
2
g g g
g
x x x

= +

se tiene que tensor
g

representa aqu el papel de los

potenciales del campo gravitatorio: sus derivadas
determinan la intensidad del campo

.
Es sabido que mediante una eleccin adecuada del
sistema de coordenadas, a saber usando el sistema
coordenado geodesico siempre se pueden reducir a cero todos
los

en un punto arbitrario del espacio-tiempo.

Esto significa que la eleccin de un sistema de referencia
localmente inercial de este tipo implica la anulacin del campo
gravitatorio en el elemento infinitesimal dado de espacio-
tiempo. As tenemos que la accin matemtica de poder elegir
un sistema de referencia localmente geodsico es la versin
matemtica del hecho fsico conocido como el principio de
equivalencia.

Lmite no relativista: En el lmite de velocidades pequeas,
las ecuaciones relativistas del movimiento de una partcula en
un campo gravitatorio deben reducirse a las correspondientes
ecuaciones no relativistas. Debemos tener en cuenta que la
hiptesis de velocidad pequea implica la condicin que el
campo gravitatorio sea dbil. Nuestro propsito es encontrar
la relacin existente entre el tensor mtrico
ik
g
con el
potencial no relativista

del campo gravitatorio.

En mecnica no relativista, el movimiento de una
partcula en un campo gravitatorio est determinado por la
funcin de Lagrange

2
1
2
L mv m =

De acuerdo con esto, las ecuaciones del movimiento de la
partcula vienen dadas por


dv
grad
dt
= =

donde

es una cierta funcin de las coordenadas y del

tiempo que caracteriza el campo y se conoce como potencial
gravitatorio. Dado que el potencial

est determinado
salvo una constante aditiva arbitraria, tenemos que la funcin
de Lagrange es dada, estrictamente hablando, por


2
1
tan
2
L mv m cons te = +


Para determinar la constante es conveniente recordar que la
accin para una partcula libre especial relativista es dada por


S Ldt mc ds = =


Por otro lado sabemos que


2
2 2 2 2 2 2
2
1
v
ds c dt dx dy dz cdt
c
= =


de donde vemos que la funcin de Lagrange para una
partcula libre es dada por


2
2
2
1
v
L mc
c
=


Para encontrar el lmite no relativista tomamos el lmite
c
es decir el lmite / 0 v c . En efecto

2 2
2 2
2 2
2 2
1 1
2
1
2
v v
L mc mc
c c
L mc mv
| |
= = +
|
\
= + +


de modo que el lmite no relativista de la funcin de Lagrange
para una partcula libre puede ser escrita como

2 2
1
2
L mc mv = +

este resultado nos permite escribir la funcin de Lagrange
para una partcula en un campo gravitacional en la forma

2 2
1
2
L mc mv m = +

La accin no relativista S para una partcula en un
campo gravitatorio tiene entonces la forma

2 2
2
1
2
2
L mc mv m
v
S Ldt mc c dt
c c

= +
| |
= = +
|
\


comparando este resultado con S mc ds =

, vemos que en el
lmite considerado

2
2
v
ds c dt
c c
| |
= +
|
\

de donde vemos que

( )
4 2 2
2 2 2
2 2
4 2
2 2 2 2 2 2
2 2
2 2
4 2
2
4
v v
ds c c c dt
c c c c
v
ds c dt v dt dt
c c

| |
| |
| |
= + + +
|
| |
\
\
\
| |
= + + +
|
\

prescindiendo de los trminos que tienden a cero para
c
, y teniendo en cuenta que
vdt dr =
podemos
escribir

( )
2 2 2 2 2 2 2
2
2
2 1 ds c dt dr c dt dr
c

| |
= + = +
|
\

de donde vemos que en el lmite no relativista la componente
00
g
del tensor mtrico es dado por

00
2
2
1 g
c

= +