信号与系统 – 傅里叶变换的乘法性质
对于连续时间函数$\mathit{x(t)}$,$\mathit{x(t)}$ 的傅里叶变换可以定义为
$$\mathrm{\mathit{X\left ( \omega \right )\mathrm{\mathrm{=}}\int_{-\infty }^{\infty }x\left ( t \right )e^{-j\omega t}dt}}$$
而逆傅里叶变换定义为:
$$\mathrm{\mathit{F^{\mathrm{-1}}\left [ X\left ( \omega \right ) \right ]\mathrm{\mathrm{=}}x\left ( t \right )\mathrm{\mathrm{=}}\frac{\mathrm{1}}{\mathrm{2}\pi }\int_{-\infty }^{\infty }X\left ( \omega \right )e^{j\omega t}d\omega }}$$
傅里叶变换的乘法性质
说明 – 连续时间傅里叶变换 (CTFT) 的乘法性质指出,时域中两个函数的乘积等价于频域中其频谱的卷积。乘法性质也称为傅里叶变换的频域卷积定理。因此,如果
$$\mathrm{\mathit{x_{\mathrm{1}}(t)\overset{FT}{\leftrightarrow}X_{\mathrm{1}}\left ( \omega \right )\: \mathrm{and} \: x_{\mathrm{2}}(t)\overset{FT}{\leftrightarrow}X_{\mathrm{2}}\left ( \omega \right )} }$$
那么,根据乘法性质:
$$\mathrm{\mathit{x_{\mathrm{1}}(t)\cdot x_{\mathrm{1}}(t)\overset{FT}{\leftrightarrow}\frac{\mathrm{1}}{\mathrm{2}\pi }\left [ X_{\mathrm{1}}\left ( \omega \right )\ast X_{\mathrm{2}}\left ( \omega \right ) \right ]}}$$
证明
根据傅里叶变换的定义,我们有:
$$\mathrm{\mathit{F\left [ x\left ( t \right ) \right ]\mathrm{\mathrm{=}}X\left ( \omega \right )\mathrm{\mathrm{=}}\int_{-\infty }^{\infty}x\left ( t \right )e^{-j\omega t}dt}}$$
$$\mathrm{\mathit{\therefore F\left [ x_{\mathrm{1}}\left ( t \right )\cdot x_{\mathrm{2}}\left ( t \right ) \right ]\mathrm{\mathrm{=}}\int_{-\infty }^{\infty}\left [ x_{\mathrm{1}}\left ( t \right )\cdot x_{\mathrm{2}}\left ( t \right ) \right ]e^{-j\omega t}dt}}$$
现在,根据逆傅里叶变换的定义,我们有:
$$\mathrm{\mathit{\Rightarrow F\left [ x_{\mathrm{1}}\left ( t \right )\cdot x_{\mathrm{2}}\left ( t \right ) \right ]\mathrm{\mathrm{=}}\int_{-\infty }^{\infty}\left [\frac{\mathrm{1}}{\mathrm{2}\pi}\int_{-\infty }^{\infty }X_{\mathrm{1}}\left ( p \right )e^{jpt} dp \right ]x_{\mathrm{2}}\left ( t \right )e^{-j\omega t}dt}}$$
通过交换上述表达式右边积分的顺序,我们得到:
$$\mathrm{\mathit{\Rightarrow F\left [ x_{\mathrm{1}}\left ( t \right )\cdot x_{\mathrm{2}}\left ( t \right ) \right ]\mathrm{\mathrm{=}}\frac{\mathrm{1}}{\mathrm{2}\pi}\int_{-\infty }^{\infty }X_{\mathrm{1}}\left ( p \right )\left [\int_{-\infty }^{\infty} x_{\mathrm{2}}\left ( t \right )e^{jpt}e^{-j\omega t}dt \right ]dp}}$$
$$\mathrm{\mathit{\Rightarrow F\left [ x_{\mathrm{1}}\left ( t \right )\cdot x_{\mathrm{2}}\left ( t \right ) \right ]\mathrm{\mathrm{=}}\frac{\mathrm{1}}{\mathrm{2}\pi}\int_{-\infty }^{\infty }X_{\mathrm{1}}\left ( p \right )\left [\int_{-\infty }^{\infty} x_{\mathrm{2}}\left ( t \right )e^{-j\left ( \omega -p \right )t}dt \right ]dp}}$$
$$\mathrm{\mathit{\Rightarrow F\left [ x_{\mathrm{1}}\left ( t \right )\cdot x_{\mathrm{2}}\left ( t \right ) \right ]\mathrm{\mathrm{=}}\frac{\mathrm{1}}{\mathrm{2}\pi}\int_{-\infty }^{\infty }X_{\mathrm{1}}\left ( p \right )X_{\mathrm{2}}\left ( \omega -p \right )dp}}$$
$$\mathrm{\mathit{\therefore F\left [ x_{\mathrm{1}}\left ( t \right )\cdot x_{\mathrm{2}}\left ( t \right ) \right ]\mathrm{\mathrm{=}}\frac{\mathrm{1}}{\mathrm{2}\pi}\left [ X_{\mathrm{1}}\left ( \omega \right )\ast X_{\mathrm{2}}\left ( \omega \right ) \right ]}}$$
或者,它也可以表示为:
$$\mathrm{\mathit{x_{1}\left ( t \right )\cdot x_{\mathrm{1}}\left ( t \right )\overset{FT}{\leftrightarrow} \frac{\mathrm{1}}{\mathrm{2}\pi}\left [ X_{\mathrm{1}}\left ( \omega \right )\ast X_{\mathrm{2}}\left ( \omega \right ) \right ]}}$$
此外,
$$\mathrm{\mathit{\mathrm{2}\pi\left [ x_{\mathrm{1}}\left ( t \right )\cdot x_{\mathrm{1}}\left ( t \right ) \right ]\overset{FT}{\leftrightarrow} \left [ X_{\mathrm{1}}\left ( \omega \right )\ast X_{\mathrm{2}}\left ( \omega \right ) \right ]}}$$
$$\mathrm{\mathit{\Rightarrow \left [ x_{\mathrm{1}}\left ( t \right )\cdot x_{\mathrm{1}}\left ( t \right ) \right ]\overset{FT}{\leftrightarrow} \left [ X_{\mathrm{1}}\left ( f \right )\ast X_{\mathrm{2}}\left ( f \right ) \right ];\; \; \left ( \because f\mathrm{\mathrm{=}}\frac{\omega }{\mathrm{2}\pi } \right )}}$$
数值示例
利用傅里叶变换的乘法性质,求出如下函数的傅里叶变换:
$$\mathrm{\mathit{x\left ( t \right )\mathrm{\mathrm{=}}\left [ u(t\mathrm{\mathrm{\mathrm{\mathrm{+}}}}\mathrm{2})-u\left ( t-\mathrm{2} \right ) \right ]\cos \mathrm{2}\pi t}} $$
解答
根据余弦函数的傅里叶变换定义,我们得到:
$$\mathrm{\mathit{F\left[ \cos \mathrm{2}\pi t \right ]\mathrm{\mathrm{=}}\pi \delta \left ( \omega -\mathrm{2}\pi \right )\mathrm{\mathrm{\mathrm{+}}}\pi \delta \left ( \omega \mathrm{\mathrm{\mathrm{+}}}\mathrm{2}\pi \right )}}$$
根据单位阶跃函数的傅里叶变换定义,我们有:
$$\mathrm{\mathit{F\left [ u\left ( t\mathrm{\mathrm{\mathrm{+}}}\mathrm{2} \right )-u\left ( t-\mathrm{2} \right ) \right ]\mathrm{\mathrm{=}}\int_{-\mathrm{2}}^{\mathrm{2}}\mathrm{1}\cdot e^{-j\omega t\: }dt\mathrm{\mathrm{=}}\left [ \frac{e^{-j\omega t}}{-j\omega} \right ]_{-\mathrm{2}}^{\mathrm{2}}}} $$
$$\mathrm{\Rightarrow \mathit{F\left [ u\left ( t\mathrm{\mathrm{\mathrm{+}}}\mathrm{2} \right )-u\left ( t-\mathrm{2} \right ) \right ]\mathrm{\mathrm{=}}\left [ \frac{e^{-j\mathrm{2}\omega }-e^{j\mathrm{2}\omega }}{-j\omega } \right ]\mathrm{\mathrm{=}}\left [ \frac{e^{j\mathrm{2}\omega }-e^{-j\mathrm{2}\omega }}{j\omega } \right ]}}$$
$$\mathrm{\Rightarrow \mathit{F\left [ u\left ( t\mathrm{\mathrm{\mathrm{+}}}\mathrm{2} \right )-u\left ( t-\mathrm{2} \right ) \right ]\mathrm{\mathrm{=}}\left [ \frac{\mathrm{2}\left ( e^{j\mathrm{2}\omega }-e^{-j\mathrm{2}\omega } \right )}{\mathrm{2}j\omega } \right ]\mathrm{\mathrm{=}}\frac{\mathrm{4}\: \sin \mathrm{2}\omega }{\mathrm{2}\omega }\mathrm{\mathrm{=}}\mathrm{4}\: \sin c(\mathrm{2}\omega )}}$$
现在,给定函数的傅里叶变换为:
$$\mathrm{\mathit{F\left [ x\left ( t \right ) \right ]\mathrm{\mathrm{=}}F\left [ \left [ u\left ( t\mathrm{\mathrm{\mathrm{+}}}\mathrm{2} \right )-u\left ( t-\mathrm{2} \right ) \right ]\cos \mathrm{2}\pi t \right ]}}$$
利用傅里叶变换的乘法性质$\mathrm{\mathit{\left [ i.e.,\: \: x_{\mathrm{1}}\left ( t \right )\cdot x_{\mathrm{1}}\left ( t \right )\overset{FT}{\leftrightarrow}\frac{\mathrm{1}}{\mathrm{2}\pi }\left [ X_{\mathrm{1}}\left ( \omega \right )\ast X_{\mathrm{2}}\left ( \omega \right ) \right ] \right ]}}$,我们有:
$$\mathrm{\mathit{X\left ( \omega \right )\mathrm{\mathrm{=}}\frac{\mathrm{1}}{\mathrm{2}\pi }\int_{-\infty }^{\infty}\frac{\mathrm{4}\sin \mathrm{2}p}{\mathrm{2}p}\left [ \pi \delta \left ( \omega-\mathrm{2}\pi -p \right ) \mathrm{\mathrm{\mathrm{+}}} \pi \delta \left ( \omega\mathrm{\mathrm{\mathrm{+}}}\mathrm{2}\pi -p \right )\right ]dp}}$$
$$\mathrm{\Rightarrow \mathit{X\left ( \omega \right )\mathrm{\mathrm{=}}\frac{\mathrm{1}}{\mathrm{2}\pi }\int_{-\infty }^{\infty}\frac{\mathrm{4}\sin \mathrm{2}p}{\mathrm{2}p}\: \pi \delta \left ( \omega-\mathrm{2}\pi -p \right )dp\mathrm{\mathrm{\mathrm{+}}}\frac{\mathrm{1}}{\mathrm{2}\pi}\int_{-\infty }^{\infty}\frac{\mathrm{4}\sin \mathrm{2}p}{\mathrm{2}p}\: \pi \delta \left ( \omega\mathrm{\mathrm{+}}\mathrm{2}\pi -p \right )dp }}$$
$$\mathrm{\Rightarrow \mathit{X\left ( \omega \right )\mathrm{\mathrm{=}} \frac{\mathrm{2}\sin \mathrm{2}\left ( \omega -\mathrm{2}\pi \right )}{\mathrm{2}\left ( \omega -\mathrm{2}\pi \right )}\mathrm{\mathrm{\mathrm{+}}}\frac{\mathrm{2}\sin \mathrm{2}\left ( \omega \mathrm{\mathrm{+}}\mathrm{2}\pi \right )}{\mathrm{2}\left ( \omega \mathrm{\mathrm{+}}\mathrm{2}\pi \right)}}}$$
$$\mathrm{\therefore \mathit{F\left [ x\left ( t \right ) \right ]\mathrm{\mathrm{=}}X\left ( \omega \right )\mathrm{\mathrm{=}}\mathrm{2}\sin c\left [ \mathrm{2}\left ( \omega -\mathrm{2}\pi \right ) \right ]\mathrm{\mathrm{\mathrm{+}}}\mathrm{2}\sin c\left [ \mathrm{2}\left ( \omega \mathrm{\mathrm{+}}\mathrm{2}\pi \right ) \right ] }}$$