Manuscript XIX-B@1 · XIX-B.tex · proposition · b5670709
Proposition: The transported response is not a first VI solution-jet coefficient
Lemma B: the detecting forcing calculation › The solution-jet membership test · lines 700–765 · proof included or linked
XIX-B@1#prop:jet-domain, XIX-B@1#eq:Einstein-witness
For ,
Its other components vanish on that interval. In particular, fails (eq:VI-vacuum). For every nonzero phase , the real coefficient also fails that equation on the slab.
Consequently, placing this response as VI's first metric coefficient does not produce an element of , whatever higher metric and scalar coefficients are chosen.
Proof. For a spatially homogeneous tensor with , write . Substitution in (eq:Einstein) gives
For example, ; the terms cancel from the spatial equation. This verifies the formula without imposing any gauge condition.
From (eq:htransport) and (eq:V), . On the plateau,
so
It follows that
This proves (eq:Einstein-witness).
The matrix is nonzero. For every , is not identically zero on an open time interval. Thus the corresponding real Einstein coefficient is nonzero. The first metric equation in is independent of higher coefficients, which proves the final assertion.
Displayed formulas in this passage
XIX-B@1#eq:Einstein-witness · line 703
unlabeled · line 725
unlabeled · line 738
unlabeled · line 744
unlabeled · line 751