Manuscript IX-D-ST@1 · IX-D-ST.tex · lemma · b1dc631a
Lemma: Fourier existence
Common-regulator evaluation · lines 1401–1421 · proof included or linked
IX-D-ST@1#lem:Fourier
The locked formula defines a tempered distribution in , smooth in with values in . The common-Abel family converges to it distributionally.
Proof. After spatial Fourier transformation of a joint test, the multiplier is bounded on compact time sets by . Both powers are locally integrable with three-dimensional momentum measure. At infinity the transformed test is rapidly decreasing. Dominated convergence proves the pairing and the Abel limit. Temporal derivatives introduce only polynomial factors in momenta and times, handled by the same estimates. Temporal Schwartz weights absorb the explicit factor , giving temperedness.
Nearby in this section
- section: Common-regulator evaluation
- section: Common-regulator evaluation
- proposition: Proposition: Exact direct-plus-reflected subtraction
- lemma: Lemma: Global radial representatives
- theorem: Theorem: Exact imaginary part
- section: Common-regulator evaluation
- corollary: Corollary: Support, including the spatial apex
- section: Common-regulator evaluation