Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
FREGRAVOL2.pdf
Скачиваний:
71
Добавлен:
05.06.2015
Размер:
8.65 Mб
Скачать

132

 

 

 

5 Cosmology and General Relativity

−→3

= − √ω cos θ

∂r

+ √ωr sin θ

∂θ +

 

 

r sin θ ∂z

2

 

2

2

ω

k

and because of (5.3.26) they are Killing vectors of the 4-dimensional metric (5.3.20). These three are not the only Killing vectors. There is a fourth one generating O(2) rotations, namely:

−→O = ∂θ

(5.3.28)

 

k

−→

The Lie derivatives of the 1-forms Ωi are not all zero along kO , since we have:

 

O

 

= ;

 

O

 

= − ;

 

O

 

=

 

 

−→

Ω1

0

−→

Ω2

Ω3

−→

Ω3

 

Ω2

(5.3.29)

k

 

k

 

k

 

 

which means that under O(2) the three Ωi arrange into a singlet and into a doublet.

−→

Yet kO is a Killing vector for (5.3.20), since this metric is written in terms of O(2) invariants.

An alternative way of writing the metric (5.3.20) uses Cartesian coordinates, through the standard change of variables:

x = r cos θ ;

y = r sin θ

(5.3.30)

In these coordinates (5.3.20) reads:

ds(d2

 

 

A(t) dt2

 

 

2

 

 

2

 

Δ(t) dz

 

ω

 

 

y dx)

2

 

= −

+

 

+

dy

+

+

(x dy

(5.3.31)

 

4

4)

 

 

Λ(t) dx

 

 

 

 

and the four killing vectors take the very simple form:

−→1

= ∂z

 

 

 

k

 

 

 

 

 

 

 

 

 

 

−→2

= ∂x

4

 

∂z

 

 

ω

 

k

 

 

 

y

(5.3.32)

−→3

= ∂y +

4

 

 

∂z

 

 

ω

 

k

 

 

 

x

 

−→O

= −x ∂y

+

 

∂x

 

 

 

 

 

k

 

 

 

 

y

which will be very useful in our subsequent discussion of geodesics.

5.3.3 Einstein Equation and Matter for This Billiard

Let us now study under which conditions the metric (5.3.20) is a solution of Einstein field equations. To this effect we use the vielbein formalism and we write the

5.3 Homogeneity Without Isotropy: What Might Happen

133

vierbein as follows:

 

 

 

 

 

 

 

E0 =

 

dt;

E1 =

 

 

E2,3 =

 

 

 

A(t)

Δ(t)Ω1;

Λ(t)Ω2,3

(5.3.33)

We can immediately calculate the spin connection from the vanishing torsion equation:

 

 

dEA + ωAB EC ηBC = 0

 

 

 

 

(5.3.34)

where for the flat metric we have used the mostly plus convention:

 

 

 

 

ηab = diag{−, +, +, +}

 

 

 

 

(5.3.35)

We obtain the following result for the spin connection

 

 

 

 

 

 

01

 

 

 

˙

 

1

 

 

02

 

 

Λ

 

 

 

2

 

ω

=

2

 

;

 

=

2

˙

 

 

 

 

 

 

 

 

E

ω

 

 

 

 

 

 

E

 

 

 

 

 

 

 

 

 

 

Λ

 

 

 

 

 

 

 

 

 

 

 

˙

 

 

 

 

 

 

03

 

 

 

˙

 

3

 

 

12

 

 

 

 

 

 

 

 

3

(5.3.36)

ω

 

= 2

 

 

E

;

ω

 

= −ω 4Λ E

 

 

 

 

 

 

 

 

 

13

= ω

˙

2

;

 

 

23

= ω

˙

1

 

 

 

ω

 

4Λ

E

 

 

ω

 

4Λ

E

 

 

 

 

 

which can be used to calculate the curvature 2-form and the Ricci tensor from the standard formulae:

RAB AB + ωAC ωDB ηCD = RAB CD eC eD

(5.3.37)

RicF G = ηF ARAB GB

The Ricci tensor turns out to be diagonal and has the following eigenvalues:

Ric00

=

 

A (t)Δ (t)

+

 

 

(t)2

+

 

A (t)Λ (t)

+

Λ (t)2

 

 

 

8A(t)2Δ(t)

 

8A(t)Δ(t)2

 

4A(t)2Λ(t)

4A(t)Λ(t)2

 

 

 

 

 

(t)

 

 

Λ (t)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4A(t)Δ(t)

2A(t)Λ(t)

 

 

 

 

 

 

 

 

 

 

 

 

ω2Δ(t)

 

A (t)Δ (t)

 

 

 

 

(t)2

 

(t)Λ (t)

+

Ric11

=

 

 

 

 

 

 

+

 

 

16Λ(t)2

8A(t)2Δ(t)

8A(t)Δ(t)2

4A(t)Δ(t)Λ(t)

Ric22

= Ric33

 

 

 

 

A (t)Λ (t)

 

 

 

 

 

(t)Λ (t)

 

Λ (t)

 

 

Ric

 

 

2Δ(t))

 

 

 

 

 

 

 

 

 

 

 

 

=

16Λ(t)2

 

8A(t)2Λ(t)

+

8A(t)Δ(t)Λ(t)

+ 4A(t)Λ(t)

33

 

 

With little more effort we can calculate the Einstein tensor defined by:

GAB = RicAB 12 ηAB R

R = ηF GRicF G

(t)

4A(t)Δ(t)

(5.3.38)

(5.3.39)

134

5 Cosmology and General Relativity

and we obtain a diagonal tensor with the following eigenvalues:

2Δ(t)) G00 = 32Λ(t)2

