[Math] Are all infinite sums not divergent? In quantum field theory

sequences-and-series

I am a physicist interested in physics. In particular this question is related to quantum field theory.

I recently came across a derivation of the infinite sum $1+1+1+1+….. $ that produced the result -1/2, aka zeta regularization (from Terry Tao's blog)

This was quite surprising to me as I had previously known an infinite sum of 1s to be divergent – from taking a math physics course by the guy that wrote "the book" on asymptotic methods.

(Indeed I've known the sum of all positive integers to be finite for quite some time as well as many other "divergent-looking" sums and I get the whole idea behind summation methods like Padé, Shanks, Euler, etc.)

Anyways this prompted me to wonder;

  1. Are ALL infinite sums not divergent?
  2. If not then how can one determine whether a sum os divergent or not?
  3. What was all this business in undergrad calculus about learning tests of convergence and all this business in complex analysis about series if weird things like $1+1+1+1+…..$ are actually convergent??

I'm still confused by all this stuff. And I haven't found an answer to these questions that "click"

Any help understand this topic would be kindly appreciated.

Best Answer

No, many infinite sums converge. An infinite sum (or "series") $a_0 + a_1 + a_2 + \dots$ is defined to converge to a value $S$ if the limit $$ S = \lim_{n\rightarrow \infty} \sum_{i=1}^n a_i$$ exists. For example, if the value of $a_i$ falls off exponentially quickly or as a power law faster than $1/i$, then the series converges. The various convergence tests you learned in calculus can give you more precise criteria for convergence.

The infinite series $1 + 1 + 1 + \dots$ is not convergent - the above limit does not exist. However, it is regularizable - that is, you can play some tricks on it that "beat it into shape" well enough that you can assign some finite number to it. But this finite number is not actually the sum, which does not exist. Being regularizable is a much weaker criterion than being convergent.

So whenever you come across a divergent series in QFT and replace it with its regularized value, it's very important that you take into account that the two quantities aren't actually equal. Despite its being very important, there are approximately zero physicists who actually do it.

Edit: the OP asked a very good question in the comments that I though was worth addressing in my main answer: whether imposing different regulators on the same divergent series always yields the same result. If anyone has any thoughts, I've posed that question at Can different choices of regulator assign different values to the same divergent series?. Also, I once asked a related question at https://physics.stackexchange.com/questions/254051/how-can-dimensional-regularization-analytically-continue-from-a-discrete-set for which I never got a satisfactory answer.

Related Question