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

Back to manuscript

For every , , and admissible ,

  1. Top order (): , independent of and ; it is the intrinsic residue of (common to all extensions of degree ).

  2. 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