Palm–Khintchine theorem

In probability theory, the Palm–Khintchine theorem, the work of Conny Palm and Aleksandr Khinchin, expresses that a large number of not necessarily Poissonian renewal processes combined will have Poissonian properties.

It is used to generalise the behaviour of users or clients in queuing theory. It is also used in dependability and reliability modelling of computing and telecommunications.

According to Heyman and Sobel (2003), the theorem describes that the superposition of a large number of independent equilibrium renewal processes, each with a small intensity, behaves asymptotically like a Poisson process:

Let $\{N_{i}(t),t\geq 0\},i=1,2,...,m$ be independent renewal processes and $\{N(t),t>0\}$ be the superposition of these processes. Denote by $X_{2jm}$ the time between the first and the second renewal epochs in process $j$. Define$N_{jm}(t)$ the $j$th counting process, $F_{jm}(t)=P(X_{2jm}\leq t)$ and $\lambda _{jm}=1/(E((X_{2jm)}))$.

If the following assumptions hold

1) For all sufficiently large $m$: $\lambda _{1m}+\lambda _{2m}+...+\lambda _{mm}=\lambda <\infty$

2) Given $\epsilon >0$, for every $t>0$ and sufficiently large $m$: $F_{jm}(t)<\epsilon$ for all $j$

then the superposition $N_{0m}(t)=N_{1m}(t)+N_{2m}(t)+...+N_{mm}(t)$ of the counting processes approaches a Poisson process for $m$ to $\infty$.