Voir la source de Approfondissement sur les suites numériques/Cycles et chaos

{{Chapitre
  | idfaculté = mathématiques
  | numéro    = 12
  | précédent = [[../Approximation de réels/]]
  | suivant   = [[../Suites récurrentes homographiques/]]
  | niveau    = 14
}}

Dans ce chapitre, nous nous intéressons principalement aux suites qui ne convergent pas, ni ne divergent. Certaines d'entre elles « oscillent » entre plusieurs valeurs : on dit qu’elles décrivent des cycles. Parfois, l'étude de ces cycles révèle certains caractères surprenants des suites.

== Cycles d'ordre ''p''  ==

{{Définition
  | titre   = Cycle d'ordre ''p''
  | contenu =
On appelle '''cycle d'ordre''' '''''p''''', ou '''''p'''''-'''cycle''', avec ''p'' un entier positif supérieur à 1, la donnée de ''p'' points :

<math>\left( a_1, a_2, a_3, \ldots, a_p \right) \in \mathbb K^{p} </math>

tels que :

<math>\begin{align} f(a_1) & = a_2 \\ f(a_2) & = a_3 \\ & \;\vdots \\ f(a_{p-1}) & = a_p \\ f (a_p) & = a_1 \end{align}</math>
}}

{{Corollaire
  | titre   = Corollaire, caractérisation
  | contenu =
Si ''x'' est un point d'un cycle d'ordre ''p'', alors :

<math>f^p \left( x \right) = \left( \underbrace{f \circ f \circ f \cdots f \circ f}_{p \; \mathrm{fois}} \right) \left( x \right) = x</math>
}}

{{Exemple
  | contenu =
Soit une suite définie par une récurrence de la forme :

<math>u_{n+1} = f \left( u_n \right)</math>

Alors :

* les points ''x'' tels que ''ƒ(x) = x'' sont les '''points fixes''' de la suite ;
* les points ''x'' tels que ''ƒ(ƒ(x)) = x'' sont les '''points d'un 2-cycle''' de la suite ;
* les points ''x'' tels que ''ƒ(ƒ(ƒ(x))) = x'' sont les '''points d'un 3-cycle''' de la suite ;
}}

{{Remarque
  | contenu =
Tout point fixe est solution de ''ƒ(ƒ(x)) = x'', de ''ƒ(ƒ(ƒ(x))) = x'', ... il faut en tenir compte lors de la recherche de cycles, cela permet souvent de simplifier leur étude.
}}

== Cycles limites  ==

{{Définition
  | titre   = Cycle limite
  | contenu =
Lorsqu'une suite atteint un point d'un cycle, elle prend un nombre infini de fois les valeurs des points de ce cycle : on parle de '''cycle-limite''' ou '''cycle limite'''. Dans un tel cas, la suite ne diverge pas et ne converge pas, mais elle est bornée.
}}

== Exemple : l'équation logistique  ==

Il existe une célèbre équation, appelée équation logistique, que nous allons étudier pour introduire les notions utiles à ce chapitre. On définit la suite logistique par la relation de récurrence :

<math>x_{n+1} = \mu x_n(1 - x_n)~ </math>

et la donnée de deux nombres réels :

* 0 ≤ ''µ'' ≤ 4 ;
* ''x₀'' dans l'intervalle [0, 1].

Selon ces deux valeurs, la suite aura un comportement très différent. Nous verrons également comment résumer l'étude que l’on va faire sous la forme d'un seul diagramme, appelé diagramme de bifurcation.

=== Premier cas : 0 ≤ ''µ'' ≤ 1  ===

Étudions la suite pour 0 ≤ ''µ'' ≤ 1. On admet que le comportement de la suite est le même sur tout l'intervalle des valeurs possibles. On note ''ƒ'' la fonction telle que :

<math>x_{n+1} = f (x_n)~ </math>

Cherchons les points fixes de ''ƒ'', c'est-à-dire les points ''x'' tels que :

<math>f(x) = x</math>

<math>\mu x (1 - x) = x</math>

<math>\mu x  - \mu x^2 - x = 0</math>

<math>(\mu - 1) x  = \mu x^2</math>

On trouve deux solutions à ce trinôme, mais la seule dans [0, 1] est ''x'' = 0. Ainsi, si la suite converge, elle tend vers 0. Étudions le signe de ''ƒ(x) - x'' :

<math>f(x) - x = \mu x(1 - x) - x = \left(\mu - 1\right)x - \mu x^2</math>

Une étude rapide de la fonction montre qu'elle est de signe négatif sur l'intervalle des valeurs de ''x'', donc, d’après le chapitre précédent, la suite est décroissante.

Décroissante et minorée par 0, elle converge — ''ƒ'' étant continue, la suite converge vers un point fixe.

Conclusion : 
<div style="text-align: center;">{{Cadre proposition|La suite tend vers <math>0</math>.}}</div>

=== Second cas : 1 ≤ ''µ'' ≤ 2  ===

Il y a deux solutions à l'équation précédente :

<math>x = 0</math>

et 

<math>x = \frac{\mu - 1}{\mu}</math>

