資料結構
網路
關係資料庫管理系統 (RDBMS)
作業系統
Java
MS Excel
iOS
HTML
CSS
Android
Python
C語言程式設計
C++
C#
MongoDB
MySQL
Javascript
PHP
物理學
化學
生物學
數學
英語
經濟學
心理學
社會學
服裝學
法學離散時間傅立葉變換的時間卷積和頻率卷積性質
離散時間傅立葉變換
離散時間序列的傅立葉變換稱為離散時間傅立葉變換 (DTFT)。數學上，離散時間序列 $\mathrm{\mathit{x\left ( n \right )}}$ 的離散時間傅立葉變換定義為：
$$\mathrm{\mathit{F\left [ x\left ( n \right ) \right ]=X\left ( \omega \right )=\sum_{n=-\infty }^{\infty }x\left ( n \right )e^{-j\, \omega n}}}$$
DTFT 的時間卷積性質
陳述 – DTFT 的時間卷積性質指出，兩個時域序列卷積的離散時間傅立葉變換等價於它們離散時間傅立葉變換的乘積。因此，如果
$$\mathrm{\mathit{x_{\mathrm{1}}\left ( n \right )\overset{FT}{\leftrightarrow}X_{\mathrm{1}}\left ( \omega \right )\: \: \mathrm{and}\: \: x_{\mathrm{2}}\left ( n \right )\overset{FT}{\leftrightarrow}X_{\mathrm{2}}\left ( \omega \right )}}$$
那麼，
$$\mathrm{\mathit{F\left [ x_{\mathrm{1}}\left ( n \right )\ast x_{\mathrm{2}}\left ( n \right ) \right ]\mathrm{\, =\, }X_{\mathrm{1}}\left ( \omega \right )X_{\mathrm{2}}\left ( \omega \right )}}$$
證明
根據 DTFT 的定義，我們有：
$$\mathrm{\mathit{F\left [ x\left ( n \right ) \right ]\mathrm{\, =\, }\sum_{n\mathrm{\, =\, }-\infty }^{\infty }x\left ( n \right )e^{-j\, \omega n}}}$$
$$\mathrm{\mathit{\therefore F\left [ x_{\mathrm{1}}\left ( n \right )\ast x_{\mathrm{2}}\left ( n \right ) \right ]\mathrm{\, =\, }\sum_{n\mathrm{\, =\, }-\infty }^{\infty }\left [ x_{\mathrm{1}}\left ( n \right )\ast x_{\mathrm{2}}\left ( n \right ) \right ]e^{-j\, \omega n}}}$$
但是，兩個序列的卷積定義為：
$$\mathrm{\mathit{x_{\mathrm{1}}\left ( n \right )\ast x_{\mathrm{2}}\left ( n \right )\mathrm{\, =\, }\sum_{k\mathrm{\, =\, }-\infty }^{\infty }x_{\mathrm{1}}\left ( k \right )\, x_{\mathrm{2}}\left ( n-k \right )}}$$
$$\mathrm{\mathit{\therefore F\left [ x_{\mathrm{1}}\left ( n \right )\ast x_{\mathrm{2}}\left ( n \right ) \right ]\mathrm{\, =\, }\sum_{n\mathrm{\, =\, }-\infty }^{\infty }\left [ \sum_{k\mathrm{\, =\, }-\infty }^{\infty }x_{\mathrm{1}}\left ( k \right )\, x_{\mathrm{2}}\left ( n-k \right ) \right ]e^{-j\, \omega n}}}$$
透過交換求和順序，我們得到：
$$\mathrm{\mathit{F\left [ x_{\mathrm{1}}\left ( n \right )\ast x_{\mathrm{2}}\left ( n \right ) \right ]\mathrm{\, =\, }\sum_{k\mathrm{\, =\, }-\infty }^{\infty }x_{\mathrm{1}}\left ( k \right )\sum_{n\mathrm{\, =\, }-\infty }^{\infty }x_{\mathrm{2}}\left ( n-k \right )e^{-j\, \omega n}}}$$
在第二個求和中代入 $\mathrm{\mathit{\left ( n-k \right )\mathrm{\, =\, }m}} $ 和 $\mathrm{\mathit{n\mathrm{\, =\, }\left ( m\mathrm{\, +\, }k \right )}}$，我們有：
$$\mathrm{\mathit{F\left [ x_{\mathrm{1}}\left ( n \right )\ast x_{\mathrm{2}}\left ( n \right ) \right ]\mathrm{\, =\, }\sum_{k\mathrm{\, =\, }-\infty }^{\infty }x_{\mathrm{1}}\left ( k \right )\sum_{m\mathrm{\, =\, }-\infty }^{\infty }x_{\mathrm{2}}\left ( m \right )e^{-j\, \omega \left ( m\mathrm{\, +\, }k \right )}}}$$
$$\mathrm{\mathit{\Rightarrow F\left [ x_{\mathrm{1}}\left ( n \right )\ast x_{\mathrm{2}}\left ( n \right ) \right ]\mathrm{\, =\, }\sum_{k\mathrm{\, =\, }-\infty }^{\infty }x_{\mathrm{1}}\left ( k \right )e^{-j\, \omega k}\sum_{m\mathrm{\, =\, }-\infty }^{\infty }x_{\mathrm{2}}\left ( m \right )e^{-j\, \omega m}}}$$
$$\mathrm{\mathit{\therefore F\left [ x_{\mathrm{1}}\left ( n \right )\ast x_{\mathrm{2}}\left ( n \right ) \right ]\mathrm{\, =\, }X_{\mathrm{1}}\left ( \omega \right )X_{\mathrm{2}}\left ( \omega \right )}}$$
因此，時域序列的卷積等於頻域中它們頻譜的乘積。
DTFT 的頻率卷積性質
陳述 – DTFT 的頻率卷積性質指出，兩個時域序列乘積的離散時間傅立葉變換等價於它們頻譜在頻域的卷積。因此，如果
$$\mathrm{\mathit{x_{\mathrm{1}}\left ( n \right )\overset{FT}{\leftrightarrow}X_{\mathrm{1}}\left ( \omega \right )\: \: \mathrm{and}\: \: x_{\mathrm{2}}\left ( n \right )\overset{FT}{\leftrightarrow}X_{\mathrm{2}}\left ( \omega \right )}}$$
那麼，
$$\mathrm{\mathit{F\left [ x_{\mathrm{1}}\left ( n \right ) x_{\mathrm{2}}\left ( n \right ) \right ]\mathrm{\, =\, }\frac{1}{2\pi}\int_{-\pi}^{\pi}X_1(\theta)X_2(\omega-\theta)d\theta}}$$
證明
根據 DTFT 的定義，我們有：
$$\mathrm{\mathit{F\left [ x\left ( n \right ) \right ]\mathrm{\, =\, }X\left ( \omega \right )\mathrm{=}\sum_{n\mathrm{\, =\, }-\infty }^{\infty }x\left ( n \right )e^{-j\, \omega n}}}$$
$$\mathrm{\mathit{\therefore F\left [ x_{\mathrm{1}}\left ( n \right ) x_{\mathrm{2}}\left ( n \right ) \right ]\mathrm{\, =\, }\sum_{n\mathrm{\, =\, }-\infty }^{\infty }\left [ x_{\mathrm{1}}\left ( n \right )x_{\mathrm{2}}\left ( n \right ) \right ]e^{-j\, \omega n}}}$$
但是，根據 IDTFT 的定義，我們有：
$$\mathrm{\mathit{x_{\mathrm{1}}\left ( n \right )\mathrm{\, =\, }\frac{\mathrm{1}}{\mathrm{2}\pi }\int_{-\pi }^{\pi }X_{\mathrm{1}}\left ( \theta \right )e^{j\, \theta n}d\theta }}$$
$$\mathrm{\mathit{\therefore F\left [ x_{\mathrm{1}}\left ( n \right ) x_{\mathrm{2}}\left ( n \right ) \right ]\mathrm{\, =\, }\sum_{n\mathrm{\, =\, }-\infty }^{\infty }\left [ \frac{\mathrm{1}}{\mathrm{2}\pi }\int_{-\pi }^{\pi }X_{\mathrm{1}}\left ( \theta \right )e^{j\, \theta n}d\theta \right ]e^{-j\, \omega n }x_{\mathrm{2}}\left ( n \right )}}$$
現在，透過交換求和和積分的順序，我們得到：
$$\mathrm{\mathit{F\left [ x_{\mathrm{1}}\left ( n \right ) x_{\mathrm{2}}\left ( n \right ) \right ]\mathrm{\, =\, }\frac{\mathrm{1}}{\mathrm{2}\pi }\int_{-\pi }^{\pi }X_{\mathrm{1}}\left ( \theta \right ) \left [\sum_{n\mathrm{\, =\, }-\infty }^{\infty }x_{\mathrm{2}}\left ( n \right ) e^{-j \left ( \omega-\theta \right ) n } \right ]d\theta }}$$
$$\mathrm{\mathit{\mathrm{\, =\, } \frac{\mathrm{1}}{\mathrm{2}\pi }\int_{-\pi }^{\pi }X_{\mathrm{1}}\left ( \theta \right )X_{\mathrm{2}} \left ( \omega-\theta \right ) d\theta }} $$
$$\mathrm{\mathit{\therefore F\left [ x_{\mathrm{1}}\left ( n \right ) x_{\mathrm{2}}\left ( n \right ) \right ]\mathrm{\, =\, }X_{\mathrm{1}}\left ( \omega \right )\ast X_{\mathrm{2}}\left ( \omega \right ) }}$$
4K+ 次瀏覽
