The central limit theorem states that for independent identically distributed variables of finite mean and positive finite variance ,
For a continuous strictly increasing cumulative distribution function, its inverse is defined on . Thus for , proving the uniform law.
If , then for , . Hence , an exponential density of rate one. Its first two moments are one and two, by integration by parts, so and .
Although the original variables may have different distributions, their separate transforms are independent and all uniform. Consequently are independent identically distributed exponentials of rate one, and the statistic is exactly
The stated central limit theorem therefore yields .
A Poisson process of rate is a counting process starting at zero with independent stationary increments, with Poisson of mean for , and right-continuous paths with unit jumps. Equivalently the small-interval probabilities are for one event and for two or more.
Independence of the two processes makes their joint increments over disjoint intervals independent. On an interval of length , the sum of their independent Poisson increments has probability generating function
so it is Poisson with mean . Simultaneous arrivals have probability zero, so the sum retains unit jumps. It is therefore a Poisson process of rate .
The first arrival times are independent exponential variables of rates and . For positive rates,
Stationarity at zero gives , hence . At one, ; substituting gives . More generally the interior equations are . Induction gives
Since , normalization of this geometric series gives
These probabilities satisfy detailed balance , including the boundary balance with the holding probability. Thus they do define a stationary distribution. Irreducibility then gives its uniqueness.

Articles by others on the same topic (0)

There are currently no matching articles.