• Support PF! Buy your school textbooks, materials and every day products Here!

Limit of otherwise equal summations is uneuqal due to indeterminate difference ?

  • Thread starter nobahar
  • Start date
  • #1
493
2
Limit of otherwise equal summations is uneuqal due to "indeterminate difference"?

Hello!

I was working through a section on summation in a maths textbook because of a recent question I asked on the forum, and I came across something which is confusing. I am not sure if it is necessary, but here is the proof first of all:
If
[tex]\lim_{n\to{\infty}}\left(\sum_{i=1}^n a_{i}\right) = A[/tex]
then the sum converges and [itex]a_{n}\to0[/itex] as [itex]n\to{\infty}[/itex].

It goes:

If [itex]S_{n} = a_{1} + a_{2} + a_{3} + … + a_{n}[/itex] then
[tex]S_{n} – S_{n-1} = \sum_{i=1}^n a_{i} - \sum_{i=1}^{n-1} a_{i} = a_{n}[/tex]
Taking the limit gives the required result:
[tex]\lim_{n\to{\infty}}(a_{n}) = \lim_{n\to{\infty}}(S_{n} –S_{n-1}) = \lim_{n\to{\infty}}(S_{n}) - \lim_{n\to{\infty}}(S_{n-1}) = A – A = 0[/tex]

I tried the proof myself first, and instead tried substituting [itex]S_{n} – S_{n-1}[/itex] in place of [itex]a_{i}[/itex] in [itex]\sum_{i=1}^n a_{i}[/itex].
This gives:
[tex]\sum_{i=1}^n (S_{n} – S_{n-1}) = \sum_{i=1}^n \left(\sum_{j=1}^i a_{j} - \sum_{i=1}^{i-1} a_j\right)[/tex]
If I take the limit at this point, it is my understanding that this is still:
[tex]a_{1} + a_{2} + a_{3} + … = A[/tex]
However:
[tex]\sum_{i=1}^n \left(\sum_{j=1}^i a_{j} - \sum_{i=1}^{i-1} a_j\right) = \sum_{i=1}^n \sum_{j=1}^i a_{j} - \sum_{i=1}^n \sum_{i=1}^{i-1} a_j[/tex]
And I think in the limit the difference between i and i-1 disappears:
[tex]\lim_{n\to{\infty}}\left(\sum_{i=1}^n \sum_{j=1}^i a_{j}\right) = \lim_{n\to{\infty}}\left(\sum_{i=1}^n \sum_{i=1}^{i-1} a_j\right)[/tex]

This is where I’m confused. If:
[tex]\lim_{n\to{\infty}}\left(\sum_{i=1}^n \sum_{j=1}^i a_{j}\right)[/tex]
was an actual number, say B, then
[tex]\lim_{n\to{\infty}}\left(\sum_{i=1}^n \sum_{j=1}^i a_{j} - \sum_{i=1}^n \sum_{i=1}^{i-1} a_j\right) = B - B = 0[/tex]
And the equality in the limit for the following equation (equation *):
[tex]\lim_{n\to{\infty}}\left(\sum_{i=1}^n \left(\sum_{j=1}^i a_{j} - \sum_{i=1}^{i-1} a_j\right)\right) = \lim_{n\to{\infty}}\left(\sum_{i=1}^n \sum_{j=1}^i a_{j} - \sum_{i=1}^n \sum_{i=1}^{i-1} a_j\right)[/tex]
doesn’t make sense (even though it is otherwise true), since
[tex]\lim_{n\to{\infty}}\left(\sum_{i=1}^n \left(\sum_{j=1}^i a_{j} - \sum_{i=1}^{i-1} a_j\right)\right) = \lim_{n\to{\infty}}\left(\sum_{i=1}^n (S_{n} – S_{n-1})\right) = A[/tex]
That is, the lim on the LHS of equation * is A, whereas on the RHS it is 0 (if it produced an actual number, B, in the limit).

