Cosmología N-Dimensional de Tipo Kaluza-Klein en El Vacío

COSMOLOGA N-DIMENSIONAL DE TIPO
KALUZA-KLEIN EN EL VACO
Carlos Oscar Rodrguez Leal
29 de noviembre de 2013
ii
ndice general
Introduccin.
1. Obtencin de las Ecs. de Einstein 7D.
2. Comparacin de modelos cosmolgicos 6D.

2.1. Corroboracin de cosmologa N-D vaca. . . . .
2.2. Modelo 6D vaco de Peraza-Vladimirov. . . . .
2.2.1. Modelo plano. . . . . . . . . . . . . . . .
2.2.2. Modelo de curvatura negativa (abierto).
2.2.3. Modelo de curvatura positiva (cerrado).
2.3. Relacin entre las soluciones 6D. . . . . . . . .
2.3.1. Modelo plano. . . . . . . . . . . . . . . .
2.3.2. Modelo elptico. . . . . . . . . . . . . . .
2.3.3. Modelo hiperblico. . . . . . . . . . . .
2.3.4. Anlisis general. . . . . . . . . . . . . .
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
15
15
30
30
30
31
31
31
34
36
38
3. Propuesta de una solucin 6D no vaca.

41
3.1. Solucin 6D no vaca plana ( = 0). . . . . . . . . . . . . . . . . 42
3.2. Solucin 6D no vaca hiperblica ( = 1). . . . . . . . . . . . . 45
A. Demostracin de algunos resultados.
A.1. Demostracin de las identidades trigonomtricas hiperblicas.
A.2. Obtencin de resultados con Mathematica. . . . . . . . . . .
A.2.1. Obtencin de la integral (2.35). . . . . . . . . . . . . .
A.2.2. Simplicacin de la llave fgS= en la frmula (2.38). .
A.2.3. Integracin de la frmula (2.33). . . . . . . . . . . . .
A.3. Obtencin de una relacin alternativa C2 = C2 ( ). . . . . . .
Conclusiones.
.
.
.
.
.
.
.
.
.
.
.
.
51
51
52
52
53
56
57
59
iii
iv
NDICE GENERAL
Introduccin.
La idea de multidimensionalidad en la Fsica est ntimamente relacionada con la geometrizacin del espacio, cuyas races descansan en los intentos
por demostrar el quinto postulado de Euclides sobre las lneas paralelas [18], el
cual dice que por un punto exterior a una recta pasa solamente una paralela.
Posteriormente en los trabajos de Lobachevski y de B. Riemann son propuestas geometras no Euclideas hiperblica y esfrica correspondientemente. Finalmente, a principios del siglo XX con los trabajos de A. Einstein sobre la teora
especial de la relatividad y de A. Poincare en la concepcin topolgica de la
dimensionalidad, toma fuerza la profunda relacin entre las leyes fsicas [11] y
la geometra, lo cual es mostrado en la expresin para el cuadrado del intervalo
4-dimensional
ds2 = g
dx dx ,
entre dos puntos separados innitesimalmente en el espacio-tiempo, donde ,

toman los valores 0, 1, 2, 3. Precisamente, fue Einstein quien sugiri una
explicacin geomtrica de la gravitacin en sus trabajos sobre la teora general
de la relatividad de 1915, lo cual est expresado en las ecuaciones de campo de
Einstein,
1
R
g R=
T
2
en las que en la parte izquierda estn presentes solo cantidades geomtricas, en
cambio, en la parte derecha estn presentes las propiedades de la materia mediante el tensor de energa momentum T . Las ecuaciones de Einstein expresan
la extraordinaria e importante circunstancia que la curvatura del espacio-tiempo
est determinada por las caractersticas fsicas de la materia en l contenida. Existe una densidad crtica ( c ) de 5 protones=m3 a partir de la cual se establece
una clasicacin para el universo, basada en la relacin geometra densidad que
establece la relatividad general: si m > c ( m es la densidad de materia
actual), se dice que es cerrado; si m < c se dice que es abierto; y si se tiene
que m = c , entonces el universo es plano.
En las generalizaciones multidimensionales de la relatividad general, la curvatura escalar R juega un importante papel. Sealemos que las frmulas aqu
escritas son vlidas tambin para variedades espacio-temporales de mayor dimensin, es decir, para teoras 5 y 6 dimensionales y ms.
v
vi
INTRODUCCIN.
Hacia 1919 Teodor Kaluza [7, 14] mostr una manera ingeniosa de unicar
las interacciones conocidas por ese tiempo, a saber, la electromagntica y la
gravitacional, proponiendo para ello un fondo de espacio-tiempo Riemanniano
5-dimensional. Como Einstein no estaba muy convencido de este procedimiento,
sugiri la publicacin de dicho artculo solo hasta 1921, que ms adelante junto con Bergman fue uno de los puntales del mtodo multidimensional. De esta
manera, Kaluza propuso adicionar una coordenada ms de tipo espacialoide a la
variedad espacio-tiempo cuatridimensional; es decir, sugiri un espacio curvo de
4 dimensiones en lugar de las tres conocidas, donde la cuarta direccin espacial
deba estar oculta a nuestra percepcin. Sin embargo, dicha dimensin oculta
poda tener una inuencia detectable en nuestro mundo cuatridimensional, el
de nuestra cotidianidad. De esta manera, la interaccin electromagntica pasa
a ser considerada como una fuerza de origen en la quinta dimensionalidad [12].
Adems, haba una propiedad adicional de las componentes de la mtrica pentadimensional, a saber, que todas sus componentes no deban depender de la
quinta coordenada lo cual es hoy reconocido [16] como condicin de cilindricidad
en la quinta dimensin x5 .
De esta manera, la mtrica o cuadrado del intervalo entre dos eventos separados innitesimalmente se escribe como
dI 2 = GAB dxA dxB ,
donde ahora los ndices A, B toman los valores 0, 1, 2, 3, 5, y GAB es una matriz
con las 25 componentes del tensor mtrico en 5 dimensiones:
2
3
G00 G01 G02 G03 G05
6 G10 G11 G12 G13 G15 7
6
7
G
G 5
g
A
7
GAB = 6
)
,
6 G20 G21 G22 G23 G25 7 = G5
G
A
G
55
55
4 G30 G31 G32 G33 G35 5
G50 G51 G52 G53 G55
donde para el caso general, Gab posee solo 15 componentes diferentes. Kaluza
distribuy estas 15 componentes de forma que las 10 componentes g correspondieran a las 10 de la relatividad general einsteniana, y G5 corresponderan
a las componentes del potencial vectorial electromagntico, por lo que G55 qued
como un excedente, con el cual se podra describir un nuevo campo escalar que
en principio podra representar un tipo de materia. Al aplicar el procedimiento de la 4 + 1-descomposicin de las ecuaciones de lneas geodsicas
5-dimensionales , se obtienen las cuatro conocidas ecuaciones cuatridimensionales del movimiento de partculas cargadas en los campos gravitacional y electromagntico; y una quinta ecuacin, la cual indica la dependencia de la relacin
carga/masa de una partcula respecto del campo escalar G5 .
En los trabajos de Kaluza [14] fue demostrado de manera general que la unicacin del campo gravitacional einsteniano y las ecuaciones de Maxwell se da
teniendo como base un espacio-tiempo Riemanniano 5-dimensional [13]. Algunas
decenas de aos despus, Vladimirov [16] en 1987 muestra que en una teora 6dimensional de tipo Kaluza-Klein se logran unicar la interaccin gravitacional
vii
einsteniana con el campo electrodbil de Weinberg-Salam. Adems, hacia nes
del ao 2012 y este 2013 se ha publicado bastante material que indica sobre la
presencia de un nuevo tipo de materia, materia obscura, en el universo, sobre
todo en las regiones de inuencia de galaxias elpticas [2]. De esta manera cobra
especial inters la bsqueda de soluciones cosmolgicas 6-dimensionales de tipo
Kaluza-Klein, lo cual aqu es realizado, al menos parcialmente. Los resultados
aqu obtenidos habrn de generalizarse en futuros trabajos para posiblemente
describir las propiedades de dicha materia especial.
viii
INTRODUCCIN.
Captulo 1
Obtencin de las
Ecuaciones de Einstein
7D: formalismo de Cartn,
formas diferenciales.
An cuando la cosmologa de inters particular es la 6-dimensional con seccin espacial tridimensional de curvatura nula, positiva y negativa, como es de
costumbre, para nes de trabajos futuros aqu mostraremos los clculos para
una cosmologa de una dimensin mayor, es decir, 7-dimensional. De las ecuaciones de campo nalmente obtenidas haremos la simplicacin para obtener
las ecuaciones 6d de campo. En los marcos de la teora de Kaluza-Klein estos
modelos cosmolgicos son de especial inters ya que en la teora 6d [[16]] de las
interacciones gravielectrodbiles, las constantes fsicas fundamentales resultan
conectadas con las componentes adicionales G55 , G66 , G56 de la mtrica, las
cuales corresponden a tres campos fsicos escalares. Dichas constantes son:
r
r
r
1
G55 + G66
G66
e = ee0
, g = ge0
, sin w =
,
G55 G66
G55 G66
G55 + G66
r
G55 + G66
mz = m
e z0
;
G55 G66
que corresponden a la carga del electrn, la constante de interaccin con el

campo bosnico, el ngulo de Weinberg y la masa del bosn z. Igualmente las
cantidades con tilde son constantes, las cuales deben denirse desde la observacin. De esta manera la evolucin de los campos escalares debe manifestarse
en los valores de dichas constantes. Por otro lado, Yu S. Vladimirov [16] analiza
distintas formas de mtricas que se obtienen al aplicar la transformacin conforme de Weyl a las ecuaciones obtenidas luego de la 1 + 1 + 4 reduccin. De
acuerdo con esto ltimo, el coeciente ante el tensor mtrico de partida se puede
1
CAPTULO 1. OBTENCIN DE LAS ECS. DE EINSTEIN 7D.
elegir de tres maneras diferentes, a saber,

1
1) g , 2)
2
5g
g , 3)
(1.1)
donde 5 es el factor conforme, el cual por congruencia de la teora puede ser

tomado como la quinta componente del 5-vector monada A contenido en la
2
representacin general de la mtrica 5-dimensional de partida GAB =
5 +g
si hablamos de la 5-dimensionalidad. Segn este autor el inciso 3) de la expresin
anterior es la forma ms adecuada de aplicar la transformacin conforme de
Weyl, pues conlleva a ecuaciones conocidas (ver (1.2), (1.3) y (1.4)).
Siguiendo a Vladimirov, se tiene que:
a) Luego de la n+4 reduccin en las ecuaciones obtenidas se sigue aplicar la
transformacin conforme, despus de lo cual hay que realizar la identicacin de las diversas cantidades geomtricas con cantidades fsicas.
b) La condicin de cilindricidad en las coordenadas adicionales debe cambiarse
por la condicin ms general de cuasicilindricidad, cuando todas las componentes de la mtrica de partida dependen de las coordenadas adicionales
pero luego de la transformacin conforme dicha dependencia es eliminada
quedando tan solo en el factor conforme, lo cual corresponde a la idea de
Einstein y Bergmann acerca de la periodicidad o cerradura del mundo en
las coordenadas adicionales. En la transicin a la teora 4d estndar se
realiza la promediacin en dichas dimensiones mayores con lo que la dependencia de las cantidades fsicas respecto de dichas dimensiones queda
eliminada.
Pongamos como ejemplo la 5-dimensionalidad. De las ecuaciones 5d de Einstein
1
5
RAB
GAB 5 R + e GAB = QAB
2
nalmente se obtiene el conjunto de ecuaciones
4
1
g
2
R+
2
5g
=
+
2k
c4
3
5
r r
r F
g
r r
1
6
R+
3F
5;
5
3k
F
4c2
5;
c2
= p
5;
g g
6
2
5
1
g F
4
1
3
F
r r
+ T
5
3
B
,
5 QB
3
5
(1.2)
(1.3)
3
A B
,
5 QAB
(1.4)
donde T = QAB g A g B es el tensor 4-dimensional de energa-momentum de

la materia exterior. Estas ecuaciones son las correspondientes a las ecuaciones
3
estndar de Einstein (1.2), al segundo par de ecuaciones de Maxwell (1.3) y
a la ecuacin de Klein-Fock-Gordon (1.4) para el campo escalar 5 , mismo
que est contenido en la parte derecha como una forma de materia adicional
(de procedencia geomtrica). De acuerdo con Vladimirov [16] la ecuacin (1.4)
podra en principio ser aplicada a una forma nueva de materia (por ejemplo a
la materia obscura) y denir algunas de sus propiedades y caractersticas.
Por esta razn proponemos el cuadrado del intervalo 7-dimensional en forma
homognea e isotrpica con simetra esfrica, de acuerdo con el inciso 3) de la
expresin (1.1),
e2
dI 2 = e2
d 2
e 1 dx21
2
f 2 d 2 + sin2 ( ) d'2
e2 2 dx22 e2 3 dx23
(1.5)
donde la correspondencia entre coordenadas y variables es la siguiente:

Coordenada
0
1
2
3
5
6
7
Variable
'
x1
x2
x3
Tabla 1
Dimensin
temporal
radial
angular
angular
;
quinta
sexta
sptima
adems,
=
( ),
( ), f = f ( ),
1=
( ),
2=
( ) y
3=
( )
(1.6)
son funciones de sus respectivas variables temporal y radial . Una vez obtenidas
las correspondientes ecuaciones 7-dimensionales de Einstein, procederemos a su
reduccin 6-dimensional para su relacin con otras soluciones
6-dimensionales obtenidas por Kechkin-Peraza [10].
Los clculos para obtener las ecuaciones de campo estarn basados en el
formalismo de formas diferenciales de Cartn [15], el cual, como es sabido, simplica bastante los clculos, adems de la elegancia caracterstica del mismo.
(A)
Comenzaremos eligiendo una base de tetradas A = e dx tal que los
coecientes gAB [4, 6] en la expresin ds2 = gAB A B para la mtrica, sean
constantes. As pues, la base ser
0
1
2
3
5
6
7
=e
=e
=e
=e
=e
=e
=e
+
+
+
+
+
d
d
fd
f sin ( ) d'
1 dx1
2 dx2
3 dx3
Tabla
d =
d =
d =
d' =
dx1 =
dx2 =
dx3 =
2
e
e
2e
f
3 e
f sin( )
5
e
6
e
7
e
;
1
2
3
por lo que sustituyendo esta tabla en nuestra mtrica (1.5) obtenemos

6 2
5 2
3 2
2 2
1 2
0 2
dI 2 =
7 2
donde
g00 = 1, g11 = g22 = g33 = g55 = g66 = g77 =
1;
(1.7)
otros gAB = 0. Adems, g AB gBC = AC [4, 6], por lo que 1 = 00 = g 0S gS0 =

