Revenir au menu ou au travail en cours

Exercices

Index des principaux théorèmes

Index

Mode d'emploi

Conventions

Objectifs

Auteur

Contact

Droits

Utilisation

Mode d'emploi

Conventions

Conception

Objectifs

Auteur

À propos

Contact

Droits

mise à jour : 28/07/2026
La première marche

exercices de mathématiques - prépa et université

 
Retour au choix d'une partie

Table des matières

Partie E
Retour au choix d'un chapitre

Suites et séries

Chapitre 1
Retour au choix d'un sujet

Suites numériques

Sujet E.1.4    Suites récurrentes - convergence

Choisir un exercice, puis le résoudre  :
Exercices   a     b     c     d  
Signaler une erreur Signaler une erreur Exercice a
Étudier la suite récurrente $\,\suit un\,$ définie par :
$\displaystyle{}u_0\geq0\txt{et}\ptt n\app\bb N,\ u_{n+1}=\frac{2\sp{1.5}u_n}{1+u_n}$
  
cours 0/3 ▼
indications 0/2 ▼
figure ▼
réponse ▼
correction ▼
convergence des suites monotones
Une suite $\,(u_n)_{n\geq n_0}\,$ réelle monotone et bornée  est  convergente :
  • $\smb1{\lim n{+\I}u_n=\op{sup}\ens{u_n\!}{\!n\geq n_0}}$ si $\,(u_n)\,$ est croissante ;
  • $\lim n{+\I}u_n=\,\op{inf}\,\ens{u_n\!}{\!n\geq n_0}$ si $\,(u_n)\,$ est décroissante.
convergence des suites géométriques
Pour $\,q\app\bb K\sp{1.5},\,$ $\,\smb{1}{(q^n)_{n\app\bb N}}\,$ est convergente  ssi $\,\big(|\sp{1.5}q\sp{1.5}| < 1\txt{ou} q=1\big):\,$
  • $\,\smb{1.5}{\lim n{+\I}q^n=0}\,$ lorsque $\,|\sp{1.5}q\sp{1.5}| < 1\sp{1.5};\,$
  • $\,\lim n{+\I}q^n=1\,$ lorsque $\,q\,=\,1\sp{1.5}.\,$
Lorsque $\,q\app\bb R\,$ avec $\,q > 1\sp{1.5},\,$ alors  au contraire : $\lim n{+\I}q^n=+\I\sp{1.5}.$
convergence de suites récurrentes
Soient $\,f:I\to\bb R\,$ continue, avec $\,f(I)\subset I\,$ et $(u_n)_{n\geq n_0}$ définie par :
$\displaystyle{}u_{n_0}\app I\txt{et}\ptt n\geq n_0,\ u_{n+1}=f(u_n)$

Si  $(u_n)_{n\geq n_0}$ converge vers $\,\ell\app I,\,$ $\ell$ est un point fixe de $f\!:\sp{1.5}$ $f(\ell)=\ell\sp{1.5}.$
indication  1
Utiliser la fonction $\,f:x\mapsto\dfrac{2\sp{1.5}x}{1+x}\,$ pour établir que la suite $\suit un$ est monotone et bornée.
indication  2
Utiliser la fonction $\,g:x\mapsto f(x)-x\,$ pour déterminer le sens de variation de $\suit un$ et sa limite.
figure
figure n°1
Deux suites $\suit un\sp{1.5},$ selon que $\,0\! < \!u_0\! <\!1\,$ ou $\,u_0 \!>\! 1\,$
réponse
La suite $\,\suit un\,$ converge vers $\,0\,$ ou $\,1\,;\,$ plus précisément, elle est :
  • constante et de valeur $\,0\,$ ou $\,1\sp{1.5},\,$ selon que $\,u_0=0\,$ ou $\,u_0=1\,;\,$
  • strictement croissante et de limite $\,1\sp{1.5},\,$ lorsque $\,0\!<\!u_0\!<\!1\,;\,$
  • strictement décroissante et de limite $\,1\sp{1.5},\,$ lorsque $\,u_0\!>\!1\,.\,$