I figured that the reason the equality is otherwise true but not in the limit is because the RHS produces an indeterminate form, which I think is called the "indeterminate difference", and so the result doesn't mean anything (like 0/0 or infty/0, etc):
[tex]\lim_{n\to{\infty}}\left(\sum_{i=1}^n \sum_{j=1}^i a_{j}\right)\to{\infty}[/tex]
Since:
[tex]\sum_{i=1}^n \sum_{j=1}^i a_{j} = (a_{1}) + (a_{1} + a_{2}) + (a_{1} + a_{2} + a_{3}) + … + (a_{1} + a_{2} + a_{3} + … + a_{n}) = na_{1} + (n-1)a_{2} + (n-2)a_{3} + … + a_{n}[/tex]
Then:
[tex]\lim_{n\to{\infty}}\left(\sum_{i=1}^n \sum_{j=1}^i a_{j}\right) = \lim_{n\to{\infty}}\left(na_{1} + (n-1)a_{2} + (n-2)a_{3} + … + a_{n}\right)[/tex] which [itex]\rightarrow {\infty}[/itex]

Therefore:
[tex]\lim_{n\to{\infty}}\left(\sum_{i=1}^n \sum_{j=1}^i a_{j} - \sum_{i=1}^n \sum_{i=1}^{i-1} a_j \right) = “{\infty} - {\infty}”[/tex]
Which, form my understanding, doesn’t mean anything, and you have to manipulate the summation to get it into a form where it does make sense. Such as:
[tex]\sum_{i=1}^n \left(\sum_{j=1}^i a_{j} - \sum_{i=1}^{i-1} a_j)\right)[/tex]

Is this somewhat similar to what happens with L’Hopital’s rule, where there’s some “indeterminate form”, so no solution appears to exist when left in that form, but there is an actual solution (in the case of L'Hopital's rule, by using the derivatives)?

Any clarification appreciated, is my understanding anywhere near the mark? ...this took a long time to write!
 
Last edited:

Answers and Replies

  • #2


I don't understand the part where you replace [tex]a_i[/tex] with [tex]S_n - S_{n-1}[/tex] and then put that into the original sum. It seems to me like you're doing something meaningless here as the sum takes values of i from 1 to n and you are plugging in [tex]S_n - s_{n-1}[/tex] That is, you're taking the sum of that expression from i = 1 to i = n but there are no i's in it. I feel like perhaps you confused [tex]a_n[/tex] with [tex]a_i[/tex] since [tex]a_n = S_n - S_{n-1}[/tex] Or am I just understanding you incorrectly?
 
  • #3
493
2


I don't understand the part where you replace [tex]a_i[/tex] with [tex]S_n - S_{n-1}[/tex] and then put that into the original sum. It seems to me like you're doing something meaningless here as the sum takes values of i from 1 to n and you are plugging in [tex]S_n - s_{n-1}[/tex] That is, you're taking the sum of that expression from i = 1 to i = n but there are no i's in it. I feel like perhaps you confused [tex]a_n[/tex] with [tex]a_i[/tex] since [tex]a_n = S_n - S_{n-1}[/tex] Or am I just understanding you incorrectly?
Thanks for the response elvishatcher, and you're correct; my apologies. I meant [itex]S_{i}-S_{i-1} = a_{i}[/itex] and then I use the LHS for [itex]\sum_{i=1}^n a_{i}[/itex] to get:
[tex]\sum_{i=1}^n \left(S_{i} - S_{i-1}\right)[/tex].
Do you see what I mean towards the end?, the two summations:
[tex]\sum_{i=1}^n \left(\sum_{j=1}^i a_{j} - \sum_{i=1}^{i-1} a_j\right) = \sum_{i=1}^n \sum_{j=1}^i a_{j} - \sum_{i=1}^n \sum_{i=1}^{i-1} a_j[/tex]
Are equal for any n, except in the limit; i.e. following is not true:
[tex]\lim_{n\to{\infty}}\left(\sum_{i=1}^n \left(\sum_{j=1}^i a_{j} - \sum_{i=1}^{i-1} a_j\right)\right) = \lim_{n\to{\infty}}\left(\sum_{i=1}^n \sum_{j=1}^i a_{j} - \sum_{i=1}^n \sum_{i=1}^{i-1} a_j\right)[/tex]
Since one gives:
[tex]\lim_{n\to{\infty}}\left(\sum_{i=1}^n \left(\sum_{j=1}^i a_{j} - \sum_{i=1}^{i-1} a_j\right)\right) = \lim_{n\to{\infty}}\left(\sum_{i=1}^n (S_{n} – S_{n-1})\right) = A[/tex]
And the other gives:
[tex]\lim_{n\to{\infty}}\left(\sum_{i=1}^n \sum_{j=1}^i a_{j} - \sum_{i=1}^n \sum_{i=1}^{i-1} a_j \right) = “{\infty} - {\infty}”[/tex]
From my attempt at least. I tried to justify these results in the first post, I'm not sure if they are correct. I figured the 'inconsistency' was due to the latter being an "indtereminate difference" (I think that is what it's called), and therefore isn't saying anything that makes sese, in a similar way to 0/0, etc.

