反常积分收敛性与函数极限关系的探究

1. 两类反常积分之间的关系

无穷区间上的反常积分与无界函数的反常积分是可以互相转换的。

（1）不妨设$a>0$，则
$$\begin{array}{rl}& {\int }_a^{+\infty }f(x)dx(x=\frac{1}{t})\\ =& -{\int }_{\frac{1}{a}}^0\frac{1}{t^2}f(\frac{1}{t})dt(g(t)=\frac{1}{t^2}f(\frac{1}{t}))\\ =& {\int }_0^{\frac{1}{a}}g(t)dt,\end{array}$$
这就化成了无界函数的反常积分。
（2）设${\int }_a^{b}f(x)dx$是一个无界函数的反常积分，$x=b$是$f(x)$的惟一奇点。令$t=\frac{b-a}{b-x}$，则
$${\int }_a^{b}f(x)dx=(b-a){\int }_1^{+\infty }f(b-\frac{b-a}{t})\frac{dt}{t^2},$$
等式右端就是一个无穷区间的反常积分。

2. 反常积分收敛性与函数极限的关系

以无穷区间的反常积分为例，设$f(x)$在$[a,+\infty )$有定义，${\lim }_{x\to +\infty }f(x)=0$并不能保证${\int }_a^{+\infty }f(x)dx$收敛，如${\int }_1^{+\infty }\frac{1}{x^p}(p\le 1)$所示。

反之，若${\int }_a^{+\infty }f(x)dx$收敛，也不能保证${\lim }_{x\to +\infty }f(x)=0$，甚至无法保证$f(x)$在$[a,+\infty )$上有界。

证明： 设$f(x)$在$[1,+\infty )$按如下方式定义：
$$f(x)=\{\begin{array}{ll}n+1,& x\in [n,n+\frac{1}{n(n+1{)}^2}],\\ 0,& x\in (n+\frac{1}{n(n+1{)}^2},n+1),\end{array}n=1,2,\cdots .$$
那么对于任意$A>1$，总可以取自然数$n$，使得$A\in [n,n+1)$，由于$f(x)\ge 0$，因此
$${\int }_1^{n}f(x)dx\le {\int }_1^{A}f(x)dx\le {\int }_1^{n+1}f(x)dx.$$
当$n\to +\infty$时，
$$\begin{array}{rl}\underset{n\to \infty }{\lim }{\int }_1^{n}f(x)dx& =\underset{n\to \infty }{\lim }[{\int }_1^{2}f(x)dx+{\int }_2^{3}f(x)dx+\cdots +{\int }_{n-1}^{n}f(x)dx]\\ & =\underset{n\to \infty }{\lim }[\frac{1}{1\cdot 2}+\frac{1}{2\cdot 3}+\frac{1}{3\cdot 4}+\cdots +\frac{1}{(n-1)\cdot n}]\\ & =\underset{n\to \infty }{\lim }[(1-\frac{1}{2})+(\frac{1}{2}-\frac{1}{3})+(\frac{1}{3}-\frac{1}{4})+\cdots +(\frac{1}{n-1}-\frac{1}{n})]\\ & =\underset{n\to \infty }{\lim }(1-\frac{1}{n})=1.\end{array}$$
同理也有
$$\underset{n\to \infty }{\lim }{\int }_1^{n+1}f(x)dx=1.$$
由极限的夹逼性，有
$${\int }_1^{+\infty }f(x)dx=\underset{A\to +\infty }{\lim }{\int }_1^{A}f(x)dx=1,$$
但$f(x)$显然是无界的。
注：即使$f(x)$在$[a,+\infty )$连续（甚至$n$次可微），也可仿照上例构造出使${\int }_a^{+\infty }f(x)dx$收敛而$f(x)$在$[a,+\infty )$无界的例子。

3. 无穷区间反常积分收敛性的三个命题

（1）设${\int }_a^{+\infty }f(x)dx$收敛，且${\lim }_{x\to +\infty }f(x)=A$，证明$A=0$。

证明： 用反证法。
不妨设$A>0$，则对$ϵ=\frac{1}{2}A>0$，$\exists X>a$，$\forall x>X$，成立$|f(x)-A|<\frac{1}{2}A$，即$f(x)>\frac{1}{2}A$。由
$${\int }_a^{B}f(x)dx={\int }_a^{X}f(x)dx+{\int }_X^{B}f(x)dx>{\int }_a^{X}f(x)dx+\frac{1}{2}A(B-X),$$
可知${\lim }_{B\to +\infty }{\int }_a^{B}f(x)dx=+\infty$，与${\int }_a^{+\infty }f(x)dx$收敛矛盾。

（2）设$f(x)$在$[a,+\infty )$上可导，且${\int }_a^{+\infty }f(x)dx$与${\int }_a^{+\infty }{f}^{\prime }(x)dx$都收敛，证明${\lim }_{x\to +\infty }f(x)=0$。

证明：
$${\int }_a^{+\infty }{f}^{\prime }(x)dx={\int }_a^{+\infty }d(f(x))=\underset{x\to +\infty }{\lim }f(x)-f(a)$$
由${\int }_a^{+\infty }{f}^{\prime }(x)dx$的收敛性，可知${\lim }_{x\to +\infty }f(x)$存在且有限，再利用上面的命题，得到
$$\underset{x\to +\infty }{\lim }f(x)=0$$

（3）设${\int }_a^{+\infty }f(x)dx$收敛，且$f(x)$在$[a,+\infty )$一致连续，则${\lim }_{x\to +\infty }f(x)=0$。

证明： 用反证法。
若在所给的条件下，当$x\to +\infty$时$f(x)$不趋于0，则由极限定义，存在${ϵ}_0>0$，对于任意给定的$X>a$，存在$x_0>X$，使得
$$|f(x_0)|\ge {ϵ}_0.$$
又因为$f(x)$在$[a,+\infty )$上一致连续，故存在${\delta }_0\in (0,1)$，使得对于任意$x^{\prime },x">a$，只要$|x^{\prime }-x"|<{\delta }_0$，就有
$$|f(x^{\prime })-f(x")|<\frac{{ϵ}_0}{2}.$$
令${ϵ}_1=\frac{{ϵ}_0{\delta }_0}{2}$，对于任意给定的$A_0\ge a$，取$X=A_0+1$，并设$x_0>X$满足$|f(x_0)|\ge {ϵ}_0$。不妨设$f(x_0)>0$，则对于任意满足$|x_0-x|<{\delta }_0$的$x$，有
$$f(x)>f(x_0)-\frac{{ϵ}_0}{2}\ge \frac{{ϵ}_0}{2}>0.$$
取$A$和$A^{\prime }$分别等于$x_0-\frac{{\delta }_0}{2}$和$x_0+\frac{{\delta }_0}{2}$，则$A^{\prime }>A>A_0$，且有
$$|{\int }_A^{A^{\prime }}f(x)dx|=|{\int }_{x_0-\frac{{\delta }_0}{2}}^{x_0+\frac{{\delta }_0}{2}}f(x)dx|>\frac{{ϵ}_0}{2}{\delta }_0={ϵ}_1.$$
由Cauchy收敛原理，${\int }_a^{+\infty }f(x)dx$不收敛，与假设条件矛盾，于是${\lim }_{x\to +\infty }f(x)=0$。

4. 参考文献

《数学分析》（第三版 上册）陈纪修， 於崇华，金路