離散時間フーリエ変換

は無限長の離散時間信号をフーリエ変換様に周波数領域へ変換する操作である。

DTFTの周波数領域の表現は常に周期的関数である。したがって1つの周期に必要な情報が全て含まれるため、DTFTを「有限な」周波数領域への変換であるということもある。

## 定義
\omega \in \R^1 を変数とし、無限長である離散時間信号 x[n] の離散時間フーリエ変換 X(\omega) は次式で定義される：

:X(\omega) = \sum_{n=-\infty}^{\infty} x[n] \,e^{-i \omega n}
\omega は正規化角周波数と呼ばれ（⇒ #周期性）、X(\omega) は周波数スペクトルとも呼ばれる。

## 表記
DTFT X(\omega)\, は別の表記として X(e^{i \omega})\, とも書かれる。

この表記には次の特徴がある。

* 周期性の強調（⇒ #周期性）
* DTFT とその元になっている x(t)\, のフーリエ変換 X(f)\,（または X(\omega)\,）との違いを明確化
* DTFT とZ変換との関係を強調（⇒ #Z変換との関係）

## 性質

### 周期性
DTFT X(\omega) は周期関数である。

変数 \omega \in \R^1 をとる DTFT X(\omega) は周期 2\pi の周期関数である。これは複素指数関数の周期性と n が整数であることを用いて以下で示される：

:X(\omega + 2\pi)
= \sum_{n=-\infty}^{\infty} x[n] \ e^{-i (\omega + 2\pi) n}
= \sum_{n=-\infty}^{\infty} x[n] \ e^{-i \omega n} e^{-i 2\pi n}
= \sum_{n=-\infty}^{\infty} x[n] \ e^{-i \omega n} \cdot 1
= X(\omega)

よって DTFT の性質を示すには -\pi \leq \omega \leq \pi で十分であり、\omega は正規化角周波数と解釈される。

この性質は信号 x[n] が離散時間信号であることと複素指数関数の周期性に由来する。

### 連続性
DTFT X(\omega) は連続的である。

DTFTの変数 \omega \in \R^1 は連続的な変数である。

この性質は信号 x[n] が時間領域で非周期的であることと複素指数関数の周期性に由来する。

### 対称性
フーリエ変換は、実数成分と虚数成分に分離できる。

:X(e^{i \omega}) = X_R(e^{i \omega}) + iX_I(e^{i \omega}) \!

また、偶数成分と奇数成分に分離できる。

:X(e^{i \omega}) = X_E(e^{i \omega}) + X_O(e^{i \omega}) \!

### その他の性質
以下の表は、一般的な離散時間フーリエ変換を示したものである。以下のような記法を用いている。
* *\! は、2つの信号の畳み込みを意味する。
* x[n]^*\! は、関数 *x[n]* の複素共役である。
* \rho_{xy} [n]\! は、 *x[n]* と *y[n]* の相関を表す。

最初の列は属性の説明、第二列は時間領域での関数表現、第三列は周波数領域でのスペクトル表現である。

### 特定条件下での性質

#### 周期信号のDTFT
周期性をもち無限長である離散時間信号のDTFTは離散的である。

無限長の複素離散時間信号 x[n] を周期 N \in \Z^+ の周期信号、つまり x[n] = x[n - N] とする。 DTFTの定義式は x[n] と e^{-i \omega n} の内積であるため、両者を同じだけシフトしても値は変わらない。そこで両者を N だけシフトすると周期性により以下が成り立つ：
:X(\omega)
= \sum_{n=-\infty}^{\infty} x[n-N] \,e^{-i \omega (n-N)}
= \sum_{n=-\infty}^{\infty} x[n] \,e^{-i \omega n} e^{i \omega N}
= e^{i \omega N} X(\omega)


この恒等式により各 \omega で e^{i \omega N} = 1

 あるいは X(\omega)=0
 となる必要がある。複素指数が 1

 になるにはその偏角 \omega N

 が 2\pi
 の整数倍であることが求められるため、上記の恒等式条件により周期信号のDTFTは以下の形になる：
:X(\omega) =
\begin{cases}
\sum_{n=-\infty}^{\infty} x[n] \,e^{-i \omega n}, & \text{if } \omega = \frac{2\pi k}{N}, \quad k \in \Z \\
0,                                                & \text{otherwise}
\end{cases}


つまり周期性をもち無限長である離散時間信号のDTFTは離散的（かつ周期的）である。

また上記式の複素指数部を g_k(n) = \exp{(-i 2\pi k n / N)}, \, k \in \Z

 とし、g_k(n)
 を N だけシフトすると、
