Plan d'étude d'une suite récurrente : méthode (MPSI)
Plan d'étude d'une suite récurrente
- Intervalle stable. Trouver un intervalle $I$ stable par $f$ contenant $u_0$ ; il est souvent délimité par $u_0$ et un point fixe, ou par deux points fixes. Les bornes de $I$ fournissent des bornes pour la suite.
- Monotonie. Étudier le signe de $f(x)-x$ sur $I$, ou utiliser le sens de variation de $f$ et comparer $u_0$ et $u_1$.
- Convergence. Conclure avec le théorème de la limite monotone : convergence si la suite est monotone et bornée.
- Limite. Si $f$ est continue, la limite $\ell$ est un point fixe de $f$ situé dans $I$ (ou dans son adhérence, à examiner). On résout $f(\ell)=\ell$ et on élimine les solutions incompatibles avec $\ell\in I$, avec $\ell\ge u_0$ si la suite croît, ou avec $\ell\le u_0$ si elle décroît.
- Divergence. Si la suite est croissante et que $f$ n'a aucun point fixe compatible, la suite ne peut pas converger : elle tend vers $+\infty$.
- Cas $f$ décroissante. Étudier $(u_{2n})$ et $(u_{2n+1})$ avec $g=f\circ f$, puis conclure par le théorème sur les rangs pairs et impairs.
Une fonction croissante
Soit $u_0=0$ et $u_{n+1}=\sqrt{2+u_n}$. On pose $f(x)=\sqrt{2+x}$, continue et croissante sur $[-2,+\infty[$.
- Intervalle stable. $f$ est croissante, $f(0)=\sqrt2$ et $f(2)=2$, donc $f([0,2])=[\sqrt2,2]\subset[0,2]$. Comme $u_0\in[0,2]$, on a $u_n\in[0,2]$ pour tout $n$.
- Monotonie. $u_1=\sqrt2\ge0=u_0$ et $f$ est croissante sur $[0,2]$, donc $(u_n)$ est croissante. On peut aussi le voir avec le signe de $f(x)-x$ : pour $x\in[0,2]$, $\sqrt{2+x}\ge x\iff2+x\ge x^2\iff(x-2)(x+1)\le0$, ce qui est vrai.
- Convergence. La suite est croissante et majorée par $2$ : elle converge vers un réel $\ell\in[0,2]$.
- Limite. $f$ est continue en $\ell$, donc $\sqrt{2+\ell}=\ell$. Cela impose $\ell^2=2+\ell$, soit $(\ell-2)(\ell+1)=0$. Comme $\ell\ge0$, on obtient $\ell=2$.
Une fonction décroissante
Soit $u_0=1$ et $u_{n+1}=\frac1{1+u_n}$. On pose $f(x)=\frac1{1+x}$, continue et décroissante sur $[0,1]$.
- Intervalle stable. $f([0,1])=\left[\frac12,1\right]\subset[0,1]$, donc $u_n\in[0,1]$ pour tout $n$.
- Fonction $g=f\circ f$. Pour $x\in[0,1]$, $$g(x)=\frac1{1+\frac1{1+x}}=\frac{1+x}{2+x}=1-\frac1{2+x},$$ qui est croissante et continue sur $[0,1]$.
- Monotonie des extraites. $u_0=1$, $u_1=\frac12$, $u_2=\frac23$, $u_3=\frac35$. Comme $u_2\le u_0$, la suite $(u_{2n})$ est décroissante ; comme $u_3\ge u_1$, la suite $(u_{2n+1})$ est croissante. Toutes deux sont bornées (dans $[0,1]$), donc convergent vers $a$ et $b$ dans $[0,1]$.
- Limites. Par continuité de $g$, $g(a)=a$ et $g(b)=b$. Or, pour $x\in[0,1]$, $g(x)=x\iff1+x=2x+x^2\iff x^2+x-1=0$. Les racines sont $\frac{-1\pm\sqrt5}2$ ; seule $\alpha=\frac{\sqrt5-1}2\approx0{,}618$ est dans $[0,1]$. Donc $a=b=\alpha$.
- Conclusion. Les suites des rangs pairs et impairs convergent vers $\alpha$, donc $u_n\to\alpha=\frac{\sqrt5-1}2$.
Un point fixe n'est pas forcément une limite
Résoudre $f(\ell)=\ell$ donne seulement les limites possibles, à condition que la suite converge. Exemple : $u_0=2$ et $u_{n+1}=u_n^2$. Les points fixes de $x\mapsto x^2$ sont $0$ et $1$, mais $u_n=2^{2^n}\to+\infty$.
La rédaction correcte : $[2,+\infty[$ est stable, et $f(x)-x=x(x-1)>0$ sur cet intervalle, donc $(u_n)$ est croissante. Si elle convergeait, sa limite $\ell$ vérifierait $\ell\ge2$ et $\ell^2=\ell$, ce qui est impossible. Elle diverge donc, et, étant croissante, elle tend vers $+\infty$.
Autre piège : si $I$ n'est pas fermé, la limite peut ne pas être dans $I$, et $f$ peut ne pas être définie ou continue en ce point.
Pour aller plus loin
Quand $f$ est décroissante, on peut souvent éviter l'étude de $f\circ f$ en majorant $|u_{n+1}-\alpha|=|f(u_n)-f(\alpha)|$ par $k|u_n-\alpha|$ avec $0\le k<1$ : on obtient $|u_n-\alpha|\le k^n|u_0-\alpha|\to0$. Cette majoration s'obtient avec l'inégalité des accroissements finis, vue dans le chapitre sur la dérivation. Une représentation graphique (en escalier si $f$ est croissante, en escargot si $f$ est décroissante) aide à deviner le comportement de la suite, mais ne remplace pas une preuve.
S’entraîner
- Prouver une divergence avec des suites extraites
- Suite récurrente, fonction croissante, discussion selon u0
- Suite récurrente, fonction décroissante
- Trois suites extraites qui se recouvrent
- Théorème de Cesàro et application à une suite récurrente
Dans le cours
Suites réelles : convergence : Plan d'étude d'une suite récurrente