傅里叶变换正则化的等价性：两类正则化变换的关系探讨

首先先明确问题背景：

设函数$f:\mathbb R\to\mathbb C$满足“不太间断”且在$\pm\infty$处“增长不太快”，定义如下两种$f$的正则化傅里叶变换：
$$
\begin{align}
F_\ell(k) &= \int_{-\ell}^\ell f(x), e^{-ikx}, \frac{dx}{\sqrt{2\pi}} , \qquad \ell>0\
G_\epsilon(k) &= \int_{-\infty}^\infty f(x)e^{-\epsilon |x|} ,e^{-ikx} \frac{dx}{\sqrt{2\pi}}, \qquad \epsilon>0.
\end{align}
$$
$F_\ell$和$G_\epsilon$均为单参数函数族，现问询：这两类正则化傅里叶变换是否等价？

要回答这个问题，首先得明确**“等价”在这里的核心含义**——我们一般关心的是：当$\ell\to+\infty$（截断范围扩展到全实轴）和$\epsilon\to0^+$（衰减因子逐渐消失）时，这两个函数族的极限是否在某种数学意义下一致。下面从几个常见的收敛场景来具体分析：

1. 分布意义下的等价性 #

如果$f$满足题目里的条件（局部可积+增长速度不超过多项式，也就是属于缓增分布范畴），那么：

• $F_\ell$会在缓增分布的拓扑下收敛到$f$的标准傅里叶变换$\hat{f}$；
• $G_\epsilon$同样会在缓增分布的拓扑下收敛到同一个$\hat{f}$。

这种情况下两者完全等价，因为它们的极限是同一个分布，且收敛的拓扑环境也一致。

2. 逐点收敛的等价性 #

逐点收敛的情况要更细致一些：

• 对于$F_\ell(k)$，根据狄利克雷收敛定理的推广，当$f$在对应点满足狄利克雷条件（比如连续，或者左右极限存在且有限）时，$F_\ell(k)$会逐点收敛到$\hat{f}(k)$（间断点处则收敛到左右极限平均值对应的傅里叶变换点值）；
• 对于$G_\epsilon(k)$，它本质是给$f(x)$乘了一个指数衰减因子后做傅里叶变换，当$\epsilon\to0$时，这个衰减因子的傅里叶变换会逼近狄拉克$\delta$函数。只要$f$连续且增长不太快，$G_\epsilon(k)$也会逐点收敛到$\hat{f}(k)$；在$f$的间断点处，它的收敛行为和$F_\ell$完全一致，同样收敛到间断点左右极限的平均值对应的傅里叶变换点值。

简单来说，只要其中一个族在某点收敛到某个值，另一个族也会在该点收敛到同一个值，所以逐点收敛意义下两者也是等价的。

3. $L^p$空间中的等价性 #

假设$f\in L^p(\mathbb{R})$（$1\leq p\leq2$）：

• $F_\ell$会在$L^{q(\mathbb{R})$中收敛到$\hat{f}$，其中$\frac{1}{p}+\frac{1}{q}=1$（这是傅里叶变换$L}p$性质的直接结论，由里斯-托林插值定理保证）；
• $G_\epsilon$这边，因为$e^{-\epsilon|x|}f(x)\in L^1\cap L^p$，它的傅里叶变换$G_\epsilon\in L^\infty\cap L^{q$。当$\epsilon\to0$时，$e}{-\epsilon|x|}f(x)$在$L^{p$中收敛到$f(x)$，结合傅里叶变换在$L}p$空间上的连续性，$G_\epsilon$也会在$L^q$中收敛到$\hat{f}$。

所以在$L^q$收敛的意义下，两者同样等价。

有没有不等价的情况？ #

如果我们把“等价”定义得更严格——比如要求存在参数对应关系$\ell(\epsilon)$，使得$F_{\ell(\epsilon)}(k)-G_\epsilon(k)$在某种拓扑下趋于0——那可能存在一些极端特殊函数不满足这个条件，但题目里限定了$f$“不太间断”且“增长不太快”，这种情况基本不在考虑范围内。而如果只看各自的极限行为，两者的极限是完全一致的。

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