关于傅里叶变换缩放性质证明的定义一致性疑问

嘿，我来帮你拆解这个混淆点——你其实是把傅里叶变换定义里的变量关系搞混了，咱们一步步理清楚：

先明确傅里叶变换的标准定义 #

对于任意时域信号g(t)，它的傅里叶变换G(ω)的标准定义是：

G(ω) = F[g(t)] = ∫_{-∞}^{∞} g(t) e^{-jωt} dt

这里的核心逻辑是：积分变量是t，指数项始终是-jω乘以积分变量t，而不是信号g内部的自变量（虽然这里信号的自变量也是t，但当信号变成g(at)时，这个区别就会凸显出来）。

为什么参考资料里的F[g(at)]是那样的？ #

根据定义，当我们求F[g(at)]时，只是把傅里叶变换公式里的g(t)替换成g(at)，其他部分（积分变量、指数项的结构）保持不变，所以：

F[g(at)] = ∫_{-∞}^{∞} g(at) e^{-jωt} dt

这就是你看到的式（1），完全符合标准定义，一点问题都没有。你之前误以为指数项应该是e^{-jω(at)}，本质是把「信号的自变量」和「傅里叶变换的积分变量」搞混了——傅里叶变换的指数项只和积分变量t绑定，不管信号内部的自变量是什么形式。

正确推导缩放性质的步骤 #

现在我们通过变量替换来推导最终的缩放结果：

1. 令u = at，那么t = u/a，对应的微分dt = du/a（注意如果a为负数，积分上下限会反转，所以后面要加绝对值来保证结果的通用性）。
2. 把这些代入到F[g(at)]的积分式中：

F[g(at)] = ∫_{-∞}^{∞} g(u) e^{-jω*(u/a)} * (du/|a|)

3. 把常数1/|a|提到积分外面，剩下的部分刚好是g(u)的傅里叶变换在ω/a处的值：

F[g(at)] = (1/|a|) * ∫_{-∞}^{∞} g(u) e^{-j*(ω/a)*u} du = (1/|a|) G(ω/a)

这就是傅里叶变换的缩放性质：时域信号缩放a倍，频域会反向缩放1/a倍，同时幅度变为原来的1/|a|。

你误解的根源 #

你之前觉得应该有a dt的项，大概率是错误地把信号的自变量at直接代入到了指数项里，误以为F[g(at)]的定义是∫g(at)e^{-jω(at)} dt，这其实是违背傅里叶变换的核心定义的。

内容的提问来源于stack exchange，提问作者Oliver G