On pose $f(x)=\frac{x^2+3}4$ et on considère la suite définie par $u_0\ge0$ et $u_{n+1}=f(u_n)$.
- Déterminer les points fixes de $f$ et le signe de $f(x)-x$ sur $[0,+\infty[$.
- On suppose $0\le u_0\le1$. Montrer que $(u_n)$ converge et déterminer sa limite.
- On suppose $1<u_0<3$. Même question.
- On suppose $u_0>3$. Étudier le comportement de $(u_n)$.
- Donner $\lim u_n$ selon la valeur de $u_0\ge0$.
Factoriser $x^2-4x+3$.
Dans chaque cas, l'intervalle stable est délimité par les points fixes, ou par $0$ et un point fixe.
Une suite croissante dont la limite éventuelle ne peut être aucun point fixe tend vers $+\infty$.
-
Pour $x\in\mathbb R$ : $$f(x)-x=\frac{x^2-4x+3}4=\frac{(x-1)(x-3)}4.$$ Les points fixes sont $1$ et $3$. Sur $[0,+\infty[$, $f(x)-x\ge0$ sur $[0,1]$, $f(x)-x\le0$ sur $[1,3]$, $f(x)-x>0$ sur $]3,+\infty[$. De plus, $f$ est continue et croissante sur $[0,+\infty[$.
-
$f(0)=\frac34$ et $f(1)=1$, donc par croissance $f([0,1])=\left[\frac34,1\right]\subset[0,1]$ : $[0,1]$ est stable et $u_n\in[0,1]$ pour tout $n$. Comme $f(x)-x\ge0$ sur $[0,1]$, la suite est croissante. Elle est majorée par $1$ : elle converge vers $\ell$, et $\ell\in[0,1]$ par passage à la limite. $f$ est continue en $\ell$, donc $f(\ell)=\ell$, soit $\ell\in\{1,3\}\cap[0,1]$. Donc $u_n\to1$.
-
$f([1,3])=[f(1),f(3)]=[1,3]$ : $[1,3]$ est stable et $u_n\in[1,3]$. Comme $f(x)-x\le0$ sur $[1,3]$, la suite est décroissante, minorée par $1$ : elle converge vers $\ell\in[1,3]$. La suite décroît, donc $\ell\le u_0<3$. Comme $f(\ell)=\ell$, on obtient $\ell=1$.
-
Si $x\ge3$, alors $f(x)\ge f(3)=3$ : $[3,+\infty[$ est stable et $u_n\ge3$. Comme $f(x)-x\ge0$ sur cet intervalle, la suite est croissante, donc $u_n\ge u_0>3$. Si elle convergeait vers $\ell$, on aurait $\ell\ge u_0>3$ et, par continuité de $f$, $f(\ell)=\ell$, donc $\ell\in\{1,3\}$ : impossible. La suite est croissante et ne converge pas : par le théorème de la limite monotone, $u_n\to+\infty$.
-
Si $u_0=3$, la suite est constante égale à $3$. En résumé : $u_n\to1$ si $0\le u_0<3$, $u_n=3$ pour tout $n$ si $u_0=3$, $u_n\to+\infty$ si $u_0>3$.
$\lim u_n=1$ si $0\le u_0<3$ ; $3$ si $u_0=3$ ; $+\infty$ si $u_0>3$