关于存在大量正负抵消效应的积分的技术探讨与问询

最近在研读Gamelin的《复分析》时，看到第201-202页有一类形式如下的积分例题与习题：
$$\int_{-\infty}^\infty \frac{P(x)}{Q(x)} \cos(ax) dx$$

这里有两个关键的复分析技巧：

• 第一个技巧是构造上半平面的半圆形围道：由实轴上的区间$[-R,R]$和从$R$经$iR$到$-R$的上半圆$C_R$组成，通过围道积分来处理问题。
• 第二个技巧是避免直接积分$\frac{P(z)}{Q(z)}\cos(az)$：因为$\cos(az)$在上半平面的行为极不稳定——在虚轴上会指数增长，而且正负震荡抵消剧烈，根本没法用ML估计来处理。反而应该积分$\frac{P(z)}{Q(z)}e^{{iaz}$再取实部，原因是在上半平面$|e}{iaz}|\leq 1$，ML估计能直接证明当$R\to\infty$时，上半圆$C_R$上的积分会趋近于0。

由此我们能得到一个推论：对于$\int_{C_R} \frac{P(z)}{Q(z)} \cos(az) dz$这类积分，展开后会得到：
$$\int_{C_R} \frac{P(z)}{Q(z)} \cos(az) dz = \int_0^\pi \frac{P(R \cos t + iR \sin t)}{Q(R \cos t + iR \sin t)} (\cos(R\cos t)\cosh(R\sin t) - i\sin(R\cos t)\sinh(R \sin t)) dt,$$
这类积分里存在极其大量的正负抵消，连分析领域最常用的三角不等式都无能为力。

拿Gamelin书上第201页的具体例子来说：当$a>0$时，
$$\int_{-R}^R \frac{\cos ax}{1+x^2} dx = \frac{\pi}{e^a} + o(R)$$
如果直接对$\frac{\cos az}{1+z^2}$做围道积分，会得到：
$$\int_{-R}^R \frac{\cos ax}{1+x^2} dx + \int_{C_R} \frac{\cos az}{1+z^2} dz = 2\pi i \cdot \operatorname{Res}\left[\frac{\cos az}{1+z^2}, i\right] = 2\pi i \cdot \left(-\frac 12 i \cosh(a)\right) = \pi \cosh(a),$$
进一步推导（记$x(t)= R \cos(t)$，$y(t)=R \sin(t)$）可得：
$$\int_{C_R} \frac{\cos az}{1+z^2} dz = \int_0^\pi \frac{(1+x^2-y2)-2xyi}{(1+x^2-y2)^2 + 4 x^2y2}\cdot(\cos(ax)\cosh(ay)) - i\sin(ax)\sinh(ay))= \pi \cosh(a)-\frac{\pi}{e^a} + o(R),$$
取实部后就是：
$$\int_0^\pi \frac{(1+x^2-y2) \cdot\cos(ax)\cosh(ay) - 2xy \cdot \sin(ax)\sinh(ay)}{(1+x^2-y2)^2 + 4 x^2y2} dt= \pi \cosh(a)-\frac{\pi}{e^a} + o(R)$$

问题1 #

我很好奇这个积分有没有实分析的解法？比如简单的换元法，或者其他实变量技术？另外，能不能通过“积分挖掘（Integral Milking）”从这个积分里得到更有趣甚至更有难度的结论？

不得不说，这种通过把$\cos x$延拓为$\cos z$或者取$\Re(e^{iz})$，再结合留数定理的思路，简直像一座桥梁：把能用三角不等式/ML估计轻松解决的问题，转化成前者那种需要巨大正负抵消才能得到小但非零结果的难题——这种“两个大项之间的微妙抵消”，让我联想到粒子物理里的“等级问题”，实在太神奇了。

主问题 #

有没有人知道其他类似的积分，或者其他方法，能产生这类“大量正负部分抵消后得到小但非零结果”的情况？

我想到一个常见的例子：$\int_{-\pi}^\pi \cos(nx)\cos(mx),dx$，这个积分里的完全抵消就来自于特征函数$e^{inx}$的正交性。之前还看到过一个相关问题是求$\int e^{r\cos x} \cos(r\sin x)$的积分，也是用类似的复分析技巧处理，同样存在大量的抵消效应。

调和分析（以及用到调和分析方法的加性组合、解析数论等领域）非常看重“利用抵消”的思路，比如驻相位法就是这类领域里的标准工具，这也是我对这类积分感兴趣的核心原因。

备注：内容来源于stack exchange，提问作者D.R.