Manuscript XV-E@1 · XV-E.tex · section · a3dc45f5

Erratum to XV-D's coefficient proposition

Erratum to XV-D's coefficient proposition · lines 1052–1066

XV-E@1#eq:jetboundE

Here, as in XV-C and XV-D,

∣ ⟨ b^{\circ}_{D, γ}, ψ ⟩ ∣ \leq C_{K, γ} p_{k_{K, γ}} (ψ), ψ \in D (S_{0} ∖ Z), supp ψ \subset K,

is the compact-uniform estimate equivalent to unrestricted supported realization of the normal form (eq:reference) XVC. No instance of (eq:jetboundE) is verified or refuted for an actual coefficient, because no actual $v_{α}$ , $c_{D, β}$ is defined (D0.18). Gate E3 is not entered.

Displayed formulas in this passage

XV-E@1#eq:jetboundE · line 1055
$∣ ⟨ b^{\circ}_{D, γ}, ψ ⟩ ∣ \leq C_{K, γ} p_{k_{K, γ}} (ψ), ψ \in D (S_{0} ∖ Z), supp ψ \subset K,$

Nearby in this section

section: Erratum to XV-D's coefficient proposition
proposition: Proposition: Extendability of a trace and of its smooth multiple
corollary: Corollary: Replacement text for XV-D, Prop.\ prop:reduction (iii)