The vector field Va is the normalised (VaVa=−c2) tangent to a congruence of timelike geodesics, and Bab=∇bVa.
Show that:
(i) VaBab=VbBab=0;
(ii) Vc∇cBab=−BbcBac−RacbdVcVd.
[You may use the Ricci identity ∇c∇bXa=∇b∇cXa−RacbdXd.]
Now assume that Bab is symmetric and let θ=Baa. By writing Bab=Bab+41θgab, or otherwise, show that
dτdθ⩽−41θ2−R00
where R00=RabVaVb and dτdθ≡Va∇aθ. [You may use without proof the result that \left.\widetilde{B}_{a b} \widetilde{B}^{a b} \geqslant 0 .\right]
Assume, in addition, that the stress-energy tensor Tab takes the perfect-fluid form (ρ+p/c2)VaVb+pgab and that ρc2+3p>0. Show that
dτdθ−1>41
and deduce that, if θ(0)<0, then ∣θ(τ)∣ will become unbounded for some value of τ less than 4/∣θ(0)∣.