Manuscript Psy02-B@2 · Psy02-B-v2.tex · section · cfd06e2e

Supported normal jets

Track B reconstruction, contacts, and supported references › Supported normal jets · lines 2270–2284

For smooth $c (s, q)$ ,

c E_{α} b = β \leq α \sum (- 1)^{∣ β ∣} (β α) E_{α - β} ((\partial_{q}^{β} c) (s, 0) b) .

This follows by differentiating the product $c ϕ$ . For distributional coefficients, the traces and tangential products need independently checked wavefront conditions.

Displayed formulas in this passage

unlabeled · line 2273
$c E_{α} b = β \leq α \sum (- 1)^{∣ β ∣} (β α) E_{α - β} ((\partial_{q}^{β} c) (s, 0) b) .$

Nearby in this section

section: Supported normal jets
theorem: Theorem: Normal coefficients and supported extension
proposition: Proposition: Traceable supported-sector reference
section: Supported normal jets