The Poisson distribution is a discrete probability distribution with identical mean and variance that expresses the probability of a given number of events occurring in a fixed interval of time. In this post, we derive the Poisson probability mass function beginning with the Binomial PDF.
The binomial distribution represents the number of successes, \(k\) in \(n\) independent Bernoulli trials, where the probability of success \(p\) for any given trial is \(0 \leq p \leq 1\). Formally, the binomial PDF is given by
where \(\binom{n}{k}\) represents the binomial coefficient, which equates to
The expanded binomial PDF then appears as
The mean of the binomial distribution is
which can be rearranged in terms of \(p\) to yield
Substituting this expression for \(p\) into the binomial PDF results in
If we let \(n\) grow very large and \(p\) grow very small, after a bit of re-expression we can reformulate the binomial distribution as
Swapping denominator terms yields
Recall from calculus that \(e = \lim_{k\to\infty} (1 + 1/k)^{k}\) and similarly \(e^{x} = \lim_{k\to\infty} (1 + x/k)^{k}\). Leveraging these identities, \((1 - \frac{\lambda}{n})^{n}\) becomes \(e^{-\lambda}\) in the limit. With very large \(n\), the expression for the PDF reduces to
After a little cleanup, we obtain the familiar expression for the Poisson density with mean \(\lambda\):
An interesting property of the Poisson distribution (as well as the Binomial and Negative Binomial distributions) is that successive probabilities can be found recursively. The recurrence relation is given by
where in the case of the Poisson distribution, \(a=0\) and \(b=\lambda\), resulting in
To demonstrate, for a system approximated by a Poisson distribution with \(\lambda = 3\), the probabilities for \(0 \leq k \leq 6\) are:
To use the recurrence relation, we first calculate \(p_0\) as above. Then:
which are identical to the probabilities obtained from evaluating the Poisson PDF directly.