Problems
[56/100%]A die is thrown ten times. What is the probability that the sum of the scores is 27?
A coin is tossed repeatedly, heads appearing with probability on each toss.
Let be the number of tosses until the first occasion by which three heads have appeared successively. Write down a difference equation for and solve it. Now write down an equation for using conditional expectation. (Try the same thing for the first occurrence of HTH).
Let be the number of heads in tosses of the coin. Write down . Hence find the probability that: (i) is divisible by , (ii) is divisible by 3.
A coin is tossed repeatedly, heads occurring on each toss with probability . Find the probability generating function of the number of tosses before a run of heads has appeared for the first time.
Find the generating function of the negative binomial mass function
where and is a positive integer. Deduce the mean and variance.
For the simple random walk, show that the probability that the particle returns to the origin at the th step satisfies , and use this to prove that the walk is recurrent if and only if . You will need Stirling's formula: .
A symmetric random walk in two dimensions is defined to be a sequence of points which evolves in the following way: if then is one of the four points , each being picked with equal probability . If :
show that ,
find the probability that the particle is at the origin after the th step, and deduce that the probability of ever returning to the origin is 1.
Consider the one-dimensional random walk given by
where .
What is the probability of ever reaching the origin starting from where ?
Let be the mean number of points in that the walk never visits. Find the limit when , and verify for that .
Let and be independent variables taking values in the positive integers such that
for some and all . Show that and have Poisson distributions.
In a branching process whose family sizes have mean and variance , find the variance of , the size of the th generation, given that .
A group of people play the following game. and wager on the toss of a fair coin. The loser puts in the pool, the winner goes on to play . In the next wager, the loser puts in the pool, the winner goes on to play , and so on. The winner of the th wager goes on to play , and the cycle recommences. The first person to beat all the others in sequence takes the pool.
Find the probability generating function of the duration of the game.
Find an expression for the probability that wins.
Find an expression for the expected size of the pool at the end of the game, given that wins.
Find an expression for the probability that the pool is intact after the th spin of the coin.
This problem was discussed by Montmort, Bernoulli, de Moivre, Laplace, and others.
A branching process has a single progenitor.
Show that the generating function of the total number of individuals in the first generations satisfies .
Let be the total number of individuals who ever exist, with . Show, for , that . Writing for the mean of the family-size distribution, and for its variance, show that:
(i) ,
(ii) ,
(iii) .
Find when where . Discuss the properties of in the two cases and .
Let be as in part (c), and write for appropriate polynomials . Show that satisfies , with and . Deduce the form of .
Show that the number of individuals in the th generation of a branching process satisfies for .
A hen lays eggs where is Poisson with parameter . The weight of the th egg is , where are independent identically distributed variables with common probability generating function . Show that the generating function of the total weight is given by . The quantity is said to have a compound Poisson distribution. Show further that, for any positive integral value of is the probability generating function of some random variable; (or its distribution) is said to be infinitely divisible in this regard.
Show that if is the probability generating function of some infinitely divisible distribution on the non-negative integers then for some and some probability generating function .
Can the compound Poisson distribution of in part (a) be a Poisson distribution for any choice of ?
The distribution of a random variable is called infinitely divisible if, for all positive integers , there exists a sequence of independent identically distributed random variables such that and have the same distribution.
Show that the normal, Poisson, and gamma distributions are infinitely divisible.
Show that the characteristic function of an infinitely divisible distribution has no real zeros, in that for all real .
Let be independent variables each taking the values 0 or 1 with probabilities and , where . Let be a random variable taking values in the positive integers, independent of the , and write . Write down the conditional generating function of given that , in terms of the probability generating function of . Show that has a Poisson distribution if and only if for all and .
If and have joint probability generating function
find the marginal mass functions of and , and the mass function of . Find also the conditional probability generating function of given that . The pair is said to have the bivariate negative binomial distribution.
If and have joint probability generating function
find the marginal distributions of , and the distribution of , showing that and have the Poisson distribution, but that does not unless .
Define
for . Show that
,
,
.
If has density function for , then
If has density function for , then has moment generating function given by . [Note that for .]
Let be independent variables. Use characteristic functions and moment generating functions (Laplace transforms) to find the distributions of
,
,
.
Let have density function and characteristic function , and suppose that . Deduce that
Consider a branching process whose family sizes have the geometric mass function , where . Let be the size of the th generation, and assume . Show that the conditional distribution of , given that , converges as to the exponential distribution with parameter .
A random variable is called symmetric if and are identically distributed. Show that is symmetric if and only if the imaginary part of its characteristic function is identically zero.
Let and be independent identically distributed variables with means 0 and variances 1. Let be their common characteristic function.
Suppose that and are independent. Show that , and deduce that and are variables.
More generally, suppose that and are independent and identically distributed with means 0 and variances 1, and furthermore that and . Deduce that , and hence that and are independent variables.
Show that the average of independent Cauchy variables has the Cauchy distribution too.
Why does this not violate the law of large numbers?
Let and be independent random variables each having the Cauchy density function , and let .
Show by using characteristic functions that has the Cauchy distribution also.
Show by the convolution formula that has the Cauchy density function. You may find it helpful to check first that
where .
Let be independent variables with characteristic functions . Describe random variables which have the following characteristic functions:
,
where and ,
,
.
Find the characteristic functions corresponding to the following density functions on :
(i)
(ii) ,
(iii) ,
(iv) .
Show that the mean of the 'extreme-value distribution' in part (iii) is Euler's constant .
Characteristic functions coincident on an interval. Write down the density function with characteristic function for . Show that the periodic function with period given by for , is the characteristic function of the discrete random variable with mass function
Which of the following are characteristic functions:
if otherwise,
,
,
,
.
Show that the characteristic function of a random variable satisfies .
Suppose and have joint characteristic function . Show that, subject to the appropriate conditions of differentiability,
for any positive integers and .
If has distribution function and characteristic function , show that for
Let be independent variables which are uniformly distributed on [0,1]. Let and show that where is exponentially distributed with parameter 1. You need not use characteristic functions.
If is either
Poisson with parameter , or
, show that the distribution of approaches the distribution as .
Show that
Recall that you regularly buy quantities of some ineffably dull commodity. To attract your attention, the manufacturers add to each packet a small object which is also dull, and in addition useless, but there are different types. Assume that each packet is equally likely to contain any one of the different types, as usual. Let be the number of packets bought before you acquire a complete set of objects. Show that , where is a random variable with distribution function .
Find a sequence of characteristic functions with the property that the limit given by exists for all , but such that is not itself a characteristic function.
Use generating functions to show that it is not possible to load two dice in such a way that the sum of the values which they show is equally likely to take any value between 2 and 12. Compare with your method for Problem (2.7.12).
Sicherman dice. Show that it is possible to number the faces of two fair dice, in a different manner from two standard dice, such that the sum of the scores when rolled has the same distribution as the sum of the scores of two standard dice.
A biased coin is tossed times, where is a random variable which is Poisson distributed with parameter .
Prove that the total number of heads shown is independent of the total number of tails.
Show conversely that if the numbers of heads and tails are independent, then has the Poisson distribution.
A binary tree is a tree (as in the section on branching processes) in which each node has exactly two descendants. Suppose that each node of the tree is coloured black with probability , and white otherwise, independently of all other nodes. For any path containing nodes beginning at the root of the tree, let be the number of black nodes in , and let be the number of such paths for which . Show that there exists such that
and show how to determine the value . Prove that
Use the continuity theorem (5.9.5) to show that, as ,
if is then the distribution of converges to a Poisson distribution,
if is geometric with parameter then the distribution of converges to an exponential distribution.
Let be independent random variables with zero means and such that for all . Show that satisfies as if
The following steps may be useful. Let , and and be the characteristic functions of and respectively.
(i) Use Taylor’s theorem to show that and for .
(ii) Show that if , where the logarithm has its principal value.
(iii) Show that , and deduce from the hypothesis that as , implying that .
(iv) Deduce an upper bound for , and sum to obtain that .
Let be independent variables each taking values or with probabilities and . Show that
Let be independent random variables. Define and . Find the joint characteristic function of , and hence prove that and are independent.
Let be , and let is said to have the log-normal distribution. Show that the density function of is
For , define . Show that is a density function with finite moments of all (positive) orders, none of which depends on the value of . The family contains density functions which are not specified by their moments.
Consider a random walk whose steps are independent and identically distributed integer-valued random variables with non-zero mean. Prove that the walk is transient.
Let be the integer-valued identically distributed intervals between the times of a recurrent event process. Let be the earliest time by which there has been an interval of length containing no occurrence time. Show that, for integral ,
A biased coin shows heads with probability . It is flipped repeatedly until the first time by which it has shown consecutive heads. Let . Show that , and deduce that
In flips of a biased coin which shows heads with probability , let be the length of the longest run of heads. Show that, for ,
The random process decays geometrically fast in that, in the absence of external input, . However, at any time the process is also increased by with probability , where is a sequence of independent exponential random variables with parameter . Find the limiting distribution of as .
Let where . Show that , and evaluate this when is
Poisson with parameter ,
geometric with parameter ,
binomial bin ,
logarithmic with parameter (see Exercise (5.2.3)).
Is there a non-trivial choice for the distribution of such that ?
Find the density function of , where are independent and exponentially distributed with parameter , and is geometric with parameter and independent of the .
Let have finite non-zero variance and characteristic function . Show that
is a characteristic function, and find the corresponding distribution.
Let and have joint density function
Show that , and that and are dependent. Find the probability density function of .
Let be independent and uniformly distributed on , and let where for . Show that , and deduce that the Laplace transform is given by for . Hence prove that
Let be a partial sum of a sequence of independent random variables with the uniform distribution on . For , let denote the nearest integer to , and write .
Show that is uniformly distributed on .
Show that
where is the density function of the sum of independent random variables with the uniform distribution on .
Find a similar expression for .
Let be the velocity in of a molecule of a perfect gas, and assume that in any Cartesian coordinate system the coordinates of are independent random variables with mean 0 and finite variance . Show that the are independent with the distribution. When , show that has the Maxwell density for .
A physicist assumes that, initially, is equally likely to be anywhere in the region between two parallel planes with distance 1 apart, independently of its velocity. Assuming , show that the probability that is in at time is
Deduce that the density function of the time at which exits is
Let be independent random variables with a joint distribution with circular symmetry about 0 in the -plane, and with finite variances. Show that the distribution of does not depend on the value of .
With the usual notation for characteristic functions, show that:
,
,
for some continuous real-valued function ,
and are for some .