Está en la página 1de 27

CALCULO DIFERENCIAL ABSOLUTO.

EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

CALCULO DIFERENCIAL ABSOLUTO


EN ESPACIOS DE RIEMANN

En los aledaños de la Relatividad General

Gregorio Ricci-Curbastro (1853-1925) y un estudiante suyo, Tullio Levi-Civitta


(1873-1941), fueron los pioneros en el desarrollo del calculo tensorial, que recibió
el empuje definitivo al convertirse en la herramienta matemática clave que
permitiría a Albert Einstein una exposición coherente de la Relatividad General,
estableciendo la transformación de sistemas referenciales mediante diferenciación
absoluta de magnitudes vectoriales y tensoriales.

Ambos publicaron en 1901 El Cálculo diferencial absoluto (“Méthodes de calcul


diférentiel absolu et leurs applications”, Mathematische Annalen 54, 125-201
(1901)), su obra más famosa, que está hoy traducida a diversos idiomas y es uno
de los textos clásicos de referencia del cálculo tensorial, más de un siglo después
de su primera publicación.

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 1


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

01. INTRODUCCIÓN A LOS ESPACIOS DE RIEMANN

01.1. Definición de Espacio de Riemann:

El hecho de que se anule en los espacios euclidianos el tensor de curvatura de


Riemann-Christoffel nos permite pensar en la posibilidad de que pueden existir
otros espacios, en general distintos a los euclidianos, en los que el antedicho tensor
de curvatura no siempre sea nulo. Espacios que serían más generales que los
euclidianos, esto es, espacios de los cuales los euclidianos corresponderían al caso
particular en que Rn ,hk = 0 .
i

Estos espacios más generales serían los Espacios de Riemann.

Para definir, por consiguiente, un Espacio de Riemann, hemos de procurar que sus
magnitudes y propiedades coincidan con las de los espacios euclidianos, inclusive
en lo que respecta al tensor de curvatura. Así, se ha de cumplir la simetría e
inversibilidad de la métrica y la expresión contravariante del elemento diferencial
de longitud.

Un espacio de Riemann de n dimensiones es un par constituido por una variedad


n-dimensional Vn y una métrica gik.

Una variedad n-dimensional Vn es un conjunto de n variables x1, ..., xn, que pueden
representar longitudes, ángulos, etc., y que están definidas en correspondientes
intervalos de números reales I1, ..., In.

{
Vn = x i / x i ∈ I i , i = 1,..., n}
 g11 ... g1n 
 
 ... ... ... 
(gik )n = 
... ... ... 
 
g ... g 
 n1 nn 

(
Espacio de Riemann: Rn = Vn , ( g ik )n )
La métrica nos indica la forma de representación de la variedad n-dimensional, esto
es, para cada métrica hay una forma de representación. La distancia entre dos
puntos infinitamente próximos, o elemento diferencial de longitud, ds, podemos
expresarla, como en los espacios euclidianos por:

r2 r r
(r r
) r r
dx = (dx , dx ) = dx i ei , dx k ek = dx i dx k (ei , ek ) = g ik dx i dx k

o sea
ds 2 = gik dx i dx k

Esto es, en forma desarrollada, significa que

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 2


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

 g11 ... g1n  1


  dx 
... ... ...  
(
1 n 
ds = dx ,..., dx 
2
)
...

... ...  n 
... 
  dx
g ... g nn  
 n1
Cumpliéndose por lo demás que:

g ij = g ji , g jk = (g jk ) , ds 2 = g jk dx j dx k
−1

Y los símbolos de Christoffel pueden definirse, de manera concordante con la


expresión que tienen en los espacios euclidianos, por:

1  ∂g jk ∂g ik ∂g ij 
de primera especie: (ij , k ) =  + − 
2  ∂x i ∂x j ∂x k 

de segunda especie: Γijk = (ij , k ).g kh

Veremos que todos estos símbolos verifican en el Espacio de Riemann las mismas
propiedades de simetría, tensorialidad, etc., que en los Espacios Euclidianos.

01.2. El ejemplo de las variedades bidimensionales de Riemann:

En el caso de las variedades bidimensionales, podemos definirlas simplemente por


su métrica, esto es, por los elementos de la matriz métrica en cada punto de la
variedad (generalmente son variables los elementos de este tensor en los puntos
de un espacio de Riemann), o bien, podemos definirlas por su representación
inmersa en una variedad euclidiana ordinaria tridimensional, y obtener su métrica
desde la expresión del elemento diferencial de longitud en la variedad euclidiana:

Representación en la variedad euclidiana: x = x ( x, y , z ), x 2 = x 2 ( x, y , z )


1 1

El. diferencial de longitud en la variedad euclidiana ordinaria: ds = dx + dy + dz


2 2 2 2

En el siguiente ejemplo definimos tres variedades bidimensionales de Riemann


mediante su representación en una variedad euclidiana ordinaria tridimensional, la
representación plana, la representación esférica y la representación cilíndrica.

Ejemplo:

Supongamos la variedad de dos dimensiones definida por

 1 1 
V2 =  x1 , x 2 / x1 ∈ (0,2π ) ⊂ R, x 2 ∈ (− π ,+ π ) ⊂ R 
 2 2 
o bien, si llamamos por comodidad u y v a las variables:

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 3


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

 1 1 
V2 = u , v / u ∈ (0,2π ) ⊂ R, v ∈ (− π ,+ π ) ⊂ R 
 2 2 

veamos las tres formas diferentes de representación de esta variedad, cada una de
ellos con su correspondiente métrica gik:

a) Forma de representación plana. Es el caso en el que las dos variables


representan longitudes:

u = x, v = y

ds 2 = dx 2 + dy 2 + dz 2 = du 2 + dv 2 + 0 =
 1 0  du 
= (du , dv )  
 0 1  dv 

Métrica de la representación:

(gik )2 = 
1 0

0 1

b) Forma de representación esférica de radio r. Corresponde al caso en el que


las variables representan ángulos:

u = ϕ, v = φ

ds 2 = dx 2 + dy 2 + dz 2 = [d (r cos φ . cos ϕ )] +
2

+ [d (r cos φ .senϕ )] + [d (rsenφ )] =


2 2

= r 2 sen 2φ .dφ 2 + r 2 cos 2 φ .dϕ 2 + r 2 cos 2 φdφ 2 =


= r 2 cos 2 φ .dϕ 2 + r 2 dφ 2 = r 2 cos 2 v.du 2 + r 2 dv 2

