Manuscript XV-F-patch@1 · XV-F-patch.tex · section · 6d6ef16d

The actual type of a residual metric test

Patch G: the common space and residual species › The actual type of a residual metric test · lines 669–713

XV-F-patch@1#eq:Gtest, XV-F-patch@1#eq:Goperator

Back to manuscript

XIV-G's tested source uses

Its local operator representation is

The coefficients are smooth and supported in . These are the source's local differential-operator statements. They retain the actual source coefficients and ramp derivatives within that copied operator statement.

The test in (eq:Gtest) is a metric direction on . It is not a compact test section on all of . Pulling it back by the projection to gives a smooth object depending only on , but does not generally give compact support in . Moreover, the mixed residual output also retains a scalar slot at . The metric direction alone therefore cannot be declared to be the full test space for the output coefficient.

This matters for duality. A vector-valued distribution with values in a bundle pairs with compact sections of the dual bundle, with an appropriate density. It does not, without a chosen fiber pairing, pair canonically with sections of the same bundle. A metric on could identify those two spaces, but no such metric on an output bundle is supplied by XIV-G.

The input metric bundle itself is not rank-mysterious. In four spacetime dimensions a symmetric covariant two-tensor has ten components. What is not identified in XIV-G is a separate bundle called which packages the output residual species with the required value/test duality. The two questions must not be confused.

Displayed formulas in this passage

  • XV-F-patch@1#eq:Gtest · line 672

  • XV-F-patch@1#eq:Goperator · line 679