The joint probability density for $X$ and $Y$ is $$ f_{XY}(x,y)=\begin{cases} 2e^{-(x+2y)}, & x>0,y>0\\ 0, & \text{otherwise}\\ \end{cases}$$ Calculate the variance of $Y$ given that $X>3$ and $Y>3$.
Correct answer: 0.25
My work:$\def\Var{\operatorname{Var}}$
$\Var(Y\mid Y>3, X>3) = E[Y^2\mid Y>3, X>3] - E[Y\mid Y>3, X>3]^2$
We know $$E[Y\mid Y>3, X>3] = \int_\infty^\infty yf_{X\mid Y}(y\mid Y>3, X>3)dy$$
$\int_3^\infty y\frac{f_{X,Y}(y, X>3)}{f_{X,Y}(X>3, Y>3)}dy$?
That denominator is usually just the marginal of one RV, but in this case it is a function of $X$ and $Y$ so s it a joint? Doesn't it cancel out with joint pdf above when integrated?
by definition $$E(Y|A)=\frac{E(Y1_{A})}{p(A)}$$ Conditional_expectation_with_respect_to_an_event
let $A=\{Y>3 ,X>3 \}$ so
$$E(Y|Y>3,X>3)=E(Y|A)=\frac{E(Y1_{A})}{p(A)}=\frac{E(Y1_{(Y>3,X>3)})}{p(Y>3,X>3)}=\frac{\int_{y>3} \int_{x>3} y f_{(X,Y)}(x,y) dx \ dy}{\int_{y>3} \int_{x>3} f_{(X,Y)}(x,y) dy \ dx}$$
$$E(Y^2|Y>3,X>3)=E(Y^2|A)=\frac{E(Y^21_{A})}{p(A)}=\frac{E(Y^21_{(Y>3,X>3)})}{p(Y>3,X>3)}=\frac{\int_{y>3} \int_{x>3} y^2 f_{(X,Y)}(x,y) dx \ dy}{\int_{y>3} \int_{x>3} f_{(X,Y)}(x,y) dy \ dx}$$