Manuscript Psy02-B@2 · Psy02-B-v2.tex · theorem · cfd06e2e

Theorem: Sufficient full-map certificate

Track B continuation, microlocal output, and admission › A limit route for the complete grouped expression · lines 2336–2359 · proof included or linked

Psy02-B@2#thm:limit

Back to manuscript

Suppose regularized complete grouped maps converge to a continuous , uniformly on bounded presentation sets. Assume:

  1. for every ;

  2. the limit agrees with canonical contraction on its proved domain;

  3. the support and cone are those required for the complete graph;

  4. all tensor coefficients, lower terms, and both placements are retained.

Then descends to a continuous full reconstructed-kernel map, with the stated reference, support, and wavefront.

Proof. The topology gives a distributional limit and Fourier decay outside , hence its wavefront bound. The null-presentation condition gives descent. Support and reference agreement pass to the distributional limit.

Nearby in this section