where I've written this estimate as the difference of a divergent term and a constant term.
Here's the point: the divergent term is really just left over (integrated up or 'induced') from our asymptotic description of the degree 0 sum. In a sense, it's degenerate and doesn't provide any sort of 'new' information. So in the same sense, the interesting semantic content of 1 + 2 + 3 + ... is just the constant term: -1/12.
Ps. This way of thinking is related to trace formula truncation.
Next, let's do something like integration, and increase those zeroth powers to one, ie. consider the function
In this case, the estimator ends up being where I've written this estimate as the difference of a divergent term and a constant term.Here's the point: the divergent term is really just left over (integrated up or 'induced') from our asymptotic description of the degree 0 sum. In a sense, it's degenerate and doesn't provide any sort of 'new' information. So in the same sense, the interesting semantic content of 1 + 2 + 3 + ... is just the constant term: -1/12.
Ps. This way of thinking is related to trace formula truncation.