Manuscript Em01-D@2 · Em01-D-v2.tex · proposition · d3b49151
Proposition: Support of nonsummable coefficients
Support, profiles, admissibility, and output › Support requires a proved reference domain · lines 1578–1595 · proof included or linked
Em01-D@2#prop:support
Suppose Theorem thm:main applies and the same family has a raw limiting reference on an open set . Then every nonsummable coefficient restricts to zero on , and
Moreover equals that reference.
Proof. Apply the fixed-test dominance argument to tests supported in . A nonzero restricted nonsummable coefficient would contradict convergence there. After those coefficients vanish, the remainder estimate identifies the limit with .
Displayed formulas in this passage
unlabeled · line 1584