Convergence of Squared Series Proof for Positive Sequences

Click For Summary

Homework Help Overview

The discussion revolves around proving the convergence of the series of squared terms, given that the series of positive terms converges. The original poster presents an attempt to establish that if the series of \( a_n \) converges, then \( a_n \) must approach zero, leading to the conclusion that the series of \( (a_n^2) \) also converges.

Discussion Character

  • Conceptual clarification, Assumption checking, Mathematical reasoning

Approaches and Questions Raised

  • Participants explore the implications of the convergence of \( a_n \) and question whether \( a_n \) must converge to zero. There are discussions about the validity of multiplying through by \( a_n \) and the use of the comparison test. Some participants suggest using bounding arguments and the sandwich theorem to establish convergence.

Discussion Status

The discussion is active, with participants providing insights and questioning assumptions about the convergence of sequences. There is no explicit consensus, but several lines of reasoning are being explored, including the relationship between the convergence of \( a_n \) and its implications for \( a_n^2 \).

Contextual Notes

Some participants note potential misunderstandings regarding the convergence of sequences and the conditions under which the series converges. The original poster's assumptions and the implications of convergence are under scrutiny.

dancergirlie
Messages
194
Reaction score
0

Homework Statement


Assume that the series(an) is convergent and that an >= 0 for all n in N. Prove that the series((a^2)n) converges.


Homework Equations





The Attempt at a Solution



Alright, this is what I've got so far:
Assume that the series of an is convergent and that an>=0 for all n in N. In order for the series to be convergent, that would mean that the sequence (an) converges to 0. By definition of convergence, that would mean for epsilon greater than 0, there exists an N in N so that for n>=N:
|an|<epsilon and furthermore:
-epsilon<an<epsilon

This is where I get stuck... am I allowed to just multiply through by an to show that
-e(an)<((a^2)n)<e(an)?

And since series of (an) converges, and e is a constant, that would mean that series(epsilon*an) also converges, and by the comparison test that would mean that:
series((a^2)n) converges as well.

I don't know if what I'm doing is right, if it isn't then any tips would be great!
 
Physics news on Phys.org
why must [itex]a_n[/itex] converge to 0?

consider the sequence [itex]a_n=\{1,2,3,4,5,5,5,5,5,5,5,5,5,5,5,...\}[/itex]. here you have [itex]a_n \geq 0[/itex] and it converges to [itex]5 \neq 0[/itex]

i think your sort of on the right track though.
im not very good at sequences so i would wait for someone else's opinion but surely you could say that since [itex]a_n[/itex] converges, [itex]\exists N_0 \in \mathbb{N}[/itex] such that [itex]\forall n \geq N_0[/itex] we have [itex]-\epsilon < a_n < \epsilon[/itex]
now multiply through by [itex]a_n[/itex]
getting [itex]-\epsilon a_n < (a_n)^2 < \epsilon a_n[/itex]
now the sequence [itex]-\epsilon a_n[/itex] will be bounded as follows from the convergence of [itex]a_n[/itex]:
[itex]-\epsilon ( -\epsilon) < -\epsilon a_n < -\epsilon (\epsilon)[/itex]
and similarly for the sequence [itex]\epsilon a_n[/itex]:
[itex]\epsilon (-\epsilon) < \epsilon a_n < \epsilon(\epsilon)[/itex]
so [itex](a_n)^2[/itex] is bounded between
[itex]-\epsilon(-\epsilon) < (a_n)^2 < \epsilon( \epsilon) \Rightarrow \epsilon^2 < (a_n)^2 < \epsilon^2[/itex]
then by the sandwich theorem [itex]a_n[/itex] converges.

however, as i said, I am not very good at analysis so this could be completely wrong but its my shot at the answer. wait for someone better to give their 2 cents...
 
Since you know a_n->0 since the series a_n converges, then there is an N such that |a_n|<1 for all n>N. That means |a_n|^2<|a_n|. Think comparison test.
 
so basically what you did was the same as me but you assumed that epsilon was less than or equal to 1, but you still multiplied through by a_n? If that's the case, then I understand, if not, please correct me where I'm wrong...
 
but i do understand for all values between 0 and 1, the square of that value is less than the original value, would it be better to just explain that rather than multiplying through by a_n?
 
dancergirlie said:
but i do understand for all values between 0 and 1, the square of that value is less than the original value, would it be better to just explain that rather than multiplying through by a_n?

You can do it either way, sure. Showing |a_n|^2<e|a_n| also shows |a_n|^2 converges. Just seemed nicer to pick e=1.
 
alright, thanks so much for your help!
 
why does this ahve to converge to 0?
 
  • #10
Looking at your example, saying that an converges to 5 would mean that the series of an, would be increasing by 5 each time. The only way for the series to approach a number is if the values of an you keep adding on get smaller and smaller, and eventually approach zero, that way the sum can approach a specific number. Meaning if an doesn't approach zero that means that the sum of an diverges, because it would be unbounded.
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
7
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K