跳转到内容
← 返回概念
分析约 19 分钟阅读

级数

Series

关键人物

eulercauchyabeldirichlet
分析级数求和幂级数傅里叶级数

破除误解：无穷个数相加，竟然可以是个有限的数

直觉会告诉你：把无穷多个正数加在一起，结果一定是无穷大。可事实并非如此。从一根长度为 $1$ 的木棍开始，先掰下一半（12\tfrac12），再掰下剩下的一半（14\tfrac14），再一半（18\tfrac18）……这个过程永远做不完，但你掰下的所有碎片加起来，永远超不过、却越来越逼近整根木棍：12+14+18+⋯=1\tfrac12+\tfrac14+\tfrac18+\cdots = 1。无穷个正数相加，安安稳稳地落在了一个有限值上。

这正是级数的灵魂，也是理解它的钥匙：所谓"无穷和"，根本不是真去加无穷多次——那做不到。它的真正含义是看部分和的走势：加前一项、前两项、前三项……得到一串越来越长的有限和 S1,S2,S3,…S_1, S_2, S_3, \dots，如果这串数稳稳地逼近某个值，我们才说这个级数"收敛"到它。无穷求和，被悄悄翻译成了一个极限问题。

但要当心一个致命的陷阱：不是每个级数都这么乖。把 1+12+13+14+⋯1+\tfrac12+\tfrac13+\tfrac14+\cdots 加起来，每一项都在缩小，看着也该收敛——可它的和竟是无穷大。仅仅"项越来越小"远远不够。正是这种"有的无穷和有限、有的发散"的微妙张力，逼出了整套收敛判别法，也让级数成了连接离散与连续、把函数展开成多项式或正弦波（泰勒级数、傅里叶级数）的强大武器。

定义

级数（Series）是无穷多个数的求和运算，是分析学中连接离散与连续的桥梁。

定义：给定数列 {an}\{a_n\}，表达式 ∑n=1∞an=a1+a2+a3+⋯\sum_{n=1}^{\infty} a_n = a_1 + a_2 + a_3 + \cdots 称为无穷级数。其部分和为 SN=∑n=1NanS_N = \sum_{n=1}^{N} a_n。若部分和序列 {SN}\{S_N\} 收敛于 $S$，则称级数收敛，$S$ 为其和，记作 ∑n=1∞an=S\sum_{n=1}^{\infty} a_n = S。

幂级数：形如 ∑n=0∞cn(x−a)n\sum_{n=0}^{\infty} c_n (x - a)^n 的级数，其中 cnc_n 为系数，$a$ 为中心。幂级数在收敛区间内表示一个解析函数。

傅里叶级数：周期函数 $f$ 可以展开为三角级数 f(x)=a02+∑n=1∞(ancos⁡nx+bnsin⁡nx)f(x) = \frac{a_0}{2} + \sum_{n=1}^{\infty}(a_n \cos nx + b_n \sin nx)，其中系数由 $f$ 与三角函数的内积确定。

历史演变

级数的概念起源于17世纪对无穷求和问题的探索。格雷戈里（James Gregory）和莱布尼茨分别发现了 π4=1−13+15−17+⋯\frac{\pi}{4} = 1 - \frac{1}{3} + \frac{1}{5} - \frac{1}{7} + \cdots。欧拉在18世纪对级数进行了大量计算，发现了许多惊人的恒等式，但他对收敛性的处理并不严格——他自由地对发散级数进行求和。

严格的级数理论在19世纪由柯西和阿贝尔建立。柯西给出了级数收敛的精确定义和收敛判别法。阿贝尔（Niels Henrik Abel）证明了阿贝尔定理：若幂级数在端点收敛，则其和函数在端点连续。狄利克雷（Peter Gustav Lejeune Dirichlet）在1829年证明了傅里叶级数收敛的第一个严格条件。

关键人物

欧拉（1707—1783）是级数研究的大师。他计算了 ∑n=1∞1n2=π26\sum_{n=1}^{\infty} \frac{1}{n^2} = \frac{\pi^2}{6}（巴塞尔问题），发现了欧拉公式 eiθ=cos⁡θ+isin⁡θe^{i\theta} = \cos\theta + i\sin\theta，并将函数概念从有限表达式推广到无穷级数。

阿贝尔（1802—1829）是挪威数学家，虽然只活了26岁，但对级数理论和代数学都有深远贡献。他证明了一般五次方程不能用根式求解，并严格化了幂级数理论。

魏尔斯特拉斯发展了函数项级数的一致收敛理论，解决了柯西遗留的问题——连续函数的级数和不一定连续。一致收敛的条件保证了极限运算与积分运算的交换。

