Suites adjacentes

Définition

On dit que les deux suites numériques ( u n ) (u_n) et ( v n ) (v_n) sont adjacentes lorsque la suite ( u n ) (u_n) est croissante, la suite ( v n ) (v_n) est décroissante et lim n + ( u n v n ) = 0 lim from {n toward +infinity} {(u_n - v_n)} = 0

FondamentalThéorème

Si deux suites numériques ( u n ) (u_n) et ( v n ) (v_n) sont adjacentes et telles que la suite ( u n ) (u_n) est croissante et la suite ( v n ) (v_n) est décroissante, alors elles convergent vers la même limite  l l , et, pour tout  n n on a : u n l v n u_n <= l <= v_n

Soit w n = v n u n w_n = v_n - u_n

On a : w n + 1 w n = v n + 1 u n + 1 ( v n u n ) = ( v n + 1 v n ) + ( u n u n + 1 ) w_{n+1} - w_n = v_{n+1} - u_{n+1} - (v_n - u_n) = (v_{n+1} - v_n) + (u_n - u_{n+1})

Or la suite ( u n ) (u_n) est croissante et la suite ( v n ) (v_n) est décroissante

donc  ( v n + 1 v n ) + ( u n u n + 1 ) (v_{n+1} - v_n) + (u_n - u_{n+1}) est la somme de deux termes négatifs

et donc w n + 1 w n 0 w_{n+1} - w_n <= 0

La suite ( w n ) (w_n) est donc décroissante et converge vers 0, ce qui permet de dire que tous les termes de suite ( w n ) (w_n) sont positifs.

On en déduit que v n u n 0 v_n - u_n >=0 , soit u n v n u_n <= v_n

Or ( v n ) (v_n) est décroissante, donc, pour tout n n v n v 0 v_n <= v_0 et donc u n v 0 u_n <= v_0

( u n ) (u_n) est donc une suite croissante et majorée (par v 0 v_0 ).

( u n ) (u_n) est donc convergente vers l l .

On montre de même que ( v n ) (v_n) est décroissante et minorée (par u 0 u_0 ). ( v n ) (v_n) est donc convergente vers l ' l' .

On en déduit que lim n + ( v n u n ) = lim n + v n lim n + u n = l ' l lim from {n toward +infinity} {(v_n - u_n)} = lim from {n toward +infinity} v_n - lim from {n toward +infinity} u_n = l' - l

Or lim n + ( v n u n ) = 0 lim from {n toward +infinity} {(v_n - u_n)} = 0

Donc l ' = l l' = l

Exemple

Exemple

Soient les suites ( u n ) (u_n) et ( v n ) (v_n) définies par :

u n = 1 + 1 1 ! + 1 2 ! + + 1 n ! u_n = 1 + 1 over { fact 1} + 1 over { fact 2} + dotsaxis + 1 over { fact n} et v n = u n + 1 n ! v_n = u_n + 1 over { fact n}

On a :

  • lim n + ( v n u n ) = lim n + 1 n ! = 0 lim from {n toward +infinity} {(v_n - u_n)} = lim from {n toward +infinity} {1 over {fact n} } = 0

  • La suite ( u n ) (u_n) est croissante (évident)

  • La suite ( v n ) (v_n) est décroissante

En effet : v n + 1 v n = u n + 1 + 1 ( n + 1 ) ! ( u n + 1 n ! ) v_{n+1} - v_n = u_{n+1} + 1 over {fact (n+1)} - left ( u_n + 1 over {fact n}right )

soit v n + 1 v n = u n + 1 u n + 1 ( n + 1 ) ! 1 n ! v_{n+1} - v_n = u_{n+1} - u_n + 1 over {fact (n+1)} - 1 over {fact n}

C'est à dire : v n + 1 v n = 2 ( n + 1 ) ! 1 n ! v_{n+1} - v_n = 2 over {fact (n+1)} - 1 over {fact n}

Enfin v n + 1 v n = 1 n ( n + 1 ) ! v_{n+1} - v_n = {1- n} over {fact (n+1)} . Et ce nombre est négatif pour n 1 n >= 1 .

Les suite ( u n ) (u_n) et ( v n ) (v_n) sont donc adjacentes, elles convergent vers la même limite  l l , et, pour tout  n n on a : u n l v n u_n <= l <= v_n