李 霞

（沈陽(yáng)理工大學(xué)理學(xué)院，遼寧 沈陽(yáng) 110159）

無(wú)窮限反常積分是定積分的一種推廣形式，其收斂性的判別在基礎(chǔ)數(shù)學(xué)理論體系與其他學(xué)科實(shí)際應(yīng)用中都有著重要的意義.在諸多收斂性判別法中，狄利克雷（Dirichlet）判別法則是理論意義重要但實(shí)際操作難以下手的一個(gè)定理.因此，能否找到一類(lèi)適合狄利克雷判別法條件要求的被積函數(shù)，成為解決問(wèn)題的關(guān)鍵，本文通過(guò)實(shí)例進(jìn)行類(lèi)推，以期對(duì)狄利克雷判別法的實(shí)際應(yīng)用有所促進(jìn).

定理[1]設(shè)f(x),g(x)在[a, +∞)上有定義，

（1） ?X＞a,g(x)∈R[a,X],?M＞ 0,使得對(duì)

（2）f(x)在[a, +∞]上單調(diào)，且

由定理，狄利克雷判別法將函數(shù)乘積的無(wú)窮積分的收斂性判定問(wèn)題轉(zhuǎn)化為判定兩個(gè)函數(shù)是否滿(mǎn)足特定條件的形式. 但在具體應(yīng)用中，相對(duì)于判別部分因式是否單調(diào)趨于零，更為困難的則是尋找是否有部分因式作為被積函數(shù)時(shí)積分有界.

先討論可以應(yīng)用狄利克雷判別法的例子.

解 ： 對(duì)g(x)=cosx，?M=2，對(duì)于?X＞ 1，

由狄利克雷判別法，當(dāng)α＞ 0時(shí)，收斂.

從例1發(fā)現(xiàn)，當(dāng)取g(x)為三角函數(shù)時(shí)，可以很輕松地得到其積分有界的結(jié)論，從而直接應(yīng)用狄利克雷判別法求證，在某種程度上，是三角函數(shù)的周期性及函數(shù)值有規(guī)律的取值使其很好地滿(mǎn)足了判別法的條件，那么三角函數(shù)的特性能否化為更一般的規(guī)律呢？

例2：g(x)是(?∞,+∞)上周期為2π的連續(xù)函數(shù)，

證明：對(duì)?α＞ 0，收斂[1].

證明：顯然，對(duì)?X＞ 1，g(x)在[1 ,X]上連續(xù)且可積，故g(x)在[1 ,X]上有最值.

既 ?m,M∈R，m＜M，當(dāng)x∈ [ 1 ,X]時(shí)，m≤g(x)≤M成立.

由狄利克雷判別法，對(duì)?α＞ 0，收斂.

例2提取了三角函數(shù)一個(gè)周期內(nèi)積分為零這一特性，構(gòu)成了更為一般的條件.進(jìn)一步，條件“g(x)是(?∞,+∞)上周期為2π的連續(xù)函數(shù)，可弱化為“g(x)是(?∞,+∞)上周期為T(mén)的連續(xù)函數(shù)，其中T為實(shí)數(shù)，T＞ 0”。

這樣就找到了更具普適性的一類(lèi)函數(shù)，可以通過(guò)證明其積分有界，從而利用狄利克雷判別法證明其與某單調(diào)趨于零函數(shù)的乘積的廣義積分收斂.但是，這也僅僅窺得問(wèn)題答案的冰山一角，相信經(jīng)過(guò)深入的理論研究，可以有更多發(fā)現(xiàn).