Let 0<q<q0≤1 on Ω, with q smooth, bounded below on compact subsets, and ∣∂αq∣≤Cαq1−c∣α∣. Suppose smooth functions fj, all on Ω, satisfy
∣fj∣m≤Cj,mqgj−ℓm(1+∣logq∣)Pj,m,0<g1≤g2≤⋯→∞,
where ℓm≥0 is nondecreasing and independent of j. There are aj+1≥2aj, a1−1<q0, such that
f=j≥1∑χ(ajq)fj
is smooth and locally finite. With f[J]=∑j=1Jfj, for J≥max(1,m) and q<(2aJ)−1,
∣f−f[J]∣m≤2−JqgJ+1/2−Lm,Lm=ℓm+cm.
Here χ=1 on [0,1/2] and χ=0 on [1,∞). This is shrinking-cutoff asymptotic summation.