Manuscript XVI-M@1 · XVI-M.tex · theorem · 7346c909
Theorem: Scale derivative equals dilation defect at every grade
M.6 Dilation identity, residues, and matched scale variation › Scale derivative versus dilation defect at every grade (work package B) · lines 1716–1741 · proof included or linked
XVI-M@1#thm:wpB-B0, XVI-M@1#eq:wpB-nu
For every , , and admissible ,
Top order (): , independent of and ; it is the intrinsic residue of (common to all extensions of degree ).
Lower orders ():
The identity is pure prescription calculus; the explicit top-order values below use Theorem thm:wpA-Sbv.
Proof. : differentiate ; vanishes to order at (since for all ), so the pairing is the unique extension; Lemma lem:wpB-dw. : by homogeneity is supported at of order ; its coefficients are ; the first term is a zero moment, the second vanishes to order . Hence the coefficients agree; . Polar coordinates, and one integration by parts give (1)–(2); for the radial integral telescopes to . Certificates: top order by two independent exact routes (contour residues; Hadamard finite part plus in ), equal on every slot; finite exact end-to-end tests with an explicit compactly supported non-radial for (Euclidean toy kernels, Section B of the script).
Displayed formulas in this passage
XVI-M@1#eq:wpB-nu · line 1727
unlabeled · line 1719
Nearby in this section
- scope: Status (work package B).
- section: Scale derivative versus dilation defect at every grade (work package B)
- lemma: Lemma: Complete scale derivative of the subtraction functions
- section: Scale derivative versus dilation defect at every grade (work package B)
- section: Scale derivative versus dilation defect at every grade (work package B)
- theorem: Theorem: Double-plateau scale tensor: top component and full tensor
- proposition: Proposition: Exact separating functional for the displayed scale functional (audit 3)
- remark: Remark: Top contact versus full tensor; relation to XVI-L