1018 字
5 分钟
7.3 幂级数

§\S7.3 幂级数#

一、函数项级数#

定义:ua(x)u_a(x) 是定义在I上的函数,称 n=1un(x)\displaystyle \sum_{n=1}^\infty u_n(x) 是定义在I上的函数项级数

对于 x0Ix_0\in I,若 n=1un(x0)\displaystyle \sum_{n=1}^\infty u_n(x_0) 收敛,则称 x0x_0n=1un(x)\displaystyle \sum_{n=1}^\infty u_n(x) 的收敛点;否则,称 x0x_0 为发散点。所有的收敛点构成的集合称为收敛域。在收敛域上,有 s(x)=n=1un(x)\displaystyle s(x)=\sum_{n=1}^\infty u_n(x)

例如:n=1xn\displaystyle \sum_{n=1}^\infty x^n 收敛域 (1,1)(-1,1)s(x)=n=1x1x,x(1,1)s(x)=\displaystyle \sum_{n=1}^\infty \dfrac{x}{1-x}, x\in (-1,1)n=2xn=x21x,x(1,1)\displaystyle \sum_{n=2}^\infty x^n=\dfrac{x^2}{1-x},x\in (-1,1)n=2(x)n2=11+x,x(1,1)\displaystyle \sum_{n=2}^\infty (-x)^{n-2}=\dfrac{1}{1+x},x\in (-1,1)

二、幂级数的收敛半径及收敛域#

收敛域#

讨论敛散性

求法步骤:

  1. [比值法/极值法] ρ(x)=limnun+1(x)un(x)\displaystyle \rho(x)=\lim_{n\to \infty}\left|\dfrac{u_{n+1}(x)}{u_n(x)}\right|limnun(x)n\displaystyle \lim_{n\to \infty}\sqrt[n]{|u_n(x)|}
  2. ρ(x)<1x(a,b)\rho(x)\lt 1 \Rightarrow x\in(a,b) 绝对收敛
  3. ρ(x)=1\rho(x)=1,将 x=ax=ax=bx=b 代入检查 n=1un(a)\displaystyle \sum_{n=1}^\infty u_n(a)n=1un(b)\displaystyle \sum_{n=1}^\infty u_n(b) 敛散性
  4. 得到收敛域:(a,b),[a,b],[a,b),(a,b](a,b),[a,b],[a,b),(a,b]

定义1#

n=0an(xx0)n=a0+a1(xx0)+a2(xx0)2+\displaystyle \sum_{n=0}^\infty a_n(x-x_0)^n=a_0+a_1(x-x_0)+a_2(x-x_0)^2+\cdotsx=x0x=x_0 处收敛,s(x0)=a0s(x_0)=a_0

定理1(Abel定理)#

  1. n=0anxn\displaystyle \sum_{n=0}^\infty a_nx^nx=x00x=x_0\ne 0 处收敛,则 n=0anxn\displaystyle \sum_{n=0}^\infty a_nx^n(x0,x0)(-|x_0|,|x_0|) 绝对收敛
  2. n=0anxn\displaystyle \sum_{n=0}^\infty a_nx^nx=x1x=x_1 处发散,则 n=0anxn\displaystyle \sum_{n=0}^\infty a_nx^n(,x1)(x1,+)(-\infty,-|x_1|)\cup(|x_1|,+\infty) 绝对收敛

