跳到主要内容

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

Author

itsuitsuki

Description

Let us define the Fourier transform F[x(t)]\mathcal{F}[x(t)] of a real function x(t)x(t) and the inverse Fourier transform F1[X(ω)]\mathcal{F}^{-1}[X(\omega)] of a function X(ω)X(\omega) with the following formulas, where tt and ω\omega denote real numbers, and j=1j = \sqrt{-1}.

F[x(t)]=x(t)ejωtdtF1[X(ω)]=12πX(ω)ejωtdω\mathcal{F}[x(t)] = \int_{-\infty}^{\infty} x(t)e^{-j\omega t} \mathrm d t \\ \mathcal{F}^{-1}[X(\omega)] = \frac{1}{2\pi} \int_{-\infty}^{\infty} X(\omega)e^{j\omega t} \mathrm d\omega

Answer the following questions, where T0,ω0T_0, \omega_0, and TT denote positive constants.

Q.1

Prove that the following equation holds for real functions f(t)f(t) and g(t)g(t), where * denotes convolution.

F[f(t)g(t)]=12πF[f(t)]F[g(t)]\mathcal{F}[f(t)g(t)] = \frac{1}{2\pi} \mathcal{F}[f(t)] * \mathcal{F}[g(t)]

Q.2

Compute the Fourier transform of the functions given below. (1) x1(t)=12(sgn(T0t)+sgn(T0+t))x_1(t) = \frac{1}{2}(\text{sgn}(T_0 - t) + \text{sgn}(T_0 + t)),

where sgn(t)={1(t<0)0(t=0)1(t>0)\text{where } \text{sgn}(t) = \begin{cases} -1 & (t < 0) \\ 0 & (t = 0) \\ 1 & (t > 0) \end{cases}

(2) x2(t)={sinω0tπt(t0)ω0π(t=0)x_2(t) = \begin{cases} \frac{\sin \omega_0 t}{\pi t} & (t \neq 0) \\ \frac{\omega_0}{\pi} & (t = 0) \end{cases}

Q.3

Let xs(t,T)=x2(t)δT(t)x_s(t, T) = x_2(t)\delta_T(t) be a signal sampled from x2(t)x_2(t) in Q.2 using a comb function δT(t)=k=δ(tkT)\delta_T(t) = \sum_{k=-\infty}^{\infty} \delta(t - kT), where δ(t)\delta(t) denotes the Dirac delta function. Answer the following questions. You may use that F[δT(t)]=1Tk=δ(ωkT)\mathcal{F}[\delta_T(t)] = \frac{1}{T} \sum_{k=-\infty}^{\infty} \delta(\omega - \frac{k}{T}) holds.

(1) Draw the graph of F[xs(t,13ω0)]\mathcal{F}[x_s(t, \frac{1}{3\omega_0})] in the range of ω3ω0|\omega| \leq 3\omega_0.

(2) Show the condition for TT to satisfy F[x2(t)]=F[xs(t,T)]\mathcal{F}[x_2(t)] = \mathcal{F}[x_s(t, T)] in the range of ωω0|\omega| \leq \omega_0.

(3) Draw the graph of F[xs(t,23ω0)]\mathcal{F}[x_s(t, \frac{2}{3\omega_0})] in the range of ω3ω0|\omega| \leq 3\omega_0.

(4) Draw the graph of F1[Xs(ω)]\mathcal{F}^{-1}[X_s(\omega)] in the range of tπω0|t| \leq \frac{\pi}{\omega_0}. Xs(ω)X_s(\omega) is given below.

Xs(ω)={F[xs(t,23ω0)](ωω0)0(ω>ω0)X_s(\omega) = \begin{cases} \mathcal{F}[x_s(t, \frac{2}{3\omega_0})] & (|\omega| \leq \omega_0) \\ 0 & (|\omega| > \omega_0) \end{cases}

题目描述

连续时间 Fourier 变换及其逆变换定义为

F[x(t)]=x(t)ejωtdt,F1[X(ω)]=12πX(ω)ejωtdω.\mathcal{F}[x(t)]=\int_{-\infty}^{\infty}x(t)e^{-j\omega t}\,dt,\qquad \mathcal{F}^{-1}[X(\omega)]=\frac{1}{2\pi}\int_{-\infty}^{\infty}X(\omega)e^{j\omega t}\,d\omega.
  1. 证明时域乘积的 Fourier 变换满足

    F[f(t)g(t)]=12π(F[f(t)]F[g(t)]),\mathcal{F}[f(t)g(t)] =\frac{1}{2\pi}\bigl(\mathcal{F}[f(t)]*\mathcal{F}[g(t)]\bigr),

    其中 * 表示卷积。

  2. 求下列两个信号的 Fourier 变换:

    x1(t)=12{sgn(T0t)+sgn(T0+t)},x_1(t)=\frac12\{\operatorname{sgn}(T_0-t)+\operatorname{sgn}(T_0+t)\},

    其中符号函数 sgn()\operatorname{sgn}(\cdot) 按题中定义取值;以及

    x2(t)={sinω0tπt(t0),ω0π(t=0).x_2(t)= \begin{cases} \dfrac{\sin\omega_0t}{\pi t} & (t\ne0),\\[4pt] \dfrac{\omega_0}{\pi} & (t=0). \end{cases}
  3. 用冲激梳

    δT(t)=k=δ(tkT)\delta_T(t)=\sum_{k=-\infty}^{\infty}\delta(t-kT)

    x2(t)x_2(t) 采样,令 xs(t,T)=x2(t)δT(t)x_s(t,T)=x_2(t)\delta_T(t)。可使用

    F[δT(t)]=1Tk=δ(ωkT).\mathcal{F}[\delta_T(t)] =\frac1T\sum_{k=-\infty}^{\infty}\delta\left(\omega-\frac{k}{T}\right).

    (1)在 ω3ω0|\omega|\leq3\omega_0 范围内画出 F[xs(t,13ω0)]\mathcal{F}[x_s(t,\frac{1}{3\omega_0})];(2)求使得在 ωω0|\omega|\leq\omega_0F[x2(t)]=F[xs(t,T)]\mathcal{F}[x_2(t)]=\mathcal{F}[x_s(t,T)] 成立的 TT 的条件;(3)在 ω3ω0|\omega|\leq3\omega_0 范围内画出 F[xs(t,23ω0)]\mathcal{F}[x_s(t,\frac{2}{3\omega_0})];(4)定义

    Xs(ω)={F[xs(t,23ω0)](ωω0),0(ω>ω0),X_s(\omega)= \begin{cases} \mathcal{F}[x_s(t,\frac{2}{3\omega_0})] & (|\omega|\leq\omega_0),\\ 0 & (|\omega|>\omega_0), \end{cases}

    tπω0|t|\leq\frac{\pi}{\omega_0} 范围内画出 F1[Xs(ω)]\mathcal{F}^{-1}[X_s(\omega)]

考点

  • Fourier 变换的乘积—卷积定理:依据变换与逆变换定义证明时域乘法对应频域卷积。
  • 矩形脉冲与 sinc 信号变换对:识别有限宽矩形信号和理想低通信号的 Fourier 变换。
  • 采样定理与混叠:分析冲激采样造成的频谱周期复制、重叠条件及截频后的逆变换。