:g_k(n-N)
= e^{-i \frac{2\pi k}{N} (n-N)}
= e^{-i \frac{2\pi k}{N} n} e^{i 2\pi k}
= e^{-i \frac{2\pi k}{N} n} \cdot 1
= g_k(n)
となり、g_k(n)
 も x[n] と同じ周期 N の周期関数と見做せる。そのため「無限長の総和」が「同じ値をもつ『長さ N の部分和』の無限倍」と見做せる。すなわち周期信号のDTFTは以下の形になる：
:X(\omega) =
\begin{cases}
\infty \cdot \sum_{n=0}^{N-1} x[n] \,e^{-i \omega n}, & \text{if } \omega = \frac{2\pi k}{N}, \quad k \in \Z \\
0,                                                & \text{otherwise}
\end{cases}


これは離散フーリエ変換（DFT）としばしば対比される。

## 逆変換
は離散時間フーリエ変換表現から離散時間信号を求める演算である。

離散時間信号 x[n]、正規化角周波数 \omega、DTFT表現 X(\omega) を用いて、IDTFT は次式で定義される：

:\begin{align}
x[n] &= \frac{1}{2 \pi}\int_{-\pi}^{\pi} X(\omega)\cdot e^{i \omega n} \, d \omega \\
     &= T \int_{-\frac{1}{2T}}^{\frac{1}{2T}} X_T(f)\cdot e^{i 2 \pi f nT}\, df \\
\end{align}


積分区間はDTFTの一周期全体であり、これは {x[n]} の標本群がDTFTのフーリエ級数展開の係数でもあることを示している。無限区間の積分では、この変換が通常のフーリエ変換の逆変換となり、ディラックのインパルスも復元する。すなわち次のようになる。

:\int_{-\infty}^\infty X_T(f)\cdot e^{i 2 \pi f t}\, df \ = \ x_T(t) \ =\ \sum_{n=-\infty}^{\infty} x[n]\cdot \delta(t - n T)

## 他の変換との関係

### 他のフーリエ変換との関係
基本的にDTFTはフーリエ級数の逆であり、後者は継続的だが、周期的入力と離散スペクトルを持っている。これら2つの変換の応用は全く異なる。

DFT と DTFT は、標準の連続フーリエ変換を離散的データに適用しようとして自然に生まれたと見ることもできる。そういった観点では、単に入力形式が異なるだけで、変換そのものは同じである。
* 入力が離散的なら、フーリエ変換は DTFT となる。
* 入力が周期的なら、フーリエ変換はフーリエ級数となる。
* 入力が離散的かつ周期的なら、フーリエ変換は DFT となる。

#### DFTとの関係

DTFTの数値的評価では、有限長のシーケンスが明らかに必要とされる。実際、長いシーケンスは矩形窓関数で修正され、次のようになる。

:X(\omega) = \sum_{n=0}^{L-1} x[n] \,e^{-i \omega n}\,, &nbsp; ここで L\, は修正されたシーケンス長である。

これは、修正前のシーケンスのスペクトルの便利な近似として使われる。これによって解像度が悪くなるが、L を増やすことで改善される。

X(\omega) を (2π) の一周期上に一様に分布する任意の (N) 個の周波数で評価するのが一般的である。

:\omega_k = \frac{2 \pi }{N} k\,, &nbsp; &nbsp; ここで k =  0, 1, \dots, N-1 \,

これにより、次が得られる。

:X[k] = X(\omega_k) = \sum_{n=0}^{L-1} x[n] \,e^{-i 2 \pi \frac{k}{N} n}

N \ge L\, であるとき、次のようにも表せる。

X[k] = \sum_{n=0}^{N-1} x[n] \,e^{-i 2 \pi \frac{k}{N} n}, &nbsp; 何故なら n \ge L\, について x[n] = 0\, と定義するため。

このように変形すると、X[k]\, のシーケンスは離散フーリエ変換（DFT）となる。N はDTFTを標本化する際の解像度と定義され、L はDTFT自体の固有解像度である。したがって、通常これらはほぼ同じ値である。N > L を選択するのが一般的だが、値がゼロの項を総和に含める理由は、DFTを計算する高速フーリエ変換アルゴリズムを利用できるためである。そのことを強調する場合、「ゼロパディングDFT」あるいは「内挿DFT」と呼ぶ。しかし、値がゼロの項を使わずに単純に計算しても全く同じDFTが得られる。N  の場合のDTFTも計算でき、その場合はDFTとは等価ではない。

N > L が一般的であることを示すため、次のシーケンスを考える。

:x[n] = e^{i 2\pi \frac{1}{8} n}, ここで L=64

下に示した2つの図は、ラベルで示される通り、異なるサイズのDFTを図示したものである。どちらの場合も支配的な周波数成分は f = \begin{matrix} \frac{1}{8}\end{matrix} = 0.125\, である。右の図に表れているパターンは、L=64 の矩形窓関数のスペクトル漏れである。左側の図がこのようになっているのは、右の図のゼロと交差している点と標本化した点が重なっている結果である。これは、有限長シーケンスのDTFTというよりも、無限に続く正弦波のような印象を与える。このような図になる原因は、矩形窓関数の使用と、64個の標本あたり8個という整数個の周期になるような周波数を選択しているためである（\begin{matrix} \frac{1}{8}\end{matrix} = \begin{matrix} \frac{8}{64}\end{matrix}）。

