卷积定理：时域卷积等于频域乘积的严格证明

卷积定理是信号处理与傅里叶分析中的基石，它建立了时域卷积与频域乘积之间的精确等价关系。

1. 理解核心操作与定义

要证明定理，必须先精确掌握两个核心操作的数学定义。

• 傅里叶变换：将一个时间或空间域的信号 $x(t)$ 转化为其频率域的表示 $X(f)$。
  定义：$X(f) = \int_{-\infty}^{\infty} x(t) e^{-i 2\pi f t} dt$。
  这个积分公式是所有推导的起点，它将时间 $t$ 和频率 $f$ 联系起来。

• 逆傅里叶变换：将频率域的信号 $X(f)$ 反变换回时间域。
  定义：$x(t) = \int_{-\infty}^{\infty} X(f) e^{i 2\pi f t} df$。
  它是傅里叶变换的逆过程。

• 连续卷积：两个函数 $x(t)$ 和 $h(t)$ 的卷积，记作 $(x * h)(t)$。
  定义：$(x * h)(t) = \int_{-\infty}^{\infty} x(\tau) h(t - \tau) d\tau$。
  这个操作在时域描述了信号经过线性时不变系统后的输出。

2. 证明步骤：从时域卷积出发

我们的目标是证明：卷积的傅里叶变换等于各自傅里叶变换的乘积，即 $\mathcal{F}\{(x * h)(t)\} = X(f) \cdot H(f)$。

1. 写出卷积的傅里叶变换表达式。
   根据傅里叶变换的定义，直接对卷积函数进行变换：
   $$\mathcal{F}\{(x * h)(t)\} = \int_{-\infty}^{\infty} \left( \int_{-\infty}^{\infty} x(\tau) h(t - \tau) d\tau \right) e^{-i 2\pi f t} dt$$

2. 交换积分次序。
   在满足一定条件（如函数绝对可积）下，可以安全地交换两个积分的顺序。这是关键一步，我们将先对 $t$ 积分变为先对 $\tau$ 积分。
   $$\int_{-\infty}^{\infty} x(\tau) \left( \int_{-\infty}^{\infty} h(t - \tau) e^{-i 2\pi f t} dt \right) d\tau$$

3. 进行变量代换以简化内层积分。
   观察内层积分 $\int_{-\infty}^{\infty} h(t - \tau) e^{-i 2\pi f t} dt$。令 $u = t - \tau$，则 $t = u + \tau$， $dt = du$。当 $t \to \pm\infty$ 时，$u \to \pm\infty$。
   代入后，内层积分变为：
   $$\int_{-\infty}^{\infty} h(u) e^{-i 2\pi f (u + \tau)} du = e^{-i 2\pi f \tau} \int_{-\infty}^{\infty} h(u) e^{-i 2\pi f u} du$$

4. 识别傅里叶变换。
   定义 $H(f) = \int_{-\infty}^{\infty} h(u) e^{-i 2\pi f u} du$。这正是函数 $h(t)$ 的傅里叶变换。因此，内层积分简化为 $e^{-i 2\pi f \tau} H(f)$。

5. 将简化结果代回原式。
   将第4步的结果代回第2步交换积分次序后的表达式中：
   $$\int_{-\infty}^{\infty} x(\tau) \left( e^{-i 2\pi f \tau} H(f) \right) d\tau$$

6. 提取常数项并识别另一个傅里叶变换。
   将与积分变量 $\tau$ 无关的项 $H(f)$ 提到积分号外：
   $$H(f) \cdot \int_{-\infty}^{\infty} x(\tau) e^{-i 2\pi f \tau} d\tau$$
   观察剩下的积分 $\int_{-\infty}^{\infty} x(\tau) e^{-i 2\pi f \tau} d\tau$。根据傅里叶变换的定义，这正是 $X(f)$。

7. 得出最终结论。
   将第6步的结果写在一起，我们得到：
   $$\mathcal{F}\{(x * h)(t)\} = H(f) \cdot X(f)$$
   由于标量乘法满足交换律，$X(f) \cdot H(f) = H(f) \cdot X(f)$。因此，我们完成了证明：
   $$\mathcal{F}\{(x * h)(t)\} = X(f) \cdot H(f)$$
   同理，利用对称性可证明其逆形式：频域卷积对应时域的乘积（需归一化因子）。