利用留数定理计算含原点奇点的无穷积分的方法问询
首先得明确一个关键点:你要计算的积分 $\int_{-\infty}^{\infty} \frac{1}{x2}e{iax} dx$ 在常规意义下是发散的——当$x\to0$时,被积函数近似为$\frac{1}{x^2}$,这个区域的积分会趋于无穷大。不过我们可以通过柯西主值积分结合留数定理来分析它,或者在分布意义下得到有意义的结果,具体方案如下:
核心思路:绕开实轴奇点的围道构造
因为奇点$z=0$在实轴上,还是个二阶极点,常规的上下半平面半圆围道会直接穿过奇点,根本没法用留数定理。这时候我们需要构造一个避开奇点的闭合围道,核心就是用一个极小的半圆把原点“挖”出去:
- 如果$a>0$(此时$e^{iaz}$在上半平面会指数衰减),围道由四部分组成:
- 实轴上从$-R$到$-\epsilon$的线段($R$最终趋于无穷大,$\epsilon$趋于0)
- 上半平面的小半圆:以原点为中心、半径$\epsilon$,从$-\epsilon$绕到$\epsilon$(角度$\theta$从$\pi$转到0)
- 实轴上从$\epsilon$到$R$的线段
- 上半平面的大半圆:以原点为中心、半径$R$,从$R$绕回$-R$(角度$\theta$从0转到$\pi$)
- 如果$a<0$,$e^{iaz}$在下半平面衰减,就把小半圆和大半圆都移到下半平面,原理是一样的。
分步计算(以$a>0$为例)
1. 应用柯西定理
这个围道内部没有任何奇点(我们已经把原点挖出去了),所以根据柯西定理,整个围道的积分等于0:
$$\oint_C \frac{e{iaz}}{z2} dz = \int_{-R}^{-\epsilon} + \int_{C_\epsilon^+} + \int_{\epsilon}^R + \int_{C_R} = 0$$
2. 大半圆积分的极限
用约当引理就能知道,当$R\to\infty$时,上半平面的大半圆积分会趋于0:
$$\lim_{R\to\infty} \int_{C_R} \frac{e{iaz}}{z2} dz = 0$$
原因很简单:上半平面里$e{iaz}$的模是$e{-a\cdot\text{Im}(z)}$,会随着$R$增大快速衰减,再加上$1/z2$本身是$1/R2$的量级,两者相乘后积分就趋近于0了。
3. 小半圆积分的极限
我们把小半圆的参数设为$z=\epsilon e^{i\theta}$($\theta$从$\pi$到0),$dz=i\epsilon e^{i\theta}d\theta$,代入积分后:
$$\int_{C_\epsilon^+} \frac{e{iaz}}{z2} dz = \frac{i}{\epsilon} \int_{\pi}^0 e^{ia\epsilon e^{i\theta}} e^{-i\theta} d\theta$$
当$\epsilon$趋近于0时,把$e^{ia\epsilon e{i\theta}}$做泰勒展开(只保留前两项就够了):$e{ia\epsilon e^{i\theta}} \approx 1 + ia\epsilon e^{i\theta}$,代入计算后会得到:
$$\int_{C_\epsilon^+} \frac{e{iaz}}{z2} dz = -\frac{2}{\epsilon} + a\pi + o(1)$$
4. 主值积分的分析
柯西主值积分的定义是忽略奇点附近的小区域,取极限:
$$\text{P.V.}\int_{-\infty}^{\infty} \frac{e{iax}}{x2} dx = \lim_{R\to\infty,\epsilon\to0} \left( \int_{-R}^{-\epsilon} + \int_{\epsilon}^R \right) \frac{e{iax}}{x2} dx$$
把实轴上的两个积分合并,利用$e^{ia(-x)} + e^{iax} = 2\cos(ax)$,可以写成:
$$\int_{-R}^{-\epsilon} + \int_{\epsilon}^R = 2\int_{\epsilon}^R \frac{\cos(ax)}{x^2} dx$$
当$\epsilon\to0$时,这个积分里会出现$\frac{2}{\epsilon}$的发散项,刚好和小半圆积分里的$-\frac{2}{\epsilon}$抵消掉,剩下的有限项是$-a\pi$。不过要注意,主值积分本身还是发散的,因为抵消后剩下的部分里还有随着$R$增大的发散项,只有在分布意义下(比如缓增分布),我们可以忽略这些发散的常数项,得到有意义的结果。
总结可行的替代方案
- 挖去实轴奇点的围道构造:这是处理实轴上奇点的标准操作,用小半圆避开奇点,结合大半圆的衰减性应用柯西定理,是留数定理处理这类问题的核心技巧。
- 主值积分+分布意义:因为原积分发散,必须明确是在主值意义下讨论,或者进一步用分布论的框架处理发散项,才能得到有价值的结果。
- 分部积分转化:你也可以把二阶极点的积分通过分部积分转化为一阶极点的主值积分($\int_{-\infty}^{\infty} \frac{e^{iax}}{x}dx$的结果是已知的),这种方法和围道法可以互相验证。
内容的提问来源于stack exchange,提问作者user433089