O sea:
 r 2 cos 2 v 0  du 
ds 2 = (du , dv )  
 0 r 2  dv 

Métrica de la representación:
x = r cos φ . cos ϕ
y = r cos φ .senϕ  r 2 cos 2 v 0 
(g ik )2 =  
z = rsenϕ  0 r 2 

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 4


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

c) Forma de representación cilíndrica de radio r. Es el caso en el que una de las


variables representa un ángulo y la otra una longitud:

u = ϕ, v = h

ds 2 = dx 2 + dy 2 + dz 2 = [d (r cos ϕ )] +
2

+ [d (rsenϕ )] + [dh] =
2 2

= r 2 sen 2ϕ .dϕ 2 + r 2 cos 2 ϕ .dϕ 2 + dh 2 =


= r 2 dϕ 2 + dh 2 = r 2 .du 2 + dv 2

O sea:
r2 0  du 
ds 2 = (du, dv )  
0 1  dv 

Métrica de la representación:

x = r cos φ
r2 0
y = r cos φ (gik )2 =  
0 1 
z=h

01.3. Las condiciones de definición de la métrica y símbolos de Christoffel:

Un espacio de Riemann, o variedad limitada de espacio de Riemann, es, en


definitiva, un conjunto de variables definidas en intervalos reales, una variedad,
junto con una métrica o representación. Esto nos indica que estos espacios son más
generales que los espacios euclidianos, variando en general la métrica en cada uno
de los puntos de la variedad, es decir, g ik = g ik ( x ), r = 1,..., n
r

Puesto que pretendemos que estos espacios sean una generalización de los
espacios euclidianos, hemos de exigirle a la métrica las condiciones de simetría e
inversibilidad necesarias para ello.

Se cumplirán, por consiguiente, relaciones análogas a las de los espacios


euclidianos:

1) Simetría y definición positiva de la métrica:

g ik = g ki , g jj > 0

2) Inversión de la métrica:

g jk g ik = δ ij

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 5


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

3) Relación entre las componentes covariantes y contravariantes de un vector:

v k = g jk v j , v j = g jk v k

4) Producto interior:

(ur, vr ) = g jk u j v k
5) Elemento diferencial de longitud:

ds 2 = g jk du j du k = duk du k = g jk duk du j

6) Símbolos de Christoffel de primera especie:

(ij, k ) = 1 (∂ i g jk + ∂ j g ik − ∂ k g ij )
2

7) Símbolos de Christoffel de segunda especie:

Γijk = (ij , h ).g kh

8) Tensor p-covariante, q-contravariante. Variación en los cambios de coor-


denadas:

t 'ij11......iqjp = Akj11... Akp i1 iq h1... hq


jp .Bh1...Bhq .t k 1...kp

siendo:
r r ∂x i r r ∂x'k r
e 'k = Aki ei = k ei , k = 1,..., n ei = Bik e'k = e 'k , i = 1,..., n
∂x' ∂x'i

Veamos que definiendo estas magnitudes del modo expuesto, se verifican las
mismas propiedades básicas para la métrica y símbolos de Christoffel que se
verifican en un espacio euclidiano. Sin embargo, al variar la métrica en cada punto,
varían también los símbolos que dependen de ella. Esto quiere decir que para un
sistema de coordenadas dado, los símbolos de Christoffel que definamos varían en
cada punto de la variedad.

Teorema:

Los símbolos de Christoffel son simétricos y solo tienen carácter tensorial si los
cambios de variables o coordenadas en la variedad son lineales.

En efecto:

a) Para los símbolos de primera especie se verifica:

Simetría:

(ij, k ) = 1 (∂ i g jk + ∂ j g ik − ∂ k g ij ) = 1 (∂ j g ik + ∂ i g jk − ∂ k g ji ) = ( ji, k )
2 2

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 6


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

Comportamiento en los cambios de coordenadas:

∂ s g ' pq = Aip Aqj ∂ s g ij + Aips Aqj g ij + Aip Asqj g ij = Aip Aqj Ask ∂ k g ij + Aips Aqj g ij + Aip Asqj g ij
∂ p g 'qs = Asi Aqj Apk ∂ k g ij + Aips Aqj g ij + Asi Apqj g ij = Ask Aqj Aip ∂ i g kj + Aips Aqj g ij + Asi Apq
s
g ij
∂ q g ' ps = Ap As Aq ∂ k g ij + Apq As g ij + Ap Asq g ij = Ap Aq As ∂ j g ki + Apq As g ij + Ap Asq g ij
i j k i j i j i j k i j i j

( pq, s )' = 1 (∂g ' qs +∂g ' ps −∂g ' pq ) = 1 Aip Ask Aqj .(∂ i g kj + ∂ j g ki − ∂ k g ij ) + 1 2 Aipq Asj g ij =
2 2 2
= A p As Aq .(ij , k ) + A pq As g ij
i k j i j

En definitiva:

( pq, s )' = Aip Aqj Ask .(ij, k ) + Aipq Asj g ij

Por tanto, si es A pq = 0 , esto es, si los cambios de coordenadas son lineales,


i

entonces el símbolo de Christoffel de primera especie es un tensor covariante de


orden 3 (tensor 3-covariante)

b) Para los símbolos de segunda especie:

Simetría:
Γijk = (ij , s ).g ks = ( ji, s ).g ks = Γ jik

Comportamiento en los cambios de coordenadas:

Γ'rpq = ( pq, s )'.g 'rs = Aip Aqj Ask (ij , k )Bkr Bhs g kh + Aipq Asj g ij g kh Bkr Bhs =
= Aip Aqj Bhr (ij , k )g kh + Aipq Bkr = Aip Aqj Bhr Γijh + Apq
k
Bkr

(puesto que As Bk = δ rs , Asj Bhs = δ jh ⇒ g ij .g kh = g ih g kh = δ ik )


k r

y queda finalmente:

Γ'rpq = Aip Aqj Bhr Γijh + Apq


k
Bkr

[01.3_1]
Esto nos indica que si es A pq = 0 , esto es, si los cambios de coordenadas son
i

lineales, entonces el símbolo de Christoffel de segunda especie es un tensor 2-


covariante y 1-contravariante.

Teorema:

Para los símbolos de primera y segunda especie de Christoffel se verifican,


respectivamente, las identidades de Ricci y Christoffel.

En efecto:

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 7


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

a) La Identidad de Ricci:
(ij, k ) + (ik , j ) = ∂ i g kj
En efecto:

