Difference between revisions of "Dictionary:Convolution theorem"

From SEG Wiki
Jump to: navigation, search
(Convolution in the Frequency domain)
Line 28: Line 28:
 
<center> <math> (f \star g) (t) = \frac{1}{2 \pi} \int_{-\infty}^{\infty} \; d \omega  \int_{-\infty}^{\infty} \; d \Omega \; F(\omega) G(\Omega) e^{-i \Omega t} \left[\frac{1}{2 \pi}  \int_{-\infty}^{\infty}  e^{-i (\omega -\Omega) \tau } \; d \tau \right]. </math> </center>
 
<center> <math> (f \star g) (t) = \frac{1}{2 \pi} \int_{-\infty}^{\infty} \; d \omega  \int_{-\infty}^{\infty} \; d \Omega \; F(\omega) G(\Omega) e^{-i \Omega t} \left[\frac{1}{2 \pi}  \int_{-\infty}^{\infty}  e^{-i (\omega -\Omega) \tau } \; d \tau \right]. </math> </center>
  
Recognizing the factor in <math> [ ... ] </math> as the frequency domain representation of the [[Dirac delta function]],
+
Recognizing the factor in <math> [ ... ] </math> as the frequency domain representation of the [[Dictionary:Dirac function|Dirac delta function]],
  
  
Line 37: Line 37:
 
<center> <math> (f \star g) (t) = \frac{1}{2 \pi} \int_{-\infty}^{\infty} \; d \omega  \int_{-\infty}^{\infty} \; d \Omega \; F(\omega) G(\Omega) e^{-i \Omega t} \delta(\Omega - \omega ). </math> </center>
 
<center> <math> (f \star g) (t) = \frac{1}{2 \pi} \int_{-\infty}^{\infty} \; d \omega  \int_{-\infty}^{\infty} \; d \Omega \; F(\omega) G(\Omega) e^{-i \Omega t} \delta(\Omega - \omega ). </math> </center>
  
The <math> \Omega </math> integral may be performed, exploiting the [[sifting property]] of the delta function to convert the <math> \Omega </math> to <math> \omega </math>  yields the equivalence of
+
The <math> \Omega </math> integral may be performed, exploiting the [[Dictionary:Dirac function|sifting property]] of the delta function to convert the <math> \Omega </math> to <math> \omega </math>  yields the equivalence of
 
multiplication in the frequency domain to convolution in the time domain
 
multiplication in the frequency domain to convolution in the time domain
  

Revision as of 17:55, 5 December 2016

The Fourier transform of the convolution of two functions is equal to the product of their individual transforms (or multiplying their amplitude spectra and summing their phase spectra). See Figures F-20 and F-22.

Integral definition

The process of convolution of two functions and is defined in one dimension, as


Fourier domain equivalent

Replacing and by their Fourier domain representations

and

where and are the Fourier transforms of and respectively.

Substituting these representations into the original integral representation of convolution yields

We may rearrange the order of integrations

Recognizing the factor in as the frequency domain representation of the Dirac delta function,


permits us to write the equivalent expression

The integral may be performed, exploiting the sifting property of the delta function to convert the to yields the equivalence of multiplication in the frequency domain to convolution in the time domain


Convolution in the Frequency domain

Similarly, multiplication in the time domain may be interpreted as convolution in the frequency domain, to within a constant factor.

Paralleling the derivation above, we write the convolution in the frequency domain

where the constant remains to be determined. As above, we substitute the Fourier representations of and

and

As in the derivation above, we substitute the Fourier representations of and and rearrange the terms to yield


We recognize the term in as the Fourier form of the Dirac delta function

As before, we apply the sifting property of the delta function, in this case to perform the integration to yield

Hence, the factor of is determined to be Thus the the correct representation of convolution in the frequency domain, with these Fourier transform definitions is