Manuscript IX-E-2@1 · IX-E-2.tex · proposition · e70d9077
Proposition: Cosine limit
Common-regulator evaluation › The cosine distribution · lines 735–767 · proof included or linked
IX-E-2@1#eq:H-evaluated
On ,
Here is the locally integrable Heaviside distribution; its assigned point value at zero is irrelevant.
Proof. For , both arctangent arguments tend to positive infinity, so their sum tends to . For , one tends to positive infinity and the other to negative infinity, so the sum tends to zero.
For all ,
The majorant is locally integrable in , since spatial polar measure is . Thus dominated convergence proves local distributional convergence, including neighbourhoods of the spatial apex. Its limit agrees with the independently defined Fourier distribution.
The radial display is used on . At the apex the Fourier definition remains authoritative. The global convergence argument does not leave freedom to add an apex contact.
Displayed formulas in this passage
IX-E-2@1#eq:H-evaluated · line 737
unlabeled · line 754