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

Back to manuscript

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

Nearby in this section