Manuscript XX-D@1 · XX-D.tex · proposition · c83a526d
Proposition: Same-operator infrared non-determination
Why the missing infrared hypotheses cannot be inferred › Smooth covariance ambiguity can leave the rod domain · lines 1571–1620 · proof included or linked
XX-D@1#prop:IRfailure
The conditions (eq:W) alone do not ensure a decaying rod composition after compact testing.
Proof. In a spatially homogeneous frame all coefficients of depend only on time. Spatial polynomials of degree at most one are preserved by the operator, reducing the Cauchy problem on that subspace to smooth finite-dimensional ordinary differential equations.
Choose a real solution with data at
and any fixed polynomial first time-derivative data. Then , and
A decaying first rod in component would solve
Its spherical mean is
which cannot tend to zero.
Both and satisfy (eq:W): their difference is a smooth real symmetric bisolution. Choose compact with . If both compact-tested covariances had linear decaying rod compositions, subtracting them would yield a decaying rod for the displayed multiple of , a contradiction. At least one representative lies outside that composition domain.
Displayed formulas in this passage
unlabeled · line 1588
unlabeled · line 1595
unlabeled · line 1601
unlabeled · line 1605