一个特殊级数的敛散性判断

海涅定理

若函数$f(x)$在$x_0$的去心领域$U(x_0,\delta )$内有定义，则${\lim }_{x\to x_0}f(x)=A$的充要条件是：对任意以$x_0$为极限且包含于$U(x_0,\delta )$的数列 { x n } \{x_n\} {xn​}，都有${\lim }_{n\to \infty }f(x_n)=A$.

证明：必要性：由${\lim }_{x\to x_0}f(x)=A$可知，对于任意$\epsilon >0$，存在$\delta$，使得当$x\in U(x_0,\delta )$时有$|f(x)-A|<\epsilon$.而由${\lim }_{n\to \infty }{x}_n=x_0(x_n\ne x_0)$知，正好存在$N_1(\delta )$，当$n>N_1(\delta )$时有$|x_n-x_0|<\delta$，此时有$|f(x)-A|<\epsilon$.这说明${\lim }_{n\to \infty }f(x_n)=A$.

充分性：假设${\lim }_{x\to x_0}f(x)\ne A$，则存在${\epsilon }_0>0$，对任意$\delta >0$，总存在$x\in U(x_0,\delta )$，使得$|f(x)-A|\ge {\epsilon }_0$.

但是若分别取$\delta ={\delta }^{{}^{\prime }},\frac{{\delta }^{{}^{\prime }}}{2},...\frac{{\delta }^{{}^{\prime }}}{n},...$，分别得到点$x_1,x_2,...x_n,...\in U(x_0,{\delta }^{{}^{\prime }}),U(x_0,\frac{{\delta }^{{}^{\prime }}}{2}),...U(x_0,\frac{{\delta }^{{}^{\prime }}}{n}),...$对于任意的$n=1,2,\mathrm{3...}$有$|f(x_n)-A|\ge {\epsilon }_0$.显然该数列在$U(x_0,{\delta }^{{}^{\prime }})$中，${\lim }_{n\to \infty }{x}_n=x_0(x_n\ne x_0)$.但由上面的条件${\lim }_{n\to \infty }f(x_n)\ne A$，这与已知矛盾.故${\lim }_{n\to \infty }f(x_n)=A$得证.

特殊级数的敛散性判断

判断下面级数的敛散性：
$$\sum _{n=1}^{\infty }(\frac{1}{\sqrt{n}}-\sqrt{\ln \frac{n+1}{n}})$$
解：构造$f(x)=x-\sqrt{\ln (1+x^2)}$，易有：
$$\underset{x\to 0}{\lim }\frac{f(x)}{x^3}=\frac{1}{4}$$
由海涅定理，构造$x_n=\frac{1}{\sqrt{n}}\to 0$，有:
$$\underset{n\to \infty }{\lim }\frac{f(\frac{1}{\sqrt{n}})}{(\frac{1}{n}{)}^{\frac{3}{2}}}=\frac{1}{4}$$
由比较审敛法，由于${\sum }_{n=1}^{\infty }(\frac{1}{n}{)}^{\frac{3}{2}}$收敛，故${\sum }_{n=1}^{\infty }f(\frac{1}{\sqrt{n}})$收敛，即${\sum }_{n=1}^{\infty }(\frac{1}{\sqrt{n}}-\sqrt{\ln \frac{n+1}{n}})$收敛。

分析

这个题目是很具有启发性的，这是因为对于形如${\sum }_{n=1}^{\infty }f(n)$的级数的收敛性而言，只要存在这样一个$\alpha >1,\beta >0$，使得满足条件就有该级数的收敛。
$$\underset{x\to 0}{\lim }\frac{f(x^{-\frac{\beta }{\alpha }})}{x^{\beta }}<\infty$$
这是因为由海涅定理，可以构造$x_n=(\frac{1}{n}{)}^{\frac{\alpha }{\beta }}\to 0$，此时有${\lim }_{x\to 0}\frac{f(x^{-\frac{\beta }{\alpha }})}{x^{\beta }}={\lim }_{n\to \infty }\frac{f(n)}{(\frac{1}{n}{)}^{\alpha }}<\infty$，由${\sum }_{n=1}^{\infty }(\frac{1}{n}{)}^{\alpha }$的收敛性可知结论成立。