傅里叶级数与傅里叶变换_Part2_周期为2Π的函数展开为傅里叶级数

傅里叶级数与傅里叶变换_Part2_周期为2Π的函数展开为傅里叶级数

参考链接：
DR_CAN老师的原视频

0、复习Part1的内容

参考链接：傅里叶级数与傅里叶变换_Part1_三角函数系的正交性
三角函数系

{ sin ⁡ 0 x = 0 , cos ⁡ 0 x = 1 , sin ⁡ x , cos ⁡ x , sin ⁡ 2 x , cos ⁡ 2 x , ⋯   , sin ⁡ n x , cos ⁡ n x , ⋯   , ⋯ } \left\{ {\sin 0x = 0,\cos 0x = 1,\sin x,\cos x,\sin 2x,\cos 2x, \cdots ,\sin nx,\cos nx, \cdots , \cdots } \right\} {sin0x=0,cos0x=1,sinx,cosx,sin2x,cos2x,⋯,sinnx,cosnx,⋯,⋯}

任意两个不同的项，都是正交的。
即 ：
$\{\begin{array}{l}{\int }_{-\pi }^{\pi }\sin nx\cdot \cos mxdx=0\left(1\right)\\ \\ {\int }_{-\pi }^{\pi }\cos nx\cdot \cos mxdx=0,n\ne m\left(2\right)\\ \\ {\int }_{-\pi }^{\pi }\sin nx\cdot \sin mxdx=0,n\ne m\left(3\right)\end{array}$

另外，当$n=m$时，上述三式的计算结果也是后续推导中需要用到的重要结论。

${\int }_{-\pi }^{\pi }\sin nx\cdot \cos mxdx={\int }_{-\pi }^{\pi }\sin nx\cdot \cos nxdx={\int }_{-\pi }^{\pi }\frac{1}{2}\sin 2nxdx=\frac{1}{2}\left(-\frac{1}{2n}\cos 2nx\right)|{}_{-\pi }^{\pi }=0$

${\int }_{-\pi }^{\pi }\cos nx\cdot \cos mxdx={\int }_{-\pi }^{\pi }{\left(\cos nx\right)}^{2}dx={\int }_{-\pi }^{\pi }\frac{1}{2}\left(1+\cos 2nx\right)dx=\frac{1}{2}x|{}_{-\pi }^{\pi }+\frac{1}{2}\cdot \left(\frac{1}{2n}\sin 2nx\right)|{}_{-\pi }^{\pi }=\pi +0=\pi$

${\int }_{-\pi }^{\pi }\sin nx\cdot \sin mxdx={\int }_{-\pi }^{\pi }{\left(\sin nx\right)}^{2}dx={\int }_{-\pi }^{\pi }\frac{1}{2}\left(1-\cos 2nx\right)dx=\frac{1}{2}x|{}_{-\pi }^{\pi }-\frac{1}{2}\cdot \left(\frac{1}{2n}\sin 2nx\right)|{}_{-\pi }^{\pi }=\pi -0=\pi$

注：当$n=m$时，$\sin nx$和$\cos nx$本质上是两个不同的项，因此${\int }_{-\pi }^{\pi }\sin nx\cdot \cos mxdx=0$它们是正交的。

1、周期函数的傅里叶展开

下面来考虑一个周期函数周期为 $T=2\pi$，即$f\left(x\right)=f\left(x+2\pi \right)$ ，如下图所示

像这样的函数，我们可以把它展开为三角级数，就是一系列三角函数的加和。如下所示：

$f\left(x\right)=\sum _{n=0}^{\infty }{a}_n\cos nx+\sum _{n=0}^{\infty }{b}_n\sin nx$

在某些教科书上面写的傅里叶展开是 $f\left(x\right)=\frac{a_0}{2}+\sum _{n=1}^{\infty }\left(a_n\cos nx+b_n\sin nx\right)$

$\begin{array}{l}f\left(x\right)=\sum _{n=0}^{\infty }{a}_n\cos nx+\sum _{n=0}^{\infty }{b}_n\sin nx\\ =a_0\cos 0x+b_0\sin 0x+\sum _{n=1}^{\infty }{a}_n\cos nx+\sum _{n=1}^{\infty }{b}_n\sin nx\\ f\left(x\right)=a_0+\sum _{n=1}^{\infty }\left(a_n\cos nx+b_n\sin nx\right)\end{array}$

为什么$a_0$ 被写成了$\frac{a_0}{2}$呢，请继续往下看

Ⅰ、求$a_0$

等式的左右两边同时求 $-\pi$到 $\pi$的积分， ${\int }_{-\pi }^{\pi }dx$
$\begin{array}{l}{\int }_{-\pi }^{\pi }f\left(x\right)dx={\int }_{-\pi }^{\pi }{a}_{0}dx+{\int }_{-\pi }^{\pi }\sum _{n=1}^{\infty }\left(a_n\cos nx+b_n\sin nx\right)dx\\ ={\int }_{-\pi }^{\pi }{a}_{0}dx+\sum _{n=1}^{\infty }\left(a_n{\int }_{-\pi }^{\pi }\cos 0x\cdot \cos nxdx+b_n{\int }_{-\pi }^{\pi }\cos 0x\cdot \sin nxdx\right)\end{array}$

∵ 三角函数的正交性可得 ${\int }_{-\pi }^{\pi }\cos 0x\cdot \cos nxdx={\int }_{-\pi }^{\pi }\cos 0x\cdot \sin nxdx=0$ ，其中， $n=1,2,3,\cdots ,\infty \ne 0$

∴ $\begin{array}{rl}{\int }_{-\pi }^{\pi }f\left(x\right)dx& ={\int }_{-\pi }^{\pi }{a}_{0}dx+\sum _{n=1}^{\infty }\left(a_n{\int }_{-\pi }^{\pi }\cos 0x\cdot \cos nxdx+b_n{\int }_{-\pi }^{\pi }\cos 0x\cdot \sin nxdx\right)\\ & =2\pi a_0+\sum _{n=1}^{\infty }\left(a_n\cdot 0+b_n\cdot 0\right)=2\pi a_0\end{array}$

$\Rightarrow a_0=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }f\left(x\right)dx\Rightarrow a_0^{\prime }=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f\left(x\right)dx{a}_0=\frac{{a^{\prime }}_0}{2}$

