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

Back to manuscript

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