g 00 g00 + g 01 g10 + : : : + g 07 g70 = g 00 g00 = g 00 1 = g 00 , es decir, g 00 = 1; y de la
misma forma se procede con los dems g AB , obteniendo el siguiente resultado:
g AB = gAB , 8A; B = f0; 1; 2; 3; 5; 6; 7g .
(1.8)
N
Ahora obtendremos los diferenciales exteriores de las cantidades

haciedo uso de las frmulas
d (f ) = f d + df ^ , d2
= 0, 8 n-forma
. As,
y escalar f ,
resulta que
d
= d
=
d
0
( + ) e
=e
d2 + d e
^d =d e
d ^ d = 0;
^d
y de igual forma se procede con los dems diferenciales exteriores, obteniendo

la siguiente tabla:
d
d
d
0
1
2
=0
0
=( + ) e
0
=( + ) e
^
0
^
d 3= ( + ) e
0
d 5 = ( + 1) e
0
6
d = ( + 2) e
0
7
d = ( + 3) e
+e
0
f
^ 3 +e
f
0
5
^
0
^ 6
0
^ 7
Tabla 3
f0 1
^
f
1
3
2
cot( ) 2
^ 3
f
^ +e
Lo que sigue es comparar estos resultados con las primeras ecuaciones de

estructura
d A = ! AB ^ B ,
para as obtener las 1-formas ! AB . As, d
Tambin,
d
! 10 ^
! 11 ^
! 12 ^
= 0, por el valor dado en la tabla 3.
! 13 ^
! 15 ^
! 16 ^
! 17 ^
pero
! 11 = g 1S ! S1 = g 10 ! 01 +g 11 ! 11 + : : : + g 17 ! 71 = g 11 ! 11 = 0,
(1.9)
pues de (1.8) puede verse que las componentes g 1A son cero para A 6= 1, y
! AA = 0; as que
d
! 10 ^
! 12 ^
! 13 ^
! 15 ^
! 16 ^
! 17 ^
5
lo cual, al compararlo con el valor respectivo en la tabla 3, nos da la igualdad
0
( + ) e
! 10 ^
! 15 ^
! 12 ^
! 16 ^
2
6
! 13 ^
! 17 ^
3
7
1
de donde ! 10 = ( + ) e
y las dems formas para d 1 son ! 1A = E1A A
(donde a = f2; 3; 5; 6; 7g y E1a es un escalar), pues de acuerdo con la antisimetra
B
del producto cua [6], A ^ B =
^ A , de modo que si A = B, entonces
dicho producto es cero. Y de manera anloga se obtienen otras formas ! AB . Los
resultados se muestran en la siguiente tabla:
! 10
! 20
! 21
! 30
! 31
! 32
! 50
! 60
! 70
=(
=(
=e
=(
=e
=e
=(
=(
=(
+ ) e
0
+ ) e
f0 2
f
0
+ ) e
0
f 3
f
cot( ) 3
f
0
)
1 e
0
2) e
0
3) e
+
+
+
Tabla 4
.
5
6
7
Ahora obtendremos ms formas haciendo uso del tensor mtrico, como se muestra a continuacin:
! RS gR1 g S0 = ! 1S g S0 =
! S1 g S0 =
! 01 = ! 10 g11 g 00 =
! 10 ,
donde se us la frmula ! AB = ! BA y las relaciones (1.7) y (1.8); as que

! 01 = ! 10 . De manera similar se calculan las dems formas. Los resultados
aparecen en la siguiente tabla:
! 01 = ! 10
! 02 = ! 20
! 12 = ! 21
! 03 = ! 30
! 13 = ! 31
.
! 23 = ! 32
! 05 = ! 50
! 06 = ! 60
! 07 = ! 70
Tabla 5
De acuerdo con el formalismo, las dems formas ! AB que no obtuvimos son cero.
Nuestro siguiente paso es calcular los diferenciales exteriores de las 1-formas
! AB de la siguiente manera:
d! 10
h
00
= ( + ) e
= d ( + ) e
0
+( + ) e
d 1
h
i
00
02
= ( + )
( + ) e
02
+( + ) e
00
= ( + ) e 2
02
( + ) e
d ^
donde fueron sustituidos d y d 1 desde las tablas 1 y 3 respectivamente; de

