进一步,还有更细的判别法
命题7 (狄利克雷Dirichlet判别法)若F(u)=■f(x)dx在[a,+∞)上有界,g(x)在[a,+∞)上当x→+∞时单调趋于0,则■f(x)g(x)dx收敛。
证:由条件设■f(x)dx?燮M,u∈[a,+∞),任给?着>0,由于■g(x)=0,由此存在G?叟a,当x>G时,有 g(x)<■。
又因为g(x)为单调函数,利用积分第二中值定理,对任何u■>u■>G,存在?孜∈[u■,u■]使■f(x)g(x)dx=g(u1)■f(x)dx+g(u■)■f(x)dx,于是有,
■f(x)g(x)dx?燮g(u1)■f(x)dx+g(u■)■f(x)dx=
g(u1)■f(x)dx-■f(x)dx+g(u■)■f(x)dx-■f(x)dx<■·2m+■·2m=?着,
根据哥西准则■f(x)g(x)dx收敛。
由此看出,若我们不需要具体计算出积分得值,而只要判断一个积分是否收敛或绝对收敛,哥西准则是一个很强有力的办法。
(4)函数f(x)当x→x■时没有极限的哥西准则:存在?着>0,使对任意的s>0,存在x■与x■,00。
命题8 要使f(x)当x→x■时没有极限的充要条件是:存在?着>0,及两个序列{xn}及{xn1}, x■→x■,xn1→x■(x■≠x■,xn1≠x■),使f(x■)-f(xn1) ?叟?着>0。
3.函数在区间上的一直连续
一直连续是一个很重要的概念,在微积分学以及其它学科中常常是很有用的。
(1)我们说,函数f(x)在区间E(可以是闭区间或开区间或半开半闭或无穷区间)上一致连续,即任给?着>0,s>0,使当x■,x■∈E且x■-x■
若函数f(x)在有界闭区间[a,b]上连续,则他必在[a,b]上一致连续。
一直连续与连续的差别在于:当固定一点x=x■,在定义其连续时,上述s是依赖于点x=x■的选择,因此记作?啄(x■),一般地说,当f(x)在x=x■附近较为陡峭时,?啄(x■)较小;但当f(x)在x=x■附近较为平滑时,?啄(x■)较大,全体?啄(x■),x■∈E可能没有正的下界,一致连续时对整体而言,实际上就要求全体?啄(x■)有一个正下界,记作s,因此这里的s就与点的位置无关了。
在研究函数的整体性质时,一致连续显得特别有用,例如在研究黎曼积分是否存在时,有下面的命题:
命题9 函数f在[a,b]上可积的充要条件是:任给?着>0,总存在相应的某一分割T,使得■w■?驻x■
命题10 若函数f在[a,b]上连续,则f在[a,b]上可积。
证:由于f在[a,b]上连续,因此在[a,b]上一致连续,这就是说,任给?着>0,存在?啄>0,对[a,b]中任意两点x",x",只要x"-x"
命题11 若f是区间[a,b]上只有有限个间断点的有界函数,则f在[a,b]上可积。
下面我们举例说明,如何判断一个函数在区间上是一致连续的。
例1 从定义出发,证明f(x)=x■在[0,1]上一致连续。
证明:对任意的x■,x■∈[0,1],我们有
f(x■)-f(x■)=x■-x■x■■+x■■x■+x■■x■■+x■x■■+x■■?燮5x■-x■
因此任给?着>0,取?啄=■,当x■,x■∈[0,1]且x■-x■
(2)函数f(x)在区间E上不一致连续
从(1)中可看出,此时必须存在?着>0,使得对任意?啄>0,存在两点x■,x■∈E,x■-x■0。
命题12 要使函数f(x)在区间E上不一致连续的充要条件是:存在?啄>0,存在两串数列x■" ,x■",使当■(x■"-x■")=0,但f(x■")-f(x■")?叟?着>0。
例2 证明函数f(x)=x■在[0,+∞)上不一致连续。
证明:
取x■"=n,x■"=n+■显然有■(x■"-x■")=■■=0,
但f(x■")-f(x■")=n■-n+■■=3n+■+■?叟3=?着。■
【参考文献】
[1]邵品琮编著.数学分析纵横谈.北京大学出版社,1991,5.
[2]华东师范数学系编著.数学分析.高等教育出版社,2003,6.
[3]郝涌,李学志等.数学分析考研精编.信阳师范学院数学系.