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

Back to manuscript

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

Nearby in this section