趙建華
(上海海事大學,上海200135)
函數(shù)的定積分,有兩個重要的約束條件,即積分區(qū)間的有限性和被積函數(shù)的有界性。將這兩個約束條件取消,便得到了定積分兩種形式的推廣:(1)將函數(shù)的積分區(qū)間由有限擴展到無限就得到了無窮限的反常積分;(2)將被積函數(shù)由有界擴展到無界就得到無界函數(shù)的反常積分[1-3]。但是,反常積分涉及到一個所謂的收斂性問題。因為積分區(qū)間的有窮性和被積函數(shù)的有界性在很多實際問題中往往需要突破這些限制,因而對反常積分斂散性的判定就顯得格外重要[4-15]。本文討論的重點就是關于反常積分斂散性的新的對數(shù)判定方法以及新的對數(shù)判別法和舊的對數(shù)判別法的優(yōu)劣。
考察無窮限積分的對數(shù)審斂法[4]的證明知道,它是以反常積分1時收斂,p≤1時發(fā)散)作為標準來進行判定的。在本文的研究中,我們可以以反常積分(p>1時收斂,p≤1時發(fā)散)作為比較標準來探討相應的判別法。類似地,對于瑕積分(a是唯一的瑕點),我們擬用(p>1時收斂,p≤1時發(fā)散)作為比較標準來探討相應的判別法。
定理1設函數(shù)f(x)為定義在區(qū)間[3,+∞)上的正值函數(shù)。
(i)如果存在常數(shù)λ>1及G>3,使得對任意的 x>G,有,則無窮限反常積分收斂。
即有
由于λ>1,故無窮限反常積分
證畢。
定理1有如下極限形式:
推論1設函數(shù)f(x)為定義在區(qū)間[3,+∞)上的正值函數(shù),且
由此可推出 1n[xf(x)] ≤1n(1nx)-(λ-ε),即有 xf(x)≤(1nx)-(λ-ε)。
當λ=+∞時,對M=2,存在G>3,使得對任意的 x>G有,即有
定理2設函數(shù)f(x)為定義在區(qū)間[3,+∞)上的正值函數(shù)。
(i)如果存在常數(shù)λ>1及G>3,使得對任意的x>G時有,則存在常數(shù) λ'>1及G'>3,使得對任意的 x > G'時有≥λ'。
證明 (i)由于G>3,故當時x>G,有1n1nx>1nx>0。于是當 x>G時,假設,由于從而,對 λ >1,?G'>3,當 x>G'時,有取λ'=λ,即得(i)的證明。
(ii)由于G>3,故當x>G時有1n1nx>1nx>
證畢。
證明 由定理2的證明過程知本推論成立,證畢。
定理3設函數(shù)f(x)為定義在區(qū)間(a,b] 上的正值函數(shù),在點a的任一右鄰域上無界,且在任何區(qū)間[μ,b] ?(a,b)上可積。
(i)如果存在 δ∈(0,e-1)及常數(shù) λ >1,使得對于任意的 x∈(a,a+δ)有
(ii)若存在 δ∈(0,e-1),使得對于任意的 x∈(a,a+ δ)有
證明(i)因為0 < δ< e-1,故對于任意 x∈(a,a+δ)有0<x-a<e-1,于是 1n(x-a)< -1,故|1n(x-a)|>1,從而1n|1n(x-a)|>0。于是由式(6)可得
1n[(x-a)f(x)] ≤ -λ1n|1n(x-a)|=1n|1n(x-a)|-λ,即有(x-a)f(x)< |1n(x-a)|-λ,于是
(ii)因為0 < δ< e-1,故對于任意的 x∈(a,a+δ),由于0<x-a<e-1,于是1n(x-a)< -1,故|1n(x-a)|>1,從而 1n|1n(x-a)|>0。由式(7)得1n[(x-a)f(x)] ≥ -1n|1n(x-a)|=1n|1n(x - a)|-1,即有
證畢。
定理3有如下極限形式:
推論3設函數(shù)f(x)為定義在區(qū)間(a,b)上的正值函數(shù),在點a的任一右鄰域(a,a+δ)上無界,且在任何區(qū)間[μ,b] ?(a,b)上可積。若,則
當 λ =+∞時,存在0 < δ<e-1,使得當 x∈(a,a+δ)時有從而1n[(xa)f(x)] <21n|1n(x-a)|。
定理4設函數(shù)f(x)為定義在區(qū)間(a,b)上的正值函數(shù),在點a的任一右鄰域上無界,且在任何區(qū)間[μ,b] ?(a,b)上可積。
(i)如果存在 δ∈(0,e-1)及常數(shù) λ∈(0,1),使得對于任意的 x∈(a,a+δ)時有,則存在 δ'∈(0,e-1)及常數(shù) λ'> 1,使得對任意的 x∈(a,a+δ)有
(ii)如果存在 δ∈(0,e-1),使得對任意的 x∈(a,a+δ)時有,則存在 δ'∈(0,e-1),使得對任意的 x∈(a,a+δ'),有
即得(ii)的證明。
證畢。
推論4設f(x)是定義在(a,b] 上的正值函數(shù),在點a的任一右鄰域(a,a+δ)上無界,且在任何區(qū)間[μ,b] ?(a,b)上可積,若則
考察定理3的證明過程知,本推論成立,證畢。
[1] 同濟大學應用數(shù)學系.高等數(shù)學(第5版)[M] .北京:高等教育出版社,2002.
[2] 華東師范大學數(shù)學系.數(shù)學分析[M] .北京:人民教育出版社,2001.
[3] 裴禮文.數(shù)學分析中的典型問題與方法[M] .北京:高等教育出版社,1993.
[4] 毛一波.反常積分與無窮級數(shù)的對數(shù)審斂法[J] .重慶文理學院學報,2007,4(1):25 -27.
[5] 陳亞麗.廣義積分散斂性的對數(shù)判別法[J] .安徽電子信息職業(yè)技術學院學報,2004,3(5):113-114.
[6] 郭祖勝.非負函數(shù)無窮積分散斂性的新判別法[J] .三峽大學學報,2001,5(3):71 -72.
[7] 崔令霞.一種無窮限廣義積分與正項級數(shù)的斂散法[J] .洛陽師范學院學報,2006,2(5):55-57.
[8] 邊亞明.廣義積分斂散性的一種判別法[J] .沈陽工程學院院報,2006,3(6):23 -25.
[9] 徐獻瑜,冷生明.微積分學教程(第二卷)(第八版)[M] .北京:高等教育出版社,2006.
[10] 何憶捷.對一類反常積分收斂判別題的研究[J] .高等數(shù)學研究,2005,10(6):7 -8.
[11] 華東師范大學數(shù)學系.數(shù)學分析(上冊)[M] .北京:高等教育出版社,2000.
[12] 陳傳璋.數(shù)學分析[M] .北京:高等教育出版社,1983.
[13] 吉米多維奇.數(shù)學分析習題集題解(二)[M] .濟南:山東科技出版社,1999.
[14] G KLAMBAUER.數(shù)學分析[M] .長沙:湖南人民出版,1981.
[15] HALLENBECK D J,TKACZYNSKA K.The absolute and uniform convergence infinite improper integrals[J] .Amer.Math.Monthly,1988(95):124 -126.
[16] HARUKI H,HARUKI S.Euler's integrals[J] .Amer.Math.Monthly,1983(90):464 -466.