即：
$f\left(x\right)=a_0+\sum _{n=1}^{\infty }\left(a_n\cos nx+b_n\sin nx\right)=\frac{{a^{\prime }}_0}{2}+\sum _{n=1}^{\infty }\left(a_n\cos nx+b_n\sin nx\right)$

Ⅱ、求$a_n$

首先等式的两边同时乘以$\cos mx$，然后等式的左右两边同时$-\pi$到 $\pi$的积分， ${\int }_{-\pi }^{\pi }dx$

${\int }_{-\pi }^{\pi }f\left(x\right)\cos mxdx={\int }_{-\pi }^{\pi }\frac{a_0}{2}\cos mxdx+{\int }_{-\pi }^{\pi }\sum _{n=1}^{\infty }\left(a_n\cos nx\cos mx\right)dx+{\int }_{-\pi }^{\pi }\sum _{n=1}^{\infty }\left(b_n\sin nx\cos mx\right)dx$

∵ 三角函数的正交性可得

第一项： ${\int }_{-\pi }^{\pi }\frac{a_0}{2}\cos mxdx=\frac{a_0}{2}{\int }_{-\pi }^{\pi }\cos 0x\cos mxdx=0$

第三项：${\int }_{-\pi }^{\pi }\sum _{n=1}^{\infty }\left(b_n\sin nx\cos mx\right)dx=\sum _{n=1}^{\infty }{b}_n{\int }_{-\pi }^{\pi }\sin nx\cos mxdx=\sum _{n=1}^{\infty }{b}_n\cdot 0=0$

∴等式的右边就只剩下第二项了

${\int }_{-\pi }^{\pi }f\left(x\right)\cos mxdx={\int }_{-\pi }^{\pi }\sum _{n=1}^{\infty }\left(a_n\cos nx\cos mx\right)dx$

根据三角函数的正交性，当$n\ne m$时，$a_n{\int }_{-\pi }^{\pi }\cos nx\cos mxdx=0$

∴ 等式右边，就剩下当$n=m$时的那一项，即

