Fdtxjr

I read this:

The Gaussian kernel for dimensions higher than one, say N, can be described as a regular product of N one-dimensional kernels. Example:

g2D(x,y,$sigma_1^2 + sigma_2^2$) = g1D(x,$sigma_1^2$)g2D(y,$sigma_2^2$)

saying that the product of two 1 dimensional gaussian functions with variances $sigma_1^2$ and $sigma_2^2$ is equal to a two dimensional gaussian function with the sum of the two variances as its new variance.

I tried to deduce this by using:

g1D(x,$sigma1^2$)g2D(y,$sigma2^2$) = $frac1sqrt2pisigma_1e^frac-x^22sigma_1^2frac1sqrt2pisigma_2e^frac-y^22sigma_2^2$ = $frac12pisigma_1sigma_2e^-(fracx^22sigma_1^2+fracy^22sigma_2^2)$

but I fail to obtain

$frac12pi(sigma_1^2 + sigma_2^2)e^frac-(x^2+y^2)2sigma_1^2 + 2sigma_2^2$

which is equal to g2D(x,y,$sigma_1^2 + sigma_2^2$).

Someone know how to get there?

Hint: You see in the exponential that we have
$$ exp left ( - fracx^2 + y^22( sigma_1^2 + sigma_2^2 ) right )=exp left ( frac-x^2 2( sigma_1^2 + sigma_2^2 ) right )exp left ( frac- y^22( sigma_1^2 + sigma_2^2 ) right ) $$
The normalization hanging around should be
$$frac12 pi ( sigma_1^2 + sigma_2^2 ) $$
as you've seen...but under the change of variables
$$ z_1 = frac sigma_1xsqrtsigma_1^2 + sigma_2^2 quad & quad z_2 = frac sigma_2ysqrtsigma_1^2 + sigma_2^2 $$
What do you obtain? Also note that
$$ 2 pi = sqrt2pi sqrt2 pi $$
Edit: We see that
$$frac12 pi ( sigma_1^2 + sigma_2^2 ) int_mathbbR^2 exp left ( - fracx^2 + y^22( sigma_1^2 + sigma_2^2 ) right ) dxdy = $$
$$= left[ frac1sqrt2 pi ( sigma_1^2 + sigma_2^2 ) int_mathbbR exp left ( - fracx^2 2( sigma_1^2 + sigma_2^2 ) right ) dx right] left [ frac1sqrt2 pi ( sigma_1^2 + sigma_2^2 ) int_mathbbR exp left ( - fracy^2 2( sigma_1^2 + sigma_2^2 ) right )dy right]$$
$$ =left[ frac1sqrt2 pi sigma_1 int_mathbbR exp left ( - fracz_1^2 2 sigma_1^2 right ) dz_1 right] left [ frac1sqrt2 pi sigma_2 int_mathbbR exp left ( - fracz_2^2 2sigma_2^2 right )dz_2 right] $$

Your first expression,

$G(x,sigma_1^2) G(y,sigma_2^2) = frac1sqrt2pisigma_1e^frac-x^22sigma_1^2frac1sqrt2pisigma_2e^frac-y^22sigma_2^2$ = $frac12pisigma_1sigma_2e^-(fracx^22sigma_1^2+fracy^22sigma_2^2)$

is a correct anisotropic 2D Gaussian. The expression you are trying to obtain,

$frac12pi(sigma_1^2 + sigma_2^2)e^frac-(x^2+y^2)2sigma_1^2 + 2sigma_2^2$

is not (it’s an isotropic Gaussian). There is no way you can go from the one to the other. However, one can incorrectly match the two expressions by creating a new coordinate system that is a scaled version of the original one, in such a way that the Gaussian is isotropic in the new coordinate system. The other answer does this. But that is not useful.

It seems that OP is confused about the combination of the variances. The convolution of two 1-dimensional Gaussian functions with variances $sigma_1^2$ and $sigma_2^2$ is equal to a 1-dimensional Gaussian function with variance $sigma_1^2 + sigma_2^2$. There is no such expectation for the multiplication of Gaussians (in fact, when multiplying them, assuming the same orientation and the same mean, the resulting variance is smaller, not larger.