例题#

  1. n=1(x2+x+1)nn(n+1)\displaystyle \sum_{n=1}^\infty \dfrac{(x^2+x+1)^n}{n(n+1)} 的收敛域

    解:ρ(x)=n=1(x2+x+1)nn(n+1)n=x2+x+1<1,1<x<0\rho(x)=\displaystyle \sum_{n=1}^\infty \sqrt[n]{\dfrac{(x^2+x+1)^n}{n(n+1)}}=x^2+x+1\lt 1,-1\lt x\lt 0

    x=1x=-1n=11n(n+1)\displaystyle \sum_{n=1}^\infty \dfrac{1}{n(n+1)} 收敛,x=0x=0n=11n(n+1)\displaystyle \sum_{n=1}^\infty \dfrac{1}{n(n+1)} 收敛。故收敛域为:[1,0][-1,0]

  2. n=1(1)nn(x12x+1)n\displaystyle \sum_{n=1}^\infty \dfrac{(-1)^n}{n}\left(\dfrac{x-1}{2x+1}\right)^n 的收敛域

    解:

    ρ(x)=limn(1)n+1n+1(x12x+1)n+1n(1)n(x12x+1)n=limnx12x+1(1)nn+1=x12x+1\begin{align*} \rho(x)&=\lim_{n\to \infty}\left| \dfrac{(-1)^{n+1}}{n+1}\cdot \left(\dfrac{x-1}{2x+1}\right)^{n+1}\cdot \dfrac{n}{(-1)^n} \cdot \left(\dfrac{x-1}{2x+1}\right)^{-n}\right|\\ &=\lim_{n\to \infty}\left|\dfrac{x-1}{2x+1}\cdot (-1)\cdot \dfrac{n}{n+1}\right|\\ &=\left|\dfrac{x-1}{2x+1}\right| \end{align*}

    ρ(x)<1\rho(x)\lt 1,则 1<x12x+1<1-1\lt \dfrac{x-1}{2x+1}\lt 1x<2x\lt -2x>0x\gt 0

    x=2x=-2 时,n=1(1)nn\displaystyle \sum_{n=1}^\infty \dfrac{(-1)^n}{n} 收敛;x=0x=0 时,n=11n\displaystyle \sum_{n=1}^\infty \dfrac{1}{n} 发散。故收敛域为 (,2](0,+)(-\infty,-2]\cup(0, +\infty)

收敛半径#

定义2#

n=0anxn\displaystyle \sum_{n=0}^\infty a_nx^nx<R|x|\lt R 时绝对收敛,x>R|x|\gt R 时发散,称 RR 为收敛半径,(R,R)(-R,R) 为收敛区间

n=0an(xx0)n\displaystyle \sum_{n=0}^\infty a_n(x-x_0)^n 的敛散分布 敛散分布

  • 推论
    • 若在 n=0anxn\displaystyle \sum_{n=0}^\infty a_nx^nx=x0x=x_0 处收敛,则 Rx0R\ge |x_0|
    • 若在 n=0anxn\displaystyle \sum_{n=0}^\infty a_nx^nx=x0x=x_0 处发散,则 Rx0R\le |x_0|
    • 若在 n=0anxn\displaystyle \sum_{n=0}^\infty a_nx^nx=x0x=x_0 处条件收敛,则 R=x0R= |x_0|
  • R=0R=0 仅在 x=0x=0 处收敛,收敛域为 {0}\{0\}
  • R=+R=+\infty 对于任意 xx 都收敛,收敛域 (,+)(-\infty,+\infty)
  • 0<R<+0\lt R\lt +\infty 对于 x<R|x|\lt R 绝对收敛,x>R|x|\gt R 发散

例题#

  1. n=1anxn\displaystyle \sum_{n=1}^\infty a_nx^nx=2x=2 处条件收敛,则 R=2R=2
  2. n=1an(x2)n\displaystyle \sum_{n=1}^\infty a_n(x-2)^nx=2x=-2 处条件收敛,则在 x=5x=5绝对收敛x=7x=7无法判断

定理2#

n=0anxn\displaystyle \sum_{n=0}^\infty a_nx^n(不缺项),若 ρ=limnan+1an\rho=\displaystyle \lim_{n\to \infty}\left|\dfrac{a_{n+1}}{a_n}\right|limxann\displaystyle \lim_{x \to \infty}\sqrt[n]{|a_n|},则:

  • ρ>0\rho\gt 0R=1ρR=\dfrac{1}{\rho},收敛区间 (1ρ,1ρ)(-\dfrac{1}{\rho},\dfrac{1}{\rho})
  • ρ=0\rho=0R=+R=+\infty
  • ρ=+\rho=+\inftyR=0R=0

