Manuscript XVI-L@1 · XVI-L.tex · section · 35081099

C. Jet bounds after contact

L.5 Local collision counterterms before attachment › C. Jet bounds after contact · lines 1009–1017

Back to manuscript

Write (source-slot order), (vertex order), so for an ordered placement contributing to label , and recall from L.1–L.2:

  • is linear in the residual-metric jet of order (XVI-K, Proposition prop:hess(1); Remark after Definition def:La);

  • the preparation jet of sits in , of order for respectively (Theorem thm:budget), and is not differentiated by ;

  • sits undifferentiated in before contact.

Nearby in this section