Manuscript IX-D-ST@1 · IX-D-ST.tex · lemma · b1dc631a
Lemma: A bounded bulk term cannot cancel a surface delta
Exact quadratic support and surface non-cancellation · lines 1758–1780 · proof included or linked
IX-D-ST@1#lem:nocancel
Let be locally bounded near , and let be smooth on . If , then
is not zero in any neighbourhood of .
Proof. Choose a spatial test supported arbitrarily near with . Pair with , where and is compactly supported. The delta pairing is fixed and nonzero. Local boundedness makes the bulk pairing . For sufficiently small they cannot cancel.
Displayed formulas in this passage
unlabeled · line 1763