Why does the summation of even integers result in infinity?

  • Context: Graduate 
  • Thread starter Thread starter BOAS
  • Start date Start date
  • Tags Tags
    Argument Summation
Click For Summary
SUMMARY

The discussion centers on the mathematical concept of summing even integers and why the summation of the constant value 1 over an infinite range results in infinity. Participants clarify that the expression for the expectation value in quantum mechanics, ##\langle \hat{H} \rangle = \Sigma_{even n} 1##, leads to an infinite sum because the number of even integers is infinite. They emphasize that the limit of the sum of 1's as the upper limit approaches infinity, ##\lim_{K\rightarrow +\infty} \sum_{n=0}^K 1 = +\infty##, is a fundamental property of infinite series.

PREREQUISITES
  • Understanding of infinite series and summation notation
  • Familiarity with quantum mechanics concepts, particularly expectation values
  • Basic knowledge of limits in calculus
  • Ability to interpret mathematical expressions and notation
NEXT STEPS
  • Study the properties of infinite series in calculus, focusing on convergence and divergence
  • Explore quantum mechanics, specifically the role of expectation values in quantum systems
  • Learn about summation notation and its applications in mathematical proofs
  • Investigate the concept of limits and their significance in calculus and analysis
USEFUL FOR

Students of mathematics and physics, particularly those studying quantum mechanics or calculus, will benefit from this discussion. It is also valuable for educators seeking to clarify the concept of infinite sums and their implications.

BOAS
Messages
546
Reaction score
19
Hello,

in my QM class we arrived at the expression ##\langle \hat{H} \rangle = \Sigma_{even n} |C_n|^2 E_n = \frac{24}{n^2 \pi^2} \frac{\hbar^2}{2m} \frac{n^2 \pi^2}{L^2}##.

The n terms cancel and we are left with ##\langle \hat{H} \rangle = \frac{12 \hbar^2}{mL^2} \Sigma_{even n} 1##.

My lecturer said that this sum is infinity, since the number of even integers is infinity. Why is this the case when there are no n terms for the sum to act upon?

##\Sigma_{even n} n = \infty##, but I don't understand why ##\Sigma_{even n} 1 = \infty##
 
Physics news on Phys.org
BOAS said:
Hello,

in my QM class we arrived at the expression ##\langle \hat{H} \rangle = \Sigma_{even n} |C_n|^2 E_n = \frac{24}{n^2 \pi^2} \frac{\hbar^2}{2m} \frac{n^2 \pi^2}{L^2}##.

The n terms cancel and we are left with ##\langle \hat{H} \rangle = \frac{12 \hbar^2}{mL^2} \Sigma_{even n} 1##.

My lecturer said that this sum is infinity, since the number of even integers is infinity. Why is this the case when there are no n terms for the sum to act upon?

##\Sigma_{even n} n = \infty##, but I don't understand why ##\Sigma_{even n} 1 = \infty##
If you add 1 10 times, you get 10.
If you add 1 100 times, you get 100.
If you add 1 1000 times, you get 1000.
If you add 1 10000 times, you get 10000.

See why ##\displaystyle \lim_{K\rightarrow +\infty} \sum_{n=0}^K 1## is ##+\infty##?
 
Samy_A said:
If you add 1 10 times, you get 10.
If you add 1 100 times, you get 100.
If you add 1 1000 times, you get 1000.
If you add 1 10000 times, you get 10000.

See why ##\displaystyle \lim_{K\rightarrow +\infty} \sum_{n=0}^K 1## is ##+\infty##?

I understand what the sum to infinity means.

I don't think I have come across a sum over some index, where the index is not present and yet we still perform a sum.

##\Sigma_{n} n## and ##\Sigma_n 1## don't appear to be the same thing, and yet they are treated the same. That's what I don't really get. I can accept that that is how things are done, but was wondering if there was a reason.
 
BOAS said:
I understand what the sum to infinity means.

I don't think I have come across a sum over some index, where the index is not present and yet we still perform a sum.

##\Sigma_{n} n## and ##\Sigma_n 1## don't appear to be the same thing, and yet they are treated the same. That's what I don't really get. I can accept that that is how things are done, but was wondering if there was a reason.
While often the term being summed depends on the summation index n, there is no reason why this should always be the case.
##\displaystyle \sum_{n=0}^\infty 1=+\infty## is a straightforward application of the definition of an infinite sum, or series.
The partial sums get as big as you want when you keep adding 1's, so the series goes to infinity.
 
Samy_A said:
If you add 1 10 times, you get 10.
If you add 1 100 times, you get 100.
If you add 1 1000 times, you get 1000.
If you add 1 10000 times, you get 10000.

See why ##\displaystyle \lim_{K\rightarrow +\infty} \sum_{n=0}^K 1## is ##+\infty##?
Samy_A said:
While often the term being summed depends on the summation index n, there is no reason why this should always be the case.
##\displaystyle \sum_{n=0}^\infty 1=+\infty## is a straightforward application of the definition of an infinite sum, or series.
The partial sums get as big as you want when you keep adding 1's, so the series goes to infinity.

Ok, if I'm meant to read ##\displaystyle \sum_{n=0}^\infty 1## as the sum of 1 from zero to infinity, that's fine.

Thanks for your help.
 
For a sequence (a_n)_{n \in \mathbb{N}} you can form the series \sum_{n=0}^\infty a_n = a_0 + a_1 + a_2 + \dots.

If you take the sequence a_n = 1 and plug it into the expression above,
then you get the series \sum_{n=0}^\infty a_n = \sum_{n=0}^\infty 1 = 1 + 1 + 1 \dots.

Or consider the partial sum s_k = \sum_{n=0}^k a_n = a_0 + a_1 + \dots + a_k. If you plug in the sequence a_n = 1, then you get the partial sum s_k = \sum_{n=0}^k a_n = a_0 + a_1 + \dots + a_k = \underbrace{1 + 1 + \dots + 1}_{\text{k+1 summands}}.
 
Last edited:
BOAS said:
Ok, if I'm meant to read ##\displaystyle \sum_{n=0}^\infty 1## as the sum of 1 from zero to infinity, that's fine.

Thanks for your help.

In fact:

##\displaystyle \sum_{n=1}^m a##

is multiplication of ##a## by ##m##
 
It might be useful to think about the definition of the summation function as ##\sum_{n=0}^Nf(n)=f(0)+f(1)+f(2)+\ldots+f(N)##. Then ##f(n)=1## for your example and the definition works. Usually this is written with ##f(n)=a_n##, but for some reason when I saw it with ##f(n)## for the first time it clicked better for me.
 

Similar threads

  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 9 ·
Replies
9
Views
4K
Replies
4
Views
2K
  • · Replies 10 ·
Replies
10
Views
2K
  • · Replies 11 ·
Replies
11
Views
2K
  • · Replies 3 ·
Replies
3
Views
5K