1. Introduction
In general relativity the motion of nearby bits of matter is described by the celebrated Raychaudhuri equation or the Landau–Raychaudhuri equation [
1,
2]. It shows a general validation that gravitation should be a universally attractive interaction between any two bits of matter in general relativity and also in Newton’s theory of gravity. This equation was formulated by Raychaudhuri and Landau independently in 1954 [
3,
4]. Later it became a fundamental lemma in proving the famous Hawking–Penrose singularity theorems and in studying exact solutions of Einsteins equations in general relativity [
5,
6].
Saurya Das has proposed in the quantum theory a Raychaudhuri equation where the usual classical trajectories are replaced by Bohmian trajectories [
7]. Bohmian trajectories do not converge and thus the issue of geodesic incompleteness, singularities such as big bang or big crunch can be avoided [
8,
9]. In this paper we treat the classical geometrical flow as a dynamical system in such a way that the Raychaudhuri equation becomes the equation of motion and that the action can be used to quantize the dynamical system. The asymmetry of the Raychaudhuri equation then leads to a characterization of the instabilities of the geodesic flow. Classical chaos is essentially characterized by the exponential divergence of neighboring trajectories inducing a high degree of instability in the orbits with respect to initial conditions.
The Raychaudhuri equation is the basis for deriving the singularity theorems. The study is expected to show the effect such a quantization will have on the geometrical flow, and as part of the process it can be shown that a quantum space–time is non-singular. The existence of a conjugate point is a necessary condition for the occurrence of singularities [
9]. However it is possible to demonstrate that conjugate points cannot arise because of the quantum effects. An intriguing result obtained was that the Raychaudhuri equation can be written in a harmonic oscillator form under suitable transformations. Here a new quantity called geometrical entropy
can be defined where
represents the distance between two nearby geodesics. We have expressed the above equations in terms of the entropy which by transformation to a Ricatti-type equation becomes similar to the Jacobi equation. We have recently proved that the geodesic deviation equation of Jacobi becomes unitarily equivalent to that of a harmonic oscillator. In this way, a connection between general relativity and chaos theory is established [
10,
11,
12].
The connection can be further investigated by the addition of gauge fields in the metric. Here too the Raychaudhuri equation and the geodesic equation acquire the harmonic oscillator-form under suitable transformations. However, the convergence and divergence criteria get modified by the effect of the gauge field. In this case the particles deviate from the geodesics. A point to be noted when adding a gauge field into the picture is that the particle no longer follows a geodesic. According to the work by S.G.Rajeev [
13], the Riemannian geometry is a particular case of Hamiltonian Mechanics. He explores the links between Riemannian geometry and Hamiltonian Mechanics by changing the form of the Hamiltonian through the addition of a scalar field or vector field and investigates the corresponding change in the geometry(change in curvature and Ricci tensor).
2. Raychaudhuri Equation from Geometric Flow
We study the congruence of a test particle moving on an n+1 dimensional space–time M. We use the proper time (
) for this particle as a dynamical foliation parameter so as to foliate the space–time into topology
. Here
T is a Riemannian Manifold with a metric
that projects any vector field into the manifold. We also define
, a hyper-surface in the transverse manifold that the world-lines intersect at time
. The volume of that hyper-surface is given by:
we consider the velocity field of the test particle in the congruence to be normal to the n-dimensional transverse manifold
. The gradient of velocity is a second rank tensor having three parts: the symmetric traceless part, the antisymmetric part and the trace. The three parts define the shear, the rotation and the expansion of the flow. We consider the cross-sectional hypersurface
as a dynamical system. We define the volume of the cross-sectional hypersurface [
14,
15,
16,
17]
as the dynamical degree of freedom.
We define the dynamical evolution of the metric as
Multiplying both sides by
and using
, we get a very important result
Using the Lagrangian
, we define the action
where
is the Raychaudhuri scalar,
, and
is the shear potential that satisfies the equation
We can express the canonical conjugate momentum as
Thus, as one would expect, the expansion parameter is the conjugate momentum to the dynamical degree of freedom
. We proceed further by computing the variation
Using the Euler-Lagrange equation, we can rewrite the Raychaudhuri equation as
We can define the Hamiltonian as
Thus the derivation of Raychaudhuri equation without the acceleration term can be found.
3. Raychaudhuri Equation in Harmonic Oscillator Form
Let us consider Raychaudhuri equation without the acceleration term (
set to zero).
In order for the LHS to be negative it must fulfill the condition
which finally leads to the inequality
One can infer that any initially converging hyper-surface-orthogonal congruence must continue to converge and within a finite proper time
must lead to crossing of the geodesics. Since the Strong Energy Condition(SEC) causes gravitation to be attractive, matter obeying the SEC cannot cause geodesic deviation, on the other-hand it will increase the rate of convergence. Since entropy is defined as the average convergence/divergence of the geodesics in a congruence, the SEC will cause further decrease in entropy. If we set
the Raychaudhuri equation is transformed to
which is a harmonic oscillator equation [
18].
As pointed out above, may be identified with the derivative of the entropy, so that the entropy will be of the form . Here, may be identified with an effective or average geodesic deviation.
Recently, Kar and Sengupta [
18] have shown that the condition for geodesic convergence is the existence of zeroes in
at finite values of the affine parameter(
), and they argue that convergence occurs if
Most of the physical matter fields satisfy the strong energy conditions which state that for all time like vectors
U, the inequality holds
It follows, when(SEC) holds the term
is always positive. Furthermore, note that the shear and the rotation are spatial vectors and consequently
and
. As mentioned above
is zero if and only if the congruence is hyper-surface orthogonal. If that is satisfied the Raychaudhuri equation simplifies to the form
In order for the left hand side to be negative it must fulfill the condition
which finally leads to the inequality
If we set
the Raychaudhuri equation is transformed to
which is a harmonic oscillator equation. We have recently proved that the geodesic deviation equation of Jacobi is unitarily equivalent to that of harmonic oscillator. The expansions rate of growth of the cross-sectional area orthogonal to the bundle of geodesics. Increase/decrease of this area is same as that of divergence/convergence of the geodesics. The average growth of the cross-sectional area is the same as that of the geodesics. The average growth of the cross-sectional area is compatible with the average geodesic deviation. Kar and the Sengupta [
18] have shown that the condition for geodesic convergence is the existence of zeros in
at finite values of the affine parameter, and they argue that convergence occurs if
. Here shear increases convergence and rotation obstructs convergence.
4. Raychaudhuri Equation in Harmonic Oscillator Form: With the Acceleration Term
The Raychaudhuri equation in harmonic oscillator form can be written as
and convergence occurs if:
This clearly shows that the velocity field has a significant role in the convergence or divergence of world-lines.
Let us study this effect in more detail. The acceleration term causes the particle to deviate from geodesic. Therefore it has a logarithmic relation to entropy which increases when geodesics diverge.
To give a clear picture we consider the Kaluza Klein cosmology. The Kaluza Klein metric is given by,
with the electromagnetic potential
where
is the 4-dimensional metric and
is the electromagnetic potential. Now the space–time interval becomes
This provides a space–time with electromagnetism and gravity unified. The geodesic equation in five-dimensional space–time,
can be transformed by applying cylindrical condition on the metric as
where
a is a constant along the
world line. In our case
is non zero since we have included electromagnetic fields. We assume that
where
is determined by
Here, the electromagnetic potential emerges out of
. Let us now consider Raychaudhuri equation in four dimensions.
where
,
,
. The cosmological constant
is set to zero. Since
the last term in Equation (
8) can be written as
with
as the covariant derivative. The vorticity
and
induces expansion and contraction respectively. It is useful to note that
is positive for static spherically symmetric space–time in five dimensions without electromagnetism. The additional term,
is positive for static spherically symmetric space–time in five dimensions without electromagnetism. Considering a case with
and
we get
For a static spherical symmetric metric,
is always positive [
19]. This indicates that a scalar field will always defocus world lines. Thus in Kaluza Klein cosmology, scalar field always creates a defocus of worldlines and we get a bouncing model of universe [
20].
5. Conclusions
The formalism that we have developed can be applied to any physical system where the equation for geometrical flow is valid. This can also be applied to cosmology with a scalar field.
The physical significance of geometrical entropy is that, it represents the chaotic behavior of world-lines that tend to converge or diverge. This can be observed in cosmology where geodesics try to converge near big-bang singularity. However, scalar fields try to inhibit the convergence and causes divergence. Thus there is a possibility of bouncing model of the universe in classical theory. Further studies are possible in charged black holes.