# Fonction génératrice

En mathématiques, la *fonction génératrice* de la suite (*a__n*) est la série formelle définie par :$\\sum a\_nX^n$ On confond parfois la fonction génératrice et une fonction de la variable *x*. Cependant, il est utile de préciser qu'une fonction génératrice est avant tout une série formelle et que la fonction de la variable *x* correspondante risque de ne pas converger pour tout *x*.

* fonction génératrice de la suite constante 1 : $\\sum X^n = \\frac{1}{1 - X}$
* fonction génératrice de la suite (*n*) : $\\sum nX^n = \\frac{X}{(1-X)^2}$
* fonction génératrice de la suite $(n^2)$ : $\\sum n^2X^n = \\frac{X(1+X)}{(1-X)^3}$
* fonction génératrice de la suite $\\frac{1}{n!}$ : $\\sum \\frac{X^n}{n!} = e^X$

On parle aussi de *fonction génératrice exponentielle* de la suite (*a__n*) définie par la série formelle $\\sum a\_n \\frac{X^n}{n!}$.

Lorsque l'on travaille plutôt avec l'inverse de *X*, la variable *z*=1_/X_, on parle alors de la transformée en Z, $\\sum a\_n{(1/z)}^n$, qui est beaucoup utilisée en traitement du signal et en asservissements.

On peut retrouver la suite initiale (*a__n*) à partir de la fonction génératrice $F(X)$ (resp. la fonction génératrice exponentielle $E(X)$) selon les formules :$a\_k = \\frac{1}{k!} \\frac{d^k F}{d X^k}(0) \\quad\\text{ et }\\quad a\_k = \\frac{d^k E}{d X^k}(0)$

## Définition

Soit *X* une variable aléatoire entière et positive, la fonction génératrice de *X* est la série entière:

$ G_X(t)=\\sum _{k=0} ^\\infty \\mathbb{P}(X=k)t^k,$

où $\\scriptstyle\\ \\mathbb{P}(X=k)\\ $ est la probabilité que la variable aléatoire *X* prenne la valeur *k*.

## Fonctions génératrices de lois usuelles

* Pour la loi de Poisson de paramètre *?*, on a $\\scriptstyle\\ \\mathbb{P}(X=k)= \\frac {\\lambda^k}{k!}e^{-\\lambda}\\ $ et il vient

$G\_{\\lambda}(t)=e^{\\lambda(t-1)}\\ ;$

* Pour la loi binomiale de paramètres (*n*, *p*), on a $\\scriptstyle\\ \\mathbb{P}(X=k)= C^k _n p^k (1-p)^{n-k}\\ $ et on en déduit

$G\_{n,p}(t) = (1-p+pt)^n.$

## Propriétés

* Le rayon de convergence de cette série entière est toujours supérieur ou égal à 1.
* On peut remarquer que

$G\_X(t)=\\mathbb{E}\[t^{ X}\].$

* Si *X* admet une espérance $\\scriptstyle\\ \\mathbb{E}[X]\\ $ alors $\\scriptstyle\\ G_X\\ $ et sa dérivée sont définies en *t=1* et on a:

$\\mathbb{E}\[X\]= \\frac{dG\_X}{dt} (t=1).$

* Si *X* admet une variance $\\scriptstyle\\ \\text{Var}(X)\\ $, et donc une espérance $\\scriptstyle\\ \\mathbb{E}[X],\\ $ alors $\\scriptstyle\\ G_X\\ $ et ses dérivées première et seconde sont définies en *t=1* et on a:

$ Var[X]=\\frac{d^2 G_X}{dt^2} (t=1) + \\frac {dG_X} {dt} (t=1) - \\left(\\frac{dG_X}{dt} (t=1)\\right)^2.$

