945 字
5 分钟
泰勒级数与傅里叶级数

一、泰勒级数(Taylor Series)#

1. 定义#

设函数 f(x)f(x) 在某点 x=ax=a 的邻域内有无穷阶导数。若存在一个级数满足:

f(x)=n=0f(n)(a)n!(xa)n,f(x) = \sum_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!}(x - a)^n,

且该级数在某邻域内收敛于 f(x)f(x),则称该级数为 f(x)f(x)x=ax=a 处的泰勒级数

2. 泰勒公式及其拉格朗日型余项#

设函数 ff 在闭区间 [a,x][a, x] 上具有 n+1n+1 阶连续导数。根据泰勒定理,存在某个 ξ\xi 介于 aaxx 之间,使得:

f(x)=k=0nf(k)(a)k!(xa)k+Rn(x),f(x) = \sum_{k=0}^n \frac{f^{(k)}(a)}{k!}(x - a)^k + R_n(x),

其中余项 Rn(x)R_n(x)拉格朗日形式为:

Rn(x)=f(n+1)(ξ)(n+1)!(xa)n+1.R_n(x) = \frac{f^{(n+1)}(\xi)}{(n+1)!}(x - a)^{n+1}.

3. 证明泰勒展开的推导#

我们从函数的积分表示出发来构造展开:

假设 ff[a,x][a,x](n+1)(n+1) 阶可导。

我们对 ff 逐阶积分,建立如下恒等式:

首先注意:

f(x)=f(a)+axf(t)dtf(x) = f(a) + \int_a^x f'(t)\, dt

又有:

f(t)=f(a)+atf(s)dsf'(t) = f'(a) + \int_a^t f''(s) \, ds

代入得到:

f(x)=f(a)+f(a)(xa)+axatf(s)dsdtf(x) = f(a) + f'(a)(x - a) + \int_a^x \int_a^t f''(s)\, ds\, dt

不断重复这个操作,我们可以得到通式:

f(x)=k=0nf(k)(a)k!(xa)k+1n!ax(xt)nf(n+1)(t)dtf(x) = \sum_{k=0}^{n} \frac{f^{(k)}(a)}{k!}(x - a)^k + \frac{1}{n!} \int_a^x (x - t)^n f^{(n+1)}(t)\, dt

该积分余项形式称为积分余项型泰勒公式

在此基础上,若我们对余项 Rn(x)R_n(x) 应用平均值定理(广义柯西中值定理),可得:

Rn(x)=f(n+1)(ξ)(n+1)!(xa)n+1R_n(x) = \frac{f^{(n+1)}(\xi)}{(n+1)!}(x - a)^{n+1}

其中 ξ(a,x)\xi \in (a,x)

4. 泰勒级数收敛的条件#

我们希望极限成立:

limnRn(x)=0\lim_{n \to \infty} R_n(x) = 0

这需要对函数 f(x)f(x) 的导数进行控制。

一种常见情况是:存在常数 MMRR 使得:

f(n)(a)MRnn!|f^{(n)}(a)| \leq M R^n n!

则级数

n=0f(n)(a)n!(xa)n\sum_{n=0}^{\infty} \frac{f^{(n)}(a)}{n!}(x - a)^n

xa<1R|x - a| < \frac{1}{R} 内绝对收敛。

5. 示例:exe^x 的泰勒展开#

函数 f(x)=exf(x) = e^x 的各阶导数均为 exe^x,所以 f(n)(0)=1f^{(n)}(0) = 1

代入展开式得:

ex=n=0xnn!e^x = \sum_{n=0}^{\infty} \frac{x^n}{n!}

我们可以估算余项:

Rn(x)=eξ(n+1)!xn+1R_n(x) = \frac{e^\xi}{(n+1)!} x^{n+1}

显然 Rn(x)ex(n+1)!xn+10|R_n(x)| \leq \frac{e^{|x|}}{(n+1)!} |x|^{n+1} \to 0,当 nn \to \infty,所以级数收敛于 exe^x

二、傅里叶级数(Fourier Series)#

1. 定义#

对于周期函数 f(x)f(x),设周期为 2L2L,若 f(x)f(x)[L,L][-L, L] 上绝对可积,可展开为:

