Chapitre 8 — le comportement à l'infini d'une suite : converge-t-elle, diverge-t-elle, et vers quoi ?
Naviguez avec les flèches ← → du clavier, ou via le Sommaire.
Deux familles d'outils : les opérations (calcul direct) et les théorèmes d'existence (gendarmes, monotonie).
$(u_n)$ converge vers $\ell$ si tout intervalle ouvert centré en $\ell$ contient tous les termes à partir d'un certain rang :
À partir du rang $n_0$, tous les termes tombent dans la bande $]\ell-\varepsilon,\ell+\varepsilon[$. Limites de référence : $\dfrac{1}{n^k}\to0$, $\dfrac{1}{\sqrt n}\to0$.
Si une suite converge, sa limite est unique.
$u_n+v_n\to\ell+\ell'$ ; $\ \alpha u_n\to\alpha\ell$ ; $\ u_nv_n\to\ell\ell'$ ; $\ \dfrac{u_n}{v_n}\to\dfrac{\ell}{\ell'}$ (si $\ell'\neq0$).
Si $u_n\gt 0$ pour tout $n$ et $u_n\to\ell$, alors $\ell\geqslant0$ : une inégalité stricte devient large.
Toute suite convergente est bornée. La réciproque est fausse : $(-1)^n$ est bornée mais diverge.
Si $v_n\leqslant u_n\leqslant w_n$ et si $v_n\to\ell$ et $w_n\to\ell$, alors $u_n\to\ell$.
$u_n$ (en bleu) est « pris en tenaille » entre $v_n$ et $w_n$ qui convergent vers $\ell$.
$u_n\to+\infty$ si tout intervalle $]a,+\infty[$ contient les termes à partir d'un certain rang :
$n^k\to+\infty$, $\sqrt n\to+\infty$. Si $u_n\leqslant v_n$ et $u_n\to+\infty$, alors $v_n\to+\infty$.
Lever l'indétermination en factorisant le terme dominant (ex. $2n^2-3n+1=n^2\big(2-\tfrac{3}{n}+\tfrac{1}{n^2}\big)\to+\infty$).
$(\tfrac32)^n$ explose vers $+\infty$ ; $(\tfrac12)^n$ décroît vers $0$.
$\displaystyle\sum_{k=0}^n \frac{1}{2^k}\to\frac{1}{1-\tfrac12}=2$.
Toute suite croissante et majorée converge ; toute suite décroissante et minorée converge.
La suite croissante bute sous le majorant $M$ : elle converge vers une limite $\ell\leqslant M$, sans qu'on connaisse $\ell$.
Une suite croissante et non majorée diverge vers $+\infty$ ; décroissante et non minorée, vers $-\infty$.
La suite harmonique $h_n=\displaystyle\sum_{k=1}^n\frac{1}{k}$ croît sans majorant : $h_n\to+\infty$.
$(u_n)$ et $(v_n)$ sont adjacentes si $(u_n)$ croît, $(v_n)$ décroît et $v_n-u_n\to0$. Alors elles convergent vers une même limite.
L'écart $v_n-u_n$ se referme : les deux suites « piègent » la limite commune.