3ω2Δ(t) G11 = 32Λ(t)2 +

G22 = G33

2Δ(t)) G33 = 32Λ(t)2

 

 

(t)Λ (t)

 

Λ (t)2

 

 

 

 

+

 

 

 

 

+ 8A(t)Λ(t)2

4A(t)Δ(t)Λ(t)

 

A (t)Λ (t)

 

 

Λ (t)2

 

Λ (t)

 

 

+

 

 

 

 

 

4A(t)2Λ(t)

8A(t)Λ(t)2

2A(t)Λ(t)

 

 

 

 

 

 

 

 

 

 

 

(5.3.40)

 

 

A (t)Δ (t)

+

 

(t)2

 

 

A (t)Λ (t)

+

 

 

+

 

 

 

8A(t)2Δ(t)

8A(t)Δ(t)2

 

8A(t)2Λ(t)

 

 

(t)Λ (t)

+

Λ (t)2

(t)

Λ (t)

 

 

 

 

8A(t)Δ(t)Λ(t)

8A(t)Λ(t)2

4A(t)Δ(t)

4A(t)Λ(t)

It is a remarkable fact that we can obtain an exact solution of the evolution equations in the absence of any matter content. What we get is an empty Ricci flat Universe with rather peculiar properties. Imposing that the Ricci tensor (5.3.38) vanishes (and hence also the Einstein tensor (5.3.40) does) we get differential equations for Λ(t), Δ(t) and A(t) that are exactly solved by the following choice of transcendental functions:

A(t) = exp[] cosh t2

 

 

 

 

 

 

 

 

ω

 

 

 

 

 

 

 

 

ω

 

 

Λ(t) = exp

 

cosh

t

 

(5.3.41)

2

2

1

 

 

 

 

 

 

 

Δ(t) =

 

 

 

 

 

cosh[ t2ω ]

 

 

 

In order to write the metric in a standard cosmological form we need to redefine the time variable by setting:

= A(t) dt (5.3.42)

so that in the new cosmic time (5.3.20) becomes:

ds(d2

4) = 2 + Λ(τ ) Ω22 + Ω32 + Δ(τ )Ω12

(5.3.43)

Equation (5.3.42) can be exactly integrated in terms of hypergeometric functions. We obtain:

τ (t)

 

3ω2 exp

4

 

1

exp τ ω

 

 

2 2F1

 

4

,

2

,

4

,

 

exp

(5.3.44)

 

 

2

 

 

 

 

 

 

 

 

1

 

1

 

5

 

 

 

 

 

=

 

+

[

] +

 

 

 

 

 

[ ]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Although inverting (5.3.44) is not analytically possible, yet it suffices to plot the behavior of the scale factors Λ and as functions of the cosmic time τ . This behavior

5.3 Homogeneity Without Isotropy: What Might Happen

135

Fig. 5.5 Evolution of the cosmological scale factors

Λ(t) (thick line) and Δ(t)

(thin line) for very early times, when the Universe is very young. Λ starts at a finite value 0.5 and always grows, while starts at zero, grows for some time up to the maximum value 1 and then starts decreasing

Fig. 5.6 Evolution of the cosmological scale factor Δ(t) for late times, when the Universe grows old. tends exponentially to zero

is shown in several graphics. In Fig. 5.5 we see the behavior of the scale factors for very early times.

The early finite behavior of the scale factors has a very important consequence. This space-time has no initial singularity. Indeed for τ 0 the curvature 2-form is perfectly well behaved and tends to the following finite limit:

R01 = −

1

E2 E3; R02 = −

1

E1 E3; R03 =

1

E1 E2

2

4

 

4

 

 

 

 

 

(5.3.45)

R12 = 0;

 

R13 = 0;

 

R23 =

1

E0 E1

 

 

2

In Fig. 5.6 we see the evolution of the

 

scale factor for late times just after reaching

its maximum. As we see it rapidly and exponentially tends to zero.

136

5 Cosmology and General Relativity

Fig. 5.7 Evolution of the cosmological scale factor Λ(t) for very late times. By now is essentially zero but Λ continues to grow and indefinitely in time with a power law. The graphic plots the logarithm of the scale factor against the logarithm of time and we see an almost perfect straight line

In Fig. 5.7 we see instead the very late time behavior of the scale factor Λ. At asymptotically late times this scale factor grows as a power of time which is slightly smaller than one.

We can summarize by saying that this funny homogeneous but not isotropic Universe, which is empty of matter, has a curious history. It has no initial singularity but it is born finite, small and essentially two-dimensional. It begins to expand and the third dimension starts to develop. It reaches a state when it is effectively threedimensional, although still very small, the two scale factors being of equal size. Then the third dimension rapidly squeezes and the Universe becomes again effectively two dimensional growing monotonously large in the two dimensions in which it was born.

This is an example of the billiard mechanism. The effective dimensions of spacetime change more than once in the course of the cosmic evolution. This is further illustrated in Fig. 5.8 where we show the motion of the fictitious cosmic ball whose coordinates are:

h1(t) = h2(t) =

1

log Λ(t),

h3(t) =

1

log Δ(t)

(5.3.46)

2

 

2

It is evident from the figure that we have two Kasner epochs joined by a smooth bounce. For very early times t → −∞ and for ω > 0 we have

hi (t) pi t : {p1, p2, p3} = 0, 0,

2

 

 

(5.3.47)

 

 

 

 

 

ω

 

 

 

while for very late times t → ∞ and for ω > 0 we find

 

 

 

 

 

 

hi (t) pi t : {p1, p2, p3} =

2

,

2

,

2

(5.3.48)

 

ω

 

ω

 

 

ω

 

 

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]