数学意义

级数在数学中的核心作用：

  1. 函数表示：ex=∑n=0∞xnn!e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!}，sin⁡x=∑n=0∞(−1)nx2n+1(2n+1)!\sin x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!}
  2. 泰勒定理：光滑函数可以用幂级数局部逼近
  3. 傅里叶分析：周期函数展开为三角级数——信号分析的基础
  4. 黎曼ζ函数：ζ(s)=∑n=1∞1ns\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s}——连接级数与数论的桥梁
  5. 生成函数：用幂级数编码数列信息——组合数学的强大工具

几何级数

几何级数（等比级数）：∑n=0∞arn=a1−r\sum_{n=0}^{\infty} ar^n = \frac{a}{1-r}，当且仅当 $|r| < 1$。

这是最基础的级数，也是许多其他级数判别法的参照标准。当 $a=1, r=1/2$ 时：1+12+14+18+⋯=21 + \frac{1}{2} + \frac{1}{4} + \frac{1}{8} + \cdots = 2——芝诺悖论的数学解答。

几何级数在金融中有直接应用：永续年金的现值 PV=C1+r+C(1+r)2+⋯=CrPV = \frac{C}{1+r} + \frac{C}{(1+r)^2} + \cdots = \frac{C}{r}。

调和级数的发散

调和级数：∑n=1∞1n=1+12+13+14+⋯\sum_{n=1}^{\infty} \frac{1}{n} = 1 + \frac{1}{2} + \frac{1}{3} + \frac{1}{4} + \cdots 发散。

奥雷姆证明（约1350年）：13+14>14+14=12\frac{1}{3} + \frac{1}{4} > \frac{1}{4} + \frac{1}{4} = \frac{1}{2}，15+16+17+18>4⋅18=12\frac{1}{5} + \frac{1}{6} + \frac{1}{7} + \frac{1}{8} > 4 \cdot \frac{1}{8} = \frac{1}{2}，以此类推。部分和可以超过任意大的数。

发散速度：HN=∑n=1N1n∼ln⁡N+γH_N = \sum_{n=1}^N \frac{1}{n} \sim \ln N + \gamma，其中 γ≈0.5772\gamma \approx 0.5772 是欧拉-马歇罗尼常数。

p-级数：∑1np\sum \frac{1}{n^p} 在 $p > 1$ 时收敛（p≤1p \leq 1 时发散）。例如 ∑1n2=π26\sum \frac{1}{n^2} = \frac{\pi^2}{6}（巴塞尔问题）。

泰勒级数

泰勒定理：若 $f$ 在 $a$ 的邻域内 $n+1$ 次可导，则 f(x)=∑k=0nf(k)(a)k!(x−a)k+Rn(x)f(x) = \sum_{k=0}^{n} \frac{f^{(k)}(a)}{k!}(x-a)^k + R_n(x)，其中余项 Rn(x)=f(n+1)(ξ)(n+1)!(x−a)n+1R_n(x) = \frac{f^{(n+1)}(\xi)}{(n+1)!}(x-a)^{n+1}（拉格朗日余项）。

重要展开： - ex=∑n=0∞xnn!e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!}，对所有 $x$ 收敛 - sin⁡x=∑n=0∞(−1)nx2n+1(2n+1)!\sin x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!}，cos⁡x=∑n=0∞(−1)nx2n(2n)!\cos x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!} - ln⁡(1+x)=∑n=1∞(−1)n+1xnn\ln(1+x) = \sum_{n=1}^{\infty} \frac{(-1)^{n+1} x^n}{n}，∣x∣≤1|x| \leq 1（x≠−1x \neq -1） - 11−x=∑n=0∞xn\frac{1}{1-x} = \sum_{n=0}^{\infty} x^n，$|x| < 1$

欧拉公式：eix=cos⁡x+isin⁡xe^{ix} = \cos x + i\sin x，令 x=πx = \pi 得 eiπ+1=0e^{i\pi} + 1 = 0——将五个最重要的数学常数联系在一起。

傅里叶级数

傅里叶级数：周期为 2π2\pi 的函数 $f$ 可展开为 f(x)∼a02+∑n=1∞(ancos⁡nx+bnsin⁡nx)f(x) \sim \frac{a_0}{2} + \sum_{n=1}^{\infty}(a_n \cos nx + b_n \sin nx)，其中 an=1π∫−ππf(x)cos⁡nx dxa_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\cos nx \, dx，bn=1π∫−ππf(x)sin⁡nx dxb_n = \frac{1}{\pi}\int_{-\pi}^{\pi} f(x)\sin nx \, dx。

