\int_0^{+\infty} \frac{\sin x}{x}\mathop{}\!\mathrm{d}{x}

$${\int }_0^{\infty }\frac{\sin x}{x}\mathrm{d}x=\frac{\pi }{2}$$

计算需要用到 Riemann-Lebesgue 引理：

首先由 Dirichlet 判别法 知 ${\int }_0^{\infty }\frac{\sin x}{x}\mathrm{d}x$ 收敛。

$${\int }_0^{\pi }\frac{\sin (n+\frac{1}{2})t}{2\sin \frac{1}{2}t}\mathrm{d}t={\int }_0^{\pi }\left(\frac{1}{2\sin \frac{t}{2}}-\frac{1}{t}\right)\sin (n+\frac{1}{2})t\mathrm{d}t+{\int }_0^{\pi }\frac{\sin (n+\frac{1}{2})t}{t}\mathrm{d}t$$

其中 $\underset{t\to 0}{\lim }\frac{1}{2\sin \frac{t}{2}}-\frac{1}{t}=0$，所以 ${\int }_0^{\pi }\left(\frac{1}{2\sin \frac{t}{2}}-\frac{1}{t}\right)\mathrm{d}t$ 是常义积分且可积。则由 Riemann-Lebesgue 引理 知上式右边的第一个积分在 $n\to +\infty$ 时趋向于 $0$

所以：

$$\underset{n\to +\infty }{\lim }{\int }_0^{\pi }\frac{\sin (n+\frac{1}{2})t}{2\sin \frac{1}{2}t}\mathrm{d}t=\underset{n\to +\infty }{\lim }{\int }_0^{\pi }\frac{\sin (n+\frac{1}{2})t}{t}\mathrm{d}t$$

右边的积分极限 令 $(n+\frac{1}{2})t=x$ 可得：

$$\underset{n\to +\infty }{\lim }{\int }_0^{\pi }\frac{\sin (n+\frac{1}{2})t}{t}\mathrm{d}t=\underset{n\to +\infty }{\lim }{\int }_0^{(n+\frac{1}{2})\pi }\frac{\sin x}{x}\mathrm{d}x={\int }_0^{+\infty }\frac{\sin x}{x}\mathrm{d}x$$

从而：

$$\underset{n\to +\infty }{\lim }{\int }_0^{\pi }\frac{\sin (n+\frac{1}{2})t}{2\sin \frac{1}{2}t}\mathrm{d}t={\int }_0^{+\infty }\frac{\sin x}{x}\mathrm{d}x$$

又因为：

$$\frac{1}{2}+\sum _{k=1}^n\cos kt=\frac{\sin (n+\frac{1}{2})t}{2\sin \frac{1}{2}t}$$

这里参考 三角函数累加和

两边在 $[0,\pi ]$ 上取积分：

$$\begin{array}{rl}& \frac{\pi }{2}+\sum _{k=1}^n{\int }_0^{\pi }\cos kt\mathrm{d}t={\int }_0^{\pi }\frac{\sin (n+\frac{1}{2})t}{2\sin \frac{1}{2}t}\mathrm{d}t\\ & \Rightarrow \frac{\pi }{2}={\int }_0^{\pi }\frac{\sin (n+\frac{1}{2})t}{2\sin \frac{1}{2}t}\mathrm{d}t\end{array}$$

所以：
$$\underset{n\to +\infty }{\lim }{\int }_0^{\pi }\frac{\sin (n+\frac{1}{2})t}{2\sin \frac{1}{2}t}\mathrm{d}t=\underset{n\to +\infty }{\lim }\frac{\pi }{2}=\frac{\pi }{2}={\int }_0^{+\infty }\frac{\sin x}{x}\mathrm{d}x$$

CSDN 的 KaTex 配置真的不方便。

文中链接是本地链接，不要点。