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
For this specialization:
is eventually zero on each compact subset of , so the proved reference there is zero;
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 ;
the inverse-scale coefficient depends on , and is not profile independent;
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