進一步,還有更細的判別法
命題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]郝涌,李學志等.數學分析考研精編.信陽師范學院數學系.