例题II#

  1. 求幂级数 n=1(1)n+1n2nxn\displaystyle \sum_{n=1}^\infty \dfrac{(-1)^{n+1}}{n\cdot 2^n}x^n 的R与收敛域

    解:ρ=limnan+1an=limnn2(n+1)=12\rho=\displaystyle \lim_{n\to \infty}\left|\dfrac{a_{n+1}}{a_n}\right|=\lim_{n\to \infty}\dfrac{n}{2(n+1)}=\dfrac{1}{2}

    R=1ρ=2R=\dfrac{1}{\rho}=2,区间 (2,2)(-2,2)

    x=2x=2,级数为 n=1(1)n+1n\displaystyle \sum_{n=1}^\infty \dfrac{(-1)^{n+1}}{n},收敛

    x=2x=-2,级数为 n=11n\displaystyle \sum_{n=1}^\infty -\dfrac{1}{n},发散

    \therefore 收敛域为 (2,2](-2,2]

  2. 求幂级数 n=02+(1)n3nxn\displaystyle \sum_{n=0}^\infty \dfrac{2+(-1)^n}{3^n}x^n 的收敛域

    解:ρ=limn2+(1)n3nn=13\rho=\displaystyle \lim_{n\to \infty}\sqrt[n]{\left|\dfrac{2+(-1)^n}{3^n}\right|}=\dfrac{1}{3}

    R=1ρ=3R=\dfrac{1}{\rho}=3,区间 (3,3)(-3,3)

    x=3x=3n=0[2+(1)n]\displaystyle \sum_{n=0}^\infty [2+(-1)^n] 发散

    x=3x=-3n=0[2×(1)n+1]\displaystyle \sum_{n=0}^\infty [2\times(-1)^n+1] 发散

    \therefore 收敛域为 D=(3,3)D=(-3,3)

  3. 求幂级数 n=1(1)n13nx2n+1\displaystyle \sum_{n=1}^\infty \dfrac{(-1)^{n-1}}{3^n}x^{2n+1} 的收敛域

    解:ρ(x)=limn(1)n3n+13n(1)n1x2n+3x2n+1=13x2\rho(x)=\displaystyle \lim_{n\to \infty}\left|\dfrac{(-1)^n}{3^{n+1}}\cdot \dfrac{3^n}{(-1)^{n-1}}\cdot \dfrac{x^{2n+3}}{x^{2n+1}}\right|=\dfrac{1}{3}x^2

    ρ(x)<1\rho(x)\lt 1,则 3<x<3-\sqrt{3}\lt x\lt \sqrt{3}

    x=3x=\sqrt{3}n=13(1)n1\displaystyle \sum_{n=1}^\infty \sqrt{3}\cdot(-1)^{n-1},发散

    x=3x=-\sqrt{3}n=1(3)(1)n1\displaystyle \sum_{n=1}^\infty (-\sqrt{3})(-1)^{n-1},发散

    \therefore 收敛域 (3,3)(-\sqrt{3},\sqrt{3})

三、幂级数的运算#

设两级数 n=0anxn\displaystyle \sum_{n=0}^\infty a_nx^nn=0bnxn\displaystyle \sum_{n=0}^\infty b_nx^n 的收敛半径分别为 R1R_1R2R_2

1. 加减法#

在收敛域的公共部分,有

n=0anxn±n=0bnxn=n=0(an±bn)xn\displaystyle \sum_{n=0}^\infty a_nx^n \pm \displaystyle \sum_{n=0}^\infty b_nx^n = \displaystyle \sum_{n=0}^\infty (a_n \pm b_n) x^n

2. 乘法#

在收敛域的公共部分 (R,R)R=min{R1,R2}(-R,R) \quad R=\min\{R_1,R_2\},有

(n=0anxn)(n=0bnxn)=n=0(k=0nakbnk)xn(\displaystyle \sum_{n=0}^\infty a_nx^n)(\displaystyle \sum_{n=0}^\infty b_nx^n)=\sum_{n=0}^\infty(\sum_{k=0}^na_kb_{n-k})x^n

3. 除法#

n=0anxnn=0bnxn=n=0cnxn(b00)\begin{align*} \dfrac{\displaystyle \sum_{n=0}^\infty a_nx^n}{\displaystyle \sum_{n=0}^\infty b_nx^n}=\displaystyle \sum_{n=0}^\infty c_nx^n \quad (b_0\ne 0) \end{align*}

其中 a0=b0c0a_0=b_0c_0a1=b1c0+b0c1a_1=b_1c_0+b_0c_1a2=b2c0+b1c1+b0c2a_2=b_2c_0+b_1c_1+b_0c_2……

四、幂级数和函数的性质#

1. 极限与求和可交换#

s(x)s(x) 在收敛域上(单侧)连续,即 limxx0s(x)=s(x0)=n=0limxx0anxn\displaystyle \lim_{x\to x_0}s(x)=s(x_0)=\sum_{n=0}^\infty \lim_{x\to x_0}a_nx^n

limxx0n=0anxn=n=0(limxx0anxn)\lim_{x\to x_0}\sum_{n=0}^\infty a_nx^n=\sum_{n=0}^\infty (\lim_{x\to x_0}a_nx^n)