(ij, k ) + (ik , j ) = 1 (∂ i g jk + ∂ j gik − ∂ k gij ) + 1 (∂ i g kj + ∂ k gij − ∂ j gik ) = 1 ∂ i g jk + 1 ∂ i g kj = ∂ i g jk


2 2 2 2

b) La Identidad de Christoffel:

k
Apq = Ark Γ'rpq − Aip Aqj Γijk

En efecto:

Partiendo de la relación obtenida antes Γ' pq = Ap Aq Bh Γij + Apq Bk , se tiene, al


r i j r h k r

k
multiplicar ambos miembros por Ar :
Γ'rpq Ark = Aip Aqj Bhr Ark Γijh + Apq
k
Bkr Ark
y queda:

Γ' rpq Ark = A ip Aqj δ hk Γijh + A pq


k
δ hk = A ip Aqj Γijk + A pq
k
⇒ A pq
k
= Γ' rpq Ark − A ip Aqj Γijk

Teorema:

k r
Las transformaciones de variables x ( x ' ) que transforman una métrica de
coeficientes constantes en otra métrica también de coeficientes constantes han de
ser lineales:

x k ( x' r ) = Fx' r +G, F , G cons tan tes

En efecto:
g ik = cte ⇒ ∂ j g ik = ∂ k g ij = ∂ i g jk = 0 ⇒ (ij , k ) = 0 ⇒ Γijk = 0

de la identidad de Christoffel, tenemos que:

∂ k
k
Apq = Ark Γ'rpq − Aip Aqj Γijk = 0 ⇒ Apq
k
=0⇒ Ap = 0 ⇒ Apk = cte = F
∂q
O sea:
∂x k
= F ⇒ x k = F . x 'r + G
∂x' p

01.3. Espacios tangentes:

( )
Para un espacio de Riemann Rn = Vn , ( g ik )n , sabemos que la métrica varía en cada
punto de la variedad. Si consideramos el valor de la métrica [(g ) ] en un punto
ij n 0

P0 ( y ) dado, llamaremos Espacio Euclidiano Tangente en el punto P0 ( y k ) , al


k

espacio euclidiano cuya métrica es (g ij ) .


n 0
[ ]

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 8


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

Así, por ejemplo, el Espacio Euclidiano Tangente a una Variedad bidimensional de


métrica esférica en un punto P0 ( y 0 ),
k
k = 1,2 es el plano euclidiano de métrica
constante dada por
 r 2 cos 2 ( y 02 ) 0 
(g )
ij 2 =  
2
 0 r 

En general dos espacios Rn(1) y Rn(2) se dicen tangentes en un punto dado P si


pertenece a ambos espacios y las métricas de los dos espacios coinciden en dicho
punto:
(g ) (1)
ij n = (g ij )n
( 2)

Dos espacios tangentes se dicen osculadores en el punto P si se verifica que

∂ k g ij(1) = ∂ k g ij( 2)

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 9


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

02. DERIVACIÓN ABSOLUTA COVARIANTE EN LAS VARIEDADES DE


RIEMANN

02.1. Derivada covariante de una función escalar:

Sea una variedad V(yk), de variables yk, k=1,...,n, y métrica (gik)n. Consideremos la
función escalar U=U(yk). Derivando con respecto a las n variables se obtienen n
funciones escalares:

∂U
Uk = = ∂ kU (k = 1,..., n)
∂y k

en un cambio de coordenadas de la forma yk=yk(y’r) se verifica que

∂U ∂U ∂y k
U p' = = k ' p = ApkU k
∂y 'p
∂y ∂y

puesto que U p = A p .U k , las n funciones Uk resultan ser las componentes


' k

covariantes de un vector que podemos denominar vector derivada covariante del


escalar U.

02.2. Derivada covariante de un vector dado en la forma contravariante:

Si las vi=vi(yk), i=1,...,n, representan las componentes contravariantes de un


vector, se tiene que, en un cambio de coordenadas yk=yk(y’r):

∂v i ∂ ∂ i r ∂y '
( ) ( ) ( )
p
v = A v' ⇒ k = k Ar v' =
i i
r
r i r
Ar v' = Arpi v'r + Ari ∂ 'p v'r Bkp
∂y ∂y ∂y ' p
∂y k

o sea:
∂ k v i = Arpi Bkp v'r + Ari Bkp ∂ 'p v'r [02.2_1]

que no es un cambio tensorial debido al primero de los sumandos de la expresión.


Para este sumando podemos utilizar la identidad de Christoffel:

Arpi = Aai Γ'arp − Arm Apn Γmn


i

y al sustituir en el primer sumando queda asi:

Arpi Bkp v' r = Aai Bkp Γ' arp v' r − Arm A pn Bkp Γmn
i
v' r = Aai Bkp Γ' arp v' r − Armδ nk Γmn
i
v' r =
= Aai Bkp Γ' arp v' r − Arm Γmk
i
v' r = Aai Bkp Γ' arp v' r −Γmk
i
vm

por lo cual, la derivada covariante [02.2_1] resulta:

∂ k v i = Aai Bkp Γ'arp v'r −Γmk


i
v m + Ari Bkp ∂ 'p v'r

y reordenando con respecto a las coordenadas:

∂ k v i + Γmk
i
(
v m = Aai Bkp ∂ 'p v'a + Γ'arp v'r )

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 10


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

si llamamos Dk v = ∂ k v + v Γmk , tenemos:


i i m i

Dk v i = Ari .Bkp .D p' v'r

que es la derivada covariante absoluta del vector de componentes contravariantes


vi=vi(yk), i=1,...,n, y presenta, por tanto, carácter tensorial. Se trata de un tensor
de segundo orden mixto (1-covariante, 1-contravariante).

02.3. Derivada covariante de un vector dado en la forma covariante:

Si llamamos vi=vi(yk), i=1,...,n, a las componentes covariantes de un vector y


repetimos los pasos anteriores obtenemos de forma análoga la expresión de la
derivada absoluta covariante, que aquí es de la forma

Dk vi = ∂ k vi − vm Γkim

Cumpliéndose la relación tensorial:

Dk vi = Bip Bkr D p' v'r

Por lo que se trata de un tensor de segundo orden covariante.

02.4. Derivada covariante de un tensor 2-covariante:

Sea el tensor 2-covariante expresado en un cambio de coordenadas por


trs' = Ari Asj tij . Se tiene:
∂ ( Ari Asj ) ∂tij ∂y k
∂ 'p t rs' =
∂y ' p
.t ij + A i
r sA j
.
∂y k ∂y ' p
( )
= Arpi Asj + Ari Aspj .tij + Ari Asj . Apk ∂ k tij [02.4_1]

Utilizamos la Identidad de Christoffel:

Arpi = Aai Γ'arp − Arm Apn Γmn


i
⇒ Arpi Asj = Aai Asj Γ'arp − Arm Apn Asj Γmn
i

⇒ Arpi Asj tij = Γ'arp t as' − Arm Apn Asj Γmn
i
tij

también:
Aspj Ari tij = Γ'asp t ar' − Asm Apn Arj Γmn
i
tij

Sustituyendo en la expresión [02.4_1] de la derivada:

∂ 'p t rs' = Γ'arp t as' + Γ'asp t ar' + Ari Asj Apk ∂ k tij − Arm Apn Asj Γmn
i
tij − Asm Apn Arj Γmn
i
tij

ordenando:

∂ 'p t rs' − Γ'arp t as' − Γ'asp t ar' = Ari Asj Apk ∂ k tij − Arm Apn Asj Γmn
i
tij − Asm Apn Arj Γmn
i
tij

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 11


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

o bien:

(
∂ 'ptrs' − Γ'arp tas' − Γ'asp tar' = Ari Asj Apk ∂ k tij − Γikb tbj − Γ bjk tbi )
usando la notación Dk tij = ∂ k tij − Γik tbj − Γ jk tbi
b b

se tiene en definitiva que D p' trs' = Ari Asj Apk Dk tij , por lo que la derivada absoluta
resulta ser un tensor 3-covariante.

En definitiva, la derivada absoluta buscada es

Dk tij = ∂ k tij − Γikb tbj − Γ bjk tbi

02.5. Derivación covariante de otras magnitudes tensoriales:

Siguiendo idéntico procedimiento encontramos la derivada covariante de un tensor


de cualquier orden. En particular se tiene, por ejemplo, que en el caso de un tensor
de tercer orden 2-covariante 1-contravariante:

Dk uijh = ∂ k uijh − uajh Γkia − uiah Γkja − uija Γakh

02.6. La derivada covariante absoluta del tensor métrico:

Usando la expresión [02.4_1] de la derivada absoluta de un tensor 2-covariante, y


la Identidad de Ricci, encontramos que la derivada absoluta del tensor métrico es
nula:

Dk g ij = ∂ k g ij − g aj Γkia − g ia Γkja = ∂ k g ij − (ki, j ) − (kj, i )

y siendo, por la Identidad de Ricci: ∂ k g ij = (ki, j ) + (kj , i )

se tiene obviamente:
Dk g ij = 0

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 12


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

03. SISTEMAS DE COORDENADAS LOCALMENTE INERCIALES

03.1. Definición de sistema localmente inercial o geodésico:

Sabemos que en cada punto de la variedad varia la métrica correspondiente a un


sistema de referencia dado, y también sabemos que en un punto dado de la
variedad la métrica correspondiente a distintos sistemas de coordenadas es
distinta. Es decir, en diferentes sistemas de coordenadas {xi}, {x’i}, {x”i}, ... la
matriz métrica ( g ik )n tiene valores distintos en un punto dado M0. La pregunta que
en principio nos hacemos es la siguiente: ¿Existirá algún sistema de coordenadas
tal que en el punto dado M0 se anulen los símbolos de Christoffel?

Se llama Sistema Localmente Inercial, o bien, Sistema Geodésico, o Sistema


Normal en M0, a un sistema de coordenadas tal que sean nulos los símbolos de
Christoffel en M0.

Dada una variedad de Riemann, nos planteamos la posibilidad de encontrar, para


un punto M0(yk) dado, un sistema localmente inercial en ese punto realizando
transformaciones de coordenadas desde la métrica dada.

Así, si son {y }
k
0 los valores de las coordenadas {y }en
k
el punto M0, y
representamos la métrica y símbolos de Christoffel en dicho punto por

(g ik )0 , ( )
(ij , k ) 0 , Γijk 0

trataremos de encontrar otras coordenadas y' { }


tales que en el punto M0, se
k

verifique que la métrica sea tal que los símbolos de Christoffel se anulen:

( )
(ij , k )' 0 = 0, Γ'ijk 0
=0

El siguiente teorema nos da la forma de una transformación y ' = y ' ( y ) de


k k r

coordenadas que permite obtener un sistema localmente inercial en un punto


k
cualquiera M 0 ( y 0 ) .

Teorema:

Dado el espacio de Riemann de variedad Vn ( y ,..., y ) y métrica


1 n
(gik )n se tiene que
k
para cada punto M 0 ( y 0 ) de la variedad se verifica que el sistema de coordenadas

y 'k = y k − y0k +
1 k
2
( ) (y
Γij 0
i
)(
− y0i y j − y0j , ) k = 1,...n

k
es localmente inercial en el punto M 0 ( y 0 ) .

En efecto:

Podemos en principio ensayar un cambio del tipo:

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 13


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

(
y 'k = y k − y0k + Cijk y i − y0i y j − y0j , )( ) k = 1,...n [03.1_1]

k
donde las Cij son constantes. Derivamos:

∂y 'k
∂y ' r
(
= δ rk = Ark + Cijk Ari y j − y0j + Cijk Arj y i − yoi ) ( ) [03.1_2]

k
en el punto M 0 ( y 0 ) es: δ rk = (Ark )0 + Cijk (Ari )0 .0 + Cijk (Arj )0 .0 ⇒ (Ark )0 = δ rk

y además, sabemos que también se verifica la relación de Cronecker para las


matrices Ar y Bh : Ar .Bh = δ h . Por tanto es
k r k r k

(A ) .(B )
k
r 0
r
h 0 = δ rk . Bhr ( ) 0
= δ hk ⇒ Bhk ( ) 0
= δ hk

s
Derivando ahora la expresión [04.1_2] con respecto a y' :

( )
0 = Arsk + Cijk Arsi y j − y0j + Cijk . Ari . Asj + Cijk Arsj y i − y0i + Cijk . Arj . Asi ( )
en el punto M0:

( )
0 = Arsk 0 + 0 + Cijk . Ari ( ) (A ) 0
j
s 0 + 0 + Cijk . Arj ( ) (A ) = (A )
0
i
s 0
k
rs 0 + Cijk .δ ri .δ sj + Cijk .δ rj .δ si

o sea:
( )
0 = Arsk 0 + Crsk + Csrk

por lo cual:
(A ) k
rs 0 (
= − Crsk + Csrk ) [03.1_3]

para relacionar estas constantes con los símbolos de Christoffel podemos utilizar la
propiedad [01.3_1]: Γ' pq = Ap Aq Bh Γij + Apq Bk . Y podemos escribir en el punto M0:
r i j r h k r

(Γ' )r
pq 0 = δ pi .δ qj .δ hr . Γijh ( ) + (A ) .δ0
k
pq 0
r
k ( ) − (C
= Γ pq
h
0
r
pq + C qpr )
puesto que ha de ser nulo el símbolo de Christoffel de las y’k tendremos que hacer:

(Γ' ) = (Γ ) − (C
r
pq 0
h
pq 0
r
pq )
+ C qpr = 0 ⇒ Γ pq
r
( ) = (C 0
r
pq + C qpr )
y la solución más sencilla es
r
C pq = C qpr =
1 r
2
( )
Γ pq 0

esto quiere decir que una solución del cambio de coordenadas propuesto en
[03.1_1] es la transformación:

y 'k = y k − y0k +
1 k
2
( ) (y
Γij 0
i
)(
− y0i y j − y0j , ) k = 1,...n

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 14


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

Corolario:

Una fundamental consecuencia de este teorema de determinación de la


transformación que permite obtener un sistema de coordenadas geodésico, es que
las componentes de un tensor de cualquier orden de covarianza y contravarianza en
el sistema de coordenadas {y }k
son en el punto M 0 ( y 0 ) las mismas que las
k

componentes de covarianza y contravarianza del tensor en el sistema {y' }


k

k
localmente inercial en M 0 ( y 0 ) .

Efectivamente:

No hay que hacer otra cosa que expresar que las matrices de transformación son
realmente la delta de cronecker:

Sea el cambio tensorial para un tensor p-covariante q-contravariante dado por

t 'ij11......iqjp = Akj11... Akp i1 iq h1...hq


jp .Bh1...Bhq .t k 1...kp

k
en el punto M 0 ( y 0 ) será:
(t ' i1...iq
)
j1... jp 0 (
= δ jk11...δ jpkp .δ hi11...δ hqiq .t kh11......kphq = t ij11......iqjp )
0

04.2. Resumen de la determinación práctica de un sistema de coordenadas


geodésico:

k
Si queremos determinar un sistema localmente inercial en un punto M 0 ( y 0 ) de
1 n
una variedad Vn ( y ,..., y ) procederemos mediante los siguientes pasos:

a) Determinamos las componentes del tensor métrico (gik )n en el punto


k
M 0 ( y ) pues quedan determinadas por las coordenadas en cada punto de
0
la variedad (puede verse el ejemplo de variedades bidimensionales de
Riemann en el apartado 01.2 de este trabajo, donde se ha determinado la
métrica de la representaciones bidimensionales plana, esférica y cilíndrica).

[(g ) ]
ik n 0

b) A partir de las componentes de la métrica calculamos los símbolos de


k
Christoffel en el punto M 0 ( y 0 ) :

1   ∂g jk   ∂g ik   ∂g ij  
(ij , k ) 0 = 
2   ∂x i
 +  j  −  k 

(Γ ) = (ij, k ) .(g )
k
ij 0 0
kh
0
 0  ∂x  0  ∂x 0 

c) Encontramos las coordenadas buscadas del sistema geodésico mediante la


expresión deducida en el teorema anterior:

y 'k = y k − y0k +
2
( ) (y
1 k
Γij 0
i
)(
− y0i y j − y0j , ) k = 1,...n

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 15


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

04.TENSOR DE CURVATURA. TENSORES OBTENIDOS DESDE LA FORMA


COVARIANTE DE RIEMANN

04.1.La derivada segunda covariante de un vector. Tensor de curvatura:

( )
D jp v q = D j D p v q = D j t qp , (habiendo llamado t qp = D p v q )

de lo cual, se tiene:

( ) ( )
D jp v q = D j t qp = ∂ j t qp + t mp Γmjq − t mq Γpjm = ∂ j ∂ p v q + v h Γhpq + ∂ p v m + v h Γhpm Γmjq − ∂ m v q + v r Γrm
q
Γpjm = ( )
= ∂ jp v + ∂ j v Γ + v ∂ j Γ + ∂ p v Γ + v Γ Γ − ∂ m v Γ − v Γ Γ =
q h q
hp
h q
hp
m q
mj
h m
hp
q
mj
q m
pj
r q
rm
m
pj

[ ] [
= ∂ j Γhpq + Γhpm Γmjq v h + ∂ jp v q + ∂ j v h Γhpq + ∂ p v m Γmjq − ∂ m v q Γ pjm + v r Γrm
q
Γ pjm = ]
= [∂ Γ j
q
hp + Γhpm Γmjq ]v + Φ
h
jp

Donde se ha llamado Φ jp = ∂ jp v + ∂ j v Γhp + ∂ p v Γmj − ∂ m v Γpj + v Γrm Γpj , que es un


q h q m q q m r q m

término simétrico respecto a los subíndices j y p, pues Φ jp = Φ pj

Por tanto, la expresión de la derivada covariante absoluta de segundo orden del


tensor de primer orden contravariante, puede expresarse por

[
D jp v q = ∂ j Γhpq + Γhpm Γmjq v h + Φ jp ]
(Siendo Φ jp = ∂ jp v + ∂ j v Γhp + ∂ p v Γmj − ∂ m v Γpj + v Γrm Γpj )
q h q m q q m r q m

Restando las expresiones en las que permutamos los subíndices de la derivación


covariante:

[ ]
D jp v q − D pj v q = ∂ j Γhpq + Γhpm Γmjq v h + Φ jp − ∂ p Γhjq + Γhjm Γmp
q
[v h − Φ pj = ]
([ ] [
= ∂ j Γhpq + Γhpm Γmjq − ∂ p Γhjq + Γhjm Γmp
q
]) (
v h = ∂ j Γhpq − ∂ p Γhjq + Γhpm Γmjq − Γhjm Γmp
q
vh )
es decir, se tiene que
D jp v q − D pj v q = Rhq, jp v h
q
Al tensor Rh , jp se le llama, al igual que en los espacios euclidianos, Tensor de
Curvatura, o, también, tensor de Riemann de cuatro índices y segunda especie:

Rhq, jp = ∂ j Γhpq − ∂ p Γhjq + Γhpm Γmjq − Γhjm Γmp


q

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 16


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

04.2.Símbolos de Riemann de cuatro índices y primera especie:

Se define este tensor, que se conoce también como forma covariante de Riemann,
por la expresión:

Rmj , hk ≡ (mj , hk ) = g ij .Rmi , hk

Cumpliéndose obviamente que Rm , hk = g .(mj , hk )


i ij

04.3.El tensor de Ricci:

Se denomina Tensor de Ricci al tensor obtenido desde el Tensor reducido de


Riemann de 2ª especie, esto es, del tensor de curvatura en el que el índice superior
coincide con uno de los subíndices inferiores (contracción tensorial de índices):

Rij = Rik, kj

Expresión en función de los símbolos de Christoffel:

Ris = Ria,as = g ab .(ib, as )

04.4.La curvatura escalar de Riemann. La curvatura escalar de Gauss:

Llamamos Curvatura Escalar de Riemann a la contracción del Tensor de Ricci


mediante el tensor métrico:

R = g mk .Rmk

esta función escalar, definida en cada uno de los puntos de la variedad de Riemann
es, como sabemos, nula en los espacios euclidianos.

Se llama Curvatura Escalar de Gauss a la magnitud obtenida desde la Curvatura


Escalar de Riemann por
R
K=
n(n − 1)

La curvatura escalar permite expresar de una forma sencilla el tensor de Ricci en


espacios de dos dimensiones:

R = g is Ris ⇒ gis R = gis g is Ris

En dos dimensiones es g is g = 2 ,
is
[04.4_1], por lo cual:

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 17


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

R
Ris = g is
2
Ris = K .gis
(R: curvatura escalar de Riemann, K: curvatura escalar de Gauss)

Nota: La relación [04.4_1] es inmediata en espacios de dos dimensiones:

g 22 g g g
gis g is = g11 g 11 + g12 g 12 + g 21 g 21 + g 22 g 22 = g11 − g12 12 − g 21 21 + g 22 11 =
g g g g
2( g11 g 22 − g12 g 21 ) 2 g
= = =2
g g

04.5.Expresión de la forma covariante de Riemann en función del tensor métrico


y de los símbolos de Christoffel:

(
(hs, jp ) = g sq Rhq, jp = g sq ∂ j Γhpq − ∂ p Γhjq + Γhpm Γmjq − Γhjm Γmp
q
= )
( ) (
= g sq ∂ j Γhpq + Γhpm Γmjq − g sq ∂ p Γhjq + ΓhjmΓmp
q
) [
= g sq ∂ j (hp, k )g kq + (hp, k )(mj, k ) g km g kq − ]
− g sq [∂ (hj, k )g
p
kq
+ (hj , k )(mp, k ) g km g kq ] = ∂ (hp, s ) − ∂ (hj, s ) + (hp, k )(mj, s) g −
j p
km

− (hj , k )(mp, s ) g km = ∂ j (hp, s ) − ∂ p (hj , s ) + g km [(hp, k )(mj , s ) − (hj , k )(mp, s )] =

=
1
(∂ hj g ps + ∂ sp g hj − ∂ sj g hp − ∂ hp g js ) + g km [(hp, k )(mj, s) − (hj, k )(mp, s)]
2

O sea:

(hs, jp ) =
1
(∂ hj g ps + ∂ sp g hj − ∂ sj g hp − ∂ hp g js ) + g km [(hp, k )(mj, s) − (hj, k )(mp, s)]
2

Nota: Se ha usado el hecho de que al ser D j g


kh
= 0 también es ∂ j g kh = 0 , que se
justifica cuando usamos las coordenadas geodésicas (ver sección 03), de lo cual
resulta, por ejemplo, que

[ ]
∂ j Γhpq = ∂ j (hp, k ).g kq = g kq .∂ j (hp, k )

04.6. Expresión de la forma covariante de Riemann en un sistema de


coordenadas localmente inercial:

Si estamos usando coordenadas geodésicas, la expresión de los símbolos de


Riemann de cuatro índices y primera especie se reduce a

(hs, jp ) =
1
(∂ hj g ps + ∂ sp g hj − ∂ sj g hp − ∂ hp g js )
2

esta relación permite obtener las relaciones de simetría de los símbolos de forma
sencilla:

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 18


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

1) (ij , rs ) = (rs, ij )

2) (ij , rs ) = −(ij , sr ) = −( ji, rs ) = ( ji, sr ) ⇒ (ij , rr ) = 0, (ii, rs ) = 0

