级数的收敛性判定

同学们，今天我们要探讨一个数学中的重要问题：如何判断一个级数是否收敛？收敛速度又如何？这个问题在π的计算中尤为关键！

问题提出

当我在呼噜星球开始讲解级数的时候，学生们都抱着怀疑的态度。呼噜星的小明挠着头问：“老师，你说这些无穷级数真的能计算出具体的数值吗？无穷多个数加起来，不会越来越大吗？”

我微笑着说：“问得好！这正是我们需要研究的级数收敛性。一个级数 $\sum_{n=1}^{\infty} a_n$ 并不一定总是发散的，很多情况下它会收敛到一个有限的数值。“

在数学中，级数的收敛性是一个基础而又重要的问题。对于正项级数、交错级数等不同类型的级数，我们有相应的判别法来判断它们的收敛性。

正项级数判别法

基本概念

首先，我们来看正项级数。如果一个级数的每一项都是非负数，即 $a_n \geq 0$ 对所有 $n$ 都成立，那么这个级数就称为正项级数。

比较判别法

比较判别法是我们判断正项级数收敛性的第一个工具。

例子：比较判别法的应用

让我们看一个具体的例子。考虑级数 $\sum_{n=1}^{\infty} \frac{1}{n^2}$。

我们知道调和级数 $\sum_{n=1}^{\infty} \frac{1}{n}$ 是发散的，但 $\frac{1}{n^2}$ 比 $\frac{1}{n}$ 小得多。让我们用比较判别法来判断：

取 $b_n = \frac{1}{n^2}$，我们可以找到一个收敛的几何级数 $\sum_{n=1}^{\infty} \frac{1}{2^n}$ 作为比较对象。

当 $n \geq 2$ 时，$n^2 \geq 2n$，所以 $\frac{1}{n^2} \leq \frac{1}{2n} \leq \frac{1}{2} \cdot \frac{1}{2^{n-1}}$。

由于几何级数 $\sum_{n=1}^{\infty} \frac{1}{2^n}$ 是收敛的，根据比较判别法，$\sum_{n=1}^{\infty} \frac{1}{n^2}$ 也是收敛的。

比值判别法

比值判别法是判断正项级数收敛性的另一个重要工具。

例子：比值判别法的应用

考虑级数 $\sum_{n=1}^{\infty} \frac{n!}{n^n}$。

应用比值判别法：

计算极限：

因此，级数 $\sum_{n=1}^{\infty} \frac{n!}{n^n}$ 收敛。

根值判别法

根值判别法是比值判别法的一个变体。

例子：根值判别法的应用

考虑级数 $\sum_{n=1}^{\infty} \left(\frac{2n+1}{3n+2}\right)^n$。

应用根值判别法：

计算极限：

因此，级数收敛。

交错级数判别法

交错级数的概念

交错级数是指正负项交替出现的级数。一般形式为： $\sum_{n=1}^{\infty} (-1)^{n-1} a_n \quad \text{或} \quad \sum_{n=1}^{\infty} (-1)^n a_n$ 其中 $a_n > 0$。

Leibniz判别法

例子：Leibniz判别法的应用

考虑交错级数 $\sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n}$。

验证Leibniz判别法的条件：

1. $\frac{1}{n+1} \leq \frac{1}{n}$ 对所有 $n$ 成立；
2. $\lim_{n \to \infty} \frac{1}{n} = 0$。

两个条件都满足，因此该交错级数收敛。这就是著名的交错调和级数。

绝对收敛与条件收敛

绝对收敛

绝对收敛的级数一定是收敛的。这是因为： $|a_n + a_{n+1} + \cdots + a_m| \leq |a_n| + |a_{n+1}| + \cdots + |a_m|$

如果 $\sum |a_n|$ 收敛，那么根据Cauchy准则，$\sum a_n$ 也收敛。

条件收敛

例子：绝对收敛与条件收敛

考虑级数 $\sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n^2}$。

首先看绝对值级数： $\sum_{n=1}^{\infty} \left|\frac{(-1)^{n-1}}{n^2}\right| = \sum_{n=1}^{\infty} \frac{1}{n^2}$

这是一个p-级数，p=2>1，因此收敛。所以原级数是绝对收敛的。

再看级数 $\sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n}$。

绝对值级数是 $\sum_{n=1}^{\infty} \frac{1}{n}$，这是调和级数，发散。但原级数在Leibniz判别法下收敛，因此这是条件收敛的。

收敛速度的概念

收敛速度的定义

收敛速度的比较

不同的级数具有不同的收敛速度。一般来说：

• 线性收敛：$|r_{n+1}| \approx c |r_n|$，其中 $0 < c < 1$
• 二次收敛：$|r_{n+1}| \approx c |r_n|^2$
• p阶收敛：$|r_{n+1}| \approx c |r_n|^p$

例子：收敛速度的计算

考虑几何级数 $\sum_{n=0}^{\infty} \frac{1}{2^n} = 2$。

部分和：$S_n = \sum_{k=0}^{n} \frac{1}{2^k} = 2 - \frac{1}{2^n}$

