数项级数——(三)一般项级数

一.交错级数

若级数的各项符号正负相间即u_1-u_2+u_3-u_4+...+(-1)^{n+1}u_n+...(u_n>0,n=1,2,...),(1)则称(1)为交错级数。

定理1(莱布尼茨判别法)

若交错级数(1)满足下述两个条件:

(i)数列\{u_n\}单调递减;

(ii)\lim_{n\to \infty}u_n=0;

则级数(1)收敛。

推论:若级数(1)满足莱布尼茨判别法的条件,则收敛级数(1)的余项估计式为\left | R_n \right |=\left | S-S_n \right |\leqslant u_{n+1}.

二.绝对收敛级数及其性质

若级数u_1+u_2+...+u_n+...(2)各项绝对值所组成的级数\left | u_1 \right |+\left | u+2 \right |+...+\left | u_n \right |+...(3)收敛,则称级数(2)为绝对收敛级数;若级数(2)收敛,而级数(3)不收敛,则称级数(2)为条件收敛级数。

定理2

绝对收敛级数一定收敛。\Leftrightarrow\sum\left | u_n \right |收敛,则\sum u_n收敛。

绝对收敛级数的两个重要性质

1.级数的重排

我们把正整数列\{1,2,...,n,...\}到它自身的一 一映射f:n\to k(n)称为正整数列的重排,相应地对于数列\{u_n\}按映射F:u_n\to u_{k(n)}所得到的数列\{u_{k(n)}\}称为原数列的重排。相应于此,我们也称级数\sum_{n=1}^{\infty}u_{k(n)}是级数(2)的重排。为叙述上的方便,记v_n=u_{k(n)},即把级数\sum_{n=1}^{\infty}u_{k(n)}写作v_1+v_2+...+v_n+...(4)

定理3

设级数(2)绝对收敛,且其和等于S,则任意重排后得到的级数(4)也绝对收敛,且有相同的和数。

注意:由条件收敛级数重排后所得到的新级数,即使收敛,也不一定收敛于原来的和数,而且条件收敛级数适当重排后,可得到发散级数,或收敛于任何事先指定的数。

2.级数的乘积

设有收敛级数\sum u_n=u_1+u_2+...+u_n+...=A(5),\sumv_n=v_1+v_2+...+v_n+...=B(6)把级数(5)与(6)中每一项所有可能的乘积列成下表

\begin{matrix} u_1v_1&u_1v_2&u_1v_3&...&u_1v_n&...\\ u_2v_1&u_2v_2&u_2v_3&...&u_2v_n&...\\ u_3v_1&u_3v_2&u_3v_3&...&u_3v_n&...\\ \cdots &\cdots &\cdots &...&\cdots &...\\ u_nv_1&u_nv_2&u_nv_3&...&u_nv_n&...\\ \cdots &\cdots &\cdots &...&\cdots &... \end{matrix}(7)

这些乘积u_iv_j可以按各种方法排成不同的级数,常用的有按正方形顺序或对角线顺序依次相加。

定理4(柯西定理)

若级数(5)、(6)都绝对收敛,则对(7)中所有乘积u_iv_j按任意顺序排列所得到的级数\sum w_n也绝对收敛,且其和等于AB.

三.阿贝尔判别法和狄利克雷判别法

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

\varepsilon _i,v_i(i=1,2,...,n)为两组实数,若令\sigma _k=v_1+v_2+...+v_k(k=1,2,...,n),则有如下分部求和公式成立:

\sum_{i=1}^{n}\varepsilon _iv_i=(\varepsilon _1-\varepsilon _2)\sigma _1+(\varepsilon _2-\varepsilon _3)\sigma _2+...+(\varepsilon _{n-1}-\varepsilon _n)\sigma _{n-1}+\varepsilon _n\sigma _n.

推论(阿贝尔引理)

(i)\varepsilon _1,\varepsilon _2,...,\varepsilon _n是单调数列;

(ii)对任一正整数k(1\leqslant k\leqslant n)\left | \sigma _k \right |\leqslant A(\sigma _k=v_1+v_2+...v_k);

则记\varepsilon =\max_{k}\{\left | \varepsilon _k \right |\},\left | \sum_{k=1}^{n}\varepsilon _kv_k \right |\leqslant 3\varepsilon A.

现在讨论级数\sum a_nb_n=a_1b_1+a_2b_2+...+a_nb_n+...(8)收敛性的判别法。

定理5(阿贝尔判别法)

\{a_n\}为单调有界数列,且级数\sum b_n收敛,则级数(8)收敛。

定理6(狄利克雷判别法)

若数列\{a_n\}单调递减,且\lim_{n\to \infty}a_n=0,又级数\sum b_n的部分和数列有界,则级数(8)收敛。

数项级数——(三)一般项级数_第1张图片

 

你可能感兴趣的:(数学分析)