For , Cartan's magic formula gives
whereas contraction and exterior differentiation both vanish for . Thus
Applying the Lie derivative to
yields
Here and , so comparison with gives
Using tracelessness from part (b)(i),
by the dominant energy condition, because is future timelike and is future null.

Articles by others on the same topic (0)

There are currently no matching articles.