The independent identically distributed central limit theorem states that for independent identically distributed random variables with finite mean and positive finite variance ,
For , continuity, strict monotonicity and the endpoint limits of the cumulative distribution function give a unique . Then . Thus has the uniform distribution on , by the probability integral transform.
For , when , and it is zero otherwise. Therefore its probability density function is : the exponential distribution of rate one. By integration by parts, and , so .
The variables are independent because they are separate measurable functions of independent random variables. The probability integral transform makes all of them identically distributed as , even though the need not be identically distributed. The displayed is exactly . The central limit theorem therefore gives
A Poisson process of rate is a counting process starting at zero, with independent stationary increments, such that an increment over an interval of length has the Poisson distribution of parameter . It has right-continuous paths with unit jumps almost surely.
Independence of the two processes makes increments of independent on disjoint intervals. The sum of independent Poisson random variables with parameters and is Poisson with parameter , as follows by convolution:
Thus is a Poisson process of rate . Its first red and green waiting times are independent exponential random variables of rates , so
The state-zero stationary distribution equation is , so . The state-one equation is , giving . More generally, the stationary probability flow across the cut is balanced, so . This also follows inductively from .
Hence . Since , the geometric series is summable, and normalization gives
These probabilities satisfy detailed balance and therefore all the stationarity equations. The Markov chain is an irreducible Markov chain, so this normalized stationary distribution is unique.

Articles by others on the same topic (0)

There are currently no matching articles.