I know that the product of two Gaussians is a Gaussian, and I know that the convolution of two Gaussians is also a Gaussian. I guess I was just wondering if there's a proof out there to show that the convolution of two Gaussians is a Gaussian.
-
$\begingroup$ Hint: what's the Fourier transform of the convolution of two functions? $\endgroup$– ZarraxJan 23, 2011 at 20:33
-
3$\begingroup$ The first assertion is not true. $\endgroup$– Shai CovoJan 23, 2011 at 20:49
-
$\begingroup$ @Shai: Yes it is $\endgroup$– AmitJan 23, 2011 at 21:28
-
1$\begingroup$ As @sivaram suggested, taking the FT of both Gaussians, multiplying them, and IFTing the product yields the convolution of both Gaussians, which is a Gaussian in itself. That means that the FT of any Gaussian is a Gaussian (true), and that the product of both FTs (which are both Gaussians) is also a Gaussian, therefore, the product of any Gaussian is a Gaussian. $\endgroup$– AmitJan 23, 2011 at 22:04
-
4$\begingroup$ @Shai Covo: But "Gaussian" by itself just means the function, not random variables distributed according to the function. $\endgroup$– wnoiseApr 29, 2011 at 20:15
5 Answers
- the Fourier transform (FT) of a Gaussian is also a Gaussian
- The convolution in frequency domain (FT domain) transforms into a simple product
- then taking the FT of 2 Gaussians individually, then making the product you get a (scaled) Gaussian and finally taking the inverse FT you get the Gaussian
Fourier Transform will help you out to conclude that the convolution is also a gaussian.
-
1$\begingroup$ I know that the product of the two FT of Gaussians is also a gaussian, and that is also equivalent to the FT of the convolution of two gaussians. Do you think, to show that the convolution of two Gaussians is a gaussian, it would be easiest to take the FT of both, multiply, and take the IFT of the product? $\endgroup$– AmitJan 23, 2011 at 20:55
-
1$\begingroup$ yes :) [ some extra characters to reach the minimum ] $\endgroup$– ZarraxJan 23, 2011 at 21:01
-
$\begingroup$ @Mait: Yes that is the best way out. $\endgroup$– user17762Jan 23, 2011 at 21:23
There is a proof for product of multivariate Gaussian PDFs in here. Maybe this can help: http://www.tina-vision.net/docs/memos/2003-003.pdf
-
$\begingroup$ It would be good of you give a synopsis of the proof here and then provide a link. $\endgroup$– ShaileshOct 9, 2015 at 8:59