3) (ij , rs ) + (ir , sj ) + (is, jr ) = 0

Estas igualdades, por su carácter tensorial, no dependen del sistema de


coordenadas elegido en la representación. El haber utilizado coordenadas
geodésicas ha significado simplemente una reducción en la laboriosidad de los
cálculos.

04.7. Propiedad de simetría para el tensor de Ricci:

Usando las propiedades de simetría de los símbolos de Riemann, podemos


establecer también la simetría del tensor de Ricci:

Ris = g ab .(ib, as ) = g ab .(as, ib ) = g ba (sa, bi ) = Rsb,bi = Rsi

esto quiere decir que al permutar los dos subíndices del tensor, queda invariante.

04.8.ٛ Cálculo del número total de símbolos de cuatro índices:

La ٛ determinación del número total de símbolos de Riemann de cuatro índices y


primera especie es bastante laborioso, no obstante, utilizando las relaciones de
simetría podemos reducir la dificultad de su cálculo.

Tengamos en cuenta que los símbolos no nulos cumplen que han de ser distintos
los primeros índices y también han de ser distintos los segundos índices:

(ij , rs ) ≠ 0 ⇒ i ≠ j, r ≠ s

Podemos calcular el número de parejas posibles, con los dos dígitos distintos, y, a
continuación, el número total de combinaciones posibles para dos parejas. Al
número total resultante es preciso restarle el número de relaciones de la forma 3)
del apartado anterior, que han de tener distintos los cuatro índices, por lo que en
total serian las combinaciones de n elementos tomados de cuatro en cuatro.

