Manuscript XIX-A@1 · XIX-A.tex · lemma · e30d8062
Lemma: Spatial rods are not harmonic Cauchy coordinates
Second refusal: original rods are not modified rods › A detecting compact perturbation · lines 943–966 · proof included or linked
XIX-A@1#lem:elliptic-hyperbolic
On the cosmological background, original slice-harmonic spatial rods are not interchangeable with spatial harmonic coordinates having fixed zero perturbative Cauchy data.
Proof. The background spatial functions are both slice harmonic and spacetime harmonic. This is a background coincidence. Choose the perturbation with . The original rods have
The perturbative spacetime-harmonic coordinates with fixed zero Cauchy positions have . They therefore differ at the initial surface. Existence of the corresponding hyperbolic coefficient problem follows from the Cauchy theorem for the smooth background BGP; only the fixed initial position is needed for the contradiction.
Displayed formulas in this passage
unlabeled · line 955