∑
MathTCG
#048 / 200•Foundations•MathTCG #048 / 500•★★Peu commune•⊦Maths Discrètes•Méthode & Idée

Fonctions génératrices

Période historique : XVIIIe siècle (Euler, Laplace)

Le pont magique qui transforme une suite de nombres discrets en coefficients d'une série analytique.

Contenu & Formulation mathématique

Principe de la démarche
Encodage d'une suite discrète dans une série de puissances pour exploiter les propriétés des séries entières.
Champs d'application canoniques
Résolution de relations de récurrence, dénombrement d'arbres et de chemins de Dyck, probabilités discrètes.
G(x)=∑n=0∞anxnG(x) = \sum_{n=0}^{\infty} a_n x^n

Genèse & Portée historique

Outil magistral de combinatoire consistant à encoder une suite numérique discrète (aₙ) comme les coefficients du développement en série formelle d'une fonction analytique G(x). Les relations de récurrence discrètes complexes deviennent ainsi de simples équations algébriques ou différentielles continues.

George Pólya qualifiait les fonctions génératrices de 'corde à linge sur laquelle on suspend une suite de nombres pour la faire sécher et l'examiner à l'aise'. Euler l'employa pour élucider le problème des partitions d'entiers.

« Un sac magique où ranger une infinité d'entiers pour les manipuler d'un seul geste de calcul. »

Filiations & Relations conceptuelles (2)

Notion connexe#052

Suite de Fibonacci

Permet de dériver la formule fermée de Binet pour la suite de Fibonacci.

Emploie la méthode#066

Double comptage

Les coefficients s'obtiennent par identification combinatoire de développements croisés.

Objet de collection MathTCG

#048
★★Peu commune
⊦

Fonctions génératrices

Maths Discrètes•MÉTHODE

Principe : Encodage d'une suite discrète dans une série de puissances pour exploiter les propriétés des séries entières.

G(x)=∑n=0∞anxnG(x) = \sum_{n=0}^{\infty} a_n x^n
XVIIIe siècle (Euler, Laplace)

Dans l'édition physique et numérique de MathTCG, cette carte appartient à l'extension Foundations.

Extension : Foundations (#048 / 200)
Numéro global MathTCG : MathTCG #048 / 500
Rareté officielle : Peu commune (★★)
Domaine théorique : Maths Discrètes
Identifiant pérenne : fonctions-generatrices
Consulter mon classeurExplorer tout le recueil
AccueilClasseurCodexBoostersÉchangesProfil