Développement : Développement asymptotique de suites definies par récurrence

JBernis

Énoncé :
-- Soient un réel $b>0$ et $f$ une application de $[0,b]$ dans $\mathbb{R}$.
On suppose que :
1. $f$ est continue;
2. $f$ est à valeurs dans $[a,b]$;
3. $f$ est croissante;
4. pour tout élément $x$ de $]0,b]$, $f(x)$ strictement plus petit que $x$ et $f(0)=0$;
5. Il existe un réel $\lambda>0$ et un réel $r>1$ tels que :
$$ f(x) =x-\lambda x^r+\mathop{o}\limits_{x\to 0}\left(x^r\right).$$

Pour tout $c\in\, ]0,b[$ la relation \begin{equation} u_0=c,\; \forall n\in\mathbb{N}, u_{n+1}=f(u_n) \end{equation} définit une suite $(u_n)_{n\in\mathbb{N}}$ à valeurs dans $]0,b[$, de limite $0$, de plus :
$$ u_n \mathop{\sim}\limits_{n\to +\infty} \frac {K}{n^{\frac{1}{r-1}} },\hbox{ où } K=(\lambda(r-1))^{\frac{1}{1-r}}. $$

-- Dans le cas particulier $f\;:\; x\longmapsto \ln(1+x),$ on a le développement asymptotique à deux termes :
$$ u_n=\frac 2 n +\frac{2\ln(n)}{3n^2}+ \mathop{ o}\limits_{n\to +\infty} \left( \frac{\ln n} {n^2} \right) .$$


-- Soit $d \in \mathbb{R}_+$ la relation
\begin{equation} v_0=d,\; \forall n\in\mathbb{N}, v_{n+1}=v_n+\exp\left(-v_n^2\right) \end{equation} définit une suite $(v_n)_{n\in \mathbb{N}}$ qui diverge vers $+\infty$. De plus :
$$v_n \mathop{\sim}\limits_{n\to+\infty}\sqrt{\ln n}.$$


Référence : Analyse pour l'agrégation de mathématiques, 40 développements, J. et L. Bernis, Ellipses

EWna

Recasages: 223, 224, 226, pas 230

Bernis p145

Rekasator alternatif (test exhaustif cherchant la plus petite quantité sans prendre en compte la qualité) + tableur pour le suivi des leçons: https://sites.google.com/view/ospoam/accueil

Crépusculaire

WOLFF

Ce document est très (très) long, mais c'est parce que j'ai tenu à faire une sorte de recueil de méthodes permettant de donner un équivalent de telles suites. Le gros du développement est celui qu'on trouve dans le Bernis, c'est pourquoi je poste ici.
On retrouve par exemple parmi ces méthodes la comparaison à une équation différentielle et une approche géométrique comme on voit dans le Bernis. Dans tous les cas, j'essaie au maximum de mettre l'intuition en avant. L'intuition est vraiment essentielle pour réussir les exercices de ce type. Et c'est toujours plus intéressant que de parachuter les astuces.
On étudie également deux problèmes voisins : celui où la dérivée en 0 est positive strictement inférieure à 1, et celui où la fonction colle à la droite y=x mais à l'infini. Les deux problèmes sont abordés dans le Bernis mais j'ai essayé de creuser un peu plus. Ces problèmes permettent de voir les limites des méthodes présentées et permettent de bien se préparer aux questions de jury. Je suis tombé sur ce développement dans la leçon 224 donc j'en ai profité aussi pour glisser quelques questions que le jury m'a posées.

Geoffrey D

Brunel

Développement pas trop compliqué mais il y a quelques subtilité avec toutes ces manipulations d'équivalents ! J'aime bien la version que je propose car on donne un théorème général, on étudie une suite convergente et enfin on étudie une suite divergente donc c'est assez varié !

Je le prends pour les leçons 223, 224 et 226.

On trouvera les preuves aux alentours de la page 99 de la référence.