### Z変換との関係
DTFT はZ変換の特殊ケースである。両側Z変換は次のように定義される。

:X(z) = \sum_{n=-\infty}^{\infty} x[n] \,z^{-n}

DTFT は z = e^{i \omega}\, の場合である。このとき |e^{i \omega}| = 1\, なので、これは複素平面での単位円付近でのZ変換の評価である。

### 標本化変換との関係
名称が暗に示している通り、{x[n]} は連続時間関数 x(t)\, の値（標本）を表している。このときの標本化間隔を T\, としたとき、各標本の採取時刻は t = nT\quad であり、1/T = f_s\, がサンプリング周波数となる。DTFTは次の連続時間フーリエ変換の近似である。

: X(f) = \int_{-\infty}^\infty x(t)\cdot e^{- i 2\pi f t}\,dt 

標本化定理で示されるように、次のくし型関数の変調に x(nT)\, の値を使用すると見ることもできる。

:\Delta_T(t) = T\sum_{n=-\infty}^{\infty} \delta(t - nT) \ 

その場合得られる関数のフーリエ変換は、f_s \, の間隔で重ね合わせられた X(f)\, のコピーの総和である。

:X_\mathrm{T}(f) = \sum_{k = -\infty}^{\infty} X(f - {k f_s}) 

以下で示すように、これは周期関数のDTFTである。そして、ある明白な条件下で、k=0 の項はほとんど全く他の項からの歪み（折り返し雑音）が観測されない。変調されたくし型関数は次の通りである。

:x_\mathrm{T}(t) = T \sum_{n=-\infty}^{\infty} x(nT)\, \delta(t - n T)

したがって、

: \begin{align}
X_\mathrm{T}(f)
& = \int_{-\infty}^\infty \left[T \sum_{n=-\infty}^{\infty} x(nT)\, \delta(t - n T)\right] e^{- i 2\pi f t}\,dt \\
& = \sum_{n=-\infty}^{\infty} T\cdot x(nT) \int_{-\infty}^\infty \left[\delta(t - n T)\cdot e^{- i 2\pi f t}\right]\,dt \\
& = \sum_{n=-\infty}^{\infty} T\cdot x(nT) \cdot e^{- i 2\pi f n T}
\end{align}


このとき次が成り立つ。

:x[n] = T \cdot x(nT)\,
:\omega = 2\pi f T = 2 \pi \frac{f}{f_s}

つまり X_\mathrm{T}(f)\, は X(\omega)\, と同じである。

ここで、f\, は通常の周波数（単位時間当たりの周期数）であり、f_s\, はサンプリング周波数（単位時間当たりの標本数）であるから、f / f_s\, は「標本当たりの周期数」を意味する。これを正規化周波数（normalized frequency）と呼ぶ。上で定義されている \omega\, も正規化周波数だが、こちらの単位は「標本当たりのラジアン」である。正規化周波数は、期間 2\pi の周期を持つ関数 X(\omega) で表されるという特徴がある。そのため、逆変換では 2\pi の期間のみを評価すればよい。

## 例
下表は典型的な変換を示したものである。
* n \! は離散時間領域（標本）を表現する整数である。
* \omega \! は (-\pi,\ \pi) の範囲内の実数であり、連続角周波数（標本当たりのラジアン）を表す。
** それ以外 (|\omega| > \pi \,) の変換は、X(\omega + 2\pi k) = X(\omega)\, で定義される。
* u[n] \! は離散時間単位ステップ関数である。
* \operatorname{sinc}(t) \! は正規化Sinc関数である。
* \delta (\omega) \! はディラックのデルタ関数である。
* \delta [n] \! はクロネッカーのデルタ \delta_{n,0} \! である。
*  \operatorname{rect}(t)  は、任意の実数値 *t* に関する次のような矩形関数である。
**\mathrm{rect}(t) = \sqcap(t) = \begin{cases}
0           & \mbox{if } |t| > \frac{1}{2} \\[3pt]
\frac{1}{2} & \mbox{if } |t| = \frac{1}{2} \\[3pt]
1           & \mbox{if } |t| 
* \operatorname{tri}(t)  は任意の実数値 *t* に関する次のような三角形関数である。
**\operatorname{tri}(t) = \land (t) = 
\begin{cases}
1 + t; & - 1 \leq t \leq 0 \\
1 - t; & 0 

## 脚注

### 注釈

### 出典

## 参考文献
* 
* 
* 
* 

## 関連項目
* フーリエ変換
* 離散信号