In this section we calculate this consistency condition for the specific case of time independence and spherical symmetry. In other words, we now write explicitly, under these conditions, the expression that is given in Equation (14) of the text. The energy-momentum tensor in Equation (13) of the text, in its mixed form, can be written symbolically in the following way,
(111) |
This symbolic form encodes the fact that is a diagonal matrix. We may calculate the covariant divergence using this symbolic form of the tensor. In order to do this we first write explicitly the contracted covariant derivative of the mixed tensor that appears in its covariant divergence,
(112) |
As we will see, the only non-trivial condition that comes from Equation (14) of the text is the one for the case . However, let us calculate first the general, non-contracted case, of this covariant derivative,
(113) |
We can do this using the symbolic form for ,
(114) |
where we have used the fact that, since are functions of only , we have that
(115) |
where the prime indicates derivatives with respect to , just as in the text. If we now contract the indices and we get
(116) |
since we have that , , and . We now observe that, from the values of the components of the connection that were given in Table 1 of the text, we can get the values of the elements that appear in the contractions , , and , and in this way we get for these contractions
(117) |
We therefore have for our contracted covariant derivative
(118) |
This must be zero for all values of , and therefore we must write out each one of the cases, using once more the values of the components of the connection , shown in Table 1 of the text,
(119) |
where we used the fact that in the third equation above. Thus we see that three of the four consistency conditions , those for , and , are automatically satisfied. The only non-trivial condition is that given by , which results in
(120) |
and which can also be written as
(121) |
This condition, as a condition on , is required to be satisfied if this energy-momentum tensor is to be used in the right-hand side of the Einstein gravitational field equation.