This equation has the special characteristic that it is true without
reference to the Einstein equations . That is, it is true
for any spacetime. It
is an intrinsic property of the volume expansion.
Say V is the timelike unit tangent vector of congruence of timelike geodesic ().
is the
acceleration of the flow line and
is the tensor which project a vector X of the
tangent space
into its components in the subspace
orthogonal to V.
The Raychaudhuri equation [glo]Raychaudhuri equation say:
Where
,
.
By defining these object we emphasized the analogy with Fluids Dynamics discuss in appendix page
.
A congruence of timelike geodesics has everywhere if it is zero at one point and also
. The calculation are a lot simpler for this case.
In order to derive this equation one need to compute
the
derivative of the projection of the tangent vector of the
timelike curve
(also called the Jacobi field [glo]Jacobi field because it solves the Jacobi equation [glo]Jacobi equation
)
. Then you project and derive this equation.
By projecting it again one can find:
Our interest in the Raychaudhuri equation comes from the fact
that one can see the convergence of geodesic from it. It is used
in the proof of the singularity theorems . It is obvious that if then there will be convergence of the geodesics.
After some examples, like the Robertson and Walker case for dust
(see appendix page
), we
can now go to the null case.