Manuscript IX-B-ST@1 · IX-B-ST.tex · proposition · f6af1523

Proposition: Finite linear observation records do not fix the source

Residual records do not determine residual sources · lines 1883–1912 · proof included or linked

IX-B-ST@1#prop:classicalsource

Back to manuscript

Let finitely many linear observation-test records of smooth compact metric configurations be prescribed. There are two configurations with identical such records but different source functionals of . In particular, an installed calibration table without a field-acquisition map cannot determine that source.

Proof. If there are records, choose nonzero scalar bumps with mutually disjoint compact supports in . Use configurations with only nonzero and in the span of those bumps. The record map from this span to has a nonzero kernel; let be in it.

A nonzero compact smooth solution of cannot exist with zero data before its time support, by local uniqueness. Thus . The zero configuration and this configuration have the same records, but the source functional with scalar test has difference

Real configurations and real tests may be chosen when the original records are real linear, by using the corresponding real finite-dimensional argument.

Displayed formulas in this passage

  • unlabeled · line 1906

Nearby in this section