复变函数结课报告——狄利克雷积分的几种证明

狄利克雷积分

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

上式就是狄利克雷积分的形式。
考虑到这是复变函数的结课报告，因此给出的证明都将和复变函数有关，且以下变量和公式的用法习惯参考梁昆淼主编的《数学物理方法》（第四版）。

①留数定理法：

也就是书本上给出的做法。
$$\begin{array}{rl}& {\int }_0^{+\infty }\frac{\sin x}{x}\mathrm{d}x\\ =& \frac{1}{2}{\int }_{-\infty }^{+\infty }\frac{\sin x}{x}\mathrm{d}x\\ =& \frac{1}{2\mathrm{i}}{\int }_{-\infty }^{+\infty }\frac{e^{\mathrm{i}x}}{x}\mathrm{d}x\end{array}$$

令$f(z)=\frac{e^{\mathrm{i}x}}{z}$，显然$f(z)$在实轴上只有一个单极点$z_0=0$，由留数定理可得
$$\begin{array}{rl}& =\frac{\pi }{2}\cdot \mathrm{Res}f(z_0)\\ & =\frac{\pi }{2}\cdot e^{\mathrm{i}{z}_0}\\ & =\frac{\pi }{2}\end{array}$$

②费曼积分法：

详情可见：费曼积分法。
设$I(a)={\int }_0^{+\infty }{e}^{-ax}\cdot \frac{\sin x}{x}\mathrm{d}x$，显然$I(0)=S,I(+\infty )=0$

$$\begin{array}{rl}T=\frac{\partial I}{\partial a}& =-{\int }_0^{+\infty }{e}^{-ax}\cdot \sin x\mathrm{d}x\\ & =\frac{1}{a}{\int }_0^{+\infty }\sin x\mathrm{d}{e}^{-ax}\\ & =\frac{1}{a}\sin x{e}^{-ax}{|}_0^{\infty }-\frac{1}{a}{\int }_0^{+\infty }{e}^{-ax}\cdot \cos x\mathrm{d}x\\ & =-\frac{1}{a}{\int }_0^{+\infty }{e}^{-ax}\cdot \cos x\mathrm{d}x\\ & =\frac{1}{a^2}{\int }_0^{+\infty }\cos x\mathrm{d}{e}^{-ax}\\ & =\frac{1}{a^2}{\int }_0^{+\infty }\cos x{e}^{-ax}{|}_0^{\infty }-\frac{1}{a^2}{\int }_0^{+\infty }{e}^{-ax}\cdot (-\sin x)\mathrm{d}x\\ & =-\frac{1}{a^2}+\frac{1}{a^2}{\int }_0^{+\infty }{e}^{-ax}\cdot \sin x\mathrm{d}x\\ & =-\frac{1}{a^2}+\frac{1}{a^2}(-T)\\ \Rightarrow \frac{\partial I}{\partial a}=T& =-\frac{1}{a^2+1}\end{array}$$

$$\begin{array}{rl}\therefore S& =I(0)-I(+\infty )\\ & ={\int }_{+\infty }^0\frac{\partial I}{\partial a}\mathrm{d}a\\ & ={\int }_{+\infty }^0-\frac{1}{a^2+1}\mathrm{d}a\\ & =-\arctan a{|}_{+\infty }^0\\ & =\frac{\pi }{2}\end{array}$$

③拉普拉斯变换法：

先证明两个重要的性质：
$$\begin{array}{rl}& [1]:\overline{f}(0)={\int }_0^{+\infty }f(t)\mathrm{d}t\\ & [2]:\mathcal{L}\left[\frac{f(t)}{t}\right]={\int }_p^{+\infty }\mathcal{L}\left[u\right]\mathrm{d}u\end{array}$$

性质$[1]$：
$$\begin{array}{rl}\overline{f}(0)& ={\int }_0^{+\infty }f(t)e^{-0\cdot t}\mathrm{d}t\\ & ={\int }_0^{+\infty }f(t)\mathrm{d}t\end{array}$$

性质$[2]$：
$$\begin{array}{rl}& {\int }_p^{+\infty }\mathcal{L}\left[u\right]\mathrm{d}u\\ =& {\int }_p^{+\infty }{\int }_0^{+\infty }f(t)e^{-ut}\mathrm{d}t\mathrm{d}u\\ =& {\int }_0^{+\infty }{\int }_p^{+\infty }f(t)e^{-ut}\mathrm{d}u\mathrm{d}t\\ =& {\int }_0^{+\infty }f(t)\mathrm{d}t{\int }_p^{+\infty }{e}^{-ut}\mathrm{d}u\\ =& {\int }_0^{+\infty }f(t)\cdot (-\frac{1}{t})e^{-ut}{|}_p^{+\infty }\mathrm{d}t\\ =& {\int }_0^{+\infty }\frac{f(t)}{t}{e}^{-pt}\mathrm{d}t\\ =& \mathcal{L}\left[\frac{f(t)}{t}\right]\end{array}$$

因此，
$$\begin{array}{rl}\mathcal{L}\left[\frac{\sin x}{x}\right]& ={\int }_p^{+\infty }\mathcal{L}[\sin x]\mathrm{d}x\\ & ={\int }_p^{+\infty }\frac{1}{1+x^2}\mathrm{d}x\\ & =\arctan x{|}_p^{+\infty }\\ & =\frac{\pi }{2}-\arctan p\end{array}$$

$$\begin{array}{rl}\therefore {\int }_0^{+\infty }\frac{\sin x}{x}\mathrm{d}x& =\overline{f}(0)\\ & =\mathcal{L}\left[\frac{\sin x}{x}\right]{|}_{p=0}\\ & =\frac{\pi }{2}\end{array}$$

总结

费曼积分法中$e^{-ax}$是一种缩放因子，拉普拉斯变换中$e^{-pt}$是一种收敛因子，其本质都是同一种东西，且两者的前提条件都是缩放下的新表达式的导数的定积分一致收敛（只有这样才能交换求导和积分的次序，证明可以参考级数意义下的证明）。不管是费曼积分还是拉普拉斯变换，两者重要的一步都是进行变量的变换，有异曲同工之妙，尽显数学之美。