correction
La suite $\suit un$ vérifie :  $\,\ptt n\app\bb N\sp{1.5}, u_{n+1}=f(u_n)\sp{1.5},\,$ pour la fonction $\,f:[\sp{1.5}0,+\I[\,\to\bb R\sp{1.5},\,$ définie par :
$\displaystyle{}\ptt x\geq0,\ \,f(x)=\dfrac{2\sp{1.5}x}{1+x}=2-\dfrac2{1+x}$

La fonction
Une fonction rationnelle est de la forme : $\,\Big\{\eqalign{&\!\bb K\!\setminus\!\{\alpha_1,\dots,\alpha_p\}\to\bb K\\[-.5ex]&\!x\mapsto f(x)\!=\!A(x)\sp{-1.5}/\sp{-1.5}B(x)}\,$

pour $\,\sth1A\app\bb K[X]\,$ et $\,B\app\bb K[X]\!\sp{-1.5}\setminus\!\sp{-1.5}\{0\}\,$ de racines : $\,\alpha_1,\dots,\alpha_p\app\bb K\sp{1.5}.\,$

  • Si les $A(\alpha_k)$ sont non nuls, $f$ est iréductible de pôles les $\,\alpha_k\sp{1.5}.\,$

  • Un pôle $\alpha_k$ est un pôle simple ssi  $\alpha_k$ est racine simple de $B\sp{1.5}.$
rationnelle
$f,$ sans pôle sur $\,[\sp{1.5}0,+\I[\sp{1.5},\,$ est
Une fonction rationnelle $\,f\,$ est continue sur tout intervalle ne contenant aucun pôle de $f(x)\sp{1.5}.$
continue
sur cet intervalle.

Après
L'inversion est strictement décroissante entre réels de même signe :
  • $\,\big(\, a\leq b < 0 \ \text{ ou }\ 0 < a\leq b\,\big)\Imp 1/b \leq1/a\,;\,$
  • $\,\big(\, a < b < 0 \ \text{ ou }\ 0 < a < b\,\big)\Imp 1/b <1/a\,.\,$
inversion
de $\,x\mapsto\dfrac{1+x}2\,$ puis changement de signe, elle s'avère strictement
Soit $\,f:I\to\bb R\,;\,$ pour $x$ et $y$ appartenant à l' intervalle $I\sp{1.5}, $ $f$ est dite :
  • croissante  ssi : $\,\big(x\leq y\Imp f(x)\leq f(y)\big)\,;\,$
  • strictement croissante  ssi : $\,\big(x < y\Imp f(x) < f(y)\big)\sp{1.5}.\,$

$f$ est de même décroissante ou strictement décroissante avec :
$\displaystyle{} \big(x\leq y\Imp f(x)\geq f(y)\big)\txt{ou}\big(x < y\Imp f(x) > f(y)\big)$
croissante
sur $\,[\sp{1.5}0,+\I[\sp{1.5}.\,$

Étant donné que :  $\,f(0)=0\,$  et $\,\!\lim x{+\I}\,f(x)=2\sp{1.5},\,$ on obtient donc pour l'ensemble
Soit $f:I\to \bb R,$ continue et strictement monotone sur un intervalle $I\sp{1.5}.$

Alors l'intervalle $f(I)$ est de forme identique ou opposée à celle de $I$,

selon le sens de variation de $f\sp{1.5},$ et il a pour bornes :
  • $\,f(\alpha)\,$ pour chaque extrémité fermée $\alpha$ de $I\sp{1.5};$
  • $\,\lim x{\alpha}f(x)\,$ pour chaque extrémité ouverte $\alpha$ de $I\sp{1.5}.$
image
de $\,f:\,$
$\displaystyle{}f\big(\sp{1.5}[\sp{1.5}0,+\I[\sp{1.5}\big)=[\sp{1.5}0,2\sp{1.5}[\,\subset[\sp{1.5}0,+\I[$
On a alors : $\,u_0\geq0\,$  et :  $\,\ptt n\app\bb N\sp{1.5},\ \big(u_n\geq0 \Imp u_{n+1}=f(u_n)\app\sp{1.5}[\sp{1.5}0,2\sp{1.5}[\,\subset[\sp{1.5}0,+\I[\big).\,$

Il s'ensuit par
Soit $P(n)$ une propriété dépendant d'un entier $\,n\geq n_0\,$ telle que :
  • $P(n_0)$ soit vraie,
  • et  $\,\ptt n\geq n_0\sp{1.5},\ \big(P(n)\!\Imp\! P(n+1)\big).\,$
Alors, la propriété $P(n)$ est vraie pour tout $\,n\geq n_0\,.\,$
récurrence
que la suite $\suit un$  est bien définie, et vérifie :  $\,\ptt n\app\bb N^{\ast},\ 0\leq u_n < 2\sp{1.5}.\,$

D'autre part, pour tout $\,n\geq1\sp{1.5},\,$ $\,u_{n+1}-u_n=f(u_n)-f(u_{n-1})\,$ est du signe de $\,u_n-u_{n-1}\sp{1.5},\,$ car $f$ est croissante.

Par récurrence, tous les $\,u_{n+1}-u_n\,$ sont donc du signe de $\,u_1-u_0\sp{1.5},\,$ si bien que la suite $\,\suit un\,$ est
Une suite réelle $(u_n)_{n\geq n_0}$ est monotone  ssi  elle est :
  • soit croissante, autrement dit : $\,\ptt n\geq n_0\sp{1.5},\ u_n\leq u_{n+1}\sp{1.5},\,$
  • soit décroissante, c'est-à-dire : $\,\ptt n\geq n_0\sp{1.5},\ u_n\geq u_{n+1}\sp{1.5}.\,$
$(u_n)_{n\geq n_0}$ est strictement monotone, avec des inégalités strictes.
monotone.

$\,\suit un\,$ étant monotone et bornée, elle
Une suite $\,(u_n)_{n\geq n_0}\,$ réelle monotone et bornée  est  convergente :
  • $\smb1{\lim n{+\I}u_n=\op{sup}\ens{u_n\!}{\!n\geq n_0}}$ si $\,(u_n)\,$ est croissante ;
  • $\lim n{+\I}u_n=\,\op{inf}\,\ens{u_n\!}{\!n\geq n_0}$ si $\,(u_n)\,$ est décroissante.
converge
alors vers une limite finie $\,\ell\app\,[\sp{1.5}0,2\sp{1.5}]\sp{1.5}.\,$

Cette limite vérifie alors
Soient $\,f:I\to\bb R\,$ continue, avec $\,f(I)\subset I\,$ et $(u_n)_{n\geq n_0}$ définie par :
$\displaystyle{}u_{n_0}\app I\txt{et}\ptt n\geq n_0,\ u_{n+1}=f(u_n)$

Si  $(u_n)_{n\geq n_0}$ converge vers $\,\ell\app I,\,$ $\ell$ est un point fixe de $f\!:\sp{1.5}$ $f(\ell)=\ell\sp{1.5}.$
l'équation
$\,f(\ell)=\ell\sp{1.5},\,$ du fait de la continuité de $\,f\sp{1.5},\,$ d'où : $\,\ell=0\txt{ou}\ell=1\sp{1.5},\,$ car :
$\displaystyle{}f(\ell)-\ell=\frac{2\sp{1.5}\ell}{1+\ell}-\ell=\frac{\ell-\ell^2}{1+\ell}=\frac{\ell\sp{1.5}(1-\ell)}{1+\ell}=0$

On peut enfin préciser le sens de variation de la suite $\,\suit un\,$ en remarquant que :
$\displaystyle{}u_{n+1}-u_n=f(u_n)-u_n=\dfrac{u_n\sp{1.5}(1-u_n)}{1+u_n}$
Ainsi, pour tout $\,n\app\bb N,\,$ $\,u_{n+1}-u_n\,$ est du signe opposé à $\,u_n-1,\,$ avec $\,f(0)=0\sp{1.5},\,$ $\,f(1)=1\,$ et :
$\displaystyle{}f\big(\sp{1.5}]\sp{1.5}0,1\sp{1.5}[\sp{1.5}\big)=\,]\sp{1.5}0,1\sp{1.5}[\,\txt{et}\,f\big(\sp{1.5}]\sp{1.5}1,+\I[\sp{1.5}\big)=\,]\sp{1.5}1,2\,[$

On aboutit aux conclusions suivantes pour ces suite $\suit un:$
  • si $\,u_0\app\big\{0,1\big\},\,$ on a : $\,\ptt n\app\bb N,\ u_n=u_0,\,$ et la suite $\,\suit un\,$ est constante ;
  • si $\,0\!<\!u_0\!<\!1,\,$ on a : $\,\ptt n\app\bb N,\ u_n\!<\!u_{n+1}\!<\!1,\,$ et $\,\suit un\,$ est strictement croissante ;
  • si $\,u_0\!>\!1\sp{1.5},\,$ on a : $\,\ptt n\app\bb N,\ 1\!<\!u_{n+1}\!<\!u_n,\,$ et $\,\suit un\,$ est strictement décroissante.
Finalement $\,\suit un\,$ est constante et égale à $\,0\,$ lorsque $\,u_0=0\sp{1.5},\,$ et elle converge vers $\,1\,$ dans tous les autres cas.

Chaque suite $\suit un$ peut être visualisée dans $\bb R^2$ par une ligne brisée reliant jusqu'à un certain rang les points suivants :
$\displaystyle{}(u_0,u_1)\sp{1.5},(u_1,u_1)\sp{1.5},(u_1,u_2)\sp{1.5},\dots\dots\sp{1.5},(u_n,u_n)\sp{1.5},(u_n,u_{n+1})$

figure n°1
Deux suites $\suit un\sp{1.5},$ selon que $\,0\! < \!u_0\! <\!1\,$ ou $\,u_0 \!>\! 1\,$
Signaler une erreur Signaler une erreur Exercice b
Étudier la suite récurrente $\,\suit un\,$ définie par :
$\displaystyle{}u_0\geq-\frac12\txt{et}\ptt n\app\bb N,\ u_{n+1}=\sqrt{2\sp{1.5}u_n+1}$
  
cours 0/3 ▼
indications 0/2 ▼
figure ▼
réponse ▼
correction ▼
convergence des suites monotones
Une suite $\,(u_n)_{n\geq n_0}\,$ réelle monotone et bornée  est  convergente :
  • $\smb1{\lim n{+\I}u_n=\op{sup}\ens{u_n\!}{\!n\geq n_0}}$ si $\,(u_n)\,$ est croissante ;
  • $\lim n{+\I}u_n=\,\op{inf}\,\ens{u_n\!}{\!n\geq n_0}$ si $\,(u_n)\,$ est décroissante.
convergence des suites géométriques
Pour $\,q\app\bb K\sp{1.5},\,$ $\,\smb{1}{(q^n)_{n\app\bb N}}\,$ est convergente  ssi $\,\big(|\sp{1.5}q\sp{1.5}| < 1\txt{ou} q=1\big):\,$
  • $\,\smb{1.5}{\lim n{+\I}q^n=0}\,$ lorsque $\,|\sp{1.5}q\sp{1.5}| < 1\sp{1.5};\,$
  • $\,\lim n{+\I}q^n=1\,$ lorsque $\,q\,=\,1\sp{1.5}.\,$
Lorsque $\,q\app\bb R\,$ avec $\,q > 1\sp{1.5},\,$ alors  au contraire : $\lim n{+\I}q^n=+\I\sp{1.5}.$
convergence de suites récurrentes
Soient $\,f:I\to\bb R\,$ continue, avec $\,f(I)\subset I\,$ et $(u_n)_{n\geq n_0}$ définie par :
$\displaystyle{}u_{n_0}\app I\txt{et}\ptt n\geq n_0,\ u_{n+1}=f(u_n)$

Si  $(u_n)_{n\geq n_0}$ converge vers $\,\ell\app I,\,$ $\ell$ est un point fixe de $f\!:\sp{1.5}$ $f(\ell)=\ell\sp{1.5}.$
indication  1
Déterminer l'unique point fixe $\,\ell\,$ de l'application $\,f:x\mapsto\sqrt{2\sp{1.5}x+1\sth{.5}}\,.\,$
indication  2
Montrer que la suite $\big(|u_n-\ell|\big)_{n\app\bb N}$ est majorée par une suite géométrique tendant vers $\,0\,.\,$
figure
figure n°1
Deux suites $\suit un\sp{1.5},$ selon que $\,u_0\! <\!\ell\,$ ou $\,u_0\!>\!\ell\,$
réponse
La suite $\,\suit un\,$ converge vers $\,1+\sqrt2\,;\,$ plus précisément, elle est :
  • constante et de valeur $\,1+\sqrt2,\,$ lorsque $\,u_0=1+\sqrt2\,;\,$
  • strictement croissante et de limite $\,1+\sqrt2,\,$ lorsque $\,u_0\!<\!1+\sqrt2\,;\,$
  • strictement décroissante et de limite $\,1+\sqrt2,\,$ lorsque $\,u_0\! >\! 1+\sqrt2\,.\,$
correction
La suite $\suit un$ vérifie :  $\,\ptt n\app\bb N\sp{1.5}, u_{n+1}=f(u_n)\sp{1.5},\,$ pour la fonction $\,f:[-1/2\sp{1.5},+\I[\,\to\bb R\sp{1.5},\,$ définie par :
$\displaystyle{}\ptt x\geq-\frac12\sp{1.5},\ \,f(x)=\sqrt{2\sp{1.5}x+1\sth{.5}}$

Par
Soient $\,f:I\to\bb R\,$ et $\,g:J\to\bb K\,$ continues, avec $\,f(I)\subset J\sp{1.5}.\,$

Alors la composée $\,g\circ f\,$ est continue sur l'intervalle $I\sp{1.5}.$
composition
de $\,x\mapsto2\sp{1.5}x+1\geq 0\,$ par la
La fonction racine carrée : $\,x\mapsto\sqrt x\,$ est continue et strictement croissante sur $\,[\sp{1.5}0,+\I[\sp{1.5}.\,$
racine
carrée, $f$ est continue et strictement croissante sur $\,[-1/2\sp{1.5},+\I[\,.\,$

Avec $\,f(-1/2)=0\,$  et $\,\!\smash[b]{\lim x{+\I}}\,f(x)=+\I\sp{1.5},\,$ on obtient donc pour l'ensemble
Soit $f:I\to \bb R,$ continue et strictement monotone sur un intervalle $I\sp{1.5}.$

Alors l'intervalle $f(I)$ est de forme identique ou opposée à celle de $I$,

selon le sens de variation de $f\sp{1.5},$ et il a pour bornes :
  • $\,f(\alpha)\,$ pour chaque extrémité fermée $\alpha$ de $I\sp{1.5};$
  • $\,\lim x{\alpha}f(x)\,$ pour chaque extrémité ouverte $\alpha$ de $I\sp{1.5}.$
image
de $f:$
$\displaystyle{}\sth{1}f\big(\sp{1.5}[-1/2,+\I[\sp{1.5}\big)=[\sp{1.5}0,+\I[\,\subset[-1/2,+\I[$
On a alors : $\,u_0\geq-1/2\,$ et :  $\,\ptt n\app\bb N\sp{1.5},\ \big(\sp{1.5}u_n\geq-1/2 \Imp u_{n+1}=f(u_n)\geq0 > -1/2\sp{1.5}\big)\sp{1.5}.\,$

Il s'ensuit par
Soit $P(n)$ une propriété dépendant d'un entier $\,n\geq n_0\,$ telle que :
  • $P(n_0)$ soit vraie,
  • et  $\,\ptt n\geq n_0\sp{1.5},\ \big(P(n)\!\Imp\! P(n+1)\big).\,$
Alors, la propriété $P(n)$ est vraie pour tout $\,n\geq n_0\,.\,$
récurrence
que la suite $\suit un$  est bien définie, et vérifie :  $\,\ptt n\app\bb N^{\ast},\ u_n \geq 0\sp{1.5}.\,$

La fonction $f$ étant continue, si $\,\suit un\,$ converge vers $\,\ell\geq0\sp{1.5},\,$ elle vérifie
Soient $\,f:I\to\bb R\,$ continue, avec $\,f(I)\subset I\,$ et $(u_n)_{n\geq n_0}$ définie par :
$\displaystyle{}u_{n_0}\app I\txt{et}\ptt n\geq n_0,\ u_{n+1}=f(u_n)$

Si  $(u_n)_{n\geq n_0}$ converge vers $\,\ell\app I,\,$ $\ell$ est un point fixe de $f\!:\sp{1.5}$ $f(\ell)=\ell\sp{1.5}.$
l'équation
$\,f(\ell)=\ell\,:\,$
$\eqalign{\sqrt{2\sp{1.5}\ell+1}=\ell&\Ssi \big(2\sp{1.5}\ell+1=\ell^2\txt{et}\ell\geq0\big)\\ &\Ssi\big((\ell-1)^2=2\txt{et}\ell\geq0\big)\\ &\Ssi \ell =1+\sqrt2\sp{1.5},\txt{car}1-\sqrt2 < 0}$

On étudie alors le comportement lorsque $\,n\,$ tend vers $\,+\I\,$ de la suite $\,\big(|u_n-\ell|\big)_{n\app\bb N} :\,$
$\eqalign{ \big|f(u_n)-f(\ell)\big|&=\big|\sqrt{2\sp{1.5}u_n+1}-\sqrt{2\sp{1.5}\ell+1}\big|\\ &=\frac{\big|(2\sp{1.5}u_n+1)-(2\sp{1.5}\ell+1)\big|}{\sqrt{2\sp{1.5}u_n+1}+\sqrt{2\sp{1.5}\ell+1}}\\ \txt{d'où :}\big|u_{n+1}-\ell\big|&\leq\frac{2\sp{1.5}\big|u_n-\ell\big|}{\sqrt{2\sp{1.5}\ell+1}}=\frac{2\sp{1.5}\big|u_n-\ell\big|}{\ell} =\frac{2\sp{1.5}\big|u_n-\ell\big|}{1+\sqrt 2}}$
$\,\big(|u_n-\ell|\big)_{n\app\bb N}\,$ est majorée par une suite géométrique de raison $\,\smb{2}{\dfrac2{1+\sqrt 2}}<1\sp{1.5},\,$ et donc de
Pour $\,q\app\bb K\sp{1.5},\,$ $\,\smb{1}{(q^n)_{n\app\bb N}}\,$ est convergente  ssi $\,\big(|\sp{1.5}q\sp{1.5}| < 1\txt{ou} q=1\big):\,$
  • $\,\smb{1.5}{\lim n{+\I}q^n=0}\,$ lorsque $\,|\sp{1.5}q\sp{1.5}| < 1\sp{1.5};\,$
  • $\,\lim n{+\I}q^n=1\,$ lorsque $\,q\,=\,1\sp{1.5}.\,$
Lorsque $\,q\app\bb R\,$ avec $\,q > 1\sp{1.5},\,$ alors  au contraire : $\lim n{+\I}q^n=+\I\sp{1.5}.$
limite
nulle :
$\displaystyle{}\ptt n\app\bb N,\ \big|u_{n}-\ell\big|\leq\Big(\frac2{1+\sqrt 2}\Big)^n\sp{1.5}\big|u_{0}-\ell\big|\,\tend n{+\I}\,0$
Ceci prouve que la suite $\,\suit un\,$
Soient $(u_n)$ une suite numérique, $(v_n)$ une suite réelle et $\,\ell\app \bb K\sp{1.5}.\,$

Si  on a,  à partir d'un certain rang $N:$ $\,\big|\sp{1.5}u_n-\ell\sp{1.5}\big|\leq v_n\sp{1.5},\,$ alors :
$\displaystyle{}\lim n{+\I} v_n=0\Imp \lim n{+\I} u_n=\ell$
converge
vers $\,\ell=1+\sqrt2\sp{1.5},\,$  quel que soit $\,u_0\geq-1/2\sp{1.5}.\,$

On peut ensuite préciser le sens de
Une suite réelle $(u_n)_{n\geq n_0}$ est monotone  ssi  elle est :
  • soit croissante, autrement dit : $\,\ptt n\geq n_0\sp{1.5},\ u_n\leq u_{n+1}\sp{1.5},\,$
  • soit décroissante, c'est-à-dire : $\,\ptt n\geq n_0\sp{1.5},\ u_n\geq u_{n+1}\sp{1.5}.\,$
$(u_n)_{n\geq n_0}$ est strictement monotone, avec des inégalités strictes.
variation
de $\,\suit un\,$ en remarquant que :
$\eqalign{f(x)-x&=\sqrt{2\sp{1.5}x+1}-x=\frac{2\sp{1.5}x+1-x^2}{\sqrt{2\sp{1.5}x+1}+x}\\&=-\frac{(x-\ell)(x-1+\sqrt2)}{\sqrt{2\sp{1.5}x+1}+x}}$
Ainsi, $\,\sth{1}u_{n+1}-u_n=f(u_n)-u_n\,$ est du signe opposé à $\,u_n-\ell\,$ lorsque $\,u_n\geq0\sp{1.5},\,$ avec :
$\displaystyle{}f\big(\sp{1.5}[-1/2,\ell\sp{1.5}]\sp{1.5}\big)=[\sp{1.5}0,\ell\sp{1.5}]\txt{et}f\big(\sp{1.5}[\sp{1.5}\ell,+\I[\sp{1.5}\big)=[\sp{1.5}\ell,+\I[$

La suite $\suit un$ converge donc vers $\,\ell=\sqrt2+1\,$ avec les variations suivantes :

  • Si $\,u_0=\ell\sp{1.5},\,$ on a : $\,\ptt n\app\bb N,\ \,u_n=u_0\sp{1.5},\,$  et la suite $\,\suit un\,$ est constante.
  • Si $\,u_0\!<\!\ell\sp{1.5},\,$ on a : $\,\ptt n\app\bb N,\ \,u_n < u_{n+1} < \ell\sp{1.5},\,$  et $\,\suit un\,$ est strictement croissante.

    Cela vaut encore lorsque $\, u_0< 0\sp{1.5},\,$ car on a alors : $\,u_0<0\leq u_1\sp{1.5}.\,$
  • Si $\,u_0\! >\! \ell\sp{1.5},\,$ on a : $\,\ptt n\app\bb N,\ \,\ell < u_{n+1} < u_n\sp{1.5},\,$  et $\,\suit un\,$ est strictement décroissante.

$\,\suit un\,$ est, soit croissante et majorée par $\,\ell,\,$ soit décroissante et minorée par $\,\ell.\,$

On pouvait donc en déduire sa
Une suite $\,(u_n)_{n\geq n_0}\,$ réelle monotone et bornée  est  convergente :
  • $\smb1{\lim n{+\I}u_n=\op{sup}\ens{u_n\!}{\!n\geq n_0}}$ si $\,(u_n)\,$ est croissante ;
  • $\lim n{+\I}u_n=\,\op{inf}\,\ens{u_n\!}{\!n\geq n_0}$ si $\,(u_n)\,$ est décroissante.
convergence
vers l'unique point fixe $\,\ell\,$ de $\,f,\,$ sans majorer $\,\big|u_{n}-\ell\big|\sp{1.5}.\,$

Cependant, cette majoration nous donne une estimation de la vitesse de sa convergence.

Chaque suite $\suit un$ peut être visualisée dans $\bb R^2$ par une ligne brisée reliant jusqu'à un certain rang les points suivants :
$\displaystyle{}(u_0,u_1)\sp{1.5},(u_1,u_1)\sp{1.5},(u_1,u_2)\sp{1.5},\dots\dots\sp{1.5},(u_n,u_n)\sp{1.5},(u_n,u_{n+1})$

figure n°1
Deux suites $\suit un\sp{1.5},$ selon que $\,u_0\! <\!\ell\,$ ou $\,u_0\!>\!\ell\,$
Signaler une erreur Signaler une erreur Exercice c
$\, \TV \,$Étudier la suite récurrente $\,\suit un\,$ définie par :
$\displaystyle{}u_0\app\bb R\txt{et}\ptt n\app\bb N,\ u_{n+1}=-\sp{1.5}u_n\,\e{1-|u_n|}$
  
cours 0/3 ▼
indications 0/2 ▼
figure ▼
réponse ▼
correction ▼
convergence des suites monotones
Une suite $\,(u_n)_{n\geq n_0}\,$ réelle monotone et bornée  est  convergente :
  • $\smb1{\lim n{+\I}u_n=\op{sup}\ens{u_n\!}{\!n\geq n_0}}$ si $\,(u_n)\,$ est croissante ;
  • $\lim n{+\I}u_n=\,\op{inf}\,\ens{u_n\!}{\!n\geq n_0}$ si $\,(u_n)\,$ est décroissante.
convergence des suites géométriques
Pour $\,q\app\bb K\sp{1.5},\,$ $\,\smb{1}{(q^n)_{n\app\bb N}}\,$ est convergente  ssi $\,\big(|\sp{1.5}q\sp{1.5}| < 1\txt{ou} q=1\big):\,$
  • $\,\smb{1.5}{\lim n{+\I}q^n=0}\,$ lorsque $\,|\sp{1.5}q\sp{1.5}| < 1\sp{1.5};\,$
  • $\,\lim n{+\I}q^n=1\,$ lorsque $\,q\,=\,1\sp{1.5}.\,$
Lorsque $\,q\app\bb R\,$ avec $\,q > 1\sp{1.5},\,$ alors  au contraire : $\lim n{+\I}q^n=+\I\sp{1.5}.$
convergence de suites récurrentes
Soient $\,f:I\to\bb R\,$ continue, avec $\,f(I)\subset I\,$ et $(u_n)_{n\geq n_0}$ définie par :
$\displaystyle{}u_{n_0}\app I\txt{et}\ptt n\geq n_0,\ u_{n+1}=f(u_n)$

Si  $(u_n)_{n\geq n_0}$ converge vers $\,\ell\app I,\,$ $\ell$ est un point fixe de $f\!:\sp{1.5}$ $f(\ell)=\ell\sp{1.5}.$
indication  1
Étudier les variations de $\,f:x\mapsto-\sp{1.5}x\,\e{1-|x|},\,$ et en déduire que $\suit un$ est bornée.
indication  2
Montrer que chacune des deux suites extraites $\,(u_{2\sp{1.5}p})_{p\app\bb N}\,$ et $\,(u_{2\sp{1.5}p+1})_{p\app\bb N}\,$ est convergente.
figure
figure n°1
Une suite $\suit un\sp{1.5},$ lorsque $\,u_0\neq 0\,$
réponse
La suite $\,(\suit un\,$ est constante de valeur $\,0\,$ lorsque $\,u_0=0,\,$ et divergente sinon, avec :
  • l'une des suites $\,(u_{2\sp{1.5}p})_{p\app\bb N}\,$ et $\,(u_{2\sp{1.5}p+1})_{p\app\bb N}\,$ strictement croissante et de limite $\,+1\,;\,$
  • l'autre de ces suites strictement décroissante et de limite $\,-1\,.\,$
correction
La suite $\suit un$ vérifie :  $\,\ptt n\app\bb N\sp{1.5}, u_{n+1}=f(u_n)\sp{1.5},\,$ pour la fonction $\,f:\bb R\to\bb R\sp{1.5},\,$ définie par :
$\displaystyle{}\ptt x\app\bb R,\ \,f(x)=-x\,\e{1-|x|}$

Par
Soient $\,f:I\to\bb R\,$ et $\,g:J\to\bb K\,$ continues, avec $\,f(I)\subset J\sp{1.5}.\,$

Alors la composée $\,g\circ f\,$ est continue sur l'intervalle $I\sp{1.5}.$
composition
de la valeur
La fonction valeur absolue : $\,x\mapsto|x|\sp{1.5},\,$ est  continue sur $\bb R\sp{1.5}.$

De plus, elle est paire, et strictement croissante sur $\,]\sp{1.5}0,+\I[\,.\,$
absolue
par une
Pour $\,a\app\bb R^{\ast}\sp{-1.5},\,$ les fonctions exponentielles : $\,x\mapsto\e{\sp{1.5}a\sp{1.5}x}\,$ sont :
  • continues et strictement croissantes sur $\,\bb R\,$ pour $\,a > 0\sp{1.5};\,$
  • continues et strictement décroissantes sur $\,\bb R\,$ pour $\,a<0\sp{1.5}.\,$
exponentielle,
puis
$\sc C(I,\bb K)$ est un sous-espace vectoriel de $\sc F(I,\bb K)\sp{1.5},$ et il est :
  • stable par produit : $\,f,\sp{1.5}g\sp{1.5}\app\sc C(I,\bb K)\!\Imp\! f\sp{1.5}g\sp{1.5}\app\sc C(I,\bb K)\sp{1.5},\,$
  • et stable pour le quotient $\,f\sp{-1.5}/\sp{-1.5}g\,$ lorsque : $\,\ptt x\app I,\ g(x)\neq0\sp{1.5}.\,$
produit
par $\,x\mapsto x\sp{1.5},\,$ la fonction $f$ est continue sur $\bb R\sp{1.5}.$

D'autre part, elle est
Soit $\,f:\Omega\to\bb R\,$ pour $\,\Omega\subset\bb R\,$ tel que :  $\,x\app\Omega\Imp\!-\sp{1.5}x\app\Omega\sp{1.5}.\,$
  • $f$ est paire  ssi :  $\,\ptt x\app\Omega,\ f(-x)=f(x)\,;\,$
  • $f$ est impaire  ssi :  $\,\ptt x\app\Omega,\ f(-x)=-f(x)\,.\,$
impaire
et dérivable sur $\,]\sp{1.5}0,+\I[\,$ comme
Soient $\,f,g:I\to\bb K\,$ dérivables en $x\app I$ et $\alpha,\beta\app\bb K\,.$

Alors, $\,(\alpha\sp{1.5}f+\beta\sp{1.5}g)\,$ et $\,f\sp{1.5}g\,$ sont dérivables en $x\sp{1.5},$ avec :

  • $\,(\alpha\sp{1.5}f+\beta\sp{1.5}g)'(x)=\alpha\sp{1.5}f'(x)+\beta\sp{1.5}g^{\sp{1.5}\prime}(x)\sp{1.5},\,$

  • $\,(f\sp{1.5}g)'\sp{1.5}(x)=f'(x)\,g(x)+f(x)\,g^{\sp{1.5}\prime}(x)\sp{1.5}.\,$
produit
de $\,x\mapsto x\sp{1.5},\,$ par une
Soit $\,u\app\sc C^n(I,\bb K)\sp{1.5},\ n\geq1\sp{1.5};\,$ $\,f:x\mapsto\e{u(x)}\,$ est de classe $\sc C^n$ sur $I\sp{1.5},$ avec :
$\displaystyle{}\ptt x\app I,\ f'(x)=u'(x)\,\e{u(x)}$
exponentielle,
avec :
$\displaystyle{}\ptt x > 0\sp{1.5},\ \sp{1.5}f'(x)=-\sp{1.5}\e{1-x}-x\sp{1.5}(-\sp{1.5}\e{1-x})=(x-1)\sp{1.5}\e{1-x}$

On peut en déduire les
Soit $\,f:I\to\bb R\,$ continue sur $I\sp{1.5},$ et dérivable sur $\,I^{\ast}=I\!\setminus\!\{a\}:\,$
  • $f$ est croissante sur $I$  ssi : $\,\ptt x\app I^{\ast},\ f'(x)\sp{-1.5}\geq\sp{-1.5}0\sp{1.5};\,$
  • avec $\,\ptt x\app I^{\ast},\ f'(x)\!>\! 0\sp{1.5},\,$ $f$ est strictement croissante.
Mêmes conclusions avec $f'(x)$ négatif et $f$ décroissante.
variations
de $f\sp{1.5},$ et par
Pour tous réels $\,\alpha\sp{1.5},\ \beta\,$ et $\,\gamma\,$ strictement positifs, on a :

$\eqalign{(\ln x)^\beta\!\!\dl x{+\I}\sp{1.5}o\sp{1.5}(x^\alpha)\!&\txt{et}\,x^\alpha\!\!\dl x{\smh0{0}}\,o\sp{1.5}(\sp{1.5}|\ln x|^{-\beta})\\ x^\alpha\!\!\dl x{+\I}\sp{1.5}o\sp{1.5}(\e{\gamma\,x})\!&\txt{et}\,\e{\gamma\,x}\!\!\dl x{-\I}\sp{1.5}o\sp{1.5}(\sp{1.5}|x|^{-\alpha})}$
croissances
comparées sa limite en $\,+\I:\,$ $\,\!\!\lim x{+\I}\!f(x)=0\sp{1.5}.\,$

$\require{color}\colorbox{white}{$\tv{x&\i-\r&&\r\r-1\ &&0&&1&&\r\r\i+\hl &&&\!1&&&& &&\sl &&\cr&&\dec&&&&\sl f(x)&\r0&& &&\r0\r&& &&\!0\r\sl &&&&&&\dec&&\cr\sl &&&&&&&\r-1}$}$

On en déduit alors l'ensemble
Soit $f:I\to \bb R,$ continue et strictement monotone sur un intervalle $I\sp{1.5}.$

Alors l'intervalle $f(I)$ est de forme identique ou opposée à celle de $I$,

selon le sens de variation de $f\sp{1.5},$ et il a pour bornes :
  • $\,f(\alpha)\,$ pour chaque extrémité fermée $\alpha$ de $I\sp{1.5};$
  • $\,\lim x{\alpha}f(x)\,$ pour chaque extrémité ouverte $\alpha$ de $I\sp{1.5}.$
image
de la fonction $f:$  $\,f\big(\bb R\big)=[-1,1\sp{1.5}]\subset \bb R\sp{1.5}.\,$

On a alors : $\,u_0\app\bb R\,$  et :  $\,\ptt n\app\bb N\sp{1.5},\ \big(u_n\app\bb R \Imp u_{n+1}=f(u_n)\app\,[-1,1\sp{1.5}]\subset \bb R\big)\,.\,$

Il s'ensuit par
Soit $P(n)$ une propriété dépendant d'un entier $\,n\geq n_0\,$ telle que :
  • $P(n_0)$ soit vraie,
  • et  $\,\ptt n\geq n_0\sp{1.5},\ \big(P(n)\!\Imp\! P(n+1)\big).\,$
Alors, la propriété $P(n)$ est vraie pour tout $\,n\geq n_0\,.\,$
récurrence
que la suite $\suit un$  est bien définie, et vérifie :  $\,\ptt n\app\bb N^{\ast},\ |u_n| \leq 1\sp{1.5}.\,$

Considérons alors la suite $\,\suit vn\,$ définie par : $\,\ptt n\app\bb N,\ v_n=|u_n|\sp{1.5}.\,$

On a alors :  $\,\ptt n\app\bb N^{\ast},\ 1-v_n\geq 0\sp{1.5},\,$ d'où :  $\,\ptt n\app\bb N^{\ast},\ \,v_{n+1}=v_n\,\e{1-v_n}\geq v_n\sp{1.5}.\,$

La suite $\,(v_n)_{n\app\bb N^{\ast}}\,$ étant
Une suite réelle $(u_n)_{n\geq n_0}$ est monotone  ssi  elle est :
  • soit croissante, autrement dit : $\,\ptt n\geq n_0\sp{1.5},\ u_n\leq u_{n+1}\sp{1.5},\,$
  • soit décroissante, c'est-à-dire : $\,\ptt n\geq n_0\sp{1.5},\ u_n\geq u_{n+1}\sp{1.5}.\,$
$(u_n)_{n\geq n_0}$ est strictement monotone, avec des inégalités strictes.
croissante
et majorée par $\,1,\,$ elle
Une suite $\,(u_n)_{n\geq n_0}\,$ réelle monotone et bornée  est  convergente :
  • $\smb1{\lim n{+\I}u_n=\op{sup}\ens{u_n\!}{\!n\geq n_0}}$ si $\,(u_n)\,$ est croissante ;
  • $\lim n{+\I}u_n=\,\op{inf}\,\ens{u_n\!}{\!n\geq n_0}$ si $\,(u_n)\,$ est décroissante.
converge
vers une limite finie $\,\ell\app\,[\sp{1.5}0,1\sp{1.5}]\sp{1.5}.\,$

Cette limite vérifie alors
Soient $\,f:I\to\bb R\,$ continue, avec $\,f(I)\subset I\,$ et $(u_n)_{n\geq n_0}$ définie par :
$\displaystyle{}u_{n_0}\app I\txt{et}\ptt n\geq n_0,\ u_{n+1}=f(u_n)$

Si  $(u_n)_{n\geq n_0}$ converge vers $\,\ell\app I,\,$ $\ell$ est un point fixe de $f\!:\sp{1.5}$ $f(\ell)=\ell\sp{1.5}.$
l'équation
$\,|f(\ell)|=\ell\sp{1.5},\,$ du fait de la continuité de $\,|f|\sp{1.5},\,$ d'où : $\,\ell=0\txt{ou}\ell=1\sp{1.5},\,$ car :
$\displaystyle{}\big|f(\ell)\big|-\ell=0\Ssi \ell\sp{1.5}\big(1-\e{1-\ell}\sp{1.5}\big)=0$

La suite $\,\suit vn\,$ est donc, soit nulle si $\,v_0=|u_0|=0,\,$ soit de limite $\,1\,$ si $\,v_0=|u_0|\neq0.\,$

On distingue alors deux cas quant à la convergence de la suite $\suit un:$
  • Lorsque $\,u_0=0\sp{1.5},\,$ $\,\suit un\,$ est constante et de valeur $\,0\sp{1.5}.\,$
  • Lorsque $\,u_0\neq0\sp{1.5},\,$ les termes $u_{n+1}$ et $u_n$ sont de signes opposés ; il s'ensuit que :
    • les deux suites $\,(u_{2\sp{1.5}p})_{p\app\bb N}\,$ et $\,(u_{2\sp{1.5}p+1})_{p\app\bb N}\,$ sont convergentes et de limites opposées $\,-1\,$ et $\,1\sp{1.5},\,$
    • et cette conclusion est incompatible avec la
      Soit $(u_{n_p})$ une suite extraite d'une suite numérique $(u_n)\sp{1.5};$  pour $\,\ell\app\bb C\,$ ou $\,\ell=\pm\I\sp{1.5},\,$ on a  alors :
      $\displaystyle{}\lim n{+\I}u_n=\ell\Imp\!\!\lim p{+\I}u_{n_p}=\ell$
      convergence
      de $\suit un$ vers une limite unique.

    La suite $\,\suit un\,$ est donc divergente dans le cas général $\,u_0\neq0\sp{1.5}.\,$
Chaque suite $\suit un$ peut être visualisée dans $\bb R^2$ par une ligne brisée reliant jusqu'à un certain rang les points suivants :
$\displaystyle{}(u_0,u_1)\sp{1.5},(u_1,u_1)\sp{1.5},(u_1,u_2)\sp{1.5},\dots\dots\sp{1.5},(u_n,u_n)\sp{1.5},(u_n,u_{n+1})$

figure n°1
Une suite $\suit un\sp{1.5},$ lorsque $\,u_0\neq 0\,$
On observe pour chacune des suites $\,(u_{2\sp{1.5}p})_{p\app\bb N}\,$ et $\,(u_{2\sp{1.5}p+1})_{p\app\bb N}\sp{1.5},\,$ une rapide proximité des termes avec leurs limites respectives.

Cette stabilisation rapide du graphique sur un contour carré illustre la grande vitesse de convergence de ces deux suites.
Signaler une erreur Signaler une erreur Exercice d
On considère la suite récurrente $\,\suit un\,$ définie par :
$\displaystyle{}u_0 > 0\txt{et}\ptt n\app\bb N,\ u_{n+1}=1+\frac4{u_n^2}$
Démontrer que chacune des suites extraites $\,(u_{2\sp{1.5}p})_{p\app\bb N}\,$ et $\,(u_{2\sp{1.5}p+1})_{p\app\bb N}\,$ est convergente.

Comparer les limites de ces deux suites et conclure quant à la convergence de $\suit un\sp{1.5}.$
  
cours 0/3 ▼
indications 0/2 ▼
figure ▼
réponse ▼
correction ▼
convergence des suites monotones
Une suite $\,(u_n)_{n\geq n_0}\,$ réelle monotone et bornée  est  convergente :
  • $\smb1{\lim n{+\I}u_n=\op{sup}\ens{u_n\!}{\!n\geq n_0}}$ si $\,(u_n)\,$ est croissante ;
  • $\lim n{+\I}u_n=\,\op{inf}\,\ens{u_n\!}{\!n\geq n_0}$ si $\,(u_n)\,$ est décroissante.
convergence des suites géométriques
Pour $\,q\app\bb K\sp{1.5},\,$ $\,\smb{1}{(q^n)_{n\app\bb N}}\,$ est convergente  ssi $\,\big(|\sp{1.5}q\sp{1.5}| < 1\txt{ou} q=1\big):\,$
  • $\,\smb{1.5}{\lim n{+\I}q^n=0}\,$ lorsque $\,|\sp{1.5}q\sp{1.5}| < 1\sp{1.5};\,$
  • $\,\lim n{+\I}q^n=1\,$ lorsque $\,q\,=\,1\sp{1.5}.\,$
Lorsque $\,q\app\bb R\,$ avec $\,q > 1\sp{1.5},\,$ alors  au contraire : $\lim n{+\I}q^n=+\I\sp{1.5}.$
convergence de suites récurrentes
Soient $\,f:I\to\bb R\,$ continue, avec $\,f(I)\subset I\,$ et $(u_n)_{n\geq n_0}$ définie par :
$\displaystyle{}u_{n_0}\app I\txt{et}\ptt n\geq n_0,\ u_{n+1}=f(u_n)$

Si  $(u_n)_{n\geq n_0}$ converge vers $\,\ell\app I,\,$ $\ell$ est un point fixe de $f\!:\sp{1.5}$ $f(\ell)=\ell\sp{1.5}.$
indication  1
Montrer que chacune des deux suites extraites $\,(u_{2\sp{1.5}p})_{p\app\bb N}\,$ et $\,(u_{2\sp{1.5}p+1})_{p\app\bb N}\,$ est convergente.
indication  2
Pour $\,f:x\mapsto1+\dfrac4{x^2}\sp{1.5},\,$ montrer que l'application $\,f\circ f\,$ admet un point fixe unique.
figure
figure n°1
Une suite $\suit un\sp{1.5},$ lorsque $\,u_0\neq 0\,$
réponse
La suite $\,\suit un\,$ converge vers $\,2\,;\,$ plus précisément :
  • la suite $\,\suit un\,$ est constante et de valeur $\,2,\,$ lorsque $\,u_0=2\,;\,$
  • les suites extraites $\,(u_{2\sp{1.5}p})_{p\app\bb N}\,$ et $\,(u_{2\sp{1.5}p+1})_{p\app\bb N}\,$ sont, l'une strictement croissante, l'autre strictement décroissante et toutes les deux de limite $\,2,\,$ lorsque $\,u_0\neq2\,.\,$
correction
La suite $\suit un$ vérifie :  $\,\ptt n\app\bb N\sp{1.5}, u_{n+1}=f(u_n)\sp{1.5},\,$ pour la fonction $\,f:\,\,]\sp{1.5}0,+\I[\,\to\bb R\sp{1.5},\,$ définie par :
$\displaystyle{}\ptt x > 0,\ \,f(x)=1+\dfrac4{x^2}$

La fonction
Une fonction rationnelle est de la forme : $\,\Big\{\eqalign{&\!\bb K\!\setminus\!\{\alpha_1,\dots,\alpha_p\}\to\bb K\\[-.5ex]&\!x\mapsto f(x)\!=\!A(x)\sp{-1.5}/\sp{-1.5}B(x)}\,$

pour $\,\sth1A\app\bb K[X]\,$ et $\,B\app\bb K[X]\!\sp{-1.5}\setminus\!\sp{-1.5}\{0\}\,$ de racines : $\,\alpha_1,\dots,\alpha_p\app\bb K\sp{1.5}.\,$

  • Si les $A(\alpha_k)$ sont non nuls, $f$ est iréductible de pôles les $\,\alpha_k\sp{1.5}.\,$

  • Un pôle $\alpha_k$ est un pôle simple ssi  $\alpha_k$ est racine simple de $B\sp{1.5}.$
rationnelle
$f,$ sans pôle sur $\,]\sp{1.5}0,+\I[\sp{1.5},\,$ est
Une fonction rationnelle $\,f\,$ est continue sur tout intervalle ne contenant aucun pôle de $f(x)\sp{1.5}.$
continue
sur cet intervalle.

Après
L'inversion est strictement décroissante entre réels de même signe :
  • $\,\big(\, a\leq b < 0 \ \text{ ou }\ 0 < a\leq b\,\big)\Imp 1/b \leq1/a\,;\,$
  • $\,\big(\, a < b < 0 \ \text{ ou }\ 0 < a < b\,\big)\Imp 1/b <1/a\,.\,$
inversion
de $\,x\mapsto\dfrac{x^2}4\sp{1.5},\,$ elle s'avère strictement
Soit $\,f:I\to\bb R\,;\,$ pour $x$ et $y$ appartenant à l' intervalle $I\sp{1.5}, $ $f$ est dite :
  • croissante  ssi : $\,\big(x\leq y\Imp f(x)\leq f(y)\big)\,;\,$
  • strictement croissante  ssi : $\,\big(x < y\Imp f(x) < f(y)\big)\sp{1.5}.\,$

$f$ est de même décroissante ou strictement décroissante avec :
$\displaystyle{} \big(x\leq y\Imp f(x)\geq f(y)\big)\txt{ou}\big(x < y\Imp f(x) > f(y)\big)$
décroissante
sur $\,]\sp{1.5}0,+\I[\sp{1.5}.\,$

Étant donné que : $\,\!\lim x{0^+}f(x)=+\I\,$  et $\,\lim x{+\I}f(x)=1\sp{1.5},\,$ on obtient donc pour l'ensemble
Soit $f:I\to \bb R,$ continue et strictement monotone sur un intervalle $I\sp{1.5}.$

Alors l'intervalle $f(I)$ est de forme identique ou opposée à celle de $I$,

selon le sens de variation de $f\sp{1.5},$ et il a pour bornes :
  • $\,f(\alpha)\,$ pour chaque extrémité fermée $\alpha$ de $I\sp{1.5};$
  • $\,\lim x{\alpha}f(x)\,$ pour chaque extrémité ouverte $\alpha$ de $I\sp{1.5}.$
image
de $\,f:\,$
$\displaystyle{}f\big(\sp{1.5}]\sp{1.5}0,+\I[\sp{1.5}\big)=[\sp{1.5}1,+\I[\,\subset\,]\sp{1.5}0,+\I[$

On a alors : $\,u_0 > 0\,$  et :  $\,\ptt n\app\bb N\sp{1.5},\ \big(u_n > 0 \Imp u_{n+1}=f(u_n)\geq1 > 0\big).\,$

Il s'ensuit par
Soit $P(n)$ une propriété dépendant d'un entier $\,n\geq n_0\,$ telle que :
  • $P(n_0)$ soit vraie,
  • et  $\,\ptt n\geq n_0\sp{1.5},\ \big(P(n)\!\Imp\! P(n+1)\big).\,$
Alors, la propriété $P(n)$ est vraie pour tout $\,n\geq n_0\,.\,$
récurrence
que la suite $\suit un$  est bien définie, et vérifie :  $\,\ptt n\app\bb N^{\ast},\ u_n \geq 1\sp{1.5}.\,$

La fonction $f$ est décroissante sur $\,]\sp{1.5}0,+\I[\,$ et la composée $\,f\circ f\,$ est
Soient $\,f:I\to \bb R\,$ et $\,g:J\to\bb R\,$ monotones, avec $\,f(I)\subset J\sp{1.5}.\,$

Alors : leur composée $g\circ f$  est :
  • croissante sur $\,I\,$ si $f$ et $g$ ont même sens de variation,
  • décroissante sur $\,I\,$ si $f$ et $g$ ont des sens de variation opposés.
$g\circ f$ est strictement monotone si $f$ et $g$ sont strictement monotones.
croissante
sur $\,]\sp{1.5}0,+\I[\,,\,$ d'où :
$\eqalign{\ptt n\geq1\sp{1.5},\ u_{n+1}-u_n&=f(u_n)-f(u_{n-1})\\ \ptt n\geq2\sp{1.5},\ u_{n+2}-u_n&=(f\circ f)(u_{n})-(f\circ f)(u_{n-2})}$

On en déduit alors par récurrence, que :

  • $\,u_{2\sp{1.5}p+2}-u_{2\sp{1.5}p}\,$ est du signe de $\,u_2-u_0\,$ pour tout $\,p\app\bb N\sp{1.5},\,$
  • $\,u_{2\sp{1.5}p+3}-u_{2\sp{1.5}p+1}=f(u_{2\sp{1.5}p+2})-f(u_{2\sp{1.5}p})\,$ est du signe opposé à $\,u_2-u_0\,$ pour tout $\,p\app\bb N\sp{1.5}.\,$
Les suites $\,(u_{2\sp{1.5}p})_{p\app\bb N}\,$ et $\,(u_{2\sp{1.5}p+1})_{p\app\bb N}\,$ sont donc toutes deux
Une suite réelle $(u_n)_{n\geq n_0}$ est monotone  ssi  elle est :
  • soit croissante, autrement dit : $\,\ptt n\geq n_0\sp{1.5},\ u_n\leq u_{n+1}\sp{1.5},\,$
  • soit décroissante, c'est-à-dire : $\,\ptt n\geq n_0\sp{1.5},\ u_n\geq u_{n+1}\sp{1.5}.\,$
$(u_n)_{n\geq n_0}$ est strictement monotone, avec des inégalités strictes.
monotones,
l'une croissante et l'autre décroissante :
  • celle des deux qui est décroissante est minorée par $\,1\,$ pour $\,p\geq 1\,$ et
    Une suite $\,(u_n)_{n\geq n_0}\,$ réelle monotone et bornée  est  convergente :
    • $\smb1{\lim n{+\I}u_n=\op{sup}\ens{u_n\!}{\!n\geq n_0}}$ si $\,(u_n)\,$ est croissante ;
    • $\lim n{+\I}u_n=\,\op{inf}\,\ens{u_n\!}{\!n\geq n_0}$ si $\,(u_n)\,$ est décroissante.
    converge
    donc vers un $\,\alpha\geq1\sp{1.5};\,$
  • l'autre est alors croissante et
    Soit $\,f:I\to\bb R\,$ sur un intervalle $I$ avec $a\app I$ ou $a$ extrémité de $I.$

    Alors,  pour toute suite $(x_n)$ d'éléments de $I$ et pour tout $\,\ell\app\smh0{\surl{\sp{1.5}\bb R}}:\,$
    $\displaystyle{}\big(\,\lim n{+\I}x_n=a\,\txt{et}\lim xa f(x)=\ell\ \big)\Imp\lim n{+\I}f(x_n)=\ell$
    converge
    vers $\,\beta=f(\alpha)\,$ en tant qu'image par $f$ de la première suite.
La composée $\,f\circ f\,$ étant continue, $\,\alpha\,$ et $\,\beta\,$ sont des points
Soient $\,f:I\to\bb R\,$ continue, avec $\,f(I)\subset I\,$ et $(u_n)_{n\geq n_0}$ définie par :
$\displaystyle{}u_{n_0}\app I\txt{et}\ptt n\geq n_0,\ u_{n+1}=f(u_n)$

Si  $(u_n)_{n\geq n_0}$ converge vers $\,\ell\app I,\,$ $\ell$ est un point fixe de $f\!:\sp{1.5}$ $f(\ell)=\ell\sp{1.5}.$
fixes
de $\,f\circ f\,$ qu'il s'agit de déterminer.
$\eqalign{(f\circ f)(x)-x&= 1+\frac4{\Big(1+\dfrac4{x^2}\!\Big)^{\!2}\!}-x= 1-x+\frac{4\sp{1.5}x^4}{(x^2+4)^2\!}\\ &=\frac{(1-x)\sp{1.5}(x^2+4)^2+4\sp{1.5}x^4}{(x^2+4)^2}=\frac{P(x)}{(x^2+4)^2\!}\\[1ex] \txt{pour :}P(x)&=-x^5+5\sp{1.5}x^4-8\,x^3+8\sp{1.5}x^2-16\sp{1.5}x+16}$
On remarque d'abord que $\,\sth{2}f(2)=2\sp{1.5},\,$ et donc que $\,2\,$ est un point fixe de $\,f\circ f\,$ car :
$\displaystyle{}(f\circ f)(2)=f(f(2))=f(2)=2$

On sait alors que $\,P(2)=0\sp{1.5},\,$ et on
Une racine de $\,P\app\bb K[X]\,$ est  un $\,\alpha\app\bb K\,$ tel que $\,P(\alpha)=0\,.\,$

$\,\alpha\app\bb K\,$ est racine de $\,P\app\bb K[X]\,$ ssi  $\,(X\!-\!\alpha)\,$ divise le polynôme $P.$
factorise
$\,P(x)\,$ par $\,(x-2)\,$ tant que c'est possible :
$\eqalign{P(x)&=-x^5+5\sp{1.5}x^4-8\,x^3+8\sp{1.5}x^2-16\sp{1.5}x+16\\ &=(x-2)\sp{1.5}(-x^4+3\sp{1.5}x^3-2\sp{1.5}x^2+4\sp{1.5}x-8)\\ &=(x-2)^2(-x^3+x^2+4)\\&=(x-2)^3(-x^2-x-2)}$

$\,2\,$ est ainsi une racine
La multiplicité d'une racine $\alpha$ de $P\app\bb K[X]$  est  le plus grand entier $m\app\bb N^{\ast}$ tel que $(X-\alpha)^m$ divise $P\sp{.75}.$

Une racine $\alpha$ de $P$ est simple si $\,m=1\sp{1.5},\,$ elle est double si $\,m=2\sp{1.5},\,$ etc.
triple
de $\,P,\,$ et c'est le seul point fixe de $\,f\circ f\,$ car :
$\displaystyle{}x > 0\Imp -x^2-x -2 <-2$

On en déduit que $\,\alpha=\beta=2\sp{1.5},\,$ ce qui implique que la suite $\,\suit un\,$
Soient $\suit un$ une suite numérique ;  pour $\,\ell\app\bb C\,$ ou $\,\ell=\pm\I\sp{1.5},\,$ on a  alors :
$\displaystyle{}\lim p{+\I}\!u_{2\sp{1.5}p}=\!\!\lim p{+\I}\!u_{2\sp{1.5}p+1}=\ell\Imp\!\!\lim n{+\I}\!u_n=\ell$
converge
vers $\,2:\,$
$\displaystyle{}\lim p{+\I}\!u_{2\sp{1.5}p}=\!\!\lim p{+\I}\!u_{2\sp{1.5}p+1}=2\ \Imp\!\!\lim n{+\I}\!u_n=2$

$\,\suit un\,$ est donc constante lorsque $\,u_0=2\sp{1.5},\,$ et elle converge vers $\,\ell=2\,$ dans tous les cas.

Chaque suite $\suit un$ peut être visualisée dans $\bb R^2$ par une ligne brisée reliant jusqu'à un certain rang les points suivants :
$\displaystyle{}(u_0,u_1)\sp{1.5},(u_1,u_1)\sp{1.5},(u_1,u_2)\sp{1.5},\dots\dots\sp{1.5},(u_n,u_n)\sp{1.5},(u_n,u_{n+1})$

figure n°1
Une suite $\suit un\sp{1.5},$ lorsque $\,u_0\neq 0\,$
Il a fallu calculer $\,1000\,$ termes $\,u_n\,$ pour obtenir une proximité suffisante avec la limite $\,\ell=2\sp{1.5}.\,$

Le coloriage du graphique qui en résulte illustre la convergence très lente de la suite $\suit un\sp{1.5}.$