Se tiene, entonces:

n
Número de parejas de índices distintos: φ =  
 2
φ  φ 
Número de combinaciones de dos parejas: ϕ =   +   (los de dos parejas
 2  1
distintas más los de dos parejas iguales)

 n
Número de las relaciones 3): ϕ ' =  
 4

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 19


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

En definitiva, el número total de símbolos no nulos:

φ  φ   n  1 1
N = ϕ − ϕ ' =   +   −   = φ (φ − 1) + φ − n(n − 1)(n − 2)(n − 3) =
 2  1  4 2 24

1 1 1 1 1  1
= φ (φ + 1) − n(n − 1)(n − 2)(n − 3) = . n(n − 1)  n(n − 1) + 1 − n(n − 1)(n − 2)(n − 3)
2 24 2 2 2  24

En definitiva simplificando la expresión:

1 2 2
N= n (n − 1)
12

Esto quiere decir, por ejemplo, que en una variedad ٛ bidimensional el número de
símbolos no nulos de cuatro índices de Riemann es: N=1.

En un espacio tridimensionalٛ es N=6.

En un espacio de cuatro dimensiones encontramos que es N=20

04.9. Ejemplo de determinación de los tensores básicos en una variedad


ٛ bidimensional de métrica esférica:

Supongamos que la variedad bidimensional V2 (u , v ) está dotada de la métrica

