张瑞
中国科学技术大学数学科学学院
rui [at] ustc [dot] edu [dot] cn |
定义 1.
函数列是指一列定义在中的函数。
(这里指为一个区间。)
如:
例 1. 求函数列 的极限函数
解. 可以得到函数列在时收敛,
收敛域为
函数列中的通项函数连续,但极限函数可能间断。
设函数列在点处收敛到是指:
对,存在正整数,s.t.
这个不仅与有关,还与有关。
定义 2. (函数列的一致收敛)
设函数列和函数在上有定义。
若对,存在一个仅与有关的正整数,s.t.
则称函数列在区间上一致收敛到
若函数列在区间上一致收敛到, 若在处连续(或左、右连续),则,
(1) 存在,有
[一致收敛]
[点处收敛]
(2) 由在处连续,则存在,有
因而,对,有
也就是极限函数也在处连续(或左、右连续)。
例 2. (例8.2.2) ,证明函数列在区间上一致收敛到
例 3. (例8.2.3) 证明函数列在上一致收敛
例 4. 证明函数列在上一致收敛
可以看到,若,且 则一致收敛到
2.
非一致收敛: ,对任意的, 总存在和,使得
例 5. 函数列在上的一致收敛性。
例 6. 判定函数列的一致收敛性
(1) , (2)
若存在 ,对充分大,成立
则在中非一致收敛到
22.
定理 1.
函数列在区间上一致收敛于的充要条件是
其中
定义 3.
函数列定义在区间上,称为函数项级数
例 7. 求收敛域
(1) (2) (3)
对于函数列,令
则函数项级数的部分和函数列为。
因此,函数项级数的收敛性及其性质与函数列的收敛性及其性质是完全对应的。
定理 2. (Cauchy收敛准则)
函数项级数在中一致收敛的充要条件为,对,存在一个仅与有关的正整数,使得当时,
证明.
推论 1. (必要条件)
函数项级数在中一致收敛,则其通项在中一致收敛到。
例 8. 在无穷区间上的函数项级数的一致收敛性
22.
证明. 结论中取即得
推论 2.
函数项级数在中逐点收敛,其通项在右端点处左连续(或在处右连续),
并且数项级数(或)发散,
则函数项级数在内非一致收敛。
证明.
定理 3. (Weierstrass判别法)
函数项级数在中有定义。若存在一收敛的正项级数,使
则级数在中一致收敛
证明.
例 9. 判定函数项级数是否一致收敛
(1) ,
(2) , ()
(3) ,
9.
例 10. 函数列,在上是单调函数, 且和 均收敛, 则一致收敛
(非一致收敛的Cauchy判别) 函数项级数在中非一致收敛的充要条件为,存在,对,都存在, , ,成立
例 11. (习题)级数在时的一致收敛性。
解. 注意到,时,级数发散。利用Cauchy准则可以证明级数非一致收敛。
例 12. 级数在上的一致收敛性。
解. 注意到,时,级数发散。
定理 4. (Dirichlet判别法)
乘积项级数在上一致收敛,若满足
,数列是单调数列。
一致有界: 存在,满足, ,
定理 5. (Abel判别法)
乘积项级数在上一致收敛,若满足
例 13. (例8.2.7) 单调趋于,考察函数项级数和在区间上的一致收敛性。()
例 14. (例8.2.8) 收敛,考察函数项级数在的一致收敛性
13.
定理 6. (逐项求极限)
若函数项级数在区间上一致收敛于,
并且通项在上连续,
则和函数在上也连续
推论 3.
若逐点收敛的连续函数项级数的和函数在区间上不连续,
则在上非一致连续
例 15. 在中的连续性
例 16. (例8.2.12) 在时的连续性
内闭一致收敛可以得到极限函数是连续的。
例 17. 的和函数在上连续,但级数不一致收敛。
非一致收敛的级数(无论是开区间上还是闭区间上),和函数可能连续。
15.
定理 7. (逐项积分公式)
若函数项级数在有界闭区间上一致收敛于,并且通项在上连续,
则有逐项积分公式
证明.
定理 8. (逐项微分公式)
若函数项级数在有界闭区间上收敛于,其通项在上有连续的微分,
并且通项在上一致收敛,则和函数在上有连续的导数,并且有逐项求导公式
证明.
一致收敛级数的和函数的也具有类似的性质
例 18. , 的极限函数的连续性?
例 19. (例8.2.10) 在上的积分是否与逐项积分后的级数相等?
例 20. 在上是否一致收敛?该函数列的极限函数在上的积分,是否与函数列各项的积分的极限相等?
例 21. ,是否一致收敛?该函数列的极限函数的导数与各函数项导数的极限是否一样?
18.
定理 9.
设连续,且函数项级数在开区间中一致收敛于,
如果对每个,存在有限,
则存在,且
例 22.
22.