泰勒级数与常用展开:函数的多项式身份证
本文基于模型知识整理(生成时未联网核对),展开式与收敛域建议对照 Stewart §11.10 复核。
一句话定义
泰勒级数是泰勒公式(kp-008)让余项趋于零后的无穷版:$f(x)=\sum\frac{f^{(n)}(a)}{n!}(x-a)^n$——在收敛域(kp-019)内多项式克隆体与原函数完全相等;五张常用展开(e^x、sin、cos、ln(1+x)、(1+x)^α)是微积分的"元素周期表",一切局部近似与大量积分/求和由此查表出发。
为什么重要
它是 kp-008 有限近似的无限承诺:级数意义上 e^x、sin、cos 被它们的泰勒级数定义(很多教材就这么定义);广义函数求值(计算器的 sin)、生成函数(组合数学)、概率的矩母函数、物理的微扰论——"把函数展开成幂级数"是从数学到工程的最通用操作。
前置知识
核心概念(五张核心展开 + 收敛域)
| 函数 | 麦克劳林级数 | 收敛域 | ||
|---|---|---|---|---|
| $e^x$ | $1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\dots$ | 全体 R | ||
| $\sin x$ | $x-\frac{x^3}{3!}+\frac{x^5}{5!}-\dots$ | 全体 R | ||
| $\cos x$ | $1-\frac{x^2}{2!}+\frac{x^4}{4!}-\dots$ | 全体 R | ||
| $\frac{1}{1-x}$ | $1+x+x^2+\dots$ | $ | x | <1$ |
| $\ln(1+x)$ | $x-\frac{x^2}{2}+\frac{x^3}{3}-\dots$ | $-1<x\le1$ | ||
| $(1+x)^\alpha$ | $1+\alpha x+\frac{\alpha(\alpha-1)}{2!}x^2+\dots$ | $ | x | <1$ |
- 展开的推导策略:直接套公式(算 n 阶导)vs 已知级数的代数运算(代入/相乘/求导/积分/待定系数)——实战 90% 走第二条(如 $\ln(1+x)$ = 对 $\frac{1}{1+x}$ 逐项积分;$e^{-x^2}$ = e^x 代入 −x²)。
- 欧拉公式:$\cos x+i\sin x=e^{ix}$——比较 $e^{ix}$ 级数的奇偶项即得,五大展开的皇冠珠宝(复世界 kp-025 的桥)。
- 生成函数思想:把数列 $\{a_n\}$ 装进 $\sum a_nx^n$,用级数运算研究数列——泰勒级数作为"数据结构"。
原理与机制
为什么"无穷次相触"保证相等(而有限次不保证):kp-008 的反例 $e^{-1/x^2}$(各阶导全零)说明有限阶相触不够;泰勒级数相等需要余项→0(收敛域内成立)——级数身份是比"n 阶近似"强得多的承诺(解析性的门槛)。
为什么代入/求导/积分能"合法生产"新展开:kp-019 的逐项运算定理——收敛域内幂级数可微可积可复合(复合要管收敛域)。于是五张表可以像乐高一样拼出新函数的展开,不必每次算 n 阶导。
欧拉公式为什么是"级数排出来的奇迹":$e^{ix}=1+ix-\frac{x^2}{2!}-i\frac{x^3}{3!}+\dots$——实部恰为 cos 级数、虚部恰为 sin 级数;e(增长)与三角(旋转)在复平面上合体(kp-025 正规矩阵谱系的远亲)。
图示
eˣ = Σ xⁿ/n! (R=∞)
sinx = Σ (−1)ⁿ x^{2n+1}/(2n+1)! ; cosx = Σ (−1)ⁿ x^{2n}/(2n)!
1/(1−x) = Σ xⁿ (|x|<1) ← 几何级数=母版
ln(1+x) = ∫dx/(1+x) 逐项积分 → 交错调和
欧拉公式: e^{ix} = cosx + i·sinx (级数实虚部分家)
策略: 代入/求导/积分/待定系数 > 直接算 n 阶导
直观类比
常用展开像"函数的二维码":扫一眼系数(导数序列)就能在计算机里重建整个函数——sin 在 CPU 里不是"画三角形",而是按这些系数算多项式(kp-017 的近亲)。生成函数则是"给数列拍二维码"。
实例或案例
- $\int e^{-x^2}dx$ 非初等(kp-013)——但逐项积分级数得 $\sum\frac{(-1)^nx^{2n+1}}{n!(2n+1)}$:级数给了"解析上不可积"函数的可算表达。
- 巴塞尔问题 $\sum\frac1{n^2}=\frac{\pi^2}6$:对 $\frac{\sin x}{x}$ 的级数做系数比较(欧拉的解法)——级数操作的里程碑。
- 物理微扰论:势能修正按"小参数的幂级数"展开——把难解系统钉在易解系统旁逐阶修正。
常见误区
- 误区一:"级数展开=泰勒公式,只是项多"。不相等风险:kp-008 反例函数的泰勒级数恒为 0 但函数非 0——"有级数"与"等于级数"是两件事(解析性的门槛)。
- 误区二:"在收敛域外使用展开"。$\ln(1+x)$ 在 x=−2 用展开=用错函数;每次使用先看 R。
- 误区三:"两式相乘直接逐项乘不开收敛域讨论"。乘积级数只在两收敛域交集内合法(且通常取小者)。
与其他知识点的关系
自测题
- 用 $\frac{1}{1-x}$ 的展开求 $\frac{1}{(1-x)^2}$ 的级数。
答:逐项求导 $\sum nx^{n-1}$(即 $\sum(n+1)x^n$),|x|<1。
- 求 $xe^{-x^2}$ 的麦克劳林级数与收敛域。
答:$x\sum\frac{(-x^2)^n}{n!}=\sum\frac{(-1)^nx^{2n+1}}{n!}$,R=∞。
- 写出欧拉公式并用它从 e^{ix} 级数分离出 cos x 的展开。
答:$e^{ix}=\cos x+i\sin x$;按 i 的幂奇偶分家,偶次项(实部)= $1-\frac{x^2}{2!}+\frac{x^4}{4!}-\dots=\cos x$。
延伸阅读
- 3Blue1Brown《Essence of Calculus》第 10–12 集(泰勒级数三部曲)。
- Stewart《Calculus》§11.10–11.11。
- Graham/Knuth/Patashnik《Concrete Mathematics》(生成函数的深潜)。