(g ik )2 =  
1 0
2

 0 cos (bu ) 

Calculemos:

a) Determinante de la matriz de Gramm:

g = cos 2 (bu )

b) Matriz inversa de Gramm:

1  cos 2 (bu ) 0   1 0 
(g )
ik
=   =  
1   0 cos (bu ) 

2 −2
g 0

c) Elemento diferencial de longitud:

1 0  du   du 
ds 2 = g ik du 2 dv 2 = (du , dv ) 2
( )
  = du , cos 2 (bu )dv   =
 0 cos (bu )  dv   dv 
= du + cos (bu ).dv
2 2 2

d) Símbolos de Christoffel de primera especie:

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 20


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

(ij, k ) = 1 (∂ i g jk + ∂ j g ik − ∂ k g ij )
2

Teniendo en cuenta que g11 = 1, g12 = g 21 = 0, g 22 = cos (bu ) , tenemos:


2

(11,1)=0 (21,1)=0

(11,2)=0 (21,2)=-b.cos(bu).sen(bu)

(12,1)=0 (22,1)=b.cos(bu).sen(bu)

(12,2)=-b.cos(bu).sen(bu) (22,2)=0

e) Símbolos de Christoffel de segunda especie:

Γijk = (ij, h )g kh

Aquí tendremos en cuenta los valores de los elementos de la matriz inversa de


