Manuscript XVI-M@1 · XVI-M.tex · proposition · 7346c909
Proposition: Time-only matching probes
M.4 Contact collapse and Helmholtz conditions › Time-only universal Helmholtz classification (work package C) · lines 1348–1363
XVI-M@1#prop:to-match
Assume Gate V. Take the weight , or in the -plateau variant, with all preparation and switch derivatives retained in the Euler tensors.
: is one-dimensional, spanned by , with preimage (regression-preserving), in both and . Neither nor is an image by itself. The Helmholtz check is verified by two independent routes (time-only jets;
euler_equationswith , , ).: the weighted Einstein–Hilbert Euler tensor is not in , in either or .
: , in both and . The double-plateau matchings of Proposition prop:match(3) and Theorem thm:M5-plateau-R2 therefore do not survive the time-only reading: once , are retained, the weighted and Euler tensors are not images, even with .
Divergence identities (upper-index , no metric factor; time-only jets): for and ; ; nonzero for the ultralocal .
Each weighted target is checked to be self-adjoint under . Membership is decided by the exact verified kernel of the block augmented by the targets.
Nearby in this section
- section: Time-only universal Helmholtz classification (work package C)
- definition: Definition: Time-only formal reading and the specialization S t
- lemma: Lemma: Intertwining
- section: Time-only universal Helmholtz classification (work package C)
- theorem: Theorem: Time-only classification
- proposition: Proposition: Time-only χ -plateau: new spatial variational directions
- lemma: Lemma: Linear independence of the actual ramp derivatives
- section: Time-only universal Helmholtz classification (work package C)