求解无穷积分$\int_{-\infty}^\infty\frac{x\cos(x)}{i+x^3}dx$的方法咨询

嘿，你的围道积分思路方向完全没问题，不过有几个细节需要修正和补充，我帮你梳理下完整的解法：

1. 先理清楚原积分和复围道积分的关联 #

原积分里的$\cos x$可以用$e^{ix}$的实部表示，但因为分母是复数，直接拆分被积函数会更清晰：
先把分母有理化：
$$\frac{1}{i+x^3} = \frac{x^3 - i}{(x³⁾2 + 1} = \frac{x^3}{x6 + 1} - i\frac{1}{x^6 + 1}$$
代入原积分后拆成两部分：
$$I = \int_{-\infty}^\infty \frac{x^4 \cos x}{x^6+1} dx - i \int_{-\infty}^\infty \frac{x \cos x}{x^6+1} dx$$

2. 利用奇偶性快速简化虚部 #

第二个积分的被积函数$\frac{x\cos x}{x^6+1}$是奇函数——$x$是奇函数，$\cos x$是偶函数，乘积还是奇函数，分母是偶函数，整个函数在对称区间$(-\infty,\infty)$上的积分直接为0。所以原积分一下子简化成：
$$I = \int_{-\infty}^\infty \frac{x^4 \cos x}{x^6+1} dx$$

3. 用围道积分计算辅助复积分 #

接下来按你的思路，构造复积分：
$$J = \int_{-\infty}^\infty \frac{z e^{iz}}{i + z^3} dz$$
取上半平面的半圆形围道（从$-R$到$R$的实轴段，加上半径为$R$的上半圆弧$C_R$），当$R\to\infty$时：

• 半圆上的积分趋于0：用Jordan引理验证，当$|z|\to\infty$时，$|z/(i+z^3)| \sim 1/R^2$，半圆长度是$\pi R$，积分的模长不超过$\pi R \cdot 1/R^2 = \pi/R$，显然当$R\to\infty$时趋于0。
• 找围道内的极点：解方程$z^3 = -i$，三个根是$z = e^{i(\pi/2 + 2k\pi/3)}$（$k=0,1,2$），只有$z=i$在上半平面（另外两个根分别在第三、第四象限，属于下半平面）。
• 计算极点处的留数：$z=i$是单极点，用单极点留数公式$\text{Res}(f(z),a) = \frac{g(a)}{h'(a)}$（这里$f(z)=\frac{g(z)}{h(z)}$，$g(z)=z e^{{iz}$，$h(z)=i+z}3$）：
  $$\text{Res}\left( \frac{z e^{iz}}{i+z3}, i \right) = \frac{i \cdot e^{i \cdot i}}{3i^2} = \frac{i e^{-1}}{-3} = -\frac{i}{3e}$$
  这里要注意！你之前可能漏掉了$e^{{iz}$在$z=i$处的值是$e}{-1}$，不是1，这是很容易犯的小错误。
• 围道积分结果：围道积分等于$2\pi i$乘以留数：
  $$J = 2\pi i \cdot \left(-\frac{i}{3e}\right) = \frac{2\pi}{3e}$$

4. 提取实部得到原积分的最终关系 #

把$J$展开成实部和虚部：
$$J = \int_{-\infty}^\infty \frac{x^4 \cos x + x \sin x}{x^6+1} dx = \frac{2\pi}{3e}$$
而我们的原积分$I$就是上式中的第一个积分项，所以：
$$I = \frac{2\pi}{3e} - \int_{-\infty}^\infty \frac{x \sin x}{x^6+1} dx$$
如果需要单独计算$I$，可以再构造另一个围道积分$\int_{-\infty}^\infty \frac{z^4 e^{iz}}{z6+1} dz$，不过核心的思路验证和关键修正已经完成啦。

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