東京工業大学 工学院 電気電子系 2018年8月実施 数学3
Author
祭音Myyura
Description
周期 N N N 点の実数の離散時間信号 f ( n ) f(n) f ( n ) を考える。式 ( 3.1 ) (3.1) ( 3.1 ) 定義される離散フーリエ変換 F ( k ) F(k) F ( k ) に関する以下の問に,導出過程も含めて答えよ。ただし、n n n ,および k k k は整数であり、N N N は自然数である。また、虚数単位を j j j で表す ( j 2 = − 1 ) (j^2 = -1) ( j 2 = − 1 ) 。
F ( k ) = ∑ n = 0 N − 1 f ( n ) e − j 2 π N k n \begin{align}
F(k) = \sum_{n = 0}^{N - 1}f(n)e^{-j\frac{2\pi}{N}kn} \tag{3.1}
\end{align} F ( k ) = n = 0 ∑ N − 1 f ( n ) e − j N 2 π kn ( 3.1 )
(1) f ( n ) f(n) f ( n ) の離散フーリエ変換を考える。
(2) ある整数 m m m に対して f ( n − m ) f(n - m) f ( n − m ) の離散フーリエ変換が F ( k ) e − j 2 π N k m F(k)e^{-j\frac{2\pi}{N}km} F ( k ) e − j N 2 π km となることを示せ。
(3) 1 1 1 Hz 未満に帯域制限された連続時間信号 g ( t ) g(t) g ( t ) に対して、時刻 t = 0 t = 0 t = 0 からサンプリング周波数 2 2 2 Hz で 2 2 2 秒間サンプリングしたところ、[ 3 , 0 , 1 , 2 ] [3,0,1,2] [ 3 , 0 , 1 , 2 ] の離散時間信号を得た。
(a) 得られた離散時間信号を f ( n ) f(n) f ( n ) (ただし、n = 0 , 1 , 2 , 3 n = 0,1,2,3 n = 0 , 1 , 2 , 3 ) とし、k = 0 , 1 , 2 , 3 k = 0,1,2,3 k = 0 , 1 , 2 , 3 に対する F ( k ) F(k) F ( k ) をそれぞれ求めよ。
(b) (3) の (a) で導出した F ( k ) F(k) F ( k ) から、g ( t ) g(t) g ( t ) を求めよ。
Kai
(1)
(a)
∑ n = 0 N − 1 f ( − n ) e − j 2 π N k n = ∑ n = 0 N − 1 f ( N − n ) e − j 2 π N k ( N − n ) ( Substitute N − n with m ) = ∑ m = N 1 f ( m ) e j 2 π N k m \begin{aligned}
\sum_{n = 0}^{N - 1} f(-n)e^{-j\frac{2\pi}{N}kn} &= \sum_{n = 0}^{N - 1}f(N - n)e^{-j\frac{2\pi}{N}k(N - n)} \quad \big(\text{Substitute } N - n \text{ with } m) \\
&= \sum_{m = N}^1 f(m)e^{j\frac{2\pi}{N}km}
\end{aligned} n = 0 ∑ N − 1 f ( − n ) e − j N 2 π kn = n = 0 ∑ N − 1 f ( N − n ) e − j N 2 π k ( N − n ) ( Substitute N − n with m ) = m = N ∑ 1 f ( m ) e j N 2 π km
(b)
∑ m = N 1 f ( m ) e j 2 π N k m = ∑ m = 1 N f ( m ) e j 2 π N k m = ∑ m = 0 N − 1 f ( m ) e j 2 π N k m = ∑ n = 0 N − 1 f ( n ) e − j 2 π N ( − k ) n ( ∵ m → n ) = F [ − k ] \begin{aligned}
\sum_{m = N}^1 f(m)e^{j\frac{2\pi}{N}km} =& \sum_{m = 1}^N f(m)e^{j\frac{2\pi}{N}km} \\
=& \sum_{m = 0}^{N - 1} f(m) e^{j\frac{2\pi}{N}km} \\
=& \sum_{n = 0}^{N - 1} f(n) e^{-j\frac{2\pi}{N}(-k)n} \quad (\because m \rightarrow n) \\
=& F[-k]
\end{aligned} m = N ∑ 1 f ( m ) e j N 2 π km = = = = m = 1 ∑ N f ( m ) e j N 2 π km m = 0 ∑ N − 1 f ( m ) e j N 2 π km n = 0 ∑ N − 1 f ( n ) e − j N 2 π ( − k ) n ( ∵ m → n ) F [ − k ]
(2)
∑ n = 0 N − 1 f ( n − m ) e − j 2 π N k n = ∑ n = 0 N − 1 f ( n − m ) e − j 2 π N k ( n − m ) ⋅ e − j 2 π N k m ( Substitute n − m with n ′ ) = ∑ n ′ = − m N − 1 − m f ( n ′ ) e − j 2 π N k n ′ ⋅ e − j 2 π N k m = { ∑ n ′ = − m − 1 f ( n ′ ) e − j 2 π N k n ′ + ∑ n ′ = 0 N − 1 − m f ( n ′ ) e − j 2 π N k n ′ } e − j 2 π N k m \begin{aligned}
&\sum_{n = 0}^{N - 1}f(n - m)e^{-j\frac{2\pi}{N}kn} \\
=& \sum_{n = 0}^{N - 1}f(n - m)e^{-j\frac{2\pi}{N}k(n - m)} \cdot e^{-j\frac{2\pi}{N}km} \quad \big(\text{Substitute } n - m \text{ with } n'\big) \\
=& \sum_{n' = -m}^{N - 1 - m}f(n')e^{-j\frac{2\pi}{N}kn'} \cdot e^{-j\frac{2\pi}{N}km} \\
=& \bigg\{\sum_{n' = -m}^{-1}f(n')e^{-j\frac{2\pi}{N}kn'} + \sum_{n' = 0}^{N - 1 - m}f(n')e^{-j\frac{2\pi}{N}kn'}\bigg\}e^{-j\frac{2\pi}{N}km}
\end{aligned} = = = n = 0 ∑ N − 1 f ( n − m ) e − j N 2 π kn n = 0 ∑ N − 1 f ( n − m ) e − j N 2 π k ( n − m ) ⋅ e − j N 2 π km ( Substitute n − m with n ′ ) n ′ = − m ∑ N − 1 − m f ( n ′ ) e − j N 2 π k n ′ ⋅ e − j N 2 π km { n ′ = − m ∑ − 1 f ( n ′ ) e − j N 2 π k n ′ + n ′ = 0 ∑ N − 1 − m f ( n ′ ) e − j N 2 π k n ′ } e − j N 2 π km
第一項において、l = N + n ′ l = N + n' l = N + n ′ とすると、n ′ : − m → − 1 , l : N − m → N − 1 n':-m \rightarrow - 1,l: N - m \rightarrow N - 1 n ′ : − m → − 1 , l : N − m → N − 1 より、
∑ n ′ = − m − 1 f ( n ′ ) e − j 2 π N k n ′ = ∑ l = N − m N − 1 f ( l − N ) e − j 2 π N k ( l − n ) = ∑ n = N − m N − 1 f ( n ) e − j 2 π N k n \begin{aligned}
\sum_{n' = -m}^{-1} f(n')e^{-j\frac{2\pi}{N}kn'} &= \sum_{l = N - m}^{N - 1}f(l - N)e^{-j\frac{2\pi}{N}k(l - n)} \\
&= \sum_{n = N - m}^{N - 1}f(n)e^{-j\frac{2\pi}{N}kn}
\end{aligned} n ′ = − m ∑ − 1 f ( n ′ ) e − j N 2 π k n ′ = l = N − m ∑ N − 1 f ( l − N ) e − j N 2 π k ( l − n ) = n = N − m ∑ N − 1 f ( n ) e − j N 2 π kn
よって、
∑ n = 0 N − 1 f ( n − m ) e − j 2 π N k n = { ∑ n = N − m f ( n ) e − j 2 π N k n + ∑ n = 0 N − 1 − m f ( n ) e − j 2 π N k n } e − j 2 π N k m = ∑ n = 0 N − 1 f ( n ) e − j 2 π N k n ⋅ e − j 2 π N k m = F ( k ) e − j 2 π N k m \begin{aligned}
&\sum_{n = 0}^{N - 1}f(n - m)e^{-j\frac{2\pi}{N}kn} \\
=& \bigg\{\sum_{n = N - m} f(n) e^{-j\frac{2\pi}{N}kn} + \sum_{n = 0}^{N - 1 - m}f(n)e^{-j\frac{2\pi}{N}kn}\bigg\} e^{-j\frac{2\pi}{N}km} \\
=& \sum_{n = 0}^{N - 1} f(n)e^{-j\frac{2\pi}{N}kn} \cdot e^{-j\frac{2\pi}{N}km} \\
=& F(k)e^{-j\frac{2\pi}{N}km}
\end{aligned} = = = n = 0 ∑ N − 1 f ( n − m ) e − j N 2 π kn { n = N − m ∑ f ( n ) e − j N 2 π kn + n = 0 ∑ N − 1 − m f ( n ) e − j N 2 π kn } e − j N 2 π km n = 0 ∑ N − 1 f ( n ) e − j N 2 π kn ⋅ e − j N 2 π km F ( k ) e − j N 2 π km
(3)
(a)
F [ k ] = ∑ n = 0 3 f ( n ) e − j 2 π N k n F [ 0 ] = 3 + 0 − 1 + 2 = 4 F [ 1 ] = 3 + 1 + 2 j = 4 + 2 j F [ 2 ] = 3 − 1 − 2 = 0 F [ 3 ] = 3 + 1 − 2 j = 4 − 2 j \begin{aligned}
F[k] &= \sum_{n = 0}^3 f(n)e^{-j\frac{2\pi}{N}kn} \\
F[0] &= 3 + 0 - 1 + 2 = 4 \\
F[1] &= 3 + 1 + 2j = 4 + 2j \\
F[2] &= 3 - 1 - 2 = 0 \\
F[3] &= 3 + 1 - 2j = 4 - 2j \\
\end{aligned} F [ k ] F [ 0 ] F [ 1 ] F [ 2 ] F [ 3 ] = n = 0 ∑ 3 f ( n ) e − j N 2 π kn = 3 + 0 − 1 + 2 = 4 = 3 + 1 + 2 j = 4 + 2 j = 3 − 1 − 2 = 0 = 3 + 1 − 2 j = 4 − 2 j
(b)
F [ k ] F[k] F [ k ] は、fs × k N [ Hz ] \text{fs} \times \frac{k}{N} \ [\text{Hz}] fs × N k [ Hz ] の成分を表す。fs = 2 [ Hz ] \text{fs} = 2 \ [\text{Hz}] fs = 2 [ Hz ] , N = 4 N = 4 N = 4 より、1 2 k [ Hz ] \frac{1}{2}k \ [\text{Hz}] 2 1 k [ Hz ] の成分となる。
(i) k = 0 k = 0 k = 0 のとき (0 [ Hz ] 0 \ [\text{Hz}] 0 [ Hz ] 、DC成分)、F ( 0 ) = 4 ≠ 0 F(0) = 4 \neq 0 F ( 0 ) = 4 = 0 より、DC成分を有する。
(ii) k = 1 k = 1 k = 1 のとき (1 2 [ Hz ] \frac{1}{2} \ [\text{Hz}] 2 1 [ Hz ] )、F ( 1 ) = 4 + 2 j ≠ 0 F(1) = 4 + 2j \neq 0 F ( 1 ) = 4 + 2 j = 0 より、sin , cos \sin,\cos sin , cos 成分を有する。
(iii) k = 1 k = 1 k = 1 のとき (1 [ Hz ] 1 \ [\text{Hz}] 1 [ Hz ] )、F ( 2 ) = 0 F(2) = 0 F ( 2 ) = 0 より、成分なし。
よって、g ( t ) g(t) g ( t ) は、DC および、1 2 [ Hz ] \frac{1}{2} \ [\text{Hz}] 2 1 [ Hz ] の sin , cos \sin,\cos sin , cos 成分からなる。
1 2 [ Hz ] \frac{1}{2} \ [\text{Hz}] 2 1 [ Hz ] の成分について、w t = 2 π f t = π t wt = 2\pi ft = \pi t wt = 2 π f t = π t 、g ( t ) = A + B cos π t + C cos π t g(t) = A + B\cos\pi t + C\cos \pi t g ( t ) = A + B cos π t + C cos π t より、t = [ 0 , 1 2 , 1 , 3 2 ] t = [0,\frac{1}{2},1,\frac{3}{2}] t = [ 0 , 2 1 , 1 , 2 3 ] と f ( n ) = [ 3 , 0 , − 1 , 2 ] f(n) = [3,0,-1,2] f ( n ) = [ 3 , 0 , − 1 , 2 ] が対応し、
{ g ( 0 ) = A + B = 3 g ( 1 2 ) = A + C = 0 g ( 1 ) = A − B = − 1 ⇒ { A = 1 B = 2 C = − 1 \left \{
\begin{aligned}
&g(0) = A + B = 3 \\
&g(\frac{1}{2}) = A + C = 0 \\
&g(1) = A - B = -1 \\
\end{aligned}
\right. \Rightarrow
\left \{
\begin{aligned}
&A = 1 \\
&B = 2 \\
&C = -1 \\
\end{aligned}
\right. ⎩ ⎨ ⎧ g ( 0 ) = A + B = 3 g ( 2 1 ) = A + C = 0 g ( 1 ) = A − B = − 1 ⇒ ⎩ ⎨ ⎧ A = 1 B = 2 C = − 1
従って、
g ( t ) = 1 + 2 cos π t − sin π t g(t) = 1 + 2\cos\pi t - \sin\pi t g ( t ) = 1 + 2 cos π t − sin π t