数学分析函数项级数(第13章)

最新推荐文章于 2023-07-15 12:08:52 发布

EdVzAs

最新推荐文章于 2023-07-15 12:08:52 发布

阅读量3.6k

点赞数 6

文章标签：函数列函数极限函数项级数一致收敛性

本文链接：https://blog.csdn.net/weixin_46131409/article/details/107866378

版权

分析学专栏收录该内容

23 篇文章 11 订阅

订阅专栏

一.一致收敛性
1.函数列及其一致收敛性
(1)函数列:
在这里插入图片描述
(2)函数列的极限及敛散性:

(3)一致收敛:

如果函数在区间 $I$ 上收敛,其在各点的收敛速度可能差别很大;但如果函数在区间 $I$ 上一致收敛,就需要其在各点的收敛速度大致相同

(4)函数列一致收敛性的判断:

定理13.1(函数列一致收敛的柯西准则):函数列 ${f_n\}$ 在数集D上一致收敛的充要条件是:对 $ε>0,∃N∈N_+$ ,使当 $n . m > N$ 时,对 $\forall x \in D$ 有 $|f_n(x)-f_m(x)|<ε\qquad(4)$

定理13.2:函数列 ${f_n\}$ 在数集D上一致收敛于 $f$ 的充要条件是: $\displaystyle\lim_{n \to \infty}sup_{x∈D}|f_n(x)-f(x)|=0$

推论:函数列 ${f_n\}$ 在区间D上不一致收敛于 $f$ 的充要条件是: $∃\{x_n\}\sub D$ ,使 ${f_n(x_n)-f(x_n)\}$ 不收敛于0

(5)内闭一致收敛:
在这里插入图片描述

如果 $I$ 为闭区间,在 $I$ 上一致收敛和在 $I$ 上内闭一致收敛等价(因为 $I$ 本身也是1个子区间);如果 $I$ 至少有1侧是开的,则在 $I$ 上一致连续可保证在 $I$ 上内闭一致连续,反之不成立(因为端点的性质可能"不好")

在这里插入图片描述

内闭一致收敛的概念使我们可以抛开性质"不好"的端点来考察区间的其余部分
这里的性质"不好"是指函数在该点不收敛或收敛速度与其他点相差过大(趋于 $0$ 或 $\infty$ )

2.函数项级数及其一致收敛性
(1)函数项级数:
在这里插入图片描述
(2)函数项级数的敛散性:

(3)函数项级数一致收敛的充要条件:

定理13.3(函数项级数一致收敛的柯西准则):函数项级数 $\sum u_n(x)$ 在数集D上一致收敛的充要条件是:对 $ε>0,∃N∈N_+$ ,使当 $n > N$ 时,对 $\forall x \in D$ 和 $p∈N_+$ 有 $S_{n+p}(x)-S_n(x)|<ε$ 即 $u_{n+1}(x)+...+u_{n+p}(x)|<ε$ 此定理中,当 $p = 1$ 时,得到函数项级数一致收敛的1个必要条件

推论:函数项级数 $\sum u_n(x)$ 在数集D上一致收敛的必要条件是函数列 ${u_n(x)\}$ 在D上一致收敛于0

定理13.4:函数项级数 $\sum u_n(x)$ 在数集D上一致收敛于 $S (x)$ 的充要条件是: $\displaystyle\lim_{n \to \infty}sup_{x∈D}|R_n(x)|=\displaystyle\lim_{n \to \infty}sup_{x∈D}|S(x)-S_n(x)|=0$

(4)函数项级数的余项:
在这里插入图片描述
3.函数项级数的一致收敛性判别法
(1)魏尔斯特拉斯判别法(M判别法,优级数判别法):

定理13.5:设函数项级数 $\sum u_n(x)$ 定义在数集D上, $\sum M_n$ 为收敛的正项级数,若对 $\forall x \in D$ 有 $|u_n(x)|≤M_n\,(n=1,2...)\qquad(12)$ 则 $\sum u_n(x)$ 在D上一致收敛

(2)阿贝尔判别法与狄利克雷判别法:
在这里插入图片描述

定理13.6(阿贝尔判别法):设
① $\sum u_n(x)$ 在区间 $I$ 上一致收敛
②对 $x∈I,\{V_n(x)\}$ 单调
③ ${V_n(x)\}$ 在 $I$ 上一致有界,且 $\exists M > 0$ ,使对 $x∈I,∀n∈N_+$ ,有 $v_n(x)|≤M$
则级数(13)在 $I$ 上一致收敛

