泰勒展开与函数的幂级数展开

泰勒级数与麦克劳林级数

泰勒级数

如果函数 f(x)f(x) 在点 x0x_0 处具有任意阶导数,则称幂级数

∑n=0∞f(n)(x0)n!(x−x0)n=f(x0)+f′(x0)(x−x0)+f′′(x0)2!(x−x0)2+⋯\sum_{n=0}^{\infty} \frac{f^{(n)}(x_0)}{n!} (x - x_0)^n = f(x_0) + f'(x_0)(x-x_0) + \frac{f''(x_0)}{2!}(x-x_0)^2 + \cdots

为函数 f(x)f(x) 在点 x0x_0 处的泰勒级数。

当 x0=0x_0 = 0 时,泰勒级数变为

∑n=0∞f(n)(0)n!xn\sum_{n=0}^{\infty} \frac{f^{(n)}(0)}{n!} x^n

称为麦克劳林级数。

函数展开成幂级数的条件

定理1

充要条件:设函数 f(x)f(x) 在点 x0x_0 的某邻域内具有任意阶导数,则 f(x)f(x) 在该邻域内能展开成泰勒级数的充分必要条件是:f(x)f(x) 的泰勒公式中的余项 Rn(x)R_n(x) 当 n→∞n \to \infty 时的极限为零,即

lim⁡n→∞Rn(x)=0\lim_{n \to \infty} R_n(x) = 0

其中泰勒公式为:

f(x)=∑k=0nf(k)(x0)k!(x−x0)k+Rn(x)f(x) = \sum_{k=0}^{n} \frac{f^{(k)}(x_0)}{k!}(x-x_0)^k + R_n(x)

常用的余项形式:

  • 拉格朗日余项:Rn(x)=f(n+1)(ξ)(n+1)!(x−x0)n+1R_n(x) = \frac{f^{(n+1)}(\xi)}{(n+1)!}(x-x_0)^{n+1}(ξ\xi 在 x0x_0 与 xx 之间)
  • 佩亚诺余项:Rn(x)=o((x−x0)n)R_n(x) = o((x-x_0)^n)
定理2

充分条件:如果函数 f(x)f(x) 的各阶导数在点 x0x_0 的某邻域内一致有界(即存在常数 M>0M > 0,使得 ∣f(n)(x)∣≤M|f^{(n)}(x)| \leq M 对所有 nn 和该邻域内所有 xx 成立),则 f(x)f(x) 在该邻域内可以展开成泰勒级数。

常见函数的麦克劳林展开

常用麦克劳林展开式
  1. 指数函数:ex=∑n=0∞xnn!=1+x+x22!+⋯e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!} = 1 + x + \frac{x^2}{2!} + \cdots(x∈(−∞,+∞)x \in (-\infty, +\infty))

  2. 正弦函数:sin⁡x=∑n=0∞(−1)nx2n+1(2n+1)!=x−x33!+x55!−⋯\sin x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{(2n+1)!} = x - \frac{x^3}{3!} + \frac{x^5}{5!} - \cdots(x∈(−∞,+∞)x \in (-\infty, +\infty))

  3. 余弦函数:cos⁡x=∑n=0∞(−1)nx2n(2n)!=1−x22!+x44!−⋯\cos x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{(2n)!} = 1 - \frac{x^2}{2!} + \frac{x^4}{4!} - \cdots(x∈(−∞,+∞)x \in (-\infty, +\infty))

  4. 几何级数:11−x=∑n=0∞xn=1+x+x2+⋯\frac{1}{1-x} = \sum_{n=0}^{\infty} x^n = 1 + x + x^2 + \cdots(∣x∣<1|x| < 1)

  5. 对数函数:ln⁡(1+x)=∑n=1∞(−1)n−1xnn=x−x22+x33−⋯\ln(1+x) = \sum_{n=1}^{\infty} \frac{(-1)^{n-1} x^n}{n} = x - \frac{x^2}{2} + \frac{x^3}{3} - \cdots(x∈(−1,1]x \in (-1, 1])

  6. 二项式展开:(1+x)α=∑n=0∞(αn)xn=1+αx+α(α−1)2!x2+⋯(1+x)^\alpha = \sum_{n=0}^{\infty} \binom{\alpha}{n} x^n = 1 + \alpha x + \frac{\alpha(\alpha-1)}{2!}x^2 + \cdots(∣x∣<1|x| < 1,α\alpha 为任意实数)

  7. 反正切函数:arctan⁡x=∑n=0∞(−1)nx2n+12n+1=x−x33+x55−⋯\arctan x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{2n+1} = x - \frac{x^3}{3} + \frac{x^5}{5} - \cdots(x∈[−1,1]x \in [-1, 1])

