傅里叶级数展开的详细推导和部分证明

正文

傅里叶级数表述为：
$$f(t)=a_0+\sum _{k=1}^{\infty }\left\{a_k\cos \left(\frac{2\pi k}{T_0}t\right)+b_k\sin \left(\frac{2\pi k}{T_0}t\right)\right\}$$
上式中，$T_0$ 是傅里叶展开前原周期函数的一个周期。可以看到三角函数的角频率 $\omega$ 为 $\omega =\frac{2\pi k}{T_0}$

※三角函数的中 $t$ 前面的系数是角频率 $\omega$ 它与周期的关系是 $\omega =\frac{2\pi }{T}$ ,所以可以发现，在原函数的一个周期 $T_0$ 中, 当 $k$ 变化，角频率 $\omega$ 随之变化，于是周期 $T$ , 变成了 $\frac{T_0}{2}$ 、$\frac{T_0}{3}$ 、$\frac{T_0}{4}$ … $\frac{T_0}{\infty }$ 。

于是，上式就成了无穷个同相位、各种振幅的三角函数之和了。

（ ※注意：振幅为 $a_k$ 或 $b_k$ ）

周期 $T$ 随 $k$ 增大不断减小，即，频率 $f$ 和角频率 $\omega$ 不断增大, 最大的周期称为基本周期 $T_0$ ，最小的（角）频率称为基本（角）频率 $f_0$ （ ${\omega }_0$ ），傅里叶级数的每一份三角函数的频率都是基本频率的整数倍。

接下来，级数展开需要求的三角函数的系数，即，傅里叶系数

求常数项 $a_0$ （直流成分）
$${\int }_{-T_0/2}^{T_0/2}f(t)dt={\int }_{-T_0/2}^{T_0/2}\left\{a_0+\sum _{k=1}^{\infty }\left\{a_k\cos \left(\frac{2\pi k}{T_0}t\right)+b_k\sin \left(\frac{2\pi k}{T_0}t\right)\right\}dt\right\}$$
由于积分和累加本质上就是求和（积分是连续和，累加是离散和）所以把积分号放进括号里，有：
$${\int }_{-T_{}}$$