任意项级数

下面讨论有正有负的级数，例如曾讨论过的 和 ，我们首先研究这样交错的级数。

交错级数的收敛之莱布尼茨判别法 (Leibniz’s Test)

1. 定理内容 (Theorem)

若级数 满足以下三个条件：

1. 正项性：

2. 单调性： 单调递减，即

3. 趋于零：

则该交错级数 收敛。

---

证明逻辑拆解 (Proof Sketch)

由于负一次方的周期性，自然想到通过分析奇数项部分和与偶数项部分和的单调性与有界性，那么就可以利用单调有界原理完成证明。

A. 部分和的单调性分析

• 奇数项部分和 ：

由此可知，奇数项部分和序列是单调递减的。

• 偶数项部分和 ：

由此可知，偶数项部分和序列是单调递增的。

B. 序列的有界性与极限存在性

通过观察可知：。

• 偶数项序列 ：单调递增且有上界（如 ），根据单调有界原理，极限存在，记为 。

• 奇数项序列 ：单调递减且有下界（如 ），极限存在，记为 。

C. 夹逼与统一极限

利用条件 ：

取极限得：

即 。奇偶子序列极限相等，说明原级数的部分和序列 收敛。

应用示例

那么， 的收敛就显然了。我们考虑一个变种：

那么每三项的和看做一个新通项，不难验证新级数收敛，那么 收敛，不难验证剩下两个剩余类与 极限相同，因为差是形如 的一项。

绝对收敛与条件收敛 (Absolute and Conditional Convergence)

对于任意项级数 ：

定义 (Definitions)

• 绝对收敛 (Absolute Convergence)：若取绝对值后的正项级数 收敛，则称原级数 为绝对收敛。

• 条件收敛 (Conditional Convergence)：若 发散，但原级数 本身收敛，则称原级数为条件收敛。

---

相关定理

定理： 若级数 绝对收敛，则该级数一定收敛。

证明思路 (使用柯西收敛准则)：

根据级数收敛的柯西准则 (Cauchy Criterion)，级数收敛当且仅当对于任意 ，存在 ，使得当 时，对于任意正整数 ，都有：

推导过程：

1. 由于级数绝对收敛，即 收敛，由柯西准则可知：

2. 利用三角不等式 (Triangle Inequality)：

3. 结合以上两点：

   因为右边 ，所以左边 必然成立。

由此证明了原级数 也满足柯西准则，故其必定收敛。

一、 级数项的正部与负部拆分

为了研究任意项级数 ，我们将其每一项拆分为两个非负部分：

• 定义 (Definitions)：

  • ：这是 的正部。若 ，则 ；若 ，则 。

  • ：这是 的负部。若 ，则 ；若 ，则 。

• 性质：

  • （均为非负项），且对于每一项 ，两者中至少有一个为 。

  • ：两部分之和等于原项的绝对值。

  • ：两部分之差还原为原级数项。

---

二、 收敛性的等价关系

基于上述拆分，可以得出关于级数敛散性的重要判定：

1. 绝对收敛的充要条件

定理：级数 绝对收敛 级数 与 均收敛。

• 推导逻辑：

  • 收敛 部分和 有上界。

  • 由于 ，若 有上界，则正项级数 和 必然也都有上界且收敛。

• 结论：在此情况下，原级数可以表示为两个收敛级数的差：

2. 条件收敛的本质

定理：若级数 条件收敛 级数 与 均发散。

• 直观理解：

  • 因为级数收敛，所以 必须趋于 。

  • 但因为不是绝对收敛（ 发散），说明正项部分之和与负项部分之和都是无穷大。

  • 条件收敛的奥秘就在于：虽然正部之和是 ，负部之和也是 ，但它们相减时通过巧妙的抵消，最终达到了一个有限的极限值。

这两种收敛会带来什么结果呢，我们考虑重排。

重排现象

**1. 定义：什么是重排？

• 原始下标序列：

• 重排下标序列：，这是自然数集合到自身的一个一一映射（双射）。

• 定义：给定级数 ，称级数 为其一个重排级数。

---

2. 核心定理 (Theorem)

若级数 绝对收敛，则对于它的任意重排级数 ：

1. 重排级数 也绝对收敛。

2. 重排级数的和与原级数的和相等，即 。

---

3. 证明思路推导 (Proof Sketch)

A. 证明重排后依然绝对收敛

• 已知 收敛，其部分和序列 有界。

• 对于重排级数的任意前 项 ，由于这 个下标必然包含在某个足够大的自然数集合 中。

• 因此有不等式：

• 因为右侧有界，所以重排级数的绝对值部分和序列也有界，从而得出重排级数 绝对收敛。又反过来，右侧也是左侧的重排，所以改换上标后，不等号反向也成立，从而取极限二者只有相等。故重排不改变正项级数的和。

B. 证明级数之和不变

利用正项级数的性质以及级数项的正部（）与负部（）拆分：

• 绝对值之和相等：对于正项级数，重排不改变其和，故 。

• 分部求和：由于绝对收敛，可以将级数拆分为正部 和负部 的差：

  • -

