3
$\begingroup$

I am trying to solve this exercise in Probability Theory by A. Klenke (3rd version) by applying the continuous mapping theorem or the portemanteau theorem but with no results:

Let $X,X_1,X_2,...$ be real random variables with $X_n$ converging in distribution to $X$. Show that $E(|X|)\leq \liminf_{n\to \infty} E(|X_n|)$.

In order to apply the continuous mapping theorem I think I need to know if $P_X({0})=0$, as it requires, as a premise, that the set of points of discontinuity has measure zero. But I don't know anything about it.

Any suggestions?

Thank you.

$\endgroup$
3
  • $\begingroup$ Fatou's Lemma and Skhorohod Theorem give the answer immediately. $\endgroup$ Commented Nov 12, 2022 at 11:24
  • $\begingroup$ Could you articulate a little bit more? For the application of the Fatou's lemma I don't know if $X_n>X$ a.e. This premise is requested in the lemma, as I learnt it. Thanks. $\endgroup$
    – Enrico
    Commented Nov 12, 2022 at 12:04
  • $\begingroup$ See: en.wikipedia.org/wiki/Skorokhod%27s_representation_theorem $\endgroup$ Commented Nov 12, 2022 at 12:06

1 Answer 1

4
$\begingroup$

For a fixed $M>0$, let $\varphi_M$ be the function defined by $$\varphi_M(x)=\begin{cases}-M&\mbox{ if }x\leqslant -M\\ x&\mbox{ if }-M<x\leqslant M\\ M&\mbox{ if } x>M\end{cases}.$$ Since $x\mapsto\varphi_M(\lvert x\rvert)$ is continuous and bounded, it follows that for each fixed $M$, $$ \mathbb E\left[\varphi_M\left(\lvert X\rvert\right)\right]=\lim_{n\to\infty} \mathbb E\left[\varphi_M\left(\lvert X_n\rvert\right)\right]=\liminf_{n\to\infty} \mathbb E\left[\varphi_M\left(\lvert X_n\rvert\right)\right]. $$ Moreover, since $\varphi_M(\lvert x\rvert)\leqslant \lvert x\rvert$, we get that $$ \mathbb E\left[\varphi_M\left(\lvert X\rvert\right)\right]\leqslant \liminf_{n\to\infty} \mathbb E\left[ \lvert X_n\rvert \right]. $$ We conclude by monotone convergence, letting $M\to\infty$.

$\endgroup$
1
  • 1
    $\begingroup$ Thank you! I didn't think about using a bounded function that mimics the absolute value at the limit. I've learned a new technique, as I am new to these topics. $\endgroup$
    – Enrico
    Commented Nov 12, 2022 at 11:50

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .