Fonction génératrice des probabilités
En mathématiques, et plus particulièrement en théorie des probabilités, la fonction génératrice des probabilités (ou fonction génératrice des moments factoriels[1],[2],[3]) d'une variable aléatoire (à valeurs dans les entiers naturels) est la série entière associée à la fonction de masse de cette variable aléatoire. La fonction génératrice des probabilités est utile car elle permet de caractériser entièrement la fonction de masse. La fonction génératrice des probabilités est usuellement identifiée à sa somme.
Définition
Soit X une variable aléatoire entière et positive, la fonction génératrice des probabilités de X est la série entière
où est la probabilité que la variable aléatoire X prenne la valeur k. La fonction génératrice des probabilités sera souvent confondue avec sa somme lorsque celle-ci converge.
Si R est le rayon de convergence de la série entière, alors on remarque que la fonction existe et est finie sur l'ensemble (avec pour convention que 00 = 1) et donc[4]
Si R est fini alors cette dernière égalité peut encore être vraie pour t = R ou t = −R[5].
Les coefficients de la série entière étant des probabilités, R est supérieur ou égal à 1. En effet, pour 0 ≤ t ≤ 1 la série est uniformément convergente puisque et que .
Si R est strictement supérieur à 1 alors GX est développable en série entière au voisinage de 1 (car la somme d'une série entière est développable en série entière dans son disque ouvert de convergence), de plus X admet des moments factoriels de tout ordre finis[1] et au voisinage de 1 on a[6]
où désigne le k-ième moment factoriel de X.
Fonctions génératrices de lois usuelles
Nom de la loi | Paramètres | Fonction de masse | Fonction génératrice GX | Rayon de convergence de GX |
---|---|---|---|---|
Loi de Bernoulli | ||||
Loi bêta-binomiale | 1 | |||
Loi binomiale | ||||
Loi binomiale négative | ||||
Loi binomiale négative étendue | ||||
Loi géométrique | ||||
Loi hypergéométrique | 1 | |||
Loi logarithmique | ||||
Loi de Markov-Pólya | 1 | |||
Loi de Poisson | ||||
Loi uniforme discrète | a, b, n |
Propriétés
- GX est toujours définie en t = 1 et t = −1 de plus on a et .
- X admet une espérance finie si et seulement si la dérivée à gauche de GX est définie en t = 1 ; le cas échéant on a
- X admet une variance finie , et donc une espérance finie , si et seulement si la dérivée à gauche d'ordre 2 de GX est définie en t = 1 ; le cas échéant on a
- Plus généralement, X admet un moment factoriel d'ordre k fini si et seulement si la dérivée à gauche d'ordre k de GX est définie en t = 1 ; le cas échéant on a[1]
- Deux variables aléatoires à valeurs dans admettent la même fonction génératrice des probabilités si et seulement si elles ont la même loi de probabilité. Autrement dit la fonction génératrice des probabilités caractérise la loi. De plus on a
- Soient X et Y deux variables aléatoires à valeurs dans . Si X et Y sont indépendantes alors on a :
Remarque : La réciproque est fausse. - Si X1, X2, ..., Xn sont des variables aléatoires indépendantes, et si on pose
où les ai sont des constantes, alors . - Si en plus les Xi ont tous la même loi (et donc même fonction génératrice G), alors la variable aléatoire
a pour fonction génératrice : . - Soit (Xn) une suite de variables aléatoires à valeurs dans et X une variable aléatoire aussi à valeurs dans . Alors les assertions suivantes sont équivalentes :
- (Xn) converge en loi vers X
- Pour tout k ≥ 0 on a la convergence quand n tend vers l'infini.
- Pour tout 0 < t < 1 on a la convergence quand n tend vers l'infini.
Composition des fonctions génératrices
La propriété suivante est particulièrement utile à l'étude des processus de Galton-Watson.
Théorème — Soit une suite de variables aléatoires de même loi et une variable aléatoire, toutes à valeurs dans .
- On pose
. - On suppose que est une famille de variables aléatoires indépendantes.
Alors :
Généralisation
L'égalité suivante permet de considérer la notion de fonction génératrice des moments factoriels d'une variable aléatoire X dans le cas où X prend des valeurs réelles et t des valeurs complexes (à condition que t ≠ 0 ou que X ≥ 0). Dans ce cadre plus général, GX ne se voit plus comme la série entière associée à la fonction de masse mais comme une fonction à valeurs complexes définie sur un certain sous-ensemble du plan complexe. Cet ensemble de définition dépend bien-sûr de X mais il contiendra toujours le cercle unité. La restriction de GX au cercle unité est équivalente à la fonction caractéristique ϕX dans le sens où
En pratique la fonction caractéristique est presque exclusivement utilisée pour des variables aléatoires à valeurs réelles tandis que la fonction génératrice des probabilités est utilisée pour des variables aléatoires à valeurs dans les entiers naturels[8].
Notes et références
- Laurent Rouvière, « Probabilités générales », p. 43
- Magalie Fromont, « Probabilités générales », p. 27
- (en) G A Young, « M2S1 Lecture notes », p. 28
- Cette égalité apparait souvent comme définition de la fonction génératrice des probabilités, mais dans ce cas, cette dernière perd son statut de série entière pour devenir une fonction définie sur un certain sous ensemble des nombres réels. Il ne faut pas se laisser abuser par le mot "fonction" dans "fonction génératrice des probabilités" car cette dernière est bel et bien une série entière ; sa somme en revanche est une fonction.
- Si l'on s'autorise à prendre des valeurs infinies alors l'égalité est vraie pour tout t ≥ 0.
- Cette égalité explique pourquoi la fonction génératrice des probabilités est aussi appelée fonction génératrice des moments factoriels. Cependant il faut faire attention car la série entière générée par les moments factoriels peut avoir un rayon de convergence nul (les moments factoriels peuvent même ne pas être finis) tandis que la série entière générée par les probabilités a toujours un rayon de convergence supérieur ou égal à 1.
- Pour alléger les notations on aura posé . Dans le cas de la loi de Markov-Pólya on aura aussi posé et . La fonction B désigne la fonction bêta et désigne la fonction hypergéométrique. Enfin on aura, par convention, considéré que k parmi n est nul dès que
- Cependant il faut garder à l'esprit que la fonction caractéristique est parfaitement bien définie pour une variable aléatoire à valeurs entières et que, dans ce cas, elle ne coïncide pas avec la fonction génératrice des probabilités. La fonction caractéristique n'est donc pas une généralisation, stricto sensu, de la fonction génératrice des probabilités.
Voir aussi
- Série génératrice
- Série entière
- Fonction génératrice des moments
- Fonction caractéristique (probabilités)
- Cumulant (statistiques)
Bibliographie
- (en) Cours de probabilités de Gleb Gribakin
- (en) Philippe Flajolet et Robert Sedgewick, Analytic Combinatorics, Cambridge University Press, (ISBN 0-521-89806-4, lire en ligne)