Abel变换+AD判别法

求和+差分+Abel变换

$$狄利克雷判别法:若数列an单调且趋于0,S{b}_k有界，则级数>a。b。收敛$$

$$\sum _{n=1}^N{a}_n{b}_n=\sum _{n=1}^N{a}_n(S_n-S_{n-1})$$

$$\begin{gathered} a_N{S}_N-a_N{S}_{N-1} \\ {a}_{N-1}{S}_{N-1}-a_{N-1}{S}_{N-2} \\ {a}_{N-2}{S}_{N-2}-a_{N-2}{S}_{N-3} \\ ⋮⋮ \\ {a}_3{S}_3-a_3{S}_2 \\ {a}_2{S}_2-a_2{S}_1 \\ {a}_1{S}_1-a_1{S}_0 \end{gathered}$$

$$提出首尾a_N{S}_N--a_1{S}_0$$
$$剩下\sum _{n=2}^N{s}_{n-1}(a_n-a_{n-1})$$

1.提出求和部分，使得差部分抵消，所以要求和部分有界
2.由此对a_n部分使用三角不等式放缩，要求a_n单调

$$\begin{gathered} 加上绝对值考虑|\sum _{n=1}^N{a}_n{b}_n|=|\sum _{n=2}^N{s}_{n-1}(a_n-a_{n-1})|+|a_N{S}_N--a_1{S}_0| \\ =\sum _{n=2}^N|s_{n-1}(a_n-a_{n-1})|+|a_N{S}_N--a_1{S}_0| \\ 单调后（a_n-a_{n-1}）都是同号的,能去掉绝对值进行“消去”运算 \\ \le \sum _{n=2}^{N}M|(a_n-a_{n-1})|+|a_N{S}_N--a_1{S}_0|=M|(a_n-a_1)|+|a_N{S}_N--a_1{S}_0| \end{gathered}$$

3.要求收敛则余项部分应为零(柯西收敛准则)$$\sum _{n=1}^N{a}_n{b}_n\approx 0,，由上只需|\sum _{n=1}^N{a}_n{b}_n|<\epsilon$$
$$"最后N项"有相同的形式:M|(a_n-a_1)|+|a_N{S}_N|$$

3.1. sn收敛的话，M(部分和数列的界)=0，可提供和部分的零
3.2 an收敛到零的话，可提供差结果中的零

综上所述

阿贝尔判别法

若 数 列 { a n } 单 调 有 界 ， 级 数 ∑ n = 1 ∞ b n 收 敛 ， 则 数 项 级 数 ∑ n = 1 ∞ a n b n 收 敛 若数列\{a_n \}单调有界，级数\sum_{n=1}^{\infty}b_n收敛，则数项级数\sum_{n=1}^{\infty}a_nb_n收敛 若数列{an​}单调有界，级数n=1∑∞​bn​收敛，则数项级数n=1∑∞​an​bn​收敛

迪利克雷判别法

若 数 列 { a n } 单 调 且 趋 向 于 0 ， 级 数 ∑ n = 1 n b n 有 界 ， 则 数 项 级 数 ∑ n = 1 ∞ a n b n 收 敛 若数列\{a_n \}单调且趋向于0，级数\sum_{n=1}^{n}b_n有界，则数项级数\sum_{n=1}^{\infty}a_nb_n收敛 若数列{an​}单调且趋向于0，级数n=1∑n​bn​有界，则数项级数n=1∑∞​an​bn​收敛

迪利克雷的收敛不能证明绝对收敛：(迪利克雷判别法的加绝对值是对整体加的绝对值，而绝对收敛的绝对值加在了每一项上)