余项：$|r_n| = |S - S_n| = \frac{1}{2^n} = 2^{-n}$

这里 $|r_n| = O(2^{-n})$，是指数收敛。

而p-级数 $\sum_{n=1}^{\infty} \frac{1}{n^2}$ 的余项大约是 $O(\frac{1}{n})$，是线性收敛。

应用于π的级数

Machin公式

π的著名计算公式Machin公式就是一个很好的应用例子： $\frac{\pi}{4} = 4 \arctan\frac{1}{5} - \arctan\frac{1}{239}$

利用 $\arctan x = \sum_{n=0}^{\infty} \frac{(-1)^n}{2n+1} x^{2n+1}$，我们可以得到：

$\frac{\pi}{4} = 4 \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)5^{2n+1}} - \sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)239^{2n+1}}$

收敛速度分析

第一个级数 $\sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)5^{2n+1}}$ 的通项为 $a_n = \frac{(-1)^n}{(2n+1)5^{2n+1}}$。

绝对值 $|a_n| = \frac{1}{(2n+1)5^{2n+1}} \leq \frac{1}{5^{2n+1}} = \frac{1}{5} \cdot \left(\frac{1}{25}\right)^n$

这是一个几何级数，公比 $r = \frac{1}{25} < 1$，因此收敛速度非常快。

第二个级数 $\sum_{n=0}^{\infty} \frac{(-1)^n}{(2n+1)239^{2n+1}}$ 收敛得更快，因为公比 $r = \frac{1}{239^2} \approx \frac{1}{57121}$。

例题与应用

例题1：判断级数收敛性

问题：判断级数 $\sum_{n=1}^{\infty} \frac{\sin n}{n^3}$ 的收敛性。

解：由于 $|\sin n| \leq 1$，所以 $\left|\frac{\sin n}{n^3}\right| \leq \frac{1}{n^3}$。

级数 $\sum_{n=1}^{\infty} \frac{1}{n^3}$ 是p-级数，p=3>1，收敛。

根据比较判别法，$\sum_{n=1}^{\infty} \left|\frac{\sin n}{n^3}\right|$ 收敛，因此原级数绝对收敛，从而收敛。

例题2：条件收敛的判断

问题：判断级数 $\sum_{n=1}^{\infty} \frac{(-1)^n}{\sqrt{n}}$ 的收敛性。

解：这是一个交错级数，应用Leibniz判别法：

1. $\frac{1}{\sqrt{n+1}} \leq \frac{1}{\sqrt{n}}$，单调递减；
2. $\lim_{n \to \infty} \frac{1}{\sqrt{n}} = 0$。

因此级数收敛。

但是绝对值级数 $\sum_{n=1}^{\infty} \frac{1}{\sqrt{n}}$ 是p-级数，p=1/2<1，发散。所以原级数条件收敛。

例题3：收敛速度的估计

问题：估计级数 $\sum_{n=1}^{\infty} \frac{(-1)^{n-1}}{n^2}$ 的余项大小。

解：这是一个交错级数，且 $\frac{1}{(n+1)^2} \leq \frac{1}{n^2}$，$\lim_{n \to \infty} \frac{1}{n^2} = 0$。

根据交错级数的性质，余项 $|r_n| \leq a_{n+1} = \frac{1}{(n+1)^2}$。

更精确的估计：对于交错级数，余项的符号与被舍去的第一项相同，且 $|r_n| < a_{n+1}$。

结论与应用

通过今天的课程，我们学习了多种判断级数收敛性的方法：

1. 正项级数判别法：

   • 比较判别法：通过与已知收敛/发散的级数比较
   • 比值判别法：计算 $\lim_{n \to \infty} \frac{a_{n+1}}{a_n}$
   • 根值判别法：计算 $\lim_{n \to \infty} \sqrt[n]{a_n}$

2. 交错级数判别法：

   • Leibniz判别法：单调递减且极限为零

3. 绝对收敛与条件收敛：

   • 绝对收敛 $\Rightarrow$ 收敛
   • 条件收敛：收敛但不绝对收敛

4. 收敛速度：

   • 余项 $|r_n|$ 的大小决定了收敛的快慢
   • 在数值计算中，收敛速度至关重要

这些方法不仅在理论上有重要意义，在实际应用中也非常有用。特别是在π的计算、数值积分等领域，选择合适的级数可以大大提高计算效率。

呼噜星人的收获

今天的学习让呼噜星的学生们大开眼界。小明感叹道：“原来无穷级数真的可以收敛到一个具体的数值！而且还有这么多判断方法！”

小红补充道：“最让我惊讶的是，不同的级数收敛速度差别这么大。有些级数只需要几项就能得到很精确的结果，而有些则需要很多项。”

小李也分享了他的体会：“通过Machin公式的例子，我明白了如何将复杂的问题分解成更简单的部分来解决。数学真是太巧妙了！”

地球老师微笑着总结道：“这就是级数收敛性判别的魅力所在。它不仅让我们理解了无穷的本质，也为解决实际问题提供了有力的工具。希望同学们能够掌握这些方法，在未来的学习和工作中灵活运用！“