资源描述:
《《致收敛性》PPT课件》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库。
1、第十三章函数列与函数项级数§1一致收敛性设是一列定义在同一数集E上的函数,称为定义在E上的函数列,简记为{fn}或fn,n=1,2,...设x0∈E,将x0代入上述函数列,可得数列一、函数列及其一致收敛性若此数列收敛,则称x0为函数列(1)的收敛点,若此数列发散,则称函数列(1)在x0发散.使函数列(1)收敛的全体收敛点构成的集合,称为函数列(1)的收敛域.若函数列(1)在数集D⊂E上每一点都收敛,则称函数列(1)在数集D上收敛.记极限函数为f,则有此极限的ε–N的定义是:对任何x∈D,任给的ε>0,存在N>0,使得当n>N时,总有
2、fn(x)–f(x)
3、<ε其中N既与ε有关也与x有
4、关.对于函数列,我们不仅要研究它在哪些点上收敛,而更重要的是要研究极限函数所具有的解析性质:即连续性、可微性、可积性.为此讨论函数列的一致收敛性.定义1设函数列{fn}与函数f都在数集D上有定义,若对任给的ε>0,存在N>0,使得当n>N时,对任何x∈D,都有
5、fn(x)–f(x)
6、<ε则称{fn}在D上一致收敛于f,记为若函数列{fn}在D上一致收敛,则必在D上每一点都收敛,反之,不一定成立.例2证明函数列在(–∞,+∞)上一致收敛.证对任给的ε>0,取N=1/ε,当n>N时,对任何x∈(–∞,+∞),都有所以函数列在(–∞,+∞)上一致收敛于0.函数列{fn}在D上不一致收敛于f
7、的定义:若存在ε0>0,对任何N>0,都存在n0>N,且存在x0∈D,使得
8、fn0(x0)–f(x0)
9、≥ε0则称{fn}在D上不一致收敛于f.例证明函数列{xn}在(0,1)上不一致收敛于0.证取对任何正整数N,当n>N时,取则有所以{xn}在(0,1)上不一致收敛于0.定理13.1(函数列一致收敛的柯西准则)函数列{fn}在D上一致收敛于f的充要条件是:对任给的ε>0,存在N>0,使得当n,m>N时,对任何x∈D,都有
10、fn(x)–fm(x)
11、<ε.定理13.2函数列{fn}在D上一致收敛于f的充要条件是:设{un(x)}是定义在数集E上的一个函数列,表达式二、函数项级数及其一致
12、收敛性称为定义在E上的函数项级数,简记为或称为函数项级数(9)的部分和函数列.若x0∈E时,数项级数收敛,则称x0为函数项级数(9)的收敛点,若此级数发散,则称函数项级数(9)在x0发散.函数项级数(9)在数集D⊂E上每一点都收敛,则称函数项级数(9)在D上收敛.级数(9)全体收敛点构成的集合D称为级数(9)的收敛域.级数(9)在收敛域D上的和S(x)称为级数(9)的和函数.记为即函数项级数(9)的一致收敛性定义如下:定义2设{Sn(x)}是函数项级数∑un(x)的部分和函数列.若{Sn(x)}在数集D上一致收敛于函数S(x),则称函数项级数∑un(x)在数集D上一致收敛于函数S(x
13、),或称∑un(x)在D上一致收敛.由于函数项级数的一致收敛性是由其部分和函数列的一致收敛性来定义的,所以由函数列一致收敛的定理可推出相应的函数项级数的定理:定理13.3(一致收敛的柯西准则)函数项级数∑un(x)在D上一致收敛的充要条件是:对任给的ε>0,存在N>0,使得当m>n>N时,对任何x∈D,都有
14、Sm(x)–Sn(x)
15、<ε.或推论函数项级数∑un(x)在D上一致收敛的必要条件是:函数列{un(x)}在D上一致收敛于零.设函数项级数∑un(x)在D上的和函数为S(x),称Rn(x)=S(x)–Sn(x)为函数项级数∑un(x)的余项.定理13.4函数项级数∑un(x)在D
16、上一致收敛于S(x)的充要条件是例4函数项级数的收敛域为(-1,1),其和函数为级数在[-a,a](a<1)上一致收敛于而在(-1,1)上不一致收敛于证级数的部分和函数为由此可得级数∑xn在[-a,a]上一致收敛.但在(-1,1)上由此可知级数∑xn在(-1,1)上不一致收敛.定理13.5(魏尔斯特拉斯判别法)设函数项级数∑un(x)定义在数集D上,若对一切x∈D,有
17、un(x)
18、≤Mn,n=1,2,...且正项级数∑Mn收敛,则函数项级数∑un(x)在数集D上一致收敛.此判别法也称为M判别法或优级数判别法.称级数∑Mn为级数∑un(x)的优级数.三、函数项级数的一致收敛性判别法例5
19、函数项级数在(-∞,+∞)上一致收敛定理13.6(阿贝尔判别法)设⑴∑un(x)在区间I上一致收敛;⑵对每一个x∈I,{vn(x)}是单调的;⑶{vn(x)}在I上一致有界,即存在M>0,使得对任何x∈I,
20、vn(x)
21、≤M,n=1,2,...则函数项级数∑un(x)vn(x)在数集I上一致收敛.定理13.7(狄利克雷判别法)设⑴∑un(x)的部分和函数列在I上一致有界;⑵对每一个x∈I,{Un(x)}是单调的;⑶{vn(x)}在I上一致收敛于0,则函数项