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

Back to manuscript

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

Nearby in this section