Suppose that $X$ and $Y$ are scalar random variables that are jointly normally distributed:
$$ \begin{pmatrix} X \\ Y \end{pmatrix} \sim N \left( \begin{pmatrix} \mu_x \\ \mu_y \end{pmatrix}, \begin{pmatrix} \sigma_x^2 & \sigma_{xy} \\ \sigma_{xy} & \sigma_y^2 \end{pmatrix} \right) $$
I would like a formula for $\operatorname{Var}(XY)$ in terms of $\mu_x, \mu_y, \sigma_x^2, \sigma_{xy}, \sigma_y^2$. The answers at Variance of product of k correlated random variables are too general and don't help much with this particular problem. The second answer at Variance of product of dependent variables starts but doesn't finish the derivation.
I can reduce to the problem of finding $E[X^2Y^2]$, using the definition of the covariance $\sigma_{xy}$: \begin{align*} \operatorname{Var}(XY) &= E[ (XY)^2 ] - E[XY]^2 \\ &= E[(XY)^2] - (\sigma_{xy}+\mu_x\mu_y)^2 \end{align*}
I have an idea about how to do that, but I'm not sure if it's correct. Write $Y = E[Y \mid X] + \varepsilon$ where $\varepsilon \sim N(0, \sigma_\varepsilon^2)$ and is independent of $X$. In fact, $$ E[Y \mid X] = \mu_y + \frac{\sigma_{xy}}{\sigma_x^2} (X - \mu_x) $$ so $\sigma_\varepsilon^2 = \sigma_y^2 - (\sigma_{xy})^2/\sigma_x^2$. Then \begin{align*} Y^2 &= E[Y \mid X]^2 + 2 E[Y \mid X] \,\varepsilon + \varepsilon^2 \\ E[X^2Y^2] &= E[ X^2 \, E[Y \mid X]^2 ] + E[ 2 X^2 E[Y \mid X] \, \varepsilon] + E[X^2 \varepsilon^2 ]. \end{align*}
The third term is just $$ E[X^2] E[\varepsilon^2] = (\sigma_x^2 + \mu_x^2)\sigma_\varepsilon^2. $$ The second term is zero. For the first term, rewrite $E[Y \mid X] = \alpha + \beta X$, where $\beta = \sigma_{xy}/\sigma_x^2$ and $\alpha = \mu_y - \beta \mu_x$, to get $$ \alpha^2 \, E[X^2] + 2 \alpha \beta \, E[X^3] + \beta^2 \, E[X^4] $$ or $$ \alpha^2 (\mu_x^2 + \sigma_x^2) + 2 \alpha \beta (\mu_x^3 + 3 \mu_x \sigma_x^2) + \beta^2 (\mu_x^4 + 6 \mu_x^2 \sigma_x^2 + 3 \sigma_x^4). $$ Putting these all together and simplifying: $$ E[(XY)^2] = 2 (\sigma_{xy})^2 + 4 \sigma_{xy} \mu_x \mu_y + (\mu_x^2 + \sigma_x^2)(\mu_y^2 + \sigma_y^2). $$ Two questions:
- Is the derivation here correct?
- Is there a simpler way to derive this result?