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

Back to manuscript

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

Nearby in this section