幂级数的定义与收敛性

幂级数的定义

幂级数

形如

∑n=0∞anxn=a0+a1x+a2x2+⋯+anxn+⋯\sum_{n=0}^{\infty} a_n x^n = a_0 + a_1 x + a_2 x^2 + \cdots + a_n x^n + \cdots

的级数称为幂级数,其中常数 a0,a1,a2,…a_0, a_1, a_2, \ldots 称为幂级数的系数。

更一般地,形如

∑n=0∞an(x−x0)n\sum_{n=0}^{\infty} a_n (x - x_0)^n

的级数称为在 x0x_0 处的幂级数(或关于 (x−x0)(x-x_0) 的幂级数)。

阿贝尔定理

定理1

阿贝尔定理:如果幂级数 ∑n=0∞anxn\sum_{n=0}^{\infty} a_n x^n 在点 x=x0≠0x = x_0 \neq 0 处收敛,则对满足 ∣x∣<∣x0∣|x| < |x_0| 的一切 xx,幂级数绝对收敛。

反之,如果幂级数在点 x=x0x = x_0 处发散,则对满足 ∣x∣>∣x0∣|x| > |x_0| 的一切 xx,幂级数发散。

收敛半径的求法

比值判别法

定理2

如果 lim⁡n→∞∣an+1an∣=L\lim_{n \to \infty} \left|\frac{a_{n+1}}{a_n}\right| = L,则幂级数 ∑anxn\sum a_n x^n 的收敛半径为:

