定义
定义在区间 $I$ 上，$\sum_{n=1}^{\infty}u_{n}(x)$
一致收敛
函数序列
定义
记 $f(x)=\lim_{ n \to \infty }f_{n}(x)$
则若 $\forall\varepsilon$ $\exists N$ s.t. $\forall n>N$, $\forall x \in X$ 满足 $$ \left| f_n(x) - f(x) \right| < \varepsilon $$ 则称 函数序列 $\left{ f_{n}(x) \right}$ 在 $X$ 上一致收敛于极限函数 $f(x)$
一致收敛：$\forall \varepsilon>0$, $\exists N\in \mathbb{N}{+}$, $\forall x \in D$ 使得 $\forall n>N$ 满足 $\left| f{n}(x)-f(x)\right|<\varepsilon$ 逐点收敛：$\forall x \in D$, $\forall \varepsilon>0$, $\exists N\in \mathbb{N}{+}$ 使得 $\forall n>N$ 满足 $\left| f{n}(x)-f(x)\right|<\varepsilon$
aka. 在 $\varepsilon-N$ 语言中 一致收敛 $\Rightarrow$ $\exists N(\varepsilon)$ 逐点收敛 $\Rightarrow$ $\exists N(\varepsilon,x)$
aka. 一致收敛要求收敛速度与 $x$ 无关
一致收敛保证了解析性质能从函数序列传递到极限函数 而解析性质可以支持求和与微积分运算间的换序
审敛
- 【放缩】 若存在数列 $\left{ a_{n} \right}$ 满足 $\forall x \in X$, $\forall n \geq N$
- $\left| f_{n}(x) - f(x) \right| \leq a_{n}$
- $a_{n} \to 0 \ (n \to \infty)$ 则 $\left{ f_{n}(x) \right}$ 在 $X$ 上一致收敛于 $f(x)$
- 【序列反例】 若存在点列 $\left{ x_{n} \right}$ 使 $$\left[ f_{n}(x_{n}) - f(x_{n}) \right] \to k \neq 0 \ (n \to \infty)$$ 则$\left{ f_{n}(x) \right}$ 在 $X$ 上不一致收敛于 $f(x)$
性质
- 【几何意义】 $f_n(x)$ 收敛于 $f(x)$ 的带状区域中
- 【可积性】
- 【可导性】
- 【连续性】
函数项级数の一致收敛
定义
函数项级数 $\sum_{n=1}^{\infty} u_{n}(x)$ 的部分和 $S_{n}(x)=\sum_{k=1}^{n}u_{k}(x)$ 在 $X$ 上一致收敛
则称函数项级数 $\sum_{n=1}^{\infty} u_{n}(x)$ 一致收敛
审敛
- 【必要·一般项序列收敛于0】 若函数项级数 $\sum_{n=1}^{\infty}u_{n}(x)$ 在 $X$ 上一致收敛，则其一般项序列 $$u_{n}(x) \rightrightarrows 0 \ (x \in X, n \to \infty)$$
- 【充要·柯西准则】 函数项级数 $\sum_{n=1}^{\infty}u_{n}(x)$ 在 $X$ 上一致收敛 $\Leftrightarrow$ $\forall\varepsilon>0$, $\exists N=N(\varepsilon)$ s.t. $\forall n \geq N, p \in N,x \in X$ 满足 $$\left| \sum_{k=n+1}^{n+p} u_{k}(x) \right| < \varepsilon$$
- 【强级数审敛/放缩】 函数项级数 $\sum_{n=1}^{\infty} u_{n}(x)$ 满足
- $\left| u_{n}(x) \right| \leq a_{n}, , , \forall x \in X$
- 正项级数 $\sum_{n=1}^{\infty}a_{n}$ 收敛 则 $\sum_{n=1}^{\infty}u_{n}(x)$ 在 $X$ 上一致收敛
- 【狄利克雷审敛】 = 序列单调有界 + 级数一致收敛
- 【阿贝尔审敛】 = 序列单调收敛 + 级数一致有界