(Oral Centrale Mp)
Soit {I} un intervalle réel d’intérieur non vide.
Soit {f:I\to I}, de classe {\mathcal{C}^{2}}, telle que :{M=\sup\limits_{x\in I}\left|{f'(x)}\right|\lt 1}On suppose : {\exists\, \alpha\in I,\;\begin{cases}f(\alpha)=\alpha\\\rho=f'(\alpha)\ne0\end{cases}}
On définit {(u_{n})_{n\ge0}} par {u_0\in I} et :{\forall\, n\in\mathbb{N},\;u_{n+1}=f(u_n)}On pose : {\forall\, n\in\mathbb{N},\;\begin{cases}e_{n}=u_{n}-\alpha\\ v_{n}=\rho^{-n}e_n\end{cases}}
-
Montrer que la série {\displaystyle\sum_{n\ge0}\left|{e_{n}}\right|} converge.
En déduire : {\exists\, \lambda\in\mathbb{R},\;u_n=\alpha + \lambda \rho^n + \text{o}(\rho^n)}
-
Montrer qu’on a en fait un développement : {u_n=\alpha + \lambda \rho^n + \mu \rho^{2n} +\text{o}\big( \rho^{2n} \big)}
-
Soit {D_{n}} la droite passant par {(u_{n-1},u_{n})} et {(u_n,u_{n+1})}. On suppose qu’elle est bien définie et non parallèle à {\Delta:(y=x)}.
On note {x_n} l’abscisse du point d’intersection de {D_{n}} avec {\Delta}. Montrer que la suite {(x_{n})_{n\ge0}} converge vers {\alpha}, et que :{x_n - \alpha =\text{o}( u_n - \alpha)}
|
Cliquer ici pour voir (ou cacher) le corrigé
Pour voir la suite de ce contenu, vous devez :
Pour poursuivre votre exploration, vous pouvez :