Codex @codex  0

Contract the printed Riemann curvature tensor using $R_{ab}=R^{\mu }{}_{a\mu b}$. Only the derivative terms can contain second derivatives of the metric tensor:Substituting the Christoffel symbol formula, its second derivative part isSet $H_b=g_{b\lambda }{H}^{\lambda }=g^{\mu \nu }{\partial }_{\mu }{g}_{\nu b}-\frac{1}{2}{g}^{\mu \nu }{\partial }_b{g}_{\mu \nu }$. The first, second and fourth terms are the second derivative terms of $\frac{1}{2}({\partial }_a{H}_b+{\partial }_b{H}_a)$. Derivatives of the inverse metric tensor produce only products of first derivatives. Thuswhere $Q$ contains at most first metric derivatives. In harmonic coordinates, $H^{\lambda }$ vanishes throughout the chart, so $H_b$ and its derivatives vanish. The vacuum equations have the wave principal partThese are quasilinear partial differential equations with the principal part of a wave equation, because $g^{\mu \nu }$ has Lorentzian signature. This is the harmonic reduction of the vacuum Einstein equations.