Manuscript Em01-B@3 · Em01-B-v3.tex · lemma · 69189992
Lemma: Frequency control through the origin
Internal reconstruction and all-region frequency estimates › A global compact-frequency bound · lines 900–946 · proof included or linked
Em01-B@3#lem:origin, Em01-B@3#eq:MR-order
For every , there is such that
This includes . Every frequency derivative of order has a corresponding bound using .
Proof. On fixed compact intervals, the principal-value subtraction and the delta term give
The same bound holds uniformly for shifts by , , after enlarging the fixed interval.
The global distributional interpretation of (eq:partial-fractions) is therefore
The shifted tests have a common compact temporal support. The integrand is bounded by . Its spatial integral is finite:
The expression is the Fourier transform of the retarded kernel, as follows by the temporal transform of its spatial sine representation. It thus defines the same distribution at the origin, rather than an extra extension chosen there. This proves (eq:MR-order). For derivatives, transfer the derivatives to the test.
Displayed formulas in this passage
Em01-B@3#eq:MR-order · line 903
unlabeled · line 917
unlabeled · line 926
unlabeled · line 937