Infinitely Divisible Distributions*
[15/27%]Show that implies . Thus in vague convergence mass can "escape to infinity" but mass cannot "enter from infinity."
Show that if and only if (28.2) holds for every continuous with bounded support.
Show that if but (28.1) does not hold, then there is a continuous vanishing at for which (28.2) does not hold.
Suppose that are independent, the have a common distribution function , and has the Poisson distribution with mean . Then has the compound Poisson distribution.
Show that the distribution of is infinitely divisible. Note that may not have a mean.
The distribution function of is , where is the -fold convolution of (a unit jump at 0 for ). The characteristic function of is .
Show that, if has mean 0 and finite variance, then the canonical measure in (28.6) is specified by .
Let be a finite measure, and define
where the integrand is at the origin. Show that this is the characteristic function of an infinitely divisible distribution.
Show that the Cauchy distribution (see the table on p. 348) is the case where and has density with respect to Lebesgue measure.
Show that the Cauchy, exponential, and gamma (see (20.47)) distributions are infinitely divisible.
Find the canonical representation (28.6) of the exponential distribution with mean 1:
The characteristic function is .
Show that (use the principal branch of the logarithm or else operate formally for the moment) . Integrate with respect to to obtain
Verify (28.13) after the fact by showing that the ratio of the two sides has derivative 0.
Multiply (28.13) by to center the exponential distribution at its mean: The canonical measure has density over .
If and are independent and each has the exponential density , then has the double exponential density (see the table on p. 348). Show that its characteristic function is
Suppose are independent and each has the double exponential density. Show that converges with probability 1. Show that the distribution of the sum is infinitely divisible and that its canonical measure has density .
Show that for the gamma density the canonical measure has density over .
The remaining problems require the notion of a stable law. A distribution function is stable if for each there exist constants and , such that, if are independent and have distribution function , then also has distribution function .
Suppose that for all there exist (here are all positive) such that . Show that is stable.
Show that a stable law is infinitely divisible.
Show that the Poisson law, although infinitely divisible, is not stable.
Show that the normal and Cauchy laws are stable.
Suppose that has mean 0 and variance 1 and that the dependence of on is such that
Show that is the standard normal distribution.
Let be independent random variables having the Poisson distribution with mean , where and . Let (omit in the sum), and show that if is properly chosen then the characteristic function of converges to .
Show for that is the characteristic function of a symmetric stable distribution; it is called the symmetric stable law of exponent . The case is the normal law, and is the Cauchy law.