Skip to content
All library documents

Deriving Conditional Moments of a Bivariate Normal

Article Quant Q&A · Author: Raveesh

Summary

The document derives the conditional mean and variance of one variable in a jointly normal pair. Its main approach standardizes the variables and uses a Cholesky-style representation: one standard normal factor drives the conditioning variable, while the other independent factor contributes residual variation to the target variable. Conditioning fixes the shared factor, yielding a linear conditional mean and a conditional variance scaled by one minus squared correlation.

A second solution obtains the same result by dividing the joint normal density by the marginal density and completing the square in the conditional density. The two derivations show both a construction-based explanation and a density-based check. The formulas apply under the stated bivariate normal assumption; the document does not address non-normal distributions, where conditional moments need not follow these forms. It is a probability result that can support quantitative modeling, but it is not itself a trading strategy or empirical test.

Key ideas

  • A correlated normal pair can be represented with shared and independent standard normal factors.
  • Conditioning on one variable fixes the shared factor and gives a linear conditional mean.
  • The conditional variance equals the target variance multiplied by one minus squared correlation.
  • Completing the square in the conditional density provides an alternative derivation.
  • The stated formulas rely on joint normality.

Tags

Full text
# Expectation and Cholesky Decomposition


# Expectation and Cholesky Decomposition












Assume that the random vector $(X,Y)$ is (bivariate) normally distributed. Show that $$ \Bbb E[X|Y=y]= \Bbb E[X]+ \frac {Cov[X,Y]}{Var[Y]}(y-\Bbb E[Y])$$

Also, $$ Var[X|Y=y]= (1-\rho^2) Var[X]$$

I know i should be converting these variables into standard normal and then using Cholesky decomposition to come up with independent standard normal, I am getting pretty close to the answer but, its not neat. I might have done something wrong, Can some one please lay out the first step to convert X&Y to standard normal?? Thanks so much

## Answer by Gordon (score 4, accepted)

https://quant.stackexchange.com/a/31523

By Cholesky decomposition, you can express the normal random variables $X$ and $Y$ in the form \begin{align*} Y &= E(Y) + \sqrt{Var(Y)}\, \xi,\\ X &= E(X) + \sqrt{Var(X)}\left(\rho \xi+\sqrt{1-\rho^2} \eta\right), \end{align*} where $\rho = \frac{Cov(X, Y)}{\sqrt{Var(X)Var(Y)}}$ is the correlation, $\xi$ and $\eta$ are two independent standard normal random variables.

Then, \begin{align*} E(X \mid Y) &= E\left(E(X) + \sqrt{Var(X)}\left(\rho \xi+\sqrt{1-\rho^2} \eta\right) \mid \xi \right)\\ &=E(X) + \rho \sqrt{Var(X)}\xi\\ &=E(X) + \frac{Cov(X, Y)}{\sqrt{Var(Y)}}\xi\\ &=E(X) + \frac{Cov(X, Y)}{Var(Y)}\big(Y-E(Y) \big). \end{align*} The computation for $Var(X\mid Y)$ is similar, specifically, \begin{align*} Var(X \mid Y) &=E\left((X-E(X\mid Y))^2\mid Y \right)\\ &=E\left( (X-E(X\mid Y))^2\mid \xi\right)\\ &=E\left(Var(X)(1-\rho^2) \eta^2 \mid \xi\right)\\ &=E\left(Var(X)(1-\rho^2) \eta^2\right)\\ &=Var(X)(1-\rho^2). \end{align*}

## Answer by user16651 (score 3)

https://quant.stackexchange.com/a/31524

Another approach

$$f_{X|Y}(x,y)=\frac{f_{X,Y}(x,y)}{f_{Y}(y)}\tag 1$$ Set $$u=\frac{x-\mu_X}{\sigma_X}$$ and $$v=\frac{y-\mu_Y}{\sigma_Y}$$ we have $$f_{X|Y}(x,y)=\frac{\frac{1}{2\pi\sigma_X\sigma_Y\sqrt{1-\rho^2}}\exp\left(-\frac{u^2-2\rho uv+v^2}{2(1-\rho^2)}\right)}{\frac{1}{\sqrt{2\pi}\sigma_Y}\exp\left(-\frac{1}{2}v^2\right)}\\\qquad\qquad\qquad\qquad=\frac{1}{\sqrt{2\pi(1-\rho^2)}\sigma_X}\exp\left(-\frac 12\left[\frac{u-\rho v}{\sqrt{1-\rho^2}}\right]^2\right)\tag 2$$ Indeed $$f_{X|Y}(x,y)=\frac{1}{\sqrt{2\pi(1-\rho^2)}\sigma_X}\exp\left(-\frac{1}{2}\left[\frac{x-(\mu_X+\rho\frac{\sigma_X}{\sigma_Y}(y-\mu_Y)}{\sigma_X\sqrt{1-\rho^2}}\right]^2\right)\tag 3$$ as a result $$\mathbb{E}[X|Y]=\mu_X+\rho\frac{\sigma_X}{\sigma_Y}(y-\mu_Y)\tag 4$$ and $$\text{Var}(X|Y)=\sigma_X^2(1-\rho^2)\tag 5$$

Shown in full with attribution under the source's licence. Licence: CC BY-SA 4.0 (Stack Exchange)

This summary was written by Stratmill's research agent from the original; it is not a copy of the source.