Suite $u_{n+1} - 2u_n \rightarrow 0$
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...
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$. -
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.
Bonjour!
Catégories
- 163.1K Toutes les catégories
- 7 Collège/Lycée
- 21.9K Algèbre
- 37.1K Analyse
- 6.2K Arithmétique
- 53 Catégories et structures
- 1K Combinatoire et Graphes
- 11 Sciences des données
- 5K Concours et Examens
- 11 CultureMath
- 47 Enseignement à distance
- 2.9K Fondements et Logique
- 10.3K Géométrie
- 62 Géométrie différentielle
- 1.1K Histoire des Mathématiques
- 68 Informatique théorique
- 3.8K LaTeX
- 39K Les-mathématiques
- 3.5K Livres, articles, revues, (...)
- 2.7K Logiciels pour les mathématiques
- 24 Mathématiques et finance
- 312 Mathématiques et Physique
- 4.9K Mathématiques et Société
- 3.3K Pédagogie, enseignement, orientation
- 10K Probabilités, théorie de la mesure
- 772 Shtam
- 4.2K Statistiques
- 3.7K Topologie
- 1.4K Vie du Forum et de ses membres