函数序列
- 把函数序列看做二元函数 $f(n,x)$
- 求极限函数 $f(\infty,x)=\lim_{ n \to \infty }f(n,x)$
- 找间断点,满足以下相互等价条件
- 【本质】$f(n,x)$ 在点 $(\infty,x_{0})$ 处不连续
- 【找点】$\lim_{ x \to x_{0} }\lim_{ n \to \infty }f(n,x)\neq \lim_{ n \to \infty }\lim_{ x \to x_{0} }f(n,x)$ 相当于 3.3 找路径 $x=x(n)$ 时取两个折线路径进行必要性探路
- 【证明】$\lim_{ x = x(n),n\to \infty,x\to x_{0} }f(n,x)$ 不定
- 断点在 $D$ 位置
- 在区间内/区间边界 (包括开区间边界)
$\Rightarrow$ 证不一致收敛
- 构造点列 (同 3.3)
- 余项不趋近于 $0$
- 柯西审敛
- 不在区间内
$\Rightarrow$ 证一致收敛
- 夹逼定理
- 在区间内/区间边界 (包括开区间边界)
$\Rightarrow$ 证不一致收敛
函数项级数
- 能求部分和序列封闭形式 $\Rightarrow$ 同 函数序列
- 不能求部分和序列封闭形式
- 证一致收敛
- $\exists N=N(\varepsilon)$
- 强级数审敛 (比较审敛) (要求正项或绝对项)
- Dirichlet
- Abel
- 证不一致收敛
- 找点
- $\lim_{ x \to x_{0} }\sum f(n, x;a_{n}) \neq \sum a_{n}\lim_{ x \to x_{0} }f(n,x;a_{n})$
- 证点
- 构造点列 $x_{n}$ 使得级数发散
- 通项不收敛于 $0$
- 柯西审敛
- 找点
- 证一致收敛
广义积分
本质
- 把含参积分看做关于区间限&参数的二元函数 $F(b,y)=\int_{a}^{b} f(x,y) , \mathrm{d}x$
- 不一致连续 $\Leftrightarrow$ $F(b_{0},y_{0})$ 不连续
- 广义积分 $b_{0}=+\infty$
- 瑕积分 $b_{0}$ 是瑕点
- 证一致收敛
- $\exists X=X(\varepsilon)$ 或者 $\exists\delta=\delta(\varepsilon)$
- 强级数 (要求正项或绝对项)
- Dirichlet
- Abel
- 证不一致收敛
-
找点 $$\lim_{ y \to y_{0} } \lim_{ b \to b_{0} } \int_{a}^{b} f(x,y) , \mathrm{d}x \neq \lim_{ b \to b_{0} } \int_{a}^{b} \lim_{ y \to y_{0} } f(x,y) , \mathrm{d}x $$
-
证点 0. 【原理 | 余项不趋于 $0$】找 $y_{0}\in Y \cap \partial Y$ 使得 - 无穷积分 $$\lim_{ y \to y_{0} }\left|\int_{A}^{+\infty} f(x,y) , \mathrm{d}x \right|= k \neq 0 $$ - 瑕积分 $$\lim_{ y \to y_{0} } \left|\int_{a}^{A} f(x,y) , \mathrm{d}x \right|=k \neq 0$$ 其中 $k$ 与 $A$ 无关
- 【换限】 ⭐️
- 把参数 $y$ 通过换元放到积分限上得到 $$\int_{A}^{A+P} f(x,y) , \mathrm{d}x \xlongequal{u=u(x,y)} \int_{l(A,y)}^{L(A,y)} g(u) , \mathrm{d}u $$
- 令 $y$ 趋近于不一致连续点
- 得到积分值不趋于 $0$
- 【换序】$\exists l$ 使得 $\forall N$ $\exists A>N,y_{0}\in Y$ 有 $$\left|\int_{A}^{+\infty} f(x,y_{0}) , \mathrm{d}x \right| > l \nrightarrow 0$$
- 【分部积分】
- 【求原函数后检查连续性】
- 【换限】 ⭐️
-