From Wikisource
Jump to: navigation, search
This page has been proofread, but needs to be validated.

order. From this we can deduce that \left(\frac{1}{\sqrt{-g}}\delta\mathfrak{g}^{ab}\right) is also such a tensor.

Writing for it \epsilon^{ab} we find according to (46) and (47) that


is a scalar for every choice of \left(\epsilon^{ab}\right).

This involves that \left(M_{ab}\right) is a covariant tensor of the second order and as the same is true for \left(G_{ab}\right) we must prove the equation


only for one special choice of coordinates.

§ 37. Now this choice can be made in such a way that at the point P of the field-figure g_{11}=g_{22}=g_{33}=-1, g_{44}=+1, g_{ab}=0 for a\neq b and that moreover all first derivatives g_{ab,e} vanish. If then the values g_{ab} at a point Q near P are developed in series of ascending powers of the differences of coordinates x_{a}(Q)-x_{a}(P) the terms directly following the constant ones will be of the second order. It is with these terms that we are concerned in the calculation both of M_{ab} and of G_{ab} for the point P. As in the results the coefficients of these terms occur to the first power only, it is sufficient to show that each of the above mentioned terms separately contributes the same value to M_{ab} and to G_{ab}.

From these considerations we may conclude that

\delta_{1}Q=\sum(ab)G_{ab}\delta\mathfrak{g}^{ab} (48)

Expressions containing instead of \delta\mathfrak{g}^{ab} either the variations \delta g^{ab} or \delta g_{ab} might be derived from this by using the relations between the different variations. Of these we shall only mention the formula

\delta g^{ab}=\frac{1}{\sqrt{-g}}\delta\mathfrak{g}^{ab}-\frac{g^{ab}}{2\sqrt{-g}}\sum(cd)g_{cd}\delta\mathfrak{g}^{cd} (49)

§ 38. In connexion with what precedes we here insert a consideration the purpose of which will be evident later on. Let the infinitely small quantity \xi be an arbitrarily chosen continuous function of the coordinates and let the variations \delta g_{ab} be defined by the condition that at some point P the quantities g_{ab} have after the change the values which existed before the change at the point Q, to which P is shifted when x_{h} is diminished by \xi, while the three other coordinates are left constant. Then we have

\delta g_{ab}=-g_{ab,h}\xi

and similar formulae for the variations \delta\mathfrak{g}^{ab}.