The marginal probability density function is . For with , the conditional density is
If the conditional first absolute moment is finite, the conditional expectation is
Conditioning here uses a density, since the individual event normally has probability zero; a conditional law is specified only up to marginal-null values of .
Normalization of the probability density function requires
using . Therefore
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 is
Thus
These 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 (0)

There are currently no matching articles.