Suite récurrente

Modèle:Ébauche Modèle:Homon En mathématiques, une suite récurrente (autonome) est une suite associée à une fonction (d’une ou plusieurs variables) appelée fonction de récurrence, laquelle permet de calculer chaque terme à partir des précédents par une relation de récurrence de la forme $\mathrm{\forall }n,u_{n+p}=f(u_n,u_{n+1},\dots ,u_{n+p-1})$. Il s’agit d’un système dynamique discret pouvant être défini par la relation et un ou plusieurs termes initiaux, ou comme suite associée à une autre par une transformation bijective.

En analyse réelle, les suites arithmétiques, géométriques et arithmético-géométriques sont ainsi les premiers exemples de suites récurrentes simples. Les suites logistiques mettent en lumière les comportements de convergence, de cycle limite ou de divergence de suites récurrentes avec une forte sensibilité aux conditions initiales qui relèvent de la théorie du chaos. La suite de Fibonacci est un exemple de suite récurrente linéaire d’ordre 2 avec la relation $\mathrm{\forall }n\ge 0,F_{n+2}=F_{n+1}+F_n$.

L’étude des variations et de la convergence d’une suite réelle récurrente simple est liée à la recherche des points fixes de sa fonction de récurrence.

Des suites récurrentes peuvent aussi apparaitre dans le contexte des langages rationnels avec des suites de mots.

Définition

Définition par récurrence

Modèle:Article détaillé La relation de récurrence est souvent le support de la définition d’une suite récurrente. À partir d’une fonction Modèle:Mvar opérant sur un ensemble Modèle:Mvar et d’un terme initial (ou premier terme) souvent noté Modèle:Math ou Modèle:Math dans Modèle:Mvar, la relation $\mathrm{\forall }n,u_{n+1}=f(u_n)$ définit de façon unique une suite à valeurs dans Modèle:Mvar.

Lorsque la fonction de récurrence a des valeurs qui sortent de son ensemble de définition (par exemple dans le cas d’une fonction homographique de la forme $x\mapsto \frac{ax+b}{cx+d}$ admettant une valeur interdite en $\frac{-d}{c}$ qui peut apparaitre pourtant dans son ensemble image), la définition par récurrence doit s’appuyer sur la vérification que la fonction de récurrence est toujours bien définie sur les valeurs de la suite. La détermination d’un intervalle stable est une procédure efficace pour justifier la bonne définition d’une suite récurrente à valeurs réelles.

Suite associée

Si Modèle:Mvar est une suite récurrente à valeurs dans un ensemble Modèle:Mvar et si Modèle:Mvar est une transformation bijective entre l’ensemble Modèle:Mvar et un ensemble Modèle:Mvar, la suite associée Modèle:Math est aussi une suite récurrente dont la fonction de récurrence est obtenue par conjugaison par Modèle:Mvar : $\mathrm{\forall }n,v_{n+1}=g(f(g^{-1}(v_n)))$.

Cette situation apparait notamment lorsque l’on soustrait à une suite arithmético-géométrique le point fixe de sa fonction de récurrence. La suite obtenue est alors géométrique avec le même facteur multiplicatif comme raison.

Vectorialisation de récurrence multiple

Comme dans le cas particulier des suites récurrentes linéaires, toute suite définie par une relation de récurrence portant sur plusieurs termes précédents peut être obtenue à partir d’une suite vectorielle récurrente simple. Par exemple, si $\mathrm{\forall }n,u_{n+3}=f(u_n,u_{n+1},u_{n+2})$, alors on peut poser $\mathrm{\forall }n,X_n=(u_n,u_{n+1},u_{n+2})$ et $F:(x,y,z)\mapsto (y,z,f(x,y,z))$ pour obtenir la relation $\mathrm{\forall }n,X_{n+1}=F(X_n)$.

Suite réelle récurrente simple

Exemples

Nom	Relation de récurrence	Conditions
suite arithmétique	$u_{n+1}=u_n+r$
suite géométrique	$u_{n+1}=u_n\times q$	parfois à l’exclusion de la valeur 0
suite arithmético-géométrique	$u_{n+1}=a{u}_n+b$	en général Modèle:Math
suite logistique	$u_{n+1}=\mu u_n(1-u_n)$	dans l’intervalle Modèle:Math avec Modèle:Math
suite de Syracuse	$u_{n+1}=\{\begin{array}{cc}{u}_n/2& \text{si}{u}_n\text{est pair}\\ 3u_n+1& \text{sinon}\end{array}$	dans Modèle:Math
suite aliquote	Modèle:Math est la somme des diviseurs stricts de Modèle:Math	dans Modèle:Math

Propriétés

Si Modèle:Math est une suite récurrente à valeurs dans un intervalle Modèle:Mvar stable par sa fonction de récurrence Modèle:Mvar, les propriétés de la fonction ne sont pas forcément celles de la suite, mais il existe des liens entre les deux.

Si la fonction de récurrence est croissante, la suite est monotone (mais pas nécessairement avec le même sens de variation que la fonction).

Si la suite converge vers un réel Modèle:Math et si la fonction de récurrence est continue alors la limite Modèle:Mvar est un point fixe de la fonction de récurrence.

Si la fonction de récurrence est dérivable en l’un de ses points fixes noté Modèle:Mvar, alors ce point fixe est attractif si $|f^{\prime }(\alpha )|<1$ et ce point fixe est répulsif si $|f^{\prime }(\alpha )|>1$.

Le théorème de Charkovski donne des conditions à l’existence de points périodiques pour une suite réelle récurrente simple.

Voir aussi

• Définition par récurrence
• Encyclopédie en ligne des suites de nombres entiers
• Raisonnement par récurrence
• Suite récurrente linéaire
• Suite de Prouhet-Thue-Morse
• Système dynamique
• Théorie ergodique