Value of alternating sum at infinity

  • Thread starter Thread starter timetraveller123
  • Start date Start date
  • Tags Tags
    Infinity Sum Value
Click For Summary

Homework Help Overview

The discussion revolves around evaluating the limit of a sequence defined by a recurrence relation, specifically focusing on the behavior of the sequence as it approaches infinity. The subject area includes concepts from sequences and limits in calculus.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning, Assumption checking

Approaches and Questions Raised

  • Participants explore the evaluation of the sequence at infinity and question the correctness of the recurrence relation. There are attempts to define new sequences based on limits and to analyze the convergence of the original sequence.

Discussion Status

The discussion is active, with participants providing insights and clarifications regarding the recurrence relation and its implications for the limit. Some participants express confusion about the definitions and methods being used, while others offer alternative approaches and suggest examining the convergence of the sequence.

Contextual Notes

There are indications of misunderstandings regarding the definitions used in the problem, particularly concerning the limit and the behavior of the sequence as it approaches infinity. Participants are also navigating the constraints of homework guidelines and the expectations for demonstrating understanding without providing direct solutions.

timetraveller123
Messages
620
Reaction score
45
upload_2017-5-8_18-25-52.png

i showed that an 2 = a02 if n is even and 1 - ao2 if n is even
how am i supposed to evaluate this at infinity
 
