2
$\begingroup$

Let $(X_n)_n$ and $(Y_n)_n$ be infinite sequences of (possibly dependent) random variables in $\mathbb{R}_+$ and $f_n:\mathbb{R}_+^{2n}\to \mathbb{R}_+$. The sequences $(X_n)_n$ and $(Y_n)_n$ may be also dependent of each other. Assume also that each $X_n$ can take a finite number of values. Is the inequality $$ \liminf_{n\to\infty} \mathbb{E} \left[ f_n(X_1,\ldots,X_n, Y_1,\ldots,Y_n) \right] \ge \mathbb{E}_{X} \left[ \liminf_{N\to\infty} \mathbb{E}_{Y} \left[ f_n(X_1,\ldots,X_n, Y_1,\ldots,Y_n) \right]\right] $$ true where $\mathbb{E}_{X}$ and $\mathbb{E}_{Y}$ denote expectation with respect to $(X_n)_n$ and $(Y_n)_n$?

It sounds like Fatou's lemma. But I'm not sure that it can be applied if the sequences are dependent.

UPDATE. The inequality above perhaps should be written rigorously. An attempt: $$ \liminf_{n\to\infty} \mathbb{E} \left[ f_n(X_1,\ldots,X_n, Y_1,\ldots,Y_n) \right] = \liminf_{n\to\infty} \mathbb{E} \left[ \mathbb{E} [f_n(X_1,\ldots,X_n, Y_1,\ldots,Y_n) |(X_n)_n] \right] \ge \mathbb{E} \left[ \liminf_{N\to\infty} \mathbb{E} \left[ f_n(X_1,\ldots,X_n, Y_1,\ldots,Y_n) | (X_n)_n \right]\right] $$ This should be a direct application of Fatou's lemma but I am not sure. I'm not an expert of conditional expectations.

1 Answers 1

0

In your case you have to make sure that the random variables $\mathbb{E} [f_n(X_1,\ldots,X_n, Y_1,\ldots,Y_n) |(X_n)_n]$ are bounded from below, for all $n\in\mathbb{N}$, by a random varibale $\eta$ for which $\mathbb{E}[\eta]>-\infty$ but this already follows since $f$ is a positive function and thus the conditional expectations are positive random variables (you can take $\eta=0$). Hence you can apply Fatou .. and you obtain your inequality.

  • 0
    Thank you. Written as above, the inequality looks a little bit abstract (as the underlying probability space) and I don't see very well the application of Fatou's lemma. Would it be possible to write the outer expectation with an integral (or sum) so that I possibly see its application in more familiar terms? – 2017-02-13
  • 1
    @user52227 Fatou's lemma states that if you have a sequence of random variabels $(Z_n)_{n\in\mathbb{N}}$ that is bounded from below, i.e. $Z_n\geq \eta$ $\forall n\in\mathbb{N}$ by some $\eta$ with $\mathbb{E}[\eta]>-\infty$ you have $$\mathbb{E}[\liminf_{n\rightarrow infty} Z_n]\leq \liminf_{n\rightarrow\infty} \mathbb{E}[Z_n].$$ in your case $Z_n=\mathbb{E}[f(X_1,\dots,X_n,Y_1,\dots,Y_n)\vert (X_n)_n]\geq0$. – 2017-02-13