View source for General Relativity/BKL singularity

A BKL (Belinsky-[[w:Isaak Markovich Khalatnikov|Khalatnikov]]-[[w:Evgeny Lifshitz|Lifshitz]]) singularity<ref name="BKL">{{Citation |last=Belinsky |first=Vladimir A.|first2=Isaak M.|last2=Khalatnikov |first3=Evgeny M.|last3=Lifshitz|author2-link=w:Isaak Markovich Khalatnikov |author3-link=w:Evgeny Lifshitz |title=Колебательный режим приближения к особой точке в релятивистской космологии |journal=Uspekhi Fizicheskikh Nauk (Успехи Физических Наук) |volume=102(3) |issue=11 |pages=463–500 |year=1970 |url=http://ufn.ru/ru/articles/1970/11|}};  English translation in {{cite journal |title=Oscillatory Approach to a Singular Point in the Relativistic Cosmology |journal=Advances in Physics |volume=19 |pages=525–573 |year=1970 |doi=10.1080/00018737000101171 |author=Belinskii, V.A.}}</ref> is a model of the dynamic evolution of the [[w:Universe|Universe]] near the [[w:gravitational singularity|initial singularity]], described by an [[w:anisotropic|anisotropic]], [[w:homogeneous|homogeneous]], [[w:chaos (physics)|chaotic]] [[w:Solutions of the Einstein field equations|solution]] to [[w:Einstein field equation|Einstein's field equations]] of gravitation. According to this model, the Universe is oscillating ([[w:Cosmic inflation|expanding]] and contracting) around a singular point ([[w:Gravitational singularity|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 [[w:solutions of the Einstein field equations|solution]], and will appear also in the [[w:Exact solutions in general relativity|exact solution]] of those equations. The singularity is not artificially created by the assumptions and simplifications made by the other well-known special [[w:solutions of the Einstein field equations|solution]]s such as the [[w:FRW|Friedmann-Lemaître-Robertson-Walker]], quasi-isotropic, and [[w:Kasner metric|Kasner]] solutions.

The [[w:Mixmaster universe|Mixmaster universe]] is a solution to [[w:general relativity|general relativity]] that exhibits properties similar to those discussed by BKL.
==Existence of time singularity==
The basis of modern cosmology are the special [[w:Solutions of the Einstein field equations|solutions of Einstein's field equations]] found by [[w:Alexander Friedmann|Alexander Friedmann]] in 1922 and 1924 that describe a completely homogeneous and isotropic Universe with any  of two possible topologies corresponding to a space with a constant positive curvature ("closed model") or a constant negative curvature ("open model). The principal property of these [[w:Friedmann equations|solutions]] is their non-static nature. The concept of an [[w:cosmic inflation|inflating Universe]] that arises from [[w:Friedmann-Lemaître-Robertson-Walker|
Friedmann's solutions]] received a brilliant confirmation with the red-shift phenomenon discovered by E. Hubble and the present consensus is that the [[w:Big Bang|isotropic model]], in general, gives an adequate description of the present state of the Universe.

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 upon transition to smaller scales. On the other hand, the homogeneity assumption goes very far in a mathematical aspect. The high symmetry of the solution related to homogeneity can bring about specific properties that disappear when considering a more general case.

A related issue is how general is another important property of the isotropic model&nbsp;— the existence of a [[w:Gravitational singularity|time singularity]] in the [[w:Metric tensor (general relativity)|spacetime metric]]. In other words, the existence of such time singularity means [[w:Arrow of time|finiteness of time]]. In the open model, there is one time singularity so time is limited from one end while in the closed model there are two singularities that limit time in both ends.

The adequacy of the isotropic model in describing the present state of the Universe by itself is not a reason to expect that it is so adequate in describing the early stages of [[w:cosmic evolution|Universe evolution]]. The problem initially addressed by the BKL paper<ref name="BKL" /> is whether the existence of such time singularity is a necessary property of relativistic [[w:cosmological model|cosmological model]]s. There is the possibility that the singularity is generated by the simplifying assumptions, made when constructing these models. Independence of singularity on assumptions would mean that time singularity exists not only in the particular but also in the general solutions of the Einstein equations. A criterion for generality of solutions is the number of arbitrary space coordinate functions that they contain. These include only the "physically arbitrary" functions whose number cannot be reduced by any choice of [[w:reference frame|reference frame]]. In the general solution, the number of such functions must be sufficient for arbitrary definition of [[w:initial conditions|initial conditions]] (distribution and movement of matter, distribution of gravitational field) in some moment of time chosen as initial. This number is four for vacuum and eight for a matter and/or radiation filled space.<ref name= "LK">Lifshitz, Khalatnikov (1963)</ref><ref name="LL">Landau, Lifshitz (1988), Section 97, Synchronous reference frame</ref>

For a system of non-linear [[w:differential equations|differential equations]], such as the Einstein equations, 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 arbitrary 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 also of other general solutions that do not contain a singularity. For example, there is no reason to doubt the existence of a general solution without 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 [[w:Riemann curvature tensor|Riemann curvature tensor]] become infinite. The BKL paper<ref name="BKL" /> concerns only the cosmological aspect. This means, that the subject is a time singularity in the whole spacetime and not in some limited region as in a [[w:gravitational collapse|gravitational collapse]] of a finite body.

Previous work by the Landau-Lifshitz group<ref>{{cite journal | last = Lifshitz | first = Evgeny M.  | authorlink = w:Evgeny Lifshitz  | coauthors = I.M. Khalatnikov  |title= | journal = Zhurnal' Eksperimental'noy i Teoreticheskoy Fiziki  | volume = 39  | issue =  | pages = 149  | publisher =  | location =  | date = 1960  | url =  | doi =  | id =  | accessdate = }}</ref><ref>{{cite journal | last = Lifshitz | first = Evgeny M. | authorlink = w:Evgeny Lifshitz | coauthors = I.M. Khalatnikov | title = | journal = Zhurnal' Eksperimental'noy i Teoreticheskoy Fiziki | volume = 39 | issue = | pages = 800 | publisher = | location = | date = 1960 | url = | doi = | id = | accessdate = }}</ref><ref name="LSudK">{{cite journal | last = Lifshitz | first = Evgeny M. | authorlink = w:Evgeny Lifshitz | coauthors = V.V. Sudakov and I.M. Khalatnikov | title = | journal = Zhurnal' Eksperimental'noy i Teoreticheskoy Fiziki | volume = 40 | issue = | pages = 1847 | publisher = | location = | date = 1961 | url = | doi = | id = | accessdate = }}; Phys. Rev. Letts., '''6''', 311 (1961)</ref> (reviewed in <ref name = "LK" />) led to a conclusion that the general solution does not contain a physical singularity. This search for a broader class of solutions with singularity has been done, essentially, by a trial-and-error method, since a systemic approach to the study of the Einstein equations is 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.

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. At that time, the only known indication was related to the form of Einstein equations written in a synchronous reference frame, that is, in a frame in which the interval element is
:<math>ds^2 = dt^2 - dl^2 , dl^2 = \gamma_{\alpha \beta} dx^{\alpha} dx^{\beta}\,</math>    (eq. 1)

where the space distance element ''dl'' is separate from the time interval ''dt'', and ''x''<sup>0</sup> = ''t'' is the proper time synchronized throughout the whole space.<ref>The convention used by BKL is the same as in the 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<sub>ik</sub>'' has the signature (+ − − −); γ<sub>αβ</sub> = − ''g''<sub>αβ</sub> 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.</ref> The Einstein equation <math>\scriptstyle{R_0^{0}=T_0^{0}-\frac{1}{2}T}</math> 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.<ref name="LK" /><ref name="LL" />

This indication, however, was dropped after it became clear that it is linked with a specific geometric property of the synchronous frame: 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.<ref name="LSudK" /> Therefore, although this singularity is general, it is fictitious, and not a physical one; it disappears when the reference frame is changed. This, apparently, stopped the incentive for further investigations.

However, the interest in this problem waxed again after [[w:Roger Penrose|Penrose]] published his theorems<ref>{{cite journal | last = Penrose | first = Roger | authorlink = w:Roger Penrose |title= | journal = Physical Review Letters  | volume = 14  | issue =  | pages = 57  | publisher =  | location =  | date = 1965  | url =  | doi =  | id =  | accessdate = }}</ref> 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 [[w:Stephen Hawking|Hawking]]<ref>{{cite journal | last = Hawking | first = Stephen W. | authorlink = w:Stephen Hawking |title= | journal = Physical Review Letters  | volume = 15  | issue =  | pages = 689 | date = 1965 }}</ref><ref>{{cite journal | last = Hawking | first = Stephen W. |first2=G.F.R. |last2=Ellis | authorlink = w:Stephen Hawking |title= | journal = Astrophysical Journal | volume = 152  | issue =  | pages = 25 | date = 1968 }}</ref> and [[w:Robert Geroch|Geroch]]<ref>{{cite journal | last = Geroch | first = Robert P. | authorlink = w:Robert Geroch |title= | journal = Physical Review Letters  | volume = 17  | issue =  | pages = 445 | date = 1966}}</ref> (see [[w:Penrose-Hawking singularity theorems|Penrose-Hawking singularity theorems]]). It became clear that the search for a general solution with singularity must continue.
==Generalized Kasner solution==
Further generalization of solutions depended on some solution classes found previously. The Friedmann solution, for example, is a special case of a solution class that contains three physically arbitrary coordinate functions.<ref name = "LK" /> In this class the space is anisotropic; however, its compression when approaching the singularity has "quasi-isotropic" character: the linear distances in all directions diminish as the same power of time. Like the fully homogeneous and isotropic case, this class of solutions exist only for a matter-filled space.

Much more general solutions are obtained by a generalization of an exact particular solution derived by [[w:Edward Kasner|Kasner]]<ref>{{cite journal | last = Kasner | first = Edward | authorlink = w:Edward Kasner |title= | journal = American Journal of Mathematics  | volume = 43  | issue =  | pages = | date = 1921}}</ref> for a field in vacuum, in which the space is homogeneous and has Euclidean metric that depends on time according to the [[w:Kasner metric|Kasner metric]]
:<math>dl^2=t^{2p_1}dx^2+t^{2p_2}dy^2+t^{2p_3}dz^2</math>  (eq. 2)

(see <ref>Landau, Lifshitz (1988), Section 117, Flat anisotropic model</ref>). Here, ''p''<sub>1</sub>, ''p''<sub>2</sub>, ''p''<sub>3</sub> are any 3 numbers that are related by
:<math>p_1+p_2+p_3=p_1^2+p_2^2+p_3^2=1.</math>  (eq. 3)

Because of these relationships, only 1 of the 3 numbers is independent. All 3 numbers are never the same; 2 numbers are the same only in the sets of values <math>\scriptstyle{(-\frac {1}{3},\frac{2}{3},\frac {2}{3})}</math> and (0, 0, 1).<ref>When (''p''<sub>1</sub>, ''p''<sub>2</sub>, ''p''<sub>3</sub>) = (0, 0, 1) the spacetime metric (eq. 1) with ''dl''<sup>2</sup> from (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.</ref> In all other cases the numbers are different, one number is negative and the other two are positive. If the numbers are arranged in increasing order, ''p''<sub>1</sub> < ''p''<sub>2</sub> < ''p''<sub>3</sub>, they change in the ranges
:<math>-\frac {1}{3} \le p_1 \le 0,\ 0 \le p_2 \le \frac{2}{3},\ \frac{2}{3} \le p_3 \le 1.</math> (eq. 4)

The numbers ''p''<sub>1</sub>, ''p''<sub>2</sub>, ''p''<sub>3</sub> can be written parametrically as
:<math>p_1(u)=\frac {-u}{1+u+u^2},\ p_2(u)=\frac {1+u}{1+u+u^2},\ p_3(u)=\frac {u(1+u)}{1+u+u^2}</math> (eq. 5)

All different values of ''p''<sub>1</sub>, ''p''<sub>2</sub>, ''p''<sub>3</sub> ordered as above are obtained by changing the value of the parameter ''u'' in the range ''u'' ≥ 1. The values ''u'' < 1 are brought into this range according to
:<math>p_1 \left( \frac {1}{u} \right )=p_1(u),\ p_2 \left( \frac {1}{u} \right )=p_3(u),\ p_3 \left( \frac {1}{u} \right )=p_2(u)</math> (eq. 6)
[[Image:Bkl fig1.svg|250px|left|thumb|Figure 1]]
Figure 1 is a plot of ''p''<sub>1</sub>, ''p''<sub>2</sub>, ''p''<sub>3</sub> with an argument 1/''u''. The numbers ''p''<sub>1</sub>(''u'') and
''p''<sub>3</sub>(''u'') are monotonously increasing while ''p''<sub>2</sub>(''u'') is monotonously decreasing function of the parameter ''u''.

In the generalized solution, the form corresponding to (eq. 2) applies only to the asymptotic metric (the metric close to the singularity ''t'' = 0), respectively, to the major terms of its series expansion by powers of ''t''. In the synchronous reference frame it is written in the form of (eq. 1) with a space distance element
:<math>dl^2=(a^2l_{\alpha}l_{\beta}+b^2m_{\alpha}m_{\beta}+c^2n_{\alpha}n_{\beta})dx^{\alpha}dx^{\beta}\,</math> (eq. 7)

where <math>a=t^{p_l},\ b=t^{p_m},\ c=t^{p_n}</math> (eq. 8)

The three-dimensional vectors '''l''', '''m''', '''n''' define the directions at which space distance changes with time by the power laws (eq. 8). These vectors, as well as the numbers ''p<sub>l</sub>'', ''p<sub>m</sub>'', ''p<sub>n</sub>'' which, as before, are related by (eq. 3), are functions of the space coordinates. The powers ''p<sub>l</sub>'', ''p<sub>m</sub>'', ''p<sub>n</sub>'' are not arranged in increasing order, reserving the symbols ''p''<sub>1</sub>, ''p''<sub>2</sub>, ''p''<sub>3</sub> for the numbers in (eq. 5) that remain arranged in increasing order. The determinant of the metric of (eq. 7) is
:<math>-g=a^2b^2c^2v^2=t^2v^2 \,</math> (eq. 9)

where ''v'' = '''l'''['''mn''']. It is convenient to introduce the following quantitities <ref>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''<sup>1</sup>, ''x''<sup>2</sup>, ''x''<sup>3</sup>.</ref>
:<math>\lambda=\frac{\mathbf{l}\ \mathrm{rot}\ \mathbf{l}}{v},\ \mu=\frac{\mathbf{m}\ \mathrm{rot}\ \mathbf{m}}{v},\ \nu=\frac{\mathbf{n}\ \mathrm{rot}\ \mathbf{n}}{v}.</math> (eq. 10)

The space metric in (eq. 7) is anisotropic because the powers of ''t'' in (eq. 8) cannot have the same values. On approaching the singularity at ''t'' = 0, the linear distances in each space element decrease in two directions and increase in the third direction. The volume of the element decreases in proportion to ''t''.

The Einstein equations in vacuum in synchronous reference frame are<ref name="LK" /><ref name="LL" />
:<math>R_0^0=-\frac{1}{2}\frac{\partial \varkappa_{\alpha}^{\alpha}}{\partial t}-\frac{1}{4} \varkappa_{\alpha}^{\beta} \varkappa_{\beta}^{\alpha}=0,</math> (eq. 11)
:<math>R_{\alpha}^{\beta}=-\left ( \frac{1}{2}\sqrt{-g} \right ) \frac{\partial}{\partial t} \left (\sqrt{-g} \varkappa_{\alpha}^{\beta} \right )-P_{\alpha}^{\beta}=0,</math> (eq. 12)
:<math>R_{\alpha}^{0}=\frac{1}{2} \left (\varkappa_{\alpha;\beta}^{\beta}- \varkappa_{\beta;\alpha}^{\beta}\right )=0,</math> (eq. 13)

where <math>\scriptstyle{\varkappa_{\alpha}^{\beta}}</math> is the 3-dimensional tensor <math>\scriptstyle{\varkappa_{\alpha}^{\beta}=\frac{\partial \gamma_{\alpha}^{\beta}}{\partial t}}</math>, and ''P''<sub>αβ</sub> is the 3-dimensional Ricci tensor, which is expressed by the 3-dimensional metric tensor γ<sub>αβ</sub> in the same way as ''R<sub>ik</sub>'' is expressed by ''g<sub>ik</sub>''; ''P''<sub>αβ</sub> contains only the space (but not the time) derivatives of γ<sub>αβ</sub>.

The Kasner metric is introduced in the Einstein equations by substituting the respective metric tensor γ<sub>αβ</sub> from (eq. 7) without defining ''a priori'' the dependence of ''a'', ''b'', ''c'' from ''t'':
:<math>\varkappa_{\alpha}^{\beta}=\left ( \frac{2 \dot a}{a} \right )l_{\alpha}l^{\beta}+\left ( \frac{2 \dot b}{b} \right )m_{\alpha}m^{\beta}+\left ( \frac{2 \dot c}{c} \right )n_{\alpha}n^{\beta}</math>

where the dot above a symbol designates differentiation with respect to time. The Einstein equation (eq. 11) takes the form
:<math>-R_0^0=\frac{\ddot a}{a}+\frac{\ddot b}{b}+\frac{\ddot c}{c}=0.</math> (eq. 14)

All its terms are to a second order for the large (at ''t'' → 0) quantity 1/''t''. In the Einstein equations (eq. 12), terms of such order appear only from terms that are time-differentiated. If the components of ''P''<sub>αβ</sub> do not include terms of order higher than 2, then
:<math>-R_l^l=\frac{(\dot a b c)\dot{ }}{abc}=0,\ -R_m^m=\frac{(a \dot b c)\dot{ }}{abc}=0,\ -R_n^n=\frac{(a b \dot c)\dot{ }}{abc}=0</math> (eq. 15)

where indices ''l'', ''m'', ''n'' designate tensor components in the directions '''l''', '''m''', '''n'''.<ref name = "LK" /> These equations together with (eq. 14) give the expressions (eq. 8) with powers that satisfy (eq. 3).

However, the presence of 1 negative power among the 3 powers ''p<sub>l</sub>'', ''p<sub>m</sub>'', ''p<sub>n</sub>'' results in appearance of terms from ''P''<sub>αβ</sub> with an order greater than ''t''<sup>−2</sup>. If the negative power is ''p<sub>l</sub>'' (''p<sub>l</sub>'' = ''p''<sub>1</sub> < 0), then ''P''<sub>αβ</sub> contains the coordinate function λ and (eq. 12) become

:<math>\begin{align}
 -R_l^l & =\frac{(\dot a b c)\dot{ }}{abc}+\frac{\lambda^2 a^2}{2b^2 c^2}=0,\\
 -R_m^m & =\frac{(a \dot b c)\dot{ }}{abc}-\frac{\lambda^2 a^2}{2b^2 c^2}=0,\\
 -R_n^n & =\frac{(a b \dot c)\dot{ }}{abc}-\frac{\lambda^2 a^2}{2b^2 c^2}=0.\\
\end{align}</math> (eq. 16)

Here, the second terms are of order ''t''<sup>−2(''p<sub>m</sub>'' + ''p<sub>n</sub>'' − ''p<sub>l</sub>'')</sup> whereby ''p<sub>m</sub>'' + ''p<sub>n</sub>'' − ''p<sub>l</sub>'' = 1 + 2 |''p<sub>l</sub>''| > 1.<ref>Excepting the case (''p''<sub>1</sub>, ''p''<sub>2</sub>,  ''p''<sub>3</sub>) = (0, 0, 1), in which the metric singularity is fictitious.</ref> To remove these terms and restore the metric (eq. 7), it is necessary to impose on the coordinate functions the condition λ = 0.

The remaining 3 Einstein equations (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 (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<sub>l</sub>'', ''p<sub>m</sub>'', ''p<sub>n</sub>'', which are bound by the conditions (eq. 3)). When calculating the number of physically arbitrary functions, it must be taken into account that the synchronous system used here allows time-independent arbitrary transformations of the 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 (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. These movement laws are the hydrodynamic equations
:<math>\frac{1}{\sqrt{-g}}\frac{\partial}{\partial x^i} \left (\sqrt{-g}\sigma u^i \right ) = 0,</math> (eq. 17)
:<math>(p+\varepsilon) u^k \left \{ \frac{\partial u_i}{\partial x^k}-\frac{1}{2} u^l \frac{\partial g_{kl}}{\partial x^i} \right \rbrace =-\frac{\partial p}{\partial x^i}-u_i u^k \frac{\partial p}{\partial x^k},</math> (eq. 18)

where ''u<sup> i</sup>'' is the 4-dimensional velocity, ε and σ are the densities of energy and entropy of matter.<ref>cf. {{cite book
  | last = Misner
  | first = Charles W.
  | authorlink = 
  | coauthors = Kip S. Thorne and John Archibald Wheeler
  | title = Gravitation
  | publisher = W.H. Freeman and Company
  | date = 1973
  | location = San Francisco
  | url = 
  | doi = 
  | id = 
  | isbn = 0-7167-0334-3
  | page = 564}}</ref> For the ultrarelativistic equation of state ''p'' = ε
/3 the entropy σ ~ ε<sup>1/4</sup>. The major terms in (eq. 17) and (eq. 18) are those that contain time derivatives. From (eq. 17) and the space components of (eq. 18) one has
:<math>\frac{\partial}{\partial t} \left (\sqrt{-g} u_0 \varepsilon^{\frac{3}{4}} \right ) = 0,\ 4 \varepsilon \cdot \frac{\partial u_{\alpha}}{\partial t}+u_{\alpha} \cdot \frac{\partial \varepsilon}{\partial t} = 0,</math>

resulting in
:<math>abc u_0 \varepsilon^{\frac{3}{4}}= \mathrm{const},\ u_{\alpha} \varepsilon^{\frac{1}{4}}= \mathrm{const},</math> (eq. 19)

where 'const' are time-independent quantities. Additionally, from the identity ''u<sub>i</sub>u<sup>i</sup>'' = 1 one has (because all covariant components of ''u''<sub>α</sub> are to the same order)
:<math>u_0^2 \approx u_n u^n = \frac{u_n^2}{c^2},</math>

where ''u<sub>n</sub>'' is the velocity component along the direction of '''n''' that is connected with the highest (positive) power of ''t'' (supposing that ''p<sub>n</sub>'' = ''p''<sub>3</sub>). From the above relations, it follows that
:<math>\varepsilon \sim \frac{1}{a^2 b^2},\ u_{\alpha} \sim \sqrt{ab}</math> (eq. 20)

or
:<math>\varepsilon \sim t^{-2(p_1+p_2)}=t^{-2(1-p_3)},\ u_{\alpha} \sim t^{\frac{(1-p_3)}{2}}.</math> (eq. 21)

The above equations can be used to confirm that the components of the matter stress-energy-momentum tensor standing in the right hand side of the equations
:<math>R_0^0 = T_0^0 - \frac{1}{2}T,\ R_{\alpha}^{\beta} = T_{\alpha}^{\beta}- \frac{1}{2}\delta_{\alpha}^{\beta}T,</math>

are, indeed, to a lower order by 1/''t'' than the major terms in their left hand sides. In the equations <math>\scriptstyle{R_{\alpha}^0 = T_{\alpha}^0}</math> the presence of matter results only in the change of relations imposed on their constituent coordinate functions.<ref name="LK" />

The fact that ε becomes infinite by the law (eq. 21) confirms that in the solution to (eq. 7) one deals with a physical singularity at any values of the powers ''p''<sub>1</sub>, ''p''<sub>2</sub>, ''p''<sub>3</sub> 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 <ref name="LK" />, a synchronous reference frame can always be chosen in such 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''.<ref>For an analysis of this case, see {{cite journal | last = Belinsky | first = Vladimir A. |coauthors=Khalatnikov, I.M. | authorlink = |title= | journal = Zhurnal' Eksperimental'noy i Teoreticheskoy Fiziki  | volume = 49  | issue =  | pages = 1000| date = 1965}}</ref>
==Oscillating mode towards the singularity==
The four conditions that had to be imposed on the coordinate functions in the solution (eq. 7) are of different types: three conditions that arise from the equations <math>\scriptstyle{R_{\alpha}^0}</math> = 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 (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.<ref name="BKL" /><ref>{{cite journal
  | last = Khalatnikov
  | first = I.M.
  | coauthors = E.M. Lifshitz
  | title = 
  | journal = Physical Review Letters
  | volume = 24
  | issue = 
  | pages = 76
  | date = 1970
  }}</ref><ref name="BK">{{cite journal | last = Belinsky | first = Vladimir A. |coauthors=Khalatnikov, I.M. | authorlink = |title= | journal = Zhurnal' Eksperimental'noy i Teoreticheskoy Fiziki  | volume = 56  | issue =  | pages = 1700| date = 1969}}</ref><ref name="LK1" >{{cite journal | last = Lifshitz | first = Evgeny M. |coauthors=Khalatnikov, I.M. | authorlink = |title= | journal = Pis'ma Zhurnalya Eksperimental'noy i Teoreticheskoy Fiziki  | volume = 11  | issue =  | pages = 200| date = 1970}}</ref> 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 [[w:homogeneous space|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 [[w:Luigi Bianchi|Bianchi]], in [[w:Bianchi classification|9 classes]].<ref>Belinsky, Khalatnikov, Lifshitz (1970), Appendix C</ref> BKL investigate only spaces of Bianchi Types VIII and IX.

If the metric has the form of (eq. 7), for each type of homogeneous spaces exists some functional relation between the reference vectors '''l''', '''m''', '''n''' and the space coordinates. The specific form of this relation is not important. The important fact is that for Type VIII and IX spaces, the quantities λ, μ, ν (eq. 10) are constants while all "mixed" products '''l''' rot '''m''', '''l''' rot '''n''', '''m''' rot '''l''', ''etc''. are zeros. For Type IX spaces, the quantities λ, μ, ν have the same sign and one can write λ = μ = ν = 1
(the simultaneous sign change of the 3 constants does not change anything). For Type VIII spaces, 2 constants have a sign that is opposite to the sign of the third constant; one can write, for example, λ = − 1, μ = ν = 1.<ref>The constants λ, μ, ν are the so-called structural constants of the space movement group.</ref>

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<ref>Lifshitz, Khalatnikov (1963), Appendix C</ref>
:<math>\begin{align}
 -R_l^l & =\frac{\left(\dot a b c\right)\dot{ }}{abc}+\frac{1}{2}\left (a^2b^2c^2\right )\left [\lambda^2 a^4-\left (\mu b^2-\nu c^2\right )^2\right ]=0,\\
 -R_m^m & =\frac{(a \dot{b} c)\dot{ }}{abc}+\frac{1}{2}\left(a^2b^2c^2\right )\left [\mu^2 b^4-\left(\lambda a^2-\nu c^2\right)^2\right]=0,\\
 -R_n^n & =\frac{\left(a b \dot c\right)\dot{ }}{abc}+\frac{1}{2}\left(a^2b^2c^2\right)\left[\nu^2 c^4-\left(\lambda a^2-\mu b^2\right)^2\right]=0,\\
\end{align}</math> (eq. 22)
:<math>-R_0^0=\frac{\ddot a}{a}+\frac{\ddot b}{b}+\frac{\ddot c}{c}=0</math> (eq. 23)

(the remaining components <math>\scriptstyle{R_l^0}</math>, <math>\scriptstyle{R_m^0}</math>, <math>\scriptstyle{R_n^0}</math>, <math>\scriptstyle{R_l^m}</math>, <math>\scriptstyle{R_l^n}</math>, <math>\scriptstyle{R_m^n}</math> are identically zeros). These equations contain only functions of time; this is a condition that has to be fulfilled in all homogeneous spaces. Here, the (eq. 22) and (eq. 23) are exact and their validity does not depend on how near one is to the singularity at ''t'' = 0.<ref>In their exact form, the Einstein equations for homogeneous space contain, in general, 6 different functions of time γ<sub>''ab''</sub>(''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 (γ<sub>11</sub> = ''а''<sup>2</sup>, γ<sub>22</sub> = ''b''<sup>2</sup>, γ<sub>33</sub> = ''c''<sup>2</sup>) is related to a symmetry that leads to the disappearance of 6 Ricci tensor components.</ref>

The time derivatives in (eq. 22) and (eq. 23) take a simpler form if ''а'', ''b'', ''с'' are substituted by their logarithms α, β, γ:
:<math>a=e^\alpha,\ b=e^\beta,\ c=e^\gamma,</math> (eq. 24)
substituting the variable ''t'' for τ according to:
:<math>dt=abc\ d\tau\,</math> (eq. 25).
Then:
:<math>\begin{align}
 2\alpha_{\tau\tau} & =\left (\mu b^2-\nu c^2\right )^2-\lambda^2 a^4=0,\\
 2\beta_{\tau\tau} & =\left (\lambda a^2-\nu c^2\right )^2-\mu^2 b^4=0,\\
 2\gamma_{\tau\tau} & =\left (\lambda a^2-\mu b^2\right )^2-\nu^2 c^4=0,\\
\end{align}</math> (eq. 26)
:<math>\frac{1}{2}\left(\alpha+\beta+\gamma \right)_{\tau\tau}=\alpha_\tau \beta_\tau +\alpha_\tau \gamma_\tau+\beta_\tau \gamma_\tau.</math> (eq. 27)

Adding together equations (eq. 26) and substituting in the left hand side the sum (α + β + γ)<sub>τ τ</sub> according to (eq. 27), one obtains an equation containing only first derivatives which is the first integral of the system (eq. 26):
:<math>\alpha_\tau \beta_\tau +\alpha_\tau \gamma_\tau+\beta_\tau \gamma_\tau = \frac{1}{4}\left(\lambda^2a^4+\mu^2b^4+\nu^2c^4-2\lambda \mu a^2b^2-2\lambda \nu a^2c^2-2\mu \nu b^2c^2 \right).</math> (eq. 28)

This equation plays the role of a binding condition imposed on the initial state of (eq. 26). The Kasner mode (eq. 8) is a solution of (eq. 26) when ignoring all terms in the right hand sides. But such situation cannot go on (at ''t'' → 0) indefinitely because among those terms there are always some that grow. Thus, if the negative power is in the function ''a''(''t'') (''p<sub>l</sub>'' = ''p''<sub>1</sub>) then the perturbation of the Kasner mode will arise by the terms λ<sup>2</sup>''a''<sup>4</sup>; the rest of the terms will decrease with decreasing ''t''. If only the growing terms are left in the right hand sides of (eq. 26), one obtains the system:
:<math>\alpha_{\tau\tau}=-\frac{1}{2}\lambda^2e^{4\alpha},\ \beta_{\tau\tau}=\gamma_{\tau\tau}=\frac{1}{2}\lambda^2e^{4\alpha}</math> (eq. 29)

(compare (eq. 16); below it is substituted λ<sup>2</sup> = 1). The solution of these equations must describe the metric evolution from the initial state, in which it is described by (eq. 8) with a given set of powers (with ''p<sub>l</sub>'' < 0); let ''p<sub>l</sub>'' = ''р''<sub>1</sub>, ''p<sub>m</sub>'' = ''р''<sub>2</sub>, ''p<sub>n</sub>'' = ''р''<sub>3</sub> so that
:<math>a \sim t^{p_1},\ b \sim t^{p_2},\ c \sim t^{p_3}.</math> (eq. 30)

Then
:<math>abc=\Lambda t,\ \tau=\Lambda^{-1}\ln t+\mathrm{const}</math> (eq. 31)

where Λ is constant. Initial conditions for (eq. 29) are redefined as<ref>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.</ref>
:<math>\alpha_\tau=\Lambda p_1,\ \beta_\tau=\Lambda p_2,\ \gamma_\tau=\Lambda p_3\ \mathrm{at}\ \tau \to \infty</math> (eq. 32)

Equations (eq. 29) are easily integrated; the solution that satisfies the condition (eq. 32) is
:<math>\begin{cases}a^2=\frac{2|p_1|\Lambda}{\operatorname{ch}(2|p_1|\Lambda\tau)},\ b^2=b_0^2e^{2\Lambda(p_2-|p_1|)\tau}\operatorname{ch}(2|p_1|\Lambda\tau),\\
c^2=c_0^2e^{2\Lambda(p_2-|p_1|)\tau}\operatorname{ch}(2|p_1|\Lambda\tau),\end{cases}</math> (eq. 33)

where ''b''<sub>0</sub> and ''c''<sub>0</sub> are two more constants.

It can easily be seen that the asymptotic of functions (eq. 33) at ''t'' → 0 is (eq. 30). The asymptotic expressions of these functions and the function ''t''(τ) at τ → −∞ is<ref>The asymptotic values of α<sub>τ</sub>, β<sub>τ</sub>, γ<sub>τ</sub> at τ → −∞ can be found without fully solving (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 α<sub>τ</sub> = Λ''p''<sub>1</sub>. After reflection from the wall, the particle moves freely with velocity α<sub>τ</sub> = −Λ''p''<sub>1</sub>. Also noting that from (eq. 29) α<sub>τ</sub> + β<sub>τ</sub> = const, and α<sub>τ</sub> + γ<sub>τ</sub> = const, one can see that β<sub>τ</sub> and γ<sub>τ</sub> take the values β<sub>τ</sub> = Λ(''p''<sub>2</sub> − 2''p''<sub>1</sub>), γ<sub>τ</sub> = Λ(''p''<sub>3</sub> − 2''p''<sub>1</sub>).</ref>
:<math>a \sim e^{-\Lambda p_1\tau},\ b \sim e^{\Lambda(p_2+2p_1)\tau},\ c \sim e^{\Lambda(p_3+2p_1)\tau},\ t \sim e^{\Lambda(1+2p_1)\tau}.</math>

Expressing ''a'', ''b'', ''c'' as functions of ''t'', one has
:<math>a \sim t^{p'_l}, b \sim t^{p'_m}, c \sim t^{p'_n}</math> (eq. 34)

where
:<math>p'_l=\frac{|p_1|}{1-2|p_1|}, p'_m=-\frac{2|p_1|-p_2}{1-2|p_1|}, p'_n=\frac{p_3-2|p_1|}{1-2|p_1|}.</math> (eq. 35)

Then
:<math>abc=\Lambda' t,\ \Lambda'=(1-2|p_1|)\Lambda.</math> (eq. 36)

The above shows that perturbation acts in such 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<sub>l</sub>'' < 0, now it is ''p'<sub>m</sub>'' < 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 (λ<sup>2</sup>''a''<sup>4α</sup> in (eq. 29)), which before was increasing, now begins to decrease and die away. Further evolution similarly causes an increase in the perturbation from the terms with μ<sup>2</sup> (instead of λ<sup>2</sup>) in (eq. 26), next change of the Kasner mode, and so on.

It is convenient to write the power substitution rule (eq. 35) with the help of the parametrization (eq. 5):
:<math>\begin{matrix}
 \mathrm{if} & p_l=p_{1}(u) & p_m=p_{2}(u) & p_n=p_{3}(u) \\
 \mathrm{then} & p'_l=p_{2}(u-1) & p'_m=p_{1}(u-1) & p'_n=p_{3}(u-1)
 \end{matrix}</math> (eq. 37)

The greater of the two positive powers remains positive.

BKL call this flip of negative power between directions a ''Kasner epoch''. The key to understanding the character of metric evolution on approaching singularity is exactly this process of Kasner epoch alternation with flipping of powers ''p<sub>l</sub>'', ''p<sub>m</sub>'', ''p<sub>n</sub>'' by the rule (eq. 37).

The successive alternations (eq. 37) with flipping of the negative power ''p''<sub>1</sub> between directions '''l''' and '''m''' (Kasner epochs) continues by depletion of the whole part of the initial ''u'' until the moment at which ''u'' < 1. The value ''u'' < 1 transforms into ''u'' > 1 according to (eq. 6); in this moment the negative power is ''p<sub>l</sub>'' or ''p<sub>m</sub>'' while ''p<sub>n</sub>'' becomes the lesser of two positive numbers (''p<sub>n</sub>'' = ''p''<sub>2</sub>). 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.<ref>Introduction of non-diagonal components of γ<sub>''ab''</sub>(''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. |coauthors=Khalatnikov, I.M. and Lifshitz, E.M. | authorlink = |title= | journal = Zhurnal' Eksperimental'noy i Teoreticheskoy Fiziki  | volume = 60  | issue = 3 | pages =| date = 1971}}</ref>

In the exact solution of the Einstein equations, the powers ''p<sub>l</sub>'', ''p<sub>m</sub>'', ''p<sub>n</sub>'' 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).

The era series become denser on approaching ''t'' = 0. However, the natural variable for describing the time course of this evolution is not the world time ''t'' but its logarithm, ln ''t'', by which the whole process of reaching the singularity is extended to −∞.

According to (eq. 33), one of the functions ''a'', ''b'', ''c'', that passes through a maximum during a transition between Kasner epochs, at the peak of its maximum is
:<math>a_\max=\sqrt{2\Lambda|p_1(u)|}</math> (eq. 38)

where it is supposed that ''a''<sub>max</sub> is large compared to ''b''<sub>0</sub> and ''c''<sub>0</sub>; in (eq. 38) ''u'' is the value of the parameter in the Kasner epoch before transition. It can be seen from here that the peaks of consecutive maxima during each era are gradually lowered. Indeed, in the next Kasner epoch this parameter has the value ''u''' = ''u'' - 1, and Λ is substituted according to (eq. 36) with Λ' = Λ(1 − 2|''p''<sub>1</sub>(''u'')|). Therefore, the ratio of 2 consecutive maxima is
:<math>\frac{a'_\max}{a_\max}=\left[\frac{p_1(u-1)}{p_1(u)}\left(1-2|p_1(u)|\right)\right]^{\frac{1}{2}};</math>

and finally
:<math>\frac{a'_\max}{a_\max}=\sqrt{\frac{u-1}{u}}\equiv \sqrt{\frac{u'}{u}}.</math> (eq. 39)

The above are solutions to Einstein equations in vacuum. As for the pure Kasner mode, matter does not change the qualitative properties of this solution and can be written into it disregarding its reaction on the field.

However, if one does this for the model under discussion, understood as an exact solution of the Einstein equations, the resulting picture of matter evolution would not have a general character and would be specific for the high symmetry imminent to the present model. Mathematically, this specificity is related to the fact that for the homogeneous space geometry discussed here, the Ricci tensor components <math>\scriptstyle{R_\alpha^0}</math> are identically zeros and therefore the Einstein equations would not allow movement of matter (which gives non-zero stress energy-momentum tensor components <math>\scriptstyle{T_\alpha^0}</math>).<ref>In other words, the synchronous frame must also be co-moving with respect to matter. If one substitutes in (eq. 19) ''u''<sub>α</sub> = 0, ''u''<sup>0</sup> = 1, it becomes ε ~ (''abc'')<sup>-4/3</sup> ~ ''t''<sup>-4/3</sup>.</ref>

This difficulty is avoided if one includes in the model only the major terms of the limiting (at ''t'' → 0) metric and writes into it a matter with arbitrary initial distribution of densities and velocities. Then the course of evolution of matter is determined by its general laws of movement (eq. 17) and (eq. 18) that result in (eq. 21). During each Kasner epoch, density increases by the law
:<math>\varepsilon=t^{-2(1-p_3)},</math> (eq. 40)

where ''p''<sub>3</sub> is, as above, the greatest of the numbers ''p''<sub>1</sub>, ''p''<sub>2</sub>, ''p''<sub>3</sub>. Matter density increases monotonously during all evolution towards the singularity.

To each era (''s''-th era) correspond a series of values of the parameter ''u'' starting from the greatest, <math>\scriptstyle{u_{\max}^{(s)}}</math>, and through the values <math>\scriptstyle{u_{\max}^{(s)}}</math> − 1, <math>\scriptstyle{u_{\max}^{(s)}}</math> − 2, ..., reaching to the smallest, <math>\scriptstyle{u_{\min}^{(s)}}</math> < 1. Then
:<math>u_{\min}^{(s)}=x^{(s)},\ u_{\max}^{(s)}=k^{(s)}+x^{(s)},</math> (eq. 41)

that is, ''k''<sup>(''s'')</sup> = [<math>\scriptstyle{u_{\max}^{(s)}}</math>] where the brackets mean the whole part of the value. The number ''k''<sup>(''s'')</sup> is the era length, measured by the number of Kasner epochs that the era contains. For the next era
:<math>u_{\max}^{(s+1)}=\frac{1}{x^{(s)}},\ k^{(s+1)}=\left[\frac{1}{x^{(s)}}\right].</math> (eq. 42)

In the limitless series of numbers ''u'', composed by these rules, there are infinitesimally small (but never zero) values ''x''<sup>(''s'')</sup> and correspondingly infinitely large lengths ''k''<sup>(''s'')</sup>.
==Metric evolution==
Very large ''u'' values correspond to Kasner powers
:<math>p_1 \approx -\frac{1}{u},\ p_2 \approx \frac{1}{u},\ p_2 \approx 1-\frac{1}{u^2},</math> (eq. 43)

which are close to the values (0, 0, 1). Two values that are close to zero, are also close to each other, and therefore the changes in two out of the three types of "perturbations" (the terms with λ, μ and ν in the right hand sides of (eq. 26)) are also very similar. If in the beginning of such long era these terms are very close in absolute values in the moment of transition between two Kasner epochs (or made artificially such by assigning initial conditions) then they will remain close during the greatest part of the length of the whole era. In this case (BKL call this the case of ''small oscillations''), analysis based on the action of one type of perturbations becomes incorrect; one must take into account the simultaneous effect of two perturbation types.
===Two perturbations===
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.<ref name="BK" />

After ignoring function ''c'', the first 2 equations (eq. 26) give
:<math>\alpha_{\tau\tau}+\beta_{\tau\tau}=0,\,</math> (eq. 44)
:<math>\alpha_{\tau\tau}-\beta_{\tau\tau}=e^{4\beta}-e^{4\alpha},\,</math> (eq. 45)

and as a third equation, (eq. 28) can be used, which takes the form
:<math>\gamma_{\tau\tau}\left(\alpha_{\tau\tau}+\beta_{\tau\tau}\right)=-\alpha_\tau\beta_\tau+\frac{1}{4}\left(e^{2\alpha}-e^{2\beta}\right)^2.</math> (eq. 46)

The solution of (eq. 44) is written in the form
:<math>\alpha+\beta=\left(\frac{2a_0^2}{\xi_0}\right)\left(\tau-\tau_0\right)+2\ln a_0,</math>

where α<sub>0</sub>, ξ<sub>0</sub> are positive constants, and τ<sub>0</sub> is the upper limit of the era for the variable τ. It is convenient to introduce further a new variable (instead of τ)
:<math>\xi=\xi_0\exp \left[\frac{2a_0^2}{\xi_0}\left(\tau-\tau_0 \right)\right].</math> (eq. 47)

Then
:<math>\alpha+\beta=\ln \left(\frac{\xi}{\xi_0}\right)+2\ln a_0.</math> (eq. 48)

Equations (eq. 45) and (eq. 46) are transformed by introducing the variable χ = α − β:
:<math>\chi_{\xi\xi}=\frac{\chi_\xi}{\xi}+\frac{1}{2}\operatorname{sh}2\chi=0,</math> (eq. 49)
:<math>\gamma_\xi=-\frac{1}{4}\xi+\frac{1}{8}\xi\left(2\chi_\xi^2+\operatorname{ch}2\chi-1\right).</math> (eq. 50)

Decrease of τ from τ<sub>0</sub> to −∞ corresponds to a decrease of ξ from ξ<sub>0</sub> to 0. The long era with close ''a'' and ''b'' (that is, with small χ), considered here, is obtained if ξ<sub>0</sub> is a very large quantity. Indeed, at large ξ the solution of (eq. 49) in the first approximation by 1/ξ is
:<math>\chi=\alpha-\beta=\left(\frac{2A}{\sqrt{\xi}}\right)\sin \left(\xi-\xi_0\right),</math> (eq. 51)

where ''A'' is constant; the multiplier <math>\tfrac{1}{\sqrt{\xi}}</math> makes χ a small quantity so it can be substituted in (eq. 49) by sh 2χ ≈ 2χ.<ref> The constant in the sine argument, of course, is not necessarily the same as ξ<sub>0</sub> in (eq. 47) and (eq. 48); however, making them the same does not change in any way the solution character.</ref>

From (eq. 50) one obtains
:<math>\gamma_\xi=\frac{1}{4}\xi\left(2\chi_\xi^2+\chi^2\right)=A^2,\ \gamma=A^2\left(\xi-\xi_0\right)+\mathrm{const}.</math>

After determining α and β from (eq. 48) and (eq. 51) and expanding ''e''<sup>α</sup> and ''e''<sup>β</sup> in series according to the above approximation, one obtains finally<ref>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 Belinsky, Khalatnikov, Lifshitz (1970), Appendix B.</ref>:
:<math>\begin{cases}
 a\\
 b
\end{cases}=a_0\sqrt{\frac{\xi}{\xi_0}}\left[1\pm \frac{A}{\sqrt{\xi}}\sin \left(\xi-\xi_0\right)\right],</math> (eq. 52)
:<math>c=c_0 e^{-A^2\left(\xi_0-\xi\right)}.</math> (eq. 53)

The relation between the variable ξ and time ''t'' is obtained by integration of the definition ''dt'' = ''abc d''τ which gives
:<math>\frac{t}{t_0}=e^{-A^2\left(\xi_0-\xi\right)}.</math> (eq. 54)

The constant ''c''<sub>0</sub> (the value of ''с'' at ξ = ξ<sub>0</sub>) should be now ''c''<sub>0</sub> <math>\scriptstyle{\ll}</math> α<sub>0</sub>·

Let us now consider the domain ξ <math>\scriptstyle{\ll}</math> 1. Here the major terms in the solution of (eq. 49) are:
:<math>\chi=\alpha-\beta=k\ln \xi+\mathrm{const},\,</math>

where ''k'' is a constant in the range − 1 < ''k'' < 1; this condition ensures that the last term in (eq. 49) is small (sh 2χ contains ξ<sup>2''k''</sup> and ξ<sup>−2''k''</sup>). Then, after determining α, β, and ''t'', one obtains
:<math>a \sim \xi^{\frac{1+k}{2}},\ b \sim \xi^{\frac{1-k}{2}},\ c \sim \xi^{-\frac{1-k^2}{4}},\ t \sim \xi^{\frac{3+k^2}{4}}.</math> (eq. 55)

This is again a Kasner mode with the negative ''t'' power coming into the function ''c''(''t'').<ref>If in (eq. 49), one substitutes sh 2χ with 2χ and solves it for all values of ξ, one obtains χ = ''c''<sub>1</sub>''J''<sub>0</sub>(ξ) + ''c''<sub>2</sub>''N''<sub>0</sub>(ξ) where ''J''<sub>0</sub>, ''N''<sub>0</sub> 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 (eq. 52) and (eq. 55).</ref>

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 <math>\tfrac{a-b}{a} \sim \tfrac{1}{\sqrt{\xi}}</math>; in the same time, both functions ''a'' and ''b'' slowly (<math>\scriptstyle{\sim \sqrt{\xi}}</math>) 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π''Α''<sup>2</sup>). The third function, ''c'', decreases monotonously by a law close to ''c'' = ''c''<sub>0</sub>''t''/''t''<sub>0</sub>.

This evolution continues until ξ ~ 1 and formulas (eq. 52) and (eq. 53) are no longer applicable. Its time duration corresponds to change of ''t'' from ''t''<sub>0</sub> to the value ''t''<sub>1</sub>, related to ξ<sub>0</sub> according to
:<math>A^2\xi_0=\ln \frac{t_0}{t_1}.</math> (eq. 56)

The relationship between ξ and ''t'' during this time can be presented in the form
:<math>\frac{\xi}{\xi_0}=\frac{\ln \tfrac{t}{t_1}}{\ln \tfrac{t_0}{t_1}}.</math> (eq. 57)

After that, as seen from (eq. 55), the decreasing function ''c'' starts to increase while functions ''a'' and ''b'' start to decrease. This Kasner epoch continues until terms ''c''<sup>2</sup>/''a''<sup>2</sup>''b''<sup>2</sup> in (eq. 22) become ~ ''t''<sup>2</sup> and a next series of oscillations begins.

The law for density change during the long era under discussion is obtained by substitution of (eq. 52) in (eq. 20):
:<math>\varepsilon \sim \left(\frac{\xi_0}{\xi}\right)^2.</math> (eq. 58)

When ξ changes from ξ<sub>0</sub> to ξ ~ 1, the density increases <math>\scriptstyle{\xi^2_0}</math> times.

It must be stressed that although the function ''c''(''t'') changes by a law, close to ''c'' ~ ''t'', the metric (eq. 52) does not correspond to a Kasner metric with powers (0, 0, 1). The latter corresponds to an exact solution (found by Taub<ref name = bk57>{{cite journal
  | last = Belinsky
  | first = V.A.
  | coauthors = I.M. Khalatnikov
  | title = 
  | journal = Zhurnal' Eksperimental'noy i Teoreticheskoy Fiziki
  | volume = 57
  | issue = 
  | pages = 2163
  | date = 1969
  }}</ref>) which is allowed by eqs. 26-27 and in which
:<math>a^2=b^2=\frac{p}{2}\frac{\mathrm{ch}(2p\tau+\delta_1)}{\mathrm{ch}^2(p\tau+\delta_2)}, \; c^2=\frac{2p}{\mathrm{ch}(2p\tau+\delta_1)},</math> (eq. 59)

where ''p'', δ<sub>1</sub>, δ<sub>2</sub> are constant. In the asymptotic region τ → −∞, one can obtain from here ''a'' = ''b'' = const, ''c'' = const.''t'' after the substitution ''е<sup>рτ</sup>'' = ''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. 26-28 λ = −1, μ = ν = 1.<ref name = "LK1" />

If during the long era, the monotonically decreasing function is ''a'', nothing changes in the foregoing analysis: ignoring ''a''<sup>2</sup> on the right side of equations (26) and (28), goes back to the same equations (49) and (50) (with altered notation). Some changes occur, however, if the monotonically decreasing function is ''b'' or ''c''; let it be ''c''.

As before, one has equation (49) with the same symbols, and, therefore, the former expressions (52) for the functions ''a''(ξ) and ''b''(ξ), but equation (50) is replaced by
:<math>\gamma_{\xi} = -\frac{1}{4}\xi+\frac{1}{8}\xi\left (2\chi_{\xi}^2 + \mathrm{ch}2\chi + 1\right ).</math> (eq. 60)
The major term at large ξ now becomes
:<math>\gamma_{\xi} \approx \frac{1}{8}\xi \cdot 2, \quad \gamma \approx \frac{1}{8} \left (\xi^2-\xi_0^2 \right ),</math>
so that
:<math>\frac{c}{c_0}=\frac{t}{t_0}=e^{-\frac{1}{8}\left (\xi_0^2-\xi^2 \right )}.</math> (eq. 61)
The value of ''c'' as a function of time ''t'' is, as before ''c'' = ''c''<sub>0</sub>''t''/''t''<sub>0</sub> but the time dependence of ξ changes. The length of a long era depends on ξ<sub>0</sub> according to
:<math>\xi_0 = \sqrt{8\ln \frac{t}{t_0}}.</math> (eq. 62)
On the other hand, the value ξ<sub>0</sub> determines the number of oscillations of the functions ''a'' and ''b'' during an era (equal to ξ<sub>0</sub>/2π). Given the length of an era in logarithmic time (i.e., with given ratio ''t''<sub>0</sub>/''t''<sub>1</sub>) 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 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.<ref name = LLK>{{cite journal
  | last = Lifshitz
  | first = E.M.
  | coauthors = I.M. Lifshitz, I.M. Khalatnikov
  | title = 
  | journal = Zhurnal' Eksperimental'noy i Teoreticheskoy Fiziki
  | volume = 59
  | issue = 
  | pages = 322
  | date = 1970
  }}</ref>

During each Kasner epoch ''abc'' = Λ''t'', ''i. e.'' α + β + γ = ln Λ + ln ''t''. In transitions between epochs the constant ln Λ changes to the first order (cf. (eq. 36)). However, asymptotically to very large |ln ''t''| values one can ignore not only these changes but also the constant ln Λ itself. In other words, this approximation corresponds to ignoring all values whose ratio to |ln ''t''| converges to zero at ''t'' → 0. Then
:<math>\alpha + \beta + \gamma = -\Omega,\,</math> (eq. 63)

where Ω is the "logarithmic time"
:<math>\Omega = -\ln t.\,</math> (eq. 64)

In this approximation, the process of epoch transitions can be regarded as a series of brief time flashes. The constant in the right hand side of condition (eq. 38) α<sub>max</sub> = ½ ln (2|''p''<sub>1</sub>|Λ) that defines the periods of transition can also be ignored, ''i. e.'' this condition becomes α = 0 (or similar conditions for β or γ if the initial negative power is related to the functions ''b'' or ''c'').<ref>This means ignoring the effect of gradually decreasing maxima of the oscillating functions during an era described by the formula (eq. 39)</ref> Thus, α<sub>max</sub>, β<sub>max</sub>, and γ<sub>max</sub> become zeros meaning that α, β, and γ will run only through negative values which are related in each moment by the relationship (eq. 64).
[[Image:Kasner_epochs.svg|350px|left|thumb|Figure 2]]
Considering such instant change of epochs, the transition periods are ignored as small in comparison to the epoch length; this condition is actually fulfilled.<ref name = length>Also note, that epoch lengths are large in comparison with transitions between epochs. According to (eq. 32), transitions are large with small |''p''<sub>1</sub>| (''i. e.'' large ''u'') and are ~ 1/|''p''<sub>1</sub>| ~ ''u''. But even in this case Δ<sub>''n''</sub> ~ ''u<sub>n</sub>'' |α<sub>''n''</sub>| <math>\scriptstyle{\gg}</math> ''u<sub>n</sub>''</ref> Replacement of α, β, and γ maxima with zeros requires that quantities ln (|''p''<sub>1</sub>|Λ) be small in comparison with the amplitudes of oscillations of the respective functions. As mentioned [[#Oscillating_mode_towards_the_singularity|above]], during transitions between eras |''p''<sub>1</sub>| 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''<sub>1</sub>| values that the above condition (zero maxima) is violated. Such drastic drop of α<sub>max</sub> can lead to various special situations in which the transition between Kasner epochs by the rule (eq. 37) becomes incorrect (including the situations described [[#Two_perturbations|above]]), see also <ref>{{cite journal
  | last = Doroshkevich
  | first = A.G.
  | coauthors = [[w:Igor Dmitriyevich Novikov|I.D. Novikov]]
  | title = 
  | journal = Astronomicheskiy Zhurnal
  | volume = 47
  | issue = 5
  | pages = 
  | date = 1970
  }}</ref>). 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
:<math>u_n = k + x - 1 - n, \quad n = 0, 1, \cdots, k - 1, </math> (eq. 65)

and let α and β are the oscillating functions during this era (Fig. 2).<ref>Fixing the limits of the era according to eq. 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.</ref>

Initial moments of Kasner epochs with parameters ''u<sub>n</sub>'' are Ω<sub>''n''</sub>. 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 Ω<sub>''n''</sub> are
:<math>\alpha_n = -\delta_n \Omega_n \,</math> (eq. 66)

(not distinguishing minima α and β). Values δ<sub>''n''</sub> that measure those minima in respective Ω<sub>''n''</sub> units can run between 0 and 1. Function γ monotonously decreases during this era; according to (eq. 63) its value in moment Ω<sub>''n''</sub> is
:<math>\gamma_n = -\Omega_n (1 - \delta_n). \,</math> (eq. 67)

During the epoch starting at moment Ω<sub>''n''</sub> and ending at moment Ω<sub>''n''+1</sub> one of the functions α or β increases from -δ<sub>''n''</sub>Ω<sub>''n''</sub> to
zero while the other decreases from 0 to -δ<sub>''n''+1</sub>Ω<sub>''n''+1</sub> by linear laws, respectively:
:<math>\mathrm{const} + |p_1(u_n)|\Omega \,</math> and <math>\mathrm{const} - p_2(u_n)\Omega \,</math>

resulting in the recurrent relationship
:<math>\delta_{n+1}\Omega_{n+1} = \frac{1+u_n}{u_n} \delta_n\Omega_n = \frac{1+u_0}{u_n} \delta_0\Omega_0</math> (eq. 68)

and for the logarithmic epoch length
:<math>\Delta_{n+1} \equiv \Omega_{n+1} - \Omega_n = \frac{f(u_n)}{u_n} \delta_n\Omega_n = \frac{f(u_n)(1+u_{n-1})}{f(u_{n-1})u_n}\Delta_n,</math> (eq. 69)

where, for short, ''f''(''u'') = 1 + ''u'' + ''u''<sup>2</sup>. The sum of ''n'' epoch lengths is obtained by the formula
:<math>\Omega_n - \Omega_0 = \left [n(n-1) + \frac{nf(u_{n-1})}{u_{n-1}}\right ] \delta_0\Omega_0. </math> (eq. 70)

It can be seen from (eq. 68) that |α<sub>''n+1''</sub>| > |α<sub>''n''</sub>|, i.e., the oscillation amplitudes of functions α and β increase during the whole era although the factors δ<sub>''n''</sub> 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 |α&nbsp;— β| at the moment of transition between Kasner epochs remains large. This assertion does not depend upon era length ''k'' because transitions between epochs are determined by the common rule (eq. 37) also for long eras.

The last oscillation amplitude of functions α or β in a given era is related to the amplitude of the first oscillation by the relationship |α<sub>''k''-1</sub>| = |α<sub>0</sub>| (''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''<sup>α</sup> and ''b'' = ''e''<sup>β</sup> this means that if the amplitude of their oscillations in the beginning of an era was ''A''<sub>0</sub>, at the end of this era the amplitude will become <math>\scriptstyle{A_0^{k/(1+x)}}</math>.

The length of Kasner epochs (in logarithmic time) also increases inside a given era; it is easy to calculate from (eq. 69) that Δ<sub>''n''+1</sub> > Δ<sub>''n''</sub>.<ref>Epoch lengths are great in comparison to transitions between epochs. According to (eq. 33) transition lengths are great at small |''p''<sub>1</sub>| (i.e. large ''u'') and are ∝ 1/|''p''<sub>1</sub>| ∝ ''u''. But even in this case Δ<sub>''n''</sub> ∝ ''u<sub>n</sub>''|α<sub>''n''</sub>| <math>\scriptstyle{\gg}</math> ''u<sub>n</sub>''.</ref> The total era length is
:<math>\Omega_0^' - \Omega_0 \equiv \Omega_k - \Omega_0 = k \left ( k + x + \frac{1}{x} \right ) \delta_0\Omega_0</math> (eq. 71)

(the term with 1/''x'' arises from the last, ''k''-th, epoch whose length is great at small ''x''; cf. Fig. 2). Moment Ω<sub>''n''</sub> when the ''k''-th epoch of a given era ends is at the same time moment Ω'<sub>0</sub> 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 γ<sub>''k''</sub> = - Ω<sub>''k''</sub> (1 - δ<sub>''k''</sub>) that it reached in the previous era; this value plays the role of a starting amplitude δ'<sub>0</sub>Ω'<sub>0</sub> for the new series of oscillations. It is easily obtained that:
:<math>\delta^\prime_0 \Omega^\prime_0 = \left ( \delta_0^{-1} + k^2 + kx - 1 \right ) \delta_0 \Omega_0.</math> (eq. 72)

It is obvious that δ'<sub>0</sub>Ω'<sub>0</sub> > δ<sub>0</sub>Ω<sub>0</sub>. Even at not very great ''k'' the amplitude increase is very significant: function ''c'' = ''e''<sup>γ</sup> begins to oscillate from amplitude <math>\scriptstyle{A_0 ' \sim A_0^{k^2}}</math>. The issue about the abovementioned "dangerous" cases of drastic lowering of the upper oscillation limit is left aside for now.

According to (eq. 40) the increase in matter density during the first (''k'' - 1) epochs is given by the formula
:<math>\ln \left ( \frac{\varepsilon_{n+1}}{\varepsilon_n} \right ) = 2 \left [ 1 - p_3 ( u_n ) \right ] \Delta_{n+1}.</math>

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''<sub>2</sub>(''x'') (not ''p''<sub>3</sub>(''x'') ). Therefore, for the density increase over the whole era one obtains
:<math>\ln \left ( \frac{ \varepsilon_k }{ \varepsilon_0 } \right ) \equiv \ln \left ( \frac{ \varepsilon_0 ' }{ \varepsilon_0 } \right ) = 2 (k - 1 + x ) \delta_0 \Omega_0.</math> (eq. 73)

Therefore, even at not very great ''k'' values, <math>\scriptstyle{\varepsilon_0' / \varepsilon_0 \sim A_0^{2k}}</math>. During the next era (with a length ''k'' ' ) density will increase faster because of the increased starting amplitude ''A''<sub>0</sub>': <math>\scriptstyle{\varepsilon_0'' / \varepsilon_0' \sim A_0'^{2k''} \sim A_0^{2k^2 k'}}</math>, etc. These formulae illustrate the steep increase in matter density.

===Statistical analysis near the singularity===
The sequencing order of era lengths ''k''<sup>(''s'')</sup>, measured by the number of Kasner epochs contained in them, exhibits the character of a random process. The source of this stochasticity is the rule (eq. 41-42) according to which the transition from one era to the next is determined from an infinite numerical sequence of ''u'' values.

In the statistical description of this sequence, instead of a fixed initial value ''u''<sub>max</sub> = ''k''<sup>(0)</sup> + ''x''<sup>(0)</sup>, BKL consider values of ''x''<sup>(0)</sup> that are distributed in the interval from 0 to 1 by some probabilistic distributional law. Then the values of ''x''<sup>(s)</sup> that finish each (''s''-th) number series will also be distributed according to some laws. It can be shown <ref name = "BKL" /> that with growing ''s'' these distributions converge to a definite static (''s''-independent) distribution of probabilities ''w''(''x'') in which the initial conditions are completely "forgotten":
:<math>w(x) = \frac{1}{(1+x) \ln 2}.</math> (eq. 74)

This allows to find the distribution of probabilities for length ''k'':
:<math>W(k) = \left ( \ln 2 \right )^{-1} \ln \left [ \left ( k+1 \right )^2 / k (k+2) \right ].</math> (eq. 75)

The above formulae are the basis on which the statistical properties of the model evolution are studied.<ref name = LLK />

This study is complicated by the slow decrease of the distribution function (eq. 75) at large ''k'':
:<math>W(k) \approx 1 / k^2 \ln 2. </math> (eq. 76)

The mean value <math>\scriptstyle{\bar k}</math>, calculated from this distribution, diverges logarithmically. For a sequence, cut off at a very large but still finite number ''N'', one has <math>\scriptstyle{\bar k \sim \ln N}</math>. 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 a series of length ''K'' where ''K'' is large. This probability is ln''K''/ln''N''. It is small if <math>\scriptstyle{1 \ll K \ll N}</math>. In this respect one can say that a randomly chosen number from the given sequence belongs to the long series with a high probability.

The recurrent formulae defining transitions between eras are re-written and detailed below. Index ''s'' numbers the successive eras (not the Kasner epochs in a given era!), beginning from some era (''s'' = 0) defined as initial. Ω<sup>(''s'')</sup> and ε<sup>(''s'')</sup> are, respectively, the initial moment and initial matter density in the ''s''-th era; δ<sub>''s''</sub>Ω<sub>''s''</sub> is the initial oscillation amplitude of that pair of functions α, β, γ, which oscillates in the given era: ''k''<sup>(''s'')</sup> is the length of ''s''-th era, and ''x''<sup>(''s'')</sup> determines the length of the next era according to ''k''<sup>(''s''+1)</sup> = [1/''x''<sup>(''s'')</sup>]. According to (eq. 71-73)
:<math>\Omega^{(s+1)} / \Omega^{(s)} = 1 + \delta^{(s)} k^{(s)} \left ( k^{(s)} + x^{(s)} + 1 / x^{(s)} \right ) \equiv \varepsilon^{\xi_s},</math> (eq. 77)
:<math>\delta^{(s+1)} = 1 - \frac{\left ( k^{(s)} / x^{(s)} + 1 \right ) \delta^{(s)}}{1 + \delta^{(s)} k^{(s)} \left ( 1 + x^{(s)} + 1 / x^{(s)} \right )},</math> (eq. 78)
:<math>\ln \left ( \varepsilon^{(s+1)} / \varepsilon^{(s)} \right ) = 2 \left ( k^{(s)} + x^{(s)} - 1 \right ) \delta^{(s)} \Omega^{(s)} </math> (eq. 79)

(ξ<sub>''s''</sub> is introduced in (eq. 77) to be used further on).

The values of δ<sup>(''s'')</sup> (ranging from 0 to 1) have their own static statistical distribution. It satisfies an integral equation expressing the fact that δ<sup>(''s'')</sup> and δ<sup>(''s''+1)</sup> which are related through (eq. 78) have an identical distribution; this equation can be solved numerically (cf. <ref name = LLK />). Since (eq. 78) does not contain a singularity, the distribution is perfectly stable; the mean values of δ or its powers calculated through it are definite finite numbers. In particular, the mean value of δ is <math>\scriptstyle{\bar{\delta}=0.52.}</math>

The statistical relation between large time intervals Ω and the number of eras ''s'' contained in them is found by repeated application of (eq. 77):
:<math>\Omega^{(s)} / \Omega^{(0)} = \exp \left ( \sum_{p=0}^{s-1} \xi_p \right ).</math> (eq. 80)

Direct averaging of this equation, however, does not make sense: because of the slow decrease of function ''W''(''k'') mean values of exp(ξ<sub>''s''</sub>) are unstable in the above sense. This instability is removed by taking logarithm: the "double-logarithmic" time interval
:<math>\tau_s \equiv \ln \left ( \Omega^{(s)} / \Omega^{(0)} \right ) = \sum_{p=0}^{s-1} \xi_p </math> (eq. 81)

is expressed by the sum of values ξ<sub>''p''</sub> which have a stable statistical distribution. The mean values of ξ<sub>''s''</sub> and their powers (calculated from the distributions of values ''x'', ''k'' and δ) are finite; numeric calculation gives <math>\scriptstyle{\bar{\xi}=2.1, \quad \bar{\xi}^2 = 6.8.}</math>

Averaging (eq. 81) at a given ''s'' obtains
:<math>\bar{\tau}_s = 2.1s, </math> (eq. 82)

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

In order to calculate the mean square of fluctuations of this value one writes
:<math>\overline{\left ( \tau_s - \bar{\tau}_s \right )^2} = \sum_{p,q=0}^{s-1} \left ( \overline{\xi_p\xi}_q - \bar{\xi}_p\bar{\xi}_q \right ) = s \sum_{p=0}^{s-1} \left ( \overline{\xi_0\xi}_p - \bar{\xi}^2 \right ).</math>

In the last equation, it is taken into account that in the static limit the statistical correlation between ξ<sup>(''s'')</sup> and ξ′<sup>(''s'')</sup> depends only on the difference | ''s'' - ''s′'' |. Due to the existing recurrent relationship between ''x''<sup>(''s'')</sup>, ''k''<sup>(''s'')</sup>, δ<sup>(''s'')</sup> and ''x''<sup>(''s''+1)</sup>, ''k''<sup>(''s''+1)</sup>, δ<sup>(''s''+1)</sup> this correlation is, strictly speaking, different from zero. It, however, quickly decreases with increasing | ''s'' - ''s′'' | and numeric calculation shows that even at | ''s'' - ''s′'' | = 1, <math>\scriptstyle{\overline{\xi_{s+1}\xi}_s-\bar{\xi}^2}</math> = − 0.4. Leaving the first two terms in the sum by ''p'', one obtains
:<math>\overline{\left [ \left ( \tau_s - \bar{\tau}_s \right )^2 \right ]}^{1/2} =
 1.4 \sqrt{s},</math> (eq. 83)

At ''s'' → ∞ the relative fluctuation (i.e., the ratio between the mean squared fluctuations (eq. 83) and the mean value (eq. 82)), therefore, approaches zero as ''s''<sup>-1/2</sup>. In other words, the statistical relationship (eq. 82) at large ''s'' becomes close to certainty. This is a corollary that according to (eq. 81) τ<sub>''s''</sub> can be presented as a sum of a large number of quasi-independent additives (i.e., it has the same origin as the certainty of the values of additive thermodynamic properties of macroscopic bodies). Therefore, the probabilities of various τ<sub>''s''</sub> values (at given ''s'') have a Gaussian distribution:
:<math>\rho(\tau_s) \propto \exp \left \{ - \left ( \tau_s - 2.1s \right )^2/4s \right \}.</math> (eq. 84)

Certainty of relationship (eq. 82) allows its reversal, i.e., express it as a dependence of the mean number of eras <math>\scriptstyle{\bar{s}_\tau}</math> contained in a given interval of double-logarithmic time τ:
:<math>\bar{s}_\tau = 0.47\tau.</math> (eq. 85)

The respective statistical distribution is given by the same Gaussian distribution in which the random variable is now ''s''<sub>τ</sub> at a given τ:
:<math>\rho(s_\tau) \propto \exp \left \{ - \left ( s_\tau - 0.47\tau \right )^2/0.43\tau \right \}.</math> (eq. 86)

Respective to matter density, (eq. 79) can be re-written with account of (eq. 80) in the form
:<math>\ln \ln \frac{\varepsilon^{(s+1)}}{\varepsilon^{(s)}} = \eta_s + \sum_{p=0}^{s-1} \xi_p, \quad \eta_s = \ln \left [ 2\delta^{(s)} \left ( k^{(s)} + x^{(s)} - 1 \right ) \Omega^{(0)} \right ] </math>

and then, for the complete energy change during ''s'' eras,
:<math>\ln \ln \frac{\varepsilon^{(s)}}{\varepsilon^{(0)}} = \ln  \sum_{p=0}^{s-1} \exp \left \{ \sum_{q=0}^p\xi_q + \eta_p \right \}.</math> (eq. 87)

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 (eq. 87), one gets in its right hand side the expression <math>\scriptstyle{s\bar{\xi}}</math> which coincides with (eq. 82); all other terms in the sum (also terms with η<sub>''s''</sub> in their powers) lead only to corrections of a relative order 1/''s''. Therefore
:<math>\overline{\ln \ln \left ( \varepsilon^{(s)}/\varepsilon^{(0)} \right )} = \overline{\ln \left ( \Omega^{(s)}/\Omega^{(0)} \right )}.</math> (eq. 88)

Thanks to the above established almost certain character of the relation between τ<sub>''s''</sub> and ''s'' (eq. 88) can be written as
:<math>\overline{\ln \ln \left ( \varepsilon_\tau/\varepsilon^{(0)} \right )} = \tau \quad \text{or} \quad \overline{\ln \ln \left ( \varepsilon^{(s)}/\varepsilon^{(0)} \right )} = 2.1 s,</math>

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 double-logarithmic time intervals and for the density increase. For other characteristics, e.g., ln (ε<sup>(''s'')</sup>/ε<sup>(0)</sup>) the relative fluctuation increase by a power law with the increase of the averaging range thereby devoiding the term mean value of its sense of stability.

As shown below, in the limiting asymptotic case the abovementioned "dangerous" cases that disturb the regular course of evolution expressed by the recurrent relationships (eq. 77-79), do not occur in reality.

Dangerous are cases when at the end of an era the value of the parameter ''u'' = ''x'' (and with it also |''p''<sub>1</sub>| ≈ ''x''). A criterion for selection of such cases is the inequality
:<math>x^{(s)} \exp | \alpha^{(s)} | < 1, \, </math> (eq. 89)

where | α<sup>(''s'')</sup> | is the initial minima depth of the functions that oscillate in era ''s'' (it would have been better to take the final amplitude but that would only strengthen the selection criterion).

The value of ''x''<sup>(0)</sup> in the first era is determined by the initial conditions. Dangerous are values in the interval δ''x''<sup>(0)</sup> ~ exp ( − | α<sup>(0)</sup> | ), and also in intervals that could result in dangerous cases in the next eras. In order that ''x''<sup>(''s'')</sup> comes into the dangerous interval δ''x''<sup>(''s'')</sup> ~ exp ( − | α<sup>(''s'')</sup> | ), the initial value ''x''<sup>(0)</sup> should lie into an interval of a width δ''x''<sup>(0)</sup> ~ δ''x''<sup>(''s'')</sup> / ''k''<sup>(1)^2</sup> ... ''k''<sup>(''s'')^2</sup>.<ref>Belinsky, Khalatnikov, Lifshitz (1970), Appendix A</ref> Therefore, from a unit interval of all possible values of ''x''<sup>(0)</sup>, dangerous cases will appear in parts λ of this interval:
:<math>\lambda = \exp \left ( |-\alpha^{(s)}| \right ) + \sum_{s=1}^\infty \sum_k \frac{\exp \left ( |-\alpha^{(s)}| \right )}{k^{(1)^2} k^{(2)^2} \cdot\cdot\cdot k^{(s)^2}}</math> (eq. 90)

(the inner sum is taken by all values ''k''<sup>(1)</sup>, ''k''<sup>(2)</sup>, ... , ''k''<sup>(''s'')</sup> from 1 to ∞). It is easy to show that this series converges to the value λ <math>\scriptstyle{\ll}</math> 1 whose order of magnitude is determined by the first term in (eq. 90). This can be shown by a strong majoration of the series for which one substitutes | α<sup>(''s'')</sup> | = (s+1) | α<sup>(0)</sup> |, regardless of the lengths of eras ''k''<sup>(1)</sup>, ''k''<sup>(2)</sup>, ... (In fact | α<sup>(''s'')</sup> | increase much faster; even in the most unfavorable case ''k''<sup>(1)</sup> = ''k''<sup>(2)</sup> = ... = 1 values of | α<sup>(''s'')</sup> | increase as ''q''<sup>''s''</sup> | α<sup>(0)</sup> | with ''q'' > 1.) Noting that
:<math>\sum_k 1 / k^{(1)^2} k^{(2)^2} \cdot\cdot\cdot k^{(s)^2} = \left ( \pi^2 / 6 \right )^s </math>

one obtains
:<math>\lambda = \exp \left ( |-\alpha^{(0)}| \right )\sum_{s=0}^\infty \left [ \left ( \pi^2 / 6 \right ) \exp \left ( |-\alpha^{(0)}| \right ) \right ]^s \approx \exp \left ( |-\alpha^{(0)}| \right ).</math>

If the initial value of ''x''<sup>(0)</sup> 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 λ<sup>2</sup>, λ<sup>3</sup>, ... , asymptopically 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 (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. <ref name = bk59>{{cite journal
  | last = Belinsky
  | first = V.A.
  | coauthors = I.M. Khalatnikov
  | title = 
  | journal = Zhurnal' Eksperimental'noy i Teoreticheskoy Fiziki
  | volume = 59
  | issue = 
  | pages = 314
  | date = 1970
  }}</ref>

It is convenient, however, to construct the general solution in a system of coordinates somewhat different from synchronous reference frame: ''g''<sub>0α</sub> = 0 as in the synchronous frame but instead of ''g''<sub>00</sub> = 1 it is now ''g''<sub>00</sub> = − ''g''<sub>33</sub>. Defining again the space metric tensor γ<sub>αβ</sub> = − ''g''<sub>αβ</sub> one has, therefore
:<math>g_{00} = \gamma_{33}, \quad g_{0\alpha} = 0. </math> (eq. 91)

The special space coordinate is written as ''x''<sup>3</sup> = ''z'' and the time coordinate is written as ''x''<sup>0</sup> = ξ (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''<sup>1</sup>, ''x''<sup>2</sup> which will be also written as ''x'', ''y''. Therefore, the metric is
:<math>ds^2 = \gamma_{33} \left ( d\xi^2 - dz^2 \right ) - \gamma_{ab}dx^adx^b - 2\gamma_{a3}dx^adz. </math> (eq. 92)

The required solution should satisfy the inequalities
:<math>\gamma_{33} \ll \gamma_{ab}, </math> (eq. 93)
:<math>\gamma_{a3}^2 \ll \gamma_{aa}\gamma_{33}</math> (eq. 94)

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

Inequality (eq. 94) means that components γ<sub>''a''3</sub> are small in the sense that at any ratio of the shifts ''dx<sup>a</sup>'' and ''dz'', terms with products ''dx<sup>a</sup>dz'' can be omitted in the square of the spatial length element ''dl''<sup>2</sup>. Therefore, the first approximation to a solution is a metric (eq. 92) with γ<sub>''a''3</sub> = 0:<ref>Note that this metric allows arbitrary transformations of type ξ′ + ''z''″ = ''f''<sub>1</sub> (ξ + ''z''), ξ′ - ''z''′ = ''f''<sub>2</sub> (ξ - ''z''), ''x''′<sup>''a''</sup> = ''f<sup>a</sup>'' (''x''<sup>1</sup>, ''x''<sup>2</sup>).</ref>
:<math>ds^2 = \gamma_{33} \left ( d\xi^2 - dz^2 \right ) - \gamma_{ab}dx^adx^b. </math> (eq. 95)

One can be easily convinced by calculating the Ricci tensor components <math>\scriptstyle{R_0^0}</math>, <math>\scriptstyle{R_3^0}</math>, <math>\scriptstyle{R_3^3}</math>, <math>\scriptstyle{R_a^b}</math> using metric (eq. 95) and the condition (eq. 93) that all terms containing derivatives by coordinates ''x<sup>a</sup>'' are small compared to terms with derivatives by ξ and ''z'' (their ratio is ~ γ<sub>33</sub> / γ<sub>''ab''</sub>). In other words, to obtain the equations of the main approximation, γ<sub>33</sub> and γ<sub>''ab''</sub> in (eq. 95) should be differentiated as if they do not depend on ''x<sup>a</sup>''. Designating
:<math>\gamma_{33} = e^\psi, \quad \dot{\gamma}_{ab} = \varkappa_{ab}, \quad \gamma_{ab}^\prime = \lambda_{ab}, \quad |\gamma_{ab}| = G^2, </math> (eq. 96)

one obtains the following equations:<ref>The equation <math>\scriptstyle{R_0^0 + R_3^3 = 0}</math> is a direct result of (eq. 97-99) if <math>\scriptstyle{\dot G \neq 0}</math> or <math>\scriptstyle{G^\prime \neq 0}</math>. The case <math>\scriptstyle{\dot G = G^\prime = 0}</math> does not require a special treatment: it can be shown that the spacetime metric in this case converges (in first approximation) to Galilean.</ref>
:<math>2e^\psi R_a^b = G^{-1} \left ( G \lambda_a^b \right )^\prime-G^{-1} \left ( G \varkappa_a^b \right )\dot{ } = 0, </math> (eq. 97)
:<math>2e^\psi R_3^0 = \frac{1}{2}\varkappa\psi^\prime + \frac{1}{2}\lambda\dot{\psi} - \varkappa^\prime - \frac{1}{2}\varkappa_a^b\lambda_b^a = 0, </math> (eq. 98)
:<math>2e^\psi ( R_0^0 - R_3^3 ) = \lambda\psi^\prime + \varkappa\dot{\psi} - \dot \varkappa - \lambda^\prime - \frac{1}{2}\varkappa_a^b\varkappa_b^a - \frac{1}{2}\lambda_a^b\lambda_b^a = 0. </math> (eq. 99)

Index raising and lowering is done here with the help of γ<sub>''ab''</sub>. The quantities <math>\scriptstyle{\varkappa}</math> and λ are the contractions <math>\scriptstyle{\varkappa_a^a}</math> and <math>\scriptstyle{\lambda_a^a}</math> whereby
:<math>\varkappa = 2\dot G / G, \quad \lambda = 2G^\prime / G. </math> (eq. 100)

As to the Ricci tensor components <math>\scriptstyle{R_a^0}</math>, <math>\scriptstyle{R_a^3}</math>, by this calculation they are identically zero. In the next approximation (i.e., with account to small γ<sub>''a''3</sub> and derivatives by ''x'', ''y''), they determine the quantities γ<sub>''a''3</sub> by already known γ<sub>33</sub> and γ<sub>''ab''</sub>.

Contraction of (eq. 97) gives <math>\scriptstyle{G^{\prime\prime} + \ddot G = 0}</math>, and, hence,
:<math>G = f_1 ( x, y, \xi + z ) + f_2 ( x, y, \xi - z ).\, </math> (eq. 101)

Different cases are possible depending on the ''G'' variable. In the above case ''g''<sup>00</sup> = γ<sup>33</sup> <math>\scriptstyle{\gg}</math> γ<sup>''ab''</sup> and <math>\scriptstyle{N \approx g^{00} \left ( \dot G \right )^2 - \gamma^{33} \left ( G^\prime \right )^2 = 4 \gamma^{33} \dot{f}_1 \dot{f}_2}</math>. The case ''N'' > 0 (quantity ''N'' is time-like) leads to time singularities of interest. Substituting in (eq. 101) ''f''<sub>1</sub> = 1/2 ( ξ + ''z'' ) sin ''y'', ''f''<sub>2</sub> = 1/2 ( ξ - ''z'' ) sin ''y'' results in ''G'' of type
:<math>G = \xi \sin y.\,</math> (eq. 102)

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.<ref>{{cite journal
  | last = Einstein
  | first = Albert
  | coauthors = Nathan Rosen 
  | title = 
  | journal = Journal of the Franklin Institute
  | volume = 223
  | issue = 
  | pages = 43
  | date = 1937
  }}</ref> At ''N'' = 0 one arrives at the Robinson-Bondi wave metric that depends only on ξ + ''z'' or only on ξ - ''z'' (cf. <ref>Landau, Lifshitz (1988), Classical Field Theory, Ch. 101</ref>). The factor sin ''y'' in (eq. 102) is put for convenient comparison with homogeneous models. Taking into account (eq. 102), equations 97-99 become
:<math>\dot{\varkappa}_a^b + \xi^{-1} \varkappa_a^b - {\lambda_a^b}^\prime = 0,</math> (eq. 103)
:<math>\dot{\psi} = -\xi^{-1} + \frac{1}{4}\xi \left ( \varkappa_a^b\varkappa_b^a + \lambda_a^b\lambda_b^a \right ).</math> (eq. 104)
:<math>\psi^\prime = \frac{1}{2}\xi_a^b \lambda_b^a.</math> (eq. 105)

The principal equations are (eq. 103) defining the γ<sub>''ab''</sub> components; then, function ψ is found by a simple integration of (eq. 104-105).

The variable ξ runs through the values from 0 to ∞. The solution of (eq. 103) is considered at two boundaries, ξ <math>\scriptstyle{\gg}</math> 1 and <math>\scriptstyle{\ll}</math> 1. At large ξ values, one can look for a solution that takes the form of a 1 / √ξ decomposition:
:<math>\gamma_{ab} = \xi \left [ a_{ab} (x,y,z)+O(1/\sqrt{\xi}) \right ], </math> (eq. 106)

whereby
:<math>|a_{ab}| = \sin^2 y \, </math> (eq. 107)

(equation 107 needs condition 102 to be true). Substituting (eq. 103) in (eq. 106), one obtains in the first order
:<math>{\left ( {a^{ac}}^\prime a_{bc} \right )}^\prime = 0, </math> (eq. 108)

where quantities ''a<sup>ac</sup>'' constitute a matrix that is inverse to matrix ''a<sub>ac</sub>''. The solution of (eq. 108) has the form
:<math>a_{ab} = l_a l_b e^{-2\rho z}+m_a m_b e^{2\rho z}, \, </math> (eq. 109)
:<math>l_1 m_2 + l_2 m_1 = \sin y, \, </math> (eq. 110)

where ''l<sub>a</sub>'', ''m<sub>a</sub>'', ρ, are arbitrary functions of coordinates ''x'', ''y'' bound by condition (eq. 110) derived from (eq. 107).

To find higher terms of this decomposition, it is convenient to write the matrix of required quantities γ<sub>''ab''</sub> in the form
:<math>\gamma_{ab} = \xi \left ( \tilde L e^H L \right )_{ab},</math> (eq. 111)
:<math>L = \begin{bmatrix}
  l_1 e^{-\rho z} & l_2 e^{-\rho z} \\
  m_1 e^{\rho z} & m_2 e^{\rho z} 
\end{bmatrix},</math> (eq. 112)

where the symbol ~ means matrix transposition. Matrix ''H'' is symmetric and its trace is zero. Presentation (eq. 111) ensures symmetry of γ<sub>''ab''</sub> and fulfillment of condition (eq. 102). If exp ''H'' is substituted with 1, one obtains from (eq. 111) γ<sub>''ab''</sub> = ξ''a<sub>ab</sub>'' with ''a<sub>ab</sub>'' from (eq. 109). In other words, the first term of γ<sub>''ab''</sub> 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
:<math>H = \begin{bmatrix}
  \sigma & \varphi \\
  \varphi & -\sigma 
\end{bmatrix}.</math> (eq. 113)

Substituting (eq. 111) in (eq. 103) and leaving only terms linear by ''H'', one derives for σ and φ
:<math>\ddot{\sigma}+\xi^{-1}\dot{\sigma}-\sigma^{\prime\prime}=0,</math>
:<math>\ddot{\varphi}+\xi^{-1}\dot{\varphi}-\varphi^{\prime\prime}+4\rho^2 \varphi = 0.</math> (eq. 114)

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<ref>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 φ</ref>
:<math>\sigma = \frac{1}{\sqrt{\xi}}\sum_{n=-\infty}^\infty \left ( A_{1n} e^{in\omega\xi}+B_{1n} e^{-in\omega\xi} \right ) e^{in\omega z},</math>
:<math>\varphi = \frac{1}{\sqrt{\xi}}\sum_{n=-\infty}^\infty \left ( A_{2n} e^{in\omega\xi}+B_{2n} e^{-in\omega\xi} \right ) e^{in\omega z},</math> (eq. 115)
:<math>\omega_n^2 = n^2\omega^2+4\rho^2. </math>

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 (eqs. 104-105) it is easy to obtain the first term of the function ψ:
:<math>\psi = \rho^2\xi^2 \,</math> (eq. 116)

(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<ref name = bk57 />).

Therefore, at large ξ values, the components of the metric tensor γ<sub>''ab''</sub> oscillate upon decreasing ξ on the background of a slow decrease caused by the decreasing ξ factor in (eq. 111). The component γ<sub>33</sub> = ''e''<sup>ψ</sup> decreases quickly by a law close to exp (ρ<sup>2</sup>ξ<sup>2</sup>); this makes it possible for condition (eq. 93).<ref>Squared ''H'' terms in (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 (eq. 115). These calculations for the case ρ = 0 are given in Belinsky, Khalatnikov (1970), Appendix B (cf. the analogous situation for homogeneous models, Belinsky, Khalatnikov, Lifshitz (1970), Appendix B). </ref>

Next BKL consider the case ξ <math>\scriptstyle{\ll}</math> 1. The first approximation to a solution of (eq. 103) is found by the assumption (confirmed by the result) that in these equations terms with derivatives by coordinates can be left out:
:<math>\dot{\varkappa}_a^b+\xi^{-1} \varkappa_a^b = 0. </math> (eq. 117)

This equation together with the condition (eq. 102) gives
:<math>\gamma_{ab} = \lambda_a \lambda_b \xi^{2 s_1} + \mu_a \mu_b \xi^{2 s_2}, \,</math> (eq. 118)

where λ<sub>''a''</sub>, μ<sub>''a''</sub>, ''s''<sub>1</sub>, ''s''<sub>2</sub> are arbitrary functions of all 3 coordinates ''x'', ''y'', ''z'', which are related with other conditions
:<math>\lambda_1 \mu_2 - \lambda_2 \mu_1 = \sin y, \quad s_1 + s_2 = 1. \,</math> (eq. 119)

Equations 104-105 give now
:<math>\gamma_{33} = e^\psi \sim \xi^{-(1-s_1^2-s_2^2)}. \,</math> (eq. 120)

The derivatives <math>\scriptstyle{{\lambda_a^b}^\prime}</math>, calculated by (eq. 118), contain terms ~ ξ<sup>4''s''<sub>1</sub>-2</sup> and ~ ξ<sup>4''s''<sub>2</sub>-2</sup> while terms left in (eq. 117) are ~ ξ<sup>-2</sup>. Therefore, application of (eq. 103) instead of (eq. 117) is permitted on conditions ''s''<sub>1</sub> > 0, ''s''<sub>2</sub> > 0; hence 1 - <math>\scriptstyle{s_1^2 - s_2^2}</math> > 0.

Thus, at small ξ oscillations of functions γ<sub>''ab''</sub> cease while function γ<sub>33</sub> begins to increase at decreasing ξ. This is a Kasner mode and when γ<sub>33</sub> is compared to γ<sub>''ab''</sub>, the above approximation is not applicable.

In order to check the compatibility of this analysis, BKL studied the equations <math>\scriptstyle{R_{\alpha}^0}</math> = 0, <math>\scriptstyle{R_{\alpha}^3}</math> = 0, and, calculating from them the components γ<sub>''a''3</sub>, confirmed that the inequality (eq. 94) takes place. This study<ref name = bk59 /> showed that in both asymptotic regions the components γ<sub>''a''3</sub> were ~ γ<sub>33</sub>. Therefore, correctness of inequality (eq. 93) immediately implies correctness of inequality (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 ξ <math>\scriptstyle{\ll}</math> 1 these functions are, e.g., λ<sub>1</sub>, λ<sub>2</sub>, μ<sub>1</sub>, ''s''<sub>1</sub>. In the region ξ <math>\scriptstyle{\gg}</math> 1 the four functions are defined by the Fourier series by coordinate ''z'' from (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. <ref name=bk59 /> for more details).<ref>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. {{Citation |last=Petrov|first=Alexey Z.|author-link=w:Alexey Petrov|title=Einstein spaces|place=Oxford| |publisher=Pergamon Press|year=1969|id=}}, Chapter 40; Lifshitz, Khalatnikov (1963), Appendix A)</ref>

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 (eq. 7) the space-time metric of this model takes the form
:<math>ds_{IX}^2 = dt^2 - \left [ \left ( a^2 \sin^2 z + b^2 \cos^2 z \right ) \sin^2 y + c^2 \cos^2 y \right ] dx^2 -</math>
:<math>- \left [ a^2 \cos^2 z + b^2 \sin^2 z \right ] dy^2 - c^2 dz^2 + </math>
:<math> + \left ( b^2 - a^2 \right ) \sin{2z} \sin{y}\ dx\ dy - 2c^2 \cos{y}\ dx\ dz.</math> (eq. 121)

When ''c''<sup>2</sup> <math>\scriptstyle{\ll}</math> ''a''<sup>2</sup>, ''b''<sup>2</sup>, one can ignore ''c''<sup>2</sup> everywhere except in the term ''c''<sup>2</sup> ''dz''<sup>2</sup>. To move from the synchronous frame used in (eq. 121) to a frame with conditions (eq. 91), the transformation ''dt'' = ''c d''ξ/2 and substitution ''z'' → ''z''/2 are done. Assuming also that χ ≡ ln (''a''/''b'') <math>\scriptstyle{\ll}</math> 1, one obtains from (eq. 121) in the first approximation:
:<math>ds_{IX}^2 = \frac{1}{4}c^2 \left ( d\xi^2 - dz^2 \right ) - </math>
:<math> - ab \left \{ \sin^2{y} \left ( 1 - \chi \cos{z} \right ) dx^2 + \left ( 1 + \chi \cos{z} \right ) + 2\chi \sin{z} \sin{y}\ dx\ dy \right \}.</math> (eq. 122)

Similarly, with the basis vectors of Bianchi Type VIII homogeneous space, one obtains
:<math>ds_{VIII}^2 = \frac{1}{4}c^2 \left ( d\xi^2 - dz^2 \right ) - </math>
:<math> - ab \left \{ \sin^2{y} \left ( \operatorname{ch} z - \chi \right ) dx^2 + \left ( \operatorname{ch} z + \chi \right ) + 2 \operatorname{sh} z \sin{y}\ dx\ dy \right \}.</math> (eq. 123)

According to the analysis of homogeneous spaces above, in both cases ''ab'' = ξ (simplifying <math>\scriptstyle{a_0^2}</math> = ξ<sub>0</sub>) and χ is from (eq. 51); function ''c'' (ξ) is given by formulae (eq. 53) and (eq. 61), respectively, for models of Types IX and VIII.

Identical metric for Type VIII is obtained from (eq. 112, 115, 116) choosing two-dimensional vectors ''l<sub>a</sub>'' and ''m<sub>a</sub>'' in the form
:<math>l_1 = m_1 = \left ( 1 / \sqrt{2} \right ) \sin{y}, \quad l_2 = m_2 = 1 / \sqrt{2} </math> (eq. 124)

and substituting
:<math>\rho = 1/2, \quad A_{20}^* = B_{20} = iAe^{i\xi_0}, \quad A_{1n} = A_{2n} = B_{1n} = B_{2n} = 0 \quad (n \neq 0). </math> (eq. 125)

To obtain the metric for Type IX, one should substitute
:<math>\rho = 0, \omega = 1, \,</math>
:<math>A_{11} = -B_{11}^* = A_{1,-1}^* = -B_{1,-1} = -\frac{1}{2} A e^{-i\xi_0}, </math>
:<math>A_{21} = B_{21}^* = A_{2,-1}^* = B_{2,-1} = -\frac{1}{2} i A e^{-i\xi_0}, </math> (eq. 126)
:<math>A_{1n} = A_{2n} = B_{1n} = B_{2n} = 0 \quad (n \neq \pm 0) </math>

(for calculation of ''c'' (ξ) the approximation in (eq. 116) is not sufficient and the term in ψ linear by ξ is calculated<ref name=bk57 />)

This analysis was done for empty space. Including matter does not make the solution less general and does not change its qualitative characteristics.<ref name=bk57 /><ref name=bk59 />

==Conclusions==

BKL describe singularities in the cosmologic solution of Einstein equations that have a complicated oscillatory character. Although this singularity was studied primarily on special 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 spacial 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 spacial 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<ref>Misner, Ch. W. (1969) ''Phys. Rev. Lett.'', '''22''', 1071</ref>, related to propagation of light signals. In the isotropic model, a "light horizont" 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''<sup>2</sup> = ''dt''<sup>2</sup> — 2''t'' <math>\scriptstyle{d \bar{l}^2}</math>, where <math>\scriptstyle{d \bar{l}^2}</math> is a time-independent spatial differential form <ref>Landau, Lifshitz (1988), Classical Field Theory, Ch. 103-105</ref>. Substituting ''t'' = η<sup>2</sup>/2 yields 
:<math>ds^2 = \eta^2 \left (d\eta^2 - d \bar{l}^2 \right ).</math> (eq. 127)

The "distance" Δ<math>\scriptstyle{\bar l}</math> reached by the signal is
:<math>\Delta \bar l = \Delta \eta.</math> (eq. 128) 

Since η, like ''t'', runs through values starting from 0, up to the "moment" η signals can propagate only at the distance Δ<math>\scriptstyle{\bar l}</math> ≤ η 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''<sup>2</sup> = ''t''<sup>2</sup><math>\scriptstyle{\bar{l}^2}</math>, and the respective element of the four-dimensional interval is ''ds''<sup>2</sup> = ''dt''<sup>2</sup> − ''t''<sup>2</sup><math>\scriptstyle{\bar{l}^2}</math>. The substitution ''t'' = ''е''<sup>η</sup> puts this in the form
:<math>ds^2 = e^{2 \eta} \left ( d \eta^2 - d \bar{l}^2 \right ),</math> (eq. 129)

and for the signal propagation one has equation of the type (eq. 128) again. The important difference is that the variable η runs now through values starting from − ∞ (if metric (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==
<references/>
==References==
<div class="references" style="-moz-column-count: 2; column-count: 2;">
*{{Citation |last=Belinsky |first=Vladimir A.|first2=Isaak M.|last2=Khalatnikov |first3=Evgeny M.|last3=Lifshitz|author2-link=w:Isaak Markovich Khalatnikov |author3-link=w:Evgeny Lifshitz |title=Колебательный режим приближения к особой точке в релятивистской космологии |journal=Uspekhi Fizicheskikh Nauk (Успехи Физических Наук) |volume=102(3) |issue=11 |pages=463–500 |year=1970 |url=http://ufn.ru/ru/articles/1970/11 }};  English translation in {{cite journal |title=Oscillatory Approach to a Singular Point in the Relativistic Cosmology |journal=Advances in Physics |volume=19 |pages=525–573 |year=1970 |doi=10.1080/00018737000101171 |author=Belinskii, V.A.}}.
*{{Citation |last=Lifshitz|first=Evgeny M.|first2=Isaak M.|last2=Khalatnikov|title=Проблемы релятивистской космологии |journal=Uspekhi Fizicheskikh Nauk (Успехи Физических Наук) |volume=80(3) |issue=7 |pages=391–438 |year=1963 |url=http://ufn.ru/ru/articles/1963/7}};  English translation in {{cite journal |author=Lifshitz, E.M.|title=Problems in the Relativistic Cosmology |journal=Advances in Physics |volume=12 |pages=185 |year=1963}}.
*{{Citation |last=Landau|first=Lev D.|first2=Evgeny M.|last2=Lifshitz|author-link=w:Lev Landau|author2-link=w:Evgeny Lifshitz| title=Classical Theory of Fields (7th Russian ed.) | location=Moscow | publisher=Nauka | year=1988 | id={{ISBN|5-02-014420-7}}}} Vol. 2 of the Course of Theoretical Physics.
*<cite
id="CITEREFBerger2002">Berger, Beverly K.&#32;(2002),&#32;"[http://www.livingreviews.org/lrr-2002-1 Numerical Approaches to Spacetime Singularities]",&#32;''Living Rev. Relativity''&#32;'''5'''<span class="printonly">, &lt;http://www.livingreviews.org/lrr-2002-1&gt;</span>&#32</cite>
*{{Citation
 | last=Garfinkle
 | first=David
 | title=Of singularities and breadmaking
 | url=http://www.einstein-online.info/en/spotlights/singularities_bkl/index.html
 | journal=[http://www.einstein-online.info/en Einstein Online]
 | year=2007
 }}
*{{Citation
 | last = Thorne
 | first=Kip
 | authorlink=w:Kip Thorne
 | year = 1994
 | title = Black Holes and Time Warps: Einstein's Outrageous Legacy
 | publisher = W W Norton & Company
 | isbn = 0-393-31276-3}}

*{{Citation
 | last = Khalatnikov
 | first=Isaak M.
 | first2=Aleksander Yu.
 | last2=Kamenshchik
 | authorlink=w:Isaak Markovich Khalatnikov
 | year = 2008
 | title = Lev Landau and the problem of singularities in cosmology
 | publisher = To be published in the journal ''Physics&nbsp;— Uspekhi''
 | id = [http://arxiv.org/0803.2684v1 arxiv.org]
}}.

*{{Citation
 | last = Bini
 | first=Donato
 | first2=Christian
 | last2=Cherubini
 | first3=Robert
 | last3=Jantzen
 | year = 2007
 | title = The Lifshitz-Khalatnikov Kasner index parametrization and the Weyl  Tensor
 | publisher = to appear in the Proceedings of the First Italian-Pakistan Workshop on Relativistic Astrophysics which will be published as a special issue of Nuovo Cimento B
 | id = [http://arxiv.org/0710.4902v1 arxiv.org]
}}.

*{{Citation
 | last =Henneaux
 | first=Marc
 | first2=Daniel
 | last2=Persson
 | first3=Philippe
 | last3=Spindel
 | year = 2008
 | title = [http://www.livingreviews.org/lrr-2008-1 Spacelike Singularities and Hidden Symmetries of Gravity]
 | journal=Living Reviews of Relativity
 | volume=11
 | publisher = Max Planck Society
 | id =
}}.

*{{Citation
| last=Uggla
| first=Claes
| last2=van Elst
| first2=Henk
| last3=Wainwright
| first3=John
| last4=Ellis
| first4=George F.R.
| author4-link=w:George Ellis
| title=Past attractor in inhomogeneous cosmology
| journal=Phys. Rev. D
| volume=68
| issue=10
| pages=103502 (22pp)
| year=2003
| doi=10.1103/PhysRevD.68.103502
| id=[http://arxiv.org/0304002v1 arxiv.org]
}}.

*{{Citation
 | last=Heinzle
 | first=J. Mark
 | last2=Uggla
 | first2=Claes
 | last3=Röhr
 | first3=Niklas
 | title=The cosmological billiard attractor
 | year=2007
 | id = [http://arxiv/0702141v1 arxiv.org]
 }}.

*{{Citation
 | last=Frasca
 | first=Marco
 | title=Strong coupling expansion for general relativity
 | journal=Int.J.Mod.Phys. D
 | volume=15
 | issue=9
 | pages=1373 (14pp)
 | year=2006
 | doi=10.1142/S0218271806009091
 | id = [http://arxiv.org/hep-th/0508246 arxiv.org]
 }}.
</div>
{{BookCat}}