Manuscript IX-D-ST@1 · IX-D-ST.tex · lemma · b1dc631a
Lemma: Global radial representatives
Common-regulator evaluation · lines 1470–1519 · proof included or linked
IX-D-ST@1#lem:radial, IX-D-ST@1#eq:H, IX-D-ST@1#eq:D
The cosine distribution is the locally integrable function
Moreover . For ,
The derivative of (eq:H) specifies the distribution at the spatial apex, with no added point-supported term.
Proof. Angular integration gives
For real ,
as follows by differentiating in , integrating the elementary Laplace transform, and using the value zero at . Consequently
It converges almost everywhere to (eq:H). For , its absolute value is at most , which is locally integrable in . Dominated convergence gives the global distributional limit, including .
Fourier differentiation gives . Differentiating the indicator at gives (eq:D). Since the global limit of has already been identified as a locally integrable function, its distributional derivative leaves no undetermined apex contact.
Displayed formulas in this passage
IX-D-ST@1#eq:H · line 1473
IX-D-ST@1#eq:D · line 1478
unlabeled · line 1488
unlabeled · line 1494
unlabeled · line 1502
Nearby in this section
- section: Common-regulator evaluation
- lemma: Lemma: Fourier existence
- section: Common-regulator evaluation
- proposition: Proposition: Exact direct-plus-reflected subtraction
- theorem: Theorem: Exact imaginary part
- section: Common-regulator evaluation
- corollary: Corollary: Support, including the spatial apex
- section: Common-regulator evaluation