The joint density of is for positive . Inverting the transformation gives , , with absolute Jacobian determinant and domain , . The change of variables for probability densities givesThe joint density factors into the gamma density of and the uniform density of on , so these two transformed variables are independent.
Part (b) gives , so and . Independence yields and . Apply part (a) to :This is a direct Chebyshev inequality for the sample mean.
For , the identity matrix gives the assertion. Suppose it holds at . Conditioning on the state at time and using the Markov property givesThe nonnegative countable sum is justified by the law of total probability. Induction proves the -step transition matrix is .
Let . Conditioning on the previous state gives , with . Its fixed point is ; subtracting it leaves a geometric recursion. Therefore
After the first step, a chain starting at one enters the closed class with probability , starting at two, or enters with probability and can never reach three. Within the first class, the probability of going from its first state to its second in steps is the complement of the formula in part (b). ThusAt this correctly gives zero.
The total eventual mass of the closed class is . The other closed class cannot contribute to state five. Since , the two-state chain within the last class converges to its stationary distribution, with state-five mass . Therefore
The iid central limit theorem states that if are independent and identically distributed with finite mean and variance , thenEquivalently, its cumulative distribution functions converge at every real argument to the standard normal cumulative distribution function.
The joint density of is . The polar-coordinate Jacobian is , soIntegration over the angular coordinate gives for and zero otherwise. Thus has the Rayleigh distribution, while is uniform and independent of .
For , . Differentiation givesThis is an exponential distribution of rate , with mean two and variance four.
The independent variables have mean two and variance four by part (b). Their standardization isThe central limit theorem therefore proves the claimed convergence to the standard normal law, whose continuous cumulative distribution function is at every real .
Articles by others on the same topic
There are currently no matching articles.