跳到主要内容

京都大学 情報学研究科 知能情報学専攻 2023年8月実施 専門科目 S-5

Author

祭音Myyura

Description

設問1

2次元信号 f(x,y)f(x, y) の2次元フーリエ変換を

F(u,v)=f(x,y)ej(ux+vy)dxdyF(u, v) = \iint_{-\infty}^{\infty} f(x, y) e^{-j(ux+vy)} dxdy

とする。ただし jj は虚数単位である。 また f(x,y)f(x, y) のある軸 ll への投影を、軸 ll 上の各点における、ll に垂直な直線に沿った f(x,y)f(x, y) の線積分とする。以下の問いに答えよ。

(1) f(x,y)f(x, y)xx 軸に投影した信号 p(x)p(x) の1次元フーリエ変換を、F(u,v)F(u, v) を用いて表せ。

(2) 原点を中心として xx 軸を反時計回りに角度 θ\theta 回転して得られた ss 軸上に f(x,y)f(x, y) を投影した信号を pθ(s)p_\theta(s) とする。 pθ(s)p_\theta(s)ss についての1次元フーリエ変換を F(u,v)F(u, v) を用いて表せ。

設問2

長さ NN の離散時間信号 x[n]x[n]NN 点離散フーリエ変換 X[k]X[k]

X[k]=n=0N1x[n]WNkn,WN=ej2πNX[k] = \sum_{n=0}^{N-1} x[n] W_N^{kn}, \quad W_N = e^{-j\frac{2\pi}{N}}

とする。ただし jj は虚数単位、n,k=0,,N1n, k = 0, \ldots, N-1 であり、NN は正の偶数とする。以下の問いに答えよ。

(1) 観測系列 x0[n]={x0[0],x0[1],x0[2],x0[3]}={1,2,1,2}x_0[n] = \{x_0[0], x_0[1], x_0[2], x_0[3]\} = \{1, 2, 1, -2\} を、ある信号を 4000Hz で等間隔にサンプリングすることで得たとする。 x0[n]x_0[n] の4点離散フーリエ変換を計算し、周波数(Hz)に対応する振幅スペクトルおよび位相スペクトルを図示せよ。

(2) 2つの要素数 NN の実数値系列 x1[n]x_1[n] および x2[n]x_2[n]NN 点離散フーリエ変換を、1回の NN 点離散フーリエによって計算する方法を導出せよ。

(3) 要素数 2N2N の実数値系列の 2N2N 点離散フーリエ変換を、1回の NN 点離散フーリエ変換によって計算する方法を導出せよ。

题目描述

  1. 二维信号的 Fourier 变换为

    F(u,v)=f(x,y)ej(ux+vy)dxdy.F(u,v)=\iint f(x,y)e^{-j(ux+vy)}\,dx\,dy.

    向某轴的投影定义为沿垂直该轴的直线对 ff 作线积分。

    1. p(x)p(x) 为向 xx 轴的投影,用 F(u,v)F(u,v) 表示 pp 的一维 Fourier 变换。
    2. xx 轴绕原点逆时针旋转 θ\thetass 轴,向其投影为 pθ(s)p_\theta(s)。用 F(u,v)F(u,v) 表示它关于 ss 的一维 Fourier 变换。
  2. 长度 NN(正偶数)的序列 x[n]x[n] 的 DFT 为

    X[k]=n=0N1x[n]WNkn,WN=ej2π/N.X[k]=\sum_{n=0}^{N-1}x[n]W_N^{kn},\qquad W_N=e^{-j2\pi/N}.
    1. x0={1,2,1,2}x_0=\{1,2,1,-2\}4000Hz4000\,\mathrm{Hz} 等间隔采样得到。计算 4 点 DFT,并按对应 Hz 画振幅谱、相位谱。
    2. 推导如何用一次 NN 点 DFT 同时计算两个长度 NN 的实序列 x1,x2x_1,x_2 的 DFT。
    3. 推导如何用一次 NN 点 DFT 计算长度 2N2N 的实序列的 2N2N 点 DFT。

Kai

設問1

(1)

By the definition of projection, we have

p(x)=f(x,y)dyp(x) = \int_{-\infty}^{\infty}f(x,y)dy

hence the 1D Fourier transform of p(x)p(x) is

(f(x,y)dy)ejuxdx=f(x,y)ej(ux+0y)dxdy=F(u,0)\int_{-\infty}^{\infty}\left(\int_{-\infty}^{\infty}f(x,y)dy\right)e^{-jux}dx = \int_{-\infty}^{\infty}\int_{-\infty}^{\infty}f(x,y)e^{-j(ux+0\cdot y)}dxdy = F(u, 0)

