1
$\begingroup$

Suppose we have non-negative random variables: $X_n$ ($n\in\mathbb N$). For fixed $0<\alpha<\beta$ constants, we know that $$\lim_{n\to\infty}\mathbb EX_n^\alpha=\lim_{n\to\infty}\mathbb EX_n^\beta=c<\infty$$ Does this mean convergence in probability: $X_n\rightarrow c$?

Using Markov's inequality, convergence in probability follows:

$$\mathbb P(|X_n-c|>\epsilon) \le \frac{\mathbb E|X_n-c|}{\epsilon}$$ So I need $\lim_{n\to\infty}\mathbb E|X_n-c|=0$ given the assumptions. I am a bit stuck on that, could you give me a hint?

$\endgroup$
1
  • $\begingroup$ No. Try $\alpha=1$, $\beta=2$, $P(X_n=1/2)=8/9$, $P(X_n=2)=1/9$ and $c=2/3$. $\endgroup$
    – Did
    Commented Feb 28, 2016 at 10:47

1 Answer 1

4
$\begingroup$

No, just consider e.g. a Bernoulli-distributed random variable (i.e. $\mathbb{P}(X=1) = \mathbb{P}(X= 0) = \frac{1}{2}$) and define

$$X_n := X \qquad \text{for all $n \in \mathbb{N}$.}$$ Then $(X_n)_{n \in \mathbb{N}}$ is a sequence of identically distributed non-negative random variables, and therefore

$$\mathbb{E}(X_n^{\alpha}) \quad \text{and} \quad \mathbb{E}(X_n^{\beta})$$

do not depend on $n$ for any $\alpha,\beta$. Since

$$\mathbb{E}(X) = \mathbb{E}(X^2) = c :=\frac{1}{2}$$ the assumption $$\lim_{n \to \infty} \mathbb{E}(X_n) = \lim_{n \to \infty} \mathbb{E}(X_n^2)$$ is satisfied. On the other hand, as

$$\mathbb{P}\left( \left|X_n-\frac{1}{2} \right| \geq \frac{1}{4} \right)= \mathbb{P}\left( \left|X-\frac{1}{2} \right| \geq \frac{1}{4} \right)=1$$

for all $n \in \mathbb{N}$, we find that $X_n$ does not converge in probability to $c=\frac{1}{2}$.

$\endgroup$
7
  • $\begingroup$ And what if $c=1$? $\endgroup$ Commented Feb 28, 2016 at 11:01
  • $\begingroup$ @HodossySzabolcs What do you mean? Whether the claim holds true if we assume additionally that $c=1$....? $\endgroup$
    – saz
    Commented Feb 28, 2016 at 11:02
  • $\begingroup$ Nice answer, +1! $\endgroup$
    – Jimmy R.
    Commented Feb 28, 2016 at 11:04
  • $\begingroup$ If $c=1$, and you modify your counterexmaple as $\bar X_{2n}=2*X_{2n}$, then $\mathbb E(\bar X_n^\alpha) \ne \mathbb E(\bar X_n^\beta)$ for any $\alpha,\beta$. So if you want the assumptions to hold, you must construct a random variable $Y_n$ taking values from $S=\{0,1\}$ and with $\mathbb E(Y_n) = 1$, which is only the constant 1. $\endgroup$ Commented Feb 28, 2016 at 11:13
  • 1
    $\begingroup$ @HodossySzabolcs Well, no.... that this particular counterexample doesn't work anymore, does not mean that the assertion holds true. $\endgroup$
    – saz
    Commented Feb 28, 2016 at 11:59

You must log in to answer this question.

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