Let us consider a real-valued r.v. $X$ such that $\mathsf E X > 0$ and $X>x_0$ a.s. Denote $$ g(x,y) = \frac{x}{y(y+x)}. $$ It is right that for any $X$ there exists $y_0>-x_0$ such that for all $y>y_0$ one have $\mathsf E g(X,y)>0$?
Estimation of an expectation
3
$\begingroup$
probability
-
0Here is a more elegant formulation of the question. Suppose that $X$ is a random variable such that ${\rm E}(X) > 0$ and $X > x_0$ a.s., $x_0 < 0$ fixed. Is it true that $$ {\rm E}\bigg[\frac{1}{{y + X}}\bigg] < \frac{1}{y} $$ for all sufficiently large $y$? – 2011-06-20
-
0I think it follows from the fact that $$\mathsf E g(X,y) = \frac{1}{y} - \mathsf E\left[\frac{1}{y+X}\right]$$. Thanks anyway. – 2011-06-21
-
0You are right - good observation. – 2011-06-21
-
0@Shai: it was in fact the first formulation of the problem but I posted here the one with a function $g$ since it seemed to me be more convenient to deal with. – 2011-06-21
-
0Thanks for noting this. (I deleted my second comment.) – 2011-06-21
1 Answers
2
For every $x$ and $z$ such that $1+zx$ is positive, let $h(x,z)=x/(1+zx)$. For every positive $z$ such that $z\le1/(2|x_0|)$, one has $1+zx_0\ge\frac12$, hence $|h(X,z)|\le2|X|$. Furthermore, $h(X,z)\to X$ when $z\to0^+$. By Lebesgue dominated convergence theorem, $E(h(X,z))\to E(X)$ when $z\to 0^+$.
Since $E(X)$ is positive, this implies that there exists a positive $z_0$ such that for every $z$ in $(0,z_0)$, $E(h(X,z))\ge E(X)-\frac12E(X)$ hence $E(h(X,z))$ is positive.
Note finally that $g(x,y)=h(x,1/y)/y^2$ hence for every positive $y$, $E(g(X,y))$ is positive if and only if $E(h(X,1/y))$ is. This happens at least for every $y\ge1/z_0$.
-
0Thank you, that was helpful for the question of bounds for submartingales. – 2011-06-20