Manuscript X-C-ST@1 · X-C-ST.tex · section · b679954e

Switch derivatives before restriction

Formal duality and the two defects › Switch derivatives before restriction · lines 1478–1485

Neither $supp (1 - g)$ nor $supp (g - σ)$ is assumed compact. Compactness in the variation proof comes from compact generator support, from $f$ , and from the compact coefficients of $L_{j, g}$ .

Nearby in this section

section: Switch derivatives before restriction
lemma: Lemma: Switch defect with all retained derivatives