Manuscript III@2 · III.tex · proposition · 82dad3e5
Proposition: A reduced wave inverse need not solve invariant equations
Constructions that do not discharge the sourced successor › Three successor objects · lines 2615–2642 · proof included or linked
III@2#prop:forced-not-invariant
There are smooth compact symmetric sources for which the past-zero reduced equation
has a smooth retarded solution, while
has no smooth solution. This example is not an Einstein–scalar source model.
Proof. Choose compact smooth with , and let , all other components zero. Then .
The reduced equation has solution
by the retarded wave construction and . If the invariant equation had a solution, the linearized Bianchi identity would imply , a contradiction.
Displayed formulas in this passage
unlabeled · line 2619
unlabeled · line 2623
unlabeled · line 2636