Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Suppose real value random variables satisfy $X_{n} \Rightarrow X$ (convergence in distribution) as $n\to \infty$ in the same probability space $(\Omega, \mathcal F, \mathbb P)$. It is well known that $\lim_{n\to \infty} \mathbb E f(X_{n}) = \mathbb E f(X)$ for all continuous bounded real functions $f:\mathbb R \to \mathbb R$.

[Q.] If $f$ is continuous and linear growth, i.e. $|f(x)| < K(1 + |x|)$ for some constant $K$, can you find counter-example for $\lim_{n\to \infty} \mathbb E f(X_{n}) = \mathbb E f(X)$? What additional conditions are needed to still have $\lim_{n\to \infty} \mathbb E f(X_{n}) = \mathbb E f(X)$?

share|improve this question
    
I think if you have convergence to a finite value for $f(x):=|x|$, that is, convergence of the absolute moments $\mathbb E |X_{n}| \to \mathbb E |X| < +\infty$, then you have it for all your $f$ . –  Pietro Majer Oct 4 '12 at 6:43
add comment

2 Answers 2

Since $f(X_{n}) \Rightarrow f(X)$ as long as $f$ is continuous, by redefining $X_{n}:= f(X_{n})$, it is equivalent to ask following question:

[Q1.] If $X_{n}\Rightarrow X$, then what additional condition is needed to have $\lim_{n\to\infty}\mathbb E[X_{n}] = \mathbb E[X]$?

[Ex.] Let $X_{n}: [0,1] \mapsto \mathbb R$ be given by $X_{n} (\omega) = n I_{(0,1/n)}(\omega)$ and $\mathbb P$ be Lesbegue meaure. Then, $X_{n} \Rightarrow X:=0$, since it is indeed almost sure convergence. However, it violates $\lim_{n\to\infty}\mathbb E[X_{n}] = \mathbb E[X]$.

So one immediate sufficient condition needed to have $\lim_{n\to\infty}\mathbb E[X_{n}] = \mathbb E[X]$ is that,

$X_{n} \to X$ almost surely, and satisfies other conditions of Dominated (or Monotone) Convergence Theorem.

share|improve this answer
add comment

$\lim_{n \rightarrow \infty}\mathbb{E}[f(X_n)] = \mathbb{E}[f(X)]$ for all continuous $f$ of linear growth if and only if $X_n \Rightarrow X$ and $\lim_{n \rightarrow \infty}\mathbb{E}[|X_n|] = \mathbb{E}[|X|]$. This is exactly convergence in (first order) Wasserstein distance.

share|improve this answer
    
thanks for your answer –  kenneth Oct 4 '12 at 14:45
1  
And it is worth mentioning that compactness in Wasserstein distance is better known as uniform integrability: en.wikipedia.org/wiki/Uniform_integrability –  Alexander Shamov Oct 4 '12 at 16:39
    
thanks, Alexander –  kenneth Oct 6 '12 at 6:56
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

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