La Funzione Generatrice di Probabilità (PGF - Probability Generating Function), indicata con G_X(z), è uno strumento specifico per lo studio di Variabili Aleatorie Discrete che assumono solo valori interi non negativi (0, 1, 2, \dots).
Definizione
Si definisce come il valore atteso della variabile z^X: G_X(z) = E[z^X] = \sum_{k=0}^{\infty} P(X = k) z^k Si tratta di una serie di potenze dove il coefficiente del termine z^k è esattamente la probabilità P(X=k).
Proprietà
- Recupero delle Probabilità: Le probabilità si ottengono tramite le derivate della PGF valutate in z=0: P(X=k) = \frac{G_X^{(k)}(0)}{k!}
- Momenti Fattoriali: Permette di calcolare facilmente il Valore Atteso e la Varianza tramite derivate in z=1:
- E[X] = G'_X(1)
- \text{Var}(X) = G''_X(1) + G'_X(1) - [G'_X(1)]^2
Significato Ingegneristico
- Processi di Ramificazione (Branching Processes): In ingegneria nucleare o biotecnologica, la PGF è usata per modellare la propagazione di una reazione a catena o la crescita di una popolazione di cellule, permettendo di calcolare la probabilità di estinzione.
- Teoria delle Code e Reti di Calcolatori: Nello studio di sistemi a tempo discreto (dove gli eventi accadono solo in istanti prefissati), la PGF descrive il numero di pacchetti in un buffer.
- Affidabilità di Sistemi Software: Utilizzata per modellare il numero di errori residui in un codice dopo diverse sessioni di debug.
Vedi anche: Variabile Aleatoria Discreta, Funzione Generatrice dei Momenti.