收敛半径测试仪 变量 $x$ 决定生死

$$ \sum_{n=0}^{\infty} x^n = \frac{1}{1-x} $$
收敛域：$|x| < 1$
探针位于收敛域内
目标值：2.000 级数和：1.999
幂级数本质上是带有变量 $x$ 的无穷多项式。常数项级数的收敛只是一瞬间的事，而幂级数的收敛则划定了一个空间范围（收敛域）。在半径 $R$ 之内绝对收敛，之外必定发散。

函数逼近图 多项式拟合真实曲线

灰色虚线为目标函数曲线，蓝色实线为前 $N$ 项幂级数部分和。绿色区域即为收敛域，跨过红线虚线则级数剧烈发散。

阿贝尔定理的几何展现 收敛区间的对称性

阿贝尔定理 (Abel's Theorem)：
如果幂级数 $\sum a_n x^n$ 在某点 $x_0$ 处收敛，那么在 $|x| < |x_0|$ 的区间内，它必定绝对收敛。
这决定了幂级数的收敛域必然是一个以原点为中心的对称区间 $(-R, R)$。
模型 A：等比级数 (R = 1) 在 (-1, 1) 内完美贴合 $\frac{1}{1-x}$，在 $x=1$ 处有垂直渐近线导致断裂。
模型 B：自然对数 (R = 1) 由等比级数积分而来。在 $x=1$ 处收敛（交错调和），但在 $x=-1$ 处发散（调和）。收敛域为 $(-1, 1]$。
模型 C：反正切 (R = 1) 由 $\frac{1}{1+x^2}$ 积分而来。虽然 $\arctan(x)$ 本身在全实数域有定义，但幂级数仅在 $[-1, 1]$ 收敛，因为复平面内 $x = \pm i$ 处有奇点阻挡。
求收敛半径 $R$ 最常用的方法是计算比值极限：$R = \lim_{n \to \infty} \left| \frac{a_n}{a_{n+1}} \right|$。

幂级数对比 不同的形态，相同的极限边界

三条级数曲线（$N=15$）。你会发现它们全部都被困在了 $x \in (-1, 1)$ 的“收敛结界”中，一旦越界就立刻失控。
幂级数核心法则
从离散常数到连续函数的桥梁

幂级数的定义

无穷多项式
$$ \sum_{n=0}^{\infty} a_n x^n = a_0 + a_1 x + a_2 x^2 + \dots $$
带有变量 x 的级数。每给定一个 x，它就退化为一个普通的常数项级数。

阿贝尔定理 (Abel's Theorem)

对称性结界
$$ \text{若在 } x_0 \text{ 收敛} \implies |x| < |x_0| \text{ 内绝对收敛} $$
这直接规定了幂级数的收敛范围必然是一个以原点为中心的对称区间（圆），我们称其一半长度为收敛半径 R。

计算收敛半径 R

比值反演
$$ R = \lim_{n \to \infty} \left| \frac{a_n}{a_{n+1}} \right| $$
利用达朗贝尔比值判别法推导而来。注意：求 R 时用的是 n 项系数除以 n+1 项系数，不要搞反了。

端点敛散性

单独审查
$$ x = R \text{ 或 } x = -R $$
公式只能求出开区间 (-R, R)。对于边界端点，必须将 x 的具体数值代入原级数，当做常数项级数单独判定敛散性。

收敛域的三种形态

终极归宿
$$ \{0\}, \quad (-R, R), \quad (-\infty, +\infty) $$
任何幂级数只能是这三种情况之一：要么只在原点收敛，要么在一个固定半径内收敛，要么在整个实数轴上任意收敛（如 e^x）。

逐项求导与积分

半径守恒
$$ \left( \sum a_n x^n \right)' = \sum n a_n x^{n-1} $$
在收敛开区间 (-R, R) 内，幂级数可以像普通多项式一样随意求导和积分，且操作后的收敛半径 R 绝对不会改变（但端点收敛性可能会变）。

泰勒展开 (Taylor Series)

最强魔法
$$ f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(x_0)}{n!} (x - x_0)^n $$
将任意无限阶可导的复杂函数，强行拆解成幂级数的形式，从而让计算机能够利用加减乘除计算所有的超越函数（如 sin, ln）。

复数域的奇点限制

终极原因
$$ \frac{1}{1+x^2} \text{ 的 } R = 1 $$
为什么像 1/(1+x^2) 这样在实数轴上非常光滑没有断点的函数，它的幂级数收敛半径却只有 1？因为它在复数平面的 ±i 处有奇点（分母为0），这个距离原点为 1 的阻挡决定了它的收敛结界。