5,336
edits
Line 29: | Line 29: | ||
==Properties== | ==Properties== | ||
Note <math>\bar{x}</math> refers to the complex conjugate | Note <math>\bar{x}</math> refers to the complex conjugate | ||
Let <math>F(s) = FFT(f(s))</math>. | |||
'''Linearity''' | |||
* <math>IFFT(f) = (1/n) \bar{FFT}(\bar{f})</math> | <math>FFT(\lambda f + g) = \lambda FFT(f) + FFT(g)</math> | ||
'''Shift''' | |||
<math>FFT(f(x-a)) = e^{-i \omega_k a} F(\omega_k)</math> | |||
* Note <math>\omega_k = 2 \pi k/N </math> | |||
'''Similarity''' | |||
<math>FFT(f(ax)) = |a|^{-1} F(s/a)</math> | |||
'''Convolution Theorem''' | |||
<math>f *g \Leftrightarrow F(s) \times G(s)</math><br> | |||
<math>f \times g \Leftrightarrow F(s) * G(s)</math> | |||
'''Parseval's Theorem''' | |||
<math>\int |f(x)|^2 dx = \int |F(s)|^2 ds</math> | |||
See [[Wikipedia: Parseval's theorem]]<br> | |||
More generally, | |||
<math>\int f(x) g^*(x) dx = \int F(s) G^*(s) ds</math> | |||
'''Autocorrelation''' | |||
<math>\int f(x') f^*(x' - x) dx' \Leftrightarrow |F(x)|^2</math> | |||
This is a case of the convolution theorem. | |||
'''IFFT''' | |||
<math>IFFT(f) = (1/n) \bar{FFT}(\bar{f})</math> | |||
'''2D FFT''' | |||
<math>FFT2(f) = FFT_{x}(FFT_{y}(f)) = FFT_{y}(FFT_{x}(f))</math> | |||
==Short-time Fourier transform== | ==Short-time Fourier transform== |