forma anloga se obtienen otros diferenciales. Los resultados se muestran enseguida:
00
d! 10 = ( + ) e
00
d! 20 = ( + ) e
^
0
^
00
1
2 f
^ 2
f
00
2
2
d! 21 = e 2
(
( + ) e
3
d! 0 =
d! 31 = e
d! 32 =
h
d! 50 = ( +
h
d! 60 = ( +
h
d! 70 = ( +
00
1
2 f
f
2
2
f2
00
1)
00
2)
00
3)
1
2
0
2 f 1
f
+( + ) e
0
2 f 1
f
3
^ 3+( + ) e 2
0
) 2
^
+ ( + ) e 2 2 cot(
f
f0
f2
cot ( )
0
1)
+( +
02
1)
0
2)
+( +
0
2)
+e
( + ) ( +
( + ) ( +
0
i
2
( + ) ( + 3 ) + ( + 3)
Tabla 6
^
^
^
5
6
7
Otros diferenciales exteriores d! se calculan a partir de las equivalencias de la

tabla 5 y volviendo a emplear esta tabla 6. Los dems diferenciales exteriores
sern cero.
Lo que sigue es calcular las dos-formas AB haciendo uso de las segundas
ecuaciones de estructura
A
B
= d! AB + ! AC ^ ! CB .
As que
0
0
= d! 00 + ! 0c ^ ! c0
= d! 00 + ! 00 ^ ! 00 + ! 01 ^ ! 10 + ! 02 ^ ! 20 + ! 03 ^ ! 30
+! 05 ^ ! 50 + ! 06 ^ ! 60 + ! 07 ^ ! 70
= 0,
7
de acuerdo con las tablas 4 y 5;
0
1
= d! 01 + ! 0c ^ ! c1
= d! 01 + ! 00 ^ ! 01 + ! 01 ^ ! 11 + ! 02 ^ ! 21
+! 03 ^ ! 31 + ! 05 ^ ! 51 + ! 06 ^ ! 61 + ! 07 ^ ! 71
00
0
0
2
= ( + ) e 2 2 0^ 1+( + ) e
^( + ) e
f0 3
0
3
+( + ) e
^e
f
00
1
2
2 0
= ( + ) e
^ ,
de acuerdo con los datos de las tablas 4, 5 y 6, y el mtodo empleado en la

ecuacin (1.9); y anlogamente se calculan las dems 2-formas. Aqu se muestran
los resultados:
0
0
0
1
0
2
0
3
0
5
0
6
0
7
1
0
1
1
= 0
00
= ( + ) e 2 2
00
= ( + ) e 2 2
00
= ( + ) e 2 2
h
0
=
( + ) ( +
h
0
=
( + ) ( +
h
0
=
( + ) ( +
=
=
^
0
^
0
^
0
1)
1
2
3
0
3)
02
3)
00
3)
+( +
+( +
0
f 00
e
f
f 00
e
f
^
^
1
^
1
3
( + )
1
5
1
6
1
7
2
0
2
1
2
2
= ( + ) ( + 1) e 2 2
0
0
= ( + ) ( + 2) e 2 2
0
0
= ( + ) ( + 3) e 2 2
0
=
2
1
=
2
= 0
"
#
2
1 f0
02
=
+( + ) e 2
f2
02
00
2)
0
1
02
00
1)
2) + ( +
( + )
02
2
5
+( +
2) + ( +
1
2
2
3
02
1)
+( +
( + ) ( + 1) e 2 2 2 ^ 5
Tabla 7, primera parte

2
6
2
7
3
0
3
1
3
2
3
3
3
5
3
6
3
7
5
0
5
1
5
2
5
3
5
5
5
6
5
7
6
1
6
2
6
3
6
5
6
6
6
7
7
0
7
1
7
2
7
3
7
5
7
6
7
7
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
( + ) ( + 2) e
0
0
( + ) ( + 3) e
^
2
^
0
3
1
3
2
3
0
0
( + ) ( +
0
( + ) ( +
0
( + ) ( +
0
1)
0
2)
0
3)
e
e
e
^
3
^
3
^
0
5
6
7
1
5
2
5
3
5
0
( +
( +
0
1)
0
1)
( +
( +
0
2)
0
3)
e
e
0
2)
( +
0
3)
^
5
^
1
6
2
6
3
6
5
6
0
( +
0
7
1
7
2
7
3
7
5
7
6
7
0
Tabla 7, segunda parte
El siguiente paso es calcular las componentes del tensor de Riemann empleando las frmulas
1 A
C
A
^ D
B = R BCD
2
y comparndolas con las 2-formas de la tabla 7. De esa manera tenemos que
C
0
0
^ D = 0, as que R00CD = 0;
0 = R 0CD
00
C
0
0
^ D = ( + ) e 2 2 0 ^ 1 , por lo que
1 = R 1CD
00
R0101 = ( + ) e 2 2 y todos los dems componentes R01CD = 0. Pro-
9
cediendo de la misma forma con el clculo de los dems componentes RABCD
obtenemos los resultados de la tabla siguiente:
00
R0101 = ( + )
R0202 = R0101
R0303 = hR0101
R0505 =
( +
h
R0606 =
( +
h
0
R 707 =
( +
1
R 010 = h R0101
R1212
R1313
R1515
R1616
R1717
R2020
R2121
1) + ( +
1) + ( +
1)
0
2)
02
2)
+( +
00
2)
+( +
00
3)
) ( +
0
0
3)
) ( +
+( +
+( +
i
02
f 00
= ( + )
e 2
f
1
= R 212
0
0
= ( + ) ( + 1) e 2
0
0
= ( + ) ( + 2) e 2
0
0
= ( + ) ( + 3) e 2
= R0101
= R1212
R2323 =
1 f0
f2
02
) ( +
02
+( + )
0
3)
2
2
2
R2525
R2626
R2727
R3030
R3131
R3232
R3535
R3636
R3737
R5050
R5151
R5252
R5353
R5656
R5757
= R1515
= R1616
= R1717
= R0101
= R1212
= R2323
= R1515
= R1616
= R1717
= R0505
= R1515
= R1515
= R1515
0
= ( + 1) ( +
0
= ( + 1) ( +
R6060
R6161
R6261
R6363
R6565
R6767
R7070
R7171
= R0606
= R1616
= R1616
= R1616
= R5656
0
0
= ( + 2) ( + 3) e 2 2
0
= R 707
= R1717
Tabla 8, primera parte.
0
2)
0
3)
e
e
00
10

R7272 = R1717
R7373 = R1717
R7575 = R5757
0
0
R7676 = ( + 2 ) ( + 3 ) e 2
Tabla 8, segunda parte
.
2
Otras componentes se calculan por la anticonmutatividad del producto externo,

00
por ejemplo: 01 = ( + ) e 2 2 0 ^ 1 = R01CD C ^ D , siendo
00
0
2
2
R 101 = ( + ) e
, mas tambin
00
0
( + ) e 2 2 1 ^ 0 = R01CD C ^ D , siendo
1 =
00
R0110 = ( + ) e 2 2 = R0101 ; y en general [17, 9]
RABCD =
RABDC .
(1.10)
Todas las dems componentes del tensor de Riemann son cero.

Ahora procederemos a calcular las componentes del tensor de Ricci, denidas
de la siguiente manera:
RAB = RCABC .
As pues,
R00
= R0000 + R1001 + R2002 + R3003 + R5005 + R6006 + R7007

=
R1
R2020 R3030 R5050 R6060 R7070
8 010
00
3( + ) e 2 2
>
>
i
> h
>
0
0
02
00
>
( + ) ( + 1) + ( + 1) + ( + 1) e
< +
h
i
=
0
0
02
00
+
( + ) ( + 2) + ( + 2) + ( + 2) e
>
>
>
i
> h
>
0
0
02
00
: +
( + ) ( + 3) + ( + 3) + ( + 3) e
8
9
00
3( + )
>
>
=
<
"
#
0
0
P3
( + ) ( + n)
=
e 2 2 ,
2
+
>
>
0
00
n=1
:
;
+ ( + n) + ( + n)
9
>
>
>
>
>
=
>
>
>
>
>
;
donde se usaron los valores de la tabla 8 y las antisimetras (1.10). De igual

forma se calculan las dems componentes, obteniendo los siguientes resultados:
(
)
00
3( + )
i
h
P3
R00 =
e 2 2
0
0
02
00
+ n=1
( + ) ( + n) + ( + n) + ( + n)
n
h 00
i
o
02
0 P3
0
00
( + )
( + )
e 2 2
R11 =
( + ) + 2 ff
n=1 ( + n )
(
)
2
00
0
00
( + ) + ff + f f 2 1
R22 =
e 2 2
2
0
0 P3
0
,
2( + )
( + )
(
+
)
n
n=1
R33 = R22
0
0
00
R55 =
( + 1 ) (5 + 2 + 1 + 2 + 3 ) + ( + 1 ) e 2 2
0
0
00
R66 =
( + 2 ) (5 + 2 + 1 + 2 + 3 ) + ( + 2 ) e 2 2
0
0
00
R77 =
( + 3 ) (5 + 2 + 1 + 2 + 3 ) + ( + 3 ) e 2 2
Tabla 9
11
y RAB = 0 para A 6= B.
Lo que sigue es calcular la curvatura de Ricci, dada por la ecuacin
R = RII .
(1.11)
As que
R
= RII
= g 00 R00 + g 11 R11 + g 22 R22 + g 33 R33 + g 55 R55 + g 66 R66 + g 77 R77
= R00 R11 R22 R33 R55 R66 R77 ,
debido a los valores del tensor mtrico dados en (1.8); por lo que,considerando
las componentes del tensor de Ricci desde la tabla 9 y haciendo los respectivos
clculos algebraicos, obtenemos
R=
8
>
>
>
>
<
>
>
>
>
:
2 ( + ) (6 + 3 + 1 + 2 + 3 )
P3
00
02
+6 ( + ) + n=1 ( + n )
P
0
3
(5 + 2 + 1 + 2 + 3 )
n=1 ( +
+2
1 f
f2
02
0
n)
00
4 ff
Ahora, empleando las sustituciones
9
>
>
>
>
=
>
>
>
>
;
(1.12)
+ =u
+ 1 = v1
+ 2 = v2 ,
+ 3 = v3
Tabla 10
los componentes del tensor de Ricci adquieren la siguiente forma:
io
n
P3 h
2
R00 = 3u00 + n=1 u0 vn0 + vn0 + vn00 e 2u
n
h 00
i
o
P3
2
R11 =
u00 + 2 ff
u0
u0 n=1 vn0 e 2u
P3
02
00
2
u0 n=1 vn0 e 2u
R22 =
u00 + ff + f f 2 1 2u0
R33
R55
R66
R77
= R22
0
=
v10 (2u + v1 + v2 + v3 ) + v100 e
0
=
v20 (2u + v1 + v2 + v3 ) + v200 e
0
=
v30 (2u + v1 + v2 + v3 ) + v300 e
Tabla 11
2u
2u
2u
y la curvatura obtiene la forma

8
P3
2
0
00
<
2u0 (3u + v1 + v2 + v3 ) + 6 (u) + n=1 vn0
P
02
00
.
R=
: (2u + v1 + v2 + v3 )0 3n=1 vn0 + 2 1 ff2
4 ff
(1.13)
12
Por lo tanto con la tabla 11 y la curvatura dada en (1.13) nalmente ya

podemos calcular la parte izquierda de las ecuaciones de Einstein, expresadas
de la siguiente manera:
GAB =
TAB ;
(1.14)
donde TAB es el tensor de momento-energa,
einsteniana y GAB se calcula por la frmula
es la constante gravitacional
1
gAB R.
(1.15)
2
Mas como en nuestro tensor mtrico y en nuestro tensor de Ricci slo los componentes diagonales son distintos de cero, entonces las ecuaciones de Einstein
para nuestra mtrica se reducen a las siguientes 7 ecuaciones:
GAB = RAB
G00
G11
G22
G33
G55
G66
G77
= R00 21 R =
= R11 + 21 R =
= R22 + 21 R =
= R33 + 21 R =
= R55 + 21 R =
= R66 + 21 R =
= R77 + 21 R =
Tabla 12
T00
T11
T22
T33
;
T55
T66
T77
eso debido a los valores del tensor mtrico, dados en (1.7). As que el lado
izquierdo de las ecuaciones de Einstein toma la forma
#
"
0
3u0 (u + v1 + v2 + v3 ) + v10 v20 + v10 v30
e 2u
G00 =
00
02
2 ff
+v20 v30 + 1 ff2
2
3
2
0
u0 (u + v1 + v2 + v3 ) + v10
6
02
02
0 0
0 0
0 0 7
G11 = 4 +v2 + v3 + v1 v2 + v1 v3 + v2 v3 5 e 2u
02
00
+ (2u + v1 + v2 + v3 ) + 1 ff2
2
3
2
0
u0 (u + v1 + v2 + v3 ) + v10
2
2
6
7
G22 = 4 +v20 + v30 + v10 v20 + v10 v30 + v20 v30 5 e 2u
00
00
f
+ (2u + v1 + v2 + v3 )
f
G33 = G
2 22
3
0
u0 (3u + 2v2 + 2v3 )
2
2
6
7 2u
+v20 + v30 + v20 v30
G55 = 4
5e
02
00
G66
G77
+ (3u + v2 + v3 ) + 1 ff2
2
0
u0 (3u + 2v1 + 2v3 )
2
2
6
+v10 + v30 + v10 v30
=4
02
00
+ (3u + v1 + v3 ) + 1 ff2
2
0
u0 (3u + 2v1 + 2v2 )
2
2
6
+v10 + v20 + v10 v20
=4
00
1 f0
f2
+ (3u + v1 + v2 ) +
Tabla 13
00
2 ff
00
2 ff
00
2 ff
7
5e
3
7
5e
2u
2u
13
Ahora, si consideramos que la funcin f de nuestra mtrica (denida en (1.6))
toma las siguientes posibles formas (dependiendo de si elejimos un universo
plano, elptico o hiperblico):
8
,
caso plano
<
sin ,
caso elptico
f=
;
(1.16)
:
sinh , caso hiperblico
entonces son ciertas las siguientes equivalencias:
2
1 f0
f2
2
1 f0
f2
2
1 f0
f2
f 00
f =
1 cos2
sin2
1 cosh2
sinh2
= 0,
=
=
caso plano
= 1,
=
f 00
f
1,
=
00
f
f
sin
1
sin =
sinh
= sinh
=1
caso elptico
(1.17)
caso hiperblico
Tabla 14
con las cuales las componentes GAA (no hay sumatoria) se simplican as:
G00 =
G11 =
3u0 (u + v1 + v2 + v3 ) + v10 v20 + v10 v30

e 2u
+v20 v30 + 3
2
2
2
0
u0 (u + v1 + v2 + v3 ) + v10 + v20 + v30 + v10 v20
e
00
+v10 v30 + v20 v30 + (2u + v1 + v2 + v3 ) +
G22 = G11
G33 = G11
2
2
0
u0 (3u + 2v2 + 2v3 ) + v20 + v30
G55 =
00
0 0
+v2 v3 + (3u + v2 + v3 ) + 3
2
2
0
u0 (3u + 2v1 + 2v3 ) + v10 + v30
G66 =
00
+v10 v30 + (3u + v1 + v3 ) + 3
2
0
0
02
u (3u + 2v1 + 2v2 ) + v1 + v20
G77 =
00
0 0
+v1 v2 + (3u + v1 + v2 ) + 3
Tabla 15
donde
2u
2u
2u
2u
es un parmetro que toma los siguientes valores:

8
< 0,
1,
=
:
1,
caso plano
caso elptico
caso hiperblico
(1.18)
14
Captulo 2
Comparacin de modelos
cosmolgicos 6D de
Kechkin-Peraza y de
Peraza-Vladimirov.
Nosotros analizaremos una solucin a las ecuaciones N-dimensionales de
Einstein propuesta en Kechkin-Peraza [10]. Veremos en particular el caso
6-dimensional con el n de comparar con las soluciones cosmolgicas 6-dimensionales
obtenidas en Peraza-Vladimirov [1] y establecer que los mtodos de solucin empleados en [10] y [1] son equivalentes.
2.1.
Corroboracin de la cosmologa N-dimensional

vaca de Kechkin-Peraza. Anlisis del modelo 6D en particular.
Kechkin y Peraza proponen un cuadrado del intervalo N-dimensional de la

forma
ds2
= gAB dxA dxB

2
=
a2 4d
8
< sin2
9
=
2
d 2 + sin2 ( ) d
:
;
2
sinh
P
2
2
dv k
k ( bk )
3
5
(2.1)
donde A; B = 0; : : : ; 3 + N ; k = 1; : : : ; N ; a = a ( ), bk = bk ( ) son funciones

desconocidas del tiempo . Aqu y en lo que siga, las ecuaciones de arriba, de
15
16 CAPTULO 2. COMPARACIN DE MODELOS COSMOLGICOS 6D.

en medio y de abajo, son expresiones correspondientes a secciones espaciales
3-dimensionales esfricas, planas e hiperblicas, respectivamente.
Nosotros denotamos a e , bi
e i , i = 1; : : : ; N ; entonces el sistema de
ecuaciones de Einstein RAB = 0 es escrito de la siguiente manera:
3
00
Xh
00
k
02
k
0 0
k
00
+2
02
+2 +
0,
(2.2)
0
k
0,
(2.3)
0
k
0,
(2.4)
00
i
+2
0 0
i
0
i
X
k
9
8
< 1 =
0
.
donde =
;
:
1
Demostracin para el caso 7-dimensional.
Como estamos trabajando con una cosmologa N-dimensional vaca, entonces las ecuaciones de Einstein, dadas en (1.14) (captulo 1), toman la forma
GAB = 0, por lo que el sistema de ecuaciones (1.15) adquiere la forma
GAB = RAB
1
gAB R = 0.
2
(2.5)
En consecuencia, multiplicando la frmula anterior por las componentes g AB

del tensor mtrico y usando la relacin (1.11) de la curvatura de Ricci, se tiene
que
g AB GAB
1 AB
g gAB R = 0
2
= g AB RAB
= RBB
= R
1
2
B
BR
1
7R = 0,
2
es decir,
R = 0.
(2.6)
Por lo tanto, reemplazando (2.6) en (2.5), llegamos a la expresin

RAB = 0.
As que para el caso 7-dimensionalpodemos utilizar las componentes del tensor de Ricci ya calculadas en la tabla 11 (captulo 1), debido a que la mtrica
(1.5) es el caso 7-dimensional (con N = 3) de la mtrica (2.1) bajo las identi-
2.1. CORROBORACIN DE COSMOLOGA N-D VACA.

dades
17
y
R00
R11
R22
R33
R55
R66
R77
+ i
i , dndonos el siguiente resultado:
io
n
P3 h 0 0
02
00
e 2 = 0,
= 3 00 + n=1
+
+
n
n
n
o
n
P3
2
0
2
00
0
= 0,
=
2
2 0
n=1 n e
= R11 = 0,
= R11 = 0,
0
0
00
2
=
= 0,
1 (2 + 1 + 2 + 3 ) + 1 e
0
0
00
2
=
(2
+
+
+
)
+
e
=
0,
1
2
3
2
2
0
0
00
2
=
(2
+
+
+
)
+
e
=
0,
1
2
3
3
3
donde hemos empleado las equivalencias (1.17) para la funcin f y, las identidades u
, vi
(ver (1.18)). Por lo tanto, dividiendo
i (ver tabla 10) y k
el sistema anterior entre e 2u obtenemos el siguiente nuevo sistema:
00
3 h
X
0 0
n
02
n
n=1
00
0
1
0
2
0
3
+2 +2
(2 +
(2 +
(2 +
+
1+
1+
02
+
2+
2+
3
X
n=1
0
3)
0
3)
0
3)
+
+
+
0,
0
n
0,
00
1
00
2
00
3
= 0,
= 0,
= 0;
00
n
el cual es equivalente al sistema (2.2)-(2.4) (para N = 3). As, queda demostrado

el sistema (2.2)-(2.4) para el caso 7 dimensional.
Nosotros excluimos la consideracin de la posibilidad trivial bi = const; 8i;
por lo que para cualquier i nosotros tenemos b0i 6= 0, i.e, 0i 6= 0.
La solucin del sistema de ecuaciones (2.2)-(2.4) determina ( ) y i ( ),
junto con constantes de integracin; y con ello a y bi determinan las funciones
desconocidas deniendo la mtrica gAB .
Nosotros denotamos
X
X
0
2
, 0i
S,
Q,
(2.7)
i,
k
k
k
entonces en la nueva notacin, la ecuacin(2.4) toma la forma

0
i
+2
= 0.
(2.8)
S 0 + (2 + S) S = 0,
(2.9)
+S
Sumando sobre i obtenemos
y multiplicando por
y sumando sobre i tenemos que

1 0
Q + (2 + S) Q = 0.
2
(2.10)

A causa de que
6= 0, nosotros tenemos que Q 6= 0, y entonces

1 Q0
+ (2 + S) = 0.
2Q
(2.11)
Si adems S no es igual a cero, entonces de (2.9) nosotros tenemos

S0
+ (2 + S) = 0
S
(2.12)
(mas tarde esta asuncin ser retirada). Por lo tanto

1 Q0
S0
=
2Q
S
(2.13)
Q = CS 2 ,
(2.14)
, integrando,
donde C es la constante de integracin.
Nosotros reemplazamos el sistema original de ecuaciones (2.2)-(2.4) por su
equivalente:
3
+ S 0 + CS 2
S
0
S + (2 + S) S
0
+2 2+2 + S
0
i + (2 + S) i
X
= 0,
= 0,
= 0,
= 0,
(2.15)
(2.16)
(2.17)
(2.18)
= S,
(2.19)
2
k
= Q,
(2.20)
X
k
Q = CS 2 ,
0
=
,
0
=
i;
i
(2.21)
(2.22)
(2.23)
obtenido de ellas (ecuaciones (2.2), (2.3) y (2.4) se transforman en (2.15), (2.17)

y (2.18)) con la ayuda de la nueva notacin (2.7) (que llega a ser ecuaciones.
(2.19), (2.20), (2.22) y (2.23)) y con la adicin de los dos corolarios (2.9) y (2.14)
(ecuaciones. (2.16) y (2.21)).
Ahora resolveremos el sistema (2.15)-(2.23). Primero despejaremos S 0 en
(2.16) y 0 en (2.17), obteniendo
S0
0
=
=
(2 + S) S,
2 2 2
S,
y sustituiyendo dichas relaciones en (2.15) da como resultado

6
3 S
(2 + S) S + CS 2
S = 0,
19
lo que al simplicarlo nos resulta

2
1
+ S + S2
6
1
CS 2 +
6
= 0;
(2.24)
adems
1
+ S
2
2C + 1 S
3
2
!2
1
+ S + S2
6
1
CS 2 + , (2.25)
6
haciendo el lgebra respectiva. Por lo que sustituyendo (2.24) en (2.25) nos da

!2
r
2
2C + 1 S
1
+ = 0.
(2.26)
+ S
2
3
2
Esta ecuacin es equivalente a la parametrizacin
9 r
8
8
=
< sinh
< cosh
1
2C + 1 S
+ S=
,
=
;
:
:
2
3
2
cosh
sinh
9
=
;
(2.27)
donde = 1.
Demostracin:
Si sustituimos los lados izquierdos de las ecuaciones (2.27) por sus lados
derechos y los aplicamos a (2.26), tenemos
9
9 8
8
2
2
cosh2 + 1 =
cosh2 + 1 = < sinh2
< sinh
2
2
2 2
2
= 0.
=
+0
+0
;
; :
: 2
2
2
2
cosh
sinh2
1
cosh
sinh
1
Adems, el parmetro = 1 sirve para considerar todos los posibles valores

(tanto positivos como negativos) que pueden tomar las correspondientes funciones dadas en (2.27).
Ahora, despejando y S de (2.27) y sustituyndolos en (2.16), dicha ecuacin
toma la forma
9
8
2 cosh =
<
0
.
(2.28)
=
2 2
:
;
2 sinh
Demostracin:
Despejando S de la segunda ecuacin de (2.27) tenemos
8
9
r
< cosh =
3
S=2
,
;
2C + 1 :
sinh
y sustituyendo esa igualdad en la primera

8
r
< cosh
3
+
2C + 1 :
sinh
ecuacin de (2.27) obtenemos

9 8
9
= < sinh
=
=
,
; :
;
cosh
(2.29)

por lo que
=
8
< sinh
:
9
=
cosh
8
<
3
2C + 1 :
9
=
cosh
sinh
Y sustituyendo (2.29) y (2.30) en (2.16) resulta

8
9
8
< sinh =
< sinh cosh
0
2
1
+2
:
;
:
cosh
sinh cosh
9
=
;
(2.30)
= 0,
haciendo el lgebra y las derivaciones respectivas; de donde

8
9
< cosh =
0
2
= 2
.
:
;
sinh
Sustituyendo , S y 0 de (2.30), (2.29) y (2.28), respectivamente, hace de

(2.17) una identidad.
El paso que sigue de la solucin consiste en lo siguiente. De (2.28) nosotros
encontramos ( ), y por un cambio del origen respecto al eje en nuestro sistema
de referencia nosotros transformamos la constante de integracin a cero.
Procedimiento:
Observamos que (2.28) es una ecuacin diferencial de variables separables,
as que la reescribimos y resolvemos.
8
9
2 cosh =
<
d
=
,
2 2
:
;
d
2 sinh
por lo que
8
Z >
<
>
:
d
cosh
d
2
d
sinh
e integrando obtenenos
8
e
>
< 2 arctan
1
i.e.
>
: ln tanh
2
=
8
<
:
9
>
=
9
8
Z < 1 =
9
>
=
8
<
>
;
>
;
ln tan (
2
2
2
9
=
;
+ D)
1
2 ( +D)
2 ( +D)
2 arctanh
d ,
+ D0 ,
9
=
;
As pues, la funcin implicar una grca en el plano para cada solucin, que
se desplazar horizontalmente de acuerdo a los distintos valores que le asignemos
21
a la constante D; mas como podemos elegir el tiempo inicial en el instante que

querramos, podemos recorrer el tiempo cero al instante D, eliminando de esa
forma la constante de integracin, obteniendo las soluciones
9
8
ln tan ( )
=
<
1
.
=
2
;
:
2 arctanh e 2 ( )
Sin embargo, para la expresin inferior consideraremos solamente el valor positivo del argumento del arctanh, es decir +e 2 , ya que el valor negativo e 2
nos genera muchas futuras complicaciones, as que solo tomaremos la solucin
2 arctanh e 2
para nuestros clculos siguientes; no obstante es importante
tener en cuenta que la solucin 2 arctanh e 2
implicar otros nuevos resultados nales, no muy distintos a los que lleguemos a obtener. Entonces, las
soluciones que tomaremos para nalmente sern
9
8
ln tan ( )
=
<
1
.
(2.31)
=
2
;
:
2 arctanh e 2
Ahora, de (2.29) y (2.30) obtenemos S ( ) y ( ) sustituyendo (2.31):

8
9
r
cosh ln tan ( )
<
=
3
1
S( )=2
(2.32)
2
;
2C + 1 :
sinh 2 arctanh e 2
S
( )=
8
>
>
>
>
>
>
>
<
>
>
>
>
>
>
>
:
8
<
sinh ln tan (
9
=
1
2
3
2C+1
cosh 2 arctanh e 2
8
cosh ln tan (
<
8
>
>
<
sinh 2 arctanh e
2;0
(0; 1)
2
(0; 1) ,
>
>
:
( 1; 0) ,
=1
= 1
9
=
;
9
>
>
>
>
>
>
>
=
>
>
>
>
>
>
>
;
(2.33)
(2.34)
donde los subndices S y se usan para hacer referencia a las respectivas llaves,
y el dominio de se demuestra a continuacin.
Demostracin:
El dominio de para las funciones S y se determina obteniendo el dominio
para las llaves fgS y fg , dadas en (2.32) y (2.33).
Para la funcin superior sinh y cosh siempre estn denidos, as que nos
enfocamos al dominio de ln tan ( ), el cual es tan ( ) > 0, por lo que
> 0,
mas como tan ( ) se hace discontinua en
= 2 , tenemos que < 0 y > 2 ,
es decir 2 2 ; 0 .

Para las funciones de en medio, claramente 6= 0, as que
2 ( 1; 0)[(0; 1), sin embargo podemos considerar solo el intervalo de tiempo
positivo, i.e. 2 (0; 1).
Para las funciones inferiores, sinh y cosh siempre estn denidos, as que
nos centramos en el dominio de arctanh e 2 , cuyo argumento se localiza en
( 1; 1). Para el caso = 1 tenemos que 1 < e 2 < 1, por lo que 2 (0; 1).
Para el caso = 1, 1 < e2 < 1, as que 2 ( 1; 0). En conclusin, para la
tercera funcin se tiene que
(0; 1) ,
( 1; 0) ,
=1
= 1
Con ayuda de (2.32) y (2.33), de (2.18) nosotros obtenemos

tantes de integracin i .
Obtencin:
Sustituyendo (2.32) y (2.33) en (2.18) resulta
0
i
+ 2 fg
( ) y N cons-
= 0,
que es una ecuacin diferencial de variables separables, por lo que

8
9
Z
Z <
2 sinh ln tan ( )
=
d i
1
=
d ,
:
;
i
2 cosh 2 arctanh e 2
(2.35)
lo cual, al integrarlo con ayuda del software Mathematica 7.0, en el archivo:

Solucin Ecs de Einstein en vaco b.nb; (ver apndice 2) nos da como resultado
9
8
ln 12 sin (2 )
=
<
ln j1j
+ 000
ln j i j =
i ,
;
:
4
2
ln 2 1 + e
de donde, haciendo el lgebra apropiada tenemos

8
2
>
jsin(2 )j
<
1
j i j = 00i
j j
>
: 1
e 2
2
es decir,
00
i
por lo que
i
0
i
8
>
<
>
:
j 1+e
que
9
>
=
2 jcsc (2 )j
1
2
1
j j
e 2
j 1+e
8
9
< 2 jcsc (2 )j =
:
1
j j
jcsch (2 )j
>
;
9
>
=
>
;
23
donde en la expresin inferior se us la identidad trigonomtrica

1 + e2x = 2 sinh (x) ex
(2.36)
(ver su demostracin en el apndice 1). Finalmente i se puede reescribir de la

siguiente manera:
8
9
< 2 csc (2 ) =
;
(2.37)
i = i
:
;
2 csch (2 )
donde:
1. El subndice
hace referencia a la llave de la ecuacin.
2. Los factores , y 2 se extrajeron de la constante de integracin 0i (en

la primera, segunda y tercera funciones, respectivamente), eso para que
al establecer la relacin entre C y las i (lo que se har enseguida), la
expresin resulte ms simple.
3. Los valores absolutos han desaparecido debido a los dominios dados en
(2.34), aadindose los factores 1 y en las funciones superior e inferior,
respectivamente.
La sustitucin de i en (2.19) y (2.20) muestra que para algunas relaciones
entre las constantes C y i el sistema es no contradictorio.
Obtencin:
Sustituyendo (2.37) y (2.32) en (2.19) resulta
r
X
3
fg ,
k fg = 2
2C + 1 S
k
de donde
X
k
fgS
3
2C + 1 fg
8
r
<
3
=
2C + 1 :
=
sin (2 ) cosh ln tan ( )

1
sinh (2 ) sinh 2 arctanh e 2
9
=
;
(; 2.38)
S=
mas usando el software Mathematica 7.0, vemos en el archivo: "Solucin Ecs

de Einstein en vaco b.nb"; (ver apndice 2) que la llave fgS= de la ecuacin
anterior equivale a la unidad en las tres expresiones, por lo cual tenemos que
r
X
3
.
(2.39)
k =
2C + 1
k
Y sustituyendo (2.37) y (2.21) en (2.20) obtenemos

X
2
2
2
k fg = CS ,
k

de donde, al sustituir (2.19) por S, tenemos
X
2
k
fg = C
!2
en lo cual, al extraer fg de la sumatoria izquierda y sustituir (2.37) en la

sumatoria derecha, resulta
!2
!2
X
X
X
2
2
2
fg
= C fg
,
k fg
k
k =C
k
por lo que
X
2
k
=C
X
k
!2
en donde, al sustituir (2.39) en la sumatoria derecha, nalmente obtenemos

X
k
2
k
3C
.
2C + 1
(2.40)
De lo anterior tenemos que son (2.39) y (2.40) nuestras dos relaciones buscadas.
Finalmente, la integracin de las ecuaciones (2.22) y (2.23) determina ( )
y i ( ), introduciendo otras (N + 1) constantes de integracin.
Procedimiento:
Primero, de (2.22) observamos que debemos integrar (2.33) para as obtener
a . Por lo tanto, una vez ms a partir de los clculos hechos en Mathematica
7.0, en el archivo: Solucion Ecs. de Einstein en vaco b.nb; (ver apndice 2),
obtenemos
8
9
q
q
3
3
1
>
>
ln
j2
cos
j
+
ln
j2
sin
j
+
ln
jsin
(2
)j
>
>
2C+1
2
2
> 2
>
>
>
q2C+1
<
=
3
1
ln
j
j
+ a000 ,
=
2
2
2C+1
>
>
1
q
>
>
1
>
>
1+e2 4
3
2
>
>
:
;
2
+ ln 2 1 + e 4
2C+1 ln
1+e2
(2.41)
de donde, empleando las identidades (2.36) y
1 + e2x = 2 cosh (x) ex

(ver su demostracin en el apndice 1), tenemos
8
!
p 3
>
1
2
2C+1
>
2
sin
>
ln 2 cos
jsin (2 )j 2
>
>
>
>

p 3 !
>
>
>
2
2C+1
>
2
sinh(
)e
>
+ ln 2 cosh( )e
+ ln 2 2 sinh ( 2
>
:
(2.42)
)e
1
2
9
>
>
>
>
>
>
>
=
+a000 ,
>
>
>
>
>
>
>
;

por lo que
8
>
>
>
<
=
>
>
>
:
i.e.
ln [ tan ]
+ ln jtanh j
ln
3
2C+1
1
2
1
2
3
2C+1
1
2
25
[ sin (2 )] 2
3
2C+1
+ ln 2+ ln j
+a000
8
p 3
1
1
>
ln [ tan ( )] 2 2C+1 [ sin (2 )] 2
>
>

p 3
>
1
>
: ln jtanh j 2 2C+1
+ ln jsinh (2 )j 2
sinh (2 )j 2 + ln e
9
>
>
>
=
>
>
>
;
9
>
>
>
=
>
>
>
;
+ a00 ,
8 n
p 3
o
1
1
2
2C+1
2
>
[
sin
(2
)]
ln
[
tan
(
)]
>
>

p 3
h
i
>
1
>
: ln jtanh j 12 2C+1
jsinh (2 )j 2
9
>
>
>
=
>
>
>
;
+ a00 ,
(2.43)
donde los valores absolutos fueron eliminados en las funciones superior y media
como consecuencia del dominio del tiempo , dado en (2.34).
Ahora, de (2.23) integramos (2.37) para as obtener a las funciones i . Por
lo tanto
8
9
Z
< 2 csc (2 ) =
d ,
i =
i
:
;
2 csch (2 )
i.e.
8
<
:
9
ln jtan j =
ln j j
+ b00i ,
;
ln jtanh j
expresin de la que podemos eliminar los valores absolutos si consideramos los

dominios de establecidos en (2.34), para as obtener
9
8
< ln [ tan ] i =
i
ln
+ b00i .
(2.44)
i =
;
:
ln [ tanh ] i
Finalmente, retomando (2.43) y (2.44) y considerando los dominios para

dados en (2.34), nosotros haremos unas transformaciones de funciones con la
nalidad de que el tiempo est denido solo en intervalos positivos. As pues,
una expresin previa para ser
8
9
p 3
1
1
>
2
2C+1
2 >
>
>
tanp
[
sin
(2
)]
<
=
2
1
1
3
= ln
+ a00 ,
2
2
2C+1
p
>
>
>
>
3
1
1
:
;
[ tanh ] 2 2C+1 [ sinh (2 )] 2 ,

de donde nalmente obtendremos que
p 3
8
1
1
2
2C+1
>
[ sin (2
)] 2
tan
>
2
>
p
>
3
< 21 12 2C+1
p 3
(
= ln
1
1
>
>
[tanh ] 2 2C+1 [sinh
(2 )] 2 ,
>
p
>
1
1
3
:
2L)] 2 ,
[ tanh (
L)] 2 2C+1 [ sinh (2
=1
=
9
>
>
>
>
=
>
>
>
>
;
+a00 ,
(2.45)
donde en la funcin inferior, para = 1, hacemos un desplazamiento horizontal
para que el tiempo inicial parta de L, donde L > 0 es un tiempo elegido a
conveniencia; y entonces, para ese caso, 2 (0; L). Y anlogamente, la nueva
expresin para i ser
9
8
i
tan
>
>
2
>
>
=

>
,
=
1
[tanh
]
>
>
;
:
.
= 1
[ tanh (
L)] i ,
Adems los dominios estarn dados por

8
>
> (0; 2 )
<
(0; +1)
2
(0; +1) ,
>
>
:
(0; L) ,
=1
= 1
9
>
>
=
>
>
;
(2.47)
El resultado nal, en trminos de a = e y bi = e i es

p 3
8
1
1
2
2C+1
>
[sin (
2 )] 2
> tan p2
>
>
3
< 21 12 2C+1
p 3
(
a ( ) = a0
1
1
>
2
2C+1
>
[tanh
]
[sinh (2 )] 2 ,
>
p
>
1
3
1
:
[tanh (L
)] 2 2C+1 [sinh (2L 2 )] 2 ,
8
tan
>
>

>
:
[tanh ]
[tanh (L
3
2C+1
=1
= 1
=1
= 1
9
>
>
=
)]
8
(0; 2 )
>
>
<
(0; +1)
2
(0; +1) ,
>
>
:
(0; L) ,
2
k
>
>
;
3C
2C+1
=1
=
9
>
>
=
>
;
. >
9
>
>
>
>
=
>
>
>
>
;
(2.48)
(2.49)
(2.50)
(2.51)
donde hemos empleado las relaciones (2.45), (2.46), (2.47), (2.39) y (2.40).
27
Remarcacin 1.
Sumando sobre k en (2.37) obtenemos
X
X
k = fg
k
k,
de donde al sustituir (2.19) resulta

S = fg
k,
P
por lo que S
k k ; por lo tanto, usando el
Presultado izquierdo de (2.51),
vemos que para C ! +1 nosotros tenemos
k k ,! 0, i.e S ! 0 (eso es
cierto en el caso N 2, debido a los resultados (2.54) y (2.55) obtenidos en la
Remarcacin 2, donde C y son constantes para N = 1). Si este lmite es
introducido en esta solucin con S 6= 0, entonces el resultado se introducir en
el sistema (2.15)-(2.23), en donde la ecuacin (2.21) es reemplazada por S = 0,
i.e para N 2 existe una solucin con C = +1.
Remarcacin 2.
Las relaciones que conectan las constantes C y i pueden ser resueltas para
cualquier N . Por ejemplo, para N = 1 (5a dimensin) nosotros tenemos
C = = 1.
Demostracin.
De (2.51) tenemos que
r
3
(2.52)
=
2C + 1
y
3C
2
=
.
(2.53)
2C + 1
Elevando al cuadrado (2.52) se obtiene
2
3
;
2C + 1
y dividiendo (2.53) entre el resultado anterior tenemos que

1 = C.
(2.54)
Y al sustituir (2.54) en (2.52) obtenemos el valor

= 1.
(2.55)
En el caso N = 2 (6 dimensiones) nosotros encontramos

1;2
1
2
3
2C+1
2C
1 ,C2
1
2 ; +1
(2.56)

Demostracin.
Sustituyendo los resultados (2.56) en las ecuaciones (2.51) obtenemos
r
r
p
p
1
3
1
3
=
1 + 2C 1 +
1
2C 1
1+ 2
2 2C + 1
2 2C + 1
r
3
=
2C + 1
y
2
1
2
2
p
3
1
1 + 2 2C 1 + 2C 1 +
4 2C + 1
p
1
3
+
1 2 2C 1 + 2C 1
4 2C + 1
2 2C
3
=
4
2C + 1
3C
=
,
2C + 1
que son justo las expresiones derechas de las ecuaciones (2.51), por lo que dichos
resultados s son soluciones de tales ecuaciones. Adems, por simetra de las
ecuaciones (2.56), otro par de soluciones ser
r
p
1
3
0
1
2C 1 ,
(2.57)
1;2 =
2 2C + 1
por lo que
0
1
0
2
1;
(2.58)
mas podemos considerar solo la pareja de soluciones (2.56) al resultar indiferente

de la pareja (2.57) debido a los renombramientos (2.58)
Ahora, para asegurar que no existen ms soluciones a las ecuaciones (2.51),
haremos lo siguiente. Supongamos que existe otro par de soluciones a las ecuaciones (2.51) (sin considerar permutaciones como en (2.58)), al cual llamaremos:
0
1
0
1 (C)
0
2
0
2
(C) ,
(donde la comilla superndice no signica derivada) por lo que podemos obtener

las diferencias
0
0
1 = h1 (C) y 2
2 = h2 (C),
1
de donde
0
1
+ h1 y
0
2
+ h2 .
(2.59)
Entonces, sustituyendo (2.59) en la ecuacin izquierda del sistema (2.51) tenemos que
r
3
0
0
+ h1 + h2 ,
1 + 2 = 1 + 2 + h1 + h2 =
2C + 1
29
por lo que h1 + h2 = 0, es decir,

h2 =
h1 .
(2.60)
Por lo tanto, al sustituir (2.60) en (2.59) y renombrar h1

0
1
0
2
+h y
h, se obtiene
h.
(2.61)
Sustituyendo el resultado (2.61) en la ecuacin derecha de (2.51) nos resulta

2
1
2
2
+ 2h (
+ h) =
3C
+ 2h (
2C + 1
+ h) ,
de donde
h=0h=
1;
si h = 0, de (2.61) vemos que

0
1
i.e. es la misma solucin; y si h =

0
1
1,
0
2
0
2
2,
nuevamente de (2.61) vemos que

=
1,
lo cual es la solucin permutada (2.58). As pues, no existen otras parejas de

soluciones.
Y si consideramos el caso no de una nueva pareja de soluciones, sino de
una pareja que incluya a una 0 nueva y a otra que pertenezca a la pareja
encontrada en (2.56), entonces podemos volver a aplicar la misma demostracin
anterior de inexistencia de nuevas soluciones haciendo un hi = 0; por ejemplo,
podemos elegir, sin prdida de generalidad, la pareja
0
1
+ h1 y
0
2
2,
donde hemos hecho h2 = 0, y entonces llegaremos a la relacin (2.60), obteniendo

0 = h2 =
h1 ,
es decir
h1 = h2 = 0,
por lo que
0
1
0
2
2,
i.e. concluiremos denitivamente que no existen ms soluciones.

Y por ltimo, el dominio C 2 21 ; +1 se obtiene observando la solucin
q
p
1
3
1
2C 1 (dada en (2.56)) y viendo que solo hay pro1;2 = 2
2C+1
q
3
blemas de indenicin en los argumentos de ambas races. Para la raz 2C+1
p
tenemos que 2C +1 > 0, por lo que C > 12 . Y para la raz 2C 1 resulta que
1
2C 1 0, de donde C
2 . Por lo tanto, haciendo la interseccin de ambos
1
dominios obtenemos C
,
mas
como C = +1 est incluido en la solucin.(ver
2
Remarcacin 1) concluimos que C 2 12 ; +1 .
2.2.
Modelo cosmolgico 6D vaco de PerazaVladimirov.
En el trabajo [1] Peraza y Vladimirov consideraron una mtrica de la forma

dI 2 = '2 a2 dx20
dx21
f2 d
+ sin2 d'2
dx25
dx26 ,
en un espacio-tiempo 6-dimensional, resolvindose para el caso ms general de

ecuaciones de Einstein, mostrando en los tres tipos de curvatura una densidad
de materia = 0.
Considerando las transformaciones b = a', = ' , ', se obtuvieron las
siguientes soluciones.
2.2.1.
Modelo plano.
b = b0 c
' = '0 c
a = a0 c
p1
x0
x0
x0
,
( +3)
p
2
p
c
x0
Tabla 16
donde, aqu y en lo que siga, a0 =

una constante de integracin.
2.2.2.
( +1)
p
2
x0
b0
'0 ,
p 1
b0 , x0 ,
'0 ,
son constantes y c es
Modelo de curvatura negativa (abierto).

1
b = b0 (sinh ) 2 tanh 2
' = '0 tanh 2
= 0 tanh 2
=c
2x0 .
+1
p
2
p1
a = a0 (sinh ) 2 tanh 2
donde
0,
p 1
tanh 2
Tabla 17
+3
p
2
2.3. RELACIN ENTRE LAS SOLUCIONES 6D.
2.2.3.
31
Modelo de curvatura positiva (cerrado).

h
i
1
b = b0 (cos ) 2 tan 2 + 4
h
i
1
a = a0 (cos ) 2 tan 2 + 4
h
i p
= 0 tan 2 + 4
i p1
h
= 0 tan 2 + 4
h
i p1
' = '0 tan 2 + 4
Tabla 18
+1
p
2
+3
p
2
donde = c + 2x0 .
Adems,
y = 2 + 23 + 1 son constantes generales cuyos valores no
deben conllevar a singularidades en los coecientes mtricos ', a y .
2.3.
Obtencin de la relacin entre las soluciones

6D de los modelos de Kechkin-Peraza (KP)
y Peraza-Vladimirov (PV).
Para poder comparar las soluciones 6-dimensionales de KP [10] y de PV [1]

hay que considerar lo siguiente:
aK = aV 'V = bV
2
( b1K ) = '2V = '2V
,
2
( b2K ) = '2V 2V = 2V
Tabla 19
donde los subndices k y V hacen referencia a las ecuaciones en los artculos de
KP y PV, respectivamente. Con estas igualdades es posible establecer la relacin
entre las constantes C y n de KP y las constantes y c de PV.
Primeramente observamos que en los tres modelos, en PV, podemos hacer un
conveniente desplazamiento temporal de modo que c = 0, por lo que podemos
quitarla. Adems, las k de KP estn en funcin de C. Por lo que solo hay que
establecer la relacin entre la C de KP y la de PV.
As pues, procederemos a establecer dicha relacin para los tres modelos.
2.3.1.
Modelo plano.
Primero encontraremos la relacin entre las constantes C py

p
aK = bV . De la tabla 16 vemos que bV = b0 c
x0
para la igualdad
( +1)
p
2
, mas como

hemos hecho c = 0, tenemos ahora que
bV
= b0
= b0 ( )
( +1)
p
4
p
= b0
p
donde ( )
( +1)
p
4
bV =
( +1)
p
2
x0
( +1)
p
2
( x0 )
( +1)
p
2
( x0 )
,
= cte, por lo que
b00
( x0 )
1
2
( +1)
p
= b00 x02
( +1)
p
(2.62)
en donde: b00 = b0 0 y hemos eliminado la posibilidad x0 para poder hacer la

comparacin entre ambos artculos. Adems, en (2.48) obtuvimos que
p 3
p
aK = a0
1
2
1
2
3
2C+1
1
2
= a0
2C+1
(2.63)
Por lo tanto, de la comparacin de (2.62) con (2.63) tenemos las equivalencias

r
( + 1)
3
0
p
=1
,
a0 = b0 , = x0 , 1
2C + 1
por lo que
3
=
2C + 1
( + 1)
p
,
(2.64)
de donde despejando C establecemos la siguiente relacin:

2
C=
+1
2;
(2.65)
( + 1)
la cual es la condicin para la igualdad de las soluciones de KP y PV. Mas falta

hacer la comprobacin de la expresin anterior para asegurarnos de que no se
trata de una solucin extraa; as que sustituyendo (2.65) en la parte izquierda
de (2.64) se tiene
v
s
s
u
3
3
3
u
=
=
t
2 2 +2
2 2 +2+( 2 +2 +1)
2 +1
+1
2
+1
2
2
( +1)2
( +1)
( +1)
= j + 1j
= j + 1j
=
3
= j + 1j
2
3 +2 +3
j + 1j
p
=
1
2
2
3
+1
+1
p =
=q
2 +2
+3
j + 1j
2
2
3
+1
p , para
+1
<
1;
33
por lo que efectivamente la expresin (2.65) s es solucin para la ecuacin (2.64)

en el dominio < 1.
Ahora haremos la permutacin b01K = b2K y b02K = b1K , ya que podemos
ver indistintamente las soluciones 1a y 2a en el orden dado o al revs, mas nos
conviene verlas de esta forma permutada porque as las futuras relaciones que
establezcamos entre C y sern la misma que la relacin (2.65) encontrada al
comparar aK con bV .
Lo que sigue es encontrar la relacin entre C y para la igualdad b2K = 'V
y no para la igualdad b1K = 'V , debido a la permutacin anterior. Primerap1
p
x0
(haciendo c = 0), por
mente, de la tabla 16 tenemos que ' = '0
lo que
'
= '0
= '0
0 x0
p1
p1
p1
( x0 )
i.e.
' = '00 x0
p1
(2.66)
p1
p
donde 0 =
, '00 = '0 x0 y hemos eliminado la posibilidad x0 para
poder hacer la comparacin entre ambos artculos. Enseguida, de (2.49) tenemos
que
b2 = "b02
= b002
(2.67)
donde " = 1, y b002 = "b02 . Por lo tanto, comparando (2.66) con (2.67) y
sustituyendo (2.56) se obtienen las equivalencias
b002 = '00 ,
y
2
1
=
2
3
2C + 1
= x0
2C
1 =
1
p ;
(2.68)
as que para encontrar dicha relacin en la ecuacin (2.68), de hecho sustituiremos en esa ecuacin la relacin (2.65) encontrada para la comparacin de aK
con bV , esperando llegar a una identidad, lo que probara que una solucin a
la ecuacin (2.68) es la misma que la solucin obtenida para (2.64), como es
de esperarse si ambos artculos son correctos. As pues, sustituyendo la relacin
(2.65) en la ecuacin (2.68) tenemos que
v
1u
u
t
2 2
3
2 +1
2
( +1)
+1
@1
v
u
u
t2
+1
2
( + 1)
1A =
1
p ,

donde, haciendo lgebra en el lado izquierdo de la ecuacin anterior obtenemos,
anlogamente al procedimiento pasado,
v
0
1
!
v
u
2+1
u
j + 1j
3
j
1j
1u
u
@1 t2
p
1
1A =
t
2
2
+1
2 2
j + 1j
2
( + 1)
+1
2
( +1)
+1
p
1
2
1
p , para
1
+1
<
1;
lo cual demuestra que las soluciones b2K y 'V estn relacionadas por la misma
frmula (2.65) que relaciona a las soluciones aK y bV .
Por ltimo, procederemos a encontrar la relacin entre C y para igualacin
p
p
b1K = V . De la tabla (16) tenemos que = 0
x0
, y por un
procedimiento anlogo al hecho con las soluciones anteriores vemos que
=
0
0 x0
(2.69)
Y de (2.49) obtenemos
b1 = "b01
= b001
(2.70)
Por lo tanto, comparando (2.69) con (2.70) y sustituyendo (2.56) llegamos a la

ecuacin
r
p
1
3
(2.71)
1 + 2C 1 = p ;
1 =
2 2C + 1
y sustituyendo la solucin (2.65) en el lado izquierdo de la ecuacin (2.71) nos
resulta, con un poco de lgebra:
p =
p ,
<
1;
i.e. tenemos que la relacin (2.65) tambin se aplica para este caso.
2
+1
As que el hecho de que obtuviramos la misma relacin C = ( +1)
2 , con
< 1, para los tres pares de soluciones a las Ecuaciones de Einstein para un
universo plano, muestra la congruencia deseada entre ambos artculos.
2.3.2.
Modelo elptico.
Primeramente encontraremos la relacin entre las constantes C y para la

igualdad aK = bV . De la tabla 18 vemos que
i p+1
h
1
2
bV = b0 (cos ) 2 tan 2 + 4
, donde, haciendo las sustituciones
= c + 2x0 y c = 0, tenemos
h
bV = b0 tan x0 +
+1
p
2
[cos (2x0 )] 2 .
(2.72)
35
Adems, de (2.48) tenemos

h
aK = a0 tan
1
2
3
2C+1
[sin (
2 )] 2 ,
donde, aplicando trigonometra obtenemos

p 3
1
1
aK = a0 [cot ( )] 2 2C+1 [sin (2 )] 2
p 3
1
1
= a0 [tan ] 2 2C+1 [sin (2 )] 2
p 3 h
i 12
1
= a0 [tan ] 2 2C+1 cos 2
2
p 3 n
h
io 12
1
= a0 [tan ] 2 2C+1 cos 2
,
4
por lo que desplazando convenientemente el tiempo
i 1p 3
h
aK = a0 tan
2C+1
hacia la derecha, resulta

1
[cos (2 )] 2 .
As que la comparacin de (2.72) con (2.73) nos da la igualdad

r
+1
3
= p ,
2C + 1
(2.73)
(2.74)
ecuacin idntica a la ecuacin (2.64) para el caso plano, salvo por la omisin del
signo en el lado derecho de la ecuacin, as que su solucin ser la misma
2
+1
> 1 en lugar de < 1.
relacin (2.65): C = ( +1)
2 ; pero con dominio
Lo que sigue es encontrar la relacin entre C y para la igualacin
b2K = 'V , debido a la permutacin entre b1K y b2K mencionada en el caso
plano. Por ello, de la tabla 18 tenemos que
h
i p1
' = '0 tan x0 +
,
(2.75)
4
una vez sustituidos
= c + 2x0 y c = 0. Adems de (2.49) deducimos que

h
i 2
b2K = "b02 tan
2
= b002 (cot ) 2
= b002 (tan ) 2 ,
por lo que haciendo un corrimiento del tiempo 4 hacia la derecha, obtenemos

h
i 2
b2K = b002 tan
+
.
(2.76)
4
As que comparando (2.75) con (2.76) y sustituyendo (2.56) establecemos la

igualdad
r
p
1
1
3
=
1
2C 1 = p ,
(2.77)
2
2 2C + 1

ecuacin que es idntica a la ecuacin (2.68), salvo por la omisin del signo
en el lado derecho de la ecuacin, por lo que una solucin ser tambin la
relacin (2.65), pero con > 1.
Ya por ltimo debemos encontrar la relacin C = C ( ) para la igualdad
b1K = V . Entonces, de la tabla 18 observamos que
=
donde hemos hecho
tan x0 +
(2.78)
= c + 2x0 y c = 0. Adems, de (2.49) vemos que

b1K
h
= "b01 tan
= b001 (cot )
= b001 (tan )
2
1
por lo que haciendo un desplazamiente del tiempo

h
b1K = b001 tan
hacia la derecha, obtenemos
(2.79)
As pues, comparando (2.78) con (2.79) y sustituyendo (2.56) establecemos que

r
p
1
3
=
1 + 2C 1 = p ,
(2.80)
1
2 2C + 1
ecuacin que es la misma a la dada en (2.71), excepto por la omisin del signo
en el lado derecho de la igualdad, por lo que una solucin a ella tambin
ser la relacin (2.65), pero con > 1.
En conclusin, podemos decir que para el caso elptico 6-D tambin hay
congruencia entre ambos artculos, ya que una solucin a las comparaciones
aK = bV , b2K = 'V y b1K = V es, en los tres casos, la relacin (2.65)
2
+1
(C = ( +1)
> 1.
2 ), pero con
2.3.3.
Modelo hiperblico.
Primeramente encontraremos la relacin entre las constantes C y para la

igualdad aK = bV . De (2.48) vemos que
p 3
(
)
1
1
=1
[tanh ] 2 2C+1p[sinh (2 )] 2 ,
. (2.81)
aK = a0
1
3
1
[tanh (L
)] 2 2C+1 [sinh (2L 2 )] 2 ,
= 1
1
Y de la tabla 17 vemos que bV = b0 (sinh ) 2 tanh 2

sustituciones = c 2x0 y c = 0, tenemos
bV = b0 [tanh ( x0 )]
+1
p
2
+1
p
2
, donde, haciendo las
[sinh ( 2x0 )] 2 .
(2.82)
37
Por lo que, para el caso = 1, para poder realizar la comparacin entre (2.81)
y (2.82) debemos hacer la extraa equivalencia
= x0 , con lo cual ya
podemos establecer la igualdad
r
3
+1
p ;
=
2C + 1
sin embargo, para = 1 la comparacin resulta ms natural si para este
modelo hacemos c 6= 0, teniendo entonces
h
c
bV = b0 tanh
2
x0
+1
p
2
2x0 )] 2 ,
[sinh (c
(2.83)
con lo cual se pueden considerar las siguientes equivalencias entre (2.81) y (2.83):
r
c
3
+1
p ;
a0 = b0 , = x0 , L = y
=
2
2C + 1
donde la ltima equivalencia es idntica a la ecuacin (2.64), razn por la cual
una solucin para ella tambin ser la relacin (2.65), con < 1.
El siguiente paso es encontrar la relacin C = C ( ) para la igualacin
b2K = 'V . As que, de (2.49) tenemos
b2K
= "b02
= b002
[tanh ] 2 ,
[tanh (L
)]
[tanh ] 2 ,
[tanh (L
)]
=1
= 1
=1
= 1
(2.84)
Y de la tabla 17 vemos que

h
c
' = '0 tanh
2
x0
p1
(2.85)
donde hemos hecho la sustitucin = c 2x0 . Por lo que, comparando (2.84)

(con = 1) con (2.85) y reemplazando (2.56), determinamos las equivalencias
r
p
1
c
1
3
L= y 2=
1
2C 1 = p ,
2
2 2C + 1
donde la segunda ecuacin es la ecuacin (2.68) para el universo plano, i.e. una
solucin a ella ser la relacin (2.65), con < 1.
Y para terminar tenemos que encontrar la relacin C = C ( ) para la igualdad b1K = V . Por (2.49) tenemos
b1K
= "b01
= b001
[tanh ] 1 ,
[tanh (L
)]
[tanh ] 1 ,
[tanh (L
)]
=1
= 1
=1
= 1
(2.86)

Y de la tabla 17 tomamos
=
c
2
tanh
x0
donde hicimos = c 2x0 . As que, correlacionando (2.86) (para

(2.87) y empleando (2.56), llegamos a la equivalencia
r
p
1
3
1 + 2C 1 = p ,
1 =
2 2C + 1
(2.87)
=
1) con
que es la misma ecuacin (2.71) del modelo plano, siendo entonces una solucin
a ella la relacin (2.65), con < 1.
En conclusin, para el modelo hiperblico 6-D encontramos una concordan2
+1
cia entre ambos artculos, al ser la expresin (2.65) (C = ( +1)
2 ) la relacin
entre las constantes C de KP y de PV en todos los casos, donde < 1.
2.3.4.
Anlisis general.
Relacin encontrada.
En general, en los tres modelos encontramos siempre la misma relacin (2.65)
2
+1
entre C y (C ( ) = ( +1)
< 1 en los modelos plano e hiperblico,
2 ), con
y > 1 en el modelo elptico.
Mas haciendo un poco de anlisis a la funcin C ( ) observamos que sta es
estrictamente creciente en 2 ( 1; 1), estrictamente decreciente en
2 ( 1; 1), y estrictamente creciente en 2 (1; +1), como se demuestra a
continuacin.
Demostracin:
Aplicando el mtodo de derivacin vemos que,
2
2 ( + 1)
2 2 + 1 ( + 1)
dC
2(
1)
=
=
4
3,
d
( + 1)
( + 1)
y de ah resulta que
dC
2(
1)
=
3 es
d
( + 1)
Adems, cuando
> 0, para
< 0, para
2 ( 1; 1) [ (1; +1)
:
2 ( 1; 1)
1 tenemos
2
lm C( )= lm
! 1
cuando
! 1
+1
2
( + 1)
= 1,
1 vemos que
2
lm C= lm
! 1
! 1
+1
2
( + 1)
= +1,

cuando
! 1 obtenemos
2
lmC= lm
!1
y cuando
39
!1
+1
2
( + 1)
= C (1) =
1
,
2
! +1 observamos que
2
lm C= lm
!+1
!+1
+1
2
( + 1)
= 1.
As que en los dominios 2 ( 1; 1) y 2 ( 1; 1) [ (1; +1), los codominios

para C ( ) son (1; +1) y 12 ; +1 , respectivamente; todos ellos valores de imagen vlidos de acuerdo al dominio para C dado en (2.56), en la remarcacin
2 (seccin 2.1); pero C = +1 es un valor aceptado en la remarcacin 1
(seccin 2.1), y C ! 1 cuando ! 1, por lo que podemos incluir = 1
y
= 1 en el dominio de C ( ) para los universos plano e hiperblico, e
igualmente podemos incluir los valores = 1 y = +1 en el dominio de C ( )
para el universo elptico; i.e,. 2 [ 1; 1] en los casos plano e hiperblico, y
2 [ 1; +1] en el caso elptico.
Por lo tanto, como conclusin nal podemos decir que
2
C=
+1
2,
(2.88)
( + 1)
es una relacin entre la constante C del artculo de KP y la constante del

artculo de PV, en los tres modelos de universo y para el caso 6-D, donde para
los universos plano e hiperblico
2 [ 1; 1], y para el universo elptico
2 [ 1; +1].
Relacin C2 = C2 ( ) alternativa.
Adems de la relacin (2.88) entre C y , nosotros podemos encontrar con
ayuda de software matemtico una solucin alternativa a la ecuacin (2.68)
( 2 = p1 ), la cual aparece en los modelos plano e hiperblico como consecuencia de la comparacin b2K = 'V . As que utilizando el software Mathematica
7.0 encontramos en el archivo: Relacin C K-P y alfa P-V.nb; la solucin
alterna (ver apndice 3)
C2 =
+ 12 + 13
(3
1)
(2.89)

la cual, al comprobarla sustituyndola en la ecuacin (2.68) (para asegurar que
no es una solucin extraa) nos arroja el siguiente resultado:
v
0
1
!
v
u
2 + 12 + 13
u
3
1u
9
1
u
@1 t2
=
1A = p
t
2
2
2 2 9 2 +12 +13
(3
1)
+1
2
(3
=
=
=
=
1
2
3
2 +24
(18
+26)+(9
(3
1)2
6 +1)
B
B
B1
@
v
u
u
u
t
18
+ 24 + 26
9 2 6 +1
(3
1)
!
p
(9 2 + 30 + 25)
3
1
2
27 2 + 18 + 27
j3
1j
!
p
9 2 + 30 + 25
3
1
p
1
2
3
1
2
9 +6 +9
q
0
1
2
(3 + 5)
3
1
@1
A
p
3
1
2
3 (3 2 + 2 + 3)
j3
6
=
1)
1j
2
3
(3
+1
1
2
=
2
3
+1
1)
3
1
p , para
1
C
C
C
A
(3 + 5)
1
>
1
;
3
por lo que queda comprobado que en efecto s es una solucin alternativa a la

ecuacin (2.68), donde > 13 .
Adems, la solucin (2.89) tambin satisface a la ecuacin (2.77) para el
modelo elptico ( 2 = p1 ), con < 53 .
Mas dicha solucin (2.89) no satisface a las ecuaciones (2.71) y (2.80)
( 1 = p y 1 = p ), derivadas de la comparacin b1K = V en sus respectivos
satisface a las ecuaciones (2.64) y (2.74)
q universos, ni tampoco
q
3
3
( 2C+1
= p+1 y 2C+1
= p+1 ), derivadas de las comparaciones aK = bV
en sus universos correspondientes.
Captulo 3
Propuesta de una solucin

particular 6D no vaca.
Si en la mtrica 7-dimensional (1.5) del captulo 1 hacemos + 3 v3 = cte,
entonces la sptima coordenada ya no tiene un papel activo, y eso equivale a
tener una mtrica 6-dimensional de la forma
dI 2 = e2
e2
f2 d
+ sin2 ( ) d'2
e2 1 dx21
e2 2 dx22 ,
donde f se dene segn la frmula (1.16). Por lo tanto, las ecuaciones de Einstein
(1.14), que se pueden obtener mediante la sustitucin de la tabla 15 en la 12,
tomarn la forma
0
0
0 0
2u
=
6d
h 3u (u + v1 + v2 ) +2 v1 v22+ 3 e
i
0
00
0
0
0
0 0
u (u + v1 + v2 ) + v1 + v2 + v1 v2 + (2u + v1 + v2 ) + e
i
h
2
0
00
u0 (3u + 2v2 ) + v20 + (3u + v2 ) + 3 e 2u = 0
h
i
2
0
00
u0 (3u + 2v1 ) + v10 + (3u + v1 ) + 3 e 2u = 0
Tabla 20
2u
=0
,
donde la ecuacin correspondiente a G77 es eliminada del anlisis en tanto que

las ecuaciones de la tabla 20 corresponden a una cosmologa 6-dimensional,
adems hemos considerado la frmula (1.18), las equivalencias de la tabla 10,
que v30 = 0 y que existe densidad de materia (universo no vaco), tomando el
caso en que todas las componentes del tensor momento-energa son cero, excepto
la componente T00 = 6d , en donde 6d es una funcin incgnita que depende
solo de la coordenada temporaliode . Ahora podemos simplicar el sistema de
41
42
CAPTULO 3. PROPUESTA DE UNA SOLUCIN 6D NO VACA.
la tabla 20 para as obtener el sistema de ecuaciones algebraico-diferenciales

h
i
2
1. 3 ( 0 ) + 3 0 01 + 3 0 02 + 01 02 + 3 e 2 = 6d
2.
3.
4.
( 0) + 0
2
3 ( 0) + 2
2
3 ( 0) + 2
0
1+
0 0
1
0 0
2
02
02
0 0
2+ 1 + 2
2
+ 01 + 3 00 +
2
+ 02 + 3 00 +
+ 01 02 + 2
+3 =0
+3 =0
Tabla 21
00
00
1
00
2
=0
00
1
00
2
donde hemos empleado las equivalencias u

y vi
i.
Para resolver el sistema de la tabla 21 podemos observar que basta con
resolver el subsistema formado por las ecuaciones 2 a 4, luego de lo cual hay que
sustituir las variables , 1 y 2 en la ecuacin 1 y despejar 6d . Por lo tanto,
el sistema de ecuaciones diferenciales
2.
3.
4.
( 0) + 0
2
3 ( 0) + 2
2
3 ( 0) + 2
0
1+
0 0
1
0 0
2
02
02
0 0
2+ 1 + 2
2
+ 01 + 3 00 +
2
+ 02 + 3 00 +
+ 01 02 + 2
+3 =0
+3 =0
Tabla 22
00
00
1
00
2
=0
00
1
00
2
ser nuestro sistema a resolver para encontrar las funciones incgnitas

2.
3.1.
Solucin particular 6D no vaca plana ( =

0).
Para resolver el sistema de la tabla 22, lo primero que hay que hacer es una
reduccin de orden [5], pues todas las variables incgnitas aparecen con derivada
primera o mayor. Por lo tanto, haremos los cambios de variables
0
= a,
0
1
= b1 y
0
2
= b2 ,
(3.1)
quedndonos el nuevo sistema

20 .
30 .
40 .
a2 + ab1 + ab2 + b21 + b22 + b1 b2 + 2a0 + b01 + b02 +

3a2 + 2ab1 + b21 + 3a0 + b01 + 3 = 0
3a2 + 2ab2 + b22 + 3a0 + b02 + 3 = 0
Tabla 23
=0
.
Enseguida, por razones de simetra entre las ecuaciones 30 y 40 de la tabla

23, podemos argumentar que toda solucin b1 en la ecuacin 30 es una solucin
vlida para b2 en la ecuacin 40 , y viceversa. As que podemos considerar una
sola solucin b b1 = b2 para b1 y b2 , con lo cual el sistema de la tabla 23 se
transformar en el nuevo sistema
200 .
300 .
a2 + 2ab + 3b2 + 2a0 + 2b0 + = 0

3a2 + 2ab + b2 + 3a0 + b0 + 3 = 0 .
Tabla 24
3.1. SOLUCIN 6D NO VACA PLANA ( = 0).
43
Ahora, por el mtodo de eliminacin, en la tabla anterior podemos restar la

ecuacin 200 a la ecuacin 300 , obteniendo
2a2
2b2 + a0
b0 + 2 = 0,
,
2a2 + a0 = 2b2 + b0
2 ,
en donde para el caso plano ( = 0) la ecuacin se transformar en

2a2 + a0 = 2b2 + b0 ,
ecuacin en la que, una vez ms por razones de simetra, podemos hacer
a = b, por lo que al sustituir dicha igualdad en el sistema de la tabla 24, ste se
transformar nalmente en
2a0 + 3a2 = 0,
(3.2)
para el caso plano (con = 0).
As que todo se reduce a resolver la ecuacin diferencial (3.2) de la siguiente
forma: la ecuacin es de variables separables, por lo que la podemos reexpresar
como
3
da
=
d ,
a2
2
de donde
1
3
=
+ C10 ,
a
2
,
2
.
(3.3)
a=
3 ( + C1 )
Mas como a = b1 = b2 y 0 = 01 = 02 = a (segn (3.1)), entonces
obtener a , 1 y 2 debemos de integrar la ecuacin (3.3), resultando
Z
2d
2
=
= ln j + C1 j + C2 ,
3 ( + C1 )
3
2
=
ln j + C1 j + C3 ,
1
3
2
ln j + C1 j + C4 .
=
2
3
para
(3.4)
(3.5)
(3.6)
Lo que sigue es sustituir la solucin particular (3.4)-(3.6) en el sistema de la

tabla 22 (con el n de vericar que no se trata de una solucin extraa), lo que
equivale a utilizar la solucin (3.3) en la tabla 23, lo que signica reemplazar
(3.3) en la tabla 24, lo que nalmente nos conduce a sustituir (3.3) en la ecuacin
(3.2), para as obtener
2
2
2
+3
= 0
3 ( + C1 )
3 ( + C1 )
4
1
4
1
+
= 0
2
3 ( + C1 )
3 ( + C1 )2
0 = 0,
44
lo que demuestra que nuestra solucin particular (3.4)-(3.6) s es una solucin

que satisface al sistema de la tabla 22 para el caso plano ( = 0).
Por ltimo debemos encontrar la expresin para la variable 6d en la ecuacin
1 del sistema de la tabla 21 (para = 0), para lo cual sustituiremos la solucin
(3.4)-(3.6) en dicha ecuacin y despejaremos a 6d . Despejando a 6d obtenemos
6d
1h
3 ( 0) + 3
0 0
1
0 0
2
+3
0 0
1 2
y sustituyendo la solucin (3.4)-(3.6) resulta

2
3
2
2
2
2
3
+
3
16
3( +C1 )
3( +C1 )
7
4
2
2 5e
6d =
2
2
+3 3( +C1 ) + 3( +C1 )
"
#
4
40
1
ln j +C1 j 3
2C2
=
2 e
9 ( + C1 )
#
"
4
C50
40
3
=
2 j + C1 j
9 ( + C1 )
"
#
4
C5 j + C1 j 3
=
2
( + C1 )
"
#
4
C5 ( + C1 ) 3
=
,
2
( + C1 )
es decir
6d
C5
( + C1 )
10
3
4
3
lnj +C1 j 2C2
, C5 > 0,
(3.7)
40
0
2C2
ya que C5 = 40
> 0.
9 C5 = 9 e
As que nalmente, retomando las soluciones (3.4)-(3.7) para el sistema de
ecuaciones algebraico-diferenciales planteado en la tabla 21, concluimos que una
solucin particular 6-D no vaca a las ecuaciones de Einstein de dicha tabla,
derivadas de la mtrica 6-dimensional
dI 2 = e2
f2 d
+ sin2 ( ) d'2
e2 1 dx21
(ver la denicin (1.16) para f ), es, en el caso plano (f = ,

=
2
3
ln j + C1 j + C2 ,
e2 2 dx22
= 0):
(3.8)
2
3
ln j + C1 j + C3 ,
(3.9)
2
3
ln j + C1 j + C4 ,
(3.10)
6d
C5
( + C1 )
10
3
, C5 > 0 .
(3.11)
3.2. SOLUCIN 6D NO VACA HIPERBLICA ( =
1).
45
A continuacin mostramos un grco del comportamiento de las soluciones

(3.8)-(3.11) a travs de la coordenada temporaloide :
donde las soluciones , 1 y 2 estn representadas por la linea negra (con

Ci = 0) y la densidad de materia 6d est representada por la linea con crculos
(con C5 = 1).
De acuerdo con este grco, la densidad de materia 6-d obtenida posee un
comportamiento de carcter friedmanniano [8, 3], es decir, el universo parte
de una gran explosin (big-bang) y luego evoluciona en el tiempo decreciendo
asintticamente en el innito, como es esperado para los modelos planos de
Friedmann.
3.2.
Solucin particular 6D no vaca hiperblica

( = 1).
En esta seccin trataremos de encontrar ms soluciones a las ecuaciones de

Einstein planteadas en la tabla 21. Para ello, volveremos a enfocarnos en el
sistema de ecuaciones diferenciales de la tabla 22 y, en su reduccin de orden
(3.1) y en la igualdad b
b1 = b2 , para as llegar otra vez al sistema de
ecuaciones diferenciales de la tabla 24, el cual se puede reescribir de la siguiente
forma:
a2 + 2ab + b2 + 2a0 + b0 + 2k
2
a + 2ab + b + 2a + b + 2k
donde los subndices 1 ,
+ 2b2 + b0
0,
(3.12)
0,
(3.13)
+ 2a + a +
hacen referencia a sus respectivos parntesis.
46
En el sistema anterior podemos hacer los despejes ()2 =

por lo cual concluimos que
()1 y ()3 =
()2 = ()3 = f ( ) ,
()1 ,
(3.14)
donde f ( ) es una funcin desconocida de . Entonces resulta que

()1 =
f ( ).
Por lo tanto tendremos que 2b2 + b0

b0
a0
= f y 2a2 + a0 +
= f , de donde
2b2 + ,
2a2
.
= f
= f
(3.15)
(3.16)
As que sustituyendo las ecuaciones (3.15) y (3.16) en cualquiera de las ecuaciones del sistema (3.12) y (3.13), y usando la relacin (3.14), obtendremos
a2 + 2ab + b2 + 2f 4a2 2 + f 2b2 +
+ 2 1 + f = 0, de donde
2
2
3a + 2ab b + = 4f , por lo que
f=
3 2
a
4
1
1
ab + b2
2
4
(3.17)
Mas sustituyendo (3.17) en (3.15) y (3.16), llegamos al sistema:

a0
b0
5 2
a
4
3 2
a
4
1
1
5
ab + b2
,
2
4
4
1
7 2 3
ab
b +
;
2
4
4
el cual podemos reexpresarlo como el siguiente sistema simplicado de ecuaciones diferenciales:

a0
b0
1 2
a
4
1 2
a
4
1
ab
2
1
ab
2
3 2
b
4
3 2
b
4
1
4
1
4
a2
b2 +
(3.18)
+ a2
b2 +
(3.19)
del que podemos garantizar que todas las soluciones que obtengamos sern exactamente todas las soluciones del sistema original de la tabla 24, ya que como
hemos llegado al sistema (3.18) y (3.19) por simples despejes algebraicos vlidos
reversibles, no hay prdidas de soluciones ni aadidura de soluciones extraas
en dicho sistema con respecto al sistema de la tabla 24.
Ahora, para encontrar una solucin al sistema anterior, propondremos que
a a0 y b b0 son constantes, con lo que a0 = b0 = 0, originndose el siguiente
nuevo sistema:
1 2
a
4 0
1 2
a
4 0
1
a0 b0
2
1
a0 b0
2
3 2
b
4 0
3 2
b
4 0
1
4
1
4
a20
b20 +
20
+ a20
b20 +
20
10
10
0,
(3.20)
0,
(3.21)
1).
47
donde los subndices 10 y 20 hacen referencia a sus respectivas llaves; este sistema
ya no ser un sistema de ecuaciones diferenciales, sino simplemente un sistema
de ecuaciones algebraicas. En dicho sistema no es difcil ver que ()20 = 0, por lo
que tambin ()10 = 0, originndose de esa manera el nuevo sistema:
a20 b20 +
3
1 2 1
1
a0 + a0 b0 + b20 +
4
2
4
4
0,
(3.22)
0;
(3.23)
que es el sistema que verdaderamente se resolver.

Para resolver el sistema (3.22) y (3.23) primero despejaremos a0 en (3.22),
obteniendo
q
.
(3.24)
b20
a0 =
Luego, sustituyendo (3.24) en (3.23) tendremos

q
1 2
3
1
1
+ b20 +
b0
b0 b20
4
2
4
4
= 0,
de donde, haciendo lgebra llegaremos a

2b20 =
b0
por lo que
q
b20
4b40 = b20 b20
i.e.
b20 3b20 +
= 0.
(3.25)
De la ecuacin (3.25) se desprenden varias posibilidades, que analizaremos

a continuacin:
a) Si
= 0 (universo plano), entonces tendremos que 3b40 = 0, por lo que b0 = 0

y a = 0 (por (3.24)), la cual es una solucin trivial.
b) Si
= +1 (universo elptico), entonces se tendr que b20 3b20 + 1 = 0, de

donde:
1. Si b20 = 0, entonces b0 = 0 y a0 = i (por (3.24)), resultando ser una
solucin imaginaria que por lo tanto desecharemos.
q
1
p1 i, que es una solucin
2. Si 3b20 + 1 = 0, entonces b0 =
3 =
3
imaginaria y por lo tanto eliminada.
c) Si
= 1 (universo hiperblico), entonces tenemos que b20 3b20

por lo que:
1. Si b20 = 0, entonces b0 = 0 y a0 =
3b20
2. Si
1 = 0, entonces b0 =
la nica solucin interesante.
1 = 0,
1, la cual es una solucin trivial.

p1
3
y a0 =
p2
3
p2 ,
3
siendo sta
48
Ahora, las soluciones encontradas en c)-2 se sustituirn en el sistema (3.22)

y (3.23) para descartar posibles soluciones extraas. As que sustituyendo
b0 = p13 y a0 = p23 , con = 1, tenemos:
4
3
1
3
0,
0,
1
3
y
1
4
4
3
1
2
2
3
3
4
1
( 1) = 0,
4
1 1 1 1
+ + +
= 0,
3 3 4 4
2
= 0;
3
lo cual es una contradiccin i.e. las dos parejas de soluciones

p2 ;
p1
(a0 ; b0 ) =
se descartan al ser soluciones extraas. Y ahora, susti3
3
p1
3
tuyendo las otras dos parejas, b0 =

(3.23), encontramos lo siguiente:
1
3
4
3
p2 ,
3
y a0 =
0,
0,
en el sistema (3.22) y
y
1
4
4
3
1
2
2
3
3
4
+
1
3
1
3
1
( 1) = 0,
4
1 1 1
+
= 0,
3 4 4
0 = 0;
+
p2 ;
p1
por lo cual las dos parejas (a0 ; b0 ) =
s son soluciones verdaderas.
3
3
A continuacin resumiremos los resultados del anlisis anterior, para la obtencin de soluciones al sistema (3.22) y (3.23),en la siguiente tabla.
a)
b)
c)
= 0 ! fb0 = 0, a0 = 0. Solucin trivial.

1. b0 = 0, a0 2 Im . Solucin invlida.
= +1 !
2. b0 2 Im . Solucin invlida
1. b0 = 0, a0 = 1. Solucin trivial.
= 1!
2. b0 = p13 , a0 = p23 . ***Solucin interesante.***
Tabla 25
En conclusin, de la tabla 25 podemos decir que la nica solucin real no

trivial que hemos encontrado para el sistema de la tabla 24 con = 1 (caso
1).
49
hiperblico) es
2
p yb=
3
a=
1
p ,
3
(3.26)
es decir, la solucin c2.