Gramm g
11
= 1, g 12 = g 21 = 0, g 22 = cos −2 (bu ) :

Γ111 = (11,1).g 11 + (11,2).g 12 = 0


Γ112 = (11,1).g 21 + (11,2).g 22 = 0
Γ121 = (12,1).g 11 + (12,2).g 12 = 0
Γ122 = (12,1).g 21 + (12,2).g 22 = −b.tg (bu )
Γ21
1
= (21,1).g 11 + (21,2).g 12 = 0
Γ212 = (21,1).g 21 + (21,2).g 22 = −b.tg (bu )
Γ22
1
= (22,1).g 11 + (22,2).g 12 = b. cos(bu ).sen(bu )
Γ222 = (22,1).g 21 + (22,2).g 22 = 0

f) Tensor de Curvatura (Tensor de Riemann de 4 índices y segunda especie):

Rhq, jp = ∂ j Γhpq − ∂ p Γhjq + Γhpm Γmjq − Γhjm Γmp


q

Los símbolos no nulos son:

R11,12 = ∂1Γ121 − ∂ 2Γ111 + Γ12mΓm1 1 − Γ11m Γm1 2 = −b 2


R12, 21 = ∂ 2Γ112 − ∂1Γ122 + Γ11m Γm2 2 − Γ12mΓm21 = b 2
R21,12 = ∂1Γ22
1
− ∂ 2Γ21
1
+ Γ22m Γm1 1 − Γ21m Γm1 2 = b 2 . cos 2 (bu )
R21, 21 = ∂ 2Γ21
1
− ∂1Γ22
1
+ Γ21m Γm1 2 − Γ22m Γm1 1 = −b 2 . cos 2 (bu )

g) Forma covariante de Riemann (Símbolos de 4 índices y primera especie):

(ij , rs ) = g kj Rik,rs
El único símbolo no nulo viene expresado por:

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 21


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

(12,12) = g k 2 R1k,12 = g12 R11,12 + g 22 R12,12 = −b 2 . cos 2 (bu )

h) Tensor de Ricci:
Ris = Rim,mk

en este ejemplo solo son no nulos dos símbolos:

R11 = R12, 21 = b 2
R22 = R21,12 = b 2 . cos 2 (bu )

i) Curvatura escalar de Riemann:

R = g mk Rmk

R = g 11 R11 + g 22 R22 = 1.b 2 + cos −2 (bu ). cos 2 (bu ) = b 2 + b 2 = 2b 2

j) Curvatura escalar de Gauss:

R
K=
n(n − 1)

R 2b 2
K= = = b2
2 2

k) Comprobación de que se trata de una métrica esférica de radio 1/b:

ds 2 = g ik du 2 dv 2 = du 2 + cos 2 (bu ).dv 2


Haciendo el cambio de variables:

ϕ = bu , ω = bv , se tiene: dϕ = bdu, dω = bdv , con lo cual, al sustituir:


2 2
1 1 1 1
ds 2 = 2
dϕ 2 + 2 cos 2 ϕ .dω 2 =   dϕ 2 +   cos 2 ϕ .dω 2
b b b b

y la matriz métrica resultante es

 1 2 
  
0
 b 
(g ik )2 =   2 
 0 1
  cos ϕ 
2

 b 

que, como hemos visto en la página 4, corresponde a una métrica esférica de radio
1
r= .
b

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 22


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

05.LA IDENTIDAD DE BIANCHI

05.1. La obtención de la Identidad de Bianchi:

Se verifica, para la derivación covariante absoluta del tensor de curvatura, una


relación consistente en permutar circularmente tres índices, el de la derivación
parcial y los dos subíndices secundarios del tensor. Esta relación aditiva se conoce
como Identidad de Bianchi:

∂ t Rik,rs + ∂ r Rik, st + ∂ s Rik,tr = 0

Por simplicidad, podemos obtener la relación partiendo de la expresión en


coordenadas geodésicas del tensor de curvatura, ya que al tratarse de una relación
tensorial no depende del sistema de coordenadas que se utilice.

Rik,rs = ∂ r Γisk − ∂ s Γirk

Escribimos la derivada con respecto a la varible xt:

∂ t Rik,rs = ∂ rt Γisk − ∂ st Γirk


y, permutando subíndices:

∂ r Rik,rs = ∂ tr Γisk − ∂ sr Γitk

∂ s Rik,tr = ∂ ts Γirk − ∂ rs Γitk

Si sumamos las tres igualdades:

