Manuscript X-E@1 · X-E.tex · lemma · 293fae6a
Lemma: Palatini form of the first variation
E1: the gravitational action and the metric Euler equation › First variation, derived · lines 569–609 · proof included or linked
X-E@1#lem:palatini, X-E@1#eq:palatini
For a smooth compactly supported variation ,
Consequently
Proof. is a tensor. Both sides of are tensors, and the identity holds in normal coordinates at any point, where and . Contracting, , so and . With and ,
The chain rule gives the remaining formulas.
Displayed formulas in this passage
X-E@1#eq:palatini · line 572
unlabeled · line 581
unlabeled · line 602