Manuscript XI-A@1 · XI-A.tex · lemma · b8211ecc
Lemma
Finite formulas for the gravitational Euler coefficients · lines 1381–1396 · proof included or linked
The formulas in this appendix give the coefficients of (eq:Hdef).
Proof. Expand in the exact Christoffel formula. Since , the order- Christoffel coefficient is (eq:Gamma-n). Substitution into (eq:ricci) yields (eq:R-n). Contracting the Ricci expansion with the inverse metric yields (eq:r-n); multiplying gives (eq:C-n). Finally, multiplying by and by two inverse metrics gives (eq:H-n).