于曉要 李 娜
(商丘工學(xué)院,河南 商丘 476000)
高等數(shù)學(xué)和數(shù)學(xué)分析中對函數(shù)的可積性與原函數(shù)的存在性給出了一些簡單闡述,主要結(jié)論如下定理[1-2].
定理1 若函數(shù)f(x)在區(qū)間I上連續(xù),則f(x)在I上存在原函數(shù).
定理2 若函數(shù)f(x)在區(qū)間[a,b]上連續(xù),則f(x)在[a,b]上可積.
定理3 若函數(shù)f(x)在區(qū)間[a,b]上有界,且只存在有限個間斷點,則f(x)在[a,b]上可積.
文獻[3]-[5]也對函數(shù)的可積性與原函數(shù)的存在性進行了進一步研究和探討.本文僅對間斷點的類型給出幾個結(jié)論,比較具體地討論間斷點與函數(shù)的可積性、原函數(shù)存在性的關(guān)系.
結(jié)論1 若函數(shù)f(x)在區(qū)間[a,b]上存在有限個第一類間斷點,則f(x)在[a,b]上可積,但原函數(shù)不存在.
證明 由定理3可得f(x)在[a,b]上可積.下證f(x)在[a,b]上的原函數(shù)不存在.
設(shè)x0∈(a,b)是f(x)的第一類間斷點,則f(x0-)、f(x0+)都存在.用反證明法,假設(shè)f(x)在[a,b]上存在原函數(shù)F(x),即F'(x0)=f(x0),由洛必達法則可得
結(jié)論2 若函數(shù)f(x)在區(qū)間[a,b]上存在有限個無窮間斷點,則f(x)在[a,b]上不可積,且不存在原函數(shù).
因為f(x)在[a,b]上無界,所以不可積.類似結(jié)論1 的證明可得原函數(shù)不存在.
上面已經(jīng)討論了第一類間斷點和第二類間斷點中的無窮間斷點.在下面的討論中,把第二類間斷點中的震蕩間斷點分為有界震蕩、無界震蕩兩種類型.
結(jié)論3 若函數(shù)f(x)在區(qū)間[a,b]上存在有限個有界震蕩間斷點,則f(x)在[a,b]上可積,原函數(shù)可能存在也可能不存在.
由定理3容易得,f(x)在[a,b]上可積.下面的兩個例子說明了原函數(shù)可能存在也可能不存在.
圖1
圖2
事實上,在x≠0時,f(x)的原函數(shù)為
而無論a是哪個常數(shù),F(xiàn)(x)在x=0處均不可導(dǎo).
結(jié)論4 若函數(shù)f(x)在區(qū)間[a,b]上存在有限個無界震蕩間斷點,則f(x)在[a,b]上不可積,原函數(shù)可能存在也可能不存在.
在x=0處不可導(dǎo).
圖4
圖3
根據(jù)上面的討論可得,一個函數(shù)在含有間斷點的區(qū)間上存在原函數(shù),那么該間斷點必定是震蕩間斷點,且原函數(shù)是否存在與間斷點處有界震蕩還是無界震蕩無關(guān).可積性與原函數(shù)存在性之間沒有必然的蘊含關(guān)系,是相互獨立的概念.存在既不可積也不存在原函數(shù)的函數(shù)(如例4),只有可積且存在原函數(shù)的情形才成立牛萊公式.