Une série entière formelle (ou, en contexte analytique, une série à convergence) dont les coefficients encodent une suite de nombres ou de quantités combinatoires, permettant des manipulations algébriques pour étudier cette suite.

Principe

Transformer les opérations sur suites en opérations algébriques sur les séries : la convolution des coefficients correspond au produit des fonctions génératrices, la dérivation et la multiplication par des monômes déplacent les indices, et les relations algébriques deviennent des équations fonctionnelles pour la série.

Démonstration

La fonction génératrice ordinaire de la suite de Fibonacci {F_n} est F(z)=∑_{n≥0} F_n z^n ; en utilisant la récurrence F_n = F_{n-1}+F_{n-2} on obtient F(z) = z/(1 − z − z^2), d'où découlent formes fermées et asymptotiques par décomposition en fractions partielles.

Mauvaise application

Traiter une fonction génératrice formelle comme si elle convergeait sur un ouvert sans justification, ou employer des opérations analytiques (intégration, méthodes de contour) sur des séries purement formelles sans établir un rayon de convergence ou une justification algébrique.

Conséquence

Les fonctions génératrices transforment des récurrences combinatoires en équations algébriques ou différentielles sur des séries, permettant souvent des expressions en forme fermée, l'extraction de coefficients (par développement ou analyse des singularités) et des estimations asymptotiques.

Inversion

Les fonctions génératrices de moments ou caractéristiques en probabilité sont des transformées apparentées mais utilisent des espérances d'exponentielles ; elles mettent l'accent sur des propriétés analytiques (convergence, analyticitè) et une interprétation probabiliste plutôt que sur l'encodage combinatoire formel.

Limite

S'applique soit en tant que séries formelles (outil algébrique sans convergence supposée) soit en tant que fonctions génératrices analytiques (exigeant convergence sur un domaine) ; exclut les transformées qui n'encodent pas des suites par coefficients de séries en puissance sauf réinterprétation explicite.

Tension sémantique

Le terme chevauche la combinatoire algébrique formelle (séries formelles) et la combinatoire analytique (fonctions avec convergence et analyse des singularités) ; la tension réside dans le fait de traiter la série comme objet symbolique ou comme objet analytique dont les singularités gouvernent les coefficients.

Synthèse

Une fonction génératrice empaquette une suite en une série en puissances de sorte que les manipulations algébriques et analytiques sur la série produisent des identités combinatoires, des formes closes et des informations asymptotiques sur la suite initiale.