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

Back to manuscript

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