寻求计算∫_{-∞}^{∞} sinx/x dx的非经典围道积分替代方法

嘿，这个思路完全行得通！我来一步步给你拆解怎么用极点上移的方法计算∫_{-∞}^{∞} sinx/x dx，不用经典的绕原点半圆形围道~

第一步：把正弦函数转化为指数形式 #

首先利用欧拉公式，把sinx拆成复指数的差：
sinx = (e^{ix} - e^{-ix})/(2i)
代入原积分后，它就变成了两个复积分的组合：
∫_{-∞}^{∞} sinx/x dx = (1/(2i)) [ ∫_{-∞}^{∞} e^{ix}/x dx - ∫_{-∞}^{∞} e^{-ix}/x dx ]

第二步：引入极点上移的正则化处理 #

为了避开原点处的奇点（x=0），我们采用你提到的极点上移技巧：把分母的x替换成x - iε，然后取ε→0+的极限。这样原本在实轴上的奇点就被移到了复平面的上半平面（x=iε），不用再绕原点做小半圆围道了。

现在我们需要计算两个极限积分：

1. I = lim_{ε→0+} ∫_{-∞}^{∞} e^{ix}/(x - iε) dx
2. J = lim_{ε→0+} ∫_{-∞}^{∞} e^{-ix}/(x - iε) dx

第三步：用留数定理和约当引理计算积分 #

计算I：

对于e^{ix}这个项，我们选择上半平面的半圆形围道（半径R→∞）：

• 围道包含上半平面的极点x=iε，根据留数定理，围道积分等于2πi乘以极点处的留数。留数计算为e^{i*(iε)} = e^{-ε}，当ε→0+时，留数趋近于1，所以围道积分结果是2πi*1 = 2πi。
• 上半平面的半圆部分积分，根据约当引理，当R→∞时，∫_{C_R} e^{iz}/(z - iε) dz会趋近于0（因为e^{iz}在上半平面指数衰减）。
• 因此，I = 2πi。

计算J：

对于e^{-ix}这个项，我们选择下半平面的半圆形围道（半径R→∞）：

• 极点x=iε在上半平面，不在我们选择的下半平面围道内，所以围道积分等于0。
• 下半平面的半圆部分积分，同样根据约当引理，e^{-iz}在下半平面指数衰减，当R→∞时积分趋近于0。
• 因此，J = 0。

第四步：合并结果得到最终值 #

把I和J代入之前的表达式：
∫_{-∞}^{∞} sinx/x dx = (1/(2i))(I - J) = (1/(2i))(2πi - 0) = π

这个结果和经典围道法得到的完全一致，而且全程不用绕开原点做小半圆，完美符合你的需求~

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