Por lo tanto, debido a la reduccin de orden (3.1) y a las igualdades
b = b1 = b2 , tenemos que
2
p + C1 ,
3
1
p + C2 ,
3
1
p + C3 ;
3
=
1
(3.27)
(3.28)
(3.29)
expresiones que deben ser soluciones al sistema de la tabla 22 para = 1,

lo cual es cierto, ya que sutituir esas expresiones en dicho sistema equivale a
sustituir las soluciones (3.26) en el sistema de la tabla 24 (debido a (3.1) y a
las igualdades b = b1 = b2 ), lo que signica sustituir (2.28) en el sistema (3.18)
y (3.19), lo que es lo mismo que sustituir (3.26) en el sistema (3.22) y (3.23),
lo cual acabamos de hacer al descartar las soluciones extraas, comprobndose
su validez. As pues, las soluciones a las ecuaciones 2, 3 y 4 de la tabla 21
( = 1) sern las ecuaciones (3.27)-(3.29), y sustituyendo dichas soluciones en
la ecuacin 1 de esa tabla obtendremos
2
4
p2
3
p1
3
3
+3
p2
3
p2
3
p1
3
+3
+
p1
3
p1
3
+ 3 ( 1)
5e
2
p
3
+C1
6d ,
por lo que
6d
8
3
4
p
3
2C1
es decir
6d
C4
4
p
3
, C4 > 0,
(3.30)
pues C4 = 83 e 2C1 > 0.

