Vtyjkyuk

Let me first introduce the definition of Gaussian I came across

A one dimensional random variable $Gamma$ is Gaussian iff it has the characteristic function
$$mathbbE[e^i xi Gamma]=e^imxi-frac12sigma^2 xi^2$$
for some real numbers $m in mathbbR$ and $sigma geq 0$.

Now the question I have is, if $X,Y$ are two real-valued random variables which are Gaussian, and $Cov(X,Y)=0$, i.e. they are uncorrelated, how do I use the above definition to see that they are independent?

Thanks a lot in advance!

Note that, we require the two random variables to be jointly Gaussian for the result to hold (it is possible that two random variables are Gaussian but not jointly Gaussian). Also, I shall work with density functions instead of characteristic function for simplicity (you can deduce the density from characteristic function, and vice versa). For notation purpose, I denote the random vector by $left(X_1,X_2right)$.

The joint probability density function of a bivariate normal distribution is given by
$$f_X_1,X_2left(x_1,x_2right)=frac12pisigma_1sigma_2sqrt1-rho^2 times expleft[-fracleftleft(fracx-mu_1sigma_1right)^2+left(fracy-mu_2sigma_2right)^2-2rholeft(fracx-mu_1sigma_1right)left(fracy-mu_2sigma_2right)right2left(1-rho^2right)right]$$
Now, $Cov(X_1,X_2)=0 Leftrightarrow rho=0$. Putting $rho=0$ the joint density function reduces to
beginalign*
f_X_1,X_2left(x_1,x_2right)&=frac12pisigma_1sigma_2 times expleft[-fracleftleft(fracx-mu_1sigma_1right)^2+left(fracy-mu_2sigma_2right)^2right2left(1-rho^2right)right]\
&=frac1sigma_1sqrt2piexpleft-frac12left(fracx-mu_1sigma_1right)^2right times frac1sigma_2sqrt2piexpleft-frac12left(fracy-mu_2sigma_2right)^2right
endalign*

Since, we can factor out the joint density function in the form $g(x) times h(y)$ (which automatically are the respective marginal densities), we conclude that $X_1$ and $X_2$ are independent.