| Line 48: | Line 48: | ||
Thus, if x(t) is even, its Fourier Transform is also even. However, since we proved earlier that <math>\chi ( \omega )</math> even component is real, and that its imaginary component is odd, the odd section must be zero, so that the equation: <math>\chi ( \omega ) | even = \Re ( \chi ( \omega )) | even + \jmath \Im ( \chi ( \omega )) | odd</math> | Thus, if x(t) is even, its Fourier Transform is also even. However, since we proved earlier that <math>\chi ( \omega )</math> even component is real, and that its imaginary component is odd, the odd section must be zero, so that the equation: <math>\chi ( \omega ) | even = \Re ( \chi ( \omega )) | even + \jmath \Im ( \chi ( \omega )) | odd</math> | ||
| + | Thus, real and even signals must have real and even Fourier Transforms. | ||
If x(t) is odd, -x(-t) = x(t). | If x(t) is odd, -x(-t) = x(t). | ||
Since <math> -\chi (- \omega ) = -\int_{-\infty}^{\infty} x(t) e^{ \jmath (-\omega) t} dt = \int_{\infty}^{-\infty} x(t) e^{ \jmath (-\omega) t} dt = \int_{-\infty}^{\infty} x(t) e^{ \jmath (-\omega) t} dt </math>, | Since <math> -\chi (- \omega ) = -\int_{-\infty}^{\infty} x(t) e^{ \jmath (-\omega) t} dt = \int_{\infty}^{-\infty} x(t) e^{ \jmath (-\omega) t} dt = \int_{-\infty}^{\infty} x(t) e^{ \jmath (-\omega) t} dt </math>, | ||
| − | the right side of the equation of the proof doesn't change, and <math>-\chi (- \omega ) = \chi ( \omega )</math> is the result. | + | the right side of the equation of the proof doesn't change, and <math>-\chi (- \omega ) = \chi ( \omega )</math> is the result. Similarly to the x(t) being even case, we now know that x(t) is odd when <math>\chi ( \omega )</math> is odd, and in order to satisfy <math>\chi ( \omega ) | odd = \Re ( \chi ( \omega )) | even + \jmath \Im ( \chi ( \omega )) | odd</math>, the real part of <math>\chi ( \omega )</math> must be 0. |
| + | Thus, real and odd signals must have purely imaginary and odd Fourier Transforms. | ||
| + | |||
| + | ''Pure Imaginary Signals'' | ||
Revision as of 15:37, 20 April 2018
Determining the Properties of a Signal Based on its Fourier Transform
As part of this course, it is important to be able to examine the Fourier Transform of a signal, and tell if the original signal is real, pure imaginary, even, or odd. This article contains proof of properties that can help with this determination, and a few short example problems.
Table of Properties
| Real X(w) | Imaginary X(w) | |
| Even X(w) | Real and Even x(t) | Imaginary and Even x(t) |
| Odd X(w) | Imaginary and Odd x(t) | Real and Odd x(t) |
Proofs
The first proof, that the Fourier Transform of a real and even signal is also real and even, was completed by Prof. Boutin, as part of the class notes. I have put it here for convenience and make no attempt to claim it as my own. The remaining proofs are my own.
Real Signals
Since x(t) is real:
$ x*(t) = x(t) $
$ \mathfrak{F}(x*(t)) = \mathfrak{F}(x(t)) $
$ \chi * ( - \omega ) = \chi ( \omega ) $ , by conjugation property of CTFT
$ \Re ( \chi (- \omega )) - \jmath \Im ( \chi (- \omega )) = \Re ( \chi (- \omega )) + \jmath \Im ( \chi ( \omega )) $ Therefore, this splits into the even, real equation: $ \Re ( \chi (- \omega )) = \Re ( \chi ( \omega )) $ And the odd, imaginary equation: $ - \Im ( \chi (- \omega )) = \Im ( \chi ( \omega )) $
This means that when x(t) is real, the real part of $ \chi ( \omega ) $ will be even, and the imaginary part will be odd. If, also x(t) is even:
$ x(-t) = x(t) $
$ \chi (- \omega ) = \int_{-\infty}^{\infty} x(t) e^{ \jmath (-\omega) t} dt $
$ \chi (- \omega ) = \int_{-\infty}^{\infty} x(-\tau) e^{ \jmath \omega \tau } dt $
$ \chi (- \omega ) = \int_{-\infty}^{\infty} x(\tau) e^{ \jmath \omega \tau } dt $ (This swap is possible due to x(t)'s evenness)
$ \chi (- \omega ) = \chi ( \omega ) $
Thus, if x(t) is even, its Fourier Transform is also even. However, since we proved earlier that $ \chi ( \omega ) $ even component is real, and that its imaginary component is odd, the odd section must be zero, so that the equation: $ \chi ( \omega ) | even = \Re ( \chi ( \omega )) | even + \jmath \Im ( \chi ( \omega )) | odd $ Thus, real and even signals must have real and even Fourier Transforms.
If x(t) is odd, -x(-t) = x(t). Since $ -\chi (- \omega ) = -\int_{-\infty}^{\infty} x(t) e^{ \jmath (-\omega) t} dt = \int_{\infty}^{-\infty} x(t) e^{ \jmath (-\omega) t} dt = \int_{-\infty}^{\infty} x(t) e^{ \jmath (-\omega) t} dt $, the right side of the equation of the proof doesn't change, and $ -\chi (- \omega ) = \chi ( \omega ) $ is the result. Similarly to the x(t) being even case, we now know that x(t) is odd when $ \chi ( \omega ) $ is odd, and in order to satisfy $ \chi ( \omega ) | odd = \Re ( \chi ( \omega )) | even + \jmath \Im ( \chi ( \omega )) | odd $, the real part of $ \chi ( \omega ) $ must be 0. Thus, real and odd signals must have purely imaginary and odd Fourier Transforms.
Pure Imaginary Signals