函数展开成幂级数的方法

典型例题

例题1:间接展开——变量替换

将 f(x)=e−x2f(x) = e^{-x^2} 展开成麦克劳林级数。

参考答案
间接展开变量替换指数函数
  1. 已知 et=∑n=0∞tnn!e^t = \sum_{n=0}^{\infty} \frac{t^n}{n!}(t∈(−∞,+∞)t \in (-\infty, +\infty))
  2. 令 t=−x2t = -x^2,代入得: e−x2=∑n=0∞(−x2)nn!=∑n=0∞(−1)nx2nn!=1−x2+x42!−x63!+⋯e^{-x^2} = \sum_{n=0}^{\infty} \frac{(-x^2)^n}{n!} = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{n!} = 1 - x^2 + \frac{x^4}{2!} - \frac{x^6}{3!} + \cdots
  3. 收敛域:x∈(−∞,+∞)x \in (-\infty, +\infty)

答案:e−x2=∑n=0∞(−1)nx2nn!e^{-x^2} = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n}}{n!}(x∈Rx \in \mathbb{R})。

例题2:间接展开——逐项积分

将 f(x)=arctan⁡xf(x) = \arctan x 展开成麦克劳林级数。

参考答案
间接展开逐项积分反正切函数
  1. f′(x)=11+x2f'(x) = \frac{1}{1+x^2}
  2. 已知 11−t=∑n=0∞tn\frac{1}{1-t} = \sum_{n=0}^{\infty} t^n(∣t∣<1|t| < 1),令 t=−x2t = -x^2: 11+x2=∑n=0∞(−x2)n=∑n=0∞(−1)nx2n\frac{1}{1+x^2} = \sum_{n=0}^{\infty} (-x^2)^n = \sum_{n=0}^{\infty} (-1)^n x^{2n}(∣x∣<1|x| < 1)
  3. 逐项积分: arctan⁡x=∫0x11+t2dt=∑n=0∞(−1)n∫0xt2ndt=∑n=0∞(−1)nx2n+12n+1\arctan x = \int_0^x \frac{1}{1+t^2} dt = \sum_{n=0}^{\infty} (-1)^n \int_0^x t^{2n} dt = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{2n+1}
  4. 端点验证:x=±1x = \pm 1 时级数收敛(交错级数),故收敛域为 [−1,1][-1, 1]

答案:arctan⁡x=∑n=0∞(−1)nx2n+12n+1\arctan x = \sum_{n=0}^{\infty} \frac{(-1)^n x^{2n+1}}{2n+1}(x∈[−1,1]x \in [-1, 1])。

例题3:间接展开——四则运算

将 f(x)=1x2+4x+3f(x) = \frac{1}{x^2 + 4x + 3} 展开成 (x−1)(x-1) 的幂级数。

参考答案
间接展开部分分式平移展开
  1. 部分分式分解:1x2+4x+3=1(x+1)(x+3)=12(1x+1−1x+3)\frac{1}{x^2+4x+3} = \frac{1}{(x+1)(x+3)} = \frac{1}{2}\left(\frac{1}{x+1} - \frac{1}{x+3}\right)
  2. 令 t=x−1t = x - 1,则 x=t+1x = t + 1: 1x+1=1t+2=12⋅11+t2=12∑n=0∞(−t2)n=∑n=0∞(−1)ntn2n+1\frac{1}{x+1} = \frac{1}{t+2} = \frac{1}{2} \cdot \frac{1}{1+\frac{t}{2}} = \frac{1}{2}\sum_{n=0}^{\infty} \left(-\frac{t}{2}\right)^n = \sum_{n=0}^{\infty} \frac{(-1)^n t^n}{2^{n+1}}(∣t∣<2|t| < 2) 1x+3=1t+4=14⋅11+t4=∑n=0∞(−1)ntn4n+1\frac{1}{x+3} = \frac{1}{t+4} = \frac{1}{4} \cdot \frac{1}{1+\frac{t}{4}} = \sum_{n=0}^{\infty} \frac{(-1)^n t^n}{4^{n+1}}(∣t∣<4|t| < 4)
  3. 取交集 ∣t∣<2|t| < 2: f(x)=12(∑n=0∞(−1)ntn2n+1−∑n=0∞(−1)ntn4n+1)=∑n=0∞(−1)n(12n+2−12⋅4n+1)tnf(x) = \frac{1}{2}\left(\sum_{n=0}^{\infty} \frac{(-1)^n t^n}{2^{n+1}} - \sum_{n=0}^{\infty} \frac{(-1)^n t^n}{4^{n+1}}\right) = \sum_{n=0}^{\infty} (-1)^n \left(\frac{1}{2^{n+2}} - \frac{1}{2 \cdot 4^{n+1}}\right) t^n
  4. 代回 t=x−1t = x-1,收敛域 ∣x−1∣<2|x-1| < 2,即 x∈(−1,3)x \in (-1, 3)