( )
∂ t Rik,rs + ∂ r Rik,ts + ∂ s Rik,tr = 2∂ rt Γisk − 2∂ rs Γitk = 2 ∂ rt Γisk − ∂ rs Γitk = 2∂ r Rik,ts

por tanto:
∂ t Rik,rs − ∂ r Rik,ts + ∂ s Rik,tr = 0

finalmente, por la propiedad de cambio de signo al permutar los dos subíndices


secundarios del tensor de curvatura:

∂ t Rik,rs + ∂ r Rik, st + ∂ s Rik,tr = 0

05.2. Teorema:

Se verifica la relación:
1
Da Rsa = ∂sR
2
donde es Rs el tensor contraido de Ricci mediante el tensor métrico, Rs = g .Ris , y
a a ia

R es la curvatura escalar de Riemann.

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 23


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

En efecto:

Si hacemos k=r=a en la Identidad de Bianchi, se tiene:

∂ t Ria,as + ∂ r Ria, st + ∂ s Ria,ta = 0

o bien reordenando índices del tercer sumando:

∂ t Ria,as + ∂ r Ria, st − ∂ s Ria,at = 0


con lo cual queda:

∂ t Ris + ∂ a Ria, st − ∂ s Rit = 0


o bien:

∂ t Ris + ∂ a g ab (ib, st ) − ∂ s Rit = 0

si, con objeto de contraer uno de los tensores de Ricci que figuran en la expresión,
multiplicamos toda la expresión por git y tenemos en cuenta que por un resultado
anterior es Dtgit=0, se tiene:

∂ t g it Ris + ∂ a g ab g it (ib, st ) − ∂ s g it Rit = 0

∂ t Rst + ∂ a g ab Rbt , st − ∂ s R = 0

∂ t Rst − ∂ a g ab Rbt ,ts − ∂ s R = 0

∂ t Rst + ∂ a g ab Rsb − ∂ s R = 0

∂ t Rst + ∂ a Rsa − ∂ s R = 0

y queda, finalmente:

1
2∂ a Rsa − ∂ s R = 0 ⇒ ∂ a Rsa = ∂sR
2

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 24


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

06.TENSOR DE EINSTEIN. ESPACIOS DE EINSTEIN

06.1. Definición del Tensor de Einstein:

Se define el Tensor de Einstein como el tensor E is obtenido desde el Tensor de


Ricci por la expresión:

1
Eis = Ris − R.g is
2

que podemos expresar como un tensor de segundo orden mixto: E s = g E is


a ia

Es inmediato que en los espacios de Riemann de dos dimensiones, R2, el Tensor de


Einstein es idénticamente nulo.

1 1 1 1
Eis = Ris − R.g is = k .g is − R.g is = R.g is − R.g is = 0
2 2 2 2

06.2. Teorema:

La derivada covariante del tensor mixto de Einstein es nula:

Da E sa = 0

En efecto:

1 1
Siendo Es = g Eis = g Ris −
a ia ia
R.g ia g is = Rsa − R.δ sa
2 2

La derivada covariante será:

1 1 1 1
Da Esa = Da Rsa − δ sa Da R = Da Rsa − Ds R = Ds R − Ds R = 0
2 2 2 2

06.3. Espacios de Einstein:

Se define un Espacio de Einstein como un espacio de Riemann en donde el tensor


de Ricci es el producto de una función escalar por el tensor métrico:

Ris = φ .g is

En los espacios de Riemann de dos dimensiones sabemos que se verifica que el


tensor de Ricci es

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 25


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

1
Ris = R.g is
2

siendo R la curvatura escalar de Riemann, por lo que podemos afirmar que estos
espacios son casos particulares de espacios de Einstein.

06.4. Expresión de los tensores de Ricci e Einstein en un espacio de Einstein:

De la definición de curvatura escalar de Riemann, se tiene, en un espacio n-


dimensional:

R = g is Ris = g isφ .gis = φg is gis = φn


1
por tanto es φ= R.
n
1
El tensor de Ricci es, en un espacio de Einstein n-dimensional: Ris = .R.gis
n

Y el tensor de Einstein:

1 1 1 1
Eis = R.gis − R.gis =  − .R.gis
n 2 n 2

06.5. La curvatura escalar de Riemann en un espacio de Einstein:

En todo espacio de Einstein, En, con n>2, se verifica que la curvatura escalar de
Riemann es constante.

En efecto:

1
de ser Ris = .R.gis en un espacio de Einstein, se tiene la expresión del tensor
n
mixto de Ricci de la forma:

1 1
Rsa = g ia .Ris = .R.g is g ia = R.δ as
n n
derivando:
1 1
∂ a Rsa = ∂ a R.δ as = ∂ s R
n n

1
y puesto que en todo espacio de Riemann es ∂ a Rs = ∂sR
a

2
1 1 1 1
se tiene que ∂ a Rs = ∂ s R = ∂ s R ⇒  − .∂ s R = 0 ⇒ ∂ s R = 0
a

2 n 2 n

es decir, la curvatura escalar de Rieman, R, es constante en los espacios de


Einstein.

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 26


CALCULO DIFERENCIAL ABSOLUTO. EN LOS ALEDAÑOS DE LA RELATIVIDAD GENERAL

06.6. Teorema de Schur:

Todo espacio riemanniano en el que se satisfacen, para alguna función escalar φ,


las igualdades:

(ij, rs ) = φ .(g ir g js − g jr g is )
Es un espacio de Einstein, en donde
R
φ=−
n(n − 1)

En efecto:

Multiplicamos la expresión dada por gaj, al objeto de contraer tensores:

( ) (
g aj (ij , rs ) = φ .g aj (g ir g js − g jr g is ) = φ . g ir g aj g js − g jr g aj g is = φ . g irδ sa − δ ra g is )
o sea:

(
Ria,as = φ . g irδ sa − δ ra g is )
si hacemos r=a:

( )
Ria, as = Ris = φ . g iaδ sa − δ aa g is = φ .( g is − n.g is ) = − g is .φ .(n − 1)

es decir, Ris = −φ .(n − 1).g is , por lo que se trata de un espacio de Einstein.

1
Y como en estos espacios se cumple que Ris = .R.gis , se tiene:
n

1 R
Ris = .R.g is = −φ .(n − 1).g is ⇒ φ = −
n n(n − 1)
O sea:

φ = −K

(donde K representa a la curvatura escalar de Gauss)

CARLOS S. CHINEA. MARCHENA OCTUBRE, 2005 27