Suite $u_{n+1} - 2u_n \rightarrow 0$

Bonsoir
Je vous soumets un petit truc qui me turlupine.

Soit $(u_n)$ une suite réelle bornée et telle que $(u_{n+1}-2u_n)$ converge vers $0$.
Alors est-il vrai que cela implique que $(u_n)$ converge vers $0$ ?

C'est peut-être tout bête ...
Merci !

Réponses

  • C'est trivialement faux.... $u_{n}=2^{n}$ par exemple... Je soupçonne que l'énoncé n'est pas le bon! Un petit effort! ^^
  • Bonsoir,

    $(2^n)$ n'est pas bornée.

    Y.
  • Posons $v_n = \dfrac{u_n}{2^n}$ (qui tend vers $0$ puisque $(u_n)$ est bornée). La condition sur $u_{n+1}-2u_n$ nous dit que $v_{n+1}-v_n = o\left(\frac{1}{2^n}\right)$. On somme les relations de comparaison : $\displaystyle \sum_{k=n}^{+\infty} (v_{k+1}-v_k) = o\left(\sum_{k=n}^{+\infty} \dfrac{1}{2^k} \right)$, soit $v_n = o\left(\frac{1}{2^n}\right)$, ou encore : $u_n =o(1)$.
  • Formidable ! Merci Guego.
  • Si on extrait une sous-suite convergente de $(u_n)$ (Bolzano-Weiestrass) de limite $\ell$, alors $(u_{n+1}-2u_n)$ converge vers $\ell-2\ell=-\ell$, d'où $\ell=0$. Et il semble me rappeler que si une suite bornée admet une seule valeur d'adhérence, la suite converge vers celle-ci.

    Edit : Math Cross m'a signalé en MP qu'il n'y a aucune raison pour $u_{n+1}$ tende vers $\ell$, donc ça tombe à l'eau.
  • OK, je devrais lire les énoncés! Pardon... :p

    Donc, c'est vrai ! Toujours la même méthode issue des équations différentielles (convolution, ici discrète, par une solution fondamentale).

    Intéressons-nous alors à résoudre $u_{n+1}-2u_{n}=a_{n}$ où $a$ tend vers $0.$
    Après avoir cherché une solution fondamentale de cette équation (par exemple : $v_{n}=2^{n-1}$ si $n\geq 1$ et $v_{0}=0$),
    on obtient que les suites admissibles sont de la forme $$\forall n\in \mathbb{N},\ u_{n}=2^{n}\left( u_{0}+\sum_{k=0}^{n-1}\frac{a_{k}}{2^{k+1}}\right).
    $$ Ainsi, si la suite $u$ est bornée alors nécessairement, la somme de la série convergente $\displaystyle \sum_{k=0}^{n-1}\frac{a_{k}}{2^{k+1}}$ vérifie $$\sum_{k=0}^{+\infty}\frac{a_{k}}{2^{k+1}}=-u_{0}.
    $$ Il vient donc $$\forall n\in \mathbb{N},\ u_{n}=2^{n}\sum_{k=n}^{+\infty}\frac{a_{k}}{2^{k+1}}.

    $$ Finalement, on obtient la majoration suivante $$\forall n\in \mathbb{N},\ \vert u_{n} \vert \leq \sup_{k\geq n}\vert a_{k} \vert \times 2^{n} \sum_{k\geq n}\frac{1}{2^{k+1}}\leq \sup_{k\geq n}\vert a_{k}\vert.
    $$ Et ainsi, $u$ tend bien vers $0.$
  • @BobbyJoe
    Une fois obtenu $$
    \forall n\in \mathbb{N},\mbox{ }u_{n}=2^{n}\left(u_{0}+\sum_{k=0}^{n-1}\frac{a_{k}}{2^{k+1}}\right)
    \qquad\text{et}\qquad
    \sum_{k=0}^{+\infty}\frac{a_{k}}{2^{k+1}}=-u_{0},
    $$ on peut appliquer le théorème de Stolz. On pose $$
    x_n=u_{0}+\sum_{k=0}^{n-1}\frac{a_{k}}{2^{k+1}} \qquad\text{et}\qquad y_n=\frac1{2^n}.
    $$ On a alors $$
    \frac{x_{n+1}-x_n}{y_{n+1}-y_n}=-a_n\longrightarrow0,
    $$ d'où $\lim u_n=0$.
  • @Gilles : ok pour la modification....

    @BoobyJoe : je prends ta solution "élémentaire" ! Merci.

    @Eric : ok, mais si on ne connaît pas le théorème de Stolz...
  • Salut Clairon,
    Dis avec des mots. Si la suite ne tend pas vers $0$ tu as une infinité de termes >c ou plus petits que -c pour une certaine constante c>0. Pour n assez grand le terme suivant un terme $u_n>c$ vaut environ $2u_n$ donc sera (à peu de chose près) plus grand que $2c$ ou plus petit que $-2c$.

    De manière plus formelle, suppose que l'on soit dans le premier cas. Tu choisis maintenant N assez grand pour que la différence des termes soit plus petite que c/4. Pour $n>N$ tu as
    $|u_{n+1}-2u_n|<c/100,\ u_n>c \implies u_{n+1}>1.99 c$
    et plus généralement par récurrence
    $u_{n+k}>(1.99)^kc$
    et la suite n'est pas bornée.


    M.
  • @ Gilles : mais non, peut-être que tout ne tombe pas à l'eau ...

    Une valeur d'adhérence de la suite $(u_n)$ est la limite de l'une de ses sous-suites.

    Deux résultats :
    1) Toute suite bornée admet une valeur d'adhérence.
    2) Si une suite bornée n'a qu'une seule valeur d'adhérence $l$, alors elle converge vers $l$.

    Pour revenir au problème :
    Soit $l$ une valeur d'adhérence de $(u_n)$.
    Comme $u_{n+1}-2u_n$ tend vers $0$, on montre que $2l$ est aussi une valeur d'adhérence de $(u_n)$.
    Par récurrence, $2^n l$ en est une aussi.
    Vu que $(u_n)$ est bornée, nécessairement $l=0$.

    Cordialement.
Connectez-vous ou Inscrivez-vous pour répondre.