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

Back to manuscript

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

Nearby in this section