Suites monotones et bornées
Une suite (un) est :
Elle est monotone si elle est croissante, ou si elle est décroissante (sur tout son ensemble de définition).
(un) est majorée par M si, pour tout n, un ≤ M.
(un) est minorée par m si, pour tout n, un ≥ m.
Elle est bornée si elle est à la fois majorée et minorée.
La suite définie par un+1 = 13un + 4 et u0 = 1 est strictement croissante et majorée par 6 — on l'admettra ou on le démontrera par récurrence selon l'énoncé.
Théorème de convergence monotone
Toute suite croissante et majorée converge.
Toute suite décroissante et minorée converge.
Ce théorème garantit l'existence d'une limite finie L, mais ne donne pas sa valeur. Il faut une méthode à part pour calculer L.
Si un+1 = f(un) avec f continue, et si (un) converge vers L, alors L vérifie l'équation du point fixe :
On résout cette équation pour trouver L.
📝 Exemple résolu
Soit (un) définie par u0 = 1 et, pour tout n, un+1 = 12un + 3. On admet que (un) est monotone et bornée.
L − 12L = 3
12L = 3
Théorème des gendarmes
Soient (un), (vn) et (wn) trois suites telles que, pour tout n :
Si (vn) et (wn) convergent vers la même limite L, alors (un) converge aussi vers L.
📝 Exemple résolu
Soit un = 5 + cos(n)n pour n ≥ 1.
4n ≤ un ≤ 6n
Le terme encadré n'a pas besoin d'être cos ou sin : tout ce qui est borné entre deux constantes fonctionne, y compris (−1)n.
Pour aller plus loin — théorèmes de comparaison
Si, pour tout n, un ≥ vn et si vn → +∞, alors un → +∞.
De même, si un ≤ wn et si wn → −∞, alors un → −∞.
C'est le même principe d'encadrement, mais utilisé pour prouver une divergence vers l'infini plutôt qu'une convergence : il suffit d'une seule suite de comparaison (pas besoin des deux côtés de l'encadrement).
Quel théorème choisir ?
| Dans l'énoncé... | Théorème à utiliser |
|---|---|
| Une suite récurrente (un+1 = f(un)) dont on admet qu'elle est monotone et bornée | Convergence monotone + point fixe L = f(L) |
| Une expression avec un terme borné et oscillant (cos, sin, (−1)n) qu'on peut encadrer | Théorème des gendarmes |
| Une suite donnée par une formule explicite simple (sans terme oscillant) | Calcul direct de la limite — aucun théorème d'encadrement nécessaire |