${\int }_{-\pi }^{\pi }f\left(x\right)\cos nxdx={\int }_{-\pi }^{\pi }\left(a_n\cos nx\cos nx\right)dx=a_n{\int }_{-\pi }^{\pi }\cos nx\cos nxdx=a_n\cdot \pi$

$\Rightarrow a_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f\left(x\right)\cos nxdx$, 你看$a_n$的系数都是$\frac{1}{\pi }$，所以把$a_0=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f\left(x\right)dx$ ，原式中$a_0$替换成$\frac{a_0}{2}$。

Ⅲ、求$b_n$

首先等式的两边同时乘以$\sin mx$，然后等式的左右两边同时$-\pi$到 $\pi$的积分， ${\int }_{-\pi }^{\pi }dx$

${\int }_{-\pi }^{\pi }f\left(x\right)\sin mxdx={\int }_{-\pi }^{\pi }\frac{a_0}{2}\sin mxdx+{\int }_{-\pi }^{\pi }\sum _{n=1}^{\infty }\left(a_n\cos nx\sin mx\right)dx+{\int }_{-\pi }^{\pi }\sum _{n=1}^{\infty }\left(b_n\sin nx\sin mx\right)dx$

∵ 三角函数的正交性可得

第一项：${\int }_{-\pi }^{\pi }\frac{a_0}{2}\sin mxdx=\frac{a_0}{2}{\int }_{-\pi }^{\pi }\cos 0x\sin mxdx=0$ ，其中， $m\ne 0$

第二项： ${\int }_{-\pi }^{\pi }\sum _{n=1}^{\infty }\left(a_n\cos nx\sin mx\right)dx=\sum _{n=1}^{\infty }{a}_n{\int }_{-\pi }^{\pi }\cos nx\sin mxdx=\sum _{n=1}^{\infty }{a}_n\cdot 0=0$

∴等式的右边就只剩下第三项了 ${\int }_{-\pi }^{\pi }f\left(x\right)sinmxdx={\int }_{-\pi }^{\pi }\sum _{n=1}^{\infty }\left(b_{n}sinnxsinmx\right)dx$

根据三角函数的正交性，当$n\ne m$时，$b_n{\int }_{-\pi }^{\pi }\sin nx\sin mxdx=0$

∴ 等式右边，就剩下当$n=m$时的那一项，即

${\int }_{-\pi }^{\pi }f\left(x\right)\sin nxdx={\int }_{-\pi }^{\pi }\left(b_n\sin nxsinnx\right)dx=b_n{\int }_{-\pi }^{\pi }\sin nxsinnxdx=b_n\cdot \pi$

$\Rightarrow b_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f\left(x\right)\sin nxdx$ 你看$b_n$的系数都是$\frac{1}{\pi }$，所以把$a_0=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f\left(x\right)dx$ ，原式中$a_0$替换成$\frac{a_0}{2}$。

2、总结

对于周期为 $T=2\pi$周期函数，即$f\left(x\right)=f\left(x+2\pi \right)$ ，它的傅里叶级数展开形式如下：
$f\left(x\right)=\frac{a_0}{2}+\sum _{n=1}^{\infty }{a}_n\cos nx+\sum _{n=1}^{\infty }{b}_n\sin nx$
其中，
$\begin{array}{l}{a}_0=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f\left(x\right)dx\\ \\ a_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f\left(x\right)\cos nxdx\\ \\ b_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }f\left(x\right)\sin nxdx\end{array}$

系列学习链接：欢迎大家点赞、收藏、留言讨论。

傅里叶级数与傅里叶变换_Part0_欧拉公式证明+三角函数和差公式证明

傅里叶级数与傅里叶变换_Part1_三角函数系的正交性

傅里叶级数与傅里叶变换_Part2_周期为2Π的函数展开为傅里叶级数

傅里叶级数与傅里叶变换_Part3_周期为2L的函数展开为傅里叶级数

傅里叶级数与傅里叶变换_Part4_傅里叶级数的复数形式

傅里叶级数与傅里叶变换_Part5_傅里叶级数推导傅里叶变换

傅里叶级数与傅里叶变换_Part6_离散傅里叶变换推导

傅里叶级数与傅里叶变换_Part7_离散傅里叶变换的性质