Your help is much appreciated.
 
Last edited:
  • #4


Ah, that makes a lot more sense. I'm no expert, but it seems to me that you're correct about the problem being due to ∞ - ∞ not being a defined value. It seems like what you do to get the two different results is solid. Infinity's a kinda weird thing to deal with, and a lot of its complexities are beyond my current knowledge; but the 4th post down in this thread: https://www.physicsforums.com/showthread.php?t=162517 seems to say that you're right about ∞ - ∞ being an undefined/indeterminate/whatever (i'm not sure of the exact term that's appropriate) value, so it's not just equal to 0. That thread might be able to help you out a little more.
 
  • #5
SammyS
Staff Emeritus
Science Advisor
Homework Helper
Gold Member
11,307
999


nobahar,

Whatever do you mean by [itex]\displaystyle \sum_{i=1}^{i-1} a_j \,,[/itex] or did you mean to write [itex]\displaystyle \sum_{j=1}^{i-1} a_j \ ?[/itex]

By the way, ∞ - ∞ is an indeterminate form. Depending upon the specific details of such a limit, a limit which is of that form may turn out to be anything, including possibly ∞ or -∞, or it might be that the limit does not exist.
 
  • #6
493
2


Ah, that makes a lot more sense. I'm no expert, but it seems to me that you're correct about the problem being due to ∞ - ∞ not being a defined value. It seems like what you do to get the two different results is solid. Infinity's a kinda weird thing to deal with, and a lot of its complexities are beyond my current knowledge; but the 4th post down in this thread: https://www.physicsforums.com/showthread.php?t=162517 seems to say that you're right about ∞ - ∞ being an undefined/indeterminate/whatever (i'm not sure of the exact term that's appropriate) value, so it's not just equal to 0. That thread might be able to help you out a little more.
Thanks for the link, it does address the question. It's reassuring that someone agrees with the method I used to get two different results, as ##\infty## seems like a tricky thing to deal with. Many thanks for the response.

Whatever do you mean by [itex]\displaystyle \sum_{i=1}^{i-1} a_j \,,[/itex] or did you mean to write [itex]\displaystyle \sum_{j=1}^{i-1} a_j \ ?[/itex]

By the way, ∞ - ∞ is an indeterminate form. Depending upon the specific details of such a limit, a limit which is of that form may turn out to be anything, including possibly ∞ or -∞, or it might be that the limit does not exist.
Damn it! I did mean [itex]\displaystyle \sum_{j=1}^{i-1} a_j[/itex]. That's two notation errors... I hope thats it. I copied and pasted where I could to save time (because it took ages and I am not well versed in writing in LaTex) and the error got carried over; I can't believe I didn't notice it, I should have used a letter that didn't look similar to i! Anyway, if I have understood what your saying, the ##\infty - \infty## form essentially says nothing - it doesn't say what the actual limit is or if it even exists: it gives no indication of what the 'true value' is, which "may turn out to be anything". Again, if I've understood correctly, you are in agreement with elvishatcher.
Thanks also for the response.
 
Last edited:

Related Threads on Limit of otherwise equal summations is uneuqal due to indeterminate difference ?

  • Last Post
Replies
7
Views
882
  • Last Post
Replies
4
Views
5K
Replies
14
Views
5K
Replies
5
Views
2K
Replies
9
Views
1K
Replies
6
Views
38K
Replies
7
Views
854
Replies
3
Views
2K
  • Last Post
Replies
11
Views
3K
Top