函数项级数的一致收敛性与非一致收敛性判别法归纳.docx

函数项级数的一样收敛性与非一样收敛性判别法归纳-定义引言设函数列Z,与函数/定义在同一数集。上，若对任给的正数£,总存在某一正数N,使得当>N时，对切XG。，都仃IA()-W<则称函数列S在上一样收敛于/(x),记作nW(x)(n).XGD设%(x)是定义在数集E上的一个函数列，表达式u1.(.v)+M2(.v)+un()+-,eE称为定义在Ejt的函数项级数,简记为或>>“(外：称n«1.SI1.(X)=£"a(x),xeE,r=1.,2.-(2)*=1.为函数顶级数的部分和函数列.设数集。为函数项级数S>,(6的收敛域，则对每个xw£>，记S(X)=£“<r),即三*1.n1.IimSII(K)=S(X),xw。，称S(X)为函数项级数£“"(*)的和函数，称<,(x)=5(x)-5”(x)"*x<r三1.为函数项级数的余项.定义1川设S<x)是函数项级数Z的部分和函数列，若5)在数集。上一样收敛于函数S(X),或称函数项级数Xu,1.()在。上样收敛于S(X),或称X%()在D上样收敛.由于函数项级数的一样收敛性是由它的部分和函数列来确定，所以可以依据函数列一样收敛性定义得到等价定义.定义2川设S*(x)是函数项级数Z"，*)的部分和函数列，函数列S,(x),和函数S(M都是定义在同一数集。上，若对于任绐的正数£,总存在某一正整数N,使得当”>N时，对一切xw。，都有母(X)-S(r)<g,则称函数项级数在。上一样收敛于函数S(X),或称Z，!(x)在。上一样收敛.同时由因,(X)I=IS“(X)-SeV)I<万，故RvM在XeD上一样收敛于0.定义3设函数项级数Z“(x)在区间力上收敛，其和函数为S(X)=部分和»1-1函数歹US1.)(X)=S1.a),若现>0.VNNt,3n,>N及3r'w),使得卜(X)-SIVa')%,A-I则函数项级数1.tn(X)在区间D上非一样收敛.例1试证'在卜r.r(0<r<D上样收敛，但在内不样收敛.U-I证明明显£/在(-U)内收敛于卢对随意的£>0,欲使当a>N和-rVxr时，恒有成立，只要当>N时,恒有尸<I-r成立，只要当>N时,恒有Igr成立，只要当>N时，恒有Igr成立，只要取N=即可.依定义，在-r,r上一样收敛丁一存在q=2,对随意自然数N,都存在*=N+I>N和=*w(-1.1),使ef+2成立，依定义，Xx"在(-1.1)内不一样收敛.二函数项级数一样收敛性的判定方法定理1CaUChy一样收敛准则内函数项级数Z(x)在数集力上一样敛的充要条件为：对V£>0,总使得当>N时，对一切Xe。和一切正整数p,都有|Sx)-Sh(N<£Wz(r)+“73+K%(d<特殊地，当P=I时，得到函数项级数一样收敛的一个必要条件：推论1函数项级数在Z/()在数集。上一样收敛的必要条件是函数列%(x)在。上一样收敛于O.定理2函数顶级数£.(x)在点集。上一样收敛于S(X)的充分必要条件是：定理3放大法5S,(x)是函数项级数Z“(X)的部分和函数列，和函数S(),都是定义在同一数集。匕对于陵意的明存在数列E(%>0),使得对于Vxe?.有限=IS(X)-S,<«,J1呵a”=0,则称函数列S<x)一样收敛于S(x),即函数项级数Z%(x)在。上一样收敛于函数S(x).证明因Iimaa=0,故对任给的£>0,口VgN.(与K无关)，使得当>N时,对一切*xxgD,都有|&(“=|S(X)S,(X)Ma,<£,由定义2得函数列S*(,r)一样收敛于S(x),即函数项级数W><6在。上一样收敛于s(x).注:用放大法判定函数项级数Z",(6样收敛性时,须要知道S(X).定理4确界法函数项级数在数集Q上一样收敛r5")的充要条件是IimSUdR“=IimSUdS(X)-S“(“=。"f8!>fJMtD证明充分性设b(x)是函数项级数Z.(x)的部分和函数列，S(X)为和函数，则HKI1.(X)=-v(.v)-5(a),并令“=SupC(.v).IfijIimsupRo(X)=。，即Iima1.t=0,由定理3(放*9°wDC大法得知函数项级数W>1.t(x)一样收敛于函数S(X).必要性注：实质上是用极值的方法把一样收敛问题转化为求数列极限的问题.定理5若W,(x)在区间。上收敛,则WX,(X)在。上样收敛的充要条件是VxnuD,有IinI凡(X)=0.证明充分性假设Z”(x)在。上不样收敛,则M,>0,XrJu，使得W(X)-S(.q4,如此得到k,u。，但凡3)0,这与已知条件冲突.必要性因已知Z“(x)在。上一样收敛,所以Ve>03V,使得当>N时,对切e0,都有IS“(x)-S("<£,对于Vxju。，则有IS(Ia(I)-S(J<£,即4(x,J<£,得理&(X1.I)=0.x例2设«)之0,"=1,2，在卜间上连续，又EX(X)在鼠可收敛r连续函数f(x),则Z“X)在”一样收敛于/(.t).证明己知R,(x)=(x)-S"(*)(其中工W=S%(x)是单调递减且趋ro,所以“乂,4/有,卜)20,且V/w,8V6>0,mN”>0,“2%际,)时，有OS4/)<£.将固定，令=MI=N(5因为.(X)=/W-SII(X)在上连续,既然Rn(x)<e,所以>0,当XW(X(I+a)时，R1.,(xu)<.从而>N»时更有R,(x)<s即R,(X)<£,仅当XG(XO-2,与+品).如上所述,对每个点占w,",可找到相应的领域(内-3.孙+2)及相应的N八使得n>Nyt时,对.rw(.一心,5+2)恒有R1.t(x)<,如此(X,-外山+瓦)：七w卜,皿构成卜的一个开检盖,从而必存在有限子覆盖，不妨记为(x-6),x+6j-&,x,+6,),于是Vxe“，总ie24使得X(巧-6,巧+可)，取N=mixN,N?,N,那么>N时,恒有f,(.t)<,由定理5得E“(x)在卜,样收敛于/(x)定理6M判别法或优先级判别法或Weierstrass判别法川设函数项级数W>,(x)定义在数集。上，M,为收敛的正项级数,若对切xgD,有u,().j=I.2则函数项级数、>4)在。上样收敛.证明由假设正项级数Z“(x)收敛,依据函数项级数的CaUChy准则，V£>0,三某正整数N,使得当>N及任何正整数“旬+也/=/此,<£乂由对一切XG£),有“(©+"倒*"曰+,®M/“+M“”<£依据函数项级数一样收饮的Cauchy准则,级数W><x)在。上一样收敛.注:若能用从判定£.(工)样收敛,则£，.(»必是肯定收敛，故M判别法对条件收H-I*-1敛的函数项级数失效.例3函数项级数Z"“'Z容在(-8,田)上样收敛,因为对物XC(-8,田)fAr有空竺MIj智IM1.,而正项级数Z、是收敛的./rniIniI/Ktr推论2设有函数项级数Z4(x),存在-收敛的正项级数£¢,使得对于Vxg/,有Iim邑®=HOk<+r),则函数项级数£与在区间/一样收敛""。内CT证明已知Iim也®=MoA-<+o),即3o>0.3NeN,.Vh>NKX亡/.有>an以V/即其®<6)+k,从而h("v(%+kh,又因为Sa“收敛,则£(q+*>n以Raco也收敛,由M判别法得函数项级数j>,(x)在区间/样收敛.u1.由广义调和级数£十，当p>1时收敛,故当.=J时,有推论2'设有函数项级数(外,若存在极限"h")=A且0R<Ep>I,则11=1.*_*x*函数项级数W><x)在区间/样收敛.例4证明函数项级数y?在0,8)是一样收敛的.11(x+mX+11+1)证明对于工丽T存在收敛的正项级数，'且Iim/!=Iini=I由的推论2与推论2'得,I-(x+11Xx+«+I)»«(+mX+11+1)yr在0.8)样收敛.tr(x+MXx+11+1.)定理7比较判别法国两个函数现级数2>,(x)与W>K6,若利,GN,当T>NUXXG/有k<Cn(其中C为正常数)，且函数项级数ZVII(K)在区间/肯定一样收敛,则函数Z“(x)区间/肯定一样收敛.证明已知2><r)在区间/肯定一样收敛,即对v>0(其中C为正常数,3iV1.N,Xfn>Ar1.及PGMxG/，有卜马+Wz(x+卜回<-:又由条件知3N0,V>N0,xG/有W1.t(K)I<cvb():取N=In1.XW,Nn,当>N.TpMxe/,有%W1.+%向+%(”<也“+v4,(xJ+除。（三）<°5=£.由收敛级数一样收敛CaUChy准则知，函数项级数Zha)I在区间/一样收敛，从而函数项级数Z“(X)在区间I肯定一样收敛.定理8若有函数级数Z(A)与vw(),3r,1.eN,V>N“Exe/有m)<cvi(.v)(K<为正常数)，且函数项级数fv“(x)在区间I样收敛,则函数v-1.Z”,(x)区间/肯定一样收敛.三1.证明已知训。>m,xc/,有Ha)I<小】(“(其中C为正常数).又函数项级数£>“(6在区间/肯定一样收敛,即V£OJMNEn>N、pgN”1,A-IC有卜;1(X)+vn,2(x)+-+vn,p(N=J(x)+Vntp(x)<£:取N=In1.XN>NJ,当W">N,pwN,Xw/有w11.>3+"z()+%WMKWH-+卜”.向<dk()+%)VC-=Ec从而函数项级数Z%()在区间/肯定一样收敛.推论3比较极限法若有两个函数级数与EViIahXrHo),且有山霏=A且0A<+8,若级数>,(x)在区间/肯定样收敛,则函数Z4()在区间/也肯定样收敛.ISM-使证明由Iimf=A且0£<+00,即Vf1.1.>0,311WM当>MXw/有|<k+ei,=C且c=A+%>0.V/j>N及XW/有W(Xr)<小式*1，乂级数ZHicr)在区间/肯定样收敛，由比较判别法定理7知级数£%(只在区间/肯定样收敛.推论4有函数列1.(X)在区间/上一样有界,且函数级数£>“(»在区间/肯定一-1样收敛,则函数级数>“。>，,卜)在区间/上也肯定一样收敛.证明由己知函数列=(x)在区间/上一样有界，即3M>(),V»GMK/有卜式”M,使当V”N.x6/有W1.I(X)F(Mfvn(),又因函数级数Z匕()在区间/肯定一样收敛，由比较判法定理7知，函数级数Z“(小式6在区间/上肯定一样收敛.例5若函数级数>>,(x),Zq(X)在区间/一样收敛,且U.有i,u)(x)c(.t),则函数项级数Zaa)在区间/上