I am encountering the following problem concerning existence of a limiting random variable (in distribution): assume a sequence of positive random variables $\{X\_n\}\_{n\geq 0}$ from which we know their moments ($\mathbb{E}[X\_n^s]$), and also the limit of these moments (which we denote by $\{m\_s\}\_{\geq 0}$). Let me say that all these limits are finite numbers (no divergence). 


We know that this sequence satisfies Carleman's criterion (namely, $\sum\_{s\geq 0} m\_s^{-1/(2s)}$ diverges), but the thing that we do NOT know in general is if this sequence defines a proper random variable $X$.


Is it clear that if this sequence satisfies the conditions of the Stieltjes moment problem (see [here](https://en.wikipedia.org/wiki/Stieltjes_moment_problem)) then this sequence $\{X\_n\}\_{n\geq 0}$ converges to the corresponding random variable $X$ defined by the sequence $\{m\_s\}\_{\geq 0}$, and by Carleman's criterion $X$ is uniquely determined. In particular the sequence $X\_n$ tends in distribution to $X$.


My question now is the following: it is possible that the sequence $\{m\_s\}\_{s\geq 0}$ does NOT define a random variable (namely, Stieltjes condition is NOT satisfied) but nevertheless there is convergence in distribution of my sequence to a certain random variable $X$? 


In our particular case, we would like to prove that there is NOT convergence in distribution towards a Poisson (this is a very specific problem on random graphs), but we do not know to justify the last step (as in general, it is possible that there is not convergence of moments, but convergence in distribution could be true).


Thanks!



moment sequence which does not define a random variable vs convergence in distribution
$\newcommand{\bE}{\mathbb{E}}$ As Christian Remling pointed out in his comment, the Stiltjes condition is preserved under limits. Hence there will always exist a at least one positive measure finite measure $\mu$ on $[0,\infty)$ such that


$$ m\_s=\int\_0^\infty x^s \mu(dx),\;\;\forall s=0,1,2,\dotsc. $$


The measure $\mu$ is a probability measure iff $m\_0=1$. If the sequence $(m\_s)\_{s\geq 1}$ satisfies the Carleman condition, then there exists exactly one measure with these moments. If you have a sequence of nonnegative random variables $(X\_n)$ such that


$$\lim\_{n\to\infty}\bE\bigl[ \, X\_n^s\,\bigr]=m\_s,\;\; s=1,2,\dotsc, $$


and the sequence $(m\_s)$ satisfies the Carleman condition, then the sequence $X\_n)$ converges in law to a random variable with moments $(m\_s)$.


However, if the nunmbers $m\_s$ grow too fast,


$$ m\_s\geq (s m\_{s-1})^s,\;\;\forall s=1,2,\dotsc, $$


then there exist at least two measures $\mu\_1,\mu\_2$ on $[0,\infty)$ with moments $m\_s$; see Sec. III.16 of Widder's book on Laplace transform. If we consider the probability measure $\mu\_1\otimes \mu\_2$ on $[0,\infty)^2$ and the random variables


$$X\_n:[0,\infty)^2 \to[0,\infty),\;\;X\_n(x\_1,x\_2) =\begin{cases} x\_1, & n \equiv 1\bmod 2,\\
x\_2, &n\equiv 0\bmod 2,
\end{cases}
$$


then 


$$\bE\bigl[\, X\_n^s\,\bigr]=m\_s,\;\;\forall s,\;\;\forall n, $$


yet the sequence $(X\_n)$ is not convergent in distribution.


In general, if you have a sequence of (nonnegative) random variables $(X\_n)$ such that for any $s=1,2,\dotsc$ the sequence $\bE[X\_n^s]$ is convergent, then the sequence $(X\_n)$ contains a subsequence that is convergent in distribution. 


