BKL singularity
![](http://upload.wikimedia.org/wikipedia/commons/thumb/1/17/BKLChaotic.gif/300px-BKLChaotic.gif)
Part of a series on |
Physical cosmology |
---|
![]() |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/df/Wikibooks-logo-en-noslogan.svg/40px-Wikibooks-logo-en-noslogan.svg.png)
A Belinski–Khalatnikov–Lifshitz (BKL) singularity is a model of the dynamic evolution of the universe near the initial gravitational singularity, described by an anisotropic, chaotic solution of the Einstein field equation of gravitation.[2] According to this model, the universe is chaotically oscillating around a gravitational singularity in which time and space become equal to zero or, equivalently, the spacetime curvature becomes infinitely big. This singularity is physically real in the sense that it is a necessary property of the solution, and will appear also in the exact solution of those equations. The singularity is not artificially created by the assumptions and simplifications made by the other special solutions such as the Friedmann–Lemaître–Robertson–Walker, quasi-isotropic, and Kasner solutions.
The model is named after its authors Vladimir Belinski, Isaak Khalatnikov, and Evgeny Lifshitz, then working at the Landau Institute for Theoretical Physics.
The picture developed by BKL has several important elements. These are:
- Near the singularity the evolution of the geometry at different spatial points decouples so that the solutions of the partial differential equations can be approximated by solutions of ordinary differential equations with respect to time for appropriately defined spatial scale factors. This is called the BKL conjecture.
- For most types of matter the effect of the matter fields on the dynamics of the geometry becomes negligible near the singularity. Or, in the words of John Wheeler, "matter doesn't matter" near a singularity. The original BKL work posed a negligible effect for all matter but later they theorized that "stiff matter" (equation of state p = ε) equivalent to a massless scalar field can have a modifying effect on the dynamics near the singularity.
- The ordinary differential equations describing the asymptotics come from a class of spatially homogeneous solutions which constitute the Mixmaster dynamics: a complicated oscillatory and chaotic model that exhibits properties similar to those discussed by BKL.
The study of the dynamics of the universe in the vicinity of the cosmological singularity has become a rapidly developing field of modern theoretical and mathematical physics. The generalization of the BKL model to the cosmological singularity in multidimensional (Kaluza–Klein type) cosmological models has a chaotic character in the spacetimes whose dimensionality is not higher than ten, while in the spacetimes of higher dimensionalities a universe after undergoing a finite number of oscillations enters into monotonic Kasner-type contracting regime.[3][4][5]
The development of cosmological studies based on superstring models has revealed some new aspects of the dynamics in the vicinity of the singularity.[6][7][8] In these models, mechanisms of changing of Kasner epochs are provoked not by the gravitational interactions but by the influence of other fields present. It was proved that the cosmological models based on six main superstring models plus eleven-dimensional supergravity model exhibit the chaotic BKL dynamics towards the singularity. A connection was discovered between oscillatory BKL-like cosmological models and a special subclass of infinite-dimensional Lie algebras – the so-called hyperbolic Kac–Moody algebras.[9][10][11]
Introduction
[edit]The basis of modern cosmology are the special solutions of the Einstein field equations found by Alexander Friedmann in 1922–1924. The Universe is assumed homogeneous (space has the same metric properties (measures) in all points) and isotropic (space has the same measures in all directions). Friedmann's solutions allow two possible geometries for space: closed model with a ball-like, outwards-bowed space (positive curvature) and open model with a saddle-like, inwards-bowed space (negative curvature). In both models, the Universe is not standing still, it is constantly either expanding (becoming larger) or contracting (shrinking, becoming smaller). This was confirmed by Edwin Hubble who established the Hubble redshift of receding galaxies. The present consensus is that the isotropic model, in general, gives an adequate description of the present state of the Universe; however, isotropy of the present Universe by itself is not a reason to expect that it is adequate for describing the early stages of Universe evolution. At the same time, it is obvious that in the real world homogeneity is, at best, only an approximation. Even if one can speak about a homogeneous distribution of matter density at distances that are large compared to the intergalactic space, this homogeneity vanishes at smaller scales. On the other hand, the homogeneity assumption goes very far in a mathematical aspect: it makes the solution highly symmetric which can impart specific properties that disappear when considering a more general case.
Another important property of the isotropic model is the inevitable existence of a time singularity: time flow is not continuous, but stops or reverses after time reaches some very large or very small value. Between singularities, time flows in one direction: away from the singularity (arrow of time). In the open model, there is one time singularity so time is limited at one end but unlimited at the other, while in the closed model there are two singularities that limit time at both ends (the Big Bang and Big Crunch).
The only physically interesting properties of spacetimes (such as singularities) are those which are stable, i.e., those properties which still occur when the initial data is perturbed slightly. It is possible for a singularity to be stable and yet be of no physical interest: stability is a necessary but not a sufficient condition for physical relevance. For example, a singularity could be stable only in a neighbourhood of initial data sets corresponding to highly anisotropic universes. Since the actual universe is now apparently almost isotropic such a singularity could not occur in our universe. A sufficient condition for a stable singularity to be of physical interest is the requirement that the singularity be generic (or general). Roughly speaking, a stable singularity is generic if it occurs near every set of initial conditions and the non-gravitational fields are restricted in some specified way to "physically realistic" fields so that the Einstein equations, various equations of state, etc., are assumed to hold on the evolved spacetimes. It might happen that a singularity is stable under small variations of the true gravitational degrees of freedom, and yet it is not generic because the singularity depends in some way on the coordinate system, or rather on the choice of the initial hypersurface from which the spacetime is evolved.
For a system of non-linear differential equations, such as the Einstein equations, a general solution is not unambiguously defined. In principle, there may be multiple general integrals, and each of those may contain only a finite subset of all possible initial conditions. Each of those integrals may contain all required independent functions which, however, may be subject to some conditions (e.g., some inequalities). Existence of a general solution with a singularity, therefore, does not preclude the existence of other additional general solutions that do not contain a singularity. For example, there is no reason to doubt the existence of a general solution without a singularity that describes an isolated body with a relatively small mass.
It is impossible to find a general integral for all space and for all time. However, this is not necessary for resolving the problem: it is sufficient to study the solution near the singularity. This would also resolve another aspect of the problem: the characteristics of spacetime metric evolution in the general solution when it reaches the physical singularity, understood as a point where matter density and invariants of the Riemann curvature tensor become infinite.
Existence of physical time singularity
[edit]One of the principal problems studied by the Landau group (to which BKL belong) was whether relativistic cosmological models necessarily contain a time singularity or whether the time singularity is an artifact of the assumptions used to simplify these models. The independence of the singularity on symmetry assumptions would mean that time singularities exist not only in the special, but also in the general solutions of the Einstein equations. It is reasonable to suggest that if a singularity is present in the general solution, there must be some indications that are based only on the most general properties of the Einstein equations, although those indications by themselves might be insufficient for characterizing the singularity.
A criterion for generality of solutions is the number of independent space coordinate functions that they contain. These include only the "physically independent" functions whose number cannot be reduced by any choice of reference frame. In the general solution, the number of such functions must be enough to fully define the initial conditions (distribution and movement of matter, distribution of gravitational field) at some moment of time chosen as initial. This number is four for an empty (vacuum) space, and eight for a matter and/or radiation-filled space.[12][13]
Previous work by the Landau group;[14][15][16] reviewed in[12]) led to the conclusion that the general solution does not contain a physical singularity. This search for a broader class of solutions with a singularity has been done, essentially, by a trial-and-error method, since a systematic approach to the study of the Einstein equations was lacking. A negative result, obtained in this way, is not convincing by itself; a solution with the necessary degree of generality would invalidate it, and at the same time would confirm any positive results related to the specific solution.
At that time, the only known indication for the existence of physical singularity in the general solution was related to the form of the Einstein equations written in a synchronous frame, that is, in a frame in which the proper time x0 = t is synchronized throughout the whole space; in this frame the space distance element dl is separate from the time interval dt.[note 2] The Einstein equation
(eq. 1) |
written in synchronous frame gives a result in which the metric determinant g inevitably becomes zero in a finite time irrespective of any assumptions about matter distribution.[12][13]
However, the efforts to find a general physical singularity were foregone after it became clear that the singularity mentioned above is linked with a specific geometric property of the synchronous frame: the crossing of time line coordinates. This crossing takes place on some encircling hypersurfaces which are four-dimensional analogs of the caustic surfaces in geometrical optics; g becomes zero exactly at this crossing.[16] Therefore, although this singularity is general, it is fictitious, and not a physical one; it disappears when the reference frame is changed. This, apparently, dissuaded the researchers for further investigations along these lines.
Several years passed before the interest in this problem waxed again when Penrose (1965) published his theorems that linked the existence of a singularity of unknown character with some very general assumptions that did not have anything in common with a choice of reference frame. Other similar theorems were found later on by Hawking[17][18] and Geroch[19] (see Penrose–Hawking singularity theorems). This revived interest in the search for singular solutions.
Generalized homogeneous solution
[edit]In a space that is both homogeneous and isotropic the metric is determined completely, leaving free only the sign of the curvature. Assuming only space homogeneity with no additional symmetry such as isotropy leaves considerably more freedom in choosing the metric. The following pertains to the space part of the metric at a given instant of time t assuming a synchronous frame so that t is the same synchronised time for the whole space.
The BKL conjecture
[edit]In their 1970 work,[2] BKL stated that as one approaches a singularity, terms containing time derivatives in Einstein's equations dominate over those containing spatial derivatives. This has since been known as the BKL conjecture and implies that Einstein's partial differential equations (PDE) are well approximated by ordinary differential equations (ODEs), whence the dynamics of general relativity effectively become local and oscillatory. The time evolution of fields at each spatial point is well approximated by the homogeneous cosmologies in the Bianchi classification.
By separating the time and space derivatives in the Einstein equations, for example, in the way used for the classification of homogeneous spaces, and then setting the terms containing space derivatives equal to zero, one can define the so-called truncated theory of the system (truncated equations).[20] Then, the BKL conjecture can be made more specific:
Weak conjecture: As the singularity is approached the terms containing space derivatives in the Einstein equations are negligible in comparison to the terms containing time derivatives. Thus, as the singularity is approached the Einstein equations approach those found by setting derivative terms to zero. Thus, the weak conjecture says that the Einstein equations can be well approximated by the truncated equations in the vicinity of the singularity. Note that this does not imply that the solutions of the full equations of motion will approach the solutions to the truncated equations as the singularity is approached. This additional condition is captured in the strong version as follows.
Strong conjecture: As the singularity is approached the Einstein equations approach those of the truncated theory and in addition the solutions to the full equations are well approximated by solutions to the truncated equations.
In the beginning, the BKL conjecture seemed to be coordinate-dependent and rather implausible. Barrow and Tipler,[21][22] for example, among the ten criticisms of BKL studies, include the inappropriate (according to them) choice of synchronous frame as a means to separate time and space derivatives. The BKL conjecture was sometimes rephrased in the literature as a statement that near the singularity only the time derivatives are important. Such a statement, taken at face value, is wrong or at best misleading since, as shown in the BKL analysis itself, space-like gradients of the metric tensor cannot be neglected for generic solutions of pure Einstein gravity in four spacetime dimensions, and in fact play a crucial role in the appearance of the oscillatory regime. However, there exist reformulations of Einstein theory in terms of new variables involving the relevant gradients, for example in Ashtekar-like variables, for which the statement about the dominant role of the time derivatives is correct.[20] It is true that one gets at each spatial point an effective description of the singularity in terms of a finite dimensional dynamical system described by ordinary differential equations with respect to time, but the spatial gradients do enter these equations non-trivially.
Subsequent analysis by a large number of authors has shown that the BKL conjecture can be made precise and by now there is an impressive body of numerical and analytical evidence in its support.[23] It is fair to say that we are still quite far from a proof of the strong conjecture. But there has been outstanding progress in simpler models. In particular, Berger, Garfinkle, Moncrief, Isenberg, Weaver, and others showed that, in a class of models, as the singularity is approached the solutions to the full Einstein field equations approach the "velocity term dominated" (truncated) ones obtained by neglecting spatial derivatives.[23][24][25][26][27] Andersson and Rendall[28] showed that for gravity coupled to a massless scalar field or a stiff fluid, for every solution to the truncated equations there exists a solution to the full field equations that converges to the truncated solution as the singularity is approached, even in the absence of symmetries. These results were generalized to also include p-form gauge fields.[29] In these truncated models the dynamics are simpler, allowing a precise statement of the conjecture that could be proven. In the general case, the strongest evidence to date comes from numerical evolutions. Berger and Moncrief[30] began a program to analyze generic cosmological singularities. While the initial work focused on symmetry reduced cases,[31] more recently Garfinkle[32] performed numerical evolution of space-times with no symmetries in which, again, the mixmaster behavior is apparent. Finally, additional support for the conjecture has come from a numerical study of the behavior of test fields near the singularity of a Schwarzschild black hole.[33]
Kasner solution
[edit]![](http://upload.wikimedia.org/wikipedia/commons/thumb/3/3a/Kasner-simple.gif/250px-Kasner-simple.gif)
The BKL approach to anisotropic (as opposed to isotropic) homogeneous spaces starts with a generalization of an exact particular solution derived by Kasner[34] for a field in vacuum, in which the space is homogeneous and has a Euclidean metric that depends on time according to the Kasner metric
(eq. 2) |
(dl is the line element; dx, dy, dz are infinitesimal displacements in the three spatial dimensions, and t is time period passed since some initial moment t0 = 0). Here, p1, p2, p3 are any three numbers that satisfy the following Kasner conditions
(eq. 3) |
Because of these relations, only one of the three numbers is independent (two equations with three unknowns). All three numbers are never the same; two numbers are the same only in the sets of values and (0, 0, 1).[note 4] In all other cases the numbers are different, one number is negative and the other two are positive. This is partially proved by squaring both sides of the first condition eq. 3 and developing the square:
The term is equal to 1 by dint of the second condition eq. 3 and therefore the term with the mixed products should be zero. This is possible if at least one of the p1, p2, p3 is negative.
If the numbers are arranged in increasing order, p1 < p2 < p3, they change in the intervals (Fig. 4)
(eq. 4) |
![](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c9/Bkl_fig1.svg/251px-Bkl_fig1.svg.png)
The Kasner metric eq. 2 corresponds to a flat homogenous but anisotropic space in which all volumes increase with time in such a way that the linear distances along two axes y and z increase while the distance along the axis x decreases. The moment t = 0 causes a singularity in the solution; the singularity in the metric at t = 0 cannot be avoided by any reference frame transformation. At the singularity, the invariants of the four-dimensional curvature tensor go to infinity. An exception is the case p1 = р2 = 0, р3 = 1; these values correspond to a flat spacetime: the transformation t sh z = ζ, t ch z = τ turns the Kasner metric (eq. 2) into Galilean.
BKL parametrize the numbers p1, p2, p3 in terms of a single independent (real) parameter u (Lifshitz-Khalatnikov parameter[35]) as follows
(eq. 5) |
The Kasner index parametrization appears mysterious until one thinks about the two constraints on the indices eq. 3. Both constraints fix the overall scale of the indices so that only their ratios can vary. It is natural to pick one of those ratios as a new parameter, which can be done in six different ways. Picking u = u32 = p3 / p2, for example, it is trivial to express all six possible ratios in terms of it. Eliminating p3 = up2 first, and then using the linear constraint to eliminate p1 = 1 − p2 − up2 = 1 − (1 + u)p2, the quadratic constraint reduces to a quadratic equation in p2
(eq. 5a) |
with roots p2 = 0 (obvious) and p2 = (1 + u) / (1 + u + u2), from which p1 and p3 are then obtained by back substitution. One can define six such parameters uab = pa / pb, for which pc ≤ pb ≤ pa when (c, b, a) is a cyclic permutation of (1, 2, 3).[36]
All different values of p1, p2, p3 ordered as above are obtained with u running in the range u ≥ 1. The values u < 1 are brought into this range according to
(eq. 6) |
In the generalized solution, the form corresponding to eq. 2 applies only to the asymptotic metric (the metric close to the singularity t = 0), respectively, to the major terms of its series expansion by powers of t. In the synchronous reference frame it is written in the form of eq. 1 with a space distance element
(eq. 7) |
where
(eq. 8) |
The three-dimensional vectors l, m, n define the directions at which space distance changes with time by the power laws eq. 8. These vectors, as well as the numbers pl, pm, pn which, as before, are related by eq. 3, are functions of the space coordinates. The powers pl, pm, pn are not arranged in increasing order, reserving the symbols p1, p2, p3 for the numbers in eq. 5 that remain arranged in increasing order. The determinant of the metric of eq. 7 is
(eq. 9) |
where v = l[mn]. It is convenient to introduce the following quantities [note 5]
(eq. 10) |
The space metric in eq. 7 is anisotropic because the powers of t in eq. 8 cannot have the same values. On approaching the singularity at t = 0, the linear distances in each space element decrease in two directions and increase in the third direction. The volume of the element decreases in proportion to t.
The Kasner metric is introduced in the Einstein equations by substituting the respective metric tensor γαβ from eq. 7 without defining a priori the dependence of a, b, c from t:[note 2]
where the dot above a symbol designates differentiation with respect to time. The Einstein equation eq. 11 takes the form
(eq. 14) |
All its terms are to a second order for the large (at t → 0) quantity 1/t. In the Einstein equations eq. 12, terms of such order appear only from terms that are time-differentiated. If the components of Pαβ do not include terms of order higher than two, then
(eq. 15) |
where indices l, m, n designate tensor components in the directions l, m, n.[12] These equations together with eq. 14 give the expressions eq. 8 with powers that satisfy eq. 3.
However, the presence of one negative power among the 3 powers pl, pm, pn results in appearance of terms from Pαβ with an order greater than t−2. If the negative power is pl (pl = p1 < 0), then Pαβ contains the coordinate function λ and eq. 12 become
(eq. 16) |
Here, the second terms are of order t−2(pm + pn − pl) whereby pm + pn − pl = 1 + 2 |pl| > 1.[note 6] To remove these terms and restore the metric eq. 7, it is necessary to impose on the coordinate functions the condition λ = 0.
The remaining three Einstein equations eq. 13 contain only first order time derivatives of the metric tensor. They give three time-independent relations that must be imposed as necessary conditions on the coordinate functions in eq. 7. This, together with the condition λ = 0, makes four conditions. These conditions bind ten different coordinate functions: three components of each of the vectors l, m, n, and one function in the powers of t (any one of the functions pl, pm, pn, which are bound by the conditions eq. 3). When calculating the number of physically arbitrary functions, it must be taken into account that the synchronous system used here allows time-independent arbitrary transformations of the three space coordinates. Therefore, the final solution contains overall 10 − 4 − 3 = 3 physically arbitrary functions which is one less than what is needed for the general solution in vacuum.
The degree of generality reached at this point is not lessened by introducing matter; matter is written into the metric eq. 7 and contributes four new coordinate functions necessary to describe the initial distribution of its density and the three components of its velocity. This makes possible to determine matter evolution merely from the laws of its movement in an a priori given gravitational field which are the hydrodynamic equations
(eq. 17) |
(eq. 18) |
where ui is the 4-dimensional velocity, ε and σ are the densities of energy and entropy of matter (cf. [37] and;[38] also;[39] for details see [40]). For the ultrarelativistic equation of state p = ε/3 the entropy σ ~ ε1/4. The major terms in eq. 17 and eq. 18 are those that contain time derivatives. From eq. 17 and the space components of eq. 18 one has
resulting in
(eq. 19) |
where 'const' are time-independent quantities. Additionally, from the identity uiui = 1 one has (because all covariant components of uα are to the same order)
where un is the velocity component along the direction of n that is connected with the highest (positive) power of t (supposing that pn = p3). From the above relations, it follows that
(eq. 20) |
or
(eq. 21) |
The above equations can be used to confirm that the components of the matter stress-energy-momentum tensor standing in the right hand side of the equations
are, indeed, to a lower order by 1/t than the major terms in their left hand sides. In the equations the presence of matter results only in the change of relations imposed on their constituent coordinate functions.[12]
The fact that ε becomes infinite by the law eq. 21 confirms that in the solution to eq. 7 one deals with a physical singularity at any values of the powers p1, p2, p3 excepting only (0, 0, 1). For these last values, the singularity is non-physical and can be removed by a change of reference frame.
The fictional singularity corresponding to the powers (0, 0, 1) arises as a result of time line coordinates crossing over some 2-dimensional "focal surface". As pointed out in,[12] a synchronous reference frame can always be chosen in such a way that this inevitable time line crossing occurs exactly on such surface (instead of a 3-dimensional caustic surface). Therefore, a solution with such simultaneous for the whole space fictional singularity must exist with a full set of arbitrary functions needed for the general solution. Close to the point t = 0 it allows a regular expansion by whole powers of t. For an analysis of this case, see.[41]
Oscillating mode towards the singularity
[edit]The general solution by definition is completely stable; otherwise the Universe would not exist. Any perturbation is equivalent to a change in the initial conditions in some moment of time; since the general solution allows arbitrary initial conditions, the perturbation is not able to change its character. Looked at such angle, the four conditions imposed on the coordinate functions in the solution eq. 7 are of different types: three conditions that arise from the equations = 0 are "natural"; they are a consequence of the structure of Einstein equations. However, the additional condition λ = 0 that causes the loss of one derivative function, is of entirely different type: instability caused by perturbations can break this condition. The action of such perturbation must bring the model to another, more general, mode. The perturbation cannot be considered as small: a transition to a new mode exceeds the range of very small perturbations.
The analysis of the behavior of the model under perturbative action, performed by BKL, delineates a complex oscillatory mode on approaching the singularity.[2][42][43][44] They could not give all details of this mode in the broad frame of the general case. However, BKL explained the most important properties and character of the solution on specific models that allow far-reaching analytical study.
These models are based on a homogeneous space metric of a particular type. Supposing a homogeneity of space without any additional symmetry leaves a great freedom in choosing the metric. All possible homogeneous (but anisotropic) spaces are classified, according to Bianchi, in several Bianchi types (Type I to IX).[45] (see also Generalized homogeneous solution) BKL investigate only spaces of Bianchi Types VIII and IX.
If the metric has the form of eq. 7, for each type of homogeneous spaces exists some functional relation between the reference vectors l, m, n and the space coordinates. The specific form of this relation is not important. The important fact is that for Type VIII and IX spaces, the quantities λ, μ, ν eq. 10 are constants while all "mixed" products l rot m, l rot n, m rot l, etc.. are zeros. For Type IX spaces, the quantities λ, μ, ν have the same sign and one can write λ = μ = ν = 1 (the simultaneous sign change of the 3 constants does not change anything). For Type VIII spaces, 2 constants have a sign that is opposite to the sign of the third constant; one can write, for example, λ = − 1, μ = ν = 1.[note 7]
The study of the effect of the perturbation on the "Kasner mode" is thus confined to a study on the effect of the λ-containing terms in the Einstein equations. Type VIII and IX spaces are the most suitable models for such a study. Since all 3 quantities λ, μ, ν in those Bianchi types differ from zero, the condition λ = 0 does not hold irrespective of which direction l, m, n has negative power law time dependence.
The Einstein equations for the Type VIII and Type IX space models are[46][note 2]
(eq. 22) |
(eq. 23) |
(the remaining components , , , , , are identically zeros). These equations contain only functions of time; this is a condition that has to be fulfilled in all homogeneous spaces. Here, the eq. 22 and eq. 23 are exact and their validity does not depend on how near one is to the singularity at t = 0.[note 8]
The time derivatives in eq. 22 and eq. 23 take a simpler form if а, b, с are substituted by their logarithms α, β, γ:
(eq. 24) |
substituting the variable t for τ according to:
(eq. 25) |
Then (subscripts denote differentiation by τ):
(eq. 26) |
(eq. 27) |
Adding together equations eq. 26 and substituting in the left hand side the sum (α + β + γ)τ τ according to eq. 27, one obtains an equation containing only first derivatives which is the first integral of the system eq. 26:
(eq. 28) |
This equation plays the role of a binding condition imposed on the initial state of eq. 26. The Kasner mode eq. 8 is a solution of eq. 26 when ignoring all terms in the right hand sides. But such situation cannot go on (at t → 0) indefinitely because among those terms there are always some that grow. Thus, if the negative power is in the function a(t) (pl = p1) then the perturbation of the Kasner mode will arise by the terms λ2a4; the rest of the terms will decrease with decreasing t. If only the growing terms are left in the right hand sides of eq. 26, one obtains the system:
(eq. 29) |
(compare eq. 16; below it is substituted λ2 = 1). The solution of these equations must describe the metric evolution from the initial state, in which it is described by eq. 8 with a given set of powers (with pl < 0); let pl = р1, pm = р2, pn = р3 so that
(eq. 30) |
Then
(eq. 31) |
where Λ is constant. Initial conditions for eq. 29 are redefined as
(eq. 32) |
Equations eq. 29 are easily integrated; the solution that satisfies the condition eq. 32 is
(eq. 33) |
where b0 and c0 are two more constants.
It can easily be seen that the asymptotic of functions eq. 33 at t → 0 is eq. 30. The asymptotic expressions of these functions and the function t(τ) at τ → −∞ is[note 9]
Expressing a, b, c as functions of t, one has
(eq. 34) |
where
(eq. 35) |
Then
(eq. 36) |
The above shows that perturbation acts in such a way that it changes one Kasner mode with another Kasner mode, and in this process the negative power of t flips from direction l to direction m: if before it was pl < 0, now it is p'm < 0. During this change the function a(t) passes through a maximum and b(t) passes through a minimum; b, which before was decreasing, now increases: a from increasing becomes decreasing; and the decreasing c(t) decreases further. The perturbation itself (λ2a4α in eq. 29), which before was increasing, now begins to decrease and die away. Further evolution similarly causes an increase in the perturbation from the terms with μ2 (instead of λ2) in eq. 26, next change of the Kasner mode, and so on.
It is convenient to write the power substitution rule eq. 35 with the help of the parametrization eq. 5:
(eq. 37) |
The greater of the two positive powers remains positive.
BKL call this flip of negative power between directions a Kasner epoch. The key to understanding the character of metric evolution on approaching singularity is exactly this process of Kasner epoch alternation with flipping of powers pl, pm, pn by the rule eq. 37.
The successive alternations eq. 37 with flipping of the negative power p1 between directions l and m (Kasner epochs) continues by depletion of the whole part of the initial u until the moment at which u < 1. The value u < 1 transforms into u > 1 according to eq. 6; in this moment the negative power is pl or pm while pn becomes the lesser of two positive numbers (pn = p2). The next series of Kasner epochs then flips the negative power between directions n and l or between n and m. At an arbitrary (irrational) initial value of u this process of alternation continues unlimited.[note 10]
In the exact solution of the Einstein equations, the powers pl, pm, pn lose their original precise sense. This circumstance introduces some "fuzziness" in the determination of these numbers (and together with them, to the parameter u) which, although small, makes meaningless the analysis of any definite (for example, rational) values of u. Therefore, only these laws that concern arbitrary irrational values of u have any particular meaning.
The larger periods in which the scales of space distances along two axes oscillate while distances along the third axis decrease monotonously, are called eras; volumes decrease by a law close to ~ t. On transition from one era to the next, the direction in which distances decrease monotonously, flips from one axis to another. The order of these transitions acquires the asymptotic character of a random process. The same random order is also characteristic for the alternation of the lengths of successive eras (by era length, BKL understand the number of Kasner epoch that an era contains, and not a time interval).
To each era (s-th era) correspond a series of values of the parameter u starting from the greatest, , and through the values − 1, − 2, ..., reaching to the smallest, < 1. Then
(eq. 41) |
that is, k(s) = [] where the brackets mean the whole part of the value. The number k(s) is the era length, measured by the number of Kasner epochs that the era contains. For the next era
(eq. 42) |
In the limitless series of numbers u, composed by these rules, there are infinitesimally small (but never zero) values x(s) and correspondingly infinitely large lengths k(s).
The era series become denser on approaching t = 0. However, the natural variable for describing the time course of this evolution is not the world time t, but its logarithm, ln t, by which the whole process of reaching the singularity is extended to −∞.
According to eq. 33, one of the functions a, b, c, that passes through a maximum during a transition between Kasner epochs, at the peak of its maximum is
(eq. 38) |
where it is supposed that amax is large compared to b0 and c0; in eq. 38 u is the value of the parameter in the Kasner epoch before transition. It can be seen from here that the peaks of consecutive maxima during each era are gradually lowered. Indeed, in the next Kasner epoch this parameter has the value u' = u − 1, and Λ is substituted according to eq. 36 with Λ' = Λ(1 − 2|p1(u)|). Therefore, the ratio of 2 consecutive maxima is
and finally
(eq. 39) |
The above are solutions to Einstein equations in vacuum. As for the pure Kasner mode, matter does not change the qualitative properties of this solution and can be written into it disregarding its reaction on the field. However, if one does this for the model under discussion, understood as an exact solution of the Einstein equations, the resulting picture of matter evolution would not have a general character and would be specific for the high symmetry imminent to the present model. Mathematically, this specificity is related to the fact that for the homogeneous space geometry discussed here, the Ricci tensor components are identically zeros and therefore the Einstein equations would not allow movement of matter (which gives non-zero stress energy-momentum tensor components ). In other words, the synchronous frame must also be co-moving with respect to matter. If one substitutes in eq. 19 uα = 0, u0 = 1, it becomes ε ~ (abc)−4/3 ~ t−4/3.
This difficulty is avoided if one includes in the model only the major terms of the limiting (at t → 0) metric and writes into it a matter with arbitrary initial distribution of densities and velocities. Then the course of evolution of matter is determined by its general laws of movement eq. 17 and eq. 18 that result in eq. 21. During each Kasner epoch, density increases by the law
(eq. 40) |
where p3 is, as above, the greatest of the numbers p1, p2, p3. Matter density increases monotonously during all evolution towards the singularity.
Metric evolution
[edit]Very large u values correspond to Kasner powers
(eq. 43) |
which are close to the values (0, 0, 1). Two values that are close to zero, are also close to each other, and therefore the changes in two out of the three types of "perturbations" (the terms with λ, μ and ν in the right hand sides of eq. 26) are also very similar. If in the beginning of such long era these terms are very close in absolute values in the moment of transition between two Kasner epochs (or made artificially such by assigning initial conditions) then they will remain close during the greatest part of the length of the whole era. In this case (BKL call this the case of small oscillations), analysis based on the action of one type of perturbations becomes incorrect; one must take into account the simultaneous effect of two perturbation types.
Two perturbations
[edit]Consider a long era, during which two of the functions a, b, c (let them be a and b) undergo small oscillations while the third function (c) decreases monotonously. The latter function quickly becomes small; consider the solution just in the region where one can ignore c in comparison to a and b. The calculations are first done for the Type IX space model by substituting accordingly λ = μ = ν = 1.[43]
After ignoring function c, the first 2 equations eq. 26 give
(eq. 44) |
(eq. 45) |
and eq. 28 can be used as a third equation, which takes the form
(eq. 46) |
The solution of eq. 44 is written in the form
where α0, ξ0 are positive constants, and τ0 is the upper limit of the era for the variable τ. It is convenient to introduce further a new variable (instead of τ)
(eq. 47) |
Then
(eq. 48) |
Equations eq. 45 and eq. 46 are transformed by introducing the variable χ = α − β:
(eq. 49) |
(eq. 50) |
Decrease of τ from τ0 to −∞ corresponds to a decrease of ξ from ξ0 to 0. The long era with close a and b (that is, with small χ), considered here, is obtained if ξ0 is a very large quantity. Indeed, at large ξ the solution of eq. 49 in the first approximation by 1/ξ is
(eq. 51) |
where A is constant; the multiplier makes χ a small quantity so it can be substituted in eq. 49 by sh 2χ ≈ 2χ.[note 11]
From eq. 50 one obtains
After determining α and β from eq. 48 and eq. 51 and expanding eα and eβ in series according to the above approximation, one obtains finally:[note 12]
(eq. 52) |
(eq. 53) |
The relation between the variable ξ and time t is obtained by integration of the definition dt = abc dτ which gives
(eq. 54) |
The constant c0 (the value of с at ξ = ξ0) should be now c0 α0·
![](http://upload.wikimedia.org/wikipedia/commons/thumb/d/dd/BKLChaoticVIII.gif/250px-BKLChaoticVIII.gif)
Let us now consider the domain ξ 1. Here the major terms in the solution of eq. 49 are:
where k is a constant in the range − 1 < k < 1; this condition ensures that the last term in eq. 49 is small (sh 2χ contains ξ2k and ξ−2k). Then, after determining α, β, and t, one obtains
(eq. 55) |
This is again a Kasner mode with the negative t power present in the function c(t).[note 13]
These results picture an evolution that is qualitatively similar to that, described above. During a long period of time that corresponds to a large decreasing ξ value, the two functions a and b oscillate, remaining close in magnitude ; in the same time, both functions a and b slowly () decrease. The period of oscillations is constant by the variable ξ : Δξ = 2π (or, which is the same, with a constant period by logarithmic time: Δ ln t = 2πΑ2). The third function, c, decreases monotonously by a law close to c = c0t/t0.
This evolution continues until ξ ≈1 and formulas eq. 52 and eq. 53 are no longer applicable. Its time duration corresponds to change of t from t0 to the value t1, related to ξ0 according to
(eq. 56) |
The relationship between ξ and t during this time can be presented in the form
(eq. 57) |
After that, as seen from eq. 55, the decreasing function c starts to increase while functions a and b start to decrease. This Kasner epoch continues until terms c2/a2b2 in eq. 22 become ~ t2 and a next series of oscillations begins.
The law for density change during the long era under discussion is obtained by substitution of eq. 52 in eq. 20:
(eq. 58) |
When ξ changes from ξ0 to ξ ≈1, the density increases times.
It must be stressed that although the function c(t) changes by a law, close to c ~ t, the metric eq. 52 does not correspond to a Kasner metric with powers (0, 0, 1). The latter corresponds to an exact solution found by Taub[47] which is allowed by eqs. 26–27 and in which
(eq. 59) |
where p, δ1, δ2 are constant. In the asymptotic region τ → −∞, one can obtain from here a = b = const, c = const.t after the substitution ерτ = t. In this metric, the singularity at t = 0 is non-physical.
Let us now describe the analogous study of the Type VIII model, substituting in eqs. eqs. 26'–'28 λ = −1, μ = ν = 1.[44]
If during the long era, the monotonically decreasing function is a, nothing changes in the foregoing analysis: ignoring a2 on the right side of equations 26 and 28, goes back to the same equations 49 and 50 (with altered notation). Some changes occur, however, if the monotonically decreasing function is b or c; let it be c.
As before, one has equation 49 with the same symbols, and, therefore, the former expressions eq. 52 for the functions a(ξ) and b(ξ), but equation 50 is replaced by
(eq. 60) |
The major term at large ξ now becomes
so that
(eq. 61) |
The value of c as a function of time t is again c = c0t/t0 but the time dependence of ξ changes. The length of a long era depends on ξ0 according to
(eq. 62) |
On the other hand, the value ξ0 determines the number of oscillations of the functions a and b during an era (equal to ξ0/2π). Given the length of an era in logarithmic time (i.e., with given ratio t0/t1) the number of oscillations for Type VIII will be, generally speaking, less than for Type IX. For the period of oscillations one gets now Δ ln t = πξ/2; contrary to Type IX, the period is not constant throughout the long era, and slowly decreases along with ξ.
The small-time domain
[edit]Long eras violate the "regular" course of evolution which makes it difficult to study the evolution of time intervals spanning several eras. It can be shown, however, that such "abnormal" cases appear in the spontaneous evolution of the model to a singular point in the asymptotically small times t at sufficiently large distances from a start point with arbitrary initial conditions. Even in long eras both oscillatory functions during transitions between Kasner epochs remain so different that the transition occurs under the influence of only one perturbation. All results in this section relate equally to models of the types VIII and IX.[48]
During each Kasner epoch abc = Λt, i. e. α + β + γ = ln Λ + ln t. On changing over from one epoch (with a given value of the parameter u) to the next epoch the constant Λ is multiplied by 1 + 2p1 = (1 – u + u2)/(1 + u + u2) < 1. Thus a systematic decrease in Λ takes place. But it is essential that the mean (with respect to the lengths k of eras) value of the entire variation of ln Λ during an era is finite. Actually the divergence of the mean value could be due only to a too rapid increase of this variation with increasing k. For large value of the parameter u, ln(1 + 2p1) ≈ −2/u. For a large k the maximal value u(max) = k + x ≈ k. Hence the entire variation of ln Λ during an era is given by a sum of the form
with only the terms that correspond to large values of u written down. When k increases this sum increases as ln k. But the probability for an appearance of an era of a large length k decreases as 1/k2 according to eq. 76; hence the mean value of the sum above is finite. Consequently, the systematic variation of the quantity ln Λ over a large number of eras will be proportional to this number. But it is seen in eq. 85 that with t → 0 the number s increases merely as ln |ln t|. Thus in the asymptotic limit of arbitrarily small t the term ln Λ can indeed be neglected as compared to ln t. In this approximation [note 14]
(eq. 63) |
where Ω denotes the "logarithmic time"
(eq. 64) |
and the process of epoch transitions can be regarded as a series of brief time flashes. The magnitudes of maxima of the oscillating scale functions are also subject to a systematic variation. From eq. 39 for u ≫ 1 it follows that . In the same way as it was done above for the quantity ln Λ, one can hence deduce that the mean decrease in the height of the maxima during an era is finite and the total decrease over a large number of eras increases with t → 0 merely as ln Ω. At the same time the lowering of the minima, and by the same token the increase of the amplitude of the oscillations, proceed (eq. 77) proportional to Ω. In correspondence with the adopted approximation the lowering of the maxima is neglected in comparison with the increase of the amplitudes so αmax = 0, βmax = 0, γmax = 0 for the maximal values of all oscillating functions and the quantities α, β, γ run only through negative values that are connected with one another at each instant of time by the relation eq. 63.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/9/98/Kasner_epochs.svg/300px-Kasner_epochs.svg.png)
Considering such instant change of epochs, the transition periods are ignored as small in comparison to the epoch length; this condition is actually fulfilled.[note 15] Replacement of α, β, and γ maxima with zeros requires that quantities ln (|p1|Λ) be small in comparison with the amplitudes of oscillations of the respective functions. As mentioned above, during transitions between eras |p1| values can become very small while their magnitude and probability for occurrence are not related to the oscillation amplitudes in the respective moment. Therefore, in principle, it is possible to reach so small |p1| values that the above condition (zero maxima) is violated. Such drastic drop of αmax can lead to various special situations in which the transition between Kasner epochs by the rule eq. 37 becomes incorrect (including the situations described above). These "dangerous" situations could break the laws used for the statistical analysis below. As mentioned, however, the probability for such deviations converges asymptotically to zero; this issue will be discussed below.
Consider an era that contains k Kasner epochs with a parameter u running through the values
(eq. 65) |
and let α and β are the oscillating functions during this era (Fig. 4).[note 16]
Initial moments of Kasner epochs with parameters un are Ωn. In each initial moment, one of the values α or β is zero, while the other has a minimum. Values α or β in consecutive minima, that is, in moments Ωn are
(eq. 66) |
(not distinguishing minima α and β). Values δn that measure those minima in respective Ωn units can run between 0 and 1. Function γ monotonously decreases during this era; according to eq. 63 its value in moment Ωn is
(eq. 67) |
During the epoch starting at moment Ωn and ending at moment Ωn+1 one of the functions α or β increases from −δnΩn to zero while the other decreases from 0 to −δn+1Ωn+1 by linear laws, respectively:
- and
resulting in the recurrence relation
(eq. 68) |
and for the logarithmic epoch length
(eq. 69) |
where, for short, f(u) = 1 + u + u2. The sum of n epoch lengths is obtained by the formula
(eq. 70) |
It can be seen from eq. 68 that |αn+1| > |αn|, i.e., the oscillation amplitudes of functions α and β increase during the whole era although the factors δn may be small. If the minimum at the beginning of an era is deep, the next minima will not become shallower; in other words, the residue |α — β| at the moment of transition between Kasner epochs remains large. This assertion does not depend upon era length k because transitions between epochs are determined by the common rule eq. 37 also for long eras.
The last oscillation amplitude of functions α or β in a given era is related to the amplitude of the first oscillation by the relationship |αk−1| = |α0| (k + x) / (1 + x). Even at k's as small as several units x can be ignored in comparison to k so that the increase of α and β oscillation amplitudes becomes proportional to the era length. For functions a = eα and b = eβ this means that if the amplitude of their oscillations in the beginning of an era was A0, at the end of this era the amplitude will become .
The length of Kasner epochs (in logarithmic time) also increases inside a given era; it is easy to calculate from eq. 69 that Δn+1 > Δn.[note 17] The total era length is
(eq. 71) |
(the term with 1/x arises from the last, k-th, epoch whose length is great at small x; cf. Fig. 2). Moment Ωn when the k-th epoch of a given era ends is at the same time moment Ω'0 of the beginning of the next era.
In the first Kasner epoch of the new era function γ is the first to rise from the minimal value γk = − Ωk (1 − δk) that it reached in the previous era; this value plays the role of a starting amplitude δ'0Ω'0 for the new series of oscillations. It is easily obtained that:
(eq. 72) |
It is obvious that δ'0Ω'0 > δ0Ω0. Even at not very great k the amplitude increase is very significant: function c = eγ begins to oscillate from amplitude . The issue about the above-mentioned "dangerous" cases of drastic lowering of the upper oscillation limit is left aside for now.
According to eq. 40 the increase in matter density during the first (k − 1) epochs is given by the formula
For the last k epoch of a given era, at u = x < 1 the greatest power is p2(x) (not p3(x) ). Therefore, for the density increase over the whole era one obtains
(eq. 73) |
Therefore, even at not very great k values, . During the next era (with a length k ' ) density will increase faster because of the increased starting amplitude A0': , etc. These formulae illustrate the steep increase in matter density.
Statistical analysis near the singularity
[edit]The sequence of era lengths k(s), measured by the number of Kasner epochs contained in them, acquires asymptotically the character of a random process. The same pertains also to the sequence of the interchanges of the pairs of oscillating functions on going over from one era to the next (it depends on whether the numbers k(s) are even or odd). A source of this stochasticity is the rule eqs. 41–42 according to which the transition from one era to the next is determined in an infinite numerical sequence of u values. This rule states, in other words, that if the entire infinite sequence begins with a certain initial value , then the lengths of the eras k(0), k(1), ..., are the numbers in the continued fraction expansion
(eq. 73a) |
This expansion corresponds to the mapping transformation of the interval [0, 1] onto itself by the formula Tx = {1/x}, i.e., xs+1 = {1/xs}. This transformation belongs to the so-called expanding transformations of the interval [0, 1], i.e., transformations x → f(x) with |f′(x)| > 1. Such transformations possess the property of exponential instability: if we take initially two close points their mutual distance increases exponentially under the iterations of the transformations. It is well known that the exponential instability leads to the appearance of strong stochastic properties.
It is possible to change over to a probabilistic description of such a sequence by considering not a definite initial value x(0) but the values x(0) = x distributed in the interval from 0 to 1 in accordance with a certain probabilistic distributional law w0(x). Then the values of x(s) terminating each era will also have distributions that follow certain laws ws(x). Let ws(x)dx be the probability that the s-th era terminates with the value lying in a specified interval dx.
The value x(s) = x, which terminates the s-th era, can result from initial (for this era) values , where k = 1, 2, ...; these values of correspond to the values x(s–1) = 1/(k + x) for the preceding era. Noting this, one can write the following recurrence relation, which expresses the distribution of the probabilities ws(x) in terms of the distribution ws–1(x):
or
(eq. 73c) |
If the distribution ws(x) tends with increasing s to a stationary (independent of s) limiting distribution w(x), then the latter should satisfy an equation obtained from eq. 73c by dropping the indices of the functions ws−1(x) and ws(x). This equation has a solution
(eq. 74) |
(normalized to unity and taken to the first order of x).[note 18]
In order for the s-th era to have a length k, the preceding era must terminate with a number x in the interval between 1/(k + 1) and 1/k. Therefore, the probability that the era will have a length k is equal to (in the stationary limit)
(eq. 75) |
At large values of k
(eq. 76) |
In relating the statistical properties of the cosmological model with the ergodic properties of the transformation xs+1 = {1/xs} an important point must be mentioned. In an infinite sequence of numbers x constructed in accordance with this rule, arbitrarily small (but never vanishing) values of x will be observed corresponding to arbitrarily large lengths k. Such cases can (by no means necessarily!) give rise to certain specific situations when the notion of eras, as of sequences of Kasner epochs interchanging each other according to the rule eq. 37, loses its meaning (although the oscillatory mode of evolution of the model still persists). Such an "anomalous" situation can be manifested, for instance, in the necessity to retain in the right-hand side of eq. 26 terms not only with one of the functions a, b, c (say, a4), as is the case in the "regular" interchange of the Kasner epochs, but simultaneously with two of them (say, a4, b4, a2b2).
On emerging from an "anomalous" series of oscillations a succession of regular eras is restored. Statistical analysis of the behavior of the model which is entirely based on regular iterations of the transformations eq. 42 is corroborated by an important theorem: the probability of the appearance of anomalous cases tends asymptotically to zero as the number of iterations s → ∞ (i.e., the time t → 0) which is proved at the end of this section. The validity of this assertion is largely due to a very rapid rate of increase of the oscillation amplitudes during every era and especially in transition from one era to the next one.
The process of the relaxation of the cosmological model to the "stationary" statistical regime (with t → 0 starting from a given "initial instant") is less interesting, however, than the properties of this regime itself with due account taken for the concrete laws of the variation of the physical characteristics of the model during the successive eras.
An idea of the rate at which the stationary distribution sets in is obtained from the following example. Let the initial values x(0) be distributed in a narrow interval of width δx(0) about some definite number. From the recurrence relation eq. 73c (or directly from the expansion eq. 73a) it is easy to conclude that the widths of the distributions ws(x) (about other definite numbers) will then be equal to
(eq. 76a) |
(this expression is valid only so long as it defines quantities δx(s) ≪ 1).
The mean value , calculated from this distribution, diverges logarithmically. For a sequence, cut off at a very large, but still finite number N, one has . The usefulness of the mean in this case is very limited because of its instability: because of the slow decrease of W(k), fluctuations in k diverge faster than its mean. A more adequate characteristic of this sequence is the probability that a randomly chosen number from it belongs to an era of length K where K is large. This probability is lnK / lnN. It is small if . In this respect one can say that a randomly chosen number from the given sequence belongs to the long era with a high probability.
It convenient to average expressions that depend simultaneously on k(s) and x(s). Since both these quantities are derived from the same quantity x(s–1) (which terminates the preceding era), in accordance with the formula k(s) + x(s) = 1/x(s–1), their statistical distributions cannot be regarded as independent. The joint distribution Ws(k,x)dx of both quantities can be obtained from the distribution ws–1(x)dx by making in the latter the substitution x → 1/(x + k). In other words, the function Ws(k,x) is given by the very expression under the summation sign in the right side of eq. 73c. In the stationary limit, taking w from eq. 74, one obtains
(eq. 76b) |
Summation of this distribution over k brings us back to eq. 74, and integration with respect to dx to eq. 75.
The recurrent formulas defining transitions between eras are re-written with index s numbering the successive eras (not the Kasner epochs in a given era!), beginning from some era (s = 0) defined as initial. Ω(s) and ε(s) are, respectively, the initial moment and initial matter density in the s-th era; δ(s)Ω(s) is the initial oscillation amplitude of that pair of functions α, β, γ, which oscillates in the given era: k(s) is the length of s-th era, and x(s) determines the length (number of Kasner epochs) of the next era according to k(s+1) = [1/x(s)]. According to eqs. 71–73
(eq. 77) |
(eq. 78) |
(eq. 79) |
(ξ(s) is introduced in eq. 77 to be used further on).
The quantities δ(s) have a stable stationary statistical distribution P(δ) and a stable (small relative fluctuations) mean value. For their determination KL[48] in coauthorship with Ilya Lifshitz, the brother of Evgeny Lifshitz, used (with due reservations) an approximate method based on the assumption of statistical independence of the random quantity δ(s) and of the random quantities k(s), x(s). For the function P(δ) an integral equation was set up which expressed the fact that the quantities δ(s+1) and δ(s) interconnected by the relation eq. 78 have the same distribution; this equation was solved numerically. In a later work, Khalatnikov et al.[49] showed that the distribution P(δ) can actually be found exactly by an analytical method (see Fig. 5).
For the statistical properties in the stationary limit, it is reasonable to introduce the so-called natural extension of the transformation Tx = {1/x} by continuing it without limit to negative indices. Otherwise stated, this is a transition from a one-sided infinite sequence of the numbers (x0, x1, x2, ...), connected by the equalities Tx = {1/x}, to a "doubly infinite" sequence X = (..., x−1, x0, x1, x2, ...) of the numbers which are connected by the same equalities for all –∞ < s < ∞. Of course, such expansion is not unique in the literal meaning of the word (since xs–1 is not determined uniquely by xs), but all statistical properties of the extended sequence are uniform over its entire length, i.e., are invariant with respect to arbitrary shift (and x0 loses its meaning of an "initial" condition). The sequence X is equivalent to a sequence of integers K = (..., k−1, k0, k1, k2, ...), constructed by the rule ks = [1/xs–1]. Inversely, every number of X is determined by the integers of K as an infinite continued fraction
(eq. 79a) |
(the convenience of introducing the notation with an index shifted by 1 will become clear in the following). For concise notation the continuous fraction is denoted simply by enumeration (in square brackets) of its denominators; then the definition of can be written as
(eq. 79b) |
Reverse quantities are defined by a continued fraction with a retrograde (in the direction of diminishing indices) sequence of denominators
(eq. 79c) |
The recurrence relation eq. 78 is transformed by introducing temporarily the notation ηs = (1 − δs)/δs. Then eq. 78 can be rewritten as
By iteration an infinite continuous fraction is obtained
Hence and finally
(eq. 79d) |
This expression for δs contains only two (instead of the three in [48]) random quantities and , each of which assumes values in the interval [0, 1].
It follows from the definition eq. 79c that . Hence the shift of the entire sequence X by one step to the right means a joint transformation of the quantities and according to
(eq. 79e) |
This is a one-to-one mapping in the unit square. Thus we have now a one-to-one transformation of two quantities instead of a not one-to-one transformation Tx = {1/x} of one quantity.
The quantities and have a joint stationary distribution P(x+, x−). Since eq. 79e is a one-to-one transformation, the condition for the distribution to be stationary is expressed simply by a function equation
(eq. 79f) |
where J is the Jacobian of the transformation.
A shift of the sequence X by one step gives rise to the following transformation T of the unit square:
(with , , cf. eq. 79e). The density P(x, y) defines the invariant measure for this transformation. It is natural to suppose that P(x, y) is a symmetric function of x and y. This means that the measure is invariant with respect to the transformation S(x, y) = (y, x) and hence with respect to the product ST with ST(x, y) = (x″, y″) and
Evidently ST has a first integral H = 1/x + y. On the line H = const ≡ c the transformation has the form
Hence the invariant measure density of ST must be of the form
Accounting for the symmetry P(x, y)= P(y, x), this becomes f(c)= c−2 and hence (after normalization)
(eq. 79g) |
(its integration over x+ or x– yields the function w(x) eq. 74). The reduction of the transformation to one-to-one mapping was used already by Chernoff and Barrow[50] and they obtained a formula of the form of eq. 79g but for other variables; their paper does not contain applications to the problems which are considered in Khalatnikov et al.[49]
The correctness of eq. 79g be verified also by a direct calculation; the Jacobian of the transformation eq. 79e is
(in its calculation one must note that ).
![](http://upload.wikimedia.org/wikipedia/commons/thumb/4/4e/Bkl_fig3a.svg/250px-Bkl_fig3a.svg.png)
Since by eq. 79d δs is expressed in terms of the random quantities x+ and x−, the knowledge of their joint distribution makes it possible to calculate the statistical distribution P(δ) by integrating P(x+, x−) over one of the variables at a constant value of δ. Due to symmetry of the function eq. 79g with respect to the variables x+ and x−, P(δ) = P(1 − δ), i.e., the function P(δ) is symmetrical with respect to the point δ = 1/2. Then
On evaluating this integral (for 0 ≤ δ ≤ 1/2 and then making use of the aforementioned symmetry), finally
(eq. 79h) |
The mean value