邱香蘭 王小元 周麗英 肖可成
摘 要:一致收斂函數列是數學分析研究的重點與難點,而其中的等度一致連續(xù)函數列更是眾多學者研究的熱點。等度收斂函數列則是模仿等度一致連續(xù)函數列的定義而定義的。文章通過探究等度收斂函數列的性質與應用,得出函數列等度收斂的條件強于一致收斂的條件,找到能移植到等度收斂函數列中的一致收斂函數列的性質,并列出該性質的證明過程,同時呈現等度收斂函數列在常微分方程中的應用。
關鍵詞: 等度收斂函數;數列;性質;應用
中圖分類號:G642 文獻標志碼:A文章編號:1008-3561(2022)02-0112-03
一、引言
數學這門古老的學科在其發(fā)展過程中經歷了三次數學危機,而每一次數學危機的解決過程都是數學研究進步的過程,是數學獲得更大發(fā)展的過程。數學分析是大學數學的基礎課程,數學分析的基礎是實數理論。實數系最重要的特征是連續(xù)性,有了實數的連續(xù)性才能討論極限、連續(xù)、微分和積分。正是在討論函數的各種極限運算的合法性的過程中,人們逐步建立起嚴密的數學分析理論體系。隨著研究的逐步深入,人們正慢慢揭開數學分析神秘的面紗,其中,數學分析中的等度收斂是收斂與等度一致連續(xù)的結合,不僅具有一致收斂的性質,還具有一致連續(xù)的性質。作為一種全新的概念,等度收斂有很大探究空間,是眾多學者研究的課題。一致收斂以及一致連續(xù)也是數學分析的重要內容,等度連續(xù)雖然出現較少卻具有橋梁的連接作用。為探索它們之間的關系,徐麗從它們的定義出發(fā),運用數學分析中的定理與技巧,找到相互推導需要用到的條件。由此,這幾個概念之間的關系變得清晰明了。之后,邢家省等人重新提出不受關注的奧斯古德定理,并進一步論證這個定理具有的價值、意義。實際上,奧斯古德定理只是判斷一致收斂的一種方法,但它是從函數列的等度一致連續(xù)性出發(fā)得出來的,因此也可以說奧斯古德定理是在探索等度一致連續(xù)和一致收斂的關系。目前,對等度一致連續(xù)的研究多數是在拓撲學之中,而等度收斂是一個全新的概念,它包含等度一致連續(xù)與收斂的內容,并推導出一致收斂、一致連續(xù),而這也給學者提供了新的研究思路、新的研究方向。要說明一致收斂,只要說明等度收斂即可,要判斷一致連續(xù),也只要說明等度收斂即可,但是從后面的研究可以發(fā)現,等度收斂的條件很強,要判斷等度收斂并不是一件輕松的事。由此可見,等度收斂還有很大的探究空間。本文主要探究等度收斂函數列的性質與應用。
二、等度收斂函數列概念的界定
目前,很多教材都沒有等度一致連續(xù)的定義,這里只能對等度一致連續(xù)這一概念進行描述。若函數列
f(x)中每一個函數在數集D上都一致連續(xù),則函數列
f(x) 在D上是等度一致連續(xù)。下面模仿等度一致連續(xù)函數列的定義來定義等度收斂函數列。若函數列
f(x) 收斂于f(x),且其中每一個函數fn(x)在數集D上都一致連續(xù),則稱函數列
f(x)在D上為等度收斂函數列,記作:fn(x)→f(x)(n→∞),x∈D。等度收斂函數列用ε-δ 語言描述為: ?ε>0,?δ=δ(ε)>0,當x1,x2∈D且x1-x2<δ時,?n有
f(x1)-
f(x2)<ε,并且f(x)=f(x)。
三、等度收斂函數列的性質
性質1(一致收斂性):若函數列
f(x)在[a, b]上等度收斂于f(x),則
f(x)在[a, b]上一致收斂。
證明:因為函數列
f(x)在[a, b]上等度收斂于f(x),所以對?ε>0,?δ=δ(ε)>0,當x1,x2∈[a, b]且x1-x2<δ時,?n有
f(x1)-
f(x2)<ε,并且f(x)=f(x)。即函數fn(x)在[a, b]上一致連續(xù),又由收斂數列的保不等式性知,f(x1)-f(x2)≤ε,即f(x)在[a, b]上也一致連續(xù)。
每一x∈[a, b],都對應著一個鄰域U(x, δ),所有這樣的鄰域U(x, δ)所形成的開區(qū)間集H自然覆蓋了閉區(qū)間[a, b]。于是由有限覆蓋定理可知,必存在有限多個這樣的鄰域U(x1, δ),U(x2, δ),…,U(xm, δ) 也覆蓋了閉區(qū)間[a, b]。令分割 Δ:a=x1
f(xi)-
f(xi)<(i=1, 2,…, n),只要取N=maxN1, N2, N3, …Nm,當n>N,?x∈[a, b],?xi有x-xi<δ,從而
f(x)-f
(x)=
f(x)-
f(xi)+
f(xi)-
f(xi)+
f(xi)-f
(x)≤
f
(x)-
f(xi)+
f(xi)-f
(xi)+
f(xi)-f
(x)<++=ε,故
f(x)在[a, b]上一致收斂于f(x)。
性質2(連續(xù)性):設函數列
f(x)在[a, b]上等度收斂于f(x),則f(x)在[a, b]上連續(xù)。由性質1的證明過程知性質2成立。
性質3(可積性):設函數列
f(x)在[a, b]上等度收斂于f(x),則f(x)在[a, b]上可積,且f(x)dx=f(x)dx。
證明:分兩步證明。(1)因為函數列
f(x)在[a, b]上等度收斂于f(x),則由上述性質2知f(x)在[a, b]上連續(xù)。因為閉區(qū)間上的連續(xù)函數一定可積,所以f(x)在[a, b]上可積。(2)要證明f(x)dx=f(x)dx,證明f(x)dx=f(x)dx即可。也就是要證明 ?ε>0,?N>0,當n>N,?x∈[a, b]時有
f(x)dx-
f(x)dx=
fn(x)-f(x)dx<ε。由于
f(x)在[a, b]上等度收斂于f(x),根據性質1知fn(x)一致收斂于f(x), x∈[a, b],即?ε>0,?N>0,當n>N,?x∈[a, b]都有fn(x)-f(x)<。于是進行放縮有
f(x)dx-
f(x)dx=
fn(x)-f(x)dx≤fn(x)-f(x)dx<·(b-a)=ε,綜合(1)(2)便可得證。
性質4(可導性):設函數列
f(x)在[a, b]上收斂于f(x), fn'(x)在[a, b]上等度收斂于f'(x),則
f(x)在[a, b]上可導,且
f(x)=f(x),證明:因為函數列
f'(x)在[a, b]上等度收斂于f'(x),所以根據性質2知,函數列
f'(x)在[a, b]上連續(xù),于是有f'(x)=f'(x)。∵f(x)-f(x0)=f'(t)dt ?fn(x)=fn(x0)+f'(t)dt,∴f(x)=f(x0)+f'(t)dt=f(x0)+f'(t)dt,∴
f(x)=
f'(t)dt=f'(x)=f'(x)= f(x),結論得證。
性質5(一致連續(xù)性):
f(x)在D上等度收斂于f(x),則fn(x)和f(x)在D上一致連續(xù)。
證明:由于fn(x)在D上等度一致連續(xù),所以?ε>0,?δ=δ(ε)>0,當x1,x2∈D且x1-x2<δ時,?nfn(x1)-fn(x2)<ε。很顯然,一方面,按照一致連續(xù)的定義,函數fn(x)在D上一致連續(xù);另一方面,因為f(x)= f(x),所以只要讓n→∞,取極限就會有f(x1)-f(x2)<ε,即f(x)在D上也一致連續(xù)。
上述性質2、3、4與一致收斂的函數列的相應三個性質比較,等度收斂的優(yōu)點特別突出,它不再需要一些附加條件,比如在證明一致收斂函數列的極限函數的可微性時,要增加函數列的每一項都有連續(xù)的導數的條件。這是因為等度收斂函數列不僅有一致收斂函數列的性質,還有其他性質,如一致連續(xù)性。
四、等度收斂函數列的應用
等度收斂函數列應用于許多數學領域,本文主要研究其在常微分方程中的應用。用Picard逐步逼近法得到函數列φn(x)如下:
φ0(x)=y0
φn(x)=y0+
f(ξ,φn-1(ξ))dξ, x0≤x≤x0+h(n=1, 2…)且有 φn(x)-y0≤b,證明函數列φn(x)是等度收斂的。
分析:已知“函數序列φn(x)在x0≤x≤x0+h上是一致收斂的”。那么,根據等度收斂函數列定義的界定,證明φn(x)在x0≤x≤x0+h上是等度一致連續(xù)的即可。
證明:由于φn(x)=y0+f(ξ,φn-1(ξ))dξ, 且有φn(x)-y0≤b,所以φn(x)在x0≤x≤x0+h上有界。設M=f(x,y), ?ε>0,?δ=則對于任意的x1,x2∈U+(x0, h)且x1-x2<δ時有φn(x1)-φn(x2)=
f(x,φn-1(x))dx-
f(x,φn-1(x))dx=
f(x,φn-1(x))dx≤
f(x,φn-1(x))dx≤Mx1-x2<ε。所以φn(x)是等度一致連續(xù)的。又已知函數序列φn(x)在x0≤x≤x0+h上是一致收斂的,所以φn(x)是等度收斂的。已知,φn(x)是x0≤x≤x0+h上的連續(xù)解。下面用一致連續(xù)的定義證明φ(x)是一致連續(xù)的。證明:對于?ε>0,?δ=>0,當x1,x2∈x-x0≤h且x1-x2<δ時,有φ(x1)-φ(x2)=y0+
f(ξ,φ(ξ))dξ-y0+
f(ξ,φ(ξ))dξ≤
f(x,φ(x))dx≤f(x,φ(x)dx≤Mx1-x2<ε,所以φ(x)是x0≤x≤x0+h上的一致連續(xù)解。
五、結語
等度收斂是一個新概念,但是其內容對學生并不是完全陌生的,等度收斂是收斂與等度一致連續(xù)的升華。等度一致連續(xù)雖然在大學數學教材中并不常見,但是在實分析中的作用很大,收斂則是數學分析中的常見內容,二者結合創(chuàng)造出“新”的數學知識,即一致收斂與一致連續(xù)。于是,等度收斂與一致收斂、一致連續(xù)之間便架起了橋梁,一致收斂的性質可以轉移到等度收斂中,而因為等度一致連續(xù)的存在又使得等度收斂增加了一致收斂的性質。這樣,數學分析中的一致收斂、一致連續(xù)變得更加緊密。本文從等度收斂的定義入手,首先探究等度收斂與一致收斂的關系,然后根據關系推導出等度收斂的性質及判斷技巧,最后將這個新的概念運用于解題之中。由此得出結論,等度收斂函數列概念的提出非常有價值而且還有許多未知領域值得人們去探索、去研究。
參考文獻:
[1]楊萬秀.一類測度泛函微分系統(tǒng)解對參數的連續(xù)依賴性和可微性[D].西北師范大學,2020.
[2]劉倩,宋瑩炯,魯志波,張冬燕.高階常系數線性常微分方程的新穎解法[J].高等數學研究,2020(03).
[3]王高雄,周之銘,朱思銘,王壽松.常微分方程(第三版)[M].北京:高等教育出版社,2006.
[4]楊麗娟.一類非線性四階常微分方程邊值問題解的存在唯一性[J].山東大學學報,2020(06).
[5]周羚君.常微分方程解的延伸定理的特殊形式[J].大學數學,2020(02).
[6]魏運.函數列內閉一致收斂及其性質[J].內蒙古財經大學學報,2017(04).
[7]嚴慧.函數序列一致收斂性的分析與證明[J].湖北師范學院學報,2016(02).
[8]王秀英,許宏文.一致收斂函數序列的一個性質及其應用[J].牡丹江師范學院學報,2014(02).
[9]林新和.關于函數列連續(xù)一致收斂關系的研究[J].呼倫貝爾學院學報,2011(06).
[10]徐麗.函數列一致連續(xù)和一致收斂及等度連續(xù)的關系[J].上海電力學院學報,2007(03).
[11]勾明志,付洋,蔡克珍.非線性中立型分數階微分方程解的存在性[J].安慶師范大學學報,2020(02).
Properties and Application of Equidegree
Convergent Function Sequence
Qiu Xianglan, Wang Xiaoyuan, Zhou Liying, Xiao Kecheng
(School of Engineering and Management, Pingxiang University, Pingxiang 337000, China)
Abstract: Uniformly convergent function sequence is the focus and difficulty of mathematical analysis, and the equidegree uniformly continuous function sequence is the focus of many scholars. The equidegree convergent function sequence is defined by imitating the definition of equidegree uniformly continuous function sequence. By exploring the properties and applications of equidegree convergence function sequence, this paper obtains that the condition of equidegree convergence of function sequence is stronger than that of uniform convergence, finds the property of uniform convergence function sequence that can be transplanted into equidegree convergence function sequence, lists the proof process of this property, and presents the application of equidegree convergence function sequence in ordinary differential equations.
Key words: equidegree convergence function; sequence; nature; application