傅里叶级数

傅里叶级数

从前，有个名叫傅里叶的同学，有一天，他突发奇想，大笔一挥，写下了一个又大又长的公式：

$f(t)=\frac{a_0}{2}+\sum _{n=1}^{\infty }(a_n\cos n\omega t+b_n\sin n\omega t)$

$a_n=\frac{2}{T}{\int }_{-\frac{T}{2}}^{\frac{T}{2}}f(t)\cos (n\omega t)\mathrm{d}t$

$b_n=\frac{2}{T}{\int }_{-\frac{T}{2}}^{\frac{T}{2}}f(t)\sin (n\omega t)\mathrm{d}t$

这是神马鬼？Are you kidding？

事实上，这位傅里叶奆佬的想法很简单，能不能用正弦函数来表示所有函数呢？

于是，他假设一个周期为$T$的周期函数$f(t)=a_0+\sum _{n=1}^{\infty }(a_n\sin n\omega t+b_n\cos n\omega t)$

也就是说，用周期为$T,2T,3T,...$的正弦和余弦函数表示$f(t)$

大致框架有了，就差求出$a_n,b_n$的值了。

事实上，这并不容易。首先证明引理：

在三角函数系{ $1,\sin x,\cos x,\sin 2x,\cos 2x,\sin 3x,\cos 3x,...$}中，任取两个函数$f(x),g(x)$，若$f(x)\ne g(x)$，必然满足：

${\int }_{-\pi }^{\pi }f(x)g(x)\mathrm{d}x=0$

若$f(x)=g(x)$，则：

${\int }_{-\pi }^{\pi }f(x{)}^2\mathrm{d}x=\pi$

假如你有函数绘图软件，多画几个函数图像，你就知道为什么这个是对的了。

拓展到任意周期三角函数系：

在三角函数系{ $1,\sin \omega t,\cos \omega t,\sin 2\omega t,\cos 2\omega t,\sin 3\omega t,\cos 3\omega t,...$}

任取函数$f(x),g(x)$

若$f(x)\ne g(x)$，则${\int }_{-\frac{T}{2}}^{\frac{T}{2}}f(x)g(x)\mathrm{d}x=0$

若$f(x)=g(x)$，则${\int }_{-\frac{T}{2}}^{\frac{T}{2}}f(x{)}^2=\frac{T}{2}$

上述引理可以用积化和差公式证明

接着，就轮到傅里叶奆佬出场了，傅里叶奆佬秀了一波骚操作：

$$f(t)=a_0+\sum _{n=1}^{\infty }(a_n\cos n\omega t+b_n\sin n\omega t)$$

$${\int }_{-\frac{T}{2}}^{\frac{T}{2}}f(t)\mathrm{d}t={\int }_{-\frac{T}{2}}^{\frac{T}{2}}{a}_0\mathrm{d}t+{\int }_{-\frac{T}{2}}^{\frac{T}{2}}\sum _{n=1}^{\infty }(a_n\cos n\omega t+b_n\sin n\omega t)\mathrm{d}t$$

根据定积分的性质，将其化成

∫ − T 2 T 2 f ( t ) d t = a 0 T + ∑ n