Given a random variable $X=(X_1,...,X_p)$ with $P(X \in M) = 1$ for compact $M$, do the values of $E[X_1]$, $E[X_2], ..., E[X_1^2], E[X_1 X_2],..., E[X_1^3],...,E[X_1 X_2 X_3]... $ determine the distribution $F(x)=P(X_1 \leq x_1 \wedge \dots\wedge X_p \leq x_p)$ uniquely?
Do the moments characterize a distribution with compact support?
7
$\begingroup$
probability
moment-problem
-
0For a general setting, you may want to search for "Hamburger moment problem" for $M$ noncompact. Like https://en.wikipedia.org/wiki/Hamburger_moment_problem – 2015-09-18
1 Answers
9
The answer is "yes".
Every probability distribution $\mu$ on $M$ is characterized by integration against continuous functions, that is, if $\int_M f(x)\, \mu(dx)= \int_M f(x)\, \nu(dx)$ for all continuous $f$, then $\mu=\nu$.
Now the Stone-Weierstrass theorem says that any continuous $f$ on $M$ can be approximated uniformly by polynomials. Therefore if $\int_M p(x)\, \mu(dx)= \int_M p(x)\, \nu(dx)$ for all polynomials $p$, then $\mu=\nu$.