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.