I Validity of replacing X by E[X] in a formula

[andrewkirk]

Hello all. I am working on proving some theorems about Monte Carlo simulation and have proven a theorem that, in a certain formula, it is valid to replace a random variable in the denominator of a fraction by its expected value. I have been wondering whether this result can be generalised to obtain wider application.

A nice generalisation of the theorem would be as follows:

If $(U_k)_{k\in \mathbb N}$ and $(V_k)_{k\in \mathbb N}$ are sequences of random variables, not necessarily independent, and $\lim_{k\to\infty}\frac{\sqrt{\mathrm{Var}(V_k)}}{E[V_k]}=0$, then
$$\lim_{k\to\infty}E\left[\frac{U_k}{V_k}\right]=\lim_{k\to\infty}\frac{E\left[U_k\right]}{E\left[V_k\right]}$$
provided the limit on the RHS exists. ($k$ is the number of Monte Carlo trials)

Before setting out to try to work out whether this is correct and, if so, to prove it, I'd like to first check if anybody knows of any similar results from analysis or probability theory. While it would be fun to prove it from scratch, it's a bit peripheral to what I'm doing so, if there's a known result that validates it, it would be better to just use that.

There may be some additional premises needed in order to make it work.

Thank you in advance for any suggestions.

 

[mathman]

When A and B are independent, E(A/B)=E(A)E(1/B). In general E(1/B)≠1/E(B).

 

[andrewkirk]

When A and B are independent, E(A/B)=E(A)E(1/B). In general E(1/B)≠1/E(B).

Yes, that's part of the process I went through. A very simple example is when B has value 1 or 2, each with probability 50%. Then E[1/B]=3/4 and 1/E[ B ]=2/3. However, under certain constraints like those above (and maybe a few more - part of the problem is to work out which ones) that inequality can become an equality in the limit as $k\to\infty$. In general, the numerator and denominator will not be independent, so we can't necessarily factor the expectation.

 

[mathman]

The condition \frac{\sigma (V_k)}{E(V_k)} -> 0 seems to lead to a constant distribution, as long as E(V_k) is bounded. I suspect this is what you are looking for.