As que nalmente, retomando las soluciones (3.27)-(3.30) al sistema de ecuaciones algebraico-diferenciales planteado en la tabla 21, concluimos que una solucin particular 6-D no vaca a las ecuaciones de Einstein de esa tabla, derivadas
de la mtrica 6-dimensional
dI 2 = e2
f2 d
+ sin2 ( ) d'2
e2 1 dx21
e2 2 dx22
50
(ver la denicin (1.16) para f ), es, en el caso hiperblico (f = sinh ,

p2
3
+ C1 ,
1):
(3.31)
p1
3
+ C2 ,
(3.32)
p1
3
+ C3 ,
(3.33)
6d
C4
4
p
3
, C4 > 0 .
(3.34)
De la ecuacin (3.34) se observa que la densidad de materia 6-dimensional

es negativa. De acuerdo con [7, 16, 18] hay dos mtodos escenciales para
interpretar fsicamente los campos escalares 1 y 2 . En especial nos referimos al
segundo mtodo, en el cual el campo escalar se maniesta en formas conocidas
(no geomtricas) de materia, y en este contexto, en los procesos de creacin
y aniquilamiento de materia. Sin embargo, esto ltimo no es aqu analizado
y por ende esta solucin no es fsicamente aceptable. nicamente el factor de
escala coincide en este caso con los modelos de Friedmann, donde crece con el
transcurso del tiempo; sin embargo diere en la forma de la tendencia, ya que
en nuestro caso la tendencia es lineal, en cambio en el modelo de Friedmann es
logartmica.
A continuacin mostramos un grco del comportamiento de las soluciones
(3.31)-(3.34) a travs del tiempo :
6d
donde hemos tomado las soluciones superiores y hemos hecho C1 = 0, C2;3 = 10

