1. Introduction

2. Existence of physical time singularity

3. Generalized homogeneous solution
    The BKL conjecture  Kasner solution 

4. Oscillating mode towards the singularity

5. Metric evolution
    Two perturbations  The small-time domain  Statistical analysis near the singularity 

6. General solution with small oscillations

7. Conclusions

8. Notes

9. References

A Belinskii-Khalatnikov-Lifshitz (BKL) singularity is a model of the dynamic evolution of the Universe near the initial singularity, described by an anisotropic, chaotic solutions of the Einstein field equations of gravitation.^[1] According to this model, the Universe is chaotically oscillating around a gravitational singularity in which time and space become equal to zero. 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 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 which describe the asymptotics are those which 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.^[2][3][4]

The development of cosmological studies based on superstring models has revealed some new aspects of the dynamics in the vicinity of the singularity.^[5][6][7] 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 D = 11 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.^[8]

Introduction

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

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.^[9][10]

Previous work by the Landau group^[11][12][13] (reviewed in^[9] ) 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 was related to the form of the Einstein equations written in a synchronous frame, that is, in a frame in which the proper time x⁰ = t is synchronized throughout the whole space; in this frame the space distance element dl is separate from the time interval dt.^[14] The Einstein equation {{NumBlk|:||{{EquationRef|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.^[9][10]

This indication, however, was dropped after it became clear that it 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.^[13] Therefore, although this singularity is general, it is fictitious, and not a physical one; it disappears when the reference frame is changed. This, apparently, removed the incentive among the researchers for further investigations along these lines.

However, the interest in this problem waxed again in the 1960s after Penrose published his theorems^[15] 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^[16][17] and Geroch^[18] (see Penrose–Hawking singularity theorems). This revived interest in the search for singular solutions.

Generalized homogeneous solution

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 spacetime reference system so that t is the same synchronized time for the whole space.

Homogeneity implies identical metric properties at all points of the space. An exact definition of this concept involves considering sets of coordinate transformations that transform the space into itself, i.e. leave its metric unchanged: if the line element before transformation is

then after transformation the same line element is

with the same functional dependence of γ_αβ on the new coordinates. (For a more theoretical and coordinate-independent definition of homogeneous space see homogeneous space). A space is homogeneous if it admits a set of transformations (a group of motions) that brings any given point to the position of any other point. Since space is three-dimensional the different transformations of the group are labelled by three independent parameters.

In Euclidean space the homogeneity of space is expressed by the invariance of the metric under parallel displacements (translations) of the Cartesian coordinate system. Each translation is determined by three parameters — the components of the displacement vector of the coordinate origin. All these transformations leave invariant the three independent differentials (dx, dy, dz) from which the line element is constructed. In the general case of a non-Euclidean homogeneous space, the transformations of its group of motions again leave invariant three independent linear differential forms, which do not, however, reduce to total differentials of any coordinate functions. These forms are written as where the Latin index (a) labels three independent vectors (coordinate functions); these vectors are called a frame field or triad. The Greek letters label the three space-like curvilinear coordinates. A spatial metric invariant is constructed under the given group of motions with the use of the above forms:

i.e. the metric tensor is

where the coefficients η_ab, which are symmetric in the indices a and b, are functions of time. The choice of basis vectors is dictated by the symmetry properties of the space and, in general, these basis vectors are not orthogonal (so that the matrix η_ab is not diagonal).

The reciprocal triple of vectors is introduced with the help of Kronecker delta

In the three-dimensional case, the relation between the two vector triples can be written explicitly

where the volume v is

with e_(a) and e^(a) regarded as Cartesian vectors with components and , respectively. The determinant of the metric tensor {{EquationNote|eq. 6b}} is γ = ηv² where η is the determinant of the matrix η_ab.

The required conditions for the homogeneity of the space are

The constants are called the structure constants of the group.

The invariance of the differential forms means that

where the on the two sides of the equation are the same functions of the old and new coordinates, respectively. Multiplying this equation by , setting and comparing coefficients of the same differentials dx^α, one finds

These equations are a system of differential equations that determine the functions for a given frame. In order to be integrable, these equations must satisfy identically the conditions

Calculating the derivatives, one finds

Multiplying both sides of the equations by and shifting the differentiation from one factor to the other by using {{EquationNote|eq. 6c}}, one gets for the left side:

and for the right, the same expression in the variable x. Since x and x are arbitrary, these expression must reduce to constants to obtain {{EquationNote|eq. 6e}}.

Multiplying by , {{EquationNote|eq. 6e}} can be rewritten in the form

where again the vector operations are done as if the coordinates x^α were Cartesian. Using {{EquationNote|eq. 6d}}, one obtains

and six more equations obtained by a cyclic permutation of indices 1, 2, 3.

The structure constants are antisymmetric in their lower indices as seen from their definition {{EquationNote|eq. 6e}}: . Another condition on the structure constants can be obtained by noting that {{EquationNote|eq. 6f}} can be written in the form of commutation relations

for the linear differential operators

In the mathematical theory of continuous groups (Lie groups) the operators X_a satisfying conditions of the form {{EquationNote|eq. 6h}} are called the generators of the group. However, to avoid confusion when comparing with other presentations, it should be mentioned that the systematic theory usually starts from operators defined using the Killing vectors (since in the synchronous metric none of the γ_αβ components depends on time, the Killing vectors are time-like):

The condition mentioned above follows from the Jacobi identity

and has the form

It is a definite advantage to use, in place of the three-index constants , a set of two-index quantities, obtained by the dual transformation

where e_abc = e^abc is the unit antisymmetric symbol (with e₁₂₃ = +1). With these constants the commutation relations {{EquationNote|eq. 6h}} are written as

The antisymmetry property is already taken into account in the definition

The choice of the three frame vectors in the differential forms (and with them the operators X_a) is not unique. They can be subjected to any linear transformation with constant coefficients:

The quantities η_ab and C^ab behave like tensors (are invariant) with respect to such transformations.

The conditions {{EquationNote|eq. 6m}} are the only ones that the structure constants must satisfy. But among the constants admissible by these conditions, there are equivalent sets, in the sense that their difference is related to a transformation of the type {{EquationNote|eq. 6n}}. The question of the classification of homogeneous spaces reduces to determining all nonequivalent sets of structure constants. This can be done, using the "tensor" properties of the quantities C^ab, by the following simple method (C. G. Behr, 1962).

The unsymmetric "tensor" C^ab can be resolved into a symmetric and an antisymmetric part. The first is denoted by n^ab, and the second is expressed in terms of its "dual vector" a_c:

Substitution of this expression in {{EquationNote|eq. 6m}} leads to the condition

By means of the transformations {{EquationNote|eq. 6m}} the symmetric "tensor" n^ab can be brought to diagonal form with eigenvalues n₁, n₂, n₃. Equation {{EquationNote|6p}} shows that the "vector" a_b (if it exists) lies along one of the principal directions of the "tensor" n^ab, the one corresponding to the eigenvalue zero. Without loss of generality one can therefore set a_b = (a, 0, 0). Then {{EquationNote|eq. 6p}} reduces to an₁ = 0, i.e. one of the quantities a or n₁ must be zero. The Jacobi identities take the form:

The only remaining freedom is a change of sign of the operators X_a and arbitrary scale transformations of them (multiplication by constants). This permits us simultaneously to change the sign of all the n_a and also to make the quantity a positive (if it is different from zero). Also all structure constants can be made equal to ±1, if at least one of the quantities a, n₂, n₃ vanishes. But if all three of these quantities differ from zero, the scale transformations leave invariant the ratio h = a²(n₂n₃)⁻¹.

Thus one arrives at the Bianchi classification listing the possible types of homogeneous spaces classified by the values of a, n₁, n₂, n₃ which is graphically presented in Fig. 3. In the class A case (a = 0), type IX (n⁽¹⁾=1, n⁽²⁾=1, n⁽³⁾=1) is represented by octant 2, type VIII (n⁽¹⁾=1, n⁽²⁾=1, n⁽³⁾=–1) is represented by octant 6, while type VII₀ (n⁽¹⁾=1, n⁽²⁾=1, n⁽³⁾=0) is represented by the first quadrant of the horizontal plane and type VI₀ (n⁽¹⁾=1, n⁽²⁾=–1, n⁽³⁾=0) is represented by the fourth quadrant of this plane; type II ((n⁽¹⁾=1, n⁽²⁾=0, n⁽³⁾=0) is represented by the interval [0,1] along n⁽¹⁾ and type I (n⁽¹⁾=0, n⁽²⁾=0, n⁽³⁾=0) is at the origin. Similarly in the class B case (with n⁽³⁾ = 0), Bianchi type VI_h (a=h, n⁽¹⁾=1, n⁽²⁾=–1) projects to the fourth quadrant of the horizontal plane and type VII_h (a=h, n⁽¹⁾=1, n⁽²⁾=1) projects to the first quadrant of the horizontal plane; these last two types are a single isomorphism class corresponding to a constant value surface of the function h = a²(n⁽¹⁾n⁽²⁾)⁻¹. A typical such surface is illustrated in one octant, the angle θ given by tanθ = |h/2|^1/2; those in the remaining octants are obtained by rotation through multiples of π/2, h alternating in sign for a given magnitude |h|. Type III is a subtype of VI_h with a=1. Type V (a=1, n⁽¹⁾=0, n⁽²⁾=0) is the interval (0,1] along the axis a and type IV (a=1, n⁽¹⁾=1, n⁽²⁾=0) is the vertical open face between the first and fourth quadrants of the a = 0 plane with the latter giving the class A limit of each type.

The BKL conjecture

In their 1970 work,^[1] 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 above 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).^[19] 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,^[20][21] 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, spacelike 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.^[19] 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.^[22] 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.^{[22][23][24][25][26]} Andersson and Rendall ^[27] 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 in.^[28] 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 began a program to analyze generic cosmological singularities.^[29] While the initial work focused on symmetry reduced cases,^[30] more recently Garfinkle^[31] has 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.^[32]

The Einstein equations for a universe with a homogeneous space can reduce to a system of ordinary differential equations containing only functions of time with the help of a frame field. To do this one must resolve the spatial components of four-vectors and four-tensors along the triad of basis vectors of the space:

where all these quantities are now functions of t alone; the scalar quantities, the energy density ε and the pressure of the matter p, are also functions of the time.

The Einstein equations in vacuum in synchronous reference frame are^[9][10]

where is the 3-dimensional tensor , and P_αβ is the 3-dimensional Ricci tensor, which is expressed by the 3-dimensional metric tensor γ_αβ in the same way as R_ik is expressed by g_ik; P_αβ contains only the space (but not the time) derivatives of γ_αβ. Using triads, for {{EquationNote|eq. 11}} one has simply

The components of P_(a)(b) can be expressed in terms of the quantities η_ab and the structure constants of the group by using the tetrad representation of the Ricci tensor in terms of quantities ^[33]

After replacing the three-index symbols by two-index symbols C^ab and the transformations:

one gets the "homogeneous" Ricci tensor expressed in structure constants:

Here, all indices are raised and lowered with the local metric tensor η_ab

The Bianchi identities for the three-dimensional tensor P_αβ in the homogeneous space take the form

Taking into account the transformations of covariant derivatives for arbitrary four-vectors A_i and four-tensors A_ik

the final expressions for the triad components of the Ricci four-tensor are:

It should be emphasized that in setting up the Einstein equations there is thus no need to use explicit expressions for the basis vectors as functions of the coordinates.

Kasner solution

Much more general solutions are obtained by a generalization of an exact particular solution derived by Edward Kasner^[35] 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

(dl is the line element; dx, dy, dz are infinitesimal displacements in the 3 spatial dimensions, and t is time period passed since some initial moment t₀ = 0). Here, p₁, p₂, p₃ are any 3 numbers that satisfy the following Kasner conditions

Because of these relations, only 1 of the 3 numbers is independent (2 equations with 3 unknowns). All 3 numbers are never the same; 2 numbers are the same only in the sets of values and (0, 0, 1).^[36] 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 {{EquationNote|eq. 3}} and developing the square:

The term is equal to 1 by dint of the second condition {{EquationNote|eq. 3}} and therefore the term with the mixed products should be zero. This is possible if at least one of the p₁, p₂, p₃ is negative.

If the numbers are arranged in increasing order, p₁ < p₂ < p₃, they change in the ranges (Fig. 4)

The Kasner metric {{EquationNote|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 p₁ = р₂ = 0, р₃ = 1; these values correspond to a flat spacetime: the transformation t sh z = ζ, t ch z = τ turns the metric {{EquationNote|eq. 2}} into Galilean.

BKL parametrize the numbers p₁, p₂, p₃ in terms of a single independent (real) parameter u (Lifshitz-Khalatnikov parameter^[37]) as follows

The Kasner index parametrization appears mysterious until one thinks about the two constraints on the indices {{EquationNote|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 = u₃₂ = p₃ / p₂, for example, it is trivial to express all six possible ratios in terms of it. Eliminating p₃ = up₂ first, and then using the linear constraint to eliminate p₁ = 1 − p₂ − up₂ = 1 − (1 + u)p₂, the quadratic constraint reduces to a quadratic equation in p₂

with roots p₂ = 0 (obvious) and p₂ = (1 + u) / (1 + u + u²), from which p₁ and p₃ are then obtained by back substitution. One can define six such parameters u_ab = p_a / p_b, for which p_c ≤ p_b ≤ p_a when (c, b, a) is a cyclic permutation of (1, 2, 3).^[38]

All different values of p₁, p₂, p₃ ordered as above are obtained with u running in the range u ≥ 1. The values u < 1 are brought into this range according to

In the generalized solution, the form corresponding to {{EquationNote|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 {{EquationNote|eq. 1}} with a space distance element

where

The three-dimensional vectors l, m, n define the directions at which space distance changes with time by the power laws {{EquationNote|eq. 8}}. These vectors, as well as the numbers p_l, p_m, p_n which, as before, are related by {{EquationNote|eq. 3}}, are functions of the space coordinates. The powers p_l, p_m, p_n are not arranged in increasing order, reserving the symbols p₁, p₂, p₃ for the numbers in {{EquationNote|eq. 5}} that remain arranged in increasing order. The determinant of the metric of {{EquationNote|eq. 7}} is

where v = l[mn]. It is convenient to introduce the following quantities ^[39]

The space metric in {{EquationNote|eq. 7}} is anisotropic because the powers of t in {{EquationNote|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 {{EquationNote|eq. 7}} without defining a priori the dependence of a, b, c from t:

where the dot above a symbol designates differentiation with respect to time. The Einstein equation {{EquationNote|eq. 11}} takes the form

All its terms are to a second order for the large (at t → 0) quantity 1/t. In the Einstein equations {{EquationNote|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 2, then

where indices l, m, n designate tensor components in the directions l, m, n.^[9] These equations together with {{EquationNote|eq. 14}} give the expressions {{EquationNote|eq. 8}} with powers that satisfy {{EquationNote|eq. 3}}.

However, the presence of 1 negative power among the 3 powers p_l, p_m, p_n results in appearance of terms from P_αβ with an order greater than t⁻². If the negative power is p_l (p_l = p₁ < 0), then P_αβ contains the coordinate function λ and {{EquationNote|eq. 12}} become

Here, the second terms are of order t^{−2(p_m + p_n − p_l)} whereby p_m + p_n − p_l = 1 + 2 |p_l| > 1.^[40] To remove these terms and restore the metric {{EquationNote|eq. 7}}, it is necessary to impose on the coordinate functions the condition λ = 0.

The remaining 3 Einstein equations {{EquationNote|eq. 13}} contain only first order time derivatives of the metric tensor. They give 3 time-independent relations that must be imposed as necessary conditions on the coordinate functions in {{EquationNote|eq. 7}}. This, together with the condition λ = 0, makes 4 conditions. These conditions bind 10 different coordinate functions: 3 components of each of the vectors l, m, n, and one function in the powers of t (any one of the functions p_l, p_m, p_n, which are bound by the conditions {{EquationNote|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 3 space coordinates. Therefore, the final solution contains overall 10 − 4 − 3 = 3 physically arbitrary functions which is 1 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 {{EquationNote|eq. 7}} and contributes 4 new coordinate functions necessary to describe the initial distribution of its density and the 3 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

where uⁱ is the 4-dimensional velocity, ε and σ are the densities of energy and entropy of matter.^[41] For the ultrarelativistic equation of state p = ε/3 the entropy σ ~ ε^1/4. The major terms in {{EquationNote|eq. 17}} and {{EquationNote|eq. 18}} are those that contain time derivatives. From {{EquationNote|eq. 17}} and the space components of {{EquationNote|eq. 18}} one has

resulting in

where 'const' are time-independent quantities. Additionally, from the identity u_iuⁱ = 1 one has (because all covariant components of u_α are to the same order)

where u_n is the velocity component along the direction of n that is connected with the highest (positive) power of t (supposing that p_n = p₃). From the above relations, it follows that

or

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.^[9]

The fact that ε becomes infinite by the law {{EquationNote|eq. 21}} confirms that in the solution to {{EquationNote|eq. 7}} one deals with a physical singularity at any values of the powers p₁, p₂, p₃ 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,^[9] 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.^[42]

Oscillating mode towards the singularity

The four conditions that had to be imposed on the coordinate functions in the solution {{EquationNote|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.

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. In other words, the existence of the limiting condition λ = 0 for the solution of {{EquationNote|eq. 7}} means instability caused by perturbations that break this condition. The action of such perturbation must bring the model to another mode which thereby will be most general. Such 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.^{[1][43][44][45]} 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 9 classes.^[46] BKL investigate only spaces of Bianchi Types VIII and IX.

If the metric has the form of {{EquationNote|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 λ, μ, ν {{EquationNote|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.^[47]

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 exactly in this connection. Since all 3 quantities λ, μ, ν 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^[48]

(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 {{EquationNote|eq. 22}} and {{EquationNote|eq. 23}} are exact and their validity does not depend on how near one is to the singularity at t = 0.^[49]

The time derivatives in {{EquationNote|eq. 22}} and {{EquationNote|eq. 23}} take a simpler form if а, b, с are substituted by their logarithms α, β, γ:

substituting the variable t for τ according to:

Then (subscripts denote differentiation by τ):

Adding together equations {{EquationNote|eq. 26}} and substituting in the left hand side the sum (α + β + γ)_{τ τ} according to {{EquationNote|eq. 27}}, one obtains an equation containing only first derivatives which is the first integral of the system {{EquationNote|eq. 26}}:

This equation plays the role of a binding condition imposed on the initial state of {{EquationNote|eq. 26}}. The Kasner mode {{EquationNote|eq. 8}} is a solution of {{EquationNote|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) (p_l = p₁) then the perturbation of the Kasner mode will arise by the terms λ²a⁴; the rest of the terms will decrease with decreasing t. If only the growing terms are left in the right hand sides of {{EquationNote|eq. 26}}, one obtains the system:

(compare {{EquationNote|eq. 16}}; below it is substituted λ² = 1). The solution of these equations must describe the metric evolution from the initial state, in which it is described by {{EquationNote|eq. 8}} with a given set of powers (with p_l < 0); let p_l = р₁, p_m = р₂, p_n = р₃ so that

Then

where Λ is constant. Initial conditions for {{EquationNote|eq. 29}} are redefined as^[50]

Equations {{EquationNote|eq. 29}} are easily integrated; the solution that satisfies the condition {{EquationNote|eq. 32}} is

where b₀ and c₀ are two more constants.

It can easily be seen that the asymptotic of functions {{EquationNote|eq. 33}} at t → 0 is {{EquationNote|eq. 30}}. The asymptotic expressions of these functions and the function t(τ) at τ → −∞ is^[51]

Expressing a, b, c as functions of t, one has

where

Then

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 p_l < 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 (λ²a^4α in {{EquationNote|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 μ² (instead of λ²) in {{EquationNote|eq. 26}}, next change of the Kasner mode, and so on.

It is convenient to write the power substitution rule {{EquationNote|eq. 35}} with the help of the parametrization {{EquationNote|eq. 5}}:

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 p_l, p_m, p_n by the rule {{EquationNote|eq. 37}}.

The successive alternations {{EquationNote|eq. 37}} with flipping of the negative power p₁ 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 {{EquationNote|eq. 6}}; in this moment the negative power is p_l or p_m while p_n becomes the lesser of two positive numbers (p_n = p₂). 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.^[52]

In the exact solution of the Einstein equations, the powers p_l, p_m, p_n 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

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

In the limiteless 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 {{EquationNote|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

where it is supposed that a_max is large compared to b₀ and c₀; in {{EquationNote|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 {{EquationNote|eq. 36}} with Λ' = Λ(1 − 2|p₁(u)|). Therefore, the ratio of 2 consecutive maxima is

and finally

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 {{EquationNote|eq. 19}} u_α = 0, u⁰ = 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 {{EquationNote|eq. 17}} and {{EquationNote|eq. 18}} that result in {{EquationNote|eq. 21}}. During each Kasner epoch, density increases by the law

where p₃ is, as above, the greatest of the numbers p₁, p₂, p₃. Matter density increases monotonously during all evolution towards the singularity.

Metric evolution

Very large u values correspond to Kasner powers

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 {{EquationNote|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

Consider a long era, during which 2 out of the 3 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.^[44]

After ignoring function c, the first 2 equations {{EquationNote|eq. 26}} give

and {{EquationNote|eq. 28}} can be used as a third equation, which takes the form

The solution of {{EquationNote|eq. 44}} is written in the form

where α₀, ξ₀ are positive constants, and τ₀ is the upper limit of the era for the variable τ. It is convenient to introduce further a new variable (instead of τ)

Then

Equations {{EquationNote|eq. 45}} and {{EquationNote|eq. 46}} are transformed by introducing the variable χ = α − β:

Decrease of τ from τ₀ to −∞ corresponds to a decrease of ξ from ξ₀ to 0. The long era with close a and b (that is, with small χ), considered here, is obtained if ξ₀ is a very large quantity. Indeed, at large ξ the solution of {{EquationNote|eq. 49}} in the first approximation by 1/ξ is

where A is constant; the multiplier makes χ a small quantity so it can be substituted in {{EquationNote|eq. 49}} by sh 2χ ≈ 2χ.^[53]

From {{EquationNote|eq. 50}} one obtains

After determining α and β from {{EquationNote|eq. 48}} and {{EquationNote|eq. 51}} and expanding e^α and e^β in series according to the above approximation, one obtains finally:^[54]

The relation between the variable ξ and time t is obtained by integration of the definition dt = abc dτ which gives

The constant c₀ (the value of с at ξ = ξ₀) should be now c₀ α₀·

Let us now consider the domain ξ 1. Here the major terms in the solution of {{EquationNote|eq. 49}} are:

where k is a constant in the range − 1 < k < 1; this condition ensures that the last term in {{EquationNote|eq. 49}} is small (sh 2χ contains ξ^2k and ξ^−2k). Then, after determining α, β, and t, one obtains

This is again a Kasner mode with the negative t power coming into the function c(t).^[55]

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πΑ²). The third function, c, decreases monotonously by a law close to c = c₀t/t₀.

This evolution continues until ξ ≈1 and formulas {{EquationNote|eq. 52}} and {{EquationNote|eq. 53}} are no longer applicable. Its time duration corresponds to change of t from t₀ to the value t₁, related to ξ₀ according to

The relationship between ξ and t during this time can be presented in the form

After that, as seen from {{EquationNote|eq. 55}}, the decreasing function c starts to increase while functions a and b start to decrease. This Kasner epoch continues until terms c²/a²b² in {{EquationNote|eq. 22}} become ~ t² and a next series of oscillations begins.

The law for density change during the long era under discussion is obtained by substitution of {{EquationNote|eq. 52}} in {{EquationNote|eq. 20}}:

When ξ changes from ξ₀ 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 {{EquationNote|eq. 52}} does not correspond to a Kasner metric with powers (0, 0, 1). The latter corresponds to an exact solution (found by Taub^[56]) which is allowed by eqs. {{EquationNote|eq. 26|26}}–{{EquationNote|eq. 27|27}} and in which

where p, δ₁, δ₂ 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. {{EquationNote|eqs. 26}}–{{EquationNote|28}} λ = −1, μ = ν = 1.^[45]

If during the long era, the monotonically decreasing function is a, nothing changes in the foregoing analysis: ignoring a² on the right side of equations {{EquationNote|26}} and {{EquationNote|28}}, goes back to the same equations {{EquationNote|49}} and {{EquationNote|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 {{EquationNote|49}} with the same symbols, and, therefore, the former expressions {{EquationNote|eq. 52}} for the functions a(ξ) and b(ξ), but equation {{EquationNote|50}} is replaced by

The major term at large ξ now becomes

so that

The value of c as a function of time t is again c = c₀t/t₀ but the time dependence of ξ changes. The length of a long era depends on ξ₀ according to

On the other hand, the value ξ₀ determines the number of oscillations of the functions a and b during an era (equal to ξ₀/2π). Given the length of an era in logarithmic time (i.e., with given ratio t₀/t₁) 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

As shown above, long eras violate the "regular" course of evolution; this fact makes it difficult to study the evolution of time intervals, encompassing 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.^[57]

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 + 2p₁ = (1 – u + u²)/(1 + u + u²) < 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 + 2p₁) ≈ −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/k₂ according to {{EquationNote|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 {{EquationNote|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 ^[58]

where Ω denotes the "logarithmic time"

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 {{EquationNote|eq. 39}} for u ≫ 1 we find 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 ({{EquationNote|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 {{EquationNote|eq. 63}}.

Considering such instant change of epochs, the transition periods are ignored as small in comparison to the epoch length; this condition is actually fulfilled.^[59] Replacement of α, β, and γ maxima with zeros requires that quantities ln (|p₁|Λ) be small in comparison with the amplitudes of oscillations of the respective functions. As mentioned above, during transitions between eras |p₁| 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 |p₁| 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 {{EquationNote|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

and let α and β are the oscillating functions during this era (Fig. 4).^[60]

Initial moments of Kasner epochs with parameters u_n 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

(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 {{EquationNote|eq. 63}} its value in moment Ω_n is

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

and for the logarithmic epoch length

where, for short, f(u) = 1 + u + u². The sum of n epoch lengths is obtained by the formula

It can be seen from {{EquationNote|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 {{EquationNote|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| = |α₀| (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 A₀, 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 {{EquationNote|eq. 69}} that Δ_n+1 > Δ_n.^[61] The total era length is

(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 Ω'₀ 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 δ'₀Ω'₀ for the new series of oscillations. It is easily obtained that:

It is obvious that δ'₀Ω'₀ > δ₀Ω₀. Even at not very great k the amplitude increase is very significant: function c = e^γ begins to oscillate from amplitude . The issue about the abovementioned "dangerous" cases of drastic lowering of the upper oscillation limit is left aside for now.

According to {{EquationNote|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, it should be taken into account that at u = x < 1 the greatest power is p₂(x) (not p₃(x) ). Therefore, for the density increase over the whole era one obtains

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 A₀': , etc. These formulae illustrate the steep increase in matter density.

Statistical analysis near the singularity

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 {{EquationNote|eqs. 41}}–{{EquationNote|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⁽⁰⁾, k⁽¹⁾, ..., are the numbers in the continued fraction expansion

This expansion corresponds to the mapping transformation of the interval [0, 1] onto itself by the formula Tx = {1/x}, i.e., x_s+1 = {1/x_s}. 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⁽⁰⁾ but the values x⁽⁰⁾ = x distributed in the interval from 0 to 1 in accordance with a certain probabilistic distributional law w₀(x). Then the values of x^(s) terminating each era will also have distributions that follow certain laws w_s(x). Let w_s(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 w_s(x) in terms of the distribution w_s–1(x):

or

If the distribution w_s(x) tends with increasing s to a stationary (independent of s) limiting distribution w(x), then the latter should satisfy an equation obtained from {{EquationNote|eq. 73c}} by dropping the indices of the functions w_s−1(x) and w_s(x). This equation has a solution

(normalized to unity and taken to the first order of x).^[62]

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)

At large values of k

In relating the statistical properties of the cosmological model with the ergodic properties of the transformation x_s+1 = {1/x_s} an important point must be mentioned. In an infinite sequence of numbers x constructed in accordance with this rule, there will be observed arbitrary small (but never vanishing) values of x and accordingly 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 {{EquationNote|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 {{EquationNote|eq. 26}} terms not only with one of the functions a, b, c (say, a⁴), as is the case in the "regular" interchange of the Kasner epochs, but simultaneously with two of them (say, a⁴, b⁴, a²b²).

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 {{EquationNote|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⁽⁰⁾ be distributed in a narrow interval of width δx⁽⁰⁾ about some definite number. From the recurrence relation {{EquationNote|eq. 73c}} (or directly from the expansion {{EquationNote|eq. 73a}}) it is easy to conclude that the widths of the distributions w_s(x) (about other definite numbers) will then be equal to

(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 W_s(k,x)dx of both quantities can be obtained from the distribution w_s–1(x)dx by making in the latter the substitution x → 1/(x + k). In other words, the function W_s(k,x) is given by the very expression under the summation sign in the right side of {{EquationNote|eq. 73c}}. In the stationary limit, taking w from {{EquationNote|eq. 74}}, one obtains

Summation of this distribution over k brings us back to {{EquationNote|eq. 74}}, and integration with respect to dx to {{EquationNote|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 {{EquationNote|eqs. 71}}–{{EquationNote|73}}

(ξ^(s) is introduced in {{EquationNote|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 BKL used ^[57] (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 {{EquationNote|eq. 78}} have the same distribution; this equation was solved numerically. In a later work,^[63] KL et al. showed that the distribution P(δ) can actually be found exactly by an analytical method.

For 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 (x₀, x₁, x₂, ...), connected by the equalities Tx = {1/x}, to a "doubly infinite" sequence X = (..., x₋₁, x₀, x₁, x₂, ...) 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 x_s–1 is not determined uniquely by x_s), but all statistical properties of the extended sequence are uniform over its entire length, i.e., are invariant with respect to arbitrary shift (and x₀ loses its meaning of an "initial" condition). The sequence X is equivalent to a sequence of integers K = (..., k₋₁, k₀, k₁, k₂, ...), constructed by the rule k_s = [1/x_s–1]. Inversely, every number of X is determined by the integers of K as an infinite continuous fraction

(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

Reverse quantities are defined by a continuous fraction with a retrograde (in the direction of diminishing indices) sequence of denominators

The recurrence relation {{EquationNote|eq. 78}} is transformed by introducing temporarily the notation η_s = (1 − δ_s)/δ_s. Then {{EquationNote|eq. 78}} can be rewritten as

By iteration an infinite continuous fraction is obtained

Hence and finally

This expression for δ_s contains only two (instead of the three in ^[57]) random quantities and , each of which assumes values in the interval [0, 1].

It follows from the definition {{EquationNote|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

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 {{EquationNote|eq. 79e}} is a one-to-one transformation, the condition for the distribution to be stationary is expressed simply by a function equation

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. {{EquationNote|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

With the account taken of the symmetry P(x, y)= P(y, x) this becomes f(c)= c⁻² and hence (after normalization)

(its integration over x⁺ or x^– yields the function w(x) {{EquationNote|eq. 74}}). The reduction of the transformation to the one-to-one mapping was used already by ^[64] and they obtained a formula of the form of {{EquationNote|eq. 79g}} but for other variables; their paper does not contain applications to the problems which are considered in.^[63]

The correctness of {{EquationNote|eq. 79g}} be verified also by a direct calculation; the Jacobian of the transformation {{EquationNote|eq. 79e}} is

(in its calculation one must note that ).

Since by {{EquationNote|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 {{EquationNote|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

The mean value = 1/2 already as a result of the symmetry of the function P(δ). Thus the mean value of the initial (in every era) amplitude of oscillations of the functions α, β, γ increases as Ω/2.

The statistical relation between large time intervals Ω and the number of eras s contained in them is found by repeated application of {{EquationNote|eq. 77}}:

Direct averaging of this equation, however, does not make sense: because of the slow decrease of function W(k) {{EquationNote|eq. 76}}, the average values of the quantity exp ξ^(s) are unstable in the above sense – the fluctuations increase even more rapidly than the mean value itself with increasing region of averaging. This instability is eliminated by taking the logarithm: the "doubly-logarithmic" time interval

is expressed by the sum of quantities ξ^(p) which have a stable statistical distribution. The mean value of τ is . To calculate note that {{EquationNote|eq. 77}} can be rewritten as

For the stationary distribution , and in virtue of the symmetry of the function P(δ) also . Hence

(w(x) from {{EquationNote|eq. 74}}). Thus

which determines the mean doubly-logarithmic time interval containing s successive eras.

For large s the number of terms in the sum {{EquationNote|eq. 81}} is large and according to general theorems of the ergodic theory the values of τ_s are distributed around according to Gauss' law with the density

Calculation of the variance D_τ is more complicated since not only the knowledge of and are needed but also of the correlations . The calculation can be simplified by rearranging the terms in the sum {{EquationNote|eq. 81}}. By using {{EquationNote|eq. 81a}} the sum can be rewritten as

The last two terms do not increase with increasing s; these terms can be omitted as the limiting laws for large s are dominating. Then

(the expression {{EquationNote|eq. 79d}} for δ_p is taken into account). To the same accuracy (i.e., up to the terms which do not increase with s) the equality

is valid. Indeed, in virtue of {{EquationNote|eq. 79e}}

and hence

By summing this identity over p {{EquationNote|eq. 82c}} is obtained. Finally again with the same accuracy is changed for x_p under the summation sign and thus represent τ_s as

The variance of this sum in the limit of large s is

It is taken into account that in virtue of the statistical homogeneity of the sequence X the correlations depend only on the differences |p − p′|. The mean value ; the mean square

By taking into account also the values of correlations with p = 1, 2, 3

(calculated numerically) the final result D_τs = (3.5 ± 0.1)s is obtained.

With increasing s the relative fluctuation tends to zero as s^−1/2. In other words, the statistical relation {{EquationNote|eq. 82}} becomes almost certain at large s. This makes it possible to invert the relation, i.e., to represent it as the dependence of the average number of the eras s_τ that are interchanged in a given interval τ of the double logarithmic time:

The statistical distribution of the exact values of s_τ around its average is also Gaussian with the variance

The respective statistical distribution is given by the same Gaussian distribution in which the random variable is now s_τ at a given τ:

From this point of view, the source of the statistical behavior is the arbitrariness in the choice of the starting point of the interval τ superimposed on the infinite sequence of the interchanging eras.

Respective to matter density, {{EquationNote|eq. 79}} can be re-written with account of {{EquationNote|eq. 80}} in the form

and then, for the total energy change during s eras,

The term with the sum by p gives the main contribution to this expression because it contains an exponent with a large power. Leaving only this term and averaging {{EquationNote|eq. 87}}, one gets in its right hand side the expression which coincides with {{EquationNote|eq. 82}}; all other terms in the sum (also terms with η_s in their powers) lead only to corrections of a relative order 1/s. Therefore,

By virtue of the almost certain character of the relation between τ_s and s {{EquationNote|eq. 88}} can be written as

which determines the value of the double logarithm of density increase averaged by given double-logarithmic time intervals τ or by a given number of eras s.

These stable statistical relationships exist specifically for doubly-logarithmic time intervals and for the density increase. For other characteristics, e.g., ln (ε^(s)/ε⁽⁰⁾) or Ω^(s) / Ω⁽⁰⁾ = exp τ_s the relative fluctuation increase exponentially with the increase of the averaging range thereby voiding the term mean value of a stable meaning.

The origin of the statistical relationship {{EquationNote|eq. 88}} can be traced already from the initial law governing the variation of the density during the individual Kasner epochs. According to {{EquationNote|eq. 21}}, during the entire evolution we have

with 1 − p₃(t) changing from epoch to epoch, running through values in the interval from 0 to 1. The term ln Ω = ln ln (1/t) increases monotonically; on the other hand, the term ln2(1 − p₃) can assume large values (comparable with ln Ω) only when values of p₃ very close to unity appear (i.e., very small |p₁|). These are precisely the "dangerous" cases that disturb the regular course of evolution expressed by the recurrent relationships {{EquationNote|eqs. 77}}–{{EquationNote|79}}.

It remains to show that such cases actually do not arise that in the asymptotic limiting regime. The spontaneous evolution of the model starts with a certain instant at which definite initial conditions are specified in an arbitrary manner. Accordingly, by "asymptotic" is meant a regime sufficiently far away from the chosen initial instant.

Dangerous cases are those in which excessively small values of the parameter u = x (and hence also |p₁| ≈ x) appear at the end of an era. A criterion for selection of such cases is the inequality

where | α^(s) | is the initial minima depth of the functions that oscillate in era s (it would be more appropriate to choose the final amplitude, but that would only strengthen the selection criterion).

The value of x⁽⁰⁾ in the first era is determined by the initial conditions. Dangerous are values in the interval δx⁽⁰⁾ ~ exp ( − |α⁽⁰⁾| ), and also in intervals that could result in dangerous cases in the next eras. In order for x^(s) to fall in the dangerous interval δx^(s) ~ exp ( − | α^(s) | ), the initial value x⁽⁰⁾ should lie into an interval of a width δx⁽⁰⁾ ~ δx^(s) / k^{(1)^2} ... k^{(s)^2}.^[66] Therefore, from a unit interval of all possible values of x⁽⁰⁾, dangerous cases will appear in parts λ of this interval:

(the inner sum is taken over all the values k⁽¹⁾, k⁽²⁾, ... , k^(s) from 1 to ∞). It is easy to show that this era converges to the value λ 1 whose order of magnitude is determined by the first term in {{EquationNote|eq. 90}}. This can be shown by a strong majoration of the era for which one substitutes | α^(s) | = (s + 1) | α⁽⁰⁾ |, regardless of the lengths of eras k⁽¹⁾, k⁽²⁾, ... (In fact | α^(s) | increase much faster; even in the most unfavorable case k⁽¹⁾ = k⁽²⁾ = ... = 1 values of | α^(s) | increase as q^s | α⁽⁰⁾ | with q > 1.) Noting that

one obtains

If the initial value of x⁽⁰⁾ lies outside the dangerous region λ there will be no dangerous cases. If it lies inside this region dangerous cases occur, but upon their completion the model resumes a "regular" evolution with a new initial value which only occasionally (with a probability λ) may come into the dangerous interval. Repeated dangerous cases occur with probabilities λ², λ³, ... , asymptotically converging to zero.

General solution with small oscillations

In the above models, metric evolution near the singularity is studied on the example of homogeneous space metrics. It is clear from the characteristic of this evolution that the analytic construction of the general solution for a singularity of such type should be made separately for each of the basic evolution components: for the Kasner epochs, for the process of transitions between epochs caused by "perturbations", for long eras with two perturbations acting simultaneously. During a Kasner epoch (i.e. at small perturbations), the metric is given by {{EquationNote|eq. 7}} without the condition λ = 0.

BKL further developed a matter distribution-independent model (homogeneous or non-homogeneous) for long era with small oscillations. The time dependence of this solution turns out to be very similar to that in the particular case of homogeneous models; the latter can be obtained from the distribution-independent model by a special choice of the arbitrary functions contained in it.^[67]

It is convenient, however, to construct the general solution in a system of coordinates somewhat different from synchronous reference frame: g_0α = 0 as in the synchronous frame, but instead of g₀₀ = 1 it is now g₀₀ = −g₃₃. Defining again the space metric tensor γ_αβ = −g_αβ one has, therefore

The special space coordinate is written as x³ = z and the time coordinate is written as x⁰ = ξ (as different from proper time t); it will be shown that ξ corresponds to the same variable defined in homogeneous models. Differentiation by ξ and z is designated, respectively, by dot and prime. Latin indices a, b, c take values 1, 2, corresponding to space coordinates x¹, x² which will be also written as x, y. Therefore, the metric is

The required solution should satisfy the inequalities

(these conditions specify that one of the functions a², b², c² is small compared to the other two which was also the case with homogeneous models).

Inequality {{EquationNote|eq. 94}} means that components γ_a3 are small in the sense that at any ratio of the shifts dx^a and dz, terms with products dx^adz can be omitted in the square of the spatial length element dl². Therefore, the first approximation to a solution is a metric {{EquationNote|eq. 92}} with γ_a3 = 0:^[68]

One can be easily convinced by calculating the Ricci tensor components , , , using metric {{EquationNote|eq. 95}} and the condition {{EquationNote|eq. 93}} that all terms containing derivatives by coordinates x^a are small compared to terms with derivatives by ξ and z (their ratio is ~ γ₃₃ / γ_ab). In other words, to obtain the equations of the main approximation, γ₃₃ and γ_ab in {{EquationNote|eq. 95}} should be differentiated as if they do not depend on x^a. Designating

one obtains the following equations:^[69]

Index raising and lowering is done here with the help of γ_ab. The quantities and λ are the contractions and whereby

As to the Ricci tensor components , , by this calculation they are identically zero. In the next approximation (i.e., with account to small γ_a3 and derivatives by x, y), they determine the quantities γ_a3 by already known γ₃₃ and γ_ab.

Contraction of {{EquationNote|eq. 97}} gives , and, hence,

Different cases are possible depending on the G variable. In the above case g⁰⁰ = γ³³ γ^ab and . The case N > 0 (quantity N is time-like) leads to time singularities of interest. Substituting in {{EquationNote|eq. 101}} f₁ = 1/2 (ξ + z) sin y, f₂ = 1/2 (ξ − z) sin y results in G of type

This choice does not diminish the generality of conclusions; it can be shown that generality is possible (in the first approximation) just on account of the remaining permissible transformations of variables. At N < 0 (quantity N is space-like) one can substitute G = z which generalizes the well-known Einstein–Rosen metric.^[70] At N = 0 one arrives at the Robinson–Bondi wave metric^[71] that depends only on ξ + z or only on ξ − z (cf.^[72]). The factor sin y in {{EquationNote|eq. 102}} is put for convenient comparison with homogeneous models. Taking into account {{EquationNote|eq. 102}}, equations {{EquationNote|97}}–{{EquationNote|99}} become

The principal equations are {{EquationNote|eq. 103}} defining the γ_ab components; then, function ψ is found by a simple integration of {{EquationNote|eqs. 104}}–{{EquationNote|105}}.

The variable ξ runs through the values from 0 to ∞. The solution of {{EquationNote|eq. 103}} is considered at two boundaries, ξ 1 and 1. At large ξ values, one can look for a solution that takes the form of a 1 / {{radic|ξ}} decomposition:

whereby

(equation {{EquationNote|eq. 107|107}} needs condition {{EquationNote|eq. 102|102}} to be true). Substituting {{EquationNote|eq. 103}} in {{EquationNote|eq. 106}}, one obtains in the first order

where quantities a^ac constitute a matrix that is inverse to matrix a_ac. The solution of {{EquationNote|eq. 108}} has the form

where l_a, m_a, ρ, are arbitrary functions of coordinates x, y bound by condition {{EquationNote|eq. 110}} derived from {{EquationNote|eq. 107}}.

To find higher terms of this decomposition, it is convenient to write the matrix of required quantities γ_ab in the form

where the symbol ~ means matrix transposition. Matrix H is symmetric and its trace is zero. Presentation {{EquationNote|eq. 111}} ensures symmetry of γ_ab and fulfillment of condition {{EquationNote|eq. 102}}. If exp H is substituted with 1, one obtains from {{EquationNote|eq. 111}} γ_ab = ξa_ab with a_ab from {{EquationNote|eq. 109}}. In other words, the first term of γ_ab decomposition corresponds to H = 0; higher terms are obtained by powers decomposition of matrix H whose components are considered small.

The independent components of matrix H are written as σ and φ so that

Substituting {{EquationNote|eq. 111}} in {{EquationNote|eq. 103}} and leaving only terms linear by H, one derives for σ and φ

If one tries to find a solution to these equations as Fourier series by the z coordinate, then for the series coefficients, as functions of ξ, one obtains Bessel equations. The major asymptotic terms of the solution at large ξ are^[73]

Coefficients A and B are arbitrary complex functions of coordinates x, y and satisfy the necessary conditions for real σ and φ; the base frequency ω is an arbitrary real function of x, y. Now from {{EquationNote|eqs. 104}}–{{EquationNote|105}} it is easy to obtain the first term of the function ψ:

(this term vanishes if ρ = 0; in this case the major term is the one linear for ξ from the decomposition: ψ = ξq (x, y) where q is a positive function^[74]).

Therefore, at large ξ values, the components of the metric tensor γ_ab oscillate upon decreasing ξ on the background of a slow decrease caused by the decreasing ξ factor in {{EquationNote|eq. 111}}. The component γ₃₃ = e^ψ decreases quickly by a law close to exp (ρ²ξ²); this makes it possible for condition {{EquationNote|eq. 93}}.^[75]

Next BKL consider the case ξ 1. The first approximation to a solution of {{EquationNote|eq. 103}} is found by the assumption (confirmed by the result) that in these equations terms with derivatives by coordinates can be left out:

This equation together with the condition {{EquationNote|eq. 102}} gives

where λ_a, μ_a, s₁, s₂ are arbitrary functions of all 3 coordinates x, y, z, which are related with other conditions

Equations {{EquationNote|104}}–{{EquationNote|105}} give now

The derivatives , calculated by {{EquationNote|eq. 118}}, contain terms ~ ξ^{4s₁ − 2} and ~ ξ^{4s₂ − 2} while terms left in {{EquationNote|eq. 117}} are ~ ξ⁻². Therefore, application of {{EquationNote|eq. 103}} instead of {{EquationNote|eq. 117}} is permitted on conditions s₁ > 0, s₂ > 0; hence 1 − > 0.

Thus, at small ξ oscillations of functions γ_ab cease while function γ₃₃ begins to increase at decreasing ξ. This is a Kasner mode and when γ₃₃ is compared to γ_ab, the above approximation is not applicable.

In order to check the compatibility of this analysis, BKL studied the equations = 0, = 0, and, calculating from them the components γ_a3, confirmed that the inequality {{EquationNote|eq. 94}} takes place. This study^[67] showed that in both asymptotic regions the components γ_a3 were ~ γ₃₃. Therefore, correctness of inequality {{EquationNote|eq. 93}} immediately implies correctness of inequality {{EquationNote|eq. 94}}.

This solution contains, as it should be for the general case of a field in vacuum, four arbitrary functions of the three space coordinates x, y, z. In the region ξ 1 these functions are, e.g., λ₁, λ₂, μ₁, s₁. In the region ξ 1 the four functions are defined by the Fourier series by coordinate z from {{EquationNote|eq. 115}} with coefficients that are functions of x, y; although Fourier series decomposition (or integral?) characterizes a special class of functions, this class is large enough to encompass any finite subset of the set of all possible initial conditions.

The solution contains also a number of other arbitrary functions of the coordinates x, y. Such two-dimensional arbitrary functions appear, generally speaking, because the relationships between three-dimensional functions in the solutions of the Einstein equations are differential (and not algebraic), leaving aside the deeper problem about the geometric meaning of these functions. BKL did not calculate the number of independent two-dimensional functions because in this case it is hard to make unambiguous conclusions since the three-dimensional functions are defined by a set of two-dimensional functions (cf.^[67] for more details).^[76]

Finally, BKL go on to show that the general solution contains the particular solution obtained above for homogeneous models.

Substituting the basis vectors for Bianchi Type IX homogeneous space in {{EquationNote|eq. 7}} the space-time metric of this model takes the form

|{{EquationRef|eq. 121}}}}

When c² a², b², one can ignore c² everywhere except in the term c² dz². To move from the synchronous frame used in {{EquationNote|eq. 121}} to a frame with conditions {{EquationNote|eq. 91}}, the transformation dt = c dξ/2 and substitution z → z/2 are done. Assuming also that χ ≡ ln (a/b) 1, one obtains from {{EquationNote|eq. 121}} in the first approximation:

Similarly, with the basis vectors of Bianchi Type VIII homogeneous space, one obtains

According to the analysis of homogeneous spaces above, in both cases ab = ξ (simplifying = ξ₀) and χ is from {{EquationNote|eq. 51}}; function c (ξ) is given by formulae {{EquationNote|eq. 53}} and {{EquationNote|eq. 61}}, respectively, for models of Types IX and VIII.

Identical metric for Type VIII is obtained from {{EquationNote|eqs. 112}}, {{EquationNote|115}}, {{EquationNote|116}} choosing two-dimensional vectors l_a and m_a in the form

and substituting

To obtain the metric for Type IX, one should substitute

|{{EquationRef|eq. 126}}}}

(for calculation of c (ξ) the approximation in {{EquationNote|eq. 116}} is not sufficient and the term in ψ linear by ξ is calculated^[74])

This analysis was done for empty space. Including matter does not make the solution less general and does not change its qualitative characteristics.^[74][67]

A limitation of great importance for the general solution is that all 3-dimensional functions contained in the metrics {{EquationNote|eq. 122}} and {{EquationNote|eq. 123}} should have a single and common characteristic change interval. Only this allows to approximate in the Einstein equations all metric spatial component derivatives with simple products of these components by a characteristic wave numbers which results in ordinary differential equations of the type obtained for the Type IX homogeneous model. This is the reason for the coincidence between homogeneous and general solutions.

It follows that both Type IX model and its generalisation contain an oscillatory mode with a single spatial scale of an arbitrary magnitude which is not selected among others by any physical conditions. However, it is known that in non-linear systems with infinite degrees of freedom such mode is unstable and partially dissipates to smaller oscillations. In the general case of small perturbations with an arbitrary spectrum, there will always be some whose amplitudes will increase feeding upon the total process energy. As a result, a complicated picture arises of multi-scale movements with certain energy distribution and energy exchange between oscillations of different scales. It doesn't occur only in the case when the development of small-scale oscillations is impossible because of physical conditions. For the latter, some natural physical length must exist which determines the minimal scale at which energy exits from a system with dynamical degrees of freedom (which, for example, occurs in a liquid with a certain viscosity). However, there is no innate physical scale for a gravitational field in vacuum, and, therefore, there is no impediment for the development of oscillations of arbitrarily small scales.^[77]

Conclusions

BKL describe singularities in the cosmologic solution of Einstein equations that have a complicated oscillatory character. Although these singularities have been studied primarily on spatially homogeneous models, there are convincing reasons to assume that singularities in the general solution of Einstein equations have the same characteristics; this circumstance makes the BKL model important for cosmology.

A basis for such statement is the fact that the oscillatory mode in the approach to singularity is caused by the single perturbation that also causes instability in the generalized Kasner solution. A confirmation of the generality of the model is the analytic construction for long era with small oscillations. Although this latter behavior is not a necessary element of metric evolution close to the singularity, it has all principal qualitative properties: metric oscillation in two spatial dimensions and monotonous change in the third dimension with a certain perturbation of this mode at the end of some time interval. However, the transitions between Kasner epochs in the general case of non-homogeneous spatial metric have not been elucidated in details.

The problem connected with the possible limitations upon space geometry caused by the singularity was left aside for further study. It is clear from the outset, however, that the original BKL model is applicable to both finite or infinite space; this is evidenced by the existence of oscillatory singularity models for both closed and open spacetimes.

The oscillatory mode of the approach to singularity gives a new aspect to the term 'finiteness of time'. Between any finite moment of the world time t and the moment t = 0 there is an infinite number of oscillations. In this sense, the process acquires an infinite character. Instead of time t, a more adequate variable for its description is ln t by which the process is extended to −∞.

BKL consider metric evolution in the direction of decreasing time. The Einstein equations are symmetric in respect to the time sign so that a metric evolution in the direction of increasing time is equally possible. However, these two cases are fundamentally different because past and future are not equivalent in the physical sense. Future singularity can be physically meaningful only if it is possible at arbitrary initial conditions existing in a previous moment. Matter distribution and fields in some moment in the evolution of Universe do not necessarily correspond to the specific conditions required for the existence of a given special solution to the Einstein equations.

The choice of solutions corresponding to the real world is related to profound physical requirements which is impossible to find using only the existing relativity theory and which can be found as a result of future synthesis of physical theories. Thus, it may turn out that this choice singles out some special (e.g., isotropic) type of singularity. Nevertheless, it is more natural to assume that because of its general character, the oscillatory mode should be the main characteristic of the initial evolutionary stages.

In this respect, of considerable interest is the property of the model, shown by Misner,^[78] related to propagation of light signals. In the isotropic model, a "light horizon" exists, meaning that for each moment of time, there is some longest distance, at which exchange of light signals and, thus, a causal connection, is impossible: the signal cannot reach such distances for the time since the singularity t = 0.

Signal propagation is determined by the equation ds = 0. In the isotropic model near the singularity t = 0 the interval element is ds² = dt² — 2t , where is a time-independent spatial differential form.^[79] Substituting t = η²/2 yields

The "distance" Δ reached by the signal is

Since η, like t, runs through values starting from 0, up to the "moment" η signals can propagate only at the distance Δ ≤ η which fixes the farthest distance to the horizon.

The existence of a light horizon in the isotropic model poses a problem in the understanding of the origin of the presently observed isotropy in the relic radiation. According to the isotropic model, the observed isotropy means isotropic properties of radiation that comes to the observer from such regions of space that can not be causally connected with each other. The situation in the oscillatory evolution model near the singularity can be different.

For example, in the homogeneous model for Type IX space, a signal is propagated in a direction in which for a long era, scales change by a law close to ~ t. The square of the distance element in this direction is dl² = t², and the respective element of the four-dimensional interval is ds² = dt² − t². The substitution t = е^η puts this in the form

and for the signal propagation one has equation of the type {{EquationNote|eq. 128}} again. The important difference is that the variable η runs now through values starting from −∞ (if metric {{EquationNote|eq. 129}} is valid for all t starting from t = 0).

Therefore, for each given "moment" η are found intermediate intervals Δη sufficient for the signal to cover each finite distance.

In this way, during a long era a light horizon is opened in a given space direction. Although the duration of each long era is still finite, during the course of the world evolution eras change an infinite number of times in different space directions. This circumstance makes one expect that in this model a causal connection between events in the whole space is possible. Because of this property, Misner named this model «mixmaster universe» by a brand name of a dough-blending machine.

As time passes and one goes away from the singularity, the effect of matter on metric evolution, which was insignificant at the early stages of evolution, gradually increases and eventually becomes dominant. It can be expected that this effect will lead to a gradual "isotropisation" of space as a result of which its characteristics come closer to the Friedman model which adequately describes the present state of the Universe.

Finally, BKL pose the problem about the feasibility of considering a "singular state" of a world with infinitely dense matter on the basis of the existing relativity theory. The physical application of the Einstein equations in their present form in these conditions can be made clear only in the process of a future synthesis of physical theories and in this sense the problem can not be solved at present.

It is important that the gravitational theory itself does not lose its logical cohesion (i.e., does not lead to internal controversies) at whatever matter densities. In other words, this theory is not limited by the conditions that it imposes, which could make logically inadmissible and controversial its application at very large densities; limitations could, in principle, appear only as a result of factors that are "external" to the gravitational theory. This circumstance makes the study of singularities in cosmological models formally acceptable and necessary in the frame of existing theory.

Notes

1. ^^1 2 {{Harvnb|Belinsky|Khalatnikov|Lifshitz|1970}}
2. ^{{cite journal |last1=Demaret |first1=Jacques |last2=Hanquin |first2=Jean-Luc |last3=Henneaux |first3=Marc |last4=Spindel |first4=Philipe |last5=Taormina |first5=Anna |title=The fate of the Mixmaster behaviour in vacuum inhomogeneous Kaluza-Klein cosmological models |journal=Physics Letters B |year=1986 |volume=175 |issue=2 |pages=129–132 |doi=10.1016/0370-2693(86)90701-X |bibcode=1986PhLB..175..129D}}
3. ^{{cite journal |last1=Demaret |first1=Jacques |last2=Henneaux |first2=Marc |last3=Spindel |first3=Philipe |title=Non-oscillatory behaviour in vacuum Kaluza–Klein cosmologies |journal=Physics Letters |year=1985 |volume=164B |issue=1–3 |pages=27–29 |doi= 10.1016/0370-2693(85)90024-3|bibcode=1985PhLB..164...27D}}
4. ^{{cite journal |last1=Demaret |first1=Jacques |last2=de Rop |first2=Yves |last3=Henneaux |first3=Marc |title=Are Kaluza-Klein models of the Universe chaotic? |journal=International Journal of Theoretical Physics |year=1989 |volume=28 |issue=9 |pages=1067–1079 |doi=10.1007/BF00670349 |bibcode=1989IJTP...28.1067D}}
5. ^{{cite journal |last1=Damour |first1=Thibault |last2=Henneaux |first2=Marc |title=Chaos in superstring cosmology |journal=Physical Review Letters |year=2000 |volume=85 |issue=5 |pages=920–923 |doi=10.1103/PhysRevLett.85.920|pmid=10991439 |arxiv= hep-th/0003139|bibcode=2000PhRvL..85..920D}}
6. ^{{cite journal |last1=Damour |first1=Thibault |last2=Henneaux |first2=Marc |last3=Julia |first3=Bernard |last4=Nicolai |first4=Hermann |title=Hyperbolic Kac–Moody algebras and chaos in Kaluza-Klein models |journal=Physics Letters B |year=2001 |volume=509 |issue= 3–4|pages=323–330 |doi=10.1016/S0370-2693(01)00498-1 |arxiv=hep-th/0103094 |bibcode=2001PhLB..509..323D}}
7. ^{{cite journal |last1=Damour |first1=Thibault |last2=Henneaux |first2=Marc |last3=Nicolai |first3=Hermann |title=Cosmological billiards |journal=Classical and Quantum Gravity |year=2003 |volume=20 |issue= 9|page=R145–R200 |doi= 10.1088/0264-9381/20/9/201|bibcode=|citeseerx=10.1.1.262.7733 }}
8. ^{{cite book | last = Kac| first = Victor G. | title = Infinite dimensional Lie algebras: an introduction | publisher = Birkhäuser | series = Progress in Mathematics | volume = 44 | edition = | date = 1983 | location = Basel | pages = 245 | doi = 10.1007/978-1-4757-1382-4 | isbn = 9780817631185}}
9. ^^{1 2 3 4 5 6} {{Harvnb|Lifshitz|Khalatnikov|1963}}
10. ^^1 2 {{Harvnb|Landau|Lifshitz|1988|loc=Section 97, Synchronous reference frame}}
11. ^{{cite journal |last=Lifshitz |first=Evgeny M. |authorlink=Evgeny Lifshitz |author2=I.M. Khalatnikov |title=On the singularities of cosmological solutions of the gravitational equations.I |journal=JETP |volume=39 |issue= |pages=149 |year=1961 |doi= }}
12. ^{{cite journal |last=Lifshitz |first=Evgeny M. |authorlink=Evgeny Lifshitz |author2=I.M. Khalatnikov |title=On the singularities of cosmological solutions of the gravitational equations.II |journal=JETP |volume=39 |issue= |pages=800 |year=1961 |doi= }}
13. ^¹ {{cite journal |last=Lifshitz |first=Evgeny M. |authorlink=Evgeny Lifshitz |author2=V.V. Sudakov|author3=I.M. Khalatnikov |title=Singularities of cosmological solutions of the gravitational equations.III |journal=JETP |volume=40 |issue= |pages=1847 |year=1961 |doi= }}; Physical Review Letters, 6, 311 (1961)
14. ^The convention used by BKL is the same as in the {{Harvtxt|Landau|Lifshitz|1988}} book. The Latin indices run through the values 0, 1, 2, 3; Greek indices run through the space values 1, 2, 3. The metric g_ik has the signature (+ − − −); γ_αβ = −g_αβ is the 3-dimensional space metric tensor. BKL use a system of units, in which the speed of light and the Einstein gravitational constant are equal to 1.
15. ^{{cite journal |last=Penrose |first=Roger |authorlink=Roger Penrose |title=Gravitational Collapse and Space-Time Singularities |journal=Physical Review Letters |volume=14 |issue= 3|pages=57–59 |year=1965 |doi=10.1103/PhysRevLett.14.57 |bibcode=1965PhRvL..14...57P}}
16. ^{{cite journal |last=Hawking |first=Stephen W. |authorlink=Stephen Hawking |title=Occurrence of Singularities in Open Universes |journal=Physical Review Letters |volume=15 |issue= 17|pages=689–690 |year=1965 |doi=10.1103/PhysRevLett.15.689 |bibcode=1965PhRvL..15..689H}}
17. ^{{cite journal |last=Hawking |first=Stephen W. |first2=G.F.R. |last2=Ellis |authorlink=Stephen Hawking |title=The Cosmic Black-Body Radiation and the Existence of Singularities in Our Universe |journal=Astrophysical Journal |volume=152 |issue= |pages=25 |year=1968 |doi=10.1086/149520 |bibcode=1968ApJ...152...25H}}
18. ^{{cite journal |last=Geroch |first=Robert P. |authorlink=Robert Geroch |title=Singularities in Closed Universes |journal=Physical Review Letters |volume=17 |issue= 8|pages=445–447 |year=1966 |doi=10.1103/PhysRevLett.17.445 |bibcode=1966PhRvL..17..445G}}
19. ^¹ {{cite journal |last1=Ashtekar |first1=Abhay |last2=Henderson |first2=Adam |last3=Sloan |first3=David |title=Hamiltonian formulation of the Belinskii-Khalatnikov-Lifshitz conjecture |journal=Physical Review D |year=2011 |volume=83 |issue=8 |page=084024 |doi=10.1103/PhysRevD.83.084024|arxiv=1102.3474 |bibcode=2011PhRvD..83h4024A }}
20. ^{{cite journal |last=Barrow|first=John D.|author2=Frank J. Tipler|title= Analysis of the generic singularity studies by Belinskii, Khalatnikov, and Lifshitz|journal=Physics Reports |volume=56 |issue= 7|pages= 371–402|year=1979 | doi = 10.1016/0370-1573(79)90097-8|bibcode=1979PhR....56..371B}}
21. ^{{cite journal |last=Barrow|first=John D.|author2=Frank J. Tipler|title= Generic singularity studies revisited|journal=Physics Letters|volume=82A |issue= 9|pages= 441–445|year=1981 | doi = 10.1016/B978-0-08-036364-6.50050-8}}
22. ^¹ {{cite journal |last1=Berger |first1=Beverly K. |title=Numerical Approaches to Spacetime Singularities |journal=Living Reviews in Relativity |date=14 January 2002 |volume=5 |issue=1 |pages=1 |doi=10.12942/lrr-2002-1|pmid=28179859 |pmc=5256073 |arxiv=gr-qc/0201056 |bibcode=2002LRR.....5....1B }}
23. ^{{cite journal| title = Numerical Simulations of Generic Singularities| last = Garfinkle| journal = Phys. Rev. Lett.| volume = 93| issue = 16| pages = 161101| year = 2004| doi = 10.1103/PhysRevLett.93.161101 | pmid = 15524970| arxiv = gr-qc/0312117| bibcode = 2004PhRvL..93p1101G}}
24. ^{{cite journal |last=Berger|first=Beverly|author2=Vincent Moncrief |title= Numerical investigation of cosmological singularities|journal=Physical Review D|volume=48 |issue= 10|pages= 4676–4687|year=1993 | doi = 10.1103/PhysRevD.48.4676|arxiv=gr-qc/9307032|bibcode=1993PhRvD..48.4676B}}
25. ^{{cite journal |last=Berger|first=Beverly|author2=David Garfinkle|author3=James Isenberg|author4=Vincent Moncrief|author5=Marsha Weaver |title= The singularity in generic gravitational collapse is spacelike, local, and oscillatory|journal=Modern Physics Letters A|volume=13 |issue=19|pages= 1565–1573|year=1998 | doi =10.1142/S0217732398001649|arxiv=gr-qc/9805063|bibcode=1998MPLA...13.1565B}}
26. ^{{cite journal |last=Weaver|first=Marsha|author2=James Isenberg|author3=Beverly K. Berger|title= Mixmaster behavior in inhomogeneous cosmological spacetimes|journal=Physical Review Letters|volume=80 |issue=14|pages= 2984–2987|year=1998 | doi = 10.1103/PhysRevLett.80.2984|arxiv=gr-qc/9712055|bibcode=1998PhRvL..80.2984W}}
27. ^{{cite journal |last=Andersson|first=Lars|author2=Alan D. Rendall|title= Quiescent cosmological singularities|journal=Communications in Mathematical Physics|volume=218 |issue=|pages= 479–511|year=2001 | doi = 10.1007/s002200100|doi-broken-date=2019-03-05}}
28. ^{{cite journal |last= Damour|first= Thibault|author2= Marc Henneaux |author3= Alan D. Rendall |author4= Marsha Weaver| title= Kasner-like behaviour for subcritical Einstein-matter systems|journal= Annales Henri Poincaré|volume= 3|issue=6|pages= 1049–1111|year=2002 | doi = 10.1007/s000230200000|bibcode= 2002AnHP....3.1049D|arxiv= gr-qc/0202069}}
29. ^{{cite journal |last=Berger|first=Beverly K.|author2=Vincent Moncrief|title= Numerical evidence that the singularity in polarized U(1) symmetric cosmologies on T³ × R is velocity dominated|journal=Physical Review D|volume=57 |issue=12|pages= 7235–7240|year=1998 | doi = 10.1103/PhysRevD.57.7235|arxiv=gr-qc/9801078|bibcode=1998PhRvD..57.7235B}}
30. ^{{cite journal |last=Berger|first=Beverly K.|author2=Vincent Moncrief|title= Signature for local Mixmaster dynamics in U(1) symmetric cosmologies|journal=Physical Review D|volume=62 |issue=123501|pages=123501|year=2000 | doi = 10.1103/PhysRevD.62.123501|arxiv=gr-qc/0006071|bibcode=2000PhRvD..62l3501B}}
31. ^{{cite journal |last=Garfinkle|first=David|title= Numerical simulations of general gravitational singularities|journal=Classical and Quantum Gravity|volume=24 |issue=12|pages=295–306|year=2007|doi = 10.1088/0264-9381/24/12/S19|arxiv=0808.0160|bibcode=2007CQGra..24S.295G}}
32. ^{{cite journal |last=Saotome|first=Ryo|author2=Ratindranath Akhoury|author3=David Garfinkle|title= Examining gravitational collapse with test scalar fields|journal=Classical and Quantum Gravity|volume=27 |issue=165019|pages=165019|year=2010|doi = 10.1088/0264-9381/27/16/165019|arxiv=1004.3569|bibcode=2010CQGra..27p5019S}}
33. ^{{Harvnb|Landau|Lifshitz|1988|loc=Section 98, The tetrad representation of the Einstein equations, eq. (98.14)}}
34. ^The expression for r is derived by logarithming the power coefficients in the metric: ln [t^2p_α(1/u)] = 2p_α(1/u) ln t.
35. ^{{cite journal |last=Kasner|first=Edward |authorlink=Edward Kasner |title= Geometrical Theorems on Einstein's Cosmological Equations|journal=American Journal of Mathematics |volume=43 |issue= 4|pages= 217–221|year=1921 | doi = 10.2307/2370192 |bibcode=1921AmJM...43..217K|jstor=2370192 }}
36. ^When (p₁, p₂, p₃) = (0, 0, 1) the spacetime metric {{EquationNote|eq. 1}} with dl² from {{EquationNote|eq. 2}} transforms to Galilean metric with the substitution t sh z = ζ, t ch z = τ, that is, the singularity is fictional and the spacetime is flat.
37. ^{{cite conference | last = Rugh | first = Svend E. | title = Chaos in the Einstein Equations -- characterization and importance? | location = Kananaskis, Alberta, Canada | book-title = Deterministic Chaos in General Relativity | publisher = Springer Science+Business Media New York | pages = 359–422 | date = 1994 | doi = 10.1007/978-1-4757-9993-4 | isbn = 978-1-4757-9995-8 }}
38. ^Bini, Cherubini & Jantzen 2007
39. ^Here and below all symbols for vector operations (vector products, the operations rot, grad, etc.) should be understood in a very formal way as operations over the covariant components of the vectors l, m, n such that are performed in Cartesian coordinates x¹, x², x³.
40. ^Excepting the case (p₁, p₂, p₃) = (0, 0, 1), in which the metric singularity is fictitious.
41. ^cf. {{cite book |last=Misner |first=Charles W. |author2=Kip S. Thorne|author3=John Archibald Wheeler |title=Gravitation |publisher=W.H. Freeman |year=1973 |location=San Francisco |isbn=978-0-7167-0334-1 |page=564}}
42. ^For an analysis of this case, see {{cite journal | last = Belinsky | first = Vladimir A. |author2=Khalatnikov, I.M. | authorlink = |title=A general solution of the gravitational equations with a simultaneous fictitious singularity | journal = JETP | volume = 49 | issue = 3 | pages = 1000| year = 1966| bibcode = 1966JETP...22..694B }}
43. ^{{cite journal | last = Khalatnikov | first = I.M. |author2=E.M. Lifshitz | title = General Cosmological Solution of the Gravitational Equations with a Singularity in Time | journal = Physical Review Letters | volume = 24 | issue = 2| pages = 76 | year = 1970 | doi = 10.1103/PhysRevLett.24.76 | bibcode=1970PhRvL..24...76K}}
44. ^¹ {{cite journal | last = Belinsky | first = Vladimir A. |author2=Khalatnikov, I.M. | authorlink = |title= On the nature of the singularities in the general solution of the gravitational equations | journal = JETP | volume = 56 | issue = | pages = 1700 | year = 1969}}
45. ^¹ {{cite journal | last = Lifshitz | first = Evgeny M. |author2=Khalatnikov, I.M. |title= Oscillatory mode of approach to a singularity in the open cosmological model | journal = JETP Letters | volume = 11 | issue = | pages = 200–203| year = 1970}}
46. ^{{Harvnb|Belinsky|Khalatnikov|Lifshitz|1970|loc=Appendix C}}
47. ^The constants λ, μ, ν are the so-called structural constants of the space movement group.
48. ^{{Harvnb|Lifshitz|Khalatnikov|1963|loc=Appendix C}}
49. ^In their exact form, the Einstein equations for homogeneous space contain, in general, 6 different functions of time γ_ab(t) in the metric. The fact that in the present case a consistent system of exact equations is obtained for the metric which contains only 3 functions of time (γ₁₁ = а², γ₂₂ = b², γ₃₃ = c²) is related to a symmetry that leads to the disappearance of 6 Ricci tensor components.
50. ^It should be reminded that BKL model the evolution in the direction t → 0; therefore, the "initial" conditions exist at later rather than at earlier times.
51. ^The asymptotic values of α_τ, β_τ, γ_τ at τ → −∞ can be found without fully solving {{EquationNote|eq. 29}}. It suffices to note that the first of these equations has a form of a "particle" moving in one dimension in the field of an exponential potential wall with α playing the role of a constant. In this analogy, the Kasner mode refers to a free movement with constant velocity α_τ = Λp₁. After reflection from the wall, the particle moves freely with velocity α_τ = −Λp₁. Also noting that from {{EquationNote|eq. 29}} α_τ + β_τ = const, and α_τ + γ_τ = const, one can see that β_τ and γ_τ take the values β_τ = Λ(p₂ − 2p₁), γ_τ = Λ(p₃ − 2p₁).
52. ^Introduction of non-diagonal components of γ_ab(t) imparts some new features to the BKL model: rotations of axes corresponding to the Kasner epoch powers; this problem is studied in {{cite journal | last = Belinsky | first = Vladimir A. |author2=Khalatnikov, I.M. |author3=Lifshitz, E.M. | authorlink = |title= The oscillatory mode of approach to a singularity in homogeneous cosmological models with rotating axes | journal = JETP | volume = 60 | issue = 6 | pages = 1969–1979 | year = 1971}}
53. ^The constant in the sine argument, of course, is not necessarily the same as ξ₀ in {{EquationNote|eq. 47}} and {{EquationNote|eq. 48}}; however, making them the same does not change in any way the solution character.
54. ^In a more precise calculation, a slowly changing logarithmic term appears in the sine argument, and a multiplier appears in front the exponent in the expression for с(ξ), see {{Harvnb|Belinsky|Khalatnikov|Lifshitz|1970|loc=Appendix B}}.
55. ^If in {{EquationNote|eq. 49}}, one substitutes sh 2χ with 2χ and solves it for all values of ξ, one obtains χ = c₁J₀(ξ) + c₂N₀(ξ) where J₀, N₀ are Bessel functions of the I and II kind. This solution interpolates between the two limiting cases and allows to relate by an order of magnitude the constant parameters in {{EquationNote|eq. 52}} and {{EquationNote|eq. 55}}.
56. ^{{cite journal | last = Taub | first = A.H. | title = Empty space-times admitting a three parameter group of motions | journal = Annals of Mathematics | volume = 53 | issue = 3 | pages = 472–490 | year = 1951 | doi= 10.2307/1969567 |mr=0041565 |jstor=1969567 |issn=0003-486X |series=Second Series}}
57. ^^1 2 3 {{cite journal | last = Lifshitz | first = E.M. |author2=I.M. Lifshitz|author3=I.M. Khalatnikov | title = Asymptotic analysis of oscillatory mode of approach to a singularity in homogeneous cosmological models | journal = JETP | volume = 59 | issue = | pages = 322 | year = 1970 }}
58. ^Since a, b, c have the dimension of length, their logarithms are defined only up to an additive constant which depends on the choice of the length units; in this sense {{EquationNote|eq. 63}} has a conditional meaning corresponding to a certain choice of the zero value of α, β, γ.
59. ^According to {{EquationNote|eq. 32}}, transitions are large with small |p₁| (i. e. large u) and are ≈1/|p₁| ~ u. But even in this case Δ_n ~ u_n |α_n| u_n
60. ^Fixing the limits of the era according to eq. {{EquationNote|eq. 64|64}} is meaningful because in such case the era contains all epochs in which the third function, γ(t) decreases monotonously. If the era is defined by the sequence of u values from k + x to 1 + x, then the monotonous decrease of γ(t) will continue during the first epoch of the next era.
61. ^Epoch lengths are great in comparison to transitions between epochs. According to {{EquationNote|eq. 33}} transition lengths are great at small |p₁| (i.e. large u) and are ∝ 1/|p₁| ∝ u. But even in this case Δ_n ∝ u_n|α_n| u_n.
62. ^{{EquationNote|Equation 74}} was known already to Gauss, and an equation of type {{EquationNote|eq. 73c}} was considered in this connection by Rodion Kuzmin (see Gauss–Kuzmin distribution). Further information on the chaotic behaviour and entropy of continued fractions in Linas Vepstas. 2008. Entropy of Continued Fractions (Gauss-Kuzmin Entropy)
63. ^¹ {{cite journal | last = Khalatnikov | first = Isaak M. |author2=Lifshitz, E.M. | author3=Khanin, K.M. |author4=Shchur, L.N. |author5=Sinai, Ya.G. |title=On the stochasticity in relativistic cosmology | journal = Journal of Statistical Physics | volume = 38 | issue = 1–2 |pages=97–114 |year = 1985|bibcode=1985JSP....38...97K |doi=10.1007/BF01017851 }}
64. ^{{cite journal | last = Chernoff | first = David F. |author2=Barrow, J.D. |title=Chaos in the Mixmaster Universe | journal = Physical Review Letters | volume = 50 | issue = 2 |pages=134–137 |year = 1983|bibcode = 1983PhRvL..50..134C |doi = 10.1103/PhysRevLett.50.134 }}
65. ^The plot of the function P(δ) in Fig. 2 in Lifshitz, Lifshitz, Khalatnikov (1970) is incorrect for several reasons. Apparently some errors were admitted in preparing the program for numerical solution of the integral equation. Also a "forced" reduction of the values P(0) and P(1) was performed in view of the incorrect footnote in Lifshitz, Lifshitz, Khalatnikov (1970), Sec. 4. It is to be emphasized that the finite probability of the value δ = 0 does not mean the possibility of the initial amplitude of oscillation becoming zero (which would be in contradiction to the regular course of evolution shown in Fig. 4). Indeed it is seen from {{EquationNote|eq. 78}} that δ_s+1 tends to zero with x_s → 0 proportional to x_s; but the amplitude is given by the product δ_s+1Ω_s+1, which tends to a finite limit since the expression {{EquationNote|eq. 77}} contains a term with 1/x_s.
66. ^{{Harvnb|Belinsky|Khalatnikov|Lifshitz|1970|loc=Appendix A}}
67. ^^1 2 3 {{cite journal | last = Belinsky | first = V.A. |author2=I.M. Khalatnikov | title = General solution of the gravitational equations with a physical oscillatory singularity | journal = JETP | volume = 59 | issue = | pages = 314 | year = 1970 | bibcode = 1971JETP...32..169B }}
68. ^Note that this metric allows arbitrary transformations of type ξ′ + z″ = f₁ (ξ + z), ξ′ − z′ = f₂ (ξ − z), x′^a = f^a (x¹, x²).
69. ^The equation is a direct result of {{EquationNote|eqs. 97}}–{{EquationNote|99}} if or . The case does not require a special treatment: it can be shown that the spacetime metric in this case converges (in first approximation) to Galilean.
70. ^{{cite journal | last = Einstein | first = Albert |author2=Nathan Rosen | title = On gravitational waves | journal = Journal of the Franklin Institute | volume = 223 | issue = 1| pages = 43–54 | year = 1937 | doi = 10.1016/S0016-0032(37)90583-0 | bibcode=1937FrInJ.223...43E}}
71. ^{{cite journal | last = Bondi | first = Herman |author2=Pirani, F.A.E. |author3=Robinson, I. | title = Gravitational Waves in General Relativity. III. Exact Plane Waves | journal = Proceedings of the Royal Society of London. Series A, Mathematical and Physical Sciences | volume = 251 | issue = 1267| pages = 519–533 | year = 1959 |jstor =100727| bibcode = 1959RSPSA.251..519B | doi = 10.1098/rspa.1959.0124 }}
72. ^{{Harvnb|Landau|Lifshitz|1988 |loc=Classical Field Theory, Ch. 109}}
73. ^It is possible to look for a solution in the form of Fourier integrals; this issue has not been studied in detail. Therefore, BKL do not require Fourier series decomposition as a mandatory condition for the coordinate dependence of functions σ and φ
74. ^^1 2 {{cite journal | last = Belinsky | first = V.A. |author2=I.M. Khalatnikov | title = General solution of the gravitational equations with a physical singularity | journal = JETP | volume = 57 | issue = | pages = 2163 | year = 1969 }}
75. ^Squared H terms in {{EquationNote|eq. 103}} result only in small (≈1/ξ) corrections in σ and φ. Calculation with cubic terms leads to appearance of a weak dependence of A, B from ξ that can be presented as an appearance of logarithmic phases in the oscillating factors in {{EquationNote|eq. 115}}. These calculations for the case ρ = 0 are given in {{Harvtxt|Belinsky|Khalatnikov|1970|loc=Appendix B}} (cf. the analogous situation for homogeneous models, {{Harvtxt|Belinsky|Khalatnikov|Lifshitz|1970|loc=Appendix B}}).
76. ^The regular decomposition of the general solution of Einstein equations contains (in addition to the four three-dimensional functions) three independent functions of two coordinates (cf. {{Cite book |last=Petrov |first=Alexey Z. |author-link=Aleksei Zinovyevich Petrov |title=Einstein Spaces |place=Oxford |publisher=Pergamon Press |year=1969 |isbn=978-0-08-012315-8 }}, Chapter 40; {{Harvtxt|Lifshitz|Khalatnikov|1963|loc=Appendix A}})
77. ^{{cite journal | last = Belinsky | first = V.A. | title = Turbulence of a Gravitational Field near a Cosmological Singularity | journal = JETP Letters | volume = 56 | issue = 9 | pages = 437–440 | year = 1992 }}
78. ^{{cite journal |last=Misner |first= Ch. W. |year=1969 |title= Mixmaster Universe|journal=Physical Review Letters |volume=22 |issue= 20|pages=1071–1074 |doi=10.1103/PhysRevLett.22.1071 |bibcode=1969PhRvL..22.1071M}}
79. ^{{Harvnb|Landau|Lifshitz|1988|loc=Classical Field Theory, Ch. 103–105}}

References

• {{Cite journal

}}; English translation in {{cite journal

• {{Cite journal

}}; English translation in {{cite journal

• {{Cite book

}} Vol. 2 of the Course of Theoretical Physics.

• {{cite journal

• {{Cite journal

• {{Cite book

• {{cite journal

• {{Cite journal

• {{Cite journal

• {{Cite journal

• {{Cite journal

• {{Cite journal

• {{Cite journal

• List of awards and nominations received by J. Cole
• List of awards and nominations received by Jeet
• List of awards and nominations received by Jenna Jameson
• List of awards and nominations received by Jennifer Garner
• List of awards and nominations received by Jesse Eisenberg
• List of awards and nominations received by Jimmy Lifton
• List of awards and nominations received by Jinny Ng
• List of awards and nominations received by JJ Lin
• List of awards and nominations received by J. K. Simmons
• List of awards and nominations received by Joan Sebastian
• List of awards and nominations received by John Abraham (actor)
• List of awards and nominations received by John C. Reilly
• List of awards and nominations received by John Lithgow
• List of awards and nominations received by Jonah Hill
• List of awards and nominations received by Jonas Blue
• List of awards and nominations received by Jon Hamm
• List of awards and nominations received by Jony Ive
• List of awards and nominations received by Josh Hutcherson
• List of awards and nominations received by José Padilha
• List of awards and nominations received by Julian Casablancas
• List of awards and nominations received by Julianna Margulies
• List of awards and nominations received by Julie Andrews
• List of awards and nominations received by Julie Anne San Jose
• List of awards and nominations received by Justin Hurwitz
• List of awards and nominations received by Kalki Koechlin