• 最终等式：

---

黎曼重排定理 (Riemann Rearrangement Theorem)

1. 定理描述

设级数 是一个条件收敛级数。则对于任意实数 （或 ），都存在原级数的一个重排 ，使得该重排级数的和恰好等于 ：

2. 核心原理

• 正负部发散：对于条件收敛级数，其正部 和负部 分别组成的级数 和 都是发散的。

• 动态调整：由于正项和负项都有“无限多”且能求出“无限大”的和，我们可以先取足够多的正项使和超过 ，再取足够多的负项使和低于 ，不断往复。随着项趋于零，这种摆动最终会收敛于目标值 。

---

经典实例：交错调和级数的重排

1. 标准级数

设交错调和级数的和为 ：

(注：实际上 )

2. 重排级数（1个正项 + 2个负项）

我们将项按照“一正二负”的规律重排：

3. 计算推导

• 对每一组进行合并计算：

  • --

• 重排后的级数变为：

• 提取公因子 ：

• 结论：重排后的级数和变成了原级数和的一半：

---

总结

该定理揭示了条件收敛与绝对收敛的本质区别：

• 绝对收敛级数：具有“交换律”，重排不改变和。

• 条件收敛级数：不满足交换律，其和取决于项的排列顺序。

那么我们有什么手段判别条件收敛呢？

---

阿贝尔变换 (Abel’s Transformation)

核心公式

设 和 是两个数列，令 为 的前 项和，并规定 。则有：

---

“离散分部积分”？

考虑分部积分：

我们可以发现阿贝尔变换与它有极强的对称性：

• 累加 vs. 积分： 对应 （ 相当于 ）。

• 差分 vs. 导数： 对应 。

• 边界项： 对应 。由于 ，另一个边界项隐去。

推导

其核心思想是将数列 写成部分和的差分形式，即利用 （定义 ）。

1. 展开原级数

将 替换为 ，并将求和式展开：

2. 重新组合 (Regrouping)

观察展开后的每一项，按照相同的 进行合并。例如，包含 的项有 和 ，合并后得到 ：

注意：由于 ，第一项中的 消失了；而最后一项 没有对应的项与之抵消，因此保留。

3. 归纳为求和形式

将中间的差分项提取负号，写回 符号：

这个变换可以帮助我们讨论任意项级数的敛散性。

阿贝尔引理（Abel’s Lemma）的估计推导

1. 前置条件 (Assumptions)

• 单调性：设 是单调数列（Monotonic sequence）。

• 有界性：设 的部分和 有界，即存在 ，使得对所有 ，都有 。

2. 核心结论 (The Conclusion)

---

3. 逐步推导过程 (Step-by-Step Derivation)

第一步：套用阿贝尔变换

利用前面推导的公式，将原式展开：

第二步：三角不等式放大

利用 以及 ：

第三步：利用单调性脱去绝对值

这是最关键的一步。因为 是单调的，所以所有的差分项 符号相同。这意味着绝对值的和等于和的绝对值（即裂项相消）：

第四步：最终整理

将结果代回估计式：

再利用一次三角不等式 ，得到最终的上界：

狄利克雷判别法

1. 定理描述 (Theorem Statement)

对于级数 ，如果满足以下两个条件：

1. 数列 单调 (Monotonic)，且其极限为 0，即 。

2. 级数 的部分和数列有界。也就是说，存在一个常数 ，使得对于所有的 ，都有：

则级数 收敛 (Convergent)。

---

2. 证明思路 (Outline of Proof)

利用 Cauchy 收敛准则 进行控制放大：

• 目标： 控制余项 ，使其在 时趋于 0。

• 已知条件的应用：

  由于 ，那么对于任意的 ：

• 阿贝尔变换 (Abel Transformation) 的核心步骤：

  利用阿贝尔引理进行放大：

随着 ，由于已知 ，所以 。

• 结论： 根据 Cauchy 准则，该级数收敛。

与莱布尼茨判别法

取 为 ，就发现莱布尼茨判别法实际上是狄利克雷判别法的特例。

阿贝尔判别法 (Abel’s Test)

1. 定理内容

若级数满足以下两个条件：

1. 数列 单调且有界；

2. 级数 收敛；

则级数 收敛。

---

2. 证明思路

通过构造辅助数列，将阿贝尔判别法转化为狄利克雷判别法（Dirichlet’s Test）：

• 设定极限：

  由于 单调有界，根据单调有界准则，数列必有极限。设 。

• 构造新数列：

  令 。

  显然，数列 依然保持单调性，且当 时，。

• 级数拆分：

  利用线性性质将原级数展开：

• 收敛性分析：

  • 项 ：因为 收敛，由级数性质可知常数倍级数 必然收敛。

  • 项 ：

    • 单调且趋于 ；

    • 收敛，意味着其部分和数列 有界。

    • 根据狄利克雷判别法，这两者结合保证了 收敛。

结论：两个收敛级数之和依然收敛，故 收敛。

当然也可以不用狄利克雷判别法，直接利用阿贝尔引理说明。读者自证不难（