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

Back to manuscript

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