Find the limit of $f(n)$ where $f(n)=(2-f(n+1))^2$

Mathematics Asked by Amit Zach on December 2, 2020

Let $f:mathbb{N}to[0,2]$ such that $f(1)=2$ and:

$$f(n)=(2-f(n+1))^2qquadforall ninmathbb{N}$$

Prove that the limit of $f(n)$ as $ntoinfty$ exists and show it is equal to $1$; namely:


I couldn’t figure out how to prove the limit exists. Usually when I encounter these recursion relations I try to prove that $f(n)$ is bounded and monotonic, but after substituting some values of $n$ I realized (mayble falsley) that $f(n)$ is not monotonic at all. I’d be happy to hear your thoughts.

  • Assuming the limit exists, I think I know how to prove it is equal to $1$ – All I need to do is to solve the equation $L=(2-L)^2$. The solutions are $L=4$ (not possible since $f(n)leq2$) and $L=1$ (which is the solution).


Edit: I did manage to show that if for some $kinmathbb{N}, f(k+1)geq f(k+2)$, then also $f(k+1)geq f(k)$. This is because:

$$f(k+1)geq f(k+2)iff2-sqrt{f(k)}geq2-sqrt{f(k+1)}iff f(k)leq f(k+1)$$

Similarly, if $f(k+1)leq f(k+2)$, then also $f(k+1)leq f(k)$. This means that for odd values of $n$, $f(n)$ is monotonically decreasing, and for even values of $n$, $f(n)$ is monotonically increasing. $f(n)$ is obviously bounded, therefore, both the sequences $f(2n)$ and $f(2n+1)$ have a limit. The only problem I have know, is that I have to show they approach the same limit. In order to prove that, I thought maybe I should solve the following equation for $L$:

$$f(n+2)=2-sqrt{2-sqrt{f(n)}}implies L=2-sqrt{2-sqrt{L}}$$

But I don’t think I can.

2 Answers

It is easy to see $$ f(n+1)=2-sqrt{f(n)} $$ and hence $$ |f(n+1)-1|=|1-sqrt{f(n)}|=frac{|f(n)-1|}{1+sqrt{f(n)}}. $$ It is not hard to see $2-sqrt2le f(n)le 2$ and so $$ |f(n+1)-1|=frac{|f(n)-1|}{1+sqrt{f(n)}}lefrac{1}{3-sqrt2}|f(n)-1|. $$ Thus $$ |f(n)-1|le frac{1}{(3-sqrt2)^{n-1}}|f(1)-1|. $$ Letting $ntoinfty$ gives $$ lim_{ntoinfty}f(n)=1. $$

Correct answer by xpaul on December 2, 2020





$$frac 13 le frac{1}{3-f(n+1)}<1$$

Answered by hamam_Abdallah on December 2, 2020

Add your own answers!

Related Questions

How to evaluate Euler-type integral

1  Asked on November 9, 2021


Why is MA not provable from ZFC?

1  Asked on November 6, 2021 by grinsekotze


To find supremum of this

4  Asked on November 6, 2021 by jessica-griffin


Find a sum of fractional series

1  Asked on November 6, 2021 by manabou11


Ask a Question

Get help from others!

© 2022 All rights reserved. Sites we Love: PCI Database, MenuIva, UKBizDB, Menu Kuliner, Sharing RPP, SolveDir