En mathématiques et en informatique , une relation de récurrence est une équation selon laquelle le terme n-ième d'une suite de nombres est égal à une combinaison des termes précédents. Souvent, seuls les termes précédents de la suite apparaissent dans l'équation, pour un paramètre n indépendant de n ; ce nombre est appelé l' ordre de la relation. Si les valeurs des premiers nombres de la suite sont connues, le reste de la suite peut être calculé en appliquant l'équation de manière itérative.
Dans les récurrences linéaires , le terme fonction linéaire des termes précédents. Un exemple célèbre est la récurrence des nombres de Fibonacci , où l'ordre est deux et la fonction linéaire se contente d'additionner les deux termes précédents. Cet exemple est une récurrence linéaire à coefficients constants , car les coefficients de la fonction linéaire (1 et 1) sont des constantes indépendantes de n. Pour ces récurrences, on peut exprimer le terme général de la suite sous forme analytique . De même, les récurrences linéaires à coefficients polynomiaux dépendant de n sont également importantes, car de nombreuses fonctions élémentaires et spéciales courantes possèdent un développement en série de Taylor dont les coefficients satisfont une telle relation de récurrence (voir fonction holonome ).
Résoudre une relation de récurrence signifie obtenir une solution sous forme fermée : une fonction non récursive de .
Le concept de relation de récurrence peut être étendu aux tableaux multidimensionnels , c'est-à-dire aux familles indexées par des tuples de nombres naturels .
suite en fonction des éléments précédents. Plus précisément, lorsque seul l'élément immédiatement précédent est concerné, une relation de récurrence a la forme suivante :- 0,"
0,
où
est une fonction, où
Il est facile de modifier la définition pour obtenir des séquences commençant par le terme d'indice 1 ou supérieur.
Ceci définit une relation de récurrence du premier ordre . Une relation de récurrence d' ordre
Carte logistique
Un exemple de relation de récurrence est l' application logistique définie par
Pour une constante donnée, le comportement de la séquence dépend fortement de cette constante , mais reste stable lorsque la condition initiale varie.
Les nombres de Fibonacci
La récurrence d'ordre deux satisfaite par les nombres de Fibonacci est l'exemple canonique d'une relation de récurrence linéaire homogène à coefficients constants (voir ci-dessous). La suite de Fibonacci est définie à l'aide de la récurrence
Plus précisément, la récurrence donne les équations
etc.
On obtient la suite des nombres de Fibonacci, qui commence
- 0, 1, 1, 2, 3, 5, 8, 13, 21, 34, 55, 89, ...
La récurrence peut être résolue par les méthodes décrites ci-dessous, ce qui donne la formule de Binet , qui fait intervenir les puissances des deux racines du polynôme caractéristique ; la fonction génératrice de la suite est la fonction rationnelle
Coefficients binomiaux
Un exemple simple de relation de récurrence multidimensionnelle est donné par les coefficients binomiaux , qui dénombrent les façons de sélectionner des éléments parmi un ensemble d' éléments. Ils peuvent être calculés par la relation de récurrence.
avec les cas de base . L'utilisation de cette formule pour calculer les valeurs de tous les coefficients binomiaux génère un tableau infini appelé triangle de Pascal . Ces mêmes valeurs peuvent également être calculées directement par une autre formule qui n'est pas une récurrence, mais qui utilise les factorielles , la multiplication et la division, et non seulement les additions :
Les coefficients binomiaux peuvent également être calculés à l'aide d'une récurrence unidimensionnelle :
avec la valeur initiale (la division n'est pas affichée sous forme de fraction pour souligner qu'elle doit être calculée après la multiplication, afin d'éviter l'introduction de nombres fractionnaires). Cette récurrence est largement utilisée en informatique car elle ne nécessite pas la construction d'un tableau, contrairement à la récurrence bidimensionnelle, et n'implique pas de très grands entiers, contrairement à la formule avec les factorielles (dans ce cas, tous les entiers impliqués sont inférieurs au résultat final).