数学分析(十二)-数项级数3-一般项级数3：阿贝尔判别法【若{aₙ}单调有界且级数Σbₙ收敛】、狄利克雷判别法【若{aₙ}单调递减且lim_{n→∞}aₙ=0且Σbₙ部分和有界】，则级数Σaₙbₙ收敛

本段介绍两个判别一般项级数收敛性的方法, 先引进一个公式:

引理 (分部求和公式, 也称阿贝尔变换 )

设${\epsilon }_i,v_i(i=1,2,\cdots ,n)$ 为两组实数,若令

$${\sigma }_k=v_1+v_2+\cdots +v_k(k=1,2,\cdots ,n),$$

则有如下分部求和公式成立:

$$\sum _{i=1}^n{\epsilon }_i{v}_i=\left({\epsilon }_1-{\epsilon }_2\right){\sigma }_1+\left({\epsilon }_2-{\epsilon }_3\right){\sigma }_2+\cdots +\left({\epsilon }_{n-1}-{\epsilon }_n\right){\sigma }_{n-1}+{\epsilon }_n{\sigma }_n.(18)$$

证
以 $v_1={\sigma }_1,v_k={\sigma }_k-{\sigma }_{k-1}(k=2,3,\cdots ,n)$分别乘 ${\epsilon }_k(k=1,2,\cdots ,n)$, 整理后就得所要证的公式(18).

推论 (阿贝尔引理)

若
(i) ${\epsilon }_1,{\epsilon }_2,\cdots ,{\epsilon }_n$是单调数组;
(ii) 对任一正整数 $k(1⩽k⩽$