* Si deux variables aléatoires réelles discrètes à valeurs dans $\\scriptstyle\\ \\mathbb{N}\\ $ admettent la même fonction génératrice, alors elles ont la même loi de probabilité<ref>Ce résultat est induit par le fait qu'il existe une relation bijective entre une loi de probabilité et sa fonction génératrice. La loi de probabilité définit la fonction génératrice *F* et, réciproquement, on retrouve la loi de probabilité à partir de *F* puisque $p\_k = F^{(k)}(0)/k!$. </ref>.
* Soient *X* et *Y* deux variables aléatoires réelles discrètes entières et positives. Si *X* et *Y* sont indépendantes alors on a:

$G\_{X+Y}=G\_X\\times G\_Y.$

*Remarque* : La réciproque est fausse.

* Si _X_1, _X_2, …, _X_n est une suite de variables aléatoires indépendantes, et si

$S\_n = \\sum\_{i=1}^n a\_i X\_i,$

où les _a_i sont des constantes, alors

$G\_{S\_n}(z) = E(z^{S\_n}) = E(z^{\\sum\_{i=1}^n a\_i X\_i,}) = G\_{X\_1}(z^{a\_1})G\_{X\_2}(z^{a\_2})\\cdots G\_{X\_n}(z^{a\_n}).$

* Par exemple, si les _X_i ont de plus même loi (et donc même fonction génératrice *G* ), alors

$S\_n = \\sum\_{i=1}^n X\_i,$

a pour fonction génératrice :

$G\_{S\_n} = G^n.$

## Composition des fonctions génératrices

La propriété suivante est particulièrement utile à l'étude des processus de Galton-Watson. Soit $\\scriptstyle\\ (X_n)\\ $ une suite de variables aléatoires de même loi et $\\scriptstyle\\ N\\ $ une variable aléatoire, toutes à valeurs dans $\\scriptstyle\\ \\mathbb{N}.$

* On pose

$S\_N = \\sum\_{n=1}^{N}X\_n= \\sum\_{n\\ge 1}X\_n\\ 1\\!\\!1\_{\\{N\\ge n\\}}.$

* On suppose que $\\scriptstyle\\ (N,X_1,X_2,...)\\ $ est une famille de variables aléatoires indépendantes.

Alors :

$G\_{S\_N}=G\_N\\circ G\_X.$

Notons que, si $\\scriptstyle\\ S_0\\equiv 0,\\ $ et si $S\_n = \\sum\_{k=1}^{n}X\_k,$ alors $S\_N = \\sum\_{n\\ge 0}\\ S\_n\\ 1\\!\\!1\_{\\{N= n\\}}.$ Par conséquent, $ \\begin{align} G_{S_N}(z) &= \\mathbb{E}\\left[z^{S_N}\\right]\\\\ &= \\mathbb{E}\\left[z^{\\sum_{n\\ge 0}\\ S_n\\ 1\\!\\!1_{\\{N= n\\}}}\\right]\\\\ &= \\mathbb{E}\\left[\\sum_{n\\ge 0}\\ z^{S_n}\\ 1\\!\\!1_{\\{N= n\\}}\\right]\\\\ &= \\sum_{n\\ge 0}\\ \\mathbb{E}\\left[z^{S_n}\\ 1\\!\\!1_{\\{N= n\\}}\\right]\\\\ &= \\sum_{n\\ge 0}\\ \\mathbb{E}\\left[z^{S_n}\\right]\\times\\mathbb{E}\\left[1\\!\\!1_{\\{N= n\\}}\\right]\\\\ &= \\sum_{n\\ge 0}\\ G_{S_n}(z)\\times\\mathbb{P}\\left(N= n\\right)\\\\ &= \\sum_{n\\ge 0}\\ \\mathbb{P}\\left(N= n\\right)\\times \\left(G_{X}(z)\\right)^n\\\\ &= G_N\\left(G_X(z)\\right). \\end{align}$

## Généralisation aux variables aléatoires non entières

Cette notion de fonction génératrice se généralise aux variables aléatoires continues par les fonctions caractéristiques. Une autre notion utile est la fonction génératrice des moments.