数项级数的概念与性质

官方经济学老师·11 页·深入(追求细节与边界)·0 次浏览·3 天前
数项级数收敛判别条件收敛重排定理

数项级数的概念与性质

搞懂部分和、收敛判别、条件收敛与重排定理之间的层级与边界

按 空格/→ 演示下一步

1 / 11 页

全部页面点击任意一页,跳回舞台从这页播放

数项级数收敛判别条件收敛重排定理

数项级数的概念与性质

搞懂部分和、收敛判别、条件收敛与重排定理之间的层级与边界

1第 1 页 · 数项级数的概念与性质

数项级数的概念

上页给出整体印象,本页聚焦核心:'无穷多个数相加'到底什么意思?我们不能真的无穷次累加,严格定义借助的是部分和数列的极限——这正是本节要建立的地基。

级数的形式
把数列 {aₙ} 用 + 号串接,记作 Σaₙ = a₁+a₂+a₃+...
部分和 Sₙ
Sₙ = a₁+...+aₙ;无穷和无法直接相加,须借助 {Sₙ} 的极限来定义
收敛与发散
若 lim Sₙ 存在且有限,则级数收敛到该极限;否则发散
典型应用
物理中无穷小量求和、概率分布、函数泰勒展开系数等
每天存款 aₙ 元对应 →数列与级数部分和

每天的存款对应 aₙ,n 天后总存款对应 Sₙ;存款逼近上限就是收敛

$\sum_{n=1}^{\infty} a_n \triangleq \lim_{n\to\infty} S_n, \quad S_n = \sum_{k=1}^{n} a_k$
2第 2 页 · 数项级数的概念

级数收敛的概念

数列看的是每一项去哪里,级数看的是无穷多项加起来去哪里。上一页我们认识了数项级数的写法,这一页聚焦它的核心概念——收敛。

部分和数列
S_n=a₁+a₂+…+aₙ,是级数从第1项加到第n项的结果
收敛的本质
Σaₙ 收敛等价于部分和数列 {S_n} 趋于某个有限极限 S
必要不充分
aₙ→0 是级数收敛的必要条件,但调和级数表明它并不充分
典型应用
泰勒级数、傅里叶级数把函数展为无穷级数,截断即得多项式逼近
每天往存钱罐存一笔钱对应 →级数求和

aₙ 是每天存的钱,Sₙ 是累计金额;金额越来越小≠能存到有限目标

S=n=1an    limnSn=S,Sn=k=1nakS=\sum_{n=1}^{\infty}a_n \;\Leftrightarrow\; \lim_{n\to\infty}S_n=S,\quad S_n=\sum_{k=1}^{n}a_k
3第 3 页 · 级数收敛的概念

级数收敛的性质

上节我们说级数收敛就是部分和 S_n 趋近于某个极限。但收敛之后,这个级数还能怎么「玩」?几项合并、几项删掉、和另一个级数相加,是否还收敛?这就是收敛级数的「操作权限」问题。

通项趋于零(必要条件)
若 ∑aₙ 收敛则 aₙ→0;反之不成立,调和级数即反例
线性性
两个收敛级数逐项相加或数乘仍收敛,和等于各自和的线性组合
加括号仍收敛
收敛级数任意加括号不改变收敛性与和;逆命题不成立
有限项不改变敛散
增加、删除、修改有限项不影响敛散性,但和可能改变
往杯中一勺勺加水对应 →级数收敛后的操作权限

每勺越来越少才逼近极限水位;中途换勺、并勺、漏掉前几勺,水位都不变

若级数n=1an收敛,则limnan=0若级数 \sum_{n=1}^{\infty} a_n 收敛,则 \lim_{n \to \infty} a_n = 0
4第 4 页 · 级数收敛的性质

级数收敛的Cauchy准则

前面讲过,级数收敛等价于部分和趋于某数。但很多时候我们根本不知道那个数是多少,怎么办?Cauchy准则给了一条只需看部分和之间差距的判别法,堪称级数理论的「宪法」。

ε-N陈述
∀ε>0,∃N,∀m>n>N,|a_{n+1}+…+a_m|<ε
部分和为Cauchy列
{S_n}收敛的充要条件是它自身构成Cauchy列
关键优势
不必先知道∑aₙ等于多少,只看尾段能否任意小
典型用途
和无法求出但能估计尾段上界的级数,用它证收敛
序列Cauchy列判别对应 →级数收敛Cauchy准则

级数收敛等价于部分和{S_n}是Cauchy列——把序列结论搬到级数

n=1an 收敛ε>0,N,m>n>N:k=n+1mak<ε\sum_{n=1}^\infty a_n\text{ 收敛}\Longleftrightarrow\forall \varepsilon>0,\exists N,\forall m>n>N:\left|\sum_{k=n+1}^m a_k\right|<\varepsilon
5第 5 页 · 级数收敛的Cauchy准则

正项级数的概念

上一页 Cauchy 准则要求对任意 m、n 估计 |Sₘ-Sₙ|,操作繁琐。但若每项 aₙ≥0,部分和只会越加越大,判断收敛只需问一句:有上界吗?

正项级数的定义
级数 Σaₙ 中每一项都满足 aₙ ≥ 0
部分和单调递增
Sₙ₊₁ = Sₙ + aₙ₊₁ ≥ Sₙ,永不下降
收敛等价于有界
正项级数收敛 ⟺ 部分和序列 {Sₙ} 有上界
化繁为简的价值
把 Cauchy 准则「任意两段」缩成「找一个上界」
存钱罐对应 →正项级数部分和

每日只存不取钱越攒越多;要么有上限封口,要么撑破发散

