一致收敛性及其判别法
一致收敛性及其判别法
从而
|
six ny dy||
siu ndu|
Ay
Ax u
首页 ×
所以 sin xy dy 在[,)一致收敛. 0y 首页 ×
定 理 1 9 .8设 含 参 量 反 常 积 分 f(x ,y )d y c
首页 ×
定理19.12 设f(x, y)在
[a, )[c, )上 连 .若 续
f(x,
y)dx
关于 y在任何闭[c区 ,d]上 间一致收
a
f(x, y)dy
关于 x在任何闭[a区 ,b]上 间一致收
c
积分
dx | f(x,y)|dy 与
dy | f(x,y)|dx
单调递减且当 y时,对参量 x , g ( x, y ) 一致
地收敛于 0 , 则
f(x,y)g(x,y)dy
c
在 [ a, b ] 上一致收敛.
首页 ×
阿贝尔判别法 设
⑴
f (x, y)dy 在 [ a, b ] 上一致收敛.
c
⑵ 对每一个固定的 x ∈[ a, b ],函数 g ( x, y ) 为 y
连续,故每个 un( x ) 都在 [ a, b ]上连续. 根据函数项 级数的连续性定理,函数 I(x)在[a,b]上连续 .
首页 ×
定理 19.10 设f(x,y)与fx(x,y)在区域
[a ,b ] [c,)上 连 I(x ) 续 f , (x ,y)d若 在 y c
[a,b]上收c敛 fx(x, ,y)dy在 [a,b]上一致收
若 g (y)d收 y ,则 敛 f(x ,y)d y
一致收敛的判别方法
一致收敛的判别方法在数学中,一致收敛是一种函数序列的收敛方式,它比点态收敛更强。
一致收敛的判别方法是判断函数序列是否一致收敛的方法。
我们需要了解一致收敛的定义。
如果对于任意给定的正数ε,都存在正整数N,使得当n>N时,对于所有的x∈D,都有|fn(x)-f(x)|<ε成立,那么函数序列{fn(x)}在D上一致收敛于f(x)。
接下来,我们介绍一致收敛的判别方法。
1. Weierstrass判别法Weierstrass判别法是一种常用的判别方法。
它的基本思想是将函数序列中的每个函数表示为一个收敛的无穷级数,然后通过比较级数的收敛性来判断函数序列的一致收敛性。
具体来说,如果对于所有的x∈D,都有|fn(x)-an(x)|<bn(x)成立,其中{an(x)}是收敛于f(x)的函数序列,{bn(x)}是一个非负的收敛于0的函数序列,那么函数序列{fn(x)}在D上一致收敛于f(x)。
2. Cauchy判别法Cauchy判别法是另一种常用的判别方法。
它的基本思想是通过比较函数序列中的两个函数之间的差值来判断函数序列的一致收敛性。
具体来说,如果对于任意给定的正数ε,都存在正整数N,使得当m,n>N时,对于所有的x∈D,都有|fn(x)-fm(x)|<ε成立,那么函数序列{fn(x)}在D上一致收敛。
3. Dini定理Dini定理是一种特殊的判别方法,它适用于函数序列在紧致集上的情况。
具体来说,如果函数序列{fn(x)}在紧致集K上逐点收敛于f(x),且f(x)在K上连续,那么函数序列{fn(x)}在K上一致收敛于f(x)。
一致收敛的判别方法有很多种,我们需要根据具体情况选择合适的方法。
在实际应用中,我们可以结合多种方法来判断函数序列的一致收敛性,以保证结果的准确性。
函数项级数一致收敛性判别法归纳
函数项级数的一致收敛性与非一致收敛性判别法归纳一定义引言设函数列{}n f 与函数f 定义在同一数集D 上,若对任给的正数ε,总存在某一正数N ,使得当N n >时,对一切D x ∈,都有()()ε<-x f x f n 则称函数列{}n f 在上一致收敛于()x f ,记作()()x f x f n→→()∞→n ,Dx ∈设()x u n 是定义在数集E 上的一个函数列,表达式()()(),21 ++++x u x u x u n Ex ∈)1(称为定义在E 上的函数项级数,简记为()x u n n ∑∞=1或()x u n ∑;称()()x u x S nk k n ∑==1,E x ∈, ,2,1=n )2(为函数项级数)1(的部分和函数列.设数集D 为函数项级数∑∞=1)(n n x u 的收敛域,则对每个D x ∈,记∑∞==1)()(n n x u x S ,即D x x S x S n n ∈=∞→),()(lim ,称)(x S 为函数项级数∑∞=1)(n n x u 的和函数,称)()()(x S x S x R n n -=为函数项级数∑)(x u n 的余项.定义1]1[设{})(x S n 是函数项级数∑)(x u n 的部分和函数列,若{})(x S n 在数集D 上一致收敛于函数)(x S ,或称函数项级数∑)(x u n 在D 上一致收敛于)(x S ,或称∑)(x u n 在D 上一致收敛.由于函数项级数的一致收敛性是由它的部分和函数列来确定,所以可以根据函数列一致收敛性定义得到等价定义.定义2]1[设{})(x S n 是函数项级数∑)(x u n 的部分和函数列,函数列{})(x S n ,和函数)(x S 都是定义在同一数集D 上,若对于任给的正数ε,总存在某一正整数N ,使得当Nn >时,对一切D x ∈,都有ε<-)()(x S x S n ,则称函数项级数∑)(x u n 在D 上一致收敛于函数)(x S ,或称∑)(x u n 在D 上一致收敛.同时由ε<-=)()()(x S x S x R n n ,故)(x R n 在D x ∈上一致收敛于0.定义3设函数项级数∑)(x u n 在区间D 上收敛,其和函数为∑∞==1)()(n n x u x S ,部分和函数列∑==nk n n x u x S 1)()(,若0>∃o ε,+∈∀N N ,N n o >∃及D x ∈'∃,使得o n x s x s o ε≥'-)()(,则函数项级数∑)(x u n 在区间D 上非一致收敛.例1试证∑∞=1n n x 在[]r r ,-)10(<<r 上一致收敛,但在)1,1(-内不一致收敛.证明显然∑∞=1n n x 在)1,1(-内收敛于xx-1.对任意的0>ε,欲使当N n >和r x r ≤≤-时,恒有ε<-=--+=∑xxx xx n nk k 1111成立,只要当N n >时,恒有ε<-+rr n 11成立,只要当N n >时,恒有()rr n lg 1lg 1ε->+成立,只要当N n >时,恒有()rr n lg 1lg ε->成立,只要取()⎥⎦⎤⎢⎣⎡-=r r N lg 1lg ε即可.依定义,∑∞=1n nx 在[]r r ,-上一致收敛于x x -1.存在e o 2=ε,对任意自然数N ,都存在N N n o >+=1和()1,121-∈++=N N x o ,使ε2111111111>⎪⎭⎫⎝⎛+++=-=--++=∑N o n o o o n k k oN N x x x x xo o成立,依定义,∑∞=1n n x 在)1,1(-内不一致收敛.二函数项级数一致收敛性的判定方法定理1Cauchy 一致收敛准则]1[函数项级数()∑x u n 在数集D 上一致敛的充要条件为:对0>∀ε,总+∈∃N N ,使得当N n >时,对一切D x ∈和一切正整数p ,都有()()ε<-+x S x S n p n 或()()()ε<++++++x u x u x u p n n n 21或()ε<∑++=pn n k kx u 1特别地,当1=p 时,得到函数项级数一致收敛的一个必要条件:推论1函数项级数在()∑x u n 在数集D 上一致收敛的必要条件是函数列(){}x u n 在D上一致收敛于0.定理2]2[函数项级数()x u n n ∑∞=1在点集D 上一致收敛于)(x S 的充分必要条件是:()()0:sup lim 1=⎭⎬⎫⎩⎨⎧∈-∑=∞→D x x S x u n k n n .定理3放大法]3[(){}x S n 是函数项级数()∑x u n 的部分和函数列,和函数)(x S ,都是定义在同一数集D 上,对于任意的n ,存在数列{}n a ()0>n a ,使得对于D x ∈∀,有()()()n n n a x S x S x R <-=,且0lim =∞→n n a ,则称函数列(){}x S n 一致收敛于)(x S ,即函数项级数()∑x u n 在D 上一致收敛于函数)(x S .证明因0lim =∞→n n a ,故对任给的0>ε,+∈∃N N (与x 无关),使得当N n >时,对一切D x ∈,都有()()()ε<≤-=n n n a x S x S x R .由定义2得函数列(){}x S n 一致收敛于)(x S ,即函数项级数()∑x u n 在D 上一致收敛于)(x S .注:用放大法判定函数项级数()∑x u n 一致收敛性时,需要知道)(x S .定理4确界法函数项级数在数集D 上一致收敛于)(x S 的充要条件是()()()0sup lim sup lim =-=∈∞→∈∞→x S x S x R n Dx n n Dx n 证明充分性设(){}x S n 是函数项级数()∑x u n 的部分和函数列,)(x S 为和函数,则有()()()x S x s x R n n -=,并令()x R a n Dx n ∈=sup ,而()0sup lim =∈∞→x R n Dx n ,即0lim 0=→n n a ,由定理3(放大法)得知函数项级数()∑x u n 一致收敛于函数)(x S .必要性注:实质上是用极值的方法把一致收敛问题转化为求数列极限的问题.定理5若()∑x u n 在区间D 上收敛,则()∑x u n 在D 上一致收敛的充要条件是{}D x n ⊂∀,有()0lim =∞→x R n n .证明充分性假设()∑x u n 在D 上不一致收敛,则0>∃o ε,{}D x n ⊂∃,使得()()o n x S x S ε≥-,如此得到{}D x n ⊂,但()0lim ≠∞→n n n x R ,这与已知条件矛盾.必要性因已知()∑x u n 在D 上一致收敛,所以N ∃>∀,0ε,使得当N n >时,对一切D x ∈,都有()()ε<-x S x S n ,对于{}D x n ⊂∀,则有()()ε<-n n n x S x S ,即()ε<n n x R ,得()0lim =∞→n n n x R .例2设()0≥x u n , 2,1=n ,在[]b a ,上连续,又()x u n ∑在[]b a ,收敛于连续函数()x f ,则()x u n ∑在[]b a ,一致收敛于()x f .证明已知()()()x S x f x R n n -=(其中()()∑==nk k n x u x S 1)是单调递减且趋于0,所以[]b a x N n ,,∈∀∈∀有()0≥x R n ,且[]ε∀∈∀,,0b a x >0,()εε,),(00,0x x N n N ≥>∃时,有()ε<≤00x R n .将n 固定,令()ε,00x N N n ==,因为()()()x S x f x R n n -=在[]b a ,上连续,既然()ε<x R n ,所以00>∃δ,当()0000,δδ+-∈x x x 时,()ε<0x R n .从而0N n >时更有()ε<x R n 即()ε<x R n ,仅当()0000,δδ+-∈x x x .如上所述,对每个点[]b a x ,∈λ,可找到相应的领域()λλλλδδ+-x x ,及相应的λN ,使得λN n >时,对∈x ()λλλλδδ+-x x ,恒有()ε<x R n .如此{()λλλλδδ+-x x ,:[]b a x ,∈λ}构成[]b a ,的一个开覆盖,从而必存在有限子覆盖,不妨记为{()()r r r r x x x x δδδδ+-+-,,,1111 },于是[]b a x ,∈∀,总{}r i ,2,1∈使得i i i i x x x δδ+-∈,(),取{}r N N N N ,,max 21=,那么N n >时,恒有()ε<x R n ,由定理5得()x u n∑在[]b a ,一致收敛于()x f .定理6M 判别法或优先级判别法或Weierstrass 判别法]1[设函数项级数()x u n ∑定义在数集D 上,∑n M 为收敛的正项级数,若对一切D x ∈,有2,1,)(=≤n M x u n x )3(则函数项级数()x u n ∑在D 上一致收敛.证明由假设正项级数()x u n ∑收敛,根据函数项级数的Cauchy 准则,∀0>ε,∃某正整数N ,使得当N n >及任何正整数p ,有ε<+=++++++p n n p n n M M M M 11又由(3)对一切D x ∈,有()≤+≤++++++x u x u x u x u p n n p n n )()()(11ε<+++p n n M M 1根据函数项级数一致收敛的Cauchy 准则,级数()x u n ∑在D 上一致收敛.注:若能用从判定()∑∞=1n n x u 一致收敛,则()∑∞=1n n x u 必是绝对收敛,故M 判别法对条件收敛的函数项级数失效.例3函数项级数∑∑22cos ,sin nnxn nx 在()+∞∞-,上一致收敛,因为对一切∈x ()+∞∞-,有22221cos ,1sin n n nx n n nx ≤≤,而正项级数∑21n是收敛的.推论2设有函数项级数()x u n ∑,存在一收敛的正项级数∑∞=1n n a ,使得对于,I x ∈∀有()()+∞<≤=∞→k k a x u nn n 0lim,则函数项级数()∑∞=1n n x u 在区间I 一致收敛证明已知()()+∞<≤=∞→k k a x u nn n 0lim,即,,,,00I x N n N N ∈∀>∀∈∃>∃+ε有()0ε<-k a x u n n 即()k a x u n n +<0ε,从而()()n n a k x u +<0ε,又因为∑∞=1n n a 收敛,则()n n a k ∑∞=+10ε也收敛,由M 判别法得函数项级数()∑∞=1n n x u 在区间I 一致收敛.由广义调和级数∑∞=11n p n ,当1>p 时收敛,故当n a =pn 1时,有推论2'设有函数项级数()∑∞=1n n x u ,若存在极限k x u n n p n =∞→)(lim 且1,0>+∞<≤p k ,则函数项级数()x u n ∑在区间I 一致收敛.例4证明函数项级数∑∞=+++1)1)((1n n x n x 在[)∞,0是一致收敛的.证明对于∑∞=+++1)1)((1n n x n x ,存在收敛的正项级数∑∞=121n n,且=+++⋅∞→)1)((1lim 2n x n x n n 1)1)((lim2=+++∞→n x n x n n 由的推论2与推论2'得,∑∞=+++1)1)((1n n x n x 在[)∞,0一致收敛.定理7比较判别法[]4两个函数项级数()∑x u n 与()x v n ∑,若N N ∈∃0,当I x N n ∈∀>∀,0有()x v c x u n n <)((其中c 为正常数),且函数项级数()x v n ∑在区间I 绝对一致收敛,则函数()x u n∑区间I 绝对一致收敛.证明已知()x v n ∑在区间I 绝对一致收敛,即对cε∀0>(其中c 为正常数),11,N n N N >∀∈∃及I x N p ∈∈,,有()()()cx v x v x v p n n n ε<++++++ 21;又由条件知I x N n N ∈>∀∃,,00有()x v c x u n n <)(;取{},,max 01N N N =当I x N p N n ∈∈∀>∀,,,有()()()<++++++x u x u x u p n n n 21()()()()εε=⋅<++++++cc x v x v x v c p n n n 21.由收敛级数一致收敛Cauchy 准则知,函数项级数∑)(x u n 在区间I 一致收敛,从而函数项级数()x u n ∑在区间I 绝对一致收敛.定理8[]4若有函数级数()∑x u n 与()x v n ∑,N N ∈∃0,I x N n ∈∀>∀,0有()x cv x u n n <)((其中c 为正常数),且函数项级数()∑∞=1n n x v 在区间I 一致收敛,则函数()∑∞=1n n x u 区间I 绝对一致收敛.证明已知I x N n N ∈>∀∃,,00,有()x v c x u n n <)((其中c 为正常数).又函数项级数()∑∞=1n n x v 在区间I 绝对一致收敛,即I x N p N n N N c ∈∈>∀∈∃>∀,,,,011ε,有()()()()cx v x v x v x v x v p n n p n n n ε<+=++++++++ 121)(;取{},,max 10N N N =当I x N p N n ∈∈>∀,,有()()()()()()x u x u x u x u x u x u p n n n p n n n +++++++++≤++ 2121()()()x v x v c p n n ++++< 1εε=⋅<cc 从而函数项级数()x u n ∑在区间I 绝对一致收敛.推论3比较极限法若有两个函数级数()∑∞=1n n x u 与()())0(1≠∑∞=x v x v n n n ,且有()()k x v x u nn n =∞→lim且+∞<≤k 0,若级数()x v n ∑在区间I 绝对一致收敛,则函数()∑x u n 在区间I 也绝对一致收敛.证明由()()k x v x u nn n =∞→lim且+∞<≤k 0,即,,00N n ∈∃>∀ε当I x N n ∈>,有()()0ε<-k x v x u n n 使()()c k x v x u n n =+<0ε且00>+=εk c .即N n >∀及I x ∈有()()x v c x u n n <,又级数()x v n ∑在区间I 绝对一致收敛,由比较判别法定理7知级数()∑∞=1n n x u 在区间I 绝对一致收敛.推论4[]4有函数列(){}x u n 在区间I 上一致有界,且函数级数()∑∞=1n n x v 在区间I 绝对一致收敛,则函数级数()()x v x u n n ∑在区间I 上也绝对一致收敛.证明由已知函数列(){}x u n 在区间I 上一致有界,即I x N n M ∈∈∀>∃,,0有()M x u n ≤,使当I x N n ∈∈∀,有()()()x v M x v x u n n n ≤⋅,又因函数级数()∑x v n 在区间I 绝对一致收敛,由比较判法定理7知,函数级数()()x v x u n n ∑在区间I 上绝对一致收敛.例5若函数级数()()x c x a n n ∑∑,在区间I 一致收敛,且I x N n ∈∈∀,,有()()()x c x b x a n n n ≤≤,则函数项级数()x b n ∑在区间I 上一致收敛.证明由条件函数()()x c x a n n ∑∑,在区间I 一致收敛,则级数()()()∑-x a x c n n 在区间I 上一致收敛.又I x N n ∈∈∀,有()()()x c x b x a n n n ≤≤,故()()()()x a x c x a x b n n n n -≤-≤0且级数()()()∑-x a x c n n 在区间I 绝对一致收敛,由定理8知,级数()()()∑-x a x b n n 在区间I 上一致收敛.又已知()x a n ∑在区间I 一直收敛,从而级数()()()()()[]()()()()x a x a x b x a x a x b x b nnnnnnn∑∑∑∑+-=+-=在区间I 上一致收敛.推论5设函数项级数()∑x u n 定义在数集]2[上,()∑x v n 在上一致收敛且()0>x v n ,若对一切D x ∈,有()()x v x u n n ≥, ,2,1则函数项级数()∑x u n 在D 上一致收敛.定理9逼近法[]5若对任意的自然数n 和D x ∈,都有()()()x w x u x v n n n ≤≤成立,又()x v n ∑和()x w n ∑都在数集D 上一致收敛于)(x S ,则()x u n ∑也在D 上一致收敛于)(x S .证明设()()x v x V nk k n ∑==1,()()x u x U nk k n ∑==1,()()x w x W nk k n ∑==1因为D x N n ∈∀∈∀+,都有()()()x w x u x v n n n ≤≤,所以D x N n ∈∀∈∀+,有()()()x W x U x V n n n ≤≤.又()x v n ∑,()x w n ∑在区间D 上一致收敛于)(x S ,即+∈∃>∀N N ,0ε,当N n >时,对一切D x ∈∀有()()()εε+<<-x S x V x S n 及()()()εε+<<-x S x W x S n ;所以+∈∃>∀N N ,0ε,当N n >时,对一切D x ∈∀有()()()()()εε+<≤≤<-x S x W x U x V x S n n n .由函数项级数一致收敛定义知,()x u n n∑∞=1在D 上也一致收敛于)(x S .定理10由有性质判别若()x u n ∑和()x v n ∑在点集D 上一致收敛,则[]∑±)()(x v x u n n 在D 上也一致收敛证明由()x u n ∑和()x v n ∑均在点集D 上一致收敛知,对N ∃>∀,0ε(自然数),使得当N n ≥时,对∀自然数p 和x 有()()()ε<+++++x u x u x u p n n n 21()()ε<++++++x v x v x v p n n n 21)(所以()()()()()())()()(2211x v x u x v x u x v x u p n p n n n n n ++++++++++++ ()()()+++≤+++x u x u x u p n n n 21()()x v x v x v p n n n ++++++ 21)(εεε2=+<由函数项级数一致收敛的Cauchy 收敛准则知,[]∑±)()(x v x u n n 在D 上也一致收敛定理11Dini 定理设()()()() ,2,10,0=≤≥n x u x u n n 在[]b a D ,=上连续,又()x u n ∑在[]b a ,上收敛于连续函数,则函数项级数()x u n ∑在[]b a ,一致收敛.使用步骤:⑴判定()0≥x u n 且连续;⑵求和函数)(x S ;⑶判定求和函数)(x S 在[]b a ,上连续.Abel 引理定理12Abel 判别法[]1证明推论6设函数项级数()x u n ∑在D 上一致收敛,函数()x g 在D 上有界,则()()x u x g n ∑在D 上一致收敛.证明因为()x g 在D 上有界,所以,0>∃M 使()M x g ≤,对D x ∈∀成立.因()x u n ∑在D 上一致收敛,,0,,0>∃>∀∴p N ε使当N n >,时有()Mx u p n nk k ε<∑+=,对D x ∈∀成立,此式表明()()()()εε=⋅<<∑∑+=+=MM x u x g x u x g pn nk k p n nk k .由Cauchy 准则知()()x u x g n ∑在D 上一致收敛.定理13Dirichlet 判别法[]1设(i )()x u n ∑的部分和函数列()()x u x s nk k n ∑==1在I 上一直致有界;(ii )对每一个I x ∈,()x v n 单调;(ⅲ)在I 上()()∞→→n x v n 0,则级数和()()x u x v n n ∑在I 上一致收敛.证明充分性由(i )∃正数M ,对一切I x ∈,有()M x s n ≤,因此当为任何正整数p n ,时()()()()()M x s x s x u x u x u n p n p n n n 221≤-=++++++ ,对任何一个I x ∈,再由(ii )及Abel 引理,得到()()()()()x v x v M x v x v x v p n n p n n n ++++++≤+++22)(121 .再由(ⅲ)对,0,0>∃>∀N ε当N n >时,对一切I x ∈,有()ε<x v n ;所以()()()()εεεM M x v x u x v x u p n p n n n 6)2(211=+<++++++ 于是由一致收敛的Cauchy 准则级数()()x u x v n n ∑在I 上一致收敛.注:事实上必要性也成立,即已知()()x u x v n n ∑在I 上一致收敛,可推出(i )(ii )(ⅲ)成立,这里不再赘述.例6若数列{}n a 单调且收敛于0,则级数∑nx a n cos 在[]()πααπα<<-02,上一致收敛.证明由()π2,0,2sin221sin cos 211∈⎪⎭⎫ ⎝⎛+=+∑=x x x n kx nk 得在[]απα-2,上有212sin 21212sin21212sin 221sin cos 1+≤+≤-⎪⎭⎫ ⎝⎛+=∑=αx x x n kx nk ,所以级数∑nx cos 的部分和函数列在[]απα-2,上一致有界,于是令()()nnnax v nx x u ==,cos ,则由Dirichlet 判别法可得级数∑nx a n cos 在[]()πααπα<<-02,上一致收敛.定理14积分判别法[]4设()y x f ,为区域(){}+∞<≤∈=y D x y x R 1,|,上的非负函数,()x u n∑是定义在数集D 上的正项函数级()()n x f x u n ,=,如果()y x f ,在[)+∞,1上关于y 为单调减函数,若含参变量反常积分()⎰+∞1,dy y x f 在数集D 上一致收敛,则()x u n ∑在数集D 上一致收敛.证明由()⎰+∞1,dy y x f 在数集D 上一致收敛,对0>∀ε,∃一个N ,当N n >时,对一切自然数p 和一切D x ∈,有()ε<⎰+pn ndy y x f ,.由()()()<+++++x u x u x u p n n n 21()ε<⎰+pn ndy y x f ,,所以()x u n ∑在数集D 上一致收敛.例7设()∑∞=-⋅=1n nx e n x S ,证明()x S 在区间()+∞,0连续.证明首先对任意取定一点()+∞∈,00x ,都存在0>δ,使得[)+∞∈,0δx ,我们只要证明()x S 在0x 即可.令()yx e y y x f -⋅=,,[)+∞∈,δx ,由()δy yx e y e y y x f --⋅<⋅=,,[)+∞∈,δx ,并且无穷级数dy ey y ⎰+∞-⋅δδ1收敛,所以含参积分dy e y y ⎰+∞-⋅δδ1在[)+∞∈,δx 上一致收敛.又因为()()()()⎭⎫⎩⎨⎧>+∞<≤=∈<-=-δ1,0|,,,01,y x y x R y x yx e y x f yx y 即对任意固定[)+∞∈,δx ,()yx e y y x f -⋅=,关于y 在区间⎪⎭⎫⎢⎣⎡+∞,1δ上是单调递减的,由定理14知,函数级数∑∞+⎥⎦⎤⎢⎣⎡=-⋅11δn nxen 在区间[)+∞∈,δx 上是一致收敛的.利用函数项级数的性质可得,()∑∞+⎥⎦⎤⎢⎣⎡=-⋅=11*δn nxen x S 在区间[)+∞∈,δx 连续,从而()()x S e n x S n nx *11+⋅=∑=-δ在区间[)+∞∈,δx 也连续,所以()x S 在0x 连续,由0x 在()+∞,0的任意性可知,()x S 在()+∞,0上连续.含参变量无穷积分与函数项级数都是对函数求和的问题,前者连续作和,后者离散作和,因此它们的一致收敛性定义及判别法都是平行的,而且所表示的函数分析性质(如连续、可微、可积性)也一致,在此不在赘述.由定理14,我们可利用积分的便利条件判断某些数项级数的一致收敛,也可用函数项级数的一致收敛性判别某些含参变量积分一致收敛.定理15函数列(){}x u n 在[]b a ,上连续且单调,级数()∑a u n 和级数()||b u n 收敛,则级数()x u n ∑在[]b a ,上一致收敛.证明级数()∑a u n 和()∑b u n 收敛.则()∑a u n +()∑b u n 收敛.由(){}x u n 在[]b a ,上连续且单调,则()||x u n <()||a u n +()||b u n ,由M 判别法知,级数()x u n ∑在[]b a ,上一致收敛.定理16[]6设函数()x u n ,() ,2,1=n 在[]b a ,上可微(其中b a ,为有限数),且满足如下条件:(i )函数项级数()x u pn n k k∑++=1在[]b a ,上收敛;(ii )存在常数M ,使得对任意的自然树1≥m ,任意的实数[]b a x ,∈,恒有()M x u n<∑/,则函数项级数()x u n n∑∞=1在[]b a ,上一致收敛.证明对0>∀ε,因为b a ,为有限数,所以存在自然数k ,使得()εεk a b k a +≤≤-+1,我们在闭区间[]b a ,上插入分点i a x a x i ε+==,0,()1,2,1-=k i ,b x k =,于是,闭区间被分成k 个小区间[]i i x x ,1-,()k i ,2,1=.从而有[]b a ,=[]i i ki x x U ,11-=.又因为函数项级()x u n n ∑∞=1在[]b a ,上是收敛的,故对任意i x ()1,2,1-=k i ,存在自然数()i x N ,ε,使得()i x N n ,ε>时,对任意p ,有()ε<∑++=pn n j ijx u 1.于是,对任意[]i i x x x ,1-∈,在自然数()i x N ,ε,使得()1,->i x N n ε时,对任意p ,有()()()()ipn n j jp n n j p n n j ijjpn n j jx u x u x u x u ∑∑∑∑++=++=++=++=+-=1111()()()∑∑∑++=++=++=+-≤pn n j ijpn n j pn n j ijjx u x u x u 111()εε+-≤-++=∑11/i pn n j jxx u ()()εεε+--≤-=+=∑∑11/1/i nj jpn j jxx u u ()()εεε+-+≤-=+=∑∑11/1/||i nj jpn j jxx u u ()ε12+≤M 因此,对0>∀ε,存在自然数(){}1,,1,0|,max 0-==k i x N N i ε,使得当0N n >时,任意[]b a x ,∈,任意自然数p ,均有()ε)12(1+<∑++=M x u pn n j j.即函数项级数()x u n n∑∞=1在[]b a ,上一致收敛.定理17设()x u nn ∑为定义在数集D 上的函数项级数,D x ∈0为()x u nn ∑的收敛点,且每个()x u n 在上一致可微,()x u nn∑/在上一致收敛,记()=x S ()x u nn∑.定理18设函数列(){}x u n 在闭区间[]b a ,上连续可微,且存在一点[]b a x ,0∈,使得()x u n n∑∞=1在点0x处收敛;()x u n n ∑∞=1/在[]b a ,上一致收敛,则函数项级数()x u n n∑∞=1在[]b a ,上一致收敛.证明已知()x u n n ∑∞=1在点[]b a x ,0∈处收敛,()x u n n ∑∞=1/在[]b a ,上一致收敛.即对()εε1,N o ∃>∀,使得()ε1N n ≥时,对+∈∀N p ,有()ε<∑+=+=p n k n k kx u 1成立.对[]b a x ,∈∀,有()ε<∑+=+=p n k n k k x u 1/.根据拉格朗日中值定理,[]b a x N p N n ,,,∈∀∈∀>∀+,有()()∑∑++=++=-pn n k pn n k kkx u x u 11≤()∑+=+=p n k n k ku 1/ξ0x x -<()a b -ε,(ξ介于x 与0x 之间).于是[]b a x N p N n ,,,∈∀∈∀>∀+,()()()()∑∑∑∑++=++=++=++=+-≤pn n k kp n n k p n n k kkpn n k kx u x u x u x u 1111||()()1+-=+-≤a b a b εεε.即()x u n n ∑∞=1在[]b a ,上一致收敛.引理2若函数项级数()x u n ∑在[]b a ,上收敛,()()N n b x u n n bx ∈=-→lim 则()x u n ∑在[]b a ,一致收敛的必要条件是()x b n n ∑∞=1收敛.证明由函数项级数的柯西收敛准则有,[]b a x N p N n N N ,,,,,0∈∀∈∀>∀∈∃>∀++ε,有()()()ε<+++++x u x u x u p n n n 21.()4又()n n bx b x u N n =∈∀-→+lim ,,在(4)的两端取极限,令-→b x 得ε≤+++++p n n n b b b 21,于是由Cauchy 收敛准则知()x b n n ∑∞=1收敛.(①若()n n x b x u b =+∞=+∞→lim ,,则()x u n ∑在[)+∞,a 一致收敛的必要条件是()x b n ∑收敛.②若(){}x u n 在[)b a ,连续,则()x u n ∑在[)b a ,一致收敛()b u n ∑⇒收敛.)定理19利用内闭一致收敛判别[]7若函数项级数()x u n ∑在[)b a ,内闭一致收敛,则()x u n ∑在[]b a ,一致收敛⇔{}[)b x b a x n n n =⊂∀+∞→lim ,,,级数()n n x u ∑收敛.证明必要性,充分性用反正法,这里不再赘述.注:仅由闭一致收敛性和引理的必要条件(集函数级数在区间端点收敛或端点的极限级数收敛)是不能得到函数级数在区间一致收敛的.例8证明∑∞=1sin n n nx在()π2,0内闭一致收敛,且在端点收敛,但在()π2,0不一致收敛.证明∑<<∀nx sin ,0,πεε的部分和函数列(){}x S n 在[]επε-2,一致有界,而⎭⎬⎫⎩⎨⎧n 1在[]επε-2,一致收敛于0,于是由Dirichlet 判别法知,∑n nx sin 在[]επε-2,一致收敛,从而在()π2,0内闭一致收敛.当0=x 或π2时,级数显然收敛.取()+∈∈=N n n x n ,2,02ππ,则0lim =∞→n n x 但()∑∑∑∞=∞==⋅=1112sin n n n n n nn n x u π发散,故由定理19知,∑∞=1sin n n nx在()π2,0不一致收敛.推论7若()x u n ∑在[)+∞,a 内闭一致收敛,则()x u n ∑在[)+∞,a 一致收敛的充要条件是{}[)+∞=+∞⊂∀∞→n n n x a x lim ,,,()x u n∑皆收敛.证明与定理19类似,略.定理20[]7设函数级数()x u n ∑在[)b a ,收敛,且满足引理2中必要条件,则()x u n ∑在[)b a ,一致收敛⇔[){}[)00lim ,,,,x x b a x b a x n n n =⊂∀∈∀∞→,()n n n x u ∑∞=1皆收敛.证明必要性用反证法.假设[]{}[]00lim ,,,,x x b a x b a x n n n =⊂∃∈∃∞→,而()n n n x u ∑∞=1发散.若a x =0或b x =0,则由定理20知不可;若()b a x ,0∈,则存在{}n x 的子列{}kn x 或00lim ,x x x x k k n k n =≥∞→或00lim ,x x x x k k n k n =≤∞→,于是由定理19知()x u n ∑在()b x ,0或()0,x a 在不一致收敛,从而在[)b a ,不一致收敛,矛盾.必要性获证.充分性用反证法.设()x u n n ∑∞=1在[)b a ,不一致收敛,则由定理18的证明可得,{}[)b a x n ,⊂且[]b a x x n n ,lim 0∈=∞→而()n n n x u ∑∞=1发散,矛盾.推论8设()x u n n ∑∞=1在[)+∞,a 收敛,且满足引理的必要条件,则()x u n ∑在[)+∞,a 一致收敛⇔[)+∞∈∀,0a x 或{}[)00lim ,,,x x a x x n n n =+∞⊂∀+∞=∞→,()n n n x u ∑∞=1皆收敛.证明与定理20的类似,略.推论12[]4设∑)(x u n 使定义在数集D 上的正项函数项级数,)(x u n ,),2,1( =n 在D上有界,若D x n ∈∞→,时,1)()(1-+x u x u nn n 一致收敛于)(x q ,设{})(inf x q q =,则当1>q 时,∑)(x un在D 上一致收敛.证明由1>q ,D x n ∈∞→,时,1)()(1-+x u x u nn n 一致收敛于)(x q ,取10-<<∀q ε,11,N n N ≥∃时,对一切D x ∈,有ε<--+)(1)()(1x q x u x u nn n ,所以1)(1)()(1>->->-+εεq x q x u x u n n n ,取22,,1N n N q s ≥∃-<<ε,有sn n q 111+≥-+ε,取{}21,max N N N o =,当O N n >时,对一切D x ∈,有sssn n nn n n q x u x u )1(111)()(1+=+>-+>+ε,因此)()1()(1x u n x u n n sn s ++≥,所以sS O N S On sn M N x u N x u n O ≤≤)()(,由1>s 时,∑s S O n MN 收敛,由优级数判别法可知∑)(x u n 在D 上一致收敛.推论13函数列{})(x u n 定义于数集D 上,且)(1x u 在D 上有界,若+∈∃N N 对一切的D x N n ∈∀>,,有1)()(1<≤+q x u x u n n ,则函数项级数∑∞=1)(n n x u 在D 上一致收敛.证明不妨设对于+∈∀N n ,有q x u x u n n ≤+)()(1,即q x u x u n n )()(1≤+,则1=n ,q x u x u )()(12≤,假设当1-=k n ,111)()()(--≤≤k k k q x u q x u x u 成立,则当k n =,k k k q x u q x u x u )()()(11≤≤+也成立,故由数学归纳法得11)()(-≤n n q x u x u ,且)(1x u 在D 有界,即0>∃M ,对D x ∈,有M x u ≤)(1所以1)(-≤n n Mq x u ,又已知几何级数∑∞=1n n q 收敛,故级数∑∞=-11n n Mq收敛,由优级数判别法知∑∞=1)(n n x u 在D 上一致收敛.推论14函数列{})(x u n 定义于数集D 上,且)(1x u 在D 上有界,若D x ∈∀,有1)()(lim1<=+∞→l x u x u n n n ,则函数项级数在D 上一致收敛.证明因为1)()(lim1<=+∞→l x u x u n n n .即1-=∃q o ε)1(<<q l ,+∈∃N N ,对一切D x N n ∈∀>,,有1)()(1-≤-+q l x u x u n n ,即q x u x u n n ≤+)()(1,由推论10得函数项级数∑∞=1)(n n x u 在数集D 上一致收敛.例11判断函数项级数∑∞=1!n nn x n n 在[)+∞,1上一致收敛性.证明因为11)(1≤=xx u ,且11111lim !)1()!1(lim )()(lim 111<<=⎪⎭⎫ ⎝⎛+=++=∞→++∞→+∞→e xe x n n n x n x n n x u x u nn n n n n n nn n ,由推论13可知函数项级数∑∞=1!n nn xn n 在[)+∞,1上一致收敛.定理23[]8(根式判别法)设∑)(x u n 为定义在数集D 上的函数项级数,记n n n x u x q )()(=,若存在正整数N ,正数q ,使得1)(<≤q x u n n 对一切的N n >,D x ∈成立,则函数项级数∑)(x u n 在D 上一致收敛.证明由定理条件n n q x u ≤)(对一切N n >,D x ∈成立,而几何级数∑n q 收敛,由优级数判别法知,函数项级数∑)(x u n 在D 上一致收敛.推论15[]8(根式判别法的极限形式)设)(x u n 为定义在数集D 上的函数列,若n n x u )(一致收敛于)(x q ,且1)(<≤q x q {}1)(sup (<∈x q Dx ,即1)()(lim <≤=∞→q x q x u n n n ,对D x ∈∀成立,则函数项级数∑)(x u n 在D 上一致收敛.证明由n n x u )(一致收敛于)(x q )(∞→n ,取q -<<10ε,O N ∃,当o N n >时,对一切D x ∈有ε<-)()(x q x u n n ,所以εε+<+<q x q x u n n )()(,所以n n q x u )()(ε+<,又因为1<+εq ,由优级数判别法知∑)(x u n 在D x ∈上一致收敛.推论51'设()∑x u n 为定义在数集D 上的正项函数项级数,记()n n n x u q =,若()1sup lim <=∈∞→q x q n Dx n ,则函数项级数()∑x u n 在D 上一致收敛.证明由假设()1sup lim <=∈∞→q x q n Dx n ,则存在正整数N ,使得当N n >时,有()1<≤q x q n ,则对任意的N n >,D x ∈∀有()n n q x u ≤,而几何级数∑n q 收敛,由函数项级数一致收敛性优级数判别法知()∑x u n 在D 上一致收敛,即得证.例12函数项级数∑n xn在()()+∞⋃-∞-,,r r 上一致收敛,(其中r 是实常数且1>r ),因为()x nx u q nnn n ==,设()()+∞⋃-∞-=,,r r D ,()11lim sup lim <==∞→∈∞→r r n x q nn n Dx n ,由推论51'得函数项级数∑n xn在()()+∞⋃-∞-,,r r 上一致收敛.推论16[]8有函数项级数()∑x u n ,若对D x ∈∀,有()1lim <=∞→l x u n n n ,则函数项级数()∑x u n 在D 上一致收敛.证明因()1lim <=∞→l x u n n n ,则1-=∃q o ε,1<<q l ,+∈∃N N ,D x ∈∀,有()l q l x u nn -<-,即()1<<q x u n n ,从而()n n q x u <依定理8得函数项级数()∑x u n 在D上一致收敛.例13判别函数项级数nn x ∑⎪⎭⎫⎝⎛+12在R 上的一致收敛性.证明因()1012lim lim 12<=+=∞→+∞→n xn nnn x n ,依推论15函数项级数nn x ∑⎪⎭⎫ ⎝⎛+12在R 上一致收敛.定理24[]8(对数判别法)设()x u n 为定义在D 上的正的函数列,若()()x p nx u n n =-∞→ln ln lim 存在,那么①若D x ∈∀,()1>>p x p 对,则函数项级数()∑x u n 一致收敛;②若对D x ∈∀,()1<<p x p ,则函数项级数()∑x u n 不一致收敛.证明由定理条件知,对任意0>ε,N ∃,使得对一切N n >,有()()()εε+<-<-x p nx u x p n ln ln ,即()()()εε-+<<x p n x p n x u n 11,则当()1>>p x p 对D x ∈∀成立时,有()pn n x u 1<,而p 级数∑p n 1当1>p 时收敛,由优级数判别法知函数项级数()∑x u n 在D 上一致收;而当()1<<p x p ,对D x ∈∀成立时,有()p n n x u 1>,而p 级数∑p n1当1<p 时发散,从而函数项级数()∑x u n 不一致收敛.定理25设函数项级数()∑x u n ,()∑x v n 都是定义在数集D 上的正项函数项级数,当D x ∈,∞→n 时,()()x v x u n n 一致收敛于()x q ,设(){}1inf q x q D x =∈,(){}2sup q x q Dx =∈;①当+∞<=21,0q q 时,若()∑x v n 在D 上一致收敛,则()∑x u n 在D 上也一致收敛.②当+∞=>21,0q q 时,若()∑x u n 在D 上一致收敛,则()∑x v n 在D 上也一致收敛.③当+∞<>21,0q q 时,()∑x u n 与()∑x v n 在数集D 上同时一致收敛,或同时不一致收敛.证明由当D x ∈,∞→n 时,()()x v x u n n 一致收敛于()x q ,则任取0>ε,总+∈∃N N ,当N n >时,对一切D x ∈有()()()ε<-x q x v x u n n ,得到()()()()εεεε+<+<<+-≤+-21q x q x v x u x q q n n 即()()()()()x v q x u x v q n n n εε+<<-21.①当+∞<=21,0q q 时,由上式的右半部分可知若()∑x v n 在D 上一致收敛,则()∑x u n在D 上也一致收敛;②当+∞=>21,0q q 时,由上式左半部分可知若()∑x u n 在D 一致收敛,则()∑x v n 在D 上也一致收敛;③当+∞<>21,0q q 时,取1q <ε易知()∑x u n 与()∑x v n 同时一致收敛或同时不一致收敛.Lipschitz (莱布尼茨)型函数项级数一致收敛判别[]5定义4设有函数项级数()()∑+-x u n n 11,其中()x u n ,(),,2,1 =n 是区间[]b a ,上的连续函数()0≥x u n ,且函数列(){}x u n 在区间[]b a ,上单调减少收敛于0,则称这类级数为Lipschitz 型函数项级数.定理26若()()∑+-x u n n 11,[]b a x ,∈为L 型函数项级数,则①此级数在[]b a ,上一致收敛;②()()()()()()()()()x u x u x u x u x u n p n p n n n n n pn n k k k 211111231211≤-++-+-=-+++++++++=+∑ .证明①因为()x u n 是[]b a ,上的连续函数,函数列(){}x u n 在区间[]b a ,上单调减少且收于连续函数()0=x u .所以()()x u x u k k 1+-在[]b a ,连续非负,而()()()[]()x u x u x u x u n k k k n 1111--=-∑-=+,由Dini 定理知函数项级数()()[]()x u x u x u n k k 111--∑∞=+在区间[]b a ,一致收敛于0,从而函数列(){}x u n 在[]b a ,一致收敛于0.又()⎩⎨⎧=+==+-+-=-∑==k n k n nk k 2,012,111111111,所以()1111≤-∑=+nk k ,故()∑=+-n k k 111一致有界,由Dirichlet 判别法知交错函数项级数()()∑+-x u n n 11在区间[]b a ,上一致收敛.②由①得()()∑+-x u n n 11一致收敛,设()()()x s x u n n =-∑+11,于是()()()()()()()()x s x s x s x s x s x s x u n p n n p n pn n k k k -+-==-++++=+∑111()()()()()()()()()()().211x u x u x u x u x u x r x r x s x s x s x s n n n p n n p n n n p n =+≤+≤+=-+-≤+++++例14试证()∑+--211x n n 在区间[]b a ,一致收敛.证明⎭⎬⎫⎩⎨⎧+21x n 是任意闭区间[]b a ,上的连续函数列且[]b a x ,∈∀,()()x u x u n n ≤≤+10,()0lim =∞→x u n n 由定理26知函数项级数()∑+--211x n n 在[]b a ,上一致收敛.推论17设函数列(){}x S n 在[]b a ,上收敛于)(x S ,若()x S n 可写成L 型函数项级数的部分和,则函数列(){}x S n 在上一致收敛于)(x S .证明设有L 型函数项级数()()∑+-x u n n 11一致收敛于()x u ,[]b a x ,∈而()()()x u x S k nk k n ∑=+-=111,则对[]b a x ,∈∀,都有()()()()()x S x S x u x u n n nk k k n ==-=∞→=+∞→∑lim 1lim 11,即()()x S x u =,故函数列(){}x S n 在[]b a ,上一致收敛于)(x S .例15证明()∑-x nn11在[)+∞,δ上一致收敛.证明因为[)+∞∈∀,δx ,()x xn n 1110≤+≤,01lim =∞→xn n .由②[)+∞∈∀,δx ,+∈∀N p 有()()()δn x u x u n pn n k k K2211≤≤-∑++=,由δn 2与x 无关且02lim =∞→δn n 故()()εδ<≤-∑++=n x u pn k n k k 211,由Cauchy 准则证毕.定理27[]9利用结论:设幂级数∑∞=1n n n x a 的收敛半径0>R ,则①当∑∞=1n nn R a (或()∑∞=-1n nn R a )收敛时,∑∞=1n n n x a 在[]R ,0或()0,R -一致收敛;②∑∞=1n nn x a 在(]R R ,-内一致收敛,当且仅当∑∞=1n n n x a 在[]R R ,-上一致收敛.注:1Cauchy 准则与M 判别法比较实用一般优先考虑;2Cauchy 准则、M 判别法、放大法要实现对函数项级数一致收型性的判别,均要对一定的表达式进行有效是我放大.三非一致收敛性的判别1利用非一致收敛的定义定义3,略.例16讨论函数项级数()[]()∑++-111nx x n x在()+∞∈,0x 是否一致收敛.解()()[]()()111)11111(11111+-=+-+-=++-=∑∑==nx kx x k kx x k x x s nk nk n 当()+∞∈,0x 时,有()()1lim ==∞→x s x s n n .取o ε使210≤<o ε,无论n 多大只要nx 1=',就有()()o n n n s n s x s x s ε≥=⎪⎭⎫ ⎝⎛-⎪⎭⎫ ⎝⎛='-'2111,故()[]()∑++-111nx x n x 在()+∞,0上非一致收敛.2利用确界原理的逆否命题定理28若函数项级数()∑x u n 在数集D 上非一致收敛的充要条件是()0sup lim ≠∈∞→x R n Dx n .证明它是确界原理的逆否命题,故成立.例17函数项级数()∑x u n 的部分和函数为()xx x S nn --=11,讨论()∑x u n 在()1.1-上是否一致收敛.证明部分和函数()x x x S n n --=11,当1<x 时,()(),11lim xx S x S n n -==∞→又当∞→n时,()()()()∞→⎪⎭⎫ ⎝⎛+=+-⎪⎭⎫⎝⎛+≥-=----∈11,11,11111supsup n nnx n x n n n n nn n x x x S x S ,故()∑x u n 在()1.1-内非一致收敛.注:极限函数知道时值得用3利用定理5的逆否命题定理29设()()x S x u n =∑,若存在{}D x n ⊂使得()0lim ≠∞→n n n x r ,则()∑x u n 在D 上不一致收敛.证明略.注:此定理比较实用.4利用Cauchy 准则逆否命题定理30函数项级数()∑x u n 在区间D 上非一致收敛的充要条件是存在0>o ε,+∈∀N N ,N n o >∃,D x ∈'∃,+∈N p 使得()opn n k kx u ε≥'∑++=1证明它是Cauchy 准则的逆否命题,故成立.例18讨论∑nnxsin 在[]π2,0=D 上的一致收敛性.解取21sin 31=o ε,对+∈∀N N ,N n o >∃,1+=o n p ,及()[]π2,0121∈+=o o n x 使()()()()()1212sin 121122sin 21121sin 11++++++++++++=-+o o o o o o o o o o n p n n n n n n n n n n x s x s o o ⎪⎪⎭⎫⎝⎛++++++>121211121sin o o o n n n 21sin 31>oε=故∑nnxsin 在[]π2,0=D 上非一致收敛.注:该类型关键是要找出o x 与o n 及p 之间的关系,从而凑出o ε,该类型题也有一种简便方法,即取1=p 能适用于很多例题.此方法比较实用,优先考虑.推论18函数列(){}x u n 在上非一致收敛于0,则函数项级数()∑x u n 在数集D 上非一致收敛.证明它是推论1的逆否命题,故成立.例19设()()()()12sin 1212cos+⋅++=n n x n n n x u n ,()∞∞-∈,x .讨论函数项级数()∑x u n的一致收敛性.解取()12+=n n x n ,则()()1sin 12cos lim 0lim +=-∞→∞→n x u n n n n ,此极限不存在,所以(){}x u n 在定义域内非一致收敛于0,则()∑x u n 在()∞∞-∈,x 内非一致收敛.推论19[]9若函数项级数()∑x u n 在区间D 上逐点收敛,且在区间D 中存在一点列{}n x ,使()0lim ≠∞→n n n x u ,则函数项级数()∑x u n 在区间D 上非一致收敛.例20讨论∑⎥⎥⎦⎤⎢⎢⎣⎡⎪⎭⎫ ⎝⎛+-nx n x e n 11在()+∞,0上的一致收敛性.解因为()0.,,0a x ∃+∞∈∀使a x ≤,有ax nx e n a e nx n x e n 222211≤≤⎥⎥⎦⎤⎢⎢⎣⎡⎪⎭⎫ ⎝⎛+-,知∑⎥⎥⎦⎤⎢⎢⎣⎡⎪⎭⎫⎝⎛+-nx n x e n 11在()+∞,0上非一致收敛.5利用求极值的方法定理31()()∑∞+==1n k kn x u x R ,若()0sup lim ≠∈∞→x R nDx n ,则()∑x u n 在D 上不一致收敛.例21证()∑-n n x x 1在[]1,0上处处收敛,但不一致收敛.证明因为()∑∑∑-=-n n n n x x x x 21,对[)1,0∈x ,∑n x 与∑n x 2都收敛,所以()∑-nnx x 1收敛,1=x 时()01=-∑nnx x 收敛,故()∑-nnx x 1在[]1,0上处处收敛;而()∑---=++x x x x x R n n n 11221,所以[]()22211,01111111sup ⎪⎭⎫⎝⎛--⎪⎭⎫⎝⎛--⎪⎭⎫⎝⎛-≥++∈n n n n x R n n n x ,又+∞=⎪⎭⎫⎝⎛--⎪⎭⎫ ⎝⎛--⎪⎭⎫⎝⎛-++∞→22211111111lim n n n n n n n ,故()∑-n n x x 1在[]1,0非一致收敛.注:极限函数知道时,可考虑用.6利用一致收敛函数列的一个性质判别[]10引理2若连续函数列(){}x f n 在区间D 上一致收敛于()x f ,则D x o ∈∀,{}D x n ⊂∀,o n n x x =∞→lim ,有()()o n nn x f x f=∞→lim 证明由(){}x f n 在D 上一致收于()x f ,即有()()0sup lim =-∈∞→x f x f n Dx n ,D x o ∈∀,{}D x n ⊂∀:o n n x x =∞→lim ,有()()()()x f x f x f x f n Dx n n n -≤-∈sup ,得()()0lim =-∞→x f x f n n n .根据连续函数列(){}x f n 在区间D 上一致收敛于()x f ,则()x f 也必在D 上连续,从而()()o n n n x f x f =∞→lim .定理32连续函数项级数()∑x u n 在区间D 上逐点收于)(x S ,且D x o ∈∃,{}Dx n ⊂∃o n n x x =∞→lim ,有()()o n n n x S x S ≠∞→lim 则函数项级数()∑x u n 在区间D 上非一致收敛于)(x S .例22讨论∑+221x n x在()+∞∞-,上一致收敛性.解显然()∑x u n 在()+∞∞-,上逐点收,且每一项都在()+∞∞-,上连续,取() ,2,11==n n x n ,则0lim =∞→n n x .再设()221x k x x u k +=,由定积分概念()()∑∑=∞→=∞→+=nk nk nn nk n k n x u 12111lim lim ()∑=∞→+=n k n k n n 12111lim dx x ⎰+=1021110arctgx =4π=()00=≠s 故知∑+221xn x在()+∞∞-,上非一致收敛.推论20设连续函数列(){}x S n 在区间D 上逐点收敛,且在D 中存在数列{}n a 和{}n b 满。
函数项级数收敛和一致收敛的判别
函数项级数收敛和一致收敛的判别函数项级数收敛和一致收敛的判别函数项级数是指将一列函数相加得到的级数,例如:$%sum%limits_{n=1}^%infty f_n(x)$。
如果该级数在某个区间内收敛,则称该级数在该区间内收敛,否则称该级数在该区间内发散。
函数项级数的收敛性可以分为点态收敛和一致收敛两种。
点态收敛是指对于每一个$x$,级数$%sum%limits_{n=1}^%inftyf_n(x)$都收敛,而一致收敛则是指存在一个收敛的函数$S(x)$,使得对于任意$%epsilon>0$,存在一个正整数$N$,使得当$n>N$时,对于所有$x$都有$|%sum%limits_{k=1}^n f_k(x)-S(x)|<%epsilon$。
下面将介绍函数项级数的一致收敛的判别方法:一、Weierstrass判别法Weierstrass判别法是判定函数项级数一致收敛的最常用方法之一。
其基本思想是将原函数项级数中的每一项$f_n(x)$都用一个上界函数$M_n(x)$来代替,并且要求这个上界函数满足以下两个条件:1. 对于任意$n$和$x$,都有$|f_n(x)|%leq M_n(x)$。
2. 上界函数$M_n(x)$的函数项级数$%sum%limits_{n=1}^%infty M_n(x)$在该区间内收敛。
如果满足上述条件,则原函数项级数在该区间内一致收敛。
二、Abel判别法Abel判别法是另一种判定函数项级数一致收敛的方法。
其基本思想是将原函数项级数表示为两个部分的乘积:$%sum%limits_{n=1}^%infty a_n(x)b_n(x)$,其中$a_n(x)=%sum%limits_{k=1}^n f_k(x)$,$b_n(x)$是一个单调有界函数。
如果满足以下两个条件,则原函数项级数在该区间内一致收敛:1. 函数$a_n(x)$在该区间内一致有界。
2. 函数$b_n(x)$在该区间内一致收敛到某个函数$B(x)$。
函数项级数一致收敛性判别及应用
函数项级数一致收敛性判别及应用函数项级数是由一系列函数的和组成的级数,通常用于描述函数的展开式或泰勒级数。
对于某些函数项级数,我们希望判断其在一定的条件下是否具有一致收敛性,这对于分析和解决问题具有很大的价值。
本文将介绍一些函数项级数一致收敛性的判别方法及其应用。
一、函数项级数收敛的定义设 $f_n$ 为定义在区间 $I$ 上的函数序列,如果存在函数 $f$ 使得$\lim_{n\to\infty}f_n(x)=f(x)$ 对于所有 $x\in I$ 成立,则称函数序列$\{f_n\}$ 在 $I$ 上逐点收敛于函数 $f$,并记为 $f_n\to f$($n\to\infty$)。
二、Weierstrass 判别法Weierstrass 判别法是判断函数项级数一致收敛性的重要方法之一。
它通常用于非负函数项级数。
证明如下:设 $s_N(x)=\sum_{n=1}^{N}f_n(x)$ 为前 $N$ 项和函数,$s(x)=\sum_{n=1}^{\infty}f_n(x)$ 为级数的和函数。
由于 $|f_n(x)|\leq M_n$,所以对于 $m>n$,有 $|s_m(x)-s_n(x)|=|\sum_{k=n+1}^{m}f_k(x)|\leq\sum_{k=n+1}^{m}|f_k(x)|\leq \sum_{k=n+1}^{m}M_k$。
三、Abel 判别法1. 证明 Riemann 积分的线性性如果函数 $f(x)$ 和 $g(x)$ 在区间 $[a,b]$ 上 Riemann 可积,则它们的线性组合$\alpha f(x)+\beta g(x)$ 也在 $[a,b]$ 上 Riemann 可积,并且$$\int_a^b(\alpha f(x)+\beta g(x))dx=\alpha \int_a^bf(x)dx+\beta\int_a^bg(x)dx$$如果 $f(x)$ 和 $g(x)$ 在 $[a,b]$ 上一致连续,则它们的线性组合也在$[a,b]$ 上一致连续。
一致收敛weierstrass判别法
一致收敛weierstrass判别法
一致收敛的Weierstrass判别法是一种判断函数列或函数项级数是否一致收敛的方法。
具体来说,如果函数项级数的每一项满足一定的条件,并且这个条件与函数项的位置无关,那么就可以利用Weierstrass判别法来判断这个函数项级数是否一致收敛。
具体来说,设函数项级数为∑u_n(x),如果对于任意给定的ε>0,总存在N,使得当n>N 时,对于一切x∈D(D是函数项级数的定义域),都有|u_n(x)|<ε,那么就说函数项级数∑u_n(x)在D上一致收敛。
Weierstrass判别法指出,如果函数项级数的每一项u_n(x)满足|u_n(x)|≤a_n(对于所有x∈D),并且数列∑a_n收敛,那么函数项级数∑u_n(x)在D上一致收敛。
这个判别法的优点在于,它不需要知道函数项级数的和的具体形式,只需要知道每一项的绝对值满足的条件,以及这个条件与x的位置无关,就可以判断函数项级数是否一致收敛。
因此,它是研究函数项级数收敛性的重要工具之一。
此外,一致收敛的函数项级数具有一些很好的性质,比如可以交换极限运算和无限求和运算的顺序,这在处理一些复杂的数学问题时非常有用。
因此,研究函数项级数的一致收敛性对于数学分析来说具有重要的意义。
含参量反常积分的一致收敛发判别法及推广汇总
含参量反常积分的一致收敛发判别法及推广汇总含参数的反常积分是指在积分中包含一个或多个参数的情况下的积分运算。
一致收敛是指在定义域上的每个点上,函数项级数都收敛于同一个函数。
一致收敛的发散判别法是用来判断含参数的反常积分是否一致收敛的方法。
它的基本思想是先对含参数的反常积分的被积函数进行求和,然后通过逐项求和的结果进行判断。
一般来说,当积分区间是有界区间时,可以直接采用一般的单调收敛判别法,若积分区间是无界区间,则需要使用其他方法来判断其一致收敛性。
以下是一些常见的含参数反常积分的一致收敛发判别法及推广:1.魏尔斯特拉斯判别法:该判别法适用于被积函数在区间上无上界的情况。
若函数项级数的每一项在区间上都存在可求得的上界,并且级数的系数与参数无关,即参数只出现在积分区间上,则该函数项级数在该区间上一致收敛。
2.绝对收敛发散判别法:若被积函数在积分区间上绝对收敛,则函数项级数在该区间上一致收敛。
3.阿贝尔判别法:若函数项级数在积分区间上逐项收敛,且在积分区间上一致有界,则函数项级数在该区间上一致收敛。
4.一致收敛的推广汇总:对于参数函数项级数的一致收敛判别,可以将其推广为参数函数项广义积分的一致收敛判别。
具体而言,可以参考以下几种情况的判别方法:a.线性组合的情况:若参数函数项级数与常数函数项级数的线性组合在积分区间上一致收敛,则参数函数项级数在该区间上一致收敛。
b.积分换元法的情况:若参数函数项级数的积分变量进行换元,得到的新的参数函数项级数在积分区间上一致收敛,则原参数函数项级数在该区间上一致收敛。
c.参数函数项级数的逐项积分的情况:若参数函数项级数的逐项积分在积分区间上一致收敛,则参数函数项级数在该区间上一致收敛。
d.参数函数项的相对收敛性:若参数函数项级数的每一项与参数的函数项级数的每一项的绝对值相比,在积分区间上一致有界,并且参数的函数项级数在该区间上一致收敛,则原参数函数项级数在该区间上一致收敛。
一致收敛的比较判别法
一致收敛的比较判别法一致收敛的比较判别法是数学分析中的一种重要策略,适用于求解函数序列的收敛性问题。
其主要思想是通过比较函数序列与已知函数的大小关系,来推断函数序列的收敛性。
下面我们就来详细介绍一下这一方法。
1. 一致收敛的概念在介绍一致收敛的比较判别法之前,我们先来了解一下一致收敛这个概念。
对于一个函数序列{f_n(x)},如果存在一个函数f(x),使得对于任何给定的正数ε,都存在一个正整数N,当n>N时,有|f_n(x)-f(x)|<ε成立,那么我们称这个函数序列一致收敛于函数f(x)。
这种收敛方式相比于点态收敛和平均收敛而言,更加强一些,也更适合于一些特殊函数的收敛性分析。
2. 比较判别法的基本思路有了一致收敛的概念之后,我们就可以开始介绍一致收敛的比较判别法了。
这种方法的基本思路就是通过一个已知函数g(x),与函数序列{f_n(x)}相比较,从而来推断{f_n(x)}的收敛性。
具体来说,如果存在一个正整数N和正数M,使得对于任意的x和n>N,有|f_n(x)|≤M|g(x)|成立,那么我们就可以得出结论:若g(x)一致收敛,那么{f_n(x)}一致收敛;反之,若{f_n(x)}不一致收敛,则g(x)也不一致收敛。
3. 举例说明为了更好地理解一致收敛的比较判别法,我们举个例子来说明。
考虑两个函数序列{a_n(x)}和{b_n(x)},其中a_n(x)=x^n/(1+x^n),b_n(x)=x^n。
我们想知道这两个函数序列是否一致收敛。
由于比较判别法的思路是将未知的函数序列与已知的函数相比较,因此我们可以先找到一个已知函数g(x),它能够与{a_n(x)}或{b_n(x)}进行比较。
因为a_n(x)的极限函数是f(x)=1(当x>0时),因此我们取g(x)=1,那么对于任意的x和n,有|a_n(x)|≤1|g(x)|成立。
因此,根据比较判别法,可以得出结论:{a_n(x)}一致收敛于f(x)=1。
一致收敛的概念和判别法
7.1第7讲 一致收敛的概念与判别法所谓函数项级数是指级数的每项均为某一变量或多个变量的函数的级数,也就是说是无穷多个函数求和的问题,研究函数项级数主要回答下列几个问题:1. 收敛区域,即对于函数项级数:()1n n a x ∞=∑,x 在什么范围内级数是收敛的?这一问题是平凡的,因为对于给定x ,由数项级数之收敛性即可判别级数的收敛性,从而确定x 之收敛域。
2. 设()()1n n S x a x ∞==∑是收敛的,若()n a x 均为连续函数,问()S x 是否连续?回答是不一定。
例如:当1x <时,()1n n a x x −=,则有()11S x x=−,()n a x 在1x =处左连续,但()S x 在1x =处不是左连续的。
问题还可以提为:什么时候()S x 连续? 3. 可导性能否保持?即:若()n a x 均为可导函数,问()S x 是否可导?同样有问题:什么时候可导性可以保持?特别地,如果均可导,()S x 的导数与()n a x 的导数有何关系?4. 可积性问题。
即:若()n a x 均为可积函数,问()S x 是否可积?何时可积?它们的积分有何关系? 为了研究上述几个问题,我们需要引进“一致收敛”的概念。
7.2§1 一致收敛的概念讨论级数的收敛性实质上是其部分和函数()n S x 的性质,因此我们先考虑极限过程()()lim n n S x S x →∞=的性质。
上面所说的关于和函数的连续性,可导性、可积性有一个共同的特点,就是某一点x 处的连续性与可导性均与函数在该点邻域的性质有关,而不仅仅只与该点函数值相关,而可积性则更是函数在某一区间内的性质了。
另一方面,函数序列()n f x 在0x x =处是否收敛实际上只是数列()0n f x 的性质,与0x 点邻域内的性质是不相干的,因此从这一角度看,我们知道收敛性是无法用来描述其极限函数之性质的,因而有必要引入新的概念来区分不同的收敛性,以刻画函数序列的极限函数的性质。
函数项级数的一致收敛性与非一致收敛性判别法归纳
函数项级数的一致收敛性与非一致收敛性判别法归纳一 定义引言设函数列{}n f 与函数f 定义在同一数集D 上,若对任给的正数ε,总存在某一正数N ,使得当N n >时,对一切D x ∈,都有()()ε<-x f x f n 则称函数列{}n f 在上一致收敛于()x f ,记作()()x f x fn →→()∞→n ,D x ∈ 设()x u n 是定义在数集E 上的一个函数列,表达式()()(),21 ++++x u x u x u n E x ∈ )1(称为定义在E 上的函数项级数,简记为()x u n n ∑∞=1或()x u n ∑;称()()x u x S nk k n ∑==1, E x ∈, ,2,1=n )2(为函数项级数)1(的部分和函数列.设数集D 为函数项级数∑∞=1)(n n x u 的收敛域,则对每个D x ∈,记∑∞==1)()(n n x u x S ,即D x x S x S n n ∈=∞→),()(lim ,称)(x S 为函数项级数∑∞=1)(n n x u 的和函数,称)()()(x S x S x R n n -=为函数项级数∑)(x u n 的余项.定义1]1[ 设{})(x S n 是函数项级数∑)(x u n 的部分和函数列,若{})(x S n 在数集D 上一致收敛于函数)(x S ,或称函数项级数∑)(x u n 在D 上一致收敛于)(x S ,或称∑)(x u n 在D 上一致收敛.由于函数项级数的一致收敛性是由它的部分和函数列来确定,所以可以根据函数列一致收敛性定义得到等价定义.定义2]1[ 设{})(x S n 是函数项级数∑)(x u n 的部分和函数列,函数列{})(x S n ,和函数)(x S 都是定义在同一数集D 上,若对于任给的正数ε,总存在某一正整数N ,使得当N n >时,对一切D x ∈,都有ε<-)()(x S x S n ,则称函数项级数∑)(x u n 在D 上一致收敛于函数)(x S ,或称∑)(x u n 在D 上一致收敛.同时由ε<-=)()()(x S x S x R n n ,故)(x R n 在D x ∈上一致收敛于0.定义3 设函数项级数∑)(x u n 在区间D 上收敛,其和函数为∑∞==1)()(n n x u x S ,部分和函数列∑==nk n n x u x S 1)()(,若0>∃o ε,+∈∀N N ,N n o >∃及D x ∈'∃,使得o n x s x s o ε≥'-)()(,则函数项级数∑)(x u n 在区间D 上非一致收敛.例1 试证∑∞=1n n x 在[]r r ,-)10(<<r 上一致收敛,但在)1,1(-内不一致收敛.证明 显然∑∞=1n n x 在)1,1(-内收敛于xx-1. 对任意的0>ε,欲使当N n >和r x r ≤≤-时,恒有ε<-=--+=∑xxx xx n nk k 1111成立,只要当N n >时,恒有ε<-+rr n 11成立,只要当N n >时,恒有()rr n lg 1lg 1ε->+ 成立,只要当N n >时,恒有()r r n lg 1lg ε->成立,只要取()⎥⎦⎤⎢⎣⎡-=r r N lg 1lg ε即可.依定义,∑∞=1n nx 在[]r r ,-上一致收敛于x x -1. 存在e o 2=ε,对任意自然数N ,都存在N N n o >+=1和()1,121-∈++=N N x o ,使 ε2111111111>⎪⎭⎫⎝⎛+++=-=--++=∑N o n o o o n k k oN N x x x x xo o成立,依定义,∑∞=1n n x 在)1,1(-内不一致收敛.二 函数项级数一致收敛性的判定方法定理1 Cauchy 一致收敛准则]1[函数项级数()∑x u n 在数集D 上一致敛的充要条件为:对0>∀ε,总+∈∃N N ,使得当N n >时,对一切D x ∈和一切正整数p ,都有()()ε<-+x S x S n p n 或 ()()()ε<++++++x u x u x u p n n n 21 或()ε<∑++=pn n k kx u 1特别地,当1=p 时,得到函数项级数一致收敛的一个必要条件:推论1 函数项级数在()∑x u n 在数集D 上一致收敛的必要条件是函数列(){}x u n 在D 上一致收敛于0.定理2]2[ 函数项级数()x u n n ∑∞=1在点集D 上一致收敛于)(x S 的充分必要条件是:()()0:sup lim 1=⎭⎬⎫⎩⎨⎧∈-∑=∞→D x x S x u n k n n .定理3 放大法]3[(){}x S n 是函数项级数()∑x u n 的部分和函数列,和函数)(x S ,都是定义在同一数集D 上,对于任意的n ,存在数列{}n a ()0>n a ,使得对于D x ∈∀,有()()()n n n a x S x S x R <-=,且0lim =∞→n n a ,则称函数列(){}x S n 一致收敛于)(x S ,即函数项级数()∑x u n 在D 上一致收敛于函数)(x S .证明 因0lim =∞→n n a ,故对任给的0>ε,+∈∃N N (与x 无关),使得当N n >时,对一切D x ∈,都有()()()ε<≤-=n n n a x S x S x R .由定义2得函数列(){}x S n 一致收敛于)(x S ,即函数项级数()∑x u n 在D 上一致收敛于)(x S .注:用放大法判定函数项级数()∑x u n 一致收敛性时,需要知道)(x S . 定理4 确界法函数项级数在数集D 上一致收敛于)(x S 的充要条件是 ()()()0sup lim sup lim =-=∈∞→∈∞→x S x S x R n Dx n n Dx n证明 充分性 设(){}x S n 是函数项级数()∑x u n 的部分和函数列, )(x S 为和函数,则有()()()x S x s x R n n -=,并令()x R a n Dx n ∈=sup ,而()0sup lim =∈∞→x R n Dx n ,即0lim 0=→n n a ,由定理3(放大法)得知函数项级数()∑x u n 一致收敛于函数)(x S .必要性注:实质上是用极值的方法把一致收敛问题转化为求数列极限的问题. 定理5 若()∑x u n 在区间D 上收敛,则()∑x u n 在D 上一致收敛的充要条件是{}D x n ⊂∀,有()0lim =∞→x R n n .证明 充分性 假设()∑x u n 在D 上不一致收敛,则0>∃o ε,{}D x n ⊂∃,使得()()o n x S x S ε≥-,如此得到{}D x n ⊂,但()0lim ≠∞→n n n x R ,这与已知条件矛盾.必要性 因已知()∑x u n 在D 上一致收敛,所以N ∃>∀,0ε,使得当N n >时,对一切D x ∈,都有()()ε<-x S x S n ,对于{}D x n ⊂∀,则有()()ε<-n n n x S x S ,即()ε<n n x R ,得()0lim =∞→n n n x R .例2 设()0≥x u n , 2,1=n ,在[]b a ,上连续,又()x u n ∑在[]b a ,收敛于连续函数()x f ,则()x u n ∑在[]b a ,一致收敛于()x f .证明 已知()()()x S x f x R n n -=(其中()()∑==nk k n x u x S 1)是单调递减且趋于0,所以[]b a x N n ,,∈∀∈∀有()0≥x R n ,且[]ε∀∈∀,,0b a x >0,()εε,),(00,0x x N n N ≥>∃时,有()ε<≤00x R n .将n 固定,令()ε,00x N N n ==,因为()()()x S x f x R n n -=在[]b a ,上连续,既然()ε<x R n ,所以00>∃δ,当()0000,δδ+-∈x x x 时, ()ε<0x R n .从而0N n >时更有()ε<x R n 即()ε<x R n ,仅当()0000,δδ+-∈x x x .如上所述,对每个点[]b a x ,∈λ,可找到相应的领域()λλλλδδ+-x x ,及相应的λN ,使得λN n >时,对∈x ()λλλλδδ+-x x ,恒有()ε<x R n .如此{()λλλλδδ+-x x ,:[]b a x ,∈λ}构成[]b a ,的一个开覆盖,从而必存在有限子覆盖,不妨记为{()()r r r r x x x x δδδδ+-+-,,,1111 },于是[]b a x ,∈∀,总{}r i ,2,1∈使得i i i i x x x δδ+-∈,(),取{}r N N N N ,,m ax 21=,那么N n >时,恒有()ε<x R n ,由定理5得()x u n∑在[]b a ,一致收敛于()x f .定理6 M 判别法或优先级判别法或Weierstrass 判别法]1[设函数项级数()x u n ∑定义在数集D 上,∑n M 为收敛的正项级数,若对一切D x ∈,有2,1,)(=≤n M x u n x )3( 则函数项级数()x u n ∑在D 上一致收敛.证明 由假设正项级数()x u n ∑收敛,根据函数项级数的Cauchy 准则,∀0>ε,∃某正整数N ,使得当N n >及任何正整数p ,有ε<+=++++++p n n p n n M M M M 11又由(3)对一切D x ∈,有()≤+≤++++++x u x u x u x u p n n p n n )()()(11ε<+++p n n M M 1根据函数项级数一致收敛的Cauchy 准则,级数()x u n ∑在D 上一致收敛.注:若能用从判定()∑∞=1n n x u 一致收敛,则()∑∞=1n n x u 必是绝对收敛,故M 判别法对条件收敛的函数项级数失效.例3 函数项级数∑∑22cos ,sin nnxn nx 在()+∞∞-,上一致收敛,因为对一切∈x ()+∞∞-,有22221cos ,1sin n n nx n n nx ≤≤,而正项级数∑21n是收敛的. 推论2 设有函数项级数()x u n ∑,存在一收敛的正项级数∑∞=1n n a ,使得对于,I x ∈∀有()()+∞<≤=∞→k k a x u nn n 0lim,则函数项级数()∑∞=1n n x u 在区间I 一致收敛证明 已知()()+∞<≤=∞→k k a x u nn n 0lim,即,,,,00I x N n N N ∈∀>∀∈∃>∃+ε有()0ε<-k a x u n n 即()k a x u n n +<0ε,从而()()n n a k x u +<0ε,又因为∑∞=1n n a 收敛,则()nn a k ∑∞=+10ε也收敛,由M 判别法得函数项级数()∑∞=1n n x u 在区间I 一致收敛.由广义调和级数∑∞=11n p n ,当1>p 时收敛,故当n a =pn 1时,有 推论2' 设有函数项级数()∑∞=1n n x u ,若存在极限k x u n n p n =∞→)(lim 且1,0>+∞<≤p k ,则函数项级数()x u n ∑在区间I 一致收敛.例4 证明函数项级数∑∞=+++1)1)((1n n x n x 在[)∞,0是一致收敛的.证明 对于∑∞=+++1)1)((1n n x n x ,存在收敛的正项级数∑∞=121n n,且=+++⋅∞→)1)((1lim 2n x n x n n 1)1)((lim2=+++∞→n x n x n n 由的推论2与推论2'得, ∑∞=+++1)1)((1n n x n x 在[)∞,0一致收敛. 定理7 比较判别法[]4两个函数项级数()∑x u n 与()x v n ∑,若N N ∈∃0,当I x N n ∈∀>∀,0有()x v c x u n n <)((其中c 为正常数),且函数项级数()x v n ∑在区间I 绝对一致收敛,则函数()x u n∑区间I 绝对一致收敛.证明 已知 ()x v n ∑在区间I 绝对一致收敛,即对cε∀0>(其中c 为正常数), 11,N n N N >∀∈∃及I x N p ∈∈,,有()()()cx v x v x v p n n n ε<++++++ 21;又由条件知I x N n N ∈>∀∃,,00有()x v c x u n n <)(;取{},,m ax 01N N N =当I x N p N n ∈∈∀>∀,,,有()()()<++++++x u x u x u p n n n 21()()()()εε=⋅<++++++cc x v x v x v c p n n n 21.由收敛级数一致收敛Cauchy 准则知,函数项级数∑)(x u n 在区间I 一致收敛,从而函数项级数()x u n ∑在区间I 绝对一致收敛.定理8[]4 若有函数级数()∑x u n 与()x v n ∑,N N ∈∃0,I x N n ∈∀>∀,0有()x cv x u n n <)((其中c 为正常数),且函数项级数()∑∞=1n n x v 在区间I 一致收敛,则函数()∑∞=1n n x u 区间I 绝对一致收敛.证明 已知I x N n N ∈>∀∃,,00,有()x v c x u n n <)((其中c 为正常数). 又函数项级数()∑∞=1n n x v 在区间I 绝对一致收敛,即I x N p N n N N c∈∈>∀∈∃>∀,,,,011ε,有()()()()cx v x v x v x v x v p n n p n n n ε<+=++++++++ 121)(;取{},,m ax 10N N N =当I x N p N n ∈∈>∀,,有()()()()()()x u x u x u x u x u x u p n n n p n n n +++++++++≤++ 2121()()()x v x v c p n n ++++< 1εε=⋅<cc从而函数项级数()x u n ∑在区间I 绝对一致收敛.推论3 比较极限法若有两个函数级数()∑∞=1n n x u 与()())0(1≠∑∞=x v x v n n n ,且有()()k x v x u nn n =∞→lim且+∞<≤k 0,若级数()x v n ∑在区间I 绝对一致收敛,则函数()∑x u n 在区间I 也绝对一致收敛.证明 由()()k x v x u nn n =∞→lim且+∞<≤k 0,即,,00N n ∈∃>∀ε当I x N n ∈>,有()()0ε<-k x v x u n n 使()()c k x v x u n n =+<0ε且00>+=εk c .即N n >∀及I x ∈有()()x v c x u n n <,又级数()x v n ∑在区间I 绝对一致收敛,由比较判别法定理7知级数()∑∞=1n n x u 在区间I 绝对一致收敛.推论4[]4 有函数列(){}x u n 在区间I 上一致有界,且函数级数()∑∞=1n n x v 在区间I 绝对一致收敛,则函数级数()()x v x u n n ∑在区间I 上也绝对一致收敛.证明 由已知函数列(){}x u n 在区间I 上一致有界,即I x N n M ∈∈∀>∃,,0有()M x u n ≤,使当I x N n ∈∈∀,有()()()x v M x v x u n n n ≤⋅,又因函数级数()∑x v n 在区间I 绝对一致收敛,由比较判法定理7知, 函数级数()()x v x u n n ∑在区间I 上绝对一致收敛.例5 若函数级数()()x c x a n n ∑∑,在区间I 一致收敛,且I x N n ∈∈∀,,有()()()x c x b x a n n n ≤≤,则函数项级数()x b n ∑在区间I 上一致收敛.证明 由条件函数()()x c x a n n ∑∑,在区间I 一致收敛,则级数()()()∑-x a x c n n 在区间I 上一致收敛.又I x N n ∈∈∀,有()()()x c x b x a n n n ≤≤,故()()()()x a x c x a x b n n n n -≤-≤0且级数()()()∑-x a x c n n 在区间I 绝对一致收敛,由定理8知,级数()()()∑-x a x b n n 在区间I 上一致收敛.又已知()x a n ∑在区间I 一直收敛,从而级数()()()()()[]()()()()x a x a x b x a x a x b x b nnnnnnn∑∑∑∑+-=+-=在区间I 上一致收敛.推论5 设函数项级数()∑x u n 定义在数集]2[上,()∑x v n 在上一致收敛且()0>x v n ,若对一切D x ∈,有()()x v x u n n ≥, ,2,1则函数项级数()∑x u n 在D 上一致收敛.定理9 逼近法[]5若对任意的自然数n 和D x ∈,都有()()()x w x u x v n n n ≤≤成立,又()x v n ∑和()x w n ∑都在数集D 上一致收敛于)(x S ,则()x u n ∑也在D 上一致收敛于)(x S .证明 设()()x v x V nk k n ∑==1,()()x u x U nk k n ∑==1,()()x w x W nk k n ∑==1因为D x N n ∈∀∈∀+,都有()()()x w x u x v n n n ≤≤,所以D x N n ∈∀∈∀+,有()()()x W x U x V n n n ≤≤.又()x v n ∑,()x w n ∑在区间D 上一致收敛于)(x S ,即+∈∃>∀N N ,0ε,当N n >时,对一切D x ∈∀有()()()εε+<<-x S x V x S n 及()()()εε+<<-x S x W x S n ;所以+∈∃>∀N N ,0ε,当N n >时,对一切D x ∈∀有()()()()()εε+<≤≤<-x S x W x U x V x S n n n .由函数项级数一致收敛定义知, ()x u n n ∑∞=1在D 上也一致收敛于)(x S .定理10 由有性质判别若()x u n ∑和()x v n ∑在点集D 上一致收敛,则[]∑±)()(x v x u nn在D 上也一致收敛证明 由()x u n ∑和()x v n ∑均在点集D 上一致收敛知,对N ∃>∀,0ε(自然数),使 得当N n ≥时,对∀自然数p 和x 有()()()ε<+++++x u x u x u p n n n 21 ()()ε<++++++x v x v x v p n n n 21)(所以 ()()()()()())()()(2211x v x u x v x u x v x u p n p n n n n n ++++++++++++()()()+++≤+++x u x u x u p n n n 21()()x v x v x v p n n n ++++++ 21)(εεε2=+<由函数项级数一致收敛的Cauchy 收敛准则知,[]∑±)()(x v x u nn在D 上也一致收敛定理11 Dini 定理设()()()() ,2,10,0=≤≥n x u x u n n 在[]b a D ,=上连续,又()x u n ∑在[]b a ,上收敛于连续函数,则函数项级数()x u n ∑在[]b a ,一致收敛.使用步骤:⑴判定()0≥x u n 且连续;⑵求和函数)(x S ;⑶判定求和函数)(x S 在[]b a ,上连续.Abel 引理定理12 Abel 判别法[]1 证明推论6 设函数项级数()x u n ∑在D 上一致收敛,函数()x g 在D 上有界,则()()x u x g n ∑在D 上一致收敛.证明 因为()x g 在D 上有界,所以,0>∃M 使()M x g ≤,对D x ∈∀成立.因()x u n ∑在D 上一致收敛,,0,,0>∃>∀∴p N ε使当N n >,时有()Mx u pn nk k ε<∑+=,对D x ∈∀成立,此式表明()()()()εε=⋅<<∑∑+=+=MM x u x g x u x g pn nk k pn nk k .由Cauchy 准则知()()x u x g n ∑在D 上一致收敛.定理13 Dirichlet 判别法[]1设(i )()x u n ∑的部分和函数列()()x u x s nk k n ∑==1在I 上一直致有界;(ii )对每一个I x ∈,()x v n 单调; (ⅲ)在I 上()()∞→→n x v n 0,则级数和()()x u x v n n ∑在I 上一致收敛.证明 充分性 由(i )∃正数M ,对一切I x ∈,有()M x s n ≤,因此当为任何正整数p n , 时()()()()()M x s x s x u x u x u n p n p n n n 221≤-=++++++ ,对任何一个I x ∈,再由(ii )及Abel 引理,得到 ()()()()()x v x v M x v x v x v p n n p n n n ++++++≤+++22)(121 .再由(ⅲ)对,0,0>∃>∀N ε当N n >时,对一切I x ∈,有()ε<x v n ;所以()()()()εεεM M x v x u x v x u p n p n n n 6)2(211=+<++++++于是由一致收敛的Cauchy 准则级数()()x u x v n n ∑在I 上一致收敛.注:事实上必要性也成立,即已知()()x u x v n n ∑在I 上一致收敛,可推出(i )(ii )(ⅲ)成立,这里不再赘述.例6 若数列{}n a 单调且收敛于0,则级数∑nx a n cos 在[]()πααπα<<-02,上一致收敛.证明 由()π2,0,2sin221sin cos 211∈⎪⎭⎫ ⎝⎛+=+∑=x x x n kx nk 得 在[]απα-2,上有212sin 21212sin21212sin 221sin cos 1+≤+≤-⎪⎭⎫ ⎝⎛+=∑=αx x x n kx nk ,所以级数∑nx cos 的部分和函数列在[]απα-2,上一致有界,于是令()()nnnax v nx x u ==,cos ,则由Dirichlet 判别法可得级数∑nx a n cos 在[]()πααπα<<-02,上一致收敛.定理14 积分判别法[]4设()y x f ,为区域(){}+∞<≤∈=y D x y x R 1,|,上的非负函数, ()x u n ∑是定义在数集D 上的正项函数级()()n x f x u n ,=,如果()y x f ,在[)+∞,1上关于y 为单调减函数,若含参变量反常积分()⎰+∞1,dy y x f 在数集D 上一致收敛,则()x u n ∑在数集D 上一致收敛. 证明 由()⎰+∞1,dy y x f 在数集D 上一致收敛,对0>∀ε,∃一个N ,当N n >时,对一切自然数p 和一切D x ∈,有()ε<⎰+pn ndy y x f ,.由()()()<+++++x u x u x u p n n n 21()ε<⎰+pn ndy y x f ,,所以()x u n ∑在数集D 上一致收敛.例7 设()∑∞=-⋅=1n nx e n x S ,证明()x S 在区间()+∞,0连续.证明 首先对任意取定一点()+∞∈,00x ,都存在0>δ,使得[)+∞∈,0δx ,我们只要证明()x S 在0x 即可.令()yx e y y x f -⋅=,,[)+∞∈,δx ,由()δy yx e y e y y x f --⋅<⋅=,,[)+∞∈,δx ,并且无穷级数dy ey y ⎰+∞-⋅δδ1收敛,所以含参积分dy e y y ⎰+∞-⋅δδ1在[)+∞∈,δx 上一致收敛.又因为()()()()⎭⎬⎫⎩⎨⎧>+∞<≤=∈<-=-δ1,0|,,,01,y x y x R y x yx e y x f yx y 即对任意固定[)+∞∈,δx ,()yx e y y x f -⋅=,关于y 在区间⎪⎭⎫⎢⎣⎡+∞,1δ上是单调递减的,由定理14知,函数级数∑∞+⎥⎦⎤⎢⎣⎡=-⋅11δn nxen 在区间[)+∞∈,δx 上是一致收敛的.利用函数项级数的性质可得, ()∑∞+⎥⎦⎤⎢⎣⎡=-⋅=11*δn nxen x S 在区间[)+∞∈,δx 连续,从而()()x S e n x S n nx *11+⋅=∑=-δ在区间[)+∞∈,δx 也连续,所以()x S 在0x 连续,由0x 在()+∞,0的任意性可知, ()x S 在()+∞,0上连续.含参变量无穷积分与函数项级数都是对函数求和的问题,前者连续作和,后者离散作和,因此它们的一致收敛性定义及判别法都是平行的,而且所表示的函数分析性质(如连续、可微、可积性)也一致,在此不在赘述.由定理14,我们可利用积分的便利条件判断某些数项级数的一致收敛,也可用函数项级数的一致收敛性判别某些含参变量积分一致收敛.定理15 函数列(){}x u n 在[]b a ,上连续且单调,级数()∑a u n 和级数()||b u n 收敛,则级数()x u n ∑在[]b a ,上一致收敛.证明 级数()∑a u n 和()∑b u n 收敛.则()∑a u n +()∑b u n 收敛.由(){}x u n 在[]b a ,上连续且单调,则()||x u n <()||a u n +()||b u n ,由M 判别法知,级数()x u n ∑在[]b a ,上一致收敛.定理16[]6 设函数()x u n ,() ,2,1=n 在[]b a ,上可微(其中b a ,为有限数),且满足如下条件:(i )函数项级数()x u pn n k k∑++=1在[]b a ,上收敛;(ii )存在常数M ,使得对任意的自然树1≥m ,任意的实数[]b a x ,∈,恒有()M x u n<∑/,则函数项级数()x u n n ∑∞=1在[]b a ,上一致收敛.证明 对0>∀ε,因为b a ,为有限数,所以存在自然数k ,使得()εεk a b k a +≤≤-+1,我们在闭区间[]b a ,上插入分点i a x a x i ε+==,0,()1,2,1-=k i ,b x k =,于是,闭区间被分成k 个小区间[]i i x x ,1-,()k i ,2,1=.从而有[]b a ,=[]i i ki x x U ,11-=.又因为函数项级()x u n n ∑∞=1在[]b a ,上是收敛的,故对任意i x ()1,2,1-=k i ,存在自然数()i x N ,ε,使得()i x N n ,ε>时,对任意p ,有()ε<∑++=pn n j ijx u 1.于是,对任意[]i i x x x ,1-∈,在自然数()i x N ,ε,使得()1,->i x N n ε时, 对任意p ,有()()()()ipn n j jp n n j p n n j ijjpn n j jx u x u x u x u ∑∑∑∑++=++=++=++=+-=1111()()()∑∑∑++=++=++=+-≤pn n j ijpn n j pn n j ijjx u x u x u 111()εε+-≤-++=∑11/i pn n j jxx u()()εεε+--≤-=+=∑∑11/1/i nj jpn j jxx u u()()εεε+-+≤-=+=∑∑11/1/||i nj jpn j jxx u u()ε12+≤M因此,对0>∀ε,存在自然数(){}1,,1,0|,m ax 0-==k i x N N i ε,使得当0N n >时,任意[]b a x ,∈,任意自然数p ,均有()ε)12(1+<∑++=M x u pn n j j.即函数项级数()x u n n ∑∞=1在[]b a ,上一致收敛.定理17 设()x u nn ∑为定义在数集D 上的函数项级数,D x ∈0为()x u nn ∑的收敛点,且每个()x u n 在上一致可微, ()x u nn ∑/在上一致收敛,记()=x S ()x u nn ∑.定理18 设函数列(){}x u n 在闭区间[]b a ,上连续可微,且存在一点[]b a x ,0∈,使得()x u n n ∑∞=1在点0x处收敛; ()x u n n ∑∞=1/在[]b a ,上一致收敛,则函数项级数()x u n n ∑∞=1在[]b a ,上一致收敛.证明 已知()x u n n ∑∞=1在点[]b a x ,0∈处收敛, ()x u n n ∑∞=1/在[]b a ,上一致收敛.即对()εε1,N o ∃>∀,使得()ε1N n ≥时,对+∈∀N p ,有()ε<∑+=+=p n k n k kx u 1成立.对[]b a x ,∈∀,有()ε<∑+=+=p n k n k kx u 1/.根据拉格朗日中值定理,[]b a x Np N n ,,,∈∀∈∀>∀+,有()()∑∑++=++=-pn n k pn n k kkx u x u 11≤()∑+=+=p n k n k k u 1/ξ0x x -<()a b -ε,(ξ介于x 与0x 之间).于是[]b a x N p N n ,,,∈∀∈∀>∀+,()()()()∑∑∑∑++=++=++=++=+-≤pn n k kp n n k p n n k kkpn n k kx u x u x u x u 1111||()()1+-=+-≤a b a b εεε.即()x u n n ∑∞=1在[]b a ,上一致收敛.引理2 若函数项级数()x u n ∑在[]b a ,上收敛,()()N n b x u n n bx ∈=-→lim 则()x u n ∑在[]b a ,一致收敛的必要条件是()x b n n ∑∞=1收敛.证明 由函数项级数的柯西收敛准则有,[]b a x N p N n N N ,,,,,0∈∀∈∀>∀∈∃>∀++ε,有()()()ε<+++++x u x u x u p n n n 21. ()4又()n n bx b x u N n =∈∀-→+lim ,,在(4)的两端取极限,令-→b x 得ε≤+++++p n n n b b b 21,于是由Cauchy 收敛准则知()x b n n ∑∞=1收敛.(①若()n n x b x u b =+∞=+∞→lim ,,则()x u n ∑在[)+∞,a 一致收敛的必要条件是()x b n ∑收敛.②若(){}x u n 在[)b a ,连续,则()x u n ∑在[)b a ,一致收敛()b u n ∑⇒收敛.)定理19 利用内闭一致收敛判别[]7若函数项级数()x u n ∑在[)b a ,内闭一致收敛,则()x u n ∑在[]b a ,一致收敛⇔{}[)b x b a x n n n =⊂∀+∞→lim ,,,级数()n n x u ∑收敛.证明 必要性,充分性用反正法,这里不再赘述.注:仅由闭一致收敛性和引理的必要条件(集函数级数在区间端点收敛或端点的极限级数收敛)是不能得到函数级数在区间一致收敛的.例8 证明∑∞=1sin n n nx在()π2,0内闭一致收敛,且在端点收敛,但在()π2,0不一致收敛. 证明 ∑<<∀nx sin ,0,πεε的部分和函数列(){}x S n 在[]επε-2,一致有界,而⎭⎬⎫⎩⎨⎧n 1在[]επε-2,一致收敛于0,于是由Dirichlet 判别法知, ∑nnx sin 在[]επε-2,一致收敛,从而在()π2,0内闭一致收敛.当0=x 或π2时,级数显然收敛.取()+∈∈=N n nx n ,2,02ππ,则0lim =∞→n n x 但()∑∑∑∞=∞==⋅=1112sin n n n n n nn n x u π发散,故由定理19知, ∑∞=1sin n n nx在()π2,0不一致收敛. 推论7 若()x u n ∑在[)+∞,a 内闭一致收敛,则()x u n ∑在[)+∞,a 一致收敛的充要条件是{}[)+∞=+∞⊂∀∞→n n n x a x lim ,,, ()x u n ∑皆收敛.证明 与定理19类似,略.定理20[]7 设函数级数()x u n ∑在[)b a ,收敛,且满足引理2中必要条件,则()x u n ∑在[)b a ,一致收敛⇔[){}[)00lim ,,,,x x b a x b a x n n n =⊂∀∈∀∞→,()n n n x u ∑∞=1皆收敛.证明 必要性 用反证法.假设[]{}[]00lim ,,,,x x b a x b a x n n n =⊂∃∈∃∞→,而()n n n x u ∑∞=1发散.若a x =0或b x =0,则由定理20知不可;若()b a x ,0∈,则存在{}n x 的子列{}kn x 或00lim ,x x x x k k n k n =≥∞→或00lim ,x x x x k k n k n =≤∞→,于是由定理19知()x u n ∑在()b x ,0或()0,x a 在不一致收敛,从而在[)b a ,不一致收敛,矛盾.必要性获证.充分性 用反证法.设()x u n n ∑∞=1在[)b a ,不一致收敛,则由定理18的证明可得,{}[)b a x n ,⊂且[]b a x x n n ,lim 0∈=∞→而()n n n x u ∑∞=1发散,矛盾.推论8 设()x u n n ∑∞=1在[)+∞,a 收敛,且满足引理的必要条件,则()x u n ∑在[)+∞,a 一致收敛⇔[)+∞∈∀,0a x 或{}[)00lim ,,,x x a x x n n n =+∞⊂∀+∞=∞→,()n n n x u ∑∞=1皆收敛.证明 与定理20的类似,略.推论12[]4 设∑)(x u n 使定义在数集D 上的正项函数项级数,)(x u n ,),2,1( =n 在D 上有界,若D x n ∈∞→,时,1)()(1-+x u x u nn n 一致收敛于)(x q ,设{})(inf x q q =,则当1>q 时,∑)(x un在D 上一致收敛.证明 由1>q ,D x n ∈∞→,时,1)()(1-+x u x u nn n 一致收敛于)(x q ,取10-<<∀q ε,11,N n N ≥∃时,对一切D x ∈,有ε<--+)(1)()(1x q x u x u nn n ,所以1)(1)()(1>->->-+εεq x q x u x u n n n ,取22,,1N n N q s ≥∃-<<ε,有sn n q 111+≥-+ε,取{}21,m ax N N N o =,当O N n >时,对一切D x ∈,有ss sn n nn n n q x u x u )1(111)()(1+=+>-+>+ε,因此)()1()(1x u n x u n n sn s ++≥,所以sS O N S On sn M N x u N x u n O ≤≤)()(,由1>s 时,∑s S O n MN 收敛,由优级数判别法可知∑)(x u n 在D 上一致收敛.推论13 函数列{})(x u n 定义于数集D 上,且)(1x u 在D 上有界,若+∈∃N N 对一切的D x N n ∈∀>,,有1)()(1<≤+q x u x u n n ,则函数项级数∑∞=1)(n n x u 在D 上一致收敛. 证明 不妨设对于+∈∀N n ,有q x u x u n n ≤+)()(1,即q x u x u n n )()(1≤+,则1=n ,q x u x u )()(12≤,假设当1-=k n ,111)()()(--≤≤k k k q x u q x u x u 成立,则当k n =,k k k q x u q x u x u )()()(11≤≤+也成立,故由数学归纳法得11)()(-≤n n q x u x u ,且)(1x u 在D 有界,即0>∃M ,对D x ∈,有M x u ≤)(1所以1)(-≤n n Mq x u ,又已知几何级数∑∞=1n n q 收敛,故级数∑∞=-11n n Mq收敛,由优级数判别法知∑∞=1)(n n x u 在D 上一致收敛.推论14 函数列{})(x u n 定义于数集D 上,且)(1x u 在D 上有界,若D x ∈∀,有1)()(lim1<=+∞→l x u x u n n n ,则函数项级数在D 上一致收敛.证明 因为1)()(lim1<=+∞→l x u x u n n n .即1-=∃q o ε )1(<<q l ,+∈∃N N ,对一切D x N n ∈∀>,,有1)()(1-≤-+q l x u x u n n ,即q x u x u n n ≤+)()(1,由推论10得函数项级数∑∞=1)(n n x u 在数集D 上一致收敛.例11 判断函数项级数∑∞=1!n nn x n n 在[)+∞,1上一致收敛性. 证明 因为11)(1≤=xx u , 且 11111lim !)1()!1(lim )()(lim 111<<=⎪⎭⎫ ⎝⎛+=++=∞→++∞→+∞→e xe x n n n x n x n n x u x u nn n n n n n nn n ,由推论13可知函数项级数∑∞=1!n nn x n n 在[)+∞,1上一致收敛. 定理23[]8 (根式判别法)设∑)(x u n 为定义在数集D 上的函数项级数,记n n n x u x q )()(=,若存在正整数N ,正数q ,使得1)(<≤q x u n n 对一切的N n >,D x ∈成立,则函数项级数∑)(x u n 在D 上一致收敛.证明 由定理条件n n q x u ≤)(对一切N n >,D x ∈成立,而几何级数∑n q 收敛,由优级数判别法知,函数项级数∑)(x u n 在D 上一致收敛.推论15[]8 (根式判别法的极限形式)设)(x u n 为定义在数集D 上的函数列,若n n x u )(一致收敛于)(x q ,且1)(<≤q x q {}1)(sup (<∈x q Dx ,即1)()(lim <≤=∞→q x q x u n n n ,对D x ∈∀成立,则函数项级数∑)(x u n 在D 上一致收敛.证明 由n n x u )(一致收敛于)(x q )(∞→n ,取q -<<10ε,O N ∃,当o N n >时,对一切D x ∈有ε<-)()(x q x u n n ,所以εε+<+<q x q x u n n )()(,所以n n q x u )()(ε+<,又因为1<+εq ,由优级数判别法知∑)(x u n 在D x ∈上一致收敛.推论51' 设()∑x u n 为定义在数集D 上的正项函数项级数,记()n n n x u q =,若()1sup lim <=∈∞→q x q n Dx n ,则函数项级数()∑x u n 在D 上一致收敛.证明 由假设()1sup lim <=∈∞→q x q n Dx n ,则存在正整数N ,使得当N n >时,有()1<≤q x q n ,则对任意的N n >,D x ∈∀有 ()n n q x u ≤,而几何级数∑n q 收敛,由函数项级数一致收敛性优级数判别法知()∑x u n 在D 上一致收敛,即得证.例12 函数项级数∑n xn在()()+∞⋃-∞-,,r r 上一致收敛,(其中r 是实常数且1>r ),因为()xnx u q nnn n ==,设()()+∞⋃-∞-=,,r r D ,()11lim sup lim <==∞→∈∞→r r n x q nn n D x n ,由推论51'得函数项级数∑n xn在()()+∞⋃-∞-,,r r 上一致收敛. 推论16[]8 有函数项级数()∑x u n ,若对D x ∈∀,有()1lim <=∞→l x u n n n ,则函数项级数()∑x u n 在D 上一致收敛.证明 因()1lim <=∞→l x u n n n ,则1-=∃q o ε,1<<q l ,+∈∃N N ,D x ∈∀,有()l q l x u nn -<-,即()1<<q x u n n ,从而()n n q x u <依定理8得函数项级数()∑x u n 在D上一致收敛.例13 判别函数项级数nn x ∑⎪⎭⎫⎝⎛+12在R 上的一致收敛性.证明 因()1012lim lim 12<=+=∞→+∞→n xn nnn x n ,依推论15函数项级数nn x ∑⎪⎭⎫ ⎝⎛+12在R 上一致收敛.定理24[]8 (对数判别法)设()x u n 为定义在D 上的正的函数列,若()()x p nx u n n =-∞→ln ln lim 存在,那么①若D x ∈∀,()1>>p x p 对,则函数项级数()∑x u n 一致收敛;②若对D x ∈∀,()1<<p x p ,则函数项级数()∑x u n 不一致收敛.证明 由定理条件知,对任意0>ε,N ∃,使得对一切N n >,有()()()εε+<-<-x p nx u x p n ln ln , 即()()()εε-+<<x p n x p n x u n 11,则当()1>>p x p 对D x ∈∀成立时,有()pn n x u 1<,而p 级数∑p n 1当1>p 时收敛,由优级数判别法知函数项级数()∑x u n 在D 上一致收;而当()1<<p x p ,对D x ∈∀成立时,有()p n n x u 1>,而p 级数∑p n1当1<p 时发散,从而函数项级数()∑x u n 不一致收敛.定理25 设函数项级数()∑x u n ,()∑x v n 都是定义在数集D 上的正项函数项级数,当D x ∈,∞→n 时,()()x v x u n n 一致收敛于()x q ,设(){}1inf q x q D x =∈,(){}2sup q x q Dx =∈;①当+∞<=21,0q q 时,若()∑x v n 在D 上一致收敛,则()∑x u n 在D 上也一致收敛. ②当+∞=>21,0q q 时,若()∑x u n 在D 上一致收敛,则()∑x v n 在D 上也一致收敛. ③当+∞<>21,0q q 时,()∑x u n 与()∑x v n 在数集D 上同时一致收敛,或同时不一致收敛.证明 由当D x ∈,∞→n 时,()()x v x u n n 一致收敛于()x q ,则任取0>ε,总+∈∃N N ,当N n >时,对一切D x ∈有()()()ε<-x q x v x u n n ,得到()()()()εεεε+<+<<+-≤+-21q x q x v x u x q q n n 即()()()()()x v q x u x v q n n n εε+<<-21.①当+∞<=21,0q q 时,由上式的右半部分可知若()∑x v n 在D 上一致收敛,则()∑x u n在D 上也一致收敛;②当+∞=>21,0q q 时,由上式左半部分可知若()∑x u n 在D 一致收敛,则()∑x v n 在D 上也一致收敛;③当+∞<>21,0q q 时,取1q <ε易知()∑x u n 与()∑x v n 同时一致收敛或同时不一致收敛.Lipschitz (莱布尼茨)型函数项级数一致收敛判别[]5定义4 设有函数项级数()()∑+-x u n n 11,其中()x u n ,(),,2,1 =n 是区间[]b a ,上的连续函数()0≥x u n ,且函数列(){}x u n 在区间[]b a ,上单调减少收敛于0,则称这类级数为Lipschitz 型函数项级数.定理26 若()()∑+-x u n n 11,[]b a x ,∈为L 型函数项级数,则①此级数在[]b a ,上一致收敛;②()()()()()()()()()x u x u x u x u x u n p n p n n n n n pn n k k k 211111231211≤-++-+-=-+++++++++=+∑ .证明 ①因为()x u n 是[]b a ,上的连续函数,函数列(){}x u n 在区间[]b a ,上单调减少且收于连续函数()0=x u .所以()()x u x u k k 1+-在[]b a ,连续非负,而()()()[]()x u x u x u x u n k k k n 1111--=-∑-=+,由Dini 定理知函数项级数()()[]()x u x u x u n k k 111--∑∞=+在区间[]b a ,一致收敛于0,从而函数列(){}x u n 在[]b a ,一致收敛于0.又()⎩⎨⎧=+==+-+-=-∑==k n k n nk k 2,012,111111111,所以()1111≤-∑=+nk k ,故()∑=+-n k k 111一致有界,由Dirichlet 判别法知交错函数项级数()()∑+-x u n n 11在区间[]b a ,上一致收敛.②由①得()()∑+-x u n n 11一致收敛,设()()()x s x u n n =-∑+11,于是()()()()()()()()x s x s x s x s x s x s x u n p n n p n pn n k k k -+-==-++++=+∑111()()()()()()()()()()().211x u x u x u x u x u x r x r x s x s x s x s n n n p n n p n n n p n =+≤+≤+=-+-≤+++++例14 试证()∑+--211x n n 在区间[]b a ,一致收敛.证明 ⎭⎬⎫⎩⎨⎧+21x n 是任意闭区间[]b a ,上的连续函数列且[]b a x ,∈∀,()()x u x u n n ≤≤+10,()0lim =∞→x u n n 由定理26知函数项级数()∑+--211x n n 在[]b a ,上一致收敛.推论17 设函数列(){}x S n 在[]b a ,上收敛于)(x S ,若()x S n 可写成L 型函数项级数的部分和,则函数列(){}x S n 在上一致收敛于)(x S .证明 设有L 型函数项级数()()∑+-x u n n 11一致收敛于()x u ,[]b a x ,∈而()()()x u x S k n k k n ∑=+-=111,则对[]b a x ,∈∀,都有()()()()()x S x S x u x u n n nk k k n ==-=∞→=+∞→∑lim 1lim 11,即()()x S x u =,故函数列(){}x S n 在[]b a ,上一致收敛于)(x S .例15 证明()∑-x nn11在[)+∞,δ上一致收敛. 证明 因为[)+∞∈∀,δx ,()x xn n 1110≤+≤,01lim =∞→xn n .由②[)+∞∈∀,δx ,+∈∀N p 有()()()δn x u x u n pn n k k K2211≤≤-∑++=,由δn 2与x 无关且02lim =∞→δn n 故()()εδ<≤-∑++=n x u pn k n k k211,由Cauchy 准则证毕.定理27[]9 利用结论:设幂级数∑∞=1n n n x a 的收敛半径0>R ,则①当∑∞=1n nn R a (或()∑∞=-1n nn R a )收敛时,∑∞=1n n n x a 在[]R ,0或()0,R -一致收敛;②∑∞=1n nn x a 在(]R R ,-内一致收敛,当且仅当∑∞=1n n n x a 在[]R R ,-上一致收敛.注:1 Cauchy 准则与M 判别法比较实用一般优先考虑;2 Cauchy 准则、M 判别法、放大法要实现对函数项级数一致收型性的判别,均要对一定的表达式进行有效是我放大.三 非一致收敛性的判别 1 利用非一致收敛的定义定义3,略.例16 讨论函数项级数()[]()∑++-111nx x n x在()+∞∈,0x 是否一致收敛.解 ()()[]()()111)11111(11111+-=+-+-=++-=∑∑==nx kx x k kx x k x x s nk nk n当()+∞∈,0x 时,有()()1lim ==∞→x s x s n n .取o ε使210≤<o ε,无论n 多大只要nx 1=',就有()()o n n n s n s x s x s ε≥=⎪⎭⎫ ⎝⎛-⎪⎭⎫ ⎝⎛='-'2111,故()[]()∑++-111nx x n x 在()+∞,0上非一致收敛.2 利用确界原理的逆否命题定理28 若函数项级数()∑x u n 在数集D 上非一致收敛的充要条件是()0sup lim ≠∈∞→x R n Dx n .证明 它是确界原理的逆否命题,故成立.例17 函数项级数()∑x u n 的部分和函数为()xx x S nn --=11,讨论()∑x u n 在()1.1-上是否一致收敛.证明 部分和函数()x x x S n n --=11,当1<x 时,()(),11lim xx S x S n n -==∞→又当∞→n时,()()()()∞→⎪⎭⎫ ⎝⎛+=+-⎪⎭⎫⎝⎛+≥-=----∈11,11,11111supsup n nnx n x n n n n nn n x x x S x S ,故()∑x u n 在()1.1-内非一致收敛.注:极限函数知道时值得用3 利用定理5的逆否命题定理29 设()()x S x u n =∑,若存在{}D x n ⊂使得()0lim ≠∞→n n n x r ,则()∑x u n 在D 上不一致收敛.证明 略.注:此定理比较实用.4 利用Cauchy 准则逆否命题定理30 函数项级数()∑x u n 在区间D 上非一致收敛的充要条件是存在0>o ε,+∈∀N N ,N n o >∃,D x ∈'∃,+∈N p 使得()opn n k kx u ε≥'∑++=1证明 它是Cauchy 准则的逆否命题,故成立. 例18 讨论∑nnxsin 在[]π2,0=D 上的一致收敛性. 解 取21sin 31=o ε,对+∈∀N N ,N n o >∃,1+=o n p ,及()[]π2,0121∈+=o o n x 使()()()()()1212sin121122sin 21121sin 11++++++++++++=-+o o o o o o o o o o n p n n n n n n n n n n x s x s o o ⎪⎪⎭⎫⎝⎛++++++>121211121sin o o o n n n 21sin 31>o ε= 故∑nnxsin 在[]π2,0=D 上非一致收敛. 注:该类型关键是要找出o x 与o n 及p 之间的关系,从而凑出o ε,该类型题也有一种简便方法,即取1=p 能适用于很多例题.此方法比较实用,优先考虑.推论18 函数列(){}x u n 在上非一致收敛于0,则函数项级数()∑x u n 在数集D 上非一致收敛.证明 它是推论1的逆否命题,故成立. 例19 设()()()()12sin 1212cos +⋅++=n n x n n n x u n ,()∞∞-∈,x .讨论函数项级数()∑x u n的一致收敛性.解 取()12+=n n x n ,则()()1sin 12cos lim 0lim +=-∞→∞→n x u n n n n ,此极限不存在,所以(){}x u n 在定义域内非一致收敛于0,则()∑x u n 在()∞∞-∈,x 内非一致收敛.推论19[]9 若函数项级数()∑x u n 在区间D 上逐点收敛,且在区间D 中存在一点列{}n x ,使()0lim ≠∞→n n n x u ,则函数项级数()∑x u n 在区间D 上非一致收敛.例20 讨论∑⎥⎥⎦⎤⎢⎢⎣⎡⎪⎭⎫ ⎝⎛+-nx n x e n 11在()+∞,0上的一致收敛性. 解 因为()0.,,0a x ∃+∞∈∀使a x ≤,有ax nx e n a e nx n x e n 222211≤≤⎥⎥⎦⎤⎢⎢⎣⎡⎪⎭⎫⎝⎛+-,知∑⎥⎥⎦⎤⎢⎢⎣⎡⎪⎭⎫ ⎝⎛+-nx n x e n 11在()+∞,0上非一致收敛. 5 利用求极值的方法定理31 ()()∑∞+==1n k kn x u x R ,若()0sup lim ≠∈∞→x R nDx n ,则()∑x u n 在D 上不一致收敛.例21 证()∑-n n x x 1在[]1,0上处处收敛,但不一致收敛.证明 因为()∑∑∑-=-n n n n x x x x 21,对[)1,0∈x ,∑n x 与∑n x 2都收敛,所以()∑-n n x x 1收敛,1=x 时()01=-∑n n x x 收敛,故()∑-nn x x 1在[]1,0上处处收敛;而()∑---=++x x x x x R n n n 11221,所以[]()22211,01111111sup ⎪⎭⎫⎝⎛--⎪⎭⎫⎝⎛--⎪⎭⎫⎝⎛-≥++∈n n n n x R n n n x ,又+∞=⎪⎭⎫⎝⎛--⎪⎭⎫ ⎝⎛--⎪⎭⎫⎝⎛-++∞→22211111111lim n n n n n n n ,故()∑-n n x x 1在[]1,0非一致收敛. 注:极限函数知道时,可考虑用.6 利用一致收敛函数列的一个性质判别[]10引理2 若连续函数列(){}x f n 在区间D 上一致收敛于()x f ,则D x o ∈∀,{}D x n ⊂∀,o n n x x =∞→lim ,有()()o n n n x f x f =∞→lim证明 由(){}x f n 在D 上一致收于()x f ,即有()()0sup lim =-∈∞→x f x f n Dx n ,D x o ∈∀,{}D x n ⊂∀:o n n x x =∞→lim ,有()()()()x f x f x f x f n Dx n n n -≤-∈sup ,得()()0lim =-∞→x f x f n n n .根据连续函数列(){}x f n 在区间D 上一致收敛于()x f ,则()x f 也必在D 上连续,从而()()o n n n x f x f =∞→lim .定理32 连续函数项级数()∑x u n 在区间D 上逐点收于)(x S ,且D x o ∈∃,{}D x n ⊂∃o n n x x =∞→lim ,有()()o n n n x S x S ≠∞→lim 则函数项级数()∑x u n 在区间D 上非一致收敛于)(x S .例22 讨论∑+221xn x在()+∞∞-,上一致收敛性. 解 显然()∑x u n 在()+∞∞-,上逐点收,且每一项都在()+∞∞-,上连续,取() ,2,11==n n x n ,则0lim =∞→n n x .再设()221xk x x u k +=,由定积分概念 ()()∑∑=∞→=∞→+=nk nk nn nk n k n x u 12111lim lim()∑=∞→+=n k n k n n 12111lim dx x ⎰+=1021110arctgx = 4π=()00=≠s故知∑+221xn x在()+∞∞-,上非一致收敛. 推论20 设连续函数列(){}x S n 在区间D 上逐点收敛,且在D 中存在数列{}n a 和{}n b 满。
数学分析19.2含参量积分之含参量反常积分(含习题及参考答案)
第十九章 含参量积分 2含参量反常积分一、一致收敛性及其判别法概念1:设函数f(x,y)定义在无界区域R={(x,y)|x ∈I, c ≤y<+∞}上,I 为一区间,若对每一个固定的x ∈I, 反常积分⎰+∞c dy y x f ),(都收敛,则它的值是x 在I 上取值的函数, 记φ(x)=⎰+∞c dy y x f ),(, x ∈I, 称⎰+∞c dy y x f ),(为定义在I 上的含参量x 的无穷限反常积分,简称含参量反常积分.定义1: 若含参量反常积分⎰+∞c dy y x f ),(与函数φ(x)对任给ε>0, 总存在某实数N>c, 使当M>N 时, 对一切x ∈I, 都有)(),(x dy y x f Mc Φ-⎰<ε, 即⎰+∞M dy y x f ),(<ε, 则称含参量反常积分在I 上一致收敛于φ(x), 简单地说含参量积分⎰+∞c dy y x f ),(在I 上一致收敛.定理19.7:(一致收敛的柯西准则)含参量反常积分⎰+∞c dy y x f ),(在I 上一致收敛的充要条件是:对任给正数ε, 总存在某一实数M>c, 使得当A 1, A 2>M 时,对一切x ∈I, 都有⎰21),(A A dy y x f <ε.定理19.8:含参量反常积分⎰+∞c dy y x f ),(在I 上一致收敛的充要条件是:+∞→A lim F(A)=0, 其中F(A)=⎰+∞∈AIx dy y x f ),(sup .例1:证明含参量反常积分⎰+∞0sin dy yxy在[δ,+∞)上一致收敛(δ>0),但在(0,+∞)上不一致收敛.解:令u=xy, 则⎰+∞A dy y xysin =⎰+∞Ax du uu sin (A>0). ∵⎰+∞Axdu uusin 收敛,∴∀ε>0, ∃M>0, 使当A ’>M 时,就有⎰∞+'A du u u sin <ε. 取A δ>M, 则当A>δM时,对一切x ≥δ>0,有xA>M, ∴⎰∞+Axdu uusin <ε, 即⎰∞+Ady y xysin <ε, ∴+∞→A lim F(A)=⎰∞++∞∈+∞→A x A dy y xy sin sup lim ),(δ=0, 由定理19.8知 ⎰+∞sin dy yxy在[δ,+∞)上一致收敛. 又 F(A)=⎰∞++∞∈Ax dy yxysin sup ),0(=⎰∞++∞∈Ax x du u u sin sup ),0(≥⎰∞+0sin du u u =2π. ∴⎰+∞0sin dy yxy在(0,+∞)上不一致收敛.注:若对任意[a,b]⊂I, 含参量反常积分在[a,b]上一致收敛,则称在I 上内闭一致收敛.定理19.9:含参量反常积分⎰+∞c dy y x f ),(在I 上一致收敛的充要条件是:对任一趋于+∞的递增数列{A n }(其中A 1=c), 函数项级数∑⎰∞=+11),(n A A n ndy y x f =∑∞=1)(n n x u 在I 上一致收敛.证:[必要性]若⎰+∞c dy y x f ),(在I 上一致收敛, 则∀ε>0, ∃M>c, 使 当A ”>A ’>M 时,对一切x ∈I, 总有⎰'''A A dy y x f ),(<ε.又A n →+∞(n →∞), ∴对正数M, ∃正整数N, 只要当m>n>N 时,就有 A m >A n >M. ∴对一切x ∈I, 就有|u n (x)+…+u m (x)|=⎰⎰+++⋯+11),(),(n nm mA A A Ady y x f dy y x f =⎰+1),(m nA Ady y x f <ε.∴∑∞=1)(n n x u 在I 上一致收敛.[充分性]若∑∞=1)(n n x u 在I 上一致收敛, 而⎰+∞c dy y x f ),(在I 上不一致收敛,则存在某正数ε0, 使对任何实数M>c, 存在相应的A ”>A ’>M 和x ’∈I, 使得⎰''''A A dy y x f ),(≥ε0; 现取M 1=max{1,c}, 则存在A 2>A 1>M 1, 及x 1∈I, 使得⎰21),(1A A dy y x f ≥ε0; 一般地, 取M n =max{n,A 2(n-1)} (n ≥2), 则有A 2n >A 2n-1>M n , 及x n ∈I, 使得⎰-nn A An dy y x f 212),(≥ε0.由上述所得数列{A n }为递增数列, 且∞→n lim A n =+∞, 而对级数∑∞=1)(n nx u=∑⎰∞=+11),(n A A n ndy y x f , 存在正数ε0, 对任何正整数N,只要n>N, 就有某个x n ∈I, 使得|u 2n (x n )|=⎰-nn A An dy y x f 212),(≥ε0,与级数∑∞=1)(n n x u 在I 上一致收敛矛盾. ∴⎰+∞c dy y x f ),(在I 上一致收敛.魏尔斯特拉斯M 判别法:设函数g(y), 使得 |f(x,y)|≤g(y), (x,y)∈I ×[c,+∞). 若⎰+∞c dy y g )(收敛, 则⎰+∞cdy y x f ),(在I 上一致收敛.狄利克雷判别法:设(1)对一切实数N>c, 含参量正常积分⎰Nc dy y x f ),(对参量x 在I 上一致有界, 即存在正数M, 对一切N>c 及一切x ∈I, 都有⎰Nc dy y x f ),(≤M. (2)对每一个x ∈I, 函数g(x,y)关于y 是单调递减且当y →+∞时, 对参量x, g(x,y)一致收敛于0.则含参量反常积分⎰+∞c dy y x g y x f ),(),(在I 上一致收敛.阿贝尔判别法:设(1)⎰+∞c dy y x f ),(在I 上一致收敛.(2)对每一个x ∈I, 函数g(x,y)为y 的单调函数, 且对参量x, g(x,y)在I 上一致有界.则含参量反常积分⎰+∞c dy y x g y x f ),(),(在I 上一致收敛.例2:证明含参量反常积分⎰+∞+021cos dx xxy在(-∞,+∞)上一致收敛. 证:∵对任何实数y, 有21cos x xy +≤211x +, 又反常积分⎰+∞+021xdx收敛. 由魏尔斯特拉斯M 判别法知, 含参量反常积分⎰+∞+021cos dx x xy在(-∞,+∞)上一致收敛.例3:证明含参量反常积分⎰+∞-0sin dx xxe xy 在[0,+∞)上一致收敛. 证:∵反常积分⎰+∞sin dx xx收敛, ∴对于参量y, 在[0,+∞)上一致收敛. 又函数g(x,y)=e -xy 对每个y ∈[0,+∞)单调, 且对任何0≤y<+∞, x ≥0, 都有|g(x,y)|=|e -xy |≤1. 由阿贝尔判别法知, 含参量反常积分⎰+∞-0sin dx xxe xy 在[0,+∞)上一致收敛.例4:证明含参量积分⎰+∞+121sin dy y xyy 在(0,+∞)上内闭一致收敛.证:若[a,b]⊂(0,+∞), 则对任意x ∈[a,b],⎰Naxydy sin =Nax xycos -≤a 2. 又'⎪⎪⎭⎫ ⎝⎛+21y y =()22211yy +-≤0, 即21y y +关于y 单调减, 且当y →+∞时, 21yy+→0(对x 一致), 由狄利克雷判别法知, 含参量积分⎰+∞+121sin dy y xyy 在[a,b]上一致收敛. 由[a,b]的任意性知, ⎰+∞+121sin dy yxyy 在(0,+∞)上内闭一致收敛.二、含参量反常积分的性质定理19.10:(连续性)设f(x,y)在I ×[c,+∞)上连续,若含参量反常积分φ(x)=⎰+∞c dy y x f ),(在I 上一致收敛,则φ(x)在I 上连续. 证:由定理19.9,对任一递增且趋于+∞的数列{A n } (A 1=c), 函数项级数φ(x)=∑⎰∞=+11),(n A An ndy y x f =∑∞=1)(n n x u 在I 上一致收敛.又由f(x,y)在I ×[c,+∞)上连续,∴每个u n (x)都在I 上连续. 由函数项级数的连续性定理知,函数φ(x)在I 上连续.推论:设f(x,y)在I ×[c,+∞)上连续,若φ(x)=⎰+∞c dy y x f ),(在I 上内闭一致收敛,则φ(x)在I 上连续.注:在一致收敛的条件下,极限运算与积分运算可以交换,即:⎰+∞→cx x dy y x f ),(lim0=⎰+∞c dy y x f ),(0=⎰+∞→cx x dy y x f ),(lim 0.定理19.11:(可微性)设f(x,y)与f x (x,y)在区域I ×[c,+∞)上连续,若φ(x)=⎰+∞c dy y x f ),(在I 上收敛,⎰+∞c x dy y x f ),(在I 上一致收敛,则φ(x)在I 上可微,且φ’(x) =⎰+∞c x dy y x f ),(.证:对任一递增且趋于+∞的数列{A n } (A 1=c),令u n (x)=⎰+1),(n nA A dy y x f .由定理19.3推得u n ’(x)=⎰+1),(n nA A x dy y x f .由⎰+∞c x dy y x f ),(在I 上一致收敛及定理19.9,可得函数项级数∑∞='1)(n n x u =∑⎰∞=+11),(n A A x n ndy y x f 在I 上一致收敛.根据函数项级数的逐项求导定理,即得:φ’(x) =∑∞='1)(n nx u =∑⎰∞=+11),(n A Ax n ndy y x f =⎰+∞cx dy y x f ),(.或写作⎰+∞c dy y x f dxd ),(=⎰+∞c x dy y x f ),(.推论:设f(x,y)与f x (x,y)在区域I ×[c,+∞)上连续,若φ(x)=⎰+∞c dy y x f ),(在I 上收敛,⎰+∞c x dy y x f ),(在I 上内闭一致收敛,则φ(x)在I 上可微,且φ’(x) =⎰+∞c x dy y x f ),(.定理19.12:(可积性)设f(x,y)在[a,b]×[c,+∞)上连续,若φ(x)=⎰+∞c dy y x f ),(在[a,b]上一致收敛,则φ(x)在[a,b]上可积,且⎰⎰+∞cbady y x f dx ),( =⎰⎰+∞bacdx y x f dy ),(.证:由定理19.10知φ(x)在[a,b]上连续,从而在[a,b]上可积. 又函数项级数φ(x)=∑⎰∞=+11),(n A An ndy y x f =∑∞=1)(n n x u 在I 上一致收敛,且各项u n (x)在[a,b]上连续,根据函数项级数逐项求积定理,有⎰Φbadx x )(=∑⎰∞=1)(n ban dx x u =∑⎰⎰∞=+11),(n baA A n ndy y x f dx =∑⎰⎰∞=+1),(1n baA A dx y x f dy n n,即⎰⎰+∞cbady y x f dx ),( =⎰⎰+∞bacdx y x f dy ),(.定理19.13:设f(x,y)在[a,+∞)×[c,+∞)上连续,若(1)⎰+∞a dx y x f ),(关于y 在[c,+∞)上内闭一致收敛,⎰+∞c dy y x f ),(关于x 在[a,+∞)上内闭一致收敛;(2)积分⎰⎰+∞+∞c a dy y x f dx |),(|与⎰⎰+∞+∞a c dx y x f dy |),(|中有一个收敛. 则⎰⎰+∞+∞cady y x f dx ),(=⎰⎰+∞+∞acdx y x f dy ),(.证:不妨设⎰⎰+∞+∞c a dy y x f dx |),(|收敛,则⎰⎰+∞+∞c a dy y x f dx ),(收敛. 当d>c 时,记Jd =|⎰⎰+∞a dc dx y x f dy ),(-⎰⎰+∞+∞c a dy y x f dx ),(| =|⎰⎰+∞a dc dx y x f dy ),(-⎰⎰+∞dc a dy y x f dx ),(-⎰⎰+∞+∞d a dy y x f dx ),(|. 由条件(1)及定理19.12可推得:J d =|⎰⎰+∞+∞d a dy y x f dx ),(|≤|⎰⎰+∞d Aa dy y x f dx ),(|+⎰⎰+∞+∞d A dy y x f dx |),(|. 由条件(2),∀ε>0, ∃G>a ,使当A>G 时,有⎰⎰+∞+∞d A dy y x f dx |),(|<2ε. 选定A 后,由⎰+∞c dy y x f ),(的一致收敛性知,∃M>a ,使得当d>M 时, 有|⎰+∞d dy y x f ),(|<)(2a A -ε. ∴J d <2ε+2ε=ε,即有+∞→d lim J d =0,∴⎰⎰+∞+∞c a dy y x f dx ),(=⎰⎰+∞+∞a c dx y x f dy ),(.例5:计算:J=⎰+∞--0sin sin dx xaxbx e px (p>0,b>a). 解:∵xax bx sin sin -=⎰ba xydy cos ,∴J=⎰⎰+∞-0cos b a pxxydy dx e =⎰⎰+∞-0cos ba px xydy e dx .由|e -px cosxy|≤e -px 及反常积分⎰+∞-0dx e px 收敛, 根据魏尔斯特拉斯M 判别法知,含参量反常积分⎰+∞-0cos xydx e px 在[a,b]上一致收敛.又e -px cosxy[0,+∞)×[a,b]上连续,根据定理19.12交换积分顺序得: J=⎰⎰+∞-0cos xydx e dy px ba =⎰+bady y p p22=arctan p b - arctan p a .例6:计算:⎰+∞sin dx xax. 解:利用例5的结果,令b=0,则有F(p)=⎰+∞-0sin dx xaxe px=arctan p a (p>0).由阿贝尔判别法可知含参量反常积分F(p)在p ≥0上一致收敛, 又由定理19.10知,F(p)在p ≥0上连续,且F(0)=⎰+∞sin dx xax . 又F(0)=)(lim 0p F p +→=+→0lim p arctan p a =2πagn a. ∴⎰+∞0sin dx xax =2πagn a.例7:计算:φ(r)=⎰+∞-0.cos 2rxdx e x .解:∵|2x e -cosrx|≤2x e -对任一实数r 成立且反常积分⎰+∞-02dx e x 收敛, ∴含参量反常积分φ(r)=⎰+∞-0cos 2rxdx e x 在(-∞,+∞)上收敛. 考察含参量反常积分⎰+∞-'0)cos (2dx rx er x =⎰+∞--0sin 2rxdx xe x ,∵|-x 2x e -sinrx|≤x 2x e -对一切x ≥0, r ∈(-∞,+∞)成立且⎰+∞-02dx e x 收敛, 根据魏尔斯特拉斯M 判别法知, 含参量反常积分⎰+∞-'0)cos (2dx rx er x 在(-∞,+∞)上一致收敛.由定理19.11得φ’(r)=⎰+∞--0sin 2rxdx xex =⎰-+∞→-Ax A rxdxxesin lim2=⎪⎭⎫⎝⎛-⎰--+∞→A x Ax A rxdx e r rx e 00cos 2sin 21lim 22=⎰--A x rxdx e r 0cos 22=2r -φ(r). ∴φ(r)=c 42r e -. 又φ(0)=⎰+∞-02dx e x =2π=c. ∴φ(r)=422πr e-.概念2:设f(x,y)在区域R=[a,b]×[c,d)上有定义,若对x 的某些值,y=d 为函数f(x,y)的瑕点,则称⎰dc dy y x f ),(为含参量x 的无界函数反常积分,或简称为含参量反常积分. 若对每一个x ∈[a,b],⎰dc dy y x f ),(都收敛,则其积分值是x 在[a,b]上取值的函数.定义2:对任给正数ε, 总存在某正数δ<d-c, 使得当0<η<δ时, 对一切x ∈[a,b], 都有⎰-dd dy y x f η),(<ε, 则称含参量反常积分⎰dc dy y x f ),(在[a,b]上一致收敛.习题1、证明下列各题 (1)⎰∞++-122222)(dx y x x y 在(-∞,+∞)上一致收敛;(2)⎰+∞-02dy eyx 在[a,b] (a>0)上一致收敛;(3)⎰+∞-0sin dt tate t在0<a<+∞上一致收敛; (4)⎰+∞-0dy xe xy (i)在[a,b] (a>0)上一致收敛,(ii)在[0,b]上不一致收敛; (5)⎰10)ln(dy xy 在[b1,b](b>1)上一致收敛;(6)⎰1px dx(i)在(-∞,b] (b<1)上一致收敛,(ii)在(-∞,1]内不一致收敛; (7)⎰---1011)1(dx x x q p 在0<p 0≤p<+∞, 0<q 0≤q<+∞上一致收敛.证:(1)∵22222)(y x x y +-≤22222)(y x x y ++≤21x ,且⎰+∞12x dx 收敛,∴⎰∞++-122222)(dx y x x y 在(-∞,+∞)上一致收敛. (2)∵当0<a ≤x ≤b 时,yx e2-=yx e21≤ya e21,且⎰+∞12ya edy 收敛,∴⎰+∞-02dy e y x 在[a,b] (a>0)上一致收敛.(3)对任何N>0,∵⎰-Nt atdt e 0sin ≤⎰-Nt dt e 0≤1,即⎰-Nt atdt e 0sin 一致有界. 又t1关于在(0,+∞)单调,且t1→0 (t →∞),由狄利克雷判别法知,⎰+∞-0sin dt tate t在0<a<+∞上一致收敛. (4)(i)∵当0<a ≤x ≤b 时,|xe -xy|≤be -ay,且⎰+∞0ay -be 收敛, ∴⎰+∞-0dy xe xy 在[a,b] (a>0)上一致收敛. (ii)方法一:取ε0=21e<0, 则对任何M>0, 令A 1=M, A 2=2M, x 0=M 1, 有 ⎰-2100A A y x dy e x =MM yx e 20-=21e e ->21e=ε0,∴⎰+∞-0dy xe xy 在 [0,b]上不一致收敛. 方法二:∵⎰+∞-0dy xe xy =⎩⎨⎧≤<=bx x 0,10,0,且xe -xy 在[0,b]×(0,+∞)内连续,由连续性定理知⎰+∞-0dy xe xy 在 [0,b]上不一致收敛.(5)∵在[b1,b]×(0,1] (b>1)内, |ln(xy)|=|lnx+lny|≤|lnx|+|lny|≤lnb-lny, 且⎰-10)ln (ln dy y b 收敛, ∴⎰10)ln(dy xy 在[b1,b](b>1)上一致收敛.(6)(i)∵当p ≤b<1, x ∈(0,1]时,p x 1≤b x 1,又⎰10b xdx 收敛,∴⎰1px dx在(-∞,b] (b<1)上一致收敛.(ii)当p=1时,⎰1xdx发散,∴对任何A<1,在[A,1]内不一致收敛,即 ⎰1p xdx在(-∞,1]内不一致收敛. (7)记⎰---1011)1(dx x xq p =⎰---21011)1(dx x xq p +⎰---12111)1(dx x x q p =I 1+I 2.对I 1在0≤x ≤21, 0<p 0≤p<+∞, 0<q 0≤q<+∞上, ∵|x p-1(1-x)q-1|≤1100)1(---q p x x且⎰---210110)1(dx x x q p 收敛,∴I 1在0<p 0≤p<+∞, 0<q 0≤q<+∞上一致收敛; 同理可证I 2在0<p 0≤p<+∞, 0<q 0≤q<+∞上一致收敛. ∴⎰---1011)1(dx x x q p 在0<p 0≤p<+∞, 0<q 0≤q<+∞上一致收敛.2、从等式⎰-ba xydy e =x e e by ay ---出发,计算积分⎰∞+---0dx xe e byay (b>a>0). 解:∵⎰-ba xy dy e=x e e by ay ---,∴⎰∞+---0dx xe e byay=⎰⎰-+∞b a xy dy e dx 0. 又 e -xy 在[0,+∞)×[a,b]内连续,由M 判别法知, ⎰+∞-0dx e xy 在[a,b]内一致收敛.∴⎰∞+---0dx x e e by ay =⎰⎰+∞-0dx e dy xyb a =⎰b a dy y 1=ln ab .3、证明函数F(y)=⎰+∞--0)(2dx e y x 在(-∞,+∞)上连续. (提示:利用⎰+∞-02dx e x =2π) 证:令x-y=u, 则F(y)=⎰+∞-yu du e2=⎰-02yu du e+⎰+∞-02du eu =⎰-02yu du e +2π. ∵关于y 的积分下限函数⎰-02y u du e 在(-∞,+∞)上连续, ∴F(y)=⎰+∞--0)(2dx e y x 在(-∞,+∞)上连续.4、求下列积分: (1)⎰∞+---022222dx x e e xb xa(提示:利用⎰+∞-02dx ex =2π); (2)⎰+∞-0sin dt t xt e t;(3)⎰+∞--02cos 1dx x xye x . 解:(1)∵22222x e e xbxa---=⎰-ba x y dy ye 222,∴⎰∞+---022222dx x e e xb xa=⎰⎰+∞-0222bax y dy ye dx ,由M 判别法知⎰+∞-0222dx ye x y 在[a,b]内一致收敛,∴⎰∞+---022222dx x e e xb xa=⎰⎰+∞-0222dx yedy x y ba=⎰⎰+∞-0)(222xy d edy x y ba =⎰bady π=(b-a)π.(2)利用例5结果:⎰+∞--0sin sin dt tatbt e pt=arctan p b - arctan p a . (p>0,b>a).当p=1, a=0, b=x 时,有⎰+∞-0sin dt txte t=arctanx. (3)∵2cos 1x xy e x --=⎰-y x dt x xt e 0sin ,∴⎰⎰-+∞yx dt x xt e dx 00sin . 由x xt e x x sin lim 0-→=t 知, x=0不是xxte x sin -的瑕点,又 含参量非正常积分⎰+∞-0sin dx xxte x 在t ∈[0,M]上一致收敛, ∴由(2)有2cos 1x xy e x--=⎰⎰+∞-00sin dx xxt e dt x y =⎰y tdt 0arctan =yarctany-21ln(1+y 2).5、回答下列问题: (1)对极限⎰+∞-→+0022limdy xyexy x 能否运用极限与积分运算顺序的交换求解?(2)对⎰⎰+∞--132)22(dx e xy y dy xy 能否运用积分顺序交换来求解?(3)对F(x)=⎰+∞-032dy e x y x 能否运用积分与求导运算顺序交换来求解? 解:(1)∵F(x)=⎰+∞-022dy xye xy =⎩⎨⎧=>0,00,1x x , ∴F(x)lim 0+→x =1,但⎰+∞-→+022lim dy xye xy x =0,即交换运算后不相等,∴对极限⎰+∞-→+0022limdy xyexy x 不能运用极限与积分运算顺序的交换求解.注:⎰+∞-022dy xye xy =⎰+∞-0du xe xu 在[0,b]上不一致收敛,并不符合连续性定理的条件.(2)∵⎰⎰+∞--10032)22(dx exy y dy xy =⎰∞+-122dy xyexy =⎰10dy =0;⎰⎰-+∞-1032)22(dy exy y dx xy =⎰+∞-0122dx ey xy =⎰-1dx e x =1;∴对⎰⎰+∞--10032)22(dx e xy y dy xy 不能运用积分顺序交换来求解.注:⎰+∞--032)22(dx e xy y xy =0且⎰+∞--M xy dx e xy y 2)22(3=-2My 2My e -. 对ε0=1,不论M 多大,总有y 0=M1∈[0,1],使得⎰+∞--M xy dx e xy y 2)22(3=2M e 1->1,∴⎰+∞--032)22(dx e xy y xy 在[0,1]不一致收敛,不符合可积性定理的条件. (3)∵F(x)=⎰+∞-032dy e x y x =x, x ∈(-∞,+∞),∴F ’(x)≡1. 但y x e x x23-∂∂=(3x 2-2x 4y)y x e 2-, 而当x=0时,⎰+∞--0422)23(dy e y x x y x =0. ∴对F(x)=⎰+∞-032dy e x y x 不能运用积分与求导运算顺序交换来求解. 注:∵⎰+∞--0422)23(dy ey x x yx =⎩⎨⎧=≠0,00,1x x ,∴⎰+∞--0422)23(dy ey x x yx 在[0,1]上不一致收敛,不符合可微性定理的条件.6、应用:⎰+∞-02dx e ax =212π-a (a>0),证明: (1)⎰+∞-022dt e t at=234π-a ;(2)⎰+∞-022dt e t at n =⎪⎭⎫⎝⎛+--212!)!12(2πn n a n .证:(1)方法一:∵⎰+∞-022dt e t at 在任何[c,d]上(c>0)一致收敛, ∴⎰+∞-02dt e da d at =⎰+∞-02dt e dad at =-⎰+∞-022dte t at . 又⎰+∞-02dt e da d at =⎪⎪⎭⎫ ⎝⎛-212πa da d =-234π-a . ∴⎰+∞-02dx e ax =234π-a . 方法二:⎰+∞-022dt et at =-⎰+∞-0221at tdea =-⎪⎭⎫ ⎝⎛-⎰+∞-∞+-02221dt ete a at at=⎰+∞-0221dt e aat =234π-a .(2)方法一:∵⎰+∞-022dt e t at n 在任何[c,d]上(c>0)一致收敛,∴⎰∞+-02dt eda d at nn=⎰∞+-02dt e da d at nn =(-1)n ⎰+∞-022dt e t at n . 又⎰∞+-02dt e dad atnn =⎪⎪⎭⎫ ⎝⎛-212πa dad nn=(-1)n ⎪⎭⎫⎝⎛+--212!)!12(2πn n a n . ∴⎰+∞-022dt e t atn =⎪⎭⎫⎝⎛+--212!)!12(2πn nan . 方法二:记I n =⎰+∞-022dt e t at n , n=0,1,2,…,(1)中已证I 1=⎪⎭⎫⎝⎛+--⨯2112)112(2πa=a 2)112(-⨯I 0. 可设I k =a k 2)12(-⨯I k-1,则 I k+1=⎰+∞-+0)1(22dt e t at k =-⎰+∞-+012221at k de t a =-⎪⎭⎫ ⎝⎛-⎰+∞+-∞+-+0120122221k at at k dt e e t a=⎰+∞-+022212dt e t a k at k =ak 21)1(2-+I k=2)2()12](1)1(2[a k k --+I k-1=…= 1)2(!]!1)1(2[+-+k a k I 0=211)2(!]!1)1(2[2π-+-+a a k k .当n=k+1时,有I n =⎰+∞-022dt e t at n =21)2(!)!12(2π--a a k n =⎪⎭⎫⎝⎛+--212!)!12(2πn na n . 7、应用⎰+∞+022a x dx =a2π,求()⎰+∞++0122n a x dx.解:记A=a 2, ∵()⎰+∞++012n Axdx在任何[c,d]上(c>0)一致收敛,∴⎰∞++02A x dx dA d nn =⎰∞+⎪⎭⎫ ⎝⎛+021dx A x dA d n n=(-1)nn!()⎰+∞++012n A x dx . 又⎰∞++02A x dx dAd nn =⎪⎭⎫ ⎝⎛A dA d n n 2π=(-1)n 212!)!12(2π---n n A n . ∴()⎰+∞++012n Axdx=212!!)!12(2π---n n A n n =12!)!2(!)!12(2π---n a n n .8、设f(x,y)为[a,b]×[c,+∞)上连续非负函数,I(x)=dy y x f ⎰+∞0),(在[a,b]上连续,证明:I(x)在[a,b]上一致收敛.证:任取一个趋于的∞递增数列{A n } (其中A 1=c),考察级数∑⎰∞=+11),(n A A n ndy y x f =∑∞=1)(n n x u .∵f(x,y)在[a,b]×[c,+∞)上非负连续, ∴u n (x)在[a,b]上非负连续. 由狄尼定理知,∑∞=1)(n n x u 在[a,b]上一致收敛,从而∑⎰∞=+11),(n A A n ndy y x f 在[a,b]上一致收敛. 又I(x)=dy y x f ⎰+∞),(在[a,b]上连续.∴I(x)=dy y x f ⎰+∞0),(=∑⎰∞=∞→+11),(lim n A An n ndy y x f [a,b]上一致收敛.9、设在[a,+∞)×[c,d]内成立不等式|f(x,y)|≤F(x,y). 若dx y x F ⎰+∞0),(在y ∈[c,d] 上一致收敛,证明:dx y x f ⎰+∞),(在y ∈[c,d] 上一致收敛且绝对收敛.证:∵dx y x F ⎰+∞0),(在y ∈[c,d] 上一致收敛,∴∀ε>0, ∃M>0,对任何A2>A1>M和一切y∈[c,d],都有⎰21) , (A AdxyxF<ε.∵|f(x,y)|≤F(x,y),∴⎰21) , (A Adxyxf≤⎰21),(AAdxyxf≤⎰21),(AAdxyxF<ε,∴dxyxf⎰+∞0),(在y∈[c,d] 上一致收敛且绝对收敛.。
函数项级数一致收敛性判别及应用
函数项级数一致收敛性判别及应用一、前言函数项级数是数学中重要的研究对象之一,其研究内容包含了级数的一切,而函数的性质使得函数项级数的研究更加复杂。
本文主要讨论函数项级数的一致收敛性判别及其应用。
二、一致收敛性定义及判别定义:对于一列函数 $f(x)$ 的级数:$f_1(x)+f_2(x)+...+f_n(x)+...$,如果当$n→∞$ 的时候,级数 $f_1(x)+f_2(x)+...+f_n(x)+...$ 的部分和 $S_n(x)$ 对于 x ∈D 讨论存在极限,即 $\lim_{n→∞} S_n(x)=S(x)$,则称函数项级数:$\displaystyle\sum_{n=1}^{\infty}f_n(x)$ 在域 D 上一致收敛于 S(x)。
S(x)称为函数项级数 $\displaystyle\sum_{n=1}^{\infty}f_n(x)$ 的和函数。
函数项级数的Cauchy准则:函数项级数 $\displaystyle\sum_{n=1}^{\infty}f_n(x)$ 在区间 I 上一致收敛的充分必要条件为:对于任意的 $\epsilon>0$,存在正整数 N 和任意的 n,m>N,使得当$x∈I$ 时,$|f_n(x)+...+f_m(x)|≤\epsilon$.总结:定义、定理和准则都给我们对函数项级数一致收敛性的一个综合的认识,通过这些理论知识,我们下面可以看到函数项级数在实际应用中的一些具体应用。
三、函数项级数的应用函数项级数在数学和物理学等方面有广泛的应用,例如傅里叶级数、泰勒级数、泊松方程和热传导方程等。
下面我们主要介绍函数项级数在傅里叶级数中的应用。
傅里叶级数是标准基函数与一般函数之间的线性组合,可以看作是将一个周期为T的函数展开为不同频率的正弦函数和余弦函数的和。
傅里叶级数的求解过程主要分为两步:第一步确定基函数,第二步利用基函数求解待定系数。
假设一个周期函数$f(x)$可以表示为完备正弦函数和余弦函数的和,表示为:$$f(x)=\frac{a_0}{2}+\sum_{n=1}^{\infty}[a_n\cos(\frac{n\pix}{l})+b_n\sin(\frac{n\pi x}{l})]$$其中 $a_0$,$a_n$ 和 $b_n$ 分别为待定系数,$l$为周期。
函数列和函数项级数一致收敛的判别方法
函数列和函数项级数一致收敛的判别方法1. Cauchy准则:对于函数列{f_n(x)},如果对于任意给定的ε>0,存在一个正整数N,当m,n>N时,对于任意的x,有,f_m(x)-f_n(x),<ε,那么函数列{f_n(x)}一致收敛。
类似地,对于函数项级数∑{f_n(x)},如果对于任意给定的ε>0,存在一个正整数N,当m>n>N时,对于任意的x,有,∑{f_n(x)}-∑{f_m(x)},<ε,那么函数项级数是一致收敛的。
2. Abel定理:对于函数项级数∑{f_n(x)g_n(x)},如果存在一个正整数N,对于任意的x,当m>n>N时,有,∑{f_n(x)g_n(x)},<M,且∑{f_n(x)}一致收敛于函数f(x),那么函数项级数∑{f_n(x)g_n(x)}也是一致收敛的。
3. Weierstrass判别法:对于函数列{f_n(x)}或函数项级数∑{f_n(x)},如果存在一个正数M_n,使得,f_n(x),≤M_n对于任意的n和x成立,并且∑{M_n}在给定的区间上收敛,那么函数列{f_n(x)}或函数项级数∑{f_n(x)}一致收敛。
4. Dini定理:对于函数列{f_n(x)}或函数项级数∑{f_n(x)},如果存在一个连续函数f(x)和{f_n(x)}一致收敛于f(x),并且{f_n(x)}的极限函数或函数项级数∑{f_n(x)}的和函数f(x)在给定区间上都是单调的,那么函数列{f_n(x)}或函数项级数∑{f_n(x)}是一致收敛的。
5. Dirichlet判别法:对于函数项级数∑{f_n(x)g_n(x)},如果存在一个正整数N,使得对于任意的x,当m>n>N时,函数列{f_n(x)}递减趋向于0,且对于任意的x和n,∑{g_k(x)},≤M成立(M为常数),那么函数项级数∑{f_n(x)g_n(x)}是一致收敛的。
(整理)一致收敛性判别及应用.
(整理)⼀致收敛性判别及应⽤.⼀致收敛性判别及应⽤摘要:函数是⾼等数学中重要的内容之⼀,但是函数项级数与函数列的⼀致收敛性问题往往是初学者学习函数的最⼤障碍,本⽂对函数项级数、函数列的⼀致收敛性的常⽤判别⽅法进⾏简单分析并阐述其应⽤。
关键词:函数项级数函数列⼀致收敛判别法及应⽤设(){}n x ?为定义在区间Z 上的函数序列,假如那么就存在x 1,x 2∈Z ,当|x 1-x 2|<,对于⼀切n 有|()()12n -n X X ??|<,则称之为函数序列(){}n x ?在区间Z 上等度连续。
假设函数列{}n ?与函数?定义在区间Z 上,假如对于任意给的正数|()()n x -x ??|<以上情况则称之为{}n ?在区间Z 上⼀致收敛于?。
⼀、函数列及其⼀致收敛性假设1?,2?,,n ?,是⼀列定义在同⼀数集Z 上的函数,那么则称为定义在Z 上的函数列,可以表达为:{}n ?或n ?,n=1,2,。
(1)以x 0∈Z 带⼊以上数列,可以得出以下数列:(2)假如数列(2)收敛,那么则称为数列(1)在点0X 收敛,x 0则是函数列(1)的收敛点,当函数列(1)在数集D Z 上每⼀个收敛点都出现收敛时,则称(1)在数集D 上收敛,这时候D 上⾯的每⼀个点x 都有相应的数列(){}n x ?的⼀个极限值与之相对应,根据这个对应法则所确定的D 上的函数,则称为函数列(1)的极限函数假如将此极限函数记作为?,那么则有:或者是:(),x ∈D例 1 设,n=1,2,,为定义在(-,。
证明:设>0,当>0时,由于有:||=|n x |,只要N (=,当n >(||=|x n |<|x|N =.当x=0,x=1,对于任何正整数n ,都存在||=0<,||=0<.以上结果证明了{}n ?在(]-1,1上收敛。
例2 定义在()-∞∞,上的函数列,n=1,2,。
由于对于任何的实数x ,都存在sin nx n ≤1n,因此,对于任意>0,只要符合n >N=,就存在sin nx-0n<所以,函数列{}sin nx/n 的收敛域为()-∞∞,。
数学分析19.2含参量积分之含参量反常积分(含习题及参考答案)
第十九章 含参量积分 2含参量反常积分一、一致收敛性及其判别法概念1:设函数f(x,y)定义在无界区域R={(x,y)|x ∈I, c ≤y<+∞}上,I 为一区间,若对每一个固定的x ∈I, 反常积分⎰+∞c dy y x f ),(都收敛,则它的值是x 在I 上取值的函数, 记φ(x)=⎰+∞c dy y x f ),(, x ∈I, 称⎰+∞c dy y x f ),(为定义在I 上的含参量x 的无穷限反常积分,简称含参量反常积分.定义1: 若含参量反常积分⎰+∞c dy y x f ),(与函数φ(x)对任给ε>0, 总存在某实数N>c, 使当M>N 时, 对一切x ∈I, 都有)(),(x dy y x f Mc Φ-⎰<ε, 即⎰+∞M dy y x f ),(<ε, 则称含参量反常积分在I 上一致收敛于φ(x), 简单地说含参量积分⎰+∞c dy y x f ),(在I 上一致收敛.定理19.7:(一致收敛的柯西准则)含参量反常积分⎰+∞c dy y x f ),(在I 上一致收敛的充要条件是:对任给正数ε, 总存在某一实数M>c, 使得当A 1, A 2>M 时,对一切x ∈I, 都有⎰21),(A A dy y x f <ε.定理19.8:含参量反常积分⎰+∞c dy y x f ),(在I 上一致收敛的充要条件是:+∞→A lim F(A)=0, 其中F(A)=⎰+∞∈AIx dy y x f ),(sup .例1:证明含参量反常积分⎰+∞0sin dy yxy在[δ,+∞)上一致收敛(δ>0),但在(0,+∞)上不一致收敛.解:令u=xy, 则⎰+∞A dy y xysin =⎰+∞Ax du uu sin (A>0). ∵⎰+∞Axdu uusin 收敛,∴∀ε>0, ∃M>0, 使当A ’>M 时,就有⎰∞+'A du u u sin <ε. 取A δ>M, 则当A>δM时,对一切x ≥δ>0,有xA>M, ∴⎰∞+Axdu uusin <ε, 即⎰∞+Ady y xysin <ε, ∴+∞→A lim F(A)=⎰∞++∞∈+∞→A x A dy y xy sin sup lim ),(δ=0, 由定理19.8知 ⎰+∞sin dy yxy在[δ,+∞)上一致收敛. 又 F(A)=⎰∞++∞∈Ax dy yxysin sup ),0(=⎰∞++∞∈Ax x du u u sin sup ),0(≥⎰∞+0sin du u u =2π. ∴⎰+∞0sin dy yxy在(0,+∞)上不一致收敛.注:若对任意[a,b]⊂I, 含参量反常积分在[a,b]上一致收敛,则称在I 上内闭一致收敛.定理19.9:含参量反常积分⎰+∞c dy y x f ),(在I 上一致收敛的充要条件是:对任一趋于+∞的递增数列{A n }(其中A 1=c), 函数项级数∑⎰∞=+11),(n A A n ndy y x f =∑∞=1)(n n x u 在I 上一致收敛.证:[必要性]若⎰+∞c dy y x f ),(在I 上一致收敛, 则∀ε>0, ∃M>c, 使 当A ”>A ’>M 时,对一切x ∈I, 总有⎰'''A A dy y x f ),(<ε.又A n →+∞(n →∞), ∴对正数M, ∃正整数N, 只要当m>n>N 时,就有 A m >A n >M. ∴对一切x ∈I, 就有|u n (x)+…+u m (x)|=⎰⎰+++⋯+11),(),(n nm mA A A Ady y x f dy y x f =⎰+1),(m nA Ady y x f <ε.∴∑∞=1)(n n x u 在I 上一致收敛.[充分性]若∑∞=1)(n n x u 在I 上一致收敛, 而⎰+∞c dy y x f ),(在I 上不一致收敛,则存在某正数ε0, 使对任何实数M>c, 存在相应的A ”>A ’>M 和x ’∈I, 使得⎰''''A A dy y x f ),(≥ε0; 现取M 1=max{1,c}, 则存在A 2>A 1>M 1, 及x 1∈I, 使得⎰21),(1A A dy y x f ≥ε0; 一般地, 取M n =max{n,A 2(n-1)} (n ≥2), 则有A 2n >A 2n-1>M n , 及x n ∈I, 使得⎰-nn A An dy y x f 212),(≥ε0.由上述所得数列{A n }为递增数列, 且∞→n lim A n =+∞, 而对级数∑∞=1)(n nx u=∑⎰∞=+11),(n A A n ndy y x f , 存在正数ε0, 对任何正整数N,只要n>N, 就有某个x n ∈I, 使得|u 2n (x n )|=⎰-nn A An dy y x f 212),(≥ε0,与级数∑∞=1)(n n x u 在I 上一致收敛矛盾. ∴⎰+∞c dy y x f ),(在I 上一致收敛.魏尔斯特拉斯M 判别法:设函数g(y), 使得 |f(x,y)|≤g(y), (x,y)∈I ×[c,+∞). 若⎰+∞c dy y g )(收敛, 则⎰+∞cdy y x f ),(在I 上一致收敛.狄利克雷判别法:设(1)对一切实数N>c, 含参量正常积分⎰Nc dy y x f ),(对参量x 在I 上一致有界, 即存在正数M, 对一切N>c 及一切x ∈I, 都有⎰Nc dy y x f ),(≤M. (2)对每一个x ∈I, 函数g(x,y)关于y 是单调递减且当y →+∞时, 对参量x, g(x,y)一致收敛于0.则含参量反常积分⎰+∞c dy y x g y x f ),(),(在I 上一致收敛.阿贝尔判别法:设(1)⎰+∞c dy y x f ),(在I 上一致收敛.(2)对每一个x ∈I, 函数g(x,y)为y 的单调函数, 且对参量x, g(x,y)在I 上一致有界.则含参量反常积分⎰+∞c dy y x g y x f ),(),(在I 上一致收敛.例2:证明含参量反常积分⎰+∞+021cos dx xxy在(-∞,+∞)上一致收敛. 证:∵对任何实数y, 有21cos x xy +≤211x +, 又反常积分⎰+∞+021xdx收敛. 由魏尔斯特拉斯M 判别法知, 含参量反常积分⎰+∞+021cos dx x xy在(-∞,+∞)上一致收敛.例3:证明含参量反常积分⎰+∞-0sin dx xxe xy 在[0,+∞)上一致收敛. 证:∵反常积分⎰+∞sin dx xx收敛, ∴对于参量y, 在[0,+∞)上一致收敛. 又函数g(x,y)=e -xy 对每个y ∈[0,+∞)单调, 且对任何0≤y<+∞, x ≥0, 都有|g(x,y)|=|e -xy |≤1. 由阿贝尔判别法知, 含参量反常积分⎰+∞-0sin dx xxe xy 在[0,+∞)上一致收敛.例4:证明含参量积分⎰+∞+121sin dy y xyy 在(0,+∞)上内闭一致收敛.证:若[a,b]⊂(0,+∞), 则对任意x ∈[a,b],⎰Naxydy sin =Nax xycos -≤a 2. 又'⎪⎪⎭⎫ ⎝⎛+21y y =()22211yy +-≤0, 即21y y +关于y 单调减, 且当y →+∞时, 21yy+→0(对x 一致), 由狄利克雷判别法知, 含参量积分⎰+∞+121sin dy y xyy 在[a,b]上一致收敛. 由[a,b]的任意性知, ⎰+∞+121sin dy yxyy 在(0,+∞)上内闭一致收敛.二、含参量反常积分的性质定理19.10:(连续性)设f(x,y)在I ×[c,+∞)上连续,若含参量反常积分φ(x)=⎰+∞c dy y x f ),(在I 上一致收敛,则φ(x)在I 上连续. 证:由定理19.9,对任一递增且趋于+∞的数列{A n } (A 1=c), 函数项级数φ(x)=∑⎰∞=+11),(n A An ndy y x f =∑∞=1)(n n x u 在I 上一致收敛.又由f(x,y)在I ×[c,+∞)上连续,∴每个u n (x)都在I 上连续. 由函数项级数的连续性定理知,函数φ(x)在I 上连续.推论:设f(x,y)在I ×[c,+∞)上连续,若φ(x)=⎰+∞c dy y x f ),(在I 上内闭一致收敛,则φ(x)在I 上连续.注:在一致收敛的条件下,极限运算与积分运算可以交换,即:⎰+∞→cx x dy y x f ),(lim0=⎰+∞c dy y x f ),(0=⎰+∞→cx x dy y x f ),(lim 0.定理19.11:(可微性)设f(x,y)与f x (x,y)在区域I ×[c,+∞)上连续,若φ(x)=⎰+∞c dy y x f ),(在I 上收敛,⎰+∞c x dy y x f ),(在I 上一致收敛,则φ(x)在I 上可微,且φ’(x) =⎰+∞c x dy y x f ),(.证:对任一递增且趋于+∞的数列{A n } (A 1=c),令u n (x)=⎰+1),(n nA A dy y x f .由定理19.3推得u n ’(x)=⎰+1),(n nA A x dy y x f .由⎰+∞c x dy y x f ),(在I 上一致收敛及定理19.9,可得函数项级数∑∞='1)(n n x u =∑⎰∞=+11),(n A A x n ndy y x f 在I 上一致收敛.根据函数项级数的逐项求导定理,即得:φ’(x) =∑∞='1)(n nx u =∑⎰∞=+11),(n A Ax n ndy y x f =⎰+∞cx dy y x f ),(.或写作⎰+∞c dy y x f dxd ),(=⎰+∞c x dy y x f ),(.推论:设f(x,y)与f x (x,y)在区域I ×[c,+∞)上连续,若φ(x)=⎰+∞c dy y x f ),(在I 上收敛,⎰+∞c x dy y x f ),(在I 上内闭一致收敛,则φ(x)在I 上可微,且φ’(x) =⎰+∞c x dy y x f ),(.定理19.12:(可积性)设f(x,y)在[a,b]×[c,+∞)上连续,若φ(x)=⎰+∞c dy y x f ),(在[a,b]上一致收敛,则φ(x)在[a,b]上可积,且⎰⎰+∞cbady y x f dx ),( =⎰⎰+∞bacdx y x f dy ),(.证:由定理19.10知φ(x)在[a,b]上连续,从而在[a,b]上可积. 又函数项级数φ(x)=∑⎰∞=+11),(n A An ndy y x f =∑∞=1)(n n x u 在I 上一致收敛,且各项u n (x)在[a,b]上连续,根据函数项级数逐项求积定理,有⎰Φbadx x )(=∑⎰∞=1)(n ban dx x u =∑⎰⎰∞=+11),(n baA A n ndy y x f dx =∑⎰⎰∞=+1),(1n baA A dx y x f dy n n,即⎰⎰+∞cbady y x f dx ),( =⎰⎰+∞bacdx y x f dy ),(.定理19.13:设f(x,y)在[a,+∞)×[c,+∞)上连续,若(1)⎰+∞a dx y x f ),(关于y 在[c,+∞)上内闭一致收敛,⎰+∞c dy y x f ),(关于x 在[a,+∞)上内闭一致收敛;(2)积分⎰⎰+∞+∞c a dy y x f dx |),(|与⎰⎰+∞+∞a c dx y x f dy |),(|中有一个收敛. 则⎰⎰+∞+∞cady y x f dx ),(=⎰⎰+∞+∞acdx y x f dy ),(.证:不妨设⎰⎰+∞+∞c a dy y x f dx |),(|收敛,则⎰⎰+∞+∞c a dy y x f dx ),(收敛. 当d>c 时,记Jd =|⎰⎰+∞a dc dx y x f dy ),(-⎰⎰+∞+∞c a dy y x f dx ),(| =|⎰⎰+∞a dc dx y x f dy ),(-⎰⎰+∞dc a dy y x f dx ),(-⎰⎰+∞+∞d a dy y x f dx ),(|. 由条件(1)及定理19.12可推得:J d =|⎰⎰+∞+∞d a dy y x f dx ),(|≤|⎰⎰+∞d Aa dy y x f dx ),(|+⎰⎰+∞+∞d A dy y x f dx |),(|. 由条件(2),∀ε>0, ∃G>a ,使当A>G 时,有⎰⎰+∞+∞d A dy y x f dx |),(|<2ε. 选定A 后,由⎰+∞c dy y x f ),(的一致收敛性知,∃M>a ,使得当d>M 时, 有|⎰+∞d dy y x f ),(|<)(2a A -ε. ∴J d <2ε+2ε=ε,即有+∞→d lim J d =0,∴⎰⎰+∞+∞c a dy y x f dx ),(=⎰⎰+∞+∞a c dx y x f dy ),(.例5:计算:J=⎰+∞--0sin sin dx xaxbx e px (p>0,b>a). 解:∵xax bx sin sin -=⎰ba xydy cos ,∴J=⎰⎰+∞-0cos b a pxxydy dx e =⎰⎰+∞-0cos ba px xydy e dx .由|e -px cosxy|≤e -px 及反常积分⎰+∞-0dx e px 收敛, 根据魏尔斯特拉斯M 判别法知,含参量反常积分⎰+∞-0cos xydx e px 在[a,b]上一致收敛.又e -px cosxy[0,+∞)×[a,b]上连续,根据定理19.12交换积分顺序得: J=⎰⎰+∞-0cos xydx e dy px ba =⎰+bady y p p22=arctan p b - arctan p a .例6:计算:⎰+∞sin dx xax. 解:利用例5的结果,令b=0,则有F(p)=⎰+∞-0sin dx xaxe px=arctan p a (p>0).由阿贝尔判别法可知含参量反常积分F(p)在p ≥0上一致收敛, 又由定理19.10知,F(p)在p ≥0上连续,且F(0)=⎰+∞sin dx xax . 又F(0)=)(lim 0p F p +→=+→0lim p arctan p a =2πagn a. ∴⎰+∞0sin dx xax =2πagn a.例7:计算:φ(r)=⎰+∞-0.cos 2rxdx e x .解:∵|2x e -cosrx|≤2x e -对任一实数r 成立且反常积分⎰+∞-02dx e x 收敛, ∴含参量反常积分φ(r)=⎰+∞-0cos 2rxdx e x 在(-∞,+∞)上收敛. 考察含参量反常积分⎰+∞-'0)cos (2dx rx er x =⎰+∞--0sin 2rxdx xe x ,∵|-x 2x e -sinrx|≤x 2x e -对一切x ≥0, r ∈(-∞,+∞)成立且⎰+∞-02dx e x 收敛, 根据魏尔斯特拉斯M 判别法知, 含参量反常积分⎰+∞-'0)cos (2dx rx er x 在(-∞,+∞)上一致收敛.由定理19.11得φ’(r)=⎰+∞--0sin 2rxdx xex =⎰-+∞→-Ax A rxdxxesin lim2=⎪⎭⎫⎝⎛-⎰--+∞→A x Ax A rxdx e r rx e 00cos 2sin 21lim 22=⎰--A x rxdx e r 0cos 22=2r -φ(r). ∴φ(r)=c 42r e -. 又φ(0)=⎰+∞-02dx e x =2π=c. ∴φ(r)=422πr e-.概念2:设f(x,y)在区域R=[a,b]×[c,d)上有定义,若对x 的某些值,y=d 为函数f(x,y)的瑕点,则称⎰dc dy y x f ),(为含参量x 的无界函数反常积分,或简称为含参量反常积分. 若对每一个x ∈[a,b],⎰dc dy y x f ),(都收敛,则其积分值是x 在[a,b]上取值的函数.定义2:对任给正数ε, 总存在某正数δ<d-c, 使得当0<η<δ时, 对一切x ∈[a,b], 都有⎰-dd dy y x f η),(<ε, 则称含参量反常积分⎰dc dy y x f ),(在[a,b]上一致收敛.习题1、证明下列各题 (1)⎰∞++-122222)(dx y x x y 在(-∞,+∞)上一致收敛;(2)⎰+∞-02dy eyx 在[a,b] (a>0)上一致收敛;(3)⎰+∞-0sin dt tate t在0<a<+∞上一致收敛; (4)⎰+∞-0dy xe xy (i)在[a,b] (a>0)上一致收敛,(ii)在[0,b]上不一致收敛; (5)⎰10)ln(dy xy 在[b1,b](b>1)上一致收敛;(6)⎰1px dx(i)在(-∞,b] (b<1)上一致收敛,(ii)在(-∞,1]内不一致收敛; (7)⎰---1011)1(dx x x q p 在0<p 0≤p<+∞, 0<q 0≤q<+∞上一致收敛.证:(1)∵22222)(y x x y +-≤22222)(y x x y ++≤21x ,且⎰+∞12x dx 收敛,∴⎰∞++-122222)(dx y x x y 在(-∞,+∞)上一致收敛. (2)∵当0<a ≤x ≤b 时,yx e2-=yx e21≤ya e21,且⎰+∞12ya edy 收敛,∴⎰+∞-02dy e y x 在[a,b] (a>0)上一致收敛.(3)对任何N>0,∵⎰-Nt atdt e 0sin ≤⎰-Nt dt e 0≤1,即⎰-Nt atdt e 0sin 一致有界. 又t1关于在(0,+∞)单调,且t1→0 (t →∞),由狄利克雷判别法知,⎰+∞-0sin dt tate t在0<a<+∞上一致收敛. (4)(i)∵当0<a ≤x ≤b 时,|xe -xy|≤be -ay,且⎰+∞0ay -be 收敛, ∴⎰+∞-0dy xe xy 在[a,b] (a>0)上一致收敛. (ii)方法一:取ε0=21e<0, 则对任何M>0, 令A 1=M, A 2=2M, x 0=M 1, 有 ⎰-2100A A y x dy e x =MM yx e 20-=21e e ->21e=ε0,∴⎰+∞-0dy xe xy 在 [0,b]上不一致收敛. 方法二:∵⎰+∞-0dy xe xy =⎩⎨⎧≤<=bx x 0,10,0,且xe -xy 在[0,b]×(0,+∞)内连续,由连续性定理知⎰+∞-0dy xe xy 在 [0,b]上不一致收敛.(5)∵在[b1,b]×(0,1] (b>1)内, |ln(xy)|=|lnx+lny|≤|lnx|+|lny|≤lnb-lny, 且⎰-10)ln (ln dy y b 收敛, ∴⎰10)ln(dy xy 在[b1,b](b>1)上一致收敛.(6)(i)∵当p ≤b<1, x ∈(0,1]时,p x 1≤b x 1,又⎰10b xdx 收敛,∴⎰1px dx在(-∞,b] (b<1)上一致收敛.(ii)当p=1时,⎰1xdx发散,∴对任何A<1,在[A,1]内不一致收敛,即 ⎰1p xdx在(-∞,1]内不一致收敛. (7)记⎰---1011)1(dx x xq p =⎰---21011)1(dx x xq p +⎰---12111)1(dx x x q p =I 1+I 2.对I 1在0≤x ≤21, 0<p 0≤p<+∞, 0<q 0≤q<+∞上, ∵|x p-1(1-x)q-1|≤1100)1(---q p x x且⎰---210110)1(dx x x q p 收敛,∴I 1在0<p 0≤p<+∞, 0<q 0≤q<+∞上一致收敛; 同理可证I 2在0<p 0≤p<+∞, 0<q 0≤q<+∞上一致收敛. ∴⎰---1011)1(dx x x q p 在0<p 0≤p<+∞, 0<q 0≤q<+∞上一致收敛.2、从等式⎰-ba xydy e =x e e by ay ---出发,计算积分⎰∞+---0dx xe e byay (b>a>0). 解:∵⎰-ba xy dy e=x e e by ay ---,∴⎰∞+---0dx xe e byay=⎰⎰-+∞b a xy dy e dx 0. 又 e -xy 在[0,+∞)×[a,b]内连续,由M 判别法知, ⎰+∞-0dx e xy 在[a,b]内一致收敛.∴⎰∞+---0dx x e e by ay =⎰⎰+∞-0dx e dy xyb a =⎰b a dy y 1=ln ab .3、证明函数F(y)=⎰+∞--0)(2dx e y x 在(-∞,+∞)上连续. (提示:利用⎰+∞-02dx e x =2π) 证:令x-y=u, 则F(y)=⎰+∞-yu du e2=⎰-02yu du e+⎰+∞-02du eu =⎰-02yu du e +2π. ∵关于y 的积分下限函数⎰-02y u du e 在(-∞,+∞)上连续, ∴F(y)=⎰+∞--0)(2dx e y x 在(-∞,+∞)上连续.4、求下列积分: (1)⎰∞+---022222dx x e e xb xa(提示:利用⎰+∞-02dx ex =2π); (2)⎰+∞-0sin dt t xt e t;(3)⎰+∞--02cos 1dx x xye x . 解:(1)∵22222x e e xbxa---=⎰-ba x y dy ye 222,∴⎰∞+---022222dx x e e xb xa=⎰⎰+∞-0222bax y dy ye dx ,由M 判别法知⎰+∞-0222dx ye x y 在[a,b]内一致收敛,∴⎰∞+---022222dx x e e xb xa=⎰⎰+∞-0222dx yedy x y ba=⎰⎰+∞-0)(222xy d edy x y ba =⎰bady π=(b-a)π.(2)利用例5结果:⎰+∞--0sin sin dt tatbt e pt=arctan p b - arctan p a . (p>0,b>a).当p=1, a=0, b=x 时,有⎰+∞-0sin dt txte t=arctanx. (3)∵2cos 1x xy e x --=⎰-y x dt x xt e 0sin ,∴⎰⎰-+∞yx dt x xt e dx 00sin . 由x xt e x x sin lim 0-→=t 知, x=0不是xxte x sin -的瑕点,又 含参量非正常积分⎰+∞-0sin dx xxte x 在t ∈[0,M]上一致收敛, ∴由(2)有2cos 1x xy e x--=⎰⎰+∞-00sin dx xxt e dt x y =⎰y tdt 0arctan =yarctany-21ln(1+y 2).5、回答下列问题: (1)对极限⎰+∞-→+0022limdy xyexy x 能否运用极限与积分运算顺序的交换求解?(2)对⎰⎰+∞--132)22(dx e xy y dy xy 能否运用积分顺序交换来求解?(3)对F(x)=⎰+∞-032dy e x y x 能否运用积分与求导运算顺序交换来求解? 解:(1)∵F(x)=⎰+∞-022dy xye xy =⎩⎨⎧=>0,00,1x x , ∴F(x)lim 0+→x =1,但⎰+∞-→+022lim dy xye xy x =0,即交换运算后不相等,∴对极限⎰+∞-→+0022limdy xyexy x 不能运用极限与积分运算顺序的交换求解.注:⎰+∞-022dy xye xy =⎰+∞-0du xe xu 在[0,b]上不一致收敛,并不符合连续性定理的条件.(2)∵⎰⎰+∞--10032)22(dx exy y dy xy =⎰∞+-122dy xyexy =⎰10dy =0;⎰⎰-+∞-1032)22(dy exy y dx xy =⎰+∞-0122dx ey xy =⎰-1dx e x =1;∴对⎰⎰+∞--10032)22(dx e xy y dy xy 不能运用积分顺序交换来求解.注:⎰+∞--032)22(dx e xy y xy =0且⎰+∞--M xy dx e xy y 2)22(3=-2My 2My e -. 对ε0=1,不论M 多大,总有y 0=M1∈[0,1],使得⎰+∞--M xy dx e xy y 2)22(3=2M e 1->1,∴⎰+∞--032)22(dx e xy y xy 在[0,1]不一致收敛,不符合可积性定理的条件. (3)∵F(x)=⎰+∞-032dy e x y x =x, x ∈(-∞,+∞),∴F ’(x)≡1. 但y x e x x23-∂∂=(3x 2-2x 4y)y x e 2-, 而当x=0时,⎰+∞--0422)23(dy e y x x y x =0. ∴对F(x)=⎰+∞-032dy e x y x 不能运用积分与求导运算顺序交换来求解. 注:∵⎰+∞--0422)23(dy ey x x yx =⎩⎨⎧=≠0,00,1x x ,∴⎰+∞--0422)23(dy ey x x yx 在[0,1]上不一致收敛,不符合可微性定理的条件.6、应用:⎰+∞-02dx e ax =212π-a (a>0),证明: (1)⎰+∞-022dt e t at=234π-a ;(2)⎰+∞-022dt e t at n =⎪⎭⎫⎝⎛+--212!)!12(2πn n a n .证:(1)方法一:∵⎰+∞-022dt e t at 在任何[c,d]上(c>0)一致收敛, ∴⎰+∞-02dt e da d at =⎰+∞-02dt e dad at =-⎰+∞-022dte t at . 又⎰+∞-02dt e da d at =⎪⎪⎭⎫ ⎝⎛-212πa da d =-234π-a . ∴⎰+∞-02dx e ax =234π-a . 方法二:⎰+∞-022dt et at =-⎰+∞-0221at tdea =-⎪⎭⎫ ⎝⎛-⎰+∞-∞+-02221dt ete a at at=⎰+∞-0221dt e aat =234π-a .(2)方法一:∵⎰+∞-022dt e t at n 在任何[c,d]上(c>0)一致收敛,∴⎰∞+-02dt eda d at nn=⎰∞+-02dt e da d at nn =(-1)n ⎰+∞-022dt e t at n . 又⎰∞+-02dt e dad atnn =⎪⎪⎭⎫ ⎝⎛-212πa dad nn=(-1)n ⎪⎭⎫⎝⎛+--212!)!12(2πn n a n . ∴⎰+∞-022dt e t atn =⎪⎭⎫⎝⎛+--212!)!12(2πn nan . 方法二:记I n =⎰+∞-022dt e t at n , n=0,1,2,…,(1)中已证I 1=⎪⎭⎫⎝⎛+--⨯2112)112(2πa=a 2)112(-⨯I 0. 可设I k =a k 2)12(-⨯I k-1,则 I k+1=⎰+∞-+0)1(22dt e t at k =-⎰+∞-+012221at k de t a =-⎪⎭⎫ ⎝⎛-⎰+∞+-∞+-+0120122221k at at k dt e e t a=⎰+∞-+022212dt e t a k at k =ak 21)1(2-+I k=2)2()12](1)1(2[a k k --+I k-1=…= 1)2(!]!1)1(2[+-+k a k I 0=211)2(!]!1)1(2[2π-+-+a a k k .当n=k+1时,有I n =⎰+∞-022dt e t at n =21)2(!)!12(2π--a a k n =⎪⎭⎫⎝⎛+--212!)!12(2πn na n . 7、应用⎰+∞+022a x dx =a2π,求()⎰+∞++0122n a x dx.解:记A=a 2, ∵()⎰+∞++012n Axdx在任何[c,d]上(c>0)一致收敛,∴⎰∞++02A x dx dA d nn =⎰∞+⎪⎭⎫ ⎝⎛+021dx A x dA d n n=(-1)nn!()⎰+∞++012n A x dx . 又⎰∞++02A x dx dAd nn =⎪⎭⎫ ⎝⎛A dA d n n 2π=(-1)n 212!)!12(2π---n n A n . ∴()⎰+∞++012n Axdx=212!!)!12(2π---n n A n n =12!)!2(!)!12(2π---n a n n .8、设f(x,y)为[a,b]×[c,+∞)上连续非负函数,I(x)=dy y x f ⎰+∞0),(在[a,b]上连续,证明:I(x)在[a,b]上一致收敛.证:任取一个趋于的∞递增数列{A n } (其中A 1=c),考察级数∑⎰∞=+11),(n A A n ndy y x f =∑∞=1)(n n x u .∵f(x,y)在[a,b]×[c,+∞)上非负连续, ∴u n (x)在[a,b]上非负连续. 由狄尼定理知,∑∞=1)(n n x u 在[a,b]上一致收敛,从而∑⎰∞=+11),(n A A n ndy y x f 在[a,b]上一致收敛. 又I(x)=dy y x f ⎰+∞),(在[a,b]上连续.∴I(x)=dy y x f ⎰+∞0),(=∑⎰∞=∞→+11),(lim n A An n ndy y x f [a,b]上一致收敛.9、设在[a,+∞)×[c,d]内成立不等式|f(x,y)|≤F(x,y). 若dx y x F ⎰+∞0),(在y ∈[c,d] 上一致收敛,证明:dx y x f ⎰+∞),(在y ∈[c,d] 上一致收敛且绝对收敛.证:∵dx y x F ⎰+∞0),(在y ∈[c,d] 上一致收敛,∴∀ε>0, ∃M>0,对任何A2>A1>M和一切y∈[c,d],都有⎰21) , (A AdxyxF<ε.∵|f(x,y)|≤F(x,y),∴⎰21) , (A Adxyxf≤⎰21),(AAdxyxf≤⎰21),(AAdxyxF<ε,∴dxyxf⎰+∞0),(在y∈[c,d] 上一致收敛且绝对收敛.。
函数列和函数项级数一致收敛的判别方法
函数列和函数项级数一致收敛的判别方法函数列的一致收敛是指对于任意给定的正数ε,存在自然数N,使得当n>N时,对于任意的x,都有,fn(x)-f(x),<ε。
函数列一致收敛的判别方法有几种:1. 利用函数列的收敛性:若函数列fn(x)一致收敛于f(x),则对于任意给定的ε>0,存在自然数N,当n>N时,fn(x)-f(x),<ε对于所有的x成立。
2. Cauchy准则:若函数列fn(x)满足对于任意给定的ε>0,存在自然数N,当n,m>N时,对于所有的x,有,fn(x)-fm(x),<ε。
3. Weierstrass判别法:若函数列fn(x)满足对于任意给定的ε>0和x,存在自然数N,当n>N时,fn(x)-f(x),<ε,则函数列一致收敛。
函数项级数是指形式为∑an(x)的级数,其中an(x)为函数项。
函数项级数的一致收敛是指对于任意给定的正数ε,存在自然数N,当n>N时,对于任意的x,都有,S(x)-Sn(x),<ε,其中S(x)为函数项级数的和函数。
函数项级数一致收敛的判别方法有几种:1. 利用级数的收敛性:若函数项级数∑an(x)一致收敛,则对于任意给定的ε>0,存在自然数N,当n>N时,对于所有的x,有,S(x)-Sn(x),<ε。
2. Abel判别法:若函数项级数∑an(x)满足以下两个条件:a)对于所有的x,函数项an(x)单调;b)∑an(x)在其中一区间上一致收敛则函数项级数一致收敛。
3. Dirichlet判别法:若函数项级数∑an(x)满足以下两个条件:a)∑an(x)在其中一区间上部分和有界;b)函数项bn(x)单调并趋于0则函数项级数一致收敛。
以上是函数列和函数项级数一致收敛的一些判别方法。
在实际应用中,我们需要根据具体问题的特点选择合适的方法进行判断。
一致收敛的函数列和函数项级数在数学分析、微积分等领域中有广泛的应用,深入理解并正确应用这些判别方法对于解决实际问题具有重要意义。
含参量反常积分的一致收敛性的判别方法
含参量反常积分的一致收敛性的判别方法一、定义首先,我们来回顾一下含参量反常积分的定义。
设函数$f(x,t)$定义在区间$[a,b]$上的一个闭区间$[c,d]$,则含参量反常积分可以表示为:$$\int_a^b f(x,t)dx$$其中,函数$f(x,t)$称为被积函数,参数$t$称为参数。
参数$t$取值在闭区间$[c,d]$上。
1.依据一致收敛的定义如果对任意给定的$\epsilon>0$,存在正数$\delta$,当$,x-a,<\delta$且$t\in[c,d]$时,$,f(x,t)-f(a,t),<\epsilon$,则函数$f(x,t)$在区间$[a,b]$上关于$x$一致收敛。
这是最常用的判别方法之一2.莱布尼茨定理对于含参量反常积分,如果被积函数$f(x,t)$在闭区间$[c,d]$上关于$t$是逐点收敛的,并且对所有$x\in[a,b]$,极限$\lim_{t\to\infty}f(x,t)$存在,则函数$f(x,t)$在区间$[a,b]$上一致收敛。
3.狄利克雷判别法狄利克雷判别法主要用于判别含参变量正交级数的一致收敛性,但同样适用于含参量反常积分。
如果被积函数$f(x,t)$和其导数$f'(x,t)$在$[a,b]$上对于$t$关于$x$一致有界,并且在区间$[c,d]$上关于$x$一致收敛,则函数$f(x,t)$在区间$[a,b]$上一致收敛。
4.魏尔斯特拉斯判别法魏尔斯特拉斯判别法是判别含参量反常积分收敛性的重要方法之一、如果被积函数$f(x,t)$在闭区间$[c,d]$上对于$t$关于$x$一致有界,并且对于任意给定的$x\in[a,b]$,被积函数$f(x,t)$对于参数$t$在闭区间$[c,d]$上关于$x$一致收敛,则函数$f(x,t)$在区间$[a,b]$上一致收敛。
5.独立变量法独立变量法是一种常用的判别方法。
对于含参量反常积分$\int_a^bf(x,t)dx$,将被积函数$f(x,t)$视为关于$x$的函数,并对其进行研究。
函数项级数一致收敛的比较判别法与对数判别法 毕业论文
函数项级数一致收敛的比较判别法与对数判别法摘 要:函数项级数在级数理论中占有重要地位,研究函数项级数的一致收敛性至关重要。
本文将通过已有结论发现判断函数项级数一致收敛性的一些新的判别法。
(1)比较判别法:对已有结论做进一步的推广,得到比较判别法。
再结合确界知识得出比较判别法的极限形式。
另外,将函数项级数特殊化得出M 判别法。
在此基础上,将对比的级数换成具有相同的敛散性的级数,将M 判别法作进一步的推广。
(2)对数判别法:当比较判别法中的两级数均为正项级数时,不等式()()n n u x v x ≤的两边同时取对数可得到对数判别法。
而且,当级数()n v x ∑取特殊的级数1pn ∑时,可将对数判别法特殊化,得到新的判别法。
关键词:函数项级数 ;一致收敛;比较判别法 ;对数判别法The Comparison criterion and logarithm criterion of theuniform convergence of Functions SeriesAbstract: Functional Series plays an important role in the series theory, it ’s very important to study the uniform convergence of Functions Series. This article will found some new criterion about the uniform convergence of Functions Series through the some results that already founded Series.(1) Comparison criterion : Made the results that already know more further promotion in order to get new criterion. Combined with knowledge obtained supremum,get the limit form of Comparison Tests. In addition, made Functional Series special to get M criterion. On this basis, comparison of the series will be replaced with series of the same convergence and divergence , let the M criterion gets further promotion. (2) Logarithm criterion: When the two series in the comparison criterion are both in positive terms, made a logarithm transform on the both sides of the inequality()()n n u x v x ≤ on the same time, then we get logarithm criterion. Moreover, when theseries()n v x ∑ be replaced by a special series logarithm criterion specialization ,and will get a new identification method.Keywords: Functions Series ;Uniform convergence ;Comparison criterion ;Logarithm criterion引言目前关于数项级数敛散性的研究很多,也已经得到了很多有价值的成果。
函数项级数一致收敛性判别及应用
函数项级数一致收敛性判别及应用函数项级数是指形如∑an(x)的无穷级数,其中an(x)是关于变量x的函数序列。
函数项级数是数学分析中重要的研究对象,其一致收敛性判别和应用有着广泛的应用背景和数学意义。
一、一致收敛性定义对于函数项级数∑an(x),如果对于任意给定的ε>0,存在正整数N,当n>N时,对于任意的x∈D(D是定义域),都有|∑an(x)-Sn(x)|<ε成立,则称∑an(x)在D上一致收敛。
Weierstrass判别法为函数项级数的一致收敛性提供了重要的判别标准。
通过找到一个收敛的函数项级数作为比较序列,即可判定原函数项级数的一致收敛性。
Abel判别法通过研究函数项级数的部分和序列来判定其一致收敛性。
如果部分和序列是有界的,并且各个部分和序列的差异在逐渐缩小,则可以判断函数项级数的一致收敛性。
3. Dini判别法设函数项级数∑an(x)在闭区间[a,b]上对于任意的x∈[a,b],都有an(x)单调递减(或递增),且∑an(x)在[a,b]上收敛,则∑an(x)在闭区间[a,b]上一致收敛。
Dini判别法是针对闭区间的函数项级数的一致收敛性进行判别。
如果函数项级数在闭区间上对于任意的点都是单调递减(或递增)的,并且收敛,则该函数项级数在闭区间上一致收敛。
三、函数项级数的应用1. 函数项级数的积分和导数若∑an(x)在[a,b]上一致收敛到f(x),则在[a,b]上可以逐项积分和逐项求导得到∑∫an(x)dx和∑d(an(x))/dx成立。
这意味着可以通过积分和导数的特性对函数项级数进行处理,从而得到函数项级数的性质。
3. 函数项级数的逐项表示对于某些函数,可以通过将其展开成函数项级数的形式,从而简化对函数的研究和操作。
三角函数的展开成傅里叶级数等。
总结:函数项级数一致收敛性判断是研究函数项级数性质的重要方法。
Weierstrass判别法、Abel判别法和Dini判别法为判断函数项级数一致收敛性提供了有效的工具。
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
则 c f ( x, y)g( x, y)dy
在 [ a, b ] 上一致收敛.
首页 ×
例 3 证明含参量反常积分 e xy sin xdx
0
x
在 [0, d ] 上 一 致 收 敛.
证
因为,反常积分
sin x dx
连续,故每个 un( x ) 都在 [ a, b ]上连续. 根据函数项 级数的连续性定理,函数 I( x)在[a, b]上 连 续.
首页 ×
定理 19.10 设f ( x, y)与f x ( x, y)在 区 域
[a, b][c,)上 连 续 , 若I( x) f ( x, y)dy 在 c
[a, b]上 收 敛 , c
f x ( x, y)dy
在[a, b]上 一 致 收 敛,
则I( x)在[a, b]上 可 微 , 且
I( x) c
f x ( x, y)dy
首页 ×
定理19.11(可积性) 设 f ( x, y) 在 [a, b][c,) 上连续,若
sin xy dy
0y
在[, )上一致收敛(其中 0), 但在
(0, )内不一致收敛。
分析 要证: 0, N 0, 使得当A N 时, 对一切 x [ ,),都有
| sin xy dy |
A
y
首页 ×
证: 令 u = x y , 得
sin xy
0
x
在[ 0, d ] 上一致收敛
首页 ×
二、含参量反常积分的性质
定理 19.9(连续性) 设 f ( x, y) 在
[a, b][c, ) 连续,若
I( x) c f ( x, y)dy
在[a, b]上 一致 收 敛,则 I( x)在[a, b]上 连 续 。
首页 ×
证:
因为
f ( x, y)dy
关 于x在 任 何 闭 区 间[a, b]上 一 致 收 敛 ,
c
积分
dx | f ( x, y) | dy
与
dy | f ( x, y) | dx
a
c
c
a
中有一个收敛,则另一个积分也收敛,且
a dxc f ( x, y)dy c dya f ( x, y)dx
单调递减且当 y 时,对参量 x , g ( x, y ) 一( x, y)dy
c
在 [ a, b ] 上一致收敛.
首页 ×
阿贝尔判别法 设
⑴ f ( x, y)dy 在 [ a, b ] 上一致收敛. c
⑵ 对每一个固定的 x ∈[ a, b ],函数 g ( x, y ) 为 y 的单调函数,且存在 M > 0, 使得
§2 含参量反常积分
一、一致收敛性及其判别法 二、含参量反常积分的性质
首页 ×
一、一致收敛性及其判别法
设函数 f (x, y)定义在无界区域
R { ( x, y) | a x b, c y }
上,若对 于每 一个 固定的 x [a, b], 反常 积分
c f ( x, y)dy
即 对 于 每 一 个x [a, b], 反 常 积 分
I( x) c f ( x, y)dy
都收敛,由反常积分收敛的定义,即
0, N( , x) c, 使得 M N ,
M
| c f ( x, y)dy I( x) |
其中 N 与 x 有关. 如果存在一个与 x [a, b]
sinu
A
dy
du
y
Ax u
其中 A > 0.
由于 sinu du 收敛,故
0u 0, M c,使得当A M时,就有
| sinu du |
A u
取 N M , 则当 A N 时, A M,
对一切 x [, ),有 Ax A M,
无关的 N ( ) 使得该不等式成立,就称
反常积分在区间 [ a, b ]上一致收敛
首页 ×
定义1. 若 0, N c, 使得当 M N 时,
对一切x [a, b],都有
M
| c f ( x, y)dy I( x) |
则 称 含 参 量 反 常 积 分 c
I( x) c f ( x, y)dy
在[a, b]上一致收敛,则I( x) 在 [a, b] 上
可积,且
b
b
a dxc f ( x, y)dy c dya f ( x, y)d x
首页 ×
定理19.12 设 f ( x, y) 在
[a,)[c,) 上连续. 若
f ( x, y)dx 关 于y在 任 何 闭 区 间[c, d ]上 一 致 收 敛 , a
f ( x, y)dy
c
c
在[a, b]上一致收敛.
首页 ×
例2 证明含参量反常积分
cos xy 0 1 x2 dx
在 (, ) 上 一 致 收 敛.
证 因为,有
|
cos 1
xy x2
|
1
1 x2
y
并且反常积分
1 0 1 x2 dx
收敛
所以
某些值,y = d 为函数 f ( x, y) 的瑕点,则称
d
c f ( x, y)dy
为含参量 x 的无界函数反常积分,或简称为含参 量反常积分.
首页 ×
收敛,
0x
从而对于参量 y 它在 [ 0, d ] 上一致收敛,
函数 g( x, y) e xy 对每个 x ∈[ 0, d ],关于变量 y
单调减少,且在[ 0, d ] 上一致有界:
| g( x, y) || e xy | 1, 0 y d , x 0
故由阿贝尔判别法,知 e xy sin xdx
I(x)
f ( x, y)dy
在[a, b]上
c
一致收敛,由定理19.8,对任一递增且趋于
的数列 { An } ( A1 c), 函数项级数
I(x)
n1
An1 An
f ( x, y)dy
un ( x)
n1
在 [ a, b ] 上一致收敛. 又由于 f ( x, y) 在 [a, b][c, )
首页 ×
例5 计算
sinbx sinax
I e px 0
dx ( p 0, b a) x
例6 计算
sinax
I 0
dx x
例7 计算
(r ) e x2 cos rxdx 0
首页 ×
含参量无界函数非正常积分
设 f ( x, y) 在 [a, b][c, d ] 上有定义. 若对 x 的
cos xy 0 1 x2 dx 在 (, ) 上 一 致 收 敛.
首页 ×
狄利克雷判别法 设
⑴ 存在 M > 0, 对一切 N > c , 及一切 x ∈[ a, b ]
都有
N
| c f ( x, y)dy | M
⑵ 对每一个固定的 x ∈[ a, b ],函数 g ( x, y ) 关于 y
(1)
都 收敛,则 它是 x 的 函数, 记 这个 函 数 为I( x), 有
I ( x) c f ( x, y)dy, x [a, b]
则⑴式为定义在[a, b]上的含参量x 的无穷限
反 常 积 分 , 或 简 称 含 参量 反 常 积 分
首页 ×
设反常积分 I( x) f ( x, y)dy 在 [ a, b ] 收敛 c
首页 ×
定理19.7(一致收敛的柯西准则) 设含量反常
积 分 f ( x, y)dy 在 [a, b] 一 致收 敛 c 0, M c,使得当A1, A2 M时,对一切 x [a, b],都有 | A2 f ( x, y)dy | A1
首页 ×
例1. 证明含参量反常积分
从而 | sin xy dy || sinu du |
A
y
Ax u
首页 ×
所以
0
sin xy y
dy
在[,
)
一致收敛.
首页 ×
定理19.8
设含参量反常积分
f (x, y)dy
c
在[a, b]一 致 收敛
对 任一 趋 于 的 递增 数 列{ An } (其 中A1 c),
f ( x, y)dy
在[a, b]一 致 收 敛 于I( x),
或 含参 量积 分在[a, b]一 致收 敛.
首页 ×
由于
I( x) c f ( x, y)dy
所以上述定义中的不等式
M
| c f ( x, y)dy I( x) |
也可表示为
| M f ( x, y)dy |
函数项级数
n1
An1 An
f ( x, y)dy
un ( x)
n1
在[a, b]上一致收敛.
首页 ×
魏尔斯特拉斯 M 判别法
设有函数g( y), 使得
f (x, y) g( y), x [a,b], y [c,).
若
g( y)dy 收 敛, 则