课程笔记

12.1常数项级数的概念和性质

阅读入口

学习安排

正文从回顾数列开始,再把“把数列的项依次加起来”写成级数,把敛散性完全交给部分和数列 {sn}\{s_n\}。本节的主线是:一般项 → 部分和 → 部分和数列的极限,五条性质都建立在这条链上。

性质按“线性、加减、有限项、加括号、必要条件”的顺序排列。性质4与性质5都附带“逆命题不成立”的提醒,这两个提醒比性质本身的表述更容易在判断题里用错,阅读时要把补充条件一起记住。

本节列出的三个标准级数各有分工:等比级数给出可以直接写出的和;调和级数用来否定“一般项趋于零即收敛”;pp 级数在12.2的比较审敛法中作为比较对象反复使用。读12.2之前,先把 pp 级数在 p>1p>1、p≤1p\le1 两种情形下的结论记牢。

定义与部分和

给定数列 {un}\{u_n\},把它的项依次相加得到的表达式

u1+u2+u3+⋯+un+⋯u_1+u_2+u_3+\cdots+u_n+\cdots

称为(常数项)无穷级数,简称级数,记作 ∑n=1∞un\sum_{n=1}^{\infty}u_n。其中 unu_n 称为级数的一般项,也叫通项。

级数的前 nn 项之和

sn=u1+u2+⋯+un=∑k=1nuks_n=u_1+u_2+\cdots+u_n=\sum_{k=1}^{n}u_k

称为部分和,s1,s2,…,sn,…s_1,s_2,\dots,s_n,\dots 构成部分和数列 {sn}\{s_n\}。

若部分和数列的极限存在,即

lim⁡n→∞sn=s,\lim_{n\to\infty}s_n=s,

则称级数 ∑n=1∞un\sum_{n=1}^{\infty}u_n 收敛,ss 称为级数的和,记作 ∑n=1∞un=s\sum_{n=1}^{\infty}u_n=s。若 {sn}\{s_n\} 的极限不存在,则称级数发散。

级数收敛时,和与部分和之差

rn=s−snr_n=s-s_n

称为级数的余项。

判断级数收敛,就是判断部分和数列是否有有限极限;求级数的和,就是求这个极限。一般项 unu_n 描述级数的结构,但判断敛散性仍要回到 {sn}\{s_n\},不能只看某一项或某几项。

敛散性交给部分和之后,性质就可以逐条用 {sn}\{s_n\} 验证。

性质

以下性质都针对收敛级数。记 ∑n=1∞un=s\sum_{n=1}^{\infty}u_n=s,∑n=1∞vn=σ\sum_{n=1}^{\infty}v_n=\sigma。

线性与加减

若 ∑un\sum u_n 收敛于 ss,kk 为常数,则 ∑kun\sum ku_n 也收敛,且

∑n=1∞kun=ks.\sum_{n=1}^{\infty}ku_n=ks.

若 ∑un\sum u_n、∑vn\sum v_n 分别收敛于 ss、σ\sigma,则 ∑(un±vn)\sum(u_n\pm v_n) 也收敛,且

∑n=1∞(un±vn)=s±σ.\sum_{n=1}^{\infty}(u_n\pm v_n)=s\pm\sigma.

添去或改变有限项

在级数中去掉、加上或改变有限项,不改变级数的收敛性或发散性;收敛时,级数的和一般会改变。

这条性质说明级数可以从任意一项开始写,起点不同只差有限项,所以 pp 级数、等比级数常从 n=0n=0 或 n=1n=1 写起。

加括号

收敛级数任意加括号后所得的新级数仍然收敛,且和不变。也就是说,把相邻若干项先求和再相加,不会改变收敛级数的和。这条性质也常称为级数的结合律。

收敛的必要条件

若 ∑un\sum u_n 收敛,则

lim⁡n→∞un=0.\lim_{n\to\infty}u_n=0.
证明

设 ∑un\sum u_n 收敛于 ss,则 sn→ss_n\to s,且 sn−1→ss_{n-1}\to s。由 un=sn−sn−1u_n=s_n-s_{n-1} 得

lim⁡n→∞un=lim⁡n→∞sn−lim⁡n→∞sn−1=s−s=0.\lim_{n\to\infty}u_n=\lim_{n\to\infty}s_n-\lim_{n\to\infty}s_{n-1}=s-s=0.

性质对一般级数成立,具体到某类级数还要会算部分和,下一段给三个标准例子。

典型级数

等比级数

形如