(2)

Let (s,t)(s,t) be coordinates along the axis rotated counterclockwise by θ\theta and its perpendicular axis. Then

(st)=(cosθsinθsinθcosθ)(xy){x=scosθtsinθy=ssinθ+tcosθ\begin{pmatrix} s\\ t \end{pmatrix} = \begin{pmatrix} \cos\theta&\sin\theta\\ -\sin\theta&\cos\theta \end{pmatrix} \begin{pmatrix} x\\ y \end{pmatrix} \Rightarrow \begin{cases} x = s\cos\theta-t\sin\theta\\ y = s\sin\theta+t\cos\theta \end{cases}

by calculating the Jacobian determinant

J=cosθsinθsinθcosθ=cos2θ+sin2θ=1J = \begin{vmatrix} \cos\theta&-\sin\theta\\ \sin\theta&\cos\theta \end{vmatrix} = \cos^{2}\theta+\sin^{2}\theta = 1

we have dxdy=dsdtdxdy=dsdt. Hence the 1D Fourier transform of pθ(s)p_{\theta}(s) is

(f(scosθtsinθ,ssinθ+tcosθ)dt)ejusds=f(x,y)eju(xcosθ+ysinθ)dxdy=F(ucosθ,usinθ).\begin{aligned} \int_{-\infty}^{\infty}\left(\int_{-\infty}^{\infty}f(s\cos\theta-t\sin\theta,s\sin\theta+t\cos\theta)dt\right)e^{-jus}ds &= \int_{-\infty}^{\infty}\int_{-\infty}^{\infty}f(x,y)e^{-ju(x\cos\theta+y\sin\theta)}dxdy\\ &= F(u\cos\theta, u\sin\theta). \end{aligned}

設問2

(1)

The 4-point discrete Fourier transform of x0[n]x_0[n]:

(X[0]X[1]X[2]X[3])=(W40W40W40W40W40W41W42W43W40W42W44W46W40W43W46W49)(x[0]x[1]x[2]x[3])=(11111j1j11111j1j)(1212)=(24j24j)\begin{pmatrix} X[0]\\ X[1]\\ X[2]\\ X[3] \end{pmatrix} = \begin{pmatrix} W_{4}^{0}&W_{4}^{0}&W_{4}^{0}&W_{4}^{0}\\ W_{4}^{0}&W_{4}^{1}&W_{4}^{2}&W_{4}^{3}\\ W_{4}^{0}&W_{4}^{2}&W_{4}^{4}&W_{4}^{6}\\ W_{4}^{0}&W_{4}^{3}&W_{4}^{6}&W_{4}^{9} \end{pmatrix} \begin{pmatrix} x[0]\\ x[1]\\ x[2]\\ x[3] \end{pmatrix} = \begin{pmatrix} 1&1&1&1\\ 1&-j&-1&j\\ 1&-1&1&-1\\ 1&j&-1&-j \end{pmatrix} \begin{pmatrix} 1\\ 2\\ 1\\ -2 \end{pmatrix} = \begin{pmatrix} 2\\ -4j\\ 2\\ 4j \end{pmatrix}
Fig. magnitude and phase spectra

The phase labels at 10001000 Hz and 30003000 Hz in the figure are interchanged. With phases in [0,2π)[0,2\pi), the correct spectra are

f (Hz)0100020003000X[k]2424argX[k]03π/20π/2\begin{array}{c|cccc} f\ (\mathrm{Hz})&0&1000&2000&3000\\ \hline |X[k]|&2&4&2&4\\ \arg X[k]&0&3\pi/2&0&\pi/2 \end{array}

(2)

X[k]=n=0N1x[n]WNkn=n=0N1x[n]cos(2π2πknN)+jn=0N1x[n]sin(2π2πknN)=n=0N1x[n]cos2πn(Nk)N+jn=0N1x[n]sin2πn(Nk)N=Re X[Nk]jIm X[Nk]\begin{aligned} X[k] &= \sum_{n=0}^{N-1}x[n]W_{N}^{kn}\\ &= \sum_{n=0}^{N-1}x[n]\cos\left(2\pi-\frac{2\pi kn}{N}\right) + j\sum_{n=0}^{N-1}x[n]\sin\left(2\pi-\frac{2\pi kn}{N}\right)\\ &= \sum_{n=0}^{N-1}x[n]\cos\frac{2\pi n(N-k)}{N} + j\sum_{n=0}^{N-1}x[n]\sin\frac{2\pi n(N-k)}{N}\\ &= \text{Re } X[N-k]-j\text{Im } X[N-k] \end{aligned}

which implies that

{Re X[k]=Re X[Nk]Im X[k]=Im X[Nk]\begin{align} \begin{cases} \text{Re } X[k] = \text{Re } X[N-k]\\ \text{Im } X[k] = -\text{Im } X[N-k] \end{cases} \tag{j} \end{align}

Let y[n]=x1[n]+jx2[n]y[n] = x_{1}[n]+j x_{2}[n]. Let X1[k],X2[k],Y[k]X_{1}[k],X_{2}[k],Y[k] denote the discrete Fourier transform of x1[n],x2[n],ynx_{1}[n],x_{2}[n],y_{n}, respectively. Then,

Y[k]=n=0N1(x1[n]+jx2[n])WNkn=n=0N1x1[n]WNkn+jn=0N1x2[n]WNkn=X1[k]+jX2[k]=(Re X1[k]+jIm X1[k])+j(Re X2[k]+jIm X2[k])=(Re X1[k]Im X2[k])+j(Im X1[k]+Re X2[k])\begin{align} Y[k] &= \sum_{n=0}^{N-1}(x_{1}[n]+j x_{2}[n])W_{N}^{kn} \nonumber \\ &= \sum_{n=0}^{N-1}x_{1}[n]W_{N}^{kn}+j\sum_{n=0}^{N-1}x_{2}[n]W_{N}^{kn} \nonumber \\ &= X_{1}[k]+jX_{2}[k] \nonumber \\ &= (\text{Re } X_{1}[k]+j\text{Im } X_{1}[k])+j(\text{Re } X_{2}[k]+j \text{Im } X_{2}[k]) \nonumber \\ &= (\text{Re } X_{1}[k]-\text{Im } X_{2}[k])+j(\text{Im } X_{1}[k]+\text{Re } X_{2}[k]) \tag{ii} \end{align}

By (j) we know that (with indices understood modulo NN)

Y[Nk]=(Re X1[Nk]Im X2[Nk])+j(Im X1[Nk]+Re X2[Nk])=(Re X1[k]+Im X2[k])+j(Im X1[k]+Re X2[k])\begin{align} Y[N-k] &= (\text{Re } X_{1}[N-k]-\text{Im } X_{2}[N-k])+j(\text{Im } X_{1}[N-k]+\text{Re } X_{2}[N-k]) \nonumber \\ &= (\text{Re } X_{1}[k]+\text{Im } X_{2}[k])+j(-\text{Im } X_{1}[k]+\text{Re } X_{2}[k]) \tag{iii} \end{align}

and by (ii), (iii) we have

{X1[k]=Re Y[k]+Re Y[Nk]2+jIm Y[k]Im Y[Nk]2X2[k]=Im Y[k]+Im Y[Nk]2jRe Y[k]Re Y[Nk]2\begin{align} \begin{cases} \displaystyle X_{1}[k] = \frac{\text{Re } Y[k]+\text{Re } Y[N-k]}{2}+j\frac{\text{Im } Y[k]-\text{Im } Y[N-k]}{2}\\ \displaystyle X_{2}[k] = \frac{\text{Im } Y[k]+\text{Im } Y[N-k]}{2}-j\frac{\text{Re } Y[k]-\text{Re } Y[N-k]}{2} \end{cases} \tag{iv} \end{align}

(3)

Separate the even and odd samples into the two real sequences

a[n]=x[2n],b[n]=x[2n+1],0n<N.a[n]=x[2n],\qquad b[n]=x[2n+1],\qquad 0\leq n<N.

Use the method in (2) to obtain their NN-point DFTs A[k]A[k] and B[k]B[k] from one NN-point DFT of a[n]+jb[n]a[n]+jb[n]. Then, for 0k<N0\leq k<N,

X[k]=n=0N1a[n]W2N2kn+W2Nkn=0N1b[n]W2N2kn=A[k]+W2NkB[k],X[k+N]=A[k]+W2Nk+NB[k]=A[k]W2NkB[k].\begin{aligned} X[k] &=\sum_{n=0}^{N-1}a[n]W_{2N}^{2kn} +W_{2N}^{k}\sum_{n=0}^{N-1}b[n]W_{2N}^{2kn}\\ &=A[k]+W_{2N}^{k}B[k],\\ X[k+N] &=A[k]+W_{2N}^{k+N}B[k] =A[k]-W_{2N}^{k}B[k]. \end{aligned}

Thus all 2N2N DFT values are recovered from that single NN-point DFT.