紧支撑函数卷积等式证明求助：求∑f(x-n)/f(0)=1的证明提示（可考虑Dirac梳）

这是个很经典的周期化卷积函数恒等式证明问题，我给你梳理几个关键的思考方向，包括你问到的Dirac梳用法：

• 从周期化函数的本质入手
  首先注意到$\sum_{n=-\infty}^{+\infty} f(x-n)$其实是把$f$沿着整数平移后叠加，得到一个周期为1的函数。我们的目标就是证明这个周期函数是常数，再除以$f(0)$就得到1。

• 用傅里叶变换快速突破
  傅里叶变换是处理这类周期化问题的利器：

  1. 先回忆卷积的傅里叶变换性质：$f = \mathbf{1}{[-1/2,1/2]} * \varphi$，所以$\hat{f}(\xi) = \hat{\mathbf{1}}{[-1/2,1/2]}(\xi) \cdot \hat{\varphi}(\xi)$。
  2. 计算指示函数的傅里叶变换：$\hat{\mathbf{1}}{[-1/2,1/2]}(\xi) = \int{-1/2}^{1/2} e^{-2\pi i \xi x} dx = \frac{\sin(\pi \xi)}{\pi \xi}$，这个函数在所有非零整数点$\xi = k \in \mathbb{Z}, k \neq 0$处的值都是0（因为$\sin(\pi k)=0$）。
  3. 周期化函数$F(x) = \sum_{n}f(x-n)$的傅里叶级数系数恰好是$\hat{f}(k)$（$k \in \mathbb{Z}$）。由于$\hat{f}(k)=0$对所有$k \neq 0$，$F(x)$的傅里叶级数只有常数项：$\hat{f}(0)$。
  4. 而$\hat{f}(0) = \int_{\mathbb{R}} f(x) dx = f(0)$（验证一下：$\hat{f}(0)=\int (\mathbf{1}*\varphi)(x)dx = \int \mathbf{1}(y)dy \cdot \int \varphi(z)dz = 1 \cdot \int_{-1/2}^{{1/2}\varphi(z)dz$，而$f(0)=(\mathbf{1}*\varphi)(0)=\int_{-1/2}}{1/2}\varphi(-y)dy=\int_{-1/2}^{1/2}\varphi(z)dz$，两者相等）。所以$F(x)=f(0)$，两边除以$f(0)$就得到要证的等式。

• Dirac梳的应用路径
  当然可以用Dirac梳！这里的核心是：

  1. Dirac梳$\delta_1(x) = \sum_{n=-\infty}^\infty \delta(x-n)$，那么周期化函数$\sum_n f(x-n)$就是$f$和$\delta_1$的卷积：$f * \delta_1(x)$。
  2. 傅里叶变换下，$\mathcal{F}(f * \delta_1) = \hat{f} \cdot \hat{\delta_1}$，而$\hat{\delta_1}$是频域的Dirac梳$\sum_{k=-\infty}^\infty \delta(\xi -k)$。
  3. 所以$\mathcal{F}(f * \delta_1)(\xi) = \sum_{k=-\infty}^\infty \hat{f}(k) \delta(\xi -k)$，结合前面的结论，只有$k=0$时$\hat{f}(k)=f(0)$，其他项都是0，因此这个傅里叶变换就是$f(0)\delta(\xi)$。
  4. 逆傅里叶变换后得到$f * \delta_1(x) = f(0)$，也就是$\sum_n f(x-n)=f(0)$，两边除以$f(0)$就完成了证明。

内容的提问来源于stack exchange，提问作者A. T