The marginal probability density function is . For with , the conditional density isIf the conditional first absolute moment is finite, the conditional expectation isConditioning here uses a density, since the individual event normally has probability zero; a conditional law is specified only up to marginal-null values of .
The density is an even function on a symmetric interval, so the integrand is odd. Its integral vanishes:
A linear combination of independent normal random variables is normal. Its mean is , and independence removes the cross-covariance term in its variance:
The identity forces and . Independence will follow from zero covariance, because are jointly Gaussian random variables. That covariance isThusThese values give with variance and zero covariance with . Joint normality then proves the requested independence.
From the preceding decomposition, , where is independent of and has mean zero. Taking conditional expectation gives . The corresponding continuous version at is
Articles by others on the same topic
There are currently no matching articles.