Sn=k=1nak, ak0an 收敛{Sn} 有上界S_n = \sum_{k=1}^{n} a_k,\ a_k\geq 0 \Rightarrow \sum a_n\text{ 收敛} \Leftrightarrow \{S_n\}\text{ 有上界}
6第 6 页 · 正项级数的概念

正项级数的比较判别法

上回认识了正项级数——所有项都非负。这一页要回答一个常被问到的问题:如果手头有个 ∑aₙ 不好直接判别收敛性,能不能借一个已知收敛或发散的级数当尺子?

核心思路
找一个已知敛散的正项级数 ∑bₙ 当尺子,逐项比较 aₙ 与 bₙ
收敛方向
若 0≤aₙ≤bₙ 且 ∑bₙ 收敛,则 ∑aₙ 也收敛
发散方向
若 0≤bₙ≤aₙ 且 ∑bₙ 发散,则 ∑aₙ 也发散
关键前提
不等式必须对每个 n 都成立;两个级数都得是正项级数
水流进有限水池对应 →比较判别法

大水管能灌满,小水管也能;小水管溢出,大水管也溢

0anbn, bn 收敛an 收敛0bnan, bn 发散an 发散0\le a_n\le b_n,\ \sum b_n\text{ 收敛}\Rightarrow \sum a_n\text{ 收敛}\qquad 0\le b_n\le a_n,\ \sum b_n\text{ 发散}\Rightarrow \sum a_n\text{ 发散}
7第 7 页 · 正项级数的比较判别法

正项级数的比阶判别法

上页的比较判别法要我们手握一个已知级数当「上下界」。比阶判别法更精细——直接拿p-级数Σ1/n^p当标尺,看a_n衰减得和哪个p同量级。

比阶思想
用p-级数Σ1/n^p作参照标尺,考察a_n的衰减阶数
同阶同敛散
若lim n^p·a_n∈(0,+∞),则Σa_n与Σ1/n^p同敛散
高阶必收敛
若lim n^p·a_n=0 且 p>1,则Σa_n收敛
低阶必发散
若lim n^p·a_n=+∞ 且 p≤1,则Σa_n发散
p的选取
看a_n中n的最高次幂,p取略大于它的实数
用刻度尺量身高对应 →用p-级数测a_n的阶

不同p是不同量程的尺;找到a_n落在哪段刻度,就是比出了它的阶

limnnpan=l\lim_{n\to\infty} n^p\, a_n = l
8第 8 页 · 正项级数的比阶判别法

正项级数的比值判别法

上页比阶判别法要拿 1/nᵖ 作对照。可含 n!、aⁿ 的级数跟它八竿子打不着,硬比太累。换条路:看自己——后一项比前一项缩了多少。这就是比值判别法。

核心做法
求 $\lim_{n\to\infty} a_{n+1}/a_n$,记作 ρ,看相邻项按何比例缩放
ρ<1 收敛
取 q∈(ρ,1),存在 N 使 n≥N 时 aₙ₊₁ ≤ q·aₙ,整个级数夹到公比 q 的等比级数
ρ>1 发散
存在 N 使 n≥N 时 aₙ₊₁ ≥ aₙ > 0,故 aₙ 不趋于零,违反收敛必要条件
ρ=1 失效
此时级数可能收敛也可能发散,本方法作废,须换比较、根值或积分判别法
证明关键
ρ<1 侧夹到等比;ρ>1 侧反证 aₙ 不趋于零——本质都是跟等比级数找关系
账户每月扣剩 ρ 倍余额对应 →比值判别法

余额=上月×ρ;ρ<1 总清零,ρ>1 越滚越大,ρ=1 原地不动——三种走向对应三个结论

ρ=limnan+1an,{ρ<1:an 收敛rho>1:an 发散rho=1:本法失效\rho = \lim_{n \to \infty}\frac{a_{n+1}}{a_n},\quad \begin{cases}\rho<1:\,\sum a_n\text{ 收敛}\\rho>1:\,\sum a_n\text{ 发散}\\rho=1:\,\text{本法失效}\end{cases}
9第 9 页 · 正项级数的比值判别法

本节要点

  • 收敛的判定本质是看部分和序列,极限不存在则发散
  • Cauchy 准则把'极限'翻译成'自封',不依赖已知和
  • 正项级数三大判别法递进:比较找参照,比阶量阶,比值看比
  • 易错:通项趋于0是必要非充分条件,参照系选择是成败关键
延伸主题:交错级数与 Leibniz 判别法任意项级数的绝对与条件收敛幂级数与函数项级数初步
10第 10 页 · 本节要点

课后思考

这三道题先自己想,再看参考答案。题目覆盖三个层次:定义辨析、灵活应用、边界探索。

1级数收敛等价于部分和序列收敛。如果只把'收敛'换成'有界',结论还成立吗?为什么?

参考答案不一定。部分和有界不能推出部分和收敛——这正是Cauchy准则要补的洞。核心原因:有界是'不跑远',收敛是'有极限',两者差一个'越算越靠近某一点'。

2遇到一个含参级数,参数在不同范围内要用不同的判别法。你能设计一个这样的例子,并说清楚判别法切换的临界点在哪吗?

参考答案比如 Σxⁿ/n:|x|<1时用比值判别法(极限|x|<1),|x|>1时通项不趋于零直接发散,x=1时退化为调和级数。临界点在|x|=1,需要单独讨论。

3正项级数的比较判别法要求 aₙ≤bₙ。换个方向 aₙ≥bₙ 时,能得到什么结论?比较判别法的极限形式把这个关系推到了什么程度?

参考答案aₙ≥bₙ且Σbₙ收敛 ⇒ Σaₙ收敛;若Σaₙ发散则Σbₙ也发散。极限形式 lim aₙ/bₙ=c∈(0,∞) 时统一处理,但c=0或∞时需要单独判别,判别法失效的边界就在这。

11第 11 页 · 课后思考