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
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
- section: Residual records do not determine residual sources
- proposition: Proposition: Record versus residual criterion
- proposition: Proposition: A residual separation with identical records
- section: Residual records do not determine residual sources
- section: Residual records do not determine residual sources