Manuscript IX-E-3@1 · IX-E-3.tex · section · 8c41417a
An explicit missed solid-ball region
A fully specified flat realization and the solid-ball error › An explicit missed solid-ball region · lines 777–812
IX-E-3@1#eq:explicit-gap
Let be a nonzero smooth bump, positive at , with
Consider the relative open collar
For every and ,
No backward null relation is possible. Therefore throughout for every source , and the bulk and surface derivative terms both vanish there. The scalar derivative is supported in , disjoint from . Consequently
The time-zero ball associated with contains . Thus the proposed universal solid-ball lower-support assertion is false for the flat realization.
A standard wave support theorem does not repair this assertion: the sphere-versus-ball distinction is exactly the relevant three-dimensional propagation distinction Ivrii.
Displayed formulas in this passage
IX-E-3@1#eq:explicit-gap · line 800
unlabeled · line 781
unlabeled · line 786
unlabeled · line 790