收敛条件：狄利克雷条件（1829）——若 $f$ 在 [−π,π][-\pi, \pi] 上分段光滑，则傅里叶级数在 $f$ 的连续点收敛于 $f(x)$，在间断点收敛于左右极限的平均值。

吉布斯现象：在间断点附近，傅里叶级数的部分和会出现约 9%9\% 的过冲——即使取很多项也不会消失，但过冲的宽度会变窄。

帕塞瓦尔等式：1π∫−ππ∣f(x)∣2dx=a022+∑n=1∞(an2+bn2)\frac{1}{\pi}\int_{-\pi}^{\pi} |f(x)|^2 dx = \frac{a_0^2}{2} + \sum_{n=1}^{\infty}(a_n^2 + b_n^2)——能量守恒的数学表述。

收敛判别法

比较判别法：若 0≤an≤bn0 \leq a_n \leq b_n 且 ∑bn\sum b_n 收敛，则 ∑an\sum a_n 收敛。

极限比较判别法：若 lim⁡n→∞an/bn=L∈(0,∞)\lim_{n \to \infty} a_n/b_n = L \in (0, \infty)，则 ∑an\sum a_n 和 ∑bn\sum b_n 同敛散。

交错级数判别法（莱布尼茨判别法）：若 an↓0a_n \downarrow 0，则 ∑(−1)nan\sum (-1)^n a_n 收敛。例如 ∑(−1)n+1/n=ln⁡2\sum (-1)^{n+1}/n = \ln 2。

绝对收敛蕴含收敛：若 ∑∣an∣\sum |a_n| 收敛，则 ∑an\sum a_n 收敛。反之不成立——条件收敛的级数（如 ∑(−1)n/n\sum (-1)^n/n）收敛但不绝对收敛。

核心概念辨析

  • 收敛 vs 绝对收敛：绝对收敛蕴含收敛，反之不成立（条件收敛）
  • 逐点收敛 vs 一致收敛：一致收敛保证极限运算的交换性
  • 幂级数 vs 傅里叶级数：幂级数表示局部性质，傅里叶级数表示全局频率特征
  • 收敛半径：幂级数在以中心为圆心的开区间内收敛，半径由柯西-阿达马公式确定

当代应用

级数在现代科学中应用广泛。傅里叶级数是信号处理、图像压缩和通信技术的数学基础。幂级数在数值计算中用于逼近特殊函数。在量子力学中，微扰论本质上是级数展开。在统计力学中，配分函数的计算涉及级数求和。在计算机科学中，生成函数用于分析算法的复杂度。

渐近级数：斯特林公式 n!∼2πn(ne)nn! \sim \sqrt{2\pi n}\left(\frac{n}{e}\right)^n 是渐近展开——不是收敛级数，但在 $n$ 大时提供极好的近似。渐近分析在物理学和工程中广泛应用。

黎曼ζ函数：ζ(s)=∑n=1∞1ns\zeta(s) = \sum_{n=1}^{\infty} \frac{1}{n^s}，Re(s)>1\text{Re}(s) > 1。欧拉证明 ζ(2)=π2/6\zeta(2) = \pi^2/6。黎曼将 ζ\zeta 解析延拓到整个复平面，其零点分布与素数分布深刻关联——黎曼假设是数学中最著名的未解问题之一。

跨域连接

  • 数论：把倒数幂之和写成对全体素数的乘积，等价于"每个整数唯一分解"这句话。推论是：级数在指数为一处发散，逼得素数那一侧的乘积也发散，于是素数不但无穷多，还稠密到连它们的倒数之和都收不拢——这比"素数无穷"强得多。
  • 重整化：微扰展开按耦合常数逐阶写出，发散的圈积分被重新定义质量与电荷所吸收。推论是：这类级数通常是渐近的而非收敛的，因此存在一个最优截断阶，越过它继续加项精度反而变差——"多算几阶总更准"是错的。
  • 利率：永续现金流的现值是一条几何级数，收敛要求贴现率大于增长率。推论是：当增长率逼近贴现率，估值发散——这解释了为何低利率环境下长久期资产的价格对利率的微小变化异常敏感，敏感性来自级数逼近发散边界。
  • 奥伯斯佯谬：把全天恒星按同心壳层求和，每层的亮度贡献随距离平方衰减而恒星数随平方增长，两者相消，级数发散，夜空该无限亮。推论是：夜空是暗的，说明前提里至少一条不成立——级数发散在这里被直接当成物理判据使用。
  • 语料语言学：词频按排名迅速衰减，导致覆盖率的级数收敛极慢。推论是：语料翻倍并不能按比例减少未登录词，长尾必须靠机制处理而非靠堆数据——画一条"词表规模对覆盖率"的曲线就能当场验证：曲线尾部趋平，而不是逼近百分之百。

