求证：对任意a>0，-2<∫ₐ^+∞ (sin t)/t dt<2

嘿，这个问题确实和离散的$\sum \sin k$有界问题思路相通，核心都是利用振荡项的抵消性和分部积分/阿贝尔变换来估计。咱们一步步来解决：

方法1：分部积分法（最直接的连续版阿贝尔变换） #

首先对积分做分部积分，令$u=\frac{1}{t}$，$dv=\sin t dt$，则$du=-\frac{1}{t^2} dt$，$v=-\cos t$：
$$
\int_a^\infty \frac{\sin t}{t} dt = \left. -\frac{\cos t}{t} \right|a^\infty - \int_a^\infty \frac{\cos t}{t^2} dt
$$
计算边界项：$\lim{t\to\infty} -\frac{\cos t}{t}=0$，所以上式化简为：
$$
\int_a^\infty \frac{\sin t}{t} dt = \frac{\cos a}{a} - \int_a^\infty \frac{\cos t}{t^2} dt
$$

接下来估计这个式子的绝对值：

• 第一项$\left| \frac{\cos a}{a} \right| \leq \frac{1}{a}$，因为$|\cos a|\leq1$；
• 第二项的绝对值$\left| \int_a^\infty \frac{\cos t}{t^2} dt \right| \leq \int_a^\infty \frac{|\cos t|}{t^2} dt \leq \int_a^\infty \frac{1}{t^2} dt = \frac{1}{a}$，因为$|\cos t|\leq1$。

把两者结合起来：
$$
\left| \int_a^\infty \frac{\sin t}{t} dt \right| \leq \frac{1}{a} + \frac{1}{a} = \frac{2}{a}
$$

现在分两种情况讨论：

1. 当$a \geq 1$时：$\frac{2}{a} \leq 2$，而且等号永远取不到——因为$\left| \frac{\cos a}{a} \right| < \frac{1}{a}$（除非$\cos a=\pm1$，但此时第二项的积分绝对值也小于$\frac{1}{a}$，因为$\cos t$不可能恒为±1），所以积分的绝对值严格小于2；
2. 当$0 < a < 1$时：我们可以利用已知结论$\int_0^\infty \frac{\sin t}{t} dt = \frac{\pi}{2} \approx 1.5708$，那么：
   $$
   \int_a^\infty \frac{\sin t}{t} dt = \frac{\pi}{2} - \int_0^a \frac{\sin t}{t} dt
   $$
   而$\int_0^a \frac{\sin t}{t} dt < \int_0^a 1 dt = a < 1$（因为$\frac{\sin t}{t} < 1$对所有$t>0$成立），所以：
   $$
   \frac{\pi}{2} - 1 < \int_a^\infty \frac{\sin t}{t} dt < \frac{\pi}{2}
   $$
   计算一下$\frac{\pi}{2}-1\approx0.5708$，显然这个范围完全落在$(-2,2)$内，而且远更紧凑。

方法2：利用正弦积分的已知性质（得到更优的界） #

这个积分其实是**正弦积分（Sine Integral）**的补：$Si(x) = \int_0^x \frac{\sin t}{t} dt$，已知：

• $Si(\infty) = \frac{\pi}{2}$；
• $Si(x)$在$x>0$时会围绕$\frac{\pi}{2}$振荡收敛，其最大值约为1.8519（在$x=\pi$处），最小值约为1.4181（在$x=2\pi$处）。

因此：
$$
\int_a^\infty \frac{\sin t}{t} dt = Si(\infty) - Si(a) = \frac{\pi}{2} - Si(a)
$$
由此可以推出这个积分的取值范围是$\left( \frac{\pi}{2} - \max Si(a), \frac{\pi}{2} - \min Si(a) \right)$，实际计算下来，这个积分的绝对值最大不超过$\frac{\pi}{2} \approx1.5708$，比你说的±2要紧凑得多——这就是你提到的“更优界”。

为什么和$\sum \sin k$的问题类似？ #

离散的$\sum_{k=n}^\infty \frac{\sin k}{k}$（或$\sum \sin k$）也是用阿贝尔变换（分部求和）来估计，和连续的分部积分本质是一样的：把振荡的$\sin$项和衰减的$\frac{1}{k}$（或$\frac{1}{t}$）结合，通过变换把衰减速度慢的项转化为衰减更快的项（比如$\frac{1}{k^{2}$或$\frac{1}{t}2}$），从而可以用比较判别法估计其绝对值的上界。

总结一下：用分部积分可以轻松证明积分的绝对值小于2，而利用正弦积分的性质能得到更优的±π/2左右的界。

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