答案:f(x)=∑n=0∞(−1)n(12n+2−12⋅4n+1)(x−1)nf(x) = \sum_{n=0}^{\infty} (-1)^n \left(\frac{1}{2^{n+2}} - \frac{1}{2 \cdot 4^{n+1}}\right)(x-1)^n(x∈(−1,3)x \in (-1, 3))。


练习题

练习1

将 f(x)=cos⁡2xf(x) = \cos^2 x 展开成麦克劳林级数。

参考答案
间接展开三角恒等式余弦函数
  1. 利用恒等式 cos⁡2x=1+cos⁡2x2\cos^2 x = \frac{1+\cos 2x}{2}
  2. cos⁡2x=∑n=0∞(−1)n(2x)2n(2n)!=∑n=0∞(−1)n4nx2n(2n)!\cos 2x = \sum_{n=0}^{\infty} \frac{(-1)^n (2x)^{2n}}{(2n)!} = \sum_{n=0}^{\infty} \frac{(-1)^n 4^n x^{2n}}{(2n)!}
  3. cos⁡2x=12+12∑n=0∞(−1)n4nx2n(2n)!=1+∑n=1∞(−1)n22n−1x2n(2n)!\cos^2 x = \frac{1}{2} + \frac{1}{2}\sum_{n=0}^{\infty} \frac{(-1)^n 4^n x^{2n}}{(2n)!} = 1 + \sum_{n=1}^{\infty} \frac{(-1)^n 2^{2n-1} x^{2n}}{(2n)!}

答案:cos⁡2x=1+∑n=1∞(−1)n22n−1x2n(2n)!\cos^2 x = 1 + \sum_{n=1}^{\infty} \frac{(-1)^n 2^{2n-1} x^{2n}}{(2n)!}(x∈Rx \in \mathbb{R})。

练习2

将 f(x)=1(1−x)2f(x) = \frac{1}{(1-x)^2} 展开成麦克劳林级数。

参考答案
间接展开逐项求导几何级数
  1. 已知 11−x=∑n=0∞xn\frac{1}{1-x} = \sum_{n=0}^{\infty} x^n(∣x∣<1|x| < 1)
  2. 两边求导:1(1−x)2=∑n=1∞nxn−1=∑n=0∞(n+1)xn\frac{1}{(1-x)^2} = \sum_{n=1}^{\infty} n x^{n-1} = \sum_{n=0}^{\infty} (n+1) x^n(∣x∣<1|x| < 1)

答案:1(1−x)2=∑n=0∞(n+1)xn\frac{1}{(1-x)^2} = \sum_{n=0}^{\infty} (n+1)x^n(∣x∣<1|x| < 1)。


总结

本文出现的符号

符号类型读音/说明在本文中的含义
f(n)(x)f^{(n)}(x)n阶导数nth derivative函数的n阶导数
Rn(x)R_n(x)余项remainder泰勒公式的余项
x0x_0展开中心center泰勒展开的中心点
ξ\xi中值点xi拉格朗日余项中的中值点
(αn)\binom{\alpha}{n}二项式系数binomial coefficient广义二项式系数

中英对照

中文术语英文术语音标
泰勒级数Taylor series/ˈteɪlər ˈsɪəriːz/
麦克劳林级数Maclaurin series/məkˈlɔːrɪn ˈsɪəriːz/
泰勒公式Taylor formula/ˈteɪlər ˈfɔːrmjələ/
泰勒展开Taylor expansion/ˈteɪlər ɪkˈspænʃən/
拉格朗日余项Lagrange remainder/ləˈɡrɑːndʒ rɪˈmeɪndər/
佩亚诺余项Peano remainder/peɪˈɑːnoʊ rɪˈmeɪndər/
直接展开法direct expansion/dəˈrɛkt ɪkˈspænʃən/
间接展开法indirect expansion/ˌɪndəˈrɛkt ɪkˈspænʃən/
二项式展开binomial expansion/baɪˈnoʊmiəl ɪkˈspænʃən/
收敛于converge to/kənˈvɜːrdʒ tuː/
任意阶导数derivatives of all orders/dɪˈrɪvətɪvz əv ɔːl ˈɔːrdərz/

发现内容有问题?

告诉我们哪里需要改进。