傅里叶系数

以下均为不严格的，带个人理解的语言描述

1.三角函数系正交
正交：向量点积后结果为0则说明两向量正交，比如 $a(a_1,a_2,a_3)$与 $b(b_1,b_2,b_3)$正交，
即$a_1{b}_1+a_2{b}_2+a_3{b}_3=0$==>向量点积是对应分量相乘再累加
书本P116正交定义

==>三角函数系的正交定义：比如cosx与sinx正交写为${\int }_{T}cosxsinxdx=0$
可以理解为cosx，sinx在不同点上相乘再累加（积分）
定理：三角函数中任意三角函数（除本身）正交

2.既然三角函数彼此正交，那么可以将三角函数看成一个向量空间
书本P116正交函数集定义

则f（x）周期（2$\pi$）（满足狄利克雷条件下）可以拆分成
$f（x）=a_0+a_{1}cosx+b_{1}sinx+a_{2}cos2x+b_{2}sin2x+...a_{n}cosnx+b_{n}sinnx$
(理解为$\vec{a}=a\vec{i}+b\vec{j}+c\vec{k}$)
物理意义：一个周期函数可以拆分成周期自身整数倍的三角函数线性组合。

书上P120

注：狄利克雷条件：（1 ）在一周期内，连续或只有有限个第一类间断点；（2）在一周期内，极大值和极小值的数目应是有限个；（3）在一周期内，信号是绝对可积的。

3.系数推导
方法：消项
(1).求$a_0$
如求$a_0$,即将$a_0$之外的全部消掉
$a_0$是不包含三角函数的系数，而其他都包含，周期都可为2$\pi$
所以只需对整体积分
${\int }_{-\pi }^{\pi }f(x)dx={\int }_{-\pi }^{\pi }(a_0+a_{1}cosx+b_{1}sinx+a_{2}cos2x+b_{2}sin2x+...a_{n}cosnx)dx$
${\int }_{-\pi }^{\pi }f(x)dx={\int }_{-\pi }^{\pi }{a}_{0}dx$
$a_0=\frac{1}{2\pi }{\int }_{-\pi }^{\pi }f(x)dx$
(有的地方写$\frac{a_0}{2}$是一样的)

(2).
同样方法求an
方法：消项，三角函数正交
如求$a_{n}cosnx$,将f(x)整体乘cosnx，再积分
${\int }_{-\pi }^{\pi }cosnxf(x)dx={\int }_{-\pi }^{\pi }(a_0+a_{1}cosx+b_{1}sinx+...a_{n}cosnx)cosnxdx$
${\int }_{-\pi }^{\pi }cosnxf(x)dx={\int }_{-\pi }^{\pi }{a}_{n}co{s}^{2}nxdx$
${\int }_{-\pi }^{\pi }cosnxf(x)dx=a_n{\int }_{-\pi }^{\pi }\frac{cos2nx+1}{2}dx$
${\int }_{-\pi }^{\pi }cosnxf(x)dx=a_n\pi$
$a_n=\frac{1}{\pi }{\int }_{-\pi }^{\pi }cosnxf(x)dx$(推毕)

(3)
$b_n$推导方法相同