y C4 = 1.
Apndice A
Demostracin de algunos
resultados usados en el
artculo.
A.1.
Demostracin de las identidades trigonomtricas hiperblicas e2x 1 = 2 sinh (x) ex y e2x +

1 = 2 cosh (x) ex .
Proposicin
1. sinh x =
ex e
2
2. cosh x =
ex +e
2
Justicacin
Por denicin.
"
3. sinh (x) + cosh (x) = ex
Sumando 1 y 2.
4. e2x = sinh2 (x) + 2 sinh (x) cosh (x) + cosh2 (x)
Elevando al cuadrado 3.
5. cosh2 (x)
Identidad trigonomtrica.
e2x
6.
sinh2 (x) = 1
8 2
3 9
sinh2 (x)
>
>
>
>
< 4
=
+2 sinh (x) cosh (x) 5
=
+ cosh2 (x)
>
>
>
>
:
;
cosh2 (x) sinh2 (x)
= 2 sinh (x) [sinh (x) + cosh (x)]
= 2 sinh (x) ex
51
Restando 4 5 y
sustituyendo 3 al nal.
52
APNDICE A. DEMOSTRACIN DE ALGUNOS RESULTADOS.

8 2
3 9
sinh2 (x)
>
>
>
>
< 4
=
+2 sinh (x) cosh (x) 5
=
+ cosh2 (x)
>
>
>
>
:
;
+ cosh2 (x) sinh2 (x)
= 2 cosh (x) [sinh (x) + cosh (x)]
= 2 cosh (x) ex
e2x + 1
7.
Sumando 4 y 5 y
sustituyendo 3 al nal.
Y 6 y 7 es lo que queramos demostrar.
A.2.
Obtencin de algunos resultados de la seccin 2.1 con ayuda del software Mathematica 7.0.
*Nota: Todos los clculos hechos en esta seccin se localizan en el