Physics news on Phys.org
I moved your thread to our homework section.
vishnu 73 said:
i showed that an 2 = a02 if n is even and 1 - ao2 if n is even
That is not correct (I guess the last word is supposed to be "odd", but both formulas don't work for either case).
 
  • Like
Likes   Reactions: timetraveller123
vishnu 73 said:
View attachment 200178
i showed that an 2 = a02 if n is even and 1 - ao2 if n is even
how am i supposed to evaluate this at infinity

How did you show that?

Anyway, suppose that [itex]a_0, a_1, a_2, ...[/itex] converges to some number [itex]\alpha[/itex]. Then that means that
[itex]a_0 - \alpha, a_1 - \alpha, a_2 - \alpha...[/itex] converges to zero.

So, let's define a new sequence [itex]b_n = a_n - \alpha[/itex]. Using the recurrence relation

[itex]a_{n+1} = \sqrt{1-a_n}[/itex]

see if you can get an equation for [itex]\alpha[/itex] that involves [itex]b_{n}[/itex] and [itex]b_{n+1}[/itex]. Then take the limit as [itex]b_n \rightarrow 0[/itex] and [itex]b_{n+1} \rightarrow 0[/itex]
 
  • Like
Likes   Reactions: timetraveller123
vishnu 73 said:
how am i supposed to evaluate this at infinity
IF the limit exists, what do you know about ##{a_{n+1}\over a_n}## for very big values of ##n## ?
 
  • Like
Likes   Reactions: timetraveller123
@mfb
i don't understand why you say that this is what i did
an+1 2 + an2 = 1
hence
first is
a02 next a12 is 1 - a02 then a22 is a02 isn't this alternating please point out my mistake to me
@stevendaryl
thats how i showed to both of you i am very sorry if am doing something wrong
when you say define new sequence as bn = an -a what is the a is it the a0 or an-1 thanks
@BvU
the limit approaches one but has my method been correct so far as others have pointed something is amiss
if you too could clarify that then i would gladly work along the line

thanks to all!
 
vishnu 73 said:
@mfb
i don't understand why you say that this is what i did
an+1 2 + an2 = 1
hence
first is
a02 next a12 is 1 - a02 then a22 is a02 isn't this alternating please point out my mistake to me

The recurrence relation is [itex]a_{n+1} = \sqrt{1 - a_n}[/itex]. If you square both sides, you get:

[itex](a_{n+1})^2 = 1 - a_n[/itex], or
[itex](a_{n+1})^2 + a_n = 1[/itex]

So [itex]a_n[/itex] is not squared.

when you say define new sequence as bn = an -a what is the a is it the a0 or an-1 thanks

Neither one. [itex]\alpha[/itex] is the limit of [itex]a_n[/itex] as [itex]n \rightarrow \infty[/itex]. Do you know what a limit is?

We don't know the value of [itex]\alpha[/itex]...that's what you're trying to find. But if [itex]lim_{n \rightarrow \infty} a_n = \alpha[/itex], then

[itex]lim_{n \rightarrow \infty} (a_n - \alpha) = 0[/itex]

So take your recurrence relation

[itex](a_{n+1})^2 + a_n = 1[/itex]

and write: [itex]a_{n+1} = \alpha + b_{n+1}[/itex], [itex]a_{n} = \alpha + b_n[/itex], where [itex]b_n[/itex] is defined to be [itex]a_n - \alpha[/itex]. Just plug it into the recurrence relation, and see if it tells you what must be true about [itex]\alpha[/itex].
 
  • Like
Likes   Reactions: timetraveller123
@stevendaryl
omg so sorry such a careless mistake completely did not see that !

ok i have been following what you said but i lost what you mean when you when you say
so take your recurrence relation and write it as an+1 = a + bn+1 i don't how you got that from the recurrence relation please explain thanks

instead i did what bvu said
as
limn→ ∞ an+1 = an
and then using recurrence relation and quadratic formula yielded the answer please explain your method to me thanks!
 
vishnu 73 said:
ok i have been following what you said but i lost what you mean when you when you say
so take your recurrence relation and write it as an+1 = a + bn+1 i don't how you got that from the recurrence relation please explain thanks

It's not from the recurrence relation. It's just a definition. If [itex]a_0, a_1, a_2, ...[/itex] is any sequence converging to some constant [itex]a[/itex], then I can define a new sequence [itex]b_0, b_1, ...[/itex] by letting [itex]b_n = a_n - a[/itex]. Then the sequence [itex]b_0, b_1, ...[/itex] converges to zero. That's true for any convergent sequence. For example, consider the sequence

0/1, 1/2, 2/3, 3/4, 4/5 ...

Then [itex]a_n[/itex] in this case would be [itex]n/(n+1)[/itex]. The limit is 1. So we define [itex]b_n = a_n - 1 = n/(n+1) - 1 = -1/(n+1)[/itex]. So [itex]b_n[/itex] is the sequence:

-1, -1/2, -1/3, -1/4, ...

which clearly converges to 0. [itex]b_n[/itex] is the "error" in replacing [itex]a_n[/itex] by its limit. The error goes to zero as [itex]n \rightarrow \infty[/itex]

So if you rewrite the recurrence relation in terms of [itex]a[/itex] and [itex]b_n[/itex] instead of [itex]a_n[/itex], then it becomes:

[itex]a_{n+1} = a + b_{n+1}[/itex] (by definition of [itex]b_n[/itex])
[itex]a_n = a + b_n[/itex] (by definition)

So substituting gives:
[itex](a + b_{n+1})^2 + (a + b_n) = 1[/itex]

or rearranging to get:

[itex]a^2 + a - 1 = - 2 a b_{n+1} - (b_{n+1})^2 - b_n[/itex]

Now, take the limit as [itex]n \rightarrow \infty[/itex], and you get:

[itex]a^2 + a - 1 = 0[/itex]
 
  • Like
Likes   Reactions: timetraveller123
oh wow that's really smart thanks this is much more insightful solution sorry i couldn't just now see what you meant wonderful solution by the way
 
  • #10
@stevendaryl: Do you show that the series converges somewhere? If you don't do that and just assume it, setting ##a_{n+1}=a_n## and solving it for ##a_n## is easier.
 
  • Like
Likes   Reactions: stevendaryl
  • #11
mfb said:
@stevendaryl: Do you show that the series converges somewhere? If you don't do that and just assume it, setting ##a_{n+1}=a_n## and solving it for ##a_n## is easier.

Use a cobweb diagram, such as in http://www.milefoot.com/math/discrete/sequences/cobweb.htm

The diagram would need to be modified a bit to match the current problem, but the basic idea is the same as in the link.
 
  • #12
You can show that the sequence is contracting, or in this special case ##|a_n - a| > |a_{n+1}-a|## (the difference to the limit goes down), but that is not trivial.

Consider a sequence ##s_{n+1}= 2 s_n - 1##.
If we know ##s_0=1## it leads to ##s_n=1## for all ##n## and this sequence is convergent. But every other starting value leads to a diverging series.
 
  • #13
mfb said:
@stevendaryl: Do you show that the series converges somewhere? If you don't do that and just assume it, setting ##a_{n+1}=a_n## and solving it for ##a_n## is easier.

Yeah, it amounts to the same thing. I thought it might be confusing to do that, because, of course, [itex]a_{n+1} \neq a_n[/itex] for any [itex]n[/itex].

It just occurred to me that you can take the recurrence equation,

[itex](a_{n+1})^2 = 1 - a_n[/itex]

and just take the limit of both sides.
 
  • #14
stevendaryl said:
Yeah, it amounts to the same thing. I thought it might be confusing to do that, because, of course, [itex]a_{n+1} \neq a_n[/itex] for any [itex]n[/itex].

It just occurred to me that you can take the recurrence equation,

[itex](a_{n+1})^2 = 1 - a_n[/itex]

and just take the limit of both sides.

If you pay attention to post #11 you will see that not only does the limit ##\lim_n a_n = a## exist, but also that it equals the value where the two graphs ##y = a## and ##y = \sqrt{1-a}## intersect.
 
  • Like
Likes   Reactions: stevendaryl
  • #15
Search how to get the formula for the golden ratio Fibonacci series. Simple!
 
  • #16
oh wow all of you all are really smart having so many ingenious methods really smart ency you all sorry i am just starting on olympiads please don't mind my mathematical immaturity
once thanks to all
 

Similar threads

  • · Replies 7 ·
Replies
7
Views
2K
  • · Replies 27 ·
Replies
27
Views
2K
  • · Replies 14 ·
Replies
14
Views
3K
  • · Replies 19 ·
Replies
19
Views
2K
  • · Replies 20 ·
Replies
20
Views
3K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 1 ·
Replies
1
Views
1K
  • · Replies 23 ·
Replies
23
Views
2K
Replies
2
Views
5K
  • · Replies 24 ·
Replies
24
Views
2K