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

Back to manuscript

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

Nearby in this section