围道积分计算∫_{-∞}^{∞} (ln²x²)/(x²+1)dx时结果符号错误的问题咨询
围道积分计算∫_{-∞}^{∞} (ln²x²)/(x²+1)dx时结果符号错误的问题咨询
嘿,我来帮你揪出这个符号错误的问题所在!其实你已经走对了99%的路,就差最后一步没注意到围道积分的实轴部分方向,我给你拆解一下:
首先,你的围道构造(上半平面大圆弧+原点小半圆)是没问题的,大、小圆弧的积分趋近于0也完全正确,极点z=i的定位和留数计算的代数步骤也没毛病,但你忽略了一个关键:逆时针围道的实轴部分积分方向是从+∞到-∞,而不是原积分要求的从-∞到+∞!
咱们理清楚这个逻辑:
- 逆时针围道的完整路径是:从+R沿实轴向左走到-ε → 绕上半平面小半圆到+ε → 沿实轴向右走到+R → 绕上半平面大圆弧回到起点+R
- 这时候实轴部分的积分是∫_{+R}^{-ε} + ∫_{ε}^{+R},合并起来就是 -∫_{-ε}^{+R} + ∫_{ε}^{+R},当ε→0、R→∞时,这个结果等于 -∫_{-∞}^{+∞} (ln²x²)/(x²+1)dx = -I(也就是原积分的相反数)
而根据留数定理,逆时针围道积分等于2πi乘以围道内极点的留数,你算出来是-π³,所以我们得到等式:
- -I = -π³
- 两边消去负号,就得到I=π³,和Wolfram的结果一致了!
另外再补个小提醒:复对数的多值性确实是围道积分里的坑,但你这次选的主值支(argz∈(-π,π])是没问题的,因为不管x正负,ln(x²)都等于2ln|x|,和实函数的定义完全匹配,这部分你没出错。
最后再用另一种方法验证下:把原积分拆成(-∞,0)和(0,+∞)两部分,对(-∞,0)的积分做变量替换x=-t,会发现它和(0,+∞)的积分完全相等,所以原积分=2∫_{0}^{∞} (ln²x²)/(x²+1)dx=4∫_{0}^{∞} (ln²x)/(x²+1)dx,而这个已知积分的结果是π³/8,4乘进去正好是π³,完美对应。
备注:内容来源于stack exchange,提问作者baba baba




