求证狄拉克δ函数的积分表达式满足其定义性质
嘿，这个问题是傅里叶变换与广义函数领域的经典结论，咱们一步步拆解来证明，保证逻辑清晰：
首先明确我们的目标：要验证狄拉克δ函数的积分形式
$$\delta(x-a) = \frac{1}{2\pi}\int{\infty}_{-\infty}e{ip(x-a)}dp$$
确实满足它的核心定义——对任意“性质良好”的函数$f(x)$（比如连续且绝对可积的函数），有
$$\int^{\infty}{-\infty}f(x)\delta(x-a)dx=f(a)$$
也就是要证明：
$$\frac{1}{2\pi} \int{-\infty}{\infty}\int_{-\infty}{\infty} f(x)e^{ip(x-a)}dp dx=f(a)$$
方法一：利用傅里叶变换与逆变换的关系
交换积分顺序：对于符合条件的$f(x)$，富比尼定理允许我们交换二重积分的顺序，原式变为：
$$\frac{1}{2\pi} \int_{-\infty}^{\infty} \left( \int_{-\infty}^{\infty} f(x)e^{ip(x-a)} dx \right) dp$$拆分指数项：把$e{ip(x-a)}$拆成$e{ipx} \cdot e{-ipa}$，其中$e{-ipa}$和积分变量$x$无关，可以提到内层积分外面：
$$\frac{1}{2\pi} \int_{-\infty}^{\infty} e^{-ipa} \cdot \left( \int_{-\infty}^{\infty} f(x)e^{ipx} dx \right) dp$$识别傅里叶变换对：这里内层的$\int_{-\infty}^{\infty} f(x)e^{ipx} dx$就是$f(x)$的傅里叶变换，记为$\hat{f}(p)$。而整个式子正好是傅里叶逆变换的定义——逆变换的作用就是把傅里叶变换$\hat{f}(p)$还原回原函数$f(x)$，当我们把逆变换的变量取为$a$时，结果自然就是$f(a)$。
方法二：用截断积分的极限严格推导（广义函数视角）
因为狄拉克δ是广义函数，直接积分会发散，所以我们引入一个截断因子$e^{-\epsilon|p|}$（$\epsilon \to 0^+$）让积分收敛，再取极限：
引入截断因子：把原式改写为极限形式：
$$\frac{1}{2\pi} \lim_{\epsilon \to 0^+} \int_{-\infty}{\infty}\int_{-\infty}{\infty} f(x)e{ip(x-a)}e{-\epsilon|p|}dp dx$$先计算对$p$的积分：固定$x$，计算内层积分：
$$\int_{-\infty}^{\infty} e{ip(x-a)}e{-\epsilon|p|}dp = \frac{2\epsilon}{\epsilon^2 + (x-a)^2}$$
这个结果有两个关键性质：- 当$x \neq a$时，$\epsilon \to 0^+$时，这个值趋近于0；
- 当$x = a$时，$\epsilon \to 0^+$时，这个值趋近于无穷大；
- 对$x$积分的结果是$\int_{-\infty}^{\infty} \frac{2\epsilon}{\epsilon^2 + (x-a)^2}dx = 2\pi$，满足归一性。
代入并交换极限与积分：把积分结果代入原式，交换极限和积分顺序（对“好”的$f(x)$成立）：
$$\lim_{\epsilon \to 0^+} \frac{1}{2\pi} \int_{-\infty}^{\infty} f(x) \cdot \frac{2\epsilon}{\epsilon^2 + (x-a)^2} dx$$变量替换与取极限：令$t = \frac{x-a}{\epsilon}$，则$dx = \epsilon dt$，式子变为：
$$\lim_{\epsilon \to 0^+} \int_{-\infty}^{\infty} f(a + \epsilon t) \cdot \frac{1}{\pi(1 + t^2)} dt$$
因为$f(x)$连续，当$\epsilon \to 0^+$时，$f(a+\epsilon t) \to f(a)$，而$\int_{-\infty}^{\infty} \frac{1}{\pi(1+t^2)}dt = 1$，所以极限结果就是$f(a)$，完美符合狄拉克δ函数的定义。
备注：内容来源于stack exchange，提问作者pll04