∑n=0∞aqn=a+aq+aq2+⋯+aqn+⋯(a≠0)\sum_{n=0}^{\infty}aq^n=a+aq+aq^2+\cdots+aq^n+\cdots\qquad(a\ne0)

的级数称为等比级数,也叫几何级数,qq 称为公比。当 q≠1q\ne1 时,部分和为

sn=a+aq+⋯+aqn−1=a1−qn1−q.s_n=a+aq+\cdots+aq^{n-1}=a\frac{1-q^n}{1-q}.
  • 当 ∣q∣<1|q|<1 时,qn→0q^n\to0,级数收敛,和为 s=a1−qs=\dfrac{a}{1-q};
  • 当 ∣q∣≥1|q|\ge1 时,qnq^n 不趋于 00(q=1q=1 时 sn=nas_n=na),级数发散。

等比级数的和可以直接写出,在幂级数等场合常作为比较对象。

调和级数

∑n=1∞1n=1+12+13+⋯+1n+⋯\sum_{n=1}^{\infty}\frac1n=1+\frac12+\frac13+\cdots+\frac1n+\cdots

称为调和级数。它的一般项 1n→0\dfrac1n\to0,满足收敛的必要条件,但级数发散。

证明 调和级数发散

把级数按 22 的幂分组:

1+12+(13+14)+(15+⋯+18)+⋯1+\frac12+\left(\frac13+\frac14\right)+\left(\frac15+\cdots+\frac18\right)+\cdots

第 kk 组从 12k−1+1\dfrac1{2^{k-1}+1} 到 12k\dfrac1{2^k},共 2k−12^{k-1} 项,每项都不小于 12k\dfrac1{2^k},所以第 kk 组的和不小于

2k−1⋅12k=12.2^{k-1}\cdot\frac1{2^k}=\frac12.

于是

s2k≥1+k2→+∞,s_{2^k}\ge 1+\frac k2\to+\infty,

部分和数列无上界,调和级数发散。

调和级数是“一般项趋于零不能保证收敛”的标准反例。

p级数

∑n=1∞1np=1+12p+13p+⋯+1np+⋯\sum_{n=1}^{\infty}\frac1{n^p}=1+\frac1{2^p}+\frac1{3^p}+\cdots+\frac1{n^p}+\cdots

称为 pp 级数,pp 为常数。其敛散性为:

  • 当 p>1p>1 时收敛;
  • 当 p≤1p\le1 时发散。

p=1p=1 时就是调和级数。pp 级数是正项级数最常用的比较对象,具体的比较方式见常数项级数的审敛法。

与 pp 级数比较

∑1n2+1\sum\dfrac1{n^2+1} 的通项小于 1n2\dfrac1{n^2},而 p=2>1p=2>1 的 pp 级数收敛,所以原级数收敛。

∑1n\sum\dfrac1{\sqrt n} 就是 p=12≤1p=\dfrac12\le1 的 pp 级数,发散。

三个标准级数到这里就齐了,它们的结论在12.2里还会作为比较对象出现。

课程约定

  • 一般级数从 n=1n=1 写作 ∑n=1∞un\sum_{n=1}^{\infty}u_n,等比级数从 n=0n=0 写;两种起点混用时以下标范围为准。起点不同只差有限项,按性质3不影响敛散性。
  • unu_n 称为一般项(也写作通项),sns_n 称为部分和,s−sns-s_n 称为余项。
  • 性质4的“加括号”是把相邻的项重新分组,各项的先后顺序保持不变。交换项的顺序可能改变级数的和,甚至改变敛散性;绝对收敛时才能任意重排。

重点与易错点

  • 敛散性只看 {sn}\{s_n\} 的极限是否存在。写出一个“和”的表达式不等于证明了收敛,要先确认部分和数列有极限。
  • 性质3只说敛散性不变;收敛时级数的和会改变,不要读成“去掉有限项后和不变”。
  • 性质4的逆命题不成立:加括号后收敛推不出原级数收敛,还需要 un→0u_n\to0。
  • 性质5是必要条件。lim⁡un≠0\lim u_n\ne0 可以直接判定发散,lim⁡un=0\lim u_n=0 不能判定收敛,调和级数就是反例。
  • 等比级数在 ∣q∣≥1|q|\ge1 时发散,包括 q=1q=1 和 q=−1q=-1 这两个容易被单独漏掉的情形。

复习要点

先默写“一般项—部分和—部分和数列”这条链,再逐条复述五条性质。最后独立回答三个问题:等比级数在 ∣q∣<1|q|<1 时的和是什么;调和级数为什么发散;pp 级数在 p=1p=1 时是哪个级数。三问都能答上,再进入12.2的审敛法。