Manuscript Em02-D@4 · Em02-D-v4.tex · proposition · fcf2fac7
Proposition: Known partial assembly
Integrated-vertex jets and the known six rows › Six-row coefficients · lines 1456–1497 · proof included or linked
Em02-D@4#prop:six
The six-row family with removed satisfies
with the same bound for the scale derivative of the remainder.
Proof. The adjoint becomes
Only contributes at inverse-cubic order. Multiplication by gives .
The adjoint becomes
Its first term gives . No estimate divides by the inner radius: after the adjoint, inner derivatives act on the smooth -weight. The cone measure is finite through its vertex.
In (eq:response-adjoint), only contributes at inverse-cubic order, giving . Every other response term is .
The first-component action (eq:first-action) is also . Uniform master estimates and finite compact seed measures give the stated remainder bounds, including their direct scale derivatives.
Displayed formulas in this passage
unlabeled · line 1459
unlabeled · line 1471
unlabeled · line 1479