R={1L,0<L<+∞+∞,L=00,L=+∞R = \begin{cases} \frac{1}{L}, & 0 < L < +\infty \\ +\infty, & L = 0 \\ 0, & L = +\infty \end{cases}

根值判别法

定理3

如果 lim⁡n→∞∣an∣n=L\lim_{n \to \infty} \sqrt[n]{|a_n|} = L,则幂级数的收敛半径为:

R={1L,0<L<+∞+∞,L=00,L=+∞R = \begin{cases} \frac{1}{L}, & 0 < L < +\infty \\ +\infty, & L = 0 \\ 0, & L = +\infty \end{cases}

典型例题

例题1:求收敛半径和收敛域

求幂级数 ∑n=1∞xnn\sum_{n=1}^{\infty} \frac{x^n}{n} 的收敛半径和收敛域。

参考答案
收敛半径收敛域端点收敛性调和级数
  1. an=1na_n = \frac{1}{n},用比值判别法: L=lim⁡n→∞∣an+1an∣=lim⁡n→∞nn+1=1L = \lim_{n\to\infty} \left|\frac{a_{n+1}}{a_n}\right| = \lim_{n\to\infty} \frac{n}{n+1} = 1
  2. 收敛半径 R=1L=1R = \frac{1}{L} = 1,收敛区间为 (−1,1)(-1, 1)
  3. 判断端点:
    • x=1x = 1:级数为 ∑1n\sum \frac{1}{n},调和级数,发散
    • x=−1x = -1:级数为 ∑(−1)nn\sum \frac{(-1)^n}{n},交错调和级数,由莱布尼茨判别法收敛
  4. 收敛域为 [−1,1)[-1, 1)

答案:收敛半径 R=1R=1,收敛域为 [−1,1)[-1, 1)。

例题2:缺项幂级数

求幂级数 ∑n=0∞x2n(2n)!\sum_{n=0}^{\infty} \frac{x^{2n}}{(2n)!} 的收敛半径。

参考答案
缺项幂级数收敛半径比值判别法
  1. 这是缺项幂级数(只有偶次项),直接对通项用比值判别法:
  2. 设 un=x2n(2n)!u_n = \frac{x^{2n}}{(2n)!},则 lim⁡n→∞∣un+1un∣=lim⁡n→∞x2n+2(2n+2)!⋅(2n)!x2n=lim⁡n→∞x2(2n+1)(2n+2)=0<1\lim_{n\to\infty} \left|\frac{u_{n+1}}{u_n}\right| = \lim_{n\to\infty} \frac{x^{2n+2}}{(2n+2)!} \cdot \frac{(2n)!}{x^{2n}} = \lim_{n\to\infty} \frac{x^2}{(2n+1)(2n+2)} = 0 < 1
  3. 对任意 xx,比值极限都小于1,故收敛半径 R=+∞R = +\infty

答案:收敛半径 R=+∞R = +\infty,收敛域为 (−∞,+∞)(-\infty, +\infty)。

例题3:一般形式的幂级数

求幂级数 ∑n=1∞(x−1)n2nn\sum_{n=1}^{\infty} \frac{(x-1)^n}{2^n n} 的收敛域。

参考答案
收敛域一般形式幂级数平移端点收敛性
  1. 令 t=x−1t = x - 1,级数变为 ∑tn2nn\sum \frac{t^n}{2^n n}
  2. an=12nna_n = \frac{1}{2^n n},L=lim⁡n→∞2nn2n+1(n+1)=12L = \lim_{n\to\infty} \frac{2^n n}{2^{n+1}(n+1)} = \frac{1}{2}
  3. 收敛半径 R=2R = 2,t∈(−2,2)t \in (-2, 2),即 x∈(−1,3)x \in (-1, 3)
  4. 端点:
    • t=2t = 2(x=3x=3):∑1n\sum \frac{1}{n},发散
    • t=−2t = -2(x=−1x=-1):∑(−1)nn\sum \frac{(-1)^n}{n},收敛
  5. 收敛域为 [−1,3)[-1, 3)

答案:收敛域为 [−1,3)[-1, 3)。


练习题

练习1

求幂级数 ∑n=0∞xnn!\sum_{n=0}^{\infty} \frac{x^n}{n!} 的收敛域。

参考答案
收敛域指数级数比值判别法
  1. an=1n!a_n = \frac{1}{n!},L=lim⁡n→∞n!(n+1)!=lim⁡n→∞1n+1=0L = \lim_{n\to\infty} \frac{n!}{(n+1)!} = \lim_{n\to\infty} \frac{1}{n+1} = 0
  2. R=+∞R = +\infty,收敛域为 (−∞,+∞)(-\infty, +\infty)

答案:收敛域为 (−∞,+∞)(-\infty, +\infty)。

练习2

求幂级数 ∑n=1∞nxn\sum_{n=1}^{\infty} n x^n 的收敛域。

参考答案
收敛域端点发散通项不趋于零
  1. an=na_n = n,L=lim⁡n→∞n+1n=1L = \lim_{n\to\infty} \frac{n+1}{n} = 1,R=1R = 1
  2. 端点 x=±1x = \pm 1:通项 n(±1)nn(\pm1)^n 不趋于零,发散
  3. 收敛域为 (−1,1)(-1, 1)

答案:收敛域为 (−1,1)(-1, 1)。


总结

本文出现的符号

符号类型读音/说明在本文中的含义
ana_n系数coefficient幂级数的系数
RR收敛半径radius of convergence幂级数的收敛半径
LL极限值limit比值或根值的极限
x0x_0中心点center幂级数展开的中心点
tt变量替换substitution平移变换后的变量

中英对照

中文术语英文术语音标
幂级数power series/ˈpaʊər ˈsɪəriːz/
收敛半径radius of convergence/ˈreɪdiəs əv kənˈvɜːrdʒəns/
收敛区间interval of convergence/ˈɪntərvəl əv kənˈvɜːrdʒəns/
收敛域domain of convergence/doʊˈmeɪn əv kənˈvɜːrdʒəns/
阿贝尔定理Abel’s theorem/ˈɑːbəlz ˈθɪərəm/
系数coefficient/ˌkoʊɪˈfɪʃənt/
缺项幂级数lacunary power series/ləˈkjuːnəri ˈpaʊər ˈsɪəriːz/
端点endpoint/ˈendpɔɪnt/
绝对收敛absolute convergence/ˈæbsəluːt kənˈvɜːrdʒəns/
函数项级数series of functions/ˈsɪəriːz əv ˈfʌŋkʃənz/

发现内容有问题?

告诉我们哪里需要改进。