邢家省, 楊義川, 王擁軍
(1.北京航空航天大學數(shù)學與系統(tǒng)科學學院, 北京100191;2.數(shù)學、信息與行為教育部重點實驗室, 北京100191)
函數(shù)列的黎曼積分的極限定理及其應用
邢家省1,2, 楊義川1,2, 王擁軍1,2
(1.北京航空航天大學數(shù)學與系統(tǒng)科學學院, 北京100191;2.數(shù)學、信息與行為教育部重點實驗室, 北京100191)
考慮函數(shù)列在廣義積分下的極限問題,運用函數(shù)列的極限理論,在函數(shù)列的內(nèi)閉一致收斂條件下和函數(shù)列的一致有界條件下,給出了黎曼可積函數(shù)列積分的極限定理的結(jié)果;在函數(shù)列的廣義積分一致收斂的條件下,給出了廣義積分下函數(shù)列積分的極限定理結(jié)果的充分條件,給出了廣義積分下函數(shù)列積分的控制收斂定理的敘述和證明,并將這些理論方法應用于一些重要問題的解決,給出了系統(tǒng)的一般化理論方法,推進了理論發(fā)展和提高認識。
函數(shù)列的極限理論;廣義積分;內(nèi)閉一致收斂;含參變量廣義積分的一致收斂;廣義積分控制收斂定理
函數(shù)列積分的極限問題是分析學中的重要內(nèi)容[1-16],然而,此重要問題在數(shù)學分析的經(jīng)典教材中一般是沒有給予充分系統(tǒng)的討論,沒有給出系統(tǒng)一般性的深刻的結(jié)果,但在數(shù)學分析的經(jīng)典習題中,又出現(xiàn)了大量的練習題目,使人們不得不用最原始的證法去重復給出解答[6-9],沒有形成一般性的理論方法。研究發(fā)現(xiàn),函數(shù)列積分的極限理論完全可以在數(shù)學分析中給予系統(tǒng)完整的介紹,用已有的知識基礎,就能得到深刻的理論結(jié)果,達到理論上應有的發(fā)展高度,并能解決大量的問題。在現(xiàn)有函數(shù)列的極限理論方法的基礎上,充分發(fā)掘它的功能和潛力,就能得到函數(shù)列的廣義積分的極限定理,使廣義積分下的函數(shù)列積分的極限理論得到豐富發(fā)展,便于應用。
文獻[1-16]中對函數(shù)列的積分的極限理論,從多個不同方面進行了研究,得到了一些結(jié)果,但不系統(tǒng)、不明確,沒有發(fā)展到應有的理論高度。本文在現(xiàn)有研究成果的基礎上,進行了系統(tǒng)的一般化處理,形成了一套系統(tǒng)的嚴密理論方法,豐富發(fā)展了經(jīng)典理論,達到新的認識高度。
定理1[1-6]設{fn(x)}是[a,b]上的連續(xù)函數(shù)列,如果{fn(x)}在[a,b]上一致收斂于f(x)。則有
(1)f(x)在[a,b]上連續(xù);
定理2[2,4,13]設{fn(x)}是[a,b]上的黎曼可積函數(shù)列,如果{fn(x)}在[a,b]上一致收斂于f(x)。則有
(1)f(x)在[a,b]上黎曼可積;
定理3[1-2,4,6]設{fn(x)}是[a,b]上的黎曼可積函數(shù)列,且滿足如下條件:
(2)存在常數(shù)M>0,使得|fn(x)|≤M,對x∈[a,b],n=1,2,…;
(3)對任意a 定理4[2,4,6]設函數(shù)列{fn}的每一項都在區(qū)間[a,b]上黎曼可積,且滿足如下條件: 定理3的結(jié)論在數(shù)學分析的經(jīng)典教材[1-6]中是不曾明確寫出的,這樣導致對大量習題[1-9]不得不用原始辦法去解答,對這些習題如果套用定理3的結(jié)果就能非常簡單的解決。定理3的表述方式和證明方法,具有一般性的理論意義。 如果滿足條件: (1)對任意a 由定理5的敘述和證明過程可以發(fā)現(xiàn),定理5中的區(qū)間[a,b)可為有限區(qū)間,也可以是無限區(qū)間,即b可為有限,或為+∞。類似地,可得: 如果滿足條件: (1)對任意a 定理6的積分下限a可為有限,也可以是-∞。 (1)對任意a 定理7中的區(qū)間(a,b)可為有限區(qū)間,也可為無限區(qū)間。 如果滿足條件: (1)對任意B>A>a,{fn(x)}在[A,B]上一致收斂于f(x),即{fn(x)}在(a,+∞)上內(nèi)閉一致收斂于f(x); 注意定理8中的積分下限a可以為有限的,a也可以是-∞。 如果滿足條件: (1)對任意B>A>a,{fn(x)}在[A,B]上一致收斂于f(x),即{fn(x)}在(a,+∞)上內(nèi)閉一致收斂于f(x); 定理7和定理8常被使用的情形是控制收斂定理。 如果滿足條件:2函數(shù)列的廣義積分的極限定理的幾種形式