Manuscript XIX-A@1 · XIX-A.tex · lemma · e30d8062
Lemma: First rod variations
Second refusal: original rods are not modified rods › A detecting compact perturbation · lines 840–883 · proof included or linked
XIX-A@1#lem:rod-first, XIX-A@1#eq:rod-first
On (eq:scalar-metric),
Thus original and modified rods are not identical functional prescriptions.
Proof. On an original clock slice,
Expanding gives
The first harmonic equation is , which proves the first formula.
A modified slice through background time has embedding
because . Its induced spatial metric at first order is
The contribution involving starts at order ; the lapse perturbation therefore does not alter this first-order calculation. The modified harmonic equation is with decaying boundary data, so . For any such that is nonzero, the prescriptions differ.
Displayed formulas in this passage
XIX-A@1#eq:rod-first · line 843
unlabeled · line 853
unlabeled · line 860
unlabeled · line 867
unlabeled · line 871