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

Back to manuscript

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

Nearby in this section