Sequence defined by u_0=1/2 and the recurrence relation u_{n+1}=1-u_n^2
Elisabeth Esparza
Answered question
2022-07-21
Sequence defined by and the recurrence relation . I want to study the sequence defined by and the recurrence relation . I calculated sufficient terms to understand that this sequence does not converge because its odd and even subsequences converge to different limits. In particular we have . Now I can also prove that because the subsequent terms are related in this way
In order to prove that the subsequences converge I need to prove either that they are bounded (in order to use Bolzano-Weierstrass) or that they are bounded and monotonic for . Proved that the subsequences converge to two different limits, I will be able to prove that our diverges. Can you help me? Have you any other idea to study this sequence?
Answer & Explanation
penangrl
Beginner2022-07-22Added 17 answers
Step 1 To look at the odd and even subsequences, it suffices to "unfold" the recurrence one step:
Step 2 Then consider the fixed points of this recurrence for by solving . Finally, look at the inequalities for those intervals bounded by those fixed points. This gives you an idea of where the subsequence will decrease or increase, and from there you can try to formally show the limiting behavior of the subsequences.
skilpadw3
Beginner2022-07-23Added 4 answers
Step 1 The function f decreases from to and meets the first diagonal at hence f exchanges the intervals [0,a] and [a,1] and is increasing and leaves each of them invariant. Furthermore, for every x in (0,a) and for every x in (a,1). Thus, every sequence defined by in [0,1] and for every , is either constant if or a or 1, or decreasing to 0 if is in (0,a), or increasing to 1 if is in (a,1). Step 2 In your case, is in (0,a) hence is in (a,1). Thus, applying the above to shows that decreases to 0, and, applying the above to shows that increases to 1.