Prove that $a_{n+1}=a_n^2+a_n^3$ and $a_1=\frac{1}{2}$ converges (I just need this part and then I will continue the rest but I will put the full question anyway even if it is not needed)
and prove $b_{n+1}=b_n^2+b_n^3$ and $b_1=-1$ converges as well
let $c_n$ be the sequence $
c_n=
\begin{cases}
a_n&\text{if}\, n _{even}\\
b_n&\text{if}\, n_{odd}\\
\end{cases}
$
does $c_n$ converge?
We know that $a_1=\frac{1}{2}$ and $a_2=\frac{3}{8}$ , $a_3=\frac{99}{512}$ so the impression is that it is a decreasing sequence.
I did not prove that it is well defined because I think that it is trivial and there is not much to prove in this
I tried getting an impression of what the limit will be and did solved the following , assume that $a_n$ converges then $L=L^2+L^3$ and after solving I got $L_1=0$ ,$L_2=\frac{1+ \sqrt5}{2}$ , $L_3=\frac{1-\sqrt5}{2}$
I am not sure if this is right but from this we can get $0 \leq a_n \leq \frac{1+ \sqrt5}{2}$
I believe that here I should prove that the sequence is bounded and monotone because we know that every sequence that is monotone and bounded converges but how can I prove that it is decreasing and bounded ?
I tried induction and I did not know how to continue
Induction basis for $n=1$ – $a_1=\frac{1}{2}$ and $a_2=\frac{3}{8}$ as mentioned above
Induction proposition – for $n=k \geq 2$ – to show that the sequence is decreasing $a_{k-1} \geq a_k$
Induction step prove for $n=k+1$ – $a_k \geq a_{k+1}$
so we need to prove $a_k \geq a_{k+1}$ and from what we assume in the induction $a_{k-1} \geq a_k$ so $a_{k-1} \geq a_k \geq a_{k+1}$ $\to$ $a_{k-1} \geq a_{k+1}=a_k^2 +a_k^3$ but how do I continue from here (if it is right)?
Thanks for any help and tips hopefully the translations are understandable
Edit – I now believe that what I did with the $"L"$ is not correct because if a sequence is decreasing then it is bounded from above by $a_1$ and not the $L$ that I found
Best Answer
If all you need to prove is convergence for $a_1=1/2$, show that the sequence is monotonic and bounded.
With $a_1$ positive, every term is forced positive, giving a lower bound of $0$.
Render $a_{n+1}/a_n=a_n(1+a_n)$, which is $<1$ for $0\le a_n \le 1/2$.