傅里叶级数（一）

概述：傅里叶级数，起初是用来解决如何求解微分方程的问题的。学过高数的应该都知道，对于非齐次微分方程的求解，如果输入是指数幂，sin或者cos系列，就可以先求其其次微分方程的通解，然后通过公式求出特解。如果是其他的函数，就很难解决。傅里叶级数就是将所有的周期函数转化为sin和cos的乘积。这篇博客就是讲解傅里叶级数的推导。主要观点来自于网易麻省理工公开课。

傅里叶级数定义（有限傅里叶变换）

一个以$T$为周期的实函数$f_T(t)$，如果在$[-\frac{T}{2},\frac{T}{2}]$上满足狄利克雷条件：
（1）连续或只有有限个第一类间断点
（2）只有有限个极值点
则

$$f_T(t)=\frac{a_0}{2}+\sum_{n=1}^{2}(a_ncosnwt+b_nsinnwt)$$
其中： $$w=\frac{2\pi}{T},a_n=\frac{2}{T}\int_{-\frac{T}{2}}^\frac{T}{2}f_T(t)cosnwtdt \qquad(n=0,1,2,\dots)\\ b_n=\frac{2}{T}\int_{-\frac{T}{2}}^\frac{T}{2}f_T(t)sinnwtdt \qquad(n=1,2,\dots)$$

证明

简化一下：假设$T=2\pi$，则要证明的式子为：

$$w=1,a_n=\frac{1}{\pi}\int_{-\pi}^\pi f_T(t)cosntdt \qquad(n=0,1,2,\dots),\\ b_n=\frac{1}{\pi}\int_{-\pi}^\pi f_T(t)sinntdt \qquad(n=1,2,\dots)$$

函数的正交性(orthogonal)

定义

先给大家介绍一个概念：函数的正交性。
有两个函数$u(t),v(t)$，如果：

$$\int _{-\pi}^{\pi}u(t)v(t)=0$$ 则称这两个函数满足正交性(我忽略了视频中提到的周期，希望并没有是影响？？)

叫做正交的原因是因为，上式所求的就是两个函数的内积，与向量正交挺像的。而且目前，函数正交应用也很广泛。

证明

下面将要证明：对于所有的

$$\begin{cases} sinnt,&n=(1,2,3,\dots)\\ cosmt,&m=(0,1,2,3,\dots) \end{cases}$$ 这个函数集合中的任意两个函数，都满足正交性。

傅里叶级数

求解过程：

$$f(t)=c_0+\sum_{n=0}^{\infty}(a_ncosnt+b_nsinnt)$$
如果我们将两边都乘上 $cosnt$,并求积分，则：
$$\int_{-\pi}^{\pi}f(t)cosntdt=\int_{-\pi}^{\pi}(c_0+\sum_{n=0}^{\infty}(a_ncosnt+b_nsinnt))cosntdt$$
当将右边的式子展开后，就是：
$$\int_{-\pi}^{\pi}f(t)cosntdt=\int_{-\pi}^{\pi}c_0cosntdt+\dots+\int_{-\pi}^{\pi}a_ncos^2ntdt+\int_{-\pi}^{\pi}b_nsinntcosntdt+\dots$$
由上面的正交性证明可以知道：等式右边除了 $\int_{-\pi}^{\pi}a_ncos^2ntdt$其余各项均为；
则等式可以化解为：
$$\int_{-\pi}^{\pi}f(t)cosntdt=\int_{-\pi}^{\pi}a_ncos^2ntdt$$
而 $\int_{-\pi}^{\pi}cos^2ntdt=\pi$
故可以求出 $a_n$的值，相同的 $b_n$是同样的方法。