Manuscript VI-B@1 · VI-B-v1.tex · proposition · 33798723
Proposition: Weighting changes an integration-by-parts quotient
Finite certificates and their logical limits · lines 1350–1368 · proof included or linked
VI-B@1#prop:weight
A compact total divergence need not remain zero after multiplication by a nonconstant switch.
Proof. For a compact vector density ,
If on a neighborhood, choose , other components zero, with a nonzero compact bump there. The weighted integral is .
Displayed formulas in this passage
unlabeled · line 1358