2. 积分与求和可交换#

s(x)s(x) 在收敛域上可积,其逐项积分公式为

0xs(t)dt=0x(n=0antn)dt=n=0(0xantndt)=n=0ann+1xn+1\begin{align*} \int_0^xs(t)\mathrm dt&=\int_0^x(\sum_{n=0}^\infty a_nt^n)\mathrm dt\\ &=\sum_{n=0}^\infty (\int_0^x a_nt^n \mathrm dt)\\ &=\sum_{n=0}^\infty \dfrac{a_n}{n+1} x^{n+1} \end{align*}

3. 求导与求和可交换#

s(x)s(x) 在收敛区间可导,其逐项求导公式为

s(x)=(n=0anxn)=n=0(anxn)=n=0nanxn1\begin{align*} s'(x)&=(\sum_{n=0}^\infty a_nx^n)'\\ &=\sum_{n=0}^\infty (a_nx^n)'\\ &=\sum_{n=0}^\infty na_nx^{n-1} \end{align*}

例题#

  1. n=0anxn\displaystyle \sum_{n=0}^\infty a_nx^nx=2x=2 条件收敛,则 n=0nanxn1\displaystyle \sum_{n=0}^\infty na_nx^{n-1} 的收敛半径为2

  2. n=1(1)n1nxn\displaystyle \sum_{n=1}^\infty \dfrac{(-1)^{n-1}}{n}x^n 的和函数

    解:ρ=limnnn+1(1)=1\rho=\displaystyle \lim_{n\to \infty}\left|\dfrac{n}{n+1}\cdot(-1)\right|=1R=1ρ=1R=\dfrac{1}{\rho}=1,收敛区间 (1,1)(-1,1)

    x=1x=1n=1(1)n1n\displaystyle \sum_{n=1}^\infty \dfrac{(-1)^{n-1}}{n} 收敛;x=1x=-1n=1(1n)\displaystyle \sum_{n=1}^\infty (-\dfrac{1}{n}) 发散

    \therefore 收敛域 (1,1](-1,1]

    s(x)=n=1(1)n1xn1=11(x)=11+x\displaystyle s'(x)=\sum_{n=1}^\infty (-1)^{n-1}x^{n-1}=\dfrac{1}{1-(-x)}=\dfrac{1}{1+x}

    0xs(t)dt=0x11+tdt\int_0^x s'(t)\mathrm dt=\int_0^x\dfrac{1}{1+t}\mathrm dt

    s(x)s(0)=ln(1+x)s(x)-s(0)=\ln(1+x)

    s(x)=ln(1+x),x(1,1)s(x)=\ln(1+x),x\in(-1,1)

    s(1)=limx1s(x)=ln2=n=1(1)n1n\because \displaystyle s(1)=\lim_{x\to 1^-}s(x)=\ln 2=\sum_{n=1}^\infty \dfrac{(-1)^{n-1}}{n}

    综上所述,s(x)=ln(1+x),x(1,1]s(x)=\ln(1+x),x\in(-1,1]

  3. n=1n(n+1)xn\displaystyle \sum_{n=1}^\infty n(n+1)x^n 的和函数

    解:易知其收敛域为 (1,1)(-1,1)

    0xs(t)dt=0xn=1n(n+1)tndt=n=10xn(n+1)tndt=n=1nxn+1(x(1,1))=x2n=1nxn1\begin{align*} \int_0^xs(t)\mathrm dt&=\int_0^x \sum_{n=1}^\infty n(n+1)t^n \mathrm dt\\ &=\sum_{n=1}^\infty \int_0^xn(n+1)t^n \mathrm dt\\ &=\sum_{n=1}^\infty nx^{n+1} (x\in(-1,1))\\ &=x^2 \sum_{n=1}^\infty nx^{n-1} \end{align*}

    s1(x)=n=1nxn1\displaystyle s_1(x)=\sum_{n=1}^\infty nx^{n-1}n=1s1(t)dt=n=10xntn1dt=n=1xn=x1x\displaystyle \sum_{n=1}^\infty s_1(t)\mathrm dt= \sum_{n=1}^\infty \int_0^xnt^{n-1}\mathrm dt=\sum_{n=1}^\infty x^n=\dfrac{x}{1-x}

    s1(x)=(x1x)=1(1x)2s_1(x)=\left(\dfrac{x}{1-x}\right)=\dfrac{1}{(1-x)^2}

    0xs(t)dt=x2s1(x)=x2(1x)2\displaystyle \int_0^x s(t)\mathrm dt=x^2s_1(x)=\dfrac{x^2}{(1-x)^2}

    s(x)=[x2(1x)2]=2x(1x)3x(1,1)s(x)=\left[\dfrac{x^2}{(1-x)^2}\right]'=\dfrac{2x}{(1-x)^3}\quad x\in(-1,1)

  4. n=11n(n+1)xn\displaystyle \sum_{n=1}^\infty \dfrac{1}{n(n+1)}x^n 的和函数

    解:其收敛域为 [1,1][-1,1]

    s(x)=1xn=11n(n+1)xn+1(x0)\displaystyle s(x)=\dfrac{1}{x}\sum_{n=1}^\infty \dfrac{1}{n(n+1)}x^{n+1}\quad(x\ne 0)

    s1(x)=n=11n(n+1)xn+1x(1,0)(0,1)\displaystyle s_1(x)=\sum_{n=1}^\infty \dfrac{1}{n(n+1)}x^{n+1}\quad x\in(-1,0)\cup(0,1)

    s1(x)=n=11nxn\displaystyle s_1'(x)=\sum_{n=1}^\infty \dfrac{1}{n}x^ns1(x)=n=1xn1=11x\displaystyle s_1''(x)=\sum_{n=1}^\infty x^{n-1}=\dfrac{1}{1-x}

    0xs1(t)dt=0x11tdt\displaystyle \int_0^xs_1''(t)\mathrm dt=\int_0^x\dfrac{1}{1-t}\mathrm dt

    s1(x)s1(0)=ln1t0xs_1'(x)-s_1'(0)=-\ln|1-t|_0^x

    0xs1(t)dt=0xln(1t)dt\displaystyle \int_0^xs_1'(t)\mathrm dt=-\int_0^x\ln(1-t)\mathrm dt

    s1(x)s1(0)=[ln(1t)t0x+0xt11tdt]=xln(1x)+x+ln(1x)s_1(x)-s_1(0)=-\left[\ln(1-t)t|_0^x+\int_0^xt\cdot \dfrac{1}{1-t}\mathrm dt\right]=-x\ln(1-x)+x+\ln(1-x)

    s(x)=ln(1x)+1+ln(1x)xx[1,0)(0,1)s(x)=-\ln(1-x)+1+\dfrac{\ln(1-x)}{x}\quad x\in[-1,0)\cup(0,1)

    s(0)=0s(0)=0s(1)=limx1s(x)=1+limx1ln(1x)(1x)x=1\displaystyle s(1)=\lim_{x\to 1^-}s(x)=1+\lim_{x\to 1^-}\dfrac{\ln(1-x)(1-x)}{x}=1

    综上,s(x)={1ln(1x)+ln(1x)xx[1,0)(0,1)0x=01x=1s(x)=\begin{cases}1-\ln(1-x)+\dfrac{\ln(1-x)}{x}\quad x\in[-1,0)\cup(0,1)\\0\quad x=0\\1\quad x=1\end{cases}

  5. n=0xnn!\displaystyle \sum_{n=0}^\infty \dfrac{x^n}{n!} 的和函数

    解:ρ=limnxn+1(n+1)!n!xn=0\displaystyle \rho=\lim_{n\to \infty}\dfrac{x^{n+1}}{(n+1)!}\cdot \dfrac{n!}{x^n}=0R=+R=+\infty,收敛域为 (,+)(-\infty,+\infty)

    s(x)=n=0(xnn!)=n=1xn1(n1)!=n=0xnn!s(x)=\sum_{n=0}^\infty \left(\dfrac{x^n}{n!}\right)'=\sum_{n=1}^\infty \dfrac{x^{n-1}}{(n-1)!}=\sum_{n=0}^\infty \dfrac{x^n}{n!}

    s(x)=s(x)s'(x)=s(x)

    s(x)=cexs(x)=c\cdot e^x

    s(0)=1\because s(0)=1

    C=1\therefore C=1s(x)=exs(x)=e^x

7.3 幂级数
https://gitee.com/jason_ren/advanced-math-note
作者
Jason Ren
发布于
2025-12-03
许可协议
CC BY-SA 4.0

部分信息可能已经过时

封面
Music
Artist
封面
Music
Artist
0:00 / 0:00