15
$\begingroup$

I have a sequence $\{X_n\}$ of random variables supported on the real line, as well as a normally distributed random variable $X$ (whose mean and variance are known but irrelevant). I know that the moments of the $X_n$ converge to the corresponding moment of $X$, that is, for every $k\ge1$, $$ \lim_{n\to\infty} \mu_k'(X_n) = \mu_k(X). $$ I need to conclude that the $X_n$ converge to $X$ in distribution.

I believe that this is a standard fact in probability, and I would like an excellent source (including a clear statement and proof) for this fact, to cite in a paper I'm writing. (The application is to number theory, which is why I added the probabilistic-number-theory tag.) I also believe that this conclusion holds for many, but not all, random variables $X$ and not just a normally distributed one; I'd be happy for a general statement or one that applies only to a normal variable.

Nominations for a good citing source, anyone?

$\endgroup$
6

2 Answers 2

15
$\begingroup$

It is theorem 30.2 in Billingsley's Probability and Measure (I own a second Polish edition, so numbering may differ a little).

It's quite easy to prove it, once you estabilish Prokhorov's theorem; namely use boundedness of some moments to conclude that your sequence of distributions is tight and then it suffices to convey everyone that every convergent subsequence of $(X_n)$ converges to $X$ (because convergence in distribution is metrizable), which is easy, because the limit is characterized by its moments. Before that, one needs a lemma stating that convergence in distribution combined with convergence of moments implies that moments converge to the moments of the limit.

$\endgroup$
4
  • 1
    $\begingroup$ The English editions only have 24 chapters, so I'm not sure what result this is. It seems to me that the difficult part is showing that the limit is characterised by its moments (which is false for certain distributions). $\endgroup$
    – Ian Morris
    Jul 26, 2012 at 10:53
  • 1
    $\begingroup$ @Ian: The English edition I own (third edition, 1995) has 38 sections grouped into 7 chapters. The theorem Mateusz refers to is also Theorem 30.2 on p. 390 of my copy. $\endgroup$ Jul 26, 2012 at 13:37
  • 1
    $\begingroup$ @Ian: it is an assumption of this theorem that distribution of limit is characterized by its moments. Without this, it is clearly false, because we can take two random variables $X$ and $Y$ which have different distributions and equal moments, and then just take $X_{n} \equiv Y$. $\endgroup$ Jul 26, 2012 at 14:57
  • $\begingroup$ Oops, I was looking at the wrong book by Billingsley! The result required to show that the normal distribution is characterised by its moments is also in the book Mateusz suggests, as Theorem 30.1. $\endgroup$
    – Ian Morris
    Jul 26, 2012 at 15:04
6
$\begingroup$

This is a famous problem known as the Hamburger moment problem. It is possible though to get the same result for the normal distribution with a much smaller number of assumptions than requiring convergence for all moments with $k\geq1$.

$\endgroup$
0

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.