关于函数$(e^x+1)^{ik_1}$的傅里叶变换分布形式及iε规约相关问题

嘿，这个问题问到点子上了——既涉及到分布论在傅里叶变换里的核心应用，又触及了物理里常用的iε规约的本质，咱们一步步拆解清楚：

1. 原函数的傅里叶变换：作为分布的显式形式 #

首先，你说得没错，当$k_1\in\mathbb{R}$时，$f(x)=(e^x+1){ik_1}$不是绝对可积的，所以它的傅里叶变换不能直接用普通函数的积分定义，必须从分布的线性泛函定义出发：
分布$\mathcal{F}[f]$是作用在测试函数$\phi(k_2)$上的映射，满足：
$$\langle \mathcal{F}[f], \phi \rangle = \langle f, \mathcal{F}[\phi] \rangle = \int_{-\infty}^{+\infty} (e^x+1){ik_1} \left( \int_{-\infty}^{+\infty} \phi(k_2) e^{-ixk_2} dk_2 \right) dx$$

交换积分顺序（分布论里的定理保证这一步合法）后，我们可以把它写成：
$$\langle \mathcal{F}[f], \phi \rangle = \int_{-\infty}^{+\infty} \phi(k_2) \left( \int_{-\infty}^{+\infty} (e^x+1){ik_1} e^{-ixk_2} dx \right) dk_2$$

但后面的积分本身发散，所以我们需要用展开式来显式构造这个分布：把$(e^x+1){ik_1}$拆成两个区域的级数展开：

• 当$x>0$时，$e^{{-x}<1$，可以用二项式展开：$(e}x+1)^{ik_1}=e{ik_1x}(1+e^{-x}){ik_1}=\sum_{n=0}^\infty \binom{ik_1}{n} e^{i(k_1-n)x}$
• 当$x<0$时，$e^{x<1$，同理展开：$(e}x+1)^{{ik_1}=\sum_{n=0}}\infty \binom{ik_1}{n} e^{inx}$

而我们知道平面波$e^{iax}$的傅里叶变换（按你的定义）是$2\pi\delta(k_2+a)$，所以把这些项的傅里叶变换叠加起来（分布意义下的级数），就能得到：
$$\mathcal{F}[f] = 2\pi \left( \sum_{n=0}^\infty \binom{ik_1}{n} \delta(k_2 + k_1 - n) \theta(x) + \sum_{n=0}^\infty \binom{ik_1}{n} \delta(k_2 + n) \theta(-x) \right)$$
这里$\theta(x)$是阶跃函数，用来对应$x>0$和$x<0$的区域。

2. iε规约的本质：正则化逼近与原分布的关系 #

你提到的$k_2\to k_2-i\epsilon$（或等价的虚部调整），本质是正则化发散积分的技巧：给指数加一个小的正虚部，让积分在无穷远处收敛，得到一个普通函数$\mathcal{F}_\epsilonf$，然后当$\epsilon\to0^+$时，这个函数会在分布意义下弱收敛到原分布$\mathcal{F}[f]$。

换句话说，这两个对象不是“完全独立”的：正则化后的函数是原分布的一个“光滑近似”，当ε趋于0时，它对任意测试函数$\phi(k_2)$的积分会趋近于原分布作用在$\phi$上的结果。物理里偏爱这种方法，是因为它能让我们用普通函数的计算技巧来处理分布，最后再取极限回到分布，比直接用泛函定义更直观。

3. 为什么朴素猜测$\delta(k_1+k_2)$不对？ #

你说如果$f(x)=e^{{ik_1x}$，傅里叶变换是$\delta(k_1+k_2)$（按你的定义确实如此），但这里的$f(x)=(e}x+1)^{ik_1}$不是单纯的平面波——它是无穷多个平面波的线性组合（从刚才的展开式就能看出来），所以它的傅里叶变换自然是无穷多个δ函数的叠加，而不是单个δ函数。那个“+1”的作用就是把单一平面波拆成了无数个不同频率的平面波的组合。

备注：内容来源于stack exchange，提问作者Strings123