Manuscript Em01-E@2 · Em01-E-v2.tex · proposition · 54f8f8c2

Proposition: Application reference and profile comparison

Evaluated complete degenerate specialization › Reference, profile class, and authorization · lines 2179–2222 · proof included or linked

Em01-E@2#prop:appconsequences

Back to manuscript

For this specialization:

  1. is eventually zero on each compact subset of , so the proved reference there is zero;

  2. replacing by fixed compact smooth normalized profiles of the same factorized form, using one common even nonnegative longitudinal for the two four-variable factors, preserves ;

  3. the inverse-scale coefficient depends on , and is not profile independent;

  4. is a mathematical subtraction but is not authorized by the declared class .

No uniformity over all profiles is asserted.

Proof. The support of the exact expression satisfies

All tangential parameters stay in compact positive ranges. Thus the support approaches uniformly and eventually misses every compact set in its complement. Distributional differentiation does not enlarge support.

The finite-part moment values are , independent of the even normalized . The other factors affect the convolution only through their normalized marginals. For a different fixed compact longitudinal support, the rescaled integration range remains compact, although its size and the remainder constants may change.

The inverse-scale formula contains ; normalized even profile dilations change this number. Since , the proposed subtraction is nonzero and is not in .

Displayed formulas in this passage

  • unlabeled · line 2202

Nearby in this section