* Supposons ''x₀'' < (1 - 1/''µ''). En effet, ''A'' = [0; 1 - 1/''µ''] est un intervalle stable par ''ƒ''. La fonction ''ƒ(x) - x'' est positive sur ''A'', donc la suite est croissante. Croissante et majorée, elle converge — ''ƒ'' étant continue, la suite converge vers un point fixe. Si ''x₀'' = 0, celle limite est nulle. Sinon, celle limite est ''(µ - 1)/µ''.
* Supposons maintenant ''x₀'' > ''1/µ'' (''µ/4'' correspond au maximum de ''ƒ''). Alors, par symétrie de ''ƒ'', ou par calcul direct, on montre que ''x₁'' < (1 - 1/''µ''), et on se retrouve dans le premier cas.
* Supposons enfin que ''x₀'' est dans l'intervalle [1 - 1/''µ''; 1/''µ''], lequel est symétrique. On montre de même que la suite est décroissante sur cet intervalle, donc converge.

Conclusion :

<div style="text-align: center;">{{Cadre proposition|La suite tend vers <math>\frac{\mu - 1}{\mu}</math>.}}</div>

=== Troisième cas : 2 ≤ ''µ'' ≤ 3  ===

On montre de même, quoique péniblement, la convergence de la suite, vers la même limite.

<div style="text-align: center;">{{Cadre proposition|La suite tend vers <math>\frac{\mu - 1}{\mu}</math>.}}</div>

=== Cas ultérieurs : ''µ'' > 3  ===

À partir de ''µ'' = 3, il n'y a plus de points fixes, donc la suite ne peut plus converger. C’est là que les choses deviennent intéressantes. Il faut commencer à chercher les cycles d'ordre deux, c'est-à-dire les points ''x'' solutions de :

<math>f \left( f \left( x \right) \right) = x</math>

En développant, on obtient un polynôme du quatrième degré — mais on en connait déjà deux solutions : les deux points fixes de la suite. On peut donc la mettre sous une agréable forme (c'est-à-dire une équation du second degré), et la résoudre facilement. On obtient donc aisément la paire de solutions :

<math> \beta_{+} = {1 \over 2} (1 + {1 \over \mu} \sqrt{\mu^2 - 2 \mu - 3})</math>

<math> \beta_{-} = {1 \over 2} (1 - {1 \over \mu} \sqrt{\mu^2 - 2 \mu - 3})</math>

On remarque que :

<math>f \left( \beta_{+} \right) = \beta_{-}</math>

<math>f \left( \beta_{-} \right) = \beta_{+}</math>

Il y a donc un unique cycle d'ordre deux. On montre qu’il est présent tant que ''µ < 1+√6''.

Au-delà de cette valeur, il faut chercher les solutions de ''ƒ(ƒ(ƒ(ƒ(x)))) = x'', qui révèle un cycle d'ordre quatre. Et ainsi de suite... il faut chercher des cycles d'ordre de plus en plus grand.

Passé une certaine valeur — environ ''µ'' > 3,57 — le système devient clairement « chaotique » : une infime différence pour ''μ'' a des conséquences énormes (et imprévisibles) sur l'issue du système.

=== Diagramme de bifurcation  ===

Pour résumer cette étude (qu'on peut aisément automatiser), il est possible de la représenter graphiquement. Cela s’appelle tracer un diagramme de bifurcation. 

* On mesure sur l’axe des abscisses la valeur de ''μ''.
* Pour chaque abscisse, on place en ordonnée le point vers lequel la suite converge, ou le cas échéant les points du cycle vers lesquels la suite converge.

On obtient une diagramme comme celui qui suit :

[[Fichier:Bifurcation.gif|center|thumb|800px|Diagramme de bifurcation]]

On vérifie les résultats établis précédemment : il y a une courbe (un point fixe), qui se divise en deux (un 2-cycle), lesquelles se divisent chacune en deux (un 4-cycle), ''etc.''

Passé une valeur critique, la suite a un comportement surprenant, qui apparaît sur la zone droite du diagramme.

== Caractère d'un point fixe  ==

Il est parfois intéressant de définir ce que l’on appelle le caractère d'un point fixe, c'est-à-dire le comportement qu'aura la suite à proximité d'un tel point. 

{{Définition
  | titre   = Caractère d'un point fixe
  | contenu =
Soit ''x'' un point fixe pour la suite considérée, et soit ''ε'' un « petit paramètre », non nul.

* ''x'' est un '''point attracteur''' lorsque la suite de premier terme ''x ± ε'' tend vers ''x'' ;
* ''x'' est un '''point répulsif''' lorsque la suite de premier terme ''x ± ε'' s'éloigne de ''x'' ;
* ''x'' est un '''point indifférent''' lorsque la suite de premier terme ''x ± ε'' décrit un cycle autour de ''x'' ;
}}

Parfois, la recherche des points indifférents permet d'obtenir des informations pertinentes (voir l'exercice 2 : la cardioïde principale), car il est courant qu’ils séparent l’ensemble des points attracteurs de celui des points répulsifs.


{{Bas de page
  | idfaculté = mathématiques
  | précédent = [[../Approximation de réels/]]
  | suivant   = [[../Suites récurrentes homographiques/]]
}}