幂级数与收敛半径：多项式的无穷版
本文基于模型知识整理（生成时未联网核对），定理建议对照 Stewart §11.8–11.9 复核。
一句话定义
幂级数 $\sum c_n(x-a)^n$ 是"系数可变的无穷多项式"，它的收敛域永远是一个对称区间——收敛半径 R 内绝对收敛、外发散、端点单独审判（比值判别直接给出 $R=\lim|c_n/c_{n+1}|$）；且在 (a−R, a+R) 内可逐项求导、逐项积分而不改变收敛半径——幂级数是"可微的无穷多项式"。
为什么重要
它给泰勒级数（kp-020）提供合法性框架：函数的泰勒展开只在收敛半径内真正等于函数；微分方程的级数解法、生成函数（组合数学）、概率的矩母函数都以幂级数为载体。"逐项微积分"的宽容性则让 e^x、sin x 的微分方程验证变成一行。
前置知识
kp-018（级数判别）。
核心概念
- 收敛半径：对 $\sum c_n(x-a)^n$，存在 R∈[0,∞]：|x−a|<R 绝对收敛，|x−a|>R 发散；$R=\lim\left|\frac{c_n}{c_{n+1}}\right|$（比值法，存在时）或 $\frac1{\lim\sqrt[n]{|c_n|}}$（根值法）。
- 端点审判：x = a±R 处单独用 kp-018 的判别法（几何/交错/比较），两个端点结论可以完全不同（R 内绝对收敛、端点可能条件收敛或发散）。
- 幂级数的 analytic 性质：收敛区间内连续、可逐项求导/积分、收敛半径不变（端点可能改变）——"多项式的微分积分是逐项的，无穷多项式继承之"。
- 唯一性：若两幂级数在某区间相等，则系数逐项相同——泰勒系数是唯一候选（kp-020 的系数必须等于 $\frac{f^{(n)}(a)}{n!}$ 的深层原因）。
原理与机制
为什么收敛域是完美对称区间：比值判别给出 $\lim\left|\frac{c_{n+1}(x-a)^{n+1}}{c_n(x-a)^n}\right|=|x-a|\lim\left|\frac{c_{n+1}}{c_n}\right|=\frac{|x-a|}{R}$——结论只依赖 |x−a| 与 R 的比较；几何级数是这个"绝对收敛核"的原子形态（kp-018）。
为什么可以逐项微积分：在收敛区间内部（离端点有距离的紧子区间上）幂级数一致收敛，一致收敛保证"和的极限=极限的和"——逐项求导/积分的合法性来自这个比点态收敛更强的收敛概念（本库不展开一致收敛细节，README 记为扩展；但要知道它是逐项运算的担保人）。
收敛半径的信息量：$e^x$ 的 R=∞（系数 $\frac1{n!}$ 崩塌式变小）；$\ln(1+x)$ 的 R=1（系数 $\frac{(-1)^{n-1}}n$ 衰减太慢）——收敛半径由复平面上最近的"坏点"（奇点）决定（kp-017 泰勒近似失效边界的深层原因：ln(1+x) 在 x=−1 断掉，距 0 恰好 1）。
图示
Σ cₙ(x−a)ⁿ : 发散 | (a−R, a+R) 绝对收敛 | 发散
端点 a±R → 单独审判(可收可发)
R = lim |cₙ/cₙ₊₁| (比值法)
区间内: 逐项求导/积分, R 不变
例: Σ xⁿ/n! → R=∞ ; Σ xⁿ/n → R=1 (端点 x=−1 收, x=1 发)
例: e^{−1/x²} → 泰勒系数全零 → R 视角下的"零级数" (kp-008 反例)直观类比
幂级数像"有服务半径的外卖"：R 内随叫随到（绝对收敛）、R 外永不配送（发散）、恰好 R 处单独协商（端点）。系数衰减越快（1/n! 是'闪送'）服务半径越大（∞）。
实例或案例
- $\sum\frac{x^n}{n!}$：R=∞ ⇒ e^x 在全实轴合法展开（kp-020 主角的合法性文件）。
- 生成函数：数列 $\{a_n\}$ 打包成 $\sum a_nx^n$，微积分操作（逐项求导/积分）变成组合操作的机器——组合数学的线代化。
- 二分法/牛顿法之外的解方程路线：微分方程 $y'=y$ 设 $y=\sum c_nx^n$，逐项求导比对系数得 $c_n=\frac{c_0}{n!}$——幂级数解出 e^x（kp-031 前奏）。
常见误区
- 误区一："收敛区间端点一定发散或一定收敛"。两端独立审判，四种组合都存在（对照 $\sum\frac{x^n}{n^2}$ 两端都收、$\sum\frac{x^n}{n}$ 一收一发）。
- 误区二："逐项求导在端点也合法"。端点处导数级数的收敛性会重新洗牌（$\sum\frac{x^n}{n^2}$ 逐项求导后端点发散）——逐项运算的担保只到区间内部。
- 误区三："R 由实数轴上的断点决定"。实际由复平面最近奇点决定——实轴看起来好好的函数（如 $\frac{1}{1+x^2}$）R 却是 1（奇点在 ±i）！这是初学最震撼的一课。
与其他知识点的关系
自测题
- 求 $\sum\frac{(x-2)^n}{3^n n}$ 的收敛半径与端点结论。
答：R=3；x=5（端点+1）为调和型发散，x=−1（端点−1）为交错收敛——收敛域 [−1, 5)。
- 为什么 $\frac{1}{1+x^2}$ 的麦克劳林级数收敛半径只有 1？
答：复平面上奇点在 x=±i，距 0 为 1——收敛半径由最近的复奇点决定（实轴无奇点也会限制）。
- 幂级数逐项求导后收敛半径如何变化？
答：不变（区间内部）；端点行为可能恶化（对比例：$\sum\frac{x^n}{n^2}$ 求导后端点从收敛变发散）。
延伸阅读
- Stewart《Calculus》§11.8–11.9。
- Spivak《Calculus》第 23–26 章（幂级数与一致收敛的严格版）。
- Generatingfunctionology（Wilf，免费电子书，生成函数专题）。