Manuscript X-E@1 · X-E.tex · section · 293fae6a
Expansion through second order in q-η
E1: the gravitational action and the metric Euler equation › Expansion through second order in q-η · lines 611–663
X-E@1#eq:G2, X-E@1#eq:G-expansion
Set with
Then
and, raising with ,
The linearized Bianchi identity holds for every smooth , by direct computation from (eq:G2). No later proof uses the explicit form of or of any higher coefficient; they are displayed so that (eq:metric-euler-expanded) is a definite equation.
Displayed formulas in this passage
X-E@1#eq:G2 · line 622
X-E@1#eq:G-expansion · line 644
unlabeled · line 615
unlabeled · line 651