定理13.7(狄利克雷判别法):设
① $\sum u_n(x)$ 的部分和函数列 $S_n(x)=\displaystyle\sum_{k=1}^nu_k(x)\,(n=1,2...)$ 在 $I$ 上一致有界
②对 $x∈I,\{V_n(x)\}$ 单调
③在 $I$ 上 $v_n(x)⇉0\,(n\to\infty)$
则级数(13)在 $I$ 上一致收敛

二.一致收敛函数列与函数项级数的性质
在这里插入图片描述
1.一致收敛数列的性质
(1)独立变量求极限的顺序可交换:

定理13.8:设函数列 ${f_n\}$ 在 $a,x_0)∪(x_0,b)$ 上一致收敛于 $f (x)$ ,且对 $∀n,\displaystyle\lim_{x\to x_0}f_n(x)=a_n$ ,则 $\displaystyle\lim_{n\to\infty}a_n,\displaystyle\lim_{x\to x_0}f(x)$ 均存在且相等

(2)连续性:

定理13.9:若函数列 ${f_n\}$ 在区间 $I$ 上一致收敛,且每项都连续,则其极限函数 $f$ 在 $I$ 上也连续

由于 $f (x)$ 在 $x$ 的连续性仅与其在 $x$ 附近的性质有关,故有以下推论
推论:若连续函数列 ${f_n\}$ 在区间 $I$ 上内闭一致收敛于 $f$ ,则 $f$ 在 $I$ 上连续

(3)可积性:

定理13.10:若函数列 ${f_n\}$ 在[a,b]上一致连续,且每项都连续,则 $\int_a^b\displaystyle\lim_{n\to\infty}f_n(x)dx=\displaystyle\lim_{n\to\infty}\int_a^bf_n(x)dx\qquad(3)$

该定理指出:在一致连续的条件下,极限运算与积分运算可交换顺序
注意:当函数列 ${f_n\}$ 收敛于 $f (x)$ 时,一致连续性是积分运算与极限运算交换顺序的充分条件,而不是必要条件

(4)可微性:

定理13.11:设 ${f_n\}$ 为定义在[a,b]上的函数列,若 $x_0∈[a,b]$ 为 ${f_n\}$ 的收敛点, ${f_n\}$ 的每项在[a,b]上均有连续导数,且 ${f'_n\}$ 在[a,b]上一致连续,则 $\frac{d}{dx}(\displaystyle\lim_{n\to\infty}f_n(x))=\displaystyle\lim_{n\to\infty}\frac{d}{dx}f_n(x)\qquad(4)$

在该定理的条件下,还可推出在[a,b]上 $f_n⇉f\,(n\to\infty)$
该定理指出:在一致连续的条件下,极限运算与求导运算可交换顺序
注意:一致连续性是极限运算与求导运算交换顺序的充分条件,而不是必要条件

由于可微性是局部性质,故有以下推论
推论:设函数列 ${f_n\}$ 定义在区间 $I$ 上,若 $x_0∈[a,b]$ 为 ${f_n\}$ 的收敛点,且 ${f'_n\}$ 在[a,b]上一致连续,则 $f$ 在 $I$ 上可导,且 $f'(x)=\displaystyle\lim_{n\to\infty}f_n'(x)$

2.函数项级数的性质
(1)连续性:

定理13.12:若函数项级数 $\sum u_n(x)$ 在[a,b]上一致收敛,且每项都连续,则其和函数在[a,b]上连续
该定理指出:在一致连续的条件下,(无限项)求和运算与极限运算可交换顺序,即: $\sum(\displaystyle\lim_{x\to x_0}u_n(x))=\displaystyle\lim_{x\to x_0}(\sum u_n(x))\qquad(6)$

(2)逐项求导:

定理13.13:若函数项级数 $\sum u_n(x)$ 在[a,b]上一致收敛,且每项都连续,则 $\sum\int_a^bu_n(x)dx=\int_a^b\sum u_n(x)dx\qquad(7)$
一致收敛的条件可减弱为内闭一致收敛
该定理指出:在一致连续的条件下,逐项求导运算与求和运算可交换顺序

(3)逐项求积:

定理13.14:若函数项级数 $\sum u_n(x)$ 在[a,b]上每项都有连续的导数, $\sum u_n(x)$ 在[a,b]上收敛,且 $\sum u_n'(x)$ 在[a,b]上一致连续,则 $\sum(\frac{d}{dx}u_n(x))=\frac{d}{dx}(\sum u_n(x))\qquad(8)$
一致收敛的条件可减弱为内闭一致收敛
该定理指出:在一致连续的条件下,逐项求积运算与求和运算可交换顺序