f(x)=a02+n=1[ancos(nπxL)+bnsin(nπxL)]f(x) = \frac{a_0}{2} + \sum_{n=1}^{\infty} \left[a_n \cos\left(\frac{n\pi x}{L}\right) + b_n \sin\left(\frac{n\pi x}{L}\right)\right]

2. 傅里叶系数的计算公式#

利用正交性计算傅里叶系数:

  • 零次项(平均值):
a0=1LLLf(x)dxa_0 = \frac{1}{L} \int_{-L}^{L} f(x) \, dx
  • 余弦系数:
an=1LLLf(x)cos(nπxL)dxa_n = \frac{1}{L} \int_{-L}^{L} f(x) \cos\left(\frac{n\pi x}{L}\right) \, dx
  • 正弦系数:
bn=1LLLf(x)sin(nπxL)dxb_n = \frac{1}{L} \int_{-L}^{L} f(x) \sin\left(\frac{n\pi x}{L}\right) \, dx

3. 证明思路:使用正交基展开#

正交函数系#

函数系 {1,cos(nπx/L),sin(nπx/L)}\{1, \cos(n\pi x / L), \sin(n\pi x / L)\}[L,L][-L, L] 上两两正交:

例如:

LLcos(nπxL)cos(mπxL)dx={0,nmL,n=m0\int_{-L}^{L} \cos\left(\frac{n\pi x}{L}\right) \cos\left(\frac{m\pi x}{L}\right) dx = \begin{cases} 0, & n \ne m \\ L, & n = m \ne 0 \end{cases}

在正交系下展开函数#

假设 f(x)f(x) 可表示为这些正交函数的线性组合:

f(x)=n=0(Anϕn(x))f(x) = \sum_{n=0}^\infty \left( A_n \phi_n(x) \right)

其中 ϕn(x)\phi_n(x) 是上述正交函数。

由于正交性,我们可以用“投影”的方式提取系数:

An=f,ϕnϕn,ϕnA_n = \frac{\langle f, \phi_n \rangle}{\langle \phi_n, \phi_n \rangle}

对应就是傅里叶系数 ana_nbnb_n 的计算。

4. 收敛性说明(狄利克雷条件)#

f(x)f(x) 满足以下条件,则其傅里叶级数在 (L,L)(-L, L) 上逐点收敛:

  • [L,L][-L, L] 上绝对可积;
  • f(x)f(x) 分段光滑(有限个不连续点和拐点);
  • 在每个不连续点收敛于左右极限的平均值:
limNSN(x)=f(x+)+f(x)2\lim_{N\to \infty} S_N(x) = \frac{f(x^+) + f(x^-)}{2}

5. 示例:周期为 2π2\pi 的函数 f(x)=xf(x) = x[π,π][-\pi, \pi] 上的傅里叶级数#

  1. 函数为奇函数 ⇒ 所有 an=0a_n = 0

  2. 计算 bnb_n

bn=1πππxsin(nx)dx=2(1)n+1nb_n = \frac{1}{\pi} \int_{-\pi}^{\pi} x \sin(nx) \, dx = \frac{2(-1)^{n+1}}{n}

最终傅里叶展开为:

f(x)=n=12(1)n+1nsin(nx)f(x) = \sum_{n=1}^\infty \frac{2(-1)^{n+1}}{n} \sin(nx)

三、总结对比#

特性泰勒级数傅里叶级数
适用对象光滑函数周期函数
形式幂级数三角级数
基函数1,x,x2,1, x, x^2, \dotscos(nπx/L),sin(nπx/L)\cos(n\pi x/L), \sin(n\pi x/L)
系数计算导数公式积分正交投影
收敛性需余项趋零狄利克雷条件
分享

如果这篇文章对你有帮助,欢迎分享给更多人!

泰勒级数与傅里叶级数
https://www.laoguantx.cn/posts/taylorseriesandfourierseries/
作者
老官童鞋gogo
发布于
2025-04-06
许可协议
CC BY-NC-SA 4.0

部分信息可能已经过时

封面
Sample Song
Sample Artist
封面
Sample Song
Sample Artist
0:00 / 0:00