为什么这很重要

级数是分析学中连接离散与连续的桥梁——它将复杂的函数分解为简单项的无穷和，使得计算和理解成为可能。

量子力学中的微扰级数。大多数量子力学问题无法精确求解——氢原子的精确解是罕见的例外。微扰论将复杂系统的哈密顿量写为 H=H0+λVH = H_0 + \lambda V，然后将能量和波函数展开为 λ\lambda 的幂级数：E=E0+λE1+λ2E2+⋯E = E_0 + \lambda E_1 + \lambda^2 E_2 + \cdots。费曼发明了费曼图——一种用图形表示微扰级数中各项的方法——每一个图对应一个积分，图的复杂度对应级数的阶数。量子电动力学（QED）用费曼图计算的电子磁矩与实验符合到小数点后12位——这是人类历史上最精确的理论预测。

信号处理与傅里叶级数。傅里叶级数将周期信号分解为不同频率的正弦和余弦分量——这是信号分析的基础。MP3压缩利用离散余弦变换（DCT，傅里叶级数的变体）将音频信号从时域转换到频域，然后丢弃人耳不敏感的高频分量。JPEG图像压缩使用二维DCT将图像分解为不同空间频率的分量。傅里叶级数的理论——从狄利克雷的收敛条件到卡尔松（Carleson）的逐点收敛定理——是分析学中最深刻的故事之一。

条件收敛的微妙之处

条件收敛的级数表现出惊人的性质。黎曼重排定理：若 ∑an\sum a_n 条件收敛，则对任意实数 $L$（包括 ±∞\pm\infty），存在 {an}\{a_n\} 的重排使得重排后的级数收敛于 $L$。这意味着条件收敛级数的"和"依赖于求和顺序——只有绝对收敛的级数才与顺序无关。

陶伯型定理（Tauberian theorems）：与阿贝尔定理（幂级数在端点的收敛性）相反——从阿贝尔可和性推出通常收敛性。陶伯（Alfred Tauber）在1897年证明了第一个这样的定理，哈代和李特尔伍德在1910—1930年代将其推广。陶伯型定理在解析数论中有深刻应用——特别是素数定理的证明。

常见误区

  • "无穷级数的和就是'所有项加起来'"：无穷级数的"和"是部分和序列的极限——不是真的把无穷多个数加起来。这个定义允许我们处理无穷求和，但也有陷阱：条件收敛级数的和依赖于顺序。
  • "收敛级数的各项必须趋于零"：这是必要条件但不是充分条件。调和级数的项趋于零但级数发散。许多初学者误以为 an→0a_n \to 0 就能保证 ∑an\sum a_n 收敛。
  • "泰勒级数总是收敛于原函数"：存在光滑函数（无穷次可导）其泰勒级数在某些点不收敛于函数本身。例如 f(x)=e−1/x2f(x) = e^{-1/x^2}（x≠0x \neq 0），$f(0) = 0$——在 $x=0$ 处所有导数为零，泰勒级数恒为零，但函数不恒为零。这说明泰勒定理中的余项必须趋于零才能保证收敛。

级数与数论的深刻联系

黎曼ζ函数 ζ(s)=∑n=1∞n−s\zeta(s) = \sum_{n=1}^{\infty} n^{-s} 是连接级数与数论的桥梁。欧拉在1737年发现了欧拉乘积公式 ζ(s)=∏p(1−p−s)−1\zeta(s) = \prod_p (1 - p^{-s})^{-1}——将级数与素数联系起来。黎曼在1859年的论文中将ζ函数解析延拓到整个复平面，并猜想所有非平凡零点的实部都是 $1/2$——这就是黎曼假设，至今未被证明或否证。素数定理（π(x)∼x/ln⁡x\pi(x) \sim x/\ln x）的证明依赖于ζ函数在 $s=1$ 附近的性质。ζ函数的零点分布与素数分布之间存在精确的对偶关系——零点越少，素数分布越规则。

参考文献

  1. Leonhard Euler, "De summis serierum reciprocarum" (1734).
  2. Niels Henrik Abel, "Untersuchungen über die Reihe" (1826).
  3. Walter Rudin, Principles of Mathematical Analysis (1976), Chapter 8.
  4. 陈纪修等, 《数学分析》, 高等教育出版社, 2004.
  5. G.H. Hardy, Divergent Series (1949).

无穷级数研究无穷多项之和的收敛性。幂级数把函数展开为多项式（泰勒级数），傅里叶级数把周期函数分解为正弦波；收敛判别法、绝对收敛与条件收敛是其核心，它支撑了函数逼近与数值计算。