幂级数的收敛半径R及端点收敛性单独判断

理解一个幂级数在哪些点上有意义（即收敛），是分析函数性质的基础。收敛半径 R 划定了一个以中心点为圆心、半径为 R 的区域，在这个开区间内部，级数绝对收敛。但是，在边界（即端点 x = c ± R）上，情况变得特殊，必须单独判断。

1. 理解收敛半径：给级数画个“有效圈”

一个标准的幂级数形如 $\sum_{n=0}^{\infty} a_n (x-c)^n$，其中 c 是展开中心。收敛半径 R 决定了级数的“安全区”。

核心结论：对于任何满足 $|x - c| < R$ 的 x，级数绝对收敛。对于 $|x - c| > R$ 的 x，级数发散。
通俗比喻：把中心点 c 想象成磁铁，半径 R 是磁场的作用范围。在范围内（开区间），所有点都被牢牢吸引（收敛）；范围外则被排斥（发散）；而恰好在边界上的点（端点），磁力最弱，需要单独测试。

计算 R 主要有两种公式，根据系数 a_n 的形式选择。

使用比值判别法（达朗贝尔判别法）：这是最常用的方法。计算相邻系数之比的极限。
$$ R = \lim_{n \to \infty} \left| \frac{a_n}{a_{n+1}} \right| $$
前提：这个极限必须存在。
使用根值判别法（柯西-阿达马判别法）：这是更通用的方法，即使比值极限不存在也可能有效。计算系数 n 次方根倒数的上极限。
$$ R = \frac{1}{\limsup_{n \to \infty} \sqrt[n]{|a_n|}} $$
注：limsup 是上极限，理解为序列的“最终上限”。

这是理解本主题的关键。前面计算出的 R 来源于达朗贝尔比值判别法或柯西根值判别法，这些判别法在极限值严格小于或大于 1 时有效。

在开区间内 ($|x-c|<R$)：将 $x$ 代入级数后，所形成的常数项级数 $\sum |a_n (x-c)^n|$ 的比值或根值极限 严格小于 1，因此绝对收敛。
在开区间外 ($|x-c|>R$)：极限 严格大于 1，级数发散。
在端点上 ($|x-c|=R$)：将 $x$ 代入后，常数项级数的比值或根值极限 等于 1。比值判别法和根值判别法在极限等于1时无法给出任何结论（可能收敛也可能发散）。因此，必须将 x = c + R 和 x = c - R 这两个具体数值代入原始幂级数，得到一个具体的常数项级数，然后用针对常数项级数的其他判别法（如比较判别法、积分判别法、交错级数判别法等）来分析其敛散性。

当确定了收敛半径 R 后，按以下流程操作：

代入第一个端点：将 x = c + R 代入幂级数 $\sum_{n=0}^{\infty} a_n (x-c)^n$，得到一个常数项级数 $\sum_{n=0}^{\infty} a_n R^n$。
判断第一个端点级数：选择合适的判别法分析这个常数项级数。
- 如果是正项级数，可尝试比较判别法或比值判别法（用于常数项）。
- 如果是交错级数，可尝试莱布尼茨判别法。
- 如果通项趋于0的速度很慢（如 $1/n$），可考虑积分判别法或与 p-级数比较。
记录结论：判断该端点处级数是收敛还是发散。
代入第二个端点：将 x = c - R 代入幂级数，得到另一个常数项级数 $\sum_{n=0}^{\infty} a_n (-R)^n$。
判断第二个端点级数：重复第2步的分析过程。
汇总最终收敛域：综合收敛区间 (c-R, c+R) 和两个端点的结论，写出完整的收敛域。可能的形式有三种：
- 开区间 (c-R, c+R)
- 左闭右开 [c-R, c+R)
- 左开右闭 (c-R, c+R]
- 闭区间 [c-R, c+R]

以级数 $\sum_{n=1}^{\infty} \frac{x^n}{n}$ 为例（中心 c=0）。

求收敛半径 R：使用比值判别法。$a_n = 1/n$。
$$ R = \lim_{n \to \infty} \left| \frac{a_n}{a_{n+1}} \right| = \lim_{n \to \infty} \frac{1/n}{1/(n+1)} = \lim_{n \to \infty} \frac{n+1}{n} = 1 $$
收敛半径为 R=1，收敛区间为 (-1, 1)。
单独判断端点 x=1：代入得常数项级数 $\sum_{n=1}^{\infty} \frac{1^n}{n} = \sum_{n=1}^{\infty} \frac{1}{n}$。这是调和级数，发散。
单独判断端点 x=-1：代入得常数项级数 $\sum_{n=1}^{\infty} \frac{(-1)^n}{n}$。这是一个交错级数，且通项绝对值 $1/n$ 单调递减趋于0，由莱布尼茨判别法可知其收敛。
得出最终收敛域：综合区间和端点情况，该幂级数的收敛域为 [-1, 1)。

记住这个核心流程：先算半径定区间，再代两端看端点。