泰勒级数与常用展开:函数的多项式身份证

04-级数 核心 约 25 分钟 #泰勒级数#麦克劳林#常用展开#生成函数 更新 2026-10-02
当前状态:未学
本文基于模型知识整理(生成时未联网核对),展开式与收敛域建议对照 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)、生成函数(组合数学)、概率的矩母函数、物理的微扰论——"把函数展开成幂级数"是从数学到工程的最通用操作。

前置知识

kp-008(泰勒公式)、kp-019(收敛半径)。

核心概念(五张核心展开 + 收敛域)

函数麦克劳林级数收敛域
$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。
  • 误区三:"两式相乘直接逐项乘不开收敛域讨论"。乘积级数只在两收敛域交集内合法(且通常取小者)。

与其他知识点的关系

  • kp-008/019:有限与无限的两端。
  • kp-021:另一套正交基的展开(傅里叶)。
  • kp-030:矩母函数/特征函数的级数本体。

自测题

  1. 用 $\frac{1}{1-x}$ 的展开求 $\frac{1}{(1-x)^2}$ 的级数。

答:逐项求导 $\sum nx^{n-1}$(即 $\sum(n+1)x^n$),|x|<1。

  1. 求 $xe^{-x^2}$ 的麦克劳林级数与收敛域。

答:$x\sum\frac{(-x^2)^n}{n!}=\sum\frac{(-1)^nx^{2n+1}}{n!}$,R=∞。

  1. 写出欧拉公式并用它从 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》(生成函数的深潜)。