archivo Solucin Ecs. de Einstein en vaco b.nb.
A.2.1.
Obtencin de la integral (2.35).
En (2.35) tenemos la ecuacin

Z
i
i
8
Z <
:
2 sinh ln tan (
2 cosh 2 arctanh e
9
=
;
d ,
por lo que al auxiliarnos de Mathematica para resolver la integral derecha obtenemos lo siguiente:
A.2. OBTENCIN DE RESULTADOS CON MATHEMATICA.
53
es decir, para las funciones superior e inferior tenemos que
2 sinh ln tan ( )
2 cosh 2 arctanh e 2
2
+cte
2
+cte
2
+
ln jcos j
ln 2
ln jsin j
1+e 4
ln jsin ( ) cos ( )j
ln 2 1 + e 4
ln 12 sin (2 )
ln 2 1 + e
000
i ,
donde hemos considerado el caso ms general, con valor absoluto en los argumentos de los logaritmos, y, 000
cte.
i
A.2.2.
Simplicacin de la llave fgS= en la frmula (2.38).
En la frmula (2.38) tenemos la expresin
8
<
:

1
9
=
;
S=
54
la cual podemos simplicar con ayuda de Mathematica, para as obtener
A.2. OBTENCIN DE RESULTADOS CON MATHEMATICA.
55
donde hemos considerado para las grcas los intervalos de denicin de

en (2.34); es decir, podemos concluir que
8
<
:

1
9
=
;
S=
8 9
< 1 =
1
=
.
: ;
1
dados
56
A.2.3.
Integracin de la frmula (2.33).
Integrando la frmula (2.33) con ayuda de Mathematica obtenemos
A.3. OBTENCIN DE UNA RELACIN ALTERNATIVA C2 = C2 ( ).
57
,
es decir, tenemos que la integral es igual a
8
>
>
>
<
>
>
>
:
+a000 ,
3
2C+1
ln j2 cos j +
3
1
2C+1 4
1
2
ln
2
2
1+e
3
2C+1
3
2C+1
ln j2 sin j +
ln j j
ln 1+e2
1
2
ln jsin (2 )j
+ 21 ln 2
1+e
9
>
>
>
=
>
>
>
;
donde hemos considerado el caso general con valor absoluto en el argumento

de los logaritmos. Y la expresin anterior evidentemente equivale a la frmula
(2.41).
A.3.
Obtencin de una relacin alternativa C2 =

C2 ( ) con ayuda del software Mathematica
7.0.
Con ayuda de Mathematica vemos, en el archivo: Relacin C K-P y alfa

P-V.nb; que dos soluciones a la ecuacin (2.68)
58
(

=
p1
) son
,
es decir, una solucin es la conocida ecuacin (2.65) (C =
solucin alternativa es la ecuacin C2 =
+12 +13
.
(3
1)2
2
+1
),
( +1)2
pero una
Conclusiones.
En el captulo 1 de este trabajo se parti de la mtrica 7-dimensional
dI 2 =e2 e2 d 2 d 2 f 2 d 2 + sin2 ( ) d'2
e2 1 dx21 e2 2 dx22 e2 3 dx23 ,
donde la funcin f , como ya es conocido, puede tomar tres formas diferentes
dependiendo de la seccin espacial de la geometra analizada; a saber,
8
,
caso plano
<
sin ,
caso elptico
f=
.
:
sinh , caso hiperblico
A partir de esa mtrica se obtuvo, mediante el formalismo de formas diferenciales

de Cartn [15], las diversas componentes no nulas del seudotensor de Einstein:
G00 , G22 ,. . . , G77 .
En la seccin 2.1 se corroboraron los resultados mostrados en el artculo de
Kechkin-Peraza [10] sobre la obtencin de una solucin general a las ecuaciones
de Einstein N-dimensionales vacas, calculadas a partir de una mtrica como
la dada en la seccin 1, pero generalizada a N dimensiones. En particular, se
obtuvieron las soluciones para los casos 5-dimensional y 6-dimensional.
En la seccin 2.3 se compar una solucin 6-d a las ecuaciones de Einstein
vacas [1] con la solucin particular de Kechkin-Peraza para el caso 6-dimensional
(obtenida en la seccin 2.1), con el n de demostrar la equivalencia de ambos
mtodos de solucin, lo cual arroj que debe cumplirse entre sus respectivas
2
+1
constantes de integracin la relacin: C = ( +1)
2 , donde C es una constante en
[10] y es una constante en [1].
En la subseccin 2.3.4 (subsubseccin Relacin C2 = C2 ( ) alternativa)
fue encontrada, con ayuda del software matemtico: Mathematica 7.0; una
relacin alternativa entre C y , la cual fue
2
, sin embargo, dicha relacin solo era vlida para la comparaC2 = 9 (3+121)+13
2
cin de algunos de los trminos respectivos de las mtricas dadas en [10] y
[1], y por lo tanto no era una relacin general entre las constantes C y de las
respectivas soluciones en ambos artculos.
En el captulo 3 se parti de la mtrica 7-dimensional del captulo 1, y se le
redujo a su forma correspondiente 6-dimensional considerando + 3 = cte, y
bajo esa condicin, se utilizaron directamente los resultados de dicho captulo,
0
con la diferencia de que se elimin a ( + 3 ) y a la componente G77 , como
as es sealado el mtodo de reduccin de una variedad dada a otra de menor
59
60
CONCLUSIONES.
dimensin en [16]. Con esto fue posible establecer las ecuaciones de Einstein
con densidad de materia 6-dimensional, donde todas las componentes GAA
estaran igualadas a cero, excepto la componente G00 , siendo G00 =
6d . Una
vez establecidas dichas ecuaciones, se encontraron dos soluciones particulares
para ellas, una para un universo plano y la otra para un universo hiperblico.
Se espera que los resultados aqu mostrados sean un caso particular de una
solucin ms general 6-dimensional con la cual pudiera ser posible, en principio,
describir propiedades de nuevas formas de materia, como la materia obscura y
otras.
Bibliografa
[1] Amrico Peraza lvarez And Vladimirov Yu. S. Variations of Constants and Red-Shift in 6D Cosmology, General Relativity and Gravitation.
Vol. 28, N1, 1996.
[2] Ch. Yamauchi, Tomotsugu Goto. Are Passive Spiral Galaxies Truly
Passive and Spiral? A Near-Infrared Perspective. Royal Astronomical
Society, Volume 352, Issue 3, 2004 (pp. 815-822).
[3] D. F. Lawden. Introduction to Tensor Calculus, Relativity and Cosmology. Dover Publications, Inc, Mineola, New York, 2002.
[4] David C. Kay, Lorenzo Abellanas (Traductor). Teora y Problemas
de Clculo Tensorial. Serie de Compendios Schaum, McGraw-Hill, Espaa,
1990.
[5] I. Bronshtein, K. Semendiaev. Manual de Matemticas para Ingenieros
y Estudiantes. Ediciones Quinto Sol, 1987.
[6] Juan Marquez. Apuntes de lgebra Multilineal On-Line
(http://juanmarqz.wordpress.com). Wordpress, Pgina Actualizada.
[7] Michio Kaku. Hiperespacio, Editorial Crtica, Espaa, 1996.
[8] Misner C. W., Thorne K.S., Wheeler J.A. Gravitation. W.H. Freeman and Company, San Francisco, 1973.
[9] N.V. Mitskievich. Fsica Relativista (en ruso). Editorial URSS, Mosc,
2012.
[10] O.V. Kechkin and A. A. Peraza. A Class of Exact Cosmological Solutions for Multidimensional Vacuum Einstein Equations. Russian Physics
Journal, Physics, T.36, N. 3, 1993 (P. 114).
[11] Paul G. Hewitt. Fsica Conceptual. Serie Awli, 1999.
[12] Paul S. Wesson. SpaceTime Matter: Modern Kaluza-Klein Theory.
World Scientic, 2000.
61
62
BIBLIOGRAFA
[13] Rodolfo Gutirrez Torres, Amrico Peraza lvarez. Dinmica en

Cosmologa 5-dimensional. EAE-Berln, 2013.
[14] T. Kaluza. En Torno al Problema de la Unidad de la Fsica, .A lbert Einstein y Teora de la Gravitacin". Mosc, Mir, 1979.
[15] W. Israel. Dierential Forms in General Relativity. Dublin Institute for
Advanced Studies, Series A, N. 19, 1970.
[16] Yu. S. Vladimirov. Dimensionalidad del Espacio-Tiempo Fsico y Unicacin de las Interacciones. Editorial Universidad de Mosc, 1987.
[17] Yu. S. Vladimirov. Teora Clsica de la Gravedad (en ruso). Editorial
URSS, Mosc, 2009.
[18] Yu. S. Vladimirov, Amrico Peraza A. (Traductor). EspacioTiempo: Dimensiones Maniestas y Ocultas. Editorial Ciencia, Mosc,
1989.

Cosmología N-Dimensional de Tipo Kaluza-Klein en El Vacío

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

Cosmología N-Dimensional de Tipo Kaluza-Klein en El Vacío

Enviado por

Direitos autorais:

Formatos disponíveis

COSMOLOGA N-DIMENSIONAL DE TIPO

1. Obtencin de las Ecs. de Einstein 7D.

2. Comparacin de modelos cosmolgicos 6D.

3. Propuesta de una solucin 6D no vaca.

entre dos puntos separados innitesimalmente en el espacio-tiempo, donde ,

que corresponden a la carga del electrn, la constante de interaccin con el

CAPTULO 1. OBTENCIN DE LAS ECS. DE EINSTEIN 7D.

elegir de tres maneras diferentes, a saber,

donde 5 es el factor conforme, el cual por congruencia de la teora puede ser

donde T = QAB g A g B es el tensor 4-dimensional de energa-momentum de

donde la correspondencia entre coordenadas y variables es la siguiente:

CAPTULO 1. OBTENCIN DE LAS ECS. DE EINSTEIN 7D.

por lo que sustituyendo esta tabla en nuestra mtrica (1.5) obtenemos

otros gAB = 0. Adems, g AB gBC = AC [4, 6], por lo que 1 = 00 = g 0S gS0 =

Ahora obtendremos los diferenciales exteriores de las cantidades

y de igual forma se procede con los dems diferenciales exteriores, obteniendo

Lo que sigue es comparar estos resultados con las primeras ecuaciones de

= 0, por el valor dado en la tabla 3.

donde se us la frmula ! AB = ! BA y las relaciones (1.7) y (1.8); as que

CAPTULO 1. OBTENCIN DE LAS ECS. DE EINSTEIN 7D.

donde fueron sustituidos d y d 1 desde las tablas 1 y 3 respectivamente; de

Otros diferenciales exteriores d! se calculan a partir de las equivalencias de la

de acuerdo con los datos de las tablas 4, 5 y 6, y el mtodo empleado en la

CAPTULO 1. OBTENCIN DE LAS ECS. DE EINSTEIN 7D.

CAPTULO 1. OBTENCIN DE LAS ECS. DE EINSTEIN 7D.

Otras componentes se calculan por la anticonmutatividad del producto externo,

Todas las dems componentes del tensor de Riemann son cero.

= R0000 + R1001 + R2002 + R3003 + R5005 + R6006 + R7007

donde se usaron los valores de la tabla 8 y las antisimetras (1.10). De igual

Ahora, empleando las sustituciones

y la curvatura obtiene la forma

CAPTULO 1. OBTENCIN DE LAS ECS. DE EINSTEIN 7D.

Por lo tanto con la tabla 11 y la curvatura dada en (1.13) nalmente ya

3u0 (u + v1 + v2 + v3 ) + v10 v20 + v10 v30

es un parmetro que toma los siguientes valores:

CAPTULO 1. OBTENCIN DE LAS ECS. DE EINSTEIN 7D.

Corroboracin de la cosmologa N-dimensional

Kechkin y Peraza proponen un cuadrado del intervalo N-dimensional de la

= gAB dxA dxB

donde A; B = 0; : : : ; 3 + N ; k = 1; : : : ; N ; a = a ( ), bk = bk ( ) son funciones

16 CAPTULO 2. COMPARACIN DE MODELOS COSMOLGICOS 6D.

En consecuencia, multiplicando la frmula anterior por las componentes g AB

Por lo tanto, reemplazando (2.6) en (2.5), llegamos a la expresin

2.1. CORROBORACIN DE COSMOLOGA N-D VACA.

el cual es equivalente al sistema (2.2)-(2.4) (para N = 3). As, queda demostrado

entonces en la nueva notacin, la ecuacin(2.4) toma la forma

Sumando sobre i obtenemos

y sumando sobre i tenemos que

18 CAPTULO 2. COMPARACIN DE MODELOS COSMOLGICOS 6D.

6= 0, nosotros tenemos que Q 6= 0, y entonces

Si adems S no es igual a cero, entonces de (2.9) nosotros tenemos

(mas tarde esta asuncin ser retirada). Por lo tanto

obtenido de ellas (ecuaciones (2.2), (2.3) y (2.4) se transforman en (2.15), (2.17)

y sustituiyendo dichas relaciones en (2.15) da como resultado

2.1. CORROBORACIN DE COSMOLOGA N-D VACA.

lo que al simplicarlo nos resulta

haciendo el lgebra respectiva. Por lo que sustituyendo (2.24) en (2.25) nos da

Adems, el parmetro = 1 sirve para considerar todos los posibles valores

y sustituyendo esa igualdad en la primera

ecuacin de (2.27) obtenemos

20 CAPTULO 2. COMPARACIN DE MODELOS COSMOLGICOS 6D.

Y sustituyendo (2.29) y (2.30) en (2.16) resulta

haciendo el lgebra y las derivaciones respectivas; de donde