Saturday, August 31, 2019

probability - Expected value of a continuous random variable (understanding of the proof)



I need a little help to understand the steps of this proof. (I'm currently studying double integrals) but also i don't understand the first equalities. Thank you in advance.



Let X be an absolutely continous variable with density function fx. Suppose that g is a nonnegative function then.
E(g(X))=\int_{0}^{\infty}P(g(X))>y)dy-\int_{0}^{\infty}P(g(X)\leqslant -y)dy
=\int_{0}^{\infty}P(g(X))>y)dy=\int_{0}^{\infty} (\int_{B} f_x(x) dx)dy
where B:= {x:g(x)>y}. Therefore.
E(g(X))=\int_0^\infty \int_0^g(x) f_x dydx= \int_0^\infty g(x)f_x(x)dx.


Answer




The first equality can be skipped if you just use the tail sum formula for nonnegative random variables: E[Y] = \int_0^\infty P(Y > y) \mathop{dy} if Y is continuous and nonnegative. Applying this to Y=g(X) immediately yields E[g(X)] = \int_0^\infty P(g(X)) > y) \mathop{dy}.



[The first equality is a generalization, and can be proven by writing Y=Y \cdot 1_{Y \ge 0} - (-Y) \cdot 1_{Y < 0} and applying the tail sum probability to each term both of which are nonnegative.]






The next part is simply the definition of B. P(g(X)>y) = \int_B f_X(x) \mathop{dx}







Finally, switch the order of the two integrals.
I think you forgot to mention that X is also nonnegative?
The region you are integrating over is \{y \ge 0\} \cap \{x \ge 0 :g(x) > y\}, which can be rewritten as \{x \ge 0\} \cap \{y : 0 \le y < g(x)\}.



\int_0^\infty \int_B f_X(x) \mathop{dx} \mathop{dy} = \int_0^\infty \int_0^{g(x)} f_X(x) \mathop{dy} \mathop{dx}.


No comments:

Post a Comment

analysis - Injection, making bijection

I have injection f \colon A \rightarrow B and I want to get bijection. Can I just resting codomain to f(A)? I know that every function i...