One way to try to give a value $S$ to a divergent series $\sum_{n=1}^\infty a_n$ is with a smooth cutoff function: $$ S = \lim_{N\to\infty}\sum_{n=1}^\infty a_n \eta\left(\frac{n}{N}\right) $$ where $\eta(0)=1$, and $\eta$ has some smoothness conditions (at least continuous at 0, possibly more, e.g. $C^1$ or $C^\infty$) and some asymptotic decay conditions (e.g. $\eta$ is compactly supported or decays exponentially).
Are there any nice consistency results about such approaches? For example, is the following statement true (potentially with some conditions on $\eta$ or $a_n$ if necessary):
Claim: If $\eta$ and $\tilde{\eta}$ both lead to well-defined values $S$ and $\tilde{S}$ for the above limit, then $S=\tilde{S}$.
(Or perhaps even "If any $\eta$ gives rise to a well-defined value $S$ for a series, then some particular stronger summation method M also ascribes $S$ to the series" in the same way that convergence of any Norlund mean forces a generalized Abel sum to exist and have that value.)
Context: Coming from a physics background, this seems one of the most natural approaches to take. And barring some small caveats it nicely encapsulates other approaches like Abel summation ($\eta(x) = e^{-x}$) and Cesaro summation ($\eta(x) = (1-x)_+$) and normal summation ($\eta(x) = \mathbb{1}_{[0,1]}(x)$); note these do have such a consistency result. But surprisingly, there seems a massive dearth of mathematical literature about this general class of approaches. (In particular, I've skimmed Hardy's Divergent Series and didn't spot anything about it.) In fact, Terry Tao's classic blog post on the subject seems to be almost the sole reference! So another obvious question is simply: are there any good discussions of this family of approaches out there?
Additional Thoughts (31/12/2023): One natural way to think about this problem is to look at the 'simplest' non-trivial divergent $a_n$ possible, which is probably Grandi's series, $a_n = (-1)^{n-1}$. Some observations:
- As mentioned by Tao, if $\eta$ is compactly supported and $C^1$ (in fact I think it suffices to be continuous and piecewise $C^1$), then you necessarily get convergence and it necessarily gives $S = \frac{1}{2}$. (I also suspect you can weaken the compact support condition somewhat but haven't tried to prove this.)
- Obviously with the conventional discontinuous $\eta(x) = \mathbb{1}_{[0,1]}(x)$ this does not converge to anything.
- If you take $\eta(x) = \mathbb{1}_{[0,2]}(x)$, and only consider $N=1,2,3,\ldots$ to take discrete values, then you can obtain $S = 0$. This definitely feels against the spirit of things, but it is an important point to bear in mind.
- Less obviously, I can't see an easy way to construct a discontinuous $\eta$ which leads to convergence to any $S$ if you assume that you take $N$ to vary continuously.
This suggests it's helpful to think about a weaker statement along the lines of (1) all sufficiently smooth $\eta$ agree and a stronger conjecture that (2) all $\eta$ agree if $N$ is taken to vary continuously.
It seems plausible that more familiar arguments like Tao's (based around the Euler-Maclaurin formula) or something involving Mellin transforms can prove a weaker claim along the lines of (1), at least for some restricted class like $a_n = O(n^k)$ for any $k$ (and then if $\eta$ is taken to be e.g. $C^k$ and piecewise $C^{k+1}$ and to decay exponentially you can prove convergence to e.g. the same value as the Abel sum).
The stronger claim (2) then may fail to be true, or perhaps it is possible to disprove that convergence to any $S$ is possible for insufficiently smooth (or perhaps insufficiently rapidly decaying) $\eta$. Or perhaps you can even somehow arrange for convergence but only to a consistent value